3.2 正交基與 Parseval#

本章導言#

有限維空間選一組基，向量就變成座標。Hilbert 空間能否如法炮製？答案是肯定的——正交規範基不僅存在（可分情形），而且比普通基好得多：係數由內積直接讀出，能量按座標逐項相加（Parseval 等式）。本節講述正交基理論，以及它的歷史心臟——Fourier 級數的收斂之謎如何最終在 Hilbert 空間幾何中獲得圓滿。

正交規範基的定義與構造#

設 \(\{u_n\}_{n=1}^\infty \subset H\) ：

• 正交規範系（orthonormal system）： \(\langle u_m, u_n \rangle = \delta_{mn}\) ；
• 完備正交規範系（即正交規範基）：若 \(\langle x, u_n \rangle = 0\) 對一切 \(n\) 成立，則 \(x = 0\) （換言之，正交補為零）。

構造工具是 Gram–Schmidt 正交化（Schmidt 1907，Gram 1883 有限維）：由任何可數線性無關稠密集出發，逐次扣除先前分量，產生正交規範系。

存在性定理：可分 Hilbert 空間（含可數稠密集）必有可數正交規範基。證明：取可數稠密集，刪去可由先前元素逼近的冗餘項（保持線性無關），Gram–Schmidt 正交化，再驗證正交補為零（由稠密性）。

兩個基本空間的基：

• \(\ell^2\) ：標準基 \(e_n = (0, \ldots, 0, 1, 0, \ldots)\) （第 \(n\) 位為 1）；
• \(L^2[0, 2\pi]\) ： \(\left\{\frac{1}{\sqrt{2\pi}}, \frac{\cos nt}{\sqrt{\pi}}, \frac{\sin nt}{\sqrt{\pi}}\right\}_{n \ge 1}\) ——Fourier 基；
• \(L^2[-1, 1]\) ：正規化 Legendre 多項式 \(P_n(t) = \sqrt{\frac{2n+1}{2}} \cdot \frac{1}{2^n n!}\frac{d^n}{dt^n}(t^2-1)^n\) （Legendre 1780s；Rodrigues 公式 1816）；
• \(L^2(\mathbb{R})\) ：Hermite 函數 \(h_n(t) = c_n e^{-t^2/2} H_n(t)\) （Hermite 1864；物理學家稱諧振子波函數）。

不可分空間沒有可數基： \(\ell^2(I)\) （ \(I\) 不可數指標）的正交規範系必然不可數（ \(\|e_i - e_j\| = \sqrt2\) 的不可數分離族）。量子場論的 Fock 空間等不可分情形需要「非序列」的處理——這是可分性假設的邊界。

Fourier 係數與 Bessel 不等式#

給定正交規範系 \(\{u_n\}\) 與 \(x \in H\) ，定義 Fourier 係數 \(c_n = \langle x, u_n \rangle\) 。有限部分和 \(s_N = \sum_{n=1}^N c_n u_n\) 正是 \(x\) 在 \(M_N = \mathrm{span}\{u_1, \ldots, u_N\}\) 上的正交投影（投影定理，3.1 節），因此：

1. 最佳逼近： \(\|x - s_N\| = \min\{\|x - m\| : m \in M_N\}\) ；
2. 勾股： \(\|x\|^2 = \|x - s_N\|^2 + \sum_{n=1}^N |c_n|^2\) ，立即得

（Friedrich Bessel，1784–1846，天文學家；此不等式於 1828 年在位勢展開的背景下出現。）Bessel 不等式同時證明：部分和序列 \(\{s_N\}\) 是 Cauchy 列（尾平方和趨零），故永遠收斂到某個 \(s \in \overline{\mathrm{span}}\{u_n\}\) ——收斂不是問題，問題只是 \(s = x\) 與否。

Parseval 等式：能量守恆#

定理：設 \(\{u_n\}\) 為正交規範基，則對一切 \(x \in H\) ：

證明： \(\{u_n\}\) 完備 ⟹ 投影極限 \(s = x\) ⟹ 勾股式中 \(\|x - s\|^2 = 0\) 。反過來，若 Parseval 對一切 \(x\) 成立則基完備——Parseval 等式正是「座標化無損」的數學表述。

一般化（極化）：

歷史：Marc-Antoine Parseval des Chênes（馬克-安托萬·帕瑟瓦爾，1755–1836），法國數學家，1799 年在有限項級數的背景下寫下此恆等式的原型（且其五篇關於級數的論文僅兩篇倖存於法國科學院）。他把「平方和守恆」當作組合恆等式使用，完全不知道 Hilbert 空間為何物。八十年後 Hilbert 理論使它成為定理；今日它以能量守恆、Plancherel 定理（Fourier 變換版，1910）、單位算子分解等各種面貌統治訊號處理與量子力學。

與 Riesz–Fischer 的會師：映射 \(x \mapsto (c_n)\) 是 \(H \to \ell^2\) 的酉同構（保內積雙射）——1.2 節的「函數即點」在此完成最終形態：**任何可分 Hilbert 空間都同構於 \(\ell^2\) **。空間的個性（是 \(L^2\) 還是 \(\ell^2\) 還是 Sobolev 空間）只體現在「哪個基自然」，幾何本體只有一個。

Fourier 級數之謎的百年史#

正交基理論的歷史重量，集中在「 \(L^2\) 中 Fourier 級數是否收斂」這一問題上：

敘事的教訓：「何種收斂」必須先問。逐點收斂（Dirichlet 局部成立、du Bois-Reymond 全域破產、Carleson 幾乎處處成立）是刁鑽的問題；均方收斂（ \(L^2\) ，Parseval）是無條件的——對一切 \(L^2\) 函數成立，證明只用了投影幾何兩頁紙。工程與計算（能量誤差準則）天然使用均方收斂，因此 Fourier 方法在實踐中「一直有效」。Carleson 定理（1966 年 Acta，被譽為二十世紀調和分析最深刻的定理之一）則是「逐點」路線的巔峰——兩條路線的難度相差一個數量級。

一個具體例題#

例題 3.2.1： \(f(t) = t\) （ \(0 \le t < 2\pi\) ，延拓為 \(2\pi\) 週期函數）。用 Parseval 等式計算 \(\sum_{n=1}^\infty \frac{1}{n^2}\) 。

解：由 1.2 節例題，Fourier 係數： \(a_0 = \pi\) （即常數分量 \(\frac{a_0}{2} = \frac{\pi}{2}\) ）， \(a_n = 0\) ， \(b_n = -\frac{2}{n}\) 。正交規範化： \(u_0 = \frac{1}{\sqrt{2\pi}}\) ， \(u_n^{(\sin)} = \frac{\sin nt}{\sqrt{\pi}}\) 。座標：

Parseval：

解出：

歷史點評：Euler 1734 年用超乎時代的插值技巧猜得此值（Basel 問題），但嚴格證明直到 19 世紀（Fourier 級數理論 + Parseval）才完備。本例是「用 Hilbert 幾何還原古典級數」的樣板：Parseval 把級數求和轉為能量計算——範數是可積分的（ \(\int t^2\,dt\) ），級數和就落下來了。同法可得 \(\sum \frac{1}{(2n-1)^2} = \frac{\pi^2}{8}\) 、 \(\sum \frac{1}{n^4} = \frac{\pi^4}{90}\) （取 \(t^2\) 或 \(t^4\) 的展開）。

歷史啟示#

• 基是「免費午餐」與「選擇負擔」的平衡：正交基把一切化為座標，但選哪個基決定了計算效率（Fourier 基對週期平移不變問題最優、小波基對局部奇異最優、特徵基對算子最優）。現代調和分析的核心工作之一就是為問題「定製基」。
• 收斂的分層歷史教會我們謙遜：從 Fourier（1807）的直覺到 Carleson（1966）的深刻，同一個級數的收斂問題跨越 159 年。教科書裡的 Parseval 定理兩行證明，背後是三代人的概念澄清。
• 抽象化的回報是「全域定理」：逐點收斂定理（Dirichlet、Carleson）都是局部的、帶正則性條件；均方收斂（Parseval）是全域的、無條件的。抽象 Hilbert 空間理論天然提供全域結論——這是泛函分析相較古典分析的結構性優勢。
• 同一座山的多條登頂路：Parseval = Plancherel = 酉算子保內積 = 特徵函數完備性。數學概念以不同名字在不同領域反覆出現，正是「結構」優先於「對象」的明證。

與其他章節及領域的關聯#

• 3.1 節：投影定理是本節一切證明的引擎；Bessel 不等式是投影勾股的無窮維版。
• 1.2 節： \(L^2 \cong \ell^2\) 同構在此獲得最終證明（座標化定理）。
• 3.3 節：Riesz 表示定理的證明將使用一維投影（一個向量的張成空間的垂足）。
• 7.1、7.2 節：緊自伴算子的特徵函數構成正交基——譜理論是「定製正交基」的極致形式（Hilbert 1906 的原始動機）。
• 10.1 節：Sobolev 空間 \(H^s\) 用 Fourier 係數定義（ \(\sum (1+n^2)^s |c_n|^2 < \infty\) ）——正交基座標是「光滑度計量器」。
• 10.2 節：量子力學中基 = 可觀測量的本徵態；測量 = 向基投影；疊加 = 座標展開。
• 訊號處理：DFT、FFT（Cooley–Tukey 1965）、小波（Mallat 1989、Daubechies 1988）都是正交基技術。
• 機率論：Karhunen–Loève 展開（KL 變換）= 協方差算子的特徵基展開。

練習#

1. 對 \(f(t) = t^2\) （ \([-\pi, \pi]\) ），求 Fourier 係數並用 Parseval 計算 \(\sum_{n=1}^\infty \frac{1}{n^4}\) 。
2. 證明 Bessel 不等式：先對有限 \(N\) 用勾股定理，再令 \(N \to \infty\) 。
3. 證明：正交規範系 \(\{u_n\}\) 完備 ⟺ Parseval 對一切 \(x\) 成立 ⟺ \(\overline{\mathrm{span}}\{u_n\} = H\) 。三個條件兩兩等價，寫出循環論證。
4. 在 \(\ell^2\) 中，取 \(\{e_{2n}\}\) （偶數指標單位向量）。求 \(x = e_1\) 到 \(\overline{\mathrm{span}}\{e_{2n}\}\) 的距離與最佳逼近元；說明為什麼此正交系不完備而 \(x\) 的座標序列滿足嚴格 Bessel 不等式。
5. 思考題：Carleson 定理（ \(L^2\) 中幾乎處處收斂）與 Parseval（ \(L^2\) 範數收斂）都成立。請解釋為什麼「幾乎處處收斂」不能由 Parseval 直接推出（提示：範數收斂允許「活動小凸塊」型的逐點擾動，見 2.1 節），這說明了逐點收斂為何需要 Carleson 的深刻技術。

進階研讀：正交基的五個深化場景#

場景一：酉算子與 Plancherel 定理。Fourier 變換 \(\hat f(\xi) = \frac{1}{\sqrt{2\pi}}\int e^{-i\xi t} f(t)\,dt\) 是 \(L^2(\mathbb{R}) \to L^2(\mathbb{R})\) 的酉算子： \(\|\hat f\|_2 = \|f\|_2\) （Plancherel 1910；對 \(L^1 \cap L^2\) 定義後延拓）。它把「微分」變成「乘以 \(i\xi\) 」——PDE 的譜方法、量子力學的動量表象，全部立足於此。Parseval 是酉性的點態版本。

場景二：小波——局部化的正交基。Fourier 基是全域的（ \(\sin nt\) 覆蓋全軸），定位訊號突變極差（Gibbs 現象，1898–99：跳躍處過衝約 9%）。小波 \(\psi_{j,k}(t) = 2^{j/2}\psi(2^j t - k)\) 用「伸縮 + 平移」構造時間—頻率同時局部化的正交基（Haar 1909 年的階梯函數是最早小波！Daubechies 1988 年緊支撐光滑小波完成現代理論）。Mallat 快速演算法（1989）使小波成為 JPEG2000 的引擎。基的選擇 = 信息壓縮的哲學。

場景三：特徵基與譜理論的先聲。對自伴緊算子 \(K\) （如積分算子），Hilbert 1906 證明其特徵函數構成（值域閉包的）正交基，且 \(Kx = \sum \lambda_n \langle x, u_n\rangle u_n\) 、 \(\lambda_n \to 0\) 。任何緊算子都被它的特徵基「對角化」——這把無窮維問題化為可數個標量方程，是 Fredholm 理論的幾何化（第 7 章主題）。選基的自由度，正好用來讓「最重要的算子」變對角。

場景四：Riesz 基與無條件收斂。比正交基更寬的「Riesz 基」： \(\{v_n\}\) 使 \(x = \sum a_n v_n\) 收斂且與某正交規範基等距等價（ \(\|\sum a_n v_n\| \asymp \| (a_n)\|_2\) ）。Babuška（1971）與 Lax–Milgram 的 PDE 逼近理論、有限元分析使用 Riesz 基語言；條件數 \(\kappa =\) 常數比，控制數值穩定性。正交性可以放寬，等價性不能——這是「基」概念的工程修訂版。

場景五：非正交展開與框架（frame）。Duffin–Schaeffer（1952）引入框架： \(\{f_n\}\) 滿足 \(A\|x\|^2 \le \sum |\langle x, f_n \rangle|^2 \le B\|x\|^2\) ——冗餘但穩定的表示系統（Bessel 上界與反 Bessel 下界）。框架不必線性無關（如 Gabor 系統、緊框架），卻允許魯棒重構（丟失係數仍可部分恢復）——訊號去噪、量子測量設計（POVM）的數學基礎。從「基」到「框架」的演變，體現了從「完美座標化」到「容錯座標化」的工程理性。

名詞速查表（本節出現的核心術語）#

• 正交規範系 / 基：兩兩正交且單位長 / 且正交補為零。
• Gram–Schmidt 正交化：由線性無關組構造正交規範組的算法。
• Fourier 係數： \(c_n = \langle x, u_n\rangle\) ，座標的內積讀出式。
• Bessel 不等式：座標平方和 ≤ 範數平方。
• Parseval 等式：座標平方和 = 範數平方（能量守恆）。
• Plancherel 定理：Fourier 變換保 \(L^2\) 範數。
• 酉同構：保內積的雙射；可分 Hilbert 空間皆同構於 \(\ell^2\) 。
• Gibbs 現象：Fourier 部分和在跳躍處的固有過衝。
• Riesz 基：與正交基等價（條件數有界）的基。
• 框架：帶上下界控制的冗餘表示系統。

年表速查（本節涉及的關鍵年份）#

• 1780s：Legendre 多項式；1809–16：Rodrigues 公式。
• 1799：Parseval 的平方和恆等式（原型）。
• 1807：Fourier 熱傳導論文與展開斷言。
• 1828：Bessel 不等式的天文學前身。
• 1829：Dirichlet 逐點收斂定理。
• 1864：Hermite 多項式。
• 1876：du Bois-Reymond 發散反例。
• 1898–99：Gibbs 現象（Michelson 觀測，Gibbs 解釋）。
• 1907：Riesz–Fischer 定理；Schmidt 正交化。
• 1910：Plancherel 定理。
• 1923：Kolmogorov 幾乎處處發散反例。
• 1952：Duffin–Schaeffer 框架。
• 1966 / 1968：Carleson / Hunt 幾乎處處收斂定理。
• 1988–89：Daubechies 小波；Mallat 快速演算法。

深化問答三則#

問：Parseval 等式和「能量守恆」到底什麼關係？ 答：若 \(f\) 是訊號， \(\|f\|^2 = \int |f|^2\) 是其總能量；Fourier 係數 \(c_n\) 是各頻率分量振幅， \(\sum |c_n|^2\) 是各頻率能量之和。Parseval 斷言：分解不改變總能量——正交分解是無損的。電路（功率譜）、量子力學（總機率 = 1）、統計學（方差分解： \(\mathrm{Var} = \sum\) 主成分方差），全都是同一恆等式的物理化妝。

問：既然任何可分 Hilbert 空間都同構於 \(\ell^2\) ，為何還要區分 \(L^2\) 、Sobolev 空間？ 答：同構只保存幾何，不保存額外結構： \(L^2\) 上的乘法、平移、微分這些運算在不同座標下形態迥異。Sobolev 空間 \(H^s\) 與 \(L^2\) 作為 Hilbert 空間同構（都是 \(\ell^2\) 帶不同權重基），但「微分算子」在其中一個是有界、另一個是無界——運算的有界性不是空間的幾何屬性，而是嵌入/內嵌結構的屬性。同構化簡了幾何，卻不能偷換問題。

問：學完本節，面對一個新的函數空間該怎麼辦？ 答：三步驟。第一，找（或構造）自然正交基：常微分特徵函數（Sturm–Liouville）、多項式系、或對角化「最自然的算子」。第二，用 Parseval 把範數變成座標權重和——光滑性、能量都變成係數衰減速度。第三，把原問題（逼近、方程、估計）翻成係數空間的問題。這正是 Hilbert 1906 年方法論的現代標準作業程序（SOP）。

（本節完）