Theorem Let J and f be as in the previous theorem. Then for any w 0 Int(J), f(z) (z w 0 ) n+1

Size: px
Start display at page:

Download "Theorem Let J and f be as in the previous theorem. Then for any w 0 Int(J), f(z) (z w 0 ) n+1"

Transcription

1 (w) Second, since lim z w z w z w δ. Thus, i r δ, then z w =r (w) z w = (w), there exist δ, M > 0 such that (w) z w M i dz ML({ z w = r}) = M2πr, which tends to 0 as r 0. This shows that g = 2πi(w), which proves (3.2). Theorem Let and be as in the previous theorem. Then or any w 0 Int(), (w) = (w w 0 ) n 1 2πi (z w 0 ) n+1 dz, w w 0 < dist(w 0, ). (3.3) In particular, is analytic in Int(), and we have the ollowing Cauchy s Formula: (n) (w 0 ) = n! 2πi (z w 0 ) n+1 dz, w 0 Int(), n N {0}. (3.4) Proo. Fix w 0 Int(). Let R = dist(w 0, ) > 0. I w w 0 < R z w 0, then z w = (z w 0 ) (w w 0 ) = /(z w 0 ) 1 (w w 0 )/(z w 0 ) = z w 0 From (3.2) we see that, i w D(w 0, R), then w Int(), and For z, we have (w) = 1 2πi (w w 0 ) n (z w 0 ) n. (z w 0 ) n+1 (w w 0) n dz. (3.5) (z w 0 ) n+1 (w w 0) n w w 0 n R n+1. Since is compact and is continuous on, we have <. Since w w 0 < R, we have w w 0 n R n+1 <. Thus, (z w 0 (w w ) n+1 0 ) n converges uniormly on. This means that we may exchange the with in (3.5) to get (3.3). Thus, is analytic in Int(). Finally, since (n) (w 0 ) = n!a n i (w) = a n(w w 0 ) n near w 0, we get (3.4). Remark. I w 0 lies on the exterior o, then the right hand side o (3.4) is equal to 0 because the unction is holomorphic on Int(), and we may apply Cauchy s Theorem. (z w 0 ) n+1 Homework Compute e 3z γ dz or (i) γ = { z = 3} and (ii) γ = { z = 1}. (z 2) 3 46

2 Corollary I is holomorphic in an open set U, then is analytic in U. Moreover, is ininitely many times complex dierentiable, and or every z 0 U, = (n) (z 0 ) (z z 0 ) n, (3.6) n! holds or any z D(z 0, R), where R = i U = C; or R = dist(z 0, U) i U C. Proo. The irst statement ollows rom the previous theorem by choosing = { z z 0 = r} where r > 0 is such that D(z 0, r) U. Since is analytic, it is ininitely many times complex dierentiable. The previous theorem also shows that (3.6) holds or any z D(z 0, r). Since we may choose r to be arbitrarily close to R, we conclude that (3.6) holds or any z D(z 0, R). Theorem [Morera s Theorem] Suppose is continuous on a domain U, and satisies that or any closed curve γ in U, γ = 0. Then is analytic. Proo. Since U is connected, the assumption implies that has a primitive F in U. Such F is holomorphic, which is also analytic. So = F is also analytic in U. Remarks. 1. So ar we have seen that holomorphic is equivalent to analytic. Thus, i is complex dierentiable in an open set, then it is ininitely many times complex dierentiable in that set. This phenomena does not exist in Real Analysis. In the rest o this course, we will use the words analytic and holomorphic interchangeably. 2. The corollary tells us that the radius o the power series (n) (z 0 ) n! (z z 0 ) n is greater than or equal to dist(z 0, U) i U C. The equality may not hold since could be a restriction o a holomorphic unction deined on a bigger domain. I U = C, i.e., is an entire unction, then R = or any z 0. So we have = (n) (z 0 ) (z z 0 ) n, z 0, z C. n! 3. Recall the ormulas o Cauchy s Theorem and Cauchy s Formula (with certain conditions): = 0, 0 = n k=1 k, (n) (z 0 ) = n! 2πi dz. (z z 0 ) n+1 Theorem [Liouville s Theorem] Every bounded entire unction is constant. 47

3 Proo. Let be an entire unction. Suppose that there is M R such that M or any z C. Then or any z C and R > 0 (z) = 1 (w) 2πi (w z) 2 dw. w z =R (w) For w { w z = R}, = (w) (w z) 2 R 2 M R 2. Thus, (z) 1 M 1 L({ z w = R}) = 2π R2 2π M R 2 2πR = M R. Since this holds or any R > 0, we get (z) = 0 or any z C. Thus, is constant. Theorem [Fundamental Theorem o Algebra] Every non-constant complex polynomial has a zero in C. Proo. Let P (z) = a 0 + a 1 z + + a n z n be a non-constant polynomial with a n 0. Suppose P has no zero in C. Then Q(z) = 1/P (z) is holomorphic in C. We will show that Q is bounded on C. This requires a careul estimation. We ind that P (z) a n z n = 1 + a n 1 a n z a 0 z n 1, as z. Thus, as z, P (z), which implies that Q(z) 0. So there is R > 0 such Q(z) 1 i z > R. Since Q is continuous on the compact set D(0, R), it is bounded on this set. So there is M 0 > 0 such that Q(z) M 0 i z R. Let M = max{m 0, 1}. Then Q(z) M or any z C. So Q is a bounded entire unction. Applying Liouville s theorem, we see that Q is constant, which implies that P is constant, which is a contradiction. We may apply FTA to conclude that every polynomial can be actorized into C n k=1 (z z k). Suppose z 1 is a zero o P (z), then P (z) = P (z) P (z 1 ) = n a k (z k z1 k ) = (z z 1 ) k=0 n k=1 a k (z k 1 + z k 1 1 ) =: (z z 1 )Q(z). Note that Q is a polynomial o degree n 1. I deg(q) = 0, then Q is constant; i deg(q) 1, we may ind a zero o Q and actorize Q. The conclusion ollows rom an induction. Homework III, 7: 3 Additional problems: 1. Let be an entire unction. Suppose that there exists r > 0 such that r or every z C. Prove that is constant. 48

4 3.6 Dierentiability o the Logarithm Function Let U be an open set with 0 U. Recall that L(z) is called a branch o log z in U, i it is continuous in U, and satisies e L(z) = z or any z U. In this section, we will show that a branch o log z is not only continuous, but also holomorphic, and its derivative is the unction 1/z. Theorem Suppose is a primitive o 1/z in a domain U. Then there is some C C such that + C is a branch o log z in U. Proo. Let g(z) = e z. Then g is holomorphic in U. We compute g (z) = e (z) z e z 2 = e z 2 e z 2 = 0, z U. Since U is connected, g is constant C 0, which is not 0. Thus, e = C 0 z or any z U. Let C C be such that e C = 1/C 0. Then e +C = z in U. Since is holomorphic in U, + C is continuous in U, and so is a branch o log z in U. Theorem Let U C \ {0} be a simply connected domain. Then there is a branch o log z in U, which is a primitive o 1/z in U. Proo. Since 1/z is holomorphic in U, which has a primitive in U as U is simply connected. Let denote this primitive. From the above theorem, there is a constant C such that g := + C is a branch o log z. The g is what we need since g = = 1/z in U. Lemma I is a continuous unction on a domain U such that Z or every z U, then is constant. Proo. Let z 0 U and n 0 = (z 0 ) Z. Let A = 1 ({n 0 }) z 0. Since is continuous on U, A is relatively closed in U. On the other hand, since only takes integer values, A = 1 ((n 0 1/2, n 0 + 1/2)). Since is continuous on U, A is relatively open in U. Since U is connected, and A is not empty, we have A = U. So is constant n 0. Theorem I L is a branch o log z in an open set U C \ {0}, then L is a primitive o 1/z in U. Proo. Let z 0 U. Let r > 0 be such that D(z 0, r) U. Since D(z 0, r) is simply connected, rom Theorem 3.6.2, there is a branch M(z) o log z in D(z 0, r), which is a primitive o 1/z in that disc. Since L(z) and M(z) are both branches o log z in D(z 0, r), we ind that := (L(z) M(z))/(2πi) is an integer valued continuous unction on the disc. From the above lemma, is constant. So L = M = 1/z in D(z 0, r). Since z 0 U is arbitrary, we conclude that L is a primitive o 1/z in U. 49

5 Let be an analytic unction in an open set U, which does not take value 0. We say that g is a branch o log in U, i g is continuous and satisies that e g =. Note that i g is holomorphic, then e g g =, which gives g =. Following the above proos, we can prove that g is a primitive o ollowing the order below: 1. Suppose h is a primitive o in U. Then there is some C C such that h+c is a branch o log in U. For this statement, note that d e h(z) dz = eh(z) h (z) eh(z) (z) 2 = I U is a simply connected domain, then there exists a branch o log, which is also a primitive o. To prove this, we irst ind a primitive o, and then add a constant to it. 3. For general U, we restrict our attention to discs in U, which are simply connected domain, and prove that g is a primitive o on each discs. Homework. Chapter III, 6: 6. Additional problems. 1. Fix α C. The unction (1 + z) α in D(0, 1) is deined as e αl(z), where L is a branch o log(1 + z) that satisies L(0) = 0. Prove that (1 + z) α is holomorphic in D(0, 1), and where ( α n) was deined earlier. (1 + z) α = ( ) α z n, z D(0, 1), n 2. Let g be holomorphic in a simply connected domain U. Show that there is, which is holomorphic in U without zero, such that g = in U. 3.7 The Maximum Modulus Principle Theorem [Mean Value Theorem or Holomorphic Functions] Let be holomorphic on a closed disc D(z 0, r). Then (z 0 ) = 1 2π (z 0 + re iθ )dθ; 2π 0 (z 0 ) = 1 πr 2 dxdy. (3.7) z z 0 r 50

6 Proo. From Cauchy s Formula, (z 0 ) = 1 dz = 1 2π (z 0 + re iθ ) 2πi z z 0 =r z z 0 2πi 0 re iθ ire iθ dθ = 1 2π (z 0 + re iθ )dθ. 2π 0 This is also true i r is replaced by any s (0, r). Thus, 2πs(z 0 ) = Integrating s rom 0 to r, we get πr 2 (z 0 ) = 2π r 0 0 2π where in the last step we used rdrdθ = dxdy. 0 (z 0 + se iθ )sdθ, 0 s r. (z 0 + se iθ )sdsdθ = z z 0 r dxdy, Theorem [Maximum Modulus Principle or Holomorphic Functions] Let be holomorphic in a domain U. Suppose attains local maximum at some z 0 U, i.e., there is r > 0 such that (z 0 ) or any z D(z 0, r). Then is constant in U. Proo. First, we show that is constant on D(z 0, r). I not, there is z 1 D(z 0, r) such that (z 1 ) < (z 0 ). Let ε = (z 0 ) (z 1 ) > 0. Since is continuous, we may ind r 1 > 0 such that D(z 1, r 1 ) D(z 0, r) and (z 1 ) + ε/2 = (z 0 ) ε/2 or z D(z 1, r 1 ). Let D 0 = D(z 0, r) and D 1 = D(z 1, r 1 ). From (3.7), we get πr 2 (z 0 ) dxdy = dxdy + dxdy D 0 D 1 D 0 \D 1 ( (z 0 ) ε/2)dxdy + (z 0 ) dxdy = (z 0 ) dxdy ε D 1 D 0 \D 1 D 0 2 πr2 1 < πr 2 (z 0 ), which is a contradiction. Thus, is constant in D(z 0, r). Thus, is constant in D(z 0, r) by a homework problem. By uniqueness theorem, is constant in the entire domain U. Corollary Let U be a bounded domain and U be its closure. Suppose is a continuous on U, and holomorphic in U. Then there is z 0 U such that (z 0 ) or any z U. In short, the maximum o on U is attained at U. Proo. Since U is bounded, U is a compact set. Since is continuous on U, it attains its maximum at some w 0 U. I w 0 U, then the proo is done by taking z 0 = w 0. I w 0 U, then rom the above corollary, is constant in U. From the continuity, that is also constant in U. In this case, any z 0 U works. 51

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

Theorem [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

Theorem [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 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

f(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

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

Problem Set. Problems on Unordered Summation. Math 5323, Fall Februray 15, 2001 ANSWERS

Problem Set. Problems on Unordered Summation. Math 5323, Fall Februray 15, 2001 ANSWERS Problem Set Problems on Unordered Summation Math 5323, Fall 2001 Februray 15, 2001 ANSWERS i 1 Unordered Sums o Real Terms In calculus and real analysis, one deines the convergence o an ininite series

More information

. Then g is holomorphic and bounded in U. So z 0 is a removable singularity of g. Since f(z) = w 0 + 1

. Then g is holomorphic and bounded in U. So z 0 is a removable singularity of g. Since f(z) = w 0 + 1 Now we describe the behavior of f near an isolated singularity of each kind. We will always assume that z 0 is a singularity of f, and f is holomorphic on D(z 0, r) \ {z 0 }. Theorem 4.2.. z 0 is a removable

More 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

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

Properties of Analytic Functions

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

On Picard value problem of some difference polynomials

On Picard value problem of some difference polynomials Arab J Math 018 7:7 37 https://doiorg/101007/s40065-017-0189-x Arabian Journal o Mathematics Zinelâabidine Latreuch Benharrat Belaïdi On Picard value problem o some dierence polynomials Received: 4 April

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

8. THEOREM If the partial derivatives f x. and f y exist near (a, b) and are continuous at (a, b), then f is differentiable at (a, b).

8. THEOREM If the partial derivatives f x. and f y exist near (a, b) and are continuous at (a, b), then f is differentiable at (a, b). 8. THEOREM I the partial derivatives and eist near (a b) and are continuous at (a b) then is dierentiable at (a b). For a dierentiable unction o two variables z= ( ) we deine the dierentials d and d to

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

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

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

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

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

Solutions for Problem Set #4 due October 10, 2003 Dustin Cartwright

Solutions for Problem Set #4 due October 10, 2003 Dustin Cartwright Solutions for Problem Set #4 due October 1, 3 Dustin Cartwright (B&N 4.3) Evaluate C f where f(z) 1/z as in Example, and C is given by z(t) sin t + i cos t, t π. Why is the result different from that of

More information

FINAL EXAM MATH 220A, UCSD, AUTUMN 14. You have three hours.

FINAL EXAM MATH 220A, UCSD, AUTUMN 14. You have three hours. FINAL EXAM MATH 220A, UCSD, AUTUMN 4 You have three hours. Problem Points Score There are 6 problems, and the total number of points is 00. Show all your work. Please make your work as clear and easy to

More 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

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

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

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

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

Properties of Entire Functions

Properties of Entire Functions Properties of Entire Functions Generalizing Results to Entire Functions Our main goal is still to show that every entire function can be represented as an everywhere convergent power series in z. So far

More information

Telescoping Decomposition Method for Solving First Order Nonlinear Differential Equations

Telescoping Decomposition Method for Solving First Order Nonlinear Differential Equations Telescoping Decomposition Method or Solving First Order Nonlinear Dierential Equations 1 Mohammed Al-Reai 2 Maysem Abu-Dalu 3 Ahmed Al-Rawashdeh Abstract The Telescoping Decomposition Method TDM is a new

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

Review of Prerequisite Skills for Unit # 2 (Derivatives) U2L2: Sec.2.1 The Derivative Function

Review of Prerequisite Skills for Unit # 2 (Derivatives) U2L2: Sec.2.1 The Derivative Function UL1: Review o Prerequisite Skills or Unit # (Derivatives) Working with the properties o exponents Simpliying radical expressions Finding the slopes o parallel and perpendicular lines Simpliying rational

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

RIEMANN MAPPING THEOREM

RIEMANN MAPPING THEOREM RIEMANN MAPPING THEOREM VED V. DATAR Recall that two domains are called conformally equivalent if there exists a holomorphic bijection from one to the other. This automatically implies that there is an

More information

Topic 4 Notes Jeremy Orloff

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

Math Homework 2

Math Homework 2 Math 73 Homework Due: September 8, 6 Suppose that f is holomorphic in a region Ω, ie an open connected set Prove that in any of the following cases (a) R(f) is constant; (b) I(f) is constant; (c) f is

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

Ma 4121: Introduction to Lebesgue Integration Solutions to Homework Assignment 6

Ma 4121: Introduction to Lebesgue Integration Solutions to Homework Assignment 6 Ma 4: Introduction to Lebesgue Integration Solutions to Homework Assignment 6 Pro. Wickerhauser Due Thursda, April 5th, 3 Please return our solutions to the instructor b the end o class on the due date.

More information

Math 411, Complex Analysis Definitions, Formulas and Theorems Winter y = sinα

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

Math 220A Homework 4 Solutions

Math 220A Homework 4 Solutions Math 220A Homework 4 Solutions Jim Agler 26. (# pg. 73 Conway). Prove the assertion made in Proposition 2. (pg. 68) that g is continuous. Solution. We wish to show that if g : [a, b] [c, d] C is a continuous

More information

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

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

CONSEQUENCES OF POWER SERIES REPRESENTATION

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

( x) f = where P and Q are polynomials.

( x) f = where P and Q are polynomials. 9.8 Graphing Rational Functions Lets begin with a deinition. Deinition: Rational Function A rational unction is a unction o the orm ( ) ( ) ( ) P where P and Q are polynomials. Q An eample o a simple rational

More information

COMPLEX ANALYSIS Spring 2014

COMPLEX ANALYSIS Spring 2014 COMPLEX ANALYSIS Spring 204 Cauchy and Runge Under the Same Roof. These notes can be used as an alternative to Section 5.5 of Chapter 2 in the textbook. They assume the theorem on winding numbers of the

More 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

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

Supplementary material for Continuous-action planning for discounted infinite-horizon nonlinear optimal control with Lipschitz values

Supplementary material for Continuous-action planning for discounted infinite-horizon nonlinear optimal control with Lipschitz values Supplementary material or Continuous-action planning or discounted ininite-horizon nonlinear optimal control with Lipschitz values List o main notations x, X, u, U state, state space, action, action space,

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

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

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

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

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

Considering 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 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

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

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

Complex Analysis. Travis Dirle. December 4, 2016

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

9.3 Graphing Functions by Plotting Points, The Domain and Range of Functions

9.3 Graphing Functions by Plotting Points, The Domain and Range of Functions 9. Graphing Functions by Plotting Points, The Domain and Range o Functions Now that we have a basic idea o what unctions are and how to deal with them, we would like to start talking about the graph o

More information

INTEGRATION WORKSHOP 2004 COMPLEX ANALYSIS EXERCISES

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

Numerical Methods - Lecture 2. Numerical Methods. Lecture 2. Analysis of errors in numerical methods

Numerical Methods - Lecture 2. Numerical Methods. Lecture 2. Analysis of errors in numerical methods Numerical Methods - Lecture 1 Numerical Methods Lecture. Analysis o errors in numerical methods Numerical Methods - Lecture Why represent numbers in loating point ormat? Eample 1. How a number 56.78 can

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

IV.3. Zeros of an Analytic Function

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

Math Review and Lessons in Calculus

Math Review and Lessons in Calculus Math Review and Lessons in Calculus Agenda Rules o Eponents Functions Inverses Limits Calculus Rules o Eponents 0 Zero Eponent Rule a * b ab Product Rule * 3 5 a / b a-b Quotient Rule 5 / 3 -a / a Negative

More information

Complex Analysis Homework 9: Solutions

Complex Analysis Homework 9: Solutions Complex Analysis Fall 2007 Homework 9: Solutions 3..4 (a) Let z C \ {ni : n Z}. Then /(n 2 + z 2 ) n /n 2 n 2 n n 2 + z 2. According to the it comparison test from calculus, the series n 2 + z 2 converges

More information

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

INDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Analysis Autumn 2012

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

FIXED POINTS OF RENORMALIZATION.

FIXED POINTS OF RENORMALIZATION. FIXED POINTS OF RENORMALIZATION. XAVIER BUFF Abstract. To study the geometry o a Fibonacci map o even degree l 4, Lyubich [Ly2] deined a notion o generalized renormalization, so that is renormalizable

More information

VALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS

VALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS VALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Recall that or prevarieties, we had criteria or being a variety or or being complete in terms o existence and uniqueness o limits, where

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

Outline. Approximate sampling theorem (AST) recall Lecture 1. P. L. Butzer, G. Schmeisser, R. L. Stens

Outline. Approximate sampling theorem (AST) recall Lecture 1. P. L. Butzer, G. Schmeisser, R. L. Stens Outline Basic relations valid or the Bernstein space B and their extensions to unctions rom larger spaces in terms o their distances rom B Part 3: Distance unctional approach o Part applied to undamental

More information

1 Relative degree and local normal forms

1 Relative degree and local normal forms THE ZERO DYNAMICS OF A NONLINEAR SYSTEM 1 Relative degree and local normal orms The purpose o this Section is to show how single-input single-output nonlinear systems can be locally given, by means o a

More information

Cauchy Integral Formula Consequences

Cauchy Integral Formula Consequences Cauchy Integral Formula Consequences Monday, October 28, 2013 1:59 PM Homework 3 due November 15, 2013 at 5 PM. Last time we derived Cauchy's Integral Formula, which we will present in somewhat generalized

More information

l(y j ) = 0 for all y j (1)

l(y j ) = 0 for all y j (1) Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that

More information

Spring Abstract Rigorous development of theory of functions. Topology of plane, complex integration, singularities, conformal mapping.

Spring Abstract Rigorous development of theory of functions. Topology of plane, complex integration, singularities, conformal mapping. MTH 562 Complex Analysis Spring 2007 Abstract Rigorous development of theory of functions. Topology of plane, complex integration, singularities, conformal mapping. Complex Numbers Definition. We define

More information

Problem Set 5 Solution Set

Problem Set 5 Solution Set Problem Set 5 Solution Set Anthony Varilly Math 113: Complex Analysis, Fall 2002 1. (a) Let g(z) be a holomorphic function in a neighbourhood of z = a. Suppose that g(a) = 0. Prove that g(z)/(z a) extends

More information

VALUATIVE CRITERIA BRIAN OSSERMAN

VALUATIVE CRITERIA BRIAN OSSERMAN VALUATIVE CRITERIA BRIAN OSSERMAN Intuitively, one can think o separatedness as (a relative version o) uniqueness o limits, and properness as (a relative version o) existence o (unique) limits. It is not

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

Math 520a - Final take home exam - solutions

Math 520a - Final take home exam - solutions Math 52a - Final take home exam - solutions 1. Let f(z) be entire. Prove that f has finite order if and only if f has finite order and that when they have finite order their orders are the same. Solution:

More information

Analytic continuation in several complex variables

Analytic continuation in several complex variables Analytic continuation in several complex variables An M.S. Thesis Submitted, in partial ulillment o the requirements or the award o the degree o Master o Science in the Faculty o Science, by Chandan Biswas

More information

THE RESIDUE THEOREM. f(z) dz = 2πi res z=z0 f(z). C

THE RESIDUE THEOREM. f(z) dz = 2πi res z=z0 f(z). C THE RESIDUE THEOREM ontents 1. The Residue Formula 1 2. Applications and corollaries of the residue formula 2 3. ontour integration over more general curves 5 4. Defining the logarithm 7 Now that we have

More information

MA30056: Complex Analysis. Exercise Sheet 7: Applications and Sequences of Complex Functions

MA30056: Complex Analysis. Exercise Sheet 7: Applications and Sequences of Complex Functions MA30056: Complex Analysis Exercise Sheet 7: Applications and Sequences of Complex Functions Please hand solutions in at the lecture on Monday 6th March..) Prove Gauss Fundamental Theorem of Algebra. Hint:

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

MATH 215A NOTES MOOR XU NOTES FROM A COURSE BY KANNAN SOUNDARARAJAN

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

Journal of Mathematical Analysis and Applications

Journal of Mathematical Analysis and Applications J. Math. Anal. Appl. 377 20 44 449 Contents lists available at ScienceDirect Journal o Mathematical Analysis and Applications www.elsevier.com/locate/jmaa Value sharing results or shits o meromorphic unctions

More information

Lab on Taylor Polynomials. This Lab is accompanied by an Answer Sheet that you are to complete and turn in to your instructor.

Lab on Taylor Polynomials. This Lab is accompanied by an Answer Sheet that you are to complete and turn in to your instructor. Lab on Taylor Polynomials This Lab is accompanied by an Answer Sheet that you are to complete and turn in to your instructor. In this Lab we will approimate complicated unctions by simple unctions. The

More information

Statistical Mechanics and Combinatorics : Lecture II

Statistical Mechanics and Combinatorics : Lecture II Statistical Mechanics and Combinatorics : Lecture II Kircho s matrix-tree theorem Deinition (Spanning tree) A subgraph T o a graph G(V, E) is a spanning tree i it is a tree that contains every vertex in

More information

ELEG 3143 Probability & Stochastic Process Ch. 4 Multiple Random Variables

ELEG 3143 Probability & Stochastic Process Ch. 4 Multiple Random Variables Department o Electrical Engineering University o Arkansas ELEG 3143 Probability & Stochastic Process Ch. 4 Multiple Random Variables Dr. Jingxian Wu wuj@uark.edu OUTLINE 2 Two discrete random variables

More information

HOMEWORK ASSIGNMENT 6

HOMEWORK ASSIGNMENT 6 HOMEWORK ASSIGNMENT 6 DUE 15 MARCH, 2016 1) Suppose f, g : A R are uniformly continuous on A. Show that f + g is uniformly continuous on A. Solution First we note: In order to show that f + g is uniformly

More information

GROWTH PROPERTIES OF COMPOSITE ANALYTIC FUNCTIONS OF SEVERAL COMPLEX VARIABLES IN UNIT POLYDISC FROM THE VIEW POINT OF THEIR NEVANLINNA L -ORDERS

GROWTH PROPERTIES OF COMPOSITE ANALYTIC FUNCTIONS OF SEVERAL COMPLEX VARIABLES IN UNIT POLYDISC FROM THE VIEW POINT OF THEIR NEVANLINNA L -ORDERS Palestine Journal o Mathematics Vol 8209 346 352 Palestine Polytechnic University-PPU 209 GROWTH PROPERTIES OF COMPOSITE ANALYTIC FUNCTIONS OF SEVERAL COMPLEX VARIABLES IN UNIT POLYDISC FROM THE VIEW POINT

More information

Paul-Eugène Parent. March 12th, Department of Mathematics and Statistics University of Ottawa. MAT 3121: Complex Analysis I

Paul-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 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

CLASS NOTES MATH 527 (SPRING 2011) WEEK 6

CLASS NOTES MATH 527 (SPRING 2011) WEEK 6 CLASS NOTES MATH 527 (SPRING 2011) WEEK 6 BERTRAND GUILLOU 1. Mon, Feb. 21 Note that since we have C() = X A C (A) and the inclusion A C (A) at time 0 is a coibration, it ollows that the pushout map i

More information

Journal of Mathematical Analysis and Applications

Journal of Mathematical Analysis and Applications J. Math. Anal. Appl. 352 2009) 739 748 Contents lists available at ScienceDirect Journal o Mathematical Analysis Applications www.elsevier.com/locate/jmaa The growth, oscillation ixed points o solutions

More information

f(w) w z =R z a 0 a n a nz n Liouville s theorem, we see that Q is constant, which implies that P is constant, which is a contradiction.

f(w) w z =R z a 0 a n a nz n Liouville s theorem, we see that Q is constant, which implies that P is constant, which is a contradiction. Theorem 3.6.4. [Liouville s Theorem] Every bouded etire fuctio is costat. Proof. Let f be a etire fuctio. Suppose that there is M R such that M for ay z C. The for ay z C ad R > 0 f (z) f(w) 2πi (w z)

More information

Math Final Exam.

Math Final Exam. Math 106 - Final Exam. This is a closed book exam. No calculators are allowed. The exam consists of 8 questions worth 100 points. Good luck! Name: Acknowledgment and acceptance of honor code: Signature:

More information

Answer Key-Math 11- Optional Review Homework For Exam 2

Answer Key-Math 11- Optional Review Homework For Exam 2 Answer Key-Math - Optional Review Homework For Eam 2. Compute the derivative or each o the ollowing unctions: Please do not simpliy your derivatives here. I simliied some, only in the case that you want

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

Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract)

Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract) Electronic Notes in Theoretical Computer Science 270 (1) (2011) 113 119 www.elsevier.com/locate/entcs Finite Dimensional Hilbert Spaces are Complete or Dagger Compact Closed Categories (Extended bstract)

More information

Solutions for Math 411 Assignment #10 1

Solutions for Math 411 Assignment #10 1 Solutions for Math 4 Assignment # AA. Compute the following integrals: a) + sin θ dθ cos x b) + x dx 4 Solution of a). Let z = e iθ. By the substitution = z + z ), sin θ = i z z ) and dθ = iz dz and Residue

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

Asymptote. 2 Problems 2 Methods

Asymptote. 2 Problems 2 Methods Asymptote Problems Methods Problems Assume we have the ollowing transer unction which has a zero at =, a pole at = and a pole at =. We are going to look at two problems: problem is where >> and problem

More information

= 2 x y 2. (1)

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