## The Annals of Probability

### Expected signature of Brownian motion up to the first exit time from a bounded domain

#### Abstract

The signature of a path provides a top down description of the path in terms of its effects as a control [Differential Equations Driven by Rough Paths (2007) Springer]. The signature transforms a path into a group-like element in the tensor algebra and is an essential object in rough path theory. The expected signature of a stochastic process plays a similar role to that played by the characteristic function of a random variable. In [Chevyrev (2013)], it is proved that under certain boundedness conditions, the expected value of a random signature already determines the law of this random signature. It becomes of great interest to be able to compute examples of expected signatures and obtain the upper bounds for the decay rates of expected signatures. For instance, the computation for Brownian motion on $[0,1]$ leads to the “cubature on Wiener space” methodology [Lyons and Victoir, Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 460 (2004) 169–198]. In this paper we fix a bounded domain $\Gamma$ in a Euclidean space $E$ and study the expected signature of a Brownian path starting at $z\in\Gamma$ and stopped at the first exit time from $\Gamma$. We denote this tensor series valued function by $\Phi_{\Gamma}(z)$ and focus on the case $E=\mathbb{R}^{d}$. We show that $\Phi_{\Gamma}(z)$ satisfies an elliptic PDE system and a boundary condition. The equations determining $\Phi_{\Gamma}$ can be recursively solved; by an iterative application of Sobolev estimates we are able, under certain smoothness and boundedness condition of the domain $\Gamma$, to prove geometric bounds for the terms in $\Phi_{\Gamma}(z)$. However, there is still a gap and we have not shown that $\Phi_{\Gamma}(z)$ determines the law of the signature of this stopped Brownian motion even if $\Gamma$ is a unit ball.

#### Article information

Source
Ann. Probab., Volume 43, Number 5 (2015), 2729-2762.

Dates
Revised: June 2014
First available in Project Euclid: 9 September 2015

https://projecteuclid.org/euclid.aop/1441792297

Digital Object Identifier
doi:10.1214/14-AOP949

Mathematical Reviews number (MathSciNet)
MR3395473

Zentralblatt MATH identifier
1350.60086

#### Citation

Lyons, Terry; Ni, Hao. Expected signature of Brownian motion up to the first exit time from a bounded domain. Ann. Probab. 43 (2015), no. 5, 2729--2762. doi:10.1214/14-AOP949. https://projecteuclid.org/euclid.aop/1441792297

#### References

• [1] Berg, C. (1988). The cube of a normal distribution is indeterminate. Ann. Probab. 16 910–913.
• [2] Chevyrev, I. (2013). A set of characteristic functions on the space of signatures of geometric rough paths. Available at arXiv:1307.3580v2.
• [3] Fawcett, T. (2003). Problems in stochastic analysis. Connections between rough paths and non-commutative harmonic analysis. Ph.D. thesis, Univ. Oxford.
• [4] Friz, P. and Shekhar, A. (2012). The Levy–Kintchine formula for rough paths. Preprint. Available at arXiv:1212.5888.
• [5] Friz, P. and Victoir, N. (2008). The Burkholder–Davis–Gundy inequality for enhanced martingales. In Séminaire de Probabilités XLI. Lecture Notes in Math. 1934 421–438. Springer, Berlin.
• [6] Friz, P. K. and Victoir, N. B. (2010). Multidimensional Stochastic Processes as Rough Paths: Theory and Applications. Cambridge Studies in Advanced Mathematics 120. Cambridge Univ. Press, Cambridge.
• [7] Gaines, J. G. (1994). The algebra of iterated stochastic integrals. Stochastics Stochastics Rep. 49 169–179.
• [8] Gerschgorin, S. (1931). Über die Abgrenzung der Eigenwerte einer Matrix. Bulletin de L’Académie des Sciences de L’URSS. Classe des Sciences Mathématiques et na 6 749–754.
• [9] Jost, J. (1998). Partielle Differentialgleichungen: elliptische (und parabolische) Gleichungen. Springer, Berlin.
• [10] Lawler, G. F. (2013). Intersections of Random Walks. Springer, New York.
• [11] Lyons, T. and Victoir, N. (2004). Cubature on Wiener space. Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 460 169–198.
• [12] Lyons, T. J., Caruana, M. and Lévy, T. (2007). Differential Equations Driven by Rough Paths. Lecture Notes in Math. 1908. Springer, Berlin.
• [13] Morrey, C. B. Jr. (2008). Multiple Integrals in the Calculus of Variations. Springer, Berlin.
• [14] Ni, H. (2012). The expected signature of a stochastic process. Ph.D. thesis, Univ. Oxford.
• [15] Øksendal, B. (2003). Stochastic Differential Equations: An Introduction with Applications, 6th ed. Springer, Berlin.