Abstract:We prove sharp $L^2$ Fourier restriction inequalities for compact, smooth surfaces in $\mathbb{R}^3$ equipped with the affine surface measure or a power thereof. The results are valid for all smooth surfaces and the bounds are uniform for all surfaces defined by the graph of polynomials of degrees up to $d$ with bounded coefficients. The primary tool is a decoupling theorem for these surfaces.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the \(L^2\) Fourier restriction theorem for smooth surfaces in three - dimensional Euclidean space \(\mathbb{R}^3\). Specifically, the author studies the \(L^2\) Fourier restriction inequalities for compact smooth surfaces equipped with affine surface measures or their powers. The main tool is a decoupling theorem for dealing with these surfaces.
### Specific problem description
1. **Background and main results**:
- The paper first reviews the classical Stein - Tomas restriction theorem, which states that for a smooth surface \(S\) with non - zero Gaussian curvature, there exists a constant \(C\) such that for any \(f\in S(\mathbb{R}^3)\), we have:
\[
\|\hat{f}\|_{L^2(d\Sigma)} \leq C \|f\|_{L^{4/3}}
\]
- For surfaces where the Gaussian curvature is zero in some places, there are already literatures providing the necessary and sufficient conditions for \(p < 4/3\) such that the above inequality holds.
2. **Affine surface measure**:
- The author introduces the affine surface measure \(d\mu\) and an additional damped version \(d\mu_{\varepsilon}\):
\[
d\mu(\xi,\phi(\xi)) = |\det D^2\phi(\xi)|^{1/4}d\xi
\]
\[
d\mu_{\varepsilon}(\xi,\phi(\xi)) = |\det D^2\phi(\xi)|^{1/4+\varepsilon}d\xi,\quad \text{where }\varepsilon > 0
\]
- These measures are used to replace the traditional induced Lebesgue measure \(d\Sigma\).
3. **Main results**:
- The author proves the following estimates:
\[
\|\hat{f}\|_{L^2(d\mu)} \lesssim_{\varepsilon,\phi} R^{\varepsilon} \|f\|_{L^{4/3}(B_R)}
\]
\[
\|\hat{f}\|_{L^2(d\mu_{\varepsilon})} \lesssim_{\varepsilon,\phi} \|f\|_{L^{4/3}}
\]
- These estimates hold for all surfaces where the polynomial \(\phi\) has a degree not exceeding \(d\) and the coefficients are bounded.
4. **Further results**:
- By the complex interpolation method, the author also obtains the restriction estimates on the discrete lines of the affine surface measure:
\[
\|\hat{f}\|_{L^q(d\mu)} \lesssim_{\phi} \|f\|_{L^p}
\]
where \(2\leq q <\infty\) and \(2-\frac{2}{p}<\frac{1}{q}\).
### Methods and techniques
- **Decoupling theorem**: The author uses a decoupling theorem to deal with the decomposition of the surface, which enables each decomposed part to be rescaled into a surface where the Hessian determinant is far from zero.
- **Affine invariance**: The affine surface measure remains invariant under affine transformations, which allows the application of known restriction theorems.
- **Key lemmas**: The author proves some key lemmas, such as the lemma about the affine invariance of the measure \(M\), and the properties of \((\varphi,\sigma',R,\varepsilon')\)-admissible sets.
### Conclusion
The main contribution of the paper lies in proving the \(L^2\) Fourier restriction theorem on smooth surfaces.