2
$\begingroup$

$f$ is analytic in $D$: $|z| < 1$ such that $|f(z)| ≤ 1$. $g$: $D → C$ is given by $g(z) = f(z)/z$ when $z \neq 0$ & $f'(0)$ when $z = 0$. Then which of the followings are true:

1) $g$ is analytic on $D$.

2) $|g(z)| ≤ 1$ on $D$.

3) $|f'(z)|≤ 1$ on $D$.

4) $|f'(0)| ≤ 1$.

I used the Taylor series representation of $f$ on $D$ but couldn't come to any conclusion.

  • 4
    I've shown (3) is incorrect by using the holomorphic function f(z) = z^4 on D & using the point z = cube root of 1/2.2012-11-24

1 Answers 1

4

For (i) and (ii), consider the function $f(z) = z/2+1/2$ on the unit disc, certainly $|f(z)|\le |z|/2+1/2 \le 1$, but $g(z)=1/2+1/(2z)$ has a pole at the origin and so cannot be analytic and $|g(z)|$ is not bounded.

For (iii) Sugata Adhya provides a counter example.

So (iv) has to be correct, and it follows form lee's suggestion:

recall the Cauchy integral formula for the derivatives: $ f^{'}(0) = \frac{n!}{2\pi i }\int_{\partial B(0,r)} \frac{f(z)}{z^2}dz. $ where $r<1$ so the ball $B(0,r)$ lies in the unit circle.

Using the standard estimation, we have $ |f'(0)|\le \frac{1}{2\pi}(2\pi r) \max_{|z|=r}\{\frac{|f(z)|}{|z|^2}\} \le \frac{1}{r} $ since $|f(z)|\le 1$.

Because this is true for every $r < 1$, passing to the limit shows $|f'(0)|\le 1$.

  • 0
    Thanks. That (1) is incorrect can also be shown using the function f(z) = cos z on D. But no conclusion on (2) can be made out of it. You approached in a better way.2012-11-24