On the growth of eigenfunction averages: microlocalization and geometry

Abstract

Let $(M,g)$ be a smooth, compact Riemannian manifold and $\{{\varphi }_h\}$ an $L^2$-normalized sequence of Laplace eigenfunctions, $-h^2{\Delta }_g{\varphi }_h={\varphi }_h$. Given a smooth submanifold $H\subset M$ of codimension $k\ge 1$, we find conditions on the pair $(\{{\varphi }_h\},H)$ for which $$\left|{\int }_H{\varphi }_{h}d{\sigma }_H\right|=o(h^{\frac{1-k}{2}}),h\to 0^{+}.$$ One such condition is that the set of conormal directions to $H$ that are recurrent has measure $0$. In particular, we show that the upper bound holds for any $H$ if $(M,g)$ is surface with Anosov geodesic flow or a manifold of constant negative curvature. The results are obtained by characterizing the behavior of the defect measures of eigenfunctions with maximal averages.

47 pages, 1 figure

References in corpus (2)

• Averages of eigenfunctions over hypersurfaces
• Eigenfunction scarring and improvements in $L^{\infty }$ bounds

Cited by in corpus (3)

• Growth of high $L^p$ norms for eigenfunctions: an application of geodesic beams
• Geodesic bi-angles and Fourier coefficients of restrictions of eigenfunctions
• A two term Kuznecov sum formula