English

Non-concentration estimates for Laplace eigenfunctions on compact $C^{\infty}$ manifolds with boundary

Analysis of PDEs 2026-03-11 v2 Spectral Theory

Abstract

Let Ω\Omega be an nn-dimensional compact Riemannian manifold (n3)(n \geq 3) with CC^\infty boundary, and consider L2L^2-normalized eigenfunctions Δϕλ=λ2ϕλ - \Delta \phi_{\lambda} = \lambda^2 \phi_\lambda with Dirichlet or Neumann boundary conditions . In this note, we extend well-known interior nonconcentration bounds up to the boundary. Specifically, in Theorem \ref{thm1}, using purely stationary local methods, we prove that for such Ω\Omega it follows that for {\em any} x0Ωx_0 \in \overline{\Omega} (including boundary points) and for all μCΩλ1\mu \geq C_{\Omega} \lambda^{-1} with sufficiently large constant CΩ>0,C_{\Omega} >0, \begin{equation} \label{nonconbdy} \| \phi_\lambda \|_{B(x_0,\mu)\cap \Omega}^2 = O(\mu). \end{equation} In Theorem \ref{thm2} we extend a result of Sogge \cite{So} to manifolds with smooth boundary and show that \begin{equation} \label{SUPBD} \| \phi_\lambda \|_{L^\infty(\Omega)} \leq C \lambda^{\frac{n}{2}} \cdot \Big( \sup_{x \in \Omega} \| \phi_{\lambda} \|_{L^2( B(x,\lambda^{-1}) \cap \Omega )} \Big). \end{equation} The sharp sup bounds ϕλL(Ω)=O(λn12)\| \phi_{\lambda} \|_{L^\infty(\Omega)} = O(\lambda^{\frac{n-1}{2}}) for Dirichlet or Neumann eigenfunctions proved by Grieser in \cite{Gr} are then an immediate consequence of Theorems \ref{thm1} and \ref{thm2}.

Keywords

Cite

@article{arxiv.2412.17935,
  title  = {Non-concentration estimates for Laplace eigenfunctions on compact $C^{\infty}$ manifolds with boundary},
  author = {Hans Christianson and John A. Toth},
  journal= {arXiv preprint arXiv:2412.17935},
  year   = {2026}
}

Comments

This version fixes a mistake in the first version, and as a consequence the authors assume higher regularity of the boundary

R2 v1 2026-06-28T20:47:22.656Z