We explore the extent to which the Fourier transform of an $L^p$ density supported on the sphere in $\mathbb{R}^n$ can have large mass on affine subspaces, placing particular emphasis on lines and hyperplanes. This involves establishing bounds on quantities of the form $X(|\widehat{gdσ}|^2)$ and $\mathcal{R}(|\widehat{gdσ}|^2)$, where $X$ and $\mathcal{R}$ denote the X-ray and Radon transforms respectively; here $dσ$ denotes Lebesgue measure on the unit sphere $\mathbb{S}^{n-1}$, and $g\in L^p(\mathbb{S}^{n-1})$. We also identify some conjectural bounds of this type that sit between the classical Fourier restriction and Kakeya conjectures. Finally we provide some applications of such tomography bounds to the theory of weighted norm inequalities for $\widehat{gdσ}$, establishing some natural variants of conjectures of Stein and Mizohata--Takeuchi from the 1970s. Our approach, which has its origins in work of Planchon and Vega, exploits cancellation via Plancherel's theorem on affine subspaces, avoiding the conventional use of wave-packet and stationary-phase methods.
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 prove an elementary multilinear identity for the Fourier extension operator on $\mathbb{R}^n$, generalising to higher dimensions the classical bilinear extension identity in the plane. In the particular case of the extension operator associated with the paraboloid, this provides a higher dimensional extension of a well-known identity of Ozawa and Tsutsumi for solutions to the free time-dependent Schrödinger equation. We conclude with a similar treatment of more general oscillatory integral operators whose phase functions collectively satisfy a natural multilinear transversality condition. T…
It is shown that the continuous q-Hermite polynomials for q a root of unity have simple transformation properties with respect to the classical Fourier transform. This result is then used to construct q-extended eigenvectors of the finite Fourier transform in terms of these polynomials.
We study the restriction of the Fourier transform to quadratic surfaces in vector spaces over finite fields. In two dimensions, we obtain the sharp result by considering the sums of arbitrary two elements in the subset of quadratic surfaces on two dimensional vector spaces over finite fields. For higher dimensions, we estimate the decay of the Fourier transform of the characteristic functions on quadratic surfaces so that we obtain the Tomas-Stein exponent. Using incidence theorems, we also study the extension theorems in the restricted settings to sizes of sets in quadratic surfaces. Estimate…
This note establishes the full range of $L^p$--$L^q$ Fourier extension estimates for the model $n$-dimensional quadratic submanifold in ${\mathbb R}^{n(n+3)/2}$ parametrized by $γ(x_1,\ldots,x_n) := (x_1,\ldots,x_n, (x_i x_j)_{1 \leq i \leq j \leq n})$. This class of submanifolds is extremal in the sense that an $n$-dimensional quadratic submanifold of ${\mathbb R}^d$ can only satisfy nontrivial Fourier extension inequalities when $d \leq \frac{n(n+3)}{2}$. The proof is via an inflation-type argument, with the unexpected twist that a significant amount of "overinflation" is necessary but in no…
We obtain new estimates for a class of oscillatory integral operators with folding canonical relations satisfying a curvature condition. The main lower bounds showing sharpness are proved using Kakeya set constructions. As a special case of the upper bounds we deduce optimal $L^p(mathbb{S}^2)\to L^q(R \mathbb{S}^2)$ estimates for the Fourier extension operator on large spheres in $\mathbb{R}^3$, which are uniform in the radius $R$. Two appendices are included, one concerning an application to Lorentz space bounds for averaging operators along curves in $R^3$, and one on bilinear estimates.
Among the class of functions on the circle with Fourier modes up to degree 120, constant functions are the unique real-valued maximizers for the endpoint Tomas-Stein inequality.
In this article we prove that if the coefficients of a Fourier-Legendre expansion satisfy a suitable Hausdorff-type condition, then the series converges to a function which admits a holomorphic extension to a cut-plane. Furthermore, we prove that a Laplace-type (Laplace composed with Radon) transform of the function describing the jump across the cut is the unique Carlsonian interpolation of the Fourier coefficients of the expansion. We can thus reconstruct the discontinuity function from the coefficients of the Fourier-Legendre series by the use of the Pollaczek polynomials.
In the past decade, much effort has gone into understanding maximizers for Fourier restriction and extension inequalities. Nearly all of the cases in which maximizers for inequalities involving the restriction or extension operator have been successfully identified can be seen as partial answers to the question in the title. In this survey, we focus on recent developments in sharp restriction theory relevant to this question. We present results in the algebraic case for spherical and hyperbolic extension inequalities. We also discuss the use of the Penrose transform leading to some negative an…
The purpose of this paper is to characterize all the entire solutions of the homogeneous Helmholtz equation (solutions in $\mathbb{R}^d$) arising from the Fourier extension operator of distributions in Sobolev spaces of the sphere $H^α(\mathbb{S}^{d-1}),$ with $α\in \mathbb{R}$. We present two characterizations. The first one is written in terms of certain $L^2$-weighted norms involving real powers of the spherical Laplacian. The second one is in the spirit of the classical description of the Herglotz wave functions given by P. Hartman and C. Wilcox. For $α>0$ this characterization involves a …
