3.2 一致收斂與逐項微積分#

本章導言#

第 2 章與 3.1 節分別建立了逐點收斂與 $L^2$ 收斂，但工程與理論上最重要的問題還沒有正式回答：什麼時候可以對傅立葉級數「放心操作」——逐項積分、逐項微分、交換極限、保證函數性質遺傳？ 答案是一致收斂（uniform convergence）。這個概念由 Georg Cantor（1845–1918） 於 1872 年（研究三角級數唯一性時）與 Karl Weierstrass（1815–1897） 在 1860–1880 年代講學中精煉成形。本節將給出一致收斂的定義、傅立葉級數達成一致收斂的充分條件、以及「逐項運算」的合法清單——這是理論與數值計算的安全手冊。

定義：為什麼「逐點 + 上界」是關鍵#

定義：函數列 $S_N$ 在 $I$ 上一致收斂到 $f$ ，記 $S_N \rightrightarrows f$ ，若

\[ \sup_{x \in I}\,|S_N(x) - f(x)| \;\longrightarrow\; 0 \quad (N \to \infty). \]

與逐點收斂的差別在於誤差的全場上界是否存在：逐點收斂只要求每個固定 $x$ 的誤差趨零（速率可以千差萬別），一致收斂要求「全場同步」。為什麼一致收斂是金標準：它保證三件遺傳——

連續性遺傳： $S_N$ 皆連續 + 一致收斂 $\Rightarrow$ $f$ 連續（ $\varepsilon/3$ 論證）。這正是 1.2 節 Euler–Lagrange 爭議的裁決：方波級數的極限不連續，故收斂不可能一致——非一致收斂是「光滑項疊出斷面」的唯一通道。
積分遺傳： $S_N \rightrightarrows f$ 在有限區間 $\Rightarrow \int S_N \to \int f$ （逐項積分合法）。
極限交換： $\lim_N \lim_x S_N(x) = \lim_x \lim_N S_N(x)$ ——Gibbs 現象（2.3 節）正是交換失敗的實錄。

反面教材（Weierstrass 型的）經典： $S_N(x) = x^N$ 在 $[0,1]$ 上逐點收斂到 $f(x) = 0$ （ $x<1$ ）、 $f(1) = 1$ ——極限不連續，故不一致收斂；而且 $\int_0^1 x^N dx = \frac{1}{N+1} \to 0 = \int_0^1 f$ ，積分「僥倖」合法——可見積分遺傳的條件還可再放寬（有界收斂定理，Lebesgue 積分下的最終版本），但微分不行： $x^N$ 的導數 $Nx^{N-1}$ 在 $x\to1^-$ 爆炸，逐項微分在這裡徹底失敗。微分比積分傲嬌得多，這是本節的主旋律。

傅立葉級數的一致收斂條件#

定理（Weierstrass M-檢驗的應用）：若 $\sum_{n}|c_n| < \infty$ （絕對可和），則級數 $\sum c_n e^{inx}$ 在 $\mathbb{R}$ 上一致收斂到某連續函數，且該函數以 $2\pi$ 為週期。證明： $|c_n e^{inx}| = |c_n|$ 與 $x$ 無關，M-檢驗直接命中。 $\blacksquare$

由 2.1 節價碼表，得到可操作的充分條件鏈：

$f$ 的條件	係數	一致收斂？	逐項可微？
週期 + $C^1$ （ $f'$ 分段連續）	$	c_n	\le \frac{\widehat{
週期 + $C^2$	$	c_n	= O(1/n^2)$
週期 + $C^k$ ， $k\ge 3$	$	c_n	= O(1/n^{k+1})$

精確敘述（最常用的版本）：設 $f$ 以 $2\pi$ 週期、 $f'$ 連續且 $f''$ 分段連續，則

\[ f(x) = \sum c_n e^{inx} \quad(\text{一致且絕對收斂}), \qquad f'(x) = \sum in\,c_n\,e^{inx} \quad(\text{逐點收斂}). \]

證明骨架：分部積分兩次——第一次用 $f$ 週期消邊界項（ $f(\pi) = f(-\pi)$ 關鍵！），得 $c_n = \frac{1}{in}\widehat{f'}(n)$ ；第二次不能再用週期（ $f'$ 可能不週期地跳），得 $\widehat{f'}(n) = O(1/n)$ 級別，故 $|c_n| \le \frac{C}{n^2}$ ，絕對可和 $\Rightarrow$ 一致收斂（M-檢驗）。微分級數的係數 $inc_n = \widehat{f'}(n)$ ，正是 $f'$ 的傅立葉級數，Dirichlet 定理（2.2 節）保證逐點收斂。 $\blacksquare$

注意「週期」條件的殺傷力： $f(x) = x$ 在 $(-\pi, \pi)$ 連續光滑，但週期延拓後有跳躍——條件不滿，級數非一致收斂（2.1 節例題已驗證收斂速率在 $x\to0$ 爆炸）、不可逐項微分。你在局部多光滑沒用，要看整個週期——傅立葉分析是「全球化」的理論。

逐項積分：意外的寬容#

與微分的傲嬌相反，逐項積分出奇地寬容：

定理：若 $f$ 可積（甚至僅 Riemann 可積！），則其傅立葉級數可以逐項積分：

\[ \int_{-\pi}^{x}\left[\frac{a_0}{2} + \sum_{n=1}^{\infty}(a_n\cos nt + b_n\sin nt)\right]dt = \int_{-\pi}^{x}f(t)\,dt, \]

且右邊是左邊級數的一致收斂和。不需要級數本身收斂！（即使 $S_N$ 不收斂到 $f$ ，積分後仍收斂到 $\int f$ ——因為積分是一個「平滑化」算子，把係數除以 $n$ ，價碼表升級一級。）

證明思想：積分後的函數 $F(x) = \int_{-\pi}^{x}\big[f(t) - \frac{a_0}{2}\big]dt$ 是連續、週期（因 $a_0$ 恰消去週期漂移）、且 $F' = f - a_0/2$ 分段連續—— $F$ 滿足 $C^1$ 型條件，其傅立葉級數一致收斂；逐一驗證 $F$ 的係數恰為 $f$ 的係數除以 $in$ 。 $\blacksquare$

這個不對稱性（積分寬容、微分傲嬌）的深層原因：積分在頻域是除法（衰減化），微分是乘法（增粗糙化）。4.2 節將把這句話變成公式 $\widehat{f'} = i\omega\hat f$ 、 $\widehat{\int f} = \frac{\hat f}{i\omega}$ ，一輩子受用。

一個具體例題#

例題 3.2.1：利用 $f(x) = x^2$ （ $-\pi<x<\pi$ 週期延拓）的級數

\[ x^2 = \frac{\pi^2}{3} + 4\sum_{n=1}^{\infty}\frac{(-1)^n}{n^2}\cos nx \qquad (\text{練習 1.3-2 的結果}), \]

（1）驗證一致收斂並解釋為何此處可以逐項積分與微分一次；（2）在 $x = 0$ 與 $x = \pi$ 取值，導出兩個經典級數和；（3）用逐項微分討論 $x$ 的級數。

解：

（1）係數 $|c_{\pm n}| = \frac{2}{n^2}$ ， $\sum\frac{1}{n^2} < \infty$ 絕對可和，M-檢驗給一致收斂。 $x^2$ 的週期延拓連續（ $\pm\pi$ 處兩側值皆 $\pi^2$ ）、導數 $2x$ 在 $\pm\pi$ 跳躍（分段連續）——恰為定理條件，故一致收斂成立、可微分一次。

（2）代入 $x = 0$ ： $0 = \frac{\pi^2}{3} + 4\sum\frac{(-1)^n}{n^2}$ ，得 $\sum\frac{(-1)^{n+1}}{n^2} = \frac{\pi^2}{12}$ （交錯 Basel）。代入 $x = \pi$ （收斂到 $\frac{f(\pi^-) + f(-\pi^+)}{2} = \pi^2$ ）： $\pi^2 = \frac{\pi^2}{3} + 4\sum\frac{(-1)^n(-1)^n}{n^2} = \frac{\pi^2}{3} + 4\sum\frac1{n^2}$ ，得 $\sum\frac{1}{n^2} = \frac{\pi^2}{6}$ ✓——與 Parseval 解法（3.1 節例題）互相印證。同一級數的不同取值點 = 不同的級數和，傅立葉級數是「級數求和的瑞士刀」。

（3）形式微分得 $2x \stackrel{?}{=} -4\sum\frac{(-1)^n\sin nx}{n}$ ，即 $x = 2\sum\frac{(-1)^{n+1}}{n}\sin nx$ ——與例題 1.3.1 的鋸齒級數完全一致！為何合法（儘管 $x$ 的級數不一致收斂）？因為這裡的微分方向是從一致的 $x^2$ 級數出發：微分後的係數 $\frac{1}{n}$ 組成的級數逐點收斂（2.1 節例題（2）的 Dirichlet 判別法），且我們獨立驗證了極限就是 $2x$ 。方向很重要：一致的級數微分一次後仍可能逐點收斂；反過來拿不一致的級數亂微分，就會得到發散（2.1 節例題（3）的鋸齒微分慘案）。

歷史啟示#

Cantor 的副產品：Cantor 為研究「三角級數的唯一性」（若級數處處收斂為 0，係數是否全為 0？）發明了凝聚原理與集合的語言，最終走向集合論——傅立葉級數再次充當概念孵化器（2.1 節 Riemann 演講之後的續集）。
操作要憑執照：逐項微分、交換極限在 18 世紀是自由市場，19 世紀後需持證（一致收斂、 $C^2$ 週期等）。現代數值計算的每一行「微分離散資料」程式碼，都還在付這張執照的考驗（雜訊放大 = 微分的乘法本性）。
不對稱即結構：積分寬容/微分傲嬌不是缺陷而是資訊——它告訴你「平滑化永遠安全、粗糙化永遠危險」。所有數值演算法設計（先平滑後求導、正則化）都遵循這條法則。

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

2.1 節：價碼表是本節條件的來源；一致收斂 = 絕對可和。
2.3 節：Gibbs 現象是非一致收斂的具象照（本節給了理論名分）。
3.1 節： $L^2$ 收斂與一致收斂互不蘊含；本節是「逐點性質保護傘」。
3.3 節：Fejér 定理給出「連續函數也一致收斂（平均意義）」的升級路線。
4.2 節：微積分不對稱的頻域公式化（乘除 $i\omega$ ）。
9.1 節：熱方程級數解的逐項微分（對 $t$ ！）合法性靠 $e^{-\alpha n^2 t}$ 的指數壓制——PDE 的平滑效應給微分發照。
數值分析：譜方法（spectral method）求 PDE 就是「一致收斂 + 逐項微分」的商業化。

練習#

證明：若 $f$ 週期且 $C^1$ 、 $f'$ 分段連續，則 $\sum|c_n| < \infty$ （提示： $c_n = \frac{\widehat{f'}(n)}{in}$ + Cauchy–Schwarz： $\sum\frac{|\widehat{f'}(n)|}{n} \le \left(\sum|\widehat{f'}|^2\right)^{1/2}\left(\sum\frac1{n^2}\right)^{1/2}$ ，內層用 Parseval）。
對 $f(x) = |\sin x|$ ：求傅立葉級數（ $f$ 週期、 $C^0$ 但在 $0, \pi$ 有角點），驗證係數 $\sim\frac1{n^2}$ 且級數一致收斂；說明為何不可逐項微分兩次。
用 $|\sin x|$ 的級數（第 2 題）在 $x = \pi/2$ 處取值，證明 $\sum_{n=1}^{\infty}\frac{1}{4n^2 - 1} = \frac12$ 。
函數列 $S_N(x) = \frac{\sin Nx}{N}$ ：（1）證明 $S_N \rightrightarrows 0$ ；（2）計算 $S_N'(x) = \cos Nx$ ，說明導數列不收斂——一致收斂的函數列，導數可以全軍覆沒；（3）這對「數值微分」提出什麼警告？
思考題：級數 $\sum\frac{\cos nx}{n^2}$ 的和函數是某個 $C^1$ 函數 $F$ ，且 $F' = -\sum\frac{\sin nx}{n}$ （逐點）。求 $F$ 的顯式（利用例題 3.2.1 與 1.3.1 的逆向組合），並在 $x \in [0, 2\pi]$ 上描述其形狀。

進階研讀：一致收斂的深化場景#

場景二：Dini 導數與「比一致收斂弱但夠用」的條件。逐項微分不必要求導數列一致收斂：若 $S_N \to f$ 逐點、 $S_N'$ 一致收斂到 $g$ ，則 $f' = g$ 。更精細的版本（Dini、Arzelà）只要求 $S_N'$ 有控制。這些「中間條件」在數值微分與 PDE 弱解（9.1 節）中是日常工作語言——嚴格不等於極端，夠用即美。

場景三：Weierstrass 函數的級數解剖（續 2.1 節）。 $W(x) = \sum a^n\cos(b^nx)$ ：因 $\sum a^n < \infty$ ，一致收斂、 $W$ 連續；但逐項微分給 $\sum (ab)^n\sin(b^nx)$ ， $ab>1$ 時發散——一致收斂不保微分。 $W$ 處處不可微（Hardy 1916 給出完整證明）。這是「微分執照」最有力的反面教材：無限光滑的項、一致的收斂，仍可能零可微。

場景四：譜方法的效率神話。對光滑解的 PDE，譜方法誤差按指數衰減（因解的傅立葉係數指數衰減，2.1 節價碼表最下行），比有限差分/有限元素的代數衰減快幾個量級——這就是「譜精度」（spectral accuracy）。但解不光滑（激波、邊界層）時譜方法崩壞甚至振盪（Gibbs 潛入）。先估光滑度、再選方法，是計算數學的第一課。

場景五：解析延拓與頻寬。若 $f$ 實解析且週期， $|c_n| \le Ce^{-c|n|}$ （解析函數在複平面條帶上的 Cauchy 估計），級數收斂快到可微任意次。反向：係數衰減率 = 函數可解析延拓的複平面條帶寬度（Nevanlinna 理論）。頻域看到的衰減斜率，就是時域函數「離複奇點多遠」——訊號處理工程師說「頻譜尾巴陡 = 時域乾淨」，數學家說「奇點遠在複平面」，同一件事的兩種方言。

補充：Cantor 與唯一性問題#

1870–1872 年間，Cantor 證明：（1）若 $\sum c_n e^{inx} = 0$ 處處成立，則所有 $c_n = 0$ ；（2）若等式在一個集合 $P$ 之外成立，且 $P$ 的導出集（極限點集） $P'$ 有限……他一路推廣到 $P^{(n)}$ 皆非空的情形，為定義「越來越高階的極限點集合」而發明了超窮概念的雛形，最終（1874、1883）誕生集合論與超窮數。三角級數的唯一性問題是集合論的產房——Riemann 1854 開題、Heine 提攜、Cantor 完成，一條從傅立葉通往無窮集合的道路。10.1 節回顧時將再見證：傅立葉分析的歷史就是 19–20 世紀分析學的歷史縮影。

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

一致收斂： $\sup_x |S_N - f| \to 0$ ；誤差有全場上界。
M-檢驗（Weierstrass）： $\sum\sup|u_n(x)| < \infty \Rightarrow$ 一致收斂；傅立葉版用 $|c_n|$ 。
連續性遺傳：一致極限保持連續。
逐項積分：可積 $f$ 即合法（寬容條款）。
逐項微分：需 $C^2$ 週期等強條件（傲嬌條款）。
譜精度：光滑問題上譜方法的指數收斂。
完備性（Banach）： $C$ 空間在 $\|\cdot\|_\infty$ 下完備。
唯一性問題：級數恆為零 $\Rightarrow$ 係數為零；Cantor 集合論的起點。
Nevanlinna 條帶：係數指數衰減率對應複平面解析條帶寬度。

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

1861：Weierstrass 講課中首次明確區分逐點/一致收斂（講義 1886 出版）。
1870–1872：Cantor 三角級數唯一性定理。
1872：Weierstrass 處處不可微函數。
1883：Cantor 超窮序數誕生。
1885：Weierstrass 逼近定理（連續函數可用多項式一致逼近）。
1916：Hardy 證明 Weierstrass 函數處處不可微的完整版本。
1920s–：Banach 空間理論統一一致收斂語言。
1950s–：譜方法興起（Lanczos、Fox 等），一致收斂成為計算科學的日常。

深化問答三則#

問：為什麼傅立葉級數理論這麼在乎「週期延拓」的光滑度，而不是原區間？ 答：因為三角函數是全域週期的——它們「知道」邊界外的一切。 $f$ 在區間端點的跳躍會以 $\frac1n$ 的係數殘留（2.1 節例題）。工程教訓：DFT 之前先決定邊界處理（零填充、週期化、鏡像），不同的延拓 = 不同的頻譜。理論與實務在此完全同構。

問： $L^2$ 收斂、逐點收斂、一致收斂，實務上各挑哪個？ 答：能量預算（通訊、壓縮）挑 $L^2$ ；顯示與硬體時序挑逐點；演算法安全（逐項運算、誤差保證）挑一致。最好的狀況是三者同時成立（ $C^2$ 週期函數），但每多要一種就多付一級光滑度——收斂的菜單是明碼標價的。

問：怎麼向程式設計師解釋「數值微分為何放大雜訊」？ 答：微分在頻域乘 $i n$ （2.1 節）：高頻雜訊（小振幅但 $n$ 巨大）被乘成大誤差。數據裡 $\varepsilon$ 振幅的白雜訊，微分後誤差 $\sim n\varepsilon$ ——頻率越高放大越狠。對策：先低通（除法平滑）再微分，或用差分 + 正則化。執照條款 $C^2$ 週期，翻譯成工程話就是「先帶限後求導」。

（本節完）

\(f\) 的條件	係數	一致收斂？	逐項可微？
週期 + \(C^1\) （ \(f'\) 分段連續）	$	c_n	\le \frac{\widehat{
週期 + \(C^2\)	$	c_n	= O(1/n^2)$
週期 + \(C^k\) ， \(k\ge 3\)	$	c_n	= O(1/n^{k+1})$