 Bounded harmonic representation with almost sure Brownian exit

If $u$ is a bounded harmonic function on a domain $D$, continuous on its closure, and the Brownian exit time $T_D$ is almost surely finite from $z$, then $u(z)={\mathbb{E}}_z[u(B_{T_D})]$. The Itô formula and compact localization make $u(B_{t\wedge T_D})$ a bounded martingale. bounded convergence theorem at the exit time proves the representation even if the domain is unbounded. Removing boundedness of $u$ can invalidate this conclusion through loss of uniform integrability.