We estimate the $L^2$ norm of the restriction to a totally geodesic submanifold of the eigenfunctions of the Laplace-Beltrami operator on the standard flat torus $\mathbb{T}^d$, $d\ge2$. We reduce getting correct bounds to counting lattice points in the intersection of some $ν$-transverse bands on the sphere. Moreover, we prove the correct bounds for rational totally geodesic submanifolds of arbitrary codimension. In particular, we verify the conjecture of Bourgain-Rudnick on $L^2$-restriction estimates for rational hyperplanes. On $\mathbb{T}^2$, we prove the uniform $L^2$ restriction bounds for closed geodesics. On $\mathbb{T}^3$, we obtain explicit $L^2$ restriction estimates for the totally geodesic submanifolds, which improve the corresponding results by Burq-Gérard-Tzvetkov, Hu, Chen-Sogge.
We prove a new quantum variance estimate for toral eigenfunctions. As an application, we show that, given any orthonormal basis of toral eigenfunctions and any smooth embedded hypersurface with nonvanishing principal curvatures, there exists a density one subsequence of eigenfunctions that equidistribute along the hypersurface. This is an analogue of the Quantum Ergodic Restriction theorems in the case of the flat torus, which in particular verifies the Bourgain-Rudnick's conjecture on $L^2$-restriction estimates for a density one subsequence of eigenfunctions in any dimension. Using our quant…
We give uniform upper and lower bounds for the L^2 norm of the restriction of eigenfunctions of the Laplacian on the three-dimensional standard flat torus to surfaces with non-vanishing curvature. We also present several related results concerning the nodal sets of eigenfunctions.
We prove quantitative equidistribution properties for orthonormal bases of eigenfunctions of the Laplacian on the rational $d$-torus. We show that the rate of equidistribution of such eigenfunctions is of polynomial decay. We also prove that equidistribution of eigenfunctions holds for symbols supported in balls with a radius shrinking at a polynomial rate.
We study the nodal set of Laplace eigenfunctions on the flat $2d$ torus $\mathbb{T}^2$. We prove an asymptotic law for the nodal length of such eigenfunctions, under some growth assumptions on their Fourier coefficients. Moreover, we show that their nodal set is asymptotically equidistributed on $\mathbb{T}^2$. The proofs are based on Bourgain's de-randomisation technique and the main new ingredient, which might be of independent interest, is the integrability of arbitrarily large powers of the doubling index of Laplace eigenfunctions on $\mathbb{T}^2$, based on the work of Nazarov \cite{N93,N…
We study the nodal sets of eigenfunctions of the Laplacian on the standard d-dimensional flat torus. The question we address is: Can a fixed hypersurface lie on the nodal sets of eigenfunctions with arbitrarily large eigenvalue? In dimension two, we show that this happens only for segments of closed geodesics. In higher dimensions, certain cylindrical sets do lie on nodal sets corresponding to arbitrarily large eigenvalues. Our main result is that this cannot happen for hypersurfaces with nonzero Gauss-Kronecker curvature. In dimension two, the result follows from a uniform lower bound for the…
We investigate eigenfunctions of the Laplacian perturbed by a delta potential on the standard tori $\mathbb{R}^d/2 π\mathbb{Z}^d$ in dimensions $d=2,3$. Despite quantum ergodicity holding for the set of "new" eigenfunctions we show that there is scarring in the momentum representation for $d=2,3$, as well as in the position representation for $d=2$ (i.e., the eigenfunctions fail to equidistribute in phase space along an infinite subsequence of new eigenvalues.) For $d=3$, scarred eigenstates are quite rare, but for $d=2$ scarring in the momentum representation is very common --- with $N_{2}(x)…
Burq-Gérard-Tzvetkov and Hu established $L^p$ estimates ($2\le p\le \infty$) for the restriction of eigenfunctions to submanifolds. The estimates are sharp, except for the log loss at the endpoint $L^2$ estimates for submanifolds of codimension 2. It has long been believed that the log loss at the endpoint can be removed in general, while the problem is still open. So this paper is devoted to the study of sharp endpoint restriction estimates for eigenfunctions in this case. Chen and Sogge removed the log loss for the geodesics on 3-dimensional manifolds. In this paper, we generalize their resu…
We give estimates for the $L^p$ norm ($2\leq p \leq +\infty$) of the restriction to a curve of the eigenfunctions of the Laplace Beltrami operator on a Riemannian surface. If the curve is a geodesic, we show that on the sphere these estimates are sharp. If the curve has non vanishing geodesic curvature, we can improve our results. We also show how our approach apply to higher dimensional manifolds.
In this note we analyse $L^{p}$ estimates for Laplacian eigenfunctions and quasimodes and their associated sharp examples. In particular we use previously determined estimates to produce a new set of estimates for restriction to thickened neighbourhoods of submanifolds. In addition we produce a family flat model quasimode examples that can be used to determine sharpness of estimates on Laplacian eigenfunctions restricted to subsets. For each quasimode in the family we show that there is a corresponding spherical harmonic that displays the same growth properties. Therefore it is enough to check…
We study $L^p$ bounds on spectral projections for the Laplace operator on compact Riemannian manifolds, restricted to small frequency dependent neighborhoods of submanifolds. In particular, if $λ$ is a frequency and the size of the neigborhood is $\mathcal{O}(λ^{-δ})$, then new sharp estimates are established when $δ\ge 1$, while for $0\le δ\le 1/2$, Sogge's estimates turn out to be optimal. In the intermediate region $1/2<δ<1$, we sometimes get sharp estimates as well. Our arguments follow closely a recent work by Burq and Zuily.
We describe a new approach to understanding averages of high energy Laplace eigenfunctions, $u_h$, over submanifolds, $$ \Big|\int _H u_hdσ_H\Big| $$ where $H\subset M$ is a submanifold and $σ_H$ the induced by the Riemannian metric on $M$. This approach can be applied uniformly to submanifolds of codimension $1\leq k\leq n$ and in particular, gives a new approach to understanding $\|u_h\|_{L^\infty(M)}$. The method, developed in the author's recent work together with Y. Canzani and J. Toth, relies on estimating averages by the behavior of $u_h$ microlocally near the conormal bundle to $H$. By…
Let $(M,g)$ be a compact $n$-dimensional Riemannian manifold without boundary and $e_λ$ be an $L^2$-normalized eigenfunction of the Laplace-Beltrami operator with respect to the metric $g$, i.e \[ -Δ_g e_λ= λ^2 e_λ\qquad \text{ and } \qquad \| e_λ\|_{L^2(M)} = 1. \] Let $Σ$ be a $d$-dimensional submanifold and $dμ$ a smooth, compactly supported measure on $Σ$. It is well-known (e.g. proved by Zelditch in far greater generality) that \[ \int_Σe_λ\, dμ= O(λ^\frac{n-d-1}{2}). \] We show this bound improves to $o(λ^\frac{n-d-1}{2})$ provided the set of looping directions, \[ \mathcal{L}_Σ = \{ (x,…
This article is about two types of restrictions of eigenfunctions $ϕ_j$ on a compact Riemannian manifold $(M,g)$: First, we restrict to a submanifold $H \subset M$, and expand the restriction $γ_H ϕ_j$ in eigenfunctions $e_k$ of $H$. We then Fourier restrict $γ_H ϕ_j$ to a short interval of eigenvalues of $H$. Laplace eigenvalues of $M$ are denoted $λ_j^2$ and those of $H$ are denoted $μ_k^2$. The Fourier coefficients are negligible unless the $H$- eigenvalues lie in the interval $μ_k \in [-λ_j, λ_j]$. The short windows have the form $|μ_k - c λ_j| < ε$. The goal is to obtain asymptotics and e…
We show that, in round spheres of dimension $n\geq3$, for any given collection of codimension 2 smooth submanifolds $\mathfrak{S}:=\{Σ_1,...,Σ_N\}$ of arbitrarily complicated topology ($N$ being the complex dimension of the spinor bundle), there is always an eigenfunction $ψ=(ψ_1,...,ψ_N)$ of the Dirac operator such that each submanifold $Σ_a$, modulo ambient diffeomorphism, is a structurally stable nodal set of the spinor component $ψ_a$. The result holds for any choice of trivialization of the spinor bundle. The emergence of these structures takes place at small scales and sufficiently high …
We study the relationship between $L^\infty$ growth of eigenfunctions and their $L^2$ concentration as measured by defect measures. In particular, we show that scarring in the sense of concentration of defect measure on certain submanifolds is incompatible with maximal $L^\infty$ growth. In addition, we show that a defect measure which is too diffuse, such as the Liouville measure, is also incompatible with maximal eigenfunction growth.
We prove an analogue of Sogge's local $L^p$ estimates for $L^p$ norms of restrictions of eigenfunctions to submanifolds, and use it to show that for quantum ergodic eigenfunctions one can get improvements of the results of Burq-Gérard-Tzvetkov, Hu, and Chen-Sogge. The improvements are logarithmic on negatively curved manifolds (without boundary) and by $o(1)$ for manifolds (with or without boundary) with ergodic geodesic flows. In the case of ergodic billiards with piecewise smooth boundary, we get $o(1)$ improvements on $L^\infty$ estimates of Cauchy data away from a shrinking neighborhood of…
Given a compact Riemannian manifold $(M, g)$ without boundary, we estimate the Lebesgue norm of Laplace-Beltrami eigenfunctions when restricted to a wide variety of subsets $Γ$ of $M$. The sets $Γ$ that we consider are Borel measurable, Lebesgue-null but otherwise arbitrary with positive Hausdorff dimension. Our estimates are based on Frostman-type ball growth conditions for measures supported on $Γ$. For large Lebesgue exponents $p$, these estimates provide a natural generalization of $L^p$ bounds for eigenfunctions restricted to submanifolds, previously obtained in \cite{Ho68, Ho71, Sog88, B…
- In this article, we prove some universal bounds on the speed of concentration on small (frequency-dependent) neighborhoods of submanifolds of L 2-norms of quasi modes for Laplace operators on compact manifolds. We deduce new results on the rate of decay of weakly damped wave equations. R{é}sum{é}.
In this article we develop new techniques for studying concentration of Laplace eigenfunctions $ϕ_λ$ as their frequency, $λ$, grows. The method consists of controlling $ϕ_λ(x)$ by decomposing $ϕ_λ$ into a superposition of geodesic beams that run through the point $x$. Each beam is localized in phase-space on a tube centered around a geodesic whose radius shrinks slightly slower than $λ^{-\frac{1}{2}}$. We control $ϕ_λ(x)$ by the $L^2$-mass of $ϕ_λ$ on each geodesic tube and derive a purely dynamical statement through which $ϕ_λ(x)$ can be studied. In particular, we obtain estimates on $ϕ_λ(x)$…
In this article, we consider eigenfunctions $u$ of the bi-harmonic operator, i.e., $\triangle^2u=λ^2u$ on $Ω$ with some homogeneous linear boundary conditions. We assume that $Ω\subseteq\mathbb{R}^n$ ($n\geq2$) is a $C^{\infty}$ bounded domain, $\partialΩ$ is piecewise analytic and $\partialΩ$ is analytic except a set $Γ\subseteq\partialΩ$ which is a finite union of some compact $(n-2)$ dimensional submanifolds of $\partialΩ$. The main result of this paper is that the measure upper bounds of the nodal sets of the eigenfunctions is controlled by $\sqrtλ$. We first define a frequency function an…
We prove a couple of new endpoint geodesic restriction estimates for eigenfunctions. In the case of general 3-dimensional compact manifolds, after a $TT^*$ argument, simply by using the $L^2$-boundedness of the Hilbert transform on $\R$, we are able to improve the corresponding $L^2$-restriction bounds of Burq, Gérard and Tzvetkov and Hu. Also, in the case of 2-dimensional compact manifolds with nonpositive curvature, we obtain improved $L^4$-estimates for restrictions to geodesics, which, by Hölder's inequality and interpolation, implies improved $L^p$-bounds for all exponents $p\ge 2$. We do…
Let $\{e_j\}$ be an orthonormal basis of Laplace eigenfunctions of a compact Riemannian manifold $(M,g)$. Let $H \subset M$ be a submanifold and let $\{ψ_k\}$ be an orthonormal basis of Laplace eigenfunctions of $H$ with the induced metric. We obtain joint asymptotics for the Fourier coefficients \[ \langle γ_H e_j, ψ_k \rangle_{L^2(H)} = \int_H e_j \overline ψ_k \, dV_H, \] of restrictions $γ_H e_j$ of $e_j$ to $H$. In particular, we obtain asymptotics for the sums of the norm-squares of the Fourier coefficients over the joint spectrum $\{(μ_k, λ_j)\}_{j,k - 0}^{\infty}$ of the (square roots …
We develop a semiclassical second microlocal calculus of pseudodifferential operators associated to linear coisotropic submanifolds $\mathcal{C}\subset T^* \mathbb{T}^n$, where $\mathbb{T}^n = \mathbb{R}^n / \mathbb{Z}^n$. First microlocalization is localization in phase space $T^* \mathbb{T}^n$; second microlocalization is finer localization near a submanifold of $T^* \mathbb{T}^n$. Our second microlocal operators test distributions on $\mathbb{T}^n$ (e.g., Laplace eigenfunctions) for a coisotropic wavefront set, a second microlocal measure of absence of \emph{coisotropic regularity}. This wa…
Let $(M,g)$ be a smooth, compact Riemannian manifold and $\{ϕ_λ\}$ an $L^2$-normalized sequence of Laplace eigenfunctions, $-Δ_gϕ_λ=λ^2 ϕ_λ$. Given a smooth submanifold $H \subset M$ of codimension $k\geq 1$, we find conditions on the pair $(M,H)$, even when $H=\{x\}$, for which $$ \Big|\int_Hϕ_λdσ_H\Big|=O\Big(\frac{λ^{\frac{k-1}{2}}}{\sqrt{\log λ}}\Big)\qquad \text{or}\qquad |ϕ_λ(x)|=O\Big(\frac{λ^{\frac{n-1}{2}}}{\sqrt{\log λ}}\Big), $$ as $λ\to \infty$. These conditions require no global assumption on the manifold $M$ and instead relate to the structure of the set of recurrent directions i…
In this paper, we obtain the upper bounds for the Hausdorff measures of nodal sets of eigenfunctions with the Robin boundary conditions, i.e., \begin{equation*} {\left\{\begin{array}{l} \triangle u+λu=0,\quad in\quad Ω,\\ u_ν+μu=0,\quad on\quad\partialΩ, \end{array} \right.} \end{equation*} where the domain $Ω\subseteq\mathbb{R}^n$, $u_ν$ means the derivative of $u$ along the outer normal direction of $\partialΩ$. We show that, if $Ω$ is bounded and analytic, and the corresponding eigenvalue $λ$ is large enough,then the measure upper bounds for the nodal sets of eigenfunctions are $C\sqrtλ$, w…
We study the convergence of the graph Laplacian of a random geometric graph generated by an i.i.d. sample from a $m$-dimensional submanifold $M$ in $R^d$ as the sample size $n$ increases and the neighborhood size $h$ tends to zero. We show that eigenvalues and eigenvectors of the graph Laplacian converge with a rate of $O\Big(\big(\frac{\log n}{n}\big)^\frac{1}{2m}\Big)$ to the eigenvalues and eigenfunctions of the weighted Laplace-Beltrami operator of $M$. No information on the submanifold $M$ is needed in the construction of the graph or the "out-of-sample extension" of the eigenvectors. Of …
Let $(M,g)$ be an $n$-dimensional compact boudaryless Riemannian manifold with nonpositive sectional curvature, then our conclusion is that we can give improved estimates for the $L^p$ norms of the restrictions of eigenfunctions to smooth submanifolds of dimension $k$, for $p>\dfrac{2n}{n-1}$ when $k=n-1$ and $p>2$ when $k\leq n-2$, compared to the general results of Burq, Gérard and Tzvetkov \cite{burq}. Earlier, Bérard \cite{Berard} gave the same improvement for the case when $p=\infty$, for compact Riemannian manifolds without conjugate points for $n=2$, or with nonpositive sectional curvat…
This article concerns joint asymptotics of Fourier coefficients of restrictions of Laplace eigenfunctions $ϕ_j$ of a compact Riemannian manifold to a submanifold $H \subset M$. We fix a number $c \in (0,1)$ and study the asymptotics of the thin sums, $$ N^{c} _{ε, H }(λ): = \sum_{j, λ_j \leq λ} \sum_{k: |μ_k - c λ_j | < ε} \left| \int_{H} ϕ_j \overline{ψ_k}dV_H \right|^2 $$ where $\{λ_j\}$ are the eigenvalues of $\sqrt{-Δ}_M,$ and $\{(μ_k, ψ_k)\}$ are the eigenvalues, resp. eigenfunctions, of $\sqrt{-Δ}_H$. The inner sums represent the `jumps' of $ N^{c} _{ε, H }(λ)$ and reflect the geometry o…
This is a survey for the JDG 50th Anniversary conference of recent results on nodal sets of eigenfunctions of the Laplacian on a compact Riemannian manifold. In part the techniques are `local', i.e. only assuming eigenfunctions are defined on small balls, and in part the techniques are `global', i.e. exploiting dynamics of the geodesic flow. The local part begins with a review of doubling indices and freqeuency functions as local measures of fast or slow growth of eigenfunctions. The pattern of boxes with maximal doubling indices plays a central role in the results of Logunov-Malinnokova, givi…
Sharp spectral-cluster restriction bounds for orthonormal systems
School of Mathematics and Statistics, Guangxi Normal University（广西师范大学数学与统计学院）；School of Mathematics, Hunan University（湖南大学数学系）；School of Mathematical Sciences, Zhejiang University（浙江大学数学科学学院）
