Complex Analysis Qualifying Exam Solutions

Similar documents
Complex Analysis Qual Sheet

Part IB Complex Analysis

MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5

Part IB. Further Analysis. Year

Qualifying Exam Complex Analysis (Math 530) January 2019

1. The COMPLEX PLANE AND ELEMENTARY FUNCTIONS: Complex numbers; stereographic projection; simple and multiple connectivity, elementary functions.

Complex Analysis Problems

NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II

MA3111S COMPLEX ANALYSIS I

F (z) =f(z). f(z) = a n (z z 0 ) n. F (z) = a n (z z 0 ) n

Chapter 6: The metric space M(G) and normal families

An Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010

Considering our result for the sum and product of analytic functions, this means that for (a 0, a 1,..., a N ) C N+1, the polynomial.

Math 220A Homework 4 Solutions

Math 220A - Fall Final Exam Solutions

Complex Variables. Cathal Ormond

MATH 566 LECTURE NOTES 4: ISOLATED SINGULARITIES AND THE RESIDUE THEOREM

4 Uniform convergence

Complex Analysis. Chapter V. Singularities V.3. The Argument Principle Proofs of Theorems. August 8, () Complex Analysis August 8, / 7

III.2. Analytic Functions

Course 214 Basic Properties of Holomorphic Functions Second Semester 2008

Homework 27. Homework 28. Homework 29. Homework 30. Prof. Girardi, Math 703, Fall 2012 Homework: Define f : C C and u, v : R 2 R by

Solutions to practice problems for the final

Theorem [Mean Value Theorem for Harmonic Functions] Let u be harmonic on D(z 0, R). Then for any r (0, R), u(z 0 ) = 1 z z 0 r

Complex Analysis Homework 9: Solutions

Complex Analysis. Travis Dirle. December 4, 2016

Part IB. Complex Analysis. Year

. Then g is holomorphic and bounded in U. So z 0 is a removable singularity of g. Since f(z) = w 0 + 1

RIEMANN MAPPING THEOREM

Notes on Complex Analysis

COMPLEX ANALYSIS Spring 2014

Math 411, Complex Analysis Definitions, Formulas and Theorems Winter y = sinα

Math Final Exam.

Solutions to Complex Analysis Prelims Ben Strasser

ζ(u) z du du Since γ does not pass through z, f is defined and continuous on [a, b]. Furthermore, for all t such that dζ

The Residue Theorem. Integration Methods over Closed Curves for Functions with Singularities

MORE CONSEQUENCES OF CAUCHY S THEOREM

COMPLEX ANALYSIS Notes Lent 2006

Math 185 Fall 2015, Sample Final Exam Solutions

INTRODUCTION TO REAL ANALYTIC GEOMETRY

Chapter 4: Open mapping theorem, removable singularities

MATH 215A NOTES MOOR XU NOTES FROM A COURSE BY KANNAN SOUNDARARAJAN

MATH5685 Assignment 3

Complex Analysis Math 185A, Winter 2010 Final: Solutions

MATH8811: COMPLEX ANALYSIS

Solutions Final Exam May. 14, 2014

13 Maximum Modulus Principle

Complex Analysis review notes for weeks 1-6

III. Consequences of Cauchy s Theorem

Complex Variables Notes for Math 703. Updated Fall Anton R. Schep

CONSEQUENCES OF POWER SERIES REPRESENTATION

The result above is known as the Riemann mapping theorem. We will prove it using basic theory of normal families. We start this lecture with that.

Analysis Comprehensive Exam, January 2011 Instructions: Do as many problems as you can. You should attempt to answer completely some questions in both

Exercises for Part 1

Fundamental Properties of Holomorphic Functions

Complex Analysis Important Concepts

POWER SERIES AND ANALYTIC CONTINUATION

MATH SPRING UC BERKELEY

FINAL EXAM MATH 220A, UCSD, AUTUMN 14. You have three hours.

Riemann Mapping Theorem (4/10-4/15)

= F (b) F (a) F (x i ) F (x i+1 ). a x 0 x 1 x n b i

Complex Analysis Slide 9: Power Series

MATH 566 LECTURE NOTES 6: NORMAL FAMILIES AND THE THEOREMS OF PICARD

MTH 3102 Complex Variables Final Exam May 1, :30pm-5:30pm, Skurla Hall, Room 106

Introductory Complex Analysis

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

Part II. Riemann Surfaces. Year

Chapter 30 MSMYP1 Further Complex Variable Theory

THIRD SEMESTER M. Sc. DEGREE (MATHEMATICS) EXAMINATION (CUSS PG 2010) MODEL QUESTION PAPER MT3C11: COMPLEX ANALYSIS

VII.5. The Weierstrass Factorization Theorem

4.6 Montel's Theorem. Robert Oeckl CA NOTES 7 17/11/2009 1

Hartogs Theorem: separate analyticity implies joint Paul Garrett garrett/

MASTERS EXAMINATION IN MATHEMATICS SOLUTIONS

INDEX. Bolzano-Weierstrass theorem, for sequences, boundary points, bounded functions, 142 bounded sets, 42 43

1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0

Complex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm

COMPLEX ANALYSIS 1 Douglas N. Arnold 2

Exercises for Part 1

Chapter 11. Cauchy s Integral Formula

PICARD S THEOREM STEFAN FRIEDL

IV.3. Zeros of an Analytic Function

= 2 x y 2. (1)

Chapter 6: Residue Theory. Introduction. The Residue Theorem. 6.1 The Residue Theorem. 6.2 Trigonometric Integrals Over (0, 2π) Li, Yongzhao

Complex Analysis MATH 6300 Fall 2013 Homework 4

Complex Analysis Math 220C Spring 2008

MATH 6322, COMPLEX ANALYSIS

MATH 8150 (Azoff) Spring Notes on Problems from Conway (in reverse order of assignments) Assignment 12 (Sections 9.1 and 10.

MASTERS EXAMINATION IN MATHEMATICS

ANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.

MA30056: Complex Analysis. Exercise Sheet 7: Applications and Sequences of Complex Functions

Part IB Complex Analysis

Lecture 1 The complex plane. z ± w z + w.

Sample Problems for the Second Midterm Exam

MA30056: Complex Analysis. Revision: Checklist & Previous Exam Questions I

z b k P k p k (z), (z a) f (n 1) (a) 2 (n 1)! (z a)n 1 +f n (z)(z a) n, where f n (z) = 1 C

Math 185 Homework Problems IV Solutions

Paul-Eugène Parent. March 12th, Department of Mathematics and Statistics University of Ottawa. MAT 3121: Complex Analysis I

WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS

COMPACTNESS AND UNIFORMITY

A RAPID INTRODUCTION TO COMPLEX ANALYSIS

Transcription:

Complex Analysis Qualifying Exam Solutions May, 04 Part.. Let log z be the principal branch of the logarithm defined on G = {z C z (, 0]}. Show that if t > 0, then the equation log z = t has exactly one root in G. z Solution. Let z = re iθ where r > 0 and π < θ < π. Then log z = t z becomes log r + iθ = t r cos θ i t sin θ. r Since θ and t sin θ have opposite signs when θ 0, it follows that if z G, then r log z = t if and only if z = r where r > 0 satisfies log r = t. But log r is strictly z r increasing and t is strictly decreasing. Hence, the Intermediate Value Theorem r implies that log r = t has exactly one root in {r R r > 0}. Therefore, log z = t r z has exactly one root in G.. Let G = C \ [, ]. Prove that f(z) = z has an analytic square root on G but does not have an analytic logarithm on G. Solution. To see that f has a square root, consider the function g defined on G by the formula ( ) g(z) = f(z) e arg(z )+arg(z+), where the arguments are chosen in [0, π). g is a well defined continuous function on G satisfying g = f. (g is analytic since z is locally - on C \ {0}; cf. Proposition.0 pg. 39 Conway). To see that f does not have an analytic logarithm on G, recall that this is equivalent to f having a primitive on G. But if γ is a path in G that winds once f around [, ] in the counterclockwise direction, then γ f f dz = γ ( z + ) dz = 4πi 0. z +

Therefore, f f cannot have a primitive (cf. Corollary. pg. 66 Conway). 3. Prove that the zeros of the polynomial p(z) = z n + c n z n +... c z + c 0 all lie in the open disk with center 0 and radius R = + c n +... + c + c 0. Solution. Note that R = if and only if p(z) = z n and that in this case the assertion is obviously true. Therefore, we may assume that R >. If z = R, then z n p(z) = c n z n +... c z + c 0 ( c n +... + c + c 0 ) (R (n ) + R (n ) +... + ) = ( R ) ( R n ) R = ( R n ) < R n = z n. Therefore, by Rouche s Theorem, the 0 s of p all lie in the open disk with center 0 and radius R. 4. Let G be a connected open set in C and let a G. Prove that if F H(G) is a normal family, then D = {f H(G) f(a) = 0 and f F} is a normal family. Solution. Assume that F H(G) is normal. That D is normal, will follow from Montel s Theorem if we can show that D is locally bounded. Accordingly, fix b G. Since G is assumed connected, there exists a rectifiable path γ : [0, ] G satisfying γ(0) = a and γ() = b. Since F is normal and {γ} is compact, there exists a constant M such that g F max g(γ(t)) M. t [0,]

Also, since F is normal, there exist r > 0 and M such that B(b, r) G and g F sup g(z) M. z B(b,r) It follows that if f D and w B(b, r), then f(w) = f (z) dz + γ γ [b,w] f (z) dz + f (z) dz [b,w] f (z) dz Thus, D is locally bounded. M γ + M r. 5. Show that if G C is a simply connected subset of C, f : G G is analytic, and f(z) is not identically equal to z, then f has at most one fixed point in G. Solution. Recall that Problem on the 0B Final Exam was to show that if g : D D is analytic and g(z) is not identically equal to z, then g can have at most one fixed point in D. The simple proof of this fact was based on an application of Schwarz s Lemma. Since G is assumed simply connected and C, it follows by the Riemann Mapping Theorem that there exists an analytic bijection φ : G D. If we define g by g = φ f φ, then g : D D is analytic and f(z) is not identically equal to z if and only if g(z) is not identically equal to z. Furthermore, a G is a fixed point for f if and only if φ(a) is a fixed point in D for g. Therefore, the assertion of this problem follows from the result in the previous paragraph. 6. Show that if G is an open subset of C, then there exist ideals in H(G) that are not finitely generated. Solution. Construct an infinite sequence of distinct points {z k } k= no limit points in G. For each n define in G that has I n = {f H(G) f(z k ) = 0 for each k n}. 3

It is straightforward to prove that for each n, I n is an ideal and also that I, defined by I = I n, n= is an ideal. We claim that I is not finitely generated. For if f, f,..., f m generate I, then, as there exists N such that f k I N for k =,,..., m, it would follow that I = I N. On the other hand, the Weierstrass Factorization Theorem implies the existence of an f I N+ with f(z N ) 0, i.e., I I N. Part.. Let G = {z C z < and z 3 > 3 }, K = G = {z C z and z 3 3 }, and A(K) denote the space of continuous functions on K that are analytic on G equipped with the uniform norm on K. For the purposes of this problem, a Laurent polynomial ia a function of the form N n= N a nz n and a Laurent series is an infinite sum of the form n= a nz n. Determine the truth or falsity of the following assertions. Be sure to justify your answers. (a) The polynomials are dense in H(G). (b) The polynomials are dense in A(K). (c) If f is analytic on a neighborhood of K, then f can be uniformly approximated on K by a Laurent polynomial. (d) If f H(G) then f can be represented on G by a Laurent series. Solution to (a). This assertion is true. Fix a compact open exhaustion {K n } of G that has the property that C \ K n is connected for each n. For example, the sets K n defined by K n = {z C z n n + and z 3 3 n + n } have this property. To prove that the polynomials are dense in H(G), fix f H(G). For each n, since C \ K n is connected, Runge s Theorem implies that there exists a polynomial 4

p n such that f(z) p n (z) n. For such a sequence of polynomials, p n f in H(G). Solution to (b). This assertion is false. Note that the function f(z) = is in z A(K). If {p n } is a sequence of polynomials and p n in A(K), then there exists z n such that max p z K z n(z) <. But if we set f(z) = zp n (z), as f is analytic on a neighborhood of D, the Maximum Principle implies that = f(0) max f(z) = max p z = z = z n(z) <. This contradiction implies that the polynomials are not dense in A(K). Solution to (c). This assertion is true. C \ K has two components, C = {z z 3 < 3 } and C = {z z > } { }. Furthermore, 0 C and C. Therefore, by Runge s Theorem, if f is analytic on a neighborhood of K, f can be uniformly approximated on K by rational functions R whose only poles are at 0 and. But if R is a rational function whose only poles are at 0 and, then R is a Laurent polynomial. Solution to (d). This assertion is false. A particularly simple counterexample is obtained by considering the function f(z) = (z a) where a 3 = 3. f has two Laurent series representations, and f(z) = f(z) = n= n=0 a n, a < z zn z n a n+, z < a. If a,, then neither of these series converge on G. 3. (a) Prove that the formula π f(z) = lim 0+ 5 t z dt

defines an analytic function in {z C Re z > 0}. (b) Show that if f is defined as in part (a), then f has an analytic continuation to {z C Re z > } \ {0} with a simple pole at 0 with residue. Solution. (a) Let G = {z C Re z > 0}. In Conway s language, the assertion is that the integral π t z 0 dt converges uniformly in G. Fix a compact set K G. Since K is compact, if we let ρ = min Re z, z K t then ρ > 0. Since has a removable singularity at 0, there exists δ (0, ) and a constant c such that 0 < t < δ = c t. If, β (0, δ) with < β and z K, it follows that β t z dt β β t Re z dt c t tρ dt = c ρ (βρ ρ ). Noting that either Morera s Theorem or Leibniz s Rule imply that π t z dt is analytic on G when (0, π ), this estimate implies that if we choose a sequence { n } in (0, π), then { π/ t z dt } n is a Cauchy sequence in H(G). Since H(G) is complete, it follows that there exists f H(G) such that π n t z dt f in H(G). Furthermore, the function f does not depend on the choice of sequence { n }. This proves that there exists an analytic function f on G satisfying π f(z) = lim 0+ t z dt. 6

(b) We adapt the trick used in class to analytically continue the Riemann ζ function to the critical strip {z 0 < Re z < }. Let and f (z) = π 0 f (z) = ( ) t z dt t π 0 t tz dt. Noting that has a removable singularity at 0, it follows by a straightforward sin z z modification of the analysis in part (a) that f is a well defined analytic function on {z Re z > }. Also, if Re z > 0, then f (z) = ( π )z z by straightforward calculation. It follows that if Re z > 0, then Hence, f(z) = f (z) + f (z) = f (z) + ( π )z z. f (z) + ( π )z z, which is analytic in {z C Re z > } \ {0} with a simple pole at 0 gives the desired continuation of f. Res(f, 0) = lim z (f (z) + ( π )z z 0 z ) = ( π )0 =. 3. Let G be an open set in C and let (S (G), ρ) denote the sheaf of germs of analytic functions on G. (a) Prove that the sheaf topology on S (G) is Hausdorff. (b) Let Γ(t) = (γ(t), [f t ] γ(t) ), 0 t be a function from [0, ] into S (G) and for each t [0, ] choose an open set D t such that γ(t) D t G and f t is analytic on D t. Prove that Γ is continuous if and only if γ is a path in G and {(f t, D t ) 0 t } is an analytic continuation along γ. 7

Solution to (a). Assume that (a, [f] a ), (b, [f] b ) S (G) with (a, [f] a ) (b, [f] b ). Either a b, or a = b and [f] a [f] b. If a b, choose disjoint neighborhoods D a, D b G of a and b respectively such that f is analytic on D a and g is analytic on D b. Then N(f, D a ) = {(z, [f] z ) z D a } and N(g, D b ) = {(z, [g] z ) z D b } are disjoint neighborhoods of (a, [f] a ) and (b, [f] b ) respectively. Solution to (b). First assume that Γ(t) = (γ(t), [f t ] γ(t) ), 0 t is a continuous function from [0, ] into S (G) and that D t is an open set such that γ(t) D t G and f t is analytic on D t. We wish to show γ is a path in G and {(f t, D t ) t [0, ]} is an analytic continuation along γ. Since γ = ρ Γ, that γ is a path in G follows immediately follows from the continuity of Γ and ρ. To prove that {(f t, D t ) t [0, ]} is an analytic continuation along γ, fix t [0, ]. Since Γ is continuous and N(f t, D t ) is a neighborhood of Γ(t), there exists δ > 0 such that s [0, ] and s t < δ = Γ(s) N(f t, D t ). But Γ(s) = (γ(s), [f s ] γ(s) ) and N(f t, D t ) = {(z, [f t ] z ) z D t }. Therefore, s [0, ] and s t < δ = γ(s) D t and [f s ] γ(s) = [f t ] γ(s). This proves that {(f t, D t ) t [0, ]} is an analytic continuation along γ. Conversely, assume that γ is a path in G, Γ(t) = (γ(t), [f t ] γ(t) ), 0 t is a function from [0, ] into S (G), and that {(f t, D t ) t [0, ]} is an analytic continuation along γ. We wish to show that Γ is continuous. Accordingly, fix t [0, ] and an open set Ω in S (G) such that Γ(t) Ω. By the definition of the sheaf topology, there exists an open set U in G such that Γ(t) N(f t, U) Ω. Since {(f t, D t ) t [0, ]} is an analytic continuation along γ, there exists δ > 0 such that s [0, ] and s t < δ = γ(s) D t and [f s ] γ(s) = [f t ] γ(s). Since γ is a path, there exists δ > 0 such that Therefore, if δ = min{δ, δ }, then s [0, ] and s t < δ = γ(s) U. s [0, ] and s t < δ = γ(s) D t U and [f s ] γ(s) = [f t ] γ(s). But γ(s) D t U and [f s ] γ(s) = [f t ] γ(s) imply that Γ(s) = (γ(s), [f s ] γ(s) ) {(z, [f t ] z ) z D t U} = N(f t, U) Ω. Summarizing, we have shown that if t [0, ] and Ω is a neighborhood of Γ(t) in S (G), then there exists δ > 0 such that Γ(s) Ω whenever s [0, ] and s t < δ. Therefore, Γ is continuous. 8