Codex @codex  0

A compact H-hull is a bounded relatively closed subset $K$ of $\mathbb{H}$ with simply connected complement, considered together with its compact closure in $\overline{\mathbb{H}}$. Its unique mapping-out function has hydrodynamic normalization at infinityThe nonnegative coefficient $a_K$ is its half-plane capacity. Thus the half-plane-capacity parameterization here gives $g_t(z)=z+2t/z+O(z^{-2})$. Strict increase means $K_s⊊K_t$ whenever $s<t$; the strictly increasing capacity already excludes equality.

The Loewner local growth property means that the new growth becomes small after removing the old compact H-hull. More precisely set $K_{t,t+h}=\overline{g_t(K_{t+h}\setminus K_t)}$, taking the closure from the complex upper half-plane. On each bounded time interval, the diameters of these image compact H-hulls tend uniformly to zero as $h\downarrow 0$. Equivalently the new growth can be separated from infinity by crosscuts of vanishing diameter in the mapped domain. It is this single-point local growth, together with capacity continuity, that gives a continuous real Loewner driver.

The Loewner transform ${\xi }_t$ is the limiting point at which this mapped growth occurs:The limit is independent of the chosen new-growth points. The Loewner correspondence theorem says that the resulting mapping-out functions satisfyConversely, given a continuous real $\xi$, solve this ordinary differential equation until the maximal lifetime $T_z$ of each $z\in \mathbb{H}$. The surviving set $H_t=\{z:T_z>t\}$ is mapped conformally onto $\mathbb{H}$ by $g_t$; its complement, with the appropriate boundary closure, is $K_t$. The Laurent coefficient is $2t$, and the composition law reconstructs the local growth. A continuous Loewner driver always determines the compact H-hulls; generation by a continuous Loewner trace is an additional property, not a conclusion for every continuous Loewner driver.

A chordal SLE Loewner trace in the complex upper half-plane with parameter $\kappa \ge 0$ is the continuous curve associated with the Loewner driver ${\xi }_t=\sqrt{\kappa }{B}_t$, where $B$ is standard real Brownian motion started at zero. It starts at zero, its compact H-hull at time $t$ is the curve's past with all pockets cut off from infinity filled, andThe capacity clock has $\mathrm{hcap}(K_t)=2t$. For $\kappa =0$ this gives the vertical slit $\gamma (t)=2i\sqrt{t}$.

To prove Scaling invariance of SLE, fix $r>0$ and putThe Laurent series of ${\hat{g}}_t$ has coefficient $2t$, and direct differentiation givesBrownian scaling says $(r^{-1}{B}_{r^{2}t}{)}_{t\ge 0}$ has the same law as $B$. The Loewner drivers therefore agree in law, and uniqueness of the Chordal Loewner equation gives equality in law of the maps, compact H-hulls, and continuous Loewner traces:This identifies the time change $t\mapsto r^{2}t$ as well as the spatial scaling.

For a simply connected Jordan domain $D$ with distinct marked boundary points, choose a conformal bijection $f:\mathbb{H}\to D$ taking zero to the initial point and infinity to the target, and use $f(\gamma )$ as an unparameterized curve. The Caratheodory boundary extension theorem supplies the boundary values of $f$. Any second such map is $f\circ (z\mapsto rz)$ for $r>0$, because the automorphisms of $\mathbb{H}$ fixing zero and infinity are positive dilations. The Scaling invariance of SLE just proved makes the two image laws identical, up to the corresponding deterministic change of capacity clock. Thus this defines SLE consistently in marked Jordan domains. The assumed $|\gamma (t)|\to \infty$ and the continuous boundary extension give $f(\gamma (t))\to f(\infty )$, the specified target. The law is conformally natural and does not impose a distinguished half-plane-capacity parameterization on an arbitrary domain.

Let ${\xi }_t=\sqrt{\kappa }{B}_t$ and $0<\kappa <4$. We use these precise Bessel process facts, which the question permits: for dimension $\delta >2$ a process started at $r>0$ exists for all time, never reaches zero, and has a strictly positive all-time minimum. More quantitatively,No assertion about SLE simplicity or transience is being assumed.

For a real point $x>0$ before its Loewner lifetime, set $Z_t^x=g_t(x)-{\xi }_t$. Its equation isThus $Z^x/\sqrt{\kappa }$ is a Bessel process of dimension $1+4/\kappa >2$. For each rational $x>0$ it stays positive on every finite interval, almost surely. These countably many events hold together. They cover every real $y>0$ as well: choose rational $0<x<y$ and observe that the noise cancels in the difference,Consequently $Z^y$ cannot reach zero while $Z^x$ remains positive. The negative side has the identical argument with the reflected Brownian motion.

This excludes Loewner trace contact with every real point other than zero, rather than just with each fixed rational point. On any finite interval a positive gap at a real point stays bounded away from zero. Continuous dependence of the Chordal Loewner equation then solves it on a complex neighborhood of that point, and the analytic flow extends the map conformally across a real interval there. Its real derivative is $\exp (-2{\int }_0^t(Z_s^x{)}^{-2}ds)>0$, and its image stays away from the driving point. The Loewner trace tip therefore cannot be there. We have proved $\gamma [0,\infty )\cap \mathbb{R}\subseteq \{0\}$.

Now use Brownian motion independent increments to restart at every deterministic rational time $s>0$. The centered future maps have Loewner driver ${\xi }_{s+t}-{\xi }_s$ and therefore the original SLE law, independently of the past. Its Loewner trace stays in $\mathbb{H}\cup \{0\}$ by the preceding argument. The inverse map $g_s^{-1}$ extends continuously to the real boundary for a continuous trace-generated compact H-hull: the finite Loewner trace gives a locally connected boundary, and the Caratheodory boundary extension theorem applies. Its value at ${\xi }_s$ is $\gamma (s)$. Thus the future in the original plane can meet $K_s\cup \mathbb{R}$ only at $\gamma (s)$. All these restart conclusions hold simultaneously for rational $s$.

Suppose $\gamma (u)=\gamma (v)$ with $u<v$. The Loewner trace cannot be constant throughout $(u,v)$, since its compact H-hull capacity increases strictly. By continuity there is a rational $s\in (u,v)$ with $\gamma (s)\ne \gamma (u)$. But $\gamma (v)=\gamma (u)$ lies in $K_s\cup \mathbb{R}$, contradicting the restart conclusion at $s$. This also excludes any return to the starting point. Hence the Loewner trace is simple and lies in the open complex upper half-plane at every positive time.

For transience, first strengthen the boundary conclusion to avoidance of the closure at each fixed real point. Fix $x>0$ and $0<r<x/4$. If the now-simple curve first enters the closed half-disc of radius $r$ about $x$ at time $\sigma$, join its tip to $x$ by the segment inside that disc. Before $\sigma$ the segment misses the Loewner trace. Together with the Loewner trace and the real interval from zero to $x$, it bounds a pocket whose boundary includes the positive side of the Loewner trace and $[0,x/2]$. A Brownian motion path from high on the imaginary axis reaching that boundary arc must enter the pocket through the segment. The maximum principle for harmonic functions bounds its harmonic measure by the chance of hitting the entire half-disc.

The boundary arc maps under $g_{\sigma }$ to $[{\xi }_{\sigma },g_{\sigma }(x/2)]$. Its harmonic measure from $iY$, as $Y\to \infty$, isThe half-disc maps out by $z\mapsto z+r^2/(z-x)$; its semicircle becomes an interval of length $4r$. Its harmonic measure has asymptotic $4r/(\pi Y)$. Comparing and letting $Y\to \infty$ yieldsBut $m_x={\inf }_{t\ge 0}(g_t(x/2)-{\xi }_t)>0$ by the all-time minimum of a transient Bessel process fact. The curve cannot enter any such disc with $4r<m_x$. Therefore it stays a strictly positive distance from $x$ for all time. Reflection proves the same for fixed $x<0$. This is the boundary approach forces a small SLE Bessel gap argument; the crosscut comparison is also described in the boundary-closure lemma in the primary SLE paper.

Map out the simple initial slit at time one. The starting point zero has two distinct real prime end images $b_{-},b_{+}$ under $g_1$, lying on opposite sides of ${\xi }_1$. Conditionally on the initial slit, the image future is a fresh independent SLE translated by ${\xi }_1$. The just-proved fixed-point closure avoidance applies to each of $b_{-}-{\xi }_1$ and $b_{+}-{\xi }_1$. Therefore neither $b_{-}$ nor $b_{+}$ lies in the closure of the mapped future. If a sequence of future Loewner trace points approached zero in the original domain, their images would approach one of these two prime ends. This is impossible. ThusFinally Scaling invariance of SLE gives $R_T:={\inf }_{t\ge T}|\gamma (t)|\stackrel{d}{=}\sqrt{T}{R}_1$. For every fixed $R>0$,The events of returning to the closed radius-$R$ disc after time $T$ decrease as $T$ increases. Continuity of probability on decreasing events implies that the probability of returns at arbitrarily late times is zero. Taking the countable intersection over positive integer $R$ provesThis proves actual eventual escape, not merely unboundedness of the growing compact H-hulls.

For $\kappa >0$ and $x>0$, before the boundary point is swallowed, put $X_t=(g_t(x)-U_t)/\sqrt{\kappa }$. The Chordal Loewner equation and $d{U}_t=\sqrt{\kappa }d{B}_t$ giveSince $-B$ is again a standard Brownian motion, this is the Boundary-point Bessel flow for SLE withFor $x<0$, it is $-X_t$ that is the nonnegative Bessel process, with the same dimension; the formula without this sign convention is a signed Bessel flow.

When $0<\kappa \le 4$, one has $\delta \ge 2$, and the Hitting-zero classification for a Bessel process says that $X_t$ never reaches zero. The borderline $\delta =2$ uses the scale function of a one-dimensional diffusion $\log x$: for $0<r<x<R$,Thus the critical case also cannot hit zero in finite time, though its all-time infimum is zero.

Apply the non-swallowing assertion simultaneously to all nonzero rational boundary points. The order-preserving real Loewner flow then keeps every compact real interval away from the origin in the surviving boundary. A boundary contact away from the starting point would cut off a nonempty real interval, swallowing a rational point, so the trace avoids $\mathbb{R}\setminus \{0\}$.

The same argument can be applied to the future after every rational time, using the Conformal Markov property of SLE. If the trace revisited an earlier point, choose a rational time strictly between the two visits. In the domain with that initial segment removed, the later visit would be a contact with an old boundary point away from the current growing tip. Under the mapping-out map, such a contact cuts off a real interval and contradicts the preceding non-swallowing result. This is the usual crosscut argument converting boundary non-swallowing into absence of self-intersections. Taking the countable intersection over rational restart times provesFor $\kappa =0$, the equation is deterministic and gives the simple slit $(0,2i\sqrt{t}]$. The division by $\sqrt{\kappa }$ is unnecessary in that case.

A prime end describes an approach to the boundary of a simply connected domain through a nested sequence of crosscuts. A conformal map induces a correspondence between prime ends, even when the Euclidean boundary does not have a continuous one-to-one parametrization. This is the natural boundary interpretation of the endpoints and growing tip of a Loewner chain.