Abstract
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\sigma }|^2)\) and \(\mathcal {R}(|\widehat{gd\sigma }|^2)\), where X and \(\mathcal {R}\) denote the X-ray and Radon transforms respectively; here \(d\sigma \) 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\sigma }\), 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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and statements of results
The purpose of this paper is to investigate ways in which basic ideas from tomography may be used to further develop our understanding of the Fourier extension operator from euclidean harmonic analysis. We begin this section with a brief introduction to the necessary aspects of the classical theory of the Fourier extension operator (known as restriction theory), and then proceed to present our results. These naturally divide into three parts. The first and second are exploratory, and expose a natural interplay between the Fourier extension operator and the Radon and X-ray transforms (Sects. 1.2 and 1.3 respectively). The third part (Sect 1.4) is driven by the prospect of applications to existing problems in restriction theory, and culminates in some progress on well-known conjectures of Stein and Mizohata–Takeuchi from the 1970s. Our work takes its inspiration from that of Planchon and Vega in [35].
1.1 Background: the Fourier extension operator
A fundamental objective of modern harmonic analysis is to understand the integrability properties of Fourier transforms of densities supported on “curved” submanifolds of \(\mathbb {R}^n\). The primordial example of such a submanifold, and the subject of this paper, is the unit sphere \(\mathbb {S}^{n-1}\), which serves as a model for quite general smooth compact submanifolds of nonvanishing gaussian curvature.
Questions of this type are phrased in terms of the Fourier extension operator
where
Here \(d\sigma \) denotes surface measure on \(\mathbb {S}^{n-1}\), \(x\in \mathbb {R}^n\) and \(g\in L^p({\mathbb {S}^{n-1}})\) for some \(p\ge 1\). The extension operator is sometimes referred to as the adjoint Fourier restriction operator since its (formal) adjoint is the mapping
The celebrated restriction conjecture states that
whenever
The restriction conjecture has been verified in dimension \(n=2\) (C. Fefferman and Stein [22, 36]; see also Zygmund [48]), and there has been considerable progress in higher dimensions in recent years (see for example [26, 39] for further discussion and context). The necessity of the conditions (1.2) is straightforward to verify with simple examples. In particular the condition \(\frac{1}{q}<\frac{n-1}{2n}\) amounts to the assertion that (1.1) holds with \(g\equiv 1\). This is immediately apparent from the observation that
on a large portion of \(\mathbb {R}^n\). This well-known bound follows from the method of stationary phase—see [45] or [36] for example. Accordingly, it is also conjectured that an endpoint inequality of the form
holds for all \(\varepsilon >0\); here \(B_R\) denotes the ball of radius R centred at the origin. It is well-known that (1.4) for all \(\varepsilon >0\) is virtually equivalent to the restriction conjecture as stated above; see [41].
1.2 Radon transform bounds
Naively at least, the example \(g\equiv 1\) above suggests that \(L^2\) (rather than \(L^{\frac{2n}{n-1}}\)) is critical if we integrate on hyperplanes (rather than the whole of \(\mathbb {R}^n\)). In other words, it seems natural to seek bounds on the quantities
where \(\mathcal {R}\) denotes the Radon transform,
Here \((\omega ,t)\in \mathbb {S}^{n-1}\times \mathbb {R}\) and the measure \(d\lambda _{\omega ,t}(x)=\delta (x\cdot \omega -t)dx\) is the Lebesgue measure on the hyperplane \(\{x\in \mathbb {R}^n:x\cdot \omega =t\}\).
The quantities (1.5) turn out to be very natural from other points of view. In particular, elementary considerations reveal that \(\mathcal {R}\) is often unable to distinguish between \(|\widehat{gd\sigma }|^2\) and \(X_0^*(|g|^2)\), where \(X_0\) denotes the restricted X-ray transform
It should be noticed that
and so \(\mathcal {R}X_0^*f(\omega ,t)\) may be infinite unless the support of f is contained in \(\{x\in \mathbb {S}^{n-1}:x\cdot \omega \not =0\}\).
Theorem 1.1
For each \(\delta \ge 0\), \(f\in L^1(\mathbb {S}^{n-1})\) and \(\omega \in \mathbb {S}^{n-1}\), let
Then,
-
(1)
for any \(\omega \in \mathbb {S}^{n-1}\), and \(g\in L^2(\mathbb {S}^{n-1})\) supported in \(\{x \in \mathbb {S}^{n-1}: x\cdot \omega > 0 \}\),
$$\begin{aligned} \mathcal {R}(|\widehat{gd\sigma }|^2)(\omega ,t) = \mathcal {R}X_0^*(|g|^2)(\omega ,t)=T_{0}(|g|^2)(\omega ) \end{aligned}$$(1.8)for all \(t\not =0\), and
-
(2)
$$\begin{aligned} \mathcal {R}(\mathrm{1}_{B_R}|\widehat{gd\sigma }|^2)(\omega ,t)\lesssim T_{1/R}(|g|^2)(\omega ), \end{aligned}$$(1.9)
uniformly in \((\omega ,t)\in \mathbb {S}^{n-1}\times \mathbb {R}\) and \(R>0\).
By symmetry, the identity (1.8) also holds for g supported in the “lower” hemisphere \(\{x \in \mathbb {S}^{n-1}: x\cdot \omega < 0 \}\). We remark that the operator \(T_0\) appearing in Theorem 1.1 is a variant of the spherical Radon (also known as Funk) transform
However, \(T_0\) is more singular than \(A_0\) from certain points of view. For example, \(T_01\) is identically infinite, recalling the need for some care in interpreting (1.8). As a result, no Lebesgue space bounds on \(\mathcal {R}(|\widehat{gd\sigma }|^2)\) are possible. As a substitute, we have the following near-uniform bounds on \(\mathcal {R}(\mathrm{1}_{B_R}|\widehat{gd\sigma }|^2)\):
Theorem 1.2
If
then
for all \(R>0\).
Several remarks are in order. Firstly, the \(L^\infty \) norm in t is necessary for the dependence on R to be logarithmic, as may be seen quickly by considering the case \(g\equiv 1\). This is closely related to the simple observation that \(\mathcal {R}(|\widehat{gd\sigma }|^2)(\omega ,t)\) is independent of t for certain g—see Theorem 1.1. Secondly, the range of exponents in (1.11) is best-possible in the sense that the logarithmic growth must be replaced with power growth outside of this range. Finally, the power of the logarithm in (1.12) is also best-possible. Our proof of Theorem 1.2 will follow from (1.9) combined with sharp bounds on the operator \(T_\delta \). As may be expected given the logarithmic growth in R, these bounds on \(T_\delta \) will follow from uniform bounds on the “uncentred” spherical Radon transforms
for small t; here \(d\sigma _{\omega ,t}(x)=\delta (x\cdot \omega -t)d\sigma (x)\). Several Lebesgue space estimates for these operators were considered by Christ in [19], and our proof of Theorem 1.2 involves only modest additions to his results.
It should be remarked that Theorem 1.2 contains Lebesgue space bounds on the composition (1.5) that are well beyond the scope of the restriction conjecture and possible estimates for the Radon transform—the clearest example being the case \(p=q=\infty \). We also note that for \(n>2\), Theorem 1.2 has as an endpoint the inequality
which would follow (up to a factor of \(R^\varepsilon \)) from the conjectured endpoint restriction inequality (1.4), combined with a (missing) endpoint estimate for the Radon transform (see [34]). Such “improvements” are to be expected as the composition \(\mathcal {R}X_0^*\) is much less singular than either of its factors.
The estimate (1.14) provides us with an opportunity to draw attention to the potential for ideas from tomography to be effective in addressing existing problems in restriction theory. By the inversion formula for the Radon transform, \(f=c_n(-\Delta )^{\frac{n-1}{2}}\mathcal {R}^*\mathcal {R}f\); see for instance [25], which holds for a suitably regular function f on \(\mathbb {R}^n\) and constant \(c_n\), we may write
where \(\gamma _R\) is a smooth bump function adapted to \(B_R\). Hence by (1.14), the restriction conjecture (1.4) would follow if we knew that \((-\Delta )^{\frac{n-1}{2}}\mathcal {R}^*: L^n_\omega L^\infty _t\rightarrow L^{\frac{n}{n-1}}\). Unsurprisingly this is easily seen to fail, being equivalent to the statement that \(L^n(\mathbb {R}^n)\) is embedded in the homogeneous Sobolev space \(\dot{W}^{1,n-1}(\mathbb {R}^n)\). However, there are precedents for this sort of approach to problems in the wider restriction theory—see the forthcoming Sect. 1.4 for further discussion and applications.
1.3 X-ray transform bounds
As we have discussed, our motivation for considering integrals of \(|\widehat{gd\sigma }|^2\) on hyperplanes comes from integrability considerations relating to examples that generate the conditions (1.2). Of course the exponent 2 ceases to be critical in this regard if we instead consider integrals on lines. If one is prepared to sacrifice the obvious advantages of \(L^2\) line integrals, one is naturally led to look for bounds on
where X denotes the X-ray transform
Here \(\omega \in \mathbb {S}^{n-1}\) and \(v\in \langle \omega \rangle ^\perp \) parametrise the manifold \(\mathcal {M}_{1,n}\) of all doubly-infinite lines in \(\mathbb {R}^n\) in the natural way. In this setting there is a close conjectural analogue of the endpoint estimate (1.14) that sits between the restriction and Kakeya conjectures; see Sect. 4 for a statement of the latter.
Conjecture 1.3
For every \(\varepsilon >0\) there is a constant \(C_\varepsilon <\infty \) such that
for all \(R>0\).
Proposition 1.4
For \(n=2\), Conjecture 1.3 follows from Theorem 1.2. For \(n\ge 3\), although (1.14) and (1.17) are very similar, it is of course the quadratic character of the former that makes it more tractable. However, despite the exponent 2 appearing to be subcritical in the context of line integrals, it does turn out to be rather natural to consider \(X(|\widehat{gd\sigma }|^2)\), as the following elementary result illustrates (see also the forthcoming results in Sect. 1.4).
Theorem 1.5
For \(f\in L^1(\mathbb {S}^{n-1})\) and \(\omega \in \mathbb {S}^{n-1}\), let
Then, for any \(v\in \langle \omega \rangle ^\perp \),
and
with equality if g is single-signed. Here \(A_t\) and \(X_0\) are given by (1.13) and (1.6) respectively.
Theorem 1.5 suggests looking for maximal X-ray estimates of the form
For \(n=3\) at least, Theorem 1.5 allows us to provide a complete picture for the inequality (1.20).
Theorem 1.6
Suppose \(n=3\) and \(p,q\ge 1\). Then
holds if and only if
Theorem 1.6 also contains estimates that lie far beyond what may be obtained by applying known, or indeed possible, estimates for the extension operator and X-ray transform. A simple example is the case \((p,q)=(2,\infty )\). Of course \(X:L^p\not \rightarrow L^\infty \) for any p, and so no bound of this type may be deduced from the restriction conjecture. Such “improvements” have a simple heuristic explanation based on the standard wavepacket decomposition of the extension operator and a well-known (probabilistic) link between the extension operator and the X-ray transform. This link, which famously connects the restriction conjecture to the Kakeya conjecture, reveals that \(|\widehat{gd\sigma }|^2\) is, in some average sense, comparable to \(X^*(|h|^2)\) for some function \(h:\mathcal {M}_{1,n}\rightarrow \mathbb {C}\) formed from the wavepacket decomposition of g. We refer the reader to [3] or [42] for some clarification of these heuristics. The main point here is that the composition \(XX^*\) is much less singular than X. We remark that the case \((p,q)=(2,\infty )\) mentioned here is straightforward to prove in the sharp form
where constant functions are among the extremisers—see Sect. 6.
The key ingredient in our proof of Theorem 1.6 is a power-weighted \(L^p\) extension inequality considered by Bloom and Sampson [12]. Our argument will require an endpoint case left open in [12], which we present in the appendix.
1.4 Applications of tomography bounds to restriction theory
The basic principle of X-ray tomography is captured by the well-known inversion formula,
or the closely-related fact that \(c_n^{1/2}(-\Delta _v)^{1/4}X\) is an isometry between \(L^2(\mathbb {R}^n)\) and \(L^2(\mathcal {M}_{1,n})\) for a certain dimensional constant \(c_n\). We might therefore expect that estimates on \(X(|\widehat{gd\sigma }|^2)\), or its variants, may be used to address existing problems in restriction theory. A precedent for this approach may be found in the work of Planchon and Vega [35], where certain sharp Strichartz estimates for the Schrödinger equation are obtained from identities involving the Radon transform of \(|u(\cdot ,t)|^2\), where u is a solution to the free time-dependent Schrödinger equation; see also Beltran and Vega [4], where their X-ray analysis is related to the recent sharp Stein–Tomas restriction theorem of Foschi.
A particularly compelling candidate for such an application is a conjectural weighted inequality attributed to Mizohata and Takeuchi [32] (see also [2]), which states that
for any weight function w on \(\mathbb {R}^n\). This conjecture dates back to the 1970s, and remains unknown for general weights even for \(n=2\) (if w is radial then it is known, being equivalent to a certain uniform eigenvalue estimate involving Bessel functions – see [2, 17] or [1]). Motivated by the numerology of the standard Sobolev embeddings into \(L^\infty \), it is perhaps natural to embed (1.25) in a family of inequalities resembling
where \(1\le q\le \infty \). [Our reasoning here is of course merely heuristic—strictly speaking the Sobolev embedding should involve the inhomogeneous derivative \((1-\Delta )\) raised to a power strictly larger than \(\frac{n-1}{2q}\)]. Of course (1.25) is just the case \(q=\infty \), and so it is natural to try to establish a form of (1.26) for q as large as possible. To this end we may use the aforementioned fact that \(c_n^{1/2}(-\Delta _v)^{1/4}X\) is an isometry between \(L^2(\mathbb {R}^n)\) and \(L^2(\mathcal {M}_{1,n})\) to write
for all \(1\le q\le \infty \). An application of Hölder’s inequality now leads to the bound
The tentative estimate (1.26) may therefore be reduced to
In order to ensure finiteness in (1.26) and (1.29) we consider here the validity of the local variant
formulated in the spirit of (1.4). Arguing as above, (1.30) would follow from the estimate
where \(\gamma _R\) is a smooth bump function adapted to \(B_R\) (satisfying certain technical conditions that we clarify in Sect. 7). The first thing to notice is that (1.31), and hence (1.30), with \(q=1\) and \(n=2\) is a direct consequence of Theorem 1.2. Our main result here states that, for \(n=2\), the exponent q may be pushed up to 2.
Theorem 1.7
Let \(n=2\). Then (1.31), and hence (1.30), holds true as long as \(1\le q\le 2\). Moreover,
and hence
The first remark to make is that the tomography reduction presented above, as it stands at least, fails to establish the Mizohata–Takeuchi conjecture (1.25), even with a growth factor of the form \(R^\varepsilon \) in the truncation parameter R. Specifically, the estimate (1.31) is easily seen to fail for \(n=2\) when \(q>2\), even for the function \(g\equiv 1\); see the end of the proof of Theorem 1.7 for more details. In this sense the estimate (1.32) in the statement of Theorem 1.7 is best-possible.
We shall reduce Theorem 1.7 to a stronger two-weighted estimate for \(\widehat{gd\sigma }\) in the spirit of a well-known conjecture of Stein [37]; see also Córdoba [20] and Carbery–Soria–Vargas [18] for variants of this. In the context of the extension operator, Stein’s conjecture takes the form
where \(\mathcal {M}\) is (possibly a variant of) the Kakeya-type maximal operator
or equivalently,
where in this last expression the supremum is taken over all 1-neighbourhoods of line segments in \(\mathbb {R}^n\) of length R, parallel to the direction \(\omega \in \mathbb {S}^{n-1}\). Of course (1.34), with maximal operator given by (1.35), implies (1.25) since \(\Vert \mathcal {M}w\Vert _\infty =\Vert Xw\Vert _\infty \). The proposed inequality (1.34) is intended to clarify the relationship between the restriction and Kakeya conjectures, allowing the conjectural \(L^p-L^q\) bounds for the extension operator to follow from those for \(\mathcal {M}_R\). Specifically, it is straightforward to verify that the Kakeya (maximal) conjecture
stated here in an equivalent scaled form, would imply the endpoint extension inequality (1.4) via (1.34) by an elementary duality argument. We refer to [27, 47] and the references there for further discussion of the Kakeya conjecture, which is fully resolved only when \(n=2\). We stress however that Stein’s conjecture, with a Kakeya-type maximal operator \(\mathcal {M}\) as above, is not satisfactorily resolved even for \(n=2\), unless the weight w has some very specific structure—see, in particular, [1, 2, 7, 17].
Our next theorem provides a variant of Stein’s conjecture for the extension operator in the case \(n=2\). Its statement naturally involves a bilinear analogue of the linear operator \(T_\delta \) appearing in Sect. 1.2. It will be convenient to define this initially in abstract terms, as this sort of bilinearisation will also arise in the context of the spherical Radon transform \(A_t\), also defined in Sect. 1.2. For an operator T, mapping functions on \(\mathbb {S}^{n-1}\) to functions on \(\mathbb {S}^{n-1}\), we define its bilinearisation BT by the formula
where \(\widetilde{g}(\omega )=\overline{g(-\omega )}\) and \(R_\omega (\xi ) = \xi - 2(\xi \cdot \omega ) \omega \) is the reflection of \(\xi \) in the hyperplane \(\langle \omega \rangle ^\perp \).Footnote 1 In particular we have
Theorem 1.8
Let \(n=2\). Then for all \(R\gg 1\),
where
and \(|g|_{1/R}\) is a suitable mollification of |g| at scale 1/R, such as that given by convolution with the Poisson kernel on \(\mathbb {S}^1\).
As we shall see in Sect. 7, the auxiliary bilinear operator \(BT_{\delta }\) in Theorem 1.8 is very well behaved, satisfying the bounds
In particular, our Stein-type inequality (1.39), when combined with (1.40), immediately implies our Mizohata–Takeuchi-type inequality (1.33). Similarly, (1.39) and (1.41), combined with the Cauchy–Schwarz inequality, imply the \(n=2\) endpoint restriction inequality (1.4), thanks to the fact that the controlling operator \(\mathcal {S}\), like \(\mathcal {M}_R\), satisfies suitable bounds on \(L^2(\mathbb {R}^2)\)—indeed \(\mathcal {S}\) is better behaved than \(\mathcal {M}_R\) in this regard as \(\Vert \mathcal {S}w\Vert _{L^2(\mathbb {S}^1)}\equiv \sqrt{2\pi }\Vert w\Vert _{L^2(\mathbb {R}^2)}\).
The operators \(\mathcal {S}\) and \(\mathcal {M}\) have notable similarities and differences. They are of course related via the numerology of the classical Hilbert–Sobolev embedding into \(L^\infty (\mathbb {R})\). They differ in that \(\mathcal {M}\) is monotone in the sense that \(\mathcal {M}f \le \mathcal {M}\tilde{f}\) if \(0\le f\le \tilde{f}\), while \(\mathcal {S}\), which involves derivatives, is not. It is interesting to compare Theorem 1.8, and our approach to it, with the results and methods of Carbery and Seeger in [16].
In higher dimensions our results in the direction of Theorem 1.7 are more complicated, although nonetheless they do constitute an improvement over what may be obtained from assuming the restriction conjecture—see the forthcoming Theorem 7.2 for details.
It may be interesting to observe that our exploratory results from Sects. 1.2 and 1.3 also bear some relation to the conjectures of Stein and Mizohata–Takeuchi. First of all, Theorem 1.1, and the self-adjointness of \(T_0\) imply that
provided the functions g and u satisfy a certain mutual support condition, ensuring finiteness of the expressions involved. This may be viewed as a certain improvement of (1.25), or indeed (1.34), for weights w in the image of \(\mathcal {R}^*\).
Theorems 1.2 and 1.6 enjoy a rather different sort of interaction with (1.25). In particular, (1.23) allows one to deduce the Stein–Tomas restriction theorem
from (1.25)—one simply writes \(|\widehat{gd\sigma }|^4=|\widehat{gd\sigma }|^2w\) where \(w=|\widehat{gd\sigma }|^2\). Similarly, when \(n=2\), Theorem 1.2 shows that the endpoint restriction inequality (1.4) follows from (1.25). We remark in passing that this very direct link between (1.25) and the Stein–Tomas restriction theorem fails for \(n>3\) as the inequality
ceases to hold when the exponent \(\tfrac{4}{n-1}\) falls below 2.
1.5 Contextual remarks
This paper emerged from an interest in further exploring ways in which \(L^2\) methods might be applied to Fourier restriction theory. There have been a number of important attempts to “reformulate” questions in restriction theory with either the input g or output \(\widehat{gd\sigma }\) belonging to a space with quadratic characteristics. An early example is the two-dimensional reverse Littlewood–Paley inequality of Córdoba and C. Fefferman (see [20, 23]), which is closely-related to the \(\ell ^2\)-decoupling inequalities (also known as Wolff inequalities) developed recently by Bourgain, Demeter and others [14]. These inequalities are intimately related to the multilinear restriction theory, where the analogues of the endpoint estimate (1.4) are often on \(L^2\)—see for example [5, 8, 9, 24]. Perhaps the most natural setting is that of weighted \(L^2\) spaces as discussed above—see for example [2, 7, 17, 21]. As we have already mentioned, particular inspiration for our work is that of Planchon and Vega [35]—see also [4, 6, 44]. There are points of contacts with other works, such as [10], where \(L^p\) averages of the extension operator over spheres are studied, or [15], where restrictions of eigenfunctions of the Laplace–Beltrami operator to submanifolds are considered.
Finally, we remark that one might sensibly expect some of the above considerations to generalise to \(T_{k,n}(|\widehat{gd\sigma }|^2)\), where \(T_{k,n}\) denotes the k-plane transform in \(\mathbb {R}^n\) with \(1<k<n-1\)—indeed there are some related results of this type already in [4]. In particular there is an evident (conjectural) k-plane generalisation of (1.14) and (1.17) whose statement we leave to the reader.
1.5.1 Organisation
The proofs of the theorems and propositions stated above will be presented in the following sections in the order that they appear.
2 Proof of Theorem 1.1
We begin by establishing the elementary identity (1.8), for which we may suppose that \(\omega =e_n\) by rotation-invariance. By the support condition on g we may write \(\widehat{gd\sigma }(x',t)=\widehat{G}_t(x')\), where
Consequently, by Plancherel’s theorem on \(\mathbb {R}^{n-1}\),
It remains to show that \(\mathcal {R}(X_0^*|g|^2)(e_n,t) = T_0(|g|^2)(e_n)\) for all \(t\ne 0\). Using (1.7), polar coordinates, and the support condition on g,
whenever \(t\not =0\).
We now turn to (1.9), which will follow by similar reasoning to the above, combined with a routine mollification argument. Again, by rotation-invariance, we may assume that \(\omega =e_n\). Suppose that \(\Psi \in C_c^{\infty }(\mathbb {R}^{n-1})\) is such that \(\widehat{\Psi }\) is equal to 1 on B(0, 1), and \(\Psi _R(\xi ')=R^{n-1}\Psi (R\xi ')\) for each \(R>0\). By Plancherel’s theorem and (2.1), we have that
By symmetry, it will suffice to bound the above expression with g supported in the upper hemisphere \(\mathbb {S}^{n-1}_+\). By the Cauchy–Schwarz inequality,
and hence using Fubini’s theorem,
Since \(|\Psi _R(\eta ')| \lesssim _N R^{n-1} (1+|R\eta '|)^{-N}\) for any \(N\in \mathbb {N}\), an elementary computation reveals that
which establishes (1.9).
3 Proof of Theorem 1.2
By Theorem 1.1, it suffices to prove the following:
Proposition 3.1
If \(1\le p,q\le \infty \) and
then
for all \(\delta >0\).
We shall prove this proposition by reducing it to an endpoint bound on the operator \(A_t\) defined in (1.13). First of all, we note that if (3.2) holds for some p, q, then it also holds for \(\tilde{p},\tilde{q}\) satisfying \(\tilde{p} \ge p,\tilde{q}\le q\) by Hölder’s inequality. The case \(p=q\) follows immediately from the elementary inequality
and so, by interpolation, it is enough to prove (3.2) when \(p'=q=n\).
Of course,
and so it will be enough to prove the following:
Lemma 3.2
uniformly in t sufficiently small.
When \(n=3\), Lemma 3.2 was obtained in [19, Section 6], and moreover it was shown that
In general dimensions, (3.3) was established for \(t=0\), also in [19], and so we only need to observe a proof of (3.3) that is suitably stable under perturbations of t about 0. For this we appeal to the well-known theory of Radon-like transforms satisfying a rotational curvature condition. In order to state an appropriate result in this context, we let \(\psi \) be a compactly-supported cut-off function on \(\mathbb {R}^{n-1}\times \mathbb {R}^{n-1}\) and suppose that \(\Phi \in C^\infty (\mathbb {R}^{n-1}\times \mathbb {R}^{n-1})\) satisfies
for all \((x,y) \in \{\Phi (x,y)=0\} \cap \mathrm{supp}(\psi )\).
Lemma 3.3
If \(\Phi \) satisfies the rotational curvature condition (3.4) on the support of \(\psi \), then the averaging operator
satisfies \(\Vert Sf \Vert _{L^n(\mathbb {R}^{n-1})} \le C(\varepsilon ) \Vert f \Vert _{L^{\frac{n}{n-1}}(\mathbb {R}^{n-1})}\).
We refer to [43] for a short proof of this well-known result, and to [36, Chap XI, Sec 3] for further context.
We now turn to the proof of Lemma 3.2. We begin by fixing a parameter \(0<\eta \ll 1\), which will be taken sufficiently small (depending on at most n), and let \(\{U_\alpha \}\) be a cover of \(\mathbb {S}^{n-1}\) by spherical caps
indexed by a (maximal) \(O(\eta )\)-separated set of points \(\{\alpha \}\) on \(\mathbb {S}^{n-1}\). Restricting attention to \(|t|\le \eta \), and writing \( A_t^{\alpha ,\beta }f=1_{U_\beta }A_t(1_{U_\alpha }f), \) we have
Using the support property of the distributional kernel of \(A_t\), we have that \(A_t^{\alpha ,\beta }=0\) if \(\alpha \cdot \beta \gtrsim \eta \), and so it suffices to show that
whenever \(\alpha \cdot \beta \lesssim \eta \). By enlarging \(U_\alpha \) and \(U_\beta \) by a constant factor (depending on at most n), and enlarging \(\eta \) by a suitable constant factor, we may reduce to proving (3.5) in the case \(\alpha \cdot \beta =0\). By rotation-invariance, we may further suppose that \(\alpha \) and \(\beta \) are the standard basis vectors \(e_{n-1}\) and \(e_{n-2}\) respectively. Parametrising \(U_\alpha \) and \(U_\beta \) in the natural way, namely via the mappings
and
it suffices to prove that for \(\eta \) sufficiently small,
on \(B(0;\eta )\times B(0;\eta )\), uniformly in \(|t|\le \eta \), where \(\Phi _t(x,y)=\Phi _0(x,y)-t\), and
An elementary calculation now reveals that \(\text{ rotcurv }(\Phi _0)(0,0)=1\), and so provided \(\eta \) is taken sufficiently small (depending only on n), the inequality (3.6) follows for \(|t|\le \eta \) for sufficiently small \(\eta \) by the smoothness of \({\Phi _0}\). Setting \(\psi (x,y) = \mathrm{1}_{U_\alpha }(y)\mathrm{1}_{U_\beta }(x)\) and \(\Phi = \Phi _t\), we conclude (3.5) by an application of Lemma 3.3.
We end this section by showing that the range of exponents (1.11) in Theorem 1.2 is best-possible using Knapp-type examples related to those in [43]. In view of (1.3), the necessity of \(r=\infty \) follows quickly by applying (1.12) with \(g\equiv 1\). To obtain the other conditions we define
for each \(\delta >0\) and \(1\le m\le n\). A standard stationary phase argument reveals that
on a large portion of \(S_m\). On the other hand, elementary geometric considerations reveal that
for all \(1\le m \le n\). The first of these lower bounds takes account of only tangential interactions between \(S_m\) and the \((n-1)\)-planes, while the second takes account of only transversal interactions. Applying this lower bound to (1.12), along with (3.8) and the fact that \(\Vert g_m\Vert _p^2 \sim \delta ^{2\frac{n-m}{p}}\), we obtain the necessary conditions
for all \(1\le m \le n\). The conditions (1.11) now follow by considering \(m=1\) and \(m=n-1\) here.
4 Proof of Proposition 1.4
We begin by observing that (1.17) is equivalent to
by scaling. As we clarify next, uncertainty principle considerations essentially allow one to replace the integration along line segments in (4.1) by averaging on \(\frac{1}{R}\)-neighbourhoods of line segments, whereby the statement (4.1) may be rephrased in terms of the classical Kakeya maximal function. While this may be expected, the details of this reduction are not altogether routine for \(n>3\). The distinction arises due to the fact that \(\frac{2}{n-1}<1\) when \(n>3\), and the subsequent inapplicability of Minkowski’s inequality. A similar issue arises in the context of multilinear restriction estimates, which typically have Lebesgue exponents below 1—see [40] for further discussion.
For \(\delta >0\), a locally integrable function \(f:\mathbb {R}^n\rightarrow \mathbb {C}\) and \(\omega \in \mathbb {S}^{n-1}\) we define the Kakeya maximal function \(\mathcal {K}_{\delta }\) by
where the supremum is taken over all \(\delta \)-tubes parallel to the direction \(\omega \). Here, as usual, a \(\delta \)-tube is \(\delta \)-neighbourhood of a unit line segment, and its direction is that of its central line. As is well-known [3, 47], the restriction conjecture (1.4) implies the estimate
which is referred to as the Kakeya maximal conjecture; we refer back to (1.36) for an equivalent statement where the tubes are scaled to have unit width. The following lemma states, to all intents and purposes, that one may replace X by \(\mathcal {K}_{1/R}\) in (4.1).
Lemma 4.1
Let \(n\ge 2\) and \(P_t\) be the Poisson kernel for \(t>0\):
-
(1)
The inequality (4.1) implies
$$\begin{aligned} \big \Vert \mathcal {K}_{1/R}( \mathrm{1}_{B_1} |\widehat{gd\sigma }(R\cdot )|^{\frac{2}{n-1}} ) \big \Vert _{L^n(\mathbb {S}^{n-1})} \lesssim _\varepsilon R^\varepsilon R^{-1} \Vert g\Vert _{L^{\frac{2n}{n-1}}(\mathbb {S}^{n-1})}^{\frac{2}{n-1}}. \end{aligned}$$(4.3) -
(2)
Conversely, (4.1) follows from
$$\begin{aligned} \big \Vert \mathcal {K}_{1/R}\big ( \mathrm{1}_{B_1} (P_{1/R}*|\widehat{gd\sigma }(R\cdot )| )^{\frac{2}{n-1}} \big ) \big \Vert _{L^n(\mathbb {S}^{n-1})} \lesssim _\varepsilon R^\varepsilon R^{-1} \Vert g\Vert _{L^{\frac{2n}{n-1}}(\mathbb {S}^{n-1})}^{\frac{2}{n-1}}. \end{aligned}$$(4.4)
Remark
As we have already indicated, when \(n=2, 3\) the statement of Lemma 4.1 follows by an entirely standard mollification argument—indeed it is straightforward to see that (4.1) and (4.3) are equivalent in those cases. As we shall see, the presence of the Poisson kernel \(P_t\) above stems from the convenient fact that it is essentially constant, or comparable to itself, at scale O(t); that is, \(P_t(y)\lesssim P_t(x)\) whenever \(|x-y|\lesssim t\), for suitably chosen implicit constants.
Proof
Part (1) is a direct consequence of the pointwise inequality \(\mathcal {K}_{1/R}f(\omega )\lesssim \sup _v Xf(\omega ,v)\), which holds for any nonnegative f with support in the unit ball, and so we focus on Part (2). Since \(P_1\) is the Fourier transform of \(e^{-2\pi |\cdot |}\) we have that
so that after scaling it follows that
Since \(P_{1/R}\) is comparable to itself at scale \(O(R^{-1})\) as discussed above, we may conclude that
whenever \(|x-x'|\lesssim \frac{1}{R}\). Hence
whenever \(|v-v'|\lesssim \frac{1}{R}\), and so by averaging in such \(v'\) we obtain
uniformly in v.\(\square \)
We now turn to the proof of Proposition 1.4, beginning with the assertion that the restriction conjecture implies Conjecture 1.3. By Lemma 4.1 this may be reduced to showing that (1.4) implies (4.4). Since (1.4) implies (4.2), we have
where
and
for \(j\ge 2\). For the first term, after using Minkowski’s inequality to remove the fixed averaging operator \(P_{1/R}*\), we have
by a further application of (1.4). The estimates for the remainder terms \(\mathrm{I}_j\) are similar and summable in j thanks to the decay of \(P_t\). Specifically, for each \(x\in B_1\),
Applying (1.4) we obtain
The inequality (4.4) now follows by combining the above estimates and summing in j.
To complete the proof of Proposition 1.4 it remains to show that (4.1) implies (4.2). It is well known that (4.2) has an equivalent dual form which states that
holds true for all families \(\mathbb {T}\) of \(R^{-\frac{1}{2}}\)-tubes contained in an O(1) ball whose directions form a \(R^{-\frac{1}{2}}\)-separated subset of \(\mathbb {S}^{n-1}\); see [42] for instance. So it suffices to show (4.5) assuming (4.1). We begin by establishing the natural Kakeya-type consequence of (4.1), or equivalently (1.17), which follows by a routine randomisation argument.
Lemma 4.2
Suppose that (4.1) holds, the family of tubes \(\mathbb {T}\) is as above and
Then
where the implicit constant is independent of \(\mathbb {T}\).
Proof
For a tube \(T\in \mathbb {T}\), let \(\omega (T) \in \mathbb {S}^{n-1}\) denote its direction, and let \(\mathcal {C}(\omega ) = B(\omega ,cR^{-\frac{1}{2}})\cap \mathbb {S}^{n-1}\) for some sufficiently small constant c depending only on the dimension. Elementary considerations reveal that for suitably chosen modulations \(e_T\), the functions \(\phi _T:=1_{\mathcal {C}(\omega (T))}e_T\) satisfy
uniformly in \(T\in \mathbb {T}\). Note also that the constant c may be chosen small enough so that the caps \(\{\mathcal {C}(\omega (T) \}_{T\in \mathbb {T}}\) are disjoint, since the directions of tubes are \(R^{-\frac{1}{2}}\)-separated. Next we let \(\nu =\{ \nu _T\}_{T\in \mathbb {T}}\) be a sequence of independent random variables taking values in \(\{-1,1\}\) with equal probability, and
Taking expectations, using Khintchine’s inequality and (4.7), we have
By the linearity of X, the inequality (4.8), Minkowski’s inequality and (4.1), we conclude that
as required.\(\square \)
In light of Lemma 4.2 we have only to show the implication from (4.6) to (4.5). Using (4.6) and the fact that \(\mathcal {K}_{R^{-1/2}}F(\omega ) \lesssim \sup _v XF(\omega ,v)\), we have
Since \(\mathcal {K}_{R^{-1/2}}F\) is essentially constant at scale \(R^{-\frac{1}{2}}\), and \(|\mathcal {C}(\omega (T))| \sim R^{-\frac{n-1}{2}}\),
Here the caps \(\mathcal {C}(\omega )\) are as in the proof of Lemma 4.2. Using Hölder’s inequality, (4.9) and the fact that
we conclude that
as claimed. \(\square \)
5 Proof of Theorem 1.5
By Fubini’s theorem,
Consequently,
Defining the projection \(\pi _\omega \) by \(\pi _\omega (\xi ) = \xi -(\xi \cdot \omega ) \omega \), we have
Hence
and so,
establishing (1.18). To establish (1.19) from (1.18) we first apply the elementary bound
to obtain
Note that there is equality in (5.3) if g is single-signed as \(X(|\widehat{gd\sigma }|^2)(\omega ,0) = 2\pi S(|g|)(\omega )^2\) in that case. Since \(A_t(|g|)(\omega )=\widehat{|g|d\sigma }_{\omega ,t}(0)\), it follows that
by reversing the argument in (5.2).
6 Proof of Theorem 1.6
Although Theorem 1.6 makes reference to three dimensions only, much of our argument continues to function in all dimensions \(n\ge 2\). In particular, we shall reduce Theorem 1.6 to certain weighted inequalities for the extension operator, which are potentially of independent value, and are naturally presented in any dimension. Consequently we shall work in general \(n\ge 2\) dimensions much of the time. Of course, the necessity of the logarithmic-loss in Theorem 1.2 establishes that no global estimates of the form (1.20) are available when \(n=2\), since \(\mathcal {R}=X\) in that case. For \(n>3\), our argument does yield estimates of the form (1.20), although it appears to fall short of providing a full characterisation of the admissible exponents.
As we shall see next, Theorem 1.5 allows us to reduce the estimate (1.20) to a weighted estimate for the extension operator. This is the content of our next lemma, which is phrased in terms of the classical Lorentz spaces, see [39].
Lemma 6.1
For all \(q\in [1,\infty )\),
Moreover, equality holds in (6.1) when g is single-signed and \(q=1\).
Proof
By (1.19),
with equality when g is single-signed. Furthermore, (6.2) allows us to assume \(g\ge 0\) for the remainder of our argument. Estimating further, we have
Here we have used the change of variables \((r,\omega )\in \mathbb {R}_{+} \times \mathbb {S}^{n-1} \mapsto x \in \mathbb {R}^n\), Hölder’s inequality on Lorentz spaces and the fact that \(|\cdot |^{-\frac{n}{q'}} \in L^{q',\infty }(\mathbb {R}^n)\). Hence
which, together with (6.2), concludes the proof of (6.1). Finally we note that every inequality in the above may be replaced by an equality when \(q=1\) and g is single-signed.\(\square \)
As we shall clarify below, Lemma 6.1 allows us to reduce Theorem 1.6 to the following proposition.
Proposition 6.2
Let \(X= (\frac{2}{3},\frac{1}{3}), Y=(\frac{3}{4},\frac{1}{2}), Z = (\frac{3}{4},1)\) and \(\gamma =\gamma (p,q) = \frac{1}{q} -\frac{1}{p'}\). Then
for all \((\frac{1}{p},\frac{1}{q}) \in (X,Y) \cup (Y,Z)\). Here we use (A, B) to denote the open line segment between two points \(A,B \in [0,1]^2\), and \(\langle x\rangle =(1+|x|^2)^{\frac{1}{2}}\).
Proposition 6.2 includes an endpoint case of some classical results of Bloom and Sampson [10]. We refer the reader to the appendix for further discussion and proofs of such statements in all dimensions.
It remains to deduce Theorem 1.6 from Proposition 6.2. We have only to establish (1.21) at the endpoint \((\frac{1}{2},0)\) and points in \((X,Y) \cup (Y,Z)\), since the remaining bounds follow from these by Hölder’s inequality and interpolation. We begin with the point \((\frac{1}{2},0)\), which follows quickly from Theorem 1.5, and indeed holds in all dimensions \(n\ge 3\). As is well-known, the distribution \(d\sigma _{\omega ,t}\) has total mass \(\mathfrak {C}_n(1-t^2)^{\frac{n-3}{2}}\), where
Hence by the Cauchy–Schwarz inequality,
and so
by (1.18). We note that in the case \(n=3\) we obtain the sharp inequality (1.23) since \(\mathfrak {C}_3 = \frac{\pi }{2}\). Indeed, if we choose \(g \equiv 1\) and \(v=0 \in \langle \omega \rangle ^\perp \), then we have from \(\int _{\mathbb {S}^2}\, d\sigma (\xi ) = 2\pi \) that
It remains to deduce (1.21) at an arbitrary point \((\frac{1}{p},\frac{1}{q}) \in (X,Y)\cup (Y,Z)\), beginning with the segment (X, Y) where we have \( \frac{1}{p} = \frac{1}{2} + \frac{1}{2q}\). By Lemma 6.1 it suffices to establish
Since the exponent \(\gamma = \frac{3}{2q} - \frac{1}{2}\) for \((\frac{1}{p}, \frac{1}{q}) \in (X,Y)\), this is a consequence of Proposition 6.2 thanks to the elementary estimate
The reduction for the segment (Y, Z) follows similarly.
We conclude this section by establishing the necessity of (1.22) in Theorem 1.6. To this end, we employ the example (3.7) with \(m=1\). As before, we see from elementary geometric considerations that
In view of (3.8) and \(\Vert g_1\Vert _p^2 \sim \delta ^{\frac{4}{p}}\), (1.21) implies (1.22), with the exception of the condition \((\frac{1}{p},\frac{1}{q}) \ne (\frac{3}{4},\frac{1}{2})\). To see this, we need a more delicate lower bound on \( \Vert X(\mathrm{1}_{S_1}) \Vert _{L^2_\omega L^\infty _v}\) which takes into account contributions from transversal interactions at all scales. This reveals that
which of course forces \((\frac{1}{p},\frac{1}{q}) \ne (\frac{3}{4},\frac{1}{2})\).
7 X-ray estimates with applications to restriction theory
Here we provide the proofs of Theorems 1.7 and 1.8, and establish some analogous results in higher dimensions. We begin with a simple geometrical observation, valid in all dimensions, and involving the operator \(BA_t\), the bilinear version of \(A_t\) given by (1.37). Explicitly, for nonnegative functions \(g_1,g_2\) on \(\mathbb {S}^{n-1}\), \(t\in (-1,1)\) and \(\omega \in \mathbb {S}^{n-1}\), we have
This operator emerges naturally in this context since
which follows from the fact that if \(\xi \in \mathbb {S}^{n-1}\) then \( x-\xi \in \mathbb {S}^{n-1} \Leftrightarrow \frac{x}{|x|} \cdot \xi - \frac{|x|}{2} =0 . \)
Of course (7.1) is rather special in the case \(n=2\) since
In particular, when \(n=2\) and \(g:\mathbb {S}^1\rightarrow [0,\infty )\), we have
where \(e_x=\frac{x}{|x|}\).
7.1 Proof of Theorem 1.8
By the tomography reduction (1.27), the proof of Theorem 1.8 may be reduced to the following lemma. We clarify first that the cutoff function \(\gamma _R\) in the statement of Theorem 1.8 should be taken of the form \(\gamma _R(x)=\gamma (x/R)\), where \(\gamma (x)=\psi (x)^3\) for some \(\psi \in \mathcal {S}(\mathbb {R}^2)\) such that \(\widehat{\psi }\) is nonnegative, radially decreasing and supported in the unit ball. As will become clear, this specific structure is imposed merely for technical convenience.
Lemma 7.1
For \(R\gg 1\), \(\omega \in \mathbb {S}^1\), and \(g:\mathbb {S}^1\rightarrow \mathbb {C}\),
Proof
By elementary considerations we may reduce to the situation where g is nonnegative and symmetric in the sense that \(g(-\cdot )=g\). By the rotation invariance of the expressions involved, it suffices to handle the case \(\omega = e_2\). Moreover, since \(\gamma _R=\psi _R^3\),
With this in mind, by Plancherel’s theorem we have
First we claim that
where \(g_{1/R}\) is the function g mollified at scale 1/R using the Poisson kernel on \(\mathbb {S}^1\). To see this we write \(x = r(\cos \theta ,\sin \theta )\) and \(y=(\cos \phi ,\sin \phi )\), and observe that
Since \(\widehat{\psi }\) is assumed to be radially decreasing and supported in the unit ball, that is, \(\widehat{\psi }(x) = h(|x|)\) for some smooth and decreasing function h supported on [0, 1], we have that
Once we see
then (7.4) follows, where \(p_{s}(\theta ) = (1-s^2)/(1-2s\cos \theta +s^2)\), \(0\le s <1\), is the Poisson kernel. Since h is supported on [0, 1] and \(R\gg 1\), we only need to consider the case when \(r^2 -2r \cos (\theta -\phi ) +1 \lesssim R^{-2}\). In particular, it suffices to show (7.5) when \(r = 1+O(R^{-1})\) and \(\theta - \phi = O(R^{-1})\). Minimising with respect to r we have \(r^2 -2r \cos (\theta -\phi ) +1 \ge \sin ^2 (\theta -\phi ) \), and so
On the other hand, since \(R\gg 1\) and \(\theta -\phi = O(R^{-1})\), we have
which yields (7.5) and hence (7.4). Using this, polar coordinates, and the assumption that \(\psi \) has Fourier support in the unit ball, we have
Consequently, by further use of polar coordinates,
Dominating \(\widehat{\psi }_R\) pointwise by a suitable constant multiple of the function
for a suitably large natural number N, we have
where we have used the local constancy property of the function \(\Phi _{1/R}\) at scale 1/R. Using the formula (7.3) and the locally constant property of \(g_{1/R}\) at scale \(R^{-1}\) we obtain
Consequently we conclude that
since g is assumed to be symmetric.\(\square \)
7.2 Proof of Theorem 1.7
As we observe in the introduction, (1.31) with \(q=1\) follows immediately from Theorem 1.2, and hence it suffices to prove (1.32). As we explain in the introduction, thanks to Theorem 1.8, the proof of Theorem 1.7 may be reduced to establishing (1.40).
Proof of (1.40)
We assume, as we may, that \(g_1,g_2\) are nonnegative and symmetric. Writing \(\omega = (\cos \theta ,\sin \theta )\) and \(\xi = (\cos \varphi ,\sin \varphi )\) in (1.38), we have
where \(G_i(\varphi ) = g_i(\cos \varphi ,\sin \varphi )\) for \(i=1,2\). After considering suitable rotations, the inequality (1.40) may be reduced to showing that
To do this we use a localisation argument of Kenig and Stein from their analysis of bilinear fractional integrals in [28]. Since we allow a logarithmic loss in R, and have
![](http://media.springernature.com/lw367/springer-static/image/art%3A10.1007%2Fs00208-020-02131-0/MediaObjects/208_2020_2131_Equ209_HTML.png)
it suffices to prove that
![](http://media.springernature.com/lw393/springer-static/image/art%3A10.1007%2Fs00208-020-02131-0/MediaObjects/208_2020_2131_Equ76_HTML.png)
uniformly in the (dyadic) scale \(0<\lambda <1\). For each \(\lambda \), we decompose \([0,2\pi ] = \bigcup _{i=1}^{O(\lambda ^{-1})} I_i(\lambda )\), where \(I_i(\lambda ) = [(i-1)\lambda ,i\lambda ]\), and use the Cauchy–Schwarz inequality to obtain
![](http://media.springernature.com/lw368/springer-static/image/art%3A10.1007%2Fs00208-020-02131-0/MediaObjects/208_2020_2131_Equ210_HTML.png)
Notice that \(\theta \pm \varphi \in J_i(\lambda ):= [(i-10)\lambda ,(i+10)\lambda ]\) whenever \(\theta \in I_i(\lambda )\) and \(\varphi \sim \lambda \), and so we conclude that
![](http://media.springernature.com/lw435/springer-static/image/art%3A10.1007%2Fs00208-020-02131-0/MediaObjects/208_2020_2131_Equ211_HTML.png)
thanks to the almost disjointness of the intervals \(J_i(\lambda )\).\(\square \)
Remark
-
(1)
The argument above raises the question of the validity of weighted inequalities of the form
$$\begin{aligned}&\int _0^{2\pi } \Bigg ( \int _0^{2\pi } \frac{f_1(\theta -\varphi )f_2(\theta +\varphi )}{|\varphi | + \delta } \, d\varphi \Bigg )^\frac{1}{2}\, w(\theta )d\theta \\&\quad \lesssim \log (\delta ^{-1}) \Bigg ( \int _0^{2\pi } |f_1| w\Bigg )^\frac{1}{2} \Bigg ( \int _0^{2\pi } |f_2| w \Bigg )^\frac{1}{2}. \end{aligned}$$Indeed, if this were true with a weight of the form \(\mathcal {S}w\), then (1.39) would reduce to
$$\begin{aligned} \int _{B_R} |\widehat{gd\sigma }|^2 w \lesssim \log (R) \int _{\mathbb {S}^1} |g|_{1/R}(\omega )^2 \mathcal {S}w(\omega )\, d\sigma (\omega ), \end{aligned}$$which is closer to the intended form of Stein’s conjecture than (1.39). Perhaps more realistically one might look for a Fefferman–Stein type estimate of the form
$$\begin{aligned}&\int _0^{2\pi } \Bigg ( \int _0^{2\pi } \frac{f_1(\theta -\varphi )f_2(\theta +\varphi )}{|\varphi | + \delta } \, d\varphi \Bigg )^\frac{1}{2}\, w(\theta )d\theta \\&\quad \lesssim \log (\delta ^{-1}) \Bigg ( \int _0^{2\pi } |f_1| Mw\Bigg )^\frac{1}{2} \Bigg ( \int _0^{2\pi } |f_2| Mw \Bigg )^\frac{1}{2}, \end{aligned}$$for an appropriate maximal operator M. We do not pursue this here, but note some closely-related results in the context of bilinear fractional integrals—see, for example [33], and the references there.
-
(2)
As promised in the introduction, here we clarify the necessity of \(q\le 2\) for (1.31). It suffices to show that
$$\begin{aligned} \big \Vert |\partial _v| X( \gamma _R |\widehat{d\sigma }|^2 )(e_2,ve_1) \big \Vert _{L^{q'}_v(\mathbb {R})} \gtrsim \left\{ \begin{array}{cc} R^{\frac{1}{2}(\frac{1}{q'}-\frac{1}{2})}, \;\;\; &{}\mathrm{if}\, q\ne 2 \\ \log R,\;\;\; &{}\mathrm{if}\, q=2. \end{array} \right. \end{aligned}$$(7.8)Here we are identifying \(\langle e_2\rangle ^\perp \) with \(\mathbb {R}\) in the natural way. The first thing to notice is that
$$\begin{aligned} \partial _{x_1}(|\widehat{d\sigma }|^2)(x) = -8\pi ^2 \frac{x_1}{|x|} J_0( |x|) J_1( |x|), \end{aligned}$$(7.9)where \(J_0\) and \(J_1\) are the Bessel functions of order 0 and 1 respectively, and \(x=(x_1,x_2)\). Since \(|J_0(r)|, |J_1(r)| \lesssim (1+|r|)^{-\frac{1}{2}}\) ([45]), it follows that
$$\begin{aligned}&\big |X( \partial _{x_1}(|\widehat{d\sigma }|^2) )(e_2,ve_1) \big | \lesssim \int _0^\infty \frac{|v|}{v^2+s^2}\, ds \sim 1. \end{aligned}$$Let \(\nu \in \mathcal {S}(\mathbb {R})\) be a bump function whose Fourier support is contained in \([-1,1]\). By the boundedness of the Hilbert transform, and the fact that \( \partial _vXf(e_2,ve_1) = X( \partial _{x_1}f )(e_2,ve_1) \),
$$\begin{aligned}&\big \Vert |\partial _v| X( \gamma _R |\widehat{d\sigma }|^2 )(e_2,ve_1) \big \Vert _{L^{q'}_v(\mathbb {R})} \\&\quad \sim \big \Vert \partial _v X( \gamma _R |\widehat{d\sigma }|^2 )(e_2,ve_1) \big \Vert _{L^{q'}_v(\mathbb {R})} \\&\quad = \big \Vert X( [\partial _{x_1}\gamma _R]\cdot |\widehat{d\sigma }|^2 + \gamma _R \cdot \partial _{x_1} (|\widehat{d\sigma }|^2) )(e_2,ve_1) \big \Vert _{L^{q'}_v(\mathbb {R})} \\&\quad \ge \big \Vert X( \gamma _R \partial _{x_1}(|\widehat{d\sigma }|^2) )(e_2,ve_1) \big \Vert _{L^{q'}_v(\mathbb {R})}\\&\qquad - \big \Vert X( [\partial _{x_1}\gamma _R] |\widehat{d\sigma }|^2 )(e_2,ve_1) \big \Vert _{L^{q'}_v(\mathbb {R})}\\&\quad \ge \big \Vert X( \gamma _R \partial _{x_1}(|\widehat{d\sigma }|^2) )(e_2,ve_1) \nu _{\sqrt{R}} \big \Vert _{L^{q'}_v(\mathbb {R})}\\&\qquad -\big \Vert X( [\partial _{x_1}\gamma _R] |\widehat{d\sigma }|^2 )(e_2,ve_1) \big \Vert _{L^{q'}_v(\mathbb {R})}\\&\quad \ge \big \Vert X( \partial _{x_1}(|\widehat{d\sigma }|^2) )(e_2,ve_1) \nu _{\sqrt{R}} \big \Vert _{L^{q'}_v(\mathbb {R})}\\&\qquad -\big \Vert X( (1-\gamma _R)\partial _{x_1}(|\widehat{d\sigma }|^2) )(e_2,ve_1) \nu _{\sqrt{R}} \big \Vert _{L^{q'}_v(\mathbb {R})}\\&\qquad -\big \Vert X( [\partial _{x_1}\gamma _R] |\widehat{d\sigma }|^2 )(e_2,ve_1) \big \Vert _{L^{q'}_v(\mathbb {R})}\\&\quad =: I_1-I_2-I_3. \end{aligned}$$Using the formula (7.9) it is straightforward to see that \( I_2+I_3 = O(1) \). Note that we used the auxiliary scale \(\sqrt{R}\) here to ensure that \(I_2 = O(1)\). For \(I_1\), an application of the Fourier inversion formula and (7.3) reveals that
$$\begin{aligned} HX( \partial _{x_1}(|\widehat{d\sigma }|^2) )(e_2,ve_1)= & {} X( |\partial _{x_1}| (|\widehat{d\sigma }|^2) )(e_2,ve_1)\nonumber \\= & {} \frac{1}{2\pi } \int _{-1}^1 e^{2iv\eta }\frac{d\eta }{\sqrt{1-\eta ^2}}=\frac{1}{2} J_0(2v), \end{aligned}$$(7.10)where H is the Hilbert transform with respect to v. With this in mind, we introduce a large parameter \(u>100\) and write
$$\begin{aligned} I_1&= \big \Vert H \big ( X( |\partial _{x_1}|( |\widehat{d\sigma }|^2) )(e_2,ve_1) \big ) \nu _{\sqrt{R}} \big \Vert _{L^{q'}_v(\mathbb {R})} = \frac{1}{2} \big \Vert H(J_0(2\cdot ))e^{iu\cdot } \nu _{\sqrt{R}} \big \Vert _{L^{q'}_v(\mathbb {R})}. \end{aligned}$$Since the Fourier supports of \( e^{iu\cdot } \nu _{\sqrt{R}}\) and \(J_0(2\cdot )\) are contained in \([-\frac{1}{\sqrt{R}} + u, u+ \frac{1}{\sqrt{R}}]\) and \([-2,2]\) respectively, an application of Bedrosian’s theorem gives that
$$\begin{aligned} H(J_0(2\cdot )) e^{iu\cdot } \nu _{\sqrt{R}} = H\left( J_0 (2\cdot ) e^{iu\cdot } \nu _{\sqrt{R}}\right) . \end{aligned}$$A further application of the boundedness of the Hilbert transform now yields
$$\begin{aligned} I_1 \sim \big \Vert J_0(2\cdot ) e^{iu\cdot } \nu _{\sqrt{R}} \big \Vert _{L^{q'}_v(\mathbb {R})} \sim \left\{ \begin{array}{cc} R^{\frac{1}{2}(\frac{1}{q'}-\frac{1}{2})}, \;\;\; &{} q\ne 2, \\ \log R,\;\;\; &{}\, q=2, \end{array} \right. \end{aligned}$$which, when combined with the estimates for \(I_2, I_3\), establishes (7.8).
7.3 Results in dimensions \(n\ge 3\)
We conclude this section with a higher dimensional analogue of Theorem 1.7. From a technical point of view relating to finiteness, it will be a little more convenient here to include a slightly higher power of \(-\Delta _v\) in our estimates, rather than insert a truncation factor inside the X-ray transform as we did for \(n=2\).
Theorem 7.2
Let \(n\ge 3\) and \(p_n=4(n-1)/(2n-3)\). Then the inequality
holds for all \(\varepsilon >0\) if and only if \(p\ge p_n\). Furthermore,
Remark
As \(c_n^{1/2}(-\Delta )^{1/4}X\) is an isometry,
for all \(\alpha \in \mathbb {R}\), and so (7.12) is equivalent to
Using the boundedness of the Riesz potential \((-\Delta _x)^{-\frac{n-2}{4} +\varepsilon }\): \(L^{p(\varepsilon )/2}(\mathbb {R}^n) \rightarrow L^2(\mathbb {R}^{n})\), where \(p(\varepsilon ) \searrow \frac{2n}{n-1}\) as \(\varepsilon \rightarrow 0\), the left-hand side of (7.12) may be controlled by \( \Vert \widehat{gd\sigma }\Vert _{L^{p(\varepsilon )}(\mathbb {R}^n)}^2. \) Therefore if the restriction conjecture (1.1) is true then, we have
for arbitrary small \(\varepsilon >0\). Since \(2n/(n-1) > p_n\), this bound is weaker than (7.13), providing a further illustration of the improvements available to the composition of X with \(|\widehat{gd\sigma }|^2\).
Applying the tomography reduction (1.27), Theorem 7.2 implies the following.
Corollary 7.3
Let \(n\ge 3\). For every \(\varepsilon >0\),
In particular, we have the following weak version of (1.26) with \(q=2\):
We prove Theorem 7.2 by first reducing it to a statement involving \(BA_t\) defined by (7.1). In what follows we write \(\mathbb {S}^{n-2}_\omega = \mathbb {S}^{n-1}\cap \langle \omega \rangle ^\perp \) and \(d\sigma _{\mathbb {S}^{n-2}_\omega }(\xi ) = \delta (1-|\xi |^2)\delta (\xi \cdot \omega ) d\xi \).
Lemma 7.4
Let \(n\ge 3\) and \(1\le q <\infty \). Then for \(\varepsilon >0\),
where the implicit constant depends only on n and q.
Proof
We again suppose g is symmetric. By Plancherel’s theorem on \(\langle \omega \rangle ^\perp \), we have
Using polar coordinates on \(\langle \omega \rangle ^\perp \) and the identity (7.2), we conclude that
\(\square \)
Proof of Theorem 7.2
We begin with the sufficiency of the condition \(p\ge p_n\). By Lemma 7.4 it suffices to show that
since
By the Cauchy–Schwarz inequality,
and so, by a further use of the Cauchy–Schwarz inequality,
Next we recall from Lemma 3.2 that there is a \(t_n>0\) such that
Further, it is straightforward to verify that for \(n\ge 3\),
uniformly in \(0<t<1\). Interpolating these two estimates, we have
and so
Hence by splitting the integral in (7.14), we have
To bound the second term above, we write
Applying the Hardy–Littlewood–Sobolev inequality on the sphere (see for instance [31]), we obtain
Using the symmetry property \( BA_t(g_1,g_2) = BA_t(g_2,g_1), \) and bilinear interpolation, we conclude that
as required.
Finally we turn to the necessity of \(p\ge p_n\). In view of Lemma 7.4, it suffices to consider necessary conditions for the estimate
where \(\varepsilon >0\) is arbitrary small. Applying this to the function \(g = \mathrm{1}_{|(\xi _1,\ldots ,\xi _{n-1})|\le \delta }\) we have
Next we observe that for all \(0<t<\delta \),
where \(E_\delta = \{ \xi \in \mathbb {S}^{n-1}:|\xi _n|\le \delta /10\}\). Hence the left hand side of (7.15) is bounded from below by
Since \(n\ge 3\), a simple geometrical observation reveals that
uniformly in \(\omega \in \mathbb {S}^{n-1}\). This gives a lower bound of \(\delta ^{n-2 + \varepsilon } \delta ^{1/2}\) for the left-hand side of (7.15). This implies that \(\delta ^{(n-3)/2 + \varepsilon } \lesssim \delta ^{2(n-1)/p} \) for all \(\delta \), and so \(1/p \le 1/p_n + \varepsilon /(2n-2)\) for all \(\varepsilon >0\), from which the necessity of \(p\ge p_n\) follows.
\(\square \)
8 Appendix: endpoint Bloom–Sampson estimates
Here we consider the validity of inequalities of the form
and their Lorentz space variants; here \(p,q\ge 1\) and \(\gamma \in \mathbb {R}\). In particular we prove a general result, which upon specialising to \(n=3\), implies Proposition 6.2. Of course when \(\gamma =0\), this problem becomes the classical restriction problem (1.1), and so a complete understanding of (7.16) is not currently expected. However, if one restricts attention to \(p\le 2\), then the complexity essentially amounts to that of the classical Stein-Tomas restriction theorem and the trace lemma. This was largely clarified by Bloom and Sampson in [12]. Following their notation we distinguish the points
in \((\tfrac{1}{p},\tfrac{1}{q})\) space, noting that A with \(\gamma >1\) essentially corresponds to the trace lemma, and B with \(\gamma =0\) corresponds to the Stein–Tomas restriction theorem.
Theorem 7.5
([12]) Let \(n\ge 2\).
-
(1)
If \((\frac{1}{p},\frac{1}{q}) = A\), then (7.16) holds if and only if \(\gamma >\frac{1}{q}\).
-
(2)
If \((\frac{1}{p},\frac{1}{q}) \in \mathrm{int}\, BCD \cup (B,C)\), then (7.16) holds if and only if \(\gamma \ge 0\).
-
(3)
If \((\frac{1}{p},\frac{1}{q}) \in \mathrm{int}\, ADE \cup (A,E)\), then (7.16) holds if and only if
$$\begin{aligned} \gamma \ge \frac{n}{q} - \frac{n-1}{p'}. \end{aligned}$$ -
(4)
If \((\frac{1}{p},\frac{1}{q})\in ABD \setminus \{A\}\), then (7.16) holds if
$$\begin{aligned} \gamma > \frac{n+1}{2q} - \frac{n-1}{2p'} \end{aligned}$$and only if
$$\begin{aligned} \gamma \ge \frac{n+1}{2q} - \frac{n-1}{2p'}. \end{aligned}$$
In the above theorem the case \((\frac{1}{p},\frac{1}{q})\in ABD \setminus \{A\}\) with the critical power \(\gamma = \tfrac{n+1}{2q} - \tfrac{n-1}{2p'}\) is clearly missing. Our main result in this section addresses this. In particular we establish this critical estimate on the interior of ABD, and prove a restricted weak type estimate on \((A,B) \cup (A,D)\). Our results are phrased in terms of the classical Lorentz spaces \(L^{q,r}\), \(0 < q,r \le \infty \).
Theorem 7.6
Let \(n\ge 2\).
-
(1)
If \((\frac{1}{p},\frac{1}{q}) \in \mathrm{int}\, ABD \cup {( B,D )}\), then for all \(r\in [1,\infty ]\),
$$\begin{aligned} \big \Vert \widehat{gd\sigma } \langle \cdot \rangle ^{-\gamma } \big \Vert _{L^{q,r}(\mathbb {R}^n)} \lesssim \Vert g \Vert _{L^{p,r}(\mathbb {S}^{n-1})} \end{aligned}$$(7.17)holds with
$$\begin{aligned} \gamma = \frac{n+1}{2q} - \frac{n-1}{2p'}. \end{aligned}$$(7.18)In particular, (7.16) holds with the same exponents.
-
(2)
If \((\frac{1}{p},\frac{1}{q}) \in (A,B) \cup (A,D)\), then
$$\begin{aligned} \big \Vert \widehat{gd\sigma } \langle \cdot \rangle ^{-\gamma } \big \Vert _{L^{q,\infty }(\mathbb {R}^n)} \lesssim \Vert g \Vert _{L^{p,1}(\mathbb {S}^{n-1})} \end{aligned}$$(7.19)holds with \(\gamma \) given by (7.18).
Some brief remarks are in order. First of all, for the purposes of deducing Proposition 6.2 it suffices to choose \(r=2\) in (7.17) and use the embedding \(L^p\subset L^{p,2}\), which holds as long as \(p\le 2\). Second, if \((\frac{1}{p},\frac{1}{q}) \in [B,D]\) then the resulting estimate is a consequence of the Stein–Tomas restriction theorem, and so we may restrict our attention to the region \(ABD \setminus [B,D]\). Finally, setting \(r=q\) in (7.17) and using the embedding \(L^{p} \subset L^{p,q}\), which holds whenever \(p\le q\), yields (7.16) on \(\mathrm{int}\, ABD \cup [B,D]\) with the critical power (7.18).
Proof of Theorem 7.6
It is convenient to begin with Part (2). We first prove (7.19) for \((\frac{1}{p},\frac{1}{q}) \in (A, D)\), where \(q=p'\). Our goal is therefore to show that
for \(2< q < \infty \). From now on, we fix an arbitrary \(q_*\in (2,\infty )\) and prove (7.20) with \(q=q_*\). The first step is to write
where
and show that
for all \(2\le {q} \le \infty \), uniformly in j. By analytic interpolation this will follow from the extreme cases \(q=2\) and \(q=\infty \). The latter follows immediately from the elementary estimate \(\Vert \widehat{gd\sigma } \Vert _\infty \lesssim \Vert g \Vert _1\). For \(q=2\) we apply the weighted extension estimate (1.25), which is known for radial weights (see [2, 17]), with weight \(w(x) = \langle x \rangle ^{-1}\mathrm{1}_{\mathcal {A}_j}(x)\). This results in
uniformly in j, as required. In order to use the estimates (7.21) to bound the sum in j, we use an argument of Bourgain [13], and in particular, Lemma 2.3 of Lee and Seo [30]. Let us write
and choose \(q_0, q_1\) satisfying \(2< q_0< q_*<q_1 < \infty \). By (7.21),
uniformly in j, for each \(i={0,1}\). Since \(\frac{1}{q}_1 - \frac{1}{q_*}< 0 < \frac{1}{q_0} - \frac{1}{q_*}\), by Lemma 2.3 of [30], we conclude that
This completes the proof of (7.20) with \(q=q_*\).
To complete the proof of Part (2), we must also establish (7.19) on the segment (A, B). However, this argument is similar to that for (A, D) above, and so we leave the details to the reader.
We now turn to Part (1). As a simple remark, we note that (7.16) and hence (7.19) hold along the line [B, D] from the classical Stein-Tomas’s theorem. With this in mind, by Part (2) and complex interpolation, (7.19) holds for all \((\frac{1}{p},\frac{1}{q}) \in ABD\setminus \{A\}\) under the condition (7.18). So our task is to improve (7.19) with respect to Lorentz exponents, and we do this using a real interpolation argument. For each \(\gamma \in \mathbb {R}\) we define the line
Note that (7.18) holds if \((\frac{1}{p},\frac{1}{q}) \in \ell (\gamma )\), and that \(\ell (0) = [B,D]\) and \(\ell (\frac{1}{2}) = \{A\}\). Fix a \(\gamma _* \in {[0,\frac{1}{2})}\) and denote by \(T_{\gamma _*}\) the linear operator \(g \mapsto \widehat{gd\sigma } \langle \cdot \rangle ^{-\gamma _*}\). Since
for all \((\frac{1}{p},\frac{1}{q}) \in \ell (\gamma _*)\), real interpolation (see [11] for example) reveals that
for all \((\frac{1}{p},\frac{1}{q}) \in { \mathrm{int}\, }\ell (\gamma _*)\) and all \(r\in [1,\infty ]\). This establishes (7.17).\(\square \)
Notes
It is instructive to observe that if H is the Hilbert transform on \(\mathbb {S}^1\) then BH becomes the classical bilinear Hilbert transform on \(\mathbb {S}^{1}\); see [29]
References
Barceló, J.A., Bennett, J., Carbery, A.: A note on localised weighted estimates for the extension operator. J. Aust. Math. Soc. 84, 289–299 (2008)
Barceló, J.A., Ruiz, A., Vega, L.: Weighted estimates for the Helmholtz equation and consequences. J. Funct. Anal. 150(2), 356–382 (1997)
Beckner, W., Carbery, A., Semmes, S., Soria, F.: A note on restriction of the Fourier transform to spheres. Bull. Lond. Math. Soc. 21, 394–398 (1989)
Beltran, D., Vega, L.: Bilinear identities involving the \(k\)-plane transform and Fourier extension operators. Proc. R. Soc. Edinb. Sect. A. 1–29 (2020)
Bennett, J.: Aspects of multilinear harmonic analysis related to transversality. In: Harmonic Analysis and Partial Differential Equations, Contemporary Mathematics, vol. 612, pp. 1–28. American Mathematical Society, Providence, RI (2014)
Bennett, J., Bez, N., Flock, T.C., Gutiérrez, S., Iliopoulou, M.: A sharp \(k\)-plane Strichartz estimate for the Schrödinger equation. Trans. Am. Math. Soc. 370, 5617–5633 (2018)
Bennett, J., Carbery, A., Soria, F., Vargas, A.: A Stein conjecture for the circle. Math. Ann. 336, 671–695 (2006)
Bennett, J., Carbery, A., Tao, T.: On the multilinear restriction and Kakeya conjectures. Acta Math. 196, 261–302 (2006)
Bennett, J., Iliopoulou, M.: A multilinear extension identity on \(\mathbb{R}^n\). Math. Res. Lett. 25, 1089–1108 (2018)
Bennett, J., Seeger, A.: The Fourier extension operator on large spheres and related oscillatory integrals. Proc. Lond. Math. Soc. 98, 45–82 (2009)
Bergh, J., Löfström, J.: Interpolation Spaces: An Introduction. Springer, New York (1976)
Bloom, S., Sampson, G.: Weighted spherical restriction theorem for the Fourier transform. Ill. J. Math. 32, 73–101 (1992)
Bourgain, J.: Estimations de certaines functions maximales. C. R. Acad. Sci. Paris 310, 499–502 (1985)
Bourgain, J., Demeter, C.: The proof of the \(l^2\) Decoupling Conjecture. Ann. Math. 182, 351–389 (2015)
Burq, N., Gerard, P., Tzvetkov, N.: Restrictions of the Laplace–Beltrami eigenfunctions to submanifolds. Duke Math. J. 138, 445–486 (2007)
Carbery, A., Seeger, A.: Weighted inequalities for Bochner–Riesz means in the plane. Q. J. Math. 51, 155–167 (2000)
Carbery, A., Soria, F.: Pointwise Fourier inversion and localisation in \(\mathbb{R}^n\). J. Fourier Anal. Appl. 3, 847–858 (1997). special issue
Carbery, A., Soria, F., Vargas, A.: Localisation and weighted inequalities for spherical Fourier means. Journal d’Analyse Mathématique 103, 133–156 (2007)
Christ, M.: Estimates for the k-plane transform. Indiana Univ. Math. J. 33(6), 891–910 (1984)
Córdoba, A.: The Kakeya maximal function and the spherical summation multipliers. Am. J. Math. 99(1)(1), 1–22 (1977)
Du, X., Guth, L., Ou, Y., Wang, H., Wilson, B., Zhang, R.: Weighted restriction estimates and application to Falconer distance set problem. Am. J. Math. (to appear)
Fefferman, C.: Inequalities for strongly singular convolution operators. Acta Math. 124, 9–36 (1970)
Fefferman, C.: A note on spherical summation multipliers. Israel J. Math. 15, 44–52 (1973)
Guth, L.: Restriction estimates using polynomial partitioning II. Acta Math. 221, 81–142 (2018)
Helgason, S.: Integral Geometry and Radon Transforms. Springer, New York (2010)
Hickman, J., Rogers, K.: Improved Fourier restriction estimates in higher dimensions. Camb. J. Math. 7, 219–282 (2019)
Hickman, J., Rogers, K., Zhang, R.: Improved bounds for the Kakeya maximal conjecture in higher dimensions. Am. J. Math. (to appear)
Kenig, C.E., Stein, E.M.: Multilinear estimates and fractional integration. Math. Res. Lett. 6, 1–15 (1999)
Lacey, M.T., Thiele, C.: \(L^p\) estimates for the bilinear Hilbert transform. Ann. Math. 146, 693–724 (1997)
Lee, S., Seo, I.: Sharp bounds for multiplier operators of negative indices associated with degenerate curves. Math. Z. 267, 291–323 (2011)
Lieb, E., Loss, M.: Analysis, Graduate Studies in Mathematics, vol. 14. American Mathematical Society, Providence (2001)
Mizohata, S.: On the Cauchy Problem, Notes and Reports in Mathematics, Science and Engineering, 3. Academic Press, San Diego (1985)
Moen, K.: New weighted estimates for bilinear fractional integral operators. Trans. Am. Math. Soc. 366, 627–646 (2014)
Oberlin, D.M., Stein, E.M.: Mapping properties of the Radon transform. Indiana Univ. Math. J 31, 641–650 (1982)
Planchon, F., Vega, L.: Bilinear virial identities and applications. Ann. Scient. Ec. Norm. Sup. 42, 263–292 (2009)
Stein, E.M.: Harmonic Analysis. Princeton University Press, Princeton (1993)
Stein, E.M.: Some problems in harmonic analysis. Proc. Sympos. Pure Math. Williamstown, Mass. 1, 3–20 (1978)
Stein, E.M., Weiss, G.: Introduction to Fourier Analysis on Euclidean Spaces, Princeton Mathematical Series, No. 32. Princeton University Press, Princeton (1971)
Stovall, B.: Waves, Spheres, and Tubes A. Selection of Fourier Restriction Problems, Methods, and Applications. Not. Am. Math. Soc. 66, 1013–1022 (2019)
Tao, T.: Sharp bounds for multilinear curved Kakeya, restriction and oscillatory integral estimates away from the endpoint. Mathematika 66, 517–576 (2020)
Tao, T.: The Bochner–Riesz conjecture implies the restriction conjecture. Duke Math. J. 96, 363–376 (1999)
Tao, T.: Restriction theorems and applications. UCLA Lecture Notes 254B. http://www.math.ucla.edu/~tao/254b.1.99s/
Tao, T., Vargas, A., Vega, L.: A bilinear approach to the restriction and Kakeya conjectures. J. Am. Math. Soc. 11, 967–1000 (1998)
Vega, L.: Bilinear virial identities and oscillatory integrals. In: Harmonic Analysis and Partial Differential Equations. Contemporary Mathematics, vol. 505, pp. 219–232. American Mathematical Society, Providence, RI (2010)
Watson, G.N.: The Theory of Bessel Functions. Cambridge University Press, Cambridge (1969)
Wolff, T.: Lectures on Harmonic Analysis. AMS Lecture Series 29 (2003)
Zahl, J.: New Kakeya estimates using Gromov’s algebraic lemma. arXiv:1908.05314
Zygmund, A.: On Fourier coefficients and transforms of functions of two variables. Studia Math. 50, 189–201 (1974)
Acknowledgements
We thank David Beltran, Neal Bez, Tony Carbery, Taryn Flock, Susana Gutiérrez, Marina Iliopoulou and Sanghyuk Lee for numerous stimulating discussions during the course of this work. We are also grateful to the Research Institute for Mathematical Sciences (RIMS) at the University of Kyoto, as part of this work was conducted there during the workshop “Harmonic Analysis and Nonlinear Partial Differential Equations” in July of 2019. We also thank the anonymous referee for many helpful observations.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest. All data generated or analysed during this study are included in this published article.
Additional information
Communicated by Loukas Grafakos.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was partially supported by the European Research Council [Grant Number 307617] (Bennett), and by JSPS Grant-in-Aid for JSPS Research Fellow No. 17J01766 and JSPS Overseas Challenge Program for Young Researchers (Nakamura).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bennett, J., Nakamura, S. Tomography bounds for the Fourier extension operator and applications. Math. Ann. 380, 119–159 (2021). https://doi.org/10.1007/s00208-020-02131-0
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-020-02131-0