1.2 弦振动之争：一门学科的诞生现场

1.2 弦振动之争：一门学科的诞生现场

本节摘要：偏微分方程的"解"允许是什么？这个今天写进教科书第一章的问题，在十八世纪曾引发达朗贝尔、欧拉、丹尼尔·伯努利、拉格朗日与傅里叶之间跨越半个多世纪的论战。本节完整复盘这场争论：各方立场、论据、谁在哪个节点被说服，以及它如何把"函数"的概念一步步逼到现代模样。

为什么值得回到争论现场

教科书把弦振动方程的解讲成一页纸的推导，掩盖了历史上它曾是悬而未决的开放难题。回到争论现场的价值有二：其一，你会看到"函数""连续""收敛"这些概念的边界当年有多模糊，从而理解为什么后来需要柯西、狄利克雷来重建分析基础；其二，争论中每一方守护的直觉——通解的一般性、物理可实现性、级数展开的可能性——在今天分别演化为弱解理论、物理解约束与谱方法，边界至今仍在移动。

1747：达朗贝尔写出方程，也埋下争论

1747 年，达朗贝尔发表《关于弦振动的研究》，首次把一小段弦的牛顿第二定律写成偏微分方程：u_tt = c²u_xx。他用的办法是令新变量 ξ = x + ct、η = x − ct 做变量替换，方程在新的坐标下化成 u_ξη = 0，直接积分两次，得到通解

u(x,t) = F(x + ct) + G(x − ct)，

其中 F、G 是"任意函数"。这个推导干净利落，达朗贝尔本人对此很满意。但问题恰恰出在"任意函数"四个字上：十八世纪的"函数"默认是解析表达式——由代数运算、三角、指数等有限次复合给出的公式。达朗贝尔自己就限定初始形状必须由这样的表达式给出。弦若被"随手捏出一个弯"，不对应任何公式，他的通解管不管用？他倾向于不管用。这就给争论留了口子。

欧拉在同一年跟进研究。他比达朗贝尔走得更远：弦可以被人用手指按住任一点拉起再松开，初始形状就是一条"随便画出的曲线"——连续但处处没有解析表达式。欧拉坚持这样的初始形状物理上完全合法，方程的解必须覆盖它们，"任意函数"就该真的任意。达朗贝尔反对：没有公式的曲线连二阶导数都未必存在，代进方程都成问题，谈何求解。两人通信争论多年，谁也没说服谁。

1753：伯努利的正弦级数搅动战局

1753 年，丹尼尔·伯努利抛出第三种立场。他从物理出发：弦的规则振动模式（最低音及其泛音）是驻波，形状为 sin(nπx/L) 乘以随时间振荡的因子，n 取遍正整数。伯努利声称：弦的一般运动就是这些驻波的叠加——

u(x,t) = Σ b_n sin(nπx/L) cos(nπct/L)。

在他看来这是物理真理：耳朵听到的正是基音与泛音的混合，解自然应是泛音的叠加。欧拉立刻指出要害：如果这个级数要对任意初始形状成立，那就意味着任何（欧拉意义下的）曲线都能展开成正弦函数的无穷级数——可两个函数相等就该逐点相等，有限个正弦函数的和是光滑的周期函数，怎么可能拼出带拐角、不周期的曲线？欧拉认为这不可能。达朗贝尔更是根本不接受非解析的展开。伯努利拿不出数学证明，只有物理直觉，论战陷入三方僵局。

拉格朗日 1759 年加入，用自己关于声音传播的研究试图裁决，其论证复杂且后来被发现有漏洞，反而把水搅得更浑。此后近半个世纪，"任意函数能否展开为三角级数"成了悬案。

1807：傅里叶把级数推向舞台中央

转机来自一个"不相干"的问题。1807 年，傅里叶向巴黎科学院提交关于热传导的论文，为解热方程（下一章的主角），他系统性地主张：任意函数都可以表示为三角函数级数，并给出了系数的计算办法——正是今天傅里叶系数公式。他甚至处理了方形波这类带跳跃的函数，指出级数在跳跃点收敛到左右极限的平均值。

傅里叶的系数公式伯努利一系的人其实零星写过，但傅里叶做了两件决定性的事：一是明确主张展开的普适性并大规模实践，二是把三角级数从"弦的泛音"这一物理特例，抽象成独立的数学工具。科学院委托拉格朗日、拉普拉斯等人评审，拉格朗日仍坚持级数只能表示光滑周期函数，论文未获通过。但傅里叶没有放弃，1822 年出版《热的解析理论》，级数思想随热学问题的声望广泛传播。

真正的收尾者是狄利克雷。1829 年他给出严格定理：分段单调且有界的函数，其傅里叶级数在每一点收敛，且在连续点收敛到函数自身。至此，"任意（相当广泛的）函数都能展开为三角级数"有了坚实根据，欧拉当年"有限个正弦拼不出带角曲线"的直觉错在哪里也清楚了：无穷多个光滑函数的极限，完全可以不光滑——极限运算会改变函数空间的边界。

图解：论战时间线

各方立场对今天的投影

把争论翻译成现代术语，会发现每一方都没有输，只是各自的主张长成了不同的学科分支：

第二章将登场的弱解理论，可以看作欧拉直觉的极致化：允许解不光滑到"连逐点求导都不行"，只在积分意义下满足方程。而第四章的谱方法，则是伯努利路线的计算化：干脆把解投影到正弦函数基上做数值。历史在这里不是故事，是目录。

复盘：论战教会我们的三件事

定义先于解题。 三方争了半个多世纪，根子在于"函数"没有公认定义。学科的地基常常不是某条定理，而是一个终于被说清的概念。今天讨论数值结果时先问"误差在什么范数下衡量"，是同一个纪律。

物理直觉与数学严格互为脚手架。 伯努利的物理耳朵（听得见泛音）指对了方向，狄利克雷的证明把它焊牢。缺了任何一方，三角级数要么是无据的猜想，要么是没有来路的技巧。本册"推导与数值互证"的主调，承的正是这个传统。

"不可能"的判断要小心极限运算。 欧拉的反驳在有限和范围内无懈可击，错在把有限和的性质外推到无穷级数。这个错误模式在数值实践中反复重现——"离散时成立的性质，极限后未必成立"，第四章差分格式的稳定性分析会再次验证它。

⚠️ 常见误读：把这场争论简化为"傅里叶赢了"。事实上傅里叶的主张同样过强——他相信级数收敛到函数处处成立，后来被证明存在反例。收尾的是"收敛到什么、在什么条件下收敛"的精确刻画，而不是一句笼统的"都能展开"。

本节要点

• 争论内核：三方立场对应通解的一般性、初始形状的物理合法性、级数展开的可能性；
• 关键节点：1747 年方程与通解、1753 年三角级数主张、1807 年傅里叶系统化、1829 年狄利克雷收敛定理；
• 概念遗产：函数概念从解析式扩张为现代定义；无穷和可产生不光滑对象；
• 现代投影：经典解、弱解、谱方法三个当代分支，分别承接争论中三方的直觉；
• 方法论教训：先厘清定义再解题；物理直觉需要严格证明背书；有限性质不可随意外推到无穷。

弦的争论留下了级数工具，也留下一个悬而未决的观察：热传导方程里的解会自己变得光滑，波动方程的解却会把初始的棱角原样保持。下一节把这类"性格差异"的主角——三大原型方程——并排放到一起。