EXPECTED SIGNATURE OF BROWNIAN MOTION UP TO THE FIRST EXIT TIME FROM A BOUNDED DOMAIN

• 成果类型: Article
• 署名作者: Lyons, Terry; Ni, Hao
• 署名单位: University of Oxford
• 刊物名称: ANNALS OF PROBABILITY
• ISSN/ISSBN: 0091-1798
• DOI: 10.1214/14-AOP949
• 发表日期: 2015
• 页码: 2729-2762

摘要

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 is an element of Gamma and stopped at the first exit time from Gamma. We denote this tensor series valued function by or (z) and focus on the case E =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.