{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $n \\ge 2$ and let $\\Omega \\subseteq \\R^n$ be an open set.\n\n1. Let $E \\subseteq \\Omega$ be a closed subset of $\\Omega$ that is a [[polar set|C95QJ7YH5T]].\n   Let $h$ be a [[harmonic function|0DEB0JMN0W]] on $\\Omega \\setminus E$ such that each point of $E$ has a neighbourhood $V$ with $h$ bounded on $V \\setminus E$.\n   Then $h$ extends uniquely to a harmonic function on $\\Omega$.\n2. Conversely, let $\\Omega$ be bounded and let $K \\subseteq \\Omega$ be a [[compact set|0R6EWFKRCF]] that is not polar.\n   Then there is a bounded harmonic function on $\\Omega \\setminus K$ that does not extend to a harmonic function on $\\Omega$.\n\n## Remarks\n\nProof idea for part 1: the question is local, so work in a small ball $B$ with $\\overline B \\subseteq \\Omega$.\nLet $H$ be the Poisson integral on $B$ of $h$ on $\\partial B$, which is bounded and defined outside $E \\cap \\partial B$, a set of surface measure zero.\nLet $u$ be a subharmonic function, not identically $-\\infty$, with $u \\le 0$ on $B$ and $u = -\\infty$ on $E$.\nFor each $\\varepsilon \u003e 0$ the function $h - H + \\varepsilon u$ is subharmonic on $B \\setminus E$ and tends to $-\\infty$ at $E$, so the maximum principle gives $h - H + \\varepsilon u \\le 0$.\nLetting $\\varepsilon \\to 0$ and repeating the argument with $-h$ gives $h = H$ off the polar set $\\set{u = -\\infty}$, hence on $B \\setminus E$.\nFor part 2, the restriction to $\\Omega \\setminus K$ of the potential of the equilibrium measure of $K$ is bounded and harmonic, and it does not extend.\n\nExample: in $\\R^2$, a single point is polar, so a bounded harmonic function on a punctured disc extends harmonically across the puncture.\nThe function $\\log \\abs{x}$ on the punctured disc is harmonic but unbounded, and it does not extend, so boundedness is needed.\n\nExample of part 2: in $\\R^3$ let $K$ be the closed unit ball and let $\\Omega$ be the open ball of radius $2$.\nThe function $h(x) = 1/\\abs{x}$ is bounded and harmonic on $\\Omega \\setminus K$.\nSuppose that it had a harmonic extension $H$ to $\\Omega$.\nThe function equal to $H$ on $\\Omega$ and to $1/\\abs{x}$ outside $K$ would be harmonic and bounded on $\\R^3$ and tend to $0$ at infinity.\nBy Liouville's theorem it would be $0$, which is false.\n\n## Explanations\n\n### L1 human\n\nA harmonic function that stays bounded cannot notice a polar set: any hole of this kind can be filled in.\nAmong compact sets, the polar ones are exactly those with this property.\nSo capacity zero is the precise notion of \"too small to matter\" for bounded harmonic functions.\n\n### L2 human\n\nThis theorem extends the classical removable singularity theorem for a single point.\nIn the plane it gives the removability of polar sets for bounded holomorphic functions as well, since their real and imaginary parts are harmonic.\nFor bounded holomorphic functions the exact class of removable compact sets is larger: it is described by analytic capacity, and a segment is not removable while some non-polar sets are.\nThe same proof scheme, with a subharmonic function equal to $-\\infty$ on the exceptional set, is used throughout potential theory to show that polar sets can be ignored.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "C95QJ7YH5T",
      "0DEB0JMN0W"
    ],
    "kind": "statement",
    "msc": [
      "31B05",
      "31A05",
      "31B15"
    ],
    "name": "Removable sets for bounded harmonic functions",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Polar_set_(potential_theory)"
      }
    ],
    "tag": "QTX0GBZMT8",
    "uses": [
      "0DEB0JMN0W",
      "C95QJ7YH5T",
      "0R6EWFKRCF"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/QTX0GBZMT8/",
  "links": [
    {
      "field": "about",
      "target": "C95QJ7YH5T"
    },
    {
      "field": "about",
      "target": "0DEB0JMN0W"
    },
    {
      "field": "uses",
      "target": "0DEB0JMN0W"
    },
    {
      "field": "uses",
      "target": "C95QJ7YH5T"
    },
    {
      "field": "uses",
      "target": "0R6EWFKRCF"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/QTX0GBZMT8.md",
  "msc": [
    "31B05",
    "31A05",
    "31B15"
  ],
  "name": "Removable sets for bounded harmonic functions",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/QTX/QTX0GBZMT8.md",
  "status": null,
  "tag": "QTX0GBZMT8",
  "uri": "m2://QTX0GBZMT8",
  "url": "https://tamnd.github.io/math2/wiki/removable-sets-for-bounded-harmonic-functions/",
  "writing": {
    "tag": "QTX0GBZMT8",
    "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
      }
    ]
  }
}