MHB Proving No Simple Pole at 0 for $f'$ on $\mathbb{D} - \{0\}$

[Dustinsfl]

Prove that there is no function $f$ such that $f$ is analytic on the punctured unit disc $\mathbb{D} - \{0\}$, and $f'$ has a simple pole at 0.

Let $f$ be analytic on the punctured disc $\mathbb{D} - \{0\}$.
$$
f(z) = \frac{g(z)}{h(z)}
$$
such that $h(z)\neq 0$.

Then
$$
f'(z) = \frac{g'(z)h(z) - g(z)h'(z)}{(h(z))^2}
$$

So $f'(z)$ has only poles of order 2. Therefore, $f'$ can't have a simple pole at 0.

How is this?

 

[chisigma]

Counterexample: $\displaystyle f(z)=\ln z$ is analytic in $\mathbb{D}-\{0\}$ and is $\displaystyle f'(z)=\frac{1}{z}$...

... the exact formulation of the theorem should be: prove that there is no function f(*) so that f(*) in analytic in the punctured disk $\mathbb{D}-\{0\}$, $\{0\}$ is not a brantch point, and f'(*) has a simple pole at $\{0\}$...

Kind regards

$\chi$ $\sigma$

 

[Dustinsfl]

Counterexample: $\displaystyle f(z)=\ln z$ is analytic in $\mathbb{D}-\{0\}$ and is $\displaystyle f'(z)=\frac{1}{z}$...

... the exact formulation of the theorem should be: prove that there is no function f(*) so that f(*) in analytic in the punctured disk $\mathbb{D}-\{0\}$, $\{0\}$ is not a brantch point, and f'(*) has a simple pole at $\{0\}$...

Kind regards

$\chi$ $\sigma$

Giving that caveat. Would I be correct then?

 

[chisigma]

The existence of singularities called brantch points is too often forgotten. For more information see...

http://mathworld.wolfram.com/BranchPoint.html

Kind regards

$\chi$ $\sigma$

 

[Dustinsfl]

The existence of singularities called brantch points is too often forgotten. For more information see...

http://mathworld.wolfram.com/BranchPoint.html

Kind regards

$\chi$ $\sigma$

Is what I have correct if I add the branch put argument in then?

 

[chisigma]

If $\{0\}$ is not a brantch point, then f(*) can be written as Laurent series 'centered' in $z=0$...

$\displaystyle f(z)= \sum_{n=- \infty}^{+ \infty} a_{n}\ z^{n}$ (1)

Now if we derive (1) we obtain in any case a Laurent series in which is $a_{-1}=0$ so that f'(*) has no single pole in $\{0\}$...

Kind regards

$\chi$ $\sigma$

 

[Dustinsfl]

If $\{0\}$ is not a brantch point, then f(*) can be written as Laurent series 'centered' in $z=0$...

$\displaystyle f(z)= \sum_{n=- \infty}^{+ \infty} a_{n}\ z^{n}$ (1)

Now if we derive (1) we obtain in any case a Laurent series in which is $a_{-1}=0$ so that f'(*) has no single pole in $\{0\}$...

Kind regards

$\chi$ $\sigma$

So we can assume the series is uniformly convergent?

 

[Dustinsfl]

Counterexample: $\displaystyle f(z)=\ln z$ is analytic in $\mathbb{D}-\{0\}$ and is $\displaystyle f'(z)=\frac{1}{z}$...

... the exact formulation of the theorem should be: prove that there is no function f(*) so that f(*) in analytic in the punctured disk $\mathbb{D}-\{0\}$, $\{0\}$ is not a brantch point, and f'(*) has a simple pole at $\{0\}$...

Kind regards

$\chi$ $\sigma$

But the theorem says f has to be analytic on the punctured disc isn't ln z not analytic on it. So the branch point part would be irrelevant.