Varifold

Last updated March 06, 2024

In mathematics, a varifold is, loosely speaking, a measure-theoretic generalization of the concept of a differentiable manifold, by replacing differentiability requirements with those provided by rectifiable sets, while maintaining the general algebraic structure usually seen in differential geometry. Varifolds generalize the idea of a rectifiable current, and are studied in geometric measure theory.

Historical note

Varifolds were first introduced by Laurence Chisholm Young in ( Young 1951 ), under the name "generalized surfaces".^[1]^[2] Frederick J. Almgren Jr. slightly modified the definition in his mimeographed notes ( Almgren 1965 ) and coined the name varifold: he wanted to emphasize that these objects are substitutes for ordinary manifolds in problems of the calculus of variations.^[3] The modern approach to the theory was based on Almgren's notes^[4] and laid down by William K. Allard, in the paper ( Allard 1972 ).

Definition

Given an open subset $\Omega$ of Euclidean space $\mathbb {R} ^{n}$ , an m-dimensional varifold on $\Omega$ is defined as a Radon measure on the set

\Omega \times G(n,m)

where $G(n,m)$ is the Grassmannian of all m-dimensional linear subspaces of an n-dimensional vector space. The Grassmannian is used to allow the construction of analogs to differential forms as duals to vector fields in the approximate tangent space of the set $\Omega$ .

The particular case of a rectifiable varifold is the data of a m-rectifiable set M (which is measurable with respect to the m-dimensional Hausdorff measure), and a density function defined on M, which is a positive function θ measurable and locally integrable with respect to the m-dimensional Hausdorff measure. It defines a Radon measure V on the Grassmannian bundle of ℝⁿ

V(A):=\int _{\Gamma _{M,A}}\!\!\!\!\!\!\!\theta (x)\mathrm {d} {\mathcal {H}}^{m}(x)

where

$\Gamma _{M,A}=M\cap \{x:(x,\mathrm {Tan} ^{m}(x,M))\in A\}$
${\mathcal {H}}^{m}(x)$ is the $m$ −dimensional Hausdorff measure

Rectifiable varifolds are weaker objects than locally rectifiable currents: they do not have any orientation. Replacing M with more regular sets, one easily see that differentiable submanifolds are particular cases of rectifiable manifolds.

Due to the lack of orientation, there is no boundary operator defined on the space of varifolds.

Notes

↑ In his commemorative papers describing the research of Frederick Almgren, BrianWhite ( 1997 , p.1452, footnote 1, 1998 , p.682, footnote 1) writes that these are "essentially the same class of surfaces".
↑ See also the 2015 unpublished essay of Wendell Fleming.
↑ Almgren (1993 , p. 46) exactly writes:-"I called the objects "varifolds" having in mind that they were a measure-theoretic substitute for manifolds created for the variational calculus ". As a matter of fact, the name is a portmanteau of variationalmanifold.
↑ The first widely circulated exposition of Almgren's ideas is the book ( Almgren 1966 ): however, the first systematic exposition of the theory is contained in the mimeographed notes ( Almgren 1965 ), which had a far lower circulation, even if it is cited in Herbert Federer's classic text on geometric measure theory. See also the brief, clear survey by EnnioDe Giorgi ( 1968 ).

Related Research Articles

In the mathematical fields of differential geometry and geometric analysis, the Ricci flow, sometimes also referred to as Hamilton's Ricci flow, is a certain partial differential equation for a Riemannian metric. It is often said to be analogous to the diffusion of heat and the heat equation, due to formal similarities in the mathematical structure of the equation. However, it is nonlinear and exhibits many phenomena not present in the study of the heat equation.

Shing-Tung Yau is a Chinese-American mathematician. He is the director of the Yau Mathematical Sciences Center at Tsinghua University and Professor Emeritus at Harvard University. Until 2022 he was the William Caspar Graustein Professor of Mathematics at Harvard, at which point he moved to Tsinghua.

In mathematical analysis, a function of bounded variation, also known as $BV$ function, is a real-valued function whose total variation is bounded (finite): the graph of a function having this property is well behaved in a precise sense. For a continuous function of a single variable, being of bounded variation means that the distance along the direction of the $y$ -axis, neglecting the contribution of motion along $x$ -axis, traveled by a point moving along the graph has a finite value. For a continuous function of several variables, the meaning of the definition is the same, except for the fact that the continuous path to be considered cannot be the whole graph of the given function, but can be every intersection of the graph itself with a hyperplane parallel to a fixed $x$ -axis and to the $y$ -axis.

In mathematics, Plateau's problem is to show the existence of a minimal surface with a given boundary, a problem raised by Joseph-Louis Lagrange in 1760. However, it is named after Joseph Plateau who experimented with soap films. The problem is considered part of the calculus of variations. The existence and regularity problems are part of geometric measure theory.

Richard Melvin Schoen is an American mathematician known for his work in differential geometry and geometric analysis. He is best known for the resolution of the Yamabe problem in 1984. He has a Chinese name 孙理察

In mathematics, a rectifiable set is a set that is smooth in a certain measure-theoretic sense. It is an extension of the idea of a rectifiable curve to higher dimensions; loosely speaking, a rectifiable set is a rigorous formulation of a piece-wise smooth set. As such, it has many of the desirable properties of smooth manifolds, including tangent spaces that are defined almost everywhere. Rectifiable sets are the underlying object of study in geometric measure theory.

In mathematics, more particularly in functional analysis, differential topology, and geometric measure theory, a k-current in the sense of Georges de Rham is a functional on the space of compactly supported differential k-forms, on a smooth manifold M. Currents formally behave like Schwartz distributions on a space of differential forms, but in a geometric setting, they can represent integration over a submanifold, generalizing the Dirac delta function, or more generally even directional derivatives of delta functions (multipoles) spread out along subsets of M.

In mathematical analysis, Rademacher's theorem, named after Hans Rademacher, states the following: If $U$ is an open subset of $R n$ and $f : U \to R m$ is Lipschitz continuous, then $f$ is differentiable almost everywhere in $U$ ; that is, the points in $U$ at which $f$ is not differentiable form a set of Lebesgue measure zero. Differentiability here refers to infinitesimal approximability by a linear map, which in particular asserts the existence of the coordinate-wise partial derivatives.

In mathematics, a Caccioppoli set is a set whose boundary is measurable and has a finite measure. A synonym is set of (locally) finite perimeter. Basically, a set is a Caccioppoli set if its characteristic function is a function of bounded variation.

Laurence Chisholm Young was a British mathematician known for his contributions to measure theory, the calculus of variations, optimal control theory, and potential theory. He was the son of William Henry Young and Grace Chisholm Young, both prominent mathematicians. He moved to the US in 1949 but never sought American citizenship.

In measure theory, tangent measures are used to study the local behavior of Radon measures, in much the same way as tangent spaces are used to study the local behavior of differentiable manifolds. Tangent measures are a useful tool in geometric measure theory. For example, they are used in proving Marstrand's theorem and Preiss' theorem.

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

Frederick Justin Almgren Jr. was an American mathematician working in geometric measure theory. He was born in Birmingham, Alabama.

Leon Melvyn Simon, born in 1945, is a Leroy P. Steele Prize and Bôcher Prize-winning mathematician, known for deep contributions to the fields of geometric analysis, geometric measure theory, and partial differential equations. He is currently Professor Emeritus in the Mathematics Department at Stanford University.

In mathematics, a diffiety is a geometrical object which plays the same role in the modern theory of partial differential equations that algebraic varieties play for algebraic equations, that is, to encode the space of solutions in a more conceptual way. The term was coined in 1984 by Alexandre Mikhailovich Vinogradov as portmanteau from differential variety.

In geometric measure theory, a field of mathematics, the Almgren regularity theorem, proved by Almgren, states that the singular set of a mass-minimizing surface has codimension at least 2. Almgren's proof of this was 955 pages long. Within the proof many new ideas are introduced, such as monotonicity of a frequency function and the use of a center manifold to perform a more intricate blow-up procedure.

In mathematics, flat convergence is a notion for convergence of submanifolds of Euclidean space. It was first introduced by Hassler Whitney in 1957, and then extended to integral currents by Federer and Fleming in 1960. It forms a fundamental part of the field of geometric measure theory. The notion was applied to find solutions to Plateau's problem. In 2001 the notion of an integral current was extended to arbitrary metric spaces by Ambrosio and Kirchheim.

In mathematics, the Almgren–Pitts min-max theory is an analogue of Morse theory for hypersurfaces.

Almgren isomorphism theorem is a result in geometric measure theory and algebraic topology about the topology of the space of flat cycles in a Riemannian manifold.

In geometric measure theory the area formula relates the Hausdorff measure of the image of a Lipschitz map, while accounting for multiplicity, to the integral of the Jacobian of the map. It is one of the fundamental results of the field that has connections, for example, to rectifiability and Sard's theorem.

References

Almgren, Frederick J. Jr. (1993), "Questions and answers about area-minimizing surfaces and geometric measure theory.", in Greene, Robert E.; Yau, Shing-Tung (eds.), Differential Geometry. Part 1: Partial Differential Equations on Manifolds. Proceedings of a summer research institute, held at the University of California, Los Angeles, CA, USA, July 8–28, 1990, Proceedings of Symposia in Pure Mathematics, vol. 54, Providence, RI: American Mathematical Society, pp. 29–53, ISBN 978-0-8218-1494-9, MR 1216574, Zbl 0812.49032 . This paper is also reproduced in ( Almgren 1999 , pp. 497–521).
Almgren, Frederick J. Jr. (1999), Selected works of Frederick J. Almgren, Jr., Collected Works, vol. 13, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-1067-5, MR 1747253, Zbl 0966.01031 .
De Giorgi, Ennio (1968), "Hypersurfaces of minimal measure in pluridimensional euclidean spaces" (PDF), in Petrovsky, Ivan G. (ed.), Trudy Mezhdunarodnogo kongressa matematikov. Proceedings of International Congress of Mathematicians (Moscow−1966), ICM Proceedings, Moscow: Mir Publishers, pp. 395−401, MR 0234329, Zbl 0188.17503 .
Allard, William K. (May 1972), "On the first variation of a varifold", Annals of Mathematics , Second Series, 95 (3): 417–491, doi:10.2307/1970868, JSTOR 1970868, MR 0307015, Zbl 0252.49028 .
Allard, William K. (May 1975), "On the first variation of a varifold: Boundary Behavior", Annals of Mathematics , Second Series, 101 (3): 418–446, doi:10.2307/1970934, JSTOR 1970934, MR 0397520, Zbl 0319.49026 .
Almgren, Frederick J. Jr. (1965), The theory of varifolds: A variational calculus in the large for the $k$ -dimensional area integrand, Princeton: Princeton University Library, p. 178. A set of mimeographed notes where Frederick J. Almgren Jr. introduces varifolds for the first time: the linked scan is available from Albert - The Digital Repository of the IAS.
Almgren, Frederick J. Jr. (1966), Plateau's Problem: An Invitation to Varifold Geometry, Mathematics Monographs Series (1st ed.), New York–Amsterdam: W. A. Benjamin, Inc., pp. XII+74, MR 0190856, Zbl 0165.13201 . The first widely circulated book describing the concept of a varifold. In chapter 4 is a section titled "A solution to the existence portion of Plateau's problem" but the stationary varifolds used in this section can only solve a greatly simplified version of the problem. For example, the only stationary varifolds containing the unit circle have support the unit disk. In 1968 Almgren used a combination of varifolds, integral currents, flat chains and Reifenberg's methods in an attempt to extend Reifenberg's celebrated 1960 paper to elliptic integrands. However, there are serious errors in his proof. A different approach to the Reifenberg problem for elliptic integrands has been recently provided by Harrison and Pugh ( HarrisonPugh 2016 ) without using varifolds.
Harrison, Jenny; Pugh, Harrison (2016), General Methods of Elliptic Minimization, p. 22, arXiv: 1603.04492 , Bibcode:2016arXiv160304492H .
Almgren, Frederick J. Jr. (2001) [1966], Plateau's Problem: An Invitation to Varifold Geometry, Student Mathematical Library, vol. 13 (2nd ed.), Providence, RI: American Mathematical Society, pp. xvi+78, ISBN 978-0-8218-2747-5, MR 1853442, Zbl 0995.49001 . The second edition of the book ( Almgren 1966 ).
Đào, Trọng Thi; Fomenko, A. T. (1991), Minimal Surfaces, Stratified Multivarifolds, and the Plateau Problem, Translations of Mathematical Monographs, vol. 84, Providence, RI: American Mathematical Society, pp. ix+404, ISBN 978-0-8218-4536-3, MR 1093903, Zbl 0716.53003 .
T. C. O'Neil (2001) [1994], "Geometric measure theory", Encyclopedia of Mathematics , EMS Press
Simon, Leon (1984), Lectures on Geometric Measure Theory, Proceedings of the Centre for Mathematical Analysis, vol. 3, Canberra: Centre for Mathematics and its Applications (CMA), Australian National University, pp. VII+272 (loose errata), ISBN 978-0-86784-429-0, MR 0756417, Zbl 0546.49019 .
Lin, Fanghua; Yang, Xiaoping (2002), Geometric Measure Theory – An Introduction, Advanced Mathematics (Beijing/Boston), vol. 1, Beijing–New York / Boston, MA: Science Press / International Press, pp. x+237, MR 2030862, Zbl 0546.49019 , ISBN 7-03-010271-1 (Science Press), ISBN 1-57146-125-6 (International Press).
White, Brian (1997), "The Mathematics of F. J. Almgren Jr.", Notices of the American Mathematical Society , 44 (11): 1451–1456, ISSN 0002-9920, MR 1488574, Zbl 0908.01017 .
White, Brian (1998), "The mathematics of F. J. Almgren, Jr.", The Journal of Geometric Analysis , 8 (5): 681–702, CiteSeerX 10.1.1.120.4639 , doi:10.1007/BF02922665, ISSN 1050-6926, MR 1731057, S2CID 122083638, Zbl 0955.01020 . An extended version of ( White 1997 ) with a list of Almgren's publications.
Young, Laurence C. (1951), "Surfaces parametriques generalisees", Bulletin de la Société Mathématique de France , 79: 59–84, doi: 10.24033/bsmf.1419 , MR 0046421, Zbl 0044.10203 .

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] In his commemorative papers describing the research of Frederick Almgren, BrianWhite ( 1997 , p.1452, footnote 1, 1998 , p.682, footnote 1) writes that these are "essentially the same class of surfaces".

[2] See also the 2015 unpublished essay of Wendell Fleming.

[3] Almgren (1993 , p. 46) exactly writes:-"I called the objects "varifolds" having in mind that they were a measure-theoretic substitute for manifolds created for the variational calculus ". As a matter of fact, the name is a portmanteau of variationalmanifold.

[4] The first widely circulated exposition of Almgren's ideas is the book ( Almgren 1966 ): however, the first systematic exposition of the theory is contained in the mimeographed notes ( Almgren 1965 ), which had a far lower circulation, even if it is cited in Herbert Federer's classic text on geometric measure theory. See also the brief, clear survey by EnnioDe Giorgi ( 1968 ).

[1]

[2]

[3]

[4]