{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $K$ be a [[compact set|0R6EWFKRCF]] in $\\C$ of logarithmic [[capacity zero|W9N1TR1X8P]], or equivalently a compact [[polar set|C95QJ7YH5T]].\nThen there is a Borel [[probability measure|059TJN0NZ1]] $\\mu$ on $K$ whose [[logarithmic potential|46NHWJHW44]]\n$$U^\\mu(z) = \\int_K \\log \\frac{1}{\\abs{z - w}} \\, d\\mu(w)$$\nsatisfies $U^\\mu(z) = +\\infty$ for every $z \\in K$.\n\n## Remarks\n\nThe potential $U^\\mu$ is harmonic on $\\C \\setminus K$ and superharmonic on $\\C$, so $u = -U^\\mu$ is a subharmonic function equal to $-\\infty$ exactly on $K$.\nSuch a potential is called an Evans potential of $K$.\n\nProof idea: let $K_k = \\set{z : \\operatorname{dist}(z, K) \\le 1/k}$.\nSince $K$ has capacity zero, the capacities of the compact sets $K_k$ tend to $0$, so their Robin constants $V(K_k)$ tend to $+\\infty$.\nBy Frostman's theorem, the potential of the equilibrium measure of $K_k$ equals $V(K_k)$ on $K$.\nOne combines these equilibrium measures with suitable weights and passes to a limit measure carried by $K$.\nThe delicate step is to keep the potential infinite at every point of $K$ in the limit.\n\nExample: for $K = \\set{0}$, the measure $\\mu = \\delta_0$ has $U^\\mu(z) = \\log(1/\\abs{z})$, which is $+\\infty$ exactly at $0$.\n\nThe theorem is false without polarity.\nIf $K$ is compact and not polar, then for every probability measure $\\mu$ on $K$ the set where $U^\\mu = +\\infty$ is polar, so it cannot contain $K$.\nThe analogous statement in $\\R^n$, $n \\ge 3$, holds with the Newtonian potential $\\int \\abs{x - y}^{2-n} \\, d\\mu(y)$.\n\n## Explanations\n\n### L1 human\n\nA polar set is one where some subharmonic function equals $-\\infty$.\nThe theorem says that for a compact polar set one can choose this function very concretely: as minus the potential of a charge placed on the set itself.\nIt also says that the infinite values can be made to occur exactly on the set and nowhere else.\n\n### L2 human\n\nEvans potentials are a key tool in the study of exceptional sets.\nThey are used to show that compact polar sets are removable for bounded harmonic functions and to build harmonic functions with prescribed singular behaviour.\nThey also show that the definition of polar sets by subharmonic functions agrees with the definition by capacity for compact sets.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "C95QJ7YH5T"
    ],
    "kind": "statement",
    "msc": [
      "31A15",
      "31B15"
    ],
    "name": "Evans potential theorem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Polar_set_(potential_theory)"
      }
    ],
    "tag": "6K8GPMHWBB",
    "uses": [
      "0R6EWFKRCF",
      "059TJN0NZ1",
      "C95QJ7YH5T",
      "46NHWJHW44",
      "W9N1TR1X8P"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/6K8GPMHWBB/",
  "links": [
    {
      "field": "about",
      "target": "C95QJ7YH5T"
    },
    {
      "field": "uses",
      "target": "0R6EWFKRCF"
    },
    {
      "field": "uses",
      "target": "059TJN0NZ1"
    },
    {
      "field": "uses",
      "target": "C95QJ7YH5T"
    },
    {
      "field": "uses",
      "target": "46NHWJHW44"
    },
    {
      "field": "uses",
      "target": "W9N1TR1X8P"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/6K8GPMHWBB.md",
  "msc": [
    "31A15",
    "31B15"
  ],
  "name": "Evans potential theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/6K8/6K8GPMHWBB.md",
  "status": null,
  "tag": "6K8GPMHWBB",
  "uri": "m2://6K8GPMHWBB",
  "url": "https://tamnd.github.io/math2/wiki/evans-potential-theorem/",
  "writing": {
    "tag": "6K8GPMHWBB",
    "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
      }
    ]
  }
}