Paper 3, Section II, F

Complex Analysis
Part IB, 2018

Let D={zC:z<1}D=\{z \in \mathbb{C}:|z|<1\} and let f:DCf: D \rightarrow \mathbb{C} be analytic.

(a) If there is a point aDa \in D such that f(z)f(a)|f(z)| \leqslant|f(a)| for all zDz \in D, prove that ff is constant.

(b) If f(0)=0f(0)=0 and f(z)1|f(z)| \leqslant 1 for all zDz \in D, prove that f(z)z|f(z)| \leqslant|z| for all zDz \in D.

(c) Show that there is a constant CC independent of ff such that if f(0)=1f(0)=1 and f(z)(,0]f(z) \notin(-\infty, 0] for all zDz \in D then f(z)C|f(z)| \leqslant C whenever z1/2.|z| \leqslant 1 / 2 .

[Hint: you may find it useful to consider the principal branch of the map zz1/2z \mapsto z^{1 / 2}.]

(d) Does the conclusion in (c) hold if we replace the hypothesis f(z)(,0]f(z) \notin(-\infty, 0] for zDz \in D with the hypothesis f(z)0f(z) \neq 0 for zDz \in D, and keep all other hypotheses? Justify your answer.