{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "EFFC7688KR"
    }
  ],
  "body": "\n## Statement\n\nLet $n \\ge 3$, let $\\Omega \\subseteq \\R^n$ be a bounded [[open set|02BH3MCBQB]], and let $\\xi \\in \\partial\\Omega$ be a [[boundary|05D5EGMFYV]] point.\nFor each integer $k \\ge 1$ let\n$$E_k = \\set{x \\in \\R^n \\setminus \\Omega : 2^{-k-1} \\le \\abs{x - \\xi} \\le 2^{-k}},$$\nand let $\\operatorname{cap}(E_k)$ be its Newtonian [[capacity|4YZVFGJVSZ]].\nThen $\\xi$ is a [[regular boundary point|B7948M365K]] of $\\Omega$ if and only if\n$$\\sum_{k=1}^{\\infty} 2^{k(n-2)} \\operatorname{cap}(E_k) = \\infty.$$\n\n## Remarks\n\nThe factor $2^{k(n-2)}$ normalizes the capacity of $E_k$ by the capacity of a ball of radius $2^{-k}$, which is a constant times $2^{-k(n-2)}$.\nSo the criterion says that the complement of $\\Omega$ is not too thin near $\\xi$, measured shell by shell.\nAny ratio $\\lambda \\in (0, 1)$ in place of $\\frac12$ gives an equivalent criterion, and constant factors in the normalization of capacity do not matter.\nExample: suppose the complement of $\\Omega$ contains a cone with vertex $\\xi$.\nThen each $E_k$ contains a ball of radius comparable to $2^{-k}$, so every term of the series is bounded below and $\\xi$ is regular.\nExample: if $\\xi$ is an isolated point of $\\R^n \\setminus \\Omega$, then $E_k$ is empty for large $k$, the series converges, and $\\xi$ is irregular.\nIn the plane there is an analogous criterion with logarithmic capacity.\n\n## Explanations\n\n### L1 human\n\nWhether a boundary point is good for the Dirichlet problem depends on how much of the outside of the set lies near that point.\nWiener's criterion measures this outside part in rings around the point, using capacity, the electrical size of a set.\nIf the rescaled sizes of the rings add up to infinity, the point is regular; otherwise it is irregular.\n\n### L2 human\n\nWiener's criterion is the complete answer to the question of regularity for the Laplacian.\nIt explains the [[exterior cone condition|B51J3BC610]], the irregularity of the [[Lebesgue spine|EFFC7688KR]], and the irregularity of single points for $n \\ge 3$.\nThe logarithmic version gives the same in the plane.\nIt also shows that regularity depends only on the complement of $\\Omega$ near $\\xi$, and it extends to a large class of elliptic equations.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "B7948M365K",
      "4YZVFGJVSZ"
    ],
    "kind": "statement",
    "msc": [
      "31B25",
      "31B15",
      "31B20"
    ],
    "name": "Wiener's criterion",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Capacity_of_a_set"
      }
    ],
    "tag": "STMT1K1865",
    "uses": [
      "B7948M365K",
      "4YZVFGJVSZ",
      "02BH3MCBQB",
      "05D5EGMFYV"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/STMT1K1865/",
  "links": [
    {
      "field": "about",
      "target": "B7948M365K"
    },
    {
      "field": "about",
      "target": "4YZVFGJVSZ"
    },
    {
      "field": "uses",
      "target": "B7948M365K"
    },
    {
      "field": "uses",
      "target": "4YZVFGJVSZ"
    },
    {
      "field": "uses",
      "target": "02BH3MCBQB"
    },
    {
      "field": "uses",
      "target": "05D5EGMFYV"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/STMT1K1865.md",
  "msc": [
    "31B25",
    "31B15",
    "31B20"
  ],
  "name": "Wiener's criterion",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/STM/STMT1K1865.md",
  "status": null,
  "tag": "STMT1K1865",
  "uri": "m2://STMT1K1865",
  "url": "https://tamnd.github.io/math2/wiki/wieners-criterion/",
  "writing": {
    "tag": "STMT1K1865",
    "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
      }
    ]
  }
}