Fourier coefficients of restrictions of eigenfunctions

Abstract

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 of the) Laplacian $Δ_M$ on $M$ and the Laplacian $Δ_H$ on $H$ in a family of suitably `thick' regions in $\mathbb R^2$. Thick regions include (1) the truncated cone $μ_k/λ_j \in [a,b] \subset (0,1)$ and $λ_j \leq λ$, and (2) the slowly thickening strip $|μ_k - cλ_j| \leq w(λ)$ and $λ_j \leq λ$, where $w(λ)$ is monotonic and $1 \ll w(λ) \lesssim λ^{1 - 1/n}$. Key tools for obtaining these asymptotics include the composition calculus of Fourier integral operators and a new multidimensional Tauberian theorem.