Complex Analysis General Exam January 2024

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. Throughout 𝔻={z:|z|<1}\mathbb{D}=\{z \in \mathbb{C}:|z|<1\}. Don't use any of the Picard theorems.

Problem 1

Compute, for b,ξ>0b, \xi>0 and aa \in \mathbb{R}

limRRRxeixξ(xa)2+bdx\lim _{R \rightarrow \infty} \int_{-R}^{R} \frac{x e^{-i x \xi}}{(x-a)^{2}+b} d x

Show all estimates.

Problem 2

Define g:{1}g: \mathbb{C} \backslash\{1\} \rightarrow \mathbb{C} by g(z)=z+1z1g(z)=\frac{z+1}{z-1}, and let f:{1}f: \mathbb{C} \backslash\{1\} \rightarrow \mathbb{C} be given by f(z)=eg(z)f(z)=e^{g(z)}.
(i) Give an explicit description of g(𝔻)g(\mathbb{D}).
(ii) Show that ff is bounded on 𝔻\mathbb{D}.

Problem 3

Fix an integer kk \in \mathbb{N}. Suppose that a0,,aka_{0}, \cdots, a_{k} \in \mathbb{C}, set p(z)=j=0kajzjp(z)=\sum_{j=0}^{k} a_{j} z^{j} and assume that p(z)p(z) has no zeroes on 𝔻\partial \mathbb{D}. Prove that there is an ε>0\varepsilon>0 so that if b0,,bkb_{0}, \cdots, b_{k} \in \mathbb{C} with (j=0k|bjaj|2)1/2<ε\left(\sum_{j=0}^{k}\left|b_{j}-a_{j}\right|^{2}\right)^{1 / 2}<\varepsilon, then setting q(z)=j=0kbjzjq(z)=\sum_{j=0}^{k} b_{j} z^{j} we have that p,qp, q have the same number of zeroes in 𝔻\mathbb{D}, counted with multiplicity.

Problem 4

Let A={z:0<|z|<1}A=\{z \in \mathbb{C}: 0<|z|<1\} and B={z:1<|z|<2}B=\{z \in \mathbb{C}: 1<|z|<2\},
(i) Suppose that Ω\Omega \subseteq \mathbb{C} is a bounded open set and that ϕ:AΩ\phi: A \rightarrow \Omega is a holomorphic bijection. Show that ϕ\phi extends to a holomorphic function ϕ̃:𝔻Ω\widetilde{\phi}: \mathbb{D} \rightarrow \bar{\Omega} and that ϕ̃(0)Ω\widetilde{\phi}(0) \in \partial \Omega. (Suggestion: it may be helfpul to prove that if znz_{n} is a sequence in AA and zn0z_{n} \rightarrow 0 then for every compact KΩK \subseteq \Omega we have that {n:ϕ(zn)K}\left\{n: \phi\left(z_{n}\right) \in K\right\} is finite).
(ii) Show that there is no holomorphic bijection from AA to BB.

Problem 5

For pp \in \mathbb{C} and s>0s>0, we use Bs(p)={z:|zp|<s}B_{s}(p)=\{z \in \mathbb{C}:|z-p|<s\}.
(i) Let UU \subseteq \mathbb{C} be open, pUp \in U and s>0s>0 with Bs(p)¯U\overline{B_{s}(p)} \subseteq U. Show that if f:Uf: U \rightarrow \mathbb{C} is holomoprhic, then

f(p)=1πs2Bs(p)f(x+iy)dxdyf(p)=\frac{1}{\pi s^{2}} \iint_{B_{s}(p)} f(x+i y) d x d y

(Hint: compute the integral in polar coordinates).
(ii) Let \mathcal{F} be the family of all holomorphic functions f:𝔻f: \mathbb{D} \rightarrow \mathbb{C} with

sup0<s<1Bs(0)|f(x+iy)|dxdy1\sup _{0<s<1} \iint_{B_{s}(0)}|f(x+i y)| d x d y \leq 1

Show that \mathcal{F} is normal meaning that if (fn)n=1\left(f_{n}\right)_{n=1}^{\infty} is a sequence in \mathcal{F}, then there is a subsequence (fnk)k\left(f_{n_{k}}\right)_{k} in \mathcal{F} which converges uniformly on compact subsets of 𝔻\mathbb{D}.