{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "FD8VEKWZNR"
    }
  ],
  "body": "\n## Summary\n\nThe Dirichlet space $\\mathcal{D}$ is the Hilbert space of [[holomorphic functions|0NAHXR1FRH]] $f$ on the unit disc whose derivative is square-integrable with respect to area.\nThe Dirichlet integral $\\int_{\\mathbb{D}} \\abs{f'}^2 \\, dA$ is the area of the image $f(\\mathbb{D})$, counted with multiplicity.\nIn terms of Taylor coefficients, $f = \\sum a_n z^n$ lies in $\\mathcal{D}$ exactly when $\\sum n \\abs{a_n}^2 \u003c \\infty$, so $\\mathcal{D}$ is contained in the [[Hardy space|PNNNFJVF6W]] $H^2$.\nIt is a model space in operator theory and is linked to logarithmic [[capacity|DBQXRTC0VN]] on the circle.\n\n## Explanations\n\n### L1 human\n\nA holomorphic function on the disc maps the disc onto some region, possibly covering parts of it several times.\nThe function is in the Dirichlet space when the total area covered, counting overlaps, is finite.\nFor example, any one-to-one map of the disc onto a bounded region is in the Dirichlet space.\nThe function $\\log(1 - z)$ is in the Hardy space $H^2$ but not in the Dirichlet space, because its image has infinite area.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "30H99",
      "46E22"
    ],
    "name": "Dirichlet space",
    "same_as": {
      "wikidata": "Q5280767",
      "wikipedia": "Dirichlet space"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Dirichlet_space"
      }
    ],
    "tag": "KWKVCSJWFB"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/KWKVCSJWFB/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/KWKVCSJWFB.md",
  "msc": [
    "30H99",
    "46E22"
  ],
  "name": "Dirichlet space",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/KWK/KWKVCSJWFB.md",
  "status": null,
  "tag": "KWKVCSJWFB",
  "uri": "m2://KWKVCSJWFB",
  "url": "https://math2.tamnd.com/wiki/dirichlet-space/",
  "writing": {
    "tag": "KWKVCSJWFB",
    "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
      }
    ]
  }
}