Calculus of variations and optimal control; optimization Geometric measure theory and optimization on manifolds Theorem

Allard regularity theorem

Builds on Varifold Mean curvature Hölder continuity

Statement

Let $1 \le m < n$ be integers and let $p > m$ . Then there are constants $\varepsilon > 0$ and $\gamma \in (0, 1)$ , depending only on $n$ , $m$ and $p$ , with the following property. Let $\rho > 0$ , let $U \supseteq B_\rho(0)$ be an open subset of $\R^n$ , and let $V$ be an $m$ -dimensional rectifiable varifold in $U$ with weight measure $\norm{V}$ . Suppose that:

the density of $V$ is at least $1$ at $\norm{V}$ -almost every point;
$V$ has generalized mean curvature $H$ in $U$ , with $H \in L^p(\norm{V})$ ;
$0$ lies in the support of $\norm{V}$ ;
$\dfrac{\norm{V}(B_\rho(0))}{\omega_m \rho^m} \le 1 + \varepsilon$ , where $\omega_m$ is the volume of the unit ball of $\R^m$ ;
$\rho^{1 - m/p} \left( \int_{B_\rho(0)} \abs{H}^p \, d\norm{V} \right)^{1/p} \le \varepsilon$ .

Let $\alpha = 1 - m/p$ . Then there are an $m$ -dimensional linear subspace $T \subseteq \R^n$ and a $C^{1, \alpha}$ map $u$ from an open subset of $T$ to $T^\perp$ with this property. The support of $\norm{V}$ inside $B_{\gamma\rho}(0)$ is the graph of $u$ intersected with $B_{\gamma\rho}(0)$ .

Remarks

The theorem is due to William Allard (1972). Hypothesis 4 says that, at scale $\rho$ , $V$ has nearly the area of a single flat $m$ -disc; hypothesis 5 says that its mean curvature is small at that scale. The proof shows that $V$ is close to a plane in a scale-invariant tilt-excess sense. It then approximates $V$ by the graph of a Lipschitz function and shows that this function is nearly harmonic. An iteration over smaller and smaller balls then gives a Hölder continuous tangent plane, and the graph is $C^{1,\alpha}$ . The density bound in hypothesis 4 cannot be dropped. Two planes crossing at the origin, or one plane with multiplicity $2$ , are stationary varifolds with density $2$ at $0$ . Neither is the graph of a single function near $0$ . A main corollary concerns a stationary $V$ with density at least $1$ . The set of points near which its support is a smooth embedded submanifold is open and dense in the support.

Going deeper

For a student

The theorem is the basic $\varepsilon$ -regularity result for stationary and almost stationary varifolds. It plays the role for varifolds that De Giorgi's regularity theorem plays for perimeter minimizers. Combined with the monotonicity formula, it gives regularity at every point where the density is close to $1$ . It does not decide what happens at points of higher density, which is where branch points and crossings can occur.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph

Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.

no evidence level

Tag	`QDZ6DM42EB`
URI	`m2://QDZ6DM42EB`
Kind	statement, theorem
Writing	W0 stub
MSC	49Q15, 49Q05, 53A10
Status	This copy of the site has no build data. Run `m2 status QDZ6DM42EB`.
About	Varifold
Uses	Varifold, Mean curvature, Hölder continuity