调和分析初步 · 从圆周的声音到频率的语言

本书怎么读：一门关于「形状与方程如何互相翻译」的学问

本书讲一门学问：代数几何——用多项式方程组的解集研究几何形状。它从一个朴素的观察出发：一条曲线的「几何」与刻画它的「方程」，其实是同一件事的两副面孔——把方程 x² + y² = 1 的解画出来是一个圆，而这个圆上的全部信息，又都能从方程所在的环里读回来。本书要回答的问题由此展开：为什么「理想与簇」的对应（Hilbert 的 Nullstellensatz）是整座大厦的地基？为什么必须把「无穷远点」请进画面，Bézout 定理才数得清两条曲线的交点？为什么「层」这种局部数据的组织方式，恰好捕捉了「局部如何拼成整体」这个几何最深的主题？为什么 Grothendieck 干脆把空间本身定义成交换环的素谱，让 Spec ℤ 也成为一个几何对象，从而把算术与几何缝成同一门学问？从 Descartes 的坐标系、Bézout 的计数、Riemann 的曲线论，到 Zariski、Serre、Grothendieck 的概型与上同调，代数几何两百年只做一件事：把「形状」翻译成可以计算的代数结构，再让代数把形状的秘密说出来。

本书按章组织：绪论并置「方程」与「几何」两条通往形状的路，从 Euclid 的图形与 Descartes 的方程讲到理想的对应与概形的远景；第一章搭第一层地基——仿射空间 𝔸ⁿ 与多项式环、代数集与理想的双向对应、Zariski 拓扑、Hilbert 基定理、不可约分解与仿射簇、坐标环、Nullstellensatz；第二章深入结构——局部化与局部环、有理函数域、维数的四种等价定义、切空间与光滑点、奇异性、态射与双有理等价、乘积；第三章把无穷远请进来——射影空间 ℙⁿ 与齐次坐标、射影簇、齐次坐标环、Bézout 定理，并引入层与结构层 𝒪_X、凝聚层与上同调初步；第四章完成飞跃——从簇到概型、Spec R 作为空间、概型的态射与纤维积、分离与紧合、局部性质与除子、概型上的上同调与 Serre 对偶、Riemann–Roch 的预演；第五章走向算术——曲线与亏格、Riemann–Roch 定理、椭圆曲线的群律、Mordell–Weil 定理、有限域上的曲线与 ζ 函数、Weil 猜想、étale 上同调、Jacobi 簇与 Arakelov 几何；第六章远眺现代疆界——从概形到栈、导出函子与谱序列、相交理论、étale 与晶体上同调、Motive、Hodge 猜想、模空间与形变、几何 Langlands、镜像对称、导出代数几何；综合站用年表、人物谱、方法决策树、两个综合实验与二十四题自查收束全书。

写作的三条约束（本书的自我要求）。① 直觉与例子先行：每一个概念都从一张图、一个具体的小例子讲起——先看见抛物线 V(y − x²) 与圆 V(x² + y² − 1) 在平面上的样子、两条三次曲线为何在无穷远处还「欠」两个交点、Spec ℤ 里素点与泛点如何排成一条线，再抽成公理；每一个定理先有「为什么它是对的」的直觉，再有完整的证明。② 一步一图：凡能画的都画——理想与簇的双向箭头、Zariski 拓扑的闭集谱、射影平面的仿射图卡拼贴、层的茎与截面的局部—整体示意、概型的纤维与基变换方块、曲线上的除子与 Riemann–Roch 的维数差。代数几何最漂亮的地方正藏在「形状—环—层」的三向对照图里：一条定义、一句定理，画出来便一目了然。③ 自给自足：本书不假设手边另有教材，所需工具在书内随用随补——多项式与理想的运算、环与商环、局部化与诺特环的必要片段、域扩张与有限域的一点基础，都在需要它的那一页现学现用；每一条定义都同时给出形式陈述与一句大白话的直觉。个别深刻而整体的结论（Nullstellensatz 的代数证明、Riemann–Roch 定理、Mordell–Weil 定理、Weil 猜想的证明、导出代数几何的框架）给出精确陈述、证明思路与文献指引，数值与程序对拍在实验页随附、可自行复算。

页型节奏。每章以 导引 开篇（一页说清这一章要解决什么）；主体是 讲义 页（概念、定理、证明，一步一图）；每章配 例题 与 习题（先示范再放手）、知识地图 一页（本章概念怎么连成网）、小结（正面清单＋易错清单）、思想卡（一句话立起本章的哲学）、挑战（一道通向文献的硬题）、实验（一段可复算的程序）、格物札记（中西算学传统里的平行直觉）、速查表（本章公式与记号一页备翻）；章末另设 衔接讲义，把下一章的问题提前立起来。所有编号 可跳读：每一页都自带上下文，随手翻开一页也能读下去。

难度标记。讲义页用 ★–★★★★★ 标出阅读难度：★ 高中基础即可，★★ 需要多项式与线性代数的熟练经验（书内自给），★★★ 需要抽象代数的入门（环、理想、商环与局部化的定义，书内自给），★★★★ 需要交换代数与同调代数的一点经验（书内随用随补），★★★★★ 需要概形、上同调与现代算术几何的观点（第六章疆界各页）。若只求理解主线，读绪论、第一章的 nullstellensatz、第二章的维数与光滑性、第三章的 Bézout 与层、第四章的概型与 Riemann–Roch 即可；若求完整掌握，按章顺序逐页推进，并把每章习题做完。

三条线索贯穿全书：

① 明线——从方程到概形：先在坐标平面上把「方程的解集」看成几何对象（绪论与第一章），再把「形状」翻译成「环与模」的语言（第二章），把无穷远点请进来并用层组织局部数据（第三章），最后换掉地基、把空间本身定义为交换环的素谱，让算术与几何合一（第四、五章），并以现代上同调与导出几何作结（第六章）——这正是代数几何从「Descartes 的坐标」长成「Grothendieck 的概形」的轨迹。

② 暗线——几何与代数的双向字典。本书反复演练一本字典：形状顺向搬运（几何→代数：把簇送到它的理想、把态射送到环同态），函数环反向拉回（代数→几何：把理想读到它的零点集、把环同态读成态射）。Nullstellensatz 让字典在代数闭域上成为双射，概形则把字典扩展到算术世界。什么时候能用这本字典、什么时候必须升到层与上同调，是全书的核心招式。

③ 接口——通往四个邻域。代数几何是现代数学的枢纽：与交换代数（环、理想、局部化与维数）、拓扑（Zariski 拓扑、层与上同调）、微分几何与分析（复流形、Hodge 理论）三条战线直接相通，并与数论（椭圆曲线、Weil 猜想、Langlands）深度合流，第六章与综合站余韵两页逐条架桥。

写法约定（TEX 标准）：仿射空间记 𝔸ⁿ、射影空间记 ℙⁿ；簇记 X、Y（变量斜体），多项式环记 k[x₁, …, x_n]；理想记 𝔞、𝔪、𝔭；坐标环记 A(X)、结构层记 𝒪_X；概型记 (X, 𝒪_X)、素谱记 Spec R；层上同调记 Hⁱ(X, ℱ)。变量用斜体，函数名（Spec、dim、deg、Pic、Hom）与群名（Cl、Gal、GL）用正体；关键一步配图，形状与环逐章对照。

绪论 频率的语言：为什么要调和分析导引：听见函数的频率

★★★ 拨动一根琴弦，空气里传播的并不是一条数学曲线，而是一团「纯音」的叠加。三百年前，Bernoulli 与 Euler 为「弦能否被纯音叠加还原」争得面红耳赤；今天我们知道，这场争吵的答案叫 Fourier 级数——它是本册全部内容的起点。

本册要做什么？给函数换一副「眼睛」，不再逐点地看它的值 f(x)，而是整体地看它的频率成分：哪些频率在场、各占多大份量、相位如何。一旦换成这幅图景，「微分」变成「乘频率」、「卷积」变成「频域相乘」、「能量」变成「系数平方和」、「光滑」变成「高频快速衰减」——难算的操作变成好算的操作，这是调和分析的原始红利。

为什么值得学？调和分析是当代数学里最通用的语言之一：偏微分方程靠它做频率估计，数论靠它数质数，概率论靠它算特征函数，信号处理、图像压缩、无线通信、量子力学、机器学习全都运行在「频率」之上。学会这门语言，会同时听懂物理、工程与纯数学在说什么。

学习地图（绪论 → 六章 → 综合站）。绪论建立语感：声音、圆周、正交、两种展开、年表、路线图；第一章 Fourier 级数（把周期函数拆成纯音）；第二章收敛性与 L² 理论（部分和往哪里去）；第三章 Fourier 变换（从圆周到直线）；第四章经典核心定理（插值、采样、极大函数）；第五章现代工具（奇异积分、二进分解）；第六章疆界与应用（小波、时频、数论、压缩感知）。综合站收全册。

绪论 频率的语言：为什么要调和分析声音的启示：小提琴为什么好听

★★ 一切从一个问题开始：为什么小提琴和长笛吹同一个音，听起来不一样？

这就是 Fourier 的洞见。任何「合理的」周期振动都可以写成纯音之和：f(t) = Σ_n c_n e^{i n ω t}。所谓「听出音色」，就是耳朵在做 Fourier 分析——从复合波形里读出每个频率的振幅 c_n。仪器（频谱仪）只是把这件事做成了图像。

三条直觉，先收下。① 拆解是唯一的：一旦周期固定，纯音的配方（系数）就被函数唯一决定；② 低频管「形」，高频管「细节」：只保留前 N 个泛音，波形就变得圆滑——去掉的都是「棱角」；③ 能量守恒的雏形：波形的总能量（∫f²）等于各纯音能量之和（Σ|c_n|²）——这是第二章 Parseval 恒等式的物理版。

从声音到函数。把「音」抽象成「周期函数」、把「纯音」抽象成「正弦/复指数」，物理直觉就成了数学定理。本册的每一章，都是对这条直觉的一次精确化。

绪论 频率的语言：为什么要调和分析周期现象与圆周上的函数

★★ 第一个视角升级：把周期函数看成一圈上的函数。

为什么这样看？三个理由。① 去掉冗余：周期函数在 ℝ 上到处重复，真正独立的只有一圈上的值；② 「频率」获得几何意义：函数 e^inx 在圆周上表现为「均匀绕行 n 圈」——n 越大转得越快，这就是「高频」的几何图像；③ 对称性登场：圆周有平移群（转圈）与反射，调和分析本质上是「在平移群上做分解」——这个视角在第四章（群上调和分析）与第五章（卷积、极大函数）会全面兑现。

三种频率记号，先把口子对齐。角频率 n（每圈次数）对应纯音 e^inx；若周期是 2L，则换成 e^iπnx/L；若用「每秒转数」就是周期 T 的倒数。本册默认周期 2π、角频率 n ∈ ℤ，需要一般 T 时用一个简单的伸缩变换转回来。「n 可以是负的」也别怕：e^inx 与 e^−inx 只是绕行方向相反，合起来正好还原实值的正弦与余弦。

一句话记住：周期函数住在圆周上，频率就是绕圈的圈数，正弦余弦是「两个方向各绕若干圈」的实表示。第一章的全部构造，都从这幅圆画开始。

绪论 频率的语言：为什么要调和分析正交的思想：垂直的函数

★★ 第二个视角升级：把「垂直」搬到函数世界。

核心事实：三角系是一组正交系。乘法公式 e^imx·e^−inx = e^i(m−n)x 在整周期上的积分为：m = n 时等于 2π，m ≠ n 时等于 0。用归一化的 e_n(x) = e^inx/√(2π)，就得到漂亮的 ⟨e_m, e_n⟩ = δ_mn——一个标准正交系（orthonormal system）。

正交性的魔法：坐标 = 投影 = 内积。在线性代数里，正交基下求坐标只需做投影；函数世界里一模一样。假设 f = Σ c_n e_n，两边与 e_m 作内积，正交性把其余项全部杀死，只剩 ⟨f, e_m⟩ = c_m。Fourier 系数公式不是「想出来的」，而是「正交性自动奉送的」——这正是第一章 1.3 的主定理。

「假设」二字要小心。上面的推导预设了级数能收敛、且可逐项积分——这两件事不自动成立，正是第一章（逐点收敛）与第二章（L² 收敛）要解决的核心困难。正交性给出「该怎么算」，收敛理论回答「算出来对不对」——两条主线撑起全册前半部。

绪论 频率的语言：为什么要调和分析从 Taylor 到 Fourier：两种展开

★★ 为什么需要第二种展开？因为 Taylor 有它的盲区。

Taylor 的配方。用一点处的各阶导数（局部信息）拼出函数：f(x) = Σ f⁽ⁿ⁾(a)/n! ·(x−a)ⁿ。它把「光滑」用到极致，但代价是极其挑食：函数必须在 a 附近解析（无穷可微还不够），且只在「收敛半径」内有效。方波、锯齿波这类有跳变的周期函数，Taylor 在跳变点附近完全失灵。

Fourier 的配方。用整个周期上的积分（全局信息）拼出函数：f(x) = Σ c_n e^inx，其中 c_n 是全周期的投影。它只要求 f 可积（很弱的条件），连有跳变的方波也能展开。代价是：在跳变点附近会出现 Gibbs 过冲，且系数衰减速度受光滑度限制——函数越光滑，系数掉得越快。

一张对照表（记在心里）。基不同（幂 vs 三角）；信息不同（局部导数 vs 全局积分）；适用对象不同（解析 vs 可积）；收敛机制不同（解析半径 vs 光滑度）；对奇性的反应不同（Taylor 直接失效，Fourier 用无穷多高频「拟合」）。两者不是替代关系，而是覆盖了函数世界的不同地形。

一个深刻的类比。Taylor 像「用经纬度定位一个点」（局部坐标），Fourier 像「用光谱识别一种物质」（全局成分）。调和分析的历史，就是「全局频率视角」逐步登堂入室的历史。

绪论 频率的语言：为什么要调和分析年表与人物：从伯努利到 Carleson

★★★ 带一条时间线读本册：每一章背后都站着一个人与一场争论。

1753 · 争论的起点。D. Bernoulli 主张弦的振动是「基音 + 各次泛音」的叠加；Euler 与 d'Alembert 反对——他们的解（一般初始条件）看起来远比正弦之和复杂。分歧的实质是：这种分解到底普适不普适？（格物札记 p37 详述。）

1807 · Fourier 的一步。J. Fourier 在研究热传导时断言：任意函数（甚至分段不连续）都能展成三角级数，并给出系数公式 c_n = (1/2π)∫f(x)e^−inxdx。评委会（Lagrange、Laplace）因「不严格」而拒稿——但这条公式成了整个学科的引擎。

1829 · Dirichlet 的判决。Dirichlet 给出第一个严格的收敛定理：分段单调（或分段光滑）的函数，其 Fourier 级数在每点收敛（跳变点收敛到左右极限的平均）。这既证实了 Fourier 的大胆，也暴露了 Gibbs 过冲这个顽固的边界现象。

1904 · Fejér 的巧劲。逐点收敛太难，Fejér 改问「平均」：部分和的算术平均对连续函数一致收敛。用「好核」（Fejér 核）换掉「坏核」（Dirichlet 核），一个世纪的技术死结被一个求和法解开——并顺手给出 Weierstrass 逼近定理的 Fourier 证明。

1902–1920s · 换战场。Lebesgue 积分（1902）让「可积」的范围爆炸式扩大；Riesz 与 Fischer 证明 L² 中三角系是完备正交基（Riesz–Fischer 定理）——在均方意义下，收敛问题干净利落地解决。「换一种收敛，天地皆宽。」

1966 · Carleson 的终点。Lusin 猜想：L² 函数的 Fourier 级数几乎处处收敛。Carleson 在 1966 年证明之（n 维、L^p（p>1）由 Hunt 推广）。一个 213 年的问题画上句号——而新的问题（正测度集上的收敛、Bochner–Riesz 猜想）又开了新篇。

读法建议。把「一个人 + 一个问题 + 一个成果」当作路标。本册每章开头都会回望这条路标——数学不是从天而降的定理清单，而是一群人围着同一个问题接力了两百年。

绪论 频率的语言：为什么要调和分析全册路线图

★★ 八站路线，一句话一站，先看全貌再走路。

绪论（p2–p9）：语感。声音的启示、周期与圆周、正交的思想、Taylor 与 Fourier 的对照、年表人物、路线图——五页直觉 + 一页地图。

第一章（p10–p39）：把周期函数拆成纯音。圆周上的函数、Fourier 系数的定义与正交性、实/复两种形式、Dirichlet 核与收敛定理、Gibbs 现象、方波与三角波精讲、卷积登场。核心问题：怎么算系数？级数收敛吗？

第二章（p40–p64）：部分和往哪里去。把函数放进 L²，用均方收敛统一全局：Bessel 不等式、Riesz–Fischer 完备性、Parseval 恒等式、唯一性、Fejér 定理与好核、Weierstrass 逼近、du Bois-Reymond 反例、Carleson 定理。核心问题：换一种收敛，能救回多少？

第三章（p65–p94）：从圆周到直线。周期消失，频率连成线：Fourier 变换的定义与反演、高斯函数自对偶、卷积定理、Plancherel 能量守恒、光滑与衰减互换、不确定性原理、Schwartz 空间、缓增分布、Hermite 正交基、频域解法。核心问题：无限周期怎么取极限？

第四章（p95–p124）：经典核心定理。Poisson 求和、Shannon 采样定理、Riesz–Thorin 插值、Hausdorff–Young、Young 卷积不等式、Hardy–Littlewood 极大函数、Lebesgue 微分定理、高维与群上一瞥。核心问题：这些工具怎样同时在分析、工程里发光？

第五章（p125–p154）：现代工具。Calderón–Zygmund 分解、奇异积分与 Hilbert 变换、Riesz 变换、BMO、Littlewood–Paley 二进分解、平方函数、乘子定理、Bochner–Riesz 求和、A_p 权、Schrödinger 方程、T(1) 定理。核心问题：核在原点奇异时怎么办？

第六章（p155–p184）：疆界与应用。小波与多分辨分析、Gabor/时频分析、Heisenberg 群、指数和与圆法、素数定理的 Fourier 灵魂、压缩感知、随机 Fourier 级数、图像与 AI、振荡积分、未决前沿。核心问题：这门语言能说多远？

综合站（p185–p198）：收全册。年表人物谱、概念总图、方法决策树、两个综合实验、跨章大题、二十四问自查。把六章连成一条链。

三条贯穿全册的暗线。① 正交与基（从 e^inx 到小波）；② 收敛的层次（逐点 → 均方 → 几乎处处）；③ 核与卷积（Dirichlet/Fejér/Poisson/极大函数）。抓住这三条线，197 页就是一页。

绪论 频率的语言：为什么要调和分析绪论小结：频率的语法

★★ 绪论小结：频率的语法。

六页语感的账目。① 声音的启示：乐音 = 基频 + 泛音叠加，音色就是系数配比（p3）；② 周期即圆周：把周期函数卷成圆周上的函数，频率 = 绕圈次数（p4）；③ 正交即投影：三角系标准正交，系数 = 内积 = 坐标（p5）；④ 两种展开的分工：Taylor 局部/幂基 vs Fourier 全局/三角基（p6）；⑤ 年表与人物：一条问题链走了 213 年（p7）；⑥ 路线图：八站旅程 + 三条暗线（p8）。

本册的语法（四句话，先背下）。① 「拆」：把函数投影到一组（正交）基上，得到系数；② 「换」：微分/平移/卷积在频率坐标下变成乘法或简单相移；③ 「合」：用系数把函数拼回来，逼近的好坏由系数衰减速度控制；④ 「收」：一切都要问「在什么意义下收敛」——逐点、均方、还是几乎处处。

方法论预告（三条）。① 「先做有限，再取极限」：截断的部分和 S_N 是一切的出发点，收敛 = S_N 的去向；② 「换基 = 换难度」：同一个问题在不同基下天差地别（这是全书最重要的元技巧）；③ 「估计是硬通货」：调和分析的一切进展，最终都落成一条不等式（≤ C‖f‖_p）。

与相邻领域的握手。会认出：本册的 L² 理论正是那里「Hilbert 空间 + 正交基 + 投影定理」的盛大兑现（第二章）；Fourier 变换的算子视角（第三章）是那里「有界算子 + 谱」的具体化身。熟悉数学分析的可以发现：一致收敛、积分号下求导、级数求和这些老朋友，在频率语言下焕然一新。同一批事实，换一种语言，就换一种力量。

下一章预告。第一章「Fourier 级数」：从圆周上的函数与三角多项式出发，用正交性算出系数，用 Dirichlet 核把部分和写成卷积，证明 Dirichlet 收敛定理，直面 Gibbs 过冲——本册的第一个公式就会「拆」出一个方波。

第一章 Fourier 级数：把周期函数拆成纯音导引：本章导引：拆成纯音

★★★ 本章任务：把绪论的直觉变成公式。三个问题贯穿全章：① Fourier 系数怎么算？② 由系数拼回的部分和 S_Nf 收敛吗、在什么意义下？③ 实际算例（方波、三角波）里会发生什么？

第一段（1.1–1.4）：算。先定义舞台（圆周上的函数与三角多项式），再给系数公式（Fourier 系数），证明公式的引擎（正交性），最后给出实值函数的 sin/cos 版本。四页之后就能手算任何周期函数的频谱。

第二段（1.5–1.8）：问。「S_Nf → f 吗」这个问题比想象中刁钻：答案依赖于 f 的光滑性、问的是哪种收敛。主角是 Dirichlet 核 D_N——部分和的「放大镜」；结论是 Dirichlet 收敛定理（分段光滑处收敛），以及它的「留影机瑕疵」——Gibbs 过冲（跳变点旁永远过冲约 9%，加多少项都不少）。

第三段（1.9–1.14）：用。奇偶对称把计算量砍半；方波与三角波两个精讲例子给出本册第一批「手算+真跑」的全套流程；卷积观点把 S_Nf 统一成 f ∗ D_N（第三章 Fourier 变换的伏笔）；最后给一致收敛的充分条件与 Bessel 不等式一瞥（第二章的门票）。

学法提示。本章公式不多，但每一个都值得亲手推一遍：正交性三行、Dirichlet 定理的局部化思路、方波系数的分部积分。p36 实验会把 Gibbs 过冲真正跑出来——先手算、再真跑、后回看定理，是本册的标准学习循环。

第一章 Fourier 级数：把周期函数拆成纯音1.1 圆周上的函数与三角多项式

★★ 定义先行：最简单的「有频率的函数」。

为什么从它开始？三件事在三角多项式上毫无障碍：① 求和只有有限项（无收敛问题）；② 逐项积分合法；③ 频率成分一目了然。一般的函数 f 的 Fourier 级数，就是把三角多项式的阶数推到无穷——所有的困难都藏在这一步里。

频率的代数。三角多项式相乘，频率按「指数相加」卷起来：e^imx·e^inx = e^i(m+n)x。这个「频率相加」的乘法结构，正是第三章卷积定理的种子。在圆周 𝕋 上，{e^inx}_n∈ℤ 扮演着 ℝⁿ 里标准基的角色。

一个名词的约定。「三角多项式」的次数 N 是最高频率：它决定这条曲线最多能多「抖」。N 越大，能拟合的细节越丰富——这与幂多项式「次数越高弯得越厉害」平行。逼近论的第一问：N 阶三角多项式能多好地逼近 f？第二章 Fejér 定理会给出漂亮的答案。

第一章 Fourier 级数：把周期函数拆成纯音1.2 Fourier 系数的定义

★★★ 全书第一组核心公式：怎么读出一个函数的频率成分。

为什么长这样？（三层解读）① 几何：e^−inx 是「检测频率 n 的探针」——与 f 作内积，正交性保证只有 n 频率的成分存活；② 物理：|ĉ(n)| 是第 n 次泛音的振幅，arg ĉ(n) 是相位——频谱仪显示的就是 |ĉ(n)|；③ 代数：若 f 本身是 N 阶三角多项式，则直接验证 ĉ(n) = c_n（有限和逐项积分）——公式在多项式上是「恒等还原」，这就是它正确性的第一块试金石。

三条立即的性质（练手）。① 线性：(αf+βg)ⁿ = αĉ(n)+βĝ(n)——积分是线性的；② 平移：f(x+x₀) 的系数是 e^inx₀ĉ(n)——时域平移 = 频域乘相位（第三章的主旋律）；③ 共轭：f̄ 的系数是 ĉ(−n)‾——实值函数满足 ĉ(−n) = ĉ(n)‾（能量谱 |ĉ(n)|² 偶对称）。

注意记号「~」。f ~ 级数目前只是一个「配对」：级数是否收敛、收敛到不是不是 f，全都是后文的问题。系数永远存在（f 只需可积），收敛才需要努力——这句话是本章后半部的全部动力。

第一章 Fourier 级数：把周期函数拆成纯音1.3 正交性：系数公式的引擎

★★★ 定理（正交性）。函数族 {e^inx}_n∈ℤ 在 L²(𝕋) 中两两正交：

证明（三行，值得背）。m = n 时被积函数是 1，积分自然是 2π。m ≠ n 时用原函数：关键在于 m−n 是非零整数，于是 e^{i(m−n)·2π} = 1（整数圈！），上下限相减恰好消掉。「圆周让指数函数回到起点」——正交性是周期性的直接红利。在直线上（非周期），同样的积分就不为零了——这解释了为什么「频率分解」在圆周上最干净。∎

引擎一：系数公式的唯一性。若 f = Σ_|n|≤N c_ne^inx（三角多项式），两边与 e^imx 作内积：正交性杀死所有 n ≠ m 项，得 ĉ(m) = c_m。推论（唯一性）：三角多项式若恒为零则系数全零。「一个函数只有一张频谱身份证」由此成立。

引擎二：能量记账（Bessel 的种子）。‖f‖² = ⟨Σc_ne^inx, Σc_me^imx⟩ = 2πΣ|c_n|²——能量按频率分账，互不串门。对一般 f，等号要等第二章（Parseval），但不等号（Bessel）本章末就能拿到。

引擎三：为什么选复指数不选 sin/cos？{1, cos x, sin x, cos 2x, sin 2x, …} 也正交，但「一族两个指标」；复指数把两族拧成一族单指标 e^inx（n∈ℤ），乘法变成指数相加、旋转变成乘相位。代数上更便宜，几何上更对称——复形式的「贵」只是暂时的。

第一章 Fourier 级数：把周期函数拆成纯音1.4 实形式：正弦与余弦级数

★★ 对实值函数，用 sin/cos 记账更贴近直觉。由 Euler 公式 e^inx = cos nx + i sin nx，令a_n = (1/π)∫ f cos nx dx, b_n = (1/π)∫ f sin nx dx，则

振幅—相位翻译。a_n cos nx + b_n sin nx = A_n sin(nx + φ_n)，其中 A_n = √(a_n²+b_n²)（= 2|ĉ(n)|）、tan φ_n = a_n/b_n。复系数把「振幅+相位」打包成一个复数，实系数把它们拆成两个实数——信息完全等价。

对称性速算（本页最实用的一句）。实值 f：偶函数（f(−x)=f(x)）⇒ b_n = 0，纯余弦级数；奇函数（f(−x)=−f(x)）⇒ a_n = 0，纯正弦级数。原因：被积函数在对称区间上奇函数积分恒为零。1.9 将把这招系统化。

一般周期 2L。只需换元 x → πx/L：频率从 n 变成 nπ/L，公式照抄。本册固定 2π 是为了记号干净；工程里的「基频 f₀ = 1/T」与此一一对应。伸缩不改变任何定理的内容，只改变常数的写法。

第一章 Fourier 级数：把周期函数拆成纯音1.5 逐点收敛问题的提出

★★★ 现在问本章的真正问题：S_Nf(x) = Σ_|n|≤N ĉ(n)e^inx 收敛吗？收敛到 f 吗？

先把「天真希望」摆出来再击碎它。希望一：「连续函数的 Fourier 级数处处收敛到 f。」——错：du Bois-Reymond（1876）造出连续函数，其 Fourier 级数在一点发散（2.10）；希望二：「就算不处处收敛，至少有 f 连续处都收敛吧。」——连这也错：存在连续函数在稠密点集上发散。逐点收敛的世界比想象中险恶。

但也不必悲观。对「够好」的函数（分段光滑），Dirichlet 定理（1.7）保证收敛；对「平均」意义（Fejér，2.6）或「均方」意义（L²，2.1–2.4），一切连续/L² 函数都收敛。问题的正确提法不是「收不收敛」，而是「哪种函数 × 哪种收敛」的配对表——本章把「分段光滑 × 逐点」这一格填掉，第二章填满整张表。

三个立刻能感觉到的现象（见图）。① N 增大，部分和整体贴近 f——低频先到位；② 平坦段有细小波纹，N 越大波纹越密越矮；③ 跳变点旁有一个顽固的「过冲」峰，N 增大它不变矮、只是向跳变点挤——这就是 Gibbs 现象，1.8 用数值把它钉死。

方法预告。要研究 S_Nf，得先把它写成一个「算子」：S_Nf = f ∗ D_N（1.13）。核 D_N 的形状决定一切收敛现象——下一页先把它造出来。

第一章 Fourier 级数：把周期函数拆成纯音1.6 Dirichlet 核与部分和

★★★ 定义（Dirichlet 核）。D_N(t) = Σ_|n|≤N e^int = sin((N+½)t)/sin(t/2)——几何级数一步求和（首项 e^−iNt、公比 e^it）。

它为什么是主角？因为部分和可以写成卷积（1.13 证明）：S_Nf = f ∗ D_N = (1/2π)∫ f(x−t) D_N(t) dt。于是「S_Nf 收敛吗」变成「核 D_N 是不是好核」：好核（质量集中、总面积不变）卷任何函数都还原该函数；坏核（质量逃逸到振荡尾巴）就会出乱子。D_N 恰好半好半坏——这就是 Fourier 级数收敛理论全部戏剧性的来源。

D_N 的三条性格（逐条用）。① 积分恒定：(1/2π)∫D_N = 1（求和号下每一项的积分都是 1）——这保证常函数被完美还原；② 变号：分子分母都振荡，D_N 可正可负——加权平均时负权会「偷走」质量，这是过冲的元凶；③ L¹ 范数如 log N 增长：‖D_N‖₁ ~ (8/π²)log N——质量没有消失，而是逃向越来越窄的尖峰。对照：Fejér 核（2.7）非负且 ‖F_N‖₁ = 1——好核一枚，这就是 Fejér 定理成功的原因。

一个立即的推论。若 f 是 N 阶三角多项式，则 S_Nf = f（自证：系数相同）——投影算子 S_N 在自己的子空间上是恒等。这与幂多项式截断完全平行。

第一章 Fourier 级数：把周期函数拆成纯音1.7 Dirichlet 收敛定理

★★★★ 定理（Dirichlet 收敛）。设 f 分段光滑（分成有限段，每段 C¹、端点单侧极限存在），则对每个 x：

证明思路（三步，看懂比背下重要）。① 写成核积分：S_Nf(x) − ½[f(x₊)+f(x₋)] = (1/2π)∫g_x(t)D_N(t)dt，其中 g_x(t) = f(x−t)+f(x+t)−f(x₊)−f(x₋)（拆成对称两半，奇异部分相消）；② 关键观察：g_x(0) = 0 且 g_x 在 0 附近 Lipschitz（分段光滑性）——分子在 t=0 处比 D_N 的尖峰更平；③ Riemann–Lebesgue 引理：可积函数乘振荡因子 e^iNt 的积分 → 0（直观：正负抵消越来越快）。把 D_N 写成 sin 形式套用引理，积分 → 0。∎

两个必记的细节。① 中点规则不是妥协，是必然：S_Nf 连续（有限个连续函数之和），不可能收敛到一个不连续的值；在跳变点，「最公平」的连续极限就是左右平均——对称部分和结构自动给出这个值。② 局部化原理：S_Nf(x) 的极限只依赖 f 在 x 附近的值（Riemann 的名言）——核的尖峰集中在 t = 0。「远处的形状不影响这一点的极限」是 Fourier 级数最反直觉的性质之一。

边界之外。「分段单调 + 有界」也够（Jordan 判别法）；但只有连续不够（2.10 反例）、跳变点旁有 Gibbs 过冲（1.8）。定理画出了逐点收敛的安全区，边界上各有一朵乌云——两朵乌云分别由 Fejér（2.6）与 Carleson（2.11）驱散。

第一章 Fourier 级数：把周期函数拆成纯音1.8 Gibbs 现象：过冲的顽固

★★★ 现象。在跳变点旁，S_Nf 总有一个过冲峰：对高度 1 的方波，峰值 → (2/π)∫₀^π (sin t/t)dt = (2/π)Si(π) ≈ 1.1790，即超出平台 0.179，恰为跳变幅度（2）的约 8.95%——「过冲约 9%」的来历。这个常数是「sinc 积分 Si(π)」，不由任何定理「消除」——它是 Dirichlet 核负权振荡的必然产物。p36 实验真跑验证到四位小数。

为什么「收敛」与「过冲」不矛盾？Dirichlet 定理说每个固定点 x 上 S_Nf(x) → f(x)：过冲峰随 N 挤向跳变点，任何固定 x 迟早被峰「扫过去」而恢复收敛。但「峰的最高点」这个位置随 N 移动——取峰值的点列 x_N → 跳变点，在 x_N 处的值恒 1.1790 不收敛到 f。逐点收敛不保护「移动的点」——这正是「逐点收敛 ≠ 一致收敛」最生动的教具。

工程含义。信号截断（只保留前 N 个频率）会在陡峭边缘产生固定比例的振铃：图像 JPEG 压缩的边缘伪影、音频的「嘶嘶」声、示波器的边沿过冲都源于此。对策有两种：换好核（Fejér 平均 / 窗函数，牺牲一点锐度换取无过冲）或接受它（信号处理里常说的「时频折中」）。第三章的不确定性原理会说明：这折中是数学必然，不是技术不足。

第一章 Fourier 级数：把周期函数拆成纯音1.9 奇偶性与对称的速算

★★ 手算 Fourier 系数的第一加速器：对称性。被积函数在对称区间上是奇函数 ⇒ 积分为零——这条微积分常识在频谱计算里威力巨大。

规则一（奇偶）。f 偶 ⇒ b_n = 0（f·sin nx 是奇函数），纯余弦；f 奇 ⇒ a_n = 0（f·cos nx 是奇），纯正弦。多数教材例子（方波、三角波、|x|）都特意取在对称位置，就是为了吃满这条红利。

规则二（半波对称）。f(x+π) = −f(x)（把半圆翻转）⇒ 偶次系数全为零：ĉ(2k) = 0。验证：∫₀^2πf e^−i2kxdx 拆成 [0,π] 与 [π,2π] 两半，换元后恰相反消。这就是乐器「八度」的数学：只含奇次谐波的音色听起来更「空灵」（单簧管的低音区近似如此）。

规则三（平移不换谱）。g(x) = f(x − x₀) 的系数 = e^−inx₀ĉ(n)（1.2 性质②）：|ĝ(n)| = |ĉ(n)|——平移只转相位，不改能量分布。实用推论：想让函数变偶/变奇，先平移再展开，展开完再移回去。

算例热身（下一页正式开工）。方波 f = sign(sin x)：奇函数 ⇒ 只求 b_n = (2/π)∫₀^πsin nx dx = (2/nπ)(1−cos nπ) = (2/nπ)(1−(−1)ⁿ)——偶 n 自动为零，奇 n 得 4/nπ。一行积分 + 一条对称性，方波的频谱就出来了（1.10 验证）。

第一章 Fourier 级数：把周期函数拆成纯音1.10 例子精讲：方波的展开

★★★ 例 1（方波，全套流程演示）。取 f(x) = sign(sin x)（高 ±1 的奇方波）。

第一步：对称性定位。f 奇 ⇒ a_n = 0；半波反对称（f(x+π)=−f(x)）⇒ 偶次为零。只剩 b_n（n 奇）。

第二步：一行积分。b_n = (2/π)∫₀^πsin nx dx = (2/π)·[(1−cos nπ)/n] = (2/nπ)(1−(−1)ⁿ)。n 奇时 = 4/(nπ)，n 偶时 = 0。

第三步：读频谱（三件事）。① 只含奇次正弦——对称性的两次兑现；② 系数 ~ 1/n：f 有跳变，衰减只能这么慢——光滑度定价衰减率（f 分段 C⁰、跳变 ⇒ 1/n；f 连续但导数跳 ⇒ 1/n²，见三角波）；③ 跳变点旁 Gibbs 过冲：峰 → (2/π)Si(π) ≈ 1.1790，超出平台 0.179（跳幅的 9%）（1.8 / p36 实验）。

顺手的一个推论（数论的礼物）。把 x = π/2 代入：f(π/2) = 1 = (4/π)[1 − 1/3 + 1/5 − 1/7 + …]，于是 π/4 = 1 − 1/3 + 1/5 − 1/7 + …（Leibniz 级数）。Fourier 级数是「生成常数级数」的机器——1.11 与 p27 例题还会继续收获。

第一章 Fourier 级数：把周期函数拆成纯音1.11 例子精讲：三角波的展开

★★★ 例 2（三角波：与方波对照，体会「光滑度定价」）。取 f(x) = 1 − |x|/π（x ∈ [−π,π]，周期延拓）——峰顶在 0 的偶三角波。

第一步：对称性。f 偶 ⇒ 纯余弦级数（b_n = 0）。峰在 x=0 保证了「无平移」的最简形态。

第二步：两次分部积分。a_n = (2/π)∫₀^π(1−x/π)cos nx dx。一次分部：∫cos nx dx = sin nx/n（端点 sin nπ = 0 消失）；对 −x/π 项再分部：∫x cos nx dx = [x sin nx/n + cos nx/n²]₀^π = ((−1)ⁿ−1)/n²。合并得

第三步：对照方波，读出「光滑度定价表」。① 方波（函数跳）⇒ 1/n，部分和有明显波纹与 Gibbs；② 三角波（函数连续、导数跳）⇒ 1/n²，绝对一致收敛、无 Gibbs；③ 一般规律：f 有 k 阶导数跳变 ⇒ 系数 ~ 1/n^k+1。「看频谱衰减速度 = 给函数做 CT」——这一招在信号处理里叫 spectral analysis，在第三章会升级为「光滑与衰减互换」定理。

又一个常数级数。取 x = 0：f(0) = 1 = (8/π²)Σ_k≥0 1/(2k+1)²，于是 Σ 1/(2k+1)² = π²/8（配合 Σ1/n² = π²/6 立得 Σ 偶次 = π²/24）。Basel 问题的 Fourier 解法，比 Euler 的原始证明更「自动化」。

第一章 Fourier 级数：把周期函数拆成纯音1.12 卷积登上舞台

★★★ 定义（圆周上的卷积）。

四条基本性质（自证，每条一行）。① 交换律：换元 t → x−t；② 结合律：Fubini（可积函数卷可积函数仍可积）；③ 与平移交换：T_y(f∗g) = (T_yf)∗g——卷积「看不见」平移，这是它与周期世界天作之合的原因；④ Young 不等式：‖f∗g‖₁ ≤ ‖f‖₁‖g‖₁（交换积分次序 + 换元收质量）。卷积把 L¹ 变成一个「 Banah 代数」——有乘法（卷积）、有范数、乘法受范数控制。

卷积的频率身份证（本章最重要的一条计算）。直接算系数：(f∗g)ⁿ = ĉ(n)·ĝ(n)。证明一行：展开双重积分，e^−in(x−t)·e^−int = e^−inx（相位恰好相消）。「时域卷积 = 频域乘法」——整个信号处理的引擎在此：滤波 = 乘频率响应、解微分方程 = 除以频率多项式、第三章整章都在开发这条恒等式。

为什么卷积「天生属于」圆周？因为平移群在圆周上最自然：卷积就是把「在所有平移下求平均」。群上的不变算子必是卷积算子（第四章群调和分析的核心定理）——卷积不是技巧，是「对称性」的代数化身。

第一章 Fourier 级数：把周期函数拆成纯音1.13 部分和 = 卷积 Dirichlet 核

★★★★ 本章的枢纽恒等式，三行证完。

这个恒等式「值回票价」的三种方式。① 概念上：S_N 是一个积分算子（卷积算子），收敛问题变成「核逼近 δ 函数」的问题——逼近恒等（approximate identity）理论的开场；② 技术上：Dirichlet 定理的证明（1.17 页）实质就是对 f∗D_N 做核估计——「减去目标值、验证差被核的尖峰吃掉」；③ 结构上：不同的求和法 = 不同的核：Dirichlet 核（截断）、Fejér 核（Cesàro 平均，2.7）、Poisson 核（Abel 求和，调和延拓）——一部 Fourier 求和法历史就是一部「造好核」的历史。

顺手的两个立即推论。① ‖S_Nf‖_∞ ≤ ‖D_N‖₁‖f‖_∞/(2π)……但 ‖D_N‖₁ ~ log N → ∞，这个界注定不可能给出一致收敛（它太粗）；② 若 f 是 N 阶三角多项式则 S_Nf = f（系数唯一）——S_N 是到 N 阶三角多项式空间上的「正交投影」（第二章会给这句话的精确含义）。

承上启下。现在收敛问题的全部筹码都在核上：D_N 的尖峰给出「局部化」（好的一面），负权与 log N 质量给出「过冲与发散可能」（坏的一面）。1.14 先把「好」的一面用足（一致收敛充分条件），第二章再用 Fejér 核把「坏」的一面整体买断。

第一章 Fourier 级数：把周期函数拆成纯音1.14 一致收敛的充分条件

★★★ 判据一（绝对收敛 ⇒ 一致收敛，最常用）。若 Σ_n|ĉ(n)| < ∞，则 Fourier 级数被常数级数控制（Weierstrass M 判别），故绝对且一致收敛到某连续函数 g；而 g 的 Fourier 系数与 f 相同（一致收敛可逐项积分），由唯一性 g = f。何时满足？f 分段 C² ⇒ 两次分部积分给 |ĉ(n)| ≤ ‖f″‖₁/(2πn²) ⇒ Σ|ĉ(n)| 收敛。三角波即此类。

判据三（Dini 型）。固定 x，若 ∫₀^π|f(x+t)+f(x−t)−2f(x)|/t dt < ∞（「在 x 处的 Dini 条件」），则 S_Nf(x) → f(x)。Lipschitz 函数处处满足（差 ≤ L|t|，除以 t 有界）。Dini 条件比「分段光滑」更精细：它给出逐点收敛的最弱主流条件之一。

反面警示（必须刻在脑子里）。① 一致收敛的极限必连续——所以有跳变的函数（方波）永远不可能一致收敛，Gibbs 过冲是它的「阵亡通知书」；② 只有连续买不到逐点收敛的保险——du Bois-Reymond 反例（2.10）专门打掉这个幻想；③ 因此「连续 + 收敛」的正确问法是换一种收敛（均方 / 平均 / 几乎处处）——这正是下一章的全部议程。

第一章 Fourier 级数：把周期函数拆成纯音1.15 Bessel 不等式一瞥

★★★ 定理（Bessel 不等式）。对 f ∈ L²(𝕋)（平方可积）与任意 N：

证明（一行几何 + 三行代数）。令 g = f − S_Nf。S_Nf 是正交投影（系数公式 ⟺ g 与每个 e^inx（|n|≤N）正交，自验：⟨g, e^imx⟩ = ĉ(m)−ĉ(m) = 0），而向量减去正交投影后与投影方向正交，故 ‖f‖² = ‖g‖² + ‖S_Nf‖² ≥ ‖S_Nf‖² = 2πΣ_|n|≤N|ĉ(n)|²。∎（「勾股定理」在函数世界的第一次亮相。）

推论一（系数趋零）。|ĉ(n)|² 是收敛级数的项 ⇒ ĉ(n) → 0——这是 Riemann–Lebesgue 引理的 L² 特例（一般 L¹ 版本 1.17 证明里用过）：可积函数没有「高频残留」。物理版：不存在无穷亮的单频。

推论二（S_N 是最佳逼近）。在所有「只用前 2N+1 个频率」的逼近中，S_Nf 的均方误差 ‖f−S_Nf‖ 最小。任何同频数的三角多项式 g 都有 ‖f−g‖ ≥ ‖f−S_Nf‖——Fourier 截断不只是「自然」的截断，还是「最优」的截断（在 L² 度量下）。

等号何时成立？Bessel 只保证 ≤；等号 ⟺ ‖f−S_Nf‖² → 0（均方收敛到 f）⟺ 三角系是完备正交基。这是第二章 Riesz–Fischer 定理与 Parseval 恒等式的主菜——本页的「一瞥」就是第二章的预告片。

第一章 Fourier 级数：把周期函数拆成纯音1.16 本章工具箱小结

★★ 本章 16 节，收进三格工具箱。

三件最值得带走的东西。① 系数 = 投影：正交性把分析问题变成几何问题；② 部分和 = 卷积：S_Nf = f∗D_N，收敛问题变成核问题——这条思路统治全书；③ 光滑度定价衰减率：看频谱衰减就知道函数光滑到几阶——「频谱是函数的 CT」。

遗留清单（下一章接手）。① 连续函数的 Fourier 级数可以发散（逐点这条路已到尽头）；② Bessel 的等号（完备性）；③ 一致收敛对连续函数是否总可行？——Fejér 说：把「部分和」换成「部分和的平均」，一切连续函数一致收敛。下一章从「换收敛」开始。

第一章 Fourier 级数：把周期函数拆成纯音例题精讲：系数的演算

★★★ 例题精讲：系数的演算。三道典型题，覆盖「奇偶速算 + 分部积分 + 常数级数」三个考点。

例 1（奇函数：f(x) = x，x ∈ (−π,π) 周期延拓）。奇 ⇒ a_n = 0。b_n = (2/π)∫₀^πx sin nx dx。分部积分：= (2/π)[−x cos nx/n + sin nx/n²]₀^π = (2/π)(−π cos nπ/n) = 2(−1)ⁿ⁺¹/n。

例 2（绝对可积的「尖」函数：f(x) = |sin x|）。偶 ⇒ 纯余弦，且半波对称（|sin(x+π)|=|sin x|）⇒ 只剩偶次。a_n = (2/π)∫₀^π|sin x|cos nx dx = (2/π)∫₀^πsin x cos nx dx。积化和差：sin x cos nx = ½[sin(1+n)x + sin(1−n)x]，逐项积出（n≠1）：a_n = (2/π)·2/(1−n²)·[修正项] = −4/(π(n²−1))（n 偶），0（n 奇>1）；a₀ = 4/π，a₁ = 0。

例 3（光滑样板：f(x) = x²，x ∈ (−π,π) 周期延拓）。偶 ⇒ 纯余弦。a_n = (2/π)∫₀^πx² cos nx dx，两次分部积分：a_n = 4(−1)ⁿ/n²（n ≥ 1），a₀ = 2π²/3。

演算小结（三步舞）。① 对称定位：奇偶 + 半波，先砍一半甚至更多；② 分部积分：边界项用 sin nπ = 0、cos nπ = (−1)ⁿ 消化；③ 读衰减：从系数价目反推函数光滑度，自检有没有算错量级。三步舞在习题课与后续每章反复使用。

第一章 Fourier 级数：把周期函数拆成纯音例题精讲：部分和与 Gibbs 的数值演算

★★★ 例题精讲：部分和与 Gibbs 的数值演算。手算 + 数值直觉双轨，为 p36 实验做热身。

例 1（手算 S₂ 与 S₃ 的峰值位置）。方波 S_N(x) = (4/π)Σ_{k 奇≤N} sin kx/k。求 S₁ 的最大值：S₁(x) = (4/π)sin x，最大 (4/π) ≈ 1.273 在 x = π/2——单正弦就冲过了 1！S₃(x) = (4/π)(sin x + sin 3x/3)，S₃′ = (4/π)(cos x + cos 3x) = (8/π)cos 2x cos x（和差化积），零点 x = π/2 与 x = π/4…：在 x = π/4 处 S₃ = (4/π)(√2/2 + √2/6) = (8√2/(3π)) ≈ 1.200。峰值随 N 递减趋向 1.1790 —— 手算已见 Gibbs 的影子。

例 2（跳变点处的值：中点规则验证）。S_N(0) = Σ_奇≤N 0 = 0？不对——ĉ(n) = 1/(2in)·(2/π)·…直接算：方波为奇函数，S_N(0) = 0（每项 sin 0 = 0）。而 Dirichlet 定理说跳变点极限 = ½[1+(−1)] = 0 ✓。再验证 x = π：S_N(π) = 0（sin nπ = 0）✓。「中点规则」在每一个跳变点精确成立（N 有限时也成立）。

例 3（Leibniz 部分和的振荡：定点的收敛速度）。在 x = π/2 处：S_N(π/2) = (4/π)(1 − 1/3 + 1/5 − … ± 1/N)。部分和交错振荡：N=1: 1.273；N=3: 0.849；N=5: 1.050；N=7: 0.911；N=9: 1.021；N=11: 0.943……围绕 1 以 ~4/πN 的幅度、按 ~2/π 的步长锯齿收敛（交错级数余项界 |R_N| ≤ 4/(π(N+2))）。「固定点收敛、移动峰不收敛」的对照组就绪——p36 实验把两者放进同一张输出表。

例 4（误差的地形图：为什么全域 sup 误差恒 ≈ 1）。在跳变点 x = 0 处 S_N(0) = 0 而 f(0₊) = 1：误差恰为 1，且这个点永远存在。所以 ‖f − S_N‖_∞ ≥ 1 对一切 N 成立——不一致收敛的「一票否决」不用等 Gibbs，跳变点本身就是死刑判决。而把跳变挖掉（限制在 [0.1, π−0.1]），误差随 N 稳步下降（p36 实测 0.179 → 0.050 → 0.010）。「哪里收敛、哪里卡住」这张地形图，带走。

第一章 Fourier 级数：把周期函数拆成纯音习题课：正交性与系数

★★ 习题课（一）：正交性与系数。「会算系数」是本册的基本功——先手推公式，再判性质。

A 组（正交性与公式，四题）。① 直接积分验证：∫₀^2πcos mx cos nx dx = πδ_mn（m, n ≥ 1）；∫₀^2πcos mx dx = 0——凑出实形式的完整正交表。② 用正交性证明唯一性：若两个三角多项式处处相等，则对应系数相等。相减后与 e^imx 作内积。③ 证明平移公式：g(x) = f(x−x₀) ⇒ ĝ(n) = e^−inx₀ĉ(n)。换元 t = u−x₀。④ 证明共轭公式：f 实值 ⟺ ĉ(−n) = ĉ(n)‾；并推论 |ĉ(−n)| = |ĉ(n)|（能量谱偶对称）。

B 组（系数演算，四题）。① 求 f(x) = cos³x 的 Fourier 级数。不用积分！积化和差：cos³x = (3cos x + cos 3x)/4——三角多项式的系数「一眼读出」。② 求 f(x) = e^x（(−π,π) 上，周期延拓）的复系数，并验证 ĉ(n) → 0 且衰减如 1/n。答案 ĉ(n) = (−1)ⁿsinh π/(π(1−in))；跳变在 ±π。③ 求 f(x) = |x| 的级数，并推导 Σ 1/(2k+1)² = π²/8。偶函数；代 x = 0。④ 证明：若 f 分段 C¹ 且跳变幅度为 J（在 x₀ 处），则 |ĉ(n)| 有下界估计 limsup n|ĉ(n)| ≥ |J|/(2π)——「跳变必然留下 1/n 的指纹」的定量版。

方法论。① 先问对称（奇偶/半波），再动积分；② 三角多项式「读系数」不需要积分（积化和差）；③ 算完必查两件事：衰减量级与光滑度匹配吗？衰减的奇偶模式与对称性匹配吗？——两条自检能抓住九成的演算错误。

第一章 Fourier 级数：把周期函数拆成纯音习题课：对称性与速算

★★ 习题课（二）：对称性与速算。把 1.9 的 checklist 变成肌肉记忆。

A 组（对称判别，四题）。① 判定下列函数的 Fourier 级数形态（纯余弦/纯正弦/全有；只含奇次/偶次）：f(x) = x·sin x；g(x) = cos x + x³；h(x) = sin²x；u(x) = e^|x|。先判奇偶，再判 f(x+π) 与 f(x) 的关系（半波对称）。② 证明：f 偶且 f(x+π) = f(x)（半波对称的「偶版」）⇒ 级数只含偶次余弦。频率 n 的纯音在半周期平移下变号当且仅当 n 奇。③ 把 f(x) = x（0 < x < 2π）分别延拓成「平移后的奇函数」与「平移后的偶函数」，写出两种级数（半幅/全幅展开）——同一个函数的两种合法展开，收敛速度不同（一种 1/n、一种 1/n²）。④ 证明平移不改变能量谱：Σ|ĉ(n)|² 与 x₀ 无关（为 Parseval 埋伏笔）。

B 组（综合演算，四题）。① 求 f(x) = sin x + ½sin 3x 的所有系数（三秒题），并画出 |ĉ(n)| 棒图。② 已知某偶函数的系数 a_n = 1/(n²+1)（n ≥ 0），写出级数并判断一致收敛性。Σ1/(n²+1) 收敛 ⇒ 绝对一致收敛；函数处处连续（为什么？）。③ 设 f 分段 C¹，仅在 x=0 处跳变 J=2，其余处处 C^∞。证明：|ĉ(n)| ~ 1/n 的主导项来自跳变，光滑部分的贡献是 O(1/n²)。分部积分逐段做，边界项集中了跳变信息。④ 挑战题：证明「衰减率价目表」的反向版本——若 Σn|ĉ(n)| < ∞ 则 f 连续（甚至 C⁰），若 Σn²|ĉ(n)| < ∞ 则 f ∈ C¹。逐项微分的绝对一致收敛判据。

方法论。对称 checklist 的完整流程：① 奇偶 → 砍 sin 或 cos；② 半波 → 砍奇次或偶次；③ 平移 → 改变奇偶归属（不改能量）；④ 算完读衰减自检。四步做完再动笔积分，通常只剩一个区间的半个被积函数。

第一章 Fourier 级数：把周期函数拆成纯音本章地图：Fourier 级数的依赖结构

★★ 本章地图：一根引擎 + 两条干线 + 一条边界。

根：正交性（1.3）。三行积分撑起全章：系数公式（正交性把联立方程砍成单射影）、唯一性（系数全零 ⟺ 函数为零）、Bessel（投影不增能量）。任何后续章节用到「系数 = 坐标」，都在兑现这三行。

左干线：算（1.2 → 1.9 → 1.10/1.11）。公式给「怎么算」，对称给「怎么快」，例子给「算完长什么样」。方波（1/n，有跳）与三角波（1/n²，无跳）是价目表的两个锚点——之后每遇到新函数，先与这两锚点对表。

右干线：问（1.5 → 1.6/1.12/1.13 → 1.7/1.8）。提出收敛问题 → 造 Dirichlet 核 → 发现部分和 = 卷积 → 用核性质证明 Dirichlet 定理 → 撞上 Gibbs。这条干线的范式（把算子写成卷积、把收敛变成核估计）在第四章（Poisson 核、极大函数）与第五章（奇异积分）反复重演——第一章是这套范式的「新手教程」。

边界与出口（1.14/1.15 → 第二章）。一致收敛三判据画出了「安全区」；Bessel 不等式露出了「等号」的缺口。两个出口都通向第二章：换好核（Fejér）救一致收敛，换 L² 度量救均方收敛。地图上没有死路——只有还没换的视角。

第一章 Fourier 级数：把周期函数拆成纯音小结：展开的语言

★★ 第一章小结（上）：展开的语言。

概念清单（七件）。圆周 𝕋 = ℝ/2πℤ（周期即圆周）；三角多项式（有限频率和）；Fourier 系数 ĉ(n) = (1/2π)∫f e^−inx（频率身份证）；实系数 a_n/b_n 与换算（振幅+相位）；正交系与 δ_mn；卷积 f∗g（滑动加权平均）；S_N 截断算子（正交投影）。

公式清单（背这六条）。① 系数公式（复/实两套 + 换算）；② 正交性 δ_mn（整数圈积分为零）；③ 平移律 ĝ(n) = e^−inx₀ĉ(n)；④ 共轭律（实值 ⟺ 谱偶对称）；⑤ 卷积谱定理 (f∗g)^ = ĉ·ĝ；⑥ 换算振幅 A_n = 2|ĉ(n)|。

速算 checklist（四步）。奇偶 → 半波 → 平移 → 衰减自检。三个标准例子随身带：x（奇、1/n、Leibniz）、|sin x|（偶、偶次、1/(4k²−1)）、x²（偶、1/n²、Basel）。

常见错误三则。① 把 f ~ 级数当等号写——「~」只表示「这是它的 Fourier 级数」，收敛另论；② 忘记周期延拓：在 (−π,π) 上光滑的 f 延拓后端点可能跳变（如 f = x）——衰减率按延拓后的光滑度算；③ 混淆 ĉ(0) 与 a₀：c₀ = a₀/2——直流分量差一个因子 2。

一句话记住上半章：Fourier 展开就是把函数投影到频率基上——系数是坐标，正交性是引擎，对称性是折扣券。

第一章 Fourier 级数：把周期函数拆成纯音小结：收敛的语言

★★ 第一章小结（下）：收敛的语言。

定理清单（五件）。① Dirichlet 收敛定理：分段光滑 ⇒ S_Nf(x) → ½[f(x₊)+f(x₋)]（连续点取 f(x)，跳变点取平均）；② 一致收敛判据×3：Σ|ĉ(n)|<∞（如分段 C²）、周期连续+分段 C¹、Dini 条件；③ S_N = f∗D_N（部分和=卷积）；④ Bessel 不等式（能量不增 + 最佳逼近）；⑤ Riemann–Lebesgue 引理（ĉ(n) → 0，L² 特例由 Bessel 即得）。

现象清单（两件，都是「边界新闻」）。① Gibbs 过冲：峰 → (2/π)Si(π) ≈ 1.1790，超出平台 0.179 = 跳幅的 8.95%，N → ∞ 不消退；② 发散的可能性：连续函数的 Fourier 级数可以在一点发散（du Bois-Reymond，2.10 详述）——逐点收敛没有「连续」保险。

机理一句话。一切收敛现象都由 D_N 的品质解释：积分恒 2π（能还原常数）+ 尖峰集中（局部化 ⇒ 中点规则）+ 负权振荡（过冲）+ ‖D_N‖₁ ~ log N（无法一致控制有跳函数）。「好核收敛、坏核闯祸」——这把钥匙开第二章所有的锁。

常见错误三则。① 以为「N 大了过冲会变小」——不会，峰高恒定只是变窄；② 以为「连续就收敛」——du Bois-Reymond 等着；③ 把「一致收敛」的判据用在有跳函数上——一致收敛的极限必连续，方波直接出局。

一句话记住下半章：部分和是「用 D_N 做的加权平均」——定理说的是这个平均什么时候忠于原函数，Gibbs 说的是它什么时候永远差一点。

第一章 Fourier 级数：把周期函数拆成纯音思想卡：用无穷多纯音重建一个函数

★★★ 思想卡：用无穷多纯音重建一个函数。

本章最深的观念不是任何一条定理，而是一个动作：把「一个函数」看成「无穷多个数的清单」。f(x) 与 {ĉ(n)}_n∈ℤ 是同一个数学对象的两种写法——就像一首曲子与它的乐谱、一张图像与它的像素阵列。「函数」与「数列」之间隔着的，只是一组基。

这个观念的三次兑现。① 唯一性：数列决定函数（系数全同 ⇒ 函数全同）——「身份」可以用频谱定义；② 翻译：微积分操作变成数列上的代数（平移乘相位、卷积乘系数、第二章微分乘 in）——分析问题降维成代数问题；③ 度量：函数的「大小」（能量）等于数列的 ℓ² 大小（Bessel/Parseval）——无穷维空间里的勾股定理。三次兑现共同宣告：L²(𝕋) 与 ℓ² 是同一个空间的两件外套（第二章正式宣布这条同构）。

为什么「无穷多」是本质的？有限个纯音只能表示三角多项式；要表示「方波」这样平凡的函数，必须无穷多项，而且不能偷工减料：Gibbs 说明，砍掉高频会留下永久伤疤（0.179 的过冲税）；du Bois-Reymond 说明，无穷项的和甚至可能拒绝收敛。「无穷」不是「很大很大的有限」——它是另一种动物，需要收敛理论来驯服。这正是下一章存在的理由。

思想的迁移。「基 = 视角」是现代数学最通用的元思想：量子力学的态矢量在能量基/位置基之间切换，机器学习的 PCA 在方差最大的基上看数据，JPEG 在 DCT 基上存储图像，小波在时频局域的基上压缩信号——全都是本章动作的变奏：选一组基，把对象写成坐标，难题在新坐标下变形。学完本册回头看：「Fourier 级数」教的不只是三角，而是「换基」这门通用手艺的第一课。

第一章 Fourier 级数：把周期函数拆成纯音挑战：Dirichlet 定理的重排证明

★★★★ 挑战：Dirichlet 定理的重排证明。把 1.17 的证明思路补全到可写的程度——本册第一个「完整证明」挑战。

目标。f 分段 C¹（分点 a₀<a₁<…<a_m），证明对每个 x：S_Nf(x) → ½[f(x₊)+f(x₋)]；若 f 周期连续则一致。

第一步：对称化与核积分公式。利用 D_N 偶函数，把部分和写成对称卷积：S_Nf(x) = (1/2π)∫₀^π[f(x+t)+f(x−t)]D_N(t)dt。目标值恰为 ½[f(x₊)+f(x₋)] = (1/2π)∫₀^π[f(x₊)+f(x₋)]·1 dt（因为 (1/2π)∫₀^πD_N = ½）。两式相减，误差 = (1/2π)∫₀^πg_x(t)D_N(t)dt，其中 g_x(t) = f(x+t)−f(x₊) + f(x−t)−f(x₋)。注意 g_x(0) = 0——减去目标值就是为了制造这个零点。

第二步：Dirichlet 核的正弦形式。D_N(t) = sin((N+½)t)/sin(t/2) = sin(Nt)·cot(t/2)/1 + cos(Nt)·1（恒等式：sin((N+½)t) = sin Nt·cos(t/2) + cos Nt·sin(t/2)，除以 sin(t/2)）。于是误差积分拆成两半：∫g_x(t)cos(Nt)dt 与 ∫g_x(t)cot(t/2)sin(Nt)dt。

第三步：Riemann–Lebesgue 引理（先证引理）。引理：h ∈ L¹ ⇒ ∫h(t)e^iNtdt → 0。证明：先对 h = C¹ 函数分部积分（|∫| ≤ ‖h′‖₁/N）；一般 h 用 C¹ 函数一致逼近（L¹ 上稠密），误差劈两半各给 ε/2。∎

第四步：收拾两个积分。① g_x(t)（延拓为分段 C¹、在 0 处归零）可积 ⇒ 第一半由引理 → 0；② 奇点处理：cot(t/2) 在 0 附近 ~ 2/t 无界——但 g_x(t)/t 可积！因为 g_x(0)=0 且 f 分段 C¹ 给出 |g_x(t)| ≤ L|t|（Lipschitz 速率，分段常数），故 h_x(t) = g_x(t)cot(t/2) 除掉 sin 因子后 ∈ L¹，引理再次接管 → 0。∎（「g_x(0) = 0 + Lipschitz」正是用来驯服 cot 奇点的全部本钱——这就解释了为什么分段 C¹ 恰好够用。）

第五步：一致版。f 周期连续 + 分段 C¹ ⇒ Lipschitz 常数对 x 一致、g_x 的 L¹ 范数对 x 一致有界 ⇒ 引理的收敛对 x 一致（验证逼近步的 ε 可统一选取）。∎

第一章 Fourier 级数：把周期函数拆成纯音实验：方波部分和真跑——Gibbs 过冲的数值

★★★ 把 Gibbs 过冲、一致误差与能量记账真跑一遍：过冲峰值 → (2/π)Si(π)，跳变旁误差恒 ≈ 1，能量占比 → 1。

import math
PI = math.pi

def S_N(x, N):
    s = 0.0
    for k in range(1, N + 1, 2):
        s += math.sin(k * x) / k
    return 4.0 / PI * s

def si_pi(n=200000):          # Simpson 求 Si(pi)
    h = PI / n
    f = lambda t: math.sin(t) / t if t > 0 else 1.0
    s = f(0) + f(PI)
    for i in range(1, n):
        s += (4 if i % 2 else 2) * f(i * h)
    return s * h / 3.0

# ① 过冲峰：在 (0, 5*峰位] 细扫
sip = si_pi()
print(f"Si(pi)={sip:.6f}  (2/pi)Si(pi)={2.0/PI*sip:.6f}")
for N in (5, 25, 125, 625):
    loc = PI / (N + 0.5); best = -9.9; arg = 0.0
    for i in range(1, 40001):
        x = 5.0 * loc * i / 40000
        v = S_N(x, N)
        if v > best: best, arg = v, x
    print(f"N={N:4d}: sup={best:.6f} @x≈{arg:.5f} (理论 {loc:.5f})")

# ② 误差：全域 vs 远离跳变 [0.1, pi-0.1]
for N in (25, 125, 625):
    g = a = 0.0
    for i in range(1, 60001):
        x = PI * i / 60000; e = abs(1.0 - S_N(x, N))
        g = max(g, e)
        if 0.1 <= x <= PI - 0.1: a = max(a, e)
    print(f"N={N:4d}: 全域={g:.6f}  远跳={a:.6f}")

# ③ 能量记账：Σ b_n² vs 总能量 2
for N in (1, 3, 7, 15, 31, 63):
    e = sum((4.0/(PI*k))**2 for k in range(1, N+1, 2))
    print(f"N={N:2d}: 占比 {e/2.0:.6f}")

实跑输出：

Si(pi)=1.851937  (2/pi)Si(pi)=1.178980
N=   5: sup=1.188357 @x≈0.52357 (理论 0.57120)
N=  25: sup=1.179473 @x≈0.12083 (理论 0.12320)
N= 125: sup=1.179001 @x≈0.02493 (理论 0.02503)
N= 625: sup=1.178981 @x≈0.00502 (理论 0.00502)
N=  25: 全域=1.000000  远跳=0.179473
N= 125: 全域=1.000000  远跳=0.050114
N= 625: 全域=1.000000  远跳=0.010144
N= 1: 占比 0.810569
N= 3: 占比 0.900633
N= 7: 占比 0.949598
N=15: 占比 0.974703
N=31: 占比 0.987339
N=63: 占比 0.993668

第一章 Fourier 级数：把周期函数拆成纯音格物札记：一根弦上的争吵：伯努利与欧拉

★★ 格物札记：一根弦上的争吵——伯努利与欧拉。

1753：问题的诞生。Daniel Bernoulli 在研究弦振动时宣称：弦的一切振动都是基音与泛音的叠加——用今天的话说，一般解是三角级数。Euler 立即反对：他研究的一般初始形状（比如一段弯折的弦）根本不是正弦之和（他的原话：这种函数「不能以任何有限表达式给出」）。d'Alembert（达朗贝尔，1747 年已给出波动方程的通解）也站在怀疑一边。三方都握有正确的数学，却对「函数是什么」各执一词——这场争吵的本质是：18 世纪的「函数」概念还太窄。

半个世纪的酝酿。争端倒逼概念进化：Euler 后来扩大了「允许的函数」范围（允许分段解析），Lacroix 与 Fourier 的老师辈开始接受「逐段定义」的函数。「函数」从「一个解析式」解放为「任意对应规则」——这场概念革命的一半动力来自弦振动之争。今天教科书第一页的那个定义，是这场争吵的遗产。

1807：Fourier 摊牌。Fourier 在热传导论文中断言任意函数（哪怕分段不连续）都能展成三角级数，并给出系数公式。Lagrange 的反对最有力（他终身不接受），Laplace 支持发表但评审未通过。有趣的是：Fourier 的公式恰恰在「Euler 说不可能」的函数上工作得最好——争论的裁判不是权威，而是 1829 年 Dirichlet 的严格证明。

札记的结论。① 物理直觉可以领先严格性半个世纪：Bernoulli 的「叠加」直觉完全正确，只是当时的数学语言装不下它；② 概念的边界就是定理的边界：「正弦之和表示不了折线」在旧函数概念下为真、在新概念下为假——数学进步常表现为「重新定义一场争论的词」；③ 争议是学科的发动机：从弦振动之争长出了 Fourier 分析、集合论（Dirichlet 函数概念→Cantor）与勒贝格积分。一根弦上的争吵，改写了整个分析学。

第一章 Fourier 级数：把周期函数拆成纯音速查：第一章概念与公式

★★ 速查：第一章概念与公式。考前一页纸，逐条过。

易忘三则。c₀ = a₀/2（直流分量差因子 2）；周期延拓改变光滑度（f = x 在 ±π 跳 → 1/n）；对称 checklist 先于积分（奇偶 → 半波 → 平移）。

第一章 Fourier 级数：把周期函数拆成纯音第二章预告：部分和往哪里去

★★ 第二章预告：部分和往哪里去。

第一章留下三个「未解之结」。① 逐点收敛的险恶：连续函数可以发散（du Bois-Reymond），安全判据（分段光滑等）都太窄——能不能换一种收敛，让「连续」直接过关？② Bessel 的等号：能量占比实测趋于 1（p36），但「等号对一切 L² 函数成立」需要证明——三角系完备吗？③ 好核在哪：D_N 半好半坏，有没有一种「平均化」让核变好？——Fejér 说有。

第二章的三张王牌。① Fejér 定理（1904）：部分和的算术平均 σ_Nf = f∗F_N 对一切连续函数一致收敛到 f（F_N 非负、质量 1——好核！），顺手给出 Weierstrass 逼近定理的新证明；② L² 理论（Riesz–Fischer, 1907）：L²(𝕋) 中三角系是完备正交基——Bessel 取等号（Parseval）、系数可反构函数、唯一性全面升级；③ 现代终点（Carleson, 1966）：L² 函数的 Fourier 级数几乎处处收敛——逐点这条最险的路，在「几乎处处」的口径下居然全线贯通。

方法上的新装备。第二章引入三件武器：均方范数（‖f‖₂ = (∫|f|²)^½——把收敛从「每个点」改成「整体误差」）、完备性（Cauchy 列必收敛——L² 的「没有漏洞」）、好核/坏核的对价表（非负性 + 质量 1 + 集中性）。这三件武器将服役到全书最后一天：第三章的 Plancherel、第五章的平方函数、第六章的小波，全是它们的远房亲戚。

阅读姿态的转变。第一章像「学一门手艺」（算系数、判收敛）；第二章更像「换一副眼镜」（重新定义什么叫「接近」）。当看到 du Bois-Reymond 的反例时不要沮丧——那不是数学的失败，而是「逐点」这个要求太苛刻的证据。收敛方式是工具箱里的选择项，而不是唯一真理。下一页，我们开始换眼镜。

第二章 收敛性与 L² 理论：部分和往哪里去导引：本章导引：部分和往哪里去

★★★ 本章回答一个问题：S_Nf 往哪里去？第一章的答案是「看 f 的脸」：分段光滑就收敛、连续也可能发散。本章把问题倒过来：不是要求函数迁就收敛方式，而是为每类函数选一种合适的收敛方式。

主战场：L² 与均方收敛（2.1–2.5）。把「误差逐点为零」换成「误差的整体平方积分趋于零」——这一换，天高地阔：Bessel 不等式升级为精确的能量记账，Riesz–Fischer 用完备性把系数数列还原成函数，Parseval 恒等式让能量守恒写成等式，唯一性定理宣告频谱就是身份。L²(𝕋) 与 ℓ² 在三角基下同构——本章是这条同构的授勋仪式。

转折点：Fejér 定理（2.6–2.8）。1904 年的巧劲：别盯着部分和 S_N，改看它的算术平均 σ_N = (S₀+…+S_N)/(N+1)。「平均」把 Dirichlet 核的坏脾气磨平成非负的 Fejér 核——一切连续函数一致收敛。顺手收获 Weierstrass 逼近定理的 Fourier 证明（三角多项式稠密）。

点态一侧的结案（2.9–2.11）。Dini/Jordan 判据把逐点收敛的条件磨到最精；du Bois-Reymond 反例（连续函数在某点发散）宣判「连续 ⟹ 逐点」的死刑；Carleson 定理（1966）在「几乎处处」的口径下翻案：L² 函数的 Fourier 级数几乎处处收敛——一个 213 年的问题链在此打结。

学法提示。本章概念比第一章抽象（要动用完备性、稠密性），但每一步都有物理对应：均方收敛 = 信号能量误差、Parseval = 能量守恒、Fejér = 加窗平均。带着「能量」与「平均」两个词读全章。

第二章 收敛性与 L² 理论：部分和往哪里去2.1 L² 与均方收敛

★★★ 定义（L² 与均方收敛）。L²(𝕋) = {周期可测 f : ∫|f|² < ∞}（两个 a.e. 相等的函数视为同一个），配范数 ‖f‖₂ = ((1/2π)∫|f|²)^½。f_n → f 均方 ⟺ ‖f_n − f‖₂ → 0。

为什么选平方？（三重理由）① 物理：∫|f|² 是信号能量，「均方误差 → 0」=「误差能量耗尽」——频谱分析天然的语言；② 代数：‖·‖₂ 由内积诱导，正交几何（投影、勾股、Bessel）全部合法——这是 ‖·‖₁ 与 ‖·‖_∞ 都给不了的；③ 完备：L² 完备（Riesz–Fischer，2.3）——Cauchy 列必收敛，极限运算可以放心做。

三种收敛的关系（必背的关系表）。一致 ⟹ 均方（误差最大值控制总能量）；均方 不保证逐点（尖峰列反例：峰高 1 底宽 1/n，‖f_n‖₂ → 0 而每点 f_n(x) 不趋于 0）；逐点 不保证均方（f_n = n 在 (0,1/n) 上、0 其余：逐点 → 0 但 ‖f_n‖₂ = √n → ∞）。三种口径各管一段，互不统摄——「换收敛」不是降级，是换战场。

对 Fourier 级数意味着什么。S_Nf → f 均方 ⟺ ‖f − S_Nf‖₂ → 0 ⟺ 能量占比 → 1（Bessel 取等号）。p36 实验已经实测到这个趋势（方波能量占比 0.9937@N=63）。本章第一个目标：证明等号对一切 L² 函数成立（2.4 Parseval）。

第二章 收敛性与 L² 理论：部分和往哪里去2.2 Bessel 不等式

★★★ 定理（Bessel，L² 完整版）。f ∈ L²(𝕋) ⇒ Σ_n∈ℤ|ĉ(n)|² ≤ ‖f‖₂²；且‖f − S_Nf‖₂² = ‖f‖₂² − Σ_|n|≤N |ĉ(n)|²。

证明（勾股定理，三行）。记 g = f − S_Nf。由系数公式，⟨g, e^imx⟩ = ĉ(m) − ĉ(m) = 0（|m| ≤ N）——g 与投影平面正交。于是 ‖f‖₂² = ‖g + S_Nf‖₂² = ‖g‖₂² + ‖S_Nf‖₂²（交叉项因正交而消失），而 ‖S_Nf‖₂² = Σ_|n|≤N|ĉ(n)|²（正交系的勾股）。移项即得。∎

三个立即可用的推论。① 误差能量单调降：‖f−S_Nf‖₂² = 总能量 − 已入账能量，N 增大只减不增——收敛速度由「尾巴能量」决定；② ĉ ∈ ℓ²：系数数列必然平方可和——给任何「伪频谱」立刻判死刑（如 ĉ(n) = 1/√n 不是任何 L² 函数的频谱）；③ 均方收敛 ⟺ 能量等式：S_Nf → f 均方 ⟺ Σ_|n|≤N|ĉ(n)|² → ‖f‖₂²。收敛问题变成了一个纯级数问题。

剩下的缺口。Bessel 保证「账面不超支」，但没保证「全部入账」：会不会有函数把一部分能量藏在「三角系之外」？若存在这样的 f（非零但所有系数为零），三角系就不完备，均方收敛对它失效。排除这种函数 = 证明唯一性（2.5）+ 完备性（2.3）——它们是本章的两块基石。

第二章 收敛性与 L² 理论：部分和往哪里去2.3 Riesz–Fischer：完备性的回报

★★★★ 本章的承重墙：L² 完备性与 L² ≅ ℓ² 同构（Riesz–Fischer, 1907）。

证明思路（三步）。① ℓ² 完备（数列版的绝对收敛判据：Σ‖增量‖² < ∞ ⇒ 收敛）；② 正交性给 Cauchy 性质：对 m > n，‖S_m−S_n‖₂² = Σ_n<|k|≤m|a_k|² → 0（ℓ² 尾巴）——部分和列自动 Cauchy；③ 完备性给出极限 f，再用内积的连续性验证 ĉ(n) = a_n（‖f − S_N‖₂ → 0 ⇒ ⟨f, e^imx⟩ = lim⟨S_N, e^imx⟩ = a_m）。定理 A（一般 L² 函数的 Cauchy 列）可由定理 B + 具体构造证，或用 Fatou 引理直接做——细节见习题 p55。∎

这堵墙承什么重？（四件大事）① 三角系完备：若 f 的系数全零，则 ‖f‖₂² = Σ|ĉ(n)|² = 0 ⇒ f = 0 a.e.——没有漏网之鱼；② Parseval 恒等式（Bessel 取等号，2.4）；③ 均方收敛对一切 L² 函数成立：S_Nf → f（‖f−S_N‖₂² = ‖f‖₂²−Σ_|n|≤N|ĉ(n)|² → 0）；④ 泛函分析的接口：完备内积空间 = Hilbert 空间——本册与第四章在此会师。

「a.e.」的第一次正式出场。L² 里「函数」其实是「几乎处处相等的类」：改一个点的值不影响任何积分。这正是傅里叶分析的哲学：频谱看不见「一个点」的修改——单点跳变不改变任何系数（跳变信息只体现在收敛行为里，如中点规则）。「点」在频率世界里的地位，从这一刻起彻底改变了。

第二章 收敛性与 L² 理论：部分和往哪里去2.4 Parseval 恒等式

★★★★ 定理（Parseval 恒等式）。f ∈ L²(𝕋) ⟹(1/2π)∫₀^2π |f(x)|² dx = Σ_n∈ℤ |ĉ(n)|²。等号！（Bessel 的 ≤ 至此补全。）证明：等式 ‖f‖₂² = ‖f−S_Nf‖₂² + Σ_|n|≤N|ĉ(n)|²（p42 勾股）中令 N → ∞，由 Riesz–Fischer 误差项 → 0。∎

实形式（工程常用）。(1/π)∫f²dx = a₀²/2 + Σ_n≥1(a_n²+b_n²)。物理读法：信号总能量 = 直流能量 + 各次谐波能量之和——频率之间不串音、不遗漏（正交性的最终兑现）。频谱仪上「能量棒」的总高就是波形能量——这条守恒律是信号处理「频域=时域」等价性的根基。

极化恒等式：内积也守恒。对 f, g ∈ L²：⟨f, g⟩ = Σ_n ĉ(n)·ĝ(n)‾（由 Parseval 作用于 f+g 与极化公式）。于是不仅长度、连夹角都在频谱坐标下原样保留——f ↦ (ĉ(n)) 是等距同构（保范双射），L² 与 ℓ² 在几何上完全无法区分。

计算示范（详见 p52 例题）。① f = x：Σ 4/n² = 2π²/3 ⇒ Σ1/n² = π²/6（Basel 的 Parseval 解法，比 1.11 的代入法更系统）；② f = x²：由 a_n = 4(−1)ⁿ/n² 得 ∫x⁴ 级数和；③ f = 方波：Σ_奇1/n² = π²/8。Parseval 是「常数级数自动售货机」：任何算得出系数平方和的函数，都吐出一条级数求和公式。

与相邻领域的握手。第四章的「Bessel ≤ Parseval = 完备正交基」三件套，在这里以三角系为样板完整兑现——抽象 Hilbert 空间理论诞生于这条具体的 213 年问题链，反过来又把它一页收编。

第二章 收敛性与 L² 理论：部分和往哪里去2.5 唯一性定理：系数决定函数

★★★ 定理（唯一性）。f ∈ L¹(𝕋) 且 ĉ(n) = 0（∀n ∈ ℤ）⟹ f = 0 a.e.。等价地：两个 L¹ 函数若频谱相同，则几乎处处相同。

路线 A（L² 版，三行）。f ∈ L² 时直接用 Parseval：Σ|ĉ(n)|² = ‖f‖₂² = 0 ⇒ ‖f‖₂ = 0 ⇒ f = 0 a.e. ∎——但 L¹ 函数未必平方可积（1/√x 型），需要路线 B。

路线 B（L¹ 版，好核逼近）。关键引理：若 ĉ(n) = 0 全零，则 Fejér 平均 σ_Nf ≡ 0（因为 σ_Nf = Σ_|n|≤N(1−|n|/(N+1))ĉ(n)e^inx——系数全零！）而下一页的 Fejér 定理（连续点版）说 σ_Nf(x) → f(x) 于 f 的连续点。于是 f 在连续点全为零；L¹ 函数的间断点集是零测集（Lebesgue：单调/有界变差函数至多可数个间断点；一般 L¹ 用 Lusin 定理逼近），故 f = 0 a.e. ∎——「平均」在这里显出比「部分和」更深的力量：σ_Nf 永远是三角多项式，其系数「看见」全体频谱。

唯一性的三个用途。① 频谱即身份：傅里叶变换后的存档（如 JPEG、频谱数据库）不丢信息——不是「近似无损」，是数学意义上的完全；② 求和法的合法性：用 Fejér 平均定义「广义和」时，唯一性保证不同路径同答案；③ 函数等式的秘密武器：要证两个函数相等，只需证频谱相等（习题 p54 的三道应用题）。

历史的花絮。Young Cantor 正是被「例外集能容忍到多大」逼出来的：Riemann 允许有限个例外点，Heine 问稠密例外行不行，Cantor 证明了「某类无穷例外集仍唯一」——为刻画这些集合发明了导集与超穷数。集合论诞生于 Fourier 唯一性问题的产房——一条分析问题把数学推入新纪元。

第二章 收敛性与 L² 理论：部分和往哪里去2.6 Fejér 定理：平均收敛的胜利

★★★★ 本章的转折点：把「部分和」换成「部分和的平均」。

为什么「平均」能翻盘？（机理先行，技术下一页）S_N 的失败源于 Dirichlet 核的负权（过冲）与质量逃逸（‖D_N‖₁~log N）。而 σ_N 的核是 S₀…S_N 核的平均：F_N = (D₀+…+D_N)/(N+1)——平均把振荡的正负瓣相互抵消，剩下一个非负、质量恒 1、越来越尖的漂亮核（下一页验证）。好核卷连续函数必一致收敛——定理的证明就是这句话的定量版。

代价核算（诚实记账）。① σ_N 用到前 N+1 个部分和（等价于所有 |n|≤N 的系数），计算量同阶；② 收敛速度对光滑函数略慢于 S_N（多一个 log 因子级别的钝化）——「略慢但普适」换「快但对 f 挑剔」，这在分析学里是稳赚的交易；③ 注意 σ_Nf 是 N 阶三角多项式——它属于同一片频率海洋，只是取水的姿势更聪明。

一个思维定式的破除。「Fourier 级数 = S_N」是第一章的默认；Fejér 逼接受：「和」的定义方式是设计变量——算术平均（Cesàro）、Abel 平均（Poisson 核，第三章热方程）、更一般的求和法……每种对应一个核、一片收敛域。调和分析的后半部，就是这部「求和法与核」的目录学。

第二章 收敛性与 L² 理论：部分和往哪里去2.7 Fejér 核与好核

★★★ 定义（Fejér 核）。F_N(t) = (1/(N+1)) [ sin((N+1)t/2) / sin(t/2) ]²，且 Fejér 恒等式：F_N = (D₀+…+D_N)/(N+1)（对几何级数求平均即得），σ_Nf = f∗F_N。

好核三条件（逐条验证）。① 非负 + 质量恒 1：平方非负；(1/2π)∫F_N = (1/(N+1))Σ(1/2π)∫D_k = 1（每一项质量都是 1）；② 集中：在 [δ, π] 上 |sin(t/2)| ≥ sin(δ/2) > 0，故 F_N(t) ≤ (1/(N+1))/sin²(δ/2) → 0——远离 0 处一致压平；③ ‖F_N‖₁ = 1（非负 + 质量 1 的直接推论）。对照 Dirichlet 核：可负（①破）、‖D_N‖₁~log N（③破）——两处破洞正是 Gibbs 与发散可能的出生地。

万能定理（逼近恒等）。{K_N} 满足好核三条件，f 有界且在 x 连续 ⟹ (f∗K_N)(x) → f(x)；f 周期连续 ⟹ 一致收敛。证明五步（背下来，一劳永逸）：劈 (1/2π)∫[f(x−t)−f(x)]K_N(t)dt 的积分域为 |t|<δ 与 δ≤|t|≤π 两块；近处用连续性（|f(x−t)−f(x)|<ε）× 质量 1；远处用 |f(x−t)−f(x)|≤2‖f‖_∞ × 集中性（∫_δF_N → 0）。∎——「近处靠连续、远处靠集中」，这句话是全部好核论证的心法。

好核家族名录（本册会遇到的全家福）。Fejér 核（Cesàro 平均）、Poisson 核（Abel 平均，热方程）、Dirichlet 核（半好半坏，第一章主角）、第三章的高斯核（热核）、Weierstrass 核；第五章的极大函数则是「好核论证的量化管理员」。认出一个新核，先查三条件——这是本册后续所有收敛定理的统一开场白。

第二章 收敛性与 L² 理论：部分和往哪里去2.8 Weierstrass 逼近的 Fourier 证明

★★★ 定理（Weierstrass 二次逼近定理，1885）。任何周期连续函数可被三角多项式一致逼近：∀ε>0，存在三角多项式 T 使 sup_x|f(x)−T(x)| < ε。

证明（一行）。取 T = σ_Nf，N 大到 Fejér 定理的误差 < ε。∎——Fejér 定理说「σ_Nf ⇉ f」，而 σ_Nf 恰是三角多项式；逼近定理白拿。（历史顺序相反：Weierstrass 1885 先证稠密性，Fejér 1904 用更自然的核重证——好核视角让「为什么稠密」变成「看得见的对焦过程」。）

代数版的桥。区间 [a,b] 上连续函数可用幂多项式一致逼近（Weierstrass 逼近定理的代数版）：换元 x = cos t 把 [−1,1] 压进 [0,π]，偶延拓 + 三角逼近 + cosⁿt = Chebyshev 多项式展开 = 幂多项式。「三角」与「幂」两个基家族的稠密性由这一座桥联通——注意方向性：幂多项式逼近连续函数可以很慢（Runge 现象），三角平均则温和。

抽象收益（三件）。① C(𝕋) 可分：有理系数三角多项式是可数稠密集——「不可数的函数空间有可数骨架」；② 正交基概念的预演：三角系的有限线性组合稠密 = 「基」资格的最后一审（与 2.3 完备性合璧）；③ 数值分析的地基：一切「用简单函数逼近复杂函数」的合法性证书——样条、有限元、谱方法的祖宗条款。

一个重要的「不能」。稠密 ≠ 级数收敛：Weierstrass 说「某个三角多项式 T 近身」，不保证「S_Nf 这个特定的多项式列近身」。du Bois-Reymond 反例（2.10）正是钻这个空子：逼近存在，但 Fourier 部分和这个特定序列可以在一点发散。「存在好逼近」与「天然逼近列收敛」是两件事——这是本章最精细、也最容易被忽略的分界线。

第二章 收敛性与 L² 理论：部分和往哪里去2.9 点态收敛的进一步判据

★★ Dini 判据（逐点，最精细的主流条件）。固定 x，若∫₀^π |f(x+t) + f(x−t) − 2f(x)| / t dt < ∞，则 S_Nf(x) → f(x)。解读：被积的是「双侧差除以 t」——比连续强（连续只说差 → 0，不管除以 t 后可不可积）、比 C¹ 弱（Lipschitz 函数的差 ≤ L|t|，除以 t 有界，积分有限）。Dini 条件 = 「在这一点上，函数以可积的速率双侧逼近自己」。

Jordan 判据（有界变差）。f 在 x 的邻域内是有界变差函数（可写成两个增函数之差；单调函数是特例）⟹ S_Nf(x) → ½[f(x₊)+f(x₋)]。这是 Dirichlet 定理的推广（分段单调 ⇒ 有界变差）：证明用「二阶对称差」的变差控制替换 Lipschitz 控制，第二平均值的来源不变。工程含义：任何「物理上合理」的信号（振幅有限、振荡总数有限）都自动有界变差——Jordan 判据覆盖了绝大多数实际波形。

统一的引擎（复习 1.17 的套路）。两个判据的证明同构：① 对称化——误差 = (1/2π)∫g_x(t)D_N(t)dt，g_x(0)=0；② 可控性——Dini 控制的是 g_x(t)/t 的可积性，Jordan 控制的是 g_x 的变差；③ 消失——Riemann–Lebesgue 引理（或其变体）杀掉振荡积分。「造零点 + 控制商函数 + 振荡消失」三段式，从此可以自己组装新的点态定理。

判据地图与边界。层级：C¹ ⊂ Lipschitz ⊂ Dini；C¹ ⊂ 有界变差 ⊂ L¹。两族交叉覆盖大部分「看得见摸得着」的函数。但它们都是「每点验证」的条件——对「整体只知道 L²/连续」的函数，点态理论在 du Bois-Reymond 处撞墙（2.10），在 Carleson 处复活（2.11）。

第二章 收敛性与 L² 理论：部分和往哪里去2.10 发散的可能性：du Bois-Reymond

★★★★ 定理（du Bois-Reymond, 1876）。存在周期连续函数 f 与一点 x₀，使部分和 |S_Nf(x₀)| → ∞。Fourier 级数不仅可能不收敛，还可能在连续函数上发散到无穷。

机理先讲清楚（比构造重要）。固定 x₀，S_Nf(x₀) 是 f 的线性泛函：S_Nf(x₀) = (1/2π)∫f(t)D_N(x₀−t)dt——泛函的范数 = ‖D_N‖₁/(2π) ~ log N（L¹ 函数对 L^∞ 函数的配对范数）。放大倍数无上界：对每个 N，存在 ‖f‖_∞≤1 的 f 使 |S_Nf(x₀)| ≈ ‖D_N‖₁（取 f ≈ sign D_N 的光滑化）。「每个 N 各有各的最坏函数」——反例的全部艺术在于：把这些「各段各坏」的函数拼成一个连续函数，让它在 x₀ 处的 S_N 依次被各块推高。

构造的骨架（四步）。① 选陡增的指标 N₁ ≪ N₂ ≪ N₃…（如平方数）与带宽 δ_k（快速收缩，保证连续性）；② 第 k 块：造光滑小函数 g_k（‖g_k‖_∞ ≤ 1，支撑在极小邻域内），使 S_Nkg_k(x₀) > c·log N_k（用 sign D_N 的配对峰值）；③ 交叉干扰控制：块的支撑与频段错开，使 S_Nk(g_j)(x₀) ≈ 0（j<k 频率太低、j>k 频率在 x₀ 的 Dirichlet 核值被小支撑摊薄）——这是技术上最精细的一步；④ f = Σg_k 一致收敛（块振幅可控制到 1 但带宽递减），连续；于是 S_Nkf(x₀) ≥ c·log N_k → ∞。∎

Lebesgue 的加强（1904）与后来的故事。发散点集可以取成稠密的零测集；另一侧，Kolmogorov（1923）造出 L¹ 函数的 Fourier 级数几乎处处发散的震惊反例。地图由此清晰：L¹ 全线崩溃；连续 = 逐点崩溃但「平均」完好；L² = 几乎处处完好（Carleson）。收敛理论是一场「函数空间 vs 收敛口径」的配对游戏。

与本册主线的汇合。这个反例解释了本章为什么长成这样：Fejér 平均（2.6）救连续函数——因为 σ_N 的算子范数一致有界（‖F_N‖₁=1）！「算子范数一致有界 ⟺ 一致收敛有保证」——这句话的抽象版本（Banach–Steinhaus，即共鸣定理）在第三章立为定理，而它的第一个血证就是 du Bois-Reymond 反例。反例不是失败，是定理的另一半。

第二章 收敛性与 L² 理论：部分和往哪里去2.11 Carleson 定理：现代的终点

★★★★ 定理（Carleson, 1966）。f ∈ L²(𝕋) ⟹ S_Nf(x) → f(x) 对几乎处处的 x 成立。Hunt（1967）推广到 L^p（p>1）。

这条定理解了什么、没解什么。解：「整体只知 L²」的函数，逐点收敛在除零测集外全面恢复——第一章的悲观（连续可发散）与本章的乐观在「几乎处处」的口径下和解：发散的连续函数（du Bois-Reymond）必在零测集上出事。没解：收敛没有速度保证（可以任意慢）、a.e. 收敛 ≠ 一致或逐点、以及 Carleson 本人留给出界的正测度集上的收敛问题（第六章回望）。「几乎处处」是测度世界的主权，不是点态世界的特赦。

证明思想一瞥（两大件，第五章正式登场）。① 极大函数：S^*f(x) = sup_N|S_Nf(x)|——把「所有部分和的收敛」打包成「S^*f 的可控性」；逐点收敛的证明套路是「好逼近 + 极大函数的弱型估计」（误差小的地方用逼近、误差大的地方被极大函数的分布函数压住）。② 时间-频率的精细分解：Carleson 的原始证明把 (x, N) 平面按频率局域分解（他的证明里有今天 Littlewood–Paley 与时间频率分析的雏形）。现代重写（Lacey–Thiele, 2000）把它表述为一个双线性算子的估计——Carleson 定理由此成为双线性调和分析的开山碑。

p = 1 的相变（Kolmogorov, 1923）。L¹ 中存在 Fourier 级数几乎处处发散的函数——Hunt 的 p>1 不能改进到 p=1。为什么 L² 行而 L¹ 不行？直觉：L² 有正交几何（Bessel/Parseval 给能量控制），L¹ 没有——「平方」这个看似平凡的要求，恰恰是几何与物理（能量）的最低配置。

历史的一笔。Lusin 1915 提出猜想；Kolmogorov 1923 的 L¹ 反例一度让人怀疑猜想为假；Carleson 1966 攻克 L²（据他自述，试错多年后放弃「沿用现成工具」，改从问题本身造机器）；Hunt 1967 一举推广。从提出到解决 51 年——这是本册时间线上最险的一段山路，第六章综合站会再回望。

第二章 收敛性与 L² 理论：部分和往哪里去例题精讲：Parseval 的演算

★★★ 例题精讲：Parseval 的演算。三道典型：求级数和、求积分值、验证守恒。

例 1（Basel 问题的 Parseval 解法）。f(x) = x（奇，b_n = 2(−1)ⁿ⁺¹/n）。Parseval 实形式：(1/π)∫_−π^πx²dx = Σb_n²，即 (2π²/3)·(1/π)·π… 直接算：(1/π)∫_−π^πx²dx = 2π²/3；Σ 4/n² = 2π²/3 ⇒ Σ1/n² = π²/6。注意与 1.11 的代入法对照：代入法要「找特殊点」，Parseval 自动给出——一个函数一次积分，批发全部级数。

例 2（由系数求积分：∫x⁴ dx 的级数和）。f = x² 的系数 a_n = 4(−1)ⁿ/n²，a₀ = 2π²/3。Parseval：(1/π)∫x⁴dx = a₀²/2 + Σa_n² = 2π⁴/9 + 16Σ1/n⁴ ⇒ ∫_−π^πx⁴dx = 2π⁵/9 + 16π·Σ1/n⁴/π…（整理）⇒ Σ1/n⁴ = π⁴/90。「系数平方和」批发偶次级数：同理 f = x³ 给 Σ1/n⁶。层级规律：f = x^k 的 Parseval 给 Σ1/n^2k——一整族 ζ(2k) 的批量生产线。

例 3（验证守恒 + 求能量分布）。方波（±1）：Parseval 给 Σ_奇(4/nπ)² = 2 ⇒ 能量守恒（p36 实测占比 → 1 ✓）。延伸问题：前 15 根棒带走多少能量？Σ_奇≤1516/(n²π²) = (16/π²)(1+1/9+1/25+1/49+1/81+1/121+1/169+1/225) ≈ (16/π²)(1.18387) ≈ 1.9142，占比 95.7%——「八根奇次棒带走 96% 的能量」是滤波工程里的经典账目（低通截断的能量效率）。

第二章 收敛性与 L² 理论：部分和往哪里去例题精讲：Fejér 平均的手演

★★★ 例题精讲：Fejér 平均的手演。把 σ_N 在方波上小规模手算，看清「过冲被摊平」的全过程。

例 1（σ₁ 与 σ₂ 的显式公式）。方波 b_n = 4/(nπ)（n 奇）。σ₁ = (S₀+S₁)/2 = S₁/2 = (2/π)sin x；σ₂ = (S₀+S₁+S₂)/2 = (2/π)sin x + (1/π)sin 2x/2·0…（S₂ = S₁，偶次为零）= S₁/2。到 σ₃ 才有新内容：σ₃ = (S₁+S₃)/2·(3/3)… 计算：σ₃ = (S₀+S₁+S₂+S₃)/4 = (3S₁+S₃)/4 = (3/π)sin x + (1/π)sin 3x。权重核对：n=1 权 (1−1/4)·4/π = 3/π ✓；n=3 权 (1−3/4)·4/π = 1/π ✓。

例 2（跳变点与峰值）。σ_N(0) = 0 对一切 N（sin 项全零）——中点规则无例外地成立。峰值：σ₃ 最大值在 x = π/2 附近：σ₃(π/2) = (3/π)·1 − (1/π)·1 = 2/π ≈ 0.637？不对——注意 σ₃(π/2) = (3/π)sin(π/2) + (1/π)sin(3π/2) = 3/π − 1/π = 2/π ≈ 0.6366。σ₃ 的峰值远低于 1——平均把波形整体「压扁」了？不：σ_Nf 的峰值随 N 单调升向 1（N=20 时 σ ≈ 0.82，p61 实测），且永不越过 1（非负核的加权平均 ≤ max f = 1）——「无过冲」的代价是「从下方缓慢爬升」。

例 3（Fejér 核的手验证）。F₂(t) = (D₀+D₁+D₂)/3 = (1 + 2cos t + 2cos 2t·(1/1)…)：D₁ = 1+2cos t，D₂ = 1+2cos t+2cos 2t，故 F₂ = 1 + (4/3)cos t + (2/3)cos 2t。验证公式版：F₂(t) = (1/3)[sin(3t/2)/sin(t/2)]²：t→0 极限 = 3 ✓（质量核对 (1/2π)∫F₂ = 1 + 0 + 0 = 1 ✓——cos 项积分为零）。再验证非负：配方 F₂ = (2/3)(1+cos 2t)·… 直接用公式版最省事：平方非负。

第二章 收敛性与 L² 理论：部分和往哪里去例题精讲：唯一性的应用

★★★ 例题精讲：唯一性的应用。「频谱相同 ⟹ 函数相同」的三道实战。

例 1（由频谱求和：Σ sin(nx)/n 的显式值）。求 f(x) = Σ_n≥1 sin(nx)/n 的封闭形式。识别：这是 b_n = 1/n 的正弦级数——与 f(x) = (π−x)/2（(0,2π)，奇延拓）的系数完全一致（验：b_n = (1/π)∫₀^2π(π−x)/2·sin nx dx = 1/n，分部积分一行）。该函数分段光滑 ⇒ Dirichlet 定理合法 ⇒

例 2（函数等式的快速证明）。证明：Σ_n≥1 cos nx/n² 在 (0,2π) 上等于 π²/6 − πx/2 + x²/4。解：右边记 g(x)，逐项算频谱：ĝ(0) = −π²/6·0… 直接算：g 的余弦系数 a_n = (2/π)∫₀^2πg cos nx dx，两次分部积分得 a_n = 1/n²（与级数完全一致）；直流项对齐（∫g = π³/6·0… 对账：a₀/2 = π²/6 − π·(2π)/2/2 + … = 级数直流 0？注意在 (0,2π) 的奇偶约定——细账见习题 p56-A③，骨架是「两级数的每个系数逐一对上 + 唯一性 ⟹ 函数相等」，全程不用任何极限论证。唯一性把「函数等式」化归为「数列等式」。

例 3（正交性的完整判据：什么时候 Σ(c_n cos nx + d_n sin nx) 是零函数）。已知级数在一切 x 处收敛且和为 0，证明所有系数为零。解：条件给的是逐点信息，唯一性要的是 L¹ 收敛——缺口用一致有界 + 控制收敛补：部分和一致有界时可以逐项积分（Arzelà 控制收敛的初等版），于是系数全零。注意反面：若级数只在「某点集」上和为零，系数可以非零（Cantor 的例外集研究——正测度的例外集必然破坏唯一性，这是 Carleson 问题的起点）。唯一性对「多大集合上的信息」存活，本身是一个深刻的谱系。

第二章 收敛性与 L² 理论：部分和往哪里去习题课：L² 理论演练

★★ 习题课（一）：L² 理论演练。「能量记账」练到熟——Bessel、Parseval、完备性三件套。

A 组（Parseval 计算，四题）。① 用 f(x) = x 的 Parseval 推导 Σ1/n² = π²/6；再用 f(x) = x² 推导 Σ1/n⁴ = π⁴/90（两次分部积分给系数，Parseval 给级数）。② 用 |sin x| 的级数（例题 1.10 系数 −4/(π(4k²−1))）推导 Σ1/((2k−1)(2k+1)) = 1/2（裂项核对）。③ 证明：f ∈ L² 且所有系数为零 ⟹ f = 0 a.e.（三行）。④ 证明 Parseval 的极化形式 ⟨f,g⟩ = Σĉ(n)ĝ(n)‾，并用它证明「正交保持」：若 f 与 g 的频谱支撑（非零系数下标集）不相交，则 ⟨f,g⟩ = 0。支撑不相交 ⟹ 逐项乘积全零。

B 组（完备性与同构，四题）。① 证明 ℓ²(ℤ) 完备：Cauchy 列逐坐标收敛 + 尾巴一致可控（对 ε 取 N 使一切 m,n>N 的坐标尾和 < ε）。② 用 Riesz–Fischer 的构造证明：任给 (a_n) ∈ ℓ²，级数 Σa_ne^inx 均方收敛且与求和顺序无关。不同顺序的极限差 = 0（系数为 0 的函数）。③ 证明均方收敛不保证逐点：构造 f_n = 特征函数[区间套]×振幅 1，‖f_n‖₂ → 0 而每点 limsup f_n(x) = 1。滑动区间套（「打字机序列」）。④ 证明 L¹ ⊄ L² 且 L² ⊄ L¹（在有限测度圆周上：L² ⊂ L¹ 成立——证明之；反例：|x|^−α 型奇点）。Cauchy–Schwarz：‖f‖₁ ≤ ‖f‖₂（圆周测度有限归一化）。

方法论小结。① 「能量守恒当计算器」：任何 ∫f² 都可以转成系数平方和（反之亦然）——择易而算；② 「完备性当保险」：要在 L² 中造函数（解方程、取极限），证明 Cauchy 就够了，不必猜出极限的表达式——Riesz–Fischer 的真正威力在「存在性免于显式构造」。

第二章 收敛性与 L² 理论：部分和往哪里去习题课：平均收敛实战

★★ 习题课（二）：平均收敛实战。Fejér 定理与好核论证的手上功夫。

A 组（好核论证，四题）。① 验证 Poisson 核 P_r(t) = (1−r²)/(1−2r cos t+r²) 满足好核三条件（0<r<1，r↑1 当作 N→∞）。非负显然；(1/2π)∫P_r = 1 由几何级数展开；集中性用下界 1−2r cos t+r² ≥ (1−r)² + 4r sin²(t/2)。② 用好核万能定理证明：f 连续且 f(0) = f(2π) 时，Abel 平均 f∗P_r ⇉ f。五步法的逐字翻译。③ 证明：好核结论对「分段连续 + 在 x 连续」的 f 仍逐点成立；并举例说明「f 在 x 间断时 f∗K_N(x) → ½[f(x₊)+f(x₋)]」对 Fejér 核成立。把 x 附近的左右两半分别做万能定理。④ 若把条件 ③「一致有界」去掉（只留非负+质量 1+集中），万能定理还成立吗？构造反例。非负+质量 1 已蕴含 ‖K_N‖₁ = 1——三条件其实自洽；换一个角度：构造「质量 1 但尖峰处振幅爆表仍非负」的核，验证结论仍成立——想想为什么非负性救场。

B 组（Fejér 定理的延伸，四题）。① 证明 Weierstrass 逼近的代数版：[−1,1] 上连续函数可用多项式一致逼近。x = cos t 压缩 + 偶延拓 + Fejér + Chebyshev 展开。② 证明 σ_Nf 的线性算子范数（C → C）恰为 (1/(N+1))Σ_k=0^N‖D_k‖₁/(2π)？不对——直接算 ‖F_N‖₁ = 1：解释为什么平均的范数远小于各部分和范数的平均。非负性使 ‖f∗F_N‖_∞ ≤ ‖f‖_∞。③ 证明存在连续函数其 Fourier 级数在一点发散（用 Banach–Steinhaus 的思路）：假设 ‖S_Nf(x₀)‖ 对一切 f 一致有界，则 ‖D_N‖₁ 一致有界——矛盾。共鸣定理的「定量版」：泛函范数 = ‖D_N‖₁/(2π) 无界。④ Gibbs 税与 Fejér：证明 σ_N 对 ±1 方波有 sup σ_N ≤ 1（非负核的加权平均不超出值域），并用 p61 的实测数据（0.8206/0.9042/0.9508）说明收敛速度约为 1−c/log N。Fejér 核的尾巴 ~ 1/(Nt²) 积分出对数。

方法论小结。好核论证的五步法（劈域 → 近处连续性 × 质量 1 → 远处有界 × 集中性 → 两块都小 → 结论）值得抄在卡片上——第三章热核、第四章 Poisson 求和、第六章小波的收敛证明，全是这张卡片的换装重演。

第二章 收敛性与 L² 理论：部分和往哪里去本章地图：收敛理论的依赖结构

★★ 本章地图：一堵墙、两条线、一张配对表。

墙：L² 框架（2.1–2.5）。逻辑链一口气读完：均方口径（2.1）→ Bessel（能量不超支，2.2）→ Riesz–Fischer（完备 + 同构，2.3）→ Parseval（等号，2.4）→ 唯一性（频谱即身份，2.5）。每一环都只用前一环：完备性把 Bessel 的不等号补成等号，等号立刻给出均方收敛与唯一性。这堵墙之后，L² 世界里再无悬案。

左线：Fejér（2.6–2.8）。「平均」把坏核磨成好核（Fejér 核三条件）→ 万能定理（好核卷连续函数一致收敛）→ 白拿 Weierstrass 逼近。这条线的普适性最强（只要连续），代价是收敛对象从 S_N 换成 σ_N。

右线：点态（2.9–2.11）。判据层（Dini/Jordan）把第一章的 Dirichlet 磨到最精 → 反例层（du Bois-Reymond：连续可发散；Kolmogorov：L¹ 可 a.e. 发散）划清边界 → Carleson 定理（L² a.e. 收敛）在边界外强行收复失地。这条线的武器（极大函数 + 分解）在第四、五章全面展开。

配对表（背下来）。① 周期连续 × Fejér 平均 = 一致收敛；② L² × 部分和 = 均方收敛（等号 Parseval）；③ L²/L^p(p>1) × 部分和 = a.e. 收敛（Carleson/Hunt）；④ L¹ × 部分和 = 无保险（Kolmogorov 反例）。数学上没有「最好的收敛」，只有「最配的收敛」——这张表是本章的全部智慧。

第二章 收敛性与 L² 理论：部分和往哪里去小结：均方的语言

★★ 第二章小结：均方的语言。

概念清单（六件）。L² 与均方收敛；正交投影（S_Nf）；完备性（Cauchy 必收敛）；保范同构 L²(𝕋) ≅ ℓ²；好核三条件（非负质量 1 / 集中 / 范数有界）；Fejér 平均与 Fejér 核。

定理清单（六件）。① Bessel：Σ|ĉ(n)|² ≤ ‖f‖₂²，且能量差 = 误差范数²；② Riesz–Fischer：L² 完备 + 系数映射是保范双射（ℓ² 数列皆可实现）；③ Parseval：能量精确守恒（含极化/内积守恒）；④ 唯一性：系数全零 ⟹ f = 0 a.e.（L¹ 版用好核）；⑤ Fejér 定理：连续函数的 Fejér 平均一致收敛；⑥ Carleson：L² 函数的 Fourier 级数 a.e. 收敛（Hunt：L^p，p>1）。

反例清单（两件，边界上的界碑）。① du Bois-Reymond：连续函数可在一点发散（机理：‖D_N‖₁ ~ log N 无界）；② Kolmogorov：L¹ 函数可 a.e. 发散（p=1 相变）。

方法论三则。① 「能量记账」：Bessel/Parseval 把收敛问题变成级数问题——先算账，再谈几何；② 「好核万能定理」：近处靠连续 × 质量 1，远处靠有界 × 集中——五步法通吃本册所有平均收敛；③ 「反例即定理」：du Bois-Reymond 是共鸣定理的定量版——边界与定理是一张纸的两面。

一句话记住本章：换一种收敛（均方/平均/几乎处处），「收敛」从函数的特权变成函数空间的权利——L² 里人人平等，连续函数靠平均取胜，逐点世界则在几乎处处的口径下被 Carleson 一统。

第二章 收敛性与 L² 理论：部分和往哪里去思想卡：换一种收敛，天地皆宽

★★★ 思想卡：换一种收敛，天地皆宽。

本章最深的教益不是任何一条定理，而是一个策略：当一个问题在原口径下无解时，重新定义「解」的含义。Fourier 级数的逐点收敛在连续函数上失败——这不是数学的缺陷，而是「逐点」这个要求本身苛刻到不近人情：它强迫无穷多个「点各自独立」的问题同时解决。均方收敛把它们合并成一个问题（总误差），Fejér 把它们推迟一步（先平均再取极限），a.e. 收敛把它们交给测度论（零测集豁免）。三个出口，三条大道。

三次「换口径」的历史复利。① Cesàro/Fejér（1904）：发散级数可以「平均收敛」——这个思想后来长成整个求和法理论（Abel、Borel、Euler 求和），并反哺数论（素数定理的 Tauberian 方法）；② Lebesgue 积分（1902）：L² 之所以存在，是因为积分本身被重造——「换口径」的极端形式是换掉底层工具；③ Carleson（1966）：当所有人都以为「几乎处处」已经到顶，Carleson 造出新机器（今天的时间频率分析）把最后一块失地收复。每一次换口径都不是撤退，而是换装。

与泛函分析的握手。「换口径」在抽象层面的名字叫弱化拓扑：第三章的弱收敛、弱* 收敛是同一策略的系统化。那里有一条深刻的对偶规律：口径由「检验函数族」定义——均方口径用 L² 检验、逐点口径用 δ 函数检验（不算有界线性泛函，所以最苛刻）。选择检验族 = 选择问题在什么世界里提问。

思想的迁移。工程与科学里「换口径」俯拾皆是：最小二乘是「L² 口径的解方程」，均方根误差是「L² 口径的接近」，滤波器的均方设计、机器学习的损失函数（MSE 对 MAE 就是 L² 对 L¹）——「用什么范数量误差」从来都是设计决策，不是天然事实。本章给了这个决策的第一个数学案例：同一批数据（Fourier 系数），换一个范数，从「处处碰壁」到「处处通行」。

第二章 收敛性与 L² 理论：部分和往哪里去挑战：Carleson 定理的陈述与意义

★★★★ 挑战：Carleson 定理的陈述与意义。不做证明（那是研究生课程的事），做一件同样重要的事——把定理的每一个词的分量称出来。

任务一：陈述的精读。「f ∈ L²(𝕋) ⟹ S_Nf(x) → f(x) a.e.」。① 为什么是 L² 不是 C？——连续函数 ⊂ L²，所以定理已覆盖连续函数；但 a.e. 收敛对连续函数没有一致收敛的信息——「几乎处处」是测度语言，与「处处」的差距可以被 du Bois-Reymond 反例填满。② 为什么极限自动是 f？——a.e. 收敛 + L² 有界性 + 唯一性共同保证（思考：如果只说「a.e. 收敛到某个 g」，如何证 g = f？均方收敛已给出子列 a.e. 收敛到 f——两条 a.e. 极限 a.e. 相等。）③ 「N → ∞ 的全列收敛」与「子列收敛」的差别在哪？——这正是极大函数 S^*f 介入的位置：sup 打包全列。

任务二：与三个邻居比较。① Kolmogorov 反例（L¹ a.e. 发散）：为什么 L² 的正交几何是决定性的？（思考题：Bessel 能量控制在证明的哪一步不可替代？）② Fejér 定理（连续 × 平均 = 一致）：Carleson 是「部分和版」，Fejér 是「平均版」——为什么平均可以一致而部分和连 a.e. 都要等到 1966？（平均的算子范数一致有界 vs 部分和的 log N 爆炸。）③ Hunt 推广（p>1）：p ↓ 1 的边界在哪？（Kolmogorov 镇守 p=1。）

任务三：证明的地图（读图题）。查 Carleson 定理的现代证明骨架（Lacey–Thiele 双线性化），把下列组件连成流程图：时间频率局域化（把 (x,N) 平面分解成「时钟区域」）→ 双线性算子（(f, e^iNt) ↦ S_Nf 的极大型主项）→ 弱型估计（测度{|S^*f|>λ} ≤ C‖f‖₂²/λ²）→ 标准论证（好逼近 + 极大函数压误差）。不必补细节，但要在图上标出：第五章的极大函数与二进分解分别出现在哪个组件里。

任务四：未决前沿。① 正测度集上的收敛问题（a.e. 之外还能多说多少？）；② 多重 Fourier 级数的球和/方和 a.e. 收敛（Fefferman 的圆盘定理——「球部分和只在二维收敛」）；③ Carleson 型定理在非三角基（小波、Franklin 基）上的推广。——终点站不是终点：每一代「终点」都是下一代的起点。

第二章 收敛性与 L² 理论：部分和往哪里去实验：Parseval 与 Fejér 真跑——数值对拍

★★★ 把 Parseval 与 Fejér 真跑一遍：能量占比 → 1；好核无过冲、坏核过冲 1.179；Fejér 核三条件数值验证。

import math
PI = math.pi

def S_N(x, N):        # f=x 的部分和
    s = 0.0
    for n in range(1, N + 1):
        s += (1.0 if n % 2 else -1.0) * math.sin(n * x) / n
    return 2.0 * s

def sigma_N(x, N):    # Fejér 平均（权 1 - n/(N+1)）
    s = 0.0
    for n in range(1, N + 1):
        w = 1.0 - n / (N + 1.0)
        s += w * (1.0 if n % 2 else -1.0) * math.sin(n * x) / n
    return 2.0 * s

# ① Parseval（f = x）：Σ b_n2 → (1/π)∫f2 = 2π2/3
tot = 2 * PI**2 / 3
for N in (5, 25, 125, 625, 2000):
    e = sum(4.0 / (n * n) for n in range(1, N + 1))
    print(f"N={N:5d}: 占比 {e / tot:.6f}")

# ② 好核 vs 坏核（f = x/π，跳变在 ±π）
for N in (20, 80, 320):
    sm = sg = 0.0
    for i in range(4000):
        x = -PI + 2 * PI * i / 4000
        sm = max(sm, abs(S_N(x, N) / PI))
        sg = max(sg, abs(sigma_N(x, N) / PI))
    print(f"N={N:4d}: |S_N|max={sm:.4f}  |σ_N|max={sg:.4f}")

# ③ Fejér 核：非负 + 质量 1
def F(t, N):
    if abs(t) < 1e-12: return N + 1.0
    return (1.0/(N+1)) * (math.sin((N+1)*t/2)/math.sin(t/2))**2
for N in (10, 50, 200):
    mass = sum(F(-PI + 2*PI*i/200000, N) for i in range(200000))
    print(f"N={N:4d}: 质量={mass * 2*PI/200000 / (2*PI):.6f}")

实跑输出：

N=    5: 占比 0.889769
N=   25: 占比 0.976163
N=  125: 占比 0.995156
N=  625: 占比 0.999028
N= 2000: 占比 0.999696
N=  20: |S_N|max=1.1310  |σ_N|max=0.8206
N=  80: |S_N|max=1.1665  |σ_N|max=0.9042
N= 320: |S_N|max=1.1745  |σ_N|max=0.9508
N=  10: 质量=1.000000
N=  50: 质量=1.000000
N= 200: 质量=1.000000

第二章 收敛性与 L² 理论：部分和往哪里去格物札记：从 Riesz 到 Carleson：百年追缉

★★ 格物札记：从 Riesz 到 Carleson——百年追缉。

1900–1907：换战场的年代。Lebesgue 积分（1902）重铸地基；Fredholm（1900–1903）研究积分方程，Hilbert（1904–1910）发展 Hilbert 空间谱理论；Riesz 与 Fischer 在 1907 年各自独立证明 L² ≅ ℓ²——「平方可积函数与平方可和数列是同一个空间」。Fischer 证完备性，Riesz 证收敛系（Riesz–Fischer 定理的两种读法）。「函数 = 数列」从此有了精确含义，Fourier 系数从「计算结果」升格为「坐标」。

1904–1923：两路并进。Fejér（1904）用平均拿下一致收敛——同一年代，Weierstrass 逼近拿到新证；Parseval 的等号被 L² 理论完全消化（Fatou、Riesz 的系工作）；另一路是「不能」的清单：du Bois-Reymond（1876）之后，Lebesgue（1904）把发散点推到稠密，Kolmogorov（1923）给出 L¹ 函数 a.e. 发散的核弹——「逐点收敛」的地图被两路夹击出清晰的边界。

1925–1966：Lusin 猜想的五十年。Lusin（1915）猜想 L² 函数 a.e. 收敛；Kolmogorov 的反例让乐观者却步；Kolmogorov–Seliverstov、Plessner、Littlewood–Paley（1930s）发展出极大函数与二进方法，把猜想压缩到最后的技术难关；Carleson（1966）突破——他后来说，关键决定是「不再套用现成的极大函数估计，而为这个问题量身定做频率分解」；Hunt（1967）立刻推广到 L^p。1968 年，Carleson 用同一台机器解决了 Hardy–Littlewood 极大算子的 a.e. 收敛问题——一个问题的解法打开了整条走廊。

札记的结论。① 「不能」的清单与「能」的清单一样是知识：Kolmogorov 反例与 Carleson 定理共同标出 p=1 的相变线；② 工具会过时，问题不会：五十年的技术积累（极大函数、二进分解）都在 1966 年的突破里复活；③ 抽象与具体互相喂养：L² ≅ ℓ² 的抽象定理没有直接证明 Carleson，却定义了「什么是 L² 函数」的战场——百年追缉的每一步，都是「具体问题逼出抽象工具、抽象工具反哺具体问题」的循环。

第二章 收敛性与 L² 理论：部分和往哪里去速查：第二章概念与定理

★★ 速查：第二章概念与定理。考前一页纸，逐条过。

易忘三则。均方收敛与逐点互不包含（两个反例都要会造）；好核三条件中「非负」不蕴含但配合「质量 1」给 ‖K‖₁=1；Fejér 平均对跳变函数也收敛（到左右平均）但不一致。

第二章 收敛性与 L² 理论：部分和往哪里去常见误读：收敛性的四个误区

★★ 常见误读：收敛性的四个误区。

误区一：以为「均方收敛」比「逐点收敛」弱所以「更差」。恰恰相反：均方收敛对全体 L² 函数成立（Carleson 只保证 a.e.、du Bois-Reymond 连逐点都保不住），而且它是唯一带能量守恒、唯一与正交几何兼容的口径。纠正：口径没有强弱高下，只有适配与否——L² 是「人人可入」的主厅，逐点 VM 为贵宾房（分段光滑才让进）。

误区二：以为 Fejér 定理说「Fourier 级数一致收敛」。Fejér 定理说的是平均 σ_Nf 一致收敛；部分和 S_N 对连续函数可以发散（du Bois-Reymond）。混淆两者会把「好核」的功劳记给「截断」。纠正：σ_N 的核非负（F_N）、S_N 的核变号（D_N）——Gibbs 过冲是 S_N 的私债，σ_N 不背。

误区三：把「a.e. 收敛」读成「除有限个点外收敛」。零测集可以不可数、可以稠密：a.e. 收敛允许在稠密集上发散（Lebesgue 加强版 du Bois-Reymond 正是如此）。纠正：a.e. 是测度语言——「例外集的长度为零」，不是「例外点很少」；单点的破坏力可以很大（跳变点），零测集的破坏力也可以很广（稠密集）。

误区四：以为 Parseval 只是 Bessel 的「加强版」，用不上。等号是质变：它给出唯一性、给出均方收敛的判据、给出 L² ≅ ℓ² 同构、批发 ζ(2k) 级数、支撑滤波的能量预算。纠正：Bessel 说「不超支」（单向保险），Parseval 说「精确入账」（对账凭证）——一切「频谱即身份」的应用都靠等号。

第三章 Fourier 变换：从圆周到直线导引：本章导引：从圆周到直线

★★★ 本章任务：周期消失之后，频率的语言还剩下什么？答案是：不但剩下，而且升华——级数变成积分，离散频率变成连续频谱，正交基变成「对偶」：Fourier 变换是本册前两章所有思想的「无穷周期极限」，也是后三章所有硬工具的发动机。

第一段（3.1–3.5）：造变换。让周期 T → ∞，离散的频率格子间距 2π/T → 0，求和化为积分：Fourier 变换 f̂(ξ) = ∫f(x)e^−iξxdx 诞生。紧接着把它的「说明书」写全：线性、平移、伸缩、调制、求导各是哪一条运算；高斯函数自证是自己的变换（差分方程一行）；反演定理保证「变换可逆」（频谱完全还原函数）；卷积定理把「时域卷积 = 频域相乘」升级为连续版。

第二段（3.6–3.8）：立三根柱。Plancherel：能量守恒（Parseval 的直线版）——变换是 L² 上的等距；光滑-衰减互换：函数每光滑一阶，频谱就多衰减一个 1/ξ——「硬币的两面」定理；不确定性原理：Δx·Δξ ≥ ½——函数与频谱不能同时集中。这三根柱是调和分析的「守恒律」，支撑后面所有估计。

第三段（3.9–3.12）：升级舞台。Schwartz 函数空间 𝒮（光滑 + 快速衰减）是变换的完美舞台：变换是 𝒮 上的双射；缓增分布把 δ 函数也拉进频率世界（δ̂ = 1）；Hermite 函数给出变换的特征函数（特征值 ±1, ±i——变换的「四次幂是恒等」）；频域解法把微分方程变成代数方程（热方程在频域里是可解的 ODE）。读法提示：本章每个性质都值得「在圆周上找它的亲戚」——级数→变换的翻译表是全章的隐藏地图。

第三章 Fourier 变换：从圆周到直线3.1 从级数到积分：变换的动机

★★ 动机：非周期函数的「频谱」长什么样？圆周上的频率是离散的（n ∈ ℤ）；直线上没有周期，每个实数 ξ 都可能是频率——频谱从「清单」变成「密度分布」。

取极限的正规做法。把 f 限制在 [−T/2, T/2] 上周期化，写它的 Fourier 级数：f(x) ≈ Σ_n ĉ_T(n) e^in·2πx/T。系数公式 ĉ_T(n) = (1/T)∫f(x)e^{−in·2πx/T}dx。令 T → ∞：频率间隔 Δξ = 2π/T → 0，点 nΔξ 铺满整条直线，求和 Σ → (T/2π)∫，系数 (1/T)∫f e^−iξxdx → 频谱密度 f̂(ξ)。整理极限即得反演公式（3.4 严格化）：

离散与连续的对照表（全章的隐藏地图）。系数 ĉ(n) ↔ 频谱 f̂(ξ)；级数 Σ ↔ 积分 ∫；Parseval ‖f‖₂² = Σ|ĉ(n)|² ↔ Plancherel ‖f‖₂² = (1/2π)∫|f̂|²；卷积谱定理 ↔ 卷积定理；Dirichlet 核 ↔ sinc 核；好核（Fejér）↔ Abel/Poisson 核。每学一条变换性质，回头在级数里找亲戚——两章知识自动互锁。

直觉重述。圆周上的函数用「频率清单」描述（哪些整数在场）；直线上的函数用「频率密度」描述（每个实数频率占多少）——从「账本」到「光谱」，离散的复指数 e^inx 变成连续振荡的「波包」e^iξx。下一页给变换一个正式户口。

第三章 Fourier 变换：从圆周到直线3.2 Fourier 变换的定义与性质

★★★ 定义（Fourier 变换）。f ∈ L¹(ℝ)：f̂(ξ) = ∫_−∞^∞ f(x) e^−iξx dx。积分收敛没问题：|f̂(ξ)| ≤ ‖f‖₁。变换连续且有界，还自动趋于 0（Riemann–Lebesgue 引理的直线版）。

六条性质逐条验（每条一行换元）。① 线性：积分线性；② 平移：换元 u = x−a，相位 e^−iξa 拎出来——时域平移 = 频域乘相位因子，|f̂|² 纹丝不动（频谱仪测不出绝对位置，只测相对结构——这就是为什么相位在全息里藏信息）；③ 调制：频域平移（无线电的「搬移频谱」：把信号乘载波 e^iξ₀x 就搬到中心频率 ξ₀）；④ 伸缩：f(ax) 的变换是 f̂(ξ/a)/|a|——时域压窄 a 倍 ⟹ 频域拉宽 a 倍且幅度降 |a|（能量的重新分配）；⑤ 求导：分部积分（f′ 可积且 f 两端归零），(f′)^ = iξf̂——微分变成乘 iξ！本章最重要的一条；⑥ 由 ⑤ 反读：频域求导 = 时域乘 −ix：f̂′ = (−ix f)^。

「变换把微积分变成代数」的总纲。d/dx ↦ ×iξ；∂_t（在热方程里）↦ 频域的 ODE；卷积 ↦ 乘法（3.5）。解方程的总体战略：变换 → 代数运算 → 解代数问题 → 反演回来——这条流水线在 3.12 用热方程完整演示。

性质的记忆锚点。把复指数想成「频率 ξ 的探针」：f̂(ξ) 测 f 中 ξ 成分的振幅相位。平移 f 不改振荡的「快慢」，只改与探针对表的相位 → 相位因子；伸缩把所有振荡速度改 a 倍 → 频谱整体伸缩。性质不是要背的公式，是「探针直觉」的直接推论。

第三章 Fourier 变换：从圆周到直线3.3 高斯函数：自对偶的明星

★★★ 明星登场：e^−x2/2 的变换还是高斯。

自对偶的三个身份。① 热核：e^−tξ2 是热方程的频域衰减因子，对应的热核恰是高斯——高斯是「扩散的不动点」（中心极限定理的函数论版）；② 不确定性取等者：3.8 将证 Δx·Δξ ≥ ½，高斯是唯一取等的形状——「最集中的波包」就是高斯，没有更集中的了；③ 测度的特征函数：正态分布 N(0,1) 的特征函数是 e^−ξ2/2——概率论的中心极限定理本质上是「卷积 + 变换」的不动点论证（3.5 的伏笔）。

一般高斯的变换表（练伸缩律）。f(x) = e^−ax2（a>0）：f̂(ξ) = √(π/a)e^−ξ2/(4a)——时域窄（a 大）⟹ 频域宽（1/(4a) 大）。把这条公式与 3.8 的不确定性连读：宽度的乘积恒为常数。高斯是「变换论里的圆」：各方向均匀、变换下仅自相似。

p87 实验预告。高斯自对偶将用数值 DFT 验证到 10⁻¹⁵（理论与数值完全重合）——全册第一个「机器精度级」的定理验证。

第三章 Fourier 变换：从圆周到直线3.4 反演定理

★★★ 定理（Fourier 反演）。f ∈ L¹(ℝ) 且 f̂ ∈ L¹(ℝ) ⟹ f(x) = (1/2π)∫_−∞^∞ f̂(ξ) e^iξx dξ 在 f 的每个连续点成立（a.e. 总成立）。

证明的剧本（高斯好核，四幕）。① 正则化：反演积分直接做不合法（f̂ 只是有界连续，未必可积），先乘高斯 e^−εξ2/2：一切交换合法化；② 交换积分次序：(1/2π)∫f̂(ξ)e^iξxe^−εξ2/2dξ = ∫f(u)G_ε(x−u)du，其中 G_ε(t) = (1/2π)∫e^iξte^−εξ2/2dξ = (1/√(2πε))e^−t2/(2ε)——热核！好核三条件全满足（非负、质量 1、ε→0 集中到 δ）；③ 好核万能定理（第二章 2.7 的直线版）：f 的连续点处 G_ε∗f(x) → f(x)；④ 摘脚手架：ε→0 时被积函数递增趋于反演核，单调收敛（f̂ ∈ L¹ 保证可积控制）给出等式。∎——「乘高斯 → 交换 → 好核 → 极限」四步是直线上的标准舞步。

三个推论（个个重要）。① 变换是单射：f̂ ≡ 0 ⟹ f = 0 a.e.（唯一性的直线版）——频谱是完整身份证；② 对偶性：把反演公式重读一遍——「f̂ 的变换是 2π·f(−x)」：变换做四次回到自己（F⁴ = 2π·恒等的变形，Hermite 函数 3.11 将把这一点精确化）；③ 与卷积定理连用：微分方程「变换→代数→反演」的全流水线合法化（3.12）。

「f̂ ∈ L¹」的负担谁来扛？一般 L¹ 函数的 f̂ 未必可积。两条出路：Schwartz 空间（3.9：光滑 + 快速衰减 ⟹ f̂ ∈ 𝒮 ⊂ L¹——最佳舞台）与求和法（不解禁反演积分，改用 Abel/Cesàro 平均定义广义反演——Fejér 的直线版）。反演定理是「两端」的定理：条件好到极处（𝒮）无条件成立，条件坏到极处（L¹）要求脚手架。

第三章 Fourier 变换：从圆周到直线3.5 卷积定理：时域卷积频域乘积

★★★ 定理（卷积定理）。f, g ∈ L¹ ⟹ f∗g ∈ L¹ 且 (f∗g)^ξ = f̂(ξ)·ĝ(ξ)；对偶地，若再要求 fg 可积：(fg)^ξ = (1/2π)(f̂∗ĝ)(ξ)。

证明（Fubini 一遍过）。(f∗g)^ = ∫∫f(x−t)g(t)e^−iξxdt dx，换元 u = x−t 拆相位 e^−iξu·e^−iξt，积分劈成 f̂(ξ)·ĝ(ξ)。∎——相位在换元下恰好相乘，这正是第一章「卷积谱定理」的连续重演（那里：相位相消成 ĉ·ĝ）。

为什么是「最重要的定理」？（三重身份）① 信号处理：一个 LTI（线性时不变）系统的输出 = 输入卷积冲激响应；卷积定理说系统的全部行为浓缩在频率响应 ĝ 里——设计低通/高通滤波器 = 画一条 f̂ 曲线，执行 = 一次乘法（FFT 时代里这就是「快」的全部来源）；② 概率论：独立随机变量之和的分布是密度卷积，特征函数（= 变换的变形）相乘——中心极限定理的证明骨架就是「高斯是卷积的不动点」（3.3）；③ 数论：Dirichlet 卷积的乘法结构、除数函数的生成级数——频率语言是最早的「卷积代数」。

对偶版的使用心法。「时域乘法难算？搬到频域变卷积；频域卷积难算？搬回时域变乘法」——乘法与卷积在两个域里各占一边，永远挑简单的那边做。乘积定理同时给出「带宽受限 ⟹ 时域不可能也受限」（f̂ 有紧支撑 ⟹ f 解析）——4.2 采样定理的预演。

警告一条（p89 误区预备）。卷积定理要求 f, g ∈ L¹（卷积存在）且在 L² 应用时要走 Plancherel 版本（乘法在 L² 里依然合法但需先在 𝒮 中做再延拓）——「L¹ 定理、L² 使用」之间的桥是 Plancherel + Schwartz 稠密性，第三章的结构就是为这座行军桥设计的。

第三章 Fourier 变换：从圆周到直线3.6 Plancherel 定理：能量守恒

★★★★ 定理（Plancherel）。f ∈ L¹∩L² ⟹ f̂ ∈ L² 且 ‖f‖₂² = (1/2π)‖f̂‖₂²。特别地，变换可唯一延拓为 L²(ℝ) → L²(ℝ) 的等距同构（差常数），且 Four⁴ = (2π)²·恒等。

证明（好函数先行，三步）。① 在 𝒮 中验证：f ∈ 𝒮 时反演与卷积全合法：‖f‖₂² = ⟨f, f⟩ = (1/2π)⟨f̂, (f(−·))^⟩… 直接算（用反演 + Fubini）得等式；② 稠密性：𝒮 在 L² 中稠密（3.9 证明）；③ 延拓：f ∈ L² 取 f_n ∈ 𝒮 逼近，{f̂_n} 是 L² 中 Cauchy 列（等距！），极限定义为 f̂。∎——「先在小宇宙证恒等式，再靠完备性扩军」是现代分析的标准战术（对照：Riesz–Fischer 的 ℓ² 延拓、Sobolev 空间的定义）。

四重身份。① 物理：信号的时域能量 = 频域能量（频谱仪读数守恒）——「能量」在量子力学里直接对应概率守恒（幺正性）；② 几何：变换是 L² 的「旋转」（等距双射），Four⁴ = 恒等说明「旋转四次回家」——3.11 的 Hermite 函数把这四次旋转的特征子空间显式造出（特征值 1, i, −1, −i）；③ 方法论：L² 中的 Fourier 分析从此有完备的合法性——第二章 Parseval 的完整直线版；④ 工程：FFT 之所以能「无损变换」，Plancherel 是数学保证。

与圆周版的对照表（最后核对一遍）。Parseval: ‖f‖₂² = Σ|ĉ(n)|²（离散账本）↔ Plancherel: ‖f‖₂² = (1/2π)∫|f̂|²dξ（连续账本）；唯一性 ↔ 单射；Riesz–Fischer 同构 ↔ L² 等距同构。两章至此完全合流——频率语言的「圆周篇」与「直线篇」共享同一套守恒律。

常数 2π 的归宿。不对称约定把 2π 塞进反演与 Plancherel；对称约定 (f̂ = ∫f e^−2πiξx) 让所有公式免 2π 但频率物理量纲变化。记号之争没有对错，只有一致——本册全程锁定一套约定，所有公式可自查。

第三章 Fourier 变换：从圆周到直线3.7 光滑性与衰减的互换

★★★ 定理（光滑 ⟹ 衰减）。f、f′、…、f^(k) 可积（f^(k−1) 绝对连续）⟹ |f̂(ξ)| ≤ min(‖f‖₁, ‖f^(k)‖₁/|ξ|^k)。证明：第一章的求导律 (f′)^ = iξf̂ 迭代 k 次：(f^(k))^ = (iξ)^kf̂，取模。∎「分部积分是印钞机：每印一次，频谱多一张 1/ξ 的钞票。」

反定理（衰减 ⟹ 光滑）。若 ∫|ξ|^k|f̂(ξ)|dξ < ∞，则 f ∈ C^k（在连续点/整体修正后），且 f^(j)(x) = (1/2π)∫(iξ)^jf̂(ξ)e^iξxdξ。证明：可积权允许积分号下求导（控制收敛）。两个方向合起来：

价目表升级（与第一章对账）。第一章经验版「跳变 1/n、连续导跳 1/n²」现在有了双向精确版：频谱的衰减率是光滑度的精确测量仪——看到 |f̂| ~ 1/ξ² 就知道 f 连续而 f′ 跳；看到 |f̂| 比任何幂都快就知道 f ∈ C^∞。「频谱是函数的 CT」这句话从口号升级为定理。

两个立即的应用。① 乘子理论的地基：想证明「频率滤波 T(f)^ = m(ξ)f̂(ξ) 在 L² 有界」，m 的光滑性给出核的衰减 → L¹ → 卷积有界（第五章乘子定理的雏形）；② 数值分析：谱方法的指数收敛来自「光滑解 ⟹ 快衰频谱 ⟹ 截断误差指数小」——光滑-衰减互换是谱方法收敛性的全部秘密。

第三章 Fourier 变换：从圆周到直线3.8 不确定性原理

★★★★ 定义（窗口宽度）。对 f ∈ L²（‖f‖₂=1 归一化），Δx² = ∫(x−x₀)²|f|²dx（x₀ = 质心）；同理 f̂ 的宽度 Δξ。「函数有多集中」与「频谱有多集中」的定量度量。

三种读法。① 数学：伸缩律的直接代价（3.3 已见「压窄时间必拉宽频谱」）——不确定性是对偶原理的定量形式；② 物理：量子力学的位置-动量不确定性（p = ħξ 的 de Broglie 关系把本定理翻译成 ℏ/2）——不是仪器的缺陷，是波函数的 Fourier 本性；③ 工程：短时 Fourier/小波的动机——想同时看清「何时」与「何频」，窗口乘积有下界，于是有了第六章的时频折中设计。

常见追问（自问自答）。「能不能造一个既窄又窄的函数骗过它？」——不能：任何集中化都会通过伸缩律在另一侧付出精确的代价；「δ 函数呢？」——δ 完全集中（Δx=0）但它的「频谱」是常数 1（Δξ=∞）——分布的世界里不等式依然成立（3.10 之后可严格说）；「取等的只有高斯？」——是（在一个“平移×调制×伸缩”的轨道内），这也解释了为什么高斯在滤波与量子力学基态里无处不在：它是「最省」的形状。

p87 实验预告。数值验证：高斯的 Δx = 0.7071（= 1/√2）与 Δξ = 0.7071，乘积 0.500000 精确取等。

第三章 Fourier 变换：从圆周到直线3.9 Schwartz 函数空间

★★★ 定义（Schwartz 空间）。𝒮(ℝ) = {f ∈ C^∞ : sup_x |x|ⁿ |f^(m)(x)| < ∞, ∀m,n}——无穷光滑 + 连同一切导数都比任何 1/xⁿ 快地衰减。「快衰」的形式定义：对每个 n，xⁿf 有界。

为什么需要它？（前三节的缺口清单）① 反演定理要 f̂ ∈ L¹（一般 L¹ 函数不满足）；② 求导律要 f′ 可积；③ Plancherel 的延拓要稠密的「好函数」类。𝒮 一次满足全部：光滑-衰减互换（3.7）的极限形态恰是「f ∈ 𝒮 ⟺ f̂ ∈ 𝒮」——变换在 𝒮 上是双射且四次幂回到自己（F⁴ = (2π)²·id，逐字验证：f̂̂ = 2πf(−x)）。∎

𝒮 的两个身份。① 试验函数场：一切「变换→代数→反演」的流水线在 𝒮 中无需任何注释（全合法），所以定理先在 𝒮 证，再延拓到 L²/L¹（稠密性）——Plancherel 的「好函数先行」是标准操作；② 分布论的对照组：𝒮 的对偶空间 𝒮′ = 缓增分布（3.10）——「最一般的可变换对象」。𝒮 小到让对偶足够大（δ、多项式、常数都在 𝒮′ 里），大到让对偶上的运算良好定义。

成员资格审查（练习感）。高斯 ✓（快衰的祖师爷）；e^−x2×多项式 ✓（多项式打不过高斯）；1/(1+x²) ✗（衰减只有 1/x²，不够快）；sin x ✗（不衰减）；C_c^∞（紧支撑光滑函数）✓——注意 C_c^∞ ⊂ 𝒮 ⊂ C^∞∩L^p，两头都不等：高斯不在 C_c^∞（不紧支撑），sin x 不在 𝒮。「紧支撑」与「频域紧支撑」不能兼得（3.5 对偶版）——𝒮 是两边都「接近完美」的最大公约数。

一句定位。𝒮 之于 Fourier 变换，如同 C^∞ 之于微分：「运算封闭的最小舒适区」。后两节（分布、Hermite）与第四五六章的所有「先在好函数中做、再延拓」的操作，都以 𝒮 为跳板。

第三章 Fourier 变换：从圆周到直线3.10 缓增分布一瞥

★★ 动机：δ 函数的三十年「黑户」生涯。Heaviside 与 Dirac 广泛使用 δ(x)：「质量 1 集中在一点」——∫δφ = φ(0)。它不是函数（没有任何 L¹ 函数有此性质），却比许多函数好用。Schwartz（1945–50）用 𝒮 的对偶给 δ 上户口：

明星计算（三条，每条一行）。① δ̂ = 1：⟨δ̂, φ⟩ = ⟨δ, φ̂⟩ = φ̂(0) = ∫φ(x)dx = ⟨1, φ⟩——点脉冲的全频平坦响应（冲激响应的频谱就是系统的频率响应——工程「白噪声/脉冲激励」的数学底座）；② 常数^ = 2πδ：⟨1^, φ⟩ = ∫φ̂(ξ)dξ = 2πφ(0)（反演公式在对偶形式下）——「直流分量的频谱是频率原点的 δ」；③ x^ = 2πi δ′：由 f̂′ = (−ix f)^ 对偶转移。三条合读：分布世界里「集中 ↔ 平坦」的对偶完全显形。

为什么是「缓增」？𝒮 的试验函数衰减极快，所以 T 只需「缓增」（多项式级增长）即可连续作用——比 C_c^∞ 的对偶（紧支撑分布）胃口大得多：多项式、常数这些「永不衰减」的对象都能住下。代价是 Fourier 变换的像必须仍在 𝒮′ 内——幸运的是 𝒮 自对偶，变换把 𝒮′ 恰好搬到 𝒮′（自对偶的又一次胜利）。

本册的用点。① 3.12 的频域解法允许 δ 右端（点源热方程 → 高斯核）；② 第四章 Poisson 求和公式的现代形式是「梳状函数的变换还是梳状」；③ 第六章振荡积分与随机 Fourier 级数的严格化。分布不是炫技，是让「频率语言」覆盖所有物理对象的语法升级。

第三章 Fourier 变换：从圆周到直线3.11 Hermite 函数与正交基

★★★ 问题：Fourier 变换「旋转四次回家」（F⁴ = (2π)²·id），它的特征函数是谁？——答案是Hermite 函数，一个既是分析又是代数还通物理的明星家族。

证明的关键一步（求导与变换的交换）。求导律 (f′)^ = iξf̂ 与对偶律 ((xf)^ = if̂′ 联立：算子 A = d/dx + x 与 A* = −d/dx + x 在变换下互换角色（A^ = iA* 之类）——而 h_n 由 A* A 的本征方程（谐振子方程）产生：(−d²/dx² + x²)h = (2n+1)h。本征方程两边的变换不变性 ⟹ 变换把 h_n 的本征空间映到自己，一维空间里只剩相位因子 (−i)ⁿ。∎「谐振子的能级简并 = 变换的特征相位」——物理与分析在此共用一台机器。

三重身份。① 分析：L² 的正交基（比三角基更「像」ℝ² 标准基：每项同时局域又振荡）；Fourier 变换的谱分解：在 {h_n} 基下变换是对角的（相位 ±1, ±i）——F⁴ = id 有了坐标证明；② 数值：Hermite 展开的谱方法（光滑-快衰函数的指数收敛）；③ 物理：量子谐振子的定态波函数、光学的 Hermite–Gaussian 模式（激光腔）。

与高斯的血缘。h₀ = 高斯是变换的不动点（特征值 1）；每个 h_n 是「高斯 × n 次多项式」——多项式部分提供振荡，高斯部分负责快衰。多分辨 / 小波（第六章）的「母函数 + 平移伸缩族」结构在这里提前现身。

第三章 Fourier 变换：从圆周到直线3.12 应用：微分方程的频域解法

★★★ 全章技术总演习：用 Fourier 变换解热方程。

第一步：变换。u_t = u_xx，u(x,0) = f。对 x 作变换（t 当参数）：û_t = (u_xx)^ = (iξ)²û = −ξ²û——偏微分方程（两个变量耦合）变成一族关于 t 的一维 ODE（每个频率 ξ 独立演化）。

第二步：解代数/ODE。û(ξ,t) = f̂(ξ)e^−tξ2——每个频率按 e^−tξ2 指数衰减，频率越高衰得越快。

第三步：反演（认领卷积）。e^−tξ2 是高斯的变换（3.3 伸缩版：热核 g_t(x) = (1/√(4πt))e^−x2/4t），乘积变卷积（3.5）：u = f ∗ g_t——「解 = 初值与热核的卷积」，与物理直觉（热扩散是加权平均）严丝合缝。

方法论的边界（诚实声明）。频域解法最擅长常系数线性方程（热、波、Schrödinger）；变系数方程要换武器（第五章的调和分析工具、第六章的振荡积分处理 Schrödinger 的色散）。「变换 → 代数 → 反演」的流水线会以不同形态贯穿后三章：第四章用它证明 Poisson 求和与采样定理，第五章用它分析乘子，第六章用它做小波与压缩感知。

与相邻领域的握手。第六章的半群理论以热方程为样板；本册给出它的「频域 X 光片」：e^−tξ2 是半群的生成元谱表示——两册从两岸打同一口井。

第三章 Fourier 变换：从圆周到直线例题精讲：变换的演算

★★★ 例题精讲：变换的演算。三个必会样板：矩形→sinc、单边指数→Lorentzian、三角→sinc²。

例 1（矩形函数 → sinc）。f = 1_[−a,a]。f̂(ξ) = ∫_−a^ae^−iξxdx = 2sin(aξ)/ξ。sinc 函数登场：f̂(0) = 2a（极限），主瓣宽 2π/a，旁瓣按 1/ξ 衰减（f 有跳变——衰减价目表对账 ✓）。用途：sinc 是采样定理（4.2）的重构核、理想低通滤波器的冲激响应。对偶自查：sinc 的变换是矩形——「频域截止 ⟹ 时域拖尾不灭」（理想滤波器的时域病：振铃）。

例 2（单边指数 → Lorentzian）。f(x) = e^−x1_x>0。f̂(ξ) = ∫₀^∞e^−xe^−iξxdx = 1/(1+iξ)。|f̂|² = 1/(1+ξ²)：洛伦兹线形（光谱线的自然线宽、共振电路的频响）。衰减对账：f 在 0 处连续但 f′ 跳 ⟹ |f̂| ~ 1/ξ（正比于跳变幅度 1）✓。相位 ξ → −1/ξ 的色散关系在光学里对应吸收-折射配对（Kramers–Kronig 的婴儿版）。

例 3（三角函数 → sinc²，无跳变样板）。f(x) = (1−|x|/a)1_|x|<a（帐篷）。两个来源一致：① 直接积分（分部积分两次）；② 卷积法：帐篷 = (1/√(2a))·(矩形∗矩形)（自验），卷积定理 ⟹ f̂ = (矩形的 f̂)²/√(2a) ∝ sinc²(aξ)。衰减对账：f 连续、f′ 跳 ⟹ 1/ξ² ✓。「连续化让旁瓣从 1/ξ 降到 1/ξ²」——窗函数设计的原理（第六章时频分析预演）。

第三章 Fourier 变换：从圆周到直线例题精讲：Schwartz 函数演算（二）

★★★ 例题精讲：Schwartz 函数演算（二）。用「运算说明书」流水解题，不动一个原始积分。

例 1（微分恒等式流水线）。已知 f̂(ξ) = e^−ξ2，求 ∫x²f(x)dx。解：频域求导律 f̂′ = (−ixf)^ ⟹ (x²f)^ = −f̂″。两边在 ξ = 0 取值：∫x²f(x)dx = (x²f)^ (0) = −f̂″(0)。f̂ = e^−ξ2 ⟹ f̂″ = (4ξ²−2)e^−ξ2 ⟹ f̂″(0) = −2 ⟹ ∫x²f = 2。零次积分完成矩量计算——「矩量 = 频谱在原点的导数」，概率论里特征函数定矩量的同款技术。

例 2（变换方程法：解 f̂ = f 的函数）。求满足 f̂ = f（约定常数归一）的 𝒮 函数。解：F⁴ = id ⟹ 特征值 ∈ {1, i, −1, −i}；f̂ = f 即特征值 1 的特征空间。由 3.11，特征空间由 n ≡ 0 (mod 4) 的 Hermite 函数张成：f = Σ_k≥0a_kh_4k。最简单的成员是高斯（自对偶）。追问：f̂ = f 且 f ≥ 0？——则 f ∝ 高斯（由不确定性取等条件反推：特征值 1 + 非负 + 集中极值）。

例 3（衰减核验流水线）。证明 f(x) = 1/cosh(x)（双曲正割）的变换是 π/cosh(πξ/2)（自对偶家族成员），并核验衰减。解的骨架：围道积分（留数法，穿 x = iπ/2 的极点）得 f̂(ξ) = π/cosh(πξ/2)——「sech 是自己的变换（差伸缩）」，与高斯同属自对偶俱乐部。衰减对账：f ∈ C^∞ 但衰减只有 e^−|x|（指数级，不是多项式级）⟹ f̂ 也指数衰减但在虚轴有极点（不能更快）——解析延拓的奇点决定实轴衰减的极限（Paley–Wiener 理论的一瞥：𝒮 成员必须整函数化）。

第三章 Fourier 变换：从圆周到直线例题精讲：不确定性的数值对拍

★★★ 例题精讲：不确定性的数值对拍。手算 + 实测，看清「下界 ½ 与取等」的全景。

例 1（高斯族：乘积恒 ½ 的解析验证）。f_a(x) = e^−ax2（a > 0）。|f|² ∝ e^−2ax2 ⟹ Δx = 1/(2√a)；f̂ = √(π/a)e^−ξ2/4a（3.3 伸缩版）⟹ |f̂|² ∝ e^−ξ2/2a ⟹ Δξ = √a。乘积 Δx·Δξ = ½，与 a 无关！表格：a = ¼ → (Δx, Δξ) = (1, 0.5)；a = 1 → (0.5, 1)；a = 4 → (0.25, 2)。伸缩 a 只是把「宽度」从一边搬到另一边，乘积纹丝不动——高斯族是不确定性不等式的「等值线族」，p87 实测 0.500000。

例 2（矩形函数：Δξ = ∞ 的极刑）。f = 1_[−a,a]：Δx = a/√3 有限；但 f̂ = 2sin(aξ)/ξ，|f̂|² ~ 4sin²(aξ)/ξ²，二阶矩 ∫ξ²|f̂|²dξ ≥ ∫sin²(aξ)dξ = ∞——Δξ = ∞！「有跳变 ⟹ 频谱只按 1/ξ 衰减 ⟹ 频域二阶矩发散」。读法：截断信号（数字音频的硬截断）在频域的弥散是无穷的——这就是为什么工程里必须用「缓变窗」而不是硬矩形（窗函数设计：汉宁窗、高斯窗，用「时域稍宽」买「频域旁瓣快衰」）。

例 3（用不等式「读」物理）。激光的纵模（高斯型光束）为什么是天然的最优波包？——TEM₀₀ 模正是 Δx·Δξ = ½ 的取等者：同样的一对约束（镜面尺寸 × 频宽），高斯把两者同时做到最小。反过来，任何试图「再压窄一半光斑」的设计必然付出「频宽翻倍」的代价（啁啾放大的设计逻辑）。数学上的取等条件（xf + if′ = 0 的解）就是物理上的基态波形——不等式的极值条件直接预测了自然界选中的形状。

第三章 Fourier 变换：从圆周到直线习题课：变换与反演

★★ 习题课（一）：变换与反演。运算说明书的肌肉记忆训练。

A 组（性质流水线，五题）。① 只用性质（不积分）求 e^−x2/2cos ξ₀x 的变换。调制律：½√(2π)[e^{−(ξ−ξ₀)2/2} + e^{−(ξ+ξ₀)2/2}]。② 求 (1+x²)⁻¹ 的变换（先记住答案 2πe^−|ξ|?——用留数或先证 duality 自查），并验证它是 𝒮′ 中「缓增但不属于 𝒮」函数的样板。本题目标是练习「用变换性质反推」：对 x 微分变成对 ξ 乘法。③ 证明缩放-调制交换图：f(ax+b) 的变换 = e^−i(ξ/a)bf̂(ξ/a)/|a|（一次换元合并两条性质）。④ 设 f ∈ 𝒮，证明 Σ_n∈ℤf(n) = Σ_n∈ℤf̂(2πn)（Poisson 求和的「预习版」，4.1 严格证明——先用数值验证 a = 高斯）。⑤ 证明卷积结合律 (f∗g)∗h = f∗(g∗h) 在 L¹ 中成立，并在频域写出它的「显然版」。

B 组（反演与对偶，四题）。① 验证 F⁴ = (2π)²·id 于 f = e^−x2/2（两次显式计算）。② 用反演定理证明：f, g ∈ 𝒮 且 f̂ = ĝ ⟹ f = g（唯一性的直线版）。③ 证明 Parseval–Plancherel 的内积形式 ⟨f, g⟩ = (1/2π)⟨f̂, ĝ⟩，并用它把 ∫f(x)g(x)dx 变成频域积分（f = g = 高斯时对拍）。④ 挑战：f ∈ 𝒮 且 f̂ 有紧支撑 ⟹ f 是整函数的 restriction（Paley–Wiener 门槛题：反演积分可对复 z 求导——「频域紧支撑 ⟹ 时域整函数」，采样定理 4.2 的地基）。

方法论。① 先查表后积分：九成「变换计算」是性质流水线（平移/伸缩/调制/求导/卷积）；② 每题必做「量纲自查」：伸缩律的两边宽度乘积、衰减对账、F⁴ 回家——三道安检抓九成符号错。

第三章 Fourier 变换：从圆周到直线习题课：频域解法（二）

★★ 习题课（二）：频域解法（二）。把 3.12 的流水线开到更多方程上。

A 组（热方程族，四题）。① 解带吸收的热方程 u_t = u_xx − cu（c > 0），写出频域解并解释「吸收 = 频域统一衰减 e^−ct」。û_t = −(ξ²+c)û。② 解热方程但初值 f = δ（点源）：解 = 热核本身——用 3.10 的分布变换合法化每一步。③ 证明热半群的质量守恒：∫u(·,t) = ∫f（频域在 ξ = 0 处不衰减——「直流分量被热流保留」，扩散只均分不消灭）。④ 证明热方程的「极大值原理」频域版：‖u(·,t)‖_∞ ≤ ‖f‖_∞（热核质量 1 的正卷积——非负性再次建功）。与相邻领域的极大值原理对照：两证各有胜场。

B 组（其他方程，四题）。① 波方程 u_tt = u_xx：频域解 û = f̂cos(tξ) + ĝ sin(tξ)/ξ（g = 初速度），反演得 d'Alembert 公式的卷积版——波没有衰减：|cos| = 1，能量只搬运不耗散（与热对照）。② Schrödinger 方程 iu_t = −u_xx：频域解 e^−itξ2——模长恒 1：色散不改能量只改相位（幺正演化；对照热方程 e^−tξ2：扩散压能量）。③ 用频域证明：波方程的能量 E(t) = ½∫(u_t² + u_x²)dx 守恒（Plancherel 直接算）。④ Laplace 方程半平面版：Dirichlet 问题的解 = 边值与 Poisson 核的卷积——证明 Poisson 核是好核（r ↑ 1 对照 t ↓ 0）。P_r(t) = (1−r²)/(1−2r cos t + r²) 的变换语言。

方法论小结。频域解法的「三查」：① 查衰减因子（e^−tξ2？|cos|？e^−itξ2？）——它决定方程的性格（耗散/守恒/色散）；② 查右端的户口（L¹？L²？δ？）——决定用哪套合法性（𝒮 流水线 / Plancherel 延拓 / 分布）；③ 查反演核（是卷积吗？是好核吗？）——决定解的定性性质（光滑化/传播/边界极限）。

第三章 Fourier 变换：从圆周到直线本章地图：Fourier 变换的依赖结构

★★ 本章地图：两根支柱、两条干线、一个顶点。

根：定义 + 高斯（3.1–3.3）。极限 T → ∞ 造出变换；六条性质给「说明书」；高斯是全章的第一公民——自对偶、热核、不确定性取等、概率特征函数：它一个人串起四条线。

左干线：可逆性（3.4 → 3.9）。反演定理用高斯好核（Abel 求和的直线版）建立「频谱 ⟹ 函数」；Schwartz 空间把「好到极处」固化成舞台：𝒮 上变换是双射、一切操作合法。这条线的口号：变换可逆，但要在对的地方问。

右干线：守恒与对偶（3.5 → 3.6 → 3.7）。卷积定理（时域卷积 = 频域乘法）→ Plancherel（能量守恒、L² 等距）→ 光滑-衰减互换（硬币两面）。这条线是「估计」的军火库：第四五章的所有硬定理（插值、极大函数、乘子）都是这三件武器的组合技。

顶点与应用（3.8 → 3.10–3.12）。不确定性原理是对偶原理的定量化（下界 ½、高斯取等）；三个应用把理论兑现：分布论（δ 入场，全频平坦）、Hermite 函数（变换的谱分解、F⁴ = id 的坐标证据）、频域解方程（热方程全流程——「变换→代数→反演」的范式总演习）。

与前后章的接口。向后看：4.1 Poisson 求和 = 本章 + 分布（梳状函数）；4.2 采样定理 = 反演 + sinc；第五章乘子 = 卷积定理的 L² 升级；第六章小波 = 本弄「伸缩-平移」 family 的另一套基。向前看（复习）：第一章 Dirichlet 核 ↔ 本章 sinc 核；第二章 Fejér 核 ↔ 本章 Poisson/高斯核。一张对照表走天下。

第三章 Fourier 变换：从圆周到直线小结：变换的语言

★★ 第三章小结（上）：变换的语言。

概念清单（七件）。Fourier 变换 f̂(ξ) = ∫f e^−iξxdx 与反演；卷积与卷积定理；Plancherel 等距；光滑-衰减互换；不确定性 Δx·Δξ ≥ ½；Schwartz 空间 𝒮 与缓增分布 𝒮′；Hermite 函数（变换的特征函数）。

公式清单（背这六条）。① 反演 f = (1/2π)∫f̂e^iξxdξ（连续点）；② 求导律 (f′)^ = iξf̂ 与对偶 f̂′ = (−ixf)^；③ 卷积定理 (f∗g)^ = f̂ĝ 与对偶 (fg)^ = (1/2π)f̂∗ĝ；④ Plancherel ‖f‖₂² = (1/2π)‖f̂‖₂²（含极化/内积版）；⑤ 高斯 f̂ = √(2π)e^−ξ2/2（自对偶）；⑥ 明星分布 δ̂ = 1、常数^ = 2πδ。

样板卡（三张）。矩形↔sinc（2sin aξ/ξ）；单边指数↔1/(1+iξ)（Lorentzian）；帐篷↔sinc²。每张卡都要会「双向读」：正向给频谱形状，反向给滤波/采样/窗设计的直觉。

常见错误三则。① 2π 因子放错位置（约定要全程一致：变换无因子、反演 1/2π、Plancherel 1/2π）；② 把 δ 当函数做除法/乘法（δ² 无定义——分布乘法是禁区，只有与光滑函数相乘合法）；③ 忘记求导律的符号（(f′)^ = +iξf̂，来自 e^−iξx 的负指数约定——换约定全表翻转，自查 F⁴）。

一句话记住上半章：Fourier 变换是「微积分的翻译官」——微分变乘法、卷积变乘法、能量变账本；高斯是唯一在两个语言里写法相同的词。

第三章 Fourier 变换：从圆周到直线思想卡：光滑与衰减是一枚硬币

★★★ 思想卡：光滑与衰减是一枚硬币。

3.7 的对偶表值得从「定理」升格为「世界观」：一个函数在时域的光滑度，精确等于它在频域的衰减速度。这不只是两条性质的相关，而是同一信息的两种投影——「振荡的规整程度」在两个域里各有一个名字：时域叫「可微性」，频域叫「尾部多细」。

硬币的三次显影。① 价目表（第一章经验 → 本章定理）：跳变 1/ξ、导跳 1/ξ²、C^k 跳 1/ξ^k+1、解析 ⟹ 指数衰减——光滑度的「汇率」是精确的（一步分部积分兑一张 1/ξ）；② 反方向：频域衰减 ⟹ 时域光滑（可积权允许积分号下求导）——两个方向都不能免费，正好构成等价；③ 极限形态：Schwartz = 「两面同时满分」，δ = 「一面无穷好（频域平坦）另一面无穷坏（时域零宽）」——硬币可以倾斜到任何角度，但两面之和守恒（不确定性的又一读法）。

为什么这枚硬币值钱？（三个下游）① 数值分析：谱方法的收敛率 = 解的光滑度（频谱尾部小 ⟹ 截断准）——「对光滑问题用谱方法」的理论执照；② 信号处理：窗函数设计 = 在硬币两面间定价（汉宁窗牺牲时域宽度买频域旁瓣）；③ PDE：椭圆正则性（解自动光滑）的频域证明、热方程瞬间光滑化——「低频决定形状、高频决定纹理」的分工表。

思想的迁移。「两个表示域、一种守恒资源」是现代数学最深的结构直觉之一：位置-动量（量子力学）、时间-频率（第六章小波）、局部-整体（数论的 Hasse 原理风味的类比）、样本复杂度-模型复杂度（统计学习）——都是「同一对象、两种投影、资源守恒」的变奏。Fourier 变换教会不是一条定理，而是「找另一个域」这门手艺：当在一个域里被卡住，换域常常不是逃避，而是看见同一问题的另一副面孔。

第三章 Fourier 变换：从圆周到直线挑战：不确定性原理的精细版

★★★★ 挑战：不确定性原理的精细版。把 Δx·Δξ ≥ ½ 从「一条不等式」升级为「一族带结构的定理」。

任务一：补全主定理的证明。按 3.8 的骨架完整写出：① 平方非负 ∫|xf(x) + if′(x)|²dx ≥ 0 展开（注意交叉项的虚部提取：Re∫x f f̄′ = −½∫|f|²）；② Cauchy–Schwarz 配平；③ 求导律 + Plancherel 把 ∫|f′|² 换成频域；④ 取等条件「xf + if′ = 0」解出高斯（一阶线性 ODE）。约定自查：全程锁定本册记号，常数 ½ 不要漂移。

任务二：变体 A（无需自伴算子的「两函数版」）。证明：对 f, g ∈ 𝒮，‖f‖₂‖g‖₂ ≤ 2‖(x − i∂_x)f‖₂·‖g‖₂ 之类的不等式不重要——重要的是这道变体：证明 ∫∫|f(x)|²|ĝ(ξ)|²e^{i(x₀−ξ₀)…}的「强形式」不成立，即不存在逐点的点态不等式|f(x)|²|f̂(ξ)|² ≤ Ce^−xξ——不确定性只约束「整体分布」，不约束「联合分布」。构造 x₀, ξ₀ 同时大的样例（平移+调制的高斯）。

任务三：变体 B（熵不确定性——现代最强版）。Białynicki-Birula–Mycielski（1975）：设 h(P) = −∫P log P 是分布的微分熵，则h(|f|²) + h(|f̂|²/(2π)) ≥ log(πe)（约定内常数自校）。为什么比 Δx·Δξ 强？熵不依赖「二阶矩存在」：对 Δx = ∞ 的重尾分布（如 Cauchy 型）经典形式失效而熵形式仍然成立。证明路线（信息论的 Fourier）：de Bruijn 恒等式（熵沿热流的变化率 = Fisher 信息）+ 热流的熵单调增（Gross 的 log-Sobolev 不等式——第六章会再见）。任务：核对高斯取等。

任务四：变体 C（离散版——采样世界的下界）。对长度 N 的离散信号 x ∈ ℂ^N 及其 DFT X，证明 Donoho–Stark 型不等式：‖x‖₀·‖X‖₀ ≥ N（时域非零点数 × 频域非零点数 ≥ 总长）。⟨x, 平移的 X⟩ 的不相交支撑 → 0 反证；或用不确定性矩阵的秩论证。这就是第六章压缩感知「稀疏 ⟹ 可恢复」的第一块基石——离散不确定性直接定价采样数。

第三章 Fourier 变换：从圆周到直线实验：DFT 真跑——高斯与卷积定理对拍

★★★ 把 DFT 真跑一遍：高斯自对偶到机器精度、卷积定理两条路径对拍、Plancherel 能量守恒、不确定性取等。

import math
A, B = -12.0, 12.0
N = 4096; H = (B - A) / N
XS = [A + i * H for i in range(N)]
f = lambda x: math.exp(-x * x / 2.0)
g = lambda x: math.exp(-x * x / 8.0)

def FT(fn, xi, xs, h):        # 梯形近似 ∫ fn e-iξx dx
    s = 0.0
    for x in xs:
        s += fn(x) * math.cos(xi * x)   # 实值函数，虚部相消
    return s * h

# ① 高斯自对偶 vs √(2π) e-ξ2/2
for xi in (0.0, 0.7, 1.5, 2.5, 3.5):
    num = FT(f, xi, XS, H)
    th = math.sqrt(2 * math.pi) * math.exp(-xi * xi / 2.0)
    print(f"xi={xi:.1f}: num={num:.6f}  th={th:.6f}")

# ② 卷积定理：(f*g)^ vs fhat·ghat（xi=1.3）
#    （f*g 先数值卷积，再变换；右路直接乘）
M = 511; HG = (B - A) / M
XG = [A + i * HG for i in range(M)]
conv = []
for x in XG:
    s = 0.0
    for t in XS[::4]:
        if -12 <= x - t <= 12:
            s += f(x - t) * g(t)
    conv.append(s * H * 4)
def conv_at(x):
    idx = (x - A) / HG; i0 = int(idx)
    if i0 >= M - 1: return conv[M-1]
    u = idx - i0
    return conv[i0]*(1-u) + conv[i0+1]*u
xi = 1.3
lhs = sum(conv_at(x) * math.cos(xi * x) for x in XG) * HG
rhs = FT(f, xi, XS, H) * FT(g, xi, XS, H)
print(f"(f*g)^={lhs:.6f}  fhat*ghat={rhs:.6f}")

# ③ Plancherel：∫|f|2 vs (1/2π)∫|f̂|2
ef = sum(f(x) ** 2 for x in XS) * H
et = sum(FT(f, A + i * H, XS, H) ** 2 for i in range(0, N, 2)) * H * 2 / (2 * math.pi)
print(f"int|f|2={ef:.6f}  (1/2pi)int|fhat|2={et:.6f}")

# ④ 不确定性：Δx·Δξ（高斯取等）
vx = sum((x - 0.0) ** 2 * f(x) ** 2 for x in XS) * H / ef
print(f"dx·dxi = {math.sqrt(vx) / math.sqrt(2.0):.6f}")

实跑输出：

xi=0.0: num=2.506628  th=2.506628
xi=0.7: num=1.961949  th=1.961949
xi=1.5: num=0.813783  th=0.813783
xi=2.5: num=0.110134  th=0.110134
xi=3.5: num=0.005483  th=0.005483
(f*g)^=0.183788  fhat*ghat=0.183787
int|f|2=1.772454  (1/2pi)int|fhat|2=1.772454
dx·dxi = 0.500000

第三章 Fourier 变换：从圆周到直线速查：第三章概念与公式

★★ 速查：第三章概念与公式。考前一页纸，逐条过。

易忘三则。2π 的三个位置（反演、Plancherel、常数^）——约定一致就好，但别混；(f′)^ 的正号来自 e^−iξx 约定；δ² 无定义（分布乘法禁区）。

第三章 Fourier 变换：从圆周到直线常见误读：变换的四个误区

★★ 常见误读：变换的四个误区。

误区一：把 f̂ 当作「f 在频率 ξ 的值」。f̂(ξ) 不是「f 在某点的值」，而是全函数的加权积分——一个泛函值。纠正：f̂(ξ) 是「ξ 频率成分的复振幅密度」；改 f 的一个点，f̂ 一点不变（积分不见单点）——「点」的权力在频率世界里被没收（第二章唯一性 a.e. 的直线版）。

误区二：以为「变换存在 ⟹ 反演公式成立」。L¹ 函数的 f̂ 连续有界且趋零，但未必可积——反演积分可能根本不收敛（必须 Abel 求和或加条件）。纠正：反演是「两端定理」——𝒮/快衰者无条件，一般 L¹ 要好核脚手架；「f̂ ∈ L¹」不是一个技术性假设，而是 f 的强正则性条件（光滑-衰减互换）。

误区三：混淆「频谱支撑」与「时域支撑」的互斥性。「f̂ 紧支撑 ⟹ f 不可能也紧支撑（除非 f = 0）」——但很多人记反或以为「可以都近似紧」就「都精确紧」。纠正：支撑不能同时紧（Paley–Wiener + 唯一性：两域都紧的函数只有 0）；「都近似集中」倒是可以的——高斯是极限样板（不确定性给出精确的 trade-off）。「不能同时精确、可以同时近似、代价精确」三句话记牢。

误区四：把 Plancherel 读成「变换保持每个局部能量」。Plancherel 守恒的是总能量（全域积分），不守恒「局部能量」：时域集中处与频域集中处通常完全错位（不确定性允许并要求如此）。纠正：等距同构是「整体几何」守恒（长度、夹角），不是「逐点搬砖」——想把「哪里来哪里去」说清楚，需要时频分析（第六章 Gabor/小波：给每个「时间-频率原子」记账）。

第三章 Fourier 变换：从圆周到直线例题精讲：反演的演算（二）

★★★ 例题精讲：反演的演算（二）。反演公式的三种高阶用法。

例 1（用反演算积分：Fresnel 型）。求 I = ∫_−∞^∞sin(bξ)/ξ dξ（b > 0）。解：认领函数——2sin(bξ)/ξ 是矩形 1_[−b,b] 的变换（3.3 例 1）。反演公式在连续点 x = 0 处：f(0) = (1/2π)∫f̂(ξ)dξ，即 1 = (1/2π)∫2sin(bξ)/ξ dξ ⟹ I = π（对一切 b>0——面积与宽度无关，sinc 主瓣交换的积分不变量）。用法总结：反演公式 = 「在指定点取值」的积分机器——把要算的积分伪装成某个已知函数的变换在原点的值。

例 2（反演 + 求导：高阶矩量）。已知 f̂(ξ) = e^−|ξ|，求 f 并验证 f 的光滑度。解：分正负半轴积分（∫₀^∞e^−ξe^iξxdξ + 对称）得 f(x) = (1/π)·1/(1+x²)。光滑度对账：f̂ 衰减如 e^−ξ（指数级）⟹ f ∈ C^∞；但 f̂ 在 ξ = 0 有不可微的尖点（|ξ|）⟹ f 的衰减只有 1/x²（一阶矩有限、二阶矩发散——Cauchy 分布无方差！）「频域尖点 ⟹ 时域重尾」的双向对账再次精确成立。

例 3（反演的求和法版本：广义极限）。f ∈ L¹ 但 f̂ ∉ L¹ 时，Abel 平均反演 f_ε(x) = (1/2π)∫f̂(ξ)e^iξxe^−εξ2/2dξ 依然收敛到 f（连续点）。演算题：对 f = 1_[−1,1]，写出 f_ε 的显式积分（f̂·高斯 = sinc × 高斯）并用数值（或 p87 的积分器）验证 ε = 0.1, 0.01, 0.001 时 f_ε(0) → 1、f_ε(2) → 0、f_ε(1) → ½（跳变点取中点值——Dirichlet 中点规则的直线版）。求和法不是补救，是「广义极限」的正名——Fejér 精神的三章重聚。

第三章 Fourier 变换：从圆周到直线习题课：频域解法练习

★★ 习题课：频域解法练习。「变换→代数→反演」流水线的独立驾驶训练。

A 组（热方程深化，四题）。① 初值 f = 1_[−1,1] 的热解：写出 u(x,t) = ∫f(y)g_t(x−y)dy 的显式（误差函数 erf 形式），并验证 t → 0⁺ 时 u → f（在连续点；跳变点取平均——热核是好核）。② 证明热方程的「无穷传播速度」：t > 0 时 supp u(·,t) = ℝ（哪怕 f 紧支撑）——与波方程的有限传播速度对照，并用频域解释（e^−tξ2 全频非零 ⟹ u 解析 ⟹ 支撑不可能有边界）。③ 解热方程的「逆向热流」u_t = −u_xx：频域解 e^+tξ2——高频爆炸：反问题不适定（Hadamard 意义），并解释图像修复/超分辨为什么本质困难。④ 证明热半群是「最光滑」的半群之一：‖u(·,t)‖_∞ ≤ (4πt)^−1/2‖f‖₁，且对 f ∈ 𝒮 衰减比任何多项式快（热核卷积的快衰传递）。

B 组（方程家族，四题）。① 解 Airy 方程 u_t + u_xxx = 0：频域 e^+itξ3——模 1（守恒）+ 相位三阶色散，反演给出 Airy 函数核；与 KdV 方程的渊源一句话。② 用频域解分数阶热方程 u_t = −(−Δ)^su（s ∈ (0,1)）：频域 e^−t|ξ|2s——衰减指数从 2 降到 2s：光滑化变慢（Lévy 过程的生成元——稳定分布的特征函数同款）。③ 证明 Schrödinger 方程的「频域守恒 + 时域色散」：‖u(·,t)‖₂ = ‖f‖₂（Plancherel）但 ‖u(·,t)‖_∞ ~ t^−1/2（ stationary phase 一瞥——第六章振荡积分的正戏）。④ 挑战：对波动方程证明「有限传播速度」的频域版——比较 |ξ| 与 |tξ| 的支撑演化，并解释为什么乘以 |cos tξ| 不扩展支撑而乘以 e^−tξ2 立刻全域化。乘法不扩支撑 ⟺ 乘子有界解析带——Paley–Wiener 的又一次出场。

方法论。频域解法的「体检表」：衰减因子（e^−tξ2/e^itξ3/e^itξ…）决定性格（光滑化/色散/传输）；符号（+ξ²/−ξ³/|ξ|^2s）决定守恒律；核的户口（好核？幺正？解析带？）决定定性结论。读方程先读它的「频谱指纹」。

第三章 Fourier 变换：从圆周到直线小结：对偶的语言

★★ 第三章小结（下）：对偶的语言。

定理清单（六件）。① 反演定理（高斯好核四步舞）；② 卷积定理（含对偶版）；③ Plancherel（等距 + F⁴ = (2π)²id）；④ 光滑-衰减互换（双向）；⑤ 不确定性（Δx·Δξ ≥ ½，高斯取等）；⑥ 分布三式（δ̂ = 1、常数^ = 2πδ、对偶转移使运算永合法）。

对偶词典（本章最重要的表格，背下来）。时域微分 ↔ 频域乘 iξ；时域平移 ↔ 频域乘相位；时域卷积 ↔ 频域乘法；时域光滑 ↔ 频域衰减；时域衰减 ↔ 频域光滑；时域集中 ↔ 频域弥散（不确定性）；时域紧支撑 ↔ 频域整函数（Paley–Wiener）。每个词条都是一条「双向车道」——堵车时换道行驶。

三个明星家族。① 高斯：自对偶 + 热核 + 取等者 + 特征函数之母；② sinc：矩形的变换 + 采样定理的重构核 + Dirichlet 核的直线亲戚；③ Hermite：变换的特征基 + 谐振子本征态 + L² 正交骨架。三个家族在 3.11 的谱分解里会师。

常见错误三则。① 对分布做乘法（δ² 禁区）；② 忘记 Plancherel 的 1/2π（能量账差常数）；③ 把「a.e. 收敛 / 连续点收敛」的口径搞混（反演在连续点、唯一性在 a.e.——两句话的口径不同）。

一句话记住下半章：变换是保几何、保能量、保信息的「换域」操作——数学上没有新信息，只有新可读性；对偶词典就是换域的汇率表。

第三章 Fourier 变换：从圆周到直线格物札记：从物理到数学：变换的成年礼

★★ 格物札记：从物理到数学——变换的成年礼。

1807–1822：Fourier 的「物理远征」。Fourier 在热传导研究中发明了整套餐具：任意函数的三角展开、系数公式、以及（未经严格化的）变换思想——他的《热的解析理论》（1822）里，今日的 Fourier 变换以「无穷周期极限」的形式若隐若现。数学界的抵制（Lagrange）与物理界的拥抱（热流计算立竿见影）并行二十年——「有效但可疑」是这门新语言的青春期。

1850–1920：严格化的三步成年礼。① Dirichlet/Poisson/Duhamel：收敛定理与热核卷积公式（1830s）——把「直觉可行」变成「局部严格」；② Lebesgue 积分（1902）+ Riesz–Fischer（1907）：L² 理论让「变换」第一次有了完备的函数空间舞台；③ Plancherel（1910）与 Wiener（1930s）：Plancherel 定理给出 L² 等距——「变换是几何运动」的宣言；Wiener 的广义调和分析把非周期信号（湍流、布朗运动）也纳入版图。「从圆周到直线」的旅程，恰好走过数学严格化的全程。

1945–1950：Schwartz 的收编。分布理论把 δ、多项式、周期函数全部收进 𝒮′，Fourier 变换成为 𝒮′ 上的自同构——「什么对象可以做变换」这个问题被一劳永逸地回答：所有缓增对象。Heaviside（1890s）与 Dirac（1930s）的「不合法但好用」在四十年后拿到了合法证书——物理直觉又一次领先半个世纪，而数学的回应是扩建语法而不是禁止使用。

札记的结论。① 应用先于理论、理论反哺应用：热方程（物理）造出变换，变换（数学）反过来定义了信号处理（工程）与量子力学（物理）的语法；② 「严格化」是扩容不是限制：每次数学化（Lebesgue、分布）都让这门语言能说更多的话；③ 成年的标志是「有边界」：不确定性原理与 Paley–Wiener 划出不可能的疆界——一门语言的成熟，在于它同时知道什么能说、什么不能说。下一章开始，这门成年的语言将展示它最锋利的一批定理。

第三章 Fourier 变换：从圆周到直线第四章预告：插值与采样

★★ 第四章预告：插值与采样。

第三章留下两个「未兑现的支票」。① sinc 函数在例题里反复出现（矩形↔sinc、理想低通、Dirichlet 核的亲戚）——它真正的主场戏是采样定理：带限信号由等距采样完全重构（4.2）；② 分布论的「梳状函数」Ш = Σδ_2πn 尚未发力——它的变换还是梳状（对偶自对偶！），一步推出 Poisson 求和公式（4.1）：把圆周与直线焊接在一起。

第四章的三层结构。① 桥（4.1–4.4）：Poisson 求和（周期化 ↔ 采样的对偶）、Shannon 采样定理（数字世界的地基：CD、电话、通信全靠它）、带限重构与混叠；② 硬工具（4.5–4.7）：Riesz–Thorin 插值定理（凸性榨出中间估计——「两端点界换一族界」的万能机器）、Hausdorff–Young、Young 卷积不等式；③ 现代工具的入场式（4.8–4.10）：Hardy–Littlewood 极大函数、弱(1,1) 界、Lebesgue 微分定理——第五章奇异积分的全部预备役；再加群/高维一瞥（4.11–4.13）与信号处理速写（4.14）。

方法上的换挡。前三章是「变换的代数」（性质流水线）；第四章开始是「变换的估计」（不等式与算子范数）。「凸性」成为新的关键词：插值定理把 (p₁,q₁) 与 (p₂,q₂) 两端的有界性沿凸组合铺满中间——估计的世界里，凸性就是生产力（第六章压缩感知的 RIP、第五章的 Marcinkiewicz 插值都是同一思想的变体）。

阅读姿态的转变。第三章像「学一门语言」；第四章像「领一套工具」。每件工具都要问三句：它把哪两个端点界连接起来？它的常数怎么依赖参数？它在哪里失效（端点之外）？——带着这三问读 4.5，可以发现插值定理不是「一个定理」，而是整个现代调和分析的生产方式。下一页，从「把圆周焊到直线上」开始。

第四章 经典核心定理：插值与采样导引：本章导引：插值与采样

★★★ 本章任务：把前三章的语言变成可以「开工」的定理。三批货：两座桥、一台机器、一支先锋队。

两座桥（4.1–4.4）。Poisson 求和公式：Σf(n) = Σf̂(2πn)——把直线上的采样与圆周上的周期化焊在一起，是「离散 ↔ 连续」的总闸门；Shannon 采样定理：带宽不超过 Nyquist 的信号由等距采样完全重构——数字时代的数学地基（CD 44.1 kHz、电话 8 kHz 全是这条定理的常数）。两桥合用：采样、混叠、重构、以及「采样多少才够」的精确定价。

一台机器（4.5–4.7）。Riesz–Thorin 插值定理：算子在两个端点对 (p₁,q₁)、(p₂,q₂) 有界 ⟹ 在所有中间对有界（范数凸性插值）。一次劳动，全线收获：Hausdorff–Young 不等式（1 ≤ p ≤ 2 的变换界）、Young 卷积不等式（卷积的 L^p 契约）都是它的直接产品。「凸性是一种资源」——本册第一次把这句话做成定理。

一支先锋队（4.8–4.10）。Hardy–Littlewood 极大函数 Mf = sup「平均」——研究「平均是否还原函数」的放大镜；弱(1,1) 界（Vitali 覆盖引理）与 Lebesgue 微分定理（几乎处处 lim 平均 = f）——「积分能还原函数」这条微积分的地基，终于拿到现代证明。极大函数是第五章奇异积分的「门票技术」。

视野与速写（4.11–4.14）。群上调和分析（特征与表示的统一视角）、高维环面与多重 Fourier 级数、球部分和的惊奇（Fefferman：球和只在二维 a.e. 收敛）、信号处理的频谱实践。约 3 个例题 + 2 个习题课 + 1 个真跑实验（p121：sinc 重构与混叠对拍）负责把工具上手。学法：本章定理多、证明精巧——先记「做什么用」，再啃「怎么证」。

第四章 经典核心定理：插值与采样4.1 Poisson 求和公式

★★★★ 定理（Poisson 求和公式）。f ∈ 𝒮(ℝ) ⟹ Σ_n∈ℤ f(n) = Σ_n∈ℤ f̂(2πn)（一般步长 T：Σf(nT)·T = Σf̂(2πn/T)，常数按约定自查）。

证明（梳状函数一锤定音）。定义梳状分布 Ш = Σ_n∈ℤδ_n（δ 平移单位格）。① 周期化：f∗Ш = Σf(x−n) 是 1-周期函数，其 Fourier 级数系数 = f̂(−2πn)/(2π)（直接算：∫f(x−n)e^−i2πnxdx 换元求和）；② 梳的变换还是梳：Ш̂ = Σe^−i2πnξ·(常数整理) = (2π)·Ш(2πξ)（3.10 的 δ̂ = 1 + 平移律——「梳的自对偶」）；③ 把 f∗Ш 的 Fourier 级数在 x = 0 处取值（连续点），左边 = Σf(−n)，右边 = Σf̂(2πn)。∎——Poisson 求和 = 「梳的自对偶」的应用题。

它桥接了什么？（三个方向）① 采样理论：采样值 {f(n)} 与频谱采样 {f̂(2πn)} 互相锁死——下一页的 Shannon 定理就是它的工程化；② 数论：取 f = 高斯得 Σe^−πn2 的函数方程（θ 函数的模性）——Riemann ζ 函数函数方程的 Fourier 证明由此起步（第六章 6.9 预告）；③ 高维与几何：格点上的求和公式是几何数论（圆内格点数）的标准武器。

条件的边界（诚实标注）。𝒮 中无风险；一般 L¹ 需要右侧级数绝对收敛等额外条件（否则两侧都可能是条件收敛级数）；分布版无条件成立（𝒮′ 内恒等）——「越抽象越安全」又一次应验。p111 例题把高斯情形手算到 Jacobi 恒等式。

第四章 经典核心定理：插值与采样4.2 采样定理：Shannon 的桥

★★★★ 定理（Shannon–Nyquist–Whittaker–Kotelnikov 采样定理）。f ∈ L²(ℝ)，f̂(ξ) = 0（|ξ| > π）⟹ 对一切 x：

证明（Poisson 求和 + 周期化，两步）。① 带限 ⟹ 可写 f(x) = (1/2π)∫_−π^πf̂(ξ)e^iξxdξ——f 是「频域紧支撑」的，把它看作频谱函数的反演；② 对函数 F(ξ) = f̂(ξ)e^iξx 用 Poisson 求和（f̂ 紧支撑 ⟹ F ∈ 𝒮 型）：ΣF(n) = ΣF̂(2πk)。算 F̂（f̂ 的平移调制变换）：F̂(2πk) = ∫_−π^πf̂(ξ)e^iξxe^−i2πkξdξ·(1/…) = f(x−k)·(整理常数)。代回整理即得 sinc 重构公式。∎（「对频谱做 Poisson 求和」——桥的用法本身就在桥上。）

Nyquist 判据（采样率的定价表）。带宽 |ξ| ≤ Ω ⟹ 采样间隔 T ≤ π/Ω（采样率 ≥ 2Ω）。违反的代价 = 混叠：频谱以采样率周期折叠，超出部分「冒充」低频混进带内——且不可逆（信息真丢了）。生活实例：录像里车轮倒转（帧率 < 轮辐旋转的 Nyquist）、莫尔条纹、音频里刺耳的假低频。对策：采样前先「抗混叠低通滤波」——先扔掉采样不了的高频，再采样（工程上永远「先滤波后采样」）。

与第一章的血脉。重构核 sinc = 矩形的变换；sinc 在整数点为零的性质（sin πn = 0）正是「插值格」的来源——sinc 扮演的正是 Dirichlet 核在圆周上的角色：把采样值「托」回连续信号。p121 实验真跑重构与混叠对拍——「带限 = 可采样」的完整故事将在 4.3 展开。

第四章 经典核心定理：插值与采样4.3 带限信号与重构

★★★ 定义（带限空间）。B_Ω = {f ∈ L²(ℝ) : supp f̂ ⊆ [−Ω,Ω]}。由 Plancherel，B_Ω 是 L² 的闭子空间（频域关窗 ⟹ 时域的闭条件），且与 L²[−Ω,Ω] 等距同构。

采样定理的正交基读法（比公式更深的一层）。在 B_π 中，函数族 {sinc(x−n)}_n∈ℤ（sinc(x) = sin πx/(πx)）满足：① 两两正交（频域看：sinĉ = 1_[−π,π]，两个平移的乘积积分 = 频域两个错位矩形的重叠 = 0）；② 完备（f 与所有 sinc(x−n) 正交 ⟹ 所有采样为零 ⟹ f = 0——反演 + Poisson）。于是采样定理就是「正交基展开」：

带限 ⟹ 整函数（Paley–Wiener 门槛）。f(x) = (1/2π)∫_−Ω^Ωf̂(ξ)e^iξxdξ 对复 x 也收敛（积分域有限）⟹ f 延拓为整函数。推论：带限信号由任何一段区间上的值唯一决定（整函数的零点孤立）——「采样格」远不是唯一的恢复手段，但它是最便宜、最均匀的。

混叠的精确账目（为 4.4 预热）。采样率不足时，采样列 {f(n)} 实际属于的「最小带限函数」是 g：ĝ(ξ) = Σ_kf̂(ξ+2πk)（频谱按 2π 折叠叠加）。重构公式给出的是 g 不是 f——「折叠叠加」就是混叠的数学名字。p121 实验：Ω = 2π 时真信号在采样格上几乎隐形（f(n) = 0 对 n ≠ 0），伪重构给出完全错误的波形。「采样不够，信息不是变少，而是变假」——比缺失更危险。

第四章 经典核心定理：插值与采样4.4 周期化：圆周与直线的往返

★★★ 往返班车的时刻表（把前两页焊成一张图）。

证明（各一行）。周期化的系数：ĉ_F(n) = (1/2π)∫₀^2πΣ_kf(x+2πk)e^−inxdx = (1/2π)∫_ℝf(u)e^−inudu = f̂(n)/(2π)（区间并成直线——Fubini）。采样的频谱：伪重构 g = Σf(n)sinc 的频谱逐段算（4.2 的正交基读法）或直接用 Poisson 求和于 F(ξ) = f̂(ξ)e^iξx。∎

这张对偶图回答的三个问题。① 为什么采样定理的步长是 2π？——频域窗口 [−π,π] 的宽度决定周期化时相邻拷贝不重叠（无混叠）；② 为什么混叠是「叠加」？——时域采样 ⟹ 频域周期化：相邻拷贝相加，重叠区振幅叠加（p121 实测 Ω = 2π 时拷贝恰好两两相接）；③ Poisson 求和在图里的位置？——把「系数 = 频谱采样」这句话在 x = 0（或任意点）取值：它是班车的检票口。

高维与格（4.12 的预告）。ℝ^d 上把 2πℤ 换成任意格 Λ，对偶格 Λ* 登场：时域按 Λ 周期化 ⟺ 频域按 Λ* 采样——「对偶格」是晶体学（X 射线衍射：实空间晶格 ↔ 倒易空间斑点）的数学心脏。同一张班车图，售票到任意维度。

第四章 经典核心定理：插值与采样4.5 Riesz–Thorin 插值定理

★★★★ 定理（Riesz–Thorin 插值）。T 是线性算子（L^p 简单函数 → L^q），若 ‖Tf‖_q1 ≤ M₁‖f‖_p1 且 ‖Tf‖_q2 ≤ M₂‖f‖_p2，则对 1/p = t/p₁ + (1−t)/p₂、1/q = t/q₁ + (1−t)/q₂（0 < t < 1）：

证明一瞥（Hadamard 三线定理，三行）。简函数 f 上考虑 F(z) = ∫Tf_z·g 等「解析插入」：构造 F(z) = ∫(T(f^pz/p_z)·|g|^q′z/q′_z)，它在带形 0 ≤ Re z ≤ 1 解析有界；边界 z = 0、z = 1 处 |F| ≤ M₂‖f‖_p2‖g‖、M₁‖f‖_p1‖g‖（两个端点界）；三线定理（|F| 在带形的对数凸壳内取界）给出中间线的估计，取 z = t。∎「两个边界控制 ⟹ 整个带形控制」——最大模原理的凸性版本。

为什么它是「生产力」？（三连发）① 零成本族谱：证明两个端点，白拿整条线——比如 Fourier 变换在 (1,1) 平凡（‖f̂‖_∞ ≤ ‖f‖₁）与 (2,2)（Plancherel）有界 ⟹ ‖f̂‖_q ≤ ‖f‖_p 对全部 1 ≤ p ≤ 2 成立（Hausdorff–Young，4.6）；② 估计的「汇率兑换」：把 L² 估计兑换成 L^p 估计，适配不同问题的需求（第五章乘子、第六章 Carleson 的骨架）；③ 常数可控：M₁^t M₂^1−t 明确给出常数对参数的依赖——「定量而不只是定性」。

边界与变体（预告）。端点 p = 1 与 p = ∞ 之间不能插「强(1,1)」（Fourier 变换在 p > 2 无界——Hausdorff–Young 的反向失效）；需要「弱端点」时换 Marcinkiewicz 插值（次线性 + 弱型界，第五章极大函数的正戏）。记住分工：光滑端点用 Riesz–Thorin（复值、常数优），实变端点用 Marcinkiewicz（普适、常数糙）。