RIEMANN MAPPING THEOREM
|
|
- Mervin Fitzgerald
- 5 years ago
- Views:
Transcription
1 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 inverse holomorphic function. The aim of this lecture is to prove the following deep theorem due to Riemann. Denote by D the unit disc centered at the origin. Theorem 0.. Let Ω C be a simply connected set that is not all of C. Then for any z 0 Ω, there exists a unique biholomorphism F : Ω D such that F (z 0 ) = 0, and F (z 0 ) > 0. Here F (z 0 ) > 0 stands for F (z 0 ) being real and positive. Note that by Liouville s theorem, such a statement is patently false if Ω = C, and so the hypothesis that Ω is a proper subset is a necessary condition. As a consequence of the Theorem, we have the following corollary. Corollary 0.. Any two proper, simply connected subsets for C are conformally equivalent. Uniqueness The uniqueness follows easily from the following lemma. Lemma 0. (Schwarz s lemma). Let f : D D be a holomorphic map such that f(0) = 0. Then f(z) < z for all z D. Moreover, if f(z) = z for some non-zero z, or f (0) =, then f(z) = az for some a C with a =. Proof. Consider the holomorphic function on D \ {0} defined by g(z) := f(z) z. Then since f(0) = 0, g(z) has a removable singularity at z = 0, and hence extends to a holomorphic function on all of D. Note that the extension, which we continue to call g(z), satisfies g(0) = f (0). Date: 24 August 206.
2 One way to see this to consider the power series of f(z). Since f(0) = 0, this has the form f(z) = a z + a 2 z 2 + = z(a + a 2 z + ). Dividing by z we see that the Laurent series for g(z) is actually a power series, and hence g has a removable singularity at z = 0. Moreover the first term in the power series is f (0), and hence the extension satisfies g(0) = f (0). Now, for any z D, and any z < r <, by the maximum modulus principle, g(z) < sup g(w) = sup w =r f(w) w =r r r. But this is true for any r ( z, ), and so letting r we see that g(z), or equivalently f(z) z. Now suppose that f(z) = z for some non-zero z, or f (0) =, then g(z) = at some interior point of D. Then by the maximum modulus principle, g(z) = a for some a with a =. This completes the proof. Proof of uniqueness in Theorem 0.. Let F : Ω D and F 2 : Ω D be two such mappings. Then f = F 2 F satisfies the following properties f : D D is injective and onto. f(0) = 0. f (0) > 0. f also satisfies both these properties. By Schwarz lemma, f(z) z for all z D and f (w) w for all w D. Let w = f(z), then second inequality gives z f(z), and hence z = f(z). But then by the equality part of Schwarz lemma, we see that f(z) = az for some a C with a =. But then f (0) = a, which forces a = (since f (0) > 0). Hence f(z) = z for all z D or equivalently F 2 (w) = F (w) for all w Ω. Montel s and Hurwitz s theorems The proof relies on two theorems on sequences of holomorphic functions. A family of continuous functions F on an open set Ω is called normal if every sequence of functions in F has a subsequence that converges uniformly on compact subsets of Ω to a function in F. The family is said to be locally uniformly bounded if for any K Ω compact, there exists a constant M K such that sup f(z) < M K z K for all f F. 2
3 Theorem 0.2 (Montel s theorem). Suppose F is the family of functions defined by F := {f : Ω C hol. K Ω compact M K > 0 s.t. sup f(z) < M K, f F}. K Then F is normal. To prove this, we first recall the Arzela-Ascoli theorem. Recall that family F of continuous functions on Ω is said to locally equicontinuous of for all a Ω and all ε > 0 there exists a δ = δ(a, ε) such that z, w D δ (a) = f(z) f(w) < ε, for all f F. Then we have the following basic theorem, which we state without proof. Theorem 0.3 (Arzela-Ascoli). If a family of functions is locally equicontinuous and locally uniformly bounded, then for every sequence of functions {f n } F, there exists a continuous function f and a subsequence {f nk } which converges to f uniformly on compact subsets. Proof of Montel s theorem. By the Arzela-Ascoli theorem, if we show that a locally uniformly bounded family of holomorphic functions is automatically locally equicontinuous, then for every sequence, there will exist a subsequence which converges uniformly on compact subsets to a continuous function f. The limit function will then be holomorphic, and will automatically satisfy the required estimate on compact subsets, and hence will belong to the family F. Hence it is enough to show that the family F is locally equicontinuous. To do this, we use the Cauchy integral formula. Fix an a Ω and ε > 0. We need to choose a delta that works. Let r > 0 be such that D 2r (a) Ω, and let M r such that f(ζ) M r, for all ζ D 2r (a) and all f F. By the Cauchy integral formula, for any z, w D r (a), f(z) f(w) = ( f(ζ) ζ z ) dζ ζ w = z w ζ a =2r ζ a =2r f(ζ) (ζ z)(ζ w) dζ. Now, since z, w D r (a) and ζ a = 2r, by the triangle inequality, ζ z, ζ w > r. Then by the triangle inequality for line integrals f(z) f(w) z w 2π f(ζ) sup ζ a =r r 2 3 4πr 2M r z w r
4 So letting ( rε ) δ = min r,, 4M r we see that if z, w D δ (a), then z w < 2δ < rε/2m r, and so f(z) f(w) < ε for all f F, and F is a locally equicontinuous family. We also need the following theorem due to Hurwitz on the limit of injective holomorphic functions. Theorem 0.4 (Hurwitz). Let f n : Ω C be a sequence of holomorphic, injective functions on an open connected subset, which converge uniformly on compact subsets to F : Ω C. Then either F is injective, or is a constant. Proof. We argue by contradiction. So suppose F is non constant and not injective. Then for some w C, there exists a, b Ω such that F (a) = F (b) = w. Let f n (a) = w n, then w n w. Choose an r > 0 small enough so that there does not exist any z D r (b) such that F (z) = w. This is possible by the principle of analytic continuation since we are assuming that F is non-constant. In particular a / D r (b). Since f n is injective for any n, there exists no solution to f n (z) = w n in the closure of the disc D r (b), and so by the argument principle applied to f n (z) w n, we see that ζ b =r f n(ζ) f n (ζ) w n dζ = 0. But since f n F uniformly on compact sets, in particular, on the compact set D r (a) we have f n(ζ) F (ζ) and f n (ζ) w n F (ζ) w uniformly. Hence the integral also converges uniformly, and from this we conclude that ζ b =r F (ζ) dζ = 0. F (ζ) w This integral calculates the number of zeroes of F (ζ) w = 0 in D r (b) which we know is at least one (counting multiplicity) since F (b) = w. This is a contradiction, and hence if F is non-constant, it has to be injective. Proof of Riemann mapping theorem We define a family F of holomorphic function functions by F = {f : Ω D f holomorphic and injective, f(z 0 ) = 0}. The required biholomorphic map will be obtained by maximizing the modulus of the derivative at z 0, amongst all functions in this family. We first show that this family is non-empty. Lemma 0.2. There is an injective function f : Ω D such f(z 0 ) = 0. Or equivalently, that F φ. 4
5 Proof. Since Ω C, there is an a C \ Ω. Then z a is never zero on Ω. Since Ω is simply connected, we can choose a holomorphic branch of log (z a), or in other words, there is a holomorphic function l : Ω C such that e l(z) = z a for all z Ω. Clearly l(z) is injective. Moreover, if z, z 2 Ω and z z 2 then l(z 2 ) l(z ) / Z, i.e their difference cannot be an integral multiple of. In particular, l(z) l(z 0 ) +. We in fact claim that f(z) (f(z 0 ) + ) is bounded strictly away from zero. That is, Claim.There exists an ε > 0 such that l(z) (l(z 0 )+) > ε for all z Ω. To see this, assume the claim is false. Then there is a sequence {z n } Ω such that l(z n ) l(z 0 ) +. But then exponentiating, since the exponential function is continuous, we see that z n z 0. But then, since l(z) is continuous, this implies that l(z n ) l(z 0 ) contradicting the assumption that l(z n ) l(z) +. This proves the claim. Now consider the function f(z) = l(z) l(z 0 ). by the above observations, this is a bounded, injective and holomorphic function on Ω, and hence f : Ω D R (0), where R can be taken to be R = /ε where ε is from the claim above. Suppose f(z 0 ) = a, then is the required function. f(z) = f(z) a R + a Next, let λ = sup f (z 0 ). f F We claim that λ > 0. To see this, consider the f F constructed above. If f (z 0 ) = 0, then since f(z 0 ) = 0 and z 0 is a zero of multiplicity at least two, by the argument principle, there exist small neighborhoods U and V of z 0 and 0 respectively such that for all w V, w 0, there are at least two distinct solutions to f(z) = w, which contradicts the injectivity of f. Hence f (z 0 ) > 0 and hence λ > 0. Lemma 0.3. There is a function F F such that F (z 0 ) = λ. Proof. Let f n F be a sequence of functions that maximize f (z 0 ) ; that is lim f n n(z 0 ) = λ. Since f n (z) <, by Montel s theorem there is a subsequence that converges uniformly on compact sets to a holomorphic function F satisfying F (z), and F (z 0 ) = 0. Moreover since the derivatives also converge, we must have f (z 0 ) = λ. To show that F maps into the unit disc, i.e. F (z) < for all 5
6 z Ω, we use the open mapping theorem. Firstly, since f (z 0 ) = λ > 0, F cannot be a constant. Now suppose there is a point a Ω such that F (a) =. Then by the open mapping, for small r > 0, F (D r (a)) is an open set containing the point F (a) in the interior. But this open set will contain many points with modulus strictly greater than one, contradicting F (z). Finally to show that F F, we need to show that F is injective. But this follows from Hurwitz s theorem since F is non-constant and all f n F are injective. Proof of Riemann mapping. Since F (z 0 ) 0, by composing with a suitable rotation, we can assume that F (z 0 ) is real and positive. We claim that this F is the required bi-holomorphism. We already know that F : Ω D, F (z 0 ) = 0 and F is injective. To complete the proof, we need to show that F is surjective. If not, then there exists a α D such that F (z) = α has no solution in Ω. We then exhibit a G F with G (z 0 ) > F (z 0 ) contradicting the choice of F. To do this, consider ψ α : D D defined by ψ α (w) = α z ᾱz, and let g(z) = ψ α F (z). Since ψ α (z) = 0 if and only if z = α, we see that ψ α F is always zero free, and so a holomorphic branch of log ψ α F can be defined since Ω is simply connected. We can then choose a holomorphic branch for g(z) be letting g(z) = e 2 log ψα F (z). Note that g(z 0 ) = α. To construct a member of the family, we need to bring this back to the origin, and hence we define G(z) = ψ g(z0 ) g(z). Then G(z 0 ) = 0. Moreover, G(z) is also injective since ψ g(z0 ) and g(z) are injective, and so G F. Claim. G (z 0 ) > F (z 0 ). To see this, observe that where s(w) = w 2 D D. ψ α F (z) = ψ α s ψ g(z 0 ) G(z) = Φ G(z), is the squaring function and Φ = ψα s ψ g(z 0 ) : We compute that Φ(0) = ψα (s(ψ g(z 0 )(0)) = ψ α (s(g(z 0 ))) = (ψ α (F (z 0 ))) = F (z 0 ) = 0. By Schwarz lemma, Φ(z) z, and so Φ (0). We claim that Φ (0) <. Suppose, Φ (0) =, then by the second part of Schwarz lemma, Φ(z) = az for some unit complex number a. In particular, Φ(z) is injective. But Φ cannot be injective since s(z) is a 2 function 6
7 ie. sends two points to a single point, and ψ α and ψ g(z0 ) are injective. This shows that Φ (0) <. But then F (z 0 ) = Φ (G(z 0 )) G (z 0 ) = Φ (0) G (z 0 ), and hence F (z 0 ) < G (z 0 ) which proves the claim, and completes the proof of the theorem. Department of Mathematics, UC Berkeley address: vvdatar@berkeley.edu 7
4.6 Montel's Theorem. Robert Oeckl CA NOTES 7 17/11/2009 1
Robert Oeckl CA NOTES 7 17/11/2009 1 4.6 Montel's Theorem Let X be a topological space. We denote by C(X) the set of complex valued continuous functions on X. Denition 4.26. A topological space is called
More 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationLECTURE-13 : GENERALIZED CAUCHY S THEOREM
LECTURE-3 : GENERALIZED CAUCHY S THEOREM VED V. DATAR The aim of this lecture to prove a general form of Cauchy s theorem applicable to multiply connected domains. We end with computations of some 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 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 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 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 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 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 informationLECTURE-15 : LOGARITHMS AND COMPLEX POWERS
LECTURE-5 : LOGARITHMS AND COMPLEX POWERS VED V. DATAR The purpose of this lecture is twofold - first, to characterize domains on which a holomorphic logarithm can be defined, and second, to show that
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, 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 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 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 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 informationconverges as well if x < 1. 1 x n x n 1 1 = 2 a nx n
Solve the following 6 problems. 1. Prove that if series n=1 a nx n converges for all x such that x < 1, then the series n=1 a n xn 1 x converges as well if x < 1. n For x < 1, x n 0 as n, so there exists
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 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 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 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 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 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 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 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 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 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 informationANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.
ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n
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 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 information1. Let A R be a nonempty set that is bounded from above, and let a be the least upper bound of A. Show that there exists a sequence {a n } n N
Applied Analysis prelim July 15, 216, with solutions Solve 4 of the problems 1-5 and 2 of the problems 6-8. We will only grade the first 4 problems attempted from1-5 and the first 2 attempted from problems
More informationPart II. Riemann Surfaces. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 96 Paper 2, Section II 23F State the uniformisation theorem. List without proof the Riemann surfaces which are uniformised
More 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 informationADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS
ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS 1. Cardinal number of a set The cardinal number (or simply cardinal) of a set is a generalization of the concept of the number of elements
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 informationGeneralities about dynamics on Riemann surfaces
4 Generalities about dynamics on Riemann surfaces In this chapter we start studying the dynamics of a self-map of Riemann surface. We will decompose the Riemann surface into two subsets, one stable for
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 informationDirichlet s Theorem. Calvin Lin Zhiwei. August 18, 2007
Dirichlet s Theorem Calvin Lin Zhiwei August 8, 2007 Abstract This paper provides a proof of Dirichlet s theorem, which states that when (m, a) =, there are infinitely many primes uch that p a (mod m).
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 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 informationFixed Points & Fatou Components
Definitions 1-3 are from [3]. Definition 1 - A sequence of functions {f n } n, f n : A B is said to diverge locally uniformly from B if for every compact K A A and K B B, there is an n 0 such that f n
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 informationNOTES ON SEVERAL COMPLEX VARIABLES. J. L. Taylor Department of Mathematics University of Utah July 27, 1994 Revised June 9, 1997
NOTES ON SEVERAL COMPLEX VARIABLES J. L. Taylor Department of Mathematics University of Utah July 27, 1994 Revised June 9, 1997 Notes from a 1993 94 graduate course Revised for a 1996-97 graduate course
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 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 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 informationRiemann surfaces. 3.1 Definitions
3 Riemann surfaces In this chapter we define and give the first properties of Riemann surfaces. These are the holomorphic counterpart of the (real) differential manifolds. We will see how the Fuchsian
More informationThe Uniformization Theorem. Donald E. Marshall
The Uniformization Theorem Donald E. Marshall The Koebe uniformization theorem is a generalization of the Riemann mapping Theorem. It says that a simply connected Riemann surface is conformally equivalent
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 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 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 informationLet X be a topological space. We want it to look locally like C. So we make the following definition.
February 17, 2010 1 Riemann surfaces 1.1 Definitions and examples Let X be a topological space. We want it to look locally like C. So we make the following definition. Definition 1. A complex chart on
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 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 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 informationAPPROXIMABILITY OF DYNAMICAL SYSTEMS BETWEEN TREES OF SPHERES
APPROXIMABILITY OF DYNAMICAL SYSTEMS BETWEEN TREES OF SPHERES MATTHIEU ARFEUX arxiv:1408.2118v2 [math.ds] 13 Sep 2017 Abstract. We study sequences of analytic conjugacy classes of rational maps which diverge
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 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 informationMATH 6322, COMPLEX ANALYSIS
Complex numbers: MATH 6322, COMPLEX ANALYSIS Motivating problem: you can write down equations which don t have solutions, like x 2 + = 0. Introduce a (formal) solution i, where i 2 =. Define the set C
More informationProof. We indicate by α, β (finite or not) the end-points of I and call
C.6 Continuous functions Pag. 111 Proof of Corollary 4.25 Corollary 4.25 Let f be continuous on the interval I and suppose it admits non-zero its (finite or infinite) that are different in sign for x tending
More informationChapter 3: Baire category and open mapping theorems
MA3421 2016 17 Chapter 3: Baire category and open mapping theorems A number of the major results rely on completeness via the Baire category theorem. 3.1 The Baire category theorem 3.1.1 Definition. A
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 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 informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
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. Chapter V. Singularities V.3. The Argument Principle Proofs of Theorems. August 8, () Complex Analysis August 8, / 7
Complex Analysis Chapter V. Singularities V.3. The Argument Principle Proofs of Theorems August 8, 2017 () Complex Analysis August 8, 2017 1 / 7 Table of contents 1 Theorem V.3.4. Argument Principle 2
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 informationAn introduction to holomorphic dynamics in one complex variable Informal notes Marco Abate
An introduction to holomorphic dynamics in one complex variable Informal notes Marco Abate Dipartimento di Matematica, Università di Pisa Largo Pontecorvo 5, 56127 Pisa E-mail: abate@dm.unipi.it November
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 informationNORMED ALGEBRAS OF DIFFERENTIABLE FUNCTIONS ON COMPACT PLANE SETS
NORMED ALGEBRAS O DIERENTIABLE UNCTIONS ON COMPACT PLANE SETS H. G. DALES AND J.. EINSTEIN Abstract. We investigate the completeness and completions of the normed algebras (D (1) (X), ) for perfect, compact
More informationNatural boundary and Zero distribution of random polynomials in smooth domains arxiv: v1 [math.pr] 2 Oct 2017
Natural boundary and Zero distribution of random polynomials in smooth domains arxiv:1710.00937v1 [math.pr] 2 Oct 2017 Igor Pritsker and Koushik Ramachandran Abstract We consider the zero distribution
More informationHADAMARD GAP THEOREM AND OVERCONVERGENCE FOR FABER-EROKHIN EXPANSIONS. PATRICE LASSÈRE & NGUYEN THANH VAN
HADAMARD GAP THEOREM AND OVERCONVERGENCE FOR FABER-EROKHIN EXPANSIONS. PATRICE LASSÈRE & NGUYEN THANH VAN Résumé. Principally, we extend the Hadamard-Fabry gap theorem for power series to Faber-Erokhin
More informationS chauder Theory. x 2. = log( x 1 + x 2 ) + 1 ( x 1 + x 2 ) 2. ( 5) x 1 + x 2 x 1 + x 2. 2 = 2 x 1. x 1 x 2. 1 x 1.
Sep. 1 9 Intuitively, the solution u to the Poisson equation S chauder Theory u = f 1 should have better regularity than the right hand side f. In particular one expects u to be twice more differentiable
More informationM17 MAT25-21 HOMEWORK 6
M17 MAT25-21 HOMEWORK 6 DUE 10:00AM WEDNESDAY SEPTEMBER 13TH 1. To Hand In Double Series. The exercises in this section will guide you to complete the proof of the following theorem: Theorem 1: Absolute
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 informationA TALE OF TWO CONFORMALLY INVARIANT METRICS
A TALE OF TWO CONFORMALLY INVARIANT METRICS H. S. BEAR AND WAYNE SMITH Abstract. The Harnack metric is a conformally invariant metric defined in quite general domains that coincides with the hyperbolic
More informationMath 185 Homework Problems IV Solutions
Math 185 Homework Problems IV Solutions Instructor: Andrés Caicedo July 31, 22 12 Suppose that Ω is a domain which is not simply connected Show that the polynomials are not dense in H(Ω) PROOF As mentioned
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
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 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 information