MATH 6322, COMPLEX ANALYSIS
|
|
- Sylvia Walters
- 6 years ago
- Views:
Transcription
1 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 := {a + ib a, b R}. Can put a ring structure on this. (a + ib ) + (a 2 + ib 2 ) := (a + a 2 ) + i(b + b 2 ), (a + ib ) (a 2 + ib 2 ) := (a a 2 b b 2 )) + i(a b 2 + a 2 b ). One verifies that it s associative, distributive, and has the expected units. It is a field, and (a + ib) a = a 2 + b i b 2 a 2 + b. 2 Conjugate: z = a ib if z = a + ib. Norm: z := a 2 + b 2. e a+ib := e a (cos b + i sin b). We can write: z = z e iθ (this can also be seen that C = R 2 so that we can use the polar coordinate to represent (a, b). The express of z = z e iθ is called the polar form of z. Complex differential operators: Write z = ( 2 x i ), y z = ( 2 x + i ). y Let f = u + iv be a complex valued function on U which is C. If u and v are differentiable on U, then, for fixed z 0 U, f(z) f(z 0 ) = f z (z z 0) + f z ( z z 0) + o((z z 0 )). Holomorphic Functions: A complex valued function f on U is said to be holomorphic on U if f is C (U) and f = 0 on U, or equivalently, it is C (U) and it satisfies the Cauchy- z Riemann equations on U when we write f = u + iv on U. u x = v y, u y = v x ( )
2 f is said to be holomorphic at (or around) z 0 if f is holomorphic in a neighborhood of z 0. The concept of holomorphic function is also related to the complex differentiability of f: A function f defined around z 0 is said to be complex differentiable at z 0 if the complex derivative f(z 0 + h) f(z 0 ) lim h a h exists. Form (*) we get the following: Assume that f is C (U) for U C. f Then f is holomorphic (i.e. = 0 on U) if and only if f (a) exists for every z a U. Furthermore, f (z) = f z = f x = i f y on U. Warning: f (z 0 ) exists alone does not imply that f is holomorphic at z 0. For example, function f(z) = z 2 is differentiable at 0 and nowhere else, in particular, f is not holomorphic at 0. Important: (i) Goursat actually proved that f is holomorphic if f has complex derivative at each point in U (Without the assumption that f is C ). The proof will be given later. If f is holomorphic around P, then f is conformal at P (i.e. it preserves the angles and stretches in all directions (see Theorem on Page 40). Examples of holomorphic functions on C: e z := e x e iy = e x (cos y + i sin y), The (complex) sine and cosine functions: sin z = 2i (eiz e iz ), cos z = 2 (eiz + e iz ). Warning: Unlike in the real case, the complex sine and cosine are not bounded consider, for example, sin(iy) as y. u is said to be harmonic on U if u is C 2 and u = 0 on U. If f is holomporphic on U and write f = u + iv, then u and v are harmonic on U. 2
3 Solving P.D.E. on rectangular or an open disc: Lemma (Solving P.D.E. on rectangle or an open disc): Let R be a rectangle or an open disc, and if u, u 2 are C (R) with u = u 2 on R, then there is a y x function h C 2 (R) such that h x = u, h y = u 2. Moreover, if u, u 2 are real-valued, then h can also be taken as real-valued. Indeed, it is easy to check that h(x, y) = x a f(t, b)dt + y b g(x, s)ds serves our purpose. Improved version: Lemma (Solving P.D.E. on rectangle or an open disc): Let U be a rectangle or an open disc, and if u, u 2 are continuous and continuously differentiable on U\{p} with u = u 2 on U\{p}, then there is a function y x h C 2 (R) such that h x = u h, y = u 2. Moreover, if u, u 2 are real-valued, then h can also be taken as real-valued. The improved results comes from the following result from real-analysis: If F, H are continuous on (a, b) and H (x) = F (x) on (α, β)\{p} and H (p) exists. Then H (x) = F (x) on (α, β). Applications (Using the solution to the P.D.E. above): holomorphic v.s. Harmonic, Anti-derivatives (Primitives) for holomorphic: holomorphic v.s. Harmonic: If f is holomorphic on U and write f = u + iv, then u and v are harmonic on U. On the other hand, if u is a real-valued harmonic function on U where U is a rectangle or an open disc, then there is a holomorphic f on U with Re(f) = u (proof, use the above lemma to find v). Anti-derivatives (primitives): If f is holomorphic on U where U is a rectangle or an open disc, then there is a holomorphic h on U with h = f. (proof, use z the above lemma to find h). Improved version: If f continuous on U and is holomorphic on U \ {p} where U is a rectangle or an open disc, then there is a holomorphic h on U with h z = f. Complex Line (Curve) Integral 3
4 At first sight, complex integration is not really anything different from real integration. For a continuous complex-valued function φ : [a, b] R C, we define b b b φ(t)dt = Reφ(t)dt + i Imφ(t)dt. a a a Let : [a, b] U be a (complex) C curve (or piecewise C ) on U and f be a (complex values) continuous function on U, we define f(z)dz := b a f((t))d(t) = b a f((t)) (t)dt. (Analogy of the fundamental theorem of calculus) Let U C be an open set, and : [a, b] U be piecewise C. If f is holomorphic on U, then f (z)dz = f((b)) f((a)). z This, usually is used together with the existence of the anti-derivative. Another important property is: f(z)dz max z f(z) length(). Cauchy s theorem and Cauchy s integral formula (simple version) Using the fact (see above) about the existence of the anti-derivative (primitive) of holomorphic functions on a disc or rectangle (together with the improved version), we can prove Cauchy s integral theorem. Assume f is holomorphic on an open disc U, and : [a, b] U is a piecewise C curve with (a) = (b) (closed curve). Then f(z)dz = 0. Cauchy s integral formula. Assume f is holomorphic is a neighborhood of D(z 0, r) (i.e. D(z 0, r) U), and f is holomorphic on U. Let = D(z 0, r), i.e. (t) = z 0 + r(cos t + i sin t), t [0, 2π], Then, for each z D(z 0, r), f(z) = 2πi ζ z dζ = 2πi D(z 0,r) 4 ζ z dζ.
5 Remark: The proof of Cauchy s Theorem is based on the result about the existence of primitive of holomorphic functions. The Proof of Cauchy s Integral Formula is based on the fundamental theorem of calculus and the existence of the anti-derivative (primitive) of ( f(z))/(ζ z) (improved version) and the following fundamental result of integral: for z D(z 0, r), dζ =. 2πi D(z 0,r) ζ z Cauchy s theorem and Cauchy s integral formula for more general curves Cauchy s integral formula (and Cauchy s theorem) for more general curves: the above version of Cauchy s integral formula with special curve (i.e. = D(z 0, r)) should have served our purpose for most cases. To get a more general version (for more general curve ), we use the following elementary but very important property for the (line)-integral of holomorphic functions, namely the integral (assuming that f is holomorphic around ) f(z)dz does not change if a small (localized) change is made in the curve. More precisely, if f is holomorphic on U and, µ are two curves in U which coincide except on an interval where both, µ have the images which lie in a disc contained in U. Then f(z)dz = µ f(z)dz. The above observation allows us to stretch from one curve (for example, the circle = D(z 0, r)) to another curve by still keeping the integral value. For example, we can get the following two results: : If f is holomorphic on C \ {0}, then f(z)dz = r f(z) r2 for any 0 < r < r 2, where r is the circle of radius r centered at the origin, or in the annulus case, : If f is holomorphic on the annulus {z r < z < R}, then f(z)dz = r f(z) r2 for any r < r < r 2 < R, where r is the circle of radius r centered at the origin. 5
6 Cauchy s integral formula and theorem (general form): Cauchy s Theorem Let U C be an open set and f is holomorphic on U. Then f(z)dz = 0 for each piecewise C closed curve in U which can be deformed in U through closed curves to a closed curve lying entirely in a disc contained in U. Cauchy s Integral formula For any z U, we have f(z) = 2πi ζ z dζ for any piecewise C closed curve in U \ {z} which can be continuously deformed in U \{z} to a circle of radius r > 0 centered at z (with counter-clockwise orientation) In particular, we have Cauchy s integral formula for an Annulus Let f be holomorphic on D(P, r 2 )\D(P, r ). Then, for any r < s < s 2 < r 2, f(z) = 2πi z P =s 2 ζ z dζ 2πi z P =s ζ z dζ. Basic Properties of Power Series n= a n z n (you should know about convergence, absolute convergence and uniformly convergence): Consider the power series n= a n (z P ) n. WLOG, we assume that P = 0. Abel s Lemma: If n= a n z n converges at some z, then it converges at each w D(0, z ). Remark: This lemma tells us that the domain of convergence is a disc. The r = sup{ z n= a n z n converges} is called the radius of convergence and D(0, r) is the disc of convergence. Absolute and Uniform Conv.: Let n= a n z n be a power series with radius of convergence r. Then, for any 0 R < r, the series converges uniformly and absolutely on D(0, R). 6
7 Hadamard Criterion (root test): Set ρ = lim sup a n /n. Then the radius of convergent is /ρ. This is cooler than the ratio test in that it is more applicable. Theorem. If f(z) = n= a n z n with ρ <, then f is holomorphic on disc {z z < /ρ}, and indeed infinitely (complex) differentiable with Useful formulas: e z = n=0 f (z) = na n z n. z = n=0 z n. z n n!, sin z = ( ) n (2n + )! z2n+, cos z = n=0 n=0 ( ) n (2n)! z2n. Properties of Holomorphic Functions (all derived from Cauchy s integral formula): Cauchy s Formula for derivatives. Let f be holomophic on an set U C. Then f (k) exists on U for all k = 0,, 2,... (so f (k) are holomorphic). Moreover, if D(P, r) U, and z D(P, r), then, for any k = 0,, 2,..., f (k) (z) = k! dζ. 2πi D(P,r) (ζ z) k+ Remark: This is a very surprising result, it tells us that the holomorphic function, which is required by our definition to be continuously differentiable, is actually C! Cauchy s estimate: Let f be holomorphic on D(P, r) U and let M = max z D(P,r) f(z). f (n) (P ) n!m r n. From the proof of Cauchy s Formula for derivatives, we also get that If φ is continuous on D(P, r), then the function defined by is holomorpihc on D(P, r). f(z) = φ(ζ) 2πi D(z 0,r) ζ z dζ 7
8 Morera s Theorem (sort of opposite to Cauchy s integral theorem). Assume that f is continuous on an (connected) set U C. Assume that for every piecewise C curve : [0, ] U with (0) = () (so is closed), f(z)dz = 0. Then f is holomorphic on U. The proof is similar to the existence of antiderivatives for holomorphic functions Remark: () Morera s Theorem provides an alternative way to determine whether f is holomorphic. Goursat s theorem. If f f has complex derivative at each point in U (where U is an open set in C), then f is holomorphic. Remark: The proof uses Morera s Theorem under the observation that, from the proof of Morera s Theorem, one only needs to prove f(z)dz = 0 for any triangular path to conclude that f is holomorphic. Power Series Theorem. Let f be holomorphic on an open set U. Assume that D(P, r) U. Then f can be expanded to a power series on D(P, r), i.e., f(z) = a n (z P ) n, n=0 z D(P, r), where a n = f (n) (P ) n! = dζ. 2πi D(P,r) (ζ P ) n+ Idea of the proof: Use Cauchy s formula f(z) = 2πi fact that, for ζ P = r and z P < r, D(P,r) dζ, and the ζ z ζ z = ζ P z P ζ P = n=0 (z P ) n (ζ P ) n+. Theorem Let f n be a sequence of holomoprphic function f on U. Suppose that {f n } is uniformly convergent on every compact subsets of U. Then its limit f is also holomoprphic function on U. Moreover, the derivatives {f n (k) } is also uniformly convergent to f (k) on every compact subsets of U for every integer k 0. 8
9 Liouville s theorem A bounded holomorphic function f on C is constant. Idea of pf: Show a n = 0 for n by estimating a n = 2πi D(P,R) and then let R goes to. (ζ P ) dζ n+ 2π max z D(P,R) f(z) 2πR, R n+ More general version Assume that f is holomorphic on C and f(z) C z k, for some positive integer k, holds for all z with z >, Then f is a polynomial in z of degree at most k. Fundamental Theorem of Algebra Every non-constant complex polynomial P has a root. Moreover, we can write P (z) = C (z α ) (z α k ). Zeros of Holomorphic Functions(all derived from the power series theorem (the approach by using power series is called Weierstrass method): The tool to study the Zeros of Holomorphic Functions is the following fact (see the power series theorem above), Let f be holomorphic on an open set U. Then f can be expanded to a power series on D(P, r) U, i.e., f(z) = a n (z P ) n, n=0 z D(P, r), where a n = f (n) (P ) n! = dζ. 2πi D(P,r) (ζ P ) n+ Theorem (Principle of Analytic Continuation): Let f be holomorphic on a connected open set U. Assume that there is z 0 U such that f (k) (z 0 ) = 0 for all integer k 0. Then f 0 on U. Remark: The proof goes like this: Let A = {z U f (k) (z) = 0 for all integer k 0}. Claim A is both closed and open (relative to U). So A = U (since U is connected). 9
10 Definition Let z 0 U with f(z 0 ) = 0. Then the least positive integer n such that f (n) (z 0 ) = 0 is called the (zero) order of f at z 0. Remark It is equivalently to say that, around z 0, f(z) = j=n f (j) (z 0 ) (z z 0 ) j. j! Corollary (behavior of f near zero points): Let f be holomorphic on a connected open set U. Let z 0 U with f(z 0 ) = 0. Then there is an integer k 0 such that f(z) = (z z 0 ) k g(z) on U, where k is the (zero) order of f at z 0, and g is a holomorphic function on U with g(z 0 ) 0. In particular, all zeros of f are isolated points. The following fact may be useful (together with above): If g is continuous at z 0 and g(z 0 ) 0, then g has no zeros in a neighborhood of z 0. Corollary (Uniqueness Theorem). Let f be holomorphic on an (connected) open set U. Assume that {z j } {z f(z) = 0} (i.e. f(z j ) = 0), and z j z 0 U, then f 0. Corollary (Uniqueness Theorem). Let f, g be holomorphic on an (connected) open set U. Assume that {z j } {z f(z) = g(z)} (i.e. f(z j ) = g(z j )), and z j z 0 U, then f g. Corollary (Uniqueness Theorem). Let f, g be holomorphic on an (connected) open set U. Assume that f g = 0 on U. Then either f 0 or g 0 on U. Theorem(Counting the number of zeros). If f 0 is holomorphic on D(P, r) U and has zeros z,..., z k of orders n,..., n k in D(P, r). Then f (ζ) k 2π D(P,r) dζ = j= n j. Idea of pf: Write k f(z) = (z z j ) n j H(z) j= where H is a holomorphic function on U without zeros on D(P, r), and then compute f (z)/f(z). The theorem then follows from the Cauchy s theorem and Cauchy s integral formula. 0
11 More General Version. If f 0 is holomorphic on D(P, r) U and has zeros z,..., z k of orders n,..., n k in D(P, r). Let g be a holomorphic function on U. Then g(ζ) f (ζ) k 2π D(P,r) dζ = n j g(z j ). Rouche s Theorem. Suppose that f, g are holomorphic on D(P, r) U. Assume that for each ζ D(P, r), g(ζ) < + g(ζ). Then j= f (ζ) 2π D(P,r) dζ = g (ζ) 2π D(P,r) g(ζ) dζ. That is the number of zeros of f in D(P, r) is the same as the number of zeros of g in D(P, r), counting multiplicities. Remark: Rouche s Theorem is often stated with the stronger hypothesis: each ζ D(P, r), g(ζ) < g(ζ). This gives the following corollary: Useful version of Rouche s Theorem Suppose that f, g are holomorphic on D(P, r) U. Assume that for each ζ D(P, r), h(ζ) < g(ζ). Then the functions g(z), g(z)±h have the same number of zeros in D(P, r), counting multiplicities. The above facts about zeros of f can also be used to study a-points of f, i.e. the zeros of f(z) a. This leads to study the behavior of f as a mapping. The Open Mapping Theorem. If f : U C is a non-constant holomorphic function, where U is a connected open set. Then f(u) is also open. Idea of pf: A trivial corollary of the theorem below. Theorem about pre-images. If f : U C is a non-constant holomorphic function, where U is a connected open set. Assume that z 0 U with f(z 0 ) = w 0 with order k (i.e. f(z 0 ) w 0 = (z z 0 ) k g(z) with g being holomorphic on U and g(z 0 ) 0). Then there are δ, ρ > 0 such that each w D(w 0, ρ)\{w 0 } has exactly k distinct pre-images in D(z 0, δ) and each preimage is a simple point of f. In particular, if in addition we assume that f (z 0 ) 0, then every w D(w 0, ρ)\{w 0 } has a unique preimage inside D(z 0, δ). Remark: This theorem gives a more precise description than the Open Mapping Theorem. Idea of pf: Since zeros of holomorphic functions are isolated, we can choose δ > 0 such that f(z) w 0 and f (z) have no zeros on D(z 0, δ)\{z 0 }. Let
12 ρ = min z D(z0,δ) f(z) w 0. Then, for every w D(w 0, ρ) (i.e. w w 0 < ρ), on z D(z 0, δ), w w 0 < ρ f(z) w 0. Rouche s theorem then implies that k = # of zeros of f(z) w 0, C.M., in D(z 0, δ) = # of zeros of f(z) w, C.M., D(z 0, δ). Moreover, since f (z) have no zeros on D(z 0, δ)\{z 0 }, each preimage is a simple point of f. If in addition we assume that f (z 0 ) 0, then k =. So every w D(w 0, ρ)\{w 0 } has a unique preimage inside D(z 0, δ). Theorem about inverse. If f : U C is a non-constant holomorphic function, where U is a connected open set. Assume that z 0 U such that f (z 0 ) 0. Let δ, ρ > 0 be as above, and V = f (D(w 0, ρ)) D(z 0, δ) (which is open). Then f V : V D(w 0, ρ) is one to one and onto. Furthermore, for w D(w 0, ρ), f (w) = ζf (ζ) 2πi D(z 0,δ) w dζ. Idea of pf: The fact that f is one to one and onto is proved above. To show the formula (for f (w)), we use the result stated above that, with h(z) = f(z) w and g(z) = z, g(ζ) h (ζ) k 2π D(P,r) h(ζ) dζ = n j h(z j ), where z j are zeros of h. The Maximum modulus principle. Suppose that f : U C is a non-constant holomorphic function, where U is a connected open set. If there is a point P U such that f(p ) f(z) for all z U (i.e. f(p ) is maximal). Then f is constant. j= Idea of pf: Consequence of the open mapping theorem. Schwarz Lemma. Let f be holomorphic on the unit disc. Assume that f(z) for all z (i.e. f maps from the unit-disc to the unit-disc) and f(0) = 0. Then f(z) z and f (0). Laurent Series for Holomprphic Functions on an Annulus:. Consider the Laurent Series n= a n (z P ) n. 2
13 It is convergent if and only if the both two series n=0 a n (z P ) n (this is a power series) and n=0 a n [(z P ) ] n (this is not a power series, but is similar to a power series in terms of the properties). From what we know about power series (see above), we know that the domain of convergence is r < z P < r 2, where 0 r < r 2, (since the domain of convergence of the seris n=0 a n (z P ) n is z P < r 2 and the domain of convergence of the seris n=0 a n [(z P ) ] n is z P > r ). Furthermore, we have Compare with the Abel s lemma: If the Laurent Series n= a n (z P ) n n= a n (z P ) n converges at two points z, z 2 (not equal to P ), and if z P < z 2 P, then it converges on z P < z P < z 2 P. Compare to Absolute and Uniform Conv.: Let n= a n (z P ) n be convergent on r < z P < r 2. Then, for any r < r < r 2 < r 2, it converges uniformly and absolutely on r < z P < r 2. Uniquness of Laurent sereis: Let n= a n (z P ) n be convergent on D(P, r 2 )\D(P, r ), where 0 r < r 2 to a function f. Then for any r < r < r 2 and each integer j a j = 2πi D(P,r) dζ. (ζ P ) j+ Expansion of a Laurent sereis (compare the Expansion of power series for holo. func): Let f be holomorphic on an annular domain D(P, r 2 )\D(P, r ). Then we have Laurent s expansion of f: f(z) = j= a j (z P ) j, where a j = 2πi z P =r (ζ z) dζ, for all r j+ < r < r 2. Idea of pf: Similar to the proof of the Expansion of power series for holo. functions, by applying the Cauchy s integral formula for an annulus. Holomprphic Functions with Isolated Singularities (uisng the Laurent series on the punctured disk): 3
14 Let f be holomorphic on U\{P } where U C is open and P U. From above, we can write, for all z D(P, r)\{p } with D(P, r) U, f(z) = j= a j (z P ) j, where a j = dζ, for all 0 < s < r, 2πi z P =s (ζ z) j+ Definition Such point P is called an isolated Singularity of f. Riemann s Extension Theorem. If f is holomorphic on D(P, r 0 )\{P } (where r 0 > 0) and bounded. Then f can be extended holomorphically across the point P, i.e. there is a holomorphic function f on U such that f U\{P } = f. Idea of pf: Consider g(z) := (z P ) 2 f(z), and then use the power series expansion argument. Theorem. There are three mutually exclusive possibilities for an isolated Singularity P of f: (i) f is bounded on U\{P } or equiv. a j = 0 for j < 0. In this case, we call P a removable singularity. Example: f(z) = cos z z. (ii) lim z P f(z) = or equiv. a j = 0 for all j < k for some positive integer k. Example: f(z) = /z. (iii) Neither (i) nor (ii). In this case, we call P an essential sigularity. Example: f(z) = e /z. Idea of pfs of the equivalence in (i) and (ii): (i) = (Riemann s extention theorem). = because f is indeed represented by a power series on D(P, r 0 ) is it is holomorphic on D(P, r 0 ), thus f is bounded on D(P, r 0 ). (ii): = : Since lim z P f(z) =, f is never zero on D(P, s) for some s < r 0. Consider g = f and use Riemann s extention theorem, we get f = (z a)m Q(z) on where D(P, s)\{p }, hence f(z) = j= m b j (z P ) j. =: Assume that f(z) = j= k a j (z P ) j with k > 0 being fixed and a k 0, it is easy to see that lim z P f(z) = by noticing that f(z) = z P k ( a k j= k+ a j (z P ) j+k ). 4
15 Theorem about the essential singularity (Casorati-Weierstrass Theorem). If f is holomorphic on D(P, r 0 )\{P } and P is an essential sigularity. Then, for every 0 < r < r 0, f(d(p, r)\{p }) is dense in C. Idea of pf: Assume that a C with f(z) a > ɛ on D(P, r)\{p }. Consider g(z) = /(f(z) a) and use Riemann s Extension Theorem there is ĝ which is holomorphic on D(P, r) with ĝ(z) = g(z) for all z D(P, r)\{p }. So f(z) = a +. This means either P is a removable singularity or a pole, which leads ĝ(z) a contradiction. Theorem about the pole. Assume that P is a pole of f. We can write D(P, r)\{p }, f(z) = j= k a j (z P ) j with a k 0. We say that P os a pole of order k. We have: (i) On D(P, r)\{p }, f(z) = (z P ) k g(z) where g is holomorphic and g(p ) 0. For j = k, k +, k + 2,..., (ii) a j = (k + j)! ( z )k+j ((z P ) k f) P. Remark () The formula in (ii) is very convenient to use to compute the (coefficients of) the Laurent expansion. (2) The term a is expecially important, which is called the residue of f at the point P, denoted by Res P (f). Definition Let U be an open set and P U. Let be a piecewise C closed curve in U such that P is not on the curve. We define the index of with respect to P, denoted by ind (P ) as ind (P ) := 2πi ζ P dζ. Remark: ind (P ) is always an integer. The proof is as follows: Note that ind (P ) = 2πi ζ P dζ = b (t) 2πi a (t) P dt, and try to show that exp( b a (t) (t) P dt) = by proving that b (s) g(t) := ((t) P ) exp( a (s) P ds) is a constant, so g(a) = g(b) gives exp( b a 5 (t) dt) =. (t) P
16 Definition An open set U is is called holomorphically simply connected if if U is connected, and if every holomorphic function on U has ab anti-derivative (for example, the open discs or rectangles, etc.). Lemma U is h.s.c. if and only if for each holomorphic function f on U and each piecewise C closed curve in U, f = 0. Residue Theorem Let U C be an h.s.c. and P,..., p k U be distinct. Assume that f us holomorpihc on U\{P,..., P k }. Then, for any closed, piecewise C curve in U\{P,..., P k }, k f(z)dz = 2πi Res f (P j ) Ind (P j ). j= Generalized Cauchy s theorem Suppose that f is analytic in an open disk and is a closed curve in. Assume that a. Then Proof: Use Res f(z) (a) = f(a). z a Ind (a)f(a) = f(z)dz 2πi z a. Argument Principle (Counting the number of zeros and poles). If f 0 is meremorphic (i.e. holomorphic except poles) on D(P, r) U and has zeros a,..., a k of orders n,..., n k in D(P, r) and poles b,..., b l of orders m,..., m l in D(P, r). Then f (ζ) k l 2π D(P,r) dζ = n j m t. Idea of pf: Apply the Residue Theorem by noticing that Res f (a j ) = n j and f Res f (b t ) = m t. f Residue Calculation formula: Let P be a ploe of f order k, then a = j= t= (k )! ( z )k ((z P ) k f) P. 6
17 Application of the Residue Theorem in calculation of definite integrals: Type : + P (x) f(x)dx where f(x) = Q(x) 4.6. on Page 28. with deg P deg Q 2 see Example Type 2 (Fourier-type integral): + f(x)eiαx dx with α > 0 with lim z,imz 0 f(z) = 0. See Example on Page 30 and Example on Page 3. This would give + cos x dx, and + +x 2 sin x x dx. Type 3: + 0 R(x)dx, where R is a rational function. We assume that R(z) = P (z)/q(z) with no pole on the positive real axis and degree deg P deg Q 2. The trick is to use an auxiliary function f(z) := R(z) log z on the domain C\[0, + ]. See Example on Page 35. Type 4: Integrals + 0 R(x)x α with R(z) = P (z)/q(z) and deg P +α < deg Q. See Example on Page 33. Holomorphic Functions as Mappings ( Riemann s View): If f is holomorphic around P, then f is conformal at P (i.e. it preserves the angles and stretches in all directions (see Theorem on Page 40). If f : U V is holomorphic (non-constant), U is open, and V = f(u), then V is also open (by the open mapping thoerem). f : U V is said to be conformal or biholomoprhic if f is holomorphic, oneto-one and onto. Examples of conformal mappings:. f : C C is conformal if and only if f is linear. 2. f : D(0, ) D(0, ) is conformal if and only if f is a Mobius transformation (a consequence of Schwarz-Pick Lemma). 3. f : {z Imz > 0} D(0, ) is conformal if and only if f(z) = r iθ z a, Ima > 0. z ā 4. f : {z Imz > 0} {z Imz > 0} is conformal if and only if f(z) = az + b cz + d, where a, b, c, d are real numbers, and ad bc > 0. 7
18 Normal Families: Let F = {f α } α Λ be a family of holomorphic functions on U C. We say that F is normal family if every sequence {f n } F has a sequence that converges uniformly on every compact subsets of U. Montel s Theorem Let F = {f α } α Λ be a family of holomorphic functions on U C that is bounded on compact subsets, i.e. for every compact set K U, there is a M K > 0 such that Then F is normal. f(z) M k, z K, f F. Riemann Mapping Theorem (Analytic Version) If U is a holomorphically simply connected open set in C and U C, then U is conformally equivalent to the unit disc. Idea of pf: Set, for a fixed P U,. F = {f f : U D(0, ) is holomorphic, and one-to-one, f(p ) = 0}. 2. Use the normality to show that there is f 0 F such that f 0(P ) = sup f (P ). f F 3. Show that f 0 maps U onto the unit disc D(0, ). If U is simply connected, then U is a holomorphically simply connected. So the Riemann Mapping Theorem: If U is simply connected and U C. Then U is conformally equivalent to the unit disc. So the beauty of this theorem is that it basically says that the topological property of U implies the analytic property of U. Little Picard Theorem (Generalization of Liouville s theorem) If f is entire and omits 2 values, then it is constant. Idea of pf: Step. From omitting 2 values to omitting a lot of values (from spotting 2 cockroaches to a lot of cockroaches), this can be achieved by proving the following lemma: If U is simply connected and f is holomorphic on U and does not assume the values of 0 and. Then there is a holomorphic curve on U such that f(z) = exp(iπ cosh[2g(z)]). 8
19 Furthermore, it can be verified that g does not assume, on U, the values of π log( n+ n )+ mπi for positive integer n and all integer m. Since these 2 points from a vertices of a grid of rectangles with diagonal < 2, we have that g(u) contains no disc of radius. Step 2. We prove the so-called Bloch s theoremlet f be analytic on a region containing D(0, ) and f(0) = 0, f (0) =. Then there f(d(0, )) constains a disk of radius /72 (which is independent of f!). Step 3. The proof of little picard theorem can thus be proved by considering g(z + z 0 )/g (z 0 ) (by choosing some z 0 with g (z 0 ) 0 and by Bloch s theorem, g(d(z 0, R)) contains a disc of redius (/72)R, which contains a disc of radius when R is bigger enough, which contradicts with that fact that g(u) contains no disc of radius derived in step. The proof of Bloch s theorem: We first prove the following lemma: LemmaLet f be holomorphic on D(0, ) with f(0) = 0, f (0) =. Assume that f(z) M for all z D(0, ). Then M and f(d(0, )) D(0, /(6M)). id of proof: Let 0 < r < and f(z) = z + a 2 z 2 +. According to Cauchy s theorem, a n M/r n for n. Yence = a M and a n M.. So we can prove that for z = (4M), f(z) (6M). Thus by Rouche s theorem, since for every w D(0, /6M), w f(z) on z = (4M), f(z) and f(z) w have the same number of zeros inside z (4M). But f(0) = 0, so there exists z 0 with f(z 0 ) = w. This proves the lemma. Corollary Let g be holomorphic on D(0, R) with g(0) = 0, g (0) = µ. Assume that g(z) M for all z D(0, R). Then g(d(0, R)) D(0, R 2 µ 2 /(6M)). So to apply Corollary to proof Bloch s theorem, the main task is to drop the condition that f(z) M. Here is the trick: Let K(r) = max{ f (z) : z = r} and consider h(r) = ( r)k(r). Then h is continuous and h(0) =, h() = 0. Let r 0 = sup{r : h(r) = }. Then h(r 0 ) = and h(r) for r < r 0 (so we get a bound for K(r) thus the derivative f (thus the value of f)). Here is how to do it: Take a with a = r 0 and f (a) = K(r 0 ). Then f (a) = ( r 0 ). 9
20 Now for z a 2 ( r 0) := ρ 0 (so z 2 ( + r 0), from the definition of r 0, f (z) K( 2 ( + r 0) = h( 2 ( + r 0)[ 2 ( + r 0)] < [ 2 ( + r 0)] = /ρ 0. Consider g(z) = f(z +a) f(a). Notice that for z D(0, 2 ρ 0), the line segment [a, z + a] lies in D(a, ρ 0 ). Hence g(z) f (w)dw z < /2. ρ 0 Corollary implies that g(d(0, 2 ρ 0)) D(0, σ where σ = ( ρ ) 2 ( 3 0 ρ 2 2 0) 6 ( ) = Marty s criterion for nromality: Let F be a family of holomrphic functions on a region U of C. Then F is normal (in the extended sense) if and only if for every compact subset K of U there is a constant C K such that all z K and f F, where f # (z) := f # (z) C K f (z) + f(z) 2. Zalcman s theroem. Let F be a family of holomrphic functions on the unit-disk D of C. Assume that F is NOT normal (in the extended sense). Then there exists real number r with 0 < r <, a seqeucne of points z n with z n < r, a sequence {f n } F, and a seqeunce of positive numbers ρ n with lim n + ρ n 0 such that f n (z n + ρ n ξ) g(ξ) uniformly on every compact subsets K C, and g is not constant. Montel s (general) Theorem Let F be a family of holomrphic functions on a region U of C. Assume that for every f F, f(z) 0, for all z U. Then F is normal on U. The proof uses the Zalcman s theorem and the little Picard s theroem. 20
21 Big Picard s theorem Let f be holomorphic on D(P, r)\{p } which has an essential singularity at P. Then for every 0 < s < r, the image f(d(p, s)\{p }) covers the whole complex plane, except possibly for one complex value. Proof. Assume the theorem is false, WLOG, we can assume that f(d(0, )\{0}) omits the value of 0 and. We claim that 0 is not an essential singluarity which contradicts with our assumption. To show that claim, consider f n (z) = f(z/n), 0 < z <. Then, from the (generalized) Montel s theorem, {f n } is normal on 0 < z <. Thus there exists a subsequence {f nk } which is uniformly convergent on every compact subset of 0 < z < or or uniformly divergent every compact subset of 0 < z <. In the first case, i.e. {f nk } is uniformly convergent on every compact subset of 0 < z < implies that {f nk } is uniformly bounded on z = /2, i.e. there exists M > 0 such that f nk (z) M for all z = /2. This means that M for all ζ = /(2n k ). Thus, by the maximal principle, M on {ζ 0 < ζ < /2}. Hence, by the Riemann s extension theorem, 0 is a removable singularity. In the second case, a similar argument applies to /f shows that f tends to when z 0. This means that 0 is a pole for f. Thus the claim is proved. 2
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 informationMA3111S 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 informationPart 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 informationMORE 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 informationMATH 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 informationComplex 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 informationPart 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 informationComplex 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 informationQualifying 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 informationMath 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 informationSolutions 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 informationCOMPLEX 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 informationComplex 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 informationIII. 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 informationPart 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 informationComplex 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 informationMath 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 informationComplex 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 informationChapter 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 informationMath 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 informationComplex 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 informationFunctions 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 informationComplex 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 informationConsidering 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 informationIntroductory 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 informationMATH 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 informationComplex 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ζ(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ζ
Lecture 6 Consequences of Cauchy s Theorem MATH-GA 45.00 Complex Variables Cauchy s Integral Formula. Index of a point with respect to a closed curve Let z C, and a piecewise differentiable closed curve
More informationReview 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 informationSolutions 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 informationProblem Set 5 Solution Set
Problem Set 5 Solution Set Anthony Varilly Math 113: Complex Analysis, Fall 2002 1. (a) Let g(z) be a holomorphic function in a neighbourhood of z = a. Suppose that g(a) = 0. Prove that g(z)/(z a) extends
More informationTheorem [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 informationMATH8811: 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 information1. 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 informationINTEGRATION 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 informationThe 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 informationMA30056: Complex Analysis. Revision: Checklist & Previous Exam Questions I
MA30056: Complex Analysis Revision: Checklist & Previous Exam Questions I Given z C and r > 0, define B r (z) and B r (z). Define what it means for a subset A C to be open/closed. If M A C, when is M said
More informationNotes 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 informationCOMPLEX ANALYSIS Spring 2014
COMPLEX ANALYSIS Spring 204 Cauchy and Runge Under the Same Roof. These notes can be used as an alternative to Section 5.5 of Chapter 2 in the textbook. They assume the theorem on winding numbers of the
More informationAn Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010
An Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010 John P. D Angelo, Univ. of Illinois, Urbana IL 61801.
More informationf(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 informationComplex Analysis Study Guide
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 =
More informationComplex 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 informationSynopsis 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 informationLECTURE-20 : ISOLATED SINGULARITIES. A punctured domain is an open set with a point removed. For p Ω, we use the notation
LECTURE-20 : ISOLATED SINGULARITIES VED V. DATAR A punctured domain is an open set with a point removed. For p Ω, we use the notation Ω p = Ω \ {p}, or simply Ω when there is no confusion about the point
More informationF (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 information4 Uniform convergence
4 Uniform convergence In the last few sections we have seen several functions which have been defined via series or integrals. We now want to develop tools that will allow us to show that these functions
More informationMATH 566 LECTURE NOTES 6: NORMAL FAMILIES AND THE THEOREMS OF PICARD
MATH 566 LECTURE NOTES 6: NORMAL FAMILIES AND THE THEOREMS OF PICARD TSOGTGEREL GANTUMUR 1. Introduction Suppose that we want to solve the equation f(z) = β where f is a nonconstant entire function and
More informationIV. 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 informationComplex Analysis for F2
Institutionen för Matematik KTH Stanislav Smirnov stas@math.kth.se Complex Analysis for F2 Projects September 2002 Suggested projects ask you to prove a few important and difficult theorems in complex
More informationFINAL 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 informationComplex 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 informationMATH 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 informationPOWER SERIES AND ANALYTIC CONTINUATION
POWER SERIES AND ANALYTIC CONTINUATION 1. Analytic functions Definition 1.1. A function f : Ω C C is complex-analytic if for each z 0 Ω there exists a power series f z0 (z) := a n (z z 0 ) n which converges
More informationf (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 informationRIEMANN 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 informationINTRODUCTION TO REAL ANALYTIC GEOMETRY
INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E
More informationINDEX. Bolzano-Weierstrass theorem, for sequences, boundary points, bounded functions, 142 bounded sets, 42 43
INDEX Abel s identity, 131 Abel s test, 131 132 Abel s theorem, 463 464 absolute convergence, 113 114 implication of conditional convergence, 114 absolute value, 7 reverse triangle inequality, 9 triangle
More informationChapter 6: The metric space M(G) and normal families
Chapter 6: The metric space MG) and normal families Course 414, 003 04 March 9, 004 Remark 6.1 For G C open, we recall the notation MG) for the set algebra) of all meromorphic functions on G. We now consider
More informationCourse 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 informationMATH SPRING UC BERKELEY
MATH 85 - SPRING 205 - UC BERKELEY JASON MURPHY Abstract. These are notes for Math 85 taught in the Spring of 205 at UC Berkeley. c 205 Jason Murphy - All Rights Reserved Contents. Course outline 2 2.
More informationDepartment of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016
Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 1. Please write your 1- or 2-digit exam number on
More informationComplex Analysis Slide 9: Power Series
Complex Analysis Slide 9: Power Series MA201 Mathematics III Department of Mathematics IIT Guwahati August 2015 Complex Analysis Slide 9: Power Series 1 / 37 Learning Outcome of this Lecture We learn Sequence
More informationMath 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 informationRiemann Mapping Theorem (4/10-4/15)
Math 752 Spring 2015 Riemann Mapping Theorem (4/10-4/15) Definition 1. A class F of continuous functions defined on an open set G is called a normal family if every sequence of elements in F contains a
More informationMATH 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 informationChapter 6: Residue Theory. Introduction. The Residue Theorem. 6.1 The Residue Theorem. 6.2 Trigonometric Integrals Over (0, 2π) Li, Yongzhao
Outline Chapter 6: Residue Theory Li, Yongzhao State Key Laboratory of Integrated Services Networks, Xidian University June 7, 2009 Introduction The Residue Theorem In the previous chapters, we have seen
More informationPart IB Complex Methods
Part IB Complex Methods Based on lectures by R. E. Hunt Notes taken by Dexter Chua Lent 26 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after lectures.
More informationPart 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 information5.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 informationLecture 7 Local properties of analytic functions Part 1 MATH-GA Complex Variables
Lecture 7 Local properties of analytic functions Part 1 MATH-GA 2451.001 omplex Variables 1 Removable singularities 1.1 Riemann s removable singularity theorem We have said that auchy s integral formula
More informationINTEGRATION 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 informationMath 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 informationExercises 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 informationAnalysis Comprehensive Exam, January 2011 Instructions: Do as many problems as you can. You should attempt to answer completely some questions in both
Analysis Comprehensive Exam, January 2011 Instructions: Do as many problems as you can. You should attempt to answer completely some questions in both real and complex analysis. You have 3 hours. Real
More informationMATH 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 informationCOMPLEX 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 informationMATH 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 informationMath 421 Midterm 2 review questions
Math 42 Midterm 2 review questions Paul Hacking November 7, 205 () Let U be an open set and f : U a continuous function. Let be a smooth curve contained in U, with endpoints α and β, oriented from α to
More information1. 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
4 INUTES. If, ω, ω, -----, ω 9 are the th roots of unity, then ( + ω) ( + ω ) ----- ( + ω 9 ) is B) D) 5. i If - i = a + ib, then a =, b = B) a =, b = a =, b = D) a =, b= 3. Find the integral values for
More information(x 1, y 1 ) = (x 2, y 2 ) if and only if x 1 = x 2 and y 1 = y 2.
1. Complex numbers A complex number z is defined as an ordered pair z = (x, y), where x and y are a pair of real numbers. In usual notation, we write z = x + iy, where i is a symbol. The operations of
More informationComplex 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 informationMath 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 information4.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 informationC4.8 Complex Analysis: conformal maps and geometry. D. Belyaev
C4.8 Complex Analysis: conformal maps and geometry D. Belyaev November 4, 2016 2 Contents 1 Introduction 5 1.1 About this text............................ 5 1.2 Preliminaries............................
More informationMAT665: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 information1 Introduction. or equivalently f(z) =
Introduction In this unit on elliptic functions, we ll see how two very natural lines of questions interact. The first, as we have met several times in Berndt s book, involves elliptic integrals. In particular,
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
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 informationMATH 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 informationMATH 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 informationCONSEQUENCES OF POWER SERIES REPRESENTATION
CONSEQUENCES OF POWER SERIES REPRESENTATION 1. The Uniqueness Theorem Theorem 1.1 (Uniqueness). Let Ω C be a region, and consider two analytic functions f, g : Ω C. Suppose that S is a subset of Ω that
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More information7.2 Conformal mappings
7.2 Conformal mappings Let f be an analytic function. At points where f (z) 0 such a map has the remarkable property that it is conformal. This means that angle is preserved (in the sense that any 2 smooth
More information13 Maximum Modulus Principle
3 Maximum Modulus Principle Theorem 3. (maximum modulus principle). If f is non-constant and analytic on an open connected set Ω, then there is no point z 0 Ω such that f(z) f(z 0 ) for all z Ω. Remark
More informationSelected 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 informationKey to Homework 8, Thanks to Da Zheng for the text-file
Key to Homework 8, Thanks to Da Zheng for the text-file November 8, 20. Prove that Proof. csc z = + z + 2z ( ) n z 2 n 2, z 0, ±π, ±2π, π2 n= We consider the following auxiliary function, where z 0, ±π,
More informationFourth Week: Lectures 10-12
Fourth Week: Lectures 10-12 Lecture 10 The fact that a power series p of positive radius of convergence defines a function inside its disc of convergence via substitution is something that we cannot ignore
More informationMath 220A Homework 4 Solutions
Math 220A Homework 4 Solutions Jim Agler 26. (# pg. 73 Conway). Prove the assertion made in Proposition 2. (pg. 68) that g is continuous. Solution. We wish to show that if g : [a, b] [c, d] C is a continuous
More informationRiemann sphere and rational maps
Chapter 3 Riemann sphere and rational maps 3.1 Riemann sphere It is sometimes convenient, and fruitful, to work with holomorphic (or in general continuous) functions on a compact space. However, we wish
More informationComplex Analysis Homework 9: Solutions
Complex Analysis Fall 2007 Homework 9: Solutions 3..4 (a) Let z C \ {ni : n Z}. Then /(n 2 + z 2 ) n /n 2 n 2 n n 2 + z 2. According to the it comparison test from calculus, the series n 2 + z 2 converges
More information