Hypoelliptic Laplacian and probability
type: Item
instance of: scholarly article
title: Hypoelliptic Laplacian and probability
zbMATH Open document ID: 1334.35019
author: Jean-Michel Bismut
published in: Journal of the Mathematical Society of Japan
publication date: 2016-01-12T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.jmsj/1445951153
review text: The purpose of this article is to describe the theory of the hypoelliptic Laplacian in a relatively simple framework, together with its underlying probabilistic aspects. In its simplest form, the hypoelliptic Laplacian is a second-order differential operator \(M^X_b\) on the tangent bundle \(T X\) of a compact Riemannian manifold \(X\), namely, \(M^X_b :=\frac{A}{ b^2} + \frac Ub\), where \(A = -\frac12 \Delta + \triangledown\) is the Ornstein-Uhlenbeck operator (hence a harmonic oscillator) acting on the fibers, \(U\) denotes the vector field on \(T X\) that generates the geodesic flow, and \(b\) is an interpolation positive parameter. Then, the corresponding diffusion on \(T X\) is a geometric Langevin process solving the stochastic Stratonovitch differential equation \(b^2{\ddot{ x}} + \dot{x} = \dot{w}\) for some Brownian motion \(w\) (along fibers, transported by means of the Levi-Civita connection). A first and key result, to which the author provides different proofs and also intuitive explanations, asserts that as \(b \rightarrow 0\), \(M^X_b\) collapses to the half Laplacian \(-\frac12 \Delta^X\) on the base space \(X\), whereas as \(b \rightarrow \infty\), \(M^X_b\) goes to a perturbed form of the vector field \(U\) (of the geodesic flow). Moreover, these convergences occur in a strong sense, in particular at the level of the kernels and their derivatives, and then of their traces. The author emphasizes the connections of this basic result with the central limit theorem for the occupation measure by the geometric Brownian motion. He also emphasizes the connections to index theory, related to the rigidity (with respect to \(b\)) of a part of the spectrum of \(M^X_b\). References are provided for results which are not proved here. The above convergences are robust under projection onto tori and hold, in particular, over locally symmetric spaces, which is also explained and justified in this article. This theory is even more robust and extends to more general…
reviewed by: Jacques Franchi
Mathematics Subject Classification ID: 35H10
Mathematics Subject Classification ID: 58J65
Mathematics Subject Classification ID: 35R01
zbMATH DE Number: 6529322
zbMATH Keywords: hypoelliptic Laplacian
zbMATH Keywords: diffusion processes and stochastic analysis on manifolds
zbMATH Keywords: Ornstein-Uhlenbeck operator
zbMATH Keywords: geometric Langevin process
zbMATH Keywords: heat kernel
zbMATH Keywords: geodesic flow
zbMATH Keywords: index theory
zbMATH Keywords: Selberg's trace formula
MaRDI profile type: Publication
OpenAlex ID: W2183305668
cites work: The index of elliptic operators. I
cites work: The index of elliptic operators. III
cites work: The hypoelliptic Laplacian on the cotangent bundle
cites work: Q5459665
cites work: Loop Spaces and the hypoelliptic Laplacian
cites work: Q5324212
cites work: Hypoelliptic Laplacian and Orbital Integrals (AM-177)
cites work: Index Theory and the Hypoelliptic Laplacian
cites work: The Hypoelliptic Laplacian and Ray-Singer Metrics. (AM-167)
cites work: Q4692653
cites work: Relativistic diffusions and Schwarzschild geometry
cites work: Curvature diffusions in general relativity
cites work: Hyperbolic dynamics and Brownian motion. An introduction
cites work: Hypoelliptic second order differential equations
cites work: Zufällige Bewegungen. (Zur Theorie der Brownschen Bewegung.)
cites work: Q675876
cites work: Correction to: Silberg' trace formua as applied to a compact riemann surface by H. P. Mckean, comm. pure appl. math. 25, pp. 225‐246,1972
cites work: Curvature and the eigenvalues of the Laplacian
cites work: Superconnections and the Chern character
cites work: R-torsion and the Laplacian on Riemannian manifolds
cites work: The hypoelliptic Laplacian, analytic torsion and Cheeger-Müller theorem
cites work: Supersymmetry and Morse theory
DOI: 10.2969/JMSJ/06741317
description: scientific article; zbMATH DE number 6529322