跳轉到

2.2 Dirichlet 收斂定理 1829#

本章導言#

1829 年，Peter Gustav Lejeune Dirichlet（1805–1859） 在《Crelle 數學雜誌》發表論文〈關於三角級數的收斂性〉（Sur la convergence des séries trigonométriques），首次對傅立葉級數的收斂給出了嚴格且可用的充分條件。這篇論文是傅立葉級數理論從直觀走向嚴格的轉捩點，也是 19 世紀分析學的里程碑之一。本節將陳述並解釋 Dirichlet 定理、剖析其證明思想（局部化原理 + Dirichlet 判別法），並指出其條件的精確疆界——包括 Dirichlet 自己在論文末尾埋下的一個隱蔽漏洞（「單調」假設），它要到 1872 年 du Bois-Reymond 的反例才被補全。

Dirichlet 其人：傅立葉的普魯士傳人#

Dirichlet 1805 年生於 Düren（當時屬法國），在哥廷根受教於 Gauss，1822–1826 年間到巴黎，擔任法國元帥 Foy 的家教。他隨身帶著一本 Fourier 的《熱的解析理論》，幾乎翻爛，並由此走上分析之路。1825 年他向巴黎科學院提交了第一篇論文（數論方向），認識了 Fourier、Poisson 與 Legendre。1826 年返回德國，1828 年起在柏林任教授。1855 年他接替 Gauss 在哥廷根的教席，1859 年去世，年僅 54 歲。

Dirichlet 是「嚴格性」的化身。他反對 Schumacher 那種「結果好看就行」的風格，主張每一個極限、每一個等式都要有定義與證明。他的教學（柏林與哥廷根）塑造了整整一代德國數學家，Riemann 是他最著名的學生——Riemann 1854 年的哈伯萊演講（2.1 節）正是踩在 Dirichlet 的肩膀上。值得一提的是：函數的現代定義（「每一個 \(x\) 對應唯一一個 \(y\) 的任意規則」）通常歸功於 Dirichlet 1837 年的論文；他的「Dirichlet 函數」（有理數取 1、無理數取 0）正是用來示範這種「無公式函數」的極端案例。

定理陳述#

定理（Dirichlet 收斂定理，1829）：設 \(f\) 是以 \(2\pi\) 為週期的函數，滿足：

  1. \(f\) 在 \([-\pi, \pi]\) 分段連續（至多有限個跳躍與有限個極值）；
  2. 在間斷點處 \(f\) 有有限的左右極限。

則對每個 \(x\) ，傅立葉級數收斂，且

\[ \frac{a_0}{2} + \sum_{n=1}^{\infty}\left(a_n\cos nx + b_n\sin nx\right) = \begin{cases} f(x), & x \text{ 為連續點},\\[4pt] \dfrac{f(x^+) + f(x^-)}{2}, & x \text{ 為間斷點}. \end{cases} \]

三個立即的註解：（1）條件極弱：分段連續 + 有限個極值，涵蓋方波、鋸齒、折線、一切工程常用的訊號；（2）中點值規則自動內建：連續點收斂到函數值，跳躍點收斂到平均——Fourier 在 1807 年靠物理直觀寫下的規則，被證明是定理的一部分；（3）定理不聲稱一致收斂：在跳躍點附近收斂速率崩壞（2.3 節）。一般週期 \(2L\) 版本逐字同構，只需把 \(\cos nx, \sin nx\) 換成 \(\cos\frac{n\pi x}{L}, \sin\frac{n\pi x}{L}\) 。

證明思想一：Dirichlet 核與部分和公式#

由 1.3 節的係數公式，第 \(N\) 個部分和可以合併為單一積分：

\[ S_N(x) = \frac{a_0}{2} + \sum_{n=1}^{N}(a_n\cos nx + b_n\sin nx) = \frac{1}{2\pi}\int_{-\pi}^{\pi}f(t)\,D_N(x - t)\,dt, \]

其中 Dirichlet 核

\[ D_N(u) = \sum_{n=-N}^{N}e^{inu} = \frac{e^{i(N+1)u} - e^{-iNu}}{e^{iu}-1} = \frac{\sin\left(N + \frac12\right)u}{\sin\dfrac{u}{2}} \]

（末步用幾何級數求和）。 \(D_N\) 的兩個關鍵性質：（A） \(\int_{-\pi}^{\pi}D_N(u)\,du = 2\pi\) 對一切 \(N\) 成立（只有 \(n = 0\) 項有非零積分）；（B） \(D_N\) 在 \(u = 0\) 附近主瓣寬約 \(\frac{2\pi}{N}\) 、高 \(2N+1\) ，副瓣振盪。性質（A）讓我們可以把「常數 \(\frac{f(x^+)+f(x^-)}{2}\) 」寫進積分號裡，於是

\[ S_N(x) - \frac{f(x^+) + f(x^-)}{2} = \frac{1}{2\pi}\int_{0}^{\pi}\big[f(x - t) - f(x^-)\big]\,D_N(t)\,dt + \frac{1}{2\pi}\int_{0}^{\pi}\big[f(x + t) - f(x^+)\big]\,D_N(t)\,dt. \]

證明目標：兩個積分各趨於零。

證明思想二：局部化 + Dirichlet 判別法#

局部化原理： \(S_N(x)\) 的極限只依賴 \(f\) 在 \(x\) 的任意小鄰域內的值。證明：把 \([0,\pi]\) 拆成 \([0, \delta]\) 與 \([\delta, \pi]\) ；後段上 \(t \ge \delta\) 使 \(\sin(t/2) \ge \sin(\delta/2) > 0\) ，故 \(\frac{D_N(t)}{2\pi} = \frac{\sin((N+1/2)t)}{2\pi\sin(t/2)}\) 的分母有下界，分子是振盪函數——由 Dirichlet 判別法（ \(f(x\pm t) - f(x^{\pm})\) 的部分和有界 + 振幅單調遞減因子 \(\frac{1}{\sin(t/2)}\) 單調），該段積分 \(\to 0\) 。結論：距離超過 \(\delta\) 的函數值對極限毫無貢獻——傅立葉級數是「局部偵探」。

**近端 \([0, \delta]\) **：當 \(t \to 0^+\) ， \(f(x\pm t) - f(x^{\pm}) \to 0\) （右/左極限存在）；且 \(f\) 在小區間上有界。把積分寫成 \(\int_0^{\delta} g(t)\sin\left(N+\frac12\right)t\,dt\) 型（ \(g\) 可積、 \(g(0^+) = 0\) ），再用 Riemann–Lebesgue 引理的推廣（2.1 節模板：先證階梯、再逼近）得積分 \(\to 0\) 。 \(\blacksquare\)

證明的歷史定位：這是第一個把「核函數 + 判別法 + 逼近模板」三件套組裝起來的收斂證明。此後核函數成為傅立葉分析的顯學：Fejér 核（3.3 節）、Poisson 核、Dirichlet 核的 \(L^p\) 理論，都是同一血統。

Dirichlet 條件的隱蔽漏洞#

Dirichlet 的原始論文要求 \(f\) 「分段單調」。他寫道：這個條件可以放寬（他自己聲明是為了簡化）。放寬到什麼程度，成為之後半世紀的競賽：

  • Jordan 條件（1881）：Camille Jordan（1838–1922） 證明： \(f\) 有界變差（total variation 有限）即足夠——分段單調是它的特例。「有界變差」比「有限個極值」寬得多。
  • Dini 條件（1880）：Ulisse Dini（1845–1918） 給出另一種充分條件： \(\int_0^{\delta}\left|\frac{f(x+t) + f(x^-) - \cdots}{t}\right| dt < \infty\) （絕對可積的差商）。Dini 條件與 Jordan 條件互不包含，各有覆蓋面。
  • du Bois-Reymond 反例（1872）：存在連續函數，其傅立葉級數在某點發散！這證明「連續」本身遠不夠——Dirichlet 條件的「額外要求」（極值有限/有界變差）不是技術累贅，而是本質。連續函數可以粗糙到讓 Dirichlet 核的振盪無法平均掉。
  • Kolmogorov 反例（1926）：Andrey Kolmogorov（1903–1987） 構造了可積（ \(L^1\) ）函數，其傅立葉級數處處發散——在 \(L^1\) 世界裡，逐點收斂連一點都不保證。（有趣的是：1926 年他還構造過 \(L^2\) 處處發散的例子，後來 1966 年 Carleson 證明 \(L^2\) 函數的級數幾乎處處收斂——兩個結果共同劃定 \(L^1\) 與 \(L^2\) 的深淵。）

一個具體例題#

例題 2.2.1：方波 \(f(x) = \begin{cases}1, & 0< x <\pi\\ -1, & -\pi < x < 0\end{cases}\) （週期 \(2\pi\) ），級數為 \(\frac{4}{\pi}\sum_{k=0}^{\infty}\frac{\sin(2k+1)x}{2k+1}\) 。用 Dirichlet 定理給出每個 \(x\) 的收斂值，並解釋 \(x=0\) 、 \(x=\pm\pi\) 、 \(x = \pi/2\) 三個代表性位置。

解：

（1）驗證條件： \(f\) 在 \((-\pi, 0)\) 與 \((0, \pi)\) 上常數，在 \(x = 0, \pm\pi\) 跳躍（左右極限 \(\pm1\) 皆有限），單調——Dirichlet 條件全滿足，定理適用。

（2）**連續點 \(x = \pi/2\) **：定理說級數 \(= f(\pi/2) = 1\) 。數值驗證（2.1 節例題已算過）：部分和收斂於 1 ✓。

（3）**間斷點 \(x = 0\) **： \(f(0^+) = 1\) 、 \(f(0^-) = -1\) ，定理說級數 \(= \frac{1 + (-1)}{2} = 0\) 。直接驗證：每一項 \(\sin(0) = 0\) ，故 \(S_N(0) = 0\) 對一切 \(N\) ✓——級數「天生」收斂於中點值。

（4）**邊界 \(x = \pm\pi\) **：週期延拓使 \(x = \pi\) 與 \(x = -\pi\) 是同一點的兩種寫法；左右極限為 \(f(\pi^-) = 1\) 、 \(f(-\pi^+) = -1\) ，中點值 \(= 0\) 。直接驗證： \(\sin\big((2k+1)\pi\big) = 0\) ，故 \(S_N(\pi) = 0\) ✓。

（5）結論：收斂函數是

\[ \sum\text{的極限} = \mathrm{sgn}(\sin x)\cdot\begin{cases}1, & x \neq 0, \pm\pi\\ 0, & x = 0, \pm\pi\end{cases} \quad\text{即「方波 + 間斷點上歸零」}. \]

注意：改變 \(f\) 在有限個點上的值（例如令 \(f(0) = 100\) ），不改變任何係數（積分不受零測度點集影響），也不改變級數的收斂值（仍是中點值）。傅立葉級數「看不見」點上的值——它只看見區間上的行為。這個「點上無所謂」的性質，是 \(L^2\) 理論（3.1 節）與 Lebesgue 積分哲學的先聲。

歷史啟示#

  • 嚴格化不等於否定：Dirichlet 的定理證明了 Fourier 的大部分主張，同時劃出了它的疆界。好的嚴格化是「確證 + 定界」，不是「推翻」。
  • 條件不是裝飾：du Bois-Reymond 的反例（1872）花了 43 年才出現，證明 Dirichlet 增補的條件真的必要。定理條件的每一條都值得問「去掉會怎樣」——這個習慣是數學成熟度的標誌。
  • 中點值規則的哲學：間斷點上收斂到平均——數學給出的「民主解」。這不是缺陷而是結構：級數由積分係數構成，積分天生看不到單點。要表示「在單點上說了算」的訊號，需要的是別的工具（第 5 章的 \(\delta\) 分配）。

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

  • 2.1 節：Dirichlet 核與判別法在本節合體成完整定理。
  • 2.3 節：定理只談極限值；跳躍點附近的部分和行為（超調 9%）是 Gibbs 現象，本節完全不觸及——兩節合起來才是完整的收斂圖像。
  • 3.2 節：何時升級為一致收斂（ \(f\) 連續 + 週期 + \(C^1\) 型條件）。
  • 3.3 節：du Bois-Reymond 反例的「解藥」——Fejér 平均使一切連續函數的級數（平均意義）一致收斂。
  • 4.1 節：週期 \(\to\) 非週期的極限過渡，收斂理論平行地從級數轉到積分。
  • 6.1 節：取樣定理的「帶限函數由取樣值唯一決定」是本節「係數決定函數」的離散版。
  • 9.1 節：熱方程的級數解在 \(t > 0\) 立即光滑（ \(e^{-\alpha n^2 t}\) 鎮壓一切），Dirichlet 條件只在 \(t = 0\) 需要——PDE 的平滑效應繞過了收斂困難。

練習#

  1. 對鋸齒 \(f(x) = x\) （ \(-\pi<x<\pi\) 週期延拓）應用 Dirichlet 定理：指出所有間斷點與其收斂值，並驗證 \(x=\pi\) 處級數和為 0。
  2. \(f(x) = \cos^2 x\) ：不用任何積分，直接寫出其傅立葉級數（用積化和差），並用 Dirichlet 定理說明為何該級數處處收斂到 \(f\) 。歸納：「有限三角多項式」的傅立葉級數就是它自己。
  3. 週期 \(2L\) 版本：把 Dirichlet 定理改寫為 \(2L\) 週期形式，並對 \(f(x) = |x|\) （ \(-1 < x < 1\) ）求級數與 \(x = 0.5\) 處的收斂值。
  4. Dirichlet 判別法練習：證明 \(\sum_{n=1}^{\infty}\frac{\sin nx}{\sqrt{n}}\) 對所有 \(x\) 收斂（提示：例題 2.1.1 的部分和公式）。
  5. 思考題：構造一個在 \([-\pi,\pi]\) 上有 3 個跳躍、10 個極值的分段連續函數，逐一寫出 Dirichlet 定理預言的收斂值表。這個練習的目的是什麼（提示：定理是「逐點」的，檢查每個點）？

進階研讀：收斂疆界的深化場景#

場景一：收斂值函數的「修理」觀點。Dirichlet 定理的另一讀法：給定分段連續 \(f\) ，級數收斂到「把 \(f\) 在間斷點上改為中點值」的函數 \(\tilde{f}\) 。 \(\tilde{f}\) 與 \(f\) 只差有限個點，積分、能量（ \(L^2\) ）全同。工程意義：頻域表示天生不在乎單點取值；如果你的應用在乎（如顯示波形），就換度量（一致收斂 + 連續 \(f\) ）。

場景二：Carleson 定理（1966）——20 世紀的收成。Lennart Carleson（1928–2025） 證明：若 \(f \in L^2\) （如一切 \(f\) 平方可積），傅立葉級數幾乎處處收斂到 \(f\) 。1966 年的證明極難，Hunt（1968）推廣到 \(L^p\) （ \(p>1\) ）。這個定理宣判：du Bois-Reymond 式的發散點是「零測度稀有事件」——例外可以存在，但不能成片。比較三個時代的答案：1829（分段光滑：處處收斂）→ 1872（連續：可發散）→ 1966（ \(L^2\) ：幾乎處處收斂）——問題的措辭（處處 vs. 幾乎處處）決定難度的量級。

場景三：收斂速率的定量版。若 \(f\) 有界變差且在 \(x\) 附近滿足某 Hölder 條件，可證 \(|S_N(x) - f(x)| \le C\,\frac{\ln N}{N}\) （跳躍點附近）或 \(O(1/N)\) （光滑處）。對比 Fejér 平均的 \(O(1/N)\) （3.3 節）：Dirichlet 部分和在跳躍附近輸給 Fejér 平均——這也是實務上「平滑窗」勝過「硬截斷」的理論根據。

場景四：二維與多變數。矩形域上的雙重傅立葉級數 \(\sum_{m,n} c_{mn}e^{i(mx+ny)}\) 的收斂理論更微妙：方形部分和與球形部分和收斂條件不同（「越界超收斂」現象，Fefferman 1971 的單位圓盤問題是 20 世紀著名難題）。一維的秩序井然是例外而非通則——多維譜理論至今仍有未解之地。

場景五：計算機時代的 Dirichlet。數值上我們永遠只算 \(S_N\) 。Dirichlet 定理 + Gibbs 現象（2.3 節）+ 收斂速率估計合起來給出工程守則：（1）連續點上 \(N \gtrsim \frac{\ln N}{\varepsilon}\) 估誤差；（2）跳躍附近不要相信部分和的局部形狀；（3）要「好看」用 Fejér/加窗，要「精確逐點」遠離跳躍。定理 + 反例 + 速率 = 可用的數值學。

補充：Dirichlet 的另一面——解析數論的開山#

本節主角 Dirichlet 同時是解析數論的創始人：1837 年他用傅立葉分析的工具（特徵 character 的正交性！）證明了Dirichlet 定理：「在等差數列 \(a, a+d, a+2d, \ldots\) 中（ \(\gcd(a,d)=1\) ）含有無窮多個質數」。證明的核心是把 Dirichlet \(L\) -函數的極限行為用特徵正交性分離出來——與本節傅立葉級數的正交性是同一個數學動作。同一個人在 1829 年用正交性收斂三角級數、1837 年用正交性數質數——正交性是 19 世紀數學最強的瑞士刀，這個案例請讀者在 10.2 節（壓縮感知）再次回味。

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

  • 分段連續：至多有限個跳躍，每段連續且端點有單側極限。
  • 有界變差： \(\sum|f(x_{i+1}) - f(x_i)|\) 對一切分割有上界（Jordan 條件）。
  • 中點值： \(f(x^+)\) 與 \(f(x^-)\) 的平均；間斷點上的收斂值。
  • 局部化原理：極限只依賴 \(x\) 的任意小鄰域內的 \(f\) 。
  • Dini 條件：差商絕對可積；另一型收斂充分條件。
  • 幾乎處處（a.e.）：除去一個 Lebesgue 零測度集之外處處。
  • Carleson 定理： \(L^2\) 函數的傅立葉級數幾乎處處收斂（1966）。
  • Kolmogorov 反例： \(L^1\) 函數的傅立葉級數處處發散（1926）。
  • Dirichlet \(L\) -函數 / 特徵：數論中的週期函數，其正交性支撐質數分布定理。

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

  • 1805：Dirichlet 生於 Düren。
  • 1822–1826：Dirichlet 在巴黎，研讀 Fourier《熱的解析理論》。
  • 1829：Dirichlet 收斂定理發表於 Crelle 雜誌。
  • 1837：Dirichlet 函數定義；等差數列質數定理（解析數論誕生）。
  • 1854：Riemann 哈伯萊演講（承 Dirichlet 之教）。
  • 1855：Dirichlet 接替 Gauss 哥廷根教席。
  • 1859：Dirichlet 逝世；Riemann 繼任。
  • 1872：du Bois-Reymond 連續函數發散反例。
  • 1880–1881：Dini 條件與 Jordan 條件。
  • 1926：Kolmogorov \(L^1\) 處處發散反例。
  • 1966–1968：Carleson–Hunt 定理。

深化問答三則#

問：Dirichlet 定理是「最佳可能」的定理嗎？ 答：在「處處收斂 + 逐點描述收斂值」的框架內，它是最佳平衡：條件弱到涵蓋工程訊號，結論強到逐點給值。更強的結論（一致收斂）需要更強的條件（3.2 節）；更弱的條件（連續）注定失敗（1872 反例）。定理的優雅 = 條件與結論的貼合度，Dirichlet 定理是範本。

問：中點值收斂會造成什麼實際麻煩？ 答：在數位波形顯示上，跳躍點被畫成「半高」；在濾波器設計上，跳躍點附近的頻率響應有過渡帶。解法都是「意識到這是表示法的性質而非訊號的性質」：取樣時避開跳躍、或接受 9% Gibbs 超調（2.3 節）作為截斷的固定成本。

問：為什麼「有限個極值」這個條件後來被換成「有界變差」？ 答：因為「有限個極值」是計數性條件（多少個？），「有界變差」是總量性條件（振幅總和多少？）。後者允許無窮多個小極值（如 \(x\sin\frac{1}{x}\) 型的快速振盪，只要振幅可加總），更貼合「振盪要『花費能量』才會妨礙收斂」的直觀。Jordan 的推廣示範了數學概念的進化方向：從數數到測量。

（本節完）