COMPLEX ANALYSIS GENERAL EXAM AUGUST 2025

Solve as many problems as you can. Full solutions on a smaller number of problems will be worth more than partial solutions on several problems. Don’t use any of the Picard theorems. Throughout, 𝔻\mathbb{D} denotes the unit disc {z:|z|<1}\{z \in \mathbb{C}:|z|<1\}.

Problem 1

Using Cauchy's residue theorem, compute the definite integral

02π15+4cosθdθ\int_{0}^{2 \pi} \frac{1}{5+4 \cos \theta} d \theta

Problem 2

Let f:f: \mathbb{C} \rightarrow \mathbb{C} be an entire function satisfying |f(2z)|2|f(z)||f(2 z)| \leq 2|f(z)| for all zz \in \mathbb{C}. Show that either f(z)=f(0)f(z)=f(0) for all zz \in \mathbb{C} or f(z)=fβ€²(0)zf(z)=f^{\prime}(0) z for all zz \in \mathbb{C}.

Problem 3

Show that the only solution inside the unit disc 𝔻\mathbb{D} to the equation ez=2z+1e^{z}=2 z+1 is z=0z=0. (You may use without proof the fact that e2.718<3e \approx 2.718<3.)

Problem 4

Let U:={z:0<Re(z)<1}U:=\{z \in \mathbb{C}: 0<\operatorname{Re}(z)<1\}. Let f:Uβ€Ύf: \bar{U} \rightarrow \mathbb{C} be a continuous bounded function for which f|U\left.f\right|_{U} is holomorphic. Suppose that there exist constants M1,M20M_{1}, M_{2} \geq 0 such that

supRe(z)=0|f(z)|M0,supRe(z)=1|f(z)|M1.\sup _{\operatorname{Re}(z)=0}|f(z)| \leq M_{0}, \quad \sup _{\operatorname{Re}(z)=1}|f(z)| \leq M_{1} .

Show that for r[0,1]r \in[0,1],

supRe(z)=r|f(z)|M01βˆ’rM1r.\sup _{\operatorname{Re}(z)=r}|f(z)| \leq M_{0}^{1-r} M_{1}^{r} .

(Hint: for fixed ε>0\varepsilon>0, show that fε(z):=f(z)M0zβˆ’1M1βˆ’zeε(z2βˆ’1)f_{\varepsilon}(z):=f(z) M_{0}^{z-1} M_{1}^{-z} e^{\varepsilon\left(z^{2}-1\right)} satisfies supzUβ€Ύ|fε(z)|\sup _{z \in \bar{U}}\left|f_{\varepsilon}(z)\right| \leq 1.)

Problem 5

Let β„±\mathcal{F} denote the set of holomorphic functions ff on the disc B2(0)={z:|z|<2}B_{2}(0)=\{z \in \mathbb{C}:|z|<2\} that satisfy

02π|f(eiθ)|dθ1\int_{0}^{2 \pi}\left|f\left(e^{i \theta}\right)\right| d \theta \leq 1

Let

𝒒:={g:𝔻:g=f|𝔻 for some fβ„±}.\mathcal{G}:=\left\{g: \mathbb{D} \rightarrow \mathbb{C}: g=\left.f\right|_{\mathbb{D}} \text { for some } f \in \mathcal{F}\right\} .

Show that 𝒒\mathcal{G} is a normal family.