Put and define
Then . Differentiating with the Chordal Loewner equation gives
Uniqueness for this ordinary differential equation shows that . At ,
which is the endpoint identity for the Reverse Loewner flow.
For , the pathwise identity is generally false. The left side is built from the reversed final driver segment , whereas the right side is built from the initial segment . By time reversal and symmetry of Brownian motion they have the same probability distribution, but they are not equal for the given Brownian path.
Reverse SLE derivative martingale Created 2026-09-24 Updated 2026-11-05
Fix and a deterministic terminal time . The reversed driver has the law of in its reversed-increment filtration. For the Reverse Loewner flow, put , and . Direct differentiation and the Itô formula give
Consequently
The drift cancellation includes the quadratic variation correction. Thus is a positive local martingale, hence a supermartingale; a true martingale assertion needs additional integrability. This yields useful expected value bounds for the inverse-map derivative without assuming the estimate itself is integrable in advance. The exponent excludes the deterministic case .