[论文解读] Recent progress on the restriction conjecture

Terence Tao|ArXiv.org|Nov 12, 2003

Holomorphic and Operator Theory被引用 15

一句话总结

本文通过建立限制估计、Kakeya极大函数估计与Besicovitch集几何性质之间的联系，研究了调和分析中的限制猜想。证明了限制猜想蕴含Kakeya极大函数猜想，反之，Kakeya猜想则蕴含Besicovitch集的强维数结果，所用方法包括傅里叶分解、随机化及不确定性原理。

ABSTRACT

The purpose of these notes is describe the state of progress on the restriction problem in harmonic analysis, with an emphasis on the developments of the past decade or so on the Euclidean space version of these problems for spheres and other hypersurfaces. As the field is quite large and has so many applications, it will be impossible to completely survey the field, but we will try to at least give the main ideas and developments in this area. The restriction problem are connected to many other conjectures, notably the Kakeya and Bochner-Riesz conjectures, as well as PDE conjectures such as the local smoothing conjecture. For reasons of space, we will not be able to discuss all these connections in detail; our main focus will be on proving restriction theorems for the Fourier transform.

研究动机与目标

• 建立球面上限制猜想与Kakeya极大函数猜想之间的联系。
• 证明局部限制估计可推出R × R管状区域（方向间隔为R^{-1/2}）的特征函数L^p范数有界。
• 证明Kakeya极大函数猜想蕴含Besicovitch集的Minkowski维数与Hausdorff维数的下界。
• 研究包含每个方向上单位线段的集合的几何与测度性质的作用。
• 探讨限制猜想是否可独立于Kakeya猜想得到解决，以及是否需要更强的Kakeya估计变体以完全解决限制猜想。

提出的方法

• 使用傅里叶级数展开与截断函数分解，将紧支集在[1/3,2/3]^n上的函数的逆傅里叶变换表示为固定截断函数平移的和。
• 通过线性变换将单位立方体映射为1/R × 1/R^{1/2}的球帽，将分解转移到傅里叶侧。
• 运用随机符号（Khinchin不等式）估计方向分离的管状区域特征函数之和的L^p范数。
• 将(a)中的管状区域估计进行尺度变换，推导出δ × 1管状区域设定下的Kakeya极大函数猜想。
• 利用对偶性并配合同Besicovitch集邻域的特征函数，推导其测度的下界。
• 应用抽屉原理，寻找一个尺度δ，使得直线与该集合的δ-邻域的交集具有正测度，从而导出维数界。

实验结果

研究问题

• RQ1 球面上的限制猜想是否蕴含Kakeya极大函数猜想？
• RQ2 Kakeya极大函数猜想能否用于证明Besicovitch集具有全Minkowski维数？
• RQ3 可测Besicovitch集的Hausdorff维数与Kakeya猜想之间有何关系？
• RQ4 是否需要双线性或两头型的Kakeya估计变体才能完全解决限制猜想？
• RQ5 是否可能在未先解决Kakeya猜想的前提下解决限制猜想？

主要发现

• 球面上的局部限制估计表明，方向间隔为R^{-1/2}的R × R管状区域特征函数之和的L^p范数有界，其界为R^{2α + n - 1}。
• 在δ × 1管状区域设定下，Kakeya极大函数猜想成立，且其范数满足‖∑χ_{T_j}‖_{L^{n/(n-1)}(R^n)} ≤ C_ε δ^{-ε}，其中任意ε > 0。
• 任意Besicovitch集E满足|N_δ(E)| ≥ c_ε δ^ε，对所有δ ≪ 1及任意ε > 0成立，表明其Minkowski维数为n。
• 在Kakeya猜想及方向到线段映射可测的条件下，Besicovitch集的Hausdorff维数为n。
• 对任意d < n与A > 0，存在δ_0，使得任意以半径小于δ_0的球覆盖紧致Besicovitch集时，均有∑r_j^d > A。
• 限制猜想蕴含Kakeya猜想，作者认为解决Kakeya猜想（及其变体）是解决限制猜想的先决条件。