[Paper Review] Extensions of the Stein-Tomas theorem

Jong-Guk Bak, Andreas Seeger|arXiv (Cornell University)|Apr 28, 2010

Advanced Harmonic Analysis Research18 references3 citations

TL;DR

This paper extends the Stein-Tomas restriction theorem to endpoint estimates by establishing a sharp Lorentz space bound $ L^{p_ullet,2} \to L^2(d\mu) $ for the Fourier transform under general measure conditions. It proves that for measures $ \mu $ satisfying dimension and Fourier dimension conditions, the Fourier restriction operator is bounded with a precise dependence on the measure's growth and decay parameters, improving upon classical $ L^p $ estimates and confirming optimality of the Lorentz exponent via Knapp-type examples.

ABSTRACT

We prove an endpoint version of the Stein-Tomas restriction theorem, for a general class of measures, and with a strengthened Lorentz space estimate. A similar improvement is obtained for Stein's estimate on oscillatory integrals of Carleson-Sjölin-Hörmander type and some spectral projection operators on compact manifolds, and for classes of oscillatory integral operators with one-sided fold singularities.

Motivation & Objective

• To establish an endpoint version of the Stein-Tomas restriction theorem for a general class of measures satisfying dimension and Fourier decay conditions.
• To strengthen the classical $ L^p \to L^2(d\mu) $ estimate by replacing $ L^{p_\circ} $ with the larger and optimal Lorentz space $ L^{p_\circ,2} $.
• To prove sharpness of the Lorentz exponent by constructing superpositions of Knapp examples that show failure of $ L^{p,s} \to L^q $ bounds for $ s > q $.
• To extend the improved estimate to oscillatory integrals of Carleson-Sjölin-Hörmander type and spectral projection operators on compact manifolds with one-sided fold singularities.

Proposed method

• The proof relies on off-diagonal $ L^p \to L^q $ bounds for convolution operators with kernel $ \widehat{\mu} $, leveraging interpolation techniques.
• Real interpolation is applied to derive the $ L^{p_\circ,2} $ estimate from restricted weak-type bounds and $ L^1 \to L^\infty $ estimates.
• The authors use a decomposition into dyadic frequency annuli and apply stationary phase methods to control operator norms at each scale.
• Key estimates include $ \| \mathcal{S}_j^\lambda \|_{L^1 \to L^\infty} \lesssim 2^{-j(\kappa+1)/2} $ and $ \| \mathcal{S}_j^\lambda \|_{L^2 \to L^{q_1,\infty}} \lesssim 2^{j/2} \lambda^{-(d/q_1 + d/2)} $, which are used in Bourgain-type interpolation.
• The canonical graph condition for oscillatory integrals is verified via non-degeneracy of the Hessian determinant under the fold condition, ensuring $ L^2 $ bounds with gain.
• The sharpness of the Lorentz exponent is shown by constructing a function $ g $ with frequency support at multiple scales, leading to $ \|f\|_{L^{p,s}} \lesssim N^{1/s} $, implying $ s \leq q $ is necessary for boundedness.

Experimental results

Research questions

• RQ1 Can the endpoint $ L^{p_\circ} \to L^2(d\mu) $ estimate of the Stein-Tomas theorem be strengthened to the Lorentz space $ L^{p_\circ,2} \to L^2(d\mu) $?
• RQ2 Is the Lorentz exponent $ 2 $ optimal in the restriction estimate for measures satisfying the dimension and Fourier decay conditions?
• RQ3 Can the analytic interpolation method used for surface measures be extended to general measures satisfying (1.1) and (1.2)?
• RQ4 What is the sharp range of $ L^p \to L^q $ estimates for oscillatory integrals with one-sided fold singularities?
• RQ5 How does the dependence of the operator norm on the measure parameters $ A $ and $ B $ affect the Lorentz space bounds?

Key findings

• The paper establishes the endpoint estimate $ \| \widehat{f} \|_{L^2(d\mu)} \leq C A^{b/(d-a+b)} B^{(d-a)/(d-a+b)} \|f\|_{L^{p_\circ,2}(\mathbb{R}^d)} $, where $ p_\circ = \frac{2(d-a+b)}{2(d-a)+b} $, for measures satisfying (1.1) and (1.2).
• The Lorentz space $ L^{p_\circ,2} $ is optimal: the Fourier restriction operator does not map $ L^{p,s} \to L^q $ for $ q = \frac{d-1}{d+1}p' $ and $ s > q $, as shown by superposition of Knapp examples.
• The constant $ C $ in the estimate depends only on $ d $ and a compact interval $ I \subset (0,\infty) $ when $ a,b \in I $, ensuring uniformity.
• For oscillatory integrals of Carleson-Sjölin-Hörmander type with one-sided fold singularities, the same Lorentz space improvement holds, with operator norms satisfying $ \| \sum_j \mathcal{S}_j^\lambda \|_{L^{q_1',s} \to L^{q_1,s}} \lesssim \lambda^{-2d/q_1} $.
• The $ L^2 $ operator norm of the model operator $ \mathcal{W}^\ell $ is bounded by $ \| \mathcal{W}^\ell \|_{L^2 \to L^2} \lesssim 2^{-\ell(d-1/2)} $, which provides a crucial gain over previous estimates.
• The canonical graph condition for the phase function is verified via non-degeneracy of the Hessian determinant under the fold condition, ensuring the $ L^2 $ bound with improved decay.