跳轉到

3.1 Bessel 不等式與 Parseval 定理#

本章導言#

第 2 章的收斂理論是「逐點」的：一個點一個點地檢查。本章換一個強大的角度：能量。函數 \(f\) 在 \([-\pi, \pi]\) 上的「總能量」是 \(\int |f|^2 dx\) ；傅立葉係數 \(c_n\) 的模平方是每個頻率成分攜帶的能量。Bessel 不等式說：各頻率能量之和 \(\le\) 總能量；Parseval 定理說：對夠好的 \(f\) ，兩者相等——能量守恆。這個觀點把傅立葉分析變成幾何（投影與畢氏定理），把收斂變成能量誤差趨零（ \(L^2\) 收斂），並為壓縮（丟掉小係數、誤差可控）提供理論地基。本節是從 19 世紀的計算數學走向 20 世紀 Hilbert 空間（10.1 節）的樞紐。

能量觀點的建立#

設 \(f \in L^2[-\pi, \pi]\) （ \(f^2\) 可積），複係數 \(c_n = \frac{1}{2\pi}\int_{-\pi}^{\pi}f e^{-inx}dx\) 。第 \(N\) 個部分和 \(S_N(x) = \sum_{|n|\le N}c_n e^{inx}\) 的均方誤差為

\[ E_N = \frac{1}{2\pi}\int_{-\pi}^{\pi}\left|f(x) - S_N(x)\right|^2 dx. \]

最佳逼近定理：在所有「 \(N\) 項三角多項式」中，取係數為傅立葉係數時 \(E_N\) 最小。證明：設 \(T_N = \sum_{|n|\le N} d_n e^{inx}\) 為任意候選，展開平方（注意正交性使交叉項全消）：

\[ \frac{1}{2\pi}\int|f - T_N|^2 = \frac{1}{2\pi}\int|f|^2 - \sum_{|n|\le N}|d_n|^2 + 2\mathrm{Re}\sum_{|n|\le N} d_n\overline{\left(c_n - d_n\right)}\cdot(\text{整理後}) = \frac{1}{2\pi}\int|f|^2 - \sum|d_n|^2 + \sum_{|n|\le N}|c_n - d_n|^2. \]

最後一式非負、且在 \(d_n = c_n\) 時為零。故最小值為

\[ E_N^{\min} = \frac{1}{2\pi}\int|f|^2 - \sum_{|n|\le N}|c_n|^2. \qquad\blacksquare \]

這個公式本身就是 Bessel 不等式的來源： \(E_N^{\min} \ge 0\) 立即給出

\[ \sum_{n=-\infty}^{\infty}|c_n|^2 \;\le\; \frac{1}{2\pi}\int_{-\pi}^{\pi}|f(x)|^2\,dx. \]

幾何解讀：誤差是「向量減去投影」的長度平方 = 總長平方 − 投影長平方和 ≥ 0——這就是廣義畢氏定理。Bessel 不等式沒有任何玄妙，它只是「投影長度不超過原長」。

Parseval 定理：等號何時成立#

定理（Parseval，1806 年 Marc-Antoine Parseval 首次以不等式形式提出；等式形式的現代證明歸於 Fatou 與 Riesz–Fischer，1907）：若 \(f \in L^2[-\pi, \pi]\) ，則

\[ \boxed{\;\sum_{n=-\infty}^{\infty}|c_n|^2 = \frac{1}{2\pi}\int_{-\pi}^{\pi}|f(x)|^2\,dx\;} \]

換言之 \(E_N^{\min} \to 0\) ：**傅立葉部分和在 \(L^2\) 意義下收斂到 \(f\) **。實係數版本的等價形式： \(\frac{a_0^2}{2} + \sum_{n\ge1}(a_n^2 + b_n^2) = \frac{1}{\pi}\int_{-\pi}^{\pi}f^2 dx\) 。

證明思想（不給全文，給骨架）：難點在於 \(E_N^{\min}\ge 0\) 只給不等式；要證等號，需證「三角多項式在 \(L^2\) 中稠密」——任何 \(L^2\) 函數都能被三角多項式以任意小的均方誤差逼近。路線有二：（1）先證連續函數稠密（Stone–Weierstrass：週期連續函數可用三角多項式一致逼近），再證連續函數在 \(L^2\) 中稠密（對連續函數 \(g\) ，可令其均方誤差小——因為 \(g\) 有界， \(L^2\) 誤差由一致誤差控制）；（2）Fejér 定理（3.3 節）直接給出 Cesàro 平均的一致收斂，同樣完成稠密性。兩條路殊途同歸：稠密性 \(\Rightarrow\) 誤差下限為零 \(\Rightarrow\) Parseval 等式。

歷史註腳：Parseval 是法國業餘數學家（曾因政治原因被通緝逃亡），1799 年在論文中寫下「和的平方的積分 \(\le\) 各項平方積分之和」型的不等式，適用對象極窄；等式定理的現代形式是 20 世紀的產物。定理名稱沿用 Parseval 是數學史的常見「冠名偏移」——名字常屬於第一個模糊看到的人，而非第一個證清楚的人。

兩大推論：唯一性與 Riesz–Fischer#

推論一（唯一性）：若 \(f\in L^2\) 且所有 \(c_n = 0\) ，則 \(f = 0\) （ \(L^2\) 意義下，即幾乎處處）。因為 Parseval 給 \(\frac{1}{2\pi}\int|f|^2 = 0\) 。傅立葉係數完全決定函數——這是「頻域是完整表示」的最終法理依據，6.1 節取樣定理是它在帶限世界的化身。

推論二（Riesz–Fischer 定理，1907）：反方向也通——若數列 \(\{c_n\}\) 滿足 \(\sum|c_n|^2 < \infty\) ，則存在 \(f\in L^2\) 以 \(\{c_n\}\) 為傅立葉係數。兩個定理合起來： \(L^2\) 函數與平方可和數列之間是一一對應的等距同構（ \(\|f\|_2 = \sqrt{\sum|c_n|^2}\cdot\sqrt{2\pi}\) ，Parseval 就是等距性）。這個「函數空間 \(\cong\) 數列空間」的宣言，宣告了 Hilbert 空間理論的誕生——1907 年 Fischer 與 Riesz 各自獨立發表，10.1 節將展開。

一個具體例題#

例題 3.1.1：用 Parseval 定理求級數和 \(\displaystyle\sum_{n=1}^{\infty}\frac{1}{n^2}\) 與 \(\displaystyle\sum_{n=1}^{\infty}\frac{1}{(2n-1)^2}\) 。

解：取 \(f(x) = x\) （ \(-\pi < x < \pi\) ），由例題 1.3.1： \(a_n = 0\) 、 \(b_n = \frac{2(-1)^{n+1}}{n}\) 。Parseval（實形式）：

\[ \frac{a_0^2}{2} + \sum_{n=1}^{\infty}(a_n^2 + b_n^2) = \frac{1}{\pi}\int_{-\pi}^{\pi}x^2\,dx = \frac{2\pi^2}{3}. \]

左邊 \(= \sum \frac{4}{n^2}\) ，故 \(\sum\frac{1}{n^2} = \frac{\pi^2}{6}\) ——Basel 問題（Euler 1734 年以完全不同的方法解出；Parseval 是 20 世紀最省力的解法）。

再看奇數部分：取方波 \(g(x) = \mathrm{sgn}(\sin x)\) ， \(b_n = \frac{4}{n\pi}\) （僅奇數 \(n\) ）。Parseval：

\[ \sum_{n=1}^{\infty}b_n^2 = \frac{16}{\pi^2}\sum_{k=0}^{\infty}\frac{1}{(2k+1)^2} = \frac{1}{\pi}\int_{-\pi}^{\pi}1\,dx = 2 \;\Rightarrow\; \sum_{k=0}^{\infty}\frac{1}{(2k+1)^2} = \frac{\pi^2}{8}. \]

交叉驗證： \(\frac{\pi^2}{8} + \frac{1}{4}\cdot\frac{\pi^2}{6} = \frac{\pi^2}{8} + \frac{\pi^2}{24} = \frac{4\pi^2}{24} = \frac{\pi^2}{6}\) ✓（奇數平方和 + 偶數平方和 = 全體平方和）。兩個經典級數和，由兩個初等函數的「能量守恆」輕鬆讀出——這就是 Parseval 的威力：把無窮級數求和變成積分計算。

歷史啟示#

  • 換度量即換命運：同一個級數，逐點收斂有 Gibbs 現象與發散反例（2.2–2.3 節）， \(L^2\) 收斂卻無條件成立（ \(f\in L^2\) ）。度量選得好，定理就乾淨。
  • 不等式先於等式：Bessel（1828，天文學家 Friedrich Bessel 在研究 Kepler 問題時得到）→ Parseval 不等式 → 等式。數學的常規次序：先建立單向控制，再尋找等號條件。
  • 能量守恆是物理直觀的數學化：時域總能量 = 頻域各頻率能量之和——沒有損耗、沒有遺漏。這條「會計恆等式」是訊號處理、量子力學（機率守恆）共同的金科玉律。

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

  • 1.3 節：本節的一切依賴正交性；完備性在此以 Parseval 形式兌現。
  • 2.2 節：Dirichlet 定理（逐點）與 Parseval（ \(L^2\) ）各管一域，互不取代；Carleson 定理（1966）是兩者的深刻合流。
  • 3.2 節： \(L^2\) 收斂不加點上的控制；一致收斂理論補上。
  • 3.3 節：Fejér 定理是 Parseval 等式證明的實用引擎。
  • 4.2 節：傅立葉轉換的 Plancherel 定理是 Parseval 的連續版（ \(\int|f|^2 = \frac{1}{2\pi}\int|\hat{f}|^2\) ）。
  • 6.2–6.3 節：DFT 的能量守恆用於頻譜功率計算；FFT 誤差分析以 Parseval 為界。
  • 10.1 節：Hilbert 空間公理體系把本節升格為抽象譜理論。
  • 10.2 節：壓縮感知的「少量係數重建」以能量集中度為前提。

練習#

  1. 設 \(f(x) = x^2\) （ \(-\pi<x<\pi\) ），級數為 \(\frac{\pi^2}{3} + 4\sum\frac{(-1)^n}{n^2}\cos nx\) （練習 1.3-2）。用 Parseval 證明 \(\sum_{n=1}^{\infty}\frac{1}{n^4} = \frac{\pi^4}{90}\) 。
  2. 證明：若 \(f\) 實值，則 \(\sum_{n\in\mathbb{Z}} c_n\overline{c_{n+k}}\) 的 Parseval 型推廣等於 \(\frac{1}{2\pi}\int f(x)f(x-k\,\cdot)\cdots\) （相關函數的譜分解；至少驗證 \(k=0\) 情形即 Parseval 本身）。
  3. 用 Bessel 不等式證明：對 \(f\in L^2\) ， \(|c_n| \le \frac{1}{\sqrt{2\pi}}\|f\|_2\) ——係數有界但不一定趨於零快；對照 Riemann–Lebesgue（2.1 節）說明兩個結果的不同方向。
  4. 函數 \(f\) 的傅立葉係數為 \(c_n = \frac{1}{1+|n|}\) 。它可能是某個 \(L^2\) 函數的係數嗎？用 \(\sum\frac{1}{(1+|n|)^2}\) 的收斂性回答（Riesz–Fischer）。
  5. 思考題：MP3 壓縮丟棄「小係數」。用 Parseval 說明：若保留係數集 \(S\) ，恢復訊號的均方誤差恰為 \(\sum_{n\notin S}|c_n|^2\) 的常數倍——「挑對角」就是「控制誤差」。

進階研讀：能量觀點的五個深化場景#

場景一： \(L^2\) 收斂的「看不見」性質。 \(E_N \to 0\) 不排除個別點上 \(S_N(x_0)\) 發散（du Bois-Reymond 反例在 \(L^2\) 語言下依然合法！）。均方誤差像「總會計」：某點的災難若只佔零測度，會計上看不見。度量決定你看得見什麼——這句話是整個 20 世紀泛函分析的主旋律。

場景二：Plancherel 預告。對非週期函數（第 4 章），離散和 \(\sum|c_n|^2\) 變成積分 \(\frac{1}{2\pi}\int|\hat f(\omega)|^2d\omega\) 。Michel Plancherel（1885–1967） 1910 年證明了這個連續版本，使傅立葉轉換成為 \(L^2(\mathbb{R})\) 上的酉算子。讀者可先記住結論：週期/非週期、離散/連續四象限中，能量守恆四種寫法同構（見 6.2 節表格）。

場景三：訊號的功率譜。 \(|c_n|^2\) 稱為功率譜（periodogram）。週期訊號的功率集中在離散譜線；隨機訊號的功率譜是連續分布（Wiener–Khinchin 定理，7.1 節）。工程上「看頻譜定故障」（機械振動診斷、心電圖分析）的全部理論根基就是 Parseval——能量在哪個頻率，故障就在哪個部件。

場景四：Bessel 不等式的算子版本。對任何正交投影 \(P\) （如「保留低 \(N\) 頻率」）， \(\|Pf\|^2 \le \|f\|^2\) 。這在量子力學中變成：測量到某子空間的機率 \(\le\) 總機率 1。Bessel 不等式 1828 年在天文學誕生，1930 年代成為量子測量的數學脊椎——一條不等式橫跨天文、訊號、量子三界。

場景五：壓縮的理論上限。能量集中度決定壓縮率：若 \(f\) 的能量集中在前 \(K\) 個係數的 99%（如光滑訊號），則 \(K/N\) 的頻寬即可保留 99% 能量。反之，白雜訊能量均勻散布全譜，不可壓縮。「訊號 vs. 雜訊」的分界就是「能量集中 vs. 能量攤平」——10.2 節壓縮感知把這條直觀變成採樣定理。

補充：Bessel 的雙重遺產#

Friedrich Wilhelm Bessel（1784–1846） 職業是天文學家（Königsberg 天文台台長），1838 年首次測出恆星視差（61 Cygni），名留天文史。1824 年他研究行星攝動時系統化了一族函數（今日的 Bessel 函數 \(J_n\) ），並在 1828 年證明了本節不等式。同一個人的名字出現在：恆星視差、Bessel 函數、Bessel 不等式、Bessel 方程（9 章 Sturm–Liouville 特例）——19 世紀的「應用數學家」往往就是天文學家，因為天文是當時最需要高精度計算的科學。傅立葉分析早期動力（潮汐、行星）多半來自天文台，這個傳統一直延續到今日的引力波數據分析（波形的時頻表示，第 8 章）。

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

  • **均方誤差 \(E_N\) **： \(\frac{1}{2\pi}\int|f - S_N|^2\) ，能量意義的逼近誤差。
  • 最佳逼近定理：傅立葉部分和是 \(N\) 項三角多項式中的均方最佳。
  • Bessel 不等式： \(\sum|c_n|^2 \le \frac{1}{2\pi}\int|f|^2\) （投影 \(\le\) 原長）。
  • Parseval 定理：等式成立；等價於 \(L^2\) 收斂與完備性。
  • ** \(L^2\) 收斂**：均方誤差趨於零；能量/功率意義的收斂。
  • Riesz–Fischer 定理：平方可和數列 \(\leftrightarrow\) \(L^2\) 函數的等距對應。
  • 唯一性定理：係數全零 \(\Rightarrow\) 函數（a.e.）為零。
  • 功率譜 / periodogram： \(|c_n|^2\) 的分布圖。
  • Plancherel 定理：連續版的 Parseval（第 4 章）。
  • 稠密性：三角多項式在 \(L^2\) 中稠密——等式的引擎。

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

  • 1799：Parseval 提出不等式雛形。
  • 1824：Bessel 系統化 Bessel 函數。
  • 1828：Bessel 不等式。
  • 1902：Lebesgue 積分—— \(L^2\) 概念的嚴格地基。
  • 1907：Fischer 與 Riesz 獨立證明 Riesz–Fischer 定理；Hilbert 空間理論啟動。
  • 1910：Plancherel 定理（連續版）。
  • 1930s：von Neumann 的 Hilbert 空間公理化（10.1 節）。
  • 1966：Carleson 定理—— \(L^2\) 逐點收斂的最終答案。

深化問答三則#

問：Parseval 定理與 Dirichlet 定理矛盾嗎？一個說處處收斂（條件下），一個說均方收斂？ 答：不矛盾，是兩種收斂並存：對 Dirichlet 條件函數，逐點收斂成立（跳點取中值），同時 \(L^2\) 收斂成立；對僅 \(L^2\) 的函數，逐點收斂可能失敗（發散點集存在），但 \(L^2\) 收斂仍成立。定理各管一個度量，都對；Carleson（1966）證明 \(L^2\) 函數的逐點失敗點至多零測度——兩個世界的鴻溝比想像中窄。

問：為什麼 Parseval 叫「定理」而 Bessel 叫「不等式」？差的只是一個等號？ 答：等號就是完備性——它不是「Bessel 的加強版」這麼簡單，而是等價於「沒有遺漏的方向」，需要獨立證明（稠密性）。歷史上等式晚了整整一世紀才證成。名稱之別反映難度之別：不等式是幾何，等式是分析。

問：工程上如何「用」Parseval？ 答：三個用法。（1）算功率：頻譜儀讀數平方求和 = 時域均方值，不用回到時域；（2）控誤差：丟係數前先算丟掉的能量；（3）驗程式：FFT 實現的單元測試——輸入隨機訊號，檢查 \(\sum|x_k|^2 = \frac{1}{N}\sum|\hat x_k|^2\) 。數值計算中 Parseval 是免費的正確性檢查器。

（本節完）