Functional inequality on path space over a non-compact Riemannian manifold

We prove the existence of the O-U Dirichlet form and the damped O-U Dirichlet form on path space over a general non-compact Riemannian manifold which is complete and stochastically complete. We show a weighted log-Sobolev inequality for the O-U Dirichlet form and the (standard) logSobolev inequality for the damped O-U Dirichlet form. In particular, the Poincare inequality (and the super Poincare inequality) can be established for the O-U Dirichlet form on path space over a class of Riemannian manifolds with unbounded Ricci curvatures. Moreover, we construct a large class of quasi-regular local Dirichlet forms with unbounded random diffusion coefficients on path space over a general non-compact manifold. (C) 2014 Elsevier Inc. All rights reserved.