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
Apply the Itô formula to the transformed Loewner driving function . The conformal conjugacy derivative for the chordal Loewner equation cancels the Itô drift exactly when . Its quadratic variation is .