Table of Contents
Fetching ...

Quadratic flatness and Regularity for Codimension-One Varifolds with Bounded Anisotropic Mean Curvature

Sławomir Kolasiński, Mario Santilli

TL;DR

The paper develops a quadratic flatness framework for codimension-one varifolds with bounded anisotropic mean curvature, measured with respect to a uniformly convex norm $\phi$. By combining barrier-principle techniques and a detailed analysis of the unit-normal bundle and $(n,h)$-sets, it first proves that the support of such varifolds is $(\mathscr{H}^n,n)$-rectifiable and, away from a $\mathscr{H}^n$-null set, contained in a countable union of $C^2$ submanifolds; moreover, a two-ball touching property holds at almost every point. This quadratic flatness result, together with Allard’s local anisotropic regularity, yields $C^{1,\alpha}$ regularity around density-one points for integral varifolds with bounded anisotropic mean curvature when $\mathscr{H}^n\llcorner\mathrm{spt}\|V\|$ is absolutely continuous with respect to $\|V\|$. Collectively, these results extend the classical isotropic regularity theory to anisotropic variational problems, enabling a comprehensive rectifiability and regularity framework for codimension-one varifolds under anisotropic curvature bounds.

Abstract

We prove that if $ V $ is a $ n $-dimensional varifold in an open subset of $ \mathbf{R}^{n+1} $ with bounded anisotropic mean curvature such that $ {\rm spt} \| V \| $ has locally finite $ \mathscr{H}^n $-measure, then $ {\rm spt} \| V \| $ can be touched by two mutually tangent balls at $ \mathscr{H}^n $ almost all points. In particular, this result implies that $ \mathscr{H}^n $ almost all of $ {\rm spt} \| V \| $ can be covered by the union of countably many $ C^2 $-regular $ n $-dimensional submanifolds of $ \mathbf{R}^{n+1} $. Moreover, combined with Allard's local anisotropic regularity theorem, it implies that if $ V $ is an integral varifold with bounded anisotropic mean curvature and if $ \mathscr{H}^n \llcorner {\rm spt} \| V \| $ is absolutely continuous with respect to $ \| V \| $, then $ {\rm spt} \| V \| $ is $ C^{1, α} $-regular around $ \mathscr{H}^n $ almost every point of density $ 1 $.

Quadratic flatness and Regularity for Codimension-One Varifolds with Bounded Anisotropic Mean Curvature

TL;DR

The paper develops a quadratic flatness framework for codimension-one varifolds with bounded anisotropic mean curvature, measured with respect to a uniformly convex norm . By combining barrier-principle techniques and a detailed analysis of the unit-normal bundle and -sets, it first proves that the support of such varifolds is -rectifiable and, away from a -null set, contained in a countable union of submanifolds; moreover, a two-ball touching property holds at almost every point. This quadratic flatness result, together with Allard’s local anisotropic regularity, yields regularity around density-one points for integral varifolds with bounded anisotropic mean curvature when is absolutely continuous with respect to . Collectively, these results extend the classical isotropic regularity theory to anisotropic variational problems, enabling a comprehensive rectifiability and regularity framework for codimension-one varifolds under anisotropic curvature bounds.

Abstract

We prove that if is a -dimensional varifold in an open subset of with bounded anisotropic mean curvature such that has locally finite -measure, then can be touched by two mutually tangent balls at almost all points. In particular, this result implies that almost all of can be covered by the union of countably many -regular -dimensional submanifolds of . Moreover, combined with Allard's local anisotropic regularity theorem, it implies that if is an integral varifold with bounded anisotropic mean curvature and if is absolutely continuous with respect to , then is -regular around almost every point of density .

Paper Structure

This paper contains 4 sections, 10 theorems, 93 equations.

Key Result

Theorem 1.1

Suppose Then $\mathscr{H}^{n} \mathop{ }\nolimits \mathop{\mathrm{spt}}\nolimits \| V \|$ is a Radon measure over $\Omega$ and $\mathscr{H}^{n}\bigl( \mathop{\mathrm{spt}}\nolimits \| V \| \!\mathop{\smallsetminus} S \bigr) =0$. In particular, $\mathop{\mathrm{spt}}\nolimits \| V \|$ is $(\mathscr{H}^{n

Theorems & Definitions (28)

  • Theorem 1.1: Quadratic flatness, cf. \ref{['main_rectifiability proof']}
  • Theorem 1.2
  • Corollary 1.3
  • Remark 1.4
  • Definition 2.10: cf. DePhilippis2019
  • Lemma 2.11: cf. DRKS2020ARMA
  • Lemma 2.12: cf. DRKS2020ARMA
  • proof
  • Definition 2.13
  • Remark 2.14
  • ...and 18 more