In a previous paper we developed a regularity and compactness theory in Euclidean ambient spaces for codimension 1 weakly stable CMC integral varifolds satisfying two (necessary) structural conditions. Here we generalize this theory to the setting where the mean curvature (of the regular part of the varifold) is prescribed by a given $C^{1, α}$ ambient function $g$ and the ambient space is a general $(n+1)$-dimensional Riemannian manifold; we give general conditions that imply that the support of the varifold, away from a possible singular set of dimension $\leq n-7,$ is the image of a $C^{2}$ immersion with continuous unit normal $ν$ and mean curvature $gν$. These conditions also identify a compact class of varifolds subject to an additional uniform mass bound.
If $g$ does not vanish anywhere, or more generally if the set $\{g=0\}$ is sufficiently small (e.g. if ${\mathcal H}^{n}\,(\{g=0\})=0$), then the results and their proofs are quite analogous to the CMC case. When $g$ is arbitrary however, a number of additional considerations must be taken into account: first, the correct second variation assumption is that of finite Morse index (rather than weak stability); secondly, to have a geometrically useful theory with compactness conclusions, one of the two structural conditions on the varifold must be weakened; thirdly, in view of easy examples, this weakening of a structural hypothesis necessitates additional hypotheses in order to reach the same conclusion. We identify two sets of additional assumptions under which this conclusion holds for general $g$: one of them gives regularity and compactness, the other one gives regularity and is applicable to certain phase transition problems. We also provide corollaries for multiplicity $1$ varifolds associated to reduced boundaries of Caccioppoli sets. In these cases, some or all of the structural assumptions become redundant.
We consider, in a first instance, the class of boundaries of sets with locally finite perimeter whose (weakly defined) mean curvature is $g ν$, for a given continuous positive ambient function $g$, and where $ν$ denotes the inner normal. It is well-known that taking limits in the sense of varifolds within this class is not possible in general, due to the appearence of "hidden boundaries", that is, portions (of positive measure with even multiplicity) on which the (weakly defined) mean curvature vanishes, so that $g$ does not prescribe the mean curvature in the limit. As a special instance of a…
We prove that $m$-dimensional Lipschitz graphs with anisotropic mean curvature bounded in $L^p$, $p>m$, are regular almost everywhere in every dimension and codimension. This provides partial or full answers to multiple open questions arising in the literature. The anisotropic energy is required to satisfy a novel ellipticity condition, which holds for instance in a $C^2$ neighborhood of the area functional. This condition is proved to imply the atomic condition. In particular we provide the first non-trivial class of examples of anisotropic energies in high codimension satisfying the atomic c…
Let $(M^n,g)$ be simply connected, complete, with non-positive sectional curvatures, and $Σ$ a 2-dimensional closed integral current (or flat chain mod 2) with compact support in $M$. Let $S$ be an area minimising integral 3-current (resp. flat chain mod 2) such that $\partial S = Σ$. We use a weak mean curvature flow, obtained via elliptic regularisation, starting from $Σ$, to show that S satisfies the optimal Euclidean isoperimetric inequality: $ 6 \sqrtπ\, \mathbf{M}[S] \leq (\mathbf{M}[Σ])^{3/2} $. We also obtain an optimal estimate in case the sectional curvatures of M are bounded from ab…
Chen's flow is a fourth-order curvature flow motivated by the spectral decomposition of immersions, a program classically pushed by B.-Y. Chen since the 1970s. In curvature flow terms the flow sits at the critical level of scaling together with the most popular extrinsic fourth-order curvature flow, the Willmore and surface diffusion flows. Unlike them however the famous Chen conjecture indicates that there should be no stationary nonminimal data, and so in particular the flow should drive all closed submanifolds to singularities. We investigate this idea, proving that (1) closed data becomes …
