DOCSLIB.ORG

Linear Variational Principle for Riemann Mappings and Discrete

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Linear Variational Principle for Riemann Mappings and Discrete Linear variational principle for Riemann mappings and discrete conformality Nadav Dyma,1,2, Raz Slutskyb,1, and Yaron Lipmana,1 aDepartment of Computer Science and Applied Mathematics, Faculty of Computer Science and Applied Mathematics, Weizmann Institute of Science, Rehovot 7610001, Israel; and bDepartment of Mathematics, Faculty of Computer Science and Applied Mathematics, Weizmann Institute of Science, Rehovot 7610001, Israel Edited by Robion Kirby, University of California, Berkeley, CA, and approved November 19, 2018 (received for review June 12, 2018) We consider Riemann mappings from bounded Lipschitz domains H 1 norm to the Riemann mapping Φ:Ω !T under refine- in the plane to a triangle. We show that in this case the Riemann ment of the triangulation M. Furthermore, in the case of the mapping has a linear variational principle: It is the minimizer of orbifold-Tutte algorithm, where the initial triangulation M is the Dirichlet energy over an appropriate affine space. By discretiz- Delaunay and the triangle T is an Euclidean orbifold, the con- ing the variational principle in a natural way we obtain discrete vergence is also uniform over the closure Ω¯. For two simply 0 conformal maps which can be computed by solving a sparse linear connected polygonal domains Ω, Ω with Delaunay triangula- system. We show that these discrete conformal maps converge tions we prove that the composition of the orbifold-Tutte map- 0 to the Riemann mapping in H1, even for non-Delaunay triangula- pings converges uniformly to the Riemann mapping Φ:Ω ! Ω . tions. Additionally, for Delaunay triangulations the discrete con- Finally in SI Appendix we show that these convergence results formal maps converge uniformly and are known to be bijective. obtained for polygonal domains can be extended to general Lip- As a consequence we show that the Riemann mapping between schitz domains. In this scenario the convergence is uniform and 1 two bounded Lipschitz domains can be uniformly approximated H on all compact subsets of Ω. by composing the discrete Riemann mappings between each The linear variational principle is derived from a tight linear Lipschitz domain and the triangle. relaxation of Plateau’s problem in the 2D case. Plateau’s problem seeks for a surface with minimal area spanning a prescribed curve d APPLIED conformal maps j discrete differential geometry j finite elements Γ ⊂ R , d = 2, 3. It is well known that Plateau’s problem can be MATHEMATICS solved by minimizing the Dirichlet energy of a parameterization d iconformal mappings between surfaces are homeomor- X : B ! R , where B is the open unit disc, among all admissible Bphisms which preserve angles and orientation. The existence mappings X 2 C(B¯ , Γ) with a (weakly) homeomorphic bound- of biconformal mappings between simply connected open sub- ary map X j@B : @B ! Γ fixing three points on the boundary sets of the complex plane is guaranteed by the Riemann mapping (e.g., ref. 16). Formulated this way, Plateau’s problem is a varia- theorem. When both surfaces are Lipschitz domains (see ref. tional problem with a convex quadratic energy (Dirichlet) and 1, definition 12.9 for a definition of Lipschitz domains), the a nonlinear admissible set of functions, C(B, Γ). Therefore, it biconformal mapping extends to a homeomorphism between corresponds to a nonlinear partial differential equation in gen- 2 the closures of the domains. The uniformization theorem and eral. When Γ ⊂ R , the unique minimizer of Plateau’s variational Keobe’s theorem generalize the Riemann mapping theorem and problem is the Riemann mapping. We consider a particular establish the existence of biconformal mappings between other instance of Plateau’s variational problem: Instead of B we con- classes of Riemann surfaces. Biconformal mappings have found sider Ω as the base domain, and we make a particular choice of 2 many applications in engineering (2), morphology (3, 4), medi- Γ = @T ⊂ R , fixing the preimages of the corners of T . Still, even cal imaging (5–7), and computer graphics and vision (8–10) and in this simplified setting, the respective set of admissible map- now play an important role in the new frontier of geometric deep pings, C(Ω, @T ), for Plateau’s variational problem is nonlinear (it learning (11–13). is convex, however). We introduce a relaxation of this variational Motivated in part by these applications, one of the central problem by replacing the nonlinear admissible set C(Ω, @T ) with themes in the emerging field of discrete differential geometry (DDG) (14) aims at developing discrete analogues of conformal mappings. Often the discrete structure at question is a trian- Significance gulation M = (V, E, F) of a planar-bounded Lipschitz domain Ω, and the question asked is how to place its vertices or alter- Computing conformal (angle-preserving) mappings between natively set its edge lengths to define a discrete analogue of a domains is a central task in discrete differential geometry, conformal map into the plane. One important benchmark for which has found many applications in morphology, medical discrete conformal mappings is convergence. Namely, Does the imaging, computer graphics and vision, and related fields. In discrete conformal map converge to the biconformal mapping this paper we show that by choosing a suitable target domain, under refinement of the triangulation M? computing conformal mappings becomes a linear problem. As In this paper we construct a linear variational principle for the a result conformal mappings can be computed robustly and Riemann mapping between a planar-bounded Lipschitz domain efficiently. Ω and a triangle domain T . We use this principle to devise an algorithm, based on simple piecewise-linear finite elements, Author contributions: N.D., R.S., and Y.L. designed research, performed research, and for defining discrete conformal mapping between a simply con- wrote the paper.y nected polygonal domain Ω with arbitrary triangulation M and The authors declare no conflict of interest.y a general triangle domain T . This class in particular includes This article is a PNAS Direct Submission.y the recent Orbifold–Tutte algorithm (15) for the case where M Published under the PNAS license.y is a Delaunay triangulation and T is a triangle orbifold (i.e., 1 N.D, R.S., and Y.L. contributed equally to this work.y equilateral or right-angle isosceles). 2 To whom correspondence should be addressed. Email: [email protected] The algorithm for computing discrete conformal maps is lin- This article contains supporting information online at www.pnas.org/lookup/suppl/doi:10. ear in the sense that it consists of solving a single sparse linear 1073/pnas.1809731116/-/DCSupplemental.y system. We prove that these discrete mappings converge in the www.pnas.org/cgi/doi/10.1073/pnas.1809731116 PNAS Latest Articles j 1 of 6 Downloaded by guest on October 2, 2021 a linear superset of admissible mappings C∗(Ω, @T ) ⊃ C(Ω, @T ). Schwarz–Christoffel formula (17, 18), the zipper algorithm (19), Surprisingly, this relaxed variational problem is tight; that is, it polynomial methods (20), and others (21, 22). has a unique solution and this solution is the Riemann map- Probably the first discrete conformal mapping is the circle ping Φ:Ω !T . Since this variational problem corresponds to packing introduced in ref. 23. Circle packing defines a discrete a linear partial differential equation, we can employ more or conformal (more generally, analytic) mapping of a triangulation less standard finite-element theory to prove convergence of the by packing circles with different radii centered at vertices in the algorithm. plane. These radii can be seen as setting edge lengths in M. Con- The power of this approach is illustrated in Fig. 1, where vergence of circle packing to the Riemann mapping was proved we consider the problem of computing the Riemann mapping in refs. 24 and 25. An efficient algorithm for circle packing was from a “Koch polygon” to a triangle. This Koch polygon is the developed in ref. 26. A variational principle for circle packing polygon obtained by the first six iterations of the iterative pro- was found in ref. 27. Discrete Ricci flow was developed in ref. 28 cess used to create the fractal Koch snowflake. Mapping the and was shown to converge to a circle packing. Circle patterns Koch polygon is challenging due to the fragmented nature of (29) generalize circle packings and allow nontrivial intersection the boundary and requires a high-resolution map which would of circles; a variational principle for circle patterns was discov- be difficult to achieve using nonlinear methods. We obtain such ered in ref. 30. In ref. 31 discrete conformality is defined by a high-resolution map by computing our discrete conformal map averaging conformal scales at vertices; in ref. 32 an explicit varia- from a triangulation of the polygon with approximately 6 mil- tional principle and an efficient algorithm are developed for this lion vertices. Solving for the conformal map approximation in equivalence discrete conformality relation. Note that while cir- this case, using Matlab’s linear solver, takes approximately 2 min cle packing has a convex variational principle, it is not linear. on an Intel Xeon processor. Additionally circle packing was shown to converge uniformly on The quality of the discrete conformal mapping is visualized in compact subsets of Ω while our algorithm converges uniformly the standard fashion: A scalar function is defined on the trian- on all of Ω¯ and also converges in H 1. gle, which represents a black-and-white coloring of a grid. The A natural tool, which we also use in this paper, to han- function is then pulled back by the computed discrete Riemann dle discrete conformality of triangulations is the finite-elements mapping. Note that the 90◦ angles are preserved by the map.
Load more

Recommended publications
  • 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.
    [Show full text]
  • Nine Chapters of Analytic Number Theory in Isabelle/HOL
    Nine Chapters of Analytic Number Theory in Isabelle/HOL Manuel Eberl Technische Universität München 12 September 2019 + + 58 Manuel Eberl Rodrigo Raya 15 library unformalised 173 18 using analytic methods In this work: only multiplicative number theory (primes, divisors, etc.) Much of the formalised material is not particularly analytic. Some of these results have already been formalised by other people (Avigad, Harrison, Carneiro, . ) – but not in the context of a large library. What is Analytic Number Theory? Studying the multiplicative and additive structure of the integers In this work: only multiplicative number theory (primes, divisors, etc.) Much of the formalised material is not particularly analytic. Some of these results have already been formalised by other people (Avigad, Harrison, Carneiro, . ) – but not in the context of a large library. What is Analytic Number Theory? Studying the multiplicative and additive structure of the integers using analytic methods Much of the formalised material is not particularly analytic. Some of these results have already been formalised by other people (Avigad, Harrison, Carneiro, . ) – but not in the context of a large library. What is Analytic Number Theory? Studying the multiplicative and additive structure of the integers using analytic methods In this work: only multiplicative number theory (primes, divisors, etc.) Some of these results have already been formalised by other people (Avigad, Harrison, Carneiro, . ) – but not in the context of a large library. What is Analytic Number Theory? Studying the multiplicative and additive structure of the integers using analytic methods In this work: only multiplicative number theory (primes, divisors, etc.) Much of the formalised material is not particularly analytic.
    [Show full text]
  • Winding Numbers and Solid Angles
    Palestine Polytechnic University Deanship of Graduate Studies and Scientific Research Master Program of Mathematics Winding Numbers and Solid Angles Prepared by Warda Farajallah M.Sc. Thesis Hebron - Palestine 2017 Winding Numbers and Solid Angles Prepared by Warda Farajallah Supervisor Dr. Ahmed Khamayseh M.Sc. Thesis Hebron - Palestine Submitted to the Department of Mathematics at Palestine Polytechnic University as a partial fulfilment of the requirement for the degree of Master of Science. Winding Numbers and Solid Angles Prepared by Warda Farajallah Supervisor Dr. Ahmed Khamayseh Master thesis submitted an accepted, Date September, 2017. The name and signature of the examining committee members Dr. Ahmed Khamayseh Head of committee signature Dr. Yousef Zahaykah External Examiner signature Dr. Nureddin Rabie Internal Examiner signature Palestine Polytechnic University Declaration I declare that the master thesis entitled "Winding Numbers and Solid Angles " is my own work, and hereby certify that unless stated, all work contained within this thesis is my own independent research and has not been submitted for the award of any other degree at any institution, except where due acknowledgment is made in the text. Warda Farajallah Signature: Date: iv Statement of Permission to Use In presenting this thesis in partial fulfillment of the requirements for the master degree in mathematics at Palestine Polytechnic University, I agree that the library shall make it available to borrowers under rules of library. Brief quotations from this thesis are allowable without special permission, provided that accurate acknowledg- ment of the source is made. Permission for the extensive quotation from, reproduction, or publication of this thesis may be granted by my main supervisor, or in his absence, by the Dean of Graduate Studies and Scientific Research when, in the opinion either, the proposed use of the material is scholarly purpose.
    [Show full text]
  • COMPLEX ANALYSIS–Spring 2014 1 Winding Numbers
    COMPLEX ANALYSIS{Spring 2014 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 notes on Winding Numbers and Cauchy's formula, so I begin by repeating this theorem (and consequences) here. but first, some remarks on notation. A notation I'll be using on occasion is to write Z f(z) dz jz−z0j=r for the integral of f(z) over the positively oriented circle of radius r, center z0; that is, Z Z 2π it it f(z) dz = f z0 + re rie dt: jz−z0j=r 0 Another notation I'll use, to avoid confusion with complex conjugation is Cl(A) for the closure of a set A ⊆ C. If a; b 2 C, I will denote by λa;b the line segment from a to b; that is, λa;b(t) = a + t(b − a); 0 ≤ t ≤ 1: Triangles being so ubiquitous, if we have a triangle of vertices a; b; c 2 C,I will write T (a; b; c) for the closed triangle; that is, for the set T (a; b; c) = fra + sb + tc : r; s; t ≥ 0; r + s + t = 1g: Here the order of the vertices does not matter. But I will denote the boundary oriented in the order of the vertices by @T (a; b; c); that is, @T (a; b; c) = λa;b + λb;c + λc;a. If a; b; c are understood (or unimportant), I might just write T for the triangle, and @T for the boundary.
    [Show full text]
  • Rotation and Winding Numbers for Planar Polygons and Curves
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 322, Number I, November 1990 ROTATION AND WINDING NUMBERS FOR PLANAR POLYGONS AND CURVES BRANKO GRUNBAUM AND G. C. SHEPHARD ABSTRACT. The winding and rotation numbers for closed plane polygons and curves appear in various contexts. Here alternative definitions are presented, and relations between these characteristics and several other integer-valued func- tions are investigated. In particular, a point-dependent "tangent number" is defined, and it is shown that the sum of the winding and tangent numbers is independent of the point with respect to which they are taken, and equals the rotation number. 1. INTRODUCTION Associated with every planar polygon P (or, more generally, with certain kinds of closed curves in the plane) are several numerical quantities that take only integer values. The best known of these are the rotation number of P (also called the "tangent winding number") of P and the winding number of P with respect to a point in the plane. The rotation number was introduced for smooth curves by Whitney [1936], but for polygons it had been defined some seventy years earlier by Wiener [1865]. The winding numbers of polygons also have a long history, having been discussed at least since Meister [1769] and, in particular, Mobius [1865]. However, there seems to exist no literature connecting these two concepts. In fact, so far we are aware, there is no instance in which both are mentioned in the same context. In the present note we shall show that there exist interesting alternative defi- nitions of the rotation number, as well as various relations between the rotation numbers of polygons, winding numbers with respect to given points, and several other integer-valued functions that depend on the embedding of the polygons in the plane.
    [Show full text]
  • The Chazy XII Equation and Schwarz Triangle Functions
    Symmetry, Integrability and Geometry: Methods and Applications SIGMA 13 (2017), 095, 24 pages The Chazy XII Equation and Schwarz Triangle Functions Oksana BIHUN and Sarbarish CHAKRAVARTY Department of Mathematics, University of Colorado, Colorado Springs, CO 80918, USA E-mail: [email protected], [email protected] Received June 21, 2017, in final form December 12, 2017; Published online December 25, 2017 https://doi.org/10.3842/SIGMA.2017.095 Abstract. Dubrovin [Lecture Notes in Math., Vol. 1620, Springer, Berlin, 1996, 120{348] showed that the Chazy XII equation y000 − 2yy00 + 3y02 = K(6y0 − y2)2, K 2 C, is equivalent to a projective-invariant equation for an affine connection on a one-dimensional complex manifold with projective structure. By exploiting this geometric connection it is shown that the Chazy XII solution, for certain values of K, can be expressed as y = a1w1 +a2w2 +a3w3 where wi solve the generalized Darboux{Halphen system. This relationship holds only for certain values of the coefficients (a1; a2; a3) and the Darboux{Halphen parameters (α; β; γ), which are enumerated in Table2. Consequently, the Chazy XII solution y(z) is parametrized by a particular class of Schwarz triangle functions S(α; β; γ; z) which are used to represent the solutions wi of the Darboux{Halphen system. The paper only considers the case where α + β +γ < 1. The associated triangle functions are related among themselves via rational maps that are derived from the classical algebraic transformations of hypergeometric functions. The Chazy XII equation is also shown to be equivalent to a Ramanujan-type differential system for a triple (P;^ Q;^ R^).
    [Show full text]
  • THE IMPACT of RIEMANN's MAPPING THEOREM in the World
    THE IMPACT OF RIEMANN'S MAPPING THEOREM GRANT OWEN In the world of mathematics, scholars and academics have long sought to understand the work of Bernhard Riemann. Born in a humble Ger- man home, Riemann became one of the great mathematical minds of the 19th century. Evidence of his genius is reflected in the greater mathematical community by their naming 72 different mathematical terms after him. His contributions range from mathematical topics such as trigonometric series, birational geometry of algebraic curves, and differential equations to fields in physics and philosophy [3]. One of his contributions to mathematics, the Riemann Mapping Theorem, is among his most famous and widely studied theorems. This theorem played a role in the advancement of several other topics, including Rie- mann surfaces, topology, and geometry. As a result of its widespread application, it is worth studying not only the theorem itself, but how Riemann derived it and its impact on the work of mathematicians since its publication in 1851 [3]. Before we begin to discover how he derived his famous mapping the- orem, it is important to understand how Riemann's upbringing and education prepared him to make such a contribution in the world of mathematics. Prior to enrolling in university, Riemann was educated at home by his father and a tutor before enrolling in high school. While in school, Riemann did well in all subjects, which strengthened his knowl- edge of philosophy later in life, but was exceptional in mathematics. He enrolled at the University of G¨ottingen,where he learned from some of the best mathematicians in the world at that time.
    [Show full text]
  • Lecture Note for Math 220A Complex Analysis of One Variable
    Lecture Note for Math 220A Complex Analysis of One Variable Song-Ying Li University of California, Irvine Contents 1 Complex numbers and geometry 2 1.1 Complex number field . 2 1.2 Geometry of the complex numbers . 3 1.2.1 Euler's Formula . 3 1.3 Holomorphic linear factional maps . 6 1.3.1 Self-maps of unit circle and the unit disc. 6 1.3.2 Maps from line to circle and upper half plane to disc. 7 2 Smooth functions on domains in C 8 2.1 Notation and definitions . 8 2.2 Polynomial of degree n ...................... 9 2.3 Rules of differentiations . 11 3 Holomorphic, harmonic functions 14 3.1 Holomorphic functions and C-R equations . 14 3.2 Harmonic functions . 15 3.3 Translation formula for Laplacian . 17 4 Line integral and cohomology group 18 4.1 Line integrals . 18 4.2 Cohomology group . 19 4.3 Harmonic conjugate . 21 1 5 Complex line integrals 23 5.1 Definition and examples . 23 5.2 Green's theorem for complex line integral . 25 6 Complex differentiation 26 6.1 Definition of complex differentiation . 26 6.2 Properties of complex derivatives . 26 6.3 Complex anti-derivative . 27 7 Cauchy's theorem and Morera's theorem 31 7.1 Cauchy's theorems . 31 7.2 Morera's theorem . 33 8 Cauchy integral formula 34 8.1 Integral formula for C1 and holomorphic functions . 34 8.2 Examples of evaluating line integrals . 35 8.3 Cauchy integral for kth derivative f (k)(z) . 36 9 Application of the Cauchy integral formula 36 9.1 Mean value properties .
    [Show full text]
  • Arxiv:1708.02778V2 [Cond-Mat.Other] 22 Jan 2018
    Topological characterization of chiral models through their long time dynamics Maria Maffei,1, 2, ∗ Alexandre Dauphin,1 Filippo Cardano,2 Maciej Lewenstein,1, 3 and Pietro Massignan1, 4 1ICFO { Institut de Ciencies Fotoniques, The Barcelona Institute of Science and Technology, 08860 Castelldefels (Barcelona), Spain 2Dipartimento di Fisica, Universit´adi Napoli Federico II, Complesso Universitario di Monte Sant'Angelo, Via Cintia, 80126 Napoli, Italy 3ICREA { Instituci´oCatalana de Recerca i Estudis Avan¸cats, Pg. Lluis Companys 23, 08010 Barcelona, Spain 4Departament de F´ısica, Universitat Polit`ecnica de Catalunya, Campus Nord B4-B5, 08034 Barcelona, Spain (Dated: January 23, 2018) We study chiral models in one spatial dimension, both static and periodically driven. We demon- strate that their topological properties may be read out through the long time limit of a bulk observable, the mean chiral displacement. The derivation of this result is done in terms of spectral projectors, allowing for a detailed understanding of the physics. We show that the proposed detec- tion converges rapidly and it can be implemented in a wide class of chiral systems. Furthermore, it can measure arbitrary winding numbers and topological boundaries, it applies to all non-interacting systems, independently of their quantum statistics, and it requires no additional elements, such as external fields, nor filled bands. Topological phases of matter constitute a new paradigm by escaping the standard Ginzburg-Landau theory of phase transitions. These exotic phases appear without any symmetry breaking and are not characterized by a local order parameter, but rather by a global topological order. In the last decade, topological insulators have attracted much interest [1].
    [Show full text]
  • The Measurable Riemann Mapping Theorem
    CHAPTER 1 The Measurable Riemann Mapping Theorem 1.1. Conformal structures on Riemann surfaces Throughout, “smooth” will always mean C 1. All surfaces are assumed to be smooth, oriented and without boundary. All diffeomorphisms are assumed to be smooth and orientation-preserving. It will be convenient for our purposes to do local computations involving metrics in the complex-variable notation. Let X be a Riemann surface and z x iy be a holomorphic local coordinate on X. The pair .x; y/ can be thoughtD C of as local coordinates for the underlying smooth surface. In these coordinates, a smooth Riemannian metric has the local form E dx2 2F dx dy G dy2; C C where E; F; G are smooth functions of .x; y/ satisfying E > 0, G > 0 and EG F 2 > 0. The associated inner product on each tangent space is given by @ @ @ @ a b ; c d Eac F .ad bc/ Gbd @x C @y @x C @y D C C C Äc a b ; D d where the symmetric positive definite matrix ÄEF (1.1) D FG represents in the basis @ ; @ . In particular, the length of a tangent vector is f @x @y g given by @ @ p a b Ea2 2F ab Gb2: @x C @y D C C Define two local sections of the complexified cotangent bundle T X C by ˝ dz dx i dy WD C dz dx i dy: N WD 2 1 The Measurable Riemann Mapping Theorem These form a basis for each complexified cotangent space. The local sections @ 1 Â @ @ Ã i @z WD 2 @x @y @ 1 Â @ @ Ã i @z WD 2 @x C @y N of the complexified tangent bundle TX C will form the dual basis at each point.
    [Show full text]
  • The Riemann Mapping Theorem
    University of Toronto – MAT334H1-F – LEC0101 Complex Variables 18 – The Riemann mapping theorem Jean-Baptiste Campesato December 2nd, 2020 and December 4th, 2020 Theorem 1 (The Riemann mapping theorem). Let 푈 ⊊ ℂ be a simply connected open subset which is not ℂ. −1 Then there exists a biholomorphism 푓 ∶ 푈 → 퐷1(0) (i.e. 푓 is holomorphic, bijective and 푓 is holomorphic). We say that 푈 and 퐷1(0) are conformally equivalent. Remark 2. Note that if 푓 ∶ 푈 → 푉 is bijective and holomorphic then 푓 −1 is holomorphic too. Indeed, we proved that if 푓 is injective and holomorphic then 푓 ′ never vanishes (Nov 30). Then we can conclude using the inverse function theorem. Note that this remark is false for ℝ-differentiability: define 푓 ∶ ℝ → ℝ by 푓(푥) = 푥3 then 푓 ′(0) = 0 and 푓 −1(푥) = √3 푥 is not differentiable at 0. Remark 3. The theorem is false if 푈 = ℂ. Indeed, by Liouville’s theorem, if 푓 ∶ ℂ → 퐷1(0) is holomorphic then it is constant (as a bounded entire function), so it can’t be bijective. The Riemann mapping theorem states that up to biholomorphic transformations, the unit disk is a model for open simply connected sets which are not ℂ. Otherwise stated, up to a biholomorphic transformation, there are only two open simply connected sets: 퐷1(0) and ℂ. Formally: Corollary 4. Let 푈, 푉 ⊊ ℂ be two simply connected open subsets, none of which is ℂ. Then there exists a biholomorphism 푓 ∶ 푈 → 푉 (i.e. 푓 is holomorphic, bijective and 푓 −1 is holomorphic).
    [Show full text]
  • An Introduction to Complex Analysis and Geometry John P. D'angelo
    An Introduction to Complex Analysis and Geometry John P. D'Angelo Dept. of Mathematics, Univ. of Illinois, 1409 W. Green St., Urbana IL 61801 [email protected] 1 2 c 2009 by John P. D'Angelo Contents Chapter 1. From the real numbers to the complex numbers 11 1. Introduction 11 2. Number systems 11 3. Inequalities and ordered fields 16 4. The complex numbers 24 5. Alternative definitions of C 26 6. A glimpse at metric spaces 30 Chapter 2. Complex numbers 35 1. Complex conjugation 35 2. Existence of square roots 37 3. Limits 39 4. Convergent infinite series 41 5. Uniform convergence and consequences 44 6. The unit circle and trigonometry 50 7. The geometry of addition and multiplication 53 8. Logarithms 54 Chapter 3. Complex numbers and geometry 59 1. Lines, circles, and balls 59 2. Analytic geometry 62 3. Quadratic polynomials 63 4. Linear fractional transformations 69 5. The Riemann sphere 73 Chapter 4. Power series expansions 75 1. Geometric series 75 2. The radius of convergence 78 3. Generating functions 80 4. Fibonacci numbers 82 5. An application of power series 85 6. Rationality 87 Chapter 5. Complex differentiation 91 1. Definitions of complex analytic function 91 2. Complex differentiation 92 3. The Cauchy-Riemann equations 94 4. Orthogonal trajectories and harmonic functions 97 5. A glimpse at harmonic functions 98 6. What is a differential form? 103 3 4 CONTENTS Chapter 6. Complex integration 107 1. Complex-valued functions 107 2. Line integrals 109 3. Goursat's proof 116 4. The Cauchy integral formula 119 5.
    [Show full text]