Log-Sobolev inequalities for subelliptic operators satisfying a generalized curvature dimension inequality (Q765904): Difference between revisions

Let \(M\) be a smooth connected finite dimensional manifold endowed with a smooth measure \(\mu\) and a second-order diffusion operator \(L\) on \(M\), locally subelliptic in the sense of [\textit{C. Fefferman} and \textit{D. H. Phong}, Harmonic analysis, Conf. in Honor A. Zygmund, Chicago 1981, Vol. 2, 590--606 (1983; Zbl 0503.35071)] satisfying \(L1=0\), \(\int_M fLg d\mu = \int_M gLf d\mu\) and \(\int_M fLf d\mu \leq 0\) for all \(f,g \in C_0^{\infty}(M)\). Assume that the subelliptic diffusion operator \(L\) satisfies a generalized curvature dimensional inequality that was introduced by \textit{F. Baudoin} and \textit{N. Garofalo} [Curvature-dimension inequalities and Ricci lower bounds for sub-Riemannian manifolds with transverse symmetries (preprint)] in an abstract setting. Using the generalized curvature dimensional inequality, the authors prove a Poincaré inequality which is a subelliptic analogue of a theorem due to \textit{F. Baudoin, M. Bonnefont} and \textit{N. Garofalo} [A sub-Riemannian curvature-dimension inequality, volume doubling property and the Poincaré inequality (preprint)], a log-Sobolev inequality which is a subelliptic analogue of a theorem due to \textit{F.-Y. Wang} [Probab. Theory Relat. Fields 109, No. 3, 417--424 (1997; Zbl 0887.35012)], a modified log-Sobolev inequality which is a subelliptic analogue of a theorem due to \textit{F. Otto} and \textit{C. Villani} [J. Funct. Anal. 173, No. 2, 361--400 (2000; Zbl 0985.58019)], and a Gaussian logarithmic isoperimetric inequality which is a subelliptic analogue of a theorem due to \textit{M. Ledoux} [Proc. Am. Math. Soc. 121, No. 3, 951--959 (1994; Zbl 0812.58093)] for the invariant measure of a subelliptic diffusion operator in some interesting new settings.