A chordal Loewner chain is an increasing family of compact H-hulls, usually parameterized by half-plane capacity, whose mapping-out functions evolve according to the Chordal Loewner equation.
Conditionally on the entire past up to , the future domains mapped and centered by have the original chain law and are independent of that past. For Schramm–Loewner evolution this follows from independent stationary Brownian motion increments and the composition rule for chordal Loewner driving functions. The Strong Markov property gives the version at almost surely finite stopping times.
Suppose a chordal SLE trace stays in the open complex upper half-plane at every positive time almost surely. For every deterministic rational time , the domain Markov property of a chordal Loewner chain makes its mapped and centered future a fresh SLE, so its positive-time future stays in the open half-plane as well. The inverse mapping-out function then places that future outside the entire old hull. Intersecting these probability-one events over rational rules out every self-intersection: if two times shared a trace point, choose rational strictly between them. This proves simplicity using the allowed boundary-avoidance assertion for .
For a Loewner chain with half-plane capacity , scale invariance means has the original law for every . Its mapping-out maps are and its Loewner driving function is . This follows by differentiating the Chordal Loewner equation. Brownian scaling gives this property for Schramm–Loewner evolution.
When the indicated limit exists continuously and the hulls are generated by its past, it defines the trace of the Loewner chain. The hull includes the curve up to time and any regions it disconnects from infinity. Therefore swallowing a point by is different from visiting that point by the Loewner trace. For SLE, the continuous trace is part of its basic existence theory.
For a continuous Loewner trace generating its hulls, the inverse mapping-out function of a compact H-hull extends continuously to the closed complex upper half-plane. The finite trace is a continuous map image of an interval, and the boundary of its unbounded complementary component has local connectedness; the Caratheodory boundary extension theorem gives the extension. In particular , while maps the open complex upper half-plane into . This is the deterministic boundary-extension input of Rohde and Schramm, Theorem 4.1. Under a Conformal Markov property of SLE restart, this relates boundary contacts of the mapped future to contacts with the old hull, without assuming the old trace is simple.
The local growth property says that, after mapping out the hull at time , the new hull grown during a short interval has diameter tending uniformly to zero with the interval length. It ensures that the growth is described by one continuous boundary point.
An increasing family of compact H-hulls of half-plane capacity with the Loewner local growth property corresponds uniquely to a continuous real Loewner driving function. Its mapping-out functions solve the Chordal Loewner equation up to the maximal lifetime of each point. Conversely each continuous driver generates that hull family. A continuous Loewner trace is an additional property, not a consequence for every continuous driver. For SLE it is supplied by the trace-existence theorem.
The Loewner differential equation describes a growing family of simply connected planar domains through ordinary differential equations for their normalized conformal maps.
For a capacity-parameterized locally growing hull family,where the continuous real function is the Loewner driving function.
With half-plane capacity , and , differentiating gives the displayed identity. The translation by the driver cancels in the Green function. This rank-one covariance loss balances the quadratic covariation of the harmonic mean in the SLE4 coupling with a Gaussian free field.
For a real point away from the initial driver, this is the maximal lifetime of the real solution . At finite lifetime its centred image collides with the Loewner driving function. A point may be visited or separated from infinity by the hull, so swallowing is not the same as an individual trace visit.
For a continuous chordal SLE trace started at zero, hitting the real interval is equivalent to finite boundary-point swallowing time for a Loewner chain at . A boundary crosscut may swallow all points between its endpoints without visiting them individually. The Boundary-point Bessel flow for SLE determines the probability of this event.
For a continuous Loewner driving function , is the maximal lifetime of in the complex upper half-plane under the Chordal Loewner equation. A finite lifetime has as : otherwise the continuous driver and the ordinary differential equation continue the solution. A swallowed point need not have been visited by the Loewner trace; it may lie in a disconnected pocket of the filled hull.
The Loewner driving function is the real boundary point at which the mapped-out hull grows. Scaling the hulls by and time by transforms it to .
Suppose the mapped increments have real-centred enclosing radii bounded by a nondecreasing modulus . Nested closures define the unique growing real point . For , its preimage belongs to . The uniform displacement estimate for a mapping-out function gives , while . Letting with proves the displayed estimate. It proves uniform continuity of the Loewner transform on each bounded time interval without evaluating a conformal map on a rough boundary.
The domains of a capacity-parametrized Loewner chain determine their hydrodynamically normalized mapping-out functions of compact H-hulls. At a surviving point, the Chordal Loewner equation gives . For a continuous driver and , the left derivative uses only the hull past. High points , , survive up to any fixed finite time for sufficiently large , making this a countable local reconstruction of the driver and its past filtration.
After time , map remaining domains by . The new mapping-out function at elapsed time is . Direct differentiation of the Chordal Loewner equation proves that its driver is , and its half-plane capacity is . Defining transformed hulls as complements of transformed domains avoids ambiguity at the old hull boundary.
For the Chordal Loewner equation driven by , the hull is a straight slit whose endpoint is proportional to . Put and . Its inverse map isusing upper-half-plane branches. The interval between the two real roots maps onto the two sides of a segment of argument .
Articles by others on the same topic
There are currently no matching articles.