MathLabs
定理已证明

卡尔森定理

命题陈述

若 f∈L2(T)f\in L^2(\mathbb{T}),则对几乎所有 xx 都有 SNf(x)→f(x)S_N f(x)\to f(x)。(Hunt 于1968年将此结果推广到一切满足 p>1p>1 的 f∈Lp(T)f\in L^p(\mathbb{T})。)

为什么成立?

鉴于柯尔莫哥洛夫在1926年给出的那个处处发散的 L1L^1 函数例子,人们完全有理由认为 L2L^2——仅仅是稍强一点的条件——也会以同样的方式失败,至少几乎处处失败。卡尔森定理带来了真正的惊喜:平方可积这一微小的附加假设,竟能把发散排除到只剩一个测度为零的集合之外。它解决了自1913年鲁津提出猜想以来一直悬而未决的问题,被视为二十世纪分析学中最深刻的定理之一。

证明思路

完整的证明是二十世纪分析学中最困难的论证之一;费弗曼在1973年给出了一个著名的简化,其策略可概述为三个步骤。

第一步(用极大算子控制)。只需在 L2L^2 上界定卡尔森极大算子 S∗f(x)=sup⁡N∣SNf(x)∣S^*f(x) = \sup_N |S_N f(x)|,因为对 S∗S^* 的弱型估计,再结合良性函数(对它们收敛易证)的稠密性,就能推出完整的几乎处处收敛结论。

第二步(分解为时间–频率瓦片)。用适配于时间–频率平面上二进瓦片——面积 ∼1\sim 1 的矩形,正是下文『时间与频率』一节所讨论的原子——的波包来分解 ff。每个瓦片承载着 ff 中在时间区间和频段上都被局域化的一部分。

第三步(把瓦片组织成树并求和)。由于截断频率 NN 可能随 xx 变化,与 S∗f(x)S^*f(x) 相关的瓦片会按时间–频率的包含关系组成『树』。费弗曼关键的组合估计给出了所有树所携带总能量的界,从而在 L2L^2 中控制住 S∗fS^*f,完成证明。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  1. Terence Tao (2003). Recent progress on the restriction conjecture · arXiv:math/0311181
  2. Elias M. Stein, Guido Weiss (1971). Introduction to Fourier Analysis on Euclidean Spaces
  3. Loukas Grafakos (2014). Classical Fourier Analysis · DOI:10.1007/978-1-4939-1194-3