# Complex Analysis - Cauchy Riemann Equations + Laurent Expansions

• Aug 4th 2008, 02:41 PM
dougwm
Complex Analysis - Cauchy Riemann Equations + Laurent Expansions
Hi all, i have a couple of questions on my complex analysis course that i cannot do and was wondering if you could help at all.

QUESTION 1

a) Suppose that the functions f(z) = u(x,y) + iv(x,y) and g(x) = v(x,y) + iu(x,y) are analytic in some domain D. Show that both u and v are constant functions

b) Let f be a holomorphic function on the punctured disk D'(0,R) = {z in complex plane : 0 < |z| < R}, where R > 0 is fixed. Write down the formulae for c(subscript)n in the Laurent expansion

f(z) = sum from n = minus infinity to infinity c(subscript)n . z^n (by this i mean cn multiplied by z^n)

Using these formulae, prove that if f is bounded on D'(0,R), it has a removable singularity at 0.

c) FInd the maximal radius R > 0 for which the function f(z) = (sin z)^-1 is holomorphic in D'(0,R), and find the principal part of its Laurent expansion about z(subscript)0 = 0 (centred at 0)
(the z(subscript)0 refers to: sum from k = minus infinity to infinity c(subscript)k(z - z(subscript)0)^k the Laurent expansion)

QUESTION 2

Find the Laurent exansions of the function f(z) = z / (z^2 - 1) valid for:
i) 0 < |z - 1| < 2
ii) |z + 1| > 2
iii) |z| > 1

Thank you
Doug
• Aug 4th 2008, 07:13 PM
ThePerfectHacker
Quote:

Originally Posted by dougwm
a) Suppose that the functions f(z) = u(x,y) + iv(x,y) and g(x) = v(x,y) + iu(x,y) are analytic in some domain D. Show that both u and v are constant functions

Use the Cauchy-Riemann equations,
$\displaystyle u_x = v_y$, $\displaystyle u_y = -v_x$, $\displaystyle v_x = u_y$, and $\displaystyle v_y = -u_x$.
Thus,
$\displaystyle v_y = - v_y$, $\displaystyle u_x=-u_x$, $\displaystyle v_x = - v_x$, and $\displaystyle u_y = -u_y$.
Thus, $\displaystyle \nabla u = \nabla v = \bold{0}$.
Thus, if $\displaystyle D$ is a region (open connected set) then $\displaystyle u,v$ are constant.
• Aug 4th 2008, 07:19 PM
ThePerfectHacker
Quote:

Originally Posted by dougwm
b) Let f be a holomorphic function on the punctured disk D'(0,R) = {z in complex plane : 0 < |z| < R}, where R > 0 is fixed. Write down the formulae for c(subscript)n in the Laurent expansion

f(z) = sum from n = minus infinity to infinity c(subscript)n . z^n (by this i mean cn multiplied by z^n)

Using these formulae, prove that if f is bounded on D'(0,R), it has a removable singularity at 0.

The theorem says that we can write,
$\displaystyle f(z) = \sum_{-\infty}^{\infty}a_n z^n$ where $\displaystyle a_n = \frac{1}{2\pi i} \oint \limits_{|z|=R} \frac{f(\mu)}{\mu^{n+1}} d\mu$.
But we do not need this to prove that if $\displaystyle f$ is bounded then it has a removable singularity.
If $\displaystyle |f|\leq A$ then $\displaystyle |zf(z)| \leq A|z|$.
But $\displaystyle \lim_{z\to 0}A|z| = 0$ thus, $\displaystyle \lim_{z\to 0}|zf(z)| = 0$.

Quote:

c) FInd the maximal radius R > 0 for which the function f(z) = (sin z)^-1 is holomorphic in D'(0,R), and find the principal part of its Laurent expansion about z(subscript)0 = 0 (centred at 0)
(the z(subscript)0 refers to: sum from k = minus infinity to infinity c(subscript)k(z - z(subscript)0)^k the Laurent expansion)
If $\displaystyle z\not = 0$ then $\displaystyle (\sin z)^{-1}$ is defined as long as $\displaystyle z\not = \pi k$.
Thus, this radius is $\displaystyle R=\pi$.
• Aug 5th 2008, 02:10 AM
wingless
Quote:

Originally Posted by ThePerfectHacker
If $\displaystyle |f|\leq A$ then $\displaystyle |zf(z)| \leq A|z|$.
But $\displaystyle \lim_{z\to 0}A|z| = 0$ thus, $\displaystyle \lim_{z\to 0}|zf(z)| = 0$.

But the formula will be used to prove that

"If $\displaystyle \lim_{z\to z_0} (z-z_0)f(z) = 0$ then $\displaystyle z_0$ is a removable singularity."

In order to prove this we have to show that all $\displaystyle a_{-n}$'s are 0 (this is the definition of removable singularity).

$\displaystyle a_n = \frac{1}{2\pi i} \int \limits_{\gamma_r} f(w)(w-z_0)^{-n-1}~dw$

$\displaystyle a_{-n} = \frac{1}{2\pi i} \int \limits_{\gamma_r} f(w)(w-z_0)^{n-1}~dw$

($\displaystyle \gamma_r$ is a circle of radius r centered at $\displaystyle z_0$)

We know that f is bounded, $\displaystyle |f(w)(w-z_0)| \leq \epsilon$,

$\displaystyle |f(w)(w-z_0)| \leq \epsilon \quad \rightarrow \quad |f(w) \cdot r| \leq \epsilon \quad \rightarrow \quad |f(w)| \leq \frac{\epsilon}{r}$

Now we can use the formula.

$\displaystyle |a_{-n}| = \left |\frac{1}{2\pi i} \int \limits_{\gamma_r} f(w)(w-z_0)^{n-1}~dw \right | \leq (\frac{1}{2\pi})(2\pi r) (\frac{\epsilon}{r}r^{n-1}) = \epsilon r^{n-1}$

And $\displaystyle \epsilon r^{n-1}$ goes to 0 for smaller circles.
• Aug 5th 2008, 03:35 AM
dougwm
Thank you both very much for your quick replies and great responses. They have helped alot.

For the question 2, about the Laurent expansions I have:

z/(z^2 - 1)

by partial fractions this becomes:

1/2(z - 1) + 1/2(z + 1)

so for:

0 < |z - 1| < 2

1/2(z + 1) = 1/2(2 + z - 1) = 1/4(1 + (z - 1)/2)

= 1/4 x (sum from n to infinity) (-1)^n . [|z - 1|/2]^n

this proves |z - 1| < 2

not too sure how to prove that |z - 1| > 0 though.

for:

|z + 1| > 2 i have:

1/2(z - 1) = 1/2(-2 + z + 1) = 1/2 . 1/(z + 1) . 1/(1 - 2/(z + 1))

= 1/2 . 1/(z + 1) . (sum from n to infinity) [ 2/|z + 1|]^n

which proves |z + 1| > 2

That is what i have so far, i am not sure how to do the other half of the partial differential equation in both cases. To prove it totally, also a little unsure on the third part.

Thank you once again
Doug
• Aug 5th 2008, 08:29 AM
Opalg
Quote:

Originally Posted by dougwm
For the question 2, about the Laurent expansions I have:

z/(z^2 - 1)

by partial fractions this becomes:

1/2(z - 1) + 1/2(z + 1)

so for:

0 < |z - 1| < 2

1/2(z + 1) = 1/2(2 + z - 1) = 1/4(1 + (z - 1)/2)

= 1/4 x (sum from n to infinity) (-1)^n . [|z - 1|/2]^n

this proves |z - 1| < 2

not too sure how to prove that |z - 1| > 0 though.

That's correct. You have found the series expansion of 1/(2(z+1)) (in powers of z-1) which converges when |z - 1| < 2. But don't forget to include the other partial fraction 1/(2(z-1)). This is a negative power of z-1, so it is only defined when z≠1, or in other words when |z - 1| > 0.

Quote:

Originally Posted by dougwm
for:

|z + 1| > 2 i have:

1/2(z - 1) = 1/2(-2 + z + 1) = 1/2 . 1/(z + 1) . 1/(1 - 2/(z + 1))

= 1/2 . 1/(z + 1) . (sum from n to infinity) [ 2/|z + 1|]^n

which proves |z + 1| > 2

Again, the calculation is correct, but it's not appropriate to say that it "proves" |z + 1| > 2. What you should asy is that this series converges when |z + 1| > 2. (Here too, don't forget to include the other part of the partial fraction expression.)

For the third part of the problem, in the region |z| > 1, you need to get series expansions of both parts of the partial fraction expression:

$\displaystyle \frac1{2(z - 1)} + \frac1{2(z + 1)} = \frac1{2z}\left(\frac1{1-\frac1z} + \frac1{1+\frac1z}\right) = \ldots.$
• Aug 5th 2008, 10:24 AM
ThePerfectHacker
Quote:

Originally Posted by wingless
But the formula will be used to prove that

"If $\displaystyle \lim_{z\to z_0} (z-z_0)f(z) = 0$ then $\displaystyle z_0$ is a removable singularity."

I think your approach was better than mine because it is like the poster asked.

However, the proof of the theorem (which is quoted) does not need to proven with approximating the integral. Remember a point $\displaystyle z_0$ is a removable singularity if there exists a function $\displaystyle g$ in the punctured neighborhood of $\displaystyle z_0$ such that $\displaystyle f(z) = g(z)$ for all $\displaystyle 0<|z-z_0|<r$ and $\displaystyle g$ is analytic at $\displaystyle z_0$. Now to prove this define the function $\displaystyle h(z) = (z-z_0)f(z)$ for $\displaystyle 0<|z-z_0|<r$ and $\displaystyle h(z_0)=0$. Then clearly $\displaystyle h$ is analytic on the punctured neighrhood and continous at $\displaystyle z_0$. It follows that $\displaystyle h$ is analytic on the entire disk. Finally, define $\displaystyle g(z)=h(z)/(z-z_0)$ for $\displaystyle z\not = 0$ and $\displaystyle g(z_0)=h'(z_0)$. Then $\displaystyle g$ is analytic on the entire disk and $\displaystyle g(z) = h(z)$ for all $\displaystyle 0<|z-z_0|<r$. Thus, $\displaystyle f$ has removable singularity.