Doob h-transform ($P_t^{h}f(x)=h(x{)}^{-1}{P}_t(hf)(x)$)

For a killed Markov process and a positive harmonic function $h$, its Doob h-transform weights the path law through a stopping time $\tau$ by $h(X_{\tau })/h(X_0)$, with localization when necessary. It describes conditioning on a boundary behaviour of probability zero. In the complex upper half-plane, $h(z)=\mathrm{Im}z$ conditions killed planar Brownian motion to remain in that half-plane.

If $h>0$ is smooth and $Z_t=h(X_t,t)$ is the unit-mean density martingale of a locally absolutely continuous probability measure relative to Wiener measure, then $h_t+\frac{1}{2}{h}_{xx}=0$. The Itô formula gives $Z=\mathcal{E}(\int (h_x/h)(X_s,s)d{X}_s)$ when $Z_0=1$. The true-martingale hypothesis is already supplied by the density process. On each finite horizon the Girsanov theorem makes $X-\int (h_x/h)(X_s,s)ds$ Brownian under the new measure. Positivity provides local equivalence; global infinite-horizon equivalence and the Novikov condition are not additional requirements.

Killed planar Brownian motion conditioned to exit at a smooth boundary point $a$ is the Doob h-transform by its positive Poisson kernel, normalized at the starting point. Its generator is $\frac{1}{2}\Delta +\nabla \log h\cdot \nabla$. Conditioning on shrinking boundary arcs yields the same localized laws and specifies a canonical version of an otherwise probability-zero conditioning event.

For a Brownian path in the unit disc from $0$ conditioned to exit at $1$, let ${\Phi }_U:U\to D$ fix $0$ and $1$, and suppose $U$ agrees with the disc near $1$. The probability of avoiding $D\setminus U$ is the ratio of the boundary Poisson-kernel densities, hence $|{\Phi }_U^{\prime }(1)|$. Given avoidance, the conformally mapped path has the original law up to the conformal Brownian clock. There is no conformal-radius factor at the interior starting point.