跳轉到

1.2 三角級數的爭議：Lagrange 的反對#

本章導言#

1807 年 Fourier 的主張之所以引起軒然大波，並非因為「三角級數」是新的——它已存在一百年——而是因為 Fourier 宣稱它的表示範圍無限寬：連有折角、有跳躍的函數都行。這與 Lagrange 一輩子堅守的函數觀念正面衝突。本節將追溯這場爭議的歷史層次：從 18 世紀的弦振動論戰（d'Alembert、Euler、Daniel Bernoulli），到 Lagrange 的反對意見，再到今天我們如何用數學語言裁決誰對誰錯。這場爭議教會我們一件事：爭議的雙方往往各自握有一半真理，而裁決需要等待新概念（收斂、函數）的誕生。

前史：十八世紀的弦振動論戰#

爭議的原點比 Fourier 早五十年。1746 年，d'Alembert（1717–1783） 發表論文，導出兩端固定的弦的自由振動方程

\[ \frac{\partial^2 y}{\partial t^2} = c^2 \frac{\partial^2 y}{\partial x^2}, \]

並給出通解 \(y(x,t) = \frac{1}{2}\big[\phi(x+ct) + \phi(x-ct)\big] + \frac{1}{2c}\int_{x-ct}^{x+ct}\psi(s)\,ds\) ，其中 \(\phi\) 是初始形狀。問題來了：** \(\phi\) 是什麼？**

  • d'Alembert 認為： \(\phi\) 必須是「解析的」表達式（可微到所需階數），否則方程無意義。
  • Euler（1707–1783） 於 1748 年反駁：撥弦的初始形狀是一段折線，不是解析式；弦明明會振動！他提出「任意畫出的曲線」也應是合法的函數——這是「可畫曲線」（courbe tracée à main levée，隨手畫出的曲線）概念的起源，函數觀念的第一次革命。
  • Daniel Bernoulli（1700–1782） 於 1753 年提出第三種答案：弦的振動由無窮多個固有振動模態疊加而成，即
\[ y(x,t) = \sum_{n=1}^{\infty} a_n \sin\frac{n\pi x}{L} \cos\frac{n\pi c t}{L}, \]

並主張這能表示一切可能的振動。這正是 Fourier 1807 年主張的預演！ - Euler 對 Bernoulli 的批評：承認三角級數能表示某些初始形狀，但不可能表示折線等奇函數——因為正弦級數處處無限可微（他當時認為），而折線有角點。注意：Euler 的錯誤在於假設級數的每一部分性質會遺傳給和——這正是「一致收斂」概念（3.2 節）尚未誕生的代價。 - Lagrange（當時年輕，1759 年首次參戰）站 Euler 陣營，但用了自己的方法：把弦離散成有限個質點，令質點數趨於無窮。他的計算裡其實已經算出了傅立葉係數（在某種意義上），但他拒絕承認這構成「任意函數的表示」，堅持級數的等式只是形式上的。

這場論戰持續到十八世紀末無果而終。四十年後，Fourier 站到了 Bernoulli 一邊，但手裡多了兩樣東西：明確的係數公式與熱傳導的大量物理例證。

Lagrange 的函數觀：解析的帝國#

Lagrange（1736–1813） 是十八世紀最偉大的分析學家之一。他的函數觀念成型於 1797 年《解析函數論》（Théorie des fonctions analytiques）：他主張用冪級數定義函數——一個函數就是一個可展開為

\[ f(x) = \sum_{n=0}^{\infty} c_n (x-a)^n \]

的對象，而導數由係數 \(c_n = \frac{f^{(n)}(a)}{n!}\) 讀出。在這個「解析帝國」裡，函數天生光滑、可微任意次、可任意延拓——冪級數與函數是同一件事。這個觀念的好處是把微積分從「模糊的極限」中解放（Lagrange 討厭極限概念的含糊）；壞處是排除了非解析函數：折線、間斷函數根本不是函數。

在 Lagrange 的世界觀下，Fourier 的主張無異於說「帝國的疆土比國王以為的大一倍」，而且疆土上住著帝國法律不承認的居民。Lagrange 的具體反對理由可歸納為三條：

  1. 光滑性遺傳：正弦、餘弦是無限光滑的；若它們的級數收斂，其和應該也光滑（他認為），故不能表示有角點的折線。這一條的漏洞在於忽略了非一致收斂——級數在角點附近收斂得極慢，其和函數可以在極限過程中「長出」角點與跳躍。概念上的解藥是 3.2 節的一致收斂理論。
  2. 等式 vs. 形式表示：Lagrange 承認三角級數在「某種平均意義」下逼近 \(f\) ，但否認是真正的等式。這一條其實觸及深刻處：三角級數收斂到 \(f\) 的意義可以有多種（逐點、一致、 \(L^2\) 平均、Cesàro 平均），Fourier 說的是哪一種？答案在 2.2 節與 3.1 節分別給出——在最自然的 \(L^2\) 意義下，Lagrange 錯了；在逐點意義下，他對的部分（需要條件）由 Dirichlet 劃定。
  3. 初始值的還原：他質疑係數公式的推導（Fourier 用了「令 \(x\) 的所有次方項正交平均」的技巧）不夠嚴密。這一條他是對的——Fourier 的原始論證確實含糊，需要 1.3 節的正交性理論補完。

Fourier 的反擊：以計算對抗教條#

Fourier 的回應方式極具特色：他不寫哲學論戰文，而是算給你看。最著名的例子是三角級數表示常數函數（在 \((-\pi, \pi)\) 上 \(f(x)=1\) ）：

\[ 1 = \frac{4}{\pi}\left(\sin x + \frac{\sin 3x}{3} + \frac{\sin 5x}{5} + \cdots\right), \qquad 0 < x < \pi. \]

左邊是水平線，右邊是奇函數正弦的疊加——在半個區間上，它們竟然相等（在另一半，級數收斂到 \(-1\) ，配合跳躍）。他還給出表示鋸齒波、方波的級數，並指出：級數在函數的連續點上等於函數值，在間斷點上等於左右極限的平均——這個「中點規則」在收斂理論存在之前就被他寫出，堪稱奇蹟般的直觀。

Fourier 也有他的含糊處：他從未定義「收斂」，也未區分「無窮項之和」的不同意義；他甚至主張（如 1807 論文手稿所呈）級數表示在任何情形下都成立。嚴格化要等四個人接力：Cauchy（1821，極限語言）→ Dirichlet（1829，收斂定理）→ Riemann（1854，積分的推廣與級數的任意係數問題）→ Lebesgue（1902，新積分與最終解答）。

裁決：誰對誰錯？#

以今日的知識回望，可以給出一張「分數表」：

爭議命題 Lagrange / Euler 的立場 Bernoulli / Fourier 的立場 現代裁決
連續光滑的 \(f\) 可用三角級數表示 部分承認 主張 對（Dirichlet 定理）
有角點的折線可表示 否認 主張 Fourier 對：角點可由非一致收斂產生
間斷函數可表示 否認（甚至不算函數） 主張 Fourier 對（間斷點上收斂至中點值）
「任意」函數皆可表示 否認 主張 雙方都不全對：需條件（如可積）；反例存在（見 3.3 節）
級數的每一項光滑 \(\Rightarrow\) 和光滑 主張 未明確反駁 錯：逐點收斂不保光滑；一致收斂才保（3.2 節）

這張表告訴我們：Euler 與 Lagrange 的「光滑性遺傳」直覺，錯在把「有限和」的性質搬到「無窮和」——這正是分析學中最常見、也最昂貴的思維陷阱。而 Fourier/Bernoulli 的「萬能表示」主張，錯在把「大多數情況成立」說成「永遠成立」。歷史的裁決是：概念（收斂、函數、積分）需要擴張，而擴張之後，兩邊的直觀都在更大的框架裡各得其所。

一個具體例題#

例題 1.2.1：考慮方波函數

\[ f(x) = \begin{cases} 1, & 0 < x < \pi,\\ -1, & -\pi < x < 0,\end{cases} \]

其三角級數表示為 \(f(x) = \dfrac{4}{\pi}\displaystyle\sum_{k=0}^{\infty} \dfrac{\sin\big((2k+1)x\big)}{2k+1}\) 。取部分和 \(N=1, 3, 7, 15\) 項，分析其在 \(x = \pi/2\) 、 \(x=0.1\) （接近間斷點）與 \(x=0\) （間斷點本身）的行為，驗證 Euler–Lagrange 直覺錯在哪裡。

解：逐點計算部分和 \(S_N(x)\) ：

在 \(x = \pi/2\) （ \(f\) 連續處）： \(\sin\big((2k+1)\pi/2\big) = \pm 1\) 交替， \(S_N(\pi/2) = \frac{4}{\pi}\left(1 - \frac13 + \frac15 - \frac17 + \cdots\right)\) ，正是 Leibniz 級數 \(\frac{4}{\pi}\cdot\frac{\pi}{4} = 1\) 。收斂正確，且誤差約 \(\frac{4}{\pi}\cdot\frac{1}{N}\) 。

在 \(x = 0.1\) （接近間斷點）：各項 \(\sin(0.1)\) 、 \(\sin(0.3)\approx 0.296\) 、……都接近 0 但不為零，欲使 \(S_N(0.1)\) 接近 1，需要 \(N\sin(0.1) \gg 1\) ，即 \(N \gg 10\) 。離間斷點越近，需要的項數越多——這就是「級數和可以不光滑」的機制：收斂速率隨位置而變。

在 \(x = 0\) （間斷點）：每一項 \(\sin(0) = 0\) ，故 \(S_N(0) = 0\) 對一切 \(N\) 。左右極限為 \(\pm 1\) ，級數收斂到 \(0 = \frac{1 + (-1)}{2}\) ——中點值。級數在間斷點上「各打五十大板」。

由此可見：正弦部分和有限項時處處光滑，但極限函數有跳躍——光滑性在極限中不遺傳。Euler–Lagrange 的推理（每項光滑 \(\Rightarrow\) 和光滑）在有限和成立、無窮和崩潰。這一崩潰的精確刻畫（需要多少項、在哪裡失效、超調多少）分別是 2.2 節（Dirichlet）與 2.3 節（Gibbs）的主題。

歷史啟示#

  • 爭議裁決需要新概念：d'Alembert、Euler、Bernoulli、Lagrange 都使用同一套詞（函數、等式、和），卻指涉不同的東西。數學爭議常以「發明更精確的語言」而非「一方認錯」收場。
  • 直觀陷阱的代價：「有限和的性質搬到無窮和」這個陷阱，未來還會以不同面目出現（逐項積分、逐項求導、交換極限順序）。本書 3.2 節將給出何時合法的清單。
  • 務實計算 vs. 嚴格證明的分工：Fourier 的計算直觀在幾十年內就能用；嚴格證明則要等五十年。兩者不可互相替代——沒有計算的嚴格是空轉，沒有嚴格的計算是賭博。

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

  • 1.1 節：Fourier 主張的原始場景（熱傳導）。
  • 1.3 節：正交性——把「求係數」變成「求投影」，是爭議中第三條異議的解藥。
  • 2.2 節：Dirichlet 定理——逐點收斂的精確裁決書。
  • 3.2 節：一致收斂——「光滑性遺傳」何時成立的精確條件。
  • 3.3 節：Fejér 定理——換一種「和法」（Cesàro 平均），繞過逐點收斂的困難。
  • 9.2 節：弦振動論戰的 PDE 全景與 d'Alembert 通解。
  • 微積分教材 10.1 節：Cauchy–Weierstrass 嚴格化運動，本節爭議正是其動力之一。

練習#

  1. 驗證 \(1 = \frac{4}{\pi}\left(\sin x + \frac{\sin 3x}{3} + \frac{\sin 5x}{5} + \cdots\right)\) 在 \(x = \pi/4\) 處的收斂：計算前三項部分和，與 1 比較。
  2. 用例題的方法，討論級數在 \(x = 0\) 附近需要多少項才能使 \(S_N(x)\) 超過 \(0.9\) （取 \(x = 0.01\) 、 \(0.05\) 、 \(0.1\) ），歸納出所需項數與距離的關係。
  3. Lagrange 以冪級數定義函數。舉出一個函數，其 Taylor 級數處處收斂但不收斂到函數本身（提示： \(e^{-1/x^2}\) ， \(x\neq 0\) ； \(f(0)=0\) ），說明這個反例如何動搖 Lagrange 的函數帝國。
  4. Euler 說「正弦級數的每一項都是奇函數且光滑，故其和是奇函數且光滑」。前半句（奇性）對無窮和成立，後半句（光滑性）不成立。請用例題 1.2.1 說明兩者的差別何在。
  5. 思考題：如果收斂的概念只有「平均誤差趨於零」（ \(L^2\) 收斂）而沒有逐點收斂，d'Alembert 與 Bernoulli 的爭議還存在嗎？

進階研讀：爭議考古學的深化場景#

場景一：Lagrange 手稿中的「隱藏的傅立葉」。1759 年 Lagrange 研究離散弦（ \(n\) 個等距質點）振動時，固有振型為 \(\sin\frac{k j\pi}{n+1}\) （ \(j = 1,\ldots,n\) ），任意初始位移可表為這些振型的有限線性組合（有限維線性代數！）。令 \(n\to\infty\) 時，組合係數的形式極限正是傅立葉係數公式。Lagrange 算出了它卻不承認其意義——因為取極限後「有限組合」變成「無窮級數」，跨過了他不信任的界線。這個案例是「數學家算出正確結果、概念拒絕它」的經典。

場景二：「等式」的多種意義。 \(f(x) = \sum a_n\sin nx\) 中的 \(=\) 至少有四種現代解釋：（1）逐點收斂（2.2 節）；（2）一致收斂（3.2 節，要求 \(f\) 更好：連續且係數衰減快）；（3） \(L^2\) 平均收斂（3.1 節，條件最寬）；（4）Cesàro 算術平均收斂（3.3 節，連續函數全體都成立）。Fourier 說的 \(=\) 在 (3)(4) 意義下最穩固；十八世紀論戰各方心目中各有不同——語義歧義本身就是爭議燃料。

場景三：函數概念的五級演化。級別一：解析式（Euler 早期、Lagrange）；級別二：可畫曲線（Euler 1748 後）；級別三：任意對應關係（Dirichlet 1837： \(x\mapsto\) 值的任意指定）；級別四：Lebesgue 可測函數（1902）；級別五：廣義對象（Schwartz 分配，1945；見第 5 章）。Fourier 1807 年的主張逼出了從一級到二級、三級的跳躍——他的最大貢獻可能不是定理，而是逼出函數概念。

場景四：拒絕表示的定理（反例研究）。存在連續函數，其傅立葉級數在某點發散（du Bois-Reymond，1876；見 3.3 節）。故「一切連續函數的傅立葉級數逐點收斂」不成立，Lagrange 的懷疑在此意義下部分平反。但同樣的連續函數，其傅立葉級數永遠 Cesàro 收斂（Fejér，1900，3.3 節）且 \(L^2\) 收斂——收斂的意義決定勝負，是本場景的總結。

場景五：爭議的工程遺產。今日 MP3、JPEG、通信系統都用「分解為正交模態」的思想，而工程師選基時的第一問正是「什麼意義的收斂」：能量意義（ \(L^2\) ）主導壓縮，逐點意義主導波形顯示。弦振動論戰的現代版就是「你要逼近什麼、在哪個度量下逼近」——需求分析即數學的收斂選擇。

補充：論戰人物小傳速寫#

  • d'Alembert：百科全書副主編，數學與啟蒙哲學的雙棲人物；他對弦方程的處理已暗含波傳播的特徵線思想（9.2 節）。
  • Euler：史上最多產的數學家（約 850 種著作），函數記號 \(f(x)\) 的發明者；他在論戰中同時使用了古典與革命兩種函數觀而不自覺。
  • Daniel Bernoulli：流體力學（Bernoulli 定律）與醫學背景，把「固有模態」從聲學帶進數學；他是「疊加萬能」的第一位倡議者。
  • Lagrange：都靈出生的法語系義大利人，變分法的奠基者；他一生追求「免除圖像與直觀的分析」，結果正是這份純潔性使他錯失傅立葉革命。
  • du Bois-Reymond（1818–1896）：反例製造大師，1876 年的發散例子證明逐點收斂的疆界；他同時是 1872 年「測不準直覺」（誤差傳播）的先驅。

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

  • 弦振動論戰：1746–1790 年間關於「弦的通解中 \(\phi\) 是什麼」的爭議。
  • 可畫曲線：Euler 提出的「隨手畫出即合法」的函數概念。
  • 解析函數（Lagrange 意義）：可展開為收斂冪級數的函數。
  • 部分和 \(S_N(x)\) ：級數前 \(N\) 項的和；其極限行為是收斂問題的全部。
  • 中點值性質：傅立葉級數在間斷點收斂於左右極限的平均。
  • 光滑性遺傳（誤謬）：誤以為級數各項的性質必遺傳給其和。
  • 一致收斂：整體同步收斂，是遺傳論證的正確前提（3.2 節）。
  • 逐點收斂：每個固定點上收斂，但速率可以隨點劇變。
  • Cesàro 收斂：部分和的算術平均收斂，比逐點收斂更「寬容」（3.3 節）。
  • 發散反例：du Bois-Reymond 的連續函數，其傅立葉級數在某點發散。

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

  • 1746：d'Alembert 發表弦振動方程與通解。
  • 1748：Euler 提出「可畫曲線」函數觀。
  • 1753：Daniel Bernoulli 提出模態疊加的主張。
  • 1759：Lagrange 參戰，計算中暗含傅立葉係數。
  • 1797：Lagrange《解析函數論》，冪級數函數帝國成型。
  • 1807：Fourier 宣讀熱傳播論文，衝突爆發。
  • 1812：Fourier 得獎論文仍被扣發。
  • 1821：Cauchy《分析教程》——爭議所需語言誕生。
  • 1822：《熱的解析理論》出版。
  • 1829：Dirichlet 收斂定理——論戰的數學裁決。
  • 1837：Dirichlet 正式定義「任意對應」的函數。
  • 1876：du Bois-Reymond 連續函數反例。
  • 1900：Fejér 定理（3.3 節）。

深化問答三則#

問：Lagrange 反對的真正死因是什麼？ 答：不是計算錯誤——他的離散弦計算完全正確。死因是概念投資：他花了畢生精力建立冪級數函數論，若承認 Fourier 的觀點，就要同時承認（1）函數不必解析、（2）無窮和可改變性質、（3）自己 1797 年的書前提作廢。科學史上老人抵制新概念，常不是智力問題而是沉沒成本問題。

問：如果 Euler 活到 1822 年，他會接受 Fourier 嗎？ 答：很可能部分接受。Euler 的函數觀本來就比 Lagrange 寬（可畫曲線），且他生前已算過許多三角級數求和（如 \(x = 2\sum(-1)^{n+1}\sin nx / n\) 的鋸齒級數出現在他 1755 年的微分學課本中！）。Euler 缺的只是「收斂」的嚴格語言——與 Fourier 相同。論戰各方共同缺少的從來是語言，而非勇氣。

問：這場爭議對今天學生有什麼操作層面的教訓？ 答：三條。（1）寫「 \(f(x) = \sum\cdots\) 」前先想清楚收斂意義；（2）「每項都有的性質」不等於「和有的性質」，除非有一致收斂等前提；（3）遇到反直觀主張（如折線=正弦之和），動手算部分和數值——Fourier 的勝利方法，永遠可用。

（本節完）