Gaussian estimates for heat kernels on Lie groups

Abstract

Let G be a connected real Lie group and let [gfr ] be its Lie algebra. We shall denote by [qfr ] ⊂ [gfr ] the radical of [gfr ]. Let [gfr ] = [qfr ] [ltimes ] [sfr ] (where [sfr ] is semisimple or 0) be a Levi decomposition of [gfr ] (cf. [11]). When [sfr ] ≠ 0 we can apply the Iwasawa decomposition on [sfr ] (cf. [8]) [sfr ] = [nfr ] [oplus ] [afr ] [oplus ] [kfr ], where [nfr ] is nilpotent and [afr ] is abelian and normalizes [nfr ] so that [nfr ] [oplus ] [afr ] is a soluble algebra. Since [nfr ] [oplus ] [afr ] normalizes [qfr ] it is clear that [rfr ] = [qfr ] [oplus ] [nfr ] [oplus ] [afr ] is a soluble Lie algebra of [gfr ]. By Lie's theorem (cf. [11]) we can find a basis on [rfr ]_c = [rfr ] [otimes ] C for which the adjoint action of [rfr ] on [rfr ]_c takes a triangular form. Let us denote by λ₁(x); λ₂(x), …, λ_n(x), x ∈ [rfr ] the corresponding eigenvalues. The λ_j's can be identified with elements of Hom_ℝ([rfr ], C) and are called the roots of the adjoint action of [rfr ]. Let us denote by [Lscr ] = {L₁, …, L_k} the set of the non zero real parts of the λ_j's. We shall say that the group G is a B-group if [Lscr ] ≠ &0slash; and if there exist α₁, …, α_k [ges ] 0, [sum ]^k_j=1 α_j = 1, such that [sum ]^k_j=1 α_jL_j = 0. Otherwise we say that G is an NB-group. It can be shown that the above definition is independent of the particular choice of the Levi and Iwasawa decompositions that are used (cf. [13]).

We shall denote by d^lg = dg (resp. d^rg) the left (resp. right) Haar measure on G and by m(g) = d^rg/d^lg the modular function.

Let [Xscr ] = {X₁, X₂, …, X_n} be left invariant fields on G that verify the Hörmander condition (cf. [15]) and let Δ = −[sum ]X²_j be the corresponding sub-Laplacian. Δ is formally self adjoint on the Hilbert space L²(G, d^rg) and the spectral gap of Δ is defined by

formula here