定理已证明
卡尔森定理
命题陈述
若 ,则对几乎所有 都有 。(Hunt 于1968年将此结果推广到一切满足 的 。)
为什么成立?
鉴于柯尔莫哥洛夫在1926年给出的那个处处发散的 函数例子,人们完全有理由认为 ——仅仅是稍强一点的条件——也会以同样的方式失败,至少几乎处处失败。卡尔森定理带来了真正的惊喜:平方可积这一微小的附加假设,竟能把发散排除到只剩一个测度为零的集合之外。它解决了自1913年鲁津提出猜想以来一直悬而未决的问题,被视为二十世纪分析学中最深刻的定理之一。
证明思路
完整的证明是二十世纪分析学中最困难的论证之一;费弗曼在1973年给出了一个著名的简化,其策略可概述为三个步骤。
第一步(用极大算子控制)。只需在 上界定卡尔森极大算子 ,因为对 的弱型估计,再结合良性函数(对它们收敛易证)的稠密性,就能推出完整的几乎处处收敛结论。
第二步(分解为时间–频率瓦片)。用适配于时间–频率平面上二进瓦片——面积 的矩形,正是下文『时间与频率』一节所讨论的原子——的波包来分解 。每个瓦片承载着 中在时间区间和频段上都被局域化的一部分。
第三步(把瓦片组织成树并求和)。由于截断频率 可能随 变化,与 相关的瓦片会按时间–频率的包含关系组成『树』。费弗曼关键的组合估计给出了所有树所携带总能量的界,从而在 中控制住 ,完成证明。
用到此定理的主题
分步证明
该定理暂无分步证明。
参考文献
- Terence Tao (2003). Recent progress on the restriction conjecture · arXiv:math/0311181
- Elias M. Stein, Guido Weiss (1971). Introduction to Fourier Analysis on Euclidean Spaces
- Loukas Grafakos (2014). Classical Fourier Analysis · DOI:10.1007/978-1-4939-1194-3