RIEMANN MAPPING THEOREM

Size: px
Start display at page:

Download "RIEMANN MAPPING THEOREM"

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

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

More information

MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5

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

More information

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

Riemann 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 information

Complex Analysis Problems

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

More information

Hartogs Theorem: separate analyticity implies joint Paul Garrett garrett/

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

More information

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

MATH 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 information

Solutions to practice problems for the final

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

More information

An 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 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 information

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

The result above is known as the Riemann mapping theorem. We will prove it using basic theory of normal families. We start this lecture with that. Lecture 15 The Riemann mapping theorem Variables MATH-GA 2451.1 Complex The point of this lecture is to prove that the unit disk can be mapped conformally onto any simply connected open set in the plane,

More information

Review of complex analysis in one variable

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

More information

MORE CONSEQUENCES OF CAUCHY S THEOREM

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

More information

THE RIEMANN MAPPING THEOREM

THE 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 information

Course 214 Basic Properties of Holomorphic Functions Second Semester 2008

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

More information

POWER SERIES AND ANALYTIC CONTINUATION

POWER 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 information

C4.8 Complex Analysis: conformal maps and geometry. D. Belyaev

C4.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 information

LECTURE-20 : ISOLATED SINGULARITIES. A punctured domain is an open set with a point removed. For p Ω, we use the notation

LECTURE-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 information

Complex Analysis Qualifying Exam Solutions

Complex Analysis Qualifying Exam Solutions Complex Analysis Qualifying Exam Solutions May, 04 Part.. Let log z be the principal branch of the logarithm defined on G = {z C z (, 0]}. Show that if t > 0, then the equation log z = t has exactly one

More information

11 COMPLEX ANALYSIS IN C. 1.1 Holomorphic Functions

11 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 information

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

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

More information

Part IB Complex Analysis

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

More information

Assignment-10. (Due 11/21) Solution: Any continuous function on a compact set is uniformly continuous.

Assignment-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 information

Problem Set 5. 2 n k. Then a nk (x) = 1+( 1)k

Problem 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 information

MA3111S COMPLEX ANALYSIS I

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

More information

LECTURE-13 : GENERALIZED CAUCHY S THEOREM

LECTURE-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 information

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

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

More information

Math 220A - Fall Final Exam Solutions

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

More information

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

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

More information

Riemann sphere and rational maps

Riemann 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 information

8 8 THE RIEMANN MAPPING THEOREM. 8.1 Simply Connected Surfaces

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

More information

Complex Analysis Important Concepts

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

More information

LECTURE-15 : LOGARITHMS AND COMPLEX POWERS

LECTURE-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 information

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

Chapter 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 information

Complex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm

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

More information

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

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

More information

b 0 + b 1 z b d z d

b 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 information

The Arzelà-Ascoli Theorem

The 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 information

converges as well if x < 1. 1 x n x n 1 1 = 2 a nx n

converges 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 information

Solutions to Complex Analysis Prelims Ben Strasser

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

More information

PICARD S THEOREM STEFAN FRIEDL

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

More information

13 Maximum Modulus Principle

13 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 information

Complex Analysis Qual Sheet

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

More information

3. 4. Uniformly normal families and generalisations

3. 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 information

Qualifying Exam Complex Analysis (Math 530) January 2019

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

More information

Analysis 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 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 information

Principles of Real Analysis I Fall VII. Sequences of Functions

Principles 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 information

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

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

More information

Notes on Complex Analysis

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

More information

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

ANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2. 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 information

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

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

More information

REAL ANALYSIS ANALYSIS NOTES. 0: Some basics. Notes by Eamon Quinlan. Liminfs and Limsups

REAL 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

1. 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

1. 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 information

Part II. Riemann Surfaces. Year

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

More information

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

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

More information

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

ADVANCED 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 information

Holomorphic Dynamics Part 1. Holomorphic dynamics on the Riemann sphere

Holomorphic 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 information

Generalities about dynamics on Riemann surfaces

Generalities 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 information

COMPLEX ANALYSIS Spring 2014

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

More information

Dirichlet s Theorem. Calvin Lin Zhiwei. August 18, 2007

Dirichlet 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 information

Introductory Complex Analysis

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

More information

COMPLEX ANALYSIS Notes Lent 2006

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

More information

Fixed Points & Fatou Components

Fixed 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 information

Key to Homework 8, Thanks to Da Zheng for the text-file

Key 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 information

NOTES 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 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 information

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

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

More information

Part IB. Complex Analysis. Year

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

More information

Chapter 4: Open mapping theorem, removable singularities

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

More information

Riemann surfaces. 3.1 Definitions

Riemann 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 information

The Uniformization Theorem. Donald E. Marshall

The 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 information

Chapter 11. Cauchy s Integral Formula

Chapter 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 information

Lecture 7 Local properties of analytic functions Part 1 MATH-GA Complex Variables

Lecture 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 information

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

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

More information

Let X be a topological space. We want it to look locally like C. So we make the following definition.

Let 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 information

Fundamental Properties of Holomorphic Functions

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

More information

Complex Variables. Cathal Ormond

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

More information

Part IB. Further Analysis. Year

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

More information

APPROXIMABILITY OF DYNAMICAL SYSTEMS BETWEEN TREES OF SPHERES

APPROXIMABILITY 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 information

Conformal Mappings. Chapter Schwarz Lemma

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

More information

X.9 Revisited, Cauchy s Formula for Contours

X.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 information

MATH 6322, COMPLEX ANALYSIS

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

More information

Proof. We indicate by α, β (finite or not) the end-points of I and call

Proof. 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 information

Chapter 3: Baire category and open mapping theorems

Chapter 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 information

Geometric Complex Analysis. Davoud Cheraghi Imperial College London

Geometric 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 information

III. Consequences of Cauchy s Theorem

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

More information

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Functional 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ζ

ζ(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 information

Complex 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, () 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 information

Complex Analysis review notes for weeks 1-6

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

More information

An 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 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 information

INTRODUCTION TO REAL ANALYTIC GEOMETRY

INTRODUCTION 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 information

NORMED ALGEBRAS OF DIFFERENTIABLE FUNCTIONS ON COMPACT PLANE SETS

NORMED 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 information

Natural 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: 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 information

HADAMARD 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 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 information

S 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.

S 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 information

M17 MAT25-21 HOMEWORK 6

M17 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 information

MATH8811: COMPLEX ANALYSIS

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

More information

A TALE OF TWO CONFORMALLY INVARIANT METRICS

A 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 information

Math 185 Homework Problems IV Solutions

Math 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 information

Tools from Lebesgue integration

Tools 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 information

WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS

WEIERSTRASS 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 information

MATH SPRING UC BERKELEY

MATH 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