伦纳特·卡拉乔恩

证明平方可积函数的傅里叶级数几乎处处收敛(卡拉乔恩定理),并解决 H∞ 上的冕定理

奖项
阿贝尔奖
年份
2006
国籍 / 出生
瑞典
出生
1928

获奖原因

伦纳特·卡拉乔恩是瑞典分析学大师。他的两项标志性成果改写了调和分析的面貌:其一是 1966 年证明 L2L^2 函数的傅里叶级数几乎处处收敛(卡拉乔恩定理),攻克了自 1915 年卢津提出以来悬置半个世纪的核心难题;其二是”冕定理”(corona theorem),解决了有界解析函数环 HH^\infty 的理想结构问题。2006 年阿贝尔奖表彰其”对调和分析与光滑动力系统的深刻贡献”。

问题来龙去脉

傅里叶级数的收敛性,是分析学的古老心结。对 fL2(T)f\in L^2(\mathbb{T}),其傅里叶部分和为 SNf(x)=nNf^(n)einx.S_N f(x) = \sum_{|n|\le N} \hat f(n)e^{inx}. 1900 年前后,勒贝格积分理论确立后已知 SNffS_N f \to fL2L^2 范数下成立。但”逐点收敛”远为微妙:豪斯多夫与 W. H. Young 构造出傅里叶级数处处发散的可积函数;1915 年卢津(N. N. Luzin)猜想,L2L^2 函数的傅里叶级数应几乎处处收敛。此问题长期无解,直到卡拉乔恩在 1966 年给出肯定证明。

卡拉乔恩的关键工具是”极大算子”与极大函数的 L2L^2 有界性。定义 Cf(x)=supNSNf(x).\mathcal{C}f(x) = \sup_N |S_N f(x)|. 只要证明 C\mathcal{C} 是从 L2L^2L2,L^{2,\infty}(弱 L2L^2)的有界算子,则对 fL2f\in L^2,使 SNf(x)S_N f(x) 发散的点集测度为零。技术难处在于:部分和的核(狄利克雷核)并非 Calderón–Zygmund 型标准奇异积分核,其衰减与振动极难控制。卡拉乔恩通过对频率作”分解”并精细估计算子在各种尺度上的行为,首次驯服了这部和大核,证明了 CfL2,CfL2\|\mathcal{C}f\|_{L^{2,\infty}} \le C\|f\|_{L^2}

此结果影响深远:它确证了傅里叶展开在最自然的 L2L^2 函数类上的逐点合理性,并把”极大函数方法”推到调和分析前台(后来 C. Fefferman 用类似技术解决”圆盘乘子”猜测)。此后亨特(Hunt)推广到 Lp (p>1)L^p\ (p>1),而 L1L^1 情形由 Kolmogorov 反例知不成立——卡拉乔恩定理因此在可积性的边界上画出了精确的收敛分界线。

另一项里程碑是”冕定理”(1962)。设 H(D)H^\infty(\mathbb{D}) 为单位圆盘上有界解析函数环。已知其极大理想恰为点赋值理想 {f:f(λ)=0}\{f: f(\lambda)=0\}。卡拉乔恩证明:若 f1,,fnHf_1,\dots,f_n\in H^\infty 满足 fj(z)δ>0\sum |f_j(z)| \ge \delta>0(即”无冠”),则存在 gjHg_j\in H^\infty 使 fjgj1\sum f_j g_j \equiv 1。换言之,这些函数生成的理想就是整个环。证明用到了一套独创的”carousel”(旋转木马)式迭代构造与一致估计,开创了复分析中的几何/函数论方法,并为后来的插值、 corona 问题与 Toeplitz 算子理论铺路。

卡拉乔恩还以对”光滑动力系统”的研究(如 denjoy–carleson 关于圆微分同胚的标度、Julia 集的维数)著称。他的工作以”在看似不可能的估计中找到出路”为特征,把调和分析与复分析两门技艺推到新深度。阿贝尔奖对卡拉乔恩的授予,正是对这种分析功力的至高褒奖。