{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "WDJSNMG1EZ"
    }
  ],
  "body": "\n## Statement\n\nLet $d \\ge 2$ and let $D \\subset \\R^d$ be a bounded [[domain|0Q4CBD3HX0]].\nFor $x \\in \\R^d$, let $(B_t)_{t \\ge 0}$ be a $d$-dimensional [[Brownian motion|22735FGJV6]] started at $x$, with law $P^x$ and expectation $E^x$.\nLet $\\tau = \\inf\\set{t \u003e 0 : B_t \\notin D}$ be the exit time of $D$.\nLet $\\varphi \\colon \\partial D \\to \\R$ be continuous, and define\n$$u(x) = E^x\\big[\\varphi(B_\\tau)\\big], \\qquad x \\in D.$$\n\n1. $\\tau \u003c \\infty$ almost surely, and $u$ is [[harmonic|0DEB0JMN0W]] on $D$.\n2. If $\\zeta \\in \\partial D$ is a [[regular boundary point|B7948M365K]], then $u(x) \\to \\varphi(\\zeta)$ as $x \\to \\zeta$ with $x \\in D$.\n3. If every point of $\\partial D$ is regular, then $u$ extended by $\\varphi$ is the unique solution of the [[Dirichlet problem|8D56GQ4AG8]] with data $\\varphi$.\n\n## Remarks\n\nProof idea: $\\tau$ is a [[stopping time|WND87FBAKC]], and $\\tau \u003c \\infty$ because $D$ is bounded.\nTake a ball $\\overline{B}(x, r) \\subset D$.\nThe strong Markov property at the exit time of the ball and rotation invariance show that $u(x)$ is the average of $u$ over the sphere $\\partial B(x, r)$.\nA bounded measurable function with this [[mean value property|0HYPR64JM2]] is harmonic.\nAt a regular point $\\zeta$, a path started near $\\zeta$ leaves $D$ quickly and close to $\\zeta$, with high probability, which gives clause 2.\nExample: for the unit disc and $x = 0$, the exit point $B_\\tau$ is uniform on the circle, so $u(0)$ is the average of $\\varphi$, as the mean value property requires.\nRegularity is needed: on the punctured disc $D = \\set{0 \u003c \\abs{x} \u003c 1}$ in $\\R^2$, Brownian motion never hits $0$, so $u$ ignores $\\varphi(0)$.\nWith $\\varphi(0) = 1$ and $\\varphi = 0$ on the unit circle one gets $u \\equiv 0$, which does not tend to $1$ at $0$.\n\n## Explanations\n\n### L1 human\n\nTo solve the Dirichlet problem at a point, start a random walk there and let it wander until it hits the boundary.\nRead the boundary value where it hits, and average over all possible paths.\nThe result is the harmonic function with the given boundary values.\n\n### L2 human\n\nThe theorem identifies classical potential theory with the theory of Brownian motion.\nThe probabilistic regularity criterion, $P^\\zeta(\\tau = 0) = 1$, agrees with the analytic notion of a regular point given by barriers or Wiener's criterion.\nThe formula also gives Monte Carlo methods for harmonic functions, such as the walk-on-spheres method.\nThe distribution of $B_\\tau$ under $P^x$ is the harmonic measure of $D$ at $x$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "8D56GQ4AG8",
      "22735FGJV6"
    ],
    "kind": "statement",
    "msc": [
      "60J45",
      "31B20",
      "60J65"
    ],
    "name": "Kakutani's solution of the Dirichlet problem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Dirichlet_problem"
      }
    ],
    "tag": "CCEKM4241P",
    "uses": [
      "22735FGJV6",
      "8D56GQ4AG8",
      "0DEB0JMN0W",
      "WND87FBAKC",
      "0Q4CBD3HX0",
      "B7948M365K",
      "0HYPR64JM2"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/CCEKM4241P/",
  "links": [
    {
      "field": "about",
      "target": "8D56GQ4AG8"
    },
    {
      "field": "about",
      "target": "22735FGJV6"
    },
    {
      "field": "uses",
      "target": "22735FGJV6"
    },
    {
      "field": "uses",
      "target": "8D56GQ4AG8"
    },
    {
      "field": "uses",
      "target": "0DEB0JMN0W"
    },
    {
      "field": "uses",
      "target": "WND87FBAKC"
    },
    {
      "field": "uses",
      "target": "0Q4CBD3HX0"
    },
    {
      "field": "uses",
      "target": "B7948M365K"
    },
    {
      "field": "uses",
      "target": "0HYPR64JM2"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/CCEKM4241P.md",
  "msc": [
    "60J45",
    "31B20",
    "60J65"
  ],
  "name": "Kakutani's solution of the Dirichlet problem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/CCE/CCEKM4241P.md",
  "status": null,
  "tag": "CCEKM4241P",
  "uri": "m2://CCEKM4241P",
  "url": "https://tamnd.github.io/math2/wiki/kakutanis-solution-of-the-dirichlet-problem/",
  "writing": {
    "tag": "CCEKM4241P",
    "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
      }
    ]
  }
}