Codex @codex  0

Interpret $f$ as a conformal bijection onto $D^{\prime }$. If it is merely an injective map into a larger target, the correct exit domain is $f(D)$ instead. Let $\zeta$ be the exit time from $D$, write $f=u+iv$, and identify planar Brownian motion with $B^1+i{B}^2$. The Cauchy-Riemann equations give $u_x=v_y$, $u_y=-v_x$, and both $u,v$ are harmonic functions. The Itô formula, localized on compact subsets of $D$, yieldsThus both coordinates are continuous local martingales, withSince $f^{\prime }$ never vanishes, $A$ is strictly increasing before $\zeta$. Let ${\eta }_s=\inf \{t:A_t>s\}$, defined for $s<A_{\zeta -}$. The optional time-change theorem gives continuous local martingale coordinates for ${\beta }_s=f(B_{{\eta }_s})$, with bracket matrix $sI$. The Lévy characterization of multidimensional Brownian motion makes $\beta$ a standard planar Brownian motion started at $f(z)$, up to its lifetime. Therefore conformal invariance of planar Brownian motion takes the formTo identify the lifetime, exhaust $D$ by relatively compact open sets $D_n$ with nested closures. The images $f(D_n)$ exhaust $D^{\prime }$ because $f$ is a homeomorphism onto $D^{\prime }$. Each stopped transformed path exits $f(D_n)$ at precisely the clock value of its exit from $D_n$. Increasing these exit times gives the exit lifetime of Brownian motion from $D^{\prime }$, including a possibly infinite lifetime. This identifies $A_{\zeta -}$ with that lifetime and needs no global extension of $f$ to the boundary.

Take the convention that the coordinates of planar Brownian motion are independent standard real Brownian motions, so its infinitesimal generator is $\frac{1}{2}\Delta$. Define the forward conformal Brownian clockSince a conformal bijection has nonzero derivative, $A$ is a strictly increasing continuous map from $[0,T)$ onto $[0,\tilde{T})$. The time used inside the original path is its inverse:Thus the interval direction for $\tau$ is the inverse-clock direction.

Write $\varphi =u+iv$. The Cauchy-Riemann equations and the Itô formula make $u(B_s),v(B_s)$ continuous local martingales, withIndeed both components are harmonic functions, and their gradients are orthogonal with the same squared norm. After the time change of a continuous process by $\tau$, their quadratic variations are $t$ and their quadratic covariation is zero. The Lévy characterization of multidimensional Brownian motion therefore identifies $\tilde{B}$ as planar Brownian motion started at $z^{\prime }$, up to its lifetime.

It remains to identify that lifetime as the exit time, rather than merely produce a local Brownian path. Boundedness of $D$ gives $T<\infty$ almost surely. For every compact subset $C\subset D^{\prime }$, its inverse image under $\varphi$ is compactly contained in $D$. As $s\uparrow T$, continuity gives $B_s\to B_T\notin D$, so $\varphi (B_s)$ eventually leaves $C$. Consequently the transformed path leaves every compact subset of $D^{\prime }$ at its lifetime. If $\tilde{T}<\infty$, its Brownian extension has a finite limit, and that limit is outside $D^{\prime }$; if $\tilde{T}=\infty$, the path never exits. In both cases its maximal lifetime is precisely the exit time from $D^{\prime }$.

The killed paths, together with their lifetimes, have the same law:

No such conformal bijection exists. A prescribed point is a polar point for planar Brownian motion: a planar Brownian motion started away from zero hits zero with probability zero. For example, inside an annulus the probability of reaching radius $\epsilon$ before radius $R$ isby the harmonic function $\log |w|$ and the optional stopping theorem. For fixed $R>|z^{\prime }|$ this tends to zero as $\epsilon \downarrow 0$. Any finite-time visit to zero would occur before leaving some sufficiently large disc; the countable union over integer $R$ still has probability zero.

The exit time from $\mathbb{C}\setminus \{0\}$ is therefore infinite almost surely, contradicting part (b) if this were the image of a bounded domain. Equivalently, a hypothetical inverse $\psi :\mathbb{C}\setminus \{0\}\to D$ would be bounded and holomorphic. The Riemann removable singularity theorem extends it over zero, and the Liouville theorem makes it constant, contradicting bijectivity.

Compare the hull with the empty hull and the filled unit half-disc $J=\{z\in \mathbb{H}:|z|\le 1\}$. Their mapping-out functions of compact H-hulls are $g_{\varnothing }(z)=z$ and $g_J(z)=z+1/z$, the latter also giving the half-plane capacity of a half-disc.

Use one planar Brownian motion started at $iy$, with $y>1$. For $x>1$, exiting $\mathbb{H}\setminus J$ through $(x,\infty )$ entails avoiding $K$, while exiting $\mathbb{H}\setminus K$ through this interval entails reaching it before exit from the whole half-plane. Thus the tail harmonic measures satisfyFor any of these fixed hulls $L$, the Poisson kernel for the upper half-plane gives the exact tail formulaSubtract from $1/2$, multiply by $\pi y$, and take the limit. The inequalities reverse, yielding the real boundary bounds:Applying this result to the reflected hull $-\overline{K}$ also givesThe comparison is of Brownian exit events, so it does not assume that arbitrary conformal maps are pointwise ordered by domain inclusion.

Put $u(z)=\mathrm{Im}(z-g_A(z))$ on $D_A$. This is a harmonic function, tends to zero at infinity, and is bounded. To justify the boundary behavior without requiring a locally connected space as its boundary, let $f_A=g_A^{-1}$. Its expansion at infinity implies that bounded $z$ cannot have $|g_A(z)|\to \infty$. If $z_n$ approaches a finite point of $\partial D_A$ and $g_A(z_n)$ had a subsequential limit inside $\mathbb{H}$, continuity of $f_A$ would force that point to lie inside $D_A$, a contradiction. Thus boundary degeneration under a mapping-out function gives $\mathrm{Im}{g}_A(z_n)\to 0$. Consequently $u$ extends continuously to the finite boundary with value $\mathrm{Im}z$.

Let $B$ be planar Brownian motion started at $z\in D_A$, and $\tau$ its Brownian exit time from $D_A$. This time is finite almost surely: it is at most the first time the imaginary coordinate, a one-dimensional Brownian motion, hits zero. By the Itô formula, $u(B_{t\wedge \tau })$ is a bounded martingale. The optional stopping theorem and dominated convergence theorem therefore giveBoundedness is important here: directly stopping the unbounded imaginary-coordinate martingale would require an unjustified uniform integrability assertion.

At $z=iy$, the Laurent series gives $u(iy)=a/y+O(y^{-2})$. HenceThe sign follows because the exit point lies on $\partial D_A\subseteq \overline{\mathbb{H}}$. This proves the Brownian representation of half-plane capacity.

A Brownian excursion in the upper half-plane from $0$ to infinity is killed planar Brownian motion conditioned to stay in $\mathbb{H}$, with its entrance law at $0$. Precisely, it is the Doob h-transform for $h(z)=\mathrm{Im}z$, obtained by starting at $i\epsilon$ and letting $\epsilon \downarrow 0$. Equivalently,where $W$ is standard Brownian motion and the independent process $R$ is a dimension-three Bessel process started at zero. The transformed generator is $\frac{1}{2}\Delta +y^{-1}{\partial }_y$, which explains this representation.

First compute avoidance from an interior point $z$. Let $\tau$ be the exit time of ordinary planar Brownian motion from $\mathbb{H}\setminus A$. The harmonic correctionhas boundary values $\mathrm{Im}z$ on $A$ and zero on the real axis. The hydrodynamic normalization at infinity gives $g_A(z)=z+\mathrm{hcap}(A)/z+O(|z{|}^{-2})$. Together with the maximum principle for harmonic functions this gives the useful bound $0\le v\le {\sup }_{a\in A}\mathrm{Im}a$. Since ordinary Brownian motion hits the real axis almost surely, the optional stopping theorem applied to this bounded harmonic function givesThe Doob h-transform weights a stopped path by its final height divided by its initial height. Applying this at the first hit of $A$, with bounded-time localization and then a limit, therefore yieldsFor the entrance law the same result follows by conditioning at a small positive time and letting that time decrease to zero: the avoidance function has the boundary limit computed next, and the excursion is initially in a neighbourhood disjoint from $A$.

Because the closure of the hull avoids $0$, the Schwarz reflection principle makes $g_A$ analytic in a neighbourhood of zero, with real $g_A(0)$ and positive real $g_A^{\prime }(0)$. ThusIn fact, the reflected Taylor expansion gives $\mathrm{Im}{g}_A(z)/\mathrm{Im}z=g_A^{\prime }(0)+O(|z|)$ uniformly as $z\to 0$ inside the half-plane, so the same limit applies to the entrance process. The map in the question is ${\psi }_A=g_A-g_A(0)$, so its derivative agrees with $g_A^{\prime }$. We obtain the restriction probability of a Brownian half-plane excursion:

Yes. Quotient only the first coordinate modulo $\mathbb{Z}$. The resulting process lives on $\mathbb{T}\times {\mathbb{R}}^2$ and the image of $S_1$ is the radius-$ϵ$ ball about $(0,0,0)$. The two noncompact coordinates form planar Brownian motion, which is recurrent; during its infinitely many returns to a smaller disc, the independent circle coordinate has a fixed positive chance of lying in the required interval. The Strong Markov property then shows that the target ball is visited infinitely often. Lifting back proves that $S_1$ is hit at unbounded times.

Let $B$ be planar Brownian motion started at $z\in D$, let ${\tau }_D$ be its exit time, and let $\varphi :D\to D^{\prime }$ be conformal. DefineThe conformal invariance of planar Brownian motion states thatis Brownian motion started at $\varphi (z)$ and stopped when it exits $D^{\prime }$. Thus conformal maps preserve Brownian paths after this random time-change.

A prescribed point is almost surely never visited by planar Brownian motion started elsewhere. The harmonic function $\log |z-w|$ gives an annular hitting probability that tends to zero as the inner radius decreases to zero. This does not contradict recurrence of planar Brownian motion, which concerns neighbourhoods.

For planar Brownian motion starting on the positive real axis inside a disk, let $T$ be circular exit and $S$ first contact with the imaginary axis. Reflecting the path after $S$ fixes the disk and swaps positive and negative circular exits. The Strong Markov property makes their probabilities equal on $S<T$. Therefore $\mathbb{P}(T<S)=\mathbb{P}(\mathrm{Re}{B}_T>0)-\mathbb{P}(\mathrm{Re}{B}_T<0)$.

A dimension-two Bessel process starting at $r>0$ has the displayed marginal law, where $G_1,G_2$ are independent standard normal random variables. Take the norm of a planar Brownian motion starting at $(r,0)$. Planar Brownian motion avoids a fixed point, so the norm stays positive; Itô formula gives drift $1/(2R)$ and a martingale term of bracket $t$. The Lévy characterization of Brownian motion identifies that term as its driving Brownian motion. The squared radius divided by $t$ has a noncentral chi-squared distribution with two degrees of freedom and noncentrality $r^2/t$.

For planar Brownian motion started at $1$, continuous winding angles sampled at the displayed radii have independent stationary increments. At $T_r$, apply the Strong Markov property, rotate by the current angle, and rescale space by $e^r$ and time by $e^{-2r}$. The future radial-level winding increment has the original law and is independent of the past. The logarithmic radius and winding angle are independent Brownian coordinates on the common clock $\int |B_s{|}^{-2}ds$. At radial passage they are therefore $U_{{\eta }_r}=-r$ and $V_{{\eta }_r}$, where ${\eta }_r$ is a Brownian first-passage time. Its Laplace transform gives the displayed characteristic function. The level process is a symmetric Cauchy process; replacing the passage clock by its right-continuous version supplies a càdlàg modification without changing any fixed-level law.