{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $1 \\le m \u003c n$ be integers and let $p \u003e m$.\nThen there are constants $\\varepsilon \u003e 0$ and $\\gamma \\in (0, 1)$, depending only on $n$, $m$ and $p$, with the following property.\nLet $\\rho \u003e 0$, let $U \\supseteq B_\\rho(0)$ be an open subset of $\\R^n$, and let $V$ be an $m$-dimensional rectifiable [[varifold|N3QA80M44M]] in $U$ with weight measure $\\norm{V}$.\nSuppose that:\n\n1. the density of $V$ is at least $1$ at $\\norm{V}$-almost every point;\n2. $V$ has generalized [[mean curvature|PA78NFEPCF]] $H$ in $U$, with $H \\in L^p(\\norm{V})$;\n3. $0$ lies in the support of $\\norm{V}$;\n4. $\\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$;\n5. $\\rho^{1 - m/p} \\left( \\int_{B_\\rho(0)} \\abs{H}^p \\, d\\norm{V} \\right)^{1/p} \\le \\varepsilon$.\n\nLet $\\alpha = 1 - m/p$.\nThen 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.\nThe support of $\\norm{V}$ inside $B_{\\gamma\\rho}(0)$ is the graph of $u$ intersected with $B_{\\gamma\\rho}(0)$.\n\n## Remarks\n\nThe theorem is due to William Allard (1972).\nHypothesis 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.\nThe proof shows that $V$ is close to a plane in a scale-invariant tilt-excess sense.\nIt then approximates $V$ by the graph of a Lipschitz function and shows that this function is nearly harmonic.\nAn iteration over smaller and smaller balls then gives a [[Hölder continuous|012PBA0FMD]] tangent plane, and the graph is $C^{1,\\alpha}$.\nThe density bound in hypothesis 4 cannot be dropped.\nTwo planes crossing at the origin, or one plane with multiplicity $2$, are stationary varifolds with density $2$ at $0$.\nNeither is the graph of a single function near $0$.\nA main corollary concerns a stationary $V$ with density at least $1$.\nThe set of points near which its support is a smooth embedded submanifold is open and dense in the support.\n\n## Explanations\n\n### L1 human\n\nA varifold is a very general kind of surface, possibly with folds, crossings and corners.\nSuppose such a surface is almost balanced, in the sense of small mean curvature, and looks almost like a single flat sheet in a ball.\nAllard's theorem says that it is then a smooth sheet in a smaller ball.\nSo roughness cannot hide inside a region where the surface has nearly the area of a flat disc.\n\n### L2 human\n\nThe theorem is the basic $\\varepsilon$-regularity result for stationary and almost stationary varifolds.\nIt plays the role for varifolds that De Giorgi's regularity theorem plays for perimeter minimizers.\nCombined with the monotonicity formula, it gives regularity at every point where the density is close to $1$.\nIt does not decide what happens at points of higher density, which is where branch points and crossings can occur.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "N3QA80M44M"
    ],
    "kind": "statement",
    "msc": [
      "49Q15",
      "49Q05",
      "53A10"
    ],
    "name": "Allard regularity theorem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Varifold"
      }
    ],
    "tag": "QDZ6DM42EB",
    "uses": [
      "N3QA80M44M",
      "PA78NFEPCF",
      "012PBA0FMD"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/QDZ6DM42EB/",
  "links": [
    {
      "field": "about",
      "target": "N3QA80M44M"
    },
    {
      "field": "uses",
      "target": "N3QA80M44M"
    },
    {
      "field": "uses",
      "target": "PA78NFEPCF"
    },
    {
      "field": "uses",
      "target": "012PBA0FMD"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/QDZ6DM42EB.md",
  "msc": [
    "49Q15",
    "49Q05",
    "53A10"
  ],
  "name": "Allard regularity theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/QDZ/QDZ6DM42EB.md",
  "status": null,
  "tag": "QDZ6DM42EB",
  "uri": "m2://QDZ6DM42EB",
  "url": "https://tamnd.github.io/math2/wiki/allard-regularity-theorem/",
  "writing": {
    "tag": "QDZ6DM42EB",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}