Complex Analysis Study Guide

Size: px
Start display at page:

Download "Complex Analysis Study Guide"

Transcription

1 Complex Analysis Study Guide. Equivalences Of Holomorphicity For a domain D C, f(z) = u + iv is holomorphic in D if and only if f z = : (a) If and only if u and v satisfy the Cauchy-Riemann Equations = f z = ( 2 x + i ) (u+iv) = ( u y 2 x v ) + i ( v y 2 x + u ) y (b) If and only if f(z) C (D). First assume f C (D). u x = v y and u y = v x. f(z) f(z ) f(z + h) f(z ) u(x + h, y ) + iv(x + h, y ) u(x, y ) iv(x, y ) lim = lim = lim z z z z h,h R h h h u(x + h, y ) u(x, y ) = lim + i h h On the other hand ( lim h f(z) f(z ) lim = lim z z z z [ ( u(x, y + h) u(x, y ) = lim + i lim h i h h ) v(x + h, y ) v(x, y ) h h,h R Equating the real and imaginary parts for f (z ), we get = u x (x,y ) f(z + ih) f(z ) ih )] = ( i) u y v(x, y + h) v(x, y ) h u x = v y, u y = i v x + i v x (x,y ) (x,y ). + v y evaluated at (x, y ). By part (a), f is holomorphic. Now assume f is holomorphic on D. Fix z D. For z near z we may define γ(t) = ( t)z + tz and γ : [, ] D. f(z) f(z ) = f(γ()) f(γ()) = Dividing both sides by z z yields = Let ɛ >. As f z f z (z )dt + γ f z dz = f z (γ(t))dγ dt dt = f z (γ(t))(z z )dt. f(z) f(z ) f = z z z (γ(t))dt [ ] f f (γ(t)) z z (z ) dt = f z (z ) + is continuous, there is a δ > such that f f (w) z z (z ) < ɛ [ ] f f (γ(t)) z z (z ) dt. whenever w z < δ. Note that γ(t) z = t z z z z for t [, ], therefore f f (γ(t)) z z (z ) < ɛ (x,y ).

2 for z z < δ. Fixing z z < δ, we have [ ] f f (γ(t)) z z (z ) dt f f (γ(t)) z z (z ) dt ɛdt = ɛ. It follows that f(z) f(z ) lim = f z z z z z (z ). 2. Interaction of Holomorphic Functions (a) O(D), the set of all holomorphic functions on D forms an algebra. Let f, g, h O(D) and a, b C. To be an algebra, the following conditions must hold: (f + g) h = f h + g h. f (g + h) = f g + f g. (af) (bg) = (ab)(f g). As the algebra multiplication is standard commutative multiplication, it suffices to show that if f and g are any holomorphic function on D, then fg is as well. So O(D) is in fact an algebra. (fg) z = f z g + f g = g + f =. z (b) Moreover, if f : D E is holomorphic and g : E C is holomorphic, then g f is holomorphic. As f is holomorphic, f(x, y) = u f (x, y) + v f (x, y) and g(x, y) = u g (x, y) + v g (x, y). and As g is holomorphic, and as f is holomorphic So so g f is holomorphic. u(x, y) + iv(x, y) = g f = g(u f, v f ) = u g (u f, v f ) + iv g (u f, v f ). u x = x (u g(u f, v f )) = u g u f u f x + u g v f v f x v y = v g u f u f y + v g v f v f y. u g u f = v g v f, u g v f = v g u f u f x = v f y, u f y = v f x u x = v y, u y = v x, (c) If u is harmonic on a domain E, f : D E is holomorphic, then u f is harmonic in D. Let z E. As E is a domain, there exists a r > such that D(z, r) E. As D(z, r) is simply connected, on this set we can find some holomorphic g such that Re(g) = u. On D(z, r), g f is holomorphic, so its real part is harmonic. Notice Re(g f) = u f. 3. Harmonic Conjugates and Antiderivatives 2

3 (a) If f = u + iv is holomorphic, then u and v are harmonic. v is called the harmonic conjugate of u. By the Cauchy-Riemann Equations, u x = v y 2 u x u y 2 = x u x + y and u y = v x. Thus u y = x As f C (D), order of differentiation can be changed, so 2 u x u y 2 = v x y The computation to show v is harmonic is identical. v y + y v x y =. ( v ). x Lemma. If f, g are C functions on a simply connected set D and if f y = g on D, then there is x a function h C 2 (D) such that h h = f, x y = g on D. For (x, y) D, set h(x, y) = x a f(t, b)dt + y b g(x, s)ds, where (a, b) D. As D is simply connected, these integrals exist. By the Fundamental Theorem of Calculus h (x, y) = g(x, y). y Again by the Fundamental Theorem of Calculus and since g C (D), h (x, y) = f(x, b) + x x y b y g(x, s)ds = f(x, b) + b = f(x, b) + f(x, y) f(x, b) = f(x, y). y g(x, s)ds = f(x, b) + x b f(x, s)ds y (b) Given a harmonic function u on a domain D, if D is simply connected u has a harmonic conjugate v such that F = u + iv is holomorphic in D. Give a counterexample if D is not simply connected. Let f = u y, g = u f. As u is harmonic, we have x y = g x on D. Since f, g C (D), by Lemma, there exists a v C 2 (D) such that v x = f = u y, v y = g = u x. By the Cauchy-Riemann Equations, F = u + iv is holomorphic. Let D be the punctured unit disc. u(x, y) = ln(x 2 + y 2 ) is harmonic on D. Moreover, u along with the function v(x, y) = 2 tan (y/x) satisfies the Cauchy-Riemann equations. However, v is not defined everywhere on D, so u + iv is not holomorphic on D. (c) If f is holomorphic in a domain D, prove that if D is simply connected then there exists a holomorphic function F such that F (z) = f(z) on D. Give a counterexample if D is not simply connected. 3

4 Let f = u + iv. Let g = u, h = v, then by the Cauchy-Riemann equations we have g y = h x. By Lemma there exists a real C 2 function f such that f x = g = u, f y = h = v. ĝ Now let ĝ = v, ĥ = u. Again by the Cauchy-Riemann equations, we get there exists a function f 2 such that f 2 x = ĝ = v, f 2 y = ĥ = u. y = ĥ x so by the Lemma Let F = f + if 2. F is C 2 and by the above equations F satisfies the Cauchy-Riemann equations, so F is holomorphic. Finally, z F = ( 2 x i ) (f +f 2 ) = ( f y 2 x + f ) 2 + i ( f2 y 2 x f ) = y 2 (u+u)+ i (v +v) = f. 2 Let D be the punctured unit disc. Let f(z) = /z. f is holomorphic on D. Assumethere exists a holomorphic function F such that F (z) = f(z). Let γ = D(, ). By calculation f(z) = i. γ However, by the Fundamental Theorem of Calculus, f(z) = F (γ()) F (γ()) =. So no F can exist. 4. Cauchy s Theorem, Morera s Theorem and Cauchy s Integral Formula (a) Cauchy s Theorem D is a bounded domain in C with piecewise C boundary. If f is holomorphic in D and f C(D), then f(z)dz =. By Stokes Theorem, f(z)dz = d(f(z)dz) = D D D D ( ) f f dz + z z dz dz = D γ f dz dz + dz dz =. z (b) Morera s Theorem Let D be connected. If f C(D) and for any simply closed piecewise C curve γ in D we have f(z)dz =, then f is holomorphic in D. γ Fix z D. Define a function F : D C as follows. Given z D choose a piecewise C curve φ : [, ] C such that φ() = z, φ() = z. Set F (z) = dw. φ It is not yet clear that F is well-defined. Let τ be any piecewise C curve such that τ() = z, τ() = z. Let µ be the closed curve φ ( τ). µ is piecewise C. By assumption we have = dw = dw dw. µ φ Let F = U + iv. Fix z = (x, y) D and φ going from z to (x, y). Choose h R small enough so that (x+t, y) D for t h. Let l h (t) be the line segment connecting (x, y) and (x + h, y). Let φ h = φ l h. h F (x + h, y) F (x, y) = dw dw = dw = f(z + s)ds. φ h φ l h 4 τ

5 Taking the real part of this equation yields U(x + h, y) U(x, y) h Letting h on both sides yields that = h h Re f(z + s)ds = h h Ref(z + s)ds. Similar calculations yield that U (z) = Ref(z). x U y = Imf, V x Thus F is holomorphic. Thus F = f is holomorphic. = Imf, V y = Ref. (c) Cauchy s Integral Formula Let D be a bounded open domain in C with piecewise C boundary. Let f(z) be holomorphic in D and f C(D). Then i D dw = f(z), z D. w z i D w z dw = i D ɛ w z dw + i D(z,ɛ) w z dw where D ɛ = D\D(z, ɛ) for some ɛ > such that D(z, ɛ) D. By Cauchy s Integral Theorem we have i D w z dw = + i D(z,ɛ) w z dw = f(z + ɛe iθ ) i ɛe iθ ɛie iθ dθ = f(z + ɛe iθ )dθ ɛ f(z)dθ = f(z). (c ) Generalized Cauchy s Integral Formula Let D be a bounded open domain in C with piecewise C boundary. Let f(z) be holomorphic in D and f C(D). Then k! i D (w z) k+ dw = f (k) (z), z D. For z D, f (k) (z) = k z k i D w z dw = i D (d) Mean Value Property If f is holomorphic in D(z, R), then = k! i D k ( ) z k dw = ( ) k w z i D z k dw w z dw. (w z) k+ for < r < R. f(z ) = f(re z+riθ )dθ 5

6 By Cauchy s Integral Formula f(z ) = f(z) dz = f(z + re iθ ) i z z =r z z i re iθ rie iθ dθ = using the substitution z = z + re iθ. (d ) If u is harmonic in D(z, R), then u(z ) = u(z + re iθ )dθ. f(re z+riθ )dθ, Since u is harmonic and D(, R) is simply connected, there exists a harmonic function v such that f = u + iv is holomorphic. By the Mean Value Property, u(z )+iv(z ) = f(z ) = f(re z+riθ )dθ = u(re z+riθ )dθ+ i v(re z+riθ )dθ. Equating the real parts of both sides yields the desired result as u and v are real-valued. 5. Applications of Cauchy s Integral Formula (a) Liouville s Theorem Any bounded entire function is constant. Let z C, R >. Let f < M. f (z ) = i w z =R (w z ) 2 dw. f (z ) f(z + Re iθ ) Re iθ 2 Rie iθ dθ M R So f (z ) = for all z C. So f is constant. (b) Linear and Sublinear Growth. Let f(z) be entire. f(z) i. If f is sub-linear growth (i.e. lim = ), then f is a constant. z z dθ = M R R. By Cauchy s Integral Formula f (z) = i w =R (w z) 2 dw f (z) w =R (R z ) 2 dw ( f(re iθ ) ) R 2 R (R z ) 2 dθ. ( f(re iθ ) ) As R, by assumption. So f (z) =. So f is constant. R ii. If f(z) is polynomial growth (i.e. there is some positive integer n such that f(z) c n ( + z n )), then f(z) is a polynomial. Let z C and R >> 2 z +. f (n+) (z) = (n + )! i 6 w =R dw. (w z) n+2

7 f (n+) (n + )! (z) So f is a polynomial of degree at most n. f(re iθ ) R (n + )! (R z ) n+ dθ R z (c) If f is holomorphic in a domain D, then f is analytic in D. c n ( + R n ) R R (R z ) n+ dθ. R z Let z D, r > such that D(z, r ) D. By Cauchy s Integral Formula, for < R < r, z D(z, R), f(z) = i w z =R Note that z z w z <. So f(z) = i w z =R w z dw = i w z =R w z ( ) n z z dw = n= w z w z (z z ) dw = i w z =R n= i w z =R since the sum converges uniformly on D(z, R). By Cauchy s Integral Formula f(z) = n= i w z =R (w z ) n+ dw(z z ) n = n= ( ) n z z dw w z w z f (n) (z ) (z z ) n. n! So this sum converges uniformly on D(z, R) and has radius of convergence at least r and the radius of convergence is given by lim sup n a n. n (d) Uniform Limits of Holomorphic Functions Let f j : D C for j =, 2,... be a sequence of holomorphic functions on an open set D in C. Suppose that there is a function f : D C such that, for any compact subset K of D, the sequence f j f uniformly on K. Then f is holomorphic on D. Let z D be arbitrary. Choose r > such that D(z, r) D. Since {f j } converges to f uniformly on D(z, r) and since each f j is continuous, f is also continuous on D(z, r). For any z D(z, r), f(z) = lim j f j(z) = lim j i w z =r f j (z) w z dw = i lim w z j =r f j (z) w z dw = i w z =r The interchange of integral and limit is justified by the fact that, for z fixed, f j (w)/(w z) converges to /(w z) uniformly for w in the compact set {w : w z = r}. (d ) If f j, f, D are as in the Theorem above, then for any integer k, uniformly on compact sets. As we have shown that f j (z) = i w z =r ( ) k ( ) k f j (z) f(z) z z uniformly, we similarly have that f (k) j (z) = k! f j (w) k! dw i (w z) k+ i as f is holomorphic. w z =r f j (w) w z dw dw = f(z) i w z =r w z w z =r (w z) k+ dw = f (k) (z) (w z )( z z w z ) dw. f(z) w z dw. 7

8 (e) Fundamental Theorem of Algebra Let p n (z) = a n z n + + a, a n be a polynomial of degree n. Then p n (z) must have a zero in C. Assume toward contradiction that p n (z) on C. Then is entire. There exists R such p n (z) that for z R, 2 a n z n p n (z) 2 a n z n. So p n (z) 2 a n z 2 n a n. As is continuous it has a maximum on the compact set D(, R). Let M be this maximum. p m (z) Therefore p n (z) M + 2 a n for z C. Therefore p n (z) is constant, implying p n(z) is constant, contradicting that n. Therefore p n (z) has a zero in C. (f) Uniqueness Theorem If f(z) is holomorphic in an open connected domain D and if f(z) = on an open subset of D, then f(z). Let z be an accumulation point of Z(f). n f Claim: z n (z ) = for all n Z +. Assume toward the contrary that this is not the case. Then f there is some n such that n z (z ). Then, on some disc D(z, r) D, we have n Hence the function g defined by f(z) = g(z) = ( ) j (z z j f(z z ) j ). j! j=n j=n ( ) j f(z ) (z z ) j n z j! is holomorphic on D(z, r). Notice that g(z ) by our choice of n. As z is an accumulation point, there exists a sequence {z k } Z(f) such that z k z. Note that g(z k ) = for all z k. By the continuity of g this implies g(z ) =. So f (n) (z ) = for all n. As f(z) = a n (z z ) n for z D(z, r ), where r = dist(z, D). By definition of a n, we n= have that f(z) on D(z, r ). If D(z, r ) D, then there exists some z D(z, r ), z z such that there is a r > such that D(z, r ) D and D(z, r ) (D D(z, r )) since D is open. So we may continue inductively as D is connected to find {z i } such that D(z j, r j ) = D j= and f(z) on each D(z j, r j ). So f(z) on D. Note that if f(z), then Z(f) must be discrete. 8

9 (f ) Factorization of a Holomorphic Function. Let f(z) be holomorphic in D, f on D. If z D such that f(z ) =, then there exists some k Z + and a holomorphic function g where g(z ) such that f(z) = (z z ) k g(z). Since f(z) on D, there is some k such that k is the first positive integer such that f (k) (z ). So f (j) (z ) f(z) = (z z ) j, z D(z, r ). j! Let g(z) = j=k f(z) = (z z ) k j= j= g(z) is holomorphic in D(z, r) and, when z z, g C(D). So g is holomorphic in D and f (j+k) (z ) (z z ) j (j + k)! f (j+k) (z ) (z z ) j if z D(z, r) (j + k)! f(z) (z z ) k if z D\D(z, r) f(z) (z z ) k is holomorphic on D\{z }. So and g(z ) = f (k) (z ) k! f(z) = (z z ) k g(z), z D. 6. Isolated Singularities and Laurent Series (a) A Laurent Series for a meromorphic function f(z) about an isolated singularity z is given by f(z) = n= a n (z z ) n, where a n = f(z) dz, where γ is a positively oriented simple closed curve enclosing i γ (z z ) n+ z in the annulus of convergence of f(z). The annulus of convergence of a Laurent series is given by A(z, r, R) = D(z, R)\D(z, r), where r = lim sup n n a n and R = lim sup n n a n. Let r < s < z z < s 2 < r. Now w z =s 2 w z f(z) = i w z =s 2 j= w z =s 2 (z z ) j (w z ) k dw = w z dw i w z =s w z dw = w z =s 2 w z =s 2 w z z z w z j= w z dw. w z dz = (z z ) j (w z ) k dw = w z =s 2 j= (z z ) j dw (w z ) j+ 9

10 where the geometric series converges since z z /s 2 <. As this is independent of w, we may switch order of integration and summation to obtain ( w z dw = ) dw (z z (w z ) j+ ) j. w z =s 2 w z =s j= w z =s 2 For s < z z, a similar argument justifies that ( w z dw = j= w z =s ) dw (z z (w z ) j+ ) j. Thus f(z) = j= ( i w z =r ) dw (z z (w z ) j+ ) j. To find the annulus of convergence, converges on D(z, R) where R is given by n= R = converges when z z R = lim sup n n a n a n (z z ) n n= lim sup n n a n. a n (z z ) n = n= So our sum converges on r z z R = A(z, r, R). (b) Isolated Singularities. Let f be a meromorphic function in a domain D. a n (z z ) n z z n = r r = lim sup a n. R n i. Removable: z D is a removable singularity of f if and only if lim f(z) C if and only if z z (Riemann Lemma) lim (z z )f(z) = if and only if f(z) = a n (z z ) n. z z (Riemann Lemma for Removable Singularities) Let { (z z ) g(z) = 2 f(z) if z z if z = z As f is meromorphic, there exists some δ > such that g is holomorphic in D(z, δ)\{z }. n= g(z) g(z ) lim = lim (z z )f(z) = z z z z z z by assumption. So g (z ) =. Therefore g is holomorphic in D(z, δ) and g(z ) = g (z ) =. g(z) is therefore analytic in D(z, δ) and for z D(z, δ), g(z) = n= g (n) (z ) (z z ) n = n! n=2 g (n) (z ) (z z ) n = n! a n (z z ) n = (z z ) 2 n=2 n= a n+2 (z z ) n.

11 Therefore, when z z, (z z ) 2 f(z) = (z z ) 2 a n+2 (z z ) n = f(z) = a n+2 (z z ) n. n= Thus we have that lim f(z) = a 2. So z is a removable singularity of f. z z Assume z is a removable singularity. Then lim f(z) = c so lim (z z )f(z) = c =. z z z z If f(z) = n= a n (z z ) n, then lim z z (z z )f(z) = lim removable. ii. Pole: z D is a pole of f if and only if lim that lim z z (z z ) k+ f(z) = if and only if f(z) = z z n= n= a n (z z ) n+ =. So z is f(z) = if and only if there is some k such z z a n (z z ) n. n= k Since lim f(z) =, there exists some δ > such that f(z) is holomorphic in D(z, δ)\{z } z z and f(z) on D(z, δ)\{z }. Let g(z) = f(z). Then g(z) is holomorphic in D(z, δ)\{z } and g(z) on D(z, δ)\{z }. By the Squeeze Theorem, lim (z z )g(z) =. By z z Riemann s Lemma, z is a removable singularity for g. So g is holomorphic in D(z, δ) and lim g(z) = lim z z z z f(z) =. g(z) = a n (z z ) n for z D(z, δ) and let k be the number n= such that a k is the first coefficient not equal to. Note that k. We have that g(z) = (z z ) k n= a n+k (z z ) n = (z z ) k h (z), where h is holomorphic in D(z, δ) and h(z ) = a k. Therefore f(z) = g(z) = (z z ) k h (z) = h(z) (z z ) k. As g(z) on z D(z, δ)\{z }, h (z) in D(z, δ). So h is holomorphic and h(z). So for z D(z, δ)\{z } f(z) = h(z) (z z ) k, so lim (z z ) k+ f(z) = lim (z z )h(z) =. z z z z iii. Essential Singularity: z D is an essential singularity of f if and only if lim f(z) does z z not exist if and only if (Casorati-Weierstrass) f(d(z, r)\{z }) is dense in C for any r > if and only if f(z) = a n (z z ) n where there are infinitely many n < such that a n. n= Suppose there is some r > such that f(d(z, r)\{z }) is not dense in C. So there is some w C and ɛ > such that f(z) w ɛ for all z D(z, r)\{z }. Let g(z) =. f(z) w g is holomorphic in D(z, r)\{z }. So z is an isolated singularity of g. Moreover, g(z) = f(z) w ɛ = lim (z z )g(z) = z z

12 By Riemann s Lemma z is a removable singularity of g. Therefore lim g(z) = c. If c =, z z then lim f(z) = lim w + z z z z g(z) =. So z is a pole of f. If c, then lim f(z) = lim w + z z z z g(z) = w + c. So z is a removable singularity of f. Both of these are a contradiction. Therefore w must be a limit point of f(d(z, r)\{z }). If f(d(z, r)\{z }) is dense in C for any r >, then there exists a sequence {z j } D(z, r)\{z } converging to z such that f(z j ) and a sequence {w j } D(z, r)\{z } converging to z such that f(w j ). So lim f(z) does not exist. z z (c) Residue Theorem Suppose D is an open simply connected set in C and that z,..., z n are distinct points of D. Suppose that f : D\{z,..., z n } C is a holomorphic function and γ is a closed, piecewise C curve in D\{z,..., z n }. Then i γ f(z)dz = j= ( ) Res(f(z); z = z j ) dz. i γ z z j Let S j (z) be the singular part of f at z = z j, i.e. if f(z) = n= So = a n (z z j ) n. Then f(z) j= k= Note: 2 i f(z) = i γ a (j) k i γ γ = j= i j= ( d(z z j ) n+ n + n= a n (z z j ) n, then S j (z) = S j (z) is holomorphic in D. By Cauchy s Theorem j= γ f(z) S j (z)dz =. j= S j (z)dz = i γ 2 γ k= +a (j) z z j dz is an integer. a (j) k i γ j= i γ (z z j) k dz + a (j) z z j dz = j= k= γ a (j) k (z z j) k dz ) dz z z j ( ) Res(f(z); z = z j ) dz. i γ z z j (c ) Computing Residues Let f be a function with a pole of order k at z. Then ( ) k ( Res(f(z); z = z ) = (z z ) k f(z) ) (k )! z. z=z By the Residue Theorem, for some r >, Res(f(z); z = z ) = i z z =r 2 f(z)dz = f(z)(z z ) k i z z =r (z z ) k.

13 By the proof above, f(z)(z z ) k has a removable singularity at z, so it may be extended to a holomorphic function on D(, r). By Cauchy s Integral Formula 7. Evaluating Improper Integrals (a) (f(z)(z z ) k ( ) k ) ( i z z =r (z z ) k dz = f(z)(z z ) k (k )! z. z=z R(cos θ, sin θ)dθ, R is a rational function. We use the parameterization, e iθ = z. As z =, z =, so we have z cos z = ( z + ), sin z = ( z ). 2 z 2i z As z = e iθ, dz = ie iθ dθ, so dz = dθ. Our integral can then be written iz ( ( R z + ), ( z )) 2 z 2i z iz dz. z = (b) P (x) dx, Q(x) on R, deg(q) deg(p ) + 2. Q(x) If z,..., z n R 2 + are the roots of Q(z), then consider the curve where R is large enough so that {z j } D R. P (x) Q(x) dx = P (z) D R Q(z) dz = i n k= ( ) P (z) Res Q(z) ; z = z k. (c) P (x) dx, Q(x) on (, ), deg(q) deg(p ) + 2. Q(x) Let Q(x) = + a x n + + a k x n k, a j. Let n = gcd(n,..., n k ). Consider the curve where R is large enough so that all roots of Q(x) with argument between and /n are in D R. i k= ( ) P (z) R Res Q(z) ; z = z P (x) k = = D R Q(x) dx + P (z) P (re i/n C R Q(z) dz + ) Q(re i/n ) ei/n dr 3

14 R ( e /n) P (x) Q(x) dx + where z,..., z k are the zeros of Q(z) in D R for R large enough. ( ) (d) R(x) cos(x)dx = Re R(x)e ix dx, where R(x) is a rational function. Fact: f(x)e ix dx = i Res ( f(z)e iz ) ; z = z k, for zk R 2 + so long as f(re iθ ) as k= r uniformly for θ (, π). (e) R(x)x α dx, α ((, ) (, )) Q, R a rational function. For degr 2, consider the curve i k= ( ) P (z) Res Q(z) ; z = z k = R r R(x)x α dx+ R(z)z α dz+ C R r R R(xe i )x α e iα dx R(x)x α dx. C r (f) r +,R + R(x) ln xdx. Consider the curve R(x)x α dx e iiα R(x)x α dx = ( e iα) R(x)x α dx. D r,r R(z) ln zdz = 8. Argument Principle R r R(x) ln xdx+ r R R(x)(ln x +iπ)dx R(z) ln zdz+ C r R(z) ln zdz. C R (a) Argument Principle Let f be a meromorphic function on a domain D, f continuous on D, D has piecewise C boundary. If F has neither poles nor zeros on D, then i D f (z) f(z) dz 4

15 (b) Rouché s Theorem Let D be a bounded domain with piecewise C boundary. Let f, g be holomorphic in D and continuous on D. If f(z) + g(z) f(z) + g(z), z D, then #Z D (f) = #Z D (g). (c) Hurwitz s Theorem Let {f n }, f be holomorphic functions in a domain D C. f n (z) is nonzero for z D. If f n f uniformly on any compact subset of D, then either f(z) or f(z) for z D. Corollary If f n f uniformly on D and f(z) on D, then there exists some N such that f n (z) for n N, z D. Let z D. As D is open, there exists r > such that D(z, r) D. Let δ = min{ f(z) : z D(z, r)} >. By uniform continuity, for z D(z, r), there exists some N such that for any n N, We also have Therefore f(z) f n (z) < δ 2. δ 2 < f(z) f(z) + f n(z). f(z) + ( f n (z)) < f(z) + f n (z). So #Z D(z,r)(f) = #Z D(z,r)(f n ). So, in particular, as f(z ), f n (z ). As z was arbitrary, f n (z) for z D. (d) Gauss-Lucas Theorem Let p(z) be a polynomial. Then all the zeros of p (z) lie in the convex hull of the zero set of p(z). n Let p(z) = a (z a j ). j= If z is a zero of p and p(z), then p (z) p(z) = n j= z a j. j= z a j =. Multiplying top and bottom of each term by z a j respectively, we get Rewriting this, we have j= j= z a j z a j 2 =. z a j 2 z = j= z a j 2 a j. Taking the conjugate of both sides, we have z is a weighted sum with positive coefficients that sum to one. So z is in the convex hull of the roots of p. Note that if p(z) = also, then as z is a root of p it is in the convex hull of the zero set of p(z) already. 5

16 (e) Open Mapping Theorem If f is holomorphic and nonconstant in a domain D, then f : D C is an open mapping. Let O be open in D. Let w f(o). Then there exists a z O such that f(z ) = w, i.e. f(z ) w =. By the Uniqueness Theorem, there exists a δ > such that D(z, δ) O and f(z) w on D(z, δ)\{z }. Let ɛ = min{ f(z) w : z z = δ} >, which exists by compactness and choice of δ. It suffices to show D(w, ɛ) f(o), that is, for any w D(w, ɛ), f(z) w = has a solution in D(z, δ), then D(w, ɛ) f(d(z, δ)) f(o). It suffices to show, for w D(w, ɛ), Set #Z D(z,δ)(f(z) w) = i D(z,δ) (f(z) w) f(z) w dz = i D(z,δ) g(w) = f (z) i D(z,δ) f(z) w dz. f (z) dz >. f(z) w By the Argument Principle, g(w) is integer-valued on D(w, ɛ). From the definition, g(w) is continuous on D(w, ɛ) as ɛ = min{ f(z) w : z D(z, δ)}, so for z such that z z = δ, f(z) w >. Moreover, f(z ) = w. So g(w ). By continuity, g(w) g(w ). So D(w, ɛ) f(o). So f is an open mapping. (f) Maximum Modulus Theorem Let f be holomorphic in a domain D. If there is some z D such that f(z) f(z ) for all z D, then f is constant. Let z be as above and assume toward contradiction f be nonconstant. Then f is an open mapping, so there exists some δ > such that D(f(z ), δ) f(d). However, there exists a point on D(f(z ), δ), for instance, with modulus greater than f(z ). This contradicts our choice of z. So f must be constant. Corollary If f is holomorphic in a bounded domain D and f is continuous on D, then the maximum of f occurs on D. Minimum Modulus Theorem If f is holomorphic in a domain and f on D, then if there is some z D such that f(z ) f(z) for z D, then f(z) is constant. Define g(z) = z and apply the Maximum Modulus Theorem to g(z). 9. Conformal Maps (a) Schwarz Lemma Let f : D(, ) D(, ) be holomorphic and f() =. Then (i) f(z) z for z D(, ) (ii) If f () = or f(z ) = z for z D(, )\{}, then f(z) = e iθ z, θ [, ). (i) Let g(z) = f(z). By Riemann s Lemma, g is holomorphic in D(, ), g(z) = z z f(z) z for z D(, ). For r <, g(z) r for z D(, r) by the Maximum Modulus Principle. Letting r, we have g(z), i.e. f(z) z. Note also that this implies that g : D(, ) D(, ). (ii) If z and f(z) = z, then g(z ) =, which by the Maximum Modulus Theorem implies g(z) =, i.e. g(z) = e iθ, θ [, ). So f(z) = e iθ z. If f () =, then f () = lim z f(z) f() z = lim z f(z) z =, which implies g() =. Again by the Maximum Modulus Theorem, g(z) = e iθ, so f(z) = e iθ z. 6

17 (b) Schwarz-Pick Lemma Let f : D(, ) D(, ) f(z) f() (i) f()f(z) z f(z) f(a) (ii) Let a D(, ). Then f(a)f(z) z a az for z D. f() f(z) (i) Let g(z) =. Then g : D(, ) D(, ). Note g() =, so by Schwarz Lemma, f()f(z) g(z) z, i.e. f(z) f() z for z D(, ). f()f(z) (ii) Let a D(, ) and define φ a (z) = a z az. Then φ a() = a. Note that f φ a : D(, ) D(, ). By the above argument, f φ a (z) f φ a () z for z D, f φ a ()f φ a (z) or after simplification f φ a (z) f(a) z for z D. f(a)f φ a (z) As this holds for all z D(, ), we may plug in φ a (z) = φ a (z) into this function. Therefore f φ a φ a (z) f(a) f(a)f φ a φ a (z) = f(z) f(a) f(a)f(z) φ a(z) = a z az for z D. Corollary If f : D(, ) D(, ), then f (z) f(z) 2 z 2 for z D(, ) By Schwarz-Pick, after rearrangement f(z) f(a) z a f(a)f(z) az. Letting a z, we have as f(z), z <. f (z) f(z) 2 z 2 = f(z) 2 z 2 Corollary If there is a z D(, ) such that f (z ) = f(z ) 2 z 2, then f(z) f(z ) f(z )f(z) = z z z z. Proof follows from the Maximum Modulus Theorem. (c) Image of Boundary under Biholomorphic Maps Let D, D 2 be domains in C. Let f : D D 2 be biholomorphic. Then f( D ) D 2. 7

18 (d) Characterization of Aut(D(, )) Let φ Aut(D(, )), a D(, ) such that φ(a) =. Let g(z) = φ(z) az. Then g : D(, ) D(, ) is holomorphic, g(z) on D and g(z) a z as z. By the Maximum and Minimum Modulus Theorem, min{ g(z) : z = r} g(z) max{ g(z) L z = r} for z D(, r). Letting r, we have g(z) for z D(, ). So g(z) = e iθ for θ [, ). So φ(z) = e iθ φ a (z) = e iθ a z az. (e) Möbius Transfoms A Möbius Transfom is a rational function of the form f(z) = az + b, where ad bc. For any cz + d two circles Γ, Γ 2 C, there exists a Möbius Transfom T that maps Γ Γ 2 where z, z 2, z 3 Γ, z i z j, w, w 2, w 3 Γ 2, T (z j ) = w j. We use the real line as an intermediate step. Consider first S(z) = z z ( ) z2 z / z z 3 z 2 z 3 Then So S : Γ R. Consider now Then S(z ) = S(z 2 ) = S(z 3 ) = S(w) = w w ( ) w2 w / w w 3 w 2 w 3 S(w ) = S(w 2 ) = S(z 3 ) = Define T (z) = S S. Then T (z ) = S S(z ) = S () = w T (z 2 ) = S S(z 2 ) = S () = w 2 T (z 3 ) = S S(z 3 ) = S ( ) = w 3 (f) Conformal Maps I. R 2 + D(, ) 8

19 II. {z C : Re(z), Im(z) > } D(, ) III. {z C : θ < arg(z) < θ + α} D(, ) IV. D(, ) R 2 + D(, ) 9

20 V. Given two circles C, C 2 in C that intersect at P, Q, where P C. Let α denote the interior angle between C and C 2 at P. Let S be the area bounded by C and C 2. S D(, ) VI. {z C : a < Im(z) < b} D(, ) 2

21 VII. D(, ) D( /2, /2) D(, ) (g) Normal Families (i) Let D be a domain in C and let {f n } be a sequence of continuous functions on D and f is continuous on D. f n is said to converge to f normally in D, if, for any compact K D, f n f uniformly on K. (ii) Let D be a domain and F be a family of continuous functions on D. F(D) is a normal family if, for any sequence {f n } F, there is a subsequence {f nk } and f C(D) such that f nk f normally on D. (iii) Montel s Theorem Let D be a domain in C, F(D) is a family of holomorphic functions on D. F is a normal family if and only if F is uniformly bounded on compact subsets of D. (h) Riemann Mapping Theorem Let D be a simply connected domain in C, D C. Then, for any given point p D, there is a unique biholomorphic map φ on D such that φ : D D(, ), φ(p ) =, φ (p ) >. Uniqueness of Riemann Mapping Theorem Let φ, φ 2 : D D(, ), φ j (p ) =, φ j (p ) > for j =, 2. It suffices to show f = φ 2 φ : D(, ) D(, ) is the identity. Note first that f() = φ 2 φ () = φ 2(p ) =. Second note that f () = φ 2(φ ()) ( φ ) () = φ 2 (p ) φ (φ ()) = φ 2(p ) φ (p ) >. So f(z) = e iθ z by Schwarz s Lemma. As f () >, θ =, so f is the identity, as desired. Lemma Let f be a one-to-one holomorphic function f : D D(, ), f(p ) =, f (p ) >, f not onto, then there exists a holomorphic g : D D(, ), g one-to-one, g(p ) =, g (p ) > f (p ). As f is not onto, there is a w / f(d). The function f(z) w is nonzero on D. As D is wf(z) simply connected, we can define h(z) 2 = f(z) w, where h(z) is a holomorphic function. wf(z) Let g(z) = h (z ) h(z) h(z ) h (z ) h(z )h(z). 2

22 Notice that g(z ) =, g : D D(, ) and g is one-to-one. Also, g (z ) = h (z ) h(z ) 2 = + w 2 w f (p ) > f (p ).. Reflection Principle (a) Let f(z) be holomorphic on D, D R 2 +, (a, b) D R. If f(z) is continuous on D (a, b) and f(z) is real-valued for z (a, b), then f(z) can be extended to a holomorphic function on D e = D (a, b) D where D = {z : z D}. Corollary Let D be a domain contained in D(z, r) so that Γ = {z + re iθ : θ < θ < θ 2 }, Γ D D(z, r). Assume f is holomorphic on D, continuous on D Γ and f is real valued on. Infinite Products (a) (b) Γ. Then f extends to a holomorphic function on D Γ D where D = {z + r2 z z : z D}. ( + z j ) converges to z if and only if j= ( + z j ) converges absolutely if j= and only if ln( + z j ) converges. j= z n converges, for z n. j= ln( + z j ) converges in C. j= ( + z j ) converges absolutely if (c) Weierstrass Factorization Theorem Let D be a simply connected domain in C, let f(z) be meromorphic on D. Then f(z) = e g(z) h (z) h 2 (z) where g, h, h 2 are holomorphic on D, where Z D (h ) = Z D (f) counting multiplicity and Z D (h 2 ) = P (f) counting order. Example Prove that if D is a simply connected domain and f(z) is holomorphic and nonzero on D, then f(z) = e g(z), where g(z) is holomorphic on D. Solution: As f(z) is nonzero on D, the function f (z) f(z) j= is holomorphic on D. Let F (z) = f (z) f(z). Consider the function e F (z) f(z). We claim this is a constant function. As it is holomorphic, it suffices to check its derivative is zero. ( e F (z) f(z)) = e F (z) F (z)f(z) + e F (z) f (z) = e F (z) ( F (z)f(z) + f (z)) ( = e F (z) f ) (z) f(z) f(z) + f (z) = e F (z) () =. Therefore e F (z) f(z) = e iα, or after rearrangement f(z) = e F (z)+iα. As F (z) is holomorphic on D, setting g(z) = F (z) + iα yields the desired result. (d) Mittag-Leffler Theorem Let D be a domain in C, {z n } a sequence in D without a limit point in D. Let S n = k= N n a kn (z z n ) k for some N n. Then there is a meromorphic function f on D such that f S n is holomorphic at a neighborhood of z n. 22

23 2. Harmonic Functions (a) Harmonic Function u : D R is harmonic if u = in D. (b) Dirichlet Boundary Value Problem For a continuous φ on D(, ), consider the conditions { u(z) = if z D(, ) u = φ on D(, ) This has the unique solution u(z) = z 2 ze iθ 2 φ(eiθ )dθ. We first show that u(z) is harmonic. We begin by writing Therefore, for z D(, ), u(z) = z 2 ze iθ 2 = eiθ e iθ z + e iθ e iθ z. e iθ φ(e iθ ) e iθ z dθ + e iθ φ(e iθ ) e iθ z dθ φ(e iθ )dθ. The first integral is a holomorphic function (so it is harmonic) on D(, ) since e iθ /(e iθ z) is holomorphic in z on D(, ). The second integral is harmonic, since its derivative with respect to z is. The final integral is a constant, so it is also harmonic on D(, ). So u is harmonic. It remains to show that u is continuous at the boundary, i.e. for z D(, ). Notice first that lim u(z) = φ(z ) z z z 2 ze iθ dθ =, 2 therefore φ(z ) = z 2 ze iθ 2 φ(z )dθ where z D(, ). Consider now the function E(z) = z 2 ze iθ 2 ( φ(e iθ ) φ(z ) ) dθ. As φ is continuous, for any ɛ >, there exists some δ > such that for θ θ < δ we have φ(e iθ ) φ(e iθ ) < ɛ. Therefore, θ θ δ E(z) z 2 ze iθ 2 2Mdθ + z 2 ze iθ 2 φ(e iθ ) φ(z ) dθ θ θ <δ where M = max z D(,) {φ(z)}. Notice ze iθ δ.33 e iθ z e iθ. So as desired. E(z) z 2 ze iθ 2 ɛdθ M π 2(δ/6) 2 ɛ δ/6 + ɛ, θ θ δ z 2 ze iθ dθ + ɛ, 2 23

24 (c) Harnack s Inequality Let u be a nonnegative harmonic function on D(, R). Then for z D(, R), R z R + z u() u(z) R + z R z u(). Without loss of generality, we may assume u is continuous on the boundary. Recall Now u(z) = From these two above equations, we have Similarly, note that u(re iθ ) R2 z 2 Re iθ z 2 dθ. R 2 z 2 Re iθ z 2 R2 z 2 (R z ) 2 = R + z R z. u(z) R + z R z which yields the other inequality. (d) Corollary u(re iθ )dθ = R + z R z u(). R 2 z 2 Re iθ z 2 R2 z 2 (R + z ) 2 = R z R + z, Let u be a positive harmonic function in a domain D. For any compact K D there exists a constant C K dependent only on K and D such that max{u(z) : z K} C K min{u(z) : z K}. Let > δ = dist( D, K). As K is compact, there exist finitely many points z,..., z n K such that D(z j, δ) covers K. For any z j and z D(z j, δ) K, we have Therefore u(z) + δ δ u(z j) = ( ) 2 + δ Let C K =. Then, we have δ (e) Harnack s Principle u(z) + z z u(z j) + δ δ u(z j), u(z) z + z u(z j) δ + δ u(z j). ( ) 2 + δ δ δ + δ u(z j) max{u(z) : z K} C K min{u(z) : z K}. ( ) 2 + δ u(z). δ Let {u j } be a sequence of harmonic functions on D such that for z D, u j (z) u j+ (z). Then either u j uniformly on compact sets, or there is a harmonic function u on U such that u j u uniformly on compact sets. Without loss of generality u n (z), as otherwise we can replace this sequence with v n (z) = u n (z) u (z). 24

25 Let z D. We have two cases. Case : lim u n(z ) =. n Then, for any K D, by Harnack s Inequality, there is some C K > such that u n (z) C K u n (z ), z K, So lim u n(z) = uniformly on K. n Case 2: dis lim n u n (z ) = c <. In this case, for any K D there exists some C K such that u n (z) C Ku n (z ) C Kc <. Then lim n u n(z) =: u(z) is finite. Let K D. Then there exists a function u on D such that lim n u n(z) = u(z), for z D. Notice if m > n, u m (z) u n (z), so u m (z) u n (z) C K (u m (z) u n (z)) as m, n, m > n. By Cauchy s Test we have uniform convergence. It remains to show u is harmonic in D. Let z D, r < dist(z, D). Consider D(z, r). u n (z + rz) = z 2 ze iθ 2 u n(z + re iθ )dθ, z D(, ). Letting n, we have by uniform convergence, u(z + rz) = z 2 ze iθ 2 u(z + reiθ)dθ is harmonic at z. Therefore u is harmonic on D. (f) Example Show that if f : D(, ) D(, )\{} is a holomorphic function, then max{ f(z) 2 : z /5} min{ f(z) : z /7} and furthermore find a f(z) to show that this inequality is sharp. Solution: As f is holomorphic and nonzero, ln f(z) is harmonic. Consider the harmonic function u(z) = ln f(z) is harmonic on D(, ). We apply Harnack s Inequality to u to obtain Exponentiating this yields z + z ( ln f(z) ) ln f(z) ( ln f() ). + z z e z + z f() f(z) e + z z f(). Notice then we have so for z /7, as a minimal value f(z) e + z z f(), min{ f(z) } e +/7 /7 f() = e 4/3 f(). Similarly, we have z + z ( 2 ln f(z) ) ln f(z)2 + z ( 2 ln f() ), z 25

26 or which on z /5, reduces to f(z) 2 z 2 e + z f(), max{ f(z) 2 /5 2 } e +/5 f() = e 4/3 f(), which gives us the desired result. To show that the bound is sharp, consider the function g(z) = e z +z. Then min{g(z) : z /7} = e +/7 /7 = e 4/3. Similarly, max{g(z) 2 /5 2 : z /5} = e +/5 = e 4/3. (g) Maximum Principle for Harmonic Functions If u is harmonic in D and there is some z D such that u(z ) u(z) for z D then u(z) = u(z ). By the Mean-Value Property so u(z ) = = u(z + re iθ )dθ, r < dist( D, z ), ( u(z + re iθ ) u(z ) ) dθ. As u(z ) u(z + re iθ ) for all r, θ, by continuity, we have u(z ) = u(z + re iθ ) for all r, θ. Therefore, for any z D, as D is open and connected, there exists a path γ z : [, ] D such that γ z () = z, γ z () = z and overlapping discs on points z,..., z k of γ z with radii r i respectively. As we get equality in each disc, by transitivity, we get u(z ) = u(z). (h) Automorphisms of Annuli Define A(;, R) = {z C : < z < R}. A(;, R ) and A(;, R 2 ) are biholomorphically equivalent if and only if R = R 2, where R, R 2 >. If we assume R = R 2 the result holds as the identity map suffices. Conversely, assume there exists a biholomorphic map φ : A(;, R ) A(;, R 2 ). φ is continuous, so φ is proper, therefore φ : A(;, R ) A(;, R 2 ). We claim φ( D(, )) = D(, ) and φ( D(, R )) = D(, R 2 ) or φ( D(, )) = D(, R 2 ) and φ( D(, R )) = D(, ). This holds as the continuous image of a connected set is connected since if otherwise, by connectedness, without loss of generality (the other case is identical) φ( D(, )) D(, ). Then if D(, ) φ( D(, R )), we have φ( D(, R )) is not connected as D(, R 2 ) φ( D(, R )). Assume first the case where φ(z) = for z = and φ(z) = R 2 for z = R. Consider u(z) = log φ(z) log R 2 log R log z. Then u(z) = when z = or z = R. By the Maximum and Minimum Principles, u(z) on A(;, R ). Therefore φ(z) log = = φ(z) =, z log R 2 log R z log R 2 log R or after simplification, φ(z) = e iθ z log R 2 log R. As φ is holomorphic, log R 2 /logr is an integer. As φ is injective, log R 2 / log R =, i.e. R = R 2 as desired. So biholomorphic maps in this case are of the form φ(z) = e iθ z. Assume now that φ(z) = R 2 for z = and φ(z) = for z = R. Consider ψ(z) = φ(r /z). Then ψ(z) = for z = and ψ(z) = R 2 for z = R. As we have seen above, ψ(z) = e iθ z and R = R 2. Therefore φ(z) = e iθ R /z. 26

27 3. Sub-harmonic Functions (a) Definition u C 2 (D) is sub-harmonic if u. (b) Definition 2 u is sub-harmonic if i. u is Upper Semi-Continuous, ii. u(z) u(z + re iθ )dθ for appropriate r. (c) Sub-harmonic Functions For u C 2 (D), these two definitions are equivalent. Assume first that u. By Green s Theorem, for n normal to D at z, u n vdσ v n udσ = uv vuda. So D u(z + re iθ )dθ = = r D(z,r) We have log z z = δ z, so r log z z r r D(z,r) D D n log z z r r dθ log z z r u(z) u log z z da. r u(z) u log z z da = u(z )+ r D(z,r) 2 n u(z + reiθ ) log z z r r dθ Assume now that u(z ) πu(z + re iθ )dθ for all r < dist(z, D). established in what we have shown above, u(z + re iθ )dθ = u(z ) + r u log z z da. Therefore we know that D(z,r ) D(z,r) r u log D(z,r) z z da. u log z z DA u(z ). r By the identity We claim u(z ) for all z D. If not, then fix z such that u(z ) <. Then there exists an r < r such that u(z) < ɛ for z D(z, r ). Then we have r u log z z da ɛ r log da <, z z a contradiction. This proves our claim. (d) Jensen s Inequality If u is subharmonic and φ is convex on the range of u then ( ) φ u(z + re iθ )dθ D(z,r ) φ u(z + re iθ )dθ. We have ( φ ) ( n ) u(z + re iθ )dθ = φ u(z + re iθ k θ k ) k= ( n ) φ u(z + re iθ k ) θ k = k= k= φ u(z+re iθ )dθ. 27

28 (e) Examples of Subharmonic functions log f is subharmonic (f) Hadamard Three-Line Theorem Let f be holomorphic on S(a, b) = {x+iy : a < x < b} and define M(x, f) = max{ f(z) : Re(z) = x}. Assume M(a, f), M(b, f) <. Then if f(z) Be A z on S(a, b), for real numbers A, B, then M(x, f) is finite and log(m(x, f)) is convex. The proof proceeds by cases. Case : Assume f(z) is bounded on S(a, b). Then there is some M < such that f(z) < M. Therefore M(x, f) < M for x [a, b]. It remains to show that log M(x, f) is convex. log M(x, f) is convex if, since we may write x = b x b a a + x a b a b, Notice that this is equivalent to log M(x, f) b x x a log M(a, f) + log M(b, f). b a b a f(x + iy) M(x, f) M(a, f) b x b a M(b, f) x a b a, for y R, x [a, b]. This, in turn, is equivalent to f(z)m(a, f) b z z a b a M(b, f) b a since a z = a x. Define g(z) = f(z)m(a, f) b z b a M(b, f) z a b a. Then g(a + iy) = f(a + iy) M(a, f), g(a + iy) = f(b + iy) M(b, f). Define now g ɛ (z) = g(z) + ɛz for some ɛ >. Then g ɛ(a + iy), g ɛ (b + iy). For x [a, b], y >>. Then g ɛ (x + iy) MM(a, f) b x b a M(b, f) a x b a M min{m(a, f), M(b, f)} ɛ y ɛ y, for y ɛ M min{m(a, f), M(b, f)}. Then, by the Maximum Modulus Principle, g ɛ (z) on S(a, b). Letting ɛ +, we have g(z), which proves our claim. Case 2: f(z) Be A z. Consider the function g ɛ (z) = f(z)m(a, f) b z b a M(b, f) a z b a e ɛz 2. Then we have and similarly For x [a, b], y >> we have g ɛ (a + iy) e ɛ(a+iy)2 = e ɛ(a2 y 2) e ɛa2, g ɛ (b + iy) e ɛb2. g ɛ (x + iy) = f(z) M(a, f) b x b a M(b, f) x a b a e ɛ(x 2 y 2) Be A z min{m(a, f), M(b, f)} e ɛb2 ɛy 2 = Be A(b+ y )+ɛb2 ɛy 2 min{m(a, f), M(b, f)} for y appropriately large. Therefore, g ɛ (z) e ɛb2 for z S(a, b). Letting ɛ + yields f(z) M(a, f) b z b a M(b, f) a z b a for z S(a, b) as desired. 28

29 (g) Hadamard Three-Circle Theorem Let f(z) be holomorphic in A(; r, R) and define M(r, f) = max{ f(re iθ ) : θ [, )},. M(r, f), M(R, f) <, then log M(e t, f) is convex on (log r, log R). Let S = {x + iy : y R, log r < x < log R} and define F to be If F (z) = f(e z ), so F is holomorphic on S and F (z) = f(e z ). Then we have F (log r +iy) = f(re iy ) M(r, f) and similarly F (log R + iy) M(R, f). Then, by the previous theorem, we have 4. Jensen s Formula (a) Jensen s Formula f(r e it ) = F (log r + it) M(a, f) log R log r log r log r log R log r M(b, f) log R log r Let f be holomorphic in D(, R), f(z) for z D(, R) and f(). Then, if a,..., a n are the zeros of f in D(, R) counting multiplicity, then log f() + k= log R a k = log f(re iθ ) dθ. Let f(z) g(z) = ( ). n R(z aj) j= R 2 a jz Then g(z) for z D(, R) and By the Mean-Value Property, Further completing the proof. log g() = g(re iθ ) = log g() = log (b) Application of Jensen s Formula f(re iθ ) n j= R(z aj) R 2 a jz log g(re iθ ) dθ = f() n j= a j R = f(re iθ ). n = log f() + log f(re iθ ) dθ. j= log R a j, Let f : D(, ) D(, ) be holomorphic and f() = 2. What is the best upper bound for the number of zeros of f in D(, /2)? Solution: Let /2 < r < and a,..., a n be all the zeros of f in D(, r) such that f(re iθ ). By Jensen s Formula log f() + log r a j = log f(re iθ ) dθ <, so j= j= log r < log f() = log 2. a j 29

30 Without loss of generality, the zeros of f in D(, /2) are a,..., a k, k n. Then For a j D(, /2), log or after simplification, we have k r n a j log r log 2. a j j= r a j log r /2, so Letting r, we have k. 5. Special Functions (a) The Gamma Function log 2 j= k log r a j k log r /2, j= k log2, for all /2 < r <. log 2r Γ(z) = t z e t dt, which is holomorphic for Re(z) >. Note by integrating by parts, we get and continuing in this method, we get Γ(z) = Γ(z + ), z Γ(z) Γ(z + n + ), z(z + ) (z + n) which defines a meromorphic function on Re(z) > (n+) with simple poles at z =,, 2,..., n for any positive integer n. Note also, that Γ(n) = (n )! for positive integer values n, so Res(Γ(z); z = k) = lim z k (b) The Riemann Zeta Function z k z (z + k) Γ(z+k+) = ( k)( k + ) ( k + k ) ζ(z) = n= n z, ( )k Γ() =. k! for Re(z) >. ζ(z) can be extended to a meromorphic function with a simple pole only at z = and with residue there. ζ(z) also satisfies the following functional equation: ζ(z) = 2 z π z sin ( πz 2 ) Γ( z)ζ( z). 3

Complex Analysis Qual Sheet

Complex Analysis Qual Sheet Complex Analysis Qual Sheet Robert Won Tricks and traps. traps. Basically all complex analysis qualifying exams are collections of tricks and - Jim Agler Useful facts. e z = 2. sin z = n=0 3. cos z = z

More information

Part IB. Complex Analysis. Year

Part IB. Complex Analysis. Year Part IB Complex Analysis Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section I 2A Complex Analysis or Complex Methods 7 (a) Show that w = log(z) is a conformal

More information

MA3111S COMPLEX ANALYSIS I

MA3111S COMPLEX ANALYSIS I MA3111S COMPLEX ANALYSIS I 1. The Algebra of Complex Numbers A complex number is an expression of the form a + ib, where a and b are real numbers. a is called the real part of a + ib and b the imaginary

More information

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

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 2. A harmonic conjugate always exists locally: if u is a harmonic function in an open set U, then for any disk D(z 0, r) U, there is f, which is analytic in D(z 0, r) and satisfies that Re f u. Since such

More information

Solutions to Complex Analysis Prelims Ben Strasser

Solutions to Complex Analysis Prelims Ben Strasser Solutions to Complex Analysis Prelims Ben Strasser In preparation for the complex analysis prelim, I typed up solutions to some old exams. This document includes complete solutions to both exams in 23,

More information

Solutions to practice problems for the final

Solutions to practice problems for the final Solutions to practice problems for the final Holomorphicity, Cauchy-Riemann equations, and Cauchy-Goursat theorem 1. (a) Show that there is a holomorphic function on Ω = {z z > 2} whose derivative is z

More information

Complex Analysis Problems

Complex Analysis Problems Complex Analysis Problems transcribed from the originals by William J. DeMeo October 2, 2008 Contents 99 November 2 2 2 200 November 26 4 3 2006 November 3 6 4 2007 April 6 7 5 2007 November 6 8 99 NOVEMBER

More information

Complex Analysis Important Concepts

Complex Analysis Important Concepts Complex Analysis Important Concepts Travis Askham April 1, 2012 Contents 1 Complex Differentiation 2 1.1 Definition and Characterization.............................. 2 1.2 Examples..........................................

More information

Complex Analysis. Travis Dirle. December 4, 2016

Complex Analysis. Travis Dirle. December 4, 2016 Complex Analysis 2 Complex Analysis Travis Dirle December 4, 2016 2 Contents 1 Complex Numbers and Functions 1 2 Power Series 3 3 Analytic Functions 7 4 Logarithms and Branches 13 5 Complex Integration

More information

Qualifying Exam Complex Analysis (Math 530) January 2019

Qualifying Exam Complex Analysis (Math 530) January 2019 Qualifying Exam Complex Analysis (Math 53) January 219 1. Let D be a domain. A function f : D C is antiholomorphic if for every z D the limit f(z + h) f(z) lim h h exists. Write f(z) = f(x + iy) = u(x,

More information

MATH 6322, COMPLEX ANALYSIS

MATH 6322, COMPLEX ANALYSIS Complex numbers: MATH 6322, COMPLEX ANALYSIS Motivating problem: you can write down equations which don t have solutions, like x 2 + = 0. Introduce a (formal) solution i, where i 2 =. Define the set C

More information

5.3 The Upper Half Plane

5.3 The Upper Half Plane Remark. Combining Schwarz Lemma with the map g α, we can obtain some inequalities of analytic maps f : D D. For example, if z D and w = f(z) D, then the composition h := g w f g z satisfies the condition

More information

Part IB. Further Analysis. Year

Part IB. Further Analysis. Year Year 2004 2003 2002 2001 10 2004 2/I/4E Let τ be the topology on N consisting of the empty set and all sets X N such that N \ X is finite. Let σ be the usual topology on R, and let ρ be the topology on

More information

MATH8811: COMPLEX ANALYSIS

MATH8811: COMPLEX ANALYSIS MATH8811: COMPLEX ANALYSIS DAWEI CHEN Contents 1. Classical Topics 2 1.1. Complex numbers 2 1.2. Differentiability 2 1.3. Cauchy-Riemann Equations 3 1.4. The Riemann Sphere 4 1.5. Möbius transformations

More information

Part IB Complex Analysis

Part IB Complex Analysis Part IB Complex Analysis Theorems Based on lectures by I. Smith Notes taken by Dexter Chua Lent 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after

More information

f(w) f(a) = 1 2πi w a Proof. There exists a number r such that the disc D(a,r) is contained in I(γ). For any ǫ < r, w a dw

f(w) f(a) = 1 2πi w a Proof. There exists a number r such that the disc D(a,r) is contained in I(γ). For any ǫ < r, w a dw Proof[section] 5. Cauchy integral formula Theorem 5.. Suppose f is holomorphic inside and on a positively oriented curve. Then if a is a point inside, f(a) = w a dw. Proof. There exists a number r such

More information

Complex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm

Complex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm Complex Analysis, Stein and Shakarchi Chapter 3 Meromorphic Functions and the Logarithm Yung-Hsiang Huang 217.11.5 Exercises 1. From the identity sin πz = eiπz e iπz 2i, it s easy to show its zeros are

More information

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

Math 411, Complex Analysis Definitions, Formulas and Theorems Winter y = sinα Math 411, Complex Analysis Definitions, Formulas and Theorems Winter 014 Trigonometric Functions of Special Angles α, degrees α, radians sin α cos α tan α 0 0 0 1 0 30 π 6 45 π 4 1 3 1 3 1 y = sinα π 90,

More information

Math 185 Fall 2015, Sample Final Exam Solutions

Math 185 Fall 2015, Sample Final Exam Solutions Math 185 Fall 2015, Sample Final Exam Solutions Nikhil Srivastava December 12, 2015 1. True or false: (a) If f is analytic in the annulus A = {z : 1 < z < 2} then there exist functions g and h such that

More information

f (n) (z 0 ) Theorem [Morera s Theorem] Suppose f is continuous on a domain U, and satisfies that for any closed curve γ in U, γ

f (n) (z 0 ) Theorem [Morera s Theorem] Suppose f is continuous on a domain U, and satisfies that for any closed curve γ in U, γ Remarks. 1. So far we have seen that holomorphic is equivalent to analytic. Thus, if f is complex differentiable in an open set, then it is infinitely many times complex differentiable in that set. This

More information

MATH 452. SAMPLE 3 SOLUTIONS May 3, (10 pts) Let f(x + iy) = u(x, y) + iv(x, y) be an analytic function. Show that u(x, y) is harmonic.

MATH 452. SAMPLE 3 SOLUTIONS May 3, (10 pts) Let f(x + iy) = u(x, y) + iv(x, y) be an analytic function. Show that u(x, y) is harmonic. MATH 45 SAMPLE 3 SOLUTIONS May 3, 06. (0 pts) Let f(x + iy) = u(x, y) + iv(x, y) be an analytic function. Show that u(x, y) is harmonic. Because f is holomorphic, u and v satisfy the Cauchy-Riemann equations:

More information

IV. Conformal Maps. 1. Geometric interpretation of differentiability. 2. Automorphisms of the Riemann sphere: Möbius transformations

IV. Conformal Maps. 1. Geometric interpretation of differentiability. 2. Automorphisms of the Riemann sphere: Möbius transformations MTH6111 Complex Analysis 2009-10 Lecture Notes c Shaun Bullett 2009 IV. Conformal Maps 1. Geometric interpretation of differentiability We saw from the definition of complex differentiability that if f

More information

COMPLEX ANALYSIS Spring 2014

COMPLEX ANALYSIS Spring 2014 COMPLEX ANALYSIS Spring 24 Homework 4 Solutions Exercise Do and hand in exercise, Chapter 3, p. 4. Solution. The exercise states: Show that if a

More information

Functions of a Complex Variable and Integral Transforms

Functions of a Complex Variable and Integral Transforms Functions of a Complex Variable and Integral Transforms Department of Mathematics Zhou Lingjun Textbook Functions of Complex Analysis with Applications to Engineering and Science, 3rd Edition. A. D. Snider

More information

Math Homework 2

Math Homework 2 Math 73 Homework Due: September 8, 6 Suppose that f is holomorphic in a region Ω, ie an open connected set Prove that in any of the following cases (a) R(f) is constant; (b) I(f) is constant; (c) f is

More information

Conformal maps. Lent 2019 COMPLEX METHODS G. Taylor. A star means optional and not necessarily harder.

Conformal maps. Lent 2019 COMPLEX METHODS G. Taylor. A star means optional and not necessarily harder. Lent 29 COMPLEX METHODS G. Taylor A star means optional and not necessarily harder. Conformal maps. (i) Let f(z) = az + b, with ad bc. Where in C is f conformal? cz + d (ii) Let f(z) = z +. What are the

More information

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.

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. Lecture 3 Usual complex functions MATH-GA 245.00 Complex Variables Polynomials. Construction f : z z is analytic on all of C since its real and imaginary parts satisfy the Cauchy-Riemann relations and

More information

MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5

MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5 MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5.. The Arzela-Ascoli Theorem.. The Riemann mapping theorem Let X be a metric space, and let F be a family of continuous complex-valued functions on X. We have

More information

Conformal Mappings. Chapter Schwarz Lemma

Conformal Mappings. Chapter Schwarz Lemma Chapter 5 Conformal Mappings In this chapter we study analytic isomorphisms. An analytic isomorphism is also called a conformal map. We say that f is an analytic isomorphism of U with V if f is an analytic

More information

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

Complex Variables Notes for Math 703. Updated Fall Anton R. Schep Complex Variables Notes for Math 703. Updated Fall 20 Anton R. Schep CHAPTER Holomorphic (or Analytic) Functions. Definitions and elementary properties In complex analysis we study functions f : S C,

More information

III. Consequences of Cauchy s Theorem

III. Consequences of Cauchy s Theorem MTH6 Complex Analysis 2009-0 Lecture Notes c Shaun Bullett 2009 III. Consequences of Cauchy s Theorem. Cauchy s formulae. Cauchy s Integral Formula Let f be holomorphic on and everywhere inside a simple

More information

Exercises for Part 1

Exercises for Part 1 MATH200 Complex Analysis. Exercises for Part Exercises for Part The following exercises are provided for you to revise complex numbers. Exercise. Write the following expressions in the form x + iy, x,y

More information

Notes on Complex Analysis

Notes on Complex Analysis Michael Papadimitrakis Notes on Complex Analysis Department of Mathematics University of Crete Contents The complex plane.. The complex plane...................................2 Argument and polar representation.........................

More information

INTEGRATION WORKSHOP 2004 COMPLEX ANALYSIS EXERCISES

INTEGRATION WORKSHOP 2004 COMPLEX ANALYSIS EXERCISES INTEGRATION WORKSHOP 2004 COMPLEX ANALYSIS EXERCISES PHILIP FOTH 1. Cauchy s Formula and Cauchy s Theorem 1. Suppose that γ is a piecewise smooth positively ( counterclockwise ) oriented simple closed

More information

Key to Complex Analysis Homework 1 Spring 2012 (Thanks to Da Zheng for providing the tex-file)

Key to Complex Analysis Homework 1 Spring 2012 (Thanks to Da Zheng for providing the tex-file) Key to Complex Analysis Homework 1 Spring 212 (Thanks to Da Zheng for providing the tex-file) February 9, 212 16. Prove: If u is a complex-valued harmonic function, then the real and the imaginary parts

More information

INTEGRATION WORKSHOP 2003 COMPLEX ANALYSIS EXERCISES

INTEGRATION WORKSHOP 2003 COMPLEX ANALYSIS EXERCISES INTEGRATION WORKSHOP 23 COMPLEX ANALYSIS EXERCISES DOUGLAS ULMER 1. Meromorphic functions on the Riemann sphere It s often useful to allow functions to take the value. This exercise outlines one way to

More information

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.

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. Lecture 15 The Riemann mapping theorem Variables MATH-GA 2451.1 Complex The point of this lecture is to prove that the unit disk can be mapped conformally onto any simply connected open set in the plane,

More information

Complex Analysis Qualifying Exam Solutions

Complex Analysis Qualifying Exam Solutions 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

More information

A RAPID INTRODUCTION TO COMPLEX ANALYSIS

A RAPID INTRODUCTION TO COMPLEX ANALYSIS A RAPID INTRODUCTION TO COMPLEX ANALYSIS AKHIL MATHEW ABSTRACT. These notes give a rapid introduction to some of the basic results in complex analysis, assuming familiarity from the reader with Stokes

More information

Complex qual study guide James C. Hateley

Complex qual study guide James C. Hateley Complex qual study guide James C. Hateley General Complex Analysis Problem: Let p(z) be a polynomial. Suppose that p(z) for R(z) >. Prove that p (z) for R(z) >. Solution: Let p(z) be such a polynomial.

More information

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

NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II Chapter 2 Further properties of analytic functions 21 Local/Global behavior of analytic functions;

More information

RIEMANN MAPPING THEOREM

RIEMANN MAPPING THEOREM RIEMANN MAPPING THEOREM VED V. DATAR Recall that two domains are called conformally equivalent if there exists a holomorphic bijection from one to the other. This automatically implies that there is an

More information

Complex Analysis review notes for weeks 1-6

Complex Analysis review notes for weeks 1-6 Complex Analysis review notes for weeks -6 Peter Milley Semester 2, 2007 In what follows, unless stated otherwise a domain is a connected open set. Generally we do not include the boundary of the set,

More information

Synopsis of Complex Analysis. Ryan D. Reece

Synopsis of Complex Analysis. Ryan D. Reece Synopsis of Complex Analysis Ryan D. Reece December 7, 2006 Chapter Complex Numbers. The Parts of a Complex Number A complex number, z, is an ordered pair of real numbers similar to the points in the real

More information

8 8 THE RIEMANN MAPPING THEOREM. 8.1 Simply Connected Surfaces

8 8 THE RIEMANN MAPPING THEOREM. 8.1 Simply Connected Surfaces 8 8 THE RIEMANN MAPPING THEOREM 8.1 Simply Connected Surfaces Our aim is to prove the Riemann Mapping Theorem which states that every simply connected Riemann surface R is conformally equivalent to D,

More information

= 2 x y 2. (1)

= 2 x y 2. (1) COMPLEX ANALYSIS PART 5: HARMONIC FUNCTIONS A Let me start by asking you a question. Suppose that f is an analytic function so that the CR-equation f/ z = 0 is satisfied. Let us write u and v for the real

More information

Fundamental Properties of Holomorphic Functions

Fundamental Properties of Holomorphic Functions Complex Analysis Contents Chapter 1. Fundamental Properties of Holomorphic Functions 5 1. Basic definitions 5 2. Integration and Integral formulas 6 3. Some consequences of the integral formulas 8 Chapter

More information

Chapter 4: Open mapping theorem, removable singularities

Chapter 4: Open mapping theorem, removable singularities Chapter 4: Open mapping theorem, removable singularities Course 44, 2003 04 February 9, 2004 Theorem 4. (Laurent expansion) Let f : G C be analytic on an open G C be open that contains a nonempty annulus

More information

Review of complex analysis in one variable

Review of complex analysis in one variable CHAPTER 130 Review of complex analysis in one variable This gives a brief review of some of the basic results in complex analysis. In particular, it outlines the background in single variable complex analysis

More information

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

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

More information

Lecture Notes Complex Analysis. Complex Variables and Applications 7th Edition Brown and Churchhill

Lecture Notes Complex Analysis. Complex Variables and Applications 7th Edition Brown and Churchhill Lecture Notes omplex Analysis based on omplex Variables and Applications 7th Edition Brown and hurchhill Yvette Fajardo-Lim, Ph.D. Department of Mathematics De La Salle University - Manila 2 ontents THE

More information

MORE CONSEQUENCES OF CAUCHY S THEOREM

MORE CONSEQUENCES OF CAUCHY S THEOREM MOE CONSEQUENCES OF CAUCHY S THEOEM Contents. The Mean Value Property and the Maximum-Modulus Principle 2. Morera s Theorem and some applications 3 3. The Schwarz eflection Principle 6 We have stated Cauchy

More information

carries the circle w 1 onto the circle z R and sends w = 0 to z = a. The function u(s(w)) is harmonic in the unit circle w 1 and we obtain

carries the circle w 1 onto the circle z R and sends w = 0 to z = a. The function u(s(w)) is harmonic in the unit circle w 1 and we obtain 4. Poisson formula In fact we can write down a formula for the values of u in the interior using only the values on the boundary, in the case when E is a closed disk. First note that (3.5) determines the

More information

Introductory Complex Analysis

Introductory Complex Analysis Introductory Complex Analysis Course No. 100 312 Spring 2007 Michael Stoll Contents Acknowledgments 2 1. Basics 2 2. Complex Differentiability and Holomorphic Functions 3 3. Power Series and the Abel Limit

More information

MAT665:ANALYTIC FUNCTION THEORY

MAT665:ANALYTIC FUNCTION THEORY MAT665:ANALYTIC FUNCTION THEORY DR. RITU AGARWAL MALAVIYA NATIONAL INSTITUTE OF TECHNOLOGY JAIPUR Contents 1. About 2 2. Complex Numbers 2 3. Fundamental inequalities 2 4. Continuously differentiable functions

More information

Math 220A - Fall Final Exam Solutions

Math 220A - Fall Final Exam Solutions Math 22A - Fall 216 - Final Exam Solutions Problem 1. Let f be an entire function and let n 2. Show that there exists an entire function g with g n = f if and only if the orders of all zeroes of f are

More information

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

. Then g is holomorphic and bounded in U. So z 0 is a removable singularity of g. Since f(z) = w 0 + 1 Now we describe the behavior of f near an isolated singularity of each kind. We will always assume that z 0 is a singularity of f, and f is holomorphic on D(z 0, r) \ {z 0 }. Theorem 4.2.. z 0 is a removable

More information

Here are brief notes about topics covered in class on complex numbers, focusing on what is not covered in the textbook.

Here are brief notes about topics covered in class on complex numbers, focusing on what is not covered in the textbook. Phys374, Spring 2008, Prof. Ted Jacobson Department of Physics, University of Maryland Complex numbers version 5/21/08 Here are brief notes about topics covered in class on complex numbers, focusing on

More information

MATH FINAL SOLUTION

MATH FINAL SOLUTION MATH 185-4 FINAL SOLUTION 1. (8 points) Determine whether the following statements are true of false, no justification is required. (1) (1 point) Let D be a domain and let u,v : D R be two harmonic functions,

More information

MATH 185: COMPLEX ANALYSIS FALL 2009/10 PROBLEM SET 9 SOLUTIONS. and g b (z) = eπz/2 1

MATH 185: COMPLEX ANALYSIS FALL 2009/10 PROBLEM SET 9 SOLUTIONS. and g b (z) = eπz/2 1 MATH 85: COMPLEX ANALYSIS FALL 2009/0 PROBLEM SET 9 SOLUTIONS. Consider the functions defined y g a (z) = eiπz/2 e iπz/2 + Show that g a maps the set to D(0, ) while g maps the set and g (z) = eπz/2 e

More information

Math Final Exam.

Math Final Exam. Math 106 - Final Exam. This is a closed book exam. No calculators are allowed. The exam consists of 8 questions worth 100 points. Good luck! Name: Acknowledgment and acceptance of honor code: Signature:

More information

MATH5685 Assignment 3

MATH5685 Assignment 3 MATH5685 Assignment 3 Due: Wednesday 3 October 1. The open unit disk is denoted D. Q1. Suppose that a n for all n. Show that (1 + a n) converges if and only if a n converges. [Hint: prove that ( N (1 +

More information

Problems for MATH-6300 Complex Analysis

Problems for MATH-6300 Complex Analysis Problems for MATH-63 Complex Analysis Gregor Kovačič December, 7 This list will change as the semester goes on. Please make sure you always have the newest version of it.. Prove the following Theorem For

More information

Solutions for Problem Set #5 due October 17, 2003 Dustin Cartwright and Dylan Thurston

Solutions for Problem Set #5 due October 17, 2003 Dustin Cartwright and Dylan Thurston Solutions for Problem Set #5 due October 17, 23 Dustin Cartwright and Dylan Thurston 1 (B&N 6.5) Suppose an analytic function f agrees with tan x, x 1. Show that f(z) = i has no solution. Could f be entire?

More information

Course 214 Basic Properties of Holomorphic Functions Second Semester 2008

Course 214 Basic Properties of Holomorphic Functions Second Semester 2008 Course 214 Basic Properties of Holomorphic Functions Second Semester 2008 David R. Wilkins Copyright c David R. Wilkins 1989 2008 Contents 7 Basic Properties of Holomorphic Functions 72 7.1 Taylor s Theorem

More information

Part IB Complex Analysis

Part IB Complex Analysis Part IB Complex Analysis Theorems with proof Based on lectures by I. Smith Notes taken by Dexter Chua Lent 206 These notes are not endorsed by the lecturers, and I have modified them (often significantly)

More information

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

F (z) =f(z). f(z) = a n (z z 0 ) n. F (z) = a n (z z 0 ) n 6 Chapter 2. CAUCHY S THEOREM AND ITS APPLICATIONS Theorem 5.6 (Schwarz reflection principle) Suppose that f is a holomorphic function in Ω + that extends continuously to I and such that f is real-valued

More information

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

MATH 566 LECTURE NOTES 4: ISOLATED SINGULARITIES AND THE RESIDUE THEOREM MATH 566 LECTURE NOTES 4: ISOLATED SINGULARITIES AND THE RESIDUE THEOREM TSOGTGEREL GANTUMUR 1. Functions holomorphic on an annulus Let A = D R \D r be an annulus centered at 0 with 0 < r < R

More information

2 Complex Functions and the Cauchy-Riemann Equations

2 Complex Functions and the Cauchy-Riemann Equations 2 Complex Functions and the Cauchy-Riemann Equations 2.1 Complex functions In one-variable calculus, we study functions f(x) of a real variable x. Likewise, in complex analysis, we study functions f(z)

More information

Complex Variables & Integral Transforms

Complex Variables & Integral Transforms Complex Variables & Integral Transforms Notes taken by J.Pearson, from a S4 course at the U.Manchester. Lecture delivered by Dr.W.Parnell July 9, 007 Contents 1 Complex Variables 3 1.1 General Relations

More information

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

FINAL EXAM MATH 220A, UCSD, AUTUMN 14. You have three hours. FINAL EXAM MATH 220A, UCSD, AUTUMN 4 You have three hours. Problem Points Score There are 6 problems, and the total number of points is 00. Show all your work. Please make your work as clear and easy to

More information

Chapter 30 MSMYP1 Further Complex Variable Theory

Chapter 30 MSMYP1 Further Complex Variable Theory Chapter 30 MSMYP Further Complex Variable Theory (30.) Multifunctions A multifunction is a function that may take many values at the same point. Clearly such functions are problematic for an analytic study,

More information

Solutions for Math 411 Assignment #10 1

Solutions for Math 411 Assignment #10 1 Solutions for Math 4 Assignment # AA. Compute the following integrals: a) + sin θ dθ cos x b) + x dx 4 Solution of a). Let z = e iθ. By the substitution = z + z ), sin θ = i z z ) and dθ = iz dz and Residue

More information

Selected Solutions To Problems in Complex Analysis

Selected Solutions To Problems in Complex Analysis Selected Solutions To Problems in Complex Analysis E. Chernysh November 3, 6 Contents Page 8 Problem................................... Problem 4................................... Problem 5...................................

More information

6.2 Mean value theorem and maximum principles

6.2 Mean value theorem and maximum principles Hence g = u x iu y is analytic. Since is simply connected, R g(z) dz =forany closed path =) g has an integral function, G = g in. Call G = U + iv. For analytic functions d G = d G. Hence dz dx g = d dz

More information

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

Lecture 1 The complex plane. z ± w z + w. Lecture 1 The complex plane Exercise 1.1. Show that the modulus obeys the triangle inequality z ± w z + w. This allows us to make the complex plane into a metric space, and thus to introduce topological

More information

Complex Variables. Instructions Solve any eight of the following ten problems. Explain your reasoning in complete sentences to maximize credit.

Complex Variables. Instructions Solve any eight of the following ten problems. Explain your reasoning in complete sentences to maximize credit. Instructions Solve any eight of the following ten problems. Explain your reasoning in complete sentences to maximize credit. 1. The TI-89 calculator says, reasonably enough, that x 1) 1/3 1 ) 3 = 8. lim

More information

Complex Analysis Math 185A, Winter 2010 Final: Solutions

Complex Analysis Math 185A, Winter 2010 Final: Solutions Complex Analysis Math 85A, Winter 200 Final: Solutions. [25 pts] The Jacobian of two real-valued functions u(x, y), v(x, y) of (x, y) is defined by the determinant (u, v) J = (x, y) = u x u y v x v y.

More information

Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative

Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative This chapter is another review of standard material in complex analysis. See for instance

More information

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

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 Homework 27 Define f : C C and u, v : R 2 R by f(z) := xy where x := Re z, y := Im z u(x, y) = Re f(x + iy) v(x, y) = Im f(x + iy). Show that 1. u and v satisfies the Cauchy Riemann equations at (x, y)

More information

Physics 307. Mathematical Physics. Luis Anchordoqui. Wednesday, August 31, 16

Physics 307. Mathematical Physics. Luis Anchordoqui. Wednesday, August 31, 16 Physics 307 Mathematical Physics Luis Anchordoqui 1 Bibliography L. A. Anchordoqui and T. C. Paul, ``Mathematical Models of Physics Problems (Nova Publishers, 2013) G. F. D. Duff and D. Naylor, ``Differential

More information

Hartogs Theorem: separate analyticity implies joint Paul Garrett garrett/

Hartogs Theorem: separate analyticity implies joint Paul Garrett  garrett/ (February 9, 25) Hartogs Theorem: separate analyticity implies joint Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ (The present proof of this old result roughly follows the proof

More information

6. Residue calculus. where C is any simple closed contour around z 0 and inside N ε.

6. Residue calculus. where C is any simple closed contour around z 0 and inside N ε. 6. Residue calculus Let z 0 be an isolated singularity of f(z), then there exists a certain deleted neighborhood N ε = {z : 0 < z z 0 < ε} such that f is analytic everywhere inside N ε. We define Res(f,

More information

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.

More information

Exercises for Part 1

Exercises for Part 1 MATH200 Complex Analysis. Exercises for Part Exercises for Part The following exercises are provided for you to revise complex numbers. Exercise. Write the following expressions in the form x+iy, x,y R:

More information

MATH COMPLEX ANALYSIS. Contents

MATH COMPLEX ANALYSIS. Contents MATH 3964 - OMPLEX ANALYSIS ANDREW TULLOH AND GILES GARDAM ontents 1. ontour Integration and auchy s Theorem 2 1.1. Analytic functions 2 1.2. ontour integration 3 1.3. auchy s theorem and extensions 3

More information

MATH 311: COMPLEX ANALYSIS CONTOUR INTEGRALS LECTURE

MATH 311: COMPLEX ANALYSIS CONTOUR INTEGRALS LECTURE MATH 3: COMPLEX ANALYSIS CONTOUR INTEGRALS LECTURE Recall the Residue Theorem: Let be a simple closed loop, traversed counterclockwise. Let f be a function that is analytic on and meromorphic inside. Then

More information

Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative

Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative This chapter is another review of standard material in complex analysis. See for instance

More information

COMPLEX ANALYSIS Notes Lent 2006

COMPLEX ANALYSIS Notes Lent 2006 Department of Pure Mathematics and Mathematical Statistics University of Cambridge COMPLEX ANALYSIS Notes Lent 2006 T. K. Carne. t.k.carne@dpmms.cam.ac.uk c Copyright. Not for distribution outside Cambridge

More information

III.2. Analytic Functions

III.2. Analytic Functions III.2. Analytic Functions 1 III.2. Analytic Functions Recall. When you hear analytic function, think power series representation! Definition. If G is an open set in C and f : G C, then f is differentiable

More information

Complex Analysis. sin(z) = eiz e iz 2i

Complex Analysis. sin(z) = eiz e iz 2i Complex Analysis. Preliminaries and Notation For a complex number z = x + iy, we set x = Re z and y = Im z, its real and imaginary components. Any nonzero complex number z = x + iy can be written uniquely

More information

Part II. Riemann Surfaces. Year

Part II. Riemann Surfaces. Year Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 96 Paper 2, Section II 23F State the uniformisation theorem. List without proof the Riemann surfaces which are uniformised

More information

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

The Residue Theorem. Integration Methods over Closed Curves for Functions with Singularities The Residue Theorem Integration Methods over losed urves for Functions with Singularities We have shown that if f(z) is analytic inside and on a closed curve, then f(z)dz = 0. We have also seen examples

More information

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

MATH 215A NOTES MOOR XU NOTES FROM A COURSE BY KANNAN SOUNDARARAJAN MATH 25A NOTES MOOR XU NOTES FROM A COURSE BY KANNAN SOUNDARARAJAN Abstract. These notes were taken during Math 25A (Complex Analysis) taught by Kannan Soundararajan in Fall 2 at Stanford University. They

More information

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

4.6 Montel's Theorem. Robert Oeckl CA NOTES 7 17/11/2009 1 Robert Oeckl CA NOTES 7 17/11/2009 1 4.6 Montel's Theorem Let X be a topological space. We denote by C(X) the set of complex valued continuous functions on X. Denition 4.26. A topological space is called

More information

PICARD S THEOREM STEFAN FRIEDL

PICARD S THEOREM STEFAN FRIEDL PICARD S THEOREM STEFAN FRIEDL Abstract. We give a summary for the proof of Picard s Theorem. The proof is for the most part an excerpt of [F]. 1. Introduction Definition. Let U C be an open subset. A

More information

The Uniformization Theorem

The Uniformization Theorem The Uniformization Theorem JWR Tuesday December 11, 2001, 9:03 AM The proof given here is a loose translation of [3]. There is another proof of the Uniformization Theorem in [2] where it is called the

More information

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly

More information

EE2 Mathematics : Complex Variables

EE2 Mathematics : Complex Variables EE Mathematics : omplex Variables J. D. Gibbon (Professor J. D Gibbon 1, Dept of Mathematics) j.d.gibbon@ic.ac.uk http://www.imperial.ac.uk/ jdg These notes are not identical word-for-word with my lectures

More information

Complex Variables. Cathal Ormond

Complex Variables. Cathal Ormond Complex Variables Cathal Ormond Contents 1 Introduction 3 1.1 Definition: Polar Form.............................. 3 1.2 Definition: Length................................ 3 1.3 Definitions.....................................

More information