Abstract
We study the heat kernel of the sub-Laplacian \(L\) on the CR sphere \(\mathbb{S }^{2n+1}\). An explicit and geometrically meaningful formula for the heat kernel is obtained. As a by-product we recover in a simple way the Green function of the conformal sub-Laplacian \(-L+n^2\) that was obtained by Geller (J Differ Geom 15:417–435, 1980), and also get an explicit formula for the sub-Riemannian distance. The key point is to work in a set of coordinates that reflects the symmetries coming from the fibration \(\mathbb{S }^{2n+1} \rightarrow \mathbb{CP }^n\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The purpose of this work is to study the heat kernel of the sub-Laplacian of the standard CR structure on \(\mathbb S ^{2n+1}\). More precisely, we will be interested in explicit analytic representations and small time asymptotics of the kernel.
A key point in our study is to take advantage of the radial symmetries of the fibration \(\mathbb{S }^{2n+1} \rightarrow \mathbb{CP }^n\) to introduce coordinates that are adapted to the geometry of the problem. In particular, it is shown that the kernel has a cylindric invariance property and actually only depends on two variables \(r,\theta \). The variable \(\theta \) is the local fiber coordinate of the fibration and \(r\) is a radial coordinate on \(\mathbb{CP }^n\). In these coordinates the cylindric part of the sub-Laplacian \(L\) is the operator
Eigenvalues and eigenvectors for \(\tilde{L}\) are computed and as a consequence of the general Minakshisundaram–Pleijel expansion theorem we deduce that the subelliptic heat kernel (issued from the north pole) can be written
where \(P_m^{n-1,|k|}\) is a Jacobi polynomial and \(\lambda _{m,k}=4m(m+|k|+n)+2|k|n\). This formula is very useful to study the long-time behavior of the heat kernel but seems difficult to use in the study of small-time asymptotics or for the purpose of proving upper and lower bounds. In order to derive small-time asymptotics of the kernel, we give another analytic expression for \(p_t(r, \theta )\) which is much more geometrically meaningful. This formula is obtained thanks to the observation that the Reeb vector field \(T\) of the CR structure of \(\mathbb S ^{2n+1}\) commutes with the sub-Laplacian. This commutation implies that the subelliptic heat semigroup \(e^{tL}\) can be written \(e^{-t T^2} e^{t \Delta }\), where \(\Delta \) is the Laplace–Beltrami operator of the standard Riemannian structure on \(\mathbb S ^{2n+1}\). The formula we obtain is explicit enough to recover Geller’s formula (see [12]) for the fundamental solution of the conformal sub-Laplacian \(-L+n^2\). By using the steepest descent method, it also allows to derive the small-time asymptotics of the heat kernel. A by-product of this small-time asymptotics is a previously unknown explicit formula for the sub-Riemannian distance.
To put things in perspective let us observe that the study of explicit expressions for subelliptic heat kernels has generated a great amount of work (see [1–5, 7, 11, 18] and the references therein). The motivations for finding explicit formulas are numerous, among them we can cite: Sharp constant in functional inequalities (see [6, 16]), computation of the sub-Riemannian metric (see [3]), sharp upper and lower bounds for the heat kernel (see [5, 10]), and semigroup sub-commutations (see [15]). However, despite such numerous works, very few explicit and tractable formulas are actually known and most of them are restricted to a Lie group framework. The present work gives explicit and tractable expressions that hold in a natural sub-Riemannian model.
2 The sub-Laplacian on \(\mathbb{S }^{2n+1}\)
2.1 Geometry of the standard CR sphere
We consider the odd dimensional sphere
It is a strictly pseudo convex CR manifold (see [9]) whose geometry can be described as follows. There is a natural group action of \(\mathbb{S }^1\) on \(\mathbb S ^{2n+1}\) which is defined by
The generator of this action shall be denoted by \(T\) throughout the paper. We have for all \(f \in \mathcal{C }^\infty (\mathbb S ^{2n+1})\)
so that
This action induces a fibration (circle bundle) from \(\mathbb S ^{2n+1}\) to the projective complex space \(\mathbb{CP }^n\). The vector field \(T\) is the Reeb vector field (characteristic direction) of the pseudo-Hermitian contact form
2.2 The sub-Laplacian
For \(j=1,\ldots ,n+1\), let us denote
where \(\mathcal{S }=\sum _{k=1}^{n+1}z_k\frac{\partial }{\partial z_k}\), and define the second order differential operator \(L\) on \(\mathcal{C }^\infty (\mathbb S ^{2n+1})\) as follows:
It can be checked that \(L\) is the CR sub-Laplacian of the previously described structure (see for instance [6, 8]). It is essentially self-adjoint on \(\mathcal{C }^\infty (\mathbb S ^{2n+1})\) with respect to the uniform measure of \(\mathbb S ^{2n+1}\) and related to the Laplace–Beltrami operator \(\Delta \) of the standard Riemannian structure on \(\mathbb S ^{2n+1}\) by the formula:
We can observe, a fact which will be important for us, that \(L\) and \(T\) commute, that is, on smooth functions \(TL=LT\).
To study \(L\) we now introduce a set of coordinates that takes into account the symmetries of the fibration \(\mathbb{S }^{2n+1} \rightarrow \mathbb{CP }^n\). Let \((w_1,\ldots , w_n,\theta )\) be local coordinates for \(\mathbb S ^{2n+1}\), where \((w_1,\ldots ,w_n)\) are the local inhomogeneous coordinates for \(\mathbb{CP }^n\) given by \(w_j=z_j/z_{n+1}\), and \(\theta \) is the local fiber coordinate. i.e., \((w_1, \ldots , w_n)\) parametrizes the complex lines passing through the north pole,Footnote 1 while \(\theta \) determines a point on the line that is of unit distance from the north pole. More explicitly, these coordinates are given by
where \(\rho =\sqrt{\sum _{j=1}^{n}|w_{j}|^{2}}, \theta \in \mathbb R /2\pi \mathbb{Z }\), and \(w \in \mathbb{CP }^n\). In these coordinates, it is clear that \(T=\frac{\partial }{\partial \theta }\). Our goal is now to compute the sub-Laplacian \(L\). In the sequel we denote
Proposition 2.1
In the coordinates (2.2), we have
Proof
From (2.1), we know that
By using now the diffeomorphism
and then restrict to the sphere on which we have:
we compute that on \(\mathbb S ^{2n+1}\), for \(1\le k\le n\)
and
Tedious but straightforward computations lead then to
which implies that
Moreover, it is not hard to compute
where \(\mathcal{R }=\sum _{k=1}^nw_k\frac{\partial }{\partial w_k}\). Finally, it is easy to see that \(\mathcal{S }+\overline{\mathcal{S }}=0\). Hence we have the conclusion. \(\square \)
Remark 2.2
Notice that \(T=\frac{\partial }{\partial \theta }\), and thus the Laplace–Beltrami operator is given by:
Due to the symmetries of the fibration \(\mathbb S ^{2n+1} \rightarrow \mathbb{CP }^n\), in the study of the heat kernel, it will be enough to compute the radial part of \(L\) with respect to the cylindrical variables \((\rho ,\theta )\).
Let us consider the following second order differential operator
which is defined on the space \(\mathcal{D }\) of smooth functions \( f : \mathbb{R }_{\ge 0} \times \mathbb R /2\pi \mathbb{Z } \rightarrow \mathbb{R }\) that satisfies \(\frac{\partial f}{\partial \rho } =0\) if \(\rho =0\). It is seen that \(\tilde{L}\) is essentially self-adjoint on \(\mathcal{D }\) with respect to the measure \(\frac{\rho ^{2n-1}}{(1+\rho ^2)^{2n+\frac{1}{2} }} d\rho d\theta \).
Proposition 2.3
Let us denote by \(\psi \) the map from \(\mathbb S ^{2n+1} \) to \( \mathbb{R }_{\ge 0} \times \mathbb R /2\pi \mathbb{Z } \) such that
For every \(f \in \mathcal{D }\), we have
Proof
Notice that by symmetries of the fibration, we have
and
Together with Proposition 2.1, we have the conclusion. \(\square \)
Finally, instead of \(\rho \), it will be expedient to introduce the variable \(r\) which is defined by \(\rho =\tan r\). It is then easy to see that we can write \(\tilde{L}\) as
This is the expression of \(\tilde{L}\) which shall be the most convenient for us and that is going to be used throughout the paper.
We can observe that \(\tilde{L}\) is symmetric with respect to the measure
The normalization is chosen in such a way that
Remark 2.4
In the case of \(\mathbb S ^3\) \((n=1)\), which is isomorphic to the Lie group \(SU(2)\), we obtain
This coincides with the result in [3].
Remark 2.5
By Remark 2.2, we see that the radial part of the Laplace–Beltrami operator in cylindrical coordinates is
On the other hand, since in the coordinates (2.2), we have \(z_{n+1}=\cos r e^{i\theta }\), it is clear that the Riemannian distance form the north pole \(\delta \), satisfies
An easy calculation shows that by making the change of variable \(\cos \delta =\cos r \cos \theta \), the operator \(\Delta ^r\) acts on functions depending only on \(\delta \) as
This expression is known to indeed be the expression of the radial part of \(\Delta \) in spherical coordinates.
3 The subelliptic heat kernel on \(\mathbb{S }^{2n+1}\)
3.1 Spectral decomposition of the heat kernel
From the expression of \(L\) above, it is not hard to see that the kernel of \(P_t=e^{tL}\) issued from the north pole only comes from the radial part \(\tilde{L}\) and depends on \((r, \theta )\). We denote it by \(p_t(r, \theta )\).
Proposition 3.1
For \(t>0\), \(r\in [0,\frac{\pi }{2})\), \( \theta \in [-\pi ,\pi ]\), the subelliptic kernel has the following spectral decomposition:
where \(\lambda _{m,k}=4m(m+|k|+n)+2|k|n\) and
is a Jacobi polynomial.
Proof
The idea is to expand \(p_t(r, \theta )\) as a Fourier series in \(\theta \). Let
be this Fourier expansion. Since \(p_t\) satisfies \(\frac{\partial p_t}{\partial t}=Lp_t\), we have
By writing \(\phi _k(t,r)\) in the form
we get
where
In fact (3.1) is well-known as the Jacobi differential equation, and the eigenvectors are given by
which satisfies that
Therefore, we obtain the spectral decomposition
where the constants \(\alpha _{m,k}\)’s are to be determined by the initial condition at time \(t=0\).
To compute them, we use the fact that \((P_m^{n-1,|k|}(x)(1+x)^{|k|/2})_{m\ge 0}\) is an orthogonal basis of \(L^2([-1,1],(1-x)^{n-1}dx)\), i.e.,
For a smooth function \(f(r, \theta )\), we can write
where the \(b_{k,m}\)’s are constant, and thus
Now, since
where \(\lambda _{m,k}=4m(m+|k|+n)+2|k|n\), we obtain that
as soon as \(\alpha _{m,k}=\frac{\Gamma (n)}{2\pi ^{n+1}}(2m+|k|+n){m+|k|+n-1\atopwithdelims ()n-1}\). \(\square \)
The spectral decomposition of the heat kernel is explicit and useful but is not really geometrically meaningful. We shall now study another representation of the kernel which is more geometrically meaningful and which will turn out to be much more convenient when dealing with the small-time asymptotics problem. The key idea is to observe that since \(\Delta \) and \(\frac{\partial }{\partial \theta }\) commutes, by Remark 2.2 we formally have
This gives a way to express the sub-Riemannian heat kernel in terms of the Riemannian one. Let us recall that the Riemannian heat kernel writes
where, as above, \(\delta \) is the Riemannian distance from the north pole and
is a Gegenbauer polynomial. Another expression of \(q_t (\cos \delta )\) which is useful for the computation of small-time asymptotics is
where \(V(t,\delta )=\frac{1}{\sqrt{4\pi t}} \sum _{k \in \mathbb{Z }} e^{-\frac{(\delta -2k\pi )^2}{4t} }\).
Using the commutation (3.2) and the formula \(\cos \delta =\cos r \cos \theta \), we then infer the following proposition.
Proposition 3.2
For \(t>0\), \(r\in [0,\pi /2)\), \( \theta \in [-\pi ,\pi ]\),
Proof
Let
and \(\tilde{L}_0=\frac{\partial ^2}{\partial r^2}+((2n-1)\cot r-\tan r)\frac{\partial }{\partial r}\), then we have
Using the fact that
and
we get
On the other hand, it suffices to check the initial condition for functions of the form \(f(r, \theta )=e^{i\lambda \theta }g(r)\) where \(\lambda \in \mathbb{R }\) and \(g\) is smooth. We observe that
Thus \(h_t(r, \theta )\) is the desired subelliptic heat kernel. \(\square \)
Proposition 3.3
For \(\lambda \in \mathbb{C }\), \(\mathbf Re \lambda >0\), \(r\in [0,\pi /2)\), \( \theta \in [-\pi ,\pi ]\),
Proof
Since
we want to compute
Notice that
and by the result in Taylor [19, pp. 95], we have that
where \(A=\sqrt{n^2-\Delta }\) and \(\cos \delta =\cos r\cos ( \theta +iy)\). Plug in \(t=\sqrt{y^2+4\lambda }\), we obtain
hence complete the proof. \(\square \)
We can deduce the Green function of \(-L+n^2\) immediately from the above proposition.
Proposition 3.4
The Green function of the conformal sub-Laplacian \(-L+n^2\) is given by
Proof
Let us assume \(r\not =0\), \( \theta \not =0\), and let \(\lambda \rightarrow 0\) in (3.6), we have
Notice that
where \(n!!\) denotes the double factorial such that
Moreover, since
we obtain
This implies our conclusion. \(\square \)
Remark 3.5
This result agrees with the result by Geller in [12].
3.2 Asymptotics of the subelliptic heat kernel in small times
First, we study the asymptotics of the subelliptic heat kernel when \(t\rightarrow 0\) on the cut-locus of \(0\). From (3.4), we already know the following asymptotics of the heat kernel
where \(\delta \in [0,\pi )\). Here \(\delta \) is the Riemannian distance. Together with (3.5), we first deduce the following small-time-asymptotics of the subelliptic heat kernel on the diagonal.
Proposition 3.6
When \(t\rightarrow 0\),
where \(A_n=\int _{-\infty }^{\infty }\frac{y^n}{(\sinh y)^n}dy\) and \(B_n=\int _{-\infty }^{\infty }\frac{y^n}{(\sinh y)^n}\left(1+\left(n^2+\frac{n(n-1)(\sinh y-y\cosh y)}{y^2\sinh y}\right)\right)dy\).
Proof
We know that
Plug in (3.7), we have the desired small time asymptotics. \(\square \)
Proposition 3.7
For \( \theta \in (0,\pi )\), \(t\rightarrow 0\),
Proof
Let \( \theta \in (0,\pi )\), we have
By Cauchy’s theorem, this is the same as integrating along the horizontal line in the complex plane by shifting up \(i\theta \) from the real axis. i.e.,
Moreover, by (3.7), we know that
This gives
By the residue theorem, we get
Write \(W(y)=\frac{(y+k\pi i)^n}{(e^y-e^{-y})^n}\), \(W(y)\) is analytic around \(-k\pi i\), and satisfies
Hence the residue is
This is a product of \(e^{-\frac{iy\theta }{2t}}\) and a polynomial of degree \(n-1\) in \(1/t\). We are only interested in the leading term which plays the dominant role when \(t\rightarrow 0\). Thus we have the equivalence
At the end, we conclude
that is
\({}\square \)
Come to the points that do not lie on the cut-locus, i.e., \(r\not =0\). First we deduce the case for \((r,0)\).
Proposition 3.8
For \(r\in (0,\frac{\pi }{2})\), we have
as \(t\rightarrow 0\).
Proof
By proposition 3.2,
together with (3.7), it gives that
where
and
We can analyze \(J_1(t)\) and \(J_2(t)\) by Laplace method. First, notice that in \(\left[-\cosh ^{-1}(\frac{1}{\cos r}),\cosh ^{-1}(\frac{1}{\cos r})\right]\),
has a unique minimum at \(y=0\), where
Hence by Laplace method, we can easily obtain that
On the other hand, on \(\left(-\infty ,-\cosh ^{-1}(\frac{1}{\cos r})\right)\cup \left(\cosh ^{-1}(\frac{1}{\cos r}),+\infty \right)\), the function
has no minimum, which implies that \(J_2(t)\) is negligible with respect to \(J_1(t)\) in small \(t\). Hence the conclusion. \(\square \)
We can now extend the result to the \(\theta \not =0\) case by applying the steepest descent method.
Lemma 3.9
For \(r\in (0,\frac{\pi }{2})\), \(\theta \in [-\pi ,\pi ]\),
defined on the strip \(|\mathbf Re (y)|<\cosh ^{-1}\left( \frac{1}{\cos r}\right)\) has a critical point at \(i\varphi (r,\theta )\), where \(\varphi (r,\theta )\) is the unique solution in \([-\pi ,\pi ]\) to the equation
Proof
Let \(u=\cos r\cos \varphi \),
is positive, thus \(\theta =\varphi -\cos r\sin \varphi \frac{\arccos (\cos \varphi \cos r)}{\sqrt{1-\cos ^2 r\cos ^2\varphi }}\) is a bijection from \([-\pi , \pi ]\) onto itself, hence the uniqueness. \(\square \)
Moreover, observe that at \(\varphi (r,\theta )\),
is positive, where \(u(r,\theta )=\cos r\cos \varphi (r,\theta )\).
By using the steepest descent method we can deduce
Proposition 3.10
Let \(r\in (0,\frac{\pi }{2})\), \(\theta \in [-\pi ,\pi ]\). Then when \(t\rightarrow 0\),
where \(u(r,\theta )=\cos r\cos \varphi (r,\theta )\).
Remark 3.11
As a consequence of the previous proposition and using the results by Léandre [13, 14], we can recover the sub-Riemannian distance as \(\lim _{t \rightarrow 0} (-4t \ln p_t(r ,\theta ))\). By symmetry, this sub-Riemannian distance from the north pole to any point on \(\mathbb S ^{2n+1}\) only depends on \(r\) and \(\theta \). If we denote it by \(d(r,\theta )\), then from the previous propositions,
-
(1)
For \(\theta \in [-\pi ,\pi ]\),
$$\begin{aligned} d^2(0,\theta )=2\pi |\theta |-\theta ^2 \end{aligned}$$ -
(2)
For \(\theta \in [-\pi ,\pi ]\), \(r\in \left(0,\frac{\pi }{2}\right)\),
$$\begin{aligned} d^2(r,\theta )=\frac{(\varphi (r,\theta )+\theta )^2\tan ^2 r}{\sin ^2(\varphi (r,\theta ))} \end{aligned}$$
In particular, the sub-Riemannian diameter of \(\mathbb S ^{2n+1}\) is \(\pi \). For a study of the sub-Riemannian geodesics on \(\mathbb S ^{2n+1}\), we refer to [17].
Notes
We call north pole the point with complex coordinates \(z_1=0,\ldots , z_{n+1}=1\), it is therefore the point with real coordinates \((0,\ldots ,0,1,0)\).
References
Agrachev, A., Boscain, U., Gauthier, J.P., Rossi, F.: The intrinsic hypoelliptic Laplacian and its heat kernel on unimodular Lie groups. J. Funct. Anal. 256(8), 2621–2655 (2009)
Barilari D.: Trace heat kernel asymptotics in 3D contact sub-Riemannian geometry, arXiv:1105.1285.
Baudoin, F., Bonnefont, M.: The subelliptic heat kernel on \(SU(2)\): representations, asymptotics and gradient bounds. Math. Z. 263, 647–672 (2009)
Bauer, R.O.: Analysis of the horizontal Laplacian for the Hopf fibration. Forum Math. 17(6), 903–920 (2005)
Beals, R., Gaveau, B., Greiner, P.C.: Hamilton-Jacobi theory and the heat kernel on Heisenberg groups. J. Math. Pures Appl. 79(7), 633–689 (2000)
Branson, T.P., Fontana, L., Morpurgo, C.: Moser-Trudinger and Beckner-Onofri’s inequalities on the CR sphere. Ann. Math. 177, 1–52 (2013)
Bonnefont, M.: The subelliptic heat kernel on SL(2, R) and on its universal covering: integral representations and some functional inequalities. Potential Anal. 36(2), 275–300 (2012)
Cowling, M.G., Klima, O., Sikora, A.: Spectral Multipliers for the Kohn sublaplacian on the sphere in \({\mathbb{C}}^n\). Trans. Amer. Math. Soc. 363(2), 611–631 (2011)
Dragomir S., Tomassini G.: Differential geometry and analysis on CR manifolds, Birkhäuser, vol. 246 (2006)
Eldredge, N.: Gradient estimates for the subelliptic heat kernel on H-type groups. J. Funct. Anal. 258, 504–533 (2010)
Gaveau, B.: Principe de moindre action, propagation de la chaleur et estiméees sous elliptiques sur certains groupes nilpotents. Acta Math. 139(1), 95–153 (1977)
Geller, D.: The Laplacian and the Kohn Laplacian for the sphere. J. Differ. Geom. 15, 417–435 (1980)
Léandre, R.: Majoration en temps petit de la densité d’une diffusion dégénérée. Probab. Theory Relat. Fields 74(2), 289–294 (1987)
Léandre, R.: Minoration en temps petit de la densité d’une diffusion dégénérée. J. Funct. Anal. 74(2), 399–414 (1987)
Li, H.Q.: Estimation optimale du gradient du semi-groupe de la chaleur sur le groupe de Heisenberg. Jour. Func. Anal. 236, 369–394 (2006)
Lieb, E., Frank R.: Sharp constants in several inequalities on the Heisenberg group., arXiv:1009.1410, To appear in, Ann. Math (2012)
Molina, M, Markina I. : Sub-Riemannian geodesics and heat operator on odd dimensional spheres, arXiv:1008.5265, Anal. Math. Phys. 2(2), 123–147 (2012)
Staubach, W.: Wiener path integrals and the fundamental solution for the Heisenberg Laplacian. J. Anal. Math. 91, 389–400 (2003)
Taylor, M.E.: Partial differential equations. II, Applied Mathematical Sciences 116, Springer, New York (1996)
Author information
Authors and Affiliations
Corresponding author
Additional information
F. Baudoin supported in part by NSF Grant DMS 0907326.
Rights and permissions
About this article
Cite this article
Baudoin, F., Wang, J. The subelliptic heat kernel on the CR sphere. Math. Z. 275, 135–150 (2013). https://doi.org/10.1007/s00209-012-1127-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-012-1127-4