Searcharxiv⌕ Search

arXiv subjects

Christopher D. Sogge

Publications and source records attributed to Christopher D. Sogge.

At least 55 records · Page 3Linked to original sources
arXiv2013

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

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.

math.AP↗
arXiv2013

A few endpoint geodesic restriction estimates for eigenfunctions

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.

math.AP↗
arXiv2013

The Strauss conjecture on Kerr black hole backgrounds

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.

math.AP↗
arXiv2013

On integrals of eigenfunctions over geodesics

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.

math.AP↗
arXiv2013

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

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.

math.AP↗
arXiv2012

Lower bounds on the Hausdorff measure of nodal sets II

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$.

math.AP↗
arXiv2011

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

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.

math.AP↗
arXiv2011

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

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.

math.AP↗
arXiv2011

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

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}.

math.AP↗
arXiv2010

Lower bounds on the Hausdorff measure of nodal sets

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 λ}$.

math.AP↗
arXiv2010

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

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})$.

math.AP↗
arXiv2010

Concerning the Wave equation on Asymptotically Euclidean Manifolds

We obtain KSS, Strichartz and certain weighted Strichartz estimate for the wave equation on $(\R^d, \mathfrak{g})$, $d \geq 3$, when metric $\mathfrak{g}$ is non-trapping and approaches the Euclidean metric like $ x ^{- ρ}$ with $ρ>0$. Using the KSS estimate, we prove almost global existence for quadratically semilinear wave equations with small initial data for $ρ> 1$ and $d=3$. Also, we establish the Strauss conjecture when the metric is radial with $ρ>0$ for $d= 3$.

math.AP↗
arXiv2010

Kakeya-Nikodym averages and $L^p$-norms of eigenfunctions

We provide a necessary and sufficient condition that $L^p$-norms, $2<p<6$, of eigenfunctions of the square root of minus the Laplacian on 2-dimensional compact boundaryless Riemannian manifolds $M$ are small compared to a natural power of the eigenvalue $λ$. The condition that ensures this is that their $L^2$ norms over $O(λ^{-1/2})$ neighborhoods of arbitrary unit geodesics are small when $λ$ is large (which is not the case for the highest weight spherical harmonics on $S^2$ for instance). The proof exploits Gauss' lemma and the fact that the bilinear oscillatory integrals in Hörmander's proof of the Carleson-Sjölin theorem become better and better behaved away from the diagonal. Our results are related to a recent work of Bourgain who showed that $L^2$ averages over geodesics of eigenfunctions are small compared to a natural power of the eigenvalue $λ$ provided that the $L^4(M)$ norms are similarly small. Our results imply that QUE cannot hold on a compact boundaryless Riemannian manifold $(M,g)$ of dimension two if $L^p$-norms are saturated for a given $2<p<6$. We also show that eigenfunctions cannot have a maximal rate of $L^2$-mass concentrating along unit portions of geodesics that are not smoothly closed.

math.AP↗
arXiv2009

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

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.

math.AP↗
arXiv2009

About the blowup of quasimodes on Riemannian manifolds

On any compact Riemannian manifold $(M, g)$ of dimension $n$, the $L^2$-normalized eigenfunctions ${ϕ_λ}$ satisfy $||ϕ_λ||_{\infty} \leq C λ^{\frac{n-1}{2}}$ where $-Δϕ_λ = λ^2 ϕ_λ.$ The bound is sharp in the class of all $(M, g)$ since it is obtained by zonal spherical harmonics on the standard $n$-sphere $S^n$. But of course, it is not sharp for many Riemannian manifolds, e.g. flat tori $\R^n/Γ$. We say that $S^n$, but not $\R^n/Γ$, is a Riemannian manifold with maximal eigenfunction growth. The problem which motivates this paper is to determine the $(M, g)$ with maximal eigenfunction growth. In an earlier work, two of us showed that such an $(M, g)$ must have a point $x$ where the set ${\mathcal L}_x$ of geodesic loops at $x$ has positive measure in $S^*_x M$. We strengthen this result here by showing that such a manifold must have a point where the set ${\mathcal R}_x$ of recurrent directions for the geodesic flow through x satisfies $|{\mathcal R}_x|>0$. We also show that if there are no such points, $L^2$-normalized quasimodes have sup-norms that are $o(λ^{n-1)/2})$, and, in the other extreme, we show that if there is a point blow-down $x$ at which the first return map for the flow is the identity, then there is a sequence of quasi-modes with $L^\infty$-norms that are $Ω(λ^{(n-1)/2})$.

math.AP↗
arXiv2009

On Abstract Strichartz Estimates and the Strauss Conjecture for Nontrapping Obstacles

The purpose of this paper is to show how local energy decay estimates for certain linear wave equations involving compact perturbations of the standard Laplacian lead to optimal global existence theorems for the corresponding small amplitude nonlinear wave equations with power nonlinearities. To achieve this goal, at least for spatial dimensions $n=3$ and 4, we shall show how the aforementioned linear decay estimates can be combined with "abstract Strichartz" estimates for the free wave equation to prove corresponding estimates for the perturbed wave equation when $n\ge3$. As we shall see, we are only partially successful in the latter endeavor when the dimension is equal to two, and therefore, at present, our applications to nonlinear wave equations in this case are limited.

math.AP↗