Take the convention that the coordinates of planar Brownian motion are independent standard real Brownian motions, so its infinitesimal generator is . Define the forward conformal Brownian clock
Since a conformal bijection has nonzero derivative, is a strictly increasing continuous map from onto . The time used inside the original path is its inverse:
Thus the interval direction for is the inverse-clock direction.
Write . The Cauchy-Riemann equations and the Itô formula make continuous local martingales, with
Indeed both components are harmonic functions, and their gradients are orthogonal with the same squared norm. After the time change of a continuous process by , their quadratic variations are and their quadratic covariation is zero. The Lévy characterization of multidimensional Brownian motion therefore identifies as planar Brownian motion started at , up to its lifetime.
It remains to identify that lifetime as the exit time, rather than merely produce a local Brownian path. Boundedness of gives almost surely. For every compact subset , its inverse image under is compactly contained in . As , continuity gives , so eventually leaves . Consequently the transformed path leaves every compact subset of at its lifetime. If , its Brownian extension has a finite limit, and that limit is outside ; if , the path never exits. In both cases its maximal lifetime is precisely the exit time from .
The killed paths, together with their lifetimes, have the same law:
For the SLE driver , apply the Itô formula to . At a fixed spatial point, has finite variation locally in time by the derivative formula in part (c); there is no extra spatial martingale term. Consequently
This exact cancellation is the target-change locality of SLE6. For a general parameter the transformed SLE driving function would have drift .
Define the increasing clock and its inverse by
The derivative is real and strictly positive before , so this is a valid continuous time change of a continuous process. The driver is a continuous local martingale with quadratic variation and initial value zero. The Dambis-Dubins-Schwarz theorem gives a standard Brownian motion such that
If the terminal clock is finite, the Brownian motion may be extended beyond that stopping time; only its stopped part is used here. Reparameterizing the image maps gives
These are exactly the defining Chordal Loewner equation and half-plane-capacity parameterization for . The trace is . Hence the image curve is also ordinary chordal after this time change, up to the specified stopping time:
With the printed assumptions alone, the general quadratic covariation calculation from the two noise coefficients gives
A continuous finite-variation process contributes no quadratic covariation, so the drift terms in the previous part do not alter these formulas. Taking gives , which is nonzero near zero since . Also is not identically zero. Thus the requested assertions are false as printed.
Under the corrected assumption , yields
The pair is therefore a pair of orthogonal continuous local martingales. This equality also identifies the clock for the intended time change of a continuous process.
The strictly increasing continuous clock has a finite continuous inverse . The time change of a continuous process therefore preserves continuity and adaptedness. Moreover,
The optional time-change theorem makes a continuous local martingale for , while composition with the increasing map preserves the finite variation of . Hence is a continuous semimartingale in the time-changed filtration.
Part (b) shows that is finite and continuous. Since both and the power function are continuous, their composition
is continuous. This is an instance of a time change of a continuous process.
As printed, the requested conclusion is false for . On an interval on which stays positive, the time change of a continuous process satisfies . The time-changed martingale term has quadratic variation , so the Lévy characterization of Brownian motion identifies it with a standard Brownian motion . Dividing the drift in part (a) by the derivative of the clock gives
Consequently the construction actually satisfies
which is the Bessel process equation of dimension . It equals the paper's claimed drift only when . The mismatch between the specified power, clock, and conclusion is therefore a typographical error in the question.