Functions of a Complex Variable and Integral Transforms
|
|
- Harold Summers
- 5 years ago
- Views:
Transcription
1 Functions of a Complex Variable and Integral Transforms Department of Mathematics Zhou Lingjun
2 Textbook Functions of Complex Analysis with Applications to Engineering and Science, 3rd Edition. A. D. Snider & E. B. Saff. References Complex Analysis, Third Edition, Lars V.Ahlfors
3 What is the course about? The main roles of this course are single variable functions which are defined on a set of complex numbers. We concentrate on a group of beautiful functions, which are called analytic functions. Using the property of analytic functions, many difficult problems can be solved. The integral transforms are based on the single complex variable functions, which are powerful tools to solve differential equations.
4 The History of Numbers Natural numbers are created to count. For fixed natural numbers m > n, the equation m + x = n will not have a solution in natural numbers. In order to solve such equations, the negative integers are introduced. For fixed integer n and nonzero integer m, the equation mx = n may not have a solution in integer numbers. In order to solve such equations, the rational numbers are introduced. For fixed positive rational number q, the equation x 2 = q may not have a solution in the rational numbers. In order to solve such equations, the real numbers are introduced. For fixed negative real number q, the equation x 2 = q will not have a solution in the real numbers. In order to solve such equations, the complex number are introduced.
5 Chapter 1 Complex Numbers
6 1.1 The Algebra of Complex Numbers
7 Introduction to Complex Numbers We call z = x + iy a complex number, where x, y are real numbers and i is a symbol of character. The real number x, y are called the real and imaginary parts of z, which are denoted as Re z and Im z respectively. Two complex numbers are equal iff Re z 1 = Re z 2 and Im z 1 = Im z 2. The set of all the complex numbers is denoted as C. We use the real number x to denote x + i0 in brief, in which sense the set of real numbers R can be regarded as a subset of the set C. We use iy to denote 0+iy in brief, which is called a pure imaginary number.
8 Fundamental Operations Addition and Multiplication: For z 1 = x 1 + iy 1, z 2 = x 2 + iy 2, we define z 1 + z 2 = (x 1 + x 2 ) + i(y 1 + y 2 ), z 1 z 2 = (x 1 x 2 y 1 y 2 ) + i(x 1 y 2 + x 2 y 1 ). The definition is natural, since i is treated as a symbol and i 2 is replaced by 1. For z = x+iy, denote z = ( x)+i( y) = ( 1)z, then z+( z) = 0. For z = x + iy 0, denote z 1 = x iy x 2 +y 2, then zz 1 = 1.
9 Subtraction and Division: For z 1, z 2 C, we define z 1 z 2 = z 1 + ( z 2 ). Moreover if z 2 0, we define z 1 z2 = z 1 z2 1. Operational Rules Commutative Law of Addition z 1 + z 2 = z 2 + z 1 Associative Law of Addition (z 1 + z 2 ) + z 3 = z 1 + (z 2 + z 3 ) Commutative Law of Multiplication z 1 z 2 = z 2 z 1 Associative Law of Multiplication (z 1 z 2 )z 3 = z 1 (z 2 z 3 ) Distributive Law (z 1 + z 2 )z 3 = z 1 z 3 + z 2 z 3 The complex number set C with the addition and multiplication defined above is a field.
10 1.2 Point Representation of Complex Numbers Each complex number z = x + iy can be associated a point (x, y) in the plane. For z = x + iy, we define z = x 2 + y 2, which is called the modulus (or absolute value or norm) of z. For x = x+iy, the complex conjugate of z is defined by z = x iy. z = z. z is real if and only if z = z.
11 Vectors and Polar Forms Vectors and Complex numbers: A complex number z = x + iy can be regarded as a vector. z can be expressed in Cartesian coordinate (x, y), or in terms of the polar coordinate (r, θ)
12 r = z. θ is determined up to an integer multiple of 2π. We call the value of any of these angles an argument of z, denoted Arg z. The argument lies in the interval ( π, π) is known as the principle value of the argument, denoted arg z. Polar Form: z = r(cos θ + sin θ). Triangle Inequality: z 1 z 2 z 1 + z 2 z 1 + z 2. z 1 z 2 = z 1 z 2, z 1 z2 = z 1 z 2. Arg (z 1 + z 2 ) = Arg z 1 + Arg z 2.
13 z = z, arg z = arg z. Re z z, Im z z. z 1 w z n w n z z n 2 w w n 2.
14 Powers and Roots For z and a positive integer n, we define z n = z z. }{{} For nonzero z and a positive integer n, we define z n = (z n ) 1. De Moivre Formula. If z = r(cos θ + sin θ) and n is an integer, then z n = r n (cos nθ + sin nθ). For nonzero z = r(cos θ + sin θ) and a positive integer nthe nth roots of z are given by the n complex numbers z k = n [ ) )] r cos + i sin, k = 0, 1,..., n 1. ( θ n + 2kπ n ( θ n + 2kπ n The roots form the vertices of a regular polygon. n
15 1.3 Planar Sets We call the set N δ (z 0 ) = {z z z 0 < δ} an open disk of z 0. A point z 0 is called an interior point of the set S, if there exists an open disk of z 0 which is contained in S. A set S is called an open set, if each point of S is an interior point of S. A point z 0 is called an exterior point of the set S, if z 0 is the interior point of S c (the complement set of S). A point z 0 is called a boundary point of the set S, if z 0 is neither an interior point nor an exterior point. The set of all boundary points of E is called the boundary of S, which is denoted by S. Denote S = S S, which is called the closure of S.
16 A open set D is called a domain (or region) if it is connected, which means each pair z 1, z 2 D can be joined by a polygonal path lying in D. In our lectures, we always use D to denote a domain without further interpretation. Theorem. Suppose u(x, y) is a real-valued function defined in a domain D. If the first partial derivatives of u satisfy u x = u y = 0 at all point of D, then u is a constant in D.
17 Contours A curve γ in domain D is the range of a continuous mapping z(t) from [a, b] to D. z(t) is called a parametrization of γ. A curve γ is said to be a smooth arc if it is the range of some continuous complex-valued function z = z(t), (a t b) that satisfies the following conditions: 1. z(t) has a continuous derivative on [a, b], 2. z (t) never vanishes on [a, b], 3. z(t) is one-to-one on [a, b]. A curve γ is called a smooth closed curve if it is the range of some continuous complex-valued function z = z(t), (a t b), satisfying conditions (1) and (2) and the following:
18 3. z(t) is one-to-one on [a, b), but z(b) = z(a) and z (b) = z (a). The phrase smooth curve means either a smooth arc or a smooth closed curve. A smooth arc is called a directed smooth arc if one of its endpoints is specified as the initial point. A smooth closed curve whose points have been ordered is called a directed smooth closed curve. The phrase directed smooth curve means either a directed smooth arc or a directed smooth closed curve. A contour Γ is either a single point z 0 or a finite sequence of directed smooth curve (γ 1, γ 2,..., γ n ) such that the terminal point of γ k coincides with the initial point of γ k+1 for each k = 1, 2,..., n 1. In this case one can write Γ = γ 1 + γ γ n.
19 Γ is said to be a closed contour or a loop if its initial and terminal points coincide. A simple closed contour is a closed contour with no multiple points other than its initial-terminal point. Jordan Curve Theorem. Any simple closed contour divides the plane into exactly two domains, each having the curve as its boundary. One of these domains, called the interior, is bounded and the other, called exterior is unbounded. The direction along a simple closed contour Γ can be completely specified by declaring its initial-terminal point and stating which domain lies to the left of an observer tracing out the points in order. When the interior domain lies to the left, we say that Γ is positively oriented. Otherwise Γ is said to be negatively oriented. A positively orientation generalizes the concept of counterclockwise motion.
20 Riemann Sphere and Stereographic Projection For each point A in the equatorial plane, we construct the line
21 passing through the the north pole N = (0, 0, 1) of the unit sphere and A. This line pierces the unit sphere in exactly one point P (A). For each point on the sphere other than the north pole N, we construct the line passing through these two points. This line pierces the equatorial plane in exactly one point. Therefore the map P, called stereographic projection, is a bijection from the equatorial plane to the unit sphere without the north pole. If we identify the equatorial plane as the complex plane, the unit sphere is call the Riemann sphere. N does not arise as the projection of any point of in the complex plane. However we find P 1 (z) tends to N as z. We set is the image of N under the stereographic projection, and the complex plane together with is called the extended complex plane, which is denoted by C.
22 1.4 Functions of a Complex Variable In this lecture, we usually consider a function w = f(z) defined on a subset of the complex plane C, and its range also lies in C. Let z = x + iy (x, y R), then f(z) can be written as f(z) = u(x, y) + iv(x, y), where u(x, y), v(x, y) are real-valued functions. Unlike the real variable function, we cannot draw a graph of a complex variable function, since both variable z and value w are located in a plane. We usually draw the z and w plane separately.
23 Chapter 2 Analytic Functions
24 2.1 Limits and continuity The definitions of limits and continuity in the sense of complex variable functions are the same as the relevant definitions in calculus. The properties of limits are also the same as the relevant properties in calculus. The function f(z) is continuous iff both u(x, y) and v(x, y), regarding as real variable functions, are continuous. A continuous complex variable function do not have more special properties than a continuous real variable function.
25 2.2 Analyticity Let f be a complex-valued function defined in a neighborhood of z 0. Then the derivative of f at z 0 is given by f (z 0 ) = lim z z0 f(z) f(z 0 ) z z 0, provided this limit exists. Such an f is said to be differentiable at z 0. The properties of derivatives are almost the same as the relevant properties in calculus, for example the chain rule. A function f is called analytic in a domain D C if it has a derivative at each point in D. If f(z) is analytic on the whole complex plane, then it is said to be entire.
26 The Cauchy-Riemann Equations Theorem 1. The necessary condition for a function f(z) = u(x, y)+ iv(x, y) to be differentiable at z 0 is that the Cauchy-Riemann e- quations hold at z 0. u x = v y, u y = v x Theorem 2. Let f be a complex-valued function defined in some open set G containing z 0. If the first partial derivatives of u and v exist in G, and satisfy the the Cauchy-Riemann equations at z 0, then f is differentiable at z 0. (The proof is highly involved.) Corollary. f is analytic in some region D if and only if u, v satisfy the Cauchy-Riemann equations in D.
27 2.4 The Elementary Functions 1. Exponential function. e z is an entire function, and (e z ) = e z. e z is periodic function, and the period is 2πi. e z 1e z 2 = e z 1+z 2. e z is one-to-one on each strip {x + iy : a < y < a + h, h < 2π}.
28 2. The Trigonometric Functions For z C, we define cos z = eiz + e iz, sin z = eiz e iz. 2 2i Most formulae for cos z and sin z hold in C. sin z and cos z are periodic functions, and the period is 2π. sin z and cos z are entire function, and (sin z) = cos z, (cos z) = sin z. sin z and cos z are boundless, that is to say that sin z 1, cos z 1 do not hold in C.
29 3. The Hyperbolic Functions For any z C, we define cosh z = ez + e z, sinh z = ez e z. 2 2 cosh 2 z sinh 2 z = 1. sinh z and cosh z are periodic functions, and the period is 2πi. sin z and cos z are entire function, and (sinh z) = cosh z, (cosh z) = sinh z. sin iz = i sinh z, sinh iz = i sin z, cos iz = cosh z, cosh iz = cos z.
30 4. The Logarithmic Function For any nonzeoro z C, we define Log z = log z + iarg z, log z = log z + i arg z. Log z is a multiple valued function, and it solves the equation e w = z with respect of w. log z is called the principal value of Log z. log z is analytic in C \ {Re z 0.}, and (log z) = 1 z. log z is not continuous in the set {Re z < 0.} Remark The formulae for log z for real variable do not always hold for complex variable. We should treat it very carefully.
31 5. Complex Powers For any nonzero z C and α C, we define z α = e αlog z. z α is usually a multiple valued function. When α is an integer, z α is single-valued and the definition above consists with the definition in Section 1.4. When α = p q (p Z, q N) is rational, z p q values, which are q-th root of z p. takes exactly q distinct
32 When α is irrational, z α takes infinity many values. In order to make z α be single-valued, we need to restrict Log z on a single-valued branch. For example we define the principal value of z α to be e α log z, then the principal value is analytic in C \ {Re z 0.}, and its derivative is αz α 1.
33 6. Inverse Trigonometric Functions The inverse trigonometric function can be interpreted as logs. Arcsin z = ilog [iz + (1 z 2 ) 1 2], Arccos z = ilog [z + (z 2 1) 1 2], Arctan z = i 2 Log i + z i z. We can obtain the principal value by choosing the principal values of both the square root and the logarithm.
34 2.5 Cauchy s Integral Theorem Definition Let f(z) = u(x, y) + iv(x, y) be a complex-valued function defined on the directed smooth curve γ, then we define complex integral of f along C as the following: γ f(z) dz = γ u dx v dy + i γ v dx + u dy. If γ is parameterized as z = z(t) (a t b), then the integral can be computed as the following: γ f(z) dz = b a f(z(t))z (t) dt.
35 Max-Length inequality: If f is continuous on the contour Γ, then γ f(z) dz γ f(z) ds length(γ) max γ f. Newton-Leibniz Axiom. Suppose that the function f(z) has an antiderivative F (z) throughout a domain D, i.e. F (z) = f(z) for each z D. Then for any contour Γ lying in D, with initial point z 1 and terminal point z 2, we have f(z) dz = F (z 2 ) F (z 1 ). γ Theorem. Let f be defined in a domain D. The following are equivalent: (1) f has an antiderivative in D.
36 (2) Every loop integral of f in D vanishes. (3) The contour integrals of f are independent of path in D. Indefinite Integral. Suppose that f is continuous in a domain D and the contour integrals of f are independent of path in D. Let F (z) be the integral of f along some contour Γ in D joining z 0 and z. Then F (z) is an antiderivative of f(z).
37 Cauchy s Integral Theorem In this section, we always assume that D is a bounded domain and its boundary D is the union of finite closed contours. The external boundary is always taken the positive orientation, while the internal boundary is taken the negative oriented, so
38 that D always lies to the left of an observer tracing along the boundary. Cauchy s Integral Thoerem. Suppose f is analytic in D and continuous up to and including its boundary, then f(z) dz = 0. D Proof. By using Green s theorem, one can find Ω f(z) dz = Ω u dx v dy + i = Ω ( u y + v ) x dxdy + i Ω Ω ( u x v y u dy + v dx ) dxdy. Therefore the result is led by the Cauchy-Riemann equations. Remark. In order to use Green s Theorem, u and v are required to have continuous partial derivatives. Actually it can be proved but the proof is quite involved.
39 A simply connected domain D is a domain having the following property: If Γ is any simple closed contour lying in D, then the domain interior to Γ lies wholly in D. Roughly speaking, a simply connected domain has no hole inside. Corollary 1. Suppose that f is analytic in a simply connected domain D and Γ is any loop in D, then f(z)dz = 0. Γ Corollary 2. In a simply connected domain, an analytic function has an antiderivative, its contour integrals are independent of path, and its loop integrals vanish.
40 2.6 Cauchy s Integral Formula and Its Consequences Cauchy s Integral Formula. Suppose that z 0 lies in an open domain D and f(z) is analytic in D and continuous up to and including its boundary, then f(z 0 ) = 1 2πi D f(z) z z 0 dz.
41 Proof. Let N ε (z 0 ) be a neighborhood lying in D. Using Cauchy integral theorem with the domain D\N ε (z 0 ) and the function f(z) z z, 0 one can see f(z) dz = 0. z z 0 (D\N ε (z 0 ))
42 On the other hand, since therefore (D\N ε (z 0 )) f(z) z z 0 dz = D D f(z) z z 0 dz = f(z) z z 0 dz N ε (z 0 ) N ε (z 0 ) f(z) z z 0 dz. f(z) z z 0 dz, Set z(θ) = z 0 + εe iθ (0 θ 2π), then N ε (z 0 ) f(z) z z 0 dz = 2π 0 f(εe iθ ) εe iθ εe iθ i dθ = Set ε 0, the continuity of f implies D f(z) z z 0 dz = 2πif(z 0 ). 2π 0 f(z 0 + εe iθ ) dθ.
43 Higher Derivatives. Suppose that z 0 lies in a open domain D and f(z) is analytic in D and continuous up to and including its boundary, then f (n) (z 0 ) = n! 2πi D f(z) (z z 0 ) n+1 dz. Proof. It is led by differentiating both sides of Cauchy integral formula with respect of z 0. Morera s Theorem. If f is continuous in a domain D and if each loop integral of f in D vanishes, then f is analytic in D.
44 2.7 Taylor Series Geometric Series. { z < 1}. The power series n=0 z n converges to 1 1 z if Comparison Test. Suppose that the terms c j satisfy the inequality c j M j for all integer j larger than some number J. Then if the series j=0 M j converges, so does j=0 c j. Ratio Test. Suppose that the terms of the series j=0 c j have the property that the ratios c j+1 /c j approach a limit L as j. Then the series converges if L < 1 and diverges if L > 1. Definition. The sequence {F n (z)} n=1 is said to converge uniformly to F (z) on the set T if for any ε > 0 there exists an integer N such that when n > N, F (z) F n (z) < ε for all z in T.
45 A power series is a series of the form and z 0 are fixed complex numbers. n=0 a n (z z 0 ) n, where a n For any power series n=0 a n (z z 0 ) n, there exists R > 0 (may be infinity), called the radius of convergence, such that (1)the series converges in { z z 0 < R}, and converges uniformly in any closed subset of the disk. (2)the series diverges in z z 0 > R. The convergence radius can be computed by the formula ) ( ) 1 1 n a R = a n = n+1, ( lim n if the limit exist. In general, R = ( lim n lim n n a n ) 1. a n
46 The convergence is uniform and absolute in every closed disc in D, that is to say the series can be differentiated and integrated termwise in D. A power series a n (z z 0 ) n is analytic in the convergence domain. n=0 If f is analytic in D r = { z z 0 < r}, then for all z D r, f can be uniquely expressed as the following series: f(z) = n=0 a n (z z 0 ) n, where a n = f (n) (z 0 ) n!. Such series is called Taylor series of f around z 0. Furthermore, the convergence of the series is uniform in any closed subset of D r.
47 Proof. For fixed positive ρ < r, by Cauchy integral formula, f(z) = 1 2πi w z 0 =ρ f(w) w z dw = 1 2πi w z 0 =ρ f(w) (w z 0 )(1 z z 0 w z ) dw. 0 Noting that z z 0 w z < 1, using the lemma above, integrating term 0 by term and using the formula for higher derivatives, we have f(z) = 1 ( ) f(w) n z z0 dw 2πi w z 0 w z 0 = = n=0 n=0 w z 0 =ρ 1 2πi w z 0 =ρ n=0 f (n) (z 0 ) (z z 0 ) n. n! f(w) (w z 0 ) dw n+1 (z z 0) n The uniqueness is following by differentiating both sides and valuing at z 0.
48 Remark. The theorem implies that the Taylor series will converge to f(z) everywhere inside the largest open disk, centered at z 0, over which f is analytic. Taylor series of some elementary functions. e z = cos z = sin z = z n n=0 n! = 1 + z + z2 2! + z3 3! +, z C, n=0 n=0 log(1 z) = ( 1) n (2n)! z2n = 1 z2 2! + z4 4! +, z C, ( 1) n+1 (2n + 1)! z2n+1 = z z3 3! + z5 5! +, z C, n=1 z n n = z z2 2 z3 3, z < 1. Again this is a remarkable property which is not shared by functions of real variables. A function need not have a convergent
49 Taylor series expansion even if it is infinitely differentiable. example, f(x) = e 1 x 2, x > 0, 0, x 0. For Theorem. If f is analytic at z 0, the Taylor series for f around z 0 can be obtained by termwise differentiation of the Taylor series for f around z 0 and converges in the same disk as the series for f. Historically, we call a function f(z) is analytic at z 0 if f(z) can be locally expressed as a power series f(z) = n=0 a n (z z 0 ) n around z 0. We now see analyticity is equivalent to differentiability.
50 Chapter 3 Isolated Singularities
51 3.1 Zeros and Singularities Zeros. A point z 0 is called a zero of order m for the analytic function f if f and its first m 1 derivatives vanish at z 0, but f (m) (z 0 ) 0. Assume that z 0 is a zero of order m of the analytic function f(z), then the Taylor series for f around z 0 takes the form f(z) = n=k a n (z z 0 ) n = (z z 0 ) k which implies the following proposition. n=0 a n+k (z z 0 ) n, Proposition. If z 0 is a zero for the analytic function f(z), then either f is identically zero in a neighborhood of z 0 or there is a punctured disk about z 0 in which f has no zeros.
52 By using the connectivity of D, we can obtain a stronger theorem. Theorem. If f is analytic in a domain D and z 0 is a zero for f, then either f is identically zero in D or there is a punctured disk about z 0 in which f has no zeros. That is to say the zeros for a nonconstant analytic function must be isolated. Corollary If f(z) and g(z) are analytic in D and f(z) = g(z) on a set which has an accumulation point in D, then f(z) identically equals to g(z). Singularity. A point is called a singularity of f(z), if f(z) fails to be analytic at this point. A singularity z 0 of f(z) is called isolated, if f(z) is analytic in some annulus {0 < z z 0 < ε}.
53 Example 1 0 is a isolated singularity of sin z z, 1 z or sin 1 z. Example 2 0 is a singularity of log z, but not isolated.
54 3.2 Laurent Series If f is analytic in the annulus D = {r < z z 0 < R}, then for each z D f(z) = + n= where the coefficients are given by c n = 1 2πi γ c n (z z 0 ) n, f(w) (w z 0 ) n+1dz and γ is any simply closed curve lying in D containing z 0 in its interior. This series is called Laurent series of f in the annulus D. Moreover such a series expansion is unique. Proof. For any z D, take ε > 0 such that z Ω = {r ε < z z 0 < R ε}. Since f is analytic in Ω and continuous in Ω,
55 using Cauchy integral formula, we find f(z) = 1 2πi Ω f(w) w z dw = 1 2πi w z 0 =R+ε f(w) w z dw 1 2πi w z 0 =r ε f(w) w z dw.
56 Noting that the following series hold for z Ω 1 w z = 1 w z 0 1 w z = 1 z z z z = 0 w z w z = 0 z z 0 n=0 n=1 the integral above can be rewritten as w z 0 =R+ε w z 0 =r ε f(w) w z dw = f(w) w z dw = n=0 n=1 (z z 0 ) n (w z 0 ) n+1, for w z 0 = R ε, (z z 0 ) n (w z 0 ) n 1 (z z 0 ) n, for w z 0 = r + ε, w z 0 =R+ε (z z 0 ) n w z 0 =r ε f(w) (w z 0 ) n+1 dw, f(w)(w z 0 ) n 1 dw.
57 Set one can see c n = 1 2πi w z 0 =R+ε 1 2πi w z 0 =r ε f(z) = f(w) dw, for n 0, (w z 0 ) n+1 f(w) dw, for n < 0, (w z 0 ) n+1 + n= c n (z z 0 ) n. Furthermore for any simple closed curve γ Ω, by Cauchy integral theorem, we have f(w) (w z 0 ) n+1 dw = f(w) (w z 0 ) n+1 dw = f(w) (w z 0 ) w z 0 =R+ε w z 0 =r ε γ n+1 dw. The uniqueness follows by dividing both sides of series by (z
58 z 0 ) n+1 and integrating along γ. Remark 1 The Laurent series of f depends on not only the center point z 0 but the annulus D, while the Taylor series only depends on the center point. Remark 2 It is usually very hard to compute the coefficients in Laurent series by integral. However we can use the formulae for Taylor series to get the coefficients in Laurent series, and it also gives us another way to compute the integrals. One of the significant results is residue theorem, which will be shown in the next chapter.
59 3.3 Three Types of Isolated Singularities Definition. If z 0 is an isolated singularity of f(z), then f(z) has a Laurent expansion as f(z) = + n= c n (z z 0 ) k in a punctured disc {0 < z z 0 < ε}. singularities into three categories. We classify the isolated (1) If a j = 0 for all j < 0, we say that z 0 is a removable singularity. (2) If a m 0 for some positive integer m but a j = 0 for all j < m, we say that z 0 is a pole of order m. (3) If a j 0 for an infinite number of negative values of j, we say that z 0 is an essential singularity of f.
60 Behavior near the isolated singularity. Let z 0 be an isolated singularity of f(z). (1) z 0 is removable iff lim z z0 f(z) exists finite. (2) z 0 is a pole iff lim z z0 f(z) =. (3) z 0 is an essential singularity iff lim z z0 f(z) does not exist. Theorem Let z 0 be an isolated singularity of f(z). (1) z 0 is removable iff f(z) is bounded in a punctured neighborhood of z 0. (2) z 0 is a pole of order m iff lim z z0 (z z 0 ) l f(z) = for all l < m, while (z z 0 ) m f(z) has a removable singularity at z 0. Picard s Theorem Let z 0 be an essential singularity of f(z) and U be any punctured neighborhood of z 0, then for any w C, except
61 perhaps one value, the equation f(z) = w has infinitely many solutions in U. That is to say that an analytic function assumes every complex number, with possibly one exception, as a value in any punctured neighborhood of an essential singularity. as a Singularity If there exist some R > 0 such that f(z) is analytic in the domain { z > R}, then is also called an isolated singularity of f(z). is called a removable singularity, pole or essential singularity of f(z) respectively, if 0 is a removable singularity, pole or essential singularity of f( 1 z ). Meromorphic Function A function f(z) which is analytic in D except for removable singularities and poles, is said to be meromorphic in D. That is to say a meromorphic function has no essential singularity.
62 A meromorphic function in D can be regarded as a mapping from D to Riemann sphere. Theorem f(z) is a meromorphic function in the extended complex plane C iff f(z) is a rational function.
63 3.4 The Residue Theorem Definition. If f has an isolated singularity at the point z 0, then the coefficient c 1 of (z z 0 ) 1 in the Laurent expansion for f around z 0 is called the residue of f(z) at z 0 and is denoted by Res(f, z 0 ). If f(z) has a removable singularity at z 0, Res(f, z 0 ) = 0. If f(z) = g(z) h(z) where g(z), h(z) are analytic at z 0, g(z 0 ) 0, h(z 0 ) = 0 and h (z 0 ) 0, then z 0 is a simple pole of f(z) and Res(f, z 0 ) = g(z 0) h (z 0 ). If f(z) has a pole of order k at z 0, then Res(f, z 0 ) = 1 (k 1)! lim z z 0 d k 1 dz k 1[(z z 0) k f(z)].
64 The residue plays an important role in the contour integration. If Γ is a simple closed positively oriented contour and f(z) is analytic on and inside Γ except for a single isolated singularity z 0 lying interior to Γ, then the integral f(z)dz = 2πiRes(f, z 0 ). In general, we have Γ Cauchy s Residue Theorem. If Γ is a simple closed positively oriented contour and f(z) is analytic on and inside Γ except at the points z 1,..., z n inside Γ, then the integral Γ f(z)dz = 2πi n j=1 Res(f, z j ). Proof. Let D be the interior of Γ and take the disjoint neighborhood B ε (z 1 ), B ε (z 2 ),..., B ε (z n ) in D like the figure,
65 and set Ω = D \ Γ f(z) dz = Ω n k=1 f(z) dz + B ε (z k ), then n k=1 B ε (z k ) f(z) dz = 2πi n k=1 Res (f, z k ). Residue at. If is an isolated singularity of f(z), i.e. there exists R > 0 such that f(z) is analytic in the annulus {R < z <
66 }, then the residue of f(z) at is defined by Res(f(z), ) = 1 2πi z =R f(z)dz. Remark. We take the minus sign in the definition, since lies outside the circle { z = R}. If we set w = 1 z then Res(f(z), ) = 1 2πi z =R f(z)dz = 1 2πi w = 1 R f( 1 w ) 1 w 2dw = Res(f( 1 w ) 1 w2, 0). Theorem. If f(z) has finite isolated singularities in the extended complex plane C, the sum of the residues of all the isolated singularities must be zero.
67 3.5 The Applications of Residue Theorem 1. Trigonometric Integrals over [0, 2π] The real integrals of the form 2π R(cos θ, sin θ)dθ 0 can be evaluated by the residue theorem, where R(cos θ, sin θ) is a rational function (with the real coefficients) of cos θ, sin θ and is finite over [0, 2π]. If we parametrize the unit circle by z = e iθ (0 θ 2π), we have the identities cos θ = 1 ( z + 1 ), sin θ = 1 ( z 1 ), dz = ie iθ dθ. 2 z 2i z
68 Therefore 2π R(cos θ, sin θ)dθ = 0 z 0 =1 [ ( 1 1 iz R 2 ( z + 1 ), 1 z 2i ( z 1 ))] dz. z
69 2. Improper Integrals of Certain Functions over (, + ) If P (x), Q(x) are polynomials satisfying deg P (x) deg Q(x) 2, and Q(x) has no real zero on (, + ), then + P (x) dx = 2πi Q(x) Im z 0 >0 Res P (z) Q(z), z 0.
70 3. Improper Integrals Involving Trigonometric Functions If P (x), Q(x) are polynomials satisfying deg P (x) deg Q(x) 1, and Q(x) has no zero on (, + ), then + + P (x) Q(x) P (x) Q(x) cos αx dx = Re 2πi Im z 0 >0 Res sin αx dx = sgn(α)im 2πi Im z 0 >0 ( ) P (z) Q(z) ei α z, z 0, Res ( ) P (z) Q(z) ei α z, z 0.
71 Chapter 4 The Applications of Analytic Functions
72 4.1 Harmonic Functions Definition. A real valued function u(x 1,..., x n ) of n real variables are called harmonic in D if u satisfies Laplace equation at each point of D. u def = 2 u x u x u x 2 n = 0 Remark. (x 1,..., x n ) must be the euclidean coordinate. Proposition. If f(z) is analytic in D, then both the real part u(x, y) and the imaginary part v(x, y) are harmonic in D. Given a function u(x, y) harmonic in an open disk D, then we can find another harmonic function v(x, y) so that u + iv is analytic in D. Such a function v is called a harmonic conjugate of u.
73 4.2 Bounds of Analytic Functions The Mean Value Property. Let f be analytic in a domain D and the disc { z z 0 r} be contained in D. Therefore f(z 0 ) = 1 2π 2π 0 f(z 0 + re iθ )dθ. The Maximum Modulus Principle. If f(z) is analytic and nonconstant in a domain D, then f(z) cannot achieve its maximum value in D. Cauchy inequalities. Let f(z) be analytic in a domain D and f(z) M for all z in the disc { z z 0 r} contained in D. Therefore for any nonnegative integer n, f (n) (z 0 ) n!m r n.
74 The proof can be obtained by using the inequality of integral. Liouville Theorem. constant function. The only bounded entire functions are the Proof. Assume that f(z) M for any z C, then by Cauchy inequalities f (z) M r for any z and positive r. Setting r +, we obtain f (z) = 0 which leads to the conclusion. The Fundamental Theorem of Algebra. Every nonconstant polynomial with complex coefficients has at least one zero. Picard Theorem. Let f(z) be an entire nonconstant function, then for any w C, except perhaps one value, the equation f(z) = w has at least one solution in C.
75 Applications to Harmonic Functions Theorem. Let u(x, y) be a harmonic function in a simply connected domain D. Then there exist another harmonic function v(x, y) so that f(z) = u + iv is analytic in D. Moreover v is unique up to addition a constant. The Mean Value Property. Let u be harmonic in a domain D and the disc { z z 0 r} be contained in D. Therefore u(x 0, y 0 ) = 1 2π 2π 0 u(x 0 + r cos θ, y 0 + r sin θ)dθ. The Maximum Principle. If u(x, y) is harmonic and nonconstant in a domain D, then u(x, y) can achieve neither maximum nor minimum in D.
76 Liouville Theorem. If u(x, y) is a bounded harmonic function in R 2, then u(x, y) must be a constant.
77 Chapter 5 Conformal Mappings
78 5.1 Geometric Considerations Definition. Assuming that f(z) is analytic at z 0, such a function f(z) is said to be conformal at z 0 if f (z 0 ) 0. A transformation w = f(z), defined in a domain D, is said to be a conformal transformation or conformal mapping, if it is conformal at each point in D. Proposition. If f(z) is conformal at z 0, then f(z) is a one-to-one mapping locally. Remark. f(z) may not be one-to-one globally even if f(z) is conformal mapping. For example, e z is conformal mapping in C, but it is not a one-to-one mapping. Preservation of angles Suppose that C 1, C 2 are two smooth curves passing through z 0 at which f(z) is conformal, and Γ 1 = f(c 1 ), Γ 2 =
79 f(c 2 ) are the image curves, then the angle from Γ 1 to Γ 2 is the same as the angle from C 1 to C 2, in sense as well as in size. arg f(z 0 ) is the rotation angle. Scale factors Any small line segment with one end point at z 0, where f(z) is conformal, is contracted or expanded in the ratio f (z 0 ) by the mapping. The Open Mapping Property. If f is nonconstant and analytic in a domain D, then its range f(d) is an open set.
80 Riemann Mapping Theorem. Let D be any simply connected domain in the plane other than the entire plane itself. Then there exists a one-to-one analytic function that maps D onto the open unit disk. Moreover, one can prescribe an arbitrary point of D and a direction through that point which are to be mapped to the origin and the direction of the positive real axis, respectively. Under such restrictions the mapping is unique. Remark. The Riemann mapping theorem is an existence theorem. The precise expression of the Riemann mapping can only be found for some special domains.
81 5.2 Möbius Transformations Definition. The transformation f(z) = az + b (a, b, c, d C, ad bc 0) cz + d is called a fractional linear transformation or Möbius transformation. Proposition. A composition of two Möbius transformations is a Möbius transform. An inverse transform of a Möbius transform is a Möbius transform. Proposition. A Möbius transformation can be regarded as a oneto-one conformal mapping to the extended complex plane onto itself. Proposition. A Möbius transformation can be written by the composition of three special transformations: (1) Translation
82 w = z + β; (2) Contraction and rotation w = Az; (3) Inversion w = 1 z. Circles in the extended complex plane We refer circles and lines as circles in the extended complex plane. The circle in the extended complex plane can be represented as the equation Az z + Bz + B z + C = 0 (A, C R, B 2 AC > 0). Circle-preserving Property. Any fractional linear transformation always maps a circle in the extended complex plane to another circle in the extended complex plane. Symmetric pair with respect to a circle. A couple of points z 1, z 2 are called a symmetric pair with respect to a circle C in the extended complex plane if any circle in the extended complex plane passing through z 1, z 2 is perpendicular to C.
83 Proposition Suppose that z 1, z 2 is a symmetric pair with respect to a circle C in the extended complex plane and f(z) is a Möbius transformation, then f(z 1 ), f(z 2 ) is a symmetric pair with respect to f(c).
84 5.3 Möbius Transformations, Continued Mapping the upper half plane onto the unit disc w = e iθ z λ z λ. Mapping the unit disc onto the unit disc w = e iθ z α 1 ᾱz. Mapping (z 1, z 2, z 3 ) to (w 1, w 2, w 3 ) z z 1 z z 2 : z 3 z 1 z 3 z 2 = w w 1 w w 2 : w 3 w 1 w 3 w 2.
85 Each side of the equation above is called the cross ratio.
86 5.4 The Schwarz-Christoffel Transformation Exponential Function e z is a conformal mapping in C. Power Function z n is a conformal mapping in C \ {0}.
87 Chapter 6 The Transforms of Applied Mathematics
88 6.1 The Fourier Transform Definition If f(x) is defined for all real x, then the integral + f(x)e iωx dx (1) is called Fourier transform of f(x), denoted as ˆf(ω) or F [f(x)]. The principle value of the integral 1 2π lim N N + N f(ω)e iωx dω (2) is called inverse Fourier transform of ˇf(ω), denoted by F 1 [f(ω)]. Remark The integral (1) converges for all f L 1 (R), where L 1 (R) = {f : R f dx < + }. Otherwise (1) may diverge.
89 Fourier Inversion Formula. If f L 1 (R) is continuous except for a finite number of jumps, then lim N + 1 2π N N ˆf(ω)e iωx dω = 1 (f(x + 0) + f(x 0)), 2 where f(x + 0), f(x 0) denote the left and right limits of f at x. Corollary For any f L 1 (R) C(R), f = F 1 (F (f)), where C(R is the set of all the continuous functions defined in R The Properties of Fourier Transform 1. Linearity F (l 1 f 1 + l 2 f 2 ) = l 1 F (f 1 ) + l 2 F (f 2 ). 2. Translation For any x 0 R, F (f(x x 0 )) = e iωx 0 ˆf(ω). 3. Scaling For any nonzero k R, F (f(kx)) = 1 k ˆf( ω k ). 4. Duality If f L 1 (R) C(R) and h(ω) = (f(x))ˆ, then ĥ(ω) = 2πf( ω).
90 5. Convolution Define the convolution of f 1, f 2 as f 1 f 2 (x) = + f 1 (x y)f 2 (y) dy, then F (f 1 f 2 ) = F (f 1 )F (f 2 ). 6. Differentiation If f, f L 1 (R), then F (f (x)) = iωf (f(x)). 7. Integration F ( x 0 f(τ) dτ) = 1 iω F (f).
91 6.2 The Laplace Transform Definition If f(t) is defined for t > 0, and the integral 0 f(t)e st dt (3) exists for some s, then the integral (3) is called Laplace transform of f(t), denoted as F (s) or L [f(t)]. Theorem (i) If the integral (3) converges for some real β, then (3) converges whenever Re s > β, and F (s) is analytic in {Re s > β}. (ii) If the integral (3) diverges for some real β, then (3) diverges whenever Re s < β. The Properties of Laplace Transform 1. Linearity L (l 1 f 1 + l 2 f 2 ) = l 1 L (f 1 ) + l 2 L (f 2 ).
92 2. Time scaling For any positive k, L (f(kt)) = 1 k L (f)(s k ). 3. Time shifting If f(t) = 0 holds for any negative t, then for any a > 0, L (f(t a)) = e as L (f)(s). 4. Frequency shifting L (e at f(t)) = L (f)(s a). 5. Convolution Define the convolution of f 1, f 2 as f 1 f 2 (t) = t 0 f 1 (t τ)f 2 (τ) dτ, then L (f 1 f 2 ) = L (f 1 )L (f 2 ). 6. Differentiation L (f (n) (t)) = s n L (f) s n 1 f(0) f (n 1) (0). 7. Integration L ( t 0 f(τ) dτ) = 1 s L (f). Theorem. For any rational function F (s) = P (s) satisfying deg P (s) < Q(s) deg Q(s), there exists a unique continuous function f(t) such that L (f(t)) = F (s), which is called inverse Laplace transform of F (s), denoted by L 1 (F (s)).
93 Proof. Since any rational function F (s) = P (s), satisfying deg P (s) < Q(s) deg Q(s), has a partial fraction decomposition we can set F (s) = f(t) = m n j=1 k=1 m n j=1 k=1 C jk (s s j ) k, t k 1 e s jt. We can use Laplace transform to solve linear ODEs (ordinary differential equations).
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 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 informationMath 185 Fall 2015, Sample Final Exam Solutions
Math 185 Fall 2015, Sample Final Exam Solutions Nikhil Srivastava December 12, 2015 1. True or false: (a) If f is analytic in the annulus A = {z : 1 < z < 2} then there exist functions g and h such that
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 information1. The COMPLEX PLANE AND ELEMENTARY FUNCTIONS: Complex numbers; stereographic projection; simple and multiple connectivity, elementary functions.
Complex Analysis Qualifying Examination 1 The COMPLEX PLANE AND ELEMENTARY FUNCTIONS: Complex numbers; stereographic projection; simple and multiple connectivity, elementary functions 2 ANALYTIC FUNCTIONS:
More 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 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 informationConformal maps. Lent 2019 COMPLEX METHODS G. Taylor. A star means optional and not necessarily harder.
Lent 29 COMPLEX METHODS G. Taylor A star means optional and not necessarily harder. Conformal maps. (i) Let f(z) = az + b, with ad bc. Where in C is f conformal? cz + d (ii) Let f(z) = z +. What are the
More informationLecture Notes Complex Analysis. Complex Variables and Applications 7th Edition Brown and Churchhill
Lecture Notes omplex Analysis based on omplex Variables and Applications 7th Edition Brown and hurchhill Yvette Fajardo-Lim, Ph.D. Department of Mathematics De La Salle University - Manila 2 ontents THE
More informationPart IB. Complex Analysis. Year
Part IB Complex Analysis Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section I 2A Complex Analysis or Complex Methods 7 (a) Show that w = log(z) is a conformal
More 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 informationComplex Analysis Important Concepts
Complex Analysis Important Concepts Travis Askham April 1, 2012 Contents 1 Complex Differentiation 2 1.1 Definition and Characterization.............................. 2 1.2 Examples..........................................
More informationPhysics 307. Mathematical Physics. Luis Anchordoqui. Wednesday, August 31, 16
Physics 307 Mathematical Physics Luis Anchordoqui 1 Bibliography L. A. Anchordoqui and T. C. Paul, ``Mathematical Models of Physics Problems (Nova Publishers, 2013) G. F. D. Duff and D. Naylor, ``Differential
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 informationComplex Analysis Math 185A, Winter 2010 Final: Solutions
Complex Analysis Math 85A, Winter 200 Final: Solutions. [25 pts] The Jacobian of two real-valued functions u(x, y), v(x, y) of (x, y) is defined by the determinant (u, v) J = (x, y) = u x u y v x v y.
More informationMATH 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 informationMATH COMPLEX ANALYSIS. Contents
MATH 3964 - OMPLEX ANALYSIS ANDREW TULLOH AND GILES GARDAM ontents 1. ontour Integration and auchy s Theorem 2 1.1. Analytic functions 2 1.2. ontour integration 3 1.3. auchy s theorem and extensions 3
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. 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 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 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 information(x 1, y 1 ) = (x 2, y 2 ) if and only if x 1 = x 2 and y 1 = y 2.
1. Complex numbers A complex number z is defined as an ordered pair z = (x, y), where x and y are a pair of real numbers. In usual notation, we write z = x + iy, where i is a symbol. The operations of
More informationSecond Midterm Exam Name: Practice Problems March 10, 2015
Math 160 1. Treibergs Second Midterm Exam Name: Practice Problems March 10, 015 1. Determine the singular points of the function and state why the function is analytic everywhere else: z 1 fz) = z + 1)z
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 informationINDEX. Bolzano-Weierstrass theorem, for sequences, boundary points, bounded functions, 142 bounded sets, 42 43
INDEX Abel s identity, 131 Abel s test, 131 132 Abel s theorem, 463 464 absolute convergence, 113 114 implication of conditional convergence, 114 absolute value, 7 reverse triangle inequality, 9 triangle
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 information6. Residue calculus. where C is any simple closed contour around z 0 and inside N ε.
6. Residue calculus Let z 0 be an isolated singularity of f(z), then there exists a certain deleted neighborhood N ε = {z : 0 < z z 0 < ε} such that f is analytic everywhere inside N ε. We define Res(f,
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 informationComplex Homework Summer 2014
omplex Homework Summer 24 Based on Brown hurchill 7th Edition June 2, 24 ontents hw, omplex Arithmetic, onjugates, Polar Form 2 2 hw2 nth roots, Domains, Functions 2 3 hw3 Images, Transformations 3 4 hw4
More informationComplex Variables & Integral Transforms
Complex Variables & Integral Transforms Notes taken by J.Pearson, from a S4 course at the U.Manchester. Lecture delivered by Dr.W.Parnell July 9, 007 Contents 1 Complex Variables 3 1.1 General Relations
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 informationMath 421 Midterm 2 review questions
Math 42 Midterm 2 review questions Paul Hacking November 7, 205 () Let U be an open set and f : U a continuous function. Let be a smooth curve contained in U, with endpoints α and β, oriented from α to
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 informationMTH4101 CALCULUS II REVISION NOTES. 1. COMPLEX NUMBERS (Thomas Appendix 7 + lecture notes) ax 2 + bx + c = 0. x = b ± b 2 4ac 2a. i = 1.
MTH4101 CALCULUS II REVISION NOTES 1. COMPLEX NUMBERS (Thomas Appendix 7 + lecture notes) 1.1 Introduction Types of numbers (natural, integers, rationals, reals) The need to solve quadratic equations:
More informationChapter 6: Residue Theory. Introduction. The Residue Theorem. 6.1 The Residue Theorem. 6.2 Trigonometric Integrals Over (0, 2π) Li, Yongzhao
Outline Chapter 6: Residue Theory Li, Yongzhao State Key Laboratory of Integrated Services Networks, Xidian University June 7, 2009 Introduction The Residue Theorem In the previous chapters, we have seen
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 informationNATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II
NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II Chapter 2 Further properties of analytic functions 21 Local/Global behavior of analytic functions;
More informationIII. Consequences of Cauchy s Theorem
MTH6 Complex Analysis 2009-0 Lecture Notes c Shaun Bullett 2009 III. Consequences of Cauchy s Theorem. Cauchy s formulae. Cauchy s Integral Formula Let f be holomorphic on and everywhere inside a simple
More informationSyllabus: for Complex variables
EE-2020, Spring 2009 p. 1/42 Syllabus: for omplex variables 1. Midterm, (4/27). 2. Introduction to Numerical PDE (4/30): [Ref.num]. 3. omplex variables: [Textbook]h.13-h.18. omplex numbers and functions,
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 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 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 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 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 informationEEE 203 COMPLEX CALCULUS JANUARY 02, α 1. a t b
Comple Analysis Parametric interval Curve 0 t z(t) ) 0 t α 0 t ( t α z α ( ) t a a t a+α 0 t a α z α 0 t a α z = z(t) γ a t b z = z( t) γ b t a = (γ, γ,..., γ n, γ n ) a t b = ( γ n, γ n,..., γ, γ ) b
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 informationMATH 566 LECTURE NOTES 4: ISOLATED SINGULARITIES AND THE RESIDUE THEOREM
MATH 566 LECTURE NOTES 4: ISOLATED SINGULARITIES AND THE RESIDUE THEOREM TSOGTGEREL GANTUMUR 1. Functions holomorphic on an annulus Let A = D R \D r be an annulus centered at 0 with 0 < r < R
More 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 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 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 informationINTEGRATION WORKSHOP 2003 COMPLEX ANALYSIS EXERCISES
INTEGRATION WORKSHOP 23 COMPLEX ANALYSIS EXERCISES DOUGLAS ULMER 1. Meromorphic functions on the Riemann sphere It s often useful to allow functions to take the value. This exercise outlines one way to
More information8 8 THE RIEMANN MAPPING THEOREM. 8.1 Simply Connected Surfaces
8 8 THE RIEMANN MAPPING THEOREM 8.1 Simply Connected Surfaces Our aim is to prove the Riemann Mapping Theorem which states that every simply connected Riemann surface R is conformally equivalent to D,
More informationComplex Analysis Math 147 Winter 2008
Complex Analysis Math 147 Winter 2008 Bernard Russo March 14, 2008 Contents 1 Monday January 7 Course information; complex numbers; Assignment 1 1 1.1 Course information................................
More informationThe Residue Theorem. Integration Methods over Closed Curves for Functions with Singularities
The Residue Theorem Integration Methods over losed urves for Functions with Singularities We have shown that if f(z) is analytic inside and on a closed curve, then f(z)dz = 0. We have also seen examples
More informationINTRODUCTION TO COMPLEX ANALYSIS W W L CHEN
INTRODUTION TO OMPLEX ANALYSIS W W L HEN c W W L hen, 986, 2008. This chapter originates from material used by the author at Imperial ollege, University of London, between 98 and 990. It is available free
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 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 informationEvaluation of integrals
Evaluation of certain contour integrals: Type I Type I: Integrals of the form 2π F (cos θ, sin θ) dθ If we take z = e iθ, then cos θ = 1 (z + 1 ), sin θ = 1 (z 1 dz ) and dθ = 2 z 2i z iz. Substituting
More informationMath 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 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 informationComplex Function. Chapter Complex Number. Contents
Chapter 6 Complex Function Contents 6. Complex Number 3 6.2 Elementary Functions 6.3 Function of Complex Variables, Limit and Derivatives 3 6.4 Analytic Functions and Their Derivatives 8 6.5 Line Integral
More informationPart IB Complex Methods
Part IB Complex Methods Based on lectures by R. E. Hunt Notes taken by Dexter Chua Lent 26 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after lectures.
More information4 Uniform convergence
4 Uniform convergence In the last few sections we have seen several functions which have been defined via series or integrals. We now want to develop tools that will allow us to show that these functions
More informationIV. Conformal Maps. 1. Geometric interpretation of differentiability. 2. Automorphisms of the Riemann sphere: Möbius transformations
MTH6111 Complex Analysis 2009-10 Lecture Notes c Shaun Bullett 2009 IV. Conformal Maps 1. Geometric interpretation of differentiability We saw from the definition of complex differentiability that if f
More 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 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 informationLecture 14 Conformal Mapping. 1 Conformality. 1.1 Preservation of angle. 1.2 Length and area. MATH-GA Complex Variables
Lecture 14 Conformal Mapping MATH-GA 2451.001 Complex Variables 1 Conformality 1.1 Preservation of angle The open mapping theorem tells us that an analytic function such that f (z 0 ) 0 maps a small neighborhood
More informationCOMPLEX ANALYSIS Notes Lent 2006
Department of Pure Mathematics and Mathematical Statistics University of Cambridge COMPLEX ANALYSIS Notes Lent 2006 T. K. Carne. t.k.carne@dpmms.cam.ac.uk c Copyright. Not for distribution outside Cambridge
More informationLECTURE-13 : GENERALIZED CAUCHY S THEOREM
LECTURE-3 : GENERALIZED CAUCHY S THEOREM VED V. DATAR The aim of this lecture to prove a general form of Cauchy s theorem applicable to multiply connected domains. We end with computations of some real
More 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 information1 Holomorphic functions
Robert Oeckl CA NOTES 1 15/09/2009 1 1 Holomorphic functions 11 The complex derivative The basic objects of complex analysis are the holomorphic functions These are functions that posses a complex derivative
More 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 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 informationClass test: week 10, 75 minutes. (30%) Final exam: April/May exam period, 3 hours (70%).
17-4-2013 12:55 c M. K. Warby MA3914 Complex variable methods and applications 0 1 MA3914 Complex variable methods and applications Lecture Notes by M.K. Warby in 2012/3 Department of Mathematical Sciences
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 information7.2 Conformal mappings
7.2 Conformal mappings Let f be an analytic function. At points where f (z) 0 such a map has the remarkable property that it is conformal. This means that angle is preserved (in the sense that any 2 smooth
More informationComplex Analysis Math 220C Spring 2008
Complex Analysis Math 220C Spring 2008 Bernard Russo June 2, 2008 Contents 1 Monday March 31, 2008 class cancelled due to the Master s travel plans 1 2 Wednesday April 2, 2008 Course information; Riemann
More informationExercises involving elementary functions
017:11:0:16:4:09 c M. K. Warby MA3614 Complex variable methods and applications 1 Exercises involving elementary functions 1. This question was in the class test in 016/7 and was worth 5 marks. a) Let
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 informationMATH 6322, COMPLEX ANALYSIS
Complex numbers: MATH 6322, COMPLEX ANALYSIS Motivating problem: you can write down equations which don t have solutions, like x 2 + = 0. Introduce a (formal) solution i, where i 2 =. Define the set C
More informationSelected Solutions To Problems in Complex Analysis
Selected Solutions To Problems in Complex Analysis E. Chernysh November 3, 6 Contents Page 8 Problem................................... Problem 4................................... Problem 5...................................
More informationMath 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 informationSpring 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 informationMAT665:ANALYTIC FUNCTION THEORY
MAT665:ANALYTIC FUNCTION THEORY DR. RITU AGARWAL MALAVIYA NATIONAL INSTITUTE OF TECHNOLOGY JAIPUR Contents 1. About 2 2. Complex Numbers 2 3. Fundamental inequalities 2 4. Continuously differentiable functions
More information18.04 Practice problems exam 2, Spring 2018 Solutions
8.04 Practice problems exam, Spring 08 Solutions Problem. Harmonic functions (a) Show u(x, y) = x 3 3xy + 3x 3y is harmonic and find a harmonic conjugate. It s easy to compute: u x = 3x 3y + 6x, u xx =
More informationPart II. Riemann Surfaces. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 96 Paper 2, Section II 23F State the uniformisation theorem. List without proof the Riemann surfaces which are uniformised
More informationMath 417 Midterm Exam Solutions Friday, July 9, 2010
Math 417 Midterm Exam Solutions Friday, July 9, 010 Solve any 4 of Problems 1 6 and 1 of Problems 7 8. Write your solutions in the booklet provided. If you attempt more than 5 problems, you must clearly
More informationLecture 1 The complex plane. z ± w z + w.
Lecture 1 The complex plane Exercise 1.1. Show that the modulus obeys the triangle inequality z ± w z + w. This allows us to make the complex plane into a metric space, and thus to introduce topological
More informationTMA4120, Matematikk 4K, Fall Date Section Topic HW Textbook problems Suppl. Answers. Sept 12 Aug 31/
TMA420, Matematikk 4K, Fall 206 LECTURE SCHEDULE AND ASSIGNMENTS Date Section Topic HW Textbook problems Suppl Answers Aug 22 6 Laplace transform 6:,7,2,2,22,23,25,26,4 A Sept 5 Aug 24/25 62-3 ODE, Heaviside
More informationComplex Analysis Qual Sheet
Complex Analysis Qual Sheet Robert Won Tricks and traps. traps. Basically all complex analysis qualifying exams are collections of tricks and - Jim Agler Useful facts. e z = 2. sin z = n=0 3. cos z = z
More informationComplex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm
Complex Analysis, Stein and Shakarchi Chapter 3 Meromorphic Functions and the Logarithm Yung-Hsiang Huang 217.11.5 Exercises 1. From the identity sin πz = eiπz e iπz 2i, it s easy to show its zeros are
More informationSolutions to practice problems for the final
Solutions to practice problems for the final Holomorphicity, Cauchy-Riemann equations, and Cauchy-Goursat theorem 1. (a) Show that there is a holomorphic function on Ω = {z z > 2} whose derivative is z
More information2. Complex Analytic Functions
2. Complex Analytic Functions John Douglas Moore July 6, 2011 Recall that if A and B are sets, a function f : A B is a rule which assigns to each element a A a unique element f(a) B. In this course, we
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 informationIntroduction to Complex Analysis
Introduction to Complex Analysis George Voutsadakis 1 1 Mathematics and Computer Science Lake Superior State University LSSU Math 413 George Voutsadakis (LSSU) Complex Analysis October 2014 1 / 67 Outline
More informationComplex Analysis I Miniquiz Collection July 17, 2017
Complex Analysis I Miniquiz Collection July 7, 207. Which of the two numbers is greater? (a) 7 or 0.7 (b) 3 8 or 0.3 2. What is the area A of a circular disk with radius? A = 3. Fill out the following
More information1 Complex Numbers. 1.1 Sums and Products
1 Complex Numbers 1.1 Sums Products Definition: The complex plane, denoted C is the set of all ordered pairs (x, y) with x, y R, where Re z = x is called the real part Imz = y is called the imaginary part.
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 informationMTH 3102 Complex Variables Final Exam May 1, :30pm-5:30pm, Skurla Hall, Room 106
Name (Last name, First name): MTH 02 omplex Variables Final Exam May, 207 :0pm-5:0pm, Skurla Hall, Room 06 Exam Instructions: You have hour & 50 minutes to complete the exam. There are a total of problems.
More informationLECTURE-15 : LOGARITHMS AND COMPLEX POWERS
LECTURE-5 : LOGARITHMS AND COMPLEX POWERS VED V. DATAR The purpose of this lecture is twofold - first, to characterize domains on which a holomorphic logarithm can be defined, and second, to show that
More information