Geometric measure theory

In mathematics, geometric measure theory (GMT) is the study of geometric properties of sets (typically in Euclidean space) through measure theory. It allows mathematicians to extend tools from differential geometry to a much larger class of surfaces that are not necessarily smooth.

History

Geometric measure theory was born out of the desire to solve Plateau's problem (named after Joseph Plateau) which asks if for every smooth closed curve in ${\displaystyle \mathbb {R} ^{3}}$ there exists a surface of least area among all surfaces whose boundary equals the given curve. Such surfaces mimic soap films.

The problem had remained open since it was posed in 1760 by Lagrange. It was solved independently in the 1930s by Jesse Douglas and Tibor Radó under certain topological restrictions. In 1960 Herbert Federer and Wendell Fleming used the theory of currents with which they were able to solve the orientable Plateau's problem analytically without topological restrictions, thus sparking geometric measure theory. Later Jean Taylor after Fred Almgren proved Plateau's laws for the kind of singularities that can occur in these more general soap films and soap bubbles clusters.

Important notions

The following objects are central in geometric measure theory:

• Hausdorff measure and Hausdorff dimension
• Rectifiable sets (or Radon measures), which are sets with the least possible regularity required to admit approximate tangent spaces.
• Characterization of rectifiability through existence of approximate tangents, densities, projections, etc.
• Orthogonal projections, Kakeya sets, Besicovitch sets
• Uniform rectifiability
• Rectifiability and uniform rectifiability of (subsets of) metric spaces, e.g. SubRiemannian manifolds, Carnot groups, Heisenberg groups, etc.
• Connections to singular integrals, Fourier transform, Frostman measures, harmonic measures, etc
• Currents, a generalization of the concept of oriented manifolds, possibly with boundary.
• Flat chains, an alternative generalization of the concept of manifolds, possibly with boundary.
• Caccioppoli sets (also known as sets of locally finite perimeter), a generalization of the concept of manifolds on which the divergence theorem applies.
• Plateau type minimization problems from calculus of variations

The following theorems and concepts are also central:

• The area formula, which generalizes the concept of change of variables in integration.
• The coarea formula, which generalizes and adapts Fubini's theorem to geometric measure theory.
• The isoperimetric inequality, which states that the smallest possible circumference for a given area is that of a round circle.
• Flat convergence, which generalizes the concept of manifold convergence.

Examples

The Brunn–Minkowski inequality for the n-dimensional volumes of convex bodies K and L,

${\displaystyle \mathrm {vol} {\big (}(1-\lambda )K+\lambda L{\big )}^{1/n}\geq (1-\lambda )\mathrm {vol} (K)^{1/n}+\lambda \,\mathrm {vol} (L)^{1/n},}$

can be proved on a single page and quickly yields the classical isoperimetric inequality. The Brunn–Minkowski inequality also leads to Anderson's theorem in statistics. The proof of the Brunn–Minkowski inequality predates modern measure theory; the development of measure theory and Lebesgue integration allowed connections to be made between geometry and analysis, to the extent that in an integral form of the Brunn–Minkowski inequality known as the Prékopa–Leindler inequality the geometry seems almost entirely absent.

Gauss curvature measure

The Gauss map provides a mapping from every point on a curve or a surface to a corresponding point on a unit sphere. In this example, the curvature of a 2D-surface is mapped onto a 1D unit circle.

Consider the Gauss map , which sends each point on a smooth surface to the unit vector orthogonal to its local tangent plane. This can be generalized. Let ${\displaystyle K}$ be a closed surface in ${\displaystyle \mathbb {R} ^{n}}$ containing the origin, and enclosing a convex region, then each point on ${\displaystyle K}$ has one or more local supporting planes. For any ${\displaystyle z\in K}$, define ${\displaystyle N_{K}(z)}$ to be the set of orthogonal directions to all local supporting planes to ${\displaystyle K}$ at ${\displaystyle z}$.

Now we define the multivalued Gauss map ${\displaystyle G_{K}:\mathbb {S} ^{n-1}\to \mathbb {S} ^{n-1}}$ defined by $${\displaystyle G_{K}(x)=N_{K}(\rho (x)x)}$$where ${\displaystyle \rho (x)x}$ is the intersection of the ray ${\displaystyle 0\to x}$ with ${\displaystyle K}$. This map then maps the uniform measure ${\displaystyle \mu }$ on ${\displaystyle \mathbb {S} ^{n-1}}$ to another measure ${\displaystyle \mathbb {S} ^{n-1}}$ by $${\displaystyle \mu _{K}(E):=\mu (G_{K}(E))}$$for any Borel set. This is the Gaussian curvature measure associated with ${\displaystyle K}$. It is a Borel measure for any ${\displaystyle K}$.

This then induces the inverse problem: Given a Borel measure on the sphere, is it a Gaussian curvature measure? Alexandrov showed the following: ^{[1] : Thm. 2.21}

• Given a Borel measure ${\displaystyle \nu }$, there exists some such ${\displaystyle K}$ such that ${\displaystyle \nu =\mu _{K}}$ iff $${\displaystyle {\begin{cases}v\left(\mathbb {S} ^{n-1}\right)={\mathcal {H}}^{n-1}\left(\mathbb {S} ^{n-1}\right)\\v\left(\mathbb {S} ^{n-1}\backslash \omega \right)>{\mathcal {H}}^{n-1}\left(\omega ^{*}\right),\;\;\forall \omega \subseteq \mathbb {S} ^{n-1}{\text{ compact and convex. }}\end{cases}}}$$
• If such a ${\displaystyle K}$ exists, then it is unique up to dilation.

Such ${\displaystyle K}$ can be constructed as follows: Approximate ${\displaystyle \nu }$ as the weak limit of a sequence of point-mass measures. Each is the Gaussian curvature measure of a polytope, and the sequence of polytopes converge to ${\displaystyle K}$.

If ${\displaystyle \mu _{K}}$ has a bounded probability density function (in the sense of a Radon–Nikodym derivative):$${\displaystyle {\frac {d\mu _{K}}{d\mu }}(y)=\rho (y),\quad \rho$$ :\mathbb {S} ^{n-1}\to [0,c]}then ${\displaystyle K}$ is continuously differentiable (that is, its tangent planes are unique and varies continuously over its surface). ^{[1] : Thm. 2.22}

Surface area measure

Similarly, we define the surface area measure of ${\displaystyle K}$ by$${\displaystyle \nu _{K}(E):=\mu (N_{K}^{-1}(E))}$$for any Borel set. It is a Borel measure for any ${\displaystyle K}$. This has an intuitive picture in as follows: Consider an open set ${\displaystyle U\subset \mathbb {S} ^{n-1}}$ with a single connected continuous boundary ${\displaystyle \partial U}$. For each ${\displaystyle {\hat {n}}\in \partial U}$, produce the supporting plane of ${\displaystyle K}$ perpendicular to ${\displaystyle {\hat {n}}}$. As ${\displaystyle {\hat {n}}}$ runs over ${\displaystyle \partial U}$, the supporting planes rub all over ${\displaystyle K}$ and the contact points produces a ${\displaystyle (n-2)}$-dimensional closed subset of ${\displaystyle K}$ that encloses a ${\displaystyle (n-1)}$-dimensional region of ${\displaystyle K}$. Then ${\displaystyle \nu _{K}(U)}$ is its measure.

For example, if ${\displaystyle K}$ is a rectangle of side lengths ${\displaystyle 2a,2b}$ in the plane, then ${\displaystyle \mu _{K}}$ is the sum of four equal point mass measures $${\displaystyle {\frac {1}{4}}(\delta _{(a,b)/{\sqrt {a^{2}+b^{2}}}}+\delta _{(-a,b)/{\sqrt {a^{2}+b^{2}}}}+\delta _{(a,-b)/{\sqrt {a^{2}+b^{2}}}}+\delta _{(-a,-b)/{\sqrt {a^{2}+b^{2}}}})}$$but ${\displaystyle \nu _{K}}$ is the sum of four point mass measures ${\displaystyle 2b\delta _{(1,0)}+2b\delta _{(-1,0)}+2a\delta _{(0,1)}+2a\delta _{(0,-1)}}$.

Others

Given a convex function ${\displaystyle u:\Omega \to \mathbb {R} }$ where ${\displaystyle \Omega }$ is an open subset of ${\displaystyle \mathbb {R} ^{n}}$, its associated Monge–Ampère measure${\displaystyle \mu _{u}}$ on ${\displaystyle \Omega }$ is defined as ${\displaystyle \mu _{u}(E):=\mu (\cap _{x\in \Omega }\partial u(x))}$, where ${\displaystyle \partial }$ is the subdifferential function, and ${\displaystyle \mu }$ is the Lebesque measure on ${\displaystyle \mathbb {R} ^{n}}$. This has applications in the study of weak solutions to the Monge–Ampère equation. It is a nonnegative, locally finite, Borel measure. ^{[1] : Sec. 2.1}

See also

• Caccioppoli set
• Coarea formula
• Currents
• Herbert Federer
• Osgood curve

References

1. Figalli, Alessio (2017). The Monge-Ampère equation and its applications. Zurich lectures in advanced mathematics. Zürich: European Mathematical Society. ISBN   978-3-03719-170-5.

• Federer, Herbert; Fleming, Wendell H. (1960), "Normal and integral currents", Annals of Mathematics , II, 72 (4): 458–520, doi:10.2307/1970227, JSTOR   1970227, MR   0123260, Zbl   0187.31301 . The first paper of Federer and Fleming illustrating their approach to the theory of perimeters based on the theory of currents.
• Federer, Herbert (1969), Geometric measure theory, series Die Grundlehren der mathematischen Wissenschaften, vol. Band 153, New York: Springer-Verlag New York Inc., pp. xiv+676, ISBN   978-3-540-60656-7, MR   0257325
• Federer, H. (1978), "Colloquium lectures on geometric measure theory", Bull. Amer. Math. Soc., 84 (3): 291–338, doi: 10.1090/S0002-9904-1978-14462-0
• Fomenko, Anatoly T. (1990), Variational Principles in Topology (Multidimensional Minimal Surface Theory), Mathematics and its Applications (Book 42), Springer, Kluwer Academic Publishers, ISBN   978-0792302308
• Gardner, Richard J. (2002), "The Brunn-Minkowski inequality", Bull. Amer. Math. Soc. (N.S.), 39 (3): 355–405 (electronic), doi: 10.1090/S0273-0979-02-00941-2 , ISSN   0273-0979, MR   1898210
• Mattila, Pertti (1999), Geometry of Sets and Measures in Euclidean Spaces, London: Cambridge University Press, p. 356, ISBN   978-0-521-65595-8
• Morgan, Frank (2009), Geometric measure theory: A beginner's guide (Fourth ed.), San Diego, California: Academic Press Inc., pp. viii+249, ISBN   978-0-12-374444-9, MR   2455580
• Taylor, Jean E. (1976), "The structure of singularities in soap-bubble-like and soap-film-like minimal surfaces", Annals of Mathematics, Second Series, 103 (3): 489–539, doi:10.2307/1970949, JSTOR   1970949, MR   0428181 .
• O'Neil, T.C. (2001) [1994], "Geometric measure theory", Encyclopedia of Mathematics , EMS Press

External links

• Peter Mörters' GMT page
• Toby O'Neil's GMT page with references