A compact H-hull is a bounded, relatively closed set for which is simply connected domain. Its mapping-out function of a compact H-hull is the unique conformal map with hydrodynamic normalization at infinity
The half-plane capacity is
Let and define . This is harmonic on , has boundary values on the hull boundary and zero on the real boundary, and tends to zero at infinity. The representation by harmonic measure and optional sampling theorem therefore give
At , the hydrodynamic expansion gives
Consequently the Brownian representation of half-plane capacity is
Map out first. The image
with its bounded filling is a compact H-hull, and uniqueness of hydrodynamic normalization gives
Comparing the coefficients of at infinity yields the half-plane-capacity composition rule
Thus half-plane capacity is monotone under inclusion.
The statement is true. In the notation of part (ii), equality of the capacities forces . Every nonempty compact H-hull has strictly positive half-plane capacity: by the Brownian representation of half-plane capacity, Brownian motion started sufficiently high has positive harmonic measure of a boundary portion of positive height. Hence , so and
The family is a nondecreasing family of sets when
It has the half-plane-capacity parameterization under the standard chordal convention when
It has the Loewner local growth property when, after mapping out the old hull, each short new increment is small: for every there is such that
Equivalent formulations use a crosscut of diameter below separating the new increment from infinity.
Write . The hulls are nested, so property (i) holds. Scaling the given map gives
so and property (ii) holds.
Property (iii) fails. For , the image under of the outer semicircle of is
As , this converges to , which fills the real interval . Hence the diameter of the mapped new increment tends to , rather than zero. Therefore (i) and (ii) hold, while (iii) does not.
If is driven by , then the mapping-out functions of
are
and their driver is . By Brownian scaling, is Brownian. Thus has the same law as , and uniqueness of the Chordal Loewner equation proves
This is the Scaling invariance of SLE.
Let be simply connected domain with distinct marked boundary points , and choose a conformal map with and . Chordal from to is the unparameterized curve , where is chordal SLE in .
Any other such map is for some . The Scaling invariance of SLE says that has the same unparameterized law as ; only its capacity clock changes. Hence the pullback law is independent of . This proves the Conformal invariance of SLE definition is well-defined.
Put
so . Before , one has and . Therefore
The supplied continuous local martingale is thus bounded after stopping, and a bounded local martingale is a true martingale. Hence
At time zero, . Compactness of gives
Also is uniformly bounded above on . On
one has . Optional stopping, Fatou lemma, and the assumed conditional angular estimate give
Thus
The exponent requested in the question does not follow and is false as written. The SLE Green-function estimate gives probability comparable to , confirming that the denominator in the requested exponent should be .
For compact , let
By the Tonelli theorem and part (ii),
Every point in the SLE range has conformal radius tending to zero and therefore belongs to every . Hence the range inside has zero expected Lebesgue measure, and so has zero measure almost surely. Exhausting by countably many compact sets proves
The Phase classification of the SLE trace is
At the trace is the deterministic vertical slit.
For a real boundary point , set
After a deterministic rescaling of time, the Boundary-point Bessel flow for SLE says that is a Bessel process of dimension
When , one has , and the Hitting-zero classification for a Bessel process says that never reaches zero. Thus no nonzero real boundary point is swallowed. The standard Loewner trace criterion then implies that each new tip is attached only to the preceding tip and the trace never intersects its past, so it is simple. For , the equation is driven by zero and generates a vertical slit. Hence is simple for .
Let . For , , and the Chordal Loewner equation gives
The complex Itô formula yields
Therefore
The imaginary part
is a bounded local martingale and hence a martingale. As the simple transient trace passes , this angle converges to if the trace passes to the right of and to if it passes to the left. Bounded convergence therefore gives
so the SLE4 left-passage probability is
Fix and write
By assumption, is a continuous local martingale, so is a semimartingale. The Chordal Loewner equation gives
which has finite variation. Therefore
is a semimartingale. Thus the Loewner driver is a continuous semimartingale.
Write the semimartingale decomposition as , where is a continuous local martingale and has finite variation. Applying Itô formula to shows that its finite-variation part is
It vanishes for every . Multiplying by gives
Subtract this identity for two points with distinct to obtain ; then . Since the curve starts at zero, . The Lévy characterization of Brownian motion now gives . Hence the Loewner chain is
The law satisfies the chordal restriction property when, for every , conditional on , the mapped curve has the same unparameterized law as in .
Assume the avoidance formula. Given another admissible hull , put with the bounded filling. Uniqueness of the normalized maps gives
Therefore
These avoidance events determine the law of a simple closed random set. They agree with those of , so the conditional mapped law equals the original law. Hence the avoidance formula implies the chordal restriction property.
Let , , and . Since , the supplied identity and Itô formula give
For , its drift coefficient is
Thus the nonzero choice is
and is a continuous local martingale. The boundary Schwarz lemma for mapping-out maps gives , so . A bounded local martingale is a true martingale. This is the SLE eight-thirds restriction martingale.
Let . Its normalized mapping-out map is
so and
Using the restriction exponent gives
For the vertical slit , choose the square-root branch asymptotic to at infinity. The normalized map is
for which and
Therefore

Articles by others on the same topic (0)

There are currently no matching articles.