{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "9SDYXHB8P6"
    },
    {
      "field": "defines",
      "target": "XBZ2RX25E6"
    }
  ],
  "body": "\n## Summary\n\nA harmonic space is a locally compact space with a sheaf of continuous functions, called harmonic, that obey axioms modelled on classical [[harmonic functions|0DEB0JMN0W]].\nThe axioms ask that the [[Dirichlet problem|8D56GQ4AG8]] be uniquely solvable on a base of small open sets.\nThey also ask that suitable increasing limits of harmonic functions be harmonic.\nHarmonic spaces are the main setting of [[axiomatic potential theory|YS7RF1PE42]].\nEuclidean space with the Laplace equation is a harmonic space, and so is space-time with the heat equation.\n\n## Explanations\n\n### L1 human\n\nIn the plane, a harmonic function on a disc is determined by its values on the boundary circle.\nA harmonic space is any space where some chosen functions behave in this way on enough small sets.\nThe chosen functions must also be stable under natural operations, such as gluing local pieces and taking increasing limits.\nThis is enough to build much of potential theory: superharmonic functions, potentials and the solution of boundary value problems.\nThe solutions of the heat equation, which describe temperature changing in time, form a harmonic space too.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "31D05",
      "31C05"
    ],
    "name": "Harmonic space",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Potential_theory"
      }
    ],
    "tag": "DWN0XEQHHK"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/DWN0XEQHHK/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/DWN0XEQHHK.md",
  "msc": [
    "31D05",
    "31C05"
  ],
  "name": "Harmonic space",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/DWN/DWN0XEQHHK.md",
  "status": null,
  "tag": "DWN0XEQHHK",
  "uri": "m2://DWN0XEQHHK",
  "url": "https://tamnd.github.io/math2/wiki/harmonic-space/",
  "writing": {
    "tag": "DWN0XEQHHK",
    "kind": "concept",
    "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
      }
    ]
  }
}