We prove under suitable hypotheses that convergence of integral varifolds implies convergence of associated mod 2 flat chains and subsequential convergence of associated integer-multiplicity rectifiable currents. The convergence results imply restrictions on the kinds of singularities that can occur in mean curvature flow.
We consider the sharp interface limit of the Allen-Cahn equation with Dirichlet or dynamic boundary conditions and give a varifold characterization of its limit which is formally a mean curvature flow with Dirichlet or dynamic boundary conditions. In order to show the existence of the limit, we apply the phase field method under the vanishing on the boundary and the boundedness of the discrepancy measure. For this purpose, we extend the usual Brakke flow under these boundary conditions by the first variations for varifolds on the boundary.
We prove that the support of an $ m $ dimensional rectifiable varifold with a uniform lower bound on the density and bounded generalized mean curvature can be covered $ \mathscr{H}^{m} $ almost everywhere by a countable union of $m$ dimensional submanifolds of class $ \mathcal{C}^{2} $. We obtain this result using the notion of curvature of arbitrary closed sets originally developed in stochastic geometry and extending to our geometric setting techniques developed by Trudinger in the theory of viscosity solutions of PDE's.
We prove that every stationary polyhedral varifold minimizes area in the following senses: (1) its area cannot be decreased by a one-to-one Lipschitz ambient deformation that coincides with the identity outside of a compact set, and (2) it is the varifold associated to a mass-minimizing flat chain with coefficients in a certain metric abelian group. NOTE: After this paper was posted, I learned that (1) and (2) were already proved by Choe and Morgan, respectively. Thus this paper is an exposition of their results.
We propose a new weak solution concept for (two-phase) mean curvature flow which enjoys both (unconditional) existence and (weak-strong) uniqueness properties. These solutions are evolving varifolds, just as in Brakke's formulation, but are coupled to the phase volumes by a simple transport equation. First, we show that, in the exact same setup as in Ilmanen's proof [J. Differential Geom. 38, 417-461, (1993)], any limit point of solutions to the Allen-Cahn equation is a varifold solution in our sense. Second, we prove that any calibrated flow in the sense of Fischer et al. [arXiv:2003.05478] -…
De Giorgi varifold solutions to Mean Curvature Flow: a minimizing movements approach
Institut für Mathematik & Interdisziplinäres Zentrum für Wissenschaftliches Rechnen, Universität Heidelberg(海德堡大学数学与跨学科科学计算中心);Dipartimento di Scienze Matematiche, Fisiche e Informatiche, Università degli Studi di Parma(帕尔马大学数学、物理与信息科学系)
In this work a local inequality is provided which bounds the distance of an integral varifold from a multivalued plane (height) by its tilt and mean curvature. The bounds obtained for the exponents of the Lebesgue spaces involved are shown to be sharp.
This paper concerns integral varifolds of arbitrary dimension in an open subset of Euclidean space satisfying integrability conditions on their first variation. Firstly, the study of pointwise power decay rates almost everywhere of the quadratic tilt-excess is completed by establishing the precise decay rate for two-dimensional integral varifolds of locally bounded first variation. In order to obtain the exact decay rate, a coercive estimate involving a height-excess quantity measured in Orlicz spaces is established. Moreover, counter-examples to pointwise power decay rates almost everywhere o…
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…
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}$…
In this work it is shown that every integral varifold in an open subset of Euclidian space of locally bounded first variation can be covered by a countable collection of submanifolds of class C^2. Moreover, the mean curvature of each member of the collection agrees with the mean curvature of the varifold almost everywhere with respect to the varifold.
In this paper we deal with singular varieties of bounded mean curvature in the viscosity sense. They contain all varifolds of bounded generalized mean curvature. In the first part we investigate the second-order properties of these varieties, obtaining results that are new also in the varifold's setting. In particular we prove that the generalized normal bundle of these varieties satisfies a natural Lusin (N) condition, which allows to extend the classical Coarea formula for the Gauss map of smooth varieties, and to introduce for all integral varifolds of bounded mean curvature a natural defin…
The present paper is intended to provide the basis for the study of weakly differentiable functions on rectifiable varifolds with locally bounded first variation. The concept proposed here is defined by means of integration by parts identities for certain compositions with smooth functions. In this class the idea of zero boundary values is realised using the relative perimeter of superlevel sets. Results include a variety of Sobolev Poincaré type embeddings, embeddings into spaces of continuous and sometimes Hölder continuous functions, pointwise differentiability results both of approximate a…
We survey - by means of 20 examples - the concept of varifold, as generalised submanifold, with emphasis on regularity of integral varifolds with mean curvature, while keeping prerequisites to a minimum. Integral varifolds are the natural language for studying the variational theory of the area integrand if one considers, for instance, existence or regularity of stationary (or, stable) surfaces of dimension at least three, or the limiting behaviour of sequences of smooth submanifolds under area and mean curvature bounds.
We address the minimization of the Canham-Helfrich functional in presence of multiple phases. The problem is inspired by the modelization of heterogeneous biological membranes, which may feature variable bending rigidities and spontaneous curvatures. With respect to previous contributions, no symmetry of the minimizers is here assumed. Correspondingly, the problem is reformulated and solved in the weaker frame of oriented curvature varifolds. We present a lower semicontinuity result and prove existence of single- and multiphase minimizers under area and enclosed-volume constrains. Additionally…
This paper proves that classical minimal surfaces of arbitrary topological type with total boundary curvature at most 4πmust be smoothly embedded. Related results are proved for varifolds and for soap film surfaces.
We give two structural conditions on a codimension $1$ integral $n$-varifold with first variation locally summable to an exponent $p>n$ that imply the following: whenever each orientable portion of the $C^{1}$-embedded part of the varifold (which is non-empty by the Allard regularity theory) is stationarity and the $C^{2}$-immersed part of it is stable with respect to the area functional for volume preserving deformations, its support, except possibly on a closed set of codimension $7$, is an immersed constant-mean-curvature (cmc) hypersurface of class $C^{2}$ that can fail to be embedded only…
We prove a Poincaré, and a general Sobolev type inequalities for functions with compact support defined on a $k$-rectifiable varifold $V$ defined on a complete Riemannian manifold with positive injectivity radius and sectional curvature bounded above. Our techniques allow us to consider Riemannian manifolds $(M^n,g)$ with $g$ of class $C^2$ or more regular, avoiding the use of Nash's isometric embedding theorem. Our analysis permits to do some quite important fragments of geometric measure theory also for those Riemannian manifolds carrying a $C^2$ metric $g$, that is not $C^{k+α}$ with $k+α>2…
We develop a suitable generalization of Almgren's theory of varifolds in a lorentzian setting, focusing on area, first variation, rectifiability, compactness and closure issues. Motivated by the asymptotic behaviour of the scaled hyperbolic Ginzburg-Landau equations, and by the presence of singularities in lorentzian minimal surfaces, we introduce, within the varifold class, various notions of generalized minimal timelike submanifolds of arbitrary codimension in flat Minkowski spacetime, which are global in character and admit conserved quantities, such as relativistic energy and momentum. In …
If one considers an integral varifold $I^m\subseteq M$ with bounded mean curvature, and if $S^k(I)\equiv\{x\in M: \text{ no tangent cone at $x$ is }k+1\text{-symmetric}\}$ is the standard stratification of the singular set, then it is well known that $\dim S^k\leq k$. In complete generality nothing else is known about the singular sets $S^k(I)$. In this paper we prove for a general integral varifold with bounded mean curvature, in particular a stationary varifold, that every stratum $S^k(I)$ is $k$-rectifiable. In fact, we prove for $k$-a.e. point $x\in S^k$ that there exists a unique $k$-plan…
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…
This paper presents a conditional convergence result of solutions to the Allen--Cahn equation with arbitrary potentials to a De Giorgi type $ \mathrm{BV} $-solution to multiphase mean curvature flow. Moreover we show that De Giorgi type $\mathrm{BV} $-solutions are De Giorgi type varifold solutions, and thus our solution is unique in a weak-strong sense.
We consider a short time existence problem motivated by a conjecture of Joyce. Specifically we prove that given any compact Lagrangian $L\subset \mathbb{C}^n$ with a finite number of singularities, each asymptotic to a pair of non-area-minimising, transversally intersecting Lagrangian planes, there is a smooth Lagrangian mean curvature flow existing for some positive time, that attains $L$ as $t \searrow 0$ as varifolds, and smoothly locally away from the singularities.
We introduce a notion of vanishing Maslov index for lagrangian varifolds and lagrangian integral cycles in a Calabi-Yau manifold. We construct mass-decreasing flows of lagrangian varifolds and lagrangian cycles which satisfy this condition. The flow of cycles converges, at infinite time, to a sum of special lagrangian cycles (possibly with differing phases). We use the flow of cycles to obtain the fact that special lagrangian cycles generate the part of the lagrangian homology which lies in the image of the Hurewicz homomorphism. We also establish a weak version of a conjecture of Thomas-Yau r…
We give a new proof of Brakke's partial regularity theorem up to C^{1,ς} for weak varifold solutions of mean curvature flow by utilizing parabolic monotonicity formula, parabolic Lipschitz approximation and blow-up technique. The new proof extends to a general flow whose velocity is the sum of the mean curvature and any given background flow field in a dimensionally sharp integrability class. It is a natural parabolic generalization of Allard's regularity theorem in the sense that the special time-independent case reduces to Allard's theorem.
We study the spectrum of phase transitions with prescribed mean curvature in Riemannian manifolds. These phase transitions are solutions to an inhomogeneous semilinear elliptic PDE that give rise to diffuse objects (varifolds) that limit to hypersurfaces, possibly with singularities, whose mean curvature is determined by the "prescribed mean curvature" function and the limiting multiplicity. We establish upper bounds for the eigenvalues of the diffuse problem, as well as the more subtle lower bounds when the diffuse problem converges with multiplicity one. For the latter, we also establish asy…
In this paper I study the constant mean curvature surface in asymptotically flat 3-manifolds with general asymptotics. Under some weak condition, I prove that outside some compact set in the asymptotically flat 3-manifold with positive mass, the foliation of stable spheres of constant mean curvature is unique.
We establish an inequality among the Ricci curvature, the squared mean curvature, and the normal curvature for real hypersurfaces in complex space forms. We classify real hypersurfaces in two-dimensional non-flat complex space forms which admit a unit vector field satisfying identically the equality case of the inequality.
Discretizations of the mean curvature and extrinsic curvature components are constructed on piecewise flat simplicial manifolds, giving approximations for smooth curvature values in a mostly mesh-independent way. These constructions are given in combinatoric form in terms of the extrinsic hinge angles, the intrinsic structure of the piecewise flat manifold and a choice of dual tessellation, and can be viewed as the average of $n$-volume integrals. The constructions are also independent of the manifold dimension.