Small-time heat kernel asymptotics at the sub-Riemannian cut locus

From MaRDI portal



Abstract: For a sub-Riemannian manifold provided with a smooth volume, we relate the small time asymptotics of the heat kernel at a point y of the cut locus from x with roughly "how much" y is conjugate to x. This is done under the hypothesis that all minimizers connecting x to y are strongly normal, i.e. all pieces of the trajectory are not abnormal. Our result is a refinement of the one of Leandre 4tlogpt(x,y)o−d2(x,y) for to0, in which only the leading exponential term is detected. Our results are obtained by extending an idea of Molchanov from the Riemannian to the sub-Riemannian case, and some details we get appear to be new even in the Riemannian context. These results permit us to obtain properties of the sub-Riemannian distance starting from those of the heat kernel and vice versa. For the Grushin plane endowed with the Euclidean volume we get the expansion pt(x,y)simt−5/4exp(−d2(x,y)/4t) where y is reached from a Riemannian point x by a minimizing geodesic which is conjugate at y.


Let \(M\) be an \(n\)-dimensional smooth manifold endowed with a complete sub-Riemannian structure and a smooth volume. Relevant results concerning the problem of relating the induced sub-Riemannian distance to the heat kernel were obtained in several papers, e.g. [\textit{G. Ben Arous} and \textit{R. Léandre}, Probab. Theory Relat. Fields 90, No. 3, 377--402 (1991; Zbl 0734.60027); \textit{T. J. S. Taylor}, Pac. J. Math. 136, No. 2, 379--399 (1989; Zbl 0692.35011)]. The main result here relates the heat kernel asymptotics with the so-called hinged energy function on the set of midpoints of all minimizing geodesic connecting \(x\) to \(y\), under the hypothesis that all minimizers connecting \(x\) to \(y\) are strongly normal. This permits to obtain heat kernel asymptotics on the cut locus, filling a gap in the previous literature. The proof uses the asymptotics of Laplace-type integrals and the relation between the degeneracy of the hinged energy function around the midpoints of the minimal geodesic connecting \(x\) to \(y\) and the conjugacy of the minimal geodesic connecting them. Several applications on Heisenberg group, the nilpotent free case, and the Grushin plane are obtained




Cited in
(41)








This page was built for publication: Small-time heat kernel asymptotics at the sub-Riemannian cut locus

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