10.2 調和分析的視野#

本章導言#

本書第 1–9 章搭建的機器——測度、積分、 \(L^p\) 、Hilbert 空間、Fubini——最初都是為了回答別的問題（積分基礎、機率公理）。本節換一個視角：它們在調和分析（研究函數如何分解為基本振盪）中如何協同工作。調和分析是傅立葉級數（1807）的後裔，也是二十世紀測度論最大的買家：Riesz–Fischer（1907）因傅立葉級數而生，Lebesgue 微分定理（7.1）的極大算子方法成為本領域的引擎，Plancherel 定理（1913）把 Parseval 恆等式推廣到 Fourier 變換。本節鳥瞰這條主線，作為通往現代分析的橋。

歷史：一場持續兩百年的懸案#

年代	人物	事件
1807	Fourier	熱傳導論文：任何函數皆可三角展開
1829	Dirichlet	分段單調函數的收斂判準
1876	du Bois-Reymond	連續函數的傅立葉級數在某點發散
1907	Riesz–Fischer	\(L^2\) 收斂理論完成（6.2）
1913	Plancherel	Fourier 變換的 Parseval 定理
1930s	Kolmogorov	\(L^1\) 函數的傅立葉級數可 a.e. 發散
1930s–50s	Zygmund, Calderón	奇異積分與實變方法
1960s	Carleson	\(L^2\) 傅立葉級數 a.e. 收斂（1966）

Carleson 定理（1966，後獲 Abel 獎）是本節的壓軸故事：du Bois-Reymond 1876 年的反例之後，人們猜測「a.e. 收斂」對 \(L^2\) 也不可能；Kolmogorov 1926 年甚至造出 \(L^1\) 函數其傅立葉級數處處發散。Carleson 用無與倫比的技術證明 \(L^2\) 中 a.e. 收斂竟成立——證明的核心工具正是調和分析自家的極大算子方法（7.1 的 Lebesgue 微分定理範式）的極限強化。十九世紀的病態，二十世紀用測度論收編。

L2 傅立葉理論：Riesz–Fischer 的果實#

定理 10.2.1（ \(L^2\) 理論）： \(\{e^{inx}\}_{n \in \mathbb{Z}}\) （除以 \(\sqrt{2\pi}\) ）是 \(L^2[-\pi, \pi]\) 的完備正交規範系。因此（6.3 的 Bessel/Parseval）：

\[ f = \sum_{n \in \mathbb{Z}} \hat f(n) e^{inx} \quad (L^2 \text{ 收斂}), \qquad \sum_n |\hat f(n)|^2 = \frac{1}{2\pi} \int |f|^2\, dx. \]

\(\hat f(n) = \frac{1}{2\pi}\int f e^{-inx}dx\) 是 Fourier 係數。** \(L^2\) 上的傅立葉分析就是 Hilbert 幾何**（6.3）：係數 = 正交座標，Parseval = 勾股定理，卷積 = 對角化的乘法運算。

定理 10.2.2（Plancherel, 1913）：Fourier 變換 \(\hat f(\xi) = \int f(x) e^{-2\pi i x\xi}\, dx\) 先在 \(L^1 \cap L^2\) 上定義，可唯一延拓為 \(L^2(\mathbb{R}) \to L^2(\mathbb{R})\) 的酉同構：

\[ \|\hat f\|_2 = \|f\|_2, \qquad \int f \overline{g} = \int \hat f\, \overline{\hat g}\, d\xi. \]

證明思想： \(L^1 \cap L^2\) 在 \(L^2\) 稠密（6.2 稠密性）；對這個稠密類直接驗證 Parseval 型恆等式（把 \(|f|^2\) 寫成雙重積分、用 Fubini 8.2 交換、對內層用 Gauss 核正規化），然後用稠密性延拓酉同構到全 \(L^2\) 。 \(\blacksquare\)

Plancherel 定理的結構與 Riesz–Fischer 一模一樣：稠密類上顯式驗證 + 完備性延拓。本書 6.2 的投資在此全額兌現：沒有 \(L^2\) 完備性，「Fourier 變換在 \(L^2\) 上有定義」這句話都是非法的。

極大算子：Lebesgue 微分定理的帝國#

7.1 的 Lebesgue 微分定理用 Hardy–Littlewood 極大函數

\[ Mf(x) = \sup_{r > 0} \frac{1}{2r} \int_{x-r}^{x+r} |f(t)|\, dt \]

與弱 \((1,1)\) 估計 \(m(\{Mf > \lambda\}) \le \frac{C}{\lambda}\|f\|_1\) 證成。這個「極大算子」範式在二十世紀成為調和分析的心臟：

算子	弱型/強型估計	用途
Hardy–Littlewood \(M\)	弱 \((1,1)\) 、 \((p,p)\)	微分定理、覆蓋引理
Hilbert 變換 \(H\)	\((p,p)\) 、 \(L^2\) 酉	共軛函數、解析訊號
Riesz 變換 \(R_j\)	\((p,p)\)	奇異積分、Calderón–Zygmund
極大傅立葉部分和	\(L^2\) a.e.（Carleson）	收斂問題
Littlewood–Paley \(g\)	\((p,p)\)	乘子理論、Sobolev 空間

Calderón–Zygmund 理論（1950s）把「奇異積分」（核 \(\sim \frac{1}{|x|^n}\) 型，主值積分）的 \(L^p\) 有界性系統化，其證明的骨架是：Calderón–Zygmund 分解（用二進方塊把函數分解為「好部分 + 壞部分」）+ 弱 \((1,1)\) + 插值定理（Marcinkiewicz 插值：弱 \((1,1)\) + 弱 \((\infty,\infty)\) ⟹ \((p,p)\) ）。插值定理證明時用的正是 Chebyshev 不等式（5.1）的層洋蔥技巧（layer cake）。實變工具箱（第 5、7 章）在這裡全部上場。

例題#

例題 10.2.1（弱 \((1,1)\) 估計的核心計算）：證明 \(\mathbb{R}\) 上 \(m(\{ Mf > \lambda \}) \le \frac{3}{\lambda} \|f\|_1\) （Vitali 覆蓋版本的常數）。

解：對每個 \(x \in \{Mf > \lambda\}\) 取區間 \(I_x \ni x\) 使 \(\int_{I_x} |f| > \lambda\, |I_x|\) 。從族 \(\{I_x\}\) 抽不交子族 \(\{I_k\}\) 使 \(\bigcup_x I_x \subseteq \bigcup_k 3 I_k\) （Vitali 覆蓋引理的 \(3r\) 版本：貪心選最長者、剔除相交者）。則

\[ m(\{Mf > \lambda\}) \le \sum_k m(3I_k) = 3 \sum_k m(I_k) \le \frac{3}{\lambda} \sum_k \int_{I_k} |f| \le \frac{3\|f\|_1}{\lambda}. \]

最後一步用不交性。 \(\blacksquare\)

這個計算的全部測度論裝備：外測度的次可加性（4.2）、覆蓋與測度的關係、可數性。注意「抽不交子族」在可數無限族上需要選擇與極限論證（Vitali 覆蓋引理的證明本身用遞歸構造 + 上確界），是 4.2 技術的延伸演練。

例題 10.2.2（層洋蔥與插值）：證明對非負 \(f\) ： \(\int f^p\, dm = p \int_0^\infty \lambda^{p-1} m(\{f > \lambda\})\, d\lambda\) 。

解： \(f(x)^p = \int_0^{f(x)} p\lambda^{p-1} d\lambda = \int_0^\infty p\lambda^{p-1} \chi_{\{f > \lambda\}}(x)\, d\lambda\) 。用 Tonelli（8.2，非負可交換）：

\[ \int f^p = \int_0^\infty p\lambda^{p-1} \left( \int \chi_{\{f>\lambda\}}\, dm \right) d\lambda = p\int_0^\infty \lambda^{p-1} m(\{f > \lambda\})\, d\lambda. \qquad \blacksquare \]

層洋蔥公式把 \(L^p\) 範數化為水平集測度的積分——「範數」與「分佈函數」互通。這在插值定理、機率論（分位數與動差）、以及 Fourier 分析的 Hausdorff–Young 型估計中是基本操作。注意它同時用到了 Tonelli（非負交換）與 Lebesgue 積分允許無窮值的自由（5.1）。

從傅立葉級數到相空間#

現代調和分析的視野擴展為相位空間分析：

小波分析（1980s，Morlet、Meyer、Daubechies）：時頻局域化的分解，正交小波基的構造用 \(L^2\) 的正交理論（6.3）與多重解析。
Littlewood–Paley 理論：把函數按頻段二進分解，Sobolev 範數（10.1）的頻譜刻畫 \(\|u\|_{H^s} \simeq \| (1 + |\xi|^2)^{s/2} \hat u \|_2\) ——調和分析成為 Sobolev 空間的顯微鏡。
限制性定理（Stein–Tomas 1970s）：Fourier 變換在流形上的限制， \(L^p\) 理論的幾何化。
多線性理論與解耦（1990s–2020s）：PDE 的波映射問題、加權估計（ \(A_2\) 定理，Buckley 1993、Hytönen 2012）——權重理論直接是「測度密度的 R–N 導數」理論（8.3）！

** \(A_2\) 定理的例子值得一提：加權估計研究 \(L^2(w) = L^2(w\,dm)\) 上的 Hilbert 變換， \(w\) 是權重（R–N 密度！）。最優常數問題（Hytönen 2012 解決 \(A_2\) 猜想）是「兩個測度之間的關係」的最精密刻畫——Radon–Nikodym 導數在 2012 年還在生產 Fields 級別的數學**。

卷積理論：Fubini 的第二份紅利#

卷積在 8.2 已作為 Fubini 應用登場，本節補足其調和分析定位：

定理 10.2.3： \(f, g \in L^1(\mathbb{R})\) 則 \(f * g \in L^1\) 且 \(\|f*g\|_1 \le \|f\|_1\|g\|_1\) （Young 不等式 \(p=1\) 版）；且 Fourier 變換把卷積變乘法：

\[ \widehat{f * g}(\xi) = \hat f(\xi)\, \hat g(\xi). \]

證明思想：可積性由 Tonelli/Fubini（8.2 定理 8.2.3 的 \(p=1\) 情形）。變換恆等式由 Fubini 交換積分：

\[ \widehat{f*g}(\xi) = \iint f(x-y)g(y) e^{-2\pi i x\xi}\, dy\, dx = \int g(y) e^{-2\pi i y\xi} \left( \int f(x-y) e^{-2\pi i (x-y)\xi} dx \right) dy = \hat f(\xi) \hat g(\xi). \]

\(\blacksquare\)

「卷積 = 乘法」是傅立葉分析的存在理由：微分方程（導數變多項式乘法）、濾波（頻域選通）、機率（和的分佈 = 分佈的卷積，特徵函數變乘積）全部靠這條恆等式。而它的每一行證明——Fubini 交換、平移不變性（4.2 的測度平移不變）、可積性（Young/Hölder 6.1）——都是前面章節的直接調用。調和分析因此是本書「理論積累 → 應用爆發」模式的最佳展示場。

與其他章節的關聯#

承 6.2、6.3： \(L^2\) 完備與正交理論是傅立葉分析的數學載體；Plancherel = Parseval 的無窮區間版。
承 7.1：Lebesgue 微分定理是極大算子範式的原型；Vitali 覆蓋引理是調和分析的基本引理。
承 8.2：Plancherel 與卷積理論的證明靠 Fubini。
承 5.1、8.2：層洋蔥公式 = Tonelli 的應用。
承 10.1：Sobolev 空間的正則性由頻譜方法（乘子）研究， \(H^s\) 範數的 Fourier 刻畫把 10.1 與本節縫合。
機率論：Wiener 測度下的隨機傅立葉級數、高斯解析性、隨機矩陣的譜分佈——調和分析與機率在現代高度融合。

本節要點#

\(L^2\) 傅立葉理論 = Hilbert 幾何；Riesz–Fischer 是其存在前提。
Plancherel 定理：Fourier 變換是 \(L^2\) 酉同構，證明範式 = 稠密類 + 完備性延拓。
極大算子與 Calderón–Zygmund 理論把「實變方法」變成調和分析的主引擎。
層洋蔥公式（Tonelli）與插值定理是範數與分佈函數之間的雙向門。
從 Carleson 定理到 \(A_2\) 定理，調和分析持續把測度論工具推向極限——它們是同一條長河的上下游。