Abstract:The purpose of this note is to investigate the concentration properties of spectral projectors on manifolds. This question has been intensively studied (by Logvinenko--Sereda, Nazarov, Jerison--Lebeau, Kovrizhkin, Egidi--Seelmann--Veseli{ć}, Burq--Moyano, among others) in connection with the uncertainty principle. We provide the first high-frequency results in a geometric setting which is neither Euclidean nor a perturbation of Euclidean. Namely, we prove the natural (and optimal) uncertainty principle for the spectral projector on the hyperbolic half-plane.
What problem does this paper attempt to address?
### The problems the paper attempts to solve
The paper "SPECTRAL ESTIMATE FOR THE LAPLACE–BELTRAMI OPERATOR ON THE HYPERBOLIC HALF - PLANE" attempts to solve the spectral estimation problem of the Laplace - Beltrami operator on the hyperbolic half - plane. Specifically, the author Marc Rouveyrol explores the high - frequency spectral estimation problem starting from thick sets in the context of non - Euclidean geometry.
### Background and motivation
In the past few decades, significant progress has been made in research on spectral estimation, especially within the framework of the uncertainty principle. Many researchers, such as Logvinenko - Sereda, Nazarov, Jerison - Lebeau, Kovrizhkin, Egidi - Seelmann - Veselic, Burq - Moyano, etc., have studied this problem in different contexts. However, most of these studies have focused on Euclidean spaces or their perturbed cases. The innovation of this paper lies in presenting a natural and optimal uncertainty principle for the first time in the context of non - Euclidean geometry, that is, on the hyperbolic half - plane.
### Main results
The main results of the paper are to prove the equivalence of the following two conditions:
1. **Hypothesis 1**: There exist constants \(\delta, R>0\) such that for any \((x, y)\in H^{2}\), the set \(\omega\) satisfies:
\[
\text{vol}_g(\omega\cap B_g^R(x, y))=\int_{\omega\cap B_g^R(x, y)}\frac{dx dy}{y^{2}}\geq\delta
\]
This means that the set \(\omega\) has sufficient measure in each geodesic ball and is evenly distributed.
2. **Spectral estimate**: There exists a constant \(C(\delta, R)>0\) such that for any \(\Lambda\geq\frac{1}{4}\) and \(u\in L^{2}(H^{2},\frac{dx dy}{y^{2}})\), we have:
\[
\|\Pi_\Lambda u\|_{L^{2}(H^{2},\frac{dx dy}{y^{2}})}\leq C e^{C\Lambda}\|\Pi_\Lambda u\|_{L^{2}(\omega,\frac{dx dy}{y^{2}})}
\]
where \(\Pi_\Lambda\) is the spectral projection operator, defined as:
\[
\Pi_\Lambda u = \int_0^\Lambda \frac{\sinh(\lambda t)}{\lambda} dm_\lambda u
\]
### Proof methods
1. **Sufficient condition**: Assuming Hypothesis 1 holds, prove the spectral estimate. The author transforms the problem into an estimate on a rectangular region by introducing an appropriate coordinate transformation, and then applies the propagation of smallness inequality of Logunov and Malinnikova, and finally obtains the required spectral estimate.
2. **Necessary condition**: Assuming the spectral estimate holds, prove Hypothesis 1 by contradiction. The author uses the heat kernel method and proves that Hypothesis 1 must hold by observing the observation inequality of the solution of the heat equation at time \(T\).
### Conclusion
Through strict mathematical derivations, this paper establishes for the first time the high - frequency spectral estimate starting from thick sets on the hyperbolic half - plane, filling the gap in this field. This result not only enriches the spectral estimation theory but also provides new tools and methods for research in related fields.