Let $\{e_j\}$ be an orthonormal basis of Laplace eigenfunctions of a compact Riemannian manifold $(M,g)$. Let $H \subset M$ be a submanifold and let $\{ψ_k\}$ be an orthonormal basis of Laplace eigenfunctions of $H$ with the induced metric. We obtain joint asymptotics for the Fourier coefficients \[
\langle γ_H e_j, ψ_k \rangle_{L^2(H)} = \int_H e_j \overline ψ_k \, dV_H, \] of restrictions $γ_H e_j$ of $e_j$ to $H$. In particular, we obtain asymptotics for the sums of the norm-squares of the Fourier coefficients over the joint spectrum $\{(μ_k, λ_j)\}_{j,k - 0}^{\infty}$ of the (square roots of the) Laplacian $Δ_M$ on $M$ and the Laplacian $Δ_H$ on $H$ in a family of suitably `thick' regions in $\mathbb R^2$. Thick regions include (1) the truncated cone $μ_k/λ_j \in [a,b] \subset (0,1)$ and $λ_j \leq λ$, and (2) the slowly thickening strip $|μ_k - cλ_j| \leq w(λ)$ and $λ_j \leq λ$, where $w(λ)$ is monotonic and $1 \ll w(λ) \lesssim λ^{1 - 1/n}$. Key tools for obtaining these asymptotics include the composition calculus of Fourier integral operators and a new multidimensional Tauberian theorem.
We give estimates for the $L^p$ norm ($2\leq p \leq +\infty$) of the restriction to a curve of the eigenfunctions of the Laplace Beltrami operator on a Riemannian surface. If the curve is a geodesic, we show that on the sphere these estimates are sharp. If the curve has non vanishing geodesic curvature, we can improve our results. We also show how our approach apply to higher dimensional manifolds.
Let $(Ω,g)$ be a piecewise-smooth, bounded convex domain in $\R^2$ and consider $L^2$-normalized Neumann eigenfunctions $ϕ_λ$ with eigenvalue $λ^2$ and $u_λ:= ϕ_λ |_{\partial Ω}$ the associated Dirichlet data (ie. boundary restriction of $ϕ_λ$). Our first main result (Theorem \ref{T:non-con}) is a small-scale {\em non-concentration} estimate: We prove that for {\em any} $x_0 \in \overlineΩ,$ (including boundary corner points) and any $δ\in [0,1),$ $$ \| ϕ_h \|_{B(x_0,λ^{-δ})\cap Ω} = O(λ^{-δ/2}).$$ Our subsequent results involve applications of the nonconcentration estimate to upper bounds for…
Let $(M,g)$ be a compact, smooth, Riemannian manifold and $\{ ϕ_h \}$ an $L^2$-normalized sequence of Laplace eigenfunctions with defect measure $μ$. Let $H$ be a smooth hypersurface. Our main result says that when $μ$ is $\textit{not}$ concentrated conormally to $H$, the eigenfunction restrictions to $H$ and the restrictions of their normal derivatives to $H$ have integrals converging to 0 as $h \to 0^+$.
We show that for a quantum completely integrable system in two dimensions,the $L^{2}$-normalized joint eigenfunctions of the commuting semiclassical pseudodifferential operators satisfy restriction bounds ofthe form $ \int_γ |ϕ_{j}^{\hbar}|^2 ds = {\mathcal O}(|\log \hbar|)$ for generic curves $γ$ on the surface. We also prove that the maximal restriction bounds of Burq-Gerard-Tzvetkov are always attained for certain exceptional subsequences of eigenfunctions.
We study the problem of estimating the $L^2$ norm of Laplace eigenfunctions on a compact Riemannian manifold $M$ when restricted to a hypersurface $H$. We prove mass estimates for the restrictions of eigenfunctions $ϕ_h$, $(h^2 Δ- 1)ϕ_h = 0$, to $H$ in the region exterior to the coball bundle of $H$, on $h^δ$-scales ($0\leq δ< 2/3$). We use this estimate to obtain an $O(1)$ $L^2$-restriction bound for the Neumann data along $H.$ The estimate also applies to eigenfunctions of semiclassical Schrödinger operators.
For $2\leq p<4$, we study the $L^p$ norms of restrictions of eigenfunctions of the Laplace-Beltrami operator on smooth compact $2$-dimensional Riemannian manifolds. Burq, Gérard, and Tzvetkov \cite{BurqGerardTzvetkov2007restrictions}, and Hu \cite{Hu2009lp} found the eigenfunction estimates restricted to a curve with nonvanishing geodesic curvatures. We will explain how the proof of the known estimates helps us to consider the case where the given smooth compact Riemannian manifold has nonpositive sectional curvatures. For $p=4$, we will also obtain a logarithmic analogous estimate, by using a…
We give uniform upper and lower bounds for the L^2 norm of the restriction of eigenfunctions of the Laplacian on the three-dimensional standard flat torus to surfaces with non-vanishing curvature. We also present several related results concerning the nodal sets of eigenfunctions.
Let $(M,g)$ be a compact, smooth Riemannian manifold and $\{u_h\}$ be a sequence of $L^2$-normalized Laplace eigenfunctions that has a localized defect measure $μ$ in the sense that $ M \setminus \text{supp}(π_* μ) \neq \emptyset$ where $π:T^*M \to M$ is the canonical projection. Using Carleman estimates we prove that for any real-smooth closed hypersurface $H \subset (M\setminus \text{supp} (π_* μ))$ sufficiently close to $ \text{supp}(π_* μ),$ and for all $δ>0,$ $$ \int_{H} |u_h|^2 dσ\geq C_δ\, e^{- [\, d(H, \text{supp}(π_* μ)) + \,δ] /h} $$ as $h \to 0^+$. We also show that the result holds…
We consider restrictions along closed geodesics and geodesic circles for eigenfunctions of the Laplace-Beltrami operator on a compact hyperbolic Riemann surface. We obtain a non-trivial bound on the L^2-norm of such restrictions as the eigenvalue tends to infinity. We use methods from the theory of automorphic functions and in particular the uniqueness of invariant functionals on irreducible unitary representations of PGL(2,R).
We prove an analogue of Sogge's local $L^p$ estimates for $L^p$ norms of restrictions of eigenfunctions to submanifolds, and use it to show that for quantum ergodic eigenfunctions one can get improvements of the results of Burq-Gérard-Tzvetkov, Hu, and Chen-Sogge. The improvements are logarithmic on negatively curved manifolds (without boundary) and by $o(1)$ for manifolds (with or without boundary) with ergodic geodesic flows. In the case of ergodic billiards with piecewise smooth boundary, we get $o(1)$ improvements on $L^\infty$ estimates of Cauchy data away from a shrinking neighborhood of…
We estimate the $L^2$ norm of the restriction to a totally geodesic submanifold of the eigenfunctions of the Laplace-Beltrami operator on the standard flat torus $\mathbb{T}^d$, $d\ge2$. We reduce getting correct bounds to counting lattice points in the intersection of some $ν$-transverse bands on the sphere. Moreover, we prove the correct bounds for rational totally geodesic submanifolds of arbitrary codimension. In particular, we verify the conjecture of Bourgain-Rudnick on $L^2$-restriction estimates for rational hyperplanes. On $\mathbb{T}^2$, we prove the uniform $L^2$ restriction bounds …
We show that one can obtain logarithmic improvements of $L^2$ geodesic restriction estimates for eigenfunctions on 3-dimensional compact Riemannian manifolds with constant negative curvature. We obtain a $(\logλ)^{-\frac12}$ gain for the $L^2$-restriction bounds, which improves the corresponding bounds of Burq, Gérard and Tzvetkov, Hu, Chen and Sogge. We achieve this by adapting the approaches developed by Chen and Sogge, Blair and Sogge, Xi and the author. We derive an explicit formula for the wave kernel on 3D hyperbolic space, which improves the kernel estimates from the Hadamard parametrix…
Let $M$ be a compact manifold with or without boundary and $H\subset M$ be a smooth, interior hypersurface. We study the restriction of Laplace eigenfunctions solving $(-h^2Δ_g-1)u=0$ to $H$. In particular, we study the degeneration of $u|_H$ as one microlocally approaches the glancing set by finding the optimal power $s_0$ so that $(1+h^2Δ_H)_+^{s_0}u|_H$ remains uniformly bounded in $L^2(H)$ as $h\to 0$. Moreover, we show that this bound is saturated at every $h$-dependent scale near glancing using examples on the disk and sphere. We give an application of our estimates to quantum ergodic re…
We show that one can obtain improved $L^4$ geodesic restriction estimates for eigenfunctions on compact Riemannian surfaces with nonpositive curvature. We achieve this by adapting Sogge's strategy in proving improved critical $L^p$ estimates. We first combine the improved $L^2$ restriction estimate of Blair and Sogge and the classical improved $L^\infty$ estimate of Bérard to obtain an improved weak-type $L^4$ restriction estimate. We then upgrade this weak estimate to a strong one by using the improved Lorentz space estimate of Bak and Seeger. This estimate improves the $L^4$ restriction esti…
Let X be an arithmetic hyperbolic surface, ψa Hecke-Maass form, and l a geodesic segment on X. We obtain a power saving over the local bound of Burq-Gérard-Tzvetkov for the L^2 norm of ψrestricted to l, by extending the technique of arithmetic amplification developed by Iwaniec and Sarnak. We also improve the local bounds for various Fourier coefficients of ψalong l.
Let $(Ω,g)$ be a compact, analytic Riemannian manifold with analytic boundary $\partial Ω= M.$ We give $L^2$-lower bounds for Steklov eigenfunctions and their restrictions to interior hypersurfaces $H \subset Ω^{\circ}$ in a geometrically defined neighborhood of $M$. Our results are optimal in the entire geometric neighborhood and complement the results on eigenfunction upper bounds in the author's previous work.
Let $(M,g)$ be a smooth, compact, Riemannian manifold and $\{ϕ_h\}$ a sequence of $L^2$-normalized Laplace eigenfunctions on $M$. For a smooth submanifold $H\subset M$, we consider the growth of the restricted eigenfunctions $ϕ_h|_H$ by testing them against a sequence of functions $\{ψ_h\}$ on $H$ whose wavefront set avoids $S^*H$. That is, we study what we call the generalized Fourier coefficients: $\langle ϕ_h,ψ_h\rangle_{L^2(H)}$. We give an explicit bound on these coefficients depending on how the defect measures for the two collections of functions $ϕ_h$ and $ψ_h$ relate. This allows us t…
This article is about two types of restrictions of eigenfunctions $ϕ_j$ on a compact Riemannian manifold $(M,g)$: First, we restrict to a submanifold $H \subset M$, and expand the restriction $γ_H ϕ_j$ in eigenfunctions $e_k$ of $H$. We then Fourier restrict $γ_H ϕ_j$ to a short interval of eigenvalues of $H$. Laplace eigenvalues of $M$ are denoted $λ_j^2$ and those of $H$ are denoted $μ_k^2$. The Fourier coefficients are negligible unless the $H$- eigenvalues lie in the interval $μ_k \in [-λ_j, λ_j]$. The short windows have the form $|μ_k - c λ_j| < ε$. The goal is to obtain asymptotics and e…
Given a compact Riemannian manifold $(M, g)$ without boundary, we estimate the Lebesgue norm of Laplace-Beltrami eigenfunctions when restricted to a wide variety of subsets $Γ$ of $M$. The sets $Γ$ that we consider are Borel measurable, Lebesgue-null but otherwise arbitrary with positive Hausdorff dimension. Our estimates are based on Frostman-type ball growth conditions for measures supported on $Γ$. For large Lebesgue exponents $p$, these estimates provide a natural generalization of $L^p$ bounds for eigenfunctions restricted to submanifolds, previously obtained in \cite{Ho68, Ho71, Sog88, B…
We obtain restrictions on the persistence barcodes of Laplace-Beltrami eigenfunctions and their linear combinations on compact surfaces with Riemannian metrics. Some applications to uniform approximation by linear combinations of Laplace eigenfunctions are also discussed.
In this paper, we establish a general discrete Fourier restriction theorem. As an application, we make some progress on the discrete Fourier restriction associated with KdV equation.
In this paper we analyse the structure of the spaces of coefficients of eigenfunction expansions of functions in Komatsu classes on compact manifolds, continuing the research in our previous paper. We prove that such spaces of Fourier coefficients are perfect sequence spaces. As a consequence we describe the tensor structure of sequential mappings on spaces of Fourier coefficients and characterise their adjoint mappings. In particular, the considered classes include spaces of analytic and Gevrey functions, as well as spaces of ultradistributions, yielding tensor representations for linear mapp…
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…
Let $(M,g)$ be an $n$-dimensional compact boudaryless Riemannian manifold with nonpositive sectional curvature, then our conclusion is that we can give improved estimates for the $L^p$ norms of the restrictions of eigenfunctions to smooth submanifolds of dimension $k$, for $p>\dfrac{2n}{n-1}$ when $k=n-1$ and $p>2$ when $k\leq n-2$, compared to the general results of Burq, Gérard and Tzvetkov \cite{burq}. Earlier, Bérard \cite{Berard} gave the same improvement for the case when $p=\infty$, for compact Riemannian manifolds without conjugate points for $n=2$, or with nonpositive sectional curvat…
We review some of the literature on intertwining wave operators, as far as it relates to Tosio Kato's stationary method based on the resolvent. Techniques from Fourier restriction and Wiener algebras are emphasized.
The Cauchy problem for the Zakharov-Kuznetsov equation is shown to be locally well-posed in H^s(R^2) for all s>1/2 by using the Fourier restriction norm method and bilinear refinements of Strichartz type inequalities.
This article concerns joint asymptotics of Fourier coefficients of restrictions of Laplace eigenfunctions $ϕ_j$ of a compact Riemannian manifold to a submanifold $H \subset M$. We fix a number $c \in (0,1)$ and study the asymptotics of the thin sums, $$ N^{c} _{ε, H }(λ): = \sum_{j, λ_j \leq λ} \sum_{k: |μ_k - c λ_j | < ε} \left| \int_{H} ϕ_j \overline{ψ_k}dV_H \right|^2 $$ where $\{λ_j\}$ are the eigenvalues of $\sqrt{-Δ}_M,$ and $\{(μ_k, ψ_k)\}$ are the eigenvalues, resp. eigenfunctions, of $\sqrt{-Δ}_H$. The inner sums represent the `jumps' of $ N^{c} _{ε, H }(λ)$ and reflect the geometry o…
This paper presents the generalized Fourier series solution for the longitudinal vibrations of a bar subjected to viscous boundary conditions at each end. The model of the system produces a non-selfadjoint eigenvalue problem which does not yield a self-orthogonal set of eigenfunctions with respect to the usual inner product. Therefore, these functions cannot be used to calculate the coefficients of expansion in the Fourier series. Furthermore, the eigenfunctions and eigenvalues are complex-valued. The eigenfunctions can be utilized if the space of the wave operator is extended and a suitable i…
We prove a quantum ergodic restriction theorem for the Cauchy data of a sequence of quantum ergodic eigenfunctions on a hypersurface $H$ of a Riemannian manifold $(M, g)$. The technique of proof is to use a Rellich type identity to relate quantum ergodicity of Cauchy data on $H$ to quantum ergodicity of eigenfunctions on the global manifold $M$. This has the interesting consequence that if the eigenfunctions are quantum unique ergodic on the global manifold $M$, then the Cauchy data is automatically quantum unique ergodic on $H$ with respect to operators whose symbols vanish to order one on th…
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 f…
We deal with the restriction phenomenon for the Fourier transform. We prove that each of the restriction conjectures for the sphere, the paraboloid, the elliptic hyperboloid in $\mathbb{R}^n$ implies that for the cone in $\mathbb{R}^{n+1}$. We also prove a new restriction estimate for any surface in $\mathbb{R}^3$ locally isometric to the plane and of finite type.
We will extend the Fourier restriction inequality for quadratic hypersurfaces obtained by Strichartz. We will consider the case where the hypersurface is a graph of a certain real polynomial which is a sum of one-dimensional monomials. It is essential to examine the decay of a one-dimensional oscillatory
The adjoint Fourier restriction inequality of Tomas and Stein states that the mapping $f\mapsto \widehat{fσ}$ is bounded from $\lt(S^2)$ to $L^4(\reals^3)$. We prove that there exist functions which extremize this inequality, and that any extremizing sequence of nonnegative functions has a subsequence which converges to an extremizer.
We establish the existence of extremizers for a Fourier restriction inequality on planar convex arcs without points with colinear tangents whose curvature satisfies a natural assumption. More generally, we prove that any extremizing sequence of nonnegative functions has a subsequence which converges to an extremizer.
We study the nodal set of Laplace eigenfunctions on the flat $2d$ torus $\mathbb{T}^2$. We prove an asymptotic law for the nodal length of such eigenfunctions, under some growth assumptions on their Fourier coefficients. Moreover, we show that their nodal set is asymptotically equidistributed on $\mathbb{T}^2$. The proofs are based on Bourgain's de-randomisation technique and the main new ingredient, which might be of independent interest, is the integrability of arbitrarily large powers of the doubling index of Laplace eigenfunctions on $\mathbb{T}^2$, based on the work of Nazarov \cite{N93,N…
In this article, we consider the kinetic derivative nonlinear Schrödinger equation (KDNLS), which is a one-dimensional nonlinear Schrödinger equation with a cubic derivative nonlinear term containing the Hilbert transformation. For the Cauchy problem both on the real line and on the circle, we apply the short-time Fourier restriction method to establish a priori estimate for small and smooth solutions in Sobolev spaces $H^s$ with $s>1/4$.
This is a continuation of the paper "Restriction theorem for Fourier-Dunkl transform I: Cone surface, J. Pseudo-Differ. Oper. Appl. 14(1), Paper No. 5 (2023)", where the authors introduced and studied the Fourier-Dunkl transform on $\mathbb{R}^{n}\times\mathbb{R}^{d}$. The main novelty of this paper is that we here prove Strichartz's restriction theorem for the Fourier-Dunkl transform for certain surfaces, namely, paraboloid, sphere, and hyperboloid and its generalisation to the family of orthonormal functions. Finally, as an application of these restriction theorems, we establish versions of …
In this article, we study the problem of obtaining Lebesgue space inequalities for the Fourier restriction operator associated to rectangular pieces of the paraboloid and perturbations thereof. We state a conjecture for the dependence of the operator norms in these inequalities on the sidelengths of the rectangles, prove that this conjecture follows from (a slight reformulation of the) restriction conjecture for elliptic hypersurfaces, and prove that, if valid, the conjecture is essentially sharp. Such questions arise naturally in the study of restriction inequalities for degenerate hypersurfa…
In this paper, we consider a discrete restriction associated with KdV equations. Some new Strichartz estimates are obtained. We also establish the local well-posedness for the periodic generalized Korteweg-de Vries equation with nonlinear term $ F(u)\p_x u$ provided $F\in C^5$ and the initial data $ϕ\in H^s$ with $s>1/2$.
We study the number of intersections of the nodal lines of an eigenfunction of the Laplacian on the standard torus with a fixed reference curve, that is, the number of zeros of the eigenfunction restricted to the curve. An upper bound is the wave number k. When the curve has nowhere zero curvature, we conjecture that, up to a constant multiple, this should also be the correct a lower bound. We give a lower bound which differs from this by an arithmetic quantity, given in terms of the maximal number of lattice points in arcs of size square root of the wave number k on a circle of radius k. Acco…
Quantum ergodic restriction (QER) is the problem of finding conditions on a hypersurface $H$ so that restrictions $ϕ_j |_H$ to $H$ of $Δ$-eigenfunctions of Riemannian manifolds $(M, g)$ with ergodic geodesic flow are quantum ergodic on $H$. We prove two kinds of results: First (i) for any smooth hypersurface $H$, the Cauchy data $(ϕ_j|H, \partial ϕ_j|H)$ is quantum ergodic if the Dirichlet and Neumann data are weighted appropriately. Secondly (ii) we give conditions on $H$ so that the Dirichlet (or Neumann) data is individually quantum ergodic. The condition involves the almost nowhere equalit…
This paper is dedicated to the proof of Strichartz estimates on the Heisenberg group $\mathbb{H}^d$ for the linear Schrödinger and wave equations involving the sublaplacian. The Schrödinger equation on $\mathbb{H}^d$ is an example of a totally non-dispersive evolution equation: for this reason the classical approach that permits to obtain Strichartz estimates from dispersive estimates is not available. Our approach, inspired by the Fourier transform restriction method initiated by Tomas and Stein, is based on Fourier restriction theorems on $\mathbb{H}^d$, using the non-commutative Fourier tra…
The adjoint Fourier restriction inequality for the sphere $S^2$ states that if $f\in\lt(S^2,σ)$ then $\widehat{fσ}\in L^4(\reals^3)$. We prove that all critical points $f$ of the functional $\norm{\widehat{fσ}}_{L^4}/\norm{f}_{\lt}$ are smooth; that any complex-valued extremizer for the inequality is a nonnegative extremizer multiplied by the character $e^{ix\cdotξ}$ for some $ξ$; and that complex-valued extremizing sequences for the inequality are precompact modulo multiplication by characters.
We explore the connection between $k$-broad Fourier restriction estimates and sharp regularity $L^p-L^q$ local smoothing estimates for the solutions of the wave equation in $\mathbb{R}^{n}\times \mathbb{R}$ for all $n \geq 3$ via a Bourgain--Guth broad-narrow analysis. An interesting feature is that local smoothing estimates for $e^{i t \sqrt{-Δ}}$ are not invariant under Lorentz rescaling.
We study bilinear $L^2$ Fourier restriction estimates which are related to the 2d wave equation in the sense that we restrict to subsets of thickened null cones. In an earlier paper we studied the corresponding 3d problem, obtaining several refinements of the Klainerman-Machedon type estimates. The latter are bilinear generalizations of the $L^4$ estimate of Strichartz for the 3d wave equation. In 2d there is no $L^4$ estimate for solutions of the wave equation, but as we show here, one can nevertheless obtain $L^2$ bilinear estimates for thickened null cones, which can be viewed as analogues …
We show that, possibly after a compactification of spacetime, constant functions are local maximizers of the Tomas-Stein adjoint Fourier restriction inequality for the cone and paraboloid in every dimension, and for the sphere in dimension up to 60. For the cone and paraboloid we work from the PDE framework, which enables the use of the Penrose and the Lens transformations, which map the conjectured optimal functions into constants.
