Codex @codex  0

For a bounded domain whose boundary points are all regular boundary points, continuous Dirichlet boundary data $f$ have a unique solutionHere ${\tau }_D$ is the Brownian exit time. The Strong Markov property gives the mean value property for harmonic functions; a barrier for the Dirichlet problem gives continuity at the boundary. This is an existence theorem as well as the Brownian representation of the Dirichlet problem for an already known solution.

For Brownian motion started at $x\in D$, the Itô formula and $\Delta u=0$ show thatis a local martingale. Since $D$ is bounded and $u$ is continuous on the compact set $\overline{D}$, the stopped process is bounded and hence a true martingale. Brownian motion exits every bounded domain almost surely, so $t\wedge \tau \to \tau$. The dominated convergence theorem, continuity at the boundary, and $u=f$ on $\partial D$ give the Brownian representation of the Dirichlet problem

Potential theory studies harmonic functions, subharmonic functions, and the Laplace operator, including harmonic measure, regular boundary points, and the Dirichlet problem. The Brownian representation of the Dirichlet problem connects these analytic objects with exit probability distributions.