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 establishes
The conclusion concerns local unparameterized segments up to exit; the capacity parameter itself changes according to .

Articles by others on the same topic (0)

There are currently no matching articles.