Recently Wolff obtained a sharp $L^2$ bilinear restriction theorem for bounded subsets of the cone in general dimension. Here we adapt the argument of Wolff to also handle subsets of ``elliptic surfaces'' such as paraboloids and spheres. Except for an endpoint, this answers a conjecture of Machedon and Klainerman, and also improves upon the known restriction theory for the paraboloid and sphere.
In Fourier restriction problems, a cone and a paraboloid are model surfaces. The sharp bilinear cone restriction estimate was first shown by Wolff, and later the endpoint was obtained by Tao. For a paraboloid, the sharp $L^2$ bilinear restriction estimate was obtained by Tao, but the endpoint was remained open. In this paper we prove the endpoint $L^2$ bilinear restriction estimate for a paraboloid.
For cylindrically symmetric functions dyadically supported on the paraboloid, we obtain a family of sharp linear and bilinear adjoint restriction estimates. As corollaries, we first extend the ranges of exponents for the classical \textit{linear or bilinear adjoint restriction conjectures} for such functions and verify the \textit{linear adjoint restriction conjecture} for the paraboloid. We also interpret the restriction estimates in terms of solutions to the Schrödinger equation and establish the analogous results when the paraboloid is replaced by the lower third of the sphere.
In this article, we prove that all global, nonendpoint Fourier restriction inequalities for the paraboloid in $\mathbb R^{1+d}$ have extremizers and that $L^p$-normalized extremizing sequences are precompact modulo symmetries. This result had previously been established for the case $q=2$. In the range where the boundedness of the restriction operator is still an open question, our result is conditional on improvements toward the restriction conjecture.
We consider a surface with negative curvature in $\Bbb R^3$ which is a cubic perturbation of the saddle. For this surface, we prove a new restriction theorem, analogous to the theorem for paraboloids proved by L. Guth in 2016. This specific perturbation has turned out to be of fundamental importance also to the understanding of more general classes of perturbations.
It was proved independently by Foschi and Hundertmark, Zharnitsky that Gaussians extremize the adjoint Fourier restriction inequality for L^2 functions on the paraboloid in the two lowest-dimesional cases. Here we prove that Gaussians are critical points for the L^p to L^q adjoint Fourier restriction inequalities if and only if p=2. Also, Gaussians are critial points for the L^2 to L^r_t L^q_x Strichartz inequalities for all admissible pairs (r,q) in (1,infinity)^2.
We prove that recent breaking by Zahl of the $\frac32$ barrier in Wolff's estimate on the Kakeya maximal operator in $\mathbb R^4$ leads to improving the $\frac{14}{5}$ threshold for the restriction problem for the paraboloid in $\mathbb R^4$. One of the ingredients is a new trilinear estimate. The proofs are deliberately presented in a nontechnical and concise format, so as to make the arguments more readable and focus attention on the key tools.
We prove certain endpoint restriction estimates for the paraboloid over finite fields in three and higher dimensions. Working in the bilinear setting, we are able to pass from estimates for characteristic functions to estimates for general functions while avoiding the extra logarithmic power of the field size which is introduced by the dyadic pigeonhole approach. This allows us to remove logarithmic factors from the estimates obtained by Mockenhaupt and Tao in three dimensions and those obtained by Iosevich and Koh in higher dimensions.
We study L^p-L^r restriction estimates for algebraic varieties in d-dimensional vector spaces over finite fields. Unlike the Euclidean case, if the dimension $d$ is even, then it is conjectured that the L^{(2d+2)/(d+3)}-L^2 Stein-Tomas restriction result can be improved to the L^{(2d+4)/(d+4)}-L^2 estimate for both spheres and paraboloids in finite fields. In this paper we show that the conjectured L^p-L^2 restriction estimate holds in the specific case when test functions under consideration are restricted to d-coordinate functions or homogeneous functions of degree zero. To deduce our result…
We prove that the finite field Fourier extension operator for the paraboloid is bounded from $L^2\to L^r$ for $r\geq \frac{2d+4}{d}$ in even dimensions $d\ge 8$, which is the optimal $L^2$ estimate. For $d=6$ we obtain the optimal range $r> \frac{2d+4}{d}=8/3$, apart from the endpoint. For $d=4$ we improve the prior range of $r>16/5=3.2$ to $r\geq 28/9=3.111\ldots$, compared to the conjectured range of $r\geq3$. The key new ingredient is improved additive energy estimates for subsets of the paraboloid.
We improve the range of exponents for the restriction problem for the 3-d paraboloid over finite fields. The key new ingredient is a variant of the Bourgain-Katz-Tao finite field incidence theorem derived from sum-product estimates. In prime order fields, we give an explicit relationship between the exponent in this incidence theorem and restriction estimates for the paraboloid.
In contrast to elliptic surfaces, the Fourier restriction problem for hypersurfaces of non-vanishing Gaussian curvature which admit principal curvatures of opposite signs is still hardly understood. In fact, even for 2-surfaces, the only case of a hyperbolic surface for which Fourier restriction estimates could be established that are analogous to the ones known for elliptic surfaces is the hyperbolic paraboloid or "saddle" z = xy. The bilinear method gave here sharp results for p > 10/3 (Lee 05, Vargas 05, Stovall 17), and this result was recently improved to p > 3.25 (Cho-Lee 17, Kim 17). Th…
We give an alternative argument to the application of the so-called Maurey- Nikishin-Pisier factorisation in Fourier restriction theory. Based on an induction-on-scales argument, our comparably simple method applies to any compact quadratic surface, in particular compact parts of the paraboloid and the hyperbolic paraboloid. This is achieved by constructing near extremisers with big "mass", which itself might be of interest.
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.
We apply geometric incidence estimates in positive characteristic to prove the optimal $L^2 \to L^3$ Fourier extension estimate for the paraboloid in the four-dimensional vector space over a prime residue field. In three dimensions, when $-1$ is not a square, we prove an $L^2 \to L^{\frac{32}{9} }$ extension estimate, improving the previously known exponent $\frac{68}{19}.$
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 …
We study the extension estimates for paraboloids in d-dimensional vector spaces over finite fields F_q with q elements. We use the connection between L^2 based restriction estimates and L^p\to L^r extension estimates for paraboloids. As a consequence, we improve the L^2\to L^r extension results obtained by A. Lewko and M. Lewko in even dimensions d\ge 6 and odd dimensions d=4\ell+3 for \ell \in \mathbb N. Our results extend the consequences for 3-D paraboloids due to M. Lewko to higher dimensions. We also clarifies conjectures on finite field extension problems for paraboloids.
We obtain restriction estimates of $ε$-removal type for the set of $k$-th powers of integers, and for discrete $d$-dimensional surfaces of the form \[ \{ (n_1,\dots,n_d,n_1^k + \dotsb + n_d^k) \,:\, |n_1|,\dots,|n_d| \leq N \}, \] which we term '$k$-paraboloids'. For these surfaces, we obtain a satisfying range of exponents for large values of $d,k$. We also obtain estimates of $ε$-removal type in the full supercritical range for $k$-th powers and for $k$-paraboloids of dimension $d < k(k-2)$. We rely on a variety of techniques in discrete harmonic analysis originating in Bourgain's works on t…
Given $A \subset F_{p}^2$ a sufficiently small set in the plane over a prime residue field, we prove that there are at most $O_ε(|A|^{\frac{99}{41}+ε})$ rectangles with corners in $A$. The exponent $\frac{99}{41} = 2.413\ldots$ improves slightly on the exponent of $\frac{17}{7} = 2.428\ldots$ due to Rudnev and Shkredov. Using this estimate we prove that the extension operator for the three dimensional paraboloid in prime order fields maps $L^2 \rightarrow L^{r}$ for $r >\frac{188}{53}=3.547\ldots$ improving the previous range of $r\geq \frac{32}{9}= 3.\overline{555}$.
We continue our research on Fourier restriction for hyperbolic surfaces, by studying local perturbations of the hyperbolic paraboloid $z=xy$ which are of the form $z=xy+h(y),$ where $h(y)$ is a smooth function which is flat at the origin. The case of perturbations of finite type had already been handled before, but the flat case imposes several new obstacles. By means of a decomposition into intervals on which $|h'''|$ is of a fixed size $λ,$ we can apply methods devised in preceding papers, but since we loose control on higher order derivatives of $h$ we are forced to rework the bilinear meth…
We prove certain $L^2(\mathbb{R}^n)$ bilinear estimates for Fourier extension operators associated to spheres and hyperboloids under the action of the $k$-plane transform. As the estimates are $L^2$-based, they follow from bilinear identities: in particular, these are the analogues of a known identity for paraboloids, and may be seen as higher-dimensional versions of the classical $L^2(\mathbb{R}^2)$-bilinear identity for Fourier extension operators associated to curves in $\mathbb{R}^2$.
We improve the Bennett--Carbery--Tao trilinear restriction estimate for subsets of the paraboloid in three dimensions, giving the sharp factor depending on the transversality.
In connection with the restriction problem in $\mathbb R^n$ for hypersurfaces including the sphere and paraboloid, the bilinear (adjoint) restriction estimates have been extensively studied. However, not much is known about such estimates for surfaces with codimension (and dimension) larger than one. In this paper we show sharp bilinear $L^2 \times L^2 \to L^q$ restriction estimates for general surfaces of higher codimension. In some special cases, we can apply these results to obtain the corresponding linear estimates.
This result sharpens the bilinear to linear deduction of Lee and Vargas for extension estimates on the hyperbolic paraboloid in $\mathbb R^3$ to the sharp line, leading to the first scale-invariant restriction estimates, beyond the Stein--Tomas range, for a hypersurface on which the principal curvatures have different signs.
Let $\mathbb{H}$ be a $(d-1)$-dimensonal hyperbolic paraboloid in $\mathbb{R}^d$ and let $Ef$ be the Fourier extension operator associated to $\mathbb{H},$ with $f$ supported in $B^{d-1}(0,2)$. We prove that $\|Ef\|_{L^p (B(0,R))} \leq C_εR^ε\|f\|_{L^p}$ for all $p \geq \frac{2(d+2)}{d}$ whenever $ \frac{d}{2} \geq m + 1$, where $m$ is the minimum between the number of positive and negative principal curvatures of $\mathbb{H}$. Bilinear restriction estimates for $\mathbb{H}$ proved by S. Lee and Vargas play an important role in our argument.
We provide $L^p \to L^q$ refinements on some Fourier restriction estimates obtained using polynomial partitioning. Let $S\subset \mathbb{R}^3$ be a compact $C^\infty$ surface with strictly positive second fundamental form. We derive sharp $L^p(S) \to L^q(\mathbb{R}^3)$ estimates for the associated Fourier extension operator for $q> 3.25$ and $q\geq 2p'$ from an estimate of Guth that was used to obtain $L^\infty(S) \to L^q(\mathbb{R}^3)$ bounds for $q>3.25$. We present a slightly weaker result when $S$ is the hyperbolic paraboloid in $\mathbb{R}^3$ based on the work of Cho and Lee. Finally, we …
The purpose of this paper is to prove an essentially sharp L^2 Fourier restriction estimate for light cones, of the type which is called bilinear in the recent literature.
We provide a general scheme for proving $L^p$ estimates for certain bilinear Fourier restrictions outside the locally $L^2$ setting. As an application, we show how such estimates follow for the lacunary polygon. In contrast with prior approaches, our argument avoids any use of the Rubio de Francia Littlewood--Paley inequality.
Conditional on Fourier restriction estimates for elliptic hypersurfaces, we prove optimal restriction estimates for polynomial hypersurfaces of revolution for which the defining polynomial has non-negative coefficients. In particular, we obtain uniform--depending only on the dimension and polynomial degree--estimates for restriction with affine surface measure, slightly beyond the bilinear range. The main step in the proof of our linear result is an (unconditional) bilinear adjoint restriction estimate for pieces at different scales.
Bilinear restriction estimates have been appeared in work of Bourgain, Klainerman, and Machedon. In this paper we develop the theory of these estimates (together with the analogues for Kakeya estimates). As a consequence we improve the $(L^p,L^p)$ spherical restriction theorem of Wolff from $p > 42/11$ to $p > 34/9$, and also obtain a sharp $(L^p,L^q)$ spherical restriction theorem for $q > 4 - 5/27$.
We prove an $L^2 \times L^2 \rightarrow L_t^qL_x^p $ bilinear Fourier extension estimate for the cone when $p,q$ are on the critical line $1/q=(\frac{n+1}{2})(1-1/p)$. This extends previous results by Wolff, Tao and Lee-Vargas.
If $f$ is a function supported on the truncated paraboloid in $\mathbb{R}^3$ and $E$ is the corresponding extension operator, then we prove that for all $p> 3+ 3/13$, $\|Ef\|_{L^p(\mathbb{R}^3)}\leq C \|f\|_{L^{\infty}}$. The proof combines Wolff's two ends argument with polynomial partitioning techniques. We also observe some geometric structures in wave packets.
Using a bilinear restriction theorem of Lee and a bilinear-to-linear argument of Stovall, we obtain the conjectured range of Fourier restriction estimates for a conical hypersurface in $\mathbb{R}^4$ with hyperbolic cross sections.
In this paper we study the restriction estimate for the flat disk over finite fields. Mockenhaupt and Tao initially studied this problem but their results were addressed only for dimensions $n=4,6$. We improve and extend their results to all dimensions $n\geq 6$. More precisely, we obtain the sharp $L^2 \to L^r$ estimates, which cannot be proven by applying the usual Stein-Tomas argument over a finite field even with the optimal Fourier decay estimate on the flat disk. One of main ingredients is to discover and analyze an explicit form of the Fourier transform of the surface measure on the fla…
We study $L^p\to L^r$ estimates for restricted averaging operators related to algebraic varieties $V$ of $d$-dimensional vector spaces over finite fields $\mathbb F_q$ with $q$ elements. We observe properties of both the Fourier restriction operator and the averaging operator over $V\subset \mathbb F_q^d.$ As a consequence, we obtain optimal results on the restricted averaging problems for spheres and paraboloids in dimensions $d\ge2,$ and cones in odd dimensions $d\ge 3.$ In addition, when the variety $V$ is a cone lying in an even dimensional vector space over $\mathbb F_q$ and $-1$ is a squ…
We prove (adjoint) bilinear restriction estimates for general phases at different scales in the full non-endpoint mixed norm range, and give bounds with a sharp and explicit dependence on the phases. These estimates have applications to high-low frequency interactions for solutions to partial differential equations, as well as to the linear restriction problem for surfaces with degenerate curvature. As a consequence, we obtain new bilinear restriction estimates for elliptic phases and wave/Klein-Gordon interactions in the full bilinear range, and give a refined Strichartz inequality for the Kl…
Recently Wolff obtained a nearly sharp $L^2$ bilinear restriction theorem for bounded subsets of the cone in general dimension. We obtain the endpoint of Wolff's estimate and generalize to the case when one of the subsets is large. As a consequence, we are able to deduce some nearly-sharp $L^p$ null form estimates.
The restriction problem is better understood for hypersurfaces and recent progresses have been made by bilinear and multilinear approaches and most recently polynomial partitioning method which is combined with those estimates. However, for surfaces with codimension bigger than 1, bilinear and multilinear generalization of restriction estimates are more involved and effectiveness of these multilinear estimates is not so well understood yet. Regarding the restriction problem for the surfaces with codimensions bigger than 1, the current state of the art is still at the level of $TT^*$ method whi…
Uniqueness in the Calderón problem in dimension bigger than two was usually studied under the assumption that conductivity has bounded gradient. For conductivities with unbounded gradients uniqueness results have not been known until recent years. The latest result due to Haberman basically relies on the optimal $L^2$ restriction estimate for hypersurface which is known as the Tomas-Stein restriction theorem. In the course of developments of the Fourier restriction problem bilinear and multilinear generalizations of the (adjoint) restriction estimates under suitable transversality condition be…
It is known that under some transversality and curvature assumptions on the hypersurfaces involved, the bilinear restriction estimate holds true with better exponents than what would trivially follow from the corresponding linear estimates. This subject was extensively studied for conic and parabolic surfaces with sharp results proved by Wolff and Tao, and with later generalizations by Lee. In this paper we provide a unified theory for general hypersurfaces and clarify the role of curvature in this problem, by making statements in terms of the shape operators of the hypersurfaces involved.
Suppose $0 < α\leq n$, $H: \Bbb R^n \to [0,1]$ is a Lebesgue measurable function, and $A_α(H)$ is the infimum of all numbers $C$ for which the inequality $\int_B H(x) dx \leq C R^α$ holds for all balls $B \subset \Bbb R^n$ of radius $R \geq 1$. After Guth introduced polynomial partitioning to Fourier restriction theory, weighted restriction estimates of the form $\| Ef \|_{L^p(B,Hdx)} \leq C R^εA_α(H)^{1/p} \| f \|_{L^q(σ)}$ have been studied and proved in several papers, leading to new results about the decay properties of spherical means of Fourier transforms of measures and, in some cases, …
Firstly, bilinear Fourier Restriction estimates --which are well-known for free waves-- are extended to adapted spaces of functions of bounded quadratic variation, under quantitative assumptions on the phase functions. This has applications to nonlinear dispersive equations, in particular in the presence of resonances. Secondly, critical global well-posedness and scattering results for massive Dirac-Klein-Gordon systems in dimension three are obtained, in resonant as well as in non-resonant regimes. The results apply to small initial data in scale-invariant Sobolev spaces exhibiting a small am…
We prove global Fourier restriction estimates for elliptic, or two-sheeted, hyperboloids of arbitrary dimension $d \geq 2$, extending recent joint work with Oliveira e Silva and Stovall. Our results are unconditional in the (adjoint) bilinear range, $q > \frac{2(d+3)}{d+1}$, and extend conditionally upon further progress toward the local restriction conjecture for elliptic surfaces.
Results analogous to those proved by Rubio de Francia are obtained for a class of maximal functions formed by dilations of bilinear multiplier operators of limited decay. We focus our attention to $L^2\times L^2\to L^1$ estimates. We discuss two applications: the boundedness of the bilinear maximal Bochner-Riesz operator and of the bilinear spherical maximal operator. For the latter we improve the known results by reducing the dimension restriction from $n\ge 8$ to $n\ge 4$.