MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5
|
|
- Geraldine Perry
- 5 years ago
- Views:
Transcription
1 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 the following definitions: () The family F is equicontinuous on a subset Y X if for every ɛ > 0 there exists δ > 0 so that for all p, q Y and all f F, if d X (p, q) < δ, then f(p) f(q) < ɛ. (2) The family F is normal on a subset Y X if for every sequence {f n } F, there exists a subsequence {f nj } which converges uniformly on every compact subset of Y. Also recall that a metric space X is separable if there is a countable subset {p j } X which is dense. Theorem. (Arzela-Ascoli). Let X be a separable metric space and suppose there are compact subsets K n X such that K n K n+, and n K n = X. Let F be a family of continuous complexvalued function on X. Then F is normal if and only if: (i) the family F is equicontinuous on every compact subset of X; (ii) for any p X, there is a constant C p > 0 so that f(p) C p for all f F. We shall actualy only need the sufficiency of the conditions (i) and (ii). Proof of necessity. To see the necessity of (i), we argue by contradiction. Suppose that F is a normal family, and that F is not equicontinuous on some compact subset K X. Then there exists ɛ > 0 so that for every n there are points p n, q n K and a function f n F such that d X (p n, q n ) < n and f n (p n ) f n (q n ) ɛ. Since F is normal, there is a subsequence {f nj } which converges uniformly on K to a limit f 0, which must then be continuous. We can select further subsequences (which we again call {n j } so that p nj p 0 and q nj q 0. But since d X (p nj, q nj ) < n j 0, it follows that p 0 = q 0. However, since f 0 is continuous which is a contradiction. ɛ lim sup f nj (p nj ) f jj (q nj ) = f 0 (p 0 ) f 0 (q 0 ) = 0, j To see the necessity of (ii), suppose there exists p X so that the set of values {f(p)} for f F is unbounded. Then for every n there exists a function f n F with f n (p) > n. But this clearly contradicts the hypothesis that there is a subsequence {f nj } which converges on the (compact) set {p} X. This completes the demonstration of the necessity of (i) and (ii). Date: April 26, 2009.
2 COMPLEX ANALYSIS 2 Proof of sufficiency. Now suppose that a family of functions F satisfies (i) and (ii), and let {f n } F be a sequence. Let {p n } be a countable dense subset of X. Since the set of values { f n (p ) } is contained in the compact set {ζ C ζ C p }, we can find a first subsequence n, < n,2 < < n,k < such that the sequence {f n,k (p )} converges, say to the value f 0 (p ). Next, since the set of values { f n,k (p 2 ) } is contained in the compact set {ζ C ζ C p2 }, we can find a second subsequence n 2, < n 2,2 < < n 2,k < such that the sequence {f n2,k (p 2 )} converges, say to the value f 0 (p 2 ), and the second subsequence is a subset of the first subsequence. Continuing in this way, we can find an infinite sequence of subsequences so that n, < n,2 < < n,k < n 2, < n 2,2 < < n 2,k < n 3, < n 3,2 < < n 3,k <.. n j, < n j,2 < < n j,k <.. (i) the limit as k of the sequence {f nj,k (p j )} exists (and equals f 0 (p j )); (ii) each subsequence {n j,k } is a subset of the pervious subsequence {n j,k }. It follows that for any fixed j, the elements of the diagonal sequence {n l,l } are a subset of the sequence {n j,k } for l j. Thus for the sequence of functions {F l = f nl,l }, we have lim l F l (p j ) = f 0 (p j ) for all j. We claim that this sequence {F l } converges uniformly on any compact subset K X. Since the sequence is equicontinuous on K, for any ɛ > 0 there exists δ > 0 so that d(p, q) < δ implies F l (p) F l (q) < ɛ. Now K q K B X(q, δ), and since K is compact, there is a finite set {q,..., q N } so that K N j= B X(q j, δ). Since the sequence {p k } is dense in X, for each j N, there is a point p jr B X (q j, δ). Since lim l F l (p jr ) = f 0 (p jr ), and since we are dealing with only a finite set of points, we can find M so that l, l 2 M implies F l (p jr ) F l2 (p jr ) < ɛ. Now let p K. Then p B X (p jr, δ) for some j r. We have F l (p) F l2 (p) F l (p) F l (p jr ) + F l (p jr ) F l2 (p jr ) + F l2 (p jr ) F l2 (p) ɛ + ɛ + ɛ. This shows that the sequence {F l } is uniformly Cauchy in the supremum norm on K, and it follows that the sequence converges uniformly on K. This completes the proof Montel s theorem. 4/20/09 Theorem.2 (Montel). Let Ω C be open and connected, and let F be a family of holomorphic functions on Ω. Suppose that for every compact subset K Omega, there is a constant C K > 0 so that f(w) C z for every f F and all z K. Then the family F is normal on Ω. Proof. It follows from the Arzela-Ascoli theorem that it suffices to show that the family F is equicontinuous on every compact subset K Ω. For this it suffices to observe that the family of holomorphic functions bounded by M on a disk of radius R is equicontinuous on every smaller disk.
3 COMPLEX ANALYSIS 3 Let r < R, and choose ρ with r < ρ < R. If f is holomorphic on D(a, R) and bounded in absolute value by M, and if z, w D(a, r), then f(z) f(w) = 2πi ζ a =ρ ζ z dζ 2πi ζ a =ρ ζ w dζ z w = 2πi (ζ z)(ζ w) dζ This completes the proof. ζ a =ρ 2π z w M 2π z w 0 Mρ (ρ r) 2. ρ dt ρe it + a z ρe it + a w.3. Simply connected domains. Definition.3. A topological space X is simply connected if for every continuous function γ : [0, ] X with γ(0) = γ(), there exists a continuous mapping Γ : [0, ] [0, ] X such that () Γ(t, 0) = γ(t) for 0 t ; (2) Γ(0, s) = Γ(, s) = Γ(0, 0) for 0 s ; (3) Γ(t, ) = Γ(0, ) = Γ(, ) for 0 t. In other words, X is simply connected if and only if every continuous mapping of the circle into X passing through a given point x 0 X can be continuously deformed to the constant mapping whose image is {x 0 }. We are concerned primarily with open subsets of C. In this situation, we have Proposition.4. A connected open set Ω C is simply connected if and only if its complement in the Riemann sphere Ĉ has at most one connected component. Equivalently, the complement of Ω has no compact components. The topological condition of being simply connected has the following analytic consequence: Proposition.5. Suppose that Ω C is a connected, simply-connected open set. If f is holomorphic on Ω and f(z) 0 for all z Ω, then there is a holomorphic branch of log(f) defined on Ω. That is, there exists a holomorphic function g defined on Ω so that f(z) = exp(g(z)) for all z Ω. In particular, if n is any positive integer, the function h n (z) = exp [ n g(z)] is holomorphic and satisfies h n (z) n = f(z) for all z Ω..4. The Riemann Mapping Theorem. Proposition.6. Suppose that F : D D is a biholomorphic mapping of the unit diks such that F (0) = 0, and F (0) > 0. Then F (z) = z for all z D. Proof. Let G be the inverse mapping to F so that F (G(z)) = z and G(F (w)) = w for all z, w D. It follows from the chain rule that F (G(z)) G (z) =, and so F (0) G (0) =. On the other hand, F (z) <, G(z) < for all z D, and F (0) = G(0) = 0, so it follows from the Schwarz lemma that F (0) and G (0). Thus we must have F (0) =, and again by the Schwarz lemma, F (z) = e iθ z. But since F (0) > 0 we must have θ = 0, and so F (z) = z. 4/22/09
4 Proposition.7. Let a C with a <, and define COMPLEX ANALYSIS 4 φ a (z) = a z āz. Then φ a is a fractional linear transformation, and has the following properties: (i) φ a (0) = a and φ a (a) = 0; (ii) φ a φ a (z) = z; (iii) φ a : D D is a biholomorphic mapping. Proof. Statements (i) and (ii) are simple computations. We know that every fractional linear transformation is a one-to-one and surjective mapping of the Riemann sphere to itself. If we can show that φ a carries the unit circle to itself, statement (iii) will follow. But if z =, then φ a (z) 2 = a z āz and so φ a (z) =, which completes the proof. a z āz = a 2 āz a z + z 2 āz a z + a 2 z 2 = a 2 āz a z + āz a z + a 2 =, Theorem.8 (Riemann Mapping Theorem). Let Ω C be a non-empty, connected, simplyconnected open subset of C which is not all of C. Let z 0 Ω. Then there exists a unique biholomorphic mapping F : Ω D, the open unit disk, such that F (z 0 ) = 0 and F (z 0 ) > 0. Uniqueness follows from Proposition.6. In fact, if F and F 2 are two biholomorphic mappings from Ω to D carrying z 0 to zero, then F 2 F is a biholomorphic mapping of the unit disk which carries 0 to 0. The proof of the existence of a biholomorphic mapping proceeds in three steps. Let F denote the set of all holomorphic functions f : Ω D such that f is one-to-one, f(z 0 ) = 0, and f (z 0 ) > 0. Step : The set F is not empty. Since Ω is not the entire complex plane, there exists a C \ Ω. Then the function z a is holomorphic and never zero on Ω, and since Ω is simply connected, there exists a holomorphic function g on Ω such that g(z) 2 = z a. The function g is has the following properties: (i) g is one-to-one. In fact, if g(z ) = g(z 2 ), then z a = g(z ) 2 = g(z 2 ) 2 = z 2 a, and so z = z 2. (ii) The image of g does not contain any pair of points {w, w}. In fact, if g(z ) = g(z 2 ), then z a = g(z ) 2 = ( g(z 2 )) 2 = g(z 2 ) 2 = z 2 a, and so z = z 2, which yields g(z ) = g(z ). This implies g(z ) = 0, and hence z = a, which is impossible. (iii) The image of g contains some closed disk {w C w g(z0 ) δ} where δ > 0. It now follows from (ii) and (iii) that the range of the function g does not contain any point in the closed disk centered at g(z 0 ) of radius δ. Hence for every z Ω, we have Let g(z) + g(z 0 ) > δ. h(z) =: δ g(z) + g(z 0 ).
5 COMPLEX ANALYSIS 5 Then: (a) h is holomorphic on Ω; (b) for all z Ω, we have h(z) < ; (c) since the mapping w δ (w + g(z 0 )) is one-to-one, h is also one-to-one; (d) h(z 0 ) = δ (2g(z 0 )) = a D. We now have h : Ω D is holomorphic and one-to-one. We now compose the function h with the fractional linear transformation φ a and define F (z) =: φ a h(z) = a h(z) + āh(z). Then F (z 0 ) = φ a (a) = 0. If we multiply F by a suitable constant of absolute value, we can insure that the derivative at zero is positive. Thus F. Step 2: There exists F F such that F (z 0 ) = sup f (z 0 ). f F Let A = sup f F f (z 0 ), so that A (0, + ]. Choose a sequence {f n } in F so that lim n f n(z 0 ) = A. Since the family F is uniformly bounded on Ω, it is normal, and hence there is a subsequence {f nk } which converges uniformly on compact subsets of Ω to a limit F. Since F is the uniform limit of holomorphic functions, F is also holomorphic. We have F (z 0 ) = lim k f nk (z 0 ) = 0, and F (z 0 ) = lim k f n k (z 0 ) = A. (It follows that A < +. Also, if z Ω, F (z) = lim k f nk (z). But then it follows from the maximum modulus theorem that we actually have F (z) < for all z Ω. It remains to show that F is one-to-one. Suppose F (z ) = F (z 2 ) = w. The functions {f nk (z) w} converges uniformly on Ω to the function F (z) w, which by assumption has two zeros. It follows that for k large enough, f nk also has zeros near z and z 2, which implies z = z 2. Thus F F. 4/24/09 Step 3: The range of the function F is all of D. Suppose there exists a D such that F (z) a for all z Ω. Then the function z φ a F (z) is one-to-one, maps Ω to D, is never zero, and φ a F (z 0 ) = a. Since Ω is simply connected, there is a function g, defined and holomorphic on Ω, so that g(z) 2 = φ a F (z). Then g : Ω D, and as in the proof of Step, it follows that g is one-to-one. Moreover g(z 0 ) = b with b 2 = a. If we let S(w) = w 2, we have constructed a holomorphic function g on Ω so that S g = φ a F. Put G = φ b g. Then G is one-to-one, maps Ω to D, and satisfies G(z 0 ) = 0. We can write g = φ b G = φ b G, and we have or, finally, It follows that φ a F = S g = S φ b G, F = φ a S G = φ a S φ b G. F (0) = [ φ a S φ b ] (0) G (0). It remains to compute [ ] (0) φ a S φ b = φ a (a)s (b) φ b (0) and show that its absolute value is strictly less than. We have φ a(z) = ( āz)( ) (a z)( ā) ( āz) 2 = + āz + a 2 āz ( āz) 2 = a 2 ( āz) 2.
6 Thus and so φ a(a) = COMPLEX ANALYSIS 6 a 2 = b 4, φ b (0) = b 2, S (b) = 2b φ a(a)s (b) φ b (0) = 2b + b 2 which has absolute value strictly less than. It follows that F (z 0 ) < G (z 0 ), which contradicts the assumed maximality of F (z 0 ). This completes the proof. 2. Polynomial and Rational Approximation We address the following question; let K C be a compact set, and let Ω be an open neighborhood of K. If f is holomorphic on Ω, can f be approximated uniformly on K by rational functions or polynomials? Theorem 2. (Runge). Let K be a compact set, and let C\K = j U j where each U j is a connected open set. For each j let a j U j. Let R K denote the algebra of rational functions whose poles belong to the set {a,...}. () If Ω is any open neighborhood of K, f is any holomorphic function on Ω, and ɛ is any positive real number, there exists R R K such that f(z) R(z) < ɛ for all z K. (2) If C \ K is connected, if Ω is any open neighborhood of K, f is any holomorphic function on Ω, and ɛ is any positive real number, there exists a polynomial P so that f(z) P (z) < ɛ for all z K. 4/27/ Construction of a contour. Lemma 2.2. Let K C be compact, and let Ω K be an open neighborhood. There exists a finite collection {γ,..., γ N } of parameterized curves, each of which is either a horizontal or a vertical straight line segment, and an open set V Ω so that: (a) each γ j Ω \ L; (b) K V ; (c) if f is holomorphic on Ω and z V, then N f(z) = j= 2πi γ j ζ z dζ. Proof. The complement of Ω is a closed set which is disjoint from K, and so there exists δ > 0 so that z K and w / Ω implies z w > δ 2. We can tile the complex plane C (or actually R 2 ) with a collection S of closed squares with side length δ. For example, we can take all closed squares whose four vertices are points of the form {δ(m + in), δ(m + + in), δ(m + (n + )i), δ((m + ) + i(n + ))} where m, n Z. Any two of these squares are either disjoint, or intersect along a single edge, or intersect only at a vertex. Denote by S K the set of squares in S which intersect K. Since K is compact, S K consists of a finite collection of squares {Q,..., Q M }. From our construction, for each j we have Q j K, and Q j (C \ Ω) = so that Q j Ω. If z belongs to the interior of one of the squares Q k, it follows from the Cauchy integral representation that 2πi Q j ζ z dζ = { f(z) if j = k, 0 if j k.
7 Summing over all j, we obtain M f(z) = j= 2πi Q j COMPLEX ANALYSIS 7 M ζ z dζ = 4 j= i= 2πi Q i j dζ (2.) ζ z for any z in the interior of some square belonging to S K, where { Q i j, i 4} are the four edges of the square Q j. If any of the edges in (2.) appears twice, it occurs with opposite orientation, and thus the two corresponding integrals cancel. In particular, if any one of the edges Q i j has non-empty intersection with K, then that edge is actually an edge for two squares belonging to S K. Thus after canceling repeated edges, each of the remaining edges occurs exactly once and lies in Ω but does not intersect K. Let {γ,..., γ N } be an enumeration of these remaining edges. We then have f(z) = N j= 2πi γ j dζ (2.2) ζ z for any z belonging to the interior of any of the original squares in S K. By continuity, formula (2.2) continues to hold for any z V =: M j= Q j \ N k= γ k. This completes the proof. We now start on the proof of Theorem 2.. We begin with the following: Lemma 2.3. Let K C be a compact set, let Ω K be an open neighborhood, and let f be holomorphic on Ω. Then we can uniformly approximate f on K by rational functions whose poles lie in the complement of K. Proof. Let {γ j } be the line segments constructed in Lemma 2.2. For all z K we have N N f(z) = 2πi ζ z dζ = f j (z) where f j (z) = 2πi ζ z dζ. j= γ j j= Let γ j have the parameterization γ j (t) for 0 t, so that M k= f j (z) = 2πi 0 f(γ j (t)) γ j (t) z γ j(t) dt. The function F j (t, z) = f(γ j (t)) 2πi γ j (t) z γ j(t) is jointly continuous on [0, ] K, and so M ( ) k lim M F j M, z = F j (t, z) dt = f j (z) and, what is critical for us, the convergence is uniform on K. But M M M F j (k/m, z) = 2πiM f(γ j (k/m)) γ j (k/m) (γ j (k/m) z) k= k= is a rational function whose poles lie on the curve γ j which is contained in the complement of K. Since we can uniformly approximate each f j, we can also uniformly approximate the finite sum f, and this completes the proof. We can now move the location of the poles of the approximating rational functions using the following. Lemma 2.4. Let K be a compact set, and let γ : [0, ] C be a piecewise smooth curve whose image is in the complement of K. For any n, the function (z γ(0)) n can be uniformly approximate on K by rational functions whose only poles are at the point γ(). 0 γ j
8 COMPLEX ANALYSIS 8 Proof. Since K and the image of γ are both compact and are disjoint, there exists η > 0 so that if z K and w γ, then z w > 3η. Let a γ, let b C with a b < η, and let z K. Then z b = z a + a b z a a b > 3η η = 2η. Thus (z a) = ( (z b) (a b) ) = (z b) = (z b) ( ) a b k = z b [ a b ] z b (a b) k (z b) k+, and this series converges uniformly on K. In particular, given any ɛ > 0 there exists N 0 depending on ɛ but independent of a and b such that if N N 0 and z K, N (z (a b) k a) (z b) k+ < ɛ. It follows that if a, b γ and if a b < η, then rational functions with poles at a can be uniformly approximated on K by rational functions with poles at b. But then we can cover γ by a finite number of disks of radius η 2, and the Lemma follows. Finally, to show that if the complement of K has only one component, we can approximate by polynomials, we use the following. Lemma 2.5. Let K C be a compact set. Suppose that if z K then z M. Then if a > 2M, the function (z a) can be uniformly approximated on K by polynomials. Proof. Let z K. Then (z a) = a [ z a ] = a ( z k = a) a k+ zk, and this series converges uniformly on K. But then (z a) can be uniformly approximated on K by finite partial sums, which are polynomials. This completes the proof.
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 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 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 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 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 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 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 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 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 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 informationNATIONAL 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 informationHartogs 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 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 informationTHE RIEMANN MAPPING THEOREM
THE RIEMANN MAPPING THEOREM ALEXANDER WAUGH Abstract. This paper aims to provide all necessary details to give the standard modern proof of the Riemann Mapping Theorem utilizing normal families of functions.
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationProblem Set 5. 2 n k. Then a nk (x) = 1+( 1)k
Problem Set 5 1. (Folland 2.43) For x [, 1), let 1 a n (x)2 n (a n (x) = or 1) be the base-2 expansion of x. (If x is a dyadic rational, choose the expansion such that a n (x) = for large n.) Then the
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 informationMath 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015
Math 30-: Midterm Practice Solutions Northwestern University, Winter 015 1. Give an example of each of the following. No justification is needed. (a) A metric on R with respect to which R is bounded. (b)
More informationb 0 + b 1 z b d z d
I. Introduction Definition 1. For z C, a rational function of degree d is any with a d, b d not both equal to 0. R(z) = P (z) Q(z) = a 0 + a 1 z +... + a d z d b 0 + b 1 z +... + b d z d It is exactly
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 information11 COMPLEX ANALYSIS IN C. 1.1 Holomorphic Functions
11 COMPLEX ANALYSIS IN C 1.1 Holomorphic Functions A domain Ω in the complex plane C is a connected, open subset of C. Let z o Ω and f a map f : Ω C. We say that f is real differentiable at z o if there
More informationWEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS
WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS YIFEI ZHAO Contents. The Weierstrass factorization theorem 2. The Weierstrass preparation theorem 6 3. The Weierstrass division theorem 8 References
More informationConformal 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 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 informationSolutions 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 information7 Complete metric spaces and function spaces
7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m
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 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 informationPICARD 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 informationContinuous Functions on Metric Spaces
Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0
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 informationFundamental 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 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 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 informationPrinciples of Real Analysis I Fall VII. Sequences of Functions
21-355 Principles of Real Analysis I Fall 2004 VII. Sequences of Functions In Section II, we studied sequences of real numbers. It is very useful to consider extensions of this concept. More generally,
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 informationCOMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS
Series Logo Volume 00, Number 00, Xxxx 19xx COMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS RICH STANKEWITZ Abstract. Let G be a semigroup of rational functions of degree at least two, under composition
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 informationThe Arzelà-Ascoli Theorem
John Nachbar Washington University March 27, 2016 The Arzelà-Ascoli Theorem The Arzelà-Ascoli Theorem gives sufficient conditions for compactness in certain function spaces. Among other things, it helps
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 informationMORE NOTES FOR MATH 823, FALL 2007
MORE NOTES FOR MATH 83, FALL 007 Prop 1.1 Prop 1. Lemma 1.3 1. The Siegel upper half space 1.1. The Siegel upper half space and its Bergman kernel. The Siegel upper half space is the domain { U n+1 z C
More informationDefinition We say that a topological manifold X is C p if there is an atlas such that the transition functions are C p.
13. Riemann surfaces Definition 13.1. Let X be a topological space. We say that X is a topological manifold, if (1) X is Hausdorff, (2) X is 2nd countable (that is, there is a base for the topology which
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 informationReal 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 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 informationAccumulation constants of iterated function systems with Bloch target domains
Accumulation constants of iterated function systems with Bloch target domains September 29, 2005 1 Introduction Linda Keen and Nikola Lakic 1 Suppose that we are given a random sequence of holomorphic
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 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 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 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 informationAnalysis III. Exam 1
Analysis III Math 414 Spring 27 Professor Ben Richert Exam 1 Solutions Problem 1 Let X be the set of all continuous real valued functions on [, 1], and let ρ : X X R be the function ρ(f, g) = sup f g (1)
More informationPROBLEMS. (b) (Polarization Identity) Show that in any inner product space
1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization
More informationTheorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers
Page 1 Theorems Wednesday, May 9, 2018 12:53 AM Theorem 1.11: Greatest-Lower-Bound Property Suppose is an ordered set with the least-upper-bound property Suppose, and is bounded below be the set of lower
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 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 informationSolutions to Tutorial 8 (Week 9)
The University of Sydney School of Mathematics and Statistics Solutions to Tutorial 8 (Week 9) MATH3961: Metric Spaces (Advanced) Semester 1, 2018 Web Page: http://www.maths.usyd.edu.au/u/ug/sm/math3961/
More informationQualifying Exams I, 2014 Spring
Qualifying Exams I, 2014 Spring 1. (Algebra) Let k = F q be a finite field with q elements. Count the number of monic irreducible polynomials of degree 12 over k. 2. (Algebraic Geometry) (a) Show that
More information3. 4. Uniformly normal families and generalisations
Summer School Normal Families in Complex Analysis Julius-Maximilians-Universität Würzburg May 22 29, 2015 3. 4. Uniformly normal families and generalisations Aimo Hinkkanen University of Illinois at Urbana
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
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 informationHomework 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 informationProblem set 1, Real Analysis I, Spring, 2015.
Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n
More informationHolomorphic Dynamics Part 1. Holomorphic dynamics on the Riemann sphere
Holomorphic Dynamics 628-10 Part 1. Holomorphic dynamics on the Riemann sphere In this part we consider holomorphic maps of the Riemann sphere onto itself. 1 Lyapunov stability. Fatou and Julia sets Here
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 informationGeometric Complex Analysis. Davoud Cheraghi Imperial College London
Geometric Complex Analysis Davoud Cheraghi Imperial College London May 9, 2017 Introduction The subject of complex variables appears in many areas of mathematics as it has been truly the ancestor of many
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 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 informationCOMPLEX ANALYSIS Spring 2014
COMPLEX ANALYSIS Spring 2014 1 Preliminaries Homotopical topics Our textbook slides over a little problem when discussing homotopy. The standard definition of homotopy is for not necessarily piecewise
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 informationREAL ANALYSIS ANALYSIS NOTES. 0: Some basics. Notes by Eamon Quinlan. Liminfs and Limsups
ANALYSIS NOTES Notes by Eamon Quinlan REAL ANALYSIS 0: Some basics Liminfs and Limsups Def.- Let (x n ) R be a sequence. The limit inferior of (x n ) is defined by and, similarly, the limit superior of
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 informationX.9 Revisited, Cauchy s Formula for Contours
X.9 Revisited, Cauchy s Formula for Contours Let G C, G open. Let f be holomorphic on G. Let Γ be a simple contour with range(γ) G and int(γ) G. Then, for all z 0 int(γ), f (z 0 ) = 1 f (z) dz 2πi Γ z
More information1 Holomorphic functions
Robert Oeckl CA NOTES 1 15/09/2009 1 1 Holomorphic functions 11 The complex derivative The basic objects of complex analysis are the holomorphic functions These are functions that posses a complex derivative
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 informationComplex Analysis Math 220C Spring 2008
Complex Analysis Math 220C Spring 2008 Bernard Russo June 2, 2008 Contents 1 Monday March 31, 2008 class cancelled due to the Master s travel plans 1 2 Wednesday April 2, 2008 Course information; Riemann
More informationMASTERS EXAMINATION IN MATHEMATICS SOLUTIONS
MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION SPRING 010 SOLUTIONS Algebra A1. Let F be a finite field. Prove that F [x] contains infinitely many prime ideals. Solution: The ring F [x] of
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 informationAPPROXIMATING CONTINUOUS FUNCTIONS: WEIERSTRASS, BERNSTEIN, AND RUNGE
APPROXIMATING CONTINUOUS FUNCTIONS: WEIERSTRASS, BERNSTEIN, AND RUNGE WILLIE WAI-YEUNG WONG. Introduction This set of notes is meant to describe some aspects of polynomial approximations to continuous
More informationQuasi-conformal maps and Beltrami equation
Chapter 7 Quasi-conformal maps and Beltrami equation 7. Linear distortion Assume that f(x + iy) =u(x + iy)+iv(x + iy) be a (real) linear map from C C that is orientation preserving. Let z = x + iy and
More informationKey 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 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 informationCauchy s Theorem (rigorous) In this lecture, we will study a rigorous proof of Cauchy s Theorem. We start by considering the case of a triangle.
Cauchy s Theorem (rigorous) In this lecture, we will study a rigorous proof of Cauchy s Theorem. We start by considering the case of a triangle. Given a certain complex-valued analytic function f(z), for
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 informationLecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University
Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................
More informationSets, Functions and Metric Spaces
Chapter 14 Sets, Functions and Metric Spaces 14.1 Functions and sets 14.1.1 The function concept Definition 14.1 Let us consider two sets A and B whose elements may be any objects whatsoever. Suppose that
More information8 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 informationarxiv:math.cv/ v1 23 Dec 2003
EXPONENTIAL GELFOND-KHOVANSKII FORMULA IN DIMENSION ONE arxiv:math.cv/0312433 v1 23 Dec 2003 EVGENIA SOPRUNOVA Abstract. Gelfond and Khovanskii found a formula for the sum of the values of a Laurent polynomial
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
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 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 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 209B Homework 2
Math 29B Homework 2 Edward Burkard Note: All vector spaces are over the field F = R or C 4.6. Two Compactness Theorems. 4. Point Set Topology Exercise 6 The product of countably many sequentally compact
More informationAssignment-10. (Due 11/21) Solution: Any continuous function on a compact set is uniformly continuous.
Assignment-1 (Due 11/21) 1. Consider the sequence of functions f n (x) = x n on [, 1]. (a) Show that each function f n is uniformly continuous on [, 1]. Solution: Any continuous function on a compact set
More informationProperties of Entire Functions
Properties of Entire Functions Generalizing Results to Entire Functions Our main goal is still to show that every entire function can be represented as an everywhere convergent power series in z. So far
More informationSummer Jump-Start Program for Analysis, 2012 Song-Ying Li. 1 Lecture 7: Equicontinuity and Series of functions
Summer Jump-Start Program for Analysis, 0 Song-Ying Li Lecture 7: Equicontinuity and Series of functions. Equicontinuity Definition. Let (X, d) be a metric space, K X and K is a compact subset of X. C(K)
More informationComplex 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 informationChapter 11. Cauchy s Integral Formula
hapter 11 auchy s Integral Formula If I were founding a university I would begin with a smoking room; next a dormitory; and then a decent reading room and a library. After that, if I still had more money
More informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
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 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 information