[论文解读] Existence of Extremals for a Fourier Restriction Inequality

Michael Christ, Shuanglin Shao|arXiv (Cornell University)|Jun 22, 2010

Advanced Mathematical Physics Problems参考文献 13被引用 20

一句话总结

本文证明了三维空间中二维球面上Tomas-Stein傅里叶限制不等式的极值函数的存在性。通过集中紧致性方法、对称化以及将球面分解为帽状区域，作者证明了任意非负函数的极值序列在 $L^2(S^2)$ 中是预紧的，从而保证了极值函数的存在。该结果通过证明最优常数在不等式中可被取到，解决了限制理论中长期悬而未决的问题。

ABSTRACT

The adjoint Fourier restriction inequality of Tomas and Stein states that the mapping $f\mapsto \widehat{fσ}$ is bounded from $\lt(S^2)$ to $L^4( eals^3)$. We prove that there exist functions which extremize this inequality, and that any extremizing sequence of nonnegative functions has a subsequence which converges to an extremizer.

研究动机与目标

• 证明在 $S^2 \subset \mathbb{R}^3$ 上，Tomas-Stein傅里叶限制不等式中达到最优常数的函数的存在性。
• 证明 $L^2(S^2)$ 中任意非负函数的极值序列是预紧的，从而暗示其收敛于一个极值函数。
• 解决限制不等式中最优常数是否可被某个非零函数取到的问题。

提出的方法

• 运用集中紧致性原理分析极值序列，排除测度耗散或二分现象。
• 通过关于 $x \mapsto -x$ 的对称化，证明非负函数不会降低傅里叶扩展的 $L^4$ 范数。
• 应用一种将球面划分为帽状区域的分解算法，并分析大帽与小帽之间的相互作用。
• 通过双线性卷积估计与傅里叶积分算子技术，建立对极值序列的上界。
• 利用几何与分析估计，控制限制的 $L^2$ 范数以及不同帽区域之间的相互作用。
• 在重新缩放后排除小帽并利用 Hölder 与柯西-施瓦茨不等式估计交叉项，从而证明预紧性。

实验结果

研究问题

• RQ1 是否存在函数 $f \in L^2(S^2)$，使得在 Tomas-Stein 限制不等式 $\|\widehat{f\sigma}\|_{L^4(\mathbb{R}^3)} \leq C\|f\|_{L^2(S^2)}$ 中取等？
• RQ2 $L^2(S^2)$ 中非负函数的极值序列是否预紧？
• RQ3 限制不等式中的最优常数是否可被取到，还是仅能在极限中趋近？
• RQ4 对称性（特别是 $f \mapsto |f|$ 与 $f \mapsto f(-x)$）在极值函数存在性中起什么作用？
• RQ5 $S^2$ 上帽状区域的几何结构及其相互作用如何影响极值序列的行为？

主要发现

• Tomas-Stein 不等式中的最优常数 $\mathcal{R}$ 可被 $L^2(S^2)$ 中某个非零函数取到，因此极值函数存在。
• $L^2(S^2)$ 中任意非负函数的极值序列是预紧的，意味着其存在子列在 $L^2$-范数下收敛于一个极值函数。
• 所有非负极值函数的集合在 $L^2(S^2)$ 中是紧致的，意味着具有强收敛性质。
• 极值函数满足几乎处处几乎处处成立的对称性 $|f(-x)| = |f(x)|$，该对称性在保持 $L^2$-范数不增的对称化下被保留。
• 极值函数的广义欧拉-拉格朗日方程为 $ (f\sigma * f\sigma * f\sigma)|_{S^2} = \mathbf{S}^4 \|f\|_2^2 f $ 几乎处处在 $S^2$ 上成立。
• 证明依赖于对帽状区域的精细分解以及对交叉项的估计，表明小帽对扩展的 $L^4$ 范数贡献可忽略。