Under the corrected hypothesis, is a continuous local martingale with , , and almost surely. The Dambis-Dubins-Schwarz theorem states that, for such a process,
defines a standard Brownian motion relative to the filtration , and . The divergence of the quadratic variation ensures every is finite, so no extension of the probability space is needed. Here is continuous and strictly increasing because its derivative is , so the inverse is particularly straightforward. Consequently,
The constructed Brownian motion need not be independent of its random clock. Under the literal PDF assumptions need not be a local martingale, as the counterexample in part (a) shows, so this Dambis-Dubins-Schwarz theorem conclusion cannot be asserted without the correction.
Before the Loewner swallowing time , put and . The Itô formula applied to the holomorphic logarithm in the complex upper half-plane gives
Taking imaginary parts yields the SLE angle process
For the drift vanishes, so
is a continuous local martingale. Since , every localized stopped version is a bounded true martingale. After resolving the lifetime issue below, the dominated convergence theorem applied to conditional expectations removes localization and gives a true bounded martingale.
For completeness, there is no finite lifetime ambiguity for a fixed interior in this parameter range. The preceding Bessel process and Conformal Markov property of SLE argument gives a simple trace staying in the interior, so no point is swallowed in a disconnected pocket. If were finite, the trace would have to reach , forcing the Loewner conformal radius to tend to zero by the Koebe quarter theorem. But
The Dambis-Dubins-Schwarz theorem says that a bounded continuous local martingale cannot have infinite quadratic variation before a finite terminal time: that would require a Brownian motion to stay in a bounded interval for all clock times. Therefore cannot tend to zero at a finite , a contradiction. Thus almost surely for each fixed . This proves the SLE4 angle martingale assertion: the angle is a bounded continuous martingale. In particular . The upper-half-plane branch of the argument is used throughout.
Put . It is continuous and tends to infinity almost surely, so . Define the right-continuous inverse and
The time-change theorem for local martingales shows that is a continuous local martingale in the time-changed filtration, and
For completeness, this proves the required case of the Dambis-Dubins-Schwarz theorem: for every , Itô formula makes a local martingale; stopping and conditioning show that has conditional characteristic function . Hence the increments are independent centered normal variables with the Brownian variances, and continuity makes a Brownian motion. Consequently
Thus is centered Gaussian with variance .
The Dambis-Dubins-Schwarz theorem says that there is Brownian motion such that
When is strictly increasing, define its inverse
and set . Optional sampling shows that is a continuous local martingale, while time change gives . The Lévy characterization of Brownian motion makes Brownian, and inverse time change gives the displayed representation.
With the notation supplied in the question, and . The Itô formula and give
For , the drift vanishes. The resulting continuous local martingale has quadratic variation
If is the usual half-plane-capacity time, then . The Dambis-Dubins-Schwarz theorem therefore gives
for a standard Brownian motion . The mapped hulls are consequently an , which proves locality.
Put and use the Dambis-Dubins-Schwarz theorem to write , enlarging the space if necessary after the terminal clock value. In the time-changed filtration, is a stopping time. For , let . Applying part c with gives
On , the first integrand is at most . The assumed Novikov condition therefore implies
as , uniformly for . Meanwhile , so the monotone convergence theorem gives . A nonnegative local martingale with constant expectation is a martingale. Thus is a martingale, proving the Novikov condition.
Let and . By the Dambis-Dubins-Schwarz theorem, is Brownian motion. Setting and using transforms the decomposition in part b into
Comparison with the Bessel process equation gives
Thus an exponential Brownian motion with drift becomes a Bessel process under its quadratic-variation time change; this is an Exponential Brownian-to-Bessel time change.
For , the Itô formula and the Bessel equation give
Use the clock
and its inverse. The Dambis-Dubins-Schwarz theorem turns the first term into Brownian motion, while division of the drift by the clock rate gives
Hence is a Bessel process of dimension
This is the Power time change of a Bessel process.
Because , its indefinite integral is bounded, so is bounded above and away from zero. Hence extends continuously and strictly increasingly to . The quadratic-variation clock of is
whose rate is bounded above and away from zero before exit. The Dambis-Dubins-Schwarz theorem therefore identifies , up to an equivalent time change, with Brownian motion in the bounded interval ; in particular, almost surely.
The bounded stopped local martingale is a martingale. If , the optional sampling theorem gives
Therefore
This is the boundary hitting probability from a diffusion scale function.
For , the Chordal Loewner equation and give
Put . The common Brownian term cancels, so
The Itô formula applied to gives
Since
the clock and its inverse turn the local-martingale term into Brownian motion by the Dambis-Dubins-Schwarz theorem. Therefore
This is the SLE boundary-point logarithmic separation diffusion.
Set . Its quadratic variation is , which is continuous and tends to infinity almost surely by assumption. The stated stopping time is the inverse clock at level one, so . The Dambis-Dubins-Schwarz theorem gives
The Dambis-Dubins-Schwarz theorem states that if is a continuous local martingale with and , then, for
the process is a standard Brownian motion and . If , one obtains the same representation after enlarging the probability space and continuing independently beyond .
True. The Dambis-Dubins-Schwarz theorem, with an independent continuation of the Brownian motion if is bounded, represents
Because is deterministic, every finite vector is a finite vector of a Brownian motion at deterministic times and therefore has a multivariate normal distribution. Hence is a Gaussian process. This is the deterministic quadratic variation characterizes a Gaussian continuous local martingale result.
SLE4 angle martingale Created 2026-10-05 Updated 2026-10-06
For a fixed interior point and parameter four, the SLE angle process has zero drift and satisfies . Its values in make this continuous local martingale a true bounded martingale. The identity , together with the Dambis-Dubins-Schwarz theorem, prevents its Loewner conformal radius from vanishing at a finite lifetime. Since the parameter-four trace is simple and does not meet the real boundary at positive times, finite swallowing would require a visit to the point and vanishing radius. Thus its Loewner swallowing time is infinite almost surely. This gives a global continuous bounded martingale, not just one defined before swallowing.
SLE boundary-point logarithmic separation diffusion Created 2026-09-28 Updated 2026-10-07
For two boundary points , let and set . After the clock , the Dambis-Dubins-Schwarz theorem gives
This one-dimensional diffusion process compares the swallowing times of nearby boundary points.
Target-change locality of SLE6 Created 2026-10-06 Updated 2026-10-14
Changing the target boundary point by a conformal automorphism of the upper half-plane preserves the local chordal SLE law at parameter six, up to a capacity time change and until the relevant boundary point is swallowed. The transformed SLE driving function has zero drift at six; the Dambis-Dubins-Schwarz theorem makes it Brownian in image capacity time.