No Arabic abstract
This is the first paper of a series in which we plan to study spectral asymptotics for sub-Riemannian Laplacians and to extend results that are classical in the Riemannian case concerning Weyl measures, quantum limits, quantum ergodicity, quasi-modes, trace formulae.Even if hypoelliptic operators have been well studied from the point of view of PDEs, global geometrical and dynamical aspects have not been the subject of much attention. As we will see, already in the simplest case, the statements of the results in the sub-Riemannian setting are quite different from those in the Riemannian one. Let us consider a sub-Riemannian (sR) metric on a closed three-dimensional manifold with an oriented contact distribution. There exists a privileged choice of the contact form, with an associated Reeb vector field and a canonical volume form that coincides with the Popp measure. We establish a Quantum Ergodicity (QE) theorem for the eigenfunctions of any associated sR Laplacian under the assumption that the Reeb flow is ergodic. The limit measure is given by the normalized Popp measure.This is the first time that such a result is established for a hypoelliptic operator, whereas the usual Shnirelman theorem yields QE for the Laplace-Beltrami operator on a closed Riemannian manifold with ergodic geodesic flow.To prove our theorem, we first establish a microlocal Weyl law, which allows us to identify the limit measure and to prove the microlocal concentration of the eigenfunctions on the characteristic manifold of the sR Laplacian. Then, we derive a Birkhoff normal form along this characteristic manifold, thus showing that, in some sense, all 3D contact structures are microlocally equivalent. The quantum version of this normal form provides a useful microlocal factorization of the sR Laplacian. Using the normal form, the factorization and the ergodicity assumption, we finally establish a variance estimate, from which QE follows.We also obtain a second result, which is valid without any ergodicity assumption: every Quantum Limit (QL) can be decomposed in a sum of two mutually singular measures: the first measure is supported on the unit cotangent bundle and is invariant under the sR geodesic flow, and the second measure is supported on the characteristic manifold of the sR Laplacian and is invariant under the lift of the Reeb flow. Moreover, we prove that the first measure is zero for most QLs.
Let $Omega$ be a curvilinear polygon and $Q^gamma_{Omega}$ be the Laplacian in $L^2(Omega)$, $Q^gamma_{Omega}psi=-Delta psi$, with the Robin boundary condition $partial_ u psi=gamma psi$, where $partial_ u$ is the outer normal derivative and $gamma>0$. We are interested in the behavior of the eigenvalues of $Q^gamma_Omega$ as $gamma$ becomes large. We prove that the asymptotics of the first eigenvalues of $Q^gamma_Omega$ is determined at the leading order by those of model operators associated with the vertices: the Robin Laplacians acting on the tangent sectors associated with $partial Omega$. In the particular case of a polygon with straight edges the first eigenpairs are exponentially close to those of the model operators. Finally, we prove a Weyl asymptotics for the eigenvalue counting function of $Q^gamma_Omega$ for a threshold depending on $gamma$, and show that the leading term is the same as for smooth domains.
We establish two results concerning the Quantum Limits (QLs) of some sub-Laplacians. First, under a commutativity assumption on the vector fields involved in the definition of the sub-Laplacian, we prove that it is possible to split any QL into several pieces which can be studied separately, and which come from well-characterized parts of the associated sequence of eigenfunctions. Secondly, building upon this result, we classify all QLs of a particular family of sub-Laplacians defined on products of compact quotients of Heisenberg groups. We express the QLs through a disintegration of measure result which follows from a natural spectral decomposition of the sub-Laplacian in which harmonic oscillators appear.Both results are based on the construction of an adequate elliptic operator commuting with the sub-Laplacian, and on the associated joint spectral calculus. They illustrate the fact that, because of the possibly high degeneracy of the spectrum, the spectral theory of sub-Laplacians can be very rich.
We consider a closed three-dimensional contact sub-Riemannian manifold. The objective of this note is to provide a precise description of the sub-Riemannian geodesics with large initial momenta: we prove that they spiral around the Reeb orbits, not only in the phase space but also in the configuration space. Our analysis is based on a normal form along any Reeb orbit due to Melrose.
By introducing a weight function to the Laplace operator, Bakry and Emery defined the drift Laplacian to study diffusion processes. Our first main result is that, given a Bakry-Emery manifold, there is a naturally associated family of graphs whose eigenvalues converge to the eigenvalues of the drift Laplacian as the graphs collapse to the manifold. Applications of this result include a new relationship between Dirichlet eigenvalues of domains in $R^n$ and Neumann eigenvalues of domains in $R^{n+1}$ and a new maximum principle. Using our main result and maximum principle, we are able to generalize emph{all the results in Riemannian geometry based on gradient estimates to Bakry-Emery manifolds}.
We study spectral properties for $H_{K,Omega}$, the Krein--von Neumann extension of the perturbed Laplacian $-Delta+V$ defined on $C^infty_0(Omega)$, where $V$ is measurable, bounded and nonnegative, in a bounded open set $Omegasubsetmathbb{R}^n$ belonging to a class of nonsmooth domains which contains all convex domains, along with all domains of class $C^{1,r}$, $r>1/2$. In particular, in the aforementioned context we establish the Weyl asymptotic formula [ #{jinmathbb{N} | lambda_{K,Omega,j}leqlambda} = (2pi)^{-n} v_n |Omega| lambda^{n/2}+Obig(lambda^{(n-(1/2))/2}big) {as} lambdatoinfty, ] where $v_n=pi^{n/2}/ Gamma((n/2)+1)$ denotes the volume of the unit ball in $mathbb{R}^n$, and $lambda_{K,Omega,j}$, $jinmathbb{N}$, are the non-zero eigenvalues of $H_{K,Omega}$, listed in increasing order according to their multiplicities. We prove this formula by showing that the perturbed Krein Laplacian (i.e., the Krein--von Neumann extension of $-Delta+V$ defined on $C^infty_0(Omega)$) is spectrally equivalent to the buckling of a clamped plate problem, and using an abstract result of Kozlov from the mid 1980s. Our work builds on that of Grubb in the early 1980s, who has considered similar issues for elliptic operators in smooth domains, and shows that the question posed by Alonso and Simon in 1980 pertaining to the validity of the above Weyl asymptotic formula continues to have an affirmative answer in this nonsmooth setting.