Examination 5¶
2001 Nov¶
Instructions. Make a substantial effort on all parts of the following problems. If you cannot completely answer Part (a) of a problem, it is still possible to do Part (b). Partial credit is given for partial progress. Include as many details as time permits. Throughout the exam, \(z\) denotes a complex variable, and \(\mathbb{C}\) denotes the complex plane.
Suppose that \(f(z) = f(x+iy) = u(x,y) + i v(x,y)\) where \(u\) and \(v\) are \(C^1\) functions defined on a neighborhood of the closure of a bounded region \(G\subset \mathbb{C}\) with boundary which is parametrized by a properly oriented, piecewise \(C^1\) curve \(\gamma\). If \(u\) and \(v\) obey the Cauchy-Riemann equations, show that Cauchy’s theorem \(\int_\gamma f(z) \, dz = 0\) follows from Green’s theorem, namely
Suppose that we do not assume that \(u\) and \(v\) are \(C^1\), but merely that \(u\) and \(v\) are continuous in \(G\) and
exists at some (possibly only one!) point \(z_0 \in G\). Show that given any \(\epsilon >0\), we can find a triangular region \(\Delta\) containing \(z_0\), such that if \(T\) is the boundary curve of \(\Delta\), then
where \(L\) is the length of the perimeter of \(\Delta\).
Hint for (b) Note that part (a) yields \(\int_T (az+b) \, dz =0\) for \(a, b \in \mathbb{C}\), which you can use here in (b), even if you could not do Part (a). You may also use the fact that \(\left|\int_T g(z)\, dz\right| \leq L \cdot \sup\{|g(z)|:z\in T\}\) for \(g\) continuous on \(T\).
Give two quite different proofs of the fundamental theorem of algebra, that if a polynomial with complex coefficients has no complex zero, then it is constant. You may use independent, well-known theorems and principles such as Liouville’s theorem, the argument principle, the maximum principle, Rouché’s theorem, and/or the open mapping theorem.
State and prove the Casorati-Weierstrass theorem concerning the image of any punctured disk about a certain type of isolated singularity of an analytic function. You may use the fact that if a function \(g\) is analytic and bounded in the neighborhood of a point \(z_0\), then \(g\) has a removable singularity at \(z_0\).
Verify the Casorati-Weierstrass theorem directly for a specific analytic function of your choice, with a suitable singularity.
Define \(\gamma : [0,2\pi] \rightarrow \mathbb{C}\) by \(\gamma(t) = \sin (2t) + 2i \sin (t)\). This is a parametrization of a “figure 8” curve, traced out in a regular fashion. Find a meromorphic function \(f\) such that \(\int_\gamma f(z) \, dz = 1\). Be careful with minus signs and factors of \(2\pi i\).
From the theory of Laurent expansions, it is known that there are constants \(a_n\) such that, for \(1<|z|<4\),
Find \(a_{-10}\) and \(a_{10}\) by the method of your choice.
Suppose that \(f\) is analytic on a region \(G\subset \mathbb{C}\) and \(\{z\in \mathbb{C}: |z-a|\leq R\} \subset G\). Show that if \(|f(z)| \leq M\) for all \(z\) with \(|z-a|=R\), then for any \(w_1, w_2\in \{z\in \mathbb{C}: |z-a|\leq \frac{1}{2}R\}\), we have
Explain how Part (a) can be used with the Arzela-Ascoli theorem to prove Montel’s theorem asserting the normality of any locally bounded family \(F\) of analytic functions on a region \(G\).
Solutions¶
Solution to Problem 29
Solution to Problem 30
Solution to Problem 31
Solution to Problem 32
Solution to Problem 33
Footnotes
- 1
These are \(u_x = v_y\) and \(u_y = -v_x\).
- 2
Note, we add 1 here just to be sure \(R\) is safely over 1.
- 3
Conway [Con78], page 77, presents a similar, but more elegant proof.
- 4
The best treatment of normal families and the Arzela-Ascoli theorem is Ahlfors [Ahl78].
- 5
Answer: If, instead of a single point \(a\in G\), we are given a compact set \(K\subset G\), then there is a finite cover \(\{B(a_j,r_j):j=1,\ldots, n\}\) by such neighborhoods with equicontinuity constants \(\delta_1, \ldots, \delta_n\). Then, \(\delta = \min_j\delta_j\), is a single equicontinuity constant that works for all of \(K\).
- 6
The careful reader might note the distinction between this type of “uniform” equicontinuity, which is taken for granted in complex analysis texts, e.g.,Ahlfors [Ahl78] and Rudin [Rud87], and the “pointwise” equicontinuity discussed in topology books like the one by Munkres [Mun00]. To make peace with this apparent discrepancy, check that the two notions coincide when the set on which a family of functions is declared equicontinuous is compact.
Please email comments, suggestions, and corrections to williamdemeo@gmail.com