Stochastic Heat Equations with Values in a Manifold via Dirichlet Forms

In this paper, we prove the existence of martingale solutions to the stochastic heat equation taking values in a Riemannian manifold, which admits Wiener (Brownian bridge) measure on the Riemannian path (loop) space as an invariant measure using a suitable Dirichlet form. Using the Andersson-Driver approximation, we heuristically derive a form of the equation solved by the process given by the Dirichlet form. Moreover, we establish the log-Sobolev inequality for the Dirichlet form in the path space. In addition, some characterizations for the lower bounds of the Ricci curvature are presented related to the stochastic heat equation.

[1]  Elton P. Hsu.  Stochastic analysis on manifolds , 2002 .

[2]  Feng-Yu Wang,et al.  Quasi-regular Dirichlet forms on Riemannian path and loop spaces , 2008 .

[3]  The Log-Sobolev Inequality on Loop Space over a Compact Riemannian Manifold☆ , 1998 .

[4]  Differential calculus on path and loop spaces. I: Logarithmic Sobolev inequalities on path spaces , 1995 .

[5]  Remarks on spectral gaps on the Riemannian path space , 2015, 1508.07657.

[6]  王 风雨.  Functional inequalities, Markov semigroups and spectral theory , 2005 .

[7]  Thomas A. Laetsch.  An Approximation to Wiener Measure and Quantization of the Hamiltonian on Manifolds with Non-positive Sectional Curvature , 2012, 1210.3524.

[8]  B. O'neill.  Semi-Riemannian Geometry With Applications to Relativity , 1983 .

[9]  Martin Hairer,et al.  The motion of a random string , 2016, 1605.02192.

[10]  On diffusive motion of closed curves , 1988 .

[11]  Elton P. Hsu.  Logarithmic Sobolev Inequalities on Path Spaces Over Riemannian Manifolds , 1997 .

[12]  Martin Hairer,et al.  An analytic BPHZ theorem for regularity structures , 2016, 1612.08138.

[13]  Rongchan Zhu,et al.  Restricted Markov uniqueness for the stochastic quantization of $P(\Phi)_2$ and its applications , 2015 .

[14]  M. Röckner,et al.  Ergodicity for the Stochastic Quantization Problems on the 2D-Torus , 2016, 1606.02102.

[15]  Feng-Yu Wang,et al.  Analysis on free Riemannian path spaces , 2005 .

[16]  Characterizations of the Upper Bound of Bakry–Emery Curvature , 2016, The Journal of Geometric Analysis.

[17]  Xue-Mei Li,et al.  A concrete estimate for the weak Poincaré inequality on loop space , 2009, 0910.4846.

[18]  Quasi-invariance of the Wiener measure on the path space over a complete Riemannian manifold , 1995 .

[19]  A. Kolesnikov.  Mosco convergence of Dirichlet forms in infinite dimensions with changing reference measures , 2006 .

[20]  Xin Chen,et al.  Functional inequalities on path space over a non-compact Riemannian manifold , 2013, 1307.4482.

[21]  Feng-Yu Wang.  Identifying Constant Curvature Manifolds, Einstein Manifolds, and Ricci Parallel Manifolds , 2017, The Journal of Geometric Analysis.

[22]  Feng-Yu Wang.  Weak Poincaré inequalities on path spaces , 2004 .

[23]  J. Norris.  Ornstein-Uhlenbeck processes indexed by the circle , 1998 .

[24]  Elton P. Hsu.  Analysis on path and loop spaces , 1999 .

[25]  Nicolas Perkowski,et al.  PARACONTROLLED DISTRIBUTIONS AND SINGULAR PDES , 2012, Forum of Mathematics, Pi.

[26]  B. Driver.  A Cameron-Martin type quasi-invariance theorem for pinned Brownian motion on a compact Riemannian manifold , 1994 .

[27]  On integral transformations associated with a certain Lagrangian-as a prototype of quantization , 1985 .

[28]  I. Chavel.  Riemannian Geometry: Subject Index , 2006 .

[29]  M. Röckner,et al.  Construction of a rotational invariant diffusion on the free loop space , 1993 .

[30]  Elton P. Hsu,et al.  Martingale Representation and a Simple Proof of Logarithmic Sobolev Inequalities on Path Spaces , 1997 .

[31]  Vector fields on mapping spaces and related Dirichlet forms and diffusions , 1997 .

[32]  A Cameron-Martin type quasi-invariance theorem for Brownian motion on a compact Riemannian manifold , 1992 .

[33]  A stochastic partial differential equation with values in a manifold , 1992 .

[34]  T. Zhukovskaya,et al.  Functional Inequalities , 2021, Inequalities in Analysis and Probability.

[35]  Logarithmic Sobolev Inequalities of Diffusions for the L2 Metric , 2006 .

[36]  Martin Hairer,et al.  A theory of regularity structures , 2013, 1303.5113.

[37]  Symmetric Ornstein-Uhlenbeck semigroups and their generators , 2002, math/0205315.

[38]  J. Löbus.  A class of processes on the path space over a compact Riemannian manifold with unbounded diffusion , 2004 .

[39]  G. Prato.  Kolmogorov Equations For Stochastic Pdes , 2004 .

[40]  M. Röckner,et al.  Stochastic differential equations in infinite dimensions: solutions via Dirichlet forms , 1991 .

[41]  Feng-Yu Wang.  Analysis for Diffusion Processes on Riemannian Manifolds , 2013 .

[42]  QUASI-REGULAR DIRICHLET FORMS ON FREE RIEMANNIAN PATH SPACES , 2009 .

[43]  Zhi-Ming Ma,et al.  Construction of diffusions on configuration spaces , 2000 .

[44]  FINITE DIMENSIONAL APPROXIMATIONS TO WIENER MEASURE AND PATH INTEGRAL FORMULAS ON MANIFOLDS , 1998, math/9807098.

[45]  Anton Thalmaier,et al.  Characterization of Pinched Ricci Curvature by Functional Inequalities , 2016, 1611.02160.

[46]  Martin Hairer,et al.  Algebraic renormalisation of regularity structures , 2016, Inventiones mathematicae.