Showing 1–50 of 78 results for author: Sogge, C D

Strichartz estimates for the Schrödinger equation on Zoll manifolds

Authors: Xiaoqi Huang, Christopher D. Sogge

Abstract: We obtain optimal space-time estimates in $L^q_{t,x}$ spaces for all $q\ge 2$ for solutions to the Schrödinger equation on Zoll manifolds, including, in particular, the standard round sphere $S^d$. The proof relies on the arithmetic properties of the spectrum of the Laplacian on Zoll manifolds, as well as bilinear oscillatory integral estimates, which allow us to relate the problem to Strichartz e… ▽ More We obtain optimal space-time estimates in $L^q_{t,x}$ spaces for all $q\ge 2$ for solutions to the Schrödinger equation on Zoll manifolds, including, in particular, the standard round sphere $S^d$. The proof relies on the arithmetic properties of the spectrum of the Laplacian on Zoll manifolds, as well as bilinear oscillatory integral estimates, which allow us to relate the problem to Strichartz estimate on one-dimensional tori. △ Less

Submitted 1 May, 2025; originally announced May 2025.

Comments: arXiv admin note: text overlap with arXiv:2404.13734

Lossless Strichartz and spectral projection estimates on unbounded manifolds

Authors: Xiaoqi Huang, Christopher D. Sogge, Zhongkai Tao, Zhexing Zhang

Abstract: We prove new lossless Strichartz and spectral projection estimates on asymptotically hyperbolic surfaces, and, in particular, on all convex cocompact hyperbolic surfaces. In order to do this, we also obtain log-scale lossless Strichartz and spectral projection estimates on manifolds of uniformly bounded geometry with nonpositive and negative sectional curvatures, extending the recent works of the… ▽ More We prove new lossless Strichartz and spectral projection estimates on asymptotically hyperbolic surfaces, and, in particular, on all convex cocompact hyperbolic surfaces. In order to do this, we also obtain log-scale lossless Strichartz and spectral projection estimates on manifolds of uniformly bounded geometry with nonpositive and negative sectional curvatures, extending the recent works of the first two authors for compact manifolds. We are able to use these along with known $L^2$-local smoothing and new $L^2 \to L^q$ half-localized resolvent estimates to obtain our lossless bounds. △ Less

Submitted 14 April, 2025; v1 submitted 9 April, 2025; originally announced April 2025.

Comments: 69 pages, corrected title

Strichartz estimates for the Schrödinger equation on compact manifolds with nonpositive sectional curvature

Authors: Xiaoqi Huang, Christopher D. Sogge

Abstract: We obtain improved Strichartz estimates for solutions of the Schrödinger equation on compact manifolds with nonpositive sectional curvatures which are related to the classical universal results of Burq, Gérard and Tzvetkov [11]. More explicitly, we are able refine the arguments in the recent work of Blair and the authors [3] to obtain no-loss $L^p_tL^{q}_{x}$-estimates on intervals of length… ▽ More We obtain improved Strichartz estimates for solutions of the Schrödinger equation on compact manifolds with nonpositive sectional curvatures which are related to the classical universal results of Burq, Gérard and Tzvetkov [11]. More explicitly, we are able refine the arguments in the recent work of Blair and the authors [3] to obtain no-loss $L^p_tL^{q}_{x}$-estimates on intervals of length $\log λ\cdot λ^{-1} $ for all {\em admissible} pairs $(p,q)$ when the initial data have frequencies comparable to $λ$, which, given the role of the Ehrenfest time, is the natural analog in this setting of the universal results in [11]. We achieve this log-gain over the universal estimates by applying the Keel-Tao theorem along with improved global kernel estimates for microlocalized operators which exploit the geometric assumptions. △ Less

Submitted 17 July, 2024; originally announced July 2024.

Comments: The paper has been accepted by the Journal of Spectral Theory. arXiv admin note: substantial text overlap with arXiv:2304.05247

MSC Class: 58J50; 35P15

Curvature and harmonic analysis on compact manifolds

Authors: Christopher D. Sogge

Abstract: We discuss problems that relate curvature and concentration properties of eigenfunctions and quasimodes on compact boundaryless Riemannian manifolds. These include new sharp $L^q$-estimates, $q\in (2,q_c]$, $q_c=2(n+1)/(n-1)$, of log-quasimodes that characterize compact connected space forms in terms of the growth rate of $L^q$-norms of such quasimode for these relatively small Lebesgue exponents… ▽ More We discuss problems that relate curvature and concentration properties of eigenfunctions and quasimodes on compact boundaryless Riemannian manifolds. These include new sharp $L^q$-estimates, $q\in (2,q_c]$, $q_c=2(n+1)/(n-1)$, of log-quasimodes that characterize compact connected space forms in terms of the growth rate of $L^q$-norms of such quasimode for these relatively small Lebesgue exponents $q$. No such characterization is possible for any exponent $q> q_c$. △ Less

Submitted 21 April, 2024; originally announced April 2024.

Comments: 5 pages. To appear in ICBS proceedings

MSC Class: 58J50; 35P15

Quasimode concentration on compact space forms

Authors: Xiaoqi Huang, Christopher D. Sogge

Abstract: We show that the upper bounds for the $L^2$-norms of $L^1$-normalized quasimodes that we obtained in [9] are always sharp on any compact space form. This allows us to characterize compact manifolds of constant sectional curvature using the decay rates of lower bounds of $L^1$-norms of $L^2$-normalized log-quasimodes fully resolving a problem initiated by the second author and Zelditch [15]. We are… ▽ More We show that the upper bounds for the $L^2$-norms of $L^1$-normalized quasimodes that we obtained in [9] are always sharp on any compact space form. This allows us to characterize compact manifolds of constant sectional curvature using the decay rates of lower bounds of $L^1$-norms of $L^2$-normalized log-quasimodes fully resolving a problem initiated by the second author and Zelditch [15]. We are also able to characterize such manifolds by the concentration of quasimodes near periodic geodesics as measured by $L^2$-norms over thin geodesic tubes. △ Less

Submitted 21 April, 2024; originally announced April 2024.

Comments: 16 pages

MSC Class: 58J50; 35P15

Curvature and sharp growth rates of log-quasimodes on compact manifolds

Authors: Xiaoqi Huang, Christopher D. Sogge

Abstract: We obtain new optimal estimates for the $L^2(M)\to L^q(M)$, $q\in (2,q_c]$, $q_c=2(n+1)/(n-1)$, operator norms of spectral projection operators associated with spectral windows $[λ,λ+δ(λ)]$, with $δ(λ)=O((\logλ)^{-1})$ on compact Riemannian manifolds $(M,g)$ of dimension $n\ge2$ all of whose sectional curvatures are nonpositive or negative. We show that these two different types of estimates are s… ▽ More We obtain new optimal estimates for the $L^2(M)\to L^q(M)$, $q\in (2,q_c]$, $q_c=2(n+1)/(n-1)$, operator norms of spectral projection operators associated with spectral windows $[λ,λ+δ(λ)]$, with $δ(λ)=O((\logλ)^{-1})$ on compact Riemannian manifolds $(M,g)$ of dimension $n\ge2$ all of whose sectional curvatures are nonpositive or negative. We show that these two different types of estimates are saturated on flat manifolds or manifolds all of whose sectional curvatures are negative. This allows us to classify compact space forms in terms of the size of $L^q$-norms of quasimodes for each Lebesgue exponent $q\in (2,q_c]$, even though it is impossible to distinguish between ones of negative or zero curvature sectional curvature for any $q>q_c$. △ Less

Submitted 16 January, 2025; v1 submitted 21 April, 2024; originally announced April 2024.

Comments: Revision, to appear in Inventiones Mathematicae

MSC Class: 58J50; 35P15

Strichartz estimates for the Schrödinger equation on negatively curved compact manifolds

Authors: Matthew D. Blair, Xiaoqi Huang, Christopher D. Sogge

Abstract: We obtain improved Strichartz estimates for solutions of the Schrödinger equation on negatively curved compact manifolds which improve the classical universal results results of Burq, Gérard and Tzvetkov [11] in this geometry. In the case where the spatial manifold is a hyperbolic surface we are able to obtain no-loss $L^{q_c}_{t,x}$-estimates on intervals of length $\log λ\cdot λ^{-1} $ for initi… ▽ More We obtain improved Strichartz estimates for solutions of the Schrödinger equation on negatively curved compact manifolds which improve the classical universal results results of Burq, Gérard and Tzvetkov [11] in this geometry. In the case where the spatial manifold is a hyperbolic surface we are able to obtain no-loss $L^{q_c}_{t,x}$-estimates on intervals of length $\log λ\cdot λ^{-1} $ for initial data whose frequencies are comparable to $λ$, which, given the role of the Ehrenfest time, is the natural analog of the universal results in [11]. We are also obtain improved endpoint Strichartz estimates for manifolds of nonpositive curvature, which cannot hold for spheres. △ Less

Submitted 11 April, 2023; originally announced April 2023.

MSC Class: 58J50; 35P15

Improved spectral projection estimates

Authors: Matthew D. Blair, Xiaoqi Huang, Christopher D. Sogge

Abstract: We obtain new improved spectral projection estimates on manifolds of non-positive curvature, including sharp ones for relatively large spectral windows for general tori. Our results are stronger than those in an earlier work of the first and third authors [6], and the arguments have been greatly simplified. We more directly make use of pointwise estimates that are implicit in the work of Berard [2… ▽ More We obtain new improved spectral projection estimates on manifolds of non-positive curvature, including sharp ones for relatively large spectral windows for general tori. Our results are stronger than those in an earlier work of the first and third authors [6], and the arguments have been greatly simplified. We more directly make use of pointwise estimates that are implicit in the work of Berard [2] and avoid the use of weak-type spaces that were used in the previous works [6] and [22]. We also simplify and strengthen the bilinear arguments by exploiting the use of microlocal $L^2\to L^{q_c}$ Kakeya-Nikodym estimates and avoiding the of $L^2\to L^2$ ones as in earlier results. This allows us to prove new results for manifolds of negative curvature and some new sharp estimates for tori. We also have new and improved techniques in two dimensions for general manifolds of non-positive curvature. △ Less

Submitted 21 April, 2024; v1 submitted 30 November, 2022; originally announced November 2022.

Comments: 37 pages, to appear in J. Eur. Math. Soc. (JEMS)

MSC Class: 58; 35

Product Manifolds with Improved Spectral Cluster and Weyl Remainder Estimates

Authors: Xiaoqi Huang, Christopher D. Sogge, Michael E. Taylor

Abstract: We show that if $Y$ is a compact Riemannian manifold with improved $L^q$ eigenfunction estimates then, at least for large enough exponents, one always obtains improved $L^q$ bounds on the product manifold $X\times Y$ if $X$ is another compact manifold. Similarly, improved Weyl remainder term bounds on the spectral counting function of $Y$ lead to corresponding improvements on $X\times Y$. The latt… ▽ More We show that if $Y$ is a compact Riemannian manifold with improved $L^q$ eigenfunction estimates then, at least for large enough exponents, one always obtains improved $L^q$ bounds on the product manifold $X\times Y$ if $X$ is another compact manifold. Similarly, improved Weyl remainder term bounds on the spectral counting function of $Y$ lead to corresponding improvements on $X\times Y$. The latter results partly generalize recent ones of Iosevich and Wyman [14] involving products of spheres. Also, if $Y$ is a product of five or more spheres, we are able to obtain optimal $L^q(Y)$ and $L^q(X\times Y)$ eigenfunction and spectral cluster estimates for large $q$, which partly addresses a conjecture from [14] and is related to (and is partly based on) classical bounds for the number of integer lattice point on $λ\cdot S^{n-1}$ for $n\ge5$. △ Less

Submitted 9 May, 2022; originally announced May 2022.

Comments: 22 pages

MSC Class: 58J50; 35P15

Reversed Strichartz estimates for wave on non-trapping asymptotically hyperbolic manifolds and applications

Authors: Yannick Sire, Christopher D. Sogge, Chengbo Wang, Junyong Zhang

Abstract: We provide reversed Strichartz estimates for the shifted wave equations on non-trapping asymptotically hyperbolic manifolds using cluster estimates for spectral projectors proved previously in such generality. As a consequence, we solve a problem left open in \cite{SSWZ} about the endpoint case for global well-posedness of nonlinear wave equations. We also provide estimates in this context for the… ▽ More We provide reversed Strichartz estimates for the shifted wave equations on non-trapping asymptotically hyperbolic manifolds using cluster estimates for spectral projectors proved previously in such generality. As a consequence, we solve a problem left open in \cite{SSWZ} about the endpoint case for global well-posedness of nonlinear wave equations. We also provide estimates in this context for the maximal wave operator. △ Less

Submitted 26 August, 2021; originally announced August 2021.

Comments: 10 pages; Comments are welcome!

Uniform Sobolev estimates in $\mathbb{R}^{n}$ involving singular potentials

Authors: Xiaoqi Huang, Christopher D. Sogge

Abstract: We generalize the Stein-Tomas [17] $L^2$-restricition theorem and the uniform Sobolev estimates of Kenig, Ruiz and the second author [11] by allowing critically singular potential. We also obtain Strichartz estimates for Schrödinger and wave operators with such potentials. Due to the fact that there may be nontrivial eigenfunctions we are required to make certain spectral assumptions, such as assu… ▽ More We generalize the Stein-Tomas [17] $L^2$-restricition theorem and the uniform Sobolev estimates of Kenig, Ruiz and the second author [11] by allowing critically singular potential. We also obtain Strichartz estimates for Schrödinger and wave operators with such potentials. Due to the fact that there may be nontrivial eigenfunctions we are required to make certain spectral assumptions, such as assuming that the solutions only involve sufficiently large frequencies. △ Less

Submitted 11 February, 2021; v1 submitted 24 January, 2021; originally announced January 2021.

Comments: Added references

MSC Class: 35; 58

Quasimode and Strichartz estimates for time-dependent Schrödinger equations with singular potentials

Authors: Xiaoqi Huang, Christopher D. Sogge

Abstract: We generalize the Strichartz estimates for Schrödinger operators on compact manifolds of Burq, Gérard and Tzvetkov [10] by allowing critically singular potentials $V$. Specifically, we show that their $1/p$--loss $L^p_tL^q_x(I\times M)$-Strichartz estimates hold for $e^{-itH_V}$ when $H_V=-Δ_g+V(x)$ with $V\in L^{n/2}(M)$ if $n\ge3$ or $V\in L^{1+δ}(M)$, $δ>0$, if $n=2$, with $(p,q)$ being as in t… ▽ More We generalize the Strichartz estimates for Schrödinger operators on compact manifolds of Burq, Gérard and Tzvetkov [10] by allowing critically singular potentials $V$. Specifically, we show that their $1/p$--loss $L^p_tL^q_x(I\times M)$-Strichartz estimates hold for $e^{-itH_V}$ when $H_V=-Δ_g+V(x)$ with $V\in L^{n/2}(M)$ if $n\ge3$ or $V\in L^{1+δ}(M)$, $δ>0$, if $n=2$, with $(p,q)$ being as in the Keel-Tao theorem and $I\subset {\mathbb R}$ a bounded interval. We do this by formulating and proving new "quasimode" estimates for scaled dyadic unperturbed Schrödinger operators and taking advantage of the the fact that $1/q'-1/q=2/n$ for the endpoint Strichartz estimates when $(p,q)=(2,2n/(n-2))$. We also show that the universal quasimode estimates that we obtain are saturated on {\em any} compact manifolds; however, we suggest that they may lend themselves to improved Strichartz estimates in certain geometries using recently developed "Kakeya-Nikodym" techniques developed to obtain improved eigenfunction estimates assuming, say, negative curvatures. △ Less

Submitted 2 June, 2021; v1 submitted 8 November, 2020; originally announced November 2020.

Comments: Revised version to appear in Math. Research Letters

MSC Class: 35; 58

Uniform Sobolev Estimates on compact manifolds involving singular potentials

Authors: Matthew D. Blair, Xiaoqi Huang, Yannick Sire, Christopher D. Sogge

Abstract: We obtain generalizations of the uniform Sobolev inequalities of Kenig, Ruiz and the fourth author \cite{KRS} for Euclidean spaces and Dos Santos Ferreira, Kenig and Salo \cite{DKS} for compact Riemannian manifolds involving critically singular potentials $V\in L^{n/2}$. We also obtain the analogous improved quasimode estimates of the the first, third and fourth authors \cite{BSS} , Hassell and Ta… ▽ More We obtain generalizations of the uniform Sobolev inequalities of Kenig, Ruiz and the fourth author \cite{KRS} for Euclidean spaces and Dos Santos Ferreira, Kenig and Salo \cite{DKS} for compact Riemannian manifolds involving critically singular potentials $V\in L^{n/2}$. We also obtain the analogous improved quasimode estimates of the the first, third and fourth authors \cite{BSS} , Hassell and Tacy \cite{HassellTacy}, the first and fourth author \cite{SBLog}, and Hickman \cite{Hickman} as well as analogues of the improved uniform Sobolev estimates of \cite{BSSY} and \cite{Hickman} involving such potentials. Additionally, on $S^n$, we obtain sharp uniform Sobolev inequalities involving such potentials for the optimal range of exponents, which extend the results of S. Huang and the fourth author \cite{SHSo}. For general Riemannian manifolds we improve the earlier results in \cite{BSS} by obtaining quasimode estimates for a larger (and optimal) range of exponents under the weaker assumption that $V\in L^{n/2}$. △ Less

Submitted 2 June, 2021; v1 submitted 13 September, 2020; originally announced September 2020.

Comments: Revised version to appear in Revista Matematica Iberoamericana

MSC Class: 58J50; 35P15

Weyl formulae for Schrödinger operators with critically singular potentials

Authors: Xiaoqi Huang, Christopher D. Sogge

Abstract: We obtain generalizations of classical versions of the Weyl formula involving Schrödinger operators $H_V=-Δ_g+V(x)$ on compact boundaryless Riemannian manifolds with critically singular potentials $V$. In particular, we extend the classical results of Avakumović , Levitan and Hörmander by obtaining $O(λ^{n-1})$ bounds for the error term in the Weyl formula in the universal case when we merely assu… ▽ More We obtain generalizations of classical versions of the Weyl formula involving Schrödinger operators $H_V=-Δ_g+V(x)$ on compact boundaryless Riemannian manifolds with critically singular potentials $V$. In particular, we extend the classical results of Avakumović , Levitan and Hörmander by obtaining $O(λ^{n-1})$ bounds for the error term in the Weyl formula in the universal case when we merely assume that $V$ belongs to the Kato class, ${\mathcal K}(M)$, which is the minimal assumption to ensure that $H_V$ is essentially self-adjoint and bounded from below or has favorable heat kernel bounds. In this case, we can also obtain extensions of the Duistermaat-Guillemin theorem yielding $o(λ^{n-1})$ bounds for the error term under generic conditions on the geodesic flow, and we can also extend Bérard's theorem yielding $O(λ^{n-1}/\log λ)$ error bounds under the assumption that the principal curvatures are non-positive everywhere. We can obtain further improvements for tori, which are essentially optimal, if we strengthen the assumption on the potential to $V\in L^p(M)\cap {\mathcal K}(M)$ for appropriate exponents $p=p_n$. △ Less

Submitted 12 May, 2021; v1 submitted 20 May, 2020; originally announced May 2020.

Comments: A revised version which will appear in Communications in Partial Differential Equations

MSC Class: 58J50; 35P15

Strichartz estimates and Strauss conjecture on non-trapping asymptotically hyperbolic manifolds

Authors: Yannick Sire, Christopher D. Sogge, Chengbo Wang, Junyong Zhang

Abstract: We prove global-in-time Strichartz estimates for the shifted wave equations on non-trapping asymptotically hyperbolic manifolds. The key tools are the spectral measure estimates from \cite{CH2} and arguments borrowed from \cite{HZ, Zhang}. As an application, we prove the small data global existence for any power $p\in(1, 1+\frac{4}{n-1})$ for the shifted wave equation in this setting, involving no… ▽ More We prove global-in-time Strichartz estimates for the shifted wave equations on non-trapping asymptotically hyperbolic manifolds. The key tools are the spectral measure estimates from \cite{CH2} and arguments borrowed from \cite{HZ, Zhang}. As an application, we prove the small data global existence for any power $p\in(1, 1+\frac{4}{n-1})$ for the shifted wave equation in this setting, involving nonlinearities of the form $\pm|u|^p$ or $\pm|u|^{p-1}u$, which answers partially an open question raised in \cite{SSW}. △ Less

Submitted 6 October, 2019; originally announced October 2019.

Quasimode, eigenfunction and spectral projection bounds for Schrödinger operators on manifolds with critically singular potentials

Authors: Matthew D. Blair, Yannick Sire, Christopher D. Sogge

Abstract: We obtain quasimode, eigenfunction and spectral projection bounds for Schrödinger operators, $H_V=-Δ_g+V(x)$, on compact Riemannian manifolds $(M,g)$ of dimension $n\ge2$, which extend the results of the third author~\cite{sogge88} corresponding to the case where $V\equiv 0$. We are able to handle critically singular potentials and consequently assume that $V\in L^{\tfrac{n}2}(M)$ and/or… ▽ More We obtain quasimode, eigenfunction and spectral projection bounds for Schrödinger operators, $H_V=-Δ_g+V(x)$, on compact Riemannian manifolds $(M,g)$ of dimension $n\ge2$, which extend the results of the third author~\cite{sogge88} corresponding to the case where $V\equiv 0$. We are able to handle critically singular potentials and consequently assume that $V\in L^{\tfrac{n}2}(M)$ and/or $V\in {\mathcal K}(M)$ (the Kato class). Our techniques involve combining arguments for proving quasimode/resolvent estimates for the case where $V\equiv 0$ that go back to the third author \cite{sogge88} as well as ones which arose in the work of Kenig, Ruiz and this author~\cite{KRS} in the study of "uniform Sobolev estimates" in ${\mathbb R}^n$. 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 $L^p\to L^p$ spectral multiplier theorems under the assumption that $V\in L^{\frac{n}2}(M)\cap {\mathcal K}(M)$. Moreover, we can also obtain natural analogs of the original Strichartz estimates~\cite{Strichartz77} for solutions of $(\partial_t^2-Δ+V)u=0$. We also are able to obtain analogous results in ${\mathbb R}^n$ and state some global problems that seem related to works on absence of embedded eigenvalues for Schrödinger operators in ${\mathbb R}^n$ (e.g., \cite{IonescuJerison}, \cite{JK}, \cite{KenigNar}, \cite{KochTaEV} and \cite{iRodS}.) △ Less

Submitted 21 April, 2019; originally announced April 2019.

Comments: 35 pages

Sharp local smoothing estimates for Fourier integral operators

Authors: David Beltran, Jonathan Hickman, Christopher D. Sogge

Abstract: The theory of Fourier integral operators is surveyed, with an emphasis on local smoothing estimates and their applications. After reviewing the classical background, we describe some recent work of the authors which established sharp local smoothing estimates for a natural class of Fourier integral operators. We also show how local smoothing estimates imply oscillatory integral estimates and obtai… ▽ More The theory of Fourier integral operators is surveyed, with an emphasis on local smoothing estimates and their applications. After reviewing the classical background, we describe some recent work of the authors which established sharp local smoothing estimates for a natural class of Fourier integral operators. We also show how local smoothing estimates imply oscillatory integral estimates and obtain a maximal variant of an oscillatory integral estimate of Stein. Together with an oscillatory integral counterexample of Bourgain, this shows that our local smoothing estimates are sharp in odd spatial dimensions. Motivated by related counterexamples, we formulate local smoothing conjectures which take into account natural geometric assumptions arising from the structure of the Fourier integrals. △ Less

Submitted 5 September, 2019; v1 submitted 30 December, 2018; originally announced December 2018.

Comments: 58 pages, 9 figures, 3 tables. Revised version incorporating referee suggestions. Survey article for the Proceedings of the conference 'Geometric Aspects of Harmonic Analysis', on the occasion of Fulvio Ricci's 70th birthday

MSC Class: 35S30; 35L05

The Strauss conjecture on negatively curved backgrounds

Authors: Yannick Sire, Christopher D. Sogge, Chengbo Wang

Abstract: This paper is devoted to several small data existence results for semi-linear wave equations on negatively curved Riemannian manifolds. We provide a simple and geometric proof of small data global existence for any power $p\in (1, 1+\frac{4}{n-1}]$ for the shifted wave equation on hyperbolic space ${\mathbb H}^n$ involving nonlinearities of the form $\pm |u|^p$ or $\pm|u|^{p-1}u$. It is based on t… ▽ More This paper is devoted to several small data existence results for semi-linear wave equations on negatively curved Riemannian manifolds. We provide a simple and geometric proof of small data global existence for any power $p\in (1, 1+\frac{4}{n-1}]$ for the shifted wave equation on hyperbolic space ${\mathbb H}^n$ involving nonlinearities of the form $\pm |u|^p$ or $\pm|u|^{p-1}u$. It is based on the weighted Strichartz estimates of Georgiev-Lindblad-Sogge (or Tataru) on Euclidean space. We also prove a small data existence theorem for variably curved backgrounds which extends earlier ones for the constant curvature case of Anker-Pierfelice and Metcalfe-Taylor. We also discuss the role of curvature and state a couple of open problems. Finally, in an appendix, we give an alternate proof of dispersive estimates of Tataru for ${\mathbb H}^3$ and settle a dispute, in his favor, raised in Metcalfe-Taylor about his proof. Our proof is slightly more self-contained than the one in Tataru since it does not make use of heavy spherical analysis on hyperbolic space such as the Harish-Chandra $c$-function; instead it relies only on simple facts about Bessel potentials. △ Less

Submitted 21 August, 2019; v1 submitted 28 November, 2018; originally announced November 2018.

Comments: In this revision we also include an alternate proof of a dispersive estimate for hyperbolic space of Tataru

MSC Class: 35L71; 35L05; 58J45; 35B33; 35B45; 35R01; 58C40

Approximating Pointwise Products of Laplacian Eigenfunctions

Authors: Jianfeng Lu, Christopher D. Sogge, Stefan Steinerberger

Abstract: We consider Laplacian eigenfunctions on a $d-$dimensional bounded domain $M$ (or a $d-$dimensional compact manifold $M$) with Dirichlet conditions. These operators give rise to a sequence of eigenfunctions $(e_\ell)_{\ell \in \mathbb{N}}$. We study the subspace of all pointwise products $$ A_n = \mbox{span} \left\{ e_i(x) e_j(x): 1 \leq i,j \leq n\right\} \subseteq L^2(M).$$ Clearly, that vector s… ▽ More We consider Laplacian eigenfunctions on a $d-$dimensional bounded domain $M$ (or a $d-$dimensional compact manifold $M$) with Dirichlet conditions. These operators give rise to a sequence of eigenfunctions $(e_\ell)_{\ell \in \mathbb{N}}$. We study the subspace of all pointwise products $$ A_n = \mbox{span} \left\{ e_i(x) e_j(x): 1 \leq i,j \leq n\right\} \subseteq L^2(M).$$ Clearly, that vector space has dimension $\mbox{dim}(A_n) = n(n+1)/2$. We prove that products $e_i e_j$ of eigenfunctions are simple in a certain sense: for any $\varepsilon > 0$, there exists a low-dimensional vector space $B_n$ that almost contains all products. More precisely, denoting the orthogonal projection $Π_{B_n}:L^2(M) \rightarrow B_n$, we have $$ \forall~1 \leq i,j \leq n~ \qquad \|e_ie_j - Π_{B_n}( e_i e_j) \|_{L^2} \leq \varepsilon$$ and the size of the space $\mbox{dim}(B_n)$ is relatively small: for every $δ> 0$, $$ \mbox{dim}(B_n) \lesssim_{M,δ} \varepsilon^{-δ} n^{1+δ}.$$ We obtain the same sort of bounds for products of arbitrary length, as well for approximation in $H^{-1}$ norm. Pointwise products of eigenfunctions are low-rank. This has implications, among other things, for the validity of fast algorithms in electronic structure computations. △ Less

Submitted 26 November, 2018; originally announced November 2018.

Variable coefficient Wolff-type inequalities and sharp local smoothing estimates for wave equations on manifolds

Authors: David Beltran, Jonathan Hickman, Christopher D. Sogge

Abstract: The sharp Wolff-type decoupling estimates of Bourgain--Demeter are extended to the variable coefficient setting. These results are applied to obtain new sharp local smoothing estimates for wave equations on compact Riemannian manifolds, away from the endpoint regularity exponent. More generally, local smoothing estimates are established for a natural class of Fourier integral operators; at this le… ▽ More The sharp Wolff-type decoupling estimates of Bourgain--Demeter are extended to the variable coefficient setting. These results are applied to obtain new sharp local smoothing estimates for wave equations on compact Riemannian manifolds, away from the endpoint regularity exponent. More generally, local smoothing estimates are established for a natural class of Fourier integral operators; at this level of generality the results are sharp in odd dimensions, both in terms of the regularity exponent and the Lebesgue exponent. △ Less

Submitted 17 July, 2019; v1 submitted 21 January, 2018; originally announced January 2018.

Comments: 27 pages, 3 figures. Update incorporates referee suggestions. Minor correction to the proof of Lemma 2.6. To appear in APDE

MSC Class: 35S30; 35L05

Journal ref: Analysis & PDE 13 (2020) 403-433

Logarithmic improvements in $L^{p}$ bounds for eigenfunctions at the critical exponent in the presence of nonpositive curvature

Authors: Matthew D. Blair, Christopher D. Sogge

Abstract: We consider the problem of proving $L^p$ bounds for eigenfunctions of the Laplacian in the high frequency limit in the presence of nonpositive curvature and more generally, manifolds without conjugate points. In particular, we prove estimates at the "critical exponent" $p_c = \frac{2(d+1)}{d-1}$, where a spectrum of scenarios for phase space concentration must be ruled out. Our work establishes a… ▽ More We consider the problem of proving $L^p$ bounds for eigenfunctions of the Laplacian in the high frequency limit in the presence of nonpositive curvature and more generally, manifolds without conjugate points. In particular, we prove estimates at the "critical exponent" $p_c = \frac{2(d+1)}{d-1}$, where a spectrum of scenarios for phase space concentration must be ruled out. Our work establishes a gain of an inverse power of the logarithm of the frequency in the bounds relative to the classical $L^p$ bounds of the second author. △ Less

Submitted 10 July, 2018; v1 submitted 20 June, 2017; originally announced June 2017.

Comments: 30 pages, 1 figure

On Instability of the Nikodym Maximal Function bounds over Riemannian Manifolds

Authors: Christopher D. Sogge, Yakun Xi, Hang Xu

Abstract: We show that, for odd $d$, the $L^{\frac{d+2}2}$ bounds of Sogge and Xi for the Nikodym maximal function over manifolds of constant sectional curvature, are unstable with respect to metric perturbation, in the spirit of the work of Sogge and Minicozzi. A direct consequence is the instability of the bounds for the corresponding oscillatory integral operator. Furthermore, we extend our construction… ▽ More We show that, for odd $d$, the $L^{\frac{d+2}2}$ bounds of Sogge and Xi for the Nikodym maximal function over manifolds of constant sectional curvature, are unstable with respect to metric perturbation, in the spirit of the work of Sogge and Minicozzi. A direct consequence is the instability of the bounds for the corresponding oscillatory integral operator. Furthermore, we extend our construction to show that the same phenomenon appears for any $d$-dimensional Riemannian manifold with a local totally geodesic submanifold of dimension $\lceil{\frac{d+1}2}\rceil$ if $d\ge 3$. In contrast, Sogge's $L^\frac73$ bound for the Nikodym maximal function on 3-dimensional variably curved manifolds is stable with respect to metric perturbation. △ Less

Submitted 5 May, 2017; originally announced May 2017.

MSC Class: 42B25

Localized $L^p$-estimates for eigenfunctions: II

Authors: Christopher D. Sogge

Abstract: If $(M,g)$ is a compact Riemannian manifold of dimension $n\ge 2$ we give necessary and sufficient conditions for improved $L^p(M)$-norms of eigenfunctions for all $2<p\ne p_c=\tfrac{2(n+1)}{n-1}$, the critical exponent. Since improved $L^{p_c}(M)$ bounds imply improvement all other exponents, these conditions are necessary for improved bounds for the critical space. We also show that improved… ▽ More If $(M,g)$ is a compact Riemannian manifold of dimension $n\ge 2$ we give necessary and sufficient conditions for improved $L^p(M)$-norms of eigenfunctions for all $2<p\ne p_c=\tfrac{2(n+1)}{n-1}$, the critical exponent. Since improved $L^{p_c}(M)$ bounds imply improvement all other exponents, these conditions are necessary for improved bounds for the critical space. We also show that improved $L^{p_c}(M)$ bounds are valid if these conditions are met and if the half-wave operators, $U(t)$, have no caustics when $t\ne 0$. The problem of finding a necessary and sufficient condition for $L^{p_c}(M)$ improvement remains an interesting open problem. △ Less

Submitted 20 October, 2016; originally announced October 2016.

Comments: 12 pages

Geodesic period integrals of eigenfunctions on Riemannian surfaces and the Gauss-Bonnet Theorem

Authors: Christopher D. Sogge, Yakun Xi, Cheng Zhang

Abstract: We use the Gauss-Bonnet theorem and the triangle comparison theorems of Rauch and Toponogov to show that on compact Riemann surfaces of negative curvature period integrals of eigenfunctions $e_λ$ over geodesics go to zero at the rate of $O((\logλ)^{-1/2})$ if $λ$ are their frequencies. As discussed in \cite{CSPer}, no such result is possible in the constant curvature case if the curvature is… ▽ More We use the Gauss-Bonnet theorem and the triangle comparison theorems of Rauch and Toponogov to show that on compact Riemann surfaces of negative curvature period integrals of eigenfunctions $e_λ$ over geodesics go to zero at the rate of $O((\logλ)^{-1/2})$ if $λ$ are their frequencies. As discussed in \cite{CSPer}, no such result is possible in the constant curvature case if the curvature is $\ge0$. Notwithstanding, we also show that these bounds for period integrals are valid provided that integrals of the curvature over all geodesic balls of radius $r\le 1$ are pinched from above by $-δr^N$ for some fixed $N$ and $δ>0$. This allows, for instance, the curvature to be nonpositive and to vanish of finite order at a finite number of isolated points. Naturally, the above results also hold for the appropriate type of quasi-modes. △ Less

Submitted 29 March, 2017; v1 submitted 11 April, 2016; originally announced April 2016.

Journal ref: Cambridge Journal of Mathematics, 5 (2017), 123-151

Bilinear Kakeya-Nikodym averages of eigenfunctions on compact Riemannian surfaces

Authors: Changxing Miao, Christopher D. Sogge, Yakun Xi, Jianwei Yang

Abstract: We obtain an improvement of the bilinear estimates of Burq, Gérard and Tzvetkov in the spirit of the refined Kakeya-Nikodym estimates of Blair and the second author. We do this by using microlocal techniques and a bilinear version of Hörmander's oscillatory integral theorem. We obtain an improvement of the bilinear estimates of Burq, Gérard and Tzvetkov in the spirit of the refined Kakeya-Nikodym estimates of Blair and the second author. We do this by using microlocal techniques and a bilinear version of Hörmander's oscillatory integral theorem. △ Less

Submitted 23 February, 2016; v1 submitted 22 February, 2016; originally announced February 2016.

Comments: 19 pages, 1 figure. Affiliation corrected

Journal ref: Journal of Functional Analysis, Volume 271, Issue 10, 15 November 2016, Pages 2752-2775

Improved critical eigenfunction estimates on manifolds of nonpositive curvature

Authors: Christopher D. Sogge

Abstract: We prove new improved endpoint, $L^{p_c}$, $p_c=\tfrac{2(n+1)}{n-1}$, estimates (the "kink point") for eigenfunctions on manifolds of nonpositive curvature. We do this by using energy and dispersive estimates for the wave equation as well as new improved $L^p$, $2<p< p_c$, bounds of Blair and the author \cite{BSTop}, \cite{BSK15} and the classical improved sup-norm estimates of Bérard~\cite{Berard… ▽ More We prove new improved endpoint, $L^{p_c}$, $p_c=\tfrac{2(n+1)}{n-1}$, estimates (the "kink point") for eigenfunctions on manifolds of nonpositive curvature. We do this by using energy and dispersive estimates for the wave equation as well as new improved $L^p$, $2<p< p_c$, bounds of Blair and the author \cite{BSTop}, \cite{BSK15} and the classical improved sup-norm estimates of Bérard~\cite{Berard}. Our proof uses Bourgain's \cite{BKak} proof of weak-type estimates for the Stein-Tomas Fourier restriction theorem \cite{Tomas}--\cite{Tomas2} as a template to be able to obtain improved weak-type $L^{p_c}$ estimates under this geometric assumption. We can then use these estimates and the (local) improved Lorentz space estimates of Bak and Seeger~\cite{BakSeeg} (valid for all manifolds) to obtain our improved estimates for the critical space under the assumption of nonpositive sectional curvatures. △ Less

Submitted 11 December, 2015; originally announced December 2015.

Comments: 15 pages

Concerning Toponogov's Theorem and logarithmic improvement of estimates of eigenfunctions

Authors: Matthew D. Blair, Christopher D. Sogge

Abstract: We use Toponogov's triangle comparison theorem from Riemannian geometry along with quantitative scale oriented variants of classical propagation of singularities arguments to obtain logarithmic improvements of the Kakeya-Nikodym norms introduced in \cite{SKN} for manifolds of nonpositive sectional curvature. Using these and results from our paper \cite{BS15} we are able to obtain log-improvements… ▽ More We use Toponogov's triangle comparison theorem from Riemannian geometry along with quantitative scale oriented variants of classical propagation of singularities arguments to obtain logarithmic improvements of the Kakeya-Nikodym norms introduced in \cite{SKN} for manifolds of nonpositive sectional curvature. Using these and results from our paper \cite{BS15} we are able to obtain log-improvements of $L^p(M)$ estimates for such manifolds when $2<p<\tfrac{2(n+1)}{n-1}$. These in turn imply $(\logλ)^{σ_n}$, $σ_n\approx n$, improved lower bounds for $L^1$-norms of eigenfunctions of the estimates of the second author and Zelditch~\cite{SZ11}, and using a result from Hezari and the second author~\cite{HS}, under this curvature assumption, we are able to improve the lower bounds for the size of nodal sets of Colding and Minicozzi~\cite{CM} by a factor of $(\log λ)^μ$ for any $μ<\tfrac{2(n+1)^2}{n-1}$, if $n\ge3$. △ Less

Submitted 28 October, 2015; v1 submitted 26 October, 2015; originally announced October 2015.

Comments: 26 pages, 2 figures. Minor corrections. Added references

MSC Class: Primary 58J51; Secondary 35A99; 42B37

Refined and Microlocal Kakeya-Nikodym Bounds of Eigenfunctions in Higher Dimensions

Authors: Matthew D. Blair, Christopher D. Sogge

Abstract: We prove a Kakeya-Nikodym bound on eigenfunctions and quasimodes, which sharpens a result of the authors and extends it to higher dimensions. As in the prior work, the key intermediate step is to prove a microlocal version of these estimates, which involves a phase space decomposition of these modes which is essentially invariant under the bicharacteristic/geodesic flow. In a companion paper, it w… ▽ More We prove a Kakeya-Nikodym bound on eigenfunctions and quasimodes, which sharpens a result of the authors and extends it to higher dimensions. As in the prior work, the key intermediate step is to prove a microlocal version of these estimates, which involves a phase space decomposition of these modes which is essentially invariant under the bicharacteristic/geodesic flow. In a companion paper, it will be seen that these sharpened estimates yield improved $L^q(M)$ bounds on eigenfunctions in the presence of nonpositive curvature when $2 < q < \frac{2(d+1)}{d-1}$. △ Less

Submitted 25 May, 2017; v1 submitted 26 October, 2015; originally announced October 2015.

Comments: 26 pages, further corrections made

MSC Class: 35P99; 42B37

Problems related to the concentration of eigenfunctions

Authors: Christopher D. Sogge

Abstract: We survey recent results related to the concentration of eigenfunctions. We also prove some new results concerning ball-concentration, as well as showing that eigenfunctions saturating lower bounds for $L^1$-norms must also, in a measure theoretical sense, have extreme concentration near a geodesic. We survey recent results related to the concentration of eigenfunctions. We also prove some new results concerning ball-concentration, as well as showing that eigenfunctions saturating lower bounds for $L^1$-norms must also, in a measure theoretical sense, have extreme concentration near a geodesic. △ Less

Submitted 26 October, 2015; originally announced October 2015.

Comments: 13 pages

MSC Class: Primary 58J51; Secondary 35A99; 42B37

Localized $L^p$-estimates of eigenfunctions: A note on an article of Hezari and Rivière

Authors: Christopher D. Sogge

Abstract: We use a straightforward variation on a recent argument of Hezari and Rivière~\cite{HR} to obtain localized $L^p$-estimates for all exponents larger than or equal to the critical exponent $p_c=\tfrac{2(n+1)}{n-1}$. We are able to this directly by just using the $L^{p}$-bounds for spectral projection operators from our much earlier work \cite{Seig}. The localized bounds we obtain here imply, for in… ▽ More We use a straightforward variation on a recent argument of Hezari and Rivière~\cite{HR} to obtain localized $L^p$-estimates for all exponents larger than or equal to the critical exponent $p_c=\tfrac{2(n+1)}{n-1}$. We are able to this directly by just using the $L^{p}$-bounds for spectral projection operators from our much earlier work \cite{Seig}. The localized bounds we obtain here imply, for instance, that, for a density one sequence of eigenvalues on a manifold whose geodesic flow is ergodic, all of the $L^p$, $2<p\le \infty$, bounds of the corresponding eigenfunctions are relatively small compared to the general ones in \cite{Seig}, which are saturated on round spheres. The connection with quantum ergodicity was established for exponents $2<p<p_c$ in the recent results of the author \cite{SK} and Blair and the author \cite{BS2}; however, the article of Hezari and Rivière~\cite{HR} was the first one to make this connection (in the case of negatively curved manifolds) for the critical exponent, $p_c$. As is well known, and we indicate here, bounds for the critical exponent, $p_c$, imply ones for all of the other exponents $2<p\le \infty$. The localized estimates involve $L^2$-norms over small geodesic balls $B_r$ of radius $r$, and we shall go over what happens for these in certain model cases on the sphere and on manifolds of nonpositive curvature. We shall also state a problem as to when one can improve on the trivial $O(r^{\frac12})$ estimates for these $L^2(B_r)$ bounds. If $r=λ^{-1}$, one can improve on the trivial estimates if one has improved $L^{p_c}(M)$ bounds just by using Hölder's inequality; however, obtaining improved bounds for $r\gg λ^{-1}$ seems to be subtle. △ Less

Submitted 26 March, 2015; v1 submitted 24 March, 2015; originally announced March 2015.

Comments: 11 pages, minor corrections

MSC Class: 58J51

Lower bounds for interior nodal sets of Steklov eigenfunctions

Authors: Christopher D. Sogge, Xing Wang, Jiuyi Zhu

Abstract: We study the interior nodal sets, $Z_λ$ of Steklov eigenfunctions in an $n$-dimensional relatively compact manifolds $M$ with boundary and show that one has the lower bounds $|Z_λ|\ge cλ^{\frac{2-n}2}$ for the size of its $(n-1)$-dimensional Hausdorff measure. The proof is based on a Dong-type identity and estimates for the gradient of Steklov eigenfunctions, similar to those in \cite{SZ1} and \ci… ▽ More We study the interior nodal sets, $Z_λ$ of Steklov eigenfunctions in an $n$-dimensional relatively compact manifolds $M$ with boundary and show that one has the lower bounds $|Z_λ|\ge cλ^{\frac{2-n}2}$ for the size of its $(n-1)$-dimensional Hausdorff measure. The proof is based on a Dong-type identity and estimates for the gradient of Steklov eigenfunctions, similar to those in \cite{SZ1} and \cite{SZ2}, respectively. △ Less

Submitted 27 March, 2015; v1 submitted 3 March, 2015; originally announced March 2015.

Comments: 7 pages, minor correction

MSC Class: 35

Sup norms of Cauchy data of eigenfunctions on manifolds with concave boundary

Authors: C. D. Sogge, S. Zelditch

Abstract: We prove that the Cauchy data of Dirichlet or Neumann $Δ$- eigenfunctions of Riemannian manifolds with concave (diffractive) boundary can only achieve maximal sup norm bounds if there exists a self-focal point on the boundary, i.e. a point at which a positive measure of geodesics leaving the point return to the point. As an application, the Dirichlet or Neumann eigenfunctions of Riemannian manifol… ▽ More We prove that the Cauchy data of Dirichlet or Neumann $Δ$- eigenfunctions of Riemannian manifolds with concave (diffractive) boundary can only achieve maximal sup norm bounds if there exists a self-focal point on the boundary, i.e. a point at which a positive measure of geodesics leaving the point return to the point. As an application, the Dirichlet or Neumann eigenfunctions of Riemannian manifolds with concave boundary and non-positive curvature never have eigenfunctions whose boundary traces achieve maximal sup norm bounds. △ Less

Submitted 11 February, 2017; v1 submitted 4 November, 2014; originally announced November 2014.

Comments: This result is used in the article arXiv:1401.4520 of the second author with J.Jung on counting nodal domains on surfaces of non-positive curvature and concave boundary

Journal ref: Comm. PDE vol. 42 (2017), 1249-1289

Refined and microlocal Kakeya-Nikodym bounds for eigenfunctions in two dimensions

Authors: Matthew D. Blair, Christopher D. Sogge

Abstract: We obtain some improved essentially sharp Kakeya-Nikodym estimates for eigenfunctions in two-dimensions. We obtain these by proving stronger related microlocal estimates involving a natural decomposition of phase space that is adapted to the geodesic flow. We obtain some improved essentially sharp Kakeya-Nikodym estimates for eigenfunctions in two-dimensions. We obtain these by proving stronger related microlocal estimates involving a natural decomposition of phase space that is adapted to the geodesic flow. △ Less

Submitted 3 September, 2014; originally announced September 2014.

Comments: 17 pages, 2 figures

Journal ref: Anal. PDE 8 (2015) 747-764

Concerning $L^p$ resolvent estimates for simply connected manifolds of constant curvature

Authors: Shanlin Huang, Christopher D. Sogge

Abstract: We prove families of uniform $(L^r,L^s)$ resolvent estimates for simply connected manifolds of constant curvature (negative or positive) that imply the earlier ones for Euclidean space of Kenig, Ruiz and the second author \cite{KRS}. In the case of the sphere we take advantage of the fact that the half-wave group of the natural shifted Laplacian is periodic. In the case of hyperbolic space, the ke… ▽ More We prove families of uniform $(L^r,L^s)$ resolvent estimates for simply connected manifolds of constant curvature (negative or positive) that imply the earlier ones for Euclidean space of Kenig, Ruiz and the second author \cite{KRS}. In the case of the sphere we take advantage of the fact that the half-wave group of the natural shifted Laplacian is periodic. In the case of hyperbolic space, the key ingredient is a natural variant of the Stein-Tomas restriction theorem. △ Less

Submitted 7 June, 2014; originally announced June 2014.

Comments: 25 pages, 2 figures

A note on $L^p$-norms of quasi-modes

Authors: Christopher D. Sogge, Steve Zelditch

Abstract: In this note we show how improved $L^p$-estimates for certain types of quasi-modes are naturally equaivalent to improved operator norms of spectral projection operators associated to shrinking spectral intervals of the appropriate scale. Using this, one can see that recent estimates that were stated for eigenfunctions also hold for the appropriate types of quasi-modes. In this note we show how improved $L^p$-estimates for certain types of quasi-modes are naturally equaivalent to improved operator norms of spectral projection operators associated to shrinking spectral intervals of the appropriate scale. Using this, one can see that recent estimates that were stated for eigenfunctions also hold for the appropriate types of quasi-modes. △ Less

Submitted 1 January, 2014; originally announced January 2014.

Comments: 11 pages

Journal ref: Some topics in harmonic analysis and applications, 385--397, Adv. Lect. Math. (ALM), 34, Int. Press, Somerville, MA, 2016

Focal points and sup-norms of eigenfunctions

Authors: Christopher D. Sogge, Steve Zelditch

Abstract: If $(M,g)$ is a compact real analytic Riemannian manifold, we give a necessary and sufficient condition for there to be a sequence of quasimodes of order $o(λ)$ saturating sup-norm estimates. In particular, it gives optimal conditions for existence of eigenfunctions satisfying maximal sup norm bounds. The condition is that there exists a self-focal point $x_0\in M$ for the geodesic flow at which t… ▽ More If $(M,g)$ is a compact real analytic Riemannian manifold, we give a necessary and sufficient condition for there to be a sequence of quasimodes of order $o(λ)$ saturating sup-norm estimates. In particular, it gives optimal conditions for existence of eigenfunctions satisfying maximal sup norm bounds. The condition is that there exists a self-focal point $x_0\in M$ for the geodesic flow at which the associated Perron-Frobenius operator $U_{x_0}: L^2(S_{x_0}^*M) \to L^2(S_{x_0}^*M)$ has a nontrivial invariant $L^2$ function. The proof is based on an explict Duistermaat-Guillemin-Safarov pre-trace formula and von Neumann's ergodic theorem. △ Less

Submitted 15 November, 2013; originally announced November 2013.

Comments: 22 pages

MSC Class: 35P99

Journal ref: Rev. Mat. Iberoam. 32 (2016), no. 3, 971--994

The Strauss conjecture on Kerr black hole backgrounds

Authors: Hans Lindblad, Jason Metcalfe, Christopher D. Sogge, Mihai Tohaneanu, Chengbo Wang

Abstract: We examine solutions to semilinear wave equations on black hole backgrounds and give a proof of an analog of the Strauss conjecture on the Schwarzschild and Kerr, with small angular momentum, black hole backgrounds. The key estimates are a class of weighted Strichartz estimates, which are used near infinity where the metrics can be viewed as small perturbations of the Minkowski metric, and a local… ▽ More We examine solutions to semilinear wave equations on black hole backgrounds and give a proof of an analog of the Strauss conjecture on the Schwarzschild and Kerr, with small angular momentum, black hole backgrounds. The key estimates are a class of weighted Strichartz estimates, which are used near infinity where the metrics can be viewed as small perturbations of the Minkowski metric, and a localized energy estimate on the black hole background, which handles the behavior in the remaining compact set. △ Less

Submitted 24 April, 2013; v1 submitted 15 April, 2013; originally announced April 2013.

Comments: 21 pages, no changes in contents, fix a technical problem in pdf file it generated

MSC Class: 35L05; 35L70; 35B40

On integrals of eigenfunctions over geodesics

Authors: Xuehua Chen, Christopher D. Sogge

Abstract: If $(M,g)$ is a compact Riemannian surface then the integrals of $L^2(M)$-normalized eigenfunctions $e_j$ over geodesic segments of fixed length are uniformly bounded. Also, if $(M,g)$ has negative curvature and $γ(t)$ is a geodesic parameterized by arc length, the measures $e_j(γ(t))\, dt$ on $\R$ tend to zero in the sense of distributions as the eigenvalue $\la_j\to \infty$, and so integrals of… ▽ More If $(M,g)$ is a compact Riemannian surface then the integrals of $L^2(M)$-normalized eigenfunctions $e_j$ over geodesic segments of fixed length are uniformly bounded. Also, if $(M,g)$ has negative curvature and $γ(t)$ is a geodesic parameterized by arc length, the measures $e_j(γ(t))\, dt$ on $\R$ tend to zero in the sense of distributions as the eigenvalue $\la_j\to \infty$, and so integrals of eigenfunctions over periodic geodesics tend to zero as $\la_j\to \infty$. The assumption of negative curvature is necessary for the latter result. △ Less

Submitted 13 April, 2013; v1 submitted 22 February, 2013; originally announced February 2013.

Comments: 10 pages. Final version. To appear in Proceedings of the American Math. Soc

On Kakeya-Nikodym averages, $L^p$-norms and lower bounds for nodal sets of eigenfunctions in higher dimensions

Authors: Matthew D. Blair, Christopher D. Sogge

Abstract: We extend a result of the second author \cite[Theorem 1.1]{soggekaknik} to dimensions $d \geq 3$ which relates the size of $L^p$-norms of eigenfunctions for $2<p<\frac{2(d+1)}{d-1}$ to the amount of $L^2$-mass in shrinking tubes about unit-length geodesics. The proof uses bilinear oscillatory integral estimates of Lee \cite{leebilinear} and a variable coefficient variant of an "$\veps$ removal lem… ▽ More We extend a result of the second author \cite[Theorem 1.1]{soggekaknik} to dimensions $d \geq 3$ which relates the size of $L^p$-norms of eigenfunctions for $2<p<\frac{2(d+1)}{d-1}$ to the amount of $L^2$-mass in shrinking tubes about unit-length geodesics. The proof uses bilinear oscillatory integral estimates of Lee \cite{leebilinear} and a variable coefficient variant of an "$\veps$ removal lemma" of Tao and Vargas \cite{tv1}. We also use Hörmander's \cite{HorOsc} $L^2$ oscillatory integral theorem and the Cartan-Hadamard theorem to show that, under the assumption of nonpositive curvature, the $L^2$-norm of eigenfunctions $e_\la$ over unit-length tubes of width $\la^{-\frac12}$ goes to zero. Using our main estimate, we deduce that, in this case, the $L^p$-norms of eigenfunctions for the above range of exponents is relatively small. As a result, we can slightly improve the known lower bounds for nodal sets in dimensions $d\ge3$ of Colding and Minicozzi \cite{CM} in the special case of (variable) nonpositive curvature. △ Less

Submitted 30 January, 2013; originally announced January 2013.

Comments: 29 pages, 1 figure

MSC Class: 35P99

Remarks on global solutions for nonlinear wave equations under the standard null conditions

Authors: Hans Lindblad, Makoto Nakamura, Christopher D. Sogge

Abstract: A combination of some weighted energy estimates is applied for the Cauchy problem of quasilinear wave equations with the standard null conditions in three spatial dimensions. Alternative proofs for global solutions are shown including the exterior domain problems. A combination of some weighted energy estimates is applied for the Cauchy problem of quasilinear wave equations with the standard null conditions in three spatial dimensions. Alternative proofs for global solutions are shown including the exterior domain problems. △ Less

Submitted 31 October, 2012; originally announced October 2012.

MSC Class: 35L70

A few endpoint geodesic restriction estimates for eigenfunctions

Authors: Xuehua Chen, Christopher D. Sogge

Abstract: 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 n… ▽ More 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 this by using oscillatory integral theorems of Hörmander, Greenleaf and Seeger, and Phong and Stein, along with a simple geometric lemma (Lemma \ref{lemma3.2}) about properties of the mixed-Hessian of the Riemannian distance function restricted to pairs of geodesics in Riemannian surfaces. We are also able to get further improvements beyond our new results in three dimensions under the assumption of constant nonpositive curvature by exploiting the fact that in this case there are many totally geodesic submanifolds. △ Less

Submitted 12 August, 2013; v1 submitted 28 October, 2012; originally announced October 2012.

Comments: 24 pages. Minor corrections. To appear in Comm. Math. Physics

MSC Class: 35F99

Lower bounds on the Hausdorff measure of nodal sets II

Authors: Christopher D. Sogge, Steve Zelditch

Abstract: We give a very short argument showing how the main identity from our earlier paper (Sogge and Zelditch, 2011) immediately leads to the best lower bound currently known (Colding and Minicozzi II, 2011) for the Hausdorff measure of nodal sets in dimensions $n\ge 3$. We give a very short argument showing how the main identity from our earlier paper (Sogge and Zelditch, 2011) immediately leads to the best lower bound currently known (Colding and Minicozzi II, 2011) for the Hausdorff measure of nodal sets in dimensions $n\ge 3$. △ Less

Submitted 23 December, 2012; v1 submitted 9 August, 2012; originally announced August 2012.

Comments: Change of title and other revisions. 4 pages

MSC Class: 58J50 (Primary) 28A78 35P15 35R01 (Secondary)

Journal ref: Math. Res. Lett. 19 (2012), 1361-1364

On $L^p$-resolvent estimates and the density of eigenvalues for compact Riemannian manifolds

Authors: Jean Bourgain, Peng Shao, Christopher D. Sogge, Xiaohua Yao

Abstract: We address an interesting question raised by Dos Santos Ferreira, Kenig and Salo about regions ${\mathcal R}_g\subset {\mathbb C}$ for which there can be uniform $L^{\frac{2n}{n+2}}\to L^{\frac{2n}{n-2}}$ resolvent estimates for $Δ_g+ζ$, $ζ\in {\mathcal R}_g$, where $Δ_g$ is the Laplace-Beltrami operator with metric $g$ on a given compact boundaryless Riemannian manifold of dimension $n\ge3$. This… ▽ More We address an interesting question raised by Dos Santos Ferreira, Kenig and Salo about regions ${\mathcal R}_g\subset {\mathbb C}$ for which there can be uniform $L^{\frac{2n}{n+2}}\to L^{\frac{2n}{n-2}}$ resolvent estimates for $Δ_g+ζ$, $ζ\in {\mathcal R}_g$, where $Δ_g$ is the Laplace-Beltrami operator with metric $g$ on a given compact boundaryless Riemannian manifold of dimension $n\ge3$. This is related to earlier work of Kenig, Ruiz and the third author for the Euclidean Laplacian, in which case the region is the entire complex plane minus any disc centered at the origin. Presently, we show that for the round metric on the sphere, $S^n$, the resolvent estimates in Ferreira et al, involving a much smaller region, are essentially optimal. We do this by establishing sharp bounds based on the distance from $ζ$ to the spectrum of $Δ_{S^n}$. In the other direction, we also show that the bounds in \cite{Kenig} can be sharpened logarithmically for manifolds with nonpositive curvature, and by powers in the case of the torus, ${\mathbb T}^n={\mathbb R}^n/{\mathbb Z}^n$, with the flat metric. The latter improves earlier bounds of Shen. Further improvements for the torus are obtained using recent techniques of the first author and his work with Guth based on the multilinear estimates of Bennett, Carbery and Tao. Our approach also allows us to give a natural necessary condition for favorable resolvent estimates that is based on a measurement of the density of the spectrum of $\sqrt{-Δ_g}$, and, moreover, a necessary and sufficient condition based on natural improved spectral projection estimates for shrinking intervals. △ Less

Submitted 11 November, 2013; v1 submitted 17 April, 2012; originally announced April 2012.

Comments: 43 pages, 3 figures. To appear in Communications in Mathematical Physics

MSC Class: 58J50

On eigenfunction restriction estimates and $L^4$-bounds for compact surfaces with nonpositive curvature

Authors: Christopher D. Sogge, Steve Zelditch

Abstract: Let $(M,g)$ be a two-dimensional compact boundaryless Riemannian manifold with nonpostive curvature, then we shall give improved estimates for the $L^2$-norms of the restrictions of eigenfunctions to unit-length geodesics, compared to the general results of Burq, Gérard and Tzvetkov \cite{burq}. By earlier results of Bourgain \cite{bourgainef} and the first author \cite{Sokakeya}, they are equival… ▽ More Let $(M,g)$ be a two-dimensional compact boundaryless Riemannian manifold with nonpostive curvature, then we shall give improved estimates for the $L^2$-norms of the restrictions of eigenfunctions to unit-length geodesics, compared to the general results of Burq, Gérard and Tzvetkov \cite{burq}. By earlier results of Bourgain \cite{bourgainef} and the first author \cite{Sokakeya}, they are equivalent to improvements of the general $L^p$-estimates in \cite{soggeest} for $n=2$ and $2<p<6$. The proof uses the fact that the exponential map from any point in $x_0\in M$ is a universal covering map from $\Rt \simeq T_{x_0}M$ to $M$ (the Cartan-Hadamard- von Mangolt theorem), which allows us to lift the necessary calculations up to the universal cover $(\Rt, \tilde g)$ where $\tilde g$ is the pullback of $g$ via the exponential map. We then prove the main estimates by using the Hadamard parametrix for the wave equation on $(\Rt, \tilde g)$ and the fact that the classical comparison theorem of Günther \cite{Gu} for the volume element in spaces of nonpositive curvature gives us desirable bounds for the principal coefficient of the Hadamard parametrix, allowing us to prove our main result. △ Less

Submitted 9 September, 2011; v1 submitted 12 August, 2011; originally announced August 2011.

Comments: 11 pages, corrected a copule of typos. Submitted to the proceedings honoring E. M. Stein's 80th birthday

MSC Class: Primary; 35F99; Secondary 35L20; 42C99

A natural lower bound for the size of nodal sets

Authors: Hamid Hezari, Christopher D. Sogge

Abstract: We prove a natural inequality which implies the known lower bounds for the $(n-1)$-dimensional Hausdorff measure of nodal sets for smooth compact manifolds. We prove a natural inequality which implies the known lower bounds for the $(n-1)$-dimensional Hausdorff measure of nodal sets for smooth compact manifolds. △ Less

Submitted 24 October, 2011; v1 submitted 18 July, 2011; originally announced July 2011.

Comments: To appear in Analysis and Partial Differential Equations

MSC Class: 58; 35; 35P

Journal ref: Analysis and PDE, 5 (2012), 1133-1137

Strichartz estimates for Dirichlet-wave equations in two dimensions with applications

Authors: Hart F. Smith, Christopher D. Sogge, Chengbo Wang

Abstract: We establish the Strauss conjecture for nontrapping obstacles when the spatial dimension $n$ is two. As pointed out in \cite{HMSSZ} this case is more subtle than $n=3$ or 4 due to the fact that the arguments of the first two authors \cite{SmSo00}, Burq \cite{B} and Metcalfe \cite{M} showing that local Strichartz estimates for obstactles imply global ones require that the Sobolev index, $γ$, equal… ▽ More We establish the Strauss conjecture for nontrapping obstacles when the spatial dimension $n$ is two. As pointed out in \cite{HMSSZ} this case is more subtle than $n=3$ or 4 due to the fact that the arguments of the first two authors \cite{SmSo00}, Burq \cite{B} and Metcalfe \cite{M} showing that local Strichartz estimates for obstactles imply global ones require that the Sobolev index, $γ$, equal 1/2 when $n=2$. We overcome this difficulty by interpolating between energy estimates ($γ=0$) and ones for $γ=\frac12$ that are generalizations of Minkowski space estimates of Fang and the third author \cite{FaWa2}, \cite{FaWa}, the second author \cite{So08} and Sterbenz \cite{St05}. △ Less

Submitted 18 April, 2011; v1 submitted 14 December, 2010; originally announced December 2010.

Comments: Final version, to appear in the Transactions of the AMS. 20 pages, 2 figures

MSC Class: 35L71

Journal ref: Transactions of the American Mathematical Society, 364 (2012), 3329-3347

Concerning the $L^4$ norms of typical eigenfunctions on compact surfaces

Authors: Christopher D. Sogge, Steve Zelditch

Abstract: Let $(M,g)$ be a two-dimensional compact boundaryless Riemannian manifold with Laplacian, $Δ_g$. If $e_λ$ are the associated eigenfunctions of $\sqrt{-Δ_g}$ so that $-Δ_g e_λ= λ^2 e_λ$, then it has been known for some time \cite{soggeest} that $\|e_λ\|_{L^4(M)}\lesssim λ^{1/8}$, assuming that $e_λ$ is normalized to have $L^2$-norm one. This result is sharp in the sense that it cannot be improved o… ▽ More Let $(M,g)$ be a two-dimensional compact boundaryless Riemannian manifold with Laplacian, $Δ_g$. If $e_λ$ are the associated eigenfunctions of $\sqrt{-Δ_g}$ so that $-Δ_g e_λ= λ^2 e_λ$, then it has been known for some time \cite{soggeest} that $\|e_λ\|_{L^4(M)}\lesssim λ^{1/8}$, assuming that $e_λ$ is normalized to have $L^2$-norm one. This result is sharp in the sense that it cannot be improved on the standard sphere because of highest weight spherical harmonics of degree $k$. On the other hand, we shall show that the average $L^4$ norm of the standard basis for the space ${\mathcal H}_k$ of spherical harmonics of degree $k$ on $S^2$ merely grows like $(\log k)^{1/4}$. We also sketch a proof that the average of $\sum_{j = 1}^{2k + 1} \|e_λ\|_{L^4}^4$ for a random orthonormal basis of ${\mathcal H}_k$ is O(1). We are not able to determine the maximum of this quantity over all orthonormal bases of ${\mathcal H}_k$ or for orthonormal bases of eigenfunctions on other Riemannian manifolds. However, under the assumption that the periodic geodesics in $(M,g)$ are of measure zero, we are able to show that for {\it any} orthonormal basis of eigenfunctions we have that $\|e_{λ_{j_k}}\|_{L^4(M)}=o(λ_{j_k}^{1/8})$ for a density one subsequence of eigenvalues $λ_{j_k}$. This assumption is generic and it is the one in the Duistermaat-Gullemin theorem \cite{dg} which gave related improvements for the error term in the sharp Weyl theorem. The proof of our result uses a recent estimate of the first author \cite{Sokakeya} that gives a necessary and sufficient condition that $\|e_λ\|_{L^4(M)}=o(λ^{1/8})$. △ Less

Submitted 31 October, 2010; originally announced November 2010.

Comments: 15 pages

MSC Class: Primary; 35F99; Secondary 35L20; 42C99

Journal ref: Recent Development in Geometry and Analysis, ALM 23, Int. Press, Beijing-Boston (2012), 407-423

Lower bounds on the Hausdorff measure of nodal sets

Authors: Christopher D. Sogge, Steve Zelditch

Abstract: Let $\ncal_{φ_λ}$ be the nodal hypersurface of a $Δ$-eigenfunction $φ_λ$ of eigenvalue $λ^2$ on a smooth Riemannian manifold. We prove the following lower bound for its surface measure: $\hcal^{n-1}(\ncal_{φ_λ}) \geq C λ^{\frac74-\frac{3n}4} $. The best prior lower bound appears to be $e^{- C λ}$. Let $\ncal_{φ_λ}$ be the nodal hypersurface of a $Δ$-eigenfunction $φ_λ$ of eigenvalue $λ^2$ on a smooth Riemannian manifold. We prove the following lower bound for its surface measure: $\hcal^{n-1}(\ncal_{φ_λ}) \geq C λ^{\frac74-\frac{3n}4} $. The best prior lower bound appears to be $e^{- C λ}$. △ Less

Submitted 17 November, 2010; v1 submitted 18 September, 2010; originally announced September 2010.

Comments: Added detail to exposition (especially Proposition 1) and added references to recent results of Colding-Minicozzi and of Mangoubi. To appear in MRL

Journal ref: Math. Res. Lett. 18 (2011), no. 1, 25-37

Strichartz estimates and the nonlinear Schrödinger equation on manifolds with boundary

Authors: Matthew D. Blair, Hart F. Smith, Christopher D. Sogge

Abstract: We establish Strichartz estimates for the Schrödinger equation on Riemannian manifolds $(Ω,\g)$ with boundary, for both the compact case and the case that $Ω$ is the exterior of a smooth, non-trapping obstacle in Euclidean space. The estimates for exterior domains are scale invariant; the range of Lebesgue exponents $(p,q)$ for which we obtain these estimates is smaller than the range known for Eu… ▽ More We establish Strichartz estimates for the Schrödinger equation on Riemannian manifolds $(Ω,\g)$ with boundary, for both the compact case and the case that $Ω$ is the exterior of a smooth, non-trapping obstacle in Euclidean space. The estimates for exterior domains are scale invariant; the range of Lebesgue exponents $(p,q)$ for which we obtain these estimates is smaller than the range known for Euclidean space, but includes the key $L^4_tL^\infty_x$ estimate, which we use to give a simple proof of well-posedness results for the energy critical Schrödinger equation in 3 dimensions. Our estimates on compact manifolds involve a loss of derivatives with respect to the scale invariant index. We use these to establish well-posedness for finite energy data of certain semilinear Schrödinger equations on general compact manifolds with boundary. △ Less

Submitted 22 December, 2011; v1 submitted 22 April, 2010; originally announced April 2010.

Comments: Title change, and to appear in Math Annalen

Global existence for high dimensional quasilinear wave equations exterior to star-shaped obstacles

Authors: Jason Metcalfe, Christopher D. Sogge

Abstract: We study long time existence for high dimensional quasilinear wave equations exterior to star-shaped obstacles. In particular, we obtain exterior domain analogs of the four dimensional results of Hörmander where the nonlinearity is permitted to depend on the solution not just its first and second derivatives. Previous proofs in exterior domains omitted this dependence as it did not mesh well wit… ▽ More We study long time existence for high dimensional quasilinear wave equations exterior to star-shaped obstacles. In particular, we obtain exterior domain analogs of the four dimensional results of Hörmander where the nonlinearity is permitted to depend on the solution not just its first and second derivatives. Previous proofs in exterior domains omitted this dependence as it did not mesh well with the energy methods in use. △ Less

Submitted 2 October, 2009; originally announced October 2009.

Comments: 13 pages

MSC Class: 35L70