Abstract
Existence of Loewner trace is revisited. We identify finite energy paths (the “skeleton of Wiener measure”) as natural class of regular drivers for which we find simple and natural estimates in terms of their (Cameron–Martin) norm. Secondly, now dealing with potentially rough drivers, a representation of the derivative of the (inverse of the) Loewner flow is given in terms of a rough- and then pathwise Föllmer integral. Assuming the driver within a class of Itô-processes, an exponential martingale argument implies existence of trace. In contrast to classical (exact) SLE computations, our arguments are well adapted to perturbations, such as non-constant \(\kappa \) (assuming \(<2\) for technical reasons) and additional finite-energy drift terms.
Similar content being viewed by others
Notes
We shall make no attempt here to review the fundamental importance of SLE theory within probability and statistical mechanics. See e.g. [8] and the references therein.
The analogy is not perfect: Young differential equations of form \(dY=f(Y)dX\) are invariant under reparametrization, hence most naturally formulated in a p-variation, \(p<2\), context, whereas Loewner evolution is classically tied to parametrization by half-plane capacity.
One could write \(\beta ^{(t)} = N^{(t)} + A^{(t)}\) to emphasize dependence on t.
Strictly, speaking this defines a weakly geometric rough paths but this distinction is of no interest to this article.
References
Föllmer, H.: Calcul d’Itô sans probabilities. Lecture Notes Math. vol. 850, pp. 143–150 (1981)
Friz, P.K., Hairer, M.: A Course on Rough Paths: With an Introduction to Regularity Structures. Springer Universitext, Springer (2014)
Friz, P.K., Victoir, N.B.: Multidimensional Stochastic Processes as Rough Paths. Cambridge University Press, Cambridge (2014)
Gubinelli, M.: Controlling rough paths. J. Funct. Anal. 216(1), 86–140 (2004)
Johansson Viklund, F.: Convergence rates for loop-erased random walk and other Loewner curves. Ann. Probab. 43(1), 119–165 (2015)
Johansson Viklund, F., Rohde, S., Wong, C.: On the continuity of \(\text{ SLE }_\kappa \) in \(\kappa \). Probab. Theory Relat. Fields 159(3–4), 413–433 (2014)
Johansson Viklund, F., Lawler, G.F.: Optimal Hölder exponent for the SLE path. Duke Math. J. 159(3), 351–383 (2011)
Lawler, G.F.: Conformally Invariant Processes in the Plane. Mathematical Surveys and Monographs. American Mathematical Society, Providence (2008)
Lawler, G.F.: Fractal and multifractal properties of SLE. In: Clay Mathematics Proceedings (2010)
Ledoux, M.: Isoperimetry and Gaussian Analysis. Springe, Berlin (1996)
Lind, J.R.: A sharp condition for the Loewner equation to generate slits. In: Annales Academiae Scientiarum Fennicae. Mathematica vol. 30, No. (1), pp. 143–158 (2005)
Lind, J.R., Marshall, D., Rohde, S.: Collisions and spirals of the loewner traces. Duke Math. J. 154(3), 527–573 (2010)
Lyons, T.J.: Differential equations driven by rough signals. Rev. Mat. Iberoam. 14(2), 215–310 (1998)
Marshall, D.E., Rohde, S.: The Loewner differential equation and slit mappings. J. Am. Math. Soc. 18(4), 763–778 (2005)
Protter, P.: Stochastic Integration and Differential Equations. Springer, Berlin, Heidelberg (1990)
Rohde, S., Schramm, O.: Basic properties of SLE. Ann. Math. (2) 161(2), 883–924 (2005)
Tran, H.: Convergence of an algorithm simulating Loewner curves. Ann. Acad. Sci. Fenn. Math. 40, 601–616 (2015)
Tran, H., Rohde, S., Zinsmeister, M.: The Loewner equation and Lipschitz graphs. ArXiv e-prints (2013)
Werness, B.M.: Regularity of Schramm–Loewner evolutions, annular crossings, and rough path theory. Electron. J. Probab. 17(81), 21 (2012)
Wang, Y.: The energy of a deterministic Loewner chain: reversibility and interpretation via \(SLE_{0+}\). ArXiv e-prints (2016)
Acknowledgments
A.S. acknowledges support from the Berlin Mathematical School (BMS). P.K.F. received funding from the European Research Council under the European Union’s Seventh Framework Programme (FP7/2007-2013)/ERC grant agreement nr. 258237. Both authors would like to thank S. Rohde, H. Tran and F. Viklund for discussions during mutual visits. At last, two anonymous reviewers are thanked for their careful reading and comments which led to a much improved presentation.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Decay of \(|f_t'(z)|\) and existence of trace
We collect some variations on familiar results concerning existence of trace from decay of \(|f_t'(iy + U_t)|\) as \(y \rightarrow 0 \).
Lemma 3
Suppose there exist a \(\theta < 1\) and \( y_0 > 0\) such that for all \( y \in (0 , y_0] \)
then the trace exists.
Proof
Note that for \( y_1< y_2 < y_0\),
which implies that \(f_t(iy + U_t)\) is Cauchy in y and thus
exists. For continuity of \(\gamma \), observe that
Now,
it is easy to see that for \( y > 0\),
and since y was arbitrary, this concludes the proof. \(\square \)
Lemma 4
If U is weakly \(\frac{1}{2}\)-Holder and there exist constant \( b > 2 \), \( \theta < 1\) and \( C < \infty \) such that for all \(t \in [0,T]\) and \(y > 0\)
then the trace exists.
Proof
By using of Borel–Cantelli lemma, it is easy that almost surely for n large enough,
for all \( k = 0, 1, .., 2^{2n} - 1\). Now applying results in section 3 of [7] (Lemma 3.7 and the Distortion Theorem in particular) completes the proof. \(\square \)
We also collect some familiar results on behaviour of \(f_t\) which are used in the proofs above.
Lemma 5
([7], Lemma 3.5) For each \(z = x + iy \in \mathbb {H}\) and \(t \ge s \),
In particular, if \(t-s \le y^2\), then
Also, if \(t-s \le y^2\), then \( |f_t(z) - f_s(z)| \le \frac{y}{5}[e^{10} - 1 ] |f_s'(z)|\).
Lemma 6
([7], Lemma 3.6) There exist constants \(c , \eta < \infty \) such that for all \(y > 0\) and \( 0 \le t-s \le y^2\),
where \(M = \max { \{1, \frac{|U_t-U_s|}{y}\}}\).
Lemma 7
([18], Lemma 2.1) For any continuous \(U:[0,t]\ \rightarrow \mathbb {R}\),
In particular, if \(||U||_{\frac{1}{2},[0,t]} \le \sigma \), then \( |Re(f_t(iy + U_t))| \le 2\sigma \sqrt{t}\).
Lemma 8
([18], Theorem 3.1) If \(||U||_{\frac{1}{2},[0,t]} \le \sigma < 4\), there exist constant \(c_\sigma > 0\) such that
Appendix B: Elements of Rough path theory
Here we collect some results without proofs from rough path theory useful in the present context. A detailed treatment of the subject can be found in [2, 3]. Though we have used only the elementary one dimensional case of the rough path theory, there is no extra effort in presenting the general case. Let \(X:[0,T] \rightarrow \mathbb {R}^d\) be a d-dimensional path \(\alpha \)-Hölder continuous path for some \(\alpha \in (0,1]\). The aim is to establish a rich enough integration theory of type \(\int _0^T Y_rdX_r\) for appropriate paths Y against path X. The fundamental contribution of rough path theory is that such integrations can be made sense in a deterministic way, even when the path X is a sample path of a random process like Brownian motion. The theory applies in principal for any \(\alpha > 0\), but we will restrict to the case of \(\alpha > \frac{1}{3}\) for simplicity. In that case, the goal is acheived by “lifting” the path X to a rough path defined as follows. For a path Z and times s, t, we will follow the notation \(Z_{s,t} := Z_t - Z_s \).
Definition 1
Let X be a path and \(\alpha > \frac{1}{3}\). An \(\alpha \)-rough path is a pair of maps \(\mathbf {X} = (X, \mathbb {X}) : [0,T]\times [0,T] \rightarrow \mathbb {R}^d \oplus (\mathbb {R}^d \otimes \mathbb {R}^d)\) with following properties:
-
\( X_{s,t} = X_t - X_s \)
-
For any s, u, t,
$$\begin{aligned} \mathbb {X}_{s,t} - \mathbb {X}_{s,u} - \mathbb {X}_{u,t} = X_{s,u}\otimes X_{u,t}. \end{aligned}$$(5.2) -
X and \(\mathbb {X}\) have \(\alpha \)- and \(2 \alpha \)-Hölder regularity respectively, in the sense that
$$\begin{aligned} ||X||_{\alpha } := \sup _{s,t} \frac{|X_{s,t}|}{|t-s|^{\alpha }}< \infty , \qquad ||\mathbb {X}||_{2\alpha } := \sup _{s,t} \frac{|\mathbb {X}_{s,t}|}{|t-s|^{2\alpha }} < \infty . \end{aligned}$$(5.3)
Further, a rough path \(\mathbf {X}\) is called a geometric rough pathFootnote 4 if in addition it satisfies
for all \(s,t \in [0,T]\), where Sym(M) denotes the symmetric part of a matrix M.
The object \(\mathbb {X}_{s,t}\) in the definition above is supposed to mimic the behaviour of iterated integral \(\int _{s< r_1< r_2 < t } dX_{r_1}\otimes dX_{r_2}\) via constraint equations (5.2) and (5.3). In many cases of interest, these integrals can not be analytically but via stochastic analysis. Note that smooth paths satisfies an additional algebraic constraint, namely integration by parts formula and the equation (5.4) precisely captures such a constraint. (When \(d=1\) only, this determines \(\mathbb {X}_{s,t} = \tfrac{1}{2} X_{s,t}^2\).) Before stating the next theorem, introduce a metric \(\rho _\alpha \) and norm \(|||.|||_{\alpha }\) on the space of rough path defined by
and
Theorem 6
Let \(\mathbf {X}\) be a \(\alpha \)-geometric rough path, then there exists a sequence of smooth paths \(X^n\) such that rough path \(\mathbf {X}^n\) defined by
converge uniformly to \(\mathbf {X}_{0,t}\). Moreover, \(\rho _{\alpha '}(\mathbf {X}^n, \mathbf {X}) \rightarrow 0 \quad \hbox {as} \quad n \rightarrow \infty \) for any \(\alpha ' < \alpha \).
The rough path \(\mathbf {X}\) will play the role of integrator. The natural class of the integrands in the present context are chosen to be the pairs \((f(X), f'(X))\) for \(C^2\) functions f. In general, one takes the collection of pair of paths \((Y, Y')\) which mimics the behavious of \((f(X), f'(X))\), coining the definition of controlled rough paths as follows:
Definition 2
Given an \(\alpha \)-rough path \(\mathbf {X}\), a pair of continuous paths \((Y, Y')\), with Y taking value in some \(\mathbb {R}^m\) and \(Y'\) in \(\mathbb {R}^{m \times d }\), is called a X-controlled rough path if
-
\(||Y||_{\alpha } + ||Y'||_{\alpha } < \infty \)
-
The object \( R^Y\) defined by \(R^Y_{s,t} := Y_{s,t} - Y_s'X_{s,t}\) has \(2 \alpha \) regularity, in the sense that
$$\begin{aligned} ||R^Y||_{2\alpha } := \sup _{s,t }\frac{|R^Y_{s,t}|}{|t-s|^{2\alpha }} < \infty . \end{aligned}$$
The path \(Y'\) is called the Gubinelli derivative of Y with respect to X.
We now present the construction of so called rough integration giving an integration theory of controlled rough paths against rough paths.
Theorem 7
[4, 13] Let \(\mathbf {X}\) be a rough path and \((Y, Y')\) be a controlled rough path taking values in \((\mathbb {R}^{m \times d}, \mathbb {R}^{m \times d \times d} )\). Then,
exists. Furthermore there exist a constant C depending only on \(\alpha \) and T such that for all s, t,
Having a theory of rough integration, one naturally considers the differential equations driven by such rough paths. Note that given a controlled rough path \((Y, Y')\) and a \(C^2\) function f, the pair \((Z, Z') := (f(Y), f'(Y)Y')\) also defines a controlled rough path. Following this remark, one can consider rough differential equations (RDE) of form
for smooth vector fields \(\sigma \) and b. With a slight abuse of notation, the solution Z is actually a controlled rough path \((Z, Z')\) with an implicitly defined Gubinelli derivative \(Z' = \sigma (Z)\) and Eq. (5.5) is given the meaning
where the first integral is understood as a rough integral. Given sufficiently smooth vector fields, existence and uniqueness of a controlled rough paths \((Z, Z')\) satisfying (5.5) can be established using Picard iteration in the Banach space of controlled rough paths, see [2] for details. Furthermore, solutions to rough differential equations are also stable under approximations to rough paths, as guaranteed by the following Theorem:
Theorem 8
(Continuity of the Itô–Lyons map) Let \(\mathbf {X}^n\) is a sequence of rough paths converging to a rough path \(\mathbf {X}\) in rough path metric, i.e.
for \(\alpha \in (1/3,1/2]\). Assume \(\sigma \) and b are bounded in \(C^3\) and \(C^1\) respectively, and write \(Z^n\) and Z for the corresponding solutions to Eq. (5.5) driven by \(\mathbf {X}^n\) and \(\mathbf {X}\). Then
We now present an application of rough path theory in the context of ODEs. As above, let \(\mathbf {X}\) be \(\alpha \)-rough path. Consider a approximation of the underlying path X by smooth paths \(X^n\) converging uniformly to X as \( n \rightarrow \infty \). Since each \(X^n\) is a smooth path, the equation
can be understood as an ODE with the unique solution \(Z^n\). Also, the paths \(X^n\) can be naturally lifted to a (geometric) \(\alpha \)-rough path \(\mathbf {X}^n\) by defining
where the integral in the definition is understood as a Riemann–Stieltjes integral. It can be very easily verified that rough integrals \(\int _0^T (Y_r^n, Y_r^{n'})d\mathbf {X}_r^n \) matches with Riemann–Stieltjes integral \(\int _0^T Y_r^ndX_r^n\) for any \(X^n\)-controlled rough path \((Y^n, Y^{n'})\). Thanks to this, the ODE (5.6) can be understood as RDE (5.5) driven by rough paths \(\mathbf {X}^n\). There are many benefits of interpreting equation (5.6) as a RDE. As implied by Theorem 8, RDEs are stable under approximation and it readily gives the following result on the convergence of \(Z^n\) as \(n \rightarrow \infty \).
Theorem 9
Suppose that \((X^n, \mathbb {X}^n)\) converges to some rough path \(\mathbf {X}\) in rough path metric \(\rho _{\alpha }\). Then solution \(Z^n\) of ODE (5.6) converge to the solution Z of the RDE (5.5) uniformly and in \(\alpha \)-Hölder topology.
When X is chosen to be sample path of a d-dimensional Brownian motion B, the theory discussed above can be readily put in application with the aid of following Theorem. We also remark here that such a consideration is not limited to application for Brownian motion and can be very easily adapted to handle general semimartingales.
Theorem 10
The objects \(\mathbf {B}^{Ito} := (B, \mathbb {B}^{Ito})\) and \(\mathbf {B}^{Strat} := (B, \mathbb {B}^{Strat})\) defined by
constitute rough paths with probability one.
Theorem 10 allows one to readily define rough integrals of any controlled rough paths \((Y, Y')\) (controlled by B) against Brownian rough paths defined above. This gives us way of interpreting Itô and Stratonovich integral as deterministically constructed rough integrals (with explicit knowledge of the exceptional set; that is, those \(\omega \) for which \(\mathbf {B}(\omega )\) fails to be a rough path or \((Y,Y')(\omega )\) fails to be controlled by \(B(\omega )\). If e.g. applied to \(Y=f(X),Y'=f'(X)\) for \(f\in C^2\), say, the exceptional set does not depend on f, in stark contrast to classical stochastic integration theory.)
Theorem 11
Assume \(Y, Y'\) are adapted processes such that almost surely \((Y, Y')\) is a \(B(\omega )\)-controlled rough path, then almost surely
Furthermore, if quadratic covariation of Y and B exists, then almost surely
Similarly as in the previous discussion, an Itô stochastic differential equation
and its Stratonovich variant can be understood as RDE driven by the random rough path \(\mathbf {B}^{Ito}\) and \(\mathbf {B}^{Strat}\) respectively. Now, standard arguments imply that if \(B^n\) is a piecewise linear approximation to Brownian motion, with mesh-size \(2^{-n}\) say, the rough paths \(\mathbf {B}^n\) converge almost surely to \(\mathbf {B}^{Strat}\) in the rough path metric \(\rho _{\alpha }\). Again with the aid of Theorem 8, one can derive the following approximation result for SDEs:
Theorem 12
(Wong–Zakai) Let \(Z^n\) are solutions to ODEs
Then almost surely \(Z^n\) converge to solution Z of Stratonovich SDE
in uniform and in \(\alpha \)-Hölder topology, any \(\alpha < 1/2\).
Rights and permissions
About this article
Cite this article
Friz, P.K., Shekhar, A. On the existence of SLE trace: finite energy drivers and non-constant \(\kappa \) . Probab. Theory Relat. Fields 169, 353–376 (2017). https://doi.org/10.1007/s00440-016-0731-3
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00440-016-0731-3