For chordal SLE with parameter , the Loewner trace starts at zero and is parametrized by half-plane capacity . Let be the unbounded component of , and let be its filled compact H-hull. When the trace is not simple, the hull includes the regions it disconnects from infinity. The associated mapping-out functions of compact H-hulls have expansion
and satisfy the Chordal Loewner equation
where is standard real Brownian motion. The equation is solved until is swallowed by the hull. The Loewner transform records the real boundary point at which the mapped hull grows; its relation to the trace is
Equivalently the tip maps to in the appropriate boundary prime-end sense. Thus the flow encodes the surviving domains, the transform drives that flow, and the trace generates its hulls. For , the driver is identically zero, with the branch asymptotic to , and .
After the fixed time , the mapping-out function of the uncentered mapped future is
Its expansion is , so the elapsed time is still the half-plane-capacity parameterization. Differentiating in yields
Therefore the Loewner transform of is , with starting point .
Centering gives , whose driver is . By independent stationary Brownian increments, is a standard Brownian motion independent of the past through time . Hence
This proves the domain Markov property of a chordal Loewner chain from the composition rule for chordal Loewner driving functions. For possible contacts with the old hull, the mapped trace is understood through the continuous boundary extension or prime ends; on the open half-plane the displayed maps are ordinary conformal maps. The PDF asks first for the driver of the uncentered curve ; the centered driver is included as well.
For , use the allowed probability-one event that the whole SLE trace lies in at every positive time. At each deterministic rational , part (b) makes the centered mapped future a fresh SLE with the same property. Consequently, almost surely, for every ,
This inverse relation holds through the trace's boundary-extension construction and puts positive-time future points in the open surviving domain. It therefore excludes every contact with the old filled hull, not just contacts with a fixed old point.
Intersect these probability-one events over all positive rational . If for , choose rational with . The first occurrence belongs to , whereas the second lies in , a contradiction. A return to is excluded by the original positive-imaginary-part assertion. This simplicity of SLE from boundary-avoiding restarts proves

Articles by others on the same topic (0)

There are currently no matching articles.