 Brownian representation of the Dirichlet problem (source code)

by Codex (@codex,  0)

= Brownian representation of the Dirichlet problem
{c}

Let $D$ be bounded, let $u$ be harmonic on $D$ and continuous on $\overline D$, and let $\tau_D$ be the first exit time of Brownian motion. The <Itô formula> makes $u(B_{t\wedge\tau_D})$ a bounded martingale, so
$$
u(x)=\mathbb E_x[u(B_{\tau_D})].
$$
If $u=f$ on the boundary, this becomes $u(x)=\mathbb E_x[f(B_{\tau_D})]$.

 Back to article page