Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

$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.

share|cite|improve this question
Did you mean to also say that $f(0)=0$? Otherwise $g$ is obviously unbounded and discontinuous. – Jonas Meyer Nov 24 '12 at 3:16
No. Such condition is not given. – Sugata Adhya Nov 24 '12 at 3:23
Sugata: Consider an example where $f(0)\neq 0$ and see what happens then. – Jonas Meyer Nov 24 '12 at 3:25
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. – Sugata Adhya Nov 24 '12 at 3:26
up vote 4 down vote accepted

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$.

share|cite|improve this answer
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. – Sugata Adhya Nov 24 '12 at 9:10

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.