Paper 3, Section II, F

Complex Analysis | Part IB, 2018

Let D={z∈C:∣z∣<1}D=\{z \in \mathbb{C}:|z|<1\} and let f:D→Cf: D \rightarrow \mathbb{C} be analytic.

(a) If there is a point a∈Da \in D such that ∣f(z)∣⩽∣f(a)∣|f(z)| \leqslant|f(a)| for all z∈Dz \in D, prove that ff is constant.

(b) If f(0)=0f(0)=0 and ∣f(z)∣⩽1|f(z)| \leqslant 1 for all z∈Dz \in D, prove that ∣f(z)∣⩽∣z∣|f(z)| \leqslant|z| for all z∈Dz \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 z∈Dz \in D then ∣f(z)∣⩽C|f(z)| \leqslant C whenever ∣z∣⩽1/2.|z| \leqslant 1 / 2 .

[Hint: you may find it useful to consider the principal branch of the map z↦z1/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 z∈Dz \in D with the hypothesis f(z)≠0f(z) \neq 0 for z∈Dz \in D, and keep all other hypotheses? Justify your answer.

Typos? Please submit corrections to this page on GitHub.