2.1 係數公式與收斂問題#

本章導言#

第 1 章結束於一個未完成的承諾：Fourier 給出了係數公式 \(b_n = \frac{1}{\pi}\int_{-\pi}^{\pi}f\sin nx\,dx\) ，但「級數是否收斂到 \(f\) 」仍是一團迷霧。本章將撥開迷霧，本節先做兩件事：（1）把傅立葉級數的標準形式、複數形式與係數性質（衰減率、光滑度的關係）整理成清晰的工具箱；（2）直面收斂問題本身——為什麼它是 19 世紀分析學最困難的問題之一，以及我們需要的收斂「詞彙表」。本節是第 2 章的地基：沒有係數的衰減率估計，就沒有 2.2 節的收斂定理與 2.3 節的 Gibbs 現象分析。

標準設定與三種形式#

標準設定： \(f\) 是定義在 \(\mathbb{R}\) 上、以 \(2\pi\) 為週期的可積函數（一般週期 \(2L\) 可由變數替換 \(\frac{\pi x}{L}\) 化約，見本章末練習）。其三角形式的傅立葉級數為

係數為

注意：當展開尚未證明收斂時，我們用連接號 \(\sim\) （而非 \(=\) ）表示「 \(f\) 的傅立葉級數是」——這個謹慎記號是 19 世紀數學家學到的教訓。複數形式（1.3 節已預告）為

兩套係數的換算： \(c_0 = \frac{a_0}{2}\) 、 \(c_n = \frac{1}{2}(a_n - i b_n)\) （ \(n>0\) ）、 \(c_{-n} = \overline{c_n}\) （若 \(f\) 為實函數）。複形式是「一族兩向」：正頻率與負頻率、餘弦與正弦全部統一。第 4 章起本書將只用複形式。

係數衰減率：光滑度的價碼表#

係數 \(c_n\) 衰減多快，完全由 \(f\) 的光滑度決定。這是傅立葉分析中最實用的經驗法則，可由分部積分導出：若 \(f\) 連續且 \(f'\) 分段連續，則

其中 \(\widehat{f'}(n)\) 是 \(f'\) 的第 \(n\) 個傅立葉係數。每分部一次，代價是除以 \(n\) 、收益是微分一次。由此得「價碼表」：

這張表是工程師的護身符：想要快的頻域表示，就要時域的光滑；反之，時域越「陡」，頻域尾巴越長（第 8 章測不準原理是這句話的精確化）。

收斂詞彙表：同一句話的不同命運#

「級數收斂到 \(f\) 」不是一句話，而是一族話。列出本書用到的五種收斂，與其強弱關係：

1. 逐點收斂：每個固定 \(x\) 上 \(S_N(x) \to f(x)\) 。最直觀、最弱、最危險（速率隨 \(x\) 變）。
2. 一致收斂： \(\sup_x |S_N(x) - f(x)| \to 0\) 。整體同步；保證連續性遺傳與逐項積分（3.2 節）。
3. 均方（ \(L^2\) ）收斂： \(\int_{-\pi}^{\pi}|S_N - f|^2\,dx \to 0\) 。能量意義；壓縮與通訊的自然度量（3.1 節）。
4. Cesàro（算術平均）收斂： \(\frac{S_0 + \cdots + S_N}{N+1} \to f\) 。對逐點收斂失敗的場合仍有救（3.3 節 Fejér 定理）。
5. 絕對收斂： \(\sum |c_n| < \infty\) 。最強的「好」：蘊含一致收斂與逐項運算自由。

蘊含鏈：絕對收斂 \(\Rightarrow\) 一致收斂 \(\Rightarrow\) 逐點收斂與 \(L^2\) 收斂（後兩者互不蘊含）；逐點收斂 \(\not\Rightarrow\) 一致收斂 的例子正是方波級數（2.3 節）。初學者最危險的習慣是把五種收斂混用——本書的立場：每次寫等號前，先自問是哪一種收斂。

收斂問題為何困難：兩座大山#

山一：係數只知道「趨於零」。 對可積 \(f\) ，Riemann–Lebesgue 引理（見下）只保證 \(c_n \to 0\) 。但係數趨於零完全不夠：三角級數 \(\sum_{n\ge2}\frac{\sin nx}{\ln n}\) 的係數 \(\frac{1}{\ln n}\to 0\) ，級數卻處處發散。係數多大才保證收斂？ 一個充分條件是絕對可和（ \(\sum|c_n|<\infty\) ，由 \(f\in C^1\) 週期保證），但這要求太強——Dirichlet 用完全不同的思路（核函數分析）繞過了它（2.2 節）。

山二：積分與級數的交換合法性。 為證 \(S_N(x)\to f(x)\) ，需要估計

其中 \(D_N(t) = \sum_{n=-N}^{N}e^{int} = \frac{\sin\big((N+\frac12)t\big)}{\sin(t/2)}\) 是 Dirichlet 核。困難在於 \(\|D_N\|_{L^1} \sim \ln N\) 增長（不像 Fejér 核是 \(\le 1\) 的近似恆等核）——這正是 3.3 節 Fejér 定理的動機：把發散風險「平均掉」。Dirichlet 核的 \(L^1\) 爆炸也預告了 Gibbs 超調（2.3 節）。

Riemann–Lebesgue 引理（本節唯一證明的定理）：若 \(f\) 可積，則 \(\widehat{f}(n) \to 0\) 。證明思想：先對「階梯函數」驗證（每個常數段上 \(\int e^{-inx}dx = 0\) ，只剩端點小誤差）；再用可積函數可被階梯函數以任意小 \(L^1\) 誤差逼近，三角不等式完成。這個「先簡單後逼近」的證明模板是整個 19 世紀分析的引擎（2.2 節還會再用一次）。

一個具體例題#

例題 2.1.1：考慮 2.1 節的鋸齒函數 \(f(x) = x\) （ \(-\pi < x < \pi\) ，週期延拓），其級數為 \(2\sum_{n=1}^{\infty}\frac{(-1)^{n+1}}{n}\sin nx\) 。（1）解釋為何係數按 \(\frac{1}{n}\) 而非 \(\frac{1}{n^2}\) 衰減，儘管 \(f\) 連續；（2）證明級數在每個 \(x\) 收斂（用 Dirichlet 判別法）；（3）說明為何不能逐項微分，並計算微分後的級數以資對照。

解：

（1） \(f\) 本身連續，但週期延拓後在 \(x = \pm\pi\) 處跳躍（左值 \(\pi\) 、右值 \(-\pi\) ）。分部積分公式的邊界項

不為零——跳躍的邊界項主導了 \(\frac{1}{n}\) 衰減。收錄規則：看週期函數在整個圓上的光滑度，不看原區間。

（2）固定 \(x\) 。部分和 \(S_N(x) = 2\sum_{n=1}^{N}\frac{(-1)^{n+1}\sin nx}{n}\) 。令 \(a_n = \frac{(-1)^{n+1}}{n}\) （單調遞減、趨於零）， \(u_n(x) = \sin nx\) 。Dirichlet 判別法要求部分和 \(\left|\sum_{n=1}^{M}\sin nx\right|\) 對 \(M\) 一致有界：用求和公式 \(\sum_{n=1}^{M}\sin nx = \frac{\sin(Mx/2)\sin\big((M+1)x/2\big)}{\sin(x/2)}\) （ \(x \not\equiv 0 \bmod 2\pi\) ），其模 \(\le \frac{1}{|\sin(x/2)|}\) ——固定 \(x\) 時是有限數。故級數收斂。注意：界 \(\frac{1}{|\sin(x/2)|}\) 在 \(x\to 0\) 時爆炸——收斂不是一致的，且靠近跳躍點越慢，這是 2.3 節 Gibbs 現象的先聲。

（3）形式上逐項微分得 \(2\sum_{n=1}^{\infty}(-1)^{n+1}\cos nx\) ，其項不趨於零（ \(|(-1)^{n+1}\cos nx|\) 可為 1），級數發散。數學原因：微分把係數乘以 \(n\) ， \(\frac{1}{n}\cdot n = 1\) 不趨於零；物理原因：鋸齒在跳躍點「導數是無窮尖峰」，無窮尖峰需要無窮多頻率攜帶。要合法逐項微分，需要 \(f \in C^2\) 週期（係數 \(\sim \frac{1}{n^3}\) ，微分後 \(\sim \frac{1}{n^2}\) 仍絕對收斂）——見 3.2 節。

歷史啟示#

• 記號的誠實： \(\sim\) 與 \(=\) 的區分，是數學對自己無知的誠實標記。在你證明之前，就寫等號，是 Fourier 之後兩代人的共同教訓。
• 光滑度有價碼：「係數衰減率 \(\leftrightarrow\) 光滑度」對照表把定性直觀變成定量工程，這是傅立葉分析被工程界接納的原因之一。
• 一個引理模板的力量：「先證階梯函數、再逼近」的模板在本章出現三次（Riemann–Lebesgue、Dirichlet 收斂、Fejér）。好模板比好定理更值得記憶。

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

• 1.3 節：正交性給出係數公式；本節給出係數的性質與極限行為。
• 2.2 節：Dirichlet 定理解決逐點收斂，本節例題（2）的判別法是其特例。
• 2.3 節：本節 Dirichlet 核的 \(L^1\) 增長與例題（2）的爆炸界，正是 Gibbs 超調的兩個側面。
• 3.1–3.2 節： \(L^2\) 與一致收斂的完整理論。
• 4.1 節：複形式係數 \(c_n = \frac{1}{2\pi}\int f e^{-inx}dx\) 的極限版就是傅立葉轉換。
• 6.2 節：取樣造成頻譜的週期複製（混疊），依賴本節的週期化觀點。
• 8.1 節：光滑度與頻譜集中度的定量版本即測不準原理。

練習#

1. 對 \(f(x) = \mathrm{sgn}(\sin x)\) （方波）求複係數 \(c_n\) ，驗證 \(c_n \sim \frac{1}{n}\) ，並確認 \(c_{-n} = \overline{c_n}\) 。
2. 設 \(f\) 以 \(2\pi\) 週期、絕對可和係數（ \(\sum|c_n| < \infty\) ）。證明其級數一致收斂，且逐項積分合法。逐項微分的條件是什麼？
3. 求函數 \(f(x) = \frac{1}{a - \cos x}\) （ \(a > 1\) ）的傅立葉級數（提示： \(\frac{1}{a-\cos x} = \frac{1}{\sqrt{a^2-1}}\left(1 + 2\sum_{n\ge1} r^n\cos nx\right)\) ， \(r = a - \sqrt{a^2-1}\) ），並指出其係數指數衰減——這是「解析 \(\Rightarrow\) 指數衰減」的實例。
4. 用例題（2）的方法，證明 \(\sum_{n=1}^{\infty}\frac{\cos nx}{n}\) 在 \(x\neq 0 \bmod 2\pi\) 處收斂，並求其和（提示：它是 \(-\ln\left(2\sin\frac{x}{2}\right)\) 的級數；驗證 \(x = \pi\) 時得 \(-\ln 2\) ，與 \(\sum\frac{(-1)^n}{n} = -\ln 2\) 一致）。
5. 思考題：工程上「截斷頻譜」等於時域與 sinc 函數捲積。用本節「價碼表」解釋：為何對有跳躍的訊號硬截頻譜，時域會出現振鈴（ringing）？

進階研讀：係數與收斂的深化場景#

場景一：Dirichlet 核的解剖。 \(D_N(t) = \frac{\sin\big((N+\frac12)t\big)}{\sin(t/2)}\) 的三個性質決定了第 2 章的命運：（1） \(\int_{-\pi}^{\pi}D_N = 2\pi\) （總質量恆定）；（2）在 \(|t|\lesssim \frac{1}{N}\) 處形成高度 \(2N+1\) 的主瓣；（3) 副瓣振盪、且 \(\int |D_N| \sim \ln N\) 爆炸。質量集中但總量不守恆的「溢出」去了副瓣——副瓣的振盪在 \(f\) 的跳躍處造成 9% 超調（2.3 節）。畫出 \(N = 5, 10, 20\) 的 \(D_N\) 圖像是理解本章最快的途徑。

場景二：一般週期 \(2L\) 。以 \(\phi_n(x) = e^{in\pi x/L}\) 為基，係數 \(c_n = \frac{1}{2L}\int_{-L}^{L}f\,e^{-in\pi x/L}dx\) 。替換 \(t = \frac{\pi x}{L}\) 即把一切化回 \(2\pi\) 標準型。這個「歸一化到標準區間」的習慣在 6.1 節（取樣定理的角頻率形式）再次出現：頻率以每秒弧度還是每秒赫茲計，只差 \(2\pi\) 的約定——約定前後一致比約定本身更重要。

場景三：條件收斂的代價。方波級數 \(\frac{4}{\pi}\sum\frac{\sin(2k+1)x}{2k+1}\) 條件收斂（非絕對）：在同一 \(x\) 上重排項可能改變和（Riemann 重排定理）。這在實務的意義：以不同順序截斷或加窗，得到的波形不同。工程師用「加窗」（windowing，Hamming/Hann 窗，6.2 節）強迫係數加速衰減，本質上是把條件收斂的風險換成能量洩漏的代價。

場景四：Weierstrass 函數與「連續不表示可微」。 \(W(x) = \sum a^n\cos(b^n x)\) （ \(0<a<1\) 、 \(ab > 1\) ）一致收斂故連續，但 Weierstrass（1872）證明它處處不可微。這個函數的傅立葉係數為 \(c_{\pm b^n} = \frac{a^n}{2}\) ——頻率呈幾何跳躍、能量按幾何衰減，正是「粗糙度跨尺度均勻」的分形原型（8.3 節小波的地盤）。傅立葉分析在 1872 年就為分形備好了語言，卻等了 110 年才有對的工具。

場景五：數值習慣。用電腦驗證價碼表：取 \(f_1 =\) 方波、 \(f_2 =\) 鋸齒、 \(f_3 = x^2\) 的 DFT（6.2 節後可實作），畫 \(|c_n|\) 的 log-log 圖，斜率應為 \(-1\) 、 \(-2\) 、 \(-2\) 。看圖認光滑度是訊號處理工程師的基本功，比背表格更可靠。

補充：Riemann 的 1854 哈伯萊演講#

Bernhard Riemann（1826–1866） 為取得哥廷根私講師資格，於 1854 年發表講演《論函數以三角級數表示的可能性》，提出兩個影響深遠的問題：（1）什麼樣的函數該算「可積」？（由此發明 Riemann 積分）；（2）若係數不由積分公式給出，三角級數還能表示什麼？（由此萌芽了今日的「唯一性集合」理論，Cantor 的集合論正是 1870 年代研究這個問題的副產品！）。傅立葉級數是一台概念生產機：為了理解它，人們發明了 Riemann 積分、集合論、測度論與 Hilbert 空間。本書 10.1 節將總結這條概念鏈。

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

• 傅立葉級數（複形式）： \(f \sim \sum c_n e^{inx}\) ， \(c_n = \frac{1}{2\pi}\int_{-\pi}^{\pi}f e^{-inx}dx\) 。
• **連接號 \(\sim\) **：「的傅立葉級數是」，不承諾收斂。
• Dirichlet 核 \(D_N\) ：部分和的積分核， \(L^1\) 範數 \(\sim \ln N\) 。
• Riemann–Lebesgue 引理：可積函數的傅立葉係數趨於零。
• 價碼表：光滑度與係數衰減率的對照。
• 逐點 / 一致 / \(L^2\) / Cesàro / 絕對收斂：五種收斂概念（強弱見本文）。
• Dirichlet 判別法： \(a_n\downarrow 0\) 且 \(\sum u_n\) 部分和有界 \(\Rightarrow \sum a_nu_n\) 收斂。
• 條件收斂：收斂但非絕對收斂；重排可改變和。
• 加窗：以平滑權窗截斷訊號，抑制頻譜洩漏的技術。
• Weierstrass 函數：處處連續、處處不可微的級數和。

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

• 1755：Euler《微分學》出現鋸齒級數 \(x = 2\sum\frac{(-1)^{n+1}}{n}\sin nx\) 。
• 1807 / 1822：Fourier 主張與《熱的解析理論》。
• 1829：Dirichlet 收斂定理（2.2 節）。
• 1854：Riemann 哈伯萊演講——Riemann 積分與三角級數理論。
• 1872：Weierstrass 處處不可微函數。
• 1870–1882：Cantor 由三角級數唯一性問題走向集合論。
• 1899–1906：Gibbs 現象的發現與解釋（2.3 節）。
• 1900 / 1904：Fejér 定理（3.3 節）。
• 1902：Lebesgue 積分與 \(L^2\) 理論。

深化問答三則#

問：為什麼不直接要求係數絕對可和就好？反正那樣一切性質都好。 答：因為會漏掉最有趣的函數：方波（收錄在幾乎每個數位系統的時脈訊號）的係數 \(\frac1n\) 不絕對可和。理論若只照顧「好函數」，就無法描述工程最常用的訊號。Dirichlet 定理的偉大在於用更弱的條件（有界變差）換到逐點收斂——犧牲「一致」換取「涵蓋方波」。

問：逐項微分何時合法？一句話版本？ 答：係數乘上 \(n\) 之後仍構成收斂級數。充分條件： \(f\) 週期且 \(f''\) 分段連續（ \(f'\) 連續）。記憶法：微分一次，價碼表降一級；降級後仍在表上（收斂）才可微。

問： \(L^2\) 收斂與逐點收斂哪個「更物理」？ 答：看測什麼。能量、功率、誤差平方和—— \(L^2\) ；示波器上某一瞬間的波形——逐點。數位通訊的位元錯誤率由能量（ \(L^2\) ）決定，顯示與硬體時序由逐點決定。工程師必須同時說得出兩種語言——這正是本節詞彙表存在的理由。

（本節完）