{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $n \\ge 2$, let $\\Omega \\subseteq \\R^n$ be a bounded [[open set|02BH3MCBQB]], and let $\\xi \\in \\partial\\Omega$ be a [[boundary|05D5EGMFYV]] point.\nSuppose there is a truncated closed circular cone $C$ with vertex $\\xi$ and nonempty interior such that $C \\cap \\Omega = \\emptyset$.\nThen $\\xi$ is a [[regular boundary point|B7948M365K]] of $\\Omega$.\nSuppose every boundary point of $\\Omega$ satisfies this condition.\nThen the Dirichlet problem on $\\Omega$ has a solution continuous on $\\overline{\\Omega}$ for every continuous boundary function.\n\n## Remarks\n\nProof idea: regularity at $\\xi$ only gets easier when $\\Omega$ shrinks, so it suffices to treat the complement of the cone near $\\xi$.\nFor that set one can build a barrier of the form $\\abs{x - \\xi}^{\\alpha} \\phi(\\theta)$, where $\\theta$ is the angle from the axis of the cone.\nHere $\\phi$ solves an eigenvalue problem on the sphere.\nFor $n \\ge 3$ one can instead use [[Wiener's criterion|STMT1K1865]].\nThe cone puts in each dyadic shell a ball of radius comparable to the shell, so each term of Wiener's series is bounded below.\nExample: every bounded open set with Lipschitz boundary, such as a cube or a convex polytope, satisfies the condition at each boundary point.\nThe condition is sufficient but not necessary: in $\\R^3$ a tip whose cross-sections shrink like a power of the distance is still regular, although no cone fits.\nWithout such a condition regularity can fail: the centre of a punctured ball has no exterior cone and is irregular.\n\n## Explanations\n\n### L1 human\n\nIf you can place a small solid ice-cream cone outside the set with its tip at a boundary point, then that point is good for the Dirichlet problem.\nThe solution then takes the prescribed value there.\nPoints on smooth boundaries and corners of polygons and polyhedra all pass this test.\n\n### L2 human\n\nThe exterior cone condition is the usual practical way to check that a domain is regular.\nIt generalizes the exterior sphere condition, where a ball outside the set touches the boundary at the point, and it covers all Lipschitz domains.\nIt is a consequence of Wiener's criterion, and its barrier gives quantitative control of how fast the solution approaches its boundary values.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "B7948M365K"
    ],
    "kind": "statement",
    "msc": [
      "31B25",
      "31B20",
      "35J25"
    ],
    "name": "Exterior cone condition",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Dirichlet_problem"
      }
    ],
    "tag": "B51J3BC610",
    "uses": [
      "B7948M365K",
      "02BH3MCBQB",
      "05D5EGMFYV"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/B51J3BC610/",
  "links": [
    {
      "field": "about",
      "target": "B7948M365K"
    },
    {
      "field": "uses",
      "target": "B7948M365K"
    },
    {
      "field": "uses",
      "target": "02BH3MCBQB"
    },
    {
      "field": "uses",
      "target": "05D5EGMFYV"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/B51J3BC610.md",
  "msc": [
    "31B25",
    "31B20",
    "35J25"
  ],
  "name": "Exterior cone condition",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/B51/B51J3BC610.md",
  "status": null,
  "tag": "B51J3BC610",
  "uri": "m2://B51J3BC610",
  "url": "https://tamnd.github.io/math2/wiki/exterior-cone-condition/",
  "writing": {
    "tag": "B51J3BC610",
    "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
      }
    ]
  }
}