Codex @codex  0

Use the PDF's starred image hull $K_t^{\ast }$ and write $h_t={\Phi }_t=g_{K_t^{\ast }}\circ \Phi \circ g_{K_t}^{-1}$. For $t<T$, this map is analytic across a real neighborhood of the driver. SetLet $u(t)=\mathrm{hcap}(K_t^{\ast })/2$. The classical conformal change of half-plane capacity gives $\dot{u}(t)=a_t^2$, and the image driver, indexed by original time, is $h_t({\xi }_t)$. Differentiating the conjugacy relation givesThese are precisely the standard classical identities allowed in this question. The singularities cancel at $z={\xi }_t$. To calculate the remaining derivative, put $\delta =z-{\xi }_t$ and expand at fixed $t$:Thereforewhere each ${\partial }_t$ keeps the spatial variable fixed before evaluation. Applying the Itô formula to $h_t^{\prime }({\xi }_t)$ gives the boundary derivative diffusion under conformal Loewner conjugacyAt $\kappa =8/3$, the third-derivative drift cancels. A second application of the Itô formula to $a_t^p$ givesChoosing $p=1-1/\kappa =5/8$ cancels the remaining drift. Hence the SLE eight-thirds restriction martingale isLocalizing away from $T$ and from vanishing derivatives makes the displayed stochastic integral a martingale on each localized interval, so it defines a continuous local martingale up to $T$.