2.1 一根琴弦的爭論：達朗貝爾、歐拉、丹尼爾·伯努利與「函數是什麼」#
問題：撥動的弦是什麼形狀#
十八世紀中葉，音樂在歐洲宮廷文化中地位崇高，撥弦樂器與小提琴的音色問題吸引了頂尖數學家。1747 年，法國的達朗貝爾發表了史上第一個偏微分方程的解：兩端固定的弦，其橫向位移 \(u(x,t)\) 滿足
達朗貝爾證明一般解是 \(u(x,t) = \frac{1}{2}[f(x+ct) + f(x-ct)]\)——波形以速度 \(c\) 向兩邊傳播。這是波動方程，人類解出的第一個重要偏微分方程。
爭論爆發：什麼才算「函數」#
麻煩從「初始形狀 \(f\) 是什麼」開始。四位巨頭給出四種立場：
| 學者 | 立場 | 深層主張 |
|---|---|---|
| 達朗貝爾 | \(f\) 必須是解析表達式 | 解必須「光滑」 |
| 歐拉 | \(f\) 可以是任意「畫出來的」曲線（如撥弦的折線形） | 函數可以是任意的 |
| 丹尼爾·伯努利 | 一切振動都是無窮多個正弦模式的疊加 | 疊加原理是普遍的 |
| 拉格朗日 | 試圖用離散質點鏈避開爭論 | 逼近論的先聲 |
丹尼爾·伯努利主張：弦的任何振動都可以寫成
也就是無窮多個「基頻與泛音」的疊加——這與音樂的泛音列直接對應。歐拉與達朗貝爾激烈反對：一條有折角（甚至不連續）的撥弦曲線，怎麼可能是光滑正弦函數的和？在十八世紀的觀念裡，「函數」等於「解析式」，任意曲線根本不是函數。這場從 1740 年代延續到 1770 年代的爭論，沒有任何一方承認失敗——因為他們各自都對了一半：伯努利的疊加是對的（這需要傅立葉來證明），而歐拉的「任意曲線」也是對的（這需要柯西與狄利克雷重新定義函數）。
為什麼爭論重要：現代分析學的胎動#
這場爭論的結論在半個世紀後才浮現，而它重塑了整個數學：
- 函數概念被解放——函數就是任意給定對應關係的規則，不必有漂亮公式（狄利克雷 1837 年的定義）。
- 疊加原理被證實——傅立葉 1807 年處理熱傳導時，正式展開了三角級數，並算出了係數公式。
- 收斂問題成為新學科——「無窮和是否收斂、收斂到什麼」催生了嚴格分析：柯西的極限定義、魏爾斯特拉斯的 \(\epsilon\) 語言、乃至康托爾的集合論（他研究傅立葉級數的例外集而發明集合論）。
一根琴弦的物理問題，一路通向了十九世紀分析學的嚴格化革命，再通向二十世紀的希爾伯特空間與量子力學——量子力學中波函數按能量本徵態展開的數學，正是伯努利當年主張的疊加。
文化側寫：音樂、沙龍與科學傳播#
這場爭論的舞台是歐洲的科學院與期刊（《柏林文集》《教師學報》），而它的動機之一來自宮廷與市民的音樂生活。提琴製造、歌劇產業、業餘音樂的繁榮，讓「泛音為何和諧」成為有社會需求的問題；啟蒙時代的沙龍文化則讓數學家之間的公開辯論成為一種智識娛樂與聲望機制。科學史家常說這是「音樂推動了數學」的典型案例：藝術提供問題，數學提供答案，而答案最終反哺了遠超出音樂的技術世界。
小結#
| 遺產 | 當時的爭點 | 今天的位置 |
|---|---|---|
| 波動方程 | 如何解 PDE | 聲學、電磁學、地震學的基礎 |
| 三角級數疊加 | 任意曲線能否展開 | 傅立葉分析、MP3、影像壓縮 |
| 函數概念的解放 | 什麼是「合法的」解 | 現代分析學的定義基石 |
爭論的硝煙尚未散去，另一個更龐大的物理領域——天體力學——已經在法國集結了新的數學軍團。拉普拉斯的方程將把偏微分方程帶上更高的榮耀。