Regard a chord as an oriented curve modulo increasing reparameterization, and write for that class. Scale invariance of means that has the same law for each . The locality of a chord law under conformal changes of neighborhoods is the following stopped-curve property: if are neighborhoods of the starting boundary point and is a boundary-preserving conformal isomorphism with , thenThe two stopped curves are sampled from the same original law ; equality is for their unparameterized initial segments. A normalization of can be imposed in an equivalent formulation, since scale invariance removes the positive dilation. In a hull-removal formulation, the Locality property of SLE says that a modification away from the starting point leaves the initial law unchanged until the curve reaches the modified part of the domain.
Let map out the original filled hull and let map out the filled hull generated by . Both have hydrodynamic normalization at infinity. WriteAlthough the original is specified only on , this conjugacy is defined in the surviving neighborhood of the tip. Boundary preservation gives a real analytic extension there by the Schwarz reflection principle, with . The identities below are first applied on compactly localized intervals before exit and then continued up to .
Set , the capacity clock of the image hull. The Chordal Loewner equation for each flow and the chain rule giveAnalyticity at the driving point cancels the coefficient of , forcing . The constant term, computed as in Question 3, is then . For a general SLE driver , the Itô formula consequently gives the transformed SLE driving functionAt , this becomesThus is a continuous local martingale up to the exit time. If the source notation indexes the image driver by original time, it denotes . If it uses the image's own half-plane-capacity time, it denotes , with the inverse clock; that time-changed process is also a local martingale. This distinguishes the two clocks without changing the requested conclusion.
Since , invert the image clock before exit and put . Its quadratic variation is and its initial value is zero, because . By the Lévy characterization of Brownian motion, or the localized Dambis-Dubins-Schwarz theorem,for a standard Brownian motion up to the image exit time. If that lifetime is finite, the stopped Brownian motion can be extended beyond it; only the stopped law is used here.
In this clock the image mapping-out functions obey the ordinary Chordal Loewner equation with driver . Their generated trace therefore has the law of SLE with parameter six, stopped when it leaves . Meanwhile the original image segment is exactly up to exit from . The clock change is increasing, so it disappears after passing to . This proves the local stopped-curve equality required in part (a).
For completeness, the original law is scale invariant: the maps have driver , whose law is again by Brownian scaling. Hence has the original trace law. Together with the stopped conformal-change argument, this establishesThe conclusion concerns local unparameterized segments up to exit; the capacity parameter itself changes according to .
Articles by others on the same topic
There are currently no matching articles.