Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2008/iii/paper-36/4/c/solution

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 .

New to topics? Read the docs here!