The common Brownian motion cancels from the difference . Before either lifetime,
Hence and : if reached zero first, the positive smaller solution could not persist beyond that time. Write
Using the Itô formula for gives
The difference has finite variation, so there is no cross-variation term in the Itô product rule for . Since ,
For , the Itô formula therefore makes its drift vanish exactly when
A nonconstant increasing scale function of a one-dimensional diffusion satisfies
The assumptions and are precisely the integrability conditions at zero and one. Normalize the scale function by its endpoints:
Here is the regularized incomplete beta function. The normalized function is continuous and strictly increasing on , with and . We have obtained the local martingale
The terminal identification needs care; mere boundedness does not by itself say what happens when both lifetimes coincide. Stop first on compact subsets of , and then exhaust the interval . The bounded local martingale criterion makes a bounded martingale with a limit , and optional sampling theorem gives . For completeness, applying the Itô formula to each stopped bounds the expected quadratic variation by one. Monotone convergence over the localization sequence implies
Since is continuous on , itself has a limit .
On , while , so and . On , the supplied divergent clock is
If , then eventually is bounded below by a positive constant. This remains true if its limit is one: diverges there, rather than tending to zero. The divergent clock would then force , contradicting the finite quadratic variation. Thus and on the simultaneous-lifetime event. We have proved
Taking expectations yields the complete probability formula
This is the beta integral for strict ordering of coupled Bessel lifetimes; the complementary probability is the probability of simultaneous swallowing, not of the larger initial point dying first.
To connect the calculation to SLE, let its driver be . For a positive boundary point before its boundary swallowing time, put . The Chordal Loewner equation gives
Thus two positive boundary points give exactly the coupled Bessel processes above, with and . The interval corresponds to . Their boundary swallowing times obey
The formula quantifies whether the growing hull separates one boundary point from infinity before the other, or swallows them together inside the same boundary interval. It does not identify swallowing with visiting each point. At , the two beta parameters are and this becomes the Cardy boundary crossing formula in the corresponding cross-ratio coordinate, explaining its role in the conformal invariance of planar percolation.

Articles by others on the same topic (0)

There are currently no matching articles.