{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "EQ23YX9CFG"
    }
  ],
  "body": "\n## Statement\n\nLet $n \\ge 2$, let $\\Omega \\subseteq \\R^n$ be an [[open set|02BH3MCBQB]], and let $u$ be [[subharmonic|Z1MHMGFNFW]] on $\\Omega$ and not identically $-\\infty$ on any connected component.\nLet $\\mu$ be the [[Riesz measure|PR8KWEA3MH]] of $u$, so $\\mu = \\Delta u$ in the sense of distributions.\nLet\n$$E(x) = \\frac{1}{2\\pi} \\log\\abs{x} \\ (n = 2), \\qquad E(x) = -\\frac{\\abs{x}^{2-n}}{(n-2)\\,\\omega_n} \\ (n \\ge 3),$$\nwhere $\\omega_n$ is the area of the unit sphere in $\\R^n$, so that $\\Delta E = \\delta_0$.\nLet $U$ be an open set whose closure is compact and contained in $\\Omega$.\nThen there is a [[harmonic function|0DEB0JMN0W]] $h$ on $U$ such that\n$$u(x) = \\int_U E(x - y)\\, d\\mu(y) + h(x) \\qquad \\text{for all } x \\in U.$$\n\n## Remarks\n\nProof idea: the measure $\\mu$ restricted to $U$ is finite, so $p(x) = \\int_U E(x - y)\\, d\\mu(y)$ is subharmonic on $\\R^n$ and $\\Delta p = \\mu$ on $U$ in the sense of distributions.\nThen $\\Delta(u - p) = 0$ on $U$ as a distribution, and Weyl's lemma makes $u - p$ equal, almost everywhere, to a harmonic function $h$.\nBoth $u$ and $p + h$ are subharmonic, and two subharmonic functions that agree almost everywhere agree everywhere, since each is the limit of its ball averages.\n\nExample: for $u(z) = \\log\\abs{z}$ on $\\C$, $\\mu = 2\\pi\\delta_0$, so $\\int E(z - w)\\, d\\mu(w) = \\log\\abs{z}$ and $h = 0$.\nLet $f$ be a polynomial with leading coefficient $c$ and zeros $a_1, \\dots, a_k$ listed with multiplicity.\nThen $\\log\\abs{f(z)} = \\sum_j \\log\\abs{z - a_j} + \\log\\abs{c}$ on all of $\\C$, which has the same form, with the constant $h = \\log\\abs{c}$ as harmonic part.\n\nA global form holds on a domain $\\Omega$ with a Green function $G$, normalised by $-\\Delta G(\\cdot, y) = \\delta_y$.\nLet $u$ be a [[superharmonic|X4V2S56YQQ]] function on $\\Omega$ that has a subharmonic minorant.\nThen $u$ is the sum of the Green potential of the measure $-\\Delta u$ and the greatest harmonic minorant of $u$.\n\n## Explanations\n\n### L1 human\n\nEvery subharmonic function is, locally, the potential of some charge distribution plus a harmonic function.\nThe charge distribution is its Riesz measure, and the harmonic part is the \"smooth background\".\nSo subharmonic functions are exactly the negatives of potentials of positive charges, up to harmonic corrections.\n\n### L2 human\n\nThe theorem reduces many questions about subharmonic functions to questions about measures and their potentials.\nFor $\\log\\abs{f}$ with $f$ holomorphic it is the analytic form of factoring $f$ through its zeros, as in Jensen's formula and the Hadamard factorisation of entire functions.\nIn the global form on Green domains, it identifies the positive superharmonic functions with zero greatest harmonic minorant, the potentials, with Green potentials of measures.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "Z1MHMGFNFW",
      "PR8KWEA3MH"
    ],
    "kind": "statement",
    "msc": [
      "31B05",
      "31A05"
    ],
    "name": "Riesz decomposition theorem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Subharmonic_function"
      }
    ],
    "tag": "CBZ20SS8RQ",
    "uses": [
      "Z1MHMGFNFW",
      "PR8KWEA3MH",
      "0DEB0JMN0W",
      "BSJ8X2XRN9",
      "02BH3MCBQB",
      "X4V2S56YQQ"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/CBZ20SS8RQ/",
  "links": [
    {
      "field": "about",
      "target": "Z1MHMGFNFW"
    },
    {
      "field": "about",
      "target": "PR8KWEA3MH"
    },
    {
      "field": "uses",
      "target": "Z1MHMGFNFW"
    },
    {
      "field": "uses",
      "target": "PR8KWEA3MH"
    },
    {
      "field": "uses",
      "target": "0DEB0JMN0W"
    },
    {
      "field": "uses",
      "target": "BSJ8X2XRN9"
    },
    {
      "field": "uses",
      "target": "02BH3MCBQB"
    },
    {
      "field": "uses",
      "target": "X4V2S56YQQ"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/CBZ20SS8RQ.md",
  "msc": [
    "31B05",
    "31A05"
  ],
  "name": "Riesz decomposition theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/CBZ/CBZ20SS8RQ.md",
  "status": null,
  "tag": "CBZ20SS8RQ",
  "uri": "m2://CBZ20SS8RQ",
  "url": "https://tamnd.github.io/math2/wiki/riesz-decomposition-theorem/",
  "writing": {
    "tag": "CBZ20SS8RQ",
    "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
      }
    ]
  }
}