A Concise Course in Complex Analysis and Riemann Surfaces Wilhelm Schlag
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
MATH 305 Complex Analysis, Spring 2016 Using Residues to Evaluate Improper Integrals Worksheet for Sections 78 and 79
MATH 305 Complex Analysis, Spring 2016 Using Residues to Evaluate Improper Integrals Worksheet for Sections 78 and 79 One of the interesting applications of Cauchy's Residue Theorem is to find exact values of real improper integrals. The idea is to integrate a complex rational function around a closed contour C that can be arbitrarily large. As the size of the contour becomes infinite, the piece in the complex plane (typically an arc of a circle) contributes 0 to the integral, while the part remaining covers the entire real axis (e.g., an improper integral from −∞ to 1). An Example Let us use residues to derive the formula p Z 1 x2 2 π 4 dx = : (1) 0 x + 1 4 Note the somewhat surprising appearance of π for the value of this integral. z2 First, let f(z) = and let C = L + C be the contour that consists of the line segment L z4 + 1 R R R on the real axis from −R to R, followed by the semi-circle CR of radius R traversed CCW (see figure below). Note that C is a positively oriented, simple, closed contour. We will assume that R > 1. Next, notice that f(z) has two singular points (simple poles) inside C. Call them z0 and z1, as shown in the figure. By Cauchy's Residue Theorem. we have I f(z) dz = 2πi Res f(z) + Res f(z) C z=z0 z=z1 On the other hand, we can parametrize the line segment LR by z = x; −R ≤ x ≤ R, so that I Z R x2 Z z2 f(z) dz = 4 dx + 4 dz; C −R x + 1 CR z + 1 since C = LR + CR. -
Topic 7 Notes 7 Taylor and Laurent Series
Topic 7 Notes Jeremy Orloff 7 Taylor and Laurent series 7.1 Introduction We originally defined an analytic function as one where the derivative, defined as a limit of ratios, existed. We went on to prove Cauchy's theorem and Cauchy's integral formula. These revealed some deep properties of analytic functions, e.g. the existence of derivatives of all orders. Our goal in this topic is to express analytic functions as infinite power series. This will lead us to Taylor series. When a complex function has an isolated singularity at a point we will replace Taylor series by Laurent series. Not surprisingly we will derive these series from Cauchy's integral formula. Although we come to power series representations after exploring other properties of analytic functions, they will be one of our main tools in understanding and computing with analytic functions. 7.2 Geometric series Having a detailed understanding of geometric series will enable us to use Cauchy's integral formula to understand power series representations of analytic functions. We start with the definition: Definition. A finite geometric series has one of the following (all equivalent) forms. 2 3 n Sn = a(1 + r + r + r + ::: + r ) = a + ar + ar2 + ar3 + ::: + arn n X = arj j=0 n X = a rj j=0 The number r is called the ratio of the geometric series because it is the ratio of consecutive terms of the series. Theorem. The sum of a finite geometric series is given by a(1 − rn+1) S = a(1 + r + r2 + r3 + ::: + rn) = : (1) n 1 − r Proof. -
A Very Short Survey on Boundary Behavior of Harmonic Functions
A VERY SHORT SURVEY ON BOUNDARY BEHAVIOR OF HARMONIC FUNCTIONS BLACK Abstract. This short expository paper aims to use Dirichlet boundary value problem to elab- orate on some of the interactions between complex analysis, potential theory, and harmonic analysis. In particular, I will outline Wiener's solution to the Dirichlet problem for a general planar domain using harmonic measure and prove some elementary results for Hardy spaces. 1. Introduction Definition 1.1. Let Ω Ă R2 be an open set. A function u P C2pΩ; Rq is called harmonic if B2u B2u (1.1) ∆u “ ` “ 0 on Ω: Bx2 By2 The notion of harmonic function can be generalized to any finite dimensional Euclidean space (or on (pseudo)Riemannian manifold), but the theory enjoys a qualitative difference in the planar case due to its relation to the magic properties of functions of one complex variable. Think of Ω Ă C (in this paper I will use R2 and C interchangeably when there is no confusion). Then the Laplace operator takes the form B B B 1 B B B 1 B B (1.2) ∆ “ 4 ; where “ ´ i and “ ` i : Bz¯ Bz Bz 2 Bx By Bz¯ 2 Bx By ˆ ˙ ˆ ˙ Let HolpΩq denote the space of holomorphic functions on Ω. It is easy to see that if f P HolpΩq, then both <f and =f are harmonic functions. Conversely, if u is harmonic on Ω and Ω is simply connected, we can construct a harmonic functionu ~, called the harmonic conjugate of u, via Hilbert transform (or more generally, B¨acklund transform), such that f “ u ` iu~ P HolpΩq. -
Chapter 16 Complex Analysis
Chapter 16 Complex Analysis The term \complex analysis" refers to the calculus of complex-valued functions f(z) depending on a complex variable z. On the surface, it may seem that this subject should merely be a simple reworking of standard real variable theory that you learned in ¯rst year calculus. However, this naijve ¯rst impression could not be further from the truth! Com- plex analysis is the culmination of a deep and far-ranging study of the fundamental notions of complex di®erentiation and complex integration, and has an elegance and beauty not found in the more familiar real arena. For instance, complex functions are always ana- lytic, meaning that they can be represented as convergent power series. As an immediate consequence, a complex function automatically has an in¯nite number of derivatives, and di±culties with degree of smoothness, strange discontinuities, delta functions, and other forms of pathological behavior of real functions never arise in the complex realm. There is a remarkable, profound connection between harmonic functions (solutions of the Laplace equation) of two variables and complex-valued functions. Namely, the real and imaginary parts of a complex analytic function are automatically harmonic. In this manner, complex functions provide a rich lode of new solutions to the two-dimensional Laplace equation to help solve boundary value problems. One of the most useful practical consequences arises from the elementary observation that the composition of two complex functions is also a complex function. We interpret this operation as a complex changes of variables, also known as a conformal mapping since it preserves angles. -
13 Elliptic Function
13 Elliptic Function Recall that a function g : C → Cˆ is an elliptic function if it is meromorphic and there exists a lattice L = {mω1 + nω2 | m, n ∈ Z} such that g(z + ω)= g(z) for all z ∈ C and all ω ∈ L where ω1,ω2 are complex numbers that are R-linearly independent. We have shown that an elliptic function cannot be holomorphic, the number of its poles are finite and the sum of their residues is zero. Lemma 13.1 A non-constant elliptic function f always has the same number of zeros mod- ulo its associated lattice L as it does poles, counting multiplicites of zeros and orders of poles. Proof: Consider the function f ′/f, which is also an elliptic function with associated lattice L. We will evaluate the sum of the residues of this function in two different ways as above. Then this sum is zero, and by the argument principle from complex analysis 31, it is precisely the number of zeros of f counting multiplicities minus the number of poles of f counting orders. Corollary 13.2 A non-constant elliptic function f always takes on every value in Cˆ the same number of times modulo L, counting multiplicities. Proof: Given a complex value b, consider the function f −b. This function is also an elliptic function, and one with the same poles as f. By Theorem above, it therefore has the same number of zeros as f. Thus, f must take on the value b as many times as it does 0. -
Math 336 Sample Problems
Math 336 Sample Problems One notebook sized page of notes will be allowed on the test. The test will cover up to section 2.6 in the text. 1. Suppose that v is the harmonic conjugate of u and u is the harmonic conjugate of v. Show that u and v must be constant. ∞ X 2 P∞ n 2. Suppose |an| converges. Prove that f(z) = 0 anz is analytic 0 Z 2π for |z| < 1. Compute lim |f(reit)|2dt. r→1 0 z − a 3. Let a be a complex number and suppose |a| < 1. Let f(z) = . 1 − az Prove the following statments. (a) |f(z)| < 1, if |z| < 1. (b) |f(z)| = 1, if |z| = 1. 2πij 4. Let zj = e n denote the n roots of unity. Let cj = |1 − zj| be the n − 1 chord lengths from 1 to the points zj, j = 1, . .n − 1. Prove n that the product c1 · c2 ··· cn−1 = n. Hint: Consider z − 1. 5. Let f(z) = x + i(x2 − y2). Find the points at which f is complex differentiable. Find the points at which f is complex analytic. 1 6. Find the Laurent series of the function z in the annulus D = {z : 2 < |z − 1| < ∞}. 1 Sample Problems 2 7. Using the calculus of residues, compute Z +∞ dx 4 −∞ 1 + x n p0(z) Y 8. Let f(z) = , where p(z) = (z −z ) and the z are distinct and zp(z) j j j=1 different from 0. Find all the poles of f and compute the residues of f at these poles. -
Nonintersecting Brownian Motions on the Unit Circle: Noncritical Cases
The Annals of Probability 2016, Vol. 44, No. 2, 1134–1211 DOI: 10.1214/14-AOP998 c Institute of Mathematical Statistics, 2016 NONINTERSECTING BROWNIAN MOTIONS ON THE UNIT CIRCLE By Karl Liechty and Dong Wang1 DePaul University and National University of Singapore We consider an ensemble of n nonintersecting Brownian particles on the unit circle with diffusion parameter n−1/2, which are condi- tioned to begin at the same point and to return to that point after time T , but otherwise not to intersect. There is a critical value of T which separates the subcritical case, in which it is vanishingly un- likely that the particles wrap around the circle, and the supercritical case, in which particles may wrap around the circle. In this paper, we show that in the subcritical and critical cases the probability that the total winding number is zero is almost surely 1 as n , and →∞ in the supercritical case that the distribution of the total winding number converges to the discrete normal distribution. We also give a streamlined approach to identifying the Pearcey and tacnode pro- cesses in scaling limits. The formula of the tacnode correlation kernel is new and involves a solution to a Lax system for the Painlev´e II equation of size 2 2. The proofs are based on the determinantal × structure of the ensemble, asymptotic results for the related system of discrete Gaussian orthogonal polynomials, and a formulation of the correlation kernel in terms of a double contour integral. 1. Introduction. The probability models of nonintersecting Brownian motions have been studied extensively in last decade; see Tracy and Widom (2004, 2006), Adler and van Moerbeke (2005), Adler, Orantin and van Moer- beke (2010), Delvaux, Kuijlaars and Zhang (2011), Johansson (2013), Ferrari and Vet˝o(2012), Katori and Tanemura (2007) and Schehr et al. -
THE S.V.D. of the POISSON KERNEL 1. Introduction This Paper
THE S.V.D. OF THE POISSON KERNEL GILES AUCHMUTY Abstract. The solution of the Dirichlet problem for the Laplacian on bounded regions N Ω in R , N 2 is generally described via a boundary integral operator with the Poisson kernel. Under≥ mild regularity conditions on the boundary, this operator is a compact 2 2 2 linear transformation of L (∂Ω,dσ) to LH (Ω) - the Bergman space of L harmonic functions on Ω. This paper describes the singular value decomposition (SVD)− of this operator and related results. The singular functions and singular values are constructed using Steklov eigenvalues and eigenfunctions of the biharmonic operator on Ω. These allow a spectral representation of the Bergman harmonic projection and the identification 2 of an orthonormal basis of the real harmonic Bergman space LH (Ω). A reproducing 2 2 kernel for LH (Ω) and an orthonormal basis of the space L (∂Ω,dσ) also are found. This enables the description of optimal finite rank approximations of the Poisson kernel with error estimates. Explicit spectral formulae for the normal derivatives of eigenfunctions for the Dirichlet Laplacian on ∂Ω are obtained and used to identify a constant in an inequality of Hassell and Tao. 1. Introduction This paper describes representation results for harmonic functions on a bounded region Ω in RN ; N 2. In particular a spectral representation of the Poisson kernel for solutions of the Dirichlet≥ problem for Laplace’s equation with L2 boundary data is described. This leads to an explicit description of the Reproducing− Kernel (RK) for 2 the harmonic Bergman space LH (Ω) and the singular value decomposition (SVD) of the Poisson kernel for the Laplacian. -
Genius Manual I
Genius Manual i Genius Manual Genius Manual ii Copyright © 1997-2016 Jiríˇ (George) Lebl Copyright © 2004 Kai Willadsen Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License (GFDL), Version 1.1 or any later version published by the Free Software Foundation with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. You can find a copy of the GFDL at this link or in the file COPYING-DOCS distributed with this manual. This manual is part of a collection of GNOME manuals distributed under the GFDL. If you want to distribute this manual separately from the collection, you can do so by adding a copy of the license to the manual, as described in section 6 of the license. Many of the names used by companies to distinguish their products and services are claimed as trademarks. Where those names appear in any GNOME documentation, and the members of the GNOME Documentation Project are made aware of those trademarks, then the names are in capital letters or initial capital letters. DOCUMENT AND MODIFIED VERSIONS OF THE DOCUMENT ARE PROVIDED UNDER THE TERMS OF THE GNU FREE DOCUMENTATION LICENSE WITH THE FURTHER UNDERSTANDING THAT: 1. DOCUMENT IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, WITHOUT LIMITATION, WARRANTIES THAT THE DOCUMENT OR MODIFIED VERSION OF THE DOCUMENT IS FREE OF DEFECTS MERCHANTABLE, FIT FOR A PARTICULAR PURPOSE OR NON-INFRINGING. THE ENTIRE RISK AS TO THE QUALITY, ACCURACY, AND PERFORMANCE OF THE DOCUMENT OR MODIFIED VERSION OF THE DOCUMENT IS WITH YOU. -
The Riemann Mapping Theorem Christopher J. Bishop
The Riemann Mapping Theorem Christopher J. Bishop C.J. Bishop, Mathematics Department, SUNY at Stony Brook, Stony Brook, NY 11794-3651 E-mail address: [email protected] 1991 Mathematics Subject Classification. Primary: 30C35, Secondary: 30C85, 30C62 Key words and phrases. numerical conformal mappings, Schwarz-Christoffel formula, hyperbolic 3-manifolds, Sullivan’s theorem, convex hulls, quasiconformal mappings, quasisymmetric mappings, medial axis, CRDT algorithm The author is partially supported by NSF Grant DMS 04-05578. Abstract. These are informal notes based on lectures I am giving in MAT 626 (Topics in Complex Analysis: the Riemann mapping theorem) during Fall 2008 at Stony Brook. We will start with brief introduction to conformal mapping focusing on the Schwarz-Christoffel formula and how to compute the unknown parameters. In later chapters we will fill in some of the details of results and proofs in geometric function theory and survey various numerical methods for computing conformal maps, including a method of my own using ideas from hyperbolic and computational geometry. Contents Chapter 1. Introduction to conformal mapping 1 1. Conformal and holomorphic maps 1 2. M¨obius transformations 16 3. The Schwarz-Christoffel Formula 20 4. Crowding 27 5. Power series of Schwarz-Christoffel maps 29 6. Harmonic measure and Brownian motion 39 7. The quasiconformal distance between polygons 48 8. Schwarz-Christoffel iterations and Davis’s method 56 Chapter 2. The Riemann mapping theorem 67 1. The hyperbolic metric 67 2. Schwarz’s lemma 69 3. The Poisson integral formula 71 4. A proof of Riemann’s theorem 73 5. Koebe’s method 74 6. -
Complex Analysis Class 24: Wednesday April 2
Complex Analysis Math 214 Spring 2014 Fowler 307 MWF 3:00pm - 3:55pm c 2014 Ron Buckmire http://faculty.oxy.edu/ron/math/312/14/ Class 24: Wednesday April 2 TITLE Classifying Singularities using Laurent Series CURRENT READING Zill & Shanahan, §6.2-6.3 HOMEWORK Zill & Shanahan, §6.2 3, 15, 20, 24 33*. §6.3 7, 8, 9, 10. SUMMARY We shall be introduced to Laurent Series and learn how to use them to classify different various kinds of singularities (locations where complex functions are no longer analytic). Classifying Singularities There are basically three types of singularities (points where f(z) is not analytic) in the complex plane. Isolated Singularity An isolated singularity of a function f(z) is a point z0 such that f(z) is analytic on the punctured disc 0 < |z − z0| <rbut is undefined at z = z0. We usually call isolated singularities poles. An example is z = i for the function z/(z − i). Removable Singularity A removable singularity is a point z0 where the function f(z0) appears to be undefined but if we assign f(z0) the value w0 with the knowledge that lim f(z)=w0 then we can say that we z→z0 have “removed” the singularity. An example would be the point z = 0 for f(z) = sin(z)/z. Branch Singularity A branch singularity is a point z0 through which all possible branch cuts of a multi-valued function can be drawn to produce a single-valued function. An example of such a point would be the point z = 0 for Log (z). -
ELLIPTIC FUNCTIONS (Approach of Abel and Jacobi)
Math 213a (Fall 2021) Yum-Tong Siu 1 ELLIPTIC FUNCTIONS (Approach of Abel and Jacobi) Significance of Elliptic Functions. Elliptic functions and their associated theta functions are a new class of special functions which play an impor- tant role in explicit solutions of real world problems. Elliptic functions as meromorphic functions on compact Riemann surfaces of genus 1 and their associated theta functions as holomorphic sections of holomorphic line bun- dles on compact Riemann surfaces pave the way for the development of the theory of Riemann surfaces and higher-dimensional abelian varieties. Two Approaches to Elliptic Function Theory. One approach (which we call the approach of Abel and Jacobi) follows the historic development with motivation from real-world problems and techniques developed for solving the difficulties encountered. One starts with the inverse of an elliptic func- tion defined by an indefinite integral whose integrand is the reciprocal of the square root of a quartic polynomial. An obstacle is to show that the inverse function of the indefinite integral is a global meromorphic function on C with two R-linearly independent primitive periods. The resulting dou- bly periodic meromorphic functions are known as Jacobian elliptic functions, though Abel was actually the first mathematician who succeeded in inverting such an indefinite integral. Nowadays, with the use of the notion of a Rie- mann surface, the inversion can be handled by using the fundamental group of the Riemann surface constructed to make the square root of the quartic polynomial single-valued. The great advantage of this approach is that there is vast literature for the properties of the Jacobain elliptic functions and of their associated Jacobian theta functions.