2
$\begingroup$

Here is another problem from Complex Analysis. I think this is the most common question we ever see in exams.

If $f$ is continuous on a Jordan arc $\gamma$, prove that the function: $F(z)=\int_{\gamma} {f{(\theta})\over\theta-z}d\theta$ is analytic for all $z$ not in $\gamma$.

What I think is I can prove $F(z)$ is differentiable using definition of the derivative at some arbitrary point $z_{0}$, and the continuity of $F(z)$ is trivially hold.

But showing differentiable using definition seems kind of funky to me. I was wondering if anyone have a better way without using the definition of the derivative.

  • 0
    @MattE, I just edited that. $T$han$k$ you for pointing out.2012-12-21

1 Answers 1

2

Let $z_0 \notin \text{im} \, \gamma$. Then $r:=d(z_0,\text{im} \, \gamma)>0$. Let $z \in B(z_0,r)$, then

$\frac{1}{\theta-z} = \frac{1}{\theta-z_0} \cdot \frac{1}{1-\frac{z-z_0}{\theta-z_0}} = \frac{1}{\theta-z_0} \cdot \sum_{n=0}^\infty \left( \frac{z-z_0}{\theta-z_0} \right)^n$

for $\theta \in \text{im} \, \gamma$. The series is absolutely uniform convergent for $\theta \in \text{im} \, \gamma$ since $\left| \frac{z-z_0}{\theta-z_0} \right| \leq \frac{|z-z_0|}{r} < 1$. Hence

$F(z) = \int_\gamma \lim_{N \to \infty} \sum_{n=0}^N \frac{(z-z_0)^n}{(\theta-z_0)^{n+1}} \cdot f(\theta) \, d\theta = \sum_{n=0}^\infty (z-z_0)^n \cdot \underbrace{\int_\gamma f(\theta) \cdot \frac{1}{(\theta-z_0)^{n+1}} \, d\theta}_{=:a_n}$