{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $U \\subseteq \\R^n$ be an open set and let $u \\colon U \\to \\R$ be [[continuous|0X3WGX95FE]].\nAssume that for every $x \\in U$ there is $\\rho(x) \u003e 0$ such that\n$$u(x) = \\frac{1}{\\abs{\\partial B(x, r)}} \\int_{\\partial B(x, r)} u \\, dS \\quad \\text{for all } 0 \u003c r \u003c \\rho(x),$$\nwhere $\\abs{\\partial B(x, r)}$ is the area of the sphere $\\partial B(x, r)$.\nThen $u$ is [[harmonic|0DEB0JMN0W]] on $U$.\n\n## Remarks\n\nThe radius $\\rho(x)$ may depend on the point, so the mean value property is only asked for small spheres; this strengthens the [[converse of the mean value property|CQ7E0V6T2G]].\nProof idea: fix a ball $B$ with closure in $U$, and let $h$ be the harmonic function on $B$ with boundary values $u$ given by the [[Poisson integral formula|PCZBE7EX01]].\nThe difference $v = u - h$ is continuous on $\\overline{B}$, vanishes on $\\partial B$, and has the local mean value property inside $B$.\nSuppose $v$ had a positive maximum $m$, and choose a point $x$ of the compact set $\\set{v = m}$ farthest from the centre of $B$.\nOn each small sphere about $x$, $v \\le m$, with $v \u003c m$ on an open piece of the sphere.\nSo the average is less than $m = v(x)$, a contradiction.\nThe same applies to $-v$, so $v = 0$ and $u = h$ is harmonic on $B$.\nExample: for $u(x) = \\abs{x}^{2-n}$ on $U = \\R^n \\setminus \\set{0}$ with $n \\ge 3$, one may take $\\rho(x) = \\abs{x}$.\nThe mean value property on these spheres follows from the potential of a uniform spherical shell, and the theorem then shows that $u$ is harmonic.\n\n## Explanations\n\n### L1 human\n\nTo know that a continuous function is harmonic, it is enough to check the averaging property on tiny spheres.\nEach point may come with its own size limit for the spheres.\nThis makes harmonicity a purely local property that can be tested by averages.\n\n### L2 human\n\nThe proof combines the solvability of the Dirichlet problem on balls with a maximum principle that only uses small spheres.\nThis style of argument, comparing a function with the harmonic function that has the same boundary values, reappears in Perron's method and in the theory of subharmonic functions.\nEven weaker versions exist, where the mean value property is asked only for one sequence of radii tending to $0$ at each point; the same proof works for them.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "0DEB0JMN0W"
    ],
    "kind": "statement",
    "msc": [
      "31B05"
    ],
    "name": "Koebe's theorem on the mean value property",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Harmonic_function"
      }
    ],
    "tag": "KP23SF2Z0Q",
    "uses": [
      "CQ7E0V6T2G",
      "0HYPR64JM2",
      "0DEB0JMN0W",
      "0X3WGX95FE",
      "PCZBE7EX01"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/KP23SF2Z0Q/",
  "links": [
    {
      "field": "about",
      "target": "0DEB0JMN0W"
    },
    {
      "field": "uses",
      "target": "CQ7E0V6T2G"
    },
    {
      "field": "uses",
      "target": "0HYPR64JM2"
    },
    {
      "field": "uses",
      "target": "0DEB0JMN0W"
    },
    {
      "field": "uses",
      "target": "0X3WGX95FE"
    },
    {
      "field": "uses",
      "target": "PCZBE7EX01"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/KP23SF2Z0Q.md",
  "msc": [
    "31B05"
  ],
  "name": "Koebe's theorem on the mean value property",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/KP2/KP23SF2Z0Q.md",
  "status": null,
  "tag": "KP23SF2Z0Q",
  "uri": "m2://KP23SF2Z0Q",
  "url": "https://tamnd.github.io/math2/wiki/koebes-theorem-on-the-mean-value-property/",
  "writing": {
    "tag": "KP23SF2Z0Q",
    "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
      }
    ]
  }
}