Fix and, before is swallowed, put . The Chordal Loewner equation and show, after changing the sign of the Brownian motion, thatThus is a Bessel process of dimensionA Bessel process hits zero exactly when , which here is equivalent to . Hitting zero is precisely the swallowing of a nonzero boundary point by the SLE hull. For the trace is simple and swallows no such point; for swallowing occurs through a boundary contact. Hence the trace intersects exactly when .
For , part i gives no nonzero boundary intersection. For , part i gives a boundary hit almost surely. After any hit, map out the past hull and recenter at the current tip. The Conformal Markov property of SLE says that the future is again an SLE in the remaining domain. Applying part i repeatedly and using Scaling invariance of SLE produces another boundary hit after every finite number of hits. Therefore there are almost surely infinitely many.
For , the trace meets the real boundary only at its starting point, so the intersection has zero Lebesgue measure. Suppose . A boundary point swallowed by an interval need not itself lie on the trace. The stated fact that for , combined with the Strong Markov property and Scaling invariance of SLE at successively nested swallowed intervals, implies that a fixed deterministic is swallowed in an interval rather than hit by the trace with probability one. Equivalently,Applying the Tonelli theorem to the random indicator of the boundary trace givesThe nonnegative random measure is therefore zero almost surely.
Articles by others on the same topic
There are currently no matching articles.