Quasimode, Eigenfunction and Spectral Projection Bounds for Schrödinger Operators on Manifolds with Critically Singular Potentials

We obtain quasimode, eigenfunction and spectral projection bounds for Schrödinger operators, HV=-Δg+V(x)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$H_V=-\Delta _g+V(x)$$\end{document}, on compact Riemannian manifolds (M, g) of dimension n≥2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n\ge 2$$\end{document}, which extend the results of the third author (Sogge 1988) corresponding to the case where V≡0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$V\equiv 0$$\end{document}. We are able to handle critically singular potentials and consequently assume that V∈Ln2(M)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$V\in L^{\tfrac{n}{2}}(M)$$\end{document} and/or V∈K(M)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$V\in {{\mathcal {K}}}(M)$$\end{document} (the Kato class). Our techniques involve combining arguments for proving quasimode/resolvent estimates for the case where V≡0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$V\equiv 0$$\end{document} that go back to the third author (Sogge 1988) as well as ones which arose in the work of Kenig et al. (1987) in the study of “uniform Sobolev estimates” in Rn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathbb {R}}}^n$$\end{document}. We also use techniques from more recent developments of several authors concerning variations on the latter theme in the setting of compact manifolds. Using the spectral projection bounds we can prove a number of natural Lp→Lp\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L^p\rightarrow L^p$$\end{document} spectral multiplier theorems under the assumption that V∈Ln2(M)∩K(M)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$V\in L^{\frac{n}{2}}(M)\cap {{\mathcal {K}}}(M)$$\end{document}. Moreover, we can also obtain natural analogs of the original Strichartz estimates (1977) for solutions of (∂t2-Δ+V)u=0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(\partial _t^2-\Delta +V)u=0$$\end{document}. We also are able to obtain analogous results in Rn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathbb {R}}}^n$$\end{document} and state some global problems that seem related to works on absence of embedded eigenvalues for Schrödinger operators in Rn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathbb {R}}}^n$$\end{document} (e.g., Ionescu and Jerison 2003; Jerison and Kenig 1985; Kenig and Nadirashvili 2000; Koch and Tataru 2002; Rodnianski and Schlag 2004).