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 infinityThe 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 giveAt , the hydrodynamic expansion givesConsequently the Brownian representation of half-plane capacity is
Map out first. The imagewith its bounded filling is a compact H-hull, and uniqueness of hydrodynamic normalization givesComparing the coefficients of at infinity yields the half-plane-capacity composition ruleThus 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
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 thatEquivalent 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 givesso and property (ii) holds.
Property (iii) fails. For , the image under of the outer semicircle of isAs , 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 ofareand their driver is . By Brownian scaling, is Brownian. Thus has the same law as , and uniqueness of the Chordal Loewner equation provesThis 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.
Putso . Before , one has and . ThereforeThe supplied continuous local martingale is thus bounded after stopping, and a bounded local martingale is a true martingale. Hence
At time zero, . Compactness of givesAlso is uniformly bounded above on . Onone has . Optional stopping, Fatou lemma, and the assumed conditional angular estimate giveThusThe 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 , letBy 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
For a real boundary point , setAfter a deterministic rescaling of time, the Boundary-point Bessel flow for SLE says that is a Bessel process of dimensionWhen , 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 .
The imaginary partis 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 givesso the SLE4 left-passage probability is
Fix and writeBy assumption, is a continuous local martingale, so is a semimartingale. The Chordal Loewner equation giveswhich has finite variation. Thereforeis 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 isIt vanishes for every . Multiplying by givesSubtract 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 givesThereforeThese 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 giveFor , its drift coefficient isThus the nonzero choice isand 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.
Articles by others on the same topic
There are currently no matching articles.