Source author record

Christopher D. Sogge

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

34works
4topics
4close collaborators

Published work

34 publications

preprint2022arXiv

Product Manifolds with Improved Spectral Cluster and Weyl Remainder Estimates

We show that if YY is a compact Riemannian manifold with improved LqL^q eigenfunction estimates then, at least for large enough exponents, one always obtains improved LqL^q bounds on the product manifold X×YX\times Y if XX is another compact manifold. Similarly, improved Weyl remainder term bounds on the spectral counting function of YY lead to corresponding improvements on X×YX\times Y. The latter results partly generalize recent ones of Iosevich and Wyman [14] involving products of spheres. Also, if YY is a product of five or more spheres, we are able to obtain optimal Lq(Y)L^q(Y) and Lq(X×Y)L^q(X\times Y) eigenfunction and spectral cluster estimates for large qq, 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 λ⋅Sn−1λ\cdot S^{n-1} for n≥5n\ge5.

preprint2021arXiv

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

We generalize the Stein-Tomas [17] L2L^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.

preprint2019arXiv

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

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.

preprint2016arXiv

Localized LpL^p-estimates for eigenfunctions: II

If (M,g)(M,g) is a compact Riemannian manifold of dimension n≥2n\ge 2 we give necessary and sufficient conditions for improved Lp(M)L^p(M)-norms of eigenfunctions for all 2<p≠pc=2(n+1)n−12<p\ne p_c=\tfrac{2(n+1)}{n-1}, the critical exponent. Since improved Lpc(M)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 Lpc(M)L^{p_c}(M) bounds are valid if these conditions are met and if the half-wave operators, U(t)U(t), have no caustics when t≠0t\ne 0. The problem of finding a necessary and sufficient condition for Lpc(M)L^{p_c}(M) improvement remains an interesting open problem.

preprint2015arXiv

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

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 Lp(M)L^p(M) estimates for such manifolds when 2<p<2(n+1)n−12<p<\tfrac{2(n+1)}{n-1}. These in turn imply (log⁡λ)σn(\logλ)^{σ_n}, σn≈nσ_n\approx n, improved lower bounds for L1L^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⁡λ)μ(\log λ)^μ for any μ<2(n+1)2n−1μ<\tfrac{2(n+1)^2}{n-1}, if n≥3n\ge3.

preprint2015arXiv

Improved critical eigenfunction estimates on manifolds of nonpositive curvature

We prove new improved endpoint, LpcL^{p_c}, pc=2(n+1)n−1p_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 LpL^p, 2<p<pc2<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 LpcL^{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.

preprint2015arXiv

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

We use a straightforward variation on a recent argument of Hezari and Rivière~\cite{HR} to obtain localized LpL^p-estimates for all exponents larger than or equal to the critical exponent pc=2(n+1)n−1p_c=\tfrac{2(n+1)}{n-1}. We are able to this directly by just using the LpL^{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 LpL^p, 2<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<pc2<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, pcp_c. As is well known, and we indicate here, bounds for the critical exponent, pcp_c, imply ones for all of the other exponents 2<p≤∞2<p\le \infty. The localized estimates involve L2L^2-norms over small geodesic balls BrB_r of radius rr, 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(r12)O(r^{\frac12}) estimates for these L2(Br)L^2(B_r) bounds. If r=λ−1r=λ^{-1}, one can improve on the trivial estimates if one has improved Lpc(M)L^{p_c}(M) bounds just by using Hölder's inequality; however, obtaining improved bounds for r≫λ−1r\gg λ^{-1} seems to be subtle.

preprint2015arXiv

Lower bounds for interior nodal sets of Steklov eigenfunctions

We study the interior nodal sets, ZλZ_λ of Steklov eigenfunctions in an nn-dimensional relatively compact manifolds MM with boundary and show that one has the lower bounds ∣Zλ∣≥cλ2−n2|Z_λ|\ge cλ^{\frac{2-n}2} for the size of its (n−1)(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.

preprint2014arXiv

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

We prove families of uniform (Lr,Ls)(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.

preprint2013arXiv

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∗TT^* argument, simply by using the L2L^2-boundedness of the Hilbert transform on R\R, we are able to improve the corresponding L2L^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 L4L^4-estimates for restrictions to geodesics, which, by Hölder's inequality and interpolation, implies improved LpL^p-bounds for all exponents p≥2p\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.

preprint2013arXiv

Focal points and sup-norms of eigenfunctions

If (M,g)(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(λ)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 x0∈Mx_0\in M for the geodesic flow at which the associated Perron-Frobenius operator Ux0:L2(Sx0∗M)→L2(Sx0∗M)U_{x_0}: L^2(S_{x_0}^*M) \to L^2(S_{x_0}^*M) has a nontrivial invariant L2L^2 function. The proof is based on an explict Duistermaat-Guillemin-Safarov pre-trace formula and von Neumann's ergodic theorem.

preprint2013arXiv

On LpL^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 Rg⊂C{\mathcal R}_g\subset {\mathbb C} for which there can be uniform L2nn+2→L2nn−2L^{\frac{2n}{n+2}}\to L^{\frac{2n}{n-2}} resolvent estimates for Δg+ζΔ_g+ζ, ζ∈Rgζ\in {\mathcal R}_g, where ΔgΔ_g is the Laplace-Beltrami operator with metric gg on a given compact boundaryless Riemannian manifold of dimension n≥3n\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, SnS^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 ΔSnΔ_{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, Tn=Rn/Zn{\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 −Δg\sqrt{-Δ_g}, and, moreover, a necessary and sufficient condition based on natural improved spectral projection estimates for shrinking intervals.

preprint2013arXiv

On integrals of eigenfunctions over geodesics

If (M,g)(M,g) is a compact Riemannian surface then the integrals of L2(M)L^2(M)-normalized eigenfunctions eje_j over geodesic segments of fixed length are uniformly bounded. Also, if (M,g)(M,g) has negative curvature and γ(t)γ(t) is a geodesic parameterized by arc length, the measures ej(γ(t)) dte_j(γ(t))\, dt on R\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.

preprint2013arXiv

On Kakeya-Nikodym averages, LpL^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≥3d \geq 3 which relates the size of LpL^p-norms of eigenfunctions for 2<p<2(d+1)d−12<p<\frac{2(d+1)}{d-1} to the amount of L2L^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} L2L^2 oscillatory integral theorem and the Cartan-Hadamard theorem to show that, under the assumption of nonpositive curvature, the L2L^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 LpL^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≥3d\ge3 of Colding and Minicozzi \cite{CM} in the special case of (variable) nonpositive curvature.

preprint2013arXiv

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.

preprint2011arXiv

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

Let (M,g)(M,g) be a two-dimensional compact boundaryless Riemannian manifold with nonpostive curvature, then we shall give improved estimates for the L2L^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 LpL^p-estimates in \cite{soggeest} for n=2n=2 and 2<p<62<p<6. The proof uses the fact that the exponential map from any point in x0∈Mx_0\in M is a universal covering map from $\Rt \simeq T_{x_0}M$ to MM (the Cartan-Hadamard- von Mangolt theorem), which allows us to lift the necessary calculations up to the universal cover $(\Rt, \tilde g)$ where g~\tilde g is the pullback of gg 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.

preprint2011arXiv

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)(p,q) for which we obtain these estimates is smaller than the range known for Euclidean space, but includes the key Lt4Lx∞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.

preprint2011arXiv

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

We establish the Strauss conjecture for nontrapping obstacles when the spatial dimension nn is two. As pointed out in \cite{HMSSZ} this case is more subtle than n=3n=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=2n=2. We overcome this difficulty by interpolating between energy estimates (γ=0γ=0) and ones for γ=12γ=\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}.

preprint2010arXiv

Concerning the L4L^4 norms of typical eigenfunctions on compact surfaces

Let (M,g)(M,g) be a two-dimensional compact boundaryless Riemannian manifold with Laplacian, ΔgΔ_g. If eλe_λ are the associated eigenfunctions of −Δg\sqrt{-Δ_g} so that −Δgeλ=λ2eλ-Δ_g e_λ= λ^2 e_λ, then it has been known for some time \cite{soggeest} that ∥eλ∥L4(M)≲λ1/8\|e_λ\|_{L^4(M)}\lesssim λ^{1/8}, assuming that eλe_λ is normalized to have L2L^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 kk. On the other hand, we shall show that the average L4L^4 norm of the standard basis for the space Hk{\mathcal H}_k of spherical harmonics of degree kk on S2S^2 merely grows like (log⁡k)1/4(\log k)^{1/4}. We also sketch a proof that the average of ∑j=12k+1∥eλ∥L44\sum_{j = 1}^{2k + 1} \|e_λ\|_{L^4}^4 for a random orthonormal basis of Hk{\mathcal H}_k is O(1). We are not able to determine the maximum of this quantity over all orthonormal bases of Hk{\mathcal H}_k or for orthonormal bases of eigenfunctions on other Riemannian manifolds. However, under the assumption that the periodic geodesics in (M,g)(M,g) are of measure zero, we are able to show that for {\it any} orthonormal basis of eigenfunctions we have that ∥eλjk∥L4(M)=o(λjk1/8)\|e_{λ_{j_k}}\|_{L^4(M)}=o(λ_{j_k}^{1/8}) for a density one subsequence of eigenvalues λjkλ_{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λ∥L4(M)=o(λ1/8)\|e_λ\|_{L^4(M)}=o(λ^{1/8}).

preprint2010arXiv

Concerning the Wave equation on Asymptotically Euclidean Manifolds

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

preprint2010arXiv

Kakeya-Nikodym averages and LpL^p-norms of eigenfunctions

We provide a necessary and sufficient condition that LpL^p-norms, 2<p<62<p<6, of eigenfunctions of the square root of minus the Laplacian on 2-dimensional compact boundaryless Riemannian manifolds MM are small compared to a natural power of the eigenvalue λλ. The condition that ensures this is that their L2L^2 norms over O(λ−1/2)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 S2S^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 L2L^2 averages over geodesics of eigenfunctions are small compared to a natural power of the eigenvalue λλ provided that the L4(M)L^4(M) norms are similarly small. Our results imply that QUE cannot hold on a compact boundaryless Riemannian manifold (M,g)(M,g) of dimension two if LpL^p-norms are saturated for a given 2<p<62<p<6. We also show that eigenfunctions cannot have a maximal rate of L2L^2-mass concentrating along unit portions of geodesics that are not smoothly closed.

preprint2009arXiv

About the blowup of quasimodes on Riemannian manifolds

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

preprint2009arXiv

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=3n=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≥3n\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.

preprint2009arXiv

Strichartz estimates for the wave equation on manifolds with boundary

We prove certain mixed-norm Strichartz estimates on manifolds with boundary. Using them we are able to prove new results for the critical and subcritical wave equation in 4-dimensions with Dirichlet or Neumann boundary conditions. We obtain global existence in the subcricital case, as well as global existence for the critical equation with small data. We also can use our Strichartz estimates to prove scattering results for the critical wave equation with Dirichlet boundary conditions in 3-dimensions.

preprint2006arXiv

On the LpL^p norm of spectral clusters for compact manifolds with boundary

We use microlocal and paradifferential techniques to obtain L8L^8 norm bounds for spectral clusters associated to elliptic second order operators on two-dimensional manifolds with boundary. The result leads to optimal LqL^q bounds, in the range 2≤q≤∞2\le q\le\infty, for L2L^2-normalized spectral clusters on bounded domains in the plane and, more generally, for two-dimensional compact manifolds with boundary. We also establish new sharp LqL^q estimates in higher dimensions for a range of exponents qˉn≤q≤∞\bar{q}_n\le q\le \infty.

preprint2001arXiv

Riemannian manifolds with maximal eigenfunction growth

On any compact Riemannian manifold (M,g)(M, g) of dimension nn, the L2L^2-normalized eigenfunctions {ϕλ}\{ϕ_λ\} satisfy ∣∣ϕλ∣∣∞≤Cλn−12||ϕ_λ||_{\infty} \leq C λ^{\frac{n-1}{2}} where −Δϕλ=λ2ϕλ.-Δϕ_λ = λ^2 ϕ_λ. The bound is sharp in the class of all (M,g)(M, g) since it is obtained by zonal spherical harmonics on the standard nn-sphere SnS^n. But of course, it is not sharp for many Riemannian manifolds, e.g. flat tori Rn/Γ\R^n/Γ. We say that SnS^n, but not Rn/Γ\R^n/Γ, is a Riemannian manifold with maximal eigenfunction growth. The problem which motivates this paper is to determine the (M,g)(M, g) with maximal eigenfunction growth. Our main result is that such an (M,g)(M, g) must have a point xx where the set Lx{\mathcal L}_x of geodesic loops at xx has positive measure in Sx∗MS^*_x M. We show that if (M,g)(M, g) is real analytic, this puts topological restrictions on MM, e.g. only M=S2M = S^2 (topologically) in dimension 2 can possess a real analytic metric of maximal eigenfunction growth. We further show that generic metrics on any MM fail to have maximal eigenfunction growth. In addition, we construct an example of (M,g)(M, g) for which Lx{\mathcal L}_x has positive measure for an open set of xx but which does not have maximal eigenfunction growth, thus disproving a naive converse to the main result.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.