Why holomorphic ?

Printable View

June 17th 2011, 02:25 AM
Aki

Why holomorphic ?

I cannot understand the following statement in the proof of Lemma 8.7 in "Lectures on Riemann Surfaces" by Otto Forster.

Quote:

$\phi(z)=\frac{1}{2 \pi i}\int_{|w-w_0|=\epsilon}w\frac{F_w(z,w)}{F(z,w)}dw, \;\;\; \left( F_w := \frac{\partial F}{\partial w}\right)$
Since the integral depends holomorphically on $z$ , the function $z\mapsto \phi(z)$ is holomorphic on $D(r)$ .

where
$D(R)=\{z\in C : |z|<R \}, \;\;\; R>0,$
$F(z,w)=w^n+c_1(z)w^{n-1}+\cdots+c_n(z),$
$c_1(z)\cdots c_n(z)$ are holomorphic functions on $D(r)$ .

In the equation
$\phi(z)-\phi(z_0)=\frac{1}{2 \pi i}\int_{|w-w_0|=\epsilon}w\left(\frac{F_w(z,w)}{F(z,w)}-\frac{F_w(z_0,w)}{F(z_0,w)}\right)dw$
the integrand can be written as $(z-z_0)P(z,w)$ where $P(z,w)$ is holomorphic with respect to $z$ , to prove $\phi(z)$ to be holomorphic, it seems enough to show that $\int_{|w-w_0|=\epsilon}P(z,w) dw$ is continuous with respenct to $z$ . But, I don't know how to show it.

Any help would be appreciated.
Thanks in advance.
June 18th 2011, 08:49 PM
ojones

Re: Why holomorphic ?

This lemma is just the implicit function theorem. Holomorphicity of $\phi(z)$ is established by differentiating under the integral sign wrt to $z$ .
June 19th 2011, 11:19 PM
Aki

Re: Why holomorphic ?

Thank you for your help.

I only know that for real functions the differentiation under the integral sign is possible only if the derivative of the integrand is continuous as a function of both variables.
Is this condition applicable to complex functions?
If so, how do we know the derivative is continuous as a function of both variables.
June 19th 2011, 11:40 PM
ojones

Re: Why holomorphic ?

A function $f(z)$ will be analytic if $\partial f/\partial \bar z=0$ . Taking $\frac{\partial}{\partial \bar z}=\frac{1}{2}\frac{\partial}{\partial x} +\frac{i}{2} \frac{\partial}{\partial y}$ under the integral sign only requires the real result. In addition to continuity, you also need local uniform convergence of the integral. Do you have a complex analysis text addressing analyticity of integrals?
June 19th 2011, 11:55 PM
Aki

Re: Why holomorphic ?

Thank you for your quick reply.

I have "COMPLEX ANALYSIS" by Ahlfors, and "Elementary Theory of Analytic Functions of One or Several Complex Variables" by H. Cartan, although I don't understand what you mean by analyticity of integrals.
June 20th 2011, 01:10 AM
ojones

Re: Why holomorphic ?

What I mean is the analyticity of functions like $\phi(z)$ which are defined by integrals. There are theorems on this. Take a look in the texts you've got to see if they address it.
June 20th 2011, 07:31 AM
Aki

Re: Why holomorphic ?

The only theorem I could find is

Quote:

Suppose that $\phi(\zeta)$ is continuous on $\gamma$ . Then,
$F_n(z)=\int_\gamma \frac{\phi(\zeta)}{(\zeta-z)^n}d\zeta$
is analytic on each domain determined by $\gamma$ . Moreover,
its derivative is $F_n'(z)=nF_{n+1}(z)$ .

from Ahlfors's book.

But, the integral that I mentioned is not in this form.
Could you suggest some references ?
June 20th 2011, 03:14 PM
ojones

Re: Why holomorphic ?

I think the result you need is Leibnitz's rule. It's covered in Nevanlinna and Paatero's book "Intro to complex analysis", 9.7.
June 20th 2011, 05:48 PM
Aki

Re: Why holomorphic ?

I read the section 9.7. of the book you suggested.
That is exactly what I need.
Thank you.