NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II
|
|
- Dwayne Chambers
- 6 years ago
- Views:
Transcription
1 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; The Identity Theorem Defnition A point z C is said to be a zero of f if f(z ) = A point z is said to be an isolated zero of f if f(z ) =, and there exists some r > such that f(z) for all z satisfying < z z < r r z f(z) Proposition 211 Suppose that f is analytic at z and f(z ) =, then either (i) z is an isolated zero of f, or (ii) f is identically zero in some open ball centered at z (ie, δ > such that f(z) = for all z B(z, δ)) [Roughly speaking, zeros of non-constant analytic functions are always isolated] Proof Since f is analytic at z, there exists an open set, which can be taken to be an open ball B(z, r) with r >, such that f is differentiable (and hence analytic) everywhere in B(z, r) By Taylor s theorem, we have f(z) = k= a k (z z ) k for all z z < r, where a k = f (k) (z ) (1) k! If all the Taylor coefficients a k s are zero, then by (1), f(z) = for all z z < r, and thus (ii) holds Otherwise, let m be the smallest positive integer such that a m Then by (1), we have f(z) = a m (z z ) m + a m+1 (z z ) m+1 + = (z z ) m[ a m + a m+1 (z z ) + a m+1 (z z ) 2 + ] = (z z ) m φ(z) for all z z < r, (2) 1
2 2 where φ(z) := a m + a m+1 (z z ) + a m+1 (z z ) 2 + The power series φ(z) has the same radius of convergence as the Taylor series of f(z) about z, which is r, hence it represents an analytic (and hence continuous) function on B(z, r), with φ(z ) = a m By continuity, there exists δ > such that φ(z) for all z z < δ See tutorial 1 for details of argument Hence, there exists δ > such that φ(z) for all z B(z, δ) Shrinking δ if necessary, we may assume that δ < r (so that both (2) and (3) hold on B(z, δ)) Together with the fact that (z z ) m if z z, it follows from (2) that f(z) for all z B (z, δ) = B(z, δ) \ {z }, and thus (i) holds Thus, either (i) or (ii) has to hold, and this finishes the proof of the proposition Exercise Find an infinitely differentiable non-constant function from R to R which has a non-isolated zero y x Solution Consider the function { e 1 x, if x > ; f(x) = if x
3 3 As a consequence of the above, we have the following theorem: Theorem 212 (Locally zero implies globally zero) Suppose that f is analytic in a domain D and f on a non-empty open subset of D Then f on D Proof Suppose f is analytic on D and f on a non-empty open subset U of D Fix a point z U so that f(z ) = Take any other point w D, we want to show that f(w) = Since D is connected, there exists a polygonal line L = L L k in D joining z to w, ie, the initial point of L 1 is z and the terminal point of L k is w First we show that f along L 1 Let the terminal point of L 1 be z 1 (without loss of generality, we may assume z 1 z ) so that L 1 may be parametrized by Consider the set L 1 : γ(t) = z + t(z 1 z ), t 1 I := {s [, 1] f(γ(t)) = for all t s} (*) Since f(z ) =, it follows that I, and thus I Let s o := sup I Claim 1: s o > Proof of Claim 1 Since U is open, there exists an open ball B(z, r) U r with r > Then f on B(z, r) Then for all t 2 z 1 z, we must have f(γ(t)) =, since for such t, Therefore, s o γ(t) z = z + t(z 1 z ) z r 2 z 1 z > = t z 1 z r 2 z 1 z z 1 z = r < r (1) 2 Claim 2: f(γ(t)) = for all t s o Proof of Claim 2 For any t < s o = sup I, there exists s > t such that s I Then f(γ(t)) = since t < s (see (*)) Thus, f(γ(t)) = for all < t s o It remains to show that f(γ(s o )) = Since f is continuous at γ(s o ) and γ(t) γ(s o ) as t s o, it follows that f(γ(s o )) = lim t s o f(γ(t)) = lim t s o =
4 4 (Note t s o implies that t < s o and thus f(γ(t)) = ) This finishes the proof of Claim 2 y z 1 z x Claim 3: s o = 1 Proof of Claim 3 We prove the claim by contradiction Suppose s o < 1, so that by Claim 1, < s o < 1 By Claim 2, f(γ(t)) = for all t s o Also, for any r >, B(γ(s o ), r) contains some point γ(t) with t < s o (and thus f(γ(t)) = ) (Exercise, find an explicit t using a calculation similar to (1)) Thus, γ(s o ) is a zero but not an isolated zero of f Hence by Proposition 211, there exists δ > such that f on B(γ(s o ), δ) Shrinking δ if necessary, we may assume that δ B(γ(s o ), δ) D Then for all s o t s o +, one can check 2 z 1 z that γ(t) B(γ(s o ), δ) and thus f(γ(t)) = (Exercise) Together with δ Claim 2, it follows that f(γ(t)) = for all t s o + 2 z 1 z, and δ thus sup I s o + 2 z 1 z, contradicting that sup I = s o Therefore, we must have sup I = 1, and this finishes the proof of Claim 3 Completion of proof of Theorem 212 From Claim 2 and Claim 3, it follows that f on L 1 In particular, z 1 is a zero of f, but not an isolated zero of f Then since z 1 is also the initial point of L 2, one can repeat the above argument to show that f on L 2 By repeating the argument again and again, one can show that f on the entire L, and thus f(w) = Since w is an arbitrary point of D, it follows that f on D This finishes the proof of the theorem Exercise: The usual definition for D to be connected is that if D = V 1 V 2 where V 1 V 2 = and both V 1 and V 2 are open, then either V 1 or V 2 is the empty set (you cannot partition a connected set into two disjoint non-empty open sets) Use this definition to prove the theorem Definition 213 Consider a set T C A point z (not necessarily in T ) is said to be an accumulation point of T if T B(z, r) \ {z } = for any r >, ie, any open ball centered at z contains a point in T other than z Remark 214 By considering a sequence of open balls B(z, r n ) with r n decreasing to, one can find a sequence of distinct points {z n } in T such that lim n z n = z (Exercise)
5 Example Let T = B(, 1) \ {} Then is an accumulation point of T (note that T ) Theorem 215 (Zeros do not have accumulation point in D if f is not identically zero) Let f be an analytic function in a domain D, and let T D be such that T has an accumulation point z in D If f on T, then f on D Proof Since z D is an accumulation point of T, it follows from Remark 214 that one can find a sequence of distinct points {z n } T such that lim z n = z Then by continuity of f and since each z n T, n we have f(z ) = f( lim n z n) = lim n f(z n) = lim n = Thus z is a zero of f But z is not an isolated zero of f (Exercise) Thus by Proposition 211, there exists δ > such that f(z) = for all z B(z, δ) Shrinking δ if necessary, we may assume that B(z, δ) D Thus by Theorem 212, f on D Remark (i) The result is not necessarily true if z D (ii) Examples of a set T in a domain D with an accumulation point in D are given below: (1) T is a non-empty open subset of D; (2) T is a curve or line segment contained in D; (3) T consists of a sequence of distinct points {z n } D which converges to a point z D For example, D = B(, 2) and T = {1/n : n N} has the accumulation point in D 5
6 6 Theorem 216 (Identity theorem for analytic functions) Let f and g be analytic in a domain D If f g on a subset T D which has an accumulation point in D (such as an non-empty open subset of D or a line segment in D), then f g on D Proof: Consider f g on D Since f g on T D, and T has an accumulation point D, it follows from Theorem 215 that f g on D, hence f g on D Example 217 Consider the functions f(z) = sin(2z) and g(z) = 2 sin z cos z
7 7 22 Maximum modulus principle and applications Theorem 221(Gauss Mean Value Theorem) Suppose that f is analytic everywhere within and on the circle C : z z = r Then f(z ) = 1 f(z + re iθ )dθ Remark The formula says that the value of f at the centre of the circle is the arithmetic mean of the values of f on the circle r z f(z ) f(z) Proof By the Cauchy integral formula, f(z ) = 1 i C f(z) z z dz Take the parametrization of C given by γ(θ) = z + re iθ, θ, so that γ (θ) = ire iθ Hence f(z ) = 1 i = 1 f(z + re iθ ) z + re iθ z ire iθ dθ f(z + re iθ )dθ Example 222 Let f(z) = 2z 2 + z + 1 Then f() = 1 = 1 2e 2iθ + e iθ + 1 dθ
8 8 Proposition 223 (Local version of maximum modulus principle) Suppose that f is analytic on an open ball B(z, r) := {z C : z z < r} centered at z and of radius r > If f(z) f(z ) for each point z B(z, r), then f(z) f(z ) on B(z, r) Remark The above can be rephrased as If f is analytic on B(z, r) and f(z) attains its maximum in B(z, r) at z, then f is constant on B(z, r) f(z ) z r f(z) Proof Suppose f satisfies the conditions of the Proposition, and let < ρ < r Consider the circle z 1 z = ρ By Gauss MVT, f(z ) = 1 = f(z ) = 1 1 On the other hand, by the assumption, = By (2) and (5), f(z + ρe iθ )dθ (1) f(z + ρe iθ )dθ f(z + ρe iθ ) dθ (2) f(z + ρe iθ ) f(z ), θ (3) f(z + ρe iθ ) dθ = f(z ) 1 f(z ) = 1 1 = f(z ) 1 dθ = 1 = 1 f(z ) dθ = f(z ) (4) f(z + ρe iθ ) dθ (5) f(z + ρe iθ ) dθ f(z + ρe iθ ) dθ ( f(z ) f(z + ρe iθ ) ) dθ = (6)
9 9 By assumption, the integrand ( f(z ) f(z + ρe iθ ) ) for all θ (7) If there is a value of θ for which the inequality in (7) is strict, then by continuity, we have strict inequality for an open interval of θ and ( f(z ) f(z + ρe iθ ) )dθ >, which is a contradiction to (6) Hence we must have ( f(z ) f(z + ρe iθ ) ) =, for all θ, ie, f(z) = f(z ) for all z on the circle z z = ρ By letting ρ vary from to r, it follows that f(z) = f(z ) for all z B(z, r) Since f is an analytic function such that f(z) is constant on B(z, r), it follows that that f(z) itself is constant on B(z, r) (see eg [Churchill, 7th ed, p 74, Question 7]) Theorem 224 (Maximum modulus principle) If f is analytic and not constant on the domain D, then f(z) has no maximum value in D Proof: We prove the theorem by contradiction Suppose that f(z) attains its maximum at some point z D Since D is open, there exists r > such that z B(z, r) D Then f(z) f(z ) for all z B(z, r) Thus by the local version of the MMP (Proposition 223), f is constant on B(z, r) Together with the identity theorem for analytic functions (Theorem 216), it follows that f(z) is constant on D, contradicting the assumption that f is non-constant on D Thus, f(z) has no maximum value in D Remark The maximum modulus does not hold in the real case! Consider the function f(x) = 1 x 2, 1 < x < 1 Clearly, the function is non-constant and differentiable on ( 1, 1) But the maximum value of f(x) is attained at the interior point x = when f() = 1 y x
10 1 Corollary 225 Let R C be a closed bounded set whose interior is a domain Suppose f is continuous on R and analytic and not constant in the interior of R Then the maximum value of f(z) in R occurs on the boundary of R and never in the interior Proof Note that f(z) is a real-valued continuous function on the closed and bounded region R Then it follows from the Extreme Value Theorem that f(z) attains its maximum value at some point z of R By the maximum modulus principle, such z cannot lie in the interior of R Therefore, z must lie in the boundary of R Example 226 (minimum modulus principle) Let R C be a closed bounded set whose interior is a domain Suppose f is continuous on R and analytic and not constant in the interior of R If f(z) for any z R, then f(z) attains its minimum value at the boundary of R but not in the interior of R (To be done in tutorial) Example 227 Consider the function f(z) = e z on the closed disk B(1, 2) = {z C : z 1 2} Then the maximum and minimum values of f(z) in B(1, 2) occurs on the boundary, and not on the interior (Exercise: Find the points where the maximum and the minimum values for f(z) occurs)
11 11 An important application of the MMP is the following Theorem 228 (Schwarz s Lemma) Consider the unit ball B(, 1) := {z C : z < 1} Suppose that f is analytic on B(, 1) such that (i) f(z) 1 for each z B(, 1), and (ii) f() = Then (a) f(z) z for each z B(, 1), and (b) f () 1 Moreover, if the equality in (b) holds or the equality in (a) holds for at least one non-zero point in B(, 1), then f(z) az on B(, 1) for some complex constant a with a = 1 (that is, f(z) = e iα z is a rotation by some angle α about the origin) f(z) Proof (Key step:) Let g(z) := f(z) Clearly, g(z) analytic on B(, 1) \ z {}, and it has an isolated singular point at z = From (ii), we have f() = By Taylor s theorem, f(z) = + f ()z + f () z 2 +, for z < 1 2! Thus the Laurent series of g(z) at z = is given by g(z) = 1 z [ f ()z + f () 2 ] z 2 + = f () + f () z +, < z < 1 2 In particular, z = is a removable singular point of g(z), and we can define g() = f () so that the extended function g(z) becomes analytic on B(, 1) (see (163)) Now, since f(z) 1 for z B(, 1), we see that g(z) 1, for < z < 1 (1) z Now for any z 1 B(, 1), we choose an r such that z 1 < r < 1 The function g(z) is analytic on the closed disk B(, r) := {z C : z r}
12 12 and g(z) 1 on the circle z = r, which is the boundary of B(, r) r Hence, by the MMP, g(z 1 ) 1 r (2) Then by taking the limit as r 1, one gets from (2) that g(z 1 ) = lim g(z 1 1) lim r 1 r 1 r = 1 (3) Hence, upon renaming z 1 as z (since z 1 was an arbitrary point in B(, 1)), we have g(z) 1 for all z < 1 (4) Therefore, f(z) z for < z < 1 The inequality clearly holds when z =, since f() = Thus, f(z) z for all z < 1, which gives (a) Recall that g() = f () Thus by (4), we also have f () = g() 1, which gives (b) Finally, if the equality in (b) holds (ie, f () = g() = 1) or the equality in (a) holds at some non-zero point in B(, 1) (which implies g(z) = 1 for some non-zero z B(, 1)), then together with (3), it follows g(z) attains its maximum value 1 at an interior point z B(, 1) Thus by MMP, g(z) is a constant function on B(, 1), ie, g(z) a = e iα on B(, 1) Note also that a = g(z ) = 1 Thus, f(z) az on B(, 1) \ {} with a = 1 Since f() =, the equality also holds at z = This finishes the proof of Schwarz s Lemma
NATIONAL UNIVERSITY OF SINGAPORE. Department of Mathematics. MA4247 Complex Analysis II. Lecture Notes Part IV
NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part IV Chapter 2. Further properties of analytic/holomorphic functions (continued) 2.4. The Open mapping
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 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 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 informationTopic 4 Notes Jeremy Orloff
Topic 4 Notes Jeremy Orloff 4 auchy s integral formula 4. Introduction auchy s theorem is a big theorem which we will use almost daily from here on out. Right away it will reveal a number of interesting
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 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 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 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 informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
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 informationRIEMANN MAPPING THEOREM
RIEMANN MAPPING THEOREM VED V. DATAR Recall that two domains are called conformally equivalent if there exists a holomorphic bijection from one to the other. This automatically implies that there is an
More informationf(w) f(a) = 1 2πi w a Proof. There exists a number r such that the disc D(a,r) is contained in I(γ). For any ǫ < r, w a dw
Proof[section] 5. Cauchy integral formula Theorem 5.. Suppose f is holomorphic inside and on a positively oriented curve. Then if a is a point inside, f(a) = w a dw. Proof. There exists a number r such
More informationComplex Analysis 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 informationTheorem [Mean Value Theorem for Harmonic Functions] Let u be harmonic on D(z 0, R). Then for any r (0, R), u(z 0 ) = 1 z z 0 r
2. A harmonic conjugate always exists locally: if u is a harmonic function in an open set U, then for any disk D(z 0, r) U, there is f, which is analytic in D(z 0, r) and satisfies that Re f u. Since such
More 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 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 informationProperties of Analytic Functions
Properties of Analytic Functions Generalizing Results to Analytic Functions In the last few sections, we completely described entire functions through the use of everywhere convergent power series. Our
More informationFuchsian groups. 2.1 Definitions and discreteness
2 Fuchsian groups In the previous chapter we introduced and studied the elements of Mob(H), which are the real Moebius transformations. In this chapter we focus the attention of special subgroups of this
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 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 informationPaul-Eugène Parent. March 12th, Department of Mathematics and Statistics University of Ottawa. MAT 3121: Complex Analysis I
Paul-Eugène Parent Department of Mathematics and Statistics University of Ottawa March 12th, 2014 Outline 1 Holomorphic power Series Proposition Let f (z) = a n (z z o ) n be the holomorphic function defined
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 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 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 informationMATH 311: COMPLEX ANALYSIS CONTOUR INTEGRALS LECTURE
MATH 3: COMPLEX ANALYSIS CONTOUR INTEGRALS LECTURE Recall the Residue Theorem: Let be a simple closed loop, traversed counterclockwise. Let f be a function that is analytic on and meromorphic inside. Then
More 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 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 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 informationNotes on Complex Analysis
Michael Papadimitrakis Notes on Complex Analysis Department of Mathematics University of Crete Contents The complex plane.. The complex plane...................................2 Argument and polar representation.........................
More informationComplex 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 informationINTEGRATION WORKSHOP 2004 COMPLEX ANALYSIS EXERCISES
INTEGRATION WORKSHOP 2004 COMPLEX ANALYSIS EXERCISES PHILIP FOTH 1. Cauchy s Formula and Cauchy s Theorem 1. Suppose that γ is a piecewise smooth positively ( counterclockwise ) oriented simple closed
More informationMath 411, Complex Analysis Definitions, Formulas and Theorems Winter y = sinα
Math 411, Complex Analysis Definitions, Formulas and Theorems Winter 014 Trigonometric Functions of Special Angles α, degrees α, radians sin α cos α tan α 0 0 0 1 0 30 π 6 45 π 4 1 3 1 3 1 y = sinα π 90,
More informationINDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Analysis Autumn 2012
INDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Analysis Autumn 2012 September 5, 2012 Mapping Properties Lecture 13 We shall once again return to the study of general behaviour of holomorphic functions
More informationChapter 1, Exercise 22
Chapter, Exercise 22 Let N = {,2,3,...} denote the set of positive integers. A subset S N is said to be in arithmetic progression if S = {a,a+d,a+2d,a+3d,...} where a,d N. Here d is called the step of
More information= 2 x y 2. (1)
COMPLEX ANALYSIS PART 5: HARMONIC FUNCTIONS A Let me start by asking you a question. Suppose that f is an analytic function so that the CR-equation f/ z = 0 is satisfied. Let us write u and v for the real
More 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 informationChapter 30 MSMYP1 Further Complex Variable Theory
Chapter 30 MSMYP Further Complex Variable Theory (30.) Multifunctions A multifunction is a function that may take many values at the same point. Clearly such functions are problematic for an analytic study,
More 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 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 informationExercises for Part 1
MATH200 Complex Analysis. Exercises for Part Exercises for Part The following exercises are provided for you to revise complex numbers. Exercise. Write the following expressions in the form x + iy, x,y
More 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 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 informationR- and C-Differentiability
Lecture 2 R- and C-Differentiability Let z = x + iy = (x,y ) be a point in C and f a function defined on a neighbourhood of z (e.g., on an open disk (z,r) for some r > ) with values in C. Write f (z) =
More informationCOMPLEX ANALYSIS Spring 2014
COMPLEX ANALYSIS Spring 24 Homework 4 Solutions Exercise Do and hand in exercise, Chapter 3, p. 4. Solution. The exercise states: Show that if a
More informationComplex Variables. Instructions Solve any eight of the following ten problems. Explain your reasoning in complete sentences to maximize credit.
Instructions Solve any eight of the following ten problems. Explain your reasoning in complete sentences to maximize credit. 1. The TI-89 calculator says, reasonably enough, that x 1) 1/3 1 ) 3 = 8. lim
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
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 informationCONSEQUENCES OF POWER SERIES REPRESENTATION
CONSEQUENCES OF POWER SERIES REPRESENTATION 1. The Uniqueness Theorem Theorem 1.1 (Uniqueness). Let Ω C be a region, and consider two analytic functions f, g : Ω C. Suppose that S is a subset of Ω that
More informationIV.3. Zeros of an Analytic Function
IV.3. Zeros of an Analytic Function 1 IV.3. Zeros of an Analytic Function Note. We now explore factoring series in a way analogous to factoring a polynomial. Recall that if p is a polynomial with a zero
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 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 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 informationMATH5685 Assignment 3
MATH5685 Assignment 3 Due: Wednesday 3 October 1. The open unit disk is denoted D. Q1. Suppose that a n for all n. Show that (1 + a n) converges if and only if a n converges. [Hint: prove that ( N (1 +
More 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 informationComplex Analysis. Travis Dirle. December 4, 2016
Complex Analysis 2 Complex Analysis Travis Dirle December 4, 2016 2 Contents 1 Complex Numbers and Functions 1 2 Power Series 3 3 Analytic Functions 7 4 Logarithms and Branches 13 5 Complex Integration
More informationMTH 3102 Complex Variables Solutions: Practice Exam 2 Mar. 26, 2017
Name Last name, First name): MTH 31 omplex Variables Solutions: Practice Exam Mar. 6, 17 Exam Instructions: You have 1 hour & 1 minutes to complete the exam. There are a total of 7 problems. You must show
More informationPart IB Complex Analysis
Part IB Complex Analysis Theorems with proof Based on lectures by I. Smith Notes taken by Dexter Chua Lent 206 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More informationPlurisubharmonic Functions and Pseudoconvex Domains
Plurisubharmonic Functions and Pseudoconvex Domains Thomas Jackson June 8, 218 1 Introduction The purpose of this project is to give a brief background of basic complex analysis in several complex variables
More information1 Directional Derivatives and Differentiability
Wednesday, January 18, 2012 1 Directional Derivatives and Differentiability Let E R N, let f : E R and let x 0 E. Given a direction v R N, let L be the line through x 0 in the direction v, that is, L :=
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 informationSchwarz lemma and automorphisms of the disk
Chapter 2 Schwarz lemma and automorphisms of the disk 2.1 Schwarz lemma We denote the disk of radius 1 about 0 by the notation D, that is, D = {z C : z < 1}. Given θ R the rotation of angle θ about 0,
More information7 Asymptotics for Meromorphic Functions
Lecture G jacques@ucsd.edu 7 Asymptotics for Meromorphic Functions Hadamard s Theorem gives a broad description of the exponential growth of coefficients in power series, but the notion of exponential
More information9. Series representation for analytic functions
9. Series representation for analytic functions 9.. Power series. Definition: A power series is the formal expression S(z) := c n (z a) n, a, c i, i =,,, fixed, z C. () The n.th partial sum S n (z) is
More informationFunctions of a Complex Variable and Integral Transforms
Functions of a Complex Variable and Integral Transforms Department of Mathematics Zhou Lingjun Textbook Functions of Complex Analysis with Applications to Engineering and Science, 3rd Edition. A. D. Snider
More 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 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 informationu xx + u yy = 0. (5.1)
Chapter 5 Laplace Equation The following equation is called Laplace equation in two independent variables x, y: The non-homogeneous problem u xx + u yy =. (5.1) u xx + u yy = F, (5.) where F is a function
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 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 informationlim when the limit on the right exists, the improper integral is said to converge to that limit.
hapter 7 Applications of esidues - evaluation of definite and improper integrals occurring in real analysis and applied math - finding inverse Laplace transform by the methods of summing residues. 6. Evaluation
More informationMath 541 Fall 2008 Connectivity Transition from Math 453/503 to Math 541 Ross E. Staffeldt-August 2008
Math 541 Fall 2008 Connectivity Transition from Math 453/503 to Math 541 Ross E. Staffeldt-August 2008 Closed sets We have been operating at a fundamental level at which a topological space is a set together
More informationBernstein s analytic continuation of complex powers
(April 3, 20) Bernstein s analytic continuation of complex powers Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/. Analytic continuation of distributions 2. Statement of the theorems
More informationHere are brief notes about topics covered in class on complex numbers, focusing on what is not covered in the textbook.
Phys374, Spring 2008, Prof. Ted Jacobson Department of Physics, University of Maryland Complex numbers version 5/21/08 Here are brief notes about topics covered in class on complex numbers, focusing on
More 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 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 informationComplex Variables...Review Problems (Residue Calculus Comments)...Fall Initial Draft
Complex Variables........Review Problems Residue Calculus Comments)........Fall 22 Initial Draft ) Show that the singular point of fz) is a pole; determine its order m and its residue B: a) e 2z )/z 4,
More informationSynopsis of Complex Analysis. Ryan D. Reece
Synopsis of Complex Analysis Ryan D. Reece December 7, 2006 Chapter Complex Numbers. The Parts of a Complex Number A complex number, z, is an ordered pair of real numbers similar to the points in the real
More informationComplex Analysis Homework 9: Solutions
Complex Analysis Fall 2007 Homework 9: Solutions 3..4 (a) Let z C \ {ni : n Z}. Then /(n 2 + z 2 ) n /n 2 n 2 n n 2 + z 2. According to the it comparison test from calculus, the series n 2 + z 2 converges
More informationComplex Analysis Slide 9: Power Series
Complex Analysis Slide 9: Power Series MA201 Mathematics III Department of Mathematics IIT Guwahati August 2015 Complex Analysis Slide 9: Power Series 1 / 37 Learning Outcome of this Lecture We learn Sequence
More informationMath 715 Homework 1 Solutions
. [arrier, Krook and Pearson Section 2- Exercise ] Show that no purely real function can be analytic, unless it is a constant. onsider a function f(z) = u(x, y) + iv(x, y) where z = x + iy and where u
More informationIII.2. Analytic Functions
III.2. Analytic Functions 1 III.2. Analytic Functions Recall. When you hear analytic function, think power series representation! Definition. If G is an open set in C and f : G C, then f is differentiable
More 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 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 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 informationExercises for Part 1
MATH200 Complex Analysis. Exercises for Part Exercises for Part The following exercises are provided for you to revise complex numbers. Exercise. Write the following expressions in the form x+iy, x,y R:
More informationLecture 16 and 17 Application to Evaluation of Real Integrals. R a (f)η(γ; a)
Lecture 16 and 17 Application to Evaluation of Real Integrals Theorem 1 Residue theorem: Let Ω be a simply connected domain and A be an isolated subset of Ω. Suppose f : Ω\A C is a holomorphic function.
More informationNATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part I
NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Comple Analsis II Lecture Notes Part I Chapter 1 Preliminar results/review of Comple Analsis I These are more detailed notes for the results
More informationCharacterisation of Accumulation Points. Convergence in Metric Spaces. Characterisation of Closed Sets. Characterisation of Closed Sets
Convergence in Metric Spaces Functional Analysis Lecture 3: Convergence and Continuity in Metric Spaces Bengt Ove Turesson September 4, 2016 Suppose that (X, d) is a metric space. A sequence (x n ) X is
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 numbers, the exponential function, and factorization over C
Complex numbers, the exponential function, and factorization over C 1 Complex Numbers Recall that for every non-zero real number x, its square x 2 = x x is always positive. Consequently, R does not contain
More informationMATH 452. SAMPLE 3 SOLUTIONS May 3, (10 pts) Let f(x + iy) = u(x, y) + iv(x, y) be an analytic function. Show that u(x, y) is harmonic.
MATH 45 SAMPLE 3 SOLUTIONS May 3, 06. (0 pts) Let f(x + iy) = u(x, y) + iv(x, y) be an analytic function. Show that u(x, y) is harmonic. Because f is holomorphic, u and v satisfy the Cauchy-Riemann equations:
More informationComplex Analysis Topic: Singularities
Complex Analysis Topic: Singularities MA201 Mathematics III Department of Mathematics IIT Guwahati August 2015 Complex Analysis Topic: Singularities 1 / 15 Zeroes of Analytic Functions A point z 0 C is
More informationProblems for MATH-6300 Complex Analysis
Problems for MATH-63 Complex Analysis Gregor Kovačič December, 7 This list will change as the semester goes on. Please make sure you always have the newest version of it.. Prove the following Theorem For
More 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 informationPreliminary Exam 2018 Solutions to Morning Exam
Preliminary Exam 28 Solutions to Morning Exam Part I. Solve four of the following five problems. Problem. Consider the series n 2 (n log n) and n 2 (n(log n)2 ). Show that one converges and one diverges
More information1 Discussion on multi-valued functions
Week 3 notes, Math 7651 1 Discussion on multi-valued functions Log function : Note that if z is written in its polar representation: z = r e iθ, where r = z and θ = arg z, then log z log r + i θ + 2inπ
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 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 information