Analytic Capacity and Quasiconformal Mappings with W1,2 Beltrami

Total Page:16

File Type:pdf, Size:1020Kb

Analytic Capacity and Quasiconformal Mappings with W1,2 Beltrami Analytic capacity and quasiconformal mappings with W 1,2 Beltrami coefficient Albert Clop Xavier Tolsa ∗ Abstract We show that if φ is a quasiconformal mapping with compactly sup- ported Beltrami coefficient in the Sobolev space W 1,2, then φ preserves sets with vanishing analytic capacity. It then follows that a compact set E is removable for bounded analytic functions if and only if it is removable for bounded quasiregular mappings with compactly supported Beltrami coefficient in W 1,2. 1 Introduction A Beltrami coefficient is a measurable function µ such that kµk∞ < 1. Given an open set Ω ⊂ C, we say that f :Ω → C is µ-quasiregular if it belongs to the 1,2 Sobolev space Wloc (Ω) and satisfies the Beltrami equation ∂f(z) = µ(z) ∂f(z), a.e.z ∈ Ω. If moreover f is a homeomorphism, then we call it µ-quasiconformal. For any K ≥ 1, we say that f is K-quasiregular (or K-quasiconformal if f is homeo- K−1 morphism) for some Beltrami coefficient µ satisfying kµk∞ ≤ K+1 . Several works have focussed in the question of how these mappings distort mea- sures and capacities. For instance, Ahlfors (see [Ah1]) proved that they always preserve sets of zero area. In a remarkable paper, Astala [As] obtained deep estimates for the area distortion under K-quasiconformal mappings. More pre- cisely, if φ is any (conveniently normalized) K-quasiconformal mapping, then ∗A. C. was supported by grants MTM2007-60062 and 2005-SGR-00774; and X. T. by MTM2007-62817 and and 2005-SGR-00774. AMS (2000) Classification. Primary 30C60, 35J15, 35J70. Keywords: quasiconformal, Hausdorff measure, removability, analytic capacity 1 one has the estimate 1 |φ(E)| ≤ C |E| K where the constant C depends only on K. As a consequence, the author ob- tained also sharp results on integrability of K-quasiconformal mappings, which in turn led to the bounds on K-quasiconformal distortion of Hausdorff dimen- sion. Namely, for any K-quasiconformal mapping φ and any compact set E, µ ¶ µ ¶ 1 1 1 1 1 1 1 − ≤ − ≤ K − . (1) K dim(E) 2 dim(φ(E)) 2 dim(E) 2 Moreover, in [As] the author shows the sharpness of both inequalities. It is well known that sometimes the regularity of the Beltrami coefficient µ is inherited by the mapping itself. For instance, when µ is a compactly sup- ported C∞ function, then every µ-quasiconformal mapping φ is also C∞. As a consequence, φ is locally bilipschitz, and then some set functions like Hausdorff measures, Riesz and Bessel capacities, are preserved. Nevertheless, there are other situations which, even far from µ ∈ C∞, give interesting improvements of equation (1). For instance, when µ belongs to the class VMO of functions of vanishing mean oscillation, then dim(φ(E)) = dim(E). That is, the corresponding µ-quasiconformal mappings φ do not distort Haus- dorff dimension (see for instance [Iw]). However, nothing is known on the ratio between the Hausdorff measures Ht(E) and Ht(φ(E)), for any t ∈ [0, 2]. In this context, of special interest is the assumption that µ is a compactly sup- ported function in the Sobolev class W 1,2 (notice that this implies µ ∈ VMO). For such Beltrami coefficients, it is shown in [CFMOZ] that the corresponding µ-quasiconformal mappings φ preserve sets with zero length, that is H1(E) = 0 ⇐⇒ H1(φ(E)) = 0, (2) The proof of this fact uses some BMO removability techniques, related to both the Cauchy-Riemann (i.e. ∂) and the Beltrami (∂ − µ ∂) differential operators. The main tool is an extended version of Weyl’s lemma. Recall that classi- cal Weyl’s Lemma asserts that distributional solutions to the Cauchy-Riemann equation are actually analytic functions. In the more general case of the Bel- trami equation [CFMOZ, Theorem 1], an analogous result can be given provided that the Beltrami coefficient belongs to W 1,2. 2 Theorem. Let µ be a compactly supported Beltrami coefficient in the Sobolev 1,2 p space W (C). Let f ∈ Lloc(C) for some p > 2, and suppose that h∂f − µ ∂f, ϕi = 0 whenever ϕ ∈ C∞ is compactly supported. Then, f is µ-quasiregular. In [CFMOZ], similar arguments to those in (2), replacing BMO by VMO, allowed the authors to prove that if µ ∈ W 1,2 is any compactly supported Beltrami coefficient, and φ is µ-quasiconformal, then H1(E) is σ-finite ⇐⇒ H1(φ(E)) is σ-finite. (3) Furthermore, these mappings φ are shown to map 1-rectifiable sets to 1-rectifiable sets (and purely 1-unrectifiable sets to purely 1-unrectifiable sets). As we shall see in this paper, all these facts have interesting consequences when studying removability problems for bounded µ-quasiregular mappings, that is, the µ-quasiregular counterpart for the problem of Painlev´e.Recall that a com- pact set E is said to be removable (for bounded analytic functions) if for any open set Ω ⊃ E, every bounded function f :Ω → C, analytic on Ω \ E, admits an analytic extension to the whole of Ω. The problem of Painlev´e consists of giving metric and geometric characterizations of these sets. When studying removable sets, it is natural to talk about analytic capacity. Recall that given a compact set E, the analytic capacity of E is defined as 0 ∞ γ(E) = sup {|f (∞)|; f ∈ H (C \ E), kfk∞ ≤ 1} . Here, by H∞(Ω) we mean the space of bounded analytic functions on the open set Ω, and f 0(∞) = lim z (f(∞) − f(z)). For a set A ⊂ C which may be non z→∞ compact, one defines γ(A) = sup γ(E). E⊂A compact Ahlfors [Ah2] proved that E is removable for bounded analytic functions if and only if γ(E) = 0. Furthermore, it is not difficult to show that γ(E) ≤ C H1(E), while dim(E) > 1 implies γ(E) > 0. It took long time to have a precise geometric characterization of the zero sets for γ. In [Da1], G. David proved that if E has finite length then γ(E) = 0 ⇐⇒ E is purely 1-unrectifiable. Later, in [To2], X. Tolsa characterized sets with vanishing analytic capacity in terms of Menger curvature (see Theorem 5 below for more details). 3 In this paper, as well as in [CFMOZ], our main objects of study are the remov- able singularities for bounded solutions to a fixed Beltrami equation. Namely, we say that a compact set E is removable for bounded µ-quasiregular mappings, or simply µ-removable, if for any open set Ω, any bounded function f :Ω → C, µ-quasiregular on Ω \ E, admits a µ-quasiregular extension to the whole of Ω. By means of Stoilow’s factorization Theorem, one easily shows that E is µ- removable if and only if γ(φ(E)) = 0 for any µ-quasiconformal mapping φ. In connection with this question, the following result is proved in [CFMOZ]. Theorem. Let µ ∈ W 1,2(C) be a compactly supported Beltrami coefficient, and let φ : C → C be a µ-quasiconformal mapping. Then, γ(E) = 0 ⇐⇒ γ(φ(E)) = 0 (4) for any compact set E with σ-finite H1(E). Pekka Koskela suggested us that the σ-finiteness assumption might be removed in the preceding result. In this paper we do the job. Theorem 1. Let µ ∈ W 1,2(C) be a compactly supported Beltrami coefficient, and let φ : C → C be a µ-quasiconformal mapping. Then, γ(E) = 0 ⇐⇒ γ(φ(E)) = 0 for any compact set E. It follows from Theorem 1 that if µ ∈ W 1,2 is compactly supported, then being removable and being µ-removable are equivalent notions. Corollary 2. Let µ ∈ W 1,2 be a compactly supported Beltrami coefficient. Then, a compact set E is removable for bounded µ-quasiregular mappings if and only if γ(E) = 0. Theorem 1 implies that, given a compactly supported Beltrami coefficient µ ∈ W 1,2(C), the corresponding µ-quasiconformal mappings preserve the removable sets for bounded analytic functions. This fact is closely related to a question of J. Verdera [Ve1] on the preservation of removable sets under some planar homeomorphisms. More precisely, the author wondered how analytic capacity is distorted under bilipschitz mappings. Recall that a mapping φ : C → C is said to be L-bilipschitz if 1 |z − w| ≤ |φ(z) − φ(w)| ≤ L|z − w| L for any pair of points z, w ∈ C. This question was solved in [To2]: 4 Theorem. Let φ : C → C be an L-bilipschitz mapping. Then, γ(φ(E)) ' γ(E) (5) with constants that depend only on L. Furthermore, it is shown in [To2] that any planar homeomorphism φ : C → C satisfying (5) must be a bilipschitz mapping. It is well known that L-bilipschitz mappings are µ-quasiconformal for some Beltrami coefficient µ with kµk∞ de- pending only on L, but in general this does not imply any W 1,2 regularity for µ. In fact, there is not a precise description of the class of compactly sup- ported Beltrami coefficients µ that produce bilipschitz µ-quasiconformal map- pings. It was remarked in [CFMOZ, Example 4] that there are non bilipschitz µ-quasiconformal mappings with compactly supported µ ∈ W 1,2. At the same 1 time, the example µ(z) = 2 χD(z) gives a bilipschitz µ-quasiconformal mapping with µ∈ / W 1,2. Thus, there is no relation between bilipschitz µ-quasiconformal mappings and Beltrami coefficients µ ∈ W 1,2. For the proof of the Theorem 1, our main tool is the following improved version of the preceding theorem on the bilipschitz invariance of analytic capacity.
Recommended publications
  • Quasiconformal Mappings, Complex Dynamics and Moduli Spaces
    Quasiconformal mappings, complex dynamics and moduli spaces Alexey Glutsyuk April 4, 2017 Lecture notes of a course at the HSE, Spring semester, 2017 Contents 1 Almost complex structures, integrability, quasiconformal mappings 2 1.1 Almost complex structures and quasiconformal mappings. Main theorems . 2 1.2 The Beltrami Equation. Dependence of the quasiconformal homeomorphism on parameter . 4 2 Complex dynamics 5 2.1 Normal families. Montel Theorem . 6 2.2 Rational dynamics: basic theory . 6 2.3 Local dynamics at neutral periodic points and periodic components of the Fatou set . 9 2.4 Critical orbits. Upper bound of the number of non-repelling periodic orbits . 12 2.5 Density of repelling periodic points in the Julia set . 15 2.6 Sullivan No Wandering Domain Theorem . 15 2.7 Hyperbolicity. Fatou Conjecture. The Mandelbrot set . 18 2.8 J-stability and structural stability: main theorems and conjecture . 21 2.9 Holomorphic motions . 22 2.10 Quasiconformality: different definitions. Proof of Lemma 2.78 . 24 2.11 Characterization and density of J-stability . 25 2.12 Characterization and density of structural stability . 27 2.13 Proof of Theorem 2.90 . 32 2.14 On structural stability in the class of quadratic polynomials and Quadratic Fatou Conjecture . 32 2.15 Structural stability, invariant line fields and Teichm¨ullerspaces: general case 34 3 Kleinian groups 37 The classical Poincar´e{Koebe Uniformization theorem states that each simply connected Riemann surface is conformally equivalent to either the Riemann sphere, or complex line C, or unit disk D1. The quasiconformal mapping theory created by M.A.Lavrentiev and C.
    [Show full text]
  • 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]
  • TEICHM¨ULLER SPACE Contents 1. Introduction 1 2. Quasiconformal
    TEICHMULLER¨ SPACE MATTHEW WOOLF Abstract. It is a well-known fact that every Riemann surface with negative Euler characteristic admits a hyperbolic metric. But this metric is by no means unique { indeed, there are uncountably many such metrics. In this paper, we study the space of all such hyperbolic structures on a Riemann surface, called the Teichm¨ullerspace of the surface. We will show that it is a complete metric space, and that it is homeomorphic to Euclidean space. Contents 1. Introduction 1 2. Quasiconformal maps 2 3. Beltrami Forms 3 4. Teichm¨ullerSpace 4 5. Fenchel-Nielsen Coordinates 6 References 9 1. Introduction Much of the theory of Riemann surfaces boils down to the following theorem, the two-dimensional equivalent of Thurston's geometrization conjecture: Proposition 1.1 (Uniformization theorem). Every simply connected Riemann sur- face is isomorphic either to the complex plane C, the Riemann sphere P1, or the unit disk, D. By considering universal covers of Riemann surfaces, we can see that every sur- face admits a spherical, Euclidean, or (this is the case for all but a few surfaces) hyperbolic metric. Since almost all surfaces are hyperbolic, we will restrict our attention in the following material to them. The natural question to ask next is whether this metric is unique. We see almost immediately that the answer is no (almost any change of the fundamental region of a surface will give rise to a new metric), but this answer gives rise to a new question. Does the set of such hyper- bolic structures of a given surface have any structure itself? It turns out that the answer is yes { in fact, in some ways, the structure of this set (called the Teichm¨uller space of the surface) is more interesting than that of the Riemann surface itself.
    [Show full text]
  • Generalized Solutions of a System of Differential Equations of the First Order and Elliptic Type with Discontinuous Coefficients
    UNIVERSITY OF JYVASKYL¨ A¨ UNIVERSITAT¨ JYVASKYL¨ A¨ DEPARTMENT OF MATHEMATICS INSTITUT FUR¨ MATHEMATIK AND STATISTICS UND STATISTIK REPORT 118 BERICHT 118 GENERALIZED SOLUTIONS OF A SYSTEM OF DIFFERENTIAL EQUATIONS OF THE FIRST ORDER AND ELLIPTIC TYPE WITH DISCONTINUOUS COEFFICIENTS B. V. BOJARSKI JYVASKYL¨ A¨ 2009 UNIVERSITY OF JYVASKYL¨ A¨ UNIVERSITAT¨ JYVASKYL¨ A¨ DEPARTMENT OF MATHEMATICS INSTITUT FUR¨ MATHEMATIK AND STATISTICS UND STATISTIK REPORT 118 BERICHT 118 GENERALIZED SOLUTIONS OF A SYSTEM OF DIFFERENTIAL EQUATIONS OF THE FIRST ORDER AND ELLIPTIC TYPE WITH DISCONTINUOUS COEFFICIENTS B. V. BOJARSKI JYVASKYL¨ A¨ 2009 Editor: Pekka Koskela Department of Mathematics and Statistics P.O. Box 35 (MaD) FI{40014 University of Jyv¨askyl¨a Finland ISBN 978-951-39-3486-6 ISSN 1457-8905 Copyright c 2009, by B. V. Bojarski and University of Jyv¨askyl¨a University Printing House Jyv¨askyl¨a2009 Foreword to the translation of Generalized solutions of a sys- tem of dierential equations of rst order and of elliptic type with discontinuous coecients A remarkable feature of quasiconformal mappings in the plane is the in- terplay between analytic and geometric arguments in the theory. The utility of the analytic approach is principally due to the explicit representation formula f = z + Cµ(z) + C(µT µ)(z) + C(µT (µT µ))(z) + ..., (1) valid for a suitably normalized quasiconformal homeomorphism f of the plane, with compactly supported dilatation µ. Here T stands for the Beurling-Ahlfors singular integral operator and C is the Cauchy transform. It was previously known that T is an isometry on L2, and the above formula easily yields that in this case belongs to 1,2 2 However, this knowledge alone does not f Wloc (R ).
    [Show full text]
  • Radnell-Schippers-Staubach, 2017
    QUASICONFORMAL TEICHMULLER¨ THEORY AS AN ANALYTICAL FOUNDATION FOR TWO-DIMENSIONAL CONFORMAL FIELD THEORY DAVID RADNELL, ERIC SCHIPPERS, AND WOLFGANG STAUBACH Abstract. The functorial mathematical definition of conformal field theory was first formulated approximately 30 years ago. The underlying geometric category is based on the moduli space of Riemann surfaces with parametrized boundary components and the sewing operation. We survey the recent and careful study of these objects, which has led to significant connections with quasiconformal Teichm¨uller theory and geometric function theory. In particular we propose that the natural analytic setting for conformal field theory is the moduli space of Riemann surfaces with so-called Weil-Petersson class parametrizations. A collection of rig- orous analytic results is advanced here as evidence. This class of parametrizations has the required regularity for CFT on one hand, and on the other hand are natural and of interest in their own right in geometric function theory. 1. Introduction 1.1. Introduction. Two-dimensional conformal field theory (CFT) models a wide range of physical phenomena. Its mathematical structures connect to many branches of mathematics, including complex geometry and analysis, representation theory, algebraic geometry, topology, and stochastic analysis. There are several mathematical notions of CFT, each of which is relevant to probing the particular mathematical structures one is interested in. Without attempting any overview of this vast subject, we first highlight some early literature, and then explain the purpose of this review. The conformal symmetry group in two-dimensional quantum field theory goes back to at least the Thirring model from 1958, although this was perhaps not fully recognized immediately.
    [Show full text]
  • Solving Beltrami Equations by Circle Packing
    transactions of the american mathematical society Volume 322, Number 2, December 1990 SOLVING BELTRAMI EQUATIONS BY CIRCLE PACKING ZHENG-XU HE Abstract. We use Andreev-Thurston's theorem on the existence of circle pack- ings to construct approximating solutions to the Beltrami equations on Riemann surfaces. The convergence of the approximating solutions on compact subsets will be shown. This gives a constructive proof of the existence theorem for Beltrami equations. 1. Introduction A circle packing in the plane or in a closed Riemannian 2-manifold of con- stant curvature is a collection of closed round disks with disjoint interiors. The nerve of such circle packing is the embedded graph whose vertices are the centers of the disks and whose edges are the shortest geodesic arcs joining the centers of each pair of intersecting disks. By Andreev-Thurston's theorem, for any tri- 2 2 angulation of the Riemann sphere S , there is a circle packing on S , unique up to a Möbius transformation, whose nerve is isotopic to the 1-skeleton of the triangulation (see [T, Corollary 13.6.2, or MR]). Based on this fact, William P. Thurston suggested a geometric approach to the Riemann mapping theorem. Recently, Burt Rodin and Dennis Sullivan [RS] carried out this ap- proach and verified the convergence of Thurston's scheme. In this paper, we will use this circle packing method to construct approximations to solutions /:fi-»C of the Beltrami equation: (1.1) d,fi(z) = k(z)dzfi(z) a.e. z = x + iyeSi, where Q. is some open Jordan domain in C, and k: Q —>C is some measurable function with (1.2) ||A||00= esssup|A(z)|<l.
    [Show full text]
  • On Conformal Welding Homeomorphisms Associated to Jordan Curves
    Annales Academire Scientiarum Fennicre Series A. I. Mathematica Volumen 15, 1990, 293-306 ON CONFORMAL WELDING HOMEOMORPHISMS ASSOCIATED TO JORDAN CURVES Y. Katznelson, Subhashis Nag, and Dennis P. Sullivan Abstract tr'or any Jordan curve C on the Riemann sphere, the conformal welding home- omorphism, Weld(C), of the circle or real line onto itself is obtained by comparing the bLundary values of the Riemann mappings of the unit disk or upper half-plane onto the two complementa,ry Jordan regions separated by C. In Part I we show that a family of infinitely spiralling curves lie intermediate between smooth curves and curves with corners, in the sense that the welding for the spirals has a non-differentiable but Lipschitz singularity. We also show how the behaviour of Riemann mapping germs under analytic continuation implies that spirals were the appropriate curves to produce such weldings. A formula relating explicitly the rate of spiralling to the extent of non-differentiablity is proved by two methods, and related to known theorems for chord-arc curves. Part II studies families of Jordan curves possessing the same welding. We utilise curves with positive area and the Ahlfors-Bers generalised Riemann map- ping theorem to build an infinite dimensional "Teichmiiller space" of curves all having the same welding homeomorphism. A point of view on welding as a prob- Iem of extension of conformal structure is also derived in this part. Introduction In this paper we address two questions regarding the conformal welding home- omorphism, Wetd(C), associated to any Jordan curve C on the Riemann sphere Ö.
    [Show full text]
  • Constructing Complex Structures on Surfaces Via the Beltrami Equation
    Constructing complex structures on surfaces via the Beltrami equation Sayantan Khan University of Michigan Tuesday 30th October, 2018 Abstract Coming up with concrete examples of Riemann surfaces of genus 2 or higher is not very easy. One way to do so is to start with an orientable Riemannian manifold of dimension 2, and look at the conformal class of that metric, and that canonically corresponds to a complex structure on the surface. In this talk, we’ll see how to get the complex structure from the conformal structure by solving the Beltrami equation. 1 The problem with holomorphic maps Much like how a smooth manifold is defined in a first course on the subject, one can define Riemann surfaces in an analogous manner. Definition 1.1 (Riemann surface). A Riemann surface X is a topological space which is Hausdorff and second countable such that every point x 2 X has an open set U around it, and a homeomorphism φ to an open subset 0 0 -1 of C such that for any other choice of homeomorphism φ to an open subset of C, φ ◦ φ is a holomorphic function. For all purposes, it seems like a fairly innocuous definition, and just a generalization of the definition of a smooth surface. But anyone who has taken a complex analysis course knows well that holomorphic functions are often annoyingly rigid. Unlike smooth functions, you can’t just construct a holomorphic function to satisfy any property you want: for instance, the only holomorphic function that vanishes in an open set is the constant function 0.
    [Show full text]
  • Uniformization of Surface Laminations Annales Scientifiques De L’É.N.S
    ANNALES SCIENTIFIQUES DE L’É.N.S. ALBERTO CANDEL Uniformization of surface laminations Annales scientifiques de l’É.N.S. 4e série, tome 26, no 4 (1993), p. 489-516 <http://www.numdam.org/item?id=ASENS_1993_4_26_4_489_0> © Gauthier-Villars (Éditions scientifiques et médicales Elsevier), 1993, tous droits réservés. L’accès aux archives de la revue « Annales scientifiques de l’É.N.S. » (http://www. elsevier.com/locate/ansens) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systé- matique est constitutive d’une infraction pénale. Toute copie ou impression de ce fi- chier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Ann. scient. EC. Norm. Sup., 46 serie, t. 26, 1993, p. 489 a 516. UNIFORMIZATION OF SURFACE LAMINATIONS BY ALBERTO CANDEL ABSTRACT. — A surface lamination is a metric space that carries a foliation with leaves of dimension two. Given a riemannian metric along the leaves we study the problem of finding another such metric, in the same conformal class, for which all leaves have the same constant curvature. As for surfaces, the existence of such metric is determined by the Euler characteristics of the lamination. These numbers are obtained by evaluating the invariant transverse measures on the curvature form of the given metric. We prove that there is a metric of curvature — 1 (resp. 1) if and only if all Euler characteristics are negative (resp. positive). Using harmonic measures we prove a similar statement holds for flat metrics.
    [Show full text]
  • An Introduction to Riemann Surfaces
    Treball de final de grau Grau de Matem´atiques Facultat de Matem´atiques Universitat de Barcelona AN INTRODUCTION TO RIEMANN SURFACES Sergio Ruiz Bonilla Director: Ignasi Mundet i Riera Departament d'Algebra´ i Geometria. UB Barcelona, June 29, 2015 Introduction In this document we give a first view to Riemann surface theory. Starting from definition and examples in chapter I, in the next chapter one sees the relation be- tween the well known oriented smooth surfaces and this new object, with the result that any oriented smooth surfaces is equivalent to a Riemann surface. In order to prove this result, almost-complex structures and isothermal coordinates (be- tween others) are explained, and the key point is the existence of these isothermal coordinates for a smooth surface as we will see. Finally in Chapter III we stablish the relation between Riemann surfaces and algebraic curves. First we construct a Riemann surface from a polynomial, which is relatively easy, and then we give and prove the Main Theorem for Riemann sur- faces using Hilbert space techniques and some tools like the Riesz Representation Theorem. This Main Theorem is the key to prove the existence of meromorphic functions on a Riemann surface and the fact that any compact Riemann surface arises from a polynomial. Acknowledgments I would like to thank my advisor Ignasi Mundet, for all the time spent on me, and my parents, for supporting as much as parents can support their son. i ii Contents 1 Basic definitions and examples 1 1.1 Riemann surfaces . 1 1.2 The Riemann sphere .
    [Show full text]
  • On Hilbert Boundary Value Problem for Beltrami Equation
    Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 45, 2020, 957–973 ON HILBERT BOUNDARY VALUE PROBLEM FOR BELTRAMI EQUATION Vladimir Gutlyanskii, Vladimir Ryazanov, Eduard Yakubov and Artyem Yefimushkin National Academy of Sciences of Ukraine, Institute of Applied Mathematics and Mechanics Generala Batyuka str. 19, 84116 Slavyansk, Ukraine; [email protected] National University of Cherkasy, Physics Department, Laboratory of Mathematical Physics and National Academy of Sciences of Ukraine, Institute of Applied Mathematics and Mechanics Generala Batyuka str. 19, 84116 Slavyansk, Ukraine; [email protected] Holon Institute of Technology Golomb St. 52, Holon, 5810201, Israel; [email protected] National Academy of Sciences of Ukraine, Institute of Applied Mathematics and Mechanics Generala Batyuka str. 19, 84116 Slavyansk, Ukraine; a.yefi[email protected] In memory of Professor Bogdan Bojarski Abstract. We study the Hilbert boundary value problem for the Beltrami equation in the Jordan domains satisfying the quasihyperbolic boundary condition by Gehring–Martio, generally speaking, without (A)-condition by Ladyzhenskaya–Ural’tseva that was standard for boundary value problems in the PDE theory. Assuming that the coefficients of the problem are functions of countable bounded variation and the boundary data are measurable with respect to the logarithmic capacity, we prove the existence of the generalized regular solutions. As a consequence, we derive the existence of nonclassical solutions of the Dirichlet, Neumann and Poincaré boundary value problems for generalizations of the Laplace equation in anisotropic and inhomogeneous media. 1. Introduction Hilbert [31] studied the boundary value problem formulated as follows: To find an analytic function f(z) in a domain D bounded by a rectifiable Jordan contour C that satisfies the boundary condition (1.1) lim Re {λ(ζ) f(z)} = ϕ(ζ) ∀ ζ ∈ C, z→ζ where both the coefficient λ and the boundary date ϕ of the problem are continuously differentiable with respect to the natural parameter s on C.
    [Show full text]
  • The Role of the Beltrami Parametrization of Complex Structures in 2-D Free Conformal Field Theory Serge Lazzarini
    The role of the Beltrami parametrization of complex structures in 2-d Free Conformal Field Theory Serge Lazzarini To cite this version: Serge Lazzarini. The role of the Beltrami parametrization of complex structures in 2-d Free Conformal Field Theory. 2004. hal-00009272 HAL Id: hal-00009272 https://hal.archives-ouvertes.fr/hal-00009272 Submitted on 29 Sep 2005 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. The role of the Beltrami parametrization of complex structures in 2-d Free Conformal Field Theory Serge LAZZARINI Talk given at the Colloque de G´eom´etrie Complexe, 29 june - 3 July 1998, Universit´ede Paris 7, France published in G´eom´etrie Complexe II, Aspects contemporains dans les math´ematiques et la physique, F. Norguet & S. Ofman (Eds), Actualit´es scientifiques et industrielles, Hermann, Paris, 2004 Abstract. This talk gives a review on how complex geometry and a La- grangian formulation of 2-d conformal field theory are deeply related. In par- ticular, how the use of the Beltrami parametrization of complex structures on a compact Riemann surface fits perfectly with the celebrated locality prin- ciple of field theory, the latter requiring the use infinite dimensional spaces.
    [Show full text]