A conformal automorphism of the upper half-plane is a real Möbius transformation
with coefficients determined up to a common nonzero factor. The boundary interval is the oriented real boundary arc from infinity to , namely the finite real interval . The map must take the left endpoint to infinity and the right endpoint infinity to , while fixing zero. These three boundary values determine the Möbius transformation uniquely:
Its determinant is positive, , and on its derivative is . Its endpoint limits are at and at , so it has exactly the required boundary extension.
The scale is precisely the inverse conformal map:
By definition, a chordal SLE in a specified scale in is a curve whose image under is the half-plane-capacity-parameterized SLE from zero to infinity. Here
and the right-hand side is the given . Equivalently, this is Conformal invariance of SLE, with the target point transported from infinity to . Thus is in in scale , using the original parameter . This scaled parameter is distinguished from the ordinary half-plane-capacity parameterization of its image hulls used next.
Put and . The given conformal change of half-plane capacity makes the image mapping-out equation
Indeed its capacity speed is , and the stated Loewner local growth property identifies the indicated single driver. For , differentiate the conjugacy identity
at a fixed original point. The Chordal Loewner equation then gives the conformal conjugacy derivative for the chordal Loewner equation
The change of variable covers the whole upper half-plane. The conformal automorphism of the upper half-plane is a real Möbius transformation. Its pole is the image of the still-unswallowed boundary point , so it is holomorphic in a neighbourhood of before .
To evaluate the apparent singularity, write , and . The Taylor series is
Thus the first term in the derivative is , while the second is . Their poles cancel and their constant terms differ by . Therefore
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:

Articles by others on the same topic (0)

There are currently no matching articles.