Aida, Shigeki; Elworthy, David Differential calculus on path and loop spaces. I: Logarithmic Sobolev inequalities on path spaces. (English. Abridged French version) Zbl 0837.60053 C. R. Acad. Sci., Paris, Sér. I 321, No. 1, 97-102 (1995). The authors prove a logarithmic Sobolev inequality (L.S.I.) on a path space over a compact Riemannian manifold. Path space means a space of continuous paths over the manifold whose starting point is fixed and the probability measure is given by the Brownian motion measure. The proof is similar to Gross’ one in the case of compact Lie group. More precisely, they embed the manifold into a Euclidean space isometrically and consider the solution of an S.D.E. which is called a gradient Brownian system. Using this, one can pull back a function on the path space to a function on the Wiener space preserving the law. The composition function satisfies an L.S.I. because of the Gross original L.S.I. on Wiener space. The key of the proof is the computation of a certain conditional expectation of the Malliavin derivative of the composition function by using Elworthy and Tor’s observation. Reviewer: S.Aida (Sendai) Cited in 2 ReviewsCited in 21 Documents MSC: 60H07 Stochastic calculus of variations and the Malliavin calculus 58J65 Diffusion processes and stochastic analysis on manifolds Keywords:logarithmic Sobolev inequality; compact Riemannian manifold; Brownian motion; Wiener space PDFBibTeX XMLCite \textit{S. Aida} and \textit{D. Elworthy}, C. R. Acad. Sci., Paris, Sér. I 321, No. 1, 97--102 (1995; Zbl 0837.60053)