Differential Harnack inequalities on path space

DOI10.1016/J.AIM.2022.108714zbMATH Open1501.60028arXiv2004.07065OpenAlexW3016393935MaRDI QIDQ2094595FDOQ2094595

Authors: Robert Haslhofer, Eva Kopfer, Aaron Naber 

Publication date: 8 November 2022

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: Recall that if $(M^n,g)$ satisfies $mathrmRicgeq0$, then the Li-Yau Differential Harnack Inequality tells us for each nonnegative $f:Momathbb{R}^{+}$, with $f_t$ its heat flow, that $fracDelta{f}_t{f}_t-frac|abla{f}_t{|}^2{f}_t^2+fracn2tgeq0.$ Our main result will be to generalize this to path space $P_{x}M$ of the manifold. A key point is that instead of considering infinite dimensional gradients and Laplacians on $P_{x}M$ we will consider a family of finite dimensional gradients and Laplace operators. Namely, for each $H_0^1$-function $varphi:mathbb{R}^{+}omathbbR$ we will define the $varphi$-gradient $abl{a}_{v}arphiF:P_{x}Mo{T}_{x}M$ and the $varphi$-Laplacian $Delt{a}_{v}arphiF=ext{tr}_{v}arphimathrmHessF:P_{x}MomathbbR$, where $mathrmHessF$ is the Markovian Hessian and both the gradient and the $varphi$-trace are induced by $n$ vector fields naturally associated to $varphi$ under stochastic parallel translation. Now let $(M^n,g)$ satisfy $mathrmRic=0$, then for each nonnegative $F:P_{x}Momathbb{R}^{+}$ we will show the inequality ${\displaystyle }$frac{E_x [Delta_varphi F]}{E_x [F]}-frac{E_x [ abla_varphi F]^2}{E_x [F]^2} +frac{n}{2}|| varphi ||^2geq 0${\displaystyle }$ for each $varphi$, where $E_x$ denotes the expectation with respect to the Wiener measure on $P_{x}M$. By applying this to the simplest functions on path space, namely cylinder functions of one variable $F(gamma)equivf(gamma(t))$, we will see we recover the classical Li-Yau Harnack inequality exactly. We have similar estimates for Einstein manifolds, with errors depending only on the Einstein constant, as well as for general manifolds, with errors depending on the curvature. Finally, we derive generalizations of Hamilton's Matrix Harnack inequality on path space $P_{x}M$. It is our understanding that these estimates are new even on the path space of $mathbb{R}^n$.

Full work available at URL: https://arxiv.org/abs/2004.07065

Recommendations

• Remarks on differential Harnack inequalities
• On the Harnack inequalities of partial differential equations
• Differential Harnack inequalities and the Ricci flow
• scientific article; zbMATH DE number 2127962
• Harnack's inequality on homogeneous spaces
• Stochastic calculus of variations and Harnack inequality on Riemannian path spaces
• Differential Harnack estimates on manifolds
• scientific article; zbMATH DE number 2207637
• Harnack inequality for nonlinear harmonic spaces
• The geometry of differential Harnack estimates

zbMATH Keywords

Harnack inequalityRicci curvaturepath space

Mathematics Subject Classification ID

Local Riemannian geometry (53B20) Heat and other parabolic equation methods for PDEs on manifolds (58J35) Martingales with continuous parameter (60G44)

Cites Work

• Stochastic analysis on manifolds
• Title not available (Why is that?)
• On the parabolic kernel of the Schrödinger operator
• Title not available (Why is that?)
• Title not available (Why is that?)
• Transformations of Wiener integrals under translations
• A Cameron-Martin type quasi-invariance theorem for Brownian motion on a compact Riemannian manifold
• A matrix Harnack estimate for the heat equation
• Stochastic analysis on the path space of a Riemannian manifold. I: Markovian stochastic calculus
• Renormalized differential geometry on path space: Structural equation, curvature
• Quasi-invariance of the Wiener measure on the path space over a compact Riemannian manifold
• Ricci curvature and Bochner formulas for martingales
• An \(L^ 2\) estimate for Riemannian anticipative stochastic integrals

This page was built for publication: Differential Harnack inequalities on path space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2094595)