DOCSLIB.ORG

Geometric Measure Theory–Recent Applications

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Geometric Measure Theory–Recent Applications Geometric Measure Theory Recent Applications Tatiana Toro GMT Introduction questions that gave rise to the field, briefly mention some Geometric Measure Theory (GMT) provides a framework of the milestones, and then focus on some of the recent to address questions in very different areas of mathemat- developments at the intersection of GMT, potential theory, ics, including calculus of variations, geometric analysis, po- and harmonic analysis. tential theory, free boundary regularity, harmonic analy- The origins of the field can be traced to the following sis, and theoretical computer science. Progress in different question: do the infinitesimal properties of a measure deter- branches of GMT has led to the emergence of new chal- mine the structure of its support? lenges, making it a very vibrant area of research. In this In the late 1920s and early ’30s Besicovitch was inter- 2 note we will provide a historic background to some of the ested in understanding the structure of a set 퐸 ⊂ ℝ satis- fying 0 < ℋ1(퐸) < ∞ and such that for ℋ1-a.e. 푥 ∈ 퐸, Tatiana Toro is the Craig McKibben & Sarah Merner Professor in Mathematics ℋ1(퐵(푥, 푟) ∩ 퐸) at the University of Washington. She was partially supported by NSF grant lim = 1, (1) + DMS-1664867. Her email address is [email protected]. 푟→0 2푟 Communicated by Notices Associate Editor Chikako Mese. where ℋ1 denotes the 1-dimensional Hausdorff measure. For permission to reprint this article, please contact: (The formulation above is a modern version of the prob- [email protected]. lem. Besicovitch, who most likely was unaware of the exis- DOI: https://doi.org/10.1090/noti1853 tence of the Hausdorff measure, formulated the question 474 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY VOLUME 66, NUMBER 4 in terms of the linear measure.) For 푛 ≥ 1, the 푛-dimen- 휇 = ℋ푛 퐸 by a general Radon measure 휇? Initially 푛 푚 sional Hausdorff measure ℋ in ℝ generalizes the no- progress on these questions was slow. tions of length of a curve (푛 = 1), surface area (푛 = In 1944, Morse and Randolph [52] proved when 푚 = 푚 2), and volume (푛 = 3) to subsets of ℝ . Moreover 2 that if 휇 is a Radon measure on ℝ푚 for which the 1- 푛 푛 푛 푛 ℒ ℝ = ℋ ℝ density exists 휇-a.e., then 휇 is 1-rectifiable. In 1950, Moore Besicovitch showed that if 퐸 satisfies the hypothesis (1), [51] showed that this result holds for any 푚. In 1961, then 퐸 is 1-rectifiable; that is, 퐸 is contained in a countable Marstrand [48] showed that if 퐸 ⊂ ℝ3 and the 2-density union of Lipschitz images of ℝ union a set of 1-Hausdorff exists for ℋ2 퐸, ℋ2-a.e 푥 ∈ ℝ3, then 퐸 is 2-rectifiable. measure 0 (see [16], [17]). In GMT the notion of rectifia- In 1975, Mattila [49] proved that if 퐸 ⊂ ℝ푚 and the 푛- bility is used to describe the structure (also the regularity) density exists for ℋ푛 퐸, ℋ푛-a.e 푥 ∈ ℝ푚, then 퐸 is 푛- of a set or a measure in a way similar to how the degree of rectifiable, completing the study of the problem formea- differentiability of charts is used to describe the smooth- sures that were defined as the restriction of Hausdorff mea- 푚 ness of a manifold in differential geometry. A set 퐸 ⊂ ℝ sure to a subset of Euclidean space. This still left open the is 푛-rectifiable if case of a general Radon measure. ∞ In 1987, in a true masterpiece, Preiss [56] showed that 푛 푚 퐸 ⊂ ⋃ 푓푗(ℝ ) ∪ 퐸0, if 휇 is a Radon measure on ℝ for which the 푛-density 푖=1 exists for 휇-a.e 푥 ∈ ℝ푚, then 휇 is 푛-rectifiable. Preiss 푛 푚 푛 where 푓푗 ∶ ℝ → ℝ is a Lipschitz map and ℋ (퐸0) = introduced a number of new tools and ideas whose appli- 0. Recall that 푓푗 is Lipschitz if there exists 퐿푗 > 0 s.t. for cations are still being unraveled and play a central role in 푥, 푦 ∈ ℝ푛 the results to be discussed later in this article. The question of rectifiability of a measure carries information about the |푓푗(푥) − 푓푗(푦)| ≤ 퐿푗|푥 − 푦|. fine structure of its measure-theoretic support. Motivated In 1947, Federer [30] proved a general converse of Besicov- by this perspective, Preiss introduced the notion of tangent 푚 itch’s theorem: if 푛 < 푚 and 퐸 ⊂ ℝ is 푛-rectifiable, then measures, which play the role that derivatives do when an- 푛 for ℋ -a.e. 푥 ∈ 퐸 alyzing the regularity of a function. They are obtained by ℋ푛(퐵(푥, 푟) ∩ 퐸) a limiting process of rescaled multiples of the initial mea- lim = 1, 푛 (2) 푟→0+ 휔푛푟 sure. Preiss’s argument includes a number of major steps, some of which have given rise to very interesting questions. where 휔푛 denotes the Lebesgue measure of the unit ball in ℝ푛. Roughly speaking, a blow up procedure shows that when 푛 휇 휇 휇 We introduce some terminology that will help us set the -density of exists -a.e., then at -a.e. point all tan- 푚 푛 휈 푛 the framework. Let 휇 be a Radon measure in ℝ (i.e. a gent measures are -uniform. A measure is -uniform 퐶 > 0 푟 > 0 푥 Borel regular measure that is finite on compact sets). The if there is a constant so that for and in Λ = spt 휈 = {푦 ∈ ℝ푚 ∶ 휈(퐵(푦, 푠)) > 푛-density of 휇 at 푥 the support 0 for every 푠 > 0} of 휈, we have 휇(퐵(푥, 푟)) 휃푛(휇, 푥) ∶= lim 푛 (3) 푛 푟→0 휔푛푟 휈(퐵(푥, 푟)) = 퐶푟 . (4) exists if the limit exists and 휃푛(휇, 푥) ∈ (0, ∞) 푚 His argument now requires a detailed understanding of A locally finite measure 휇 on ℝ is 푛-rectifiable if 휇 is the structure and geometry of the support of 푛-uniform absolutely continuous with respect to ℋ푛 (휇 ≪ ℋ푛, i.e 푛 measures. By work of Kirchheim and Preiss [43], the sup- ℋ (퐹) = 0 implies 휇(퐹) = 0) and port of an 푛-uniform measure 휈 is an analytic variety. Thus, ∞ using the fact that at 휇-a.e point, tangent measures to tan- 푚 푛 휇(ℝ \ ⋃ 푓푗(ℝ )) = 0, gent measures to 휇 are tangent measures to 휇, he showed 푗=1 that at 휇-a.e. point there is an 푛-flat tangent measure; that 푛 푚 where each 푓푗 ∶ ℝ → ℝ is Lipschitz. Recasting the re- is, a measure that is a multiple of the 푛-dimensional Haus- sults above in this light, we have in the case when 푚 = 2 dorff measure restricted to an 푛-plane. Then he showed and 푛 = 1, that by Besicovitch’s work if 퐸 ⊂ ℝ푚 such that that either an 푛-uniform measure 휈 is an 푛-flat measure 0 < ℋ푛(퐸) < ∞, and for ℋ푛-a.e. 푥 ∈ 퐸 the density of or its support is very far away from any 푛-plane. Using a 휇 = ℋ푛 퐸 exists and is 1, then 퐸 is 푛-rectifiable. By Fed- deep result about the “cones” of measures, he proves that erer’s work the converse in any dimension is true, that is, necessarily at 휇-a.e point all tangent measures are 푛-flat. if 퐸 ⊂ ℝ푚 is 푛-rectifiable then the density of 휇 = ℋ푛 퐸 Then modulo showing that this implies that the measure- exists and is 1 for ℋ푛-a.e. 푥 ∈ 퐸. Two natural questions theoretic support of 휇 satisfies the hypothesis of the Mar- arise at this point: 1) does Besicovitch’s result hold for any strand-Mattila rectifiability criterion, one concludes that 휇 푛, 푚 ∈ ℕ with 푛 < 푚? 2) what happens if we replace is 푛-rectifiable. APRIL 2019 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY 475 Harmonic Measure To illustrate how ideas from one field can have a profound impact in another, we will focus on some of the recent applications of Preiss’s work to harmonic analysis and po- tential theory. The harmonic measure is a canonical mea- sure associated to the Laplacian (see definition below). It plays a fundamental role in potential theory, constitutes the main building block for the solutions of the classical Dirichlet problem, and in non-smooth domains is the ob- ject that allows us to describe boundary regularity of the so- lutions to Laplace’s equation. We recall some of the back- ground. Let Ω ⊂ ℝ푛+1 be a bounded domain, let 푓 be a continuous function on the boundary of Ω, i.e. 푓 ∈ 퐶(휕Ω). The classical Dirichlet problems asks whether there exists a function 푢 ∈ 퐶(Ω) ∩ 푊1,2(Ω) such that Δ푢 = 0 in Ω { (5) 푢 = 푓 on 휕Ω. 1,2 Figure 1. Kowalski-Preiss cone Here 푢 ∈ 푊 (Ω) means that 푢 and its weak deriva- tives are in 퐿2(Ω) and Δ푢 = 0 is interpreted in the weak 휁 ∈ 퐶1(Ω) A natural and easy-to-state question derived from this sense; that is, for any 푐 , work is: what does the support of an 푛-uniform measure on ℝ푚 really looks like? Clearly the restriction of 푛-Haus- ∫⟨∇푢, ∇휁⟩ = 0. dorff measure to an 푛-plane is 푛-uniform, but are there other examples? Work of Preiss [56] shows that if 푛 = The questions here are whether a solution 푢 of (5) exists, if 1, 2 flat measures are the only examples of 푛-uniform mea- so how regular it is, and whether there is a formula in terms sures.
Load more

Recommended publications
  • Geometric Integration Theory Contents
    Steven G. Krantz Harold R. Parks Geometric Integration Theory Contents Preface v 1 Basics 1 1.1 Smooth Functions . 1 1.2Measures.............................. 6 1.2.1 Lebesgue Measure . 11 1.3Integration............................. 14 1.3.1 Measurable Functions . 14 1.3.2 The Integral . 17 1.3.3 Lebesgue Spaces . 23 1.3.4 Product Measures and the Fubini–Tonelli Theorem . 25 1.4 The Exterior Algebra . 27 1.5 The Hausdorff Distance and Steiner Symmetrization . 30 1.6 Borel and Suslin Sets . 41 2 Carath´eodory’s Construction and Lower-Dimensional Mea- sures 53 2.1 The Basic Definition . 53 2.1.1 Hausdorff Measure and Spherical Measure . 55 2.1.2 A Measure Based on Parallelepipeds . 57 2.1.3 Projections and Convexity . 57 2.1.4 Other Geometric Measures . 59 2.1.5 Summary . 61 2.2 The Densities of a Measure . 64 2.3 A One-Dimensional Example . 66 2.4 Carath´eodory’s Construction and Mappings . 67 2.5 The Concept of Hausdorff Dimension . 70 2.6 Some Cantor Set Examples . 73 i ii CONTENTS 2.6.1 Basic Examples . 73 2.6.2 Some Generalized Cantor Sets . 76 2.6.3 Cantor Sets in Higher Dimensions . 78 3 Invariant Measures and the Construction of Haar Measure 81 3.1 The Fundamental Theorem . 82 3.2 Haar Measure for the Orthogonal Group and the Grassmanian 90 3.2.1 Remarks on the Manifold Structure of G(N,M).... 94 4 Covering Theorems and the Differentiation of Integrals 97 4.1 Wiener’s Covering Lemma and its Variants .
    [Show full text]
  • A Measure on the Harmonic Boundary of a Riemann Surface
    A MEASURE ON THE HARMONIC BOUNDARY OF A RIEMANN SURFACE MITSURU NAKAI Introduction 1. In the usual theory of harmonic functions on a plane domain, the fact that the boundary of the domain is realized relative to the complex plane plays an essential role and supplies many powerful tools, for instance, the solution of Dirichlet problem. But in the theory of harmonic functions on a general domain, i.e. on a Riemann surface, the main difficulty arises from the lack of the "visual" boundary of the surface. Needless to say, in general we cannot expect to get the "relative" boundary with respect to some other larger surface. In view of this, we need some "abstract" compactification. It seems likely that we cannot expect to get the "universal" boundary which is appropriate for any harmonic functions since there exist many surfaces which do not admit some classes of harmonic functions as the classification theory shows. Hence we need many compactifications corresponding to what class of harmonic functions we are going to investigate. There are two typical compactifications, as Royden [10] pointed out, Martin's compactification and Royden's compactification. The former seems appropriate for the study of //"^-functions and the latter aims to be used for the study of HBD-ίunctions, which we are going to investigate in this paper. Λ similar investigation is carried out by Kuramochi in the direction of Martin. 2. Royden's compactification is first introduced by Royden and has been studied by Mori, Mori-Ota, Kusunoki-Mori and the present author. But these investigations seem to be restricted for ffi?D-functions.
    [Show full text]
  • 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.
    [Show full text]
  • On Stochastic Distributions and Currents
    NISSUNA UMANA INVESTIGAZIONE SI PUO DIMANDARE VERA SCIENZIA S’ESSA NON PASSA PER LE MATEMATICHE DIMOSTRAZIONI LEONARDO DA VINCI vol. 4 no. 3-4 2016 Mathematics and Mechanics of Complex Systems VINCENZO CAPASSO AND FRANCO FLANDOLI ON STOCHASTIC DISTRIBUTIONS AND CURRENTS msp MATHEMATICS AND MECHANICS OF COMPLEX SYSTEMS Vol. 4, No. 3-4, 2016 dx.doi.org/10.2140/memocs.2016.4.373 ∩ MM ON STOCHASTIC DISTRIBUTIONS AND CURRENTS VINCENZO CAPASSO AND FRANCO FLANDOLI Dedicated to Lucio Russo, on the occasion of his 70th birthday In many applications, it is of great importance to handle random closed sets of different (even though integer) Hausdorff dimensions, including local infor- mation about initial conditions and growth parameters. Following a standard approach in geometric measure theory, such sets may be described in terms of suitable measures. For a random closed set of lower dimension with respect to the environment space, the relevant measures induced by its realizations are sin- gular with respect to the Lebesgue measure, and so their usual Radon–Nikodym derivatives are zero almost everywhere. In this paper, how to cope with these difficulties has been suggested by introducing random generalized densities (dis- tributions) á la Dirac–Schwarz, for both the deterministic case and the stochastic case. For the last one, mean generalized densities are analyzed, and they have been related to densities of the expected values of the relevant measures. Ac- tually, distributions are a subclass of the larger class of currents; in the usual Euclidean space of dimension d, currents of any order k 2 f0; 1;:::; dg or k- currents may be introduced.
    [Show full text]
  • Harmonic Measure
    Chapter 6 Harmonic Measure Prologue: It is unfortunate that most graduate com- plex analysis courses do not treat harmonic measure. Indeed, most complex analysis texts do not cover the topic. The term “harmonic measure” was introduced by R. Nevanlinna in the 1920s. But the ideas were antici- pated in work of the Riesz brothers and others. It is still studied intensively today. Harmonic measure is a natural outgrowth of the study of the Dirichlet problem. It is a decisive tool for mea- suring the growth of functions, and to seeing how they bend. It has been used in such diverse applications as the corona problem and in mapping problems. Harmonic measure has particularly interesting applications in prob- ability theory—especially in the consideration of diffus- tions and Brownian motion. It requires a little sophistication to appreciate har- monic measure. And calculating the measure—working through the examples—requires some elbow grease. But the effort is worth it and the results are substantial. This chapter gives a basic introduction to the idea of harmonic measure. 169 79344-3_Printer Proof.pdf 183 “CH06” — 2015/10/26 — 17:20 — page 169 — #1 11/6/2015 1:52:49 PM 170 CHAPTER 6. HARMONIC MEASURE 6.1 The Idea of Harmonic Measure Capsule: Harmonic measure is a way of manipulating the data that comes from the Dirichlet problem. It is a way of measuring the geom- etry of a domain, and can be used to control the growth of harmonic functions. Let Ω ⊆ C be a domain with boundary consisting of finitely many Jordan curves (we call such a domain a Jordan domain).
    [Show full text]
  • A Direct Approach to Plateau's Problem 1
    A DIRECT APPROACH TO PLATEAU'S PROBLEM C. DE LELLIS, F. GHIRALDIN, AND F. MAGGI Abstract. We provide a compactness principle which is applicable to different formulations of Plateau's problem in codimension 1 and which is exclusively based on the theory of Radon measures and elementary comparison arguments. Exploiting some additional techniques in geometric measure theory, we can use this principle to give a different proof of a theorem by Harrison and Pugh and to answer a question raised by Guy David. 1. Introduction Since the pioneering work of Reifenberg there has been an ongoing interest into formulations of Plateau's problem involving the minimization of the Hausdorff measure on closed sets coupled with some notion of \spanning a given boundary". More precisely consider any closed set H ⊂ n+1 n+1 R and assume to have a class P(H) of relatively closed subsets K of R nH, which encodes a particular notion of \K bounds H". Correspondingly there is a formulation of Plateau's problem, namely the minimum for such problem is n m0 := inffH (K): K 2 P(H)g ; (1.1) n and a minimizing sequence fKjg ⊂ P(H) is characterized by the property H (Kj) ! m0. Two good motivations for considering this kind of approach rather than the one based on integer rectifiable currents are that, first, not every interesting boundary can be realized as an integer 3 rectifiable cycle and, second, area minimizing 2-d currents in R are always smooth away from their boundaries, in contrast to what one observes with real world soap films.
    [Show full text]
  • Dimensional Properties of the Harmonic Measure for a Random Walk on a Hyperbolic Group Vincent Le Prince
    Dimensional properties of the harmonic measure for a random walk on a hyperbolic group Vincent Le Prince To cite this version: Vincent Le Prince. Dimensional properties of the harmonic measure for a random walk on a hyperbolic group. Transactions of the American Mathematical Society, American Mathematical Society, 2007, 359 (6), pp.2881-2898. hal-00003284 HAL Id: hal-00003284 https://hal.archives-ouvertes.fr/hal-00003284 Submitted on 15 Nov 2004 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. Dimensional properties of the harmonic measure for a random walk on a hyperbolic group Vincent Le Prince 15th November 2004 Abstract: This paper deals with random walks on isometry groups of Gromov hyperbolic spaces, and more precisely with the dimension of the harmonic measure ν associated with such a random walk. We first establish a link of the form dim ν ≤ h/l between the dimension of the harmonic measure, the asymptotic entropy h of the random walk and its rate of escape l. Then we use this inequality to show that the dimension of this measure can be made arbitrarily small and deduce a result on the type of the harmonic measure.
    [Show full text]
  • Harmonic Analysis Meets Geometric Measure Theory
    Geometry of Measures: Harmonic Analysis meets Geometric Measure Theory T. Toro ∗ 1 Introduction One of the central questions in Geometric Measure Theory is the extend to which the regularity of a measure determines the geometry of its support. This type of question was initially studied by Besicovitch, and then pursued by many authors among others Marstrand, Mattila and Preiss. These authors focused their attention on the extend to which the behavior of the density ratio of a m given Radon measure µ in R with respect to Hausdorff measure determines the regularity of the µ(B(x;r)) m support of the measure, i.e. what information does the quantity rs for x 2 R , r > 0 and s > 0 encode. In the context of the study of minimizers of area, perimeter and similar functionals the correct density ratio is monotone, the density exists and its behavior is the key to study the regularity and structure of these minimizers. This question has also been studied in the context of Complex Analysis. In this case, the Radon measure of interest is the harmonic measure. The general question is to what extend the structure of the boundary of a domain can be fully understood in terms of the behavior of the harmonic measure. Some of the first authors to study this question were Carleson, Jones, Wolff and Makarov. The goal of this paper is to present two very different type of problems, and the unifying techniques that lead to a resolution of both. In Section 2 we look at the history of the question initially studied by Besicovitch in dimension 2, as well as some of its offsprings.
    [Show full text]
  • Geometric Measure Theory
    Encyclopedia of Mathematical Physics, [version: May 19, 2007] Vol. 2, pp. 520–527 (J.-P. Fran¸coiseet al. eds.). Elsevier, Oxford 2006. Geometric Measure Theory Giovanni Alberti Dipartimento di Matematica, Universit`adi Pisa L.go Pontecorvo 5, 56127 Pisa Italy e-mail: [email protected] 1. Introduction The aim of these pages is to give a brief, self-contained introduction to that part of Geometric Measure Theory which is more directly related to the Calculus of Variations, namely the theory of currents and its applications to the solution of Plateau problem. (The theory of finite perimeter sets, which is closely related to currents and to the Plateau problem, is treated in the article “Free interfaces and free discontinuities: variational problems”). Named after the belgian physicist J.A.F. Plateau (1801-1883), this problem was originally formulated as follows: find the surface of minimal area spanning a given curve in the space. Nowadays, it is mostly intended in the sense of developing a mathematical framework where the existence of k-dimensional surfaces of minimal volume that span a prescribed boundary can be rigorously proved. Indeed, several solutions have been proposed in the last century, none of which is completely satisfactory. One difficulty is that the infimum of the area among all smooth surfaces with a certain boundary may not be attained. More precisely, it may happen that all minimizing sequences (that is, sequences of smooth surfaces whose area approaches the infimum) converge to a singular surface. Therefore one is forced to consider a larger class of admissible surfaces than just smooth ones (in fact, one might want to do this also for modelling reasons—this is indeed the case with soap films, soap bubbles, and other capillarity problems).
    [Show full text]
  • How Twisted Can a Jordan Curve Be?
    HOW TWISTED CAN A JORDAN CURVE BE? Manfred Sauter Everyone knows what a curve is, until he has studied enough mathematics to become confused through the countless num- ber of possible exceptions. — Felix Klein (1849–1925) We start by fixing notation. A closed curve is a continuous map γ : [0, 1] → 2 R with γ(0) = γ(1), and it is a closed Jordan curve if in addition γ|[0,1) is injective. Similarly one defines a (Jordan) arc, a polygonal (Jordan) arc and a closed polygonal (Jordan) curve. It is well-known, of course, that a closed Jordan curve γ partitions the plane into three connected components: the bounded open interior int γ, the unbounded open exterior ext γ and the compact (image of the) curve itself, which is the common boundary of the first two components. For a captivating historical overview of the struggle to understand curves and toplological dimension we refer to [Cri99], where most of the classical topological results that appear in this note are featured. For a closed polygonal Jordan curve γ there is a simple criterion to check whether a point x ∈ R2 \ γ is in its interior. This criterion is algorithmic in nature and useful in computational geometry, see for example [O’R98, Section 7.4]. Consider a ray emerging from x towards infinity and count the number of intersections with γ. If the ray is chosen such that it intersects the segments of γ only ouside of their end points (which can be easily arranged for a polygonal Jordan curve) or if intersections with the end points are counted appropriately, the point x is in the interior of γ if and only if the number of intersections is odd.
    [Show full text]
  • Rapid Course on Geometric Measure Theory and the Theory of Varifolds
    Crash course on GMT Sławomir Kolasiński Rapid course on geometric measure theory and the theory of varifolds I will present an excerpt of classical results in geometric measure theory and the theory of vari- folds as developed in [Fed69] and [All72]. Alternate sources for fragments of the theory are [Sim83], [EG92], [KP08], [KP99], [Zie89], [AFP00]. Rectifiable sets and the area and coarea formulas (1) Area and coarea for maps between Euclidean spaces; see [Fed69, 3.2.3, 3.2.10] or [KP08, 5.1, 5.2] (2) Area and coarea formula for maps between rectifiable sets; see [Fed69, 3.2.20, 3.2.22] or [KP08, 5.4.7, 5.4.8] (3) Approximate tangent and normal vectors and approximate differentiation with respect to a measure and dimension; see [Fed69, 3.2.16] (4) Approximate tangents and densities for Hausdorff measure restricted to an (H m; m) recti- fiable set; see [Fed69, 3.2.19] (5) Characterization of countably (H m; m)-rectifiable sets in terms of covering by submanifolds of class C 1; see [Fed69, 3.2.29] or [KP08, 5.4.3] Sets of finite perimeter (1) Gauss-Green theorem for sets of locally finite perimeter; see [Fed69, 4.5.6] or [EG92, 5.7–5.8] (2) Coarea formula for real valued functions of locally bounded variation; see [Fed69, 4.5.9(12)(13)] or [EG92, 5.5 Theorem 1] (3) Differentiability of approximate and integral type for real valued functions of locally bounded variation; see [Fed69, 4.5.9(26)] or [EG92, 6.1 Theorems 1 and 4] (4) Characterization of sets of locally finite perimeter in terms of the Hausdorff measure of the measure theoretic boundary; see [Fed69, 4.5.11] or [EG92, 5.11 Theorem 1] Varifolds (1) Notation and basic facts for submanifolds of Euclidean space, see [All72, 2.5] or [Sim83, §7] (2) Definitions and notation for varifolds, push forward by a smooth map, varifold disintegration; see [All72, 3.1–3.3] or [Sim83, pp.
    [Show full text]
  • An Improved Riemann Mapping Theorem and Complexity In
    AN IMPROVED RIEMANN MAPPING THEOREM AND COMPLEXITY IN POTENTIAL THEORY STEVEN R. BELL Abstract. We discuss applications of an improvement on the Riemann map- ping theorem which replaces the unit disc by another “double quadrature do- main,” i.e., a domain that is a quadrature domain with respect to both area and boundary arc length measure. Unlike the classic Riemann Mapping Theo- rem, the improved theorem allows the original domain to be finitely connected, and if the original domain has nice boundary, the biholomorphic map can be taken to be close to the identity, and consequently, the double quadrature do- main close to the original domain. We explore some of the parallels between this new theorem and the classic theorem, and some of the similarities between the unit disc and the double quadrature domains that arise here. The new results shed light on the complexity of many of the objects of potential theory in multiply connected domains. 1. Introduction The unit disc is the most famous example of a “double quadrature domain.” The average of an analytic function on the disc with respect to both area measure and with respect to boundary arc length measure yield the value of the function at the origin when these averages make sense. The Riemann Mapping Theorem states that when Ω is a simply connected domain in the plane that is not equal to the whole complex plane, a biholomorphic map of Ω to this famous double quadrature domain exists. We proved a variant of the Riemann Mapping Theorem in [16] that allows the domain Ω = C to be simply or finitely connected.
    [Show full text]