Abstract
As a generalization to the heat semigroup on the Heisenberg group, the diffusion semigroup generated by the subelliptic operator \(\L: = \frac{1}{2}\sum\nolimits_{i = 1}^m {X_i^2on{\kern 1pt} {\mathbb{R}^m} \times {\mathbb{R}^d}} \) is investigated, where \({X_i}\left( {x,y} \right) = \sum\limits_{k = 1}^m {{\sigma _{ki}}{\partial _{xk}} + } \sum\limits_{l = 1}^d {{{\left( {{A_l}x} \right)}_i}{\partial _{yl}}} ,\left( {x,y} \right) \in {\mathbb{R}^{m + d}},1 \leqslant i \leqslant m\) for σ an invertible m×m-matrix and {Al}1≤l≤d some m×m-matrices such that the Hörmander condition holds. We first establish Bismut-type and Driver-type derivative formulas with applications on gradient estimates and the coupling/Liouville properties, which are new even for the heat semigroup on the Heisenberg group; then extend some recent results derived for the heat semigroup on the Heisenberg group.
Similar content being viewed by others
References
Arnaudon M, Thalmaier A. The differentiation of hypoelliptic diffusion semigroups. Illinois J Math, 2010, 54:1285–1311
Arnaudon M, Thalmaier A, Wang F-Y. Harnack inequality and heat kernel estimates on manifolds with curvature unbounded below. Bull Sci Math, 2006, 130:223–233
Bakry D, Baudoin F, Bonnefont M, et al. On gradient bounds for the heat kernel on the Heisenberg group. J Funct Anal, 2008, 255:1905–1938
Baudoin F, Bonnefont M. Log-Sobolev inequalities for subelliptic operators satisfying a generalized curvature dimension inequality. J Funct Anal, 2012, 262:2646–2676
Baudoin F, Bonnefont M, Garofalo N. A sub-Riemannian curvature-dimension inequality, volume doubling property and the Poincaré inequality. Math Ann, 2014, 358:833–860
Baudoin F, Garofalo N. Curvature-dimension inequalities and Ricci lower bounds for sub-Riemannian manifolds with transverse symmetries. ArXiv:1101.3590, 2011
Baudoin F, Gordina M, Melcher T. Quasi-invariance for heat kernel measures on sub-Riemannian infinite-dimensional Heisenberg groups. Trans Amer Math Soc, 2013, 365:4313–4350
Bismut J M. Large Deviations and the Malliavin Calculus. Boston: Birkhäuser, 1984
Cranston M, Greven A. Coupling and harmonic functions in the case of continuous time Markov processes. Stochastic Process Appl, 1995, 60:261–286
Cranston M, Wang F-Y. A condition for the equivalence of coupling and shift-coupling. Ann Probab, 2000, 28:1666–1679
Driver B K. Integration by parts for heat kernel measures revisited. J Math Pures Appl, 1997, 76:703–737
Driver B K, Gordina M. Integrated Harnack inequalities on Lie groups. J Differential Geom, 2009, 83:501–550
Driver B K, Melcker T. Hypoelliptic heat kernel inequalities on the Heisenberg group. J Funct Anal, 2005, 221:340–365
Eldredge N. Gradient estimates for the subelliptic heat kernel on H-tpye groups. J Funct Anal, 2010, 258:504–533
Elworthy K D, Li X-M. Formulae for the derivatives of heat semigroups. J Funct Anal, 1994, 125:252–286
Gong F-Z, Wang F-Y. Heat kernel estimates with application to compactness of manifolds. Quart J Math, 2001, 52:171–180
Guillin A, Wang F-Y. Degenerate Fokker-Planck equations: Bismut formula, gradient estimate and Harnack inequality. J Differential Equations, 2012, 253:20–40
Li H-Q. Estimation optimale du gradient du semi-groupe de la chaleur sur le groupe de Heisenberg. J Funct Anal, 2006, 236:369–394
Li P, Yau S-T. On the parabolic kernel of the Schrödinger operator. Acta Math, 1986, 156:153–201
Wang F-Y. Logarithmic Sobolev inequalities on noncompact Riemannian manifolds. Probab Theory Relat Fields, 1997, 109:417–424
Wang F-Y. Harnack inequalities on manifolds with boundary and applications. J Math Pures Appl, 2010, 94:304–321
Wang F-Y. Generalized curvature condition for subelliptic diffusion processes. ArXiv:1202.0778, 2012
Wang F-Y. Analysis for Diffusion Processes on Riemannian Manifolds. Singapore: World Scientific, 2013
Wang F-Y. Derivative formula and gradient estimates for Gruschin type semigroups. J Theoret Probab, 2014, 27:80–95
Wang F-Y. Integration by parts formula and shift Harnack inequality for stochastic equations. Ann Probab, 2014, 42:994–1019
Wang F-Y, Xu L. Log-Harnack inequality for Gruschin type semigroups. Rev Mat Iberoam, 2014, 30:405–418
Zhang X. Stochastic flows and Bismut formulas for stochastic Hamiltonian systems. Stoch Proc Appl, 2010, 120:1929–1949
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Wang, FY. Derivative formulas and Poincaré inequality for Kohn-Laplacian type semigroups. Sci. China Math. 59, 261–280 (2016). https://doi.org/10.1007/s11425-015-5084-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11425-015-5084-3