叠加原理 —— 齐次线性方程的解会"配对生崽"

本课导读

上一课例题里藏了一个没点破的现象：$e^x$ 和 $e^{-x}$ 都是 $y'' - y = 0$ 的解，而它们的任意线性组合 $c_1 e^x + c_2 e^{-x}$ 也全是解。这不是巧合，是齐次线性方程最珍贵的性质——叠加原理。本课把它说透：为什么解可以相加和数乘、什么叫两个解"线性无关"、以及为什么"两个无关解"就足以生成全部解。这是整座线性理论大厦的地基，下一课的求解技术全站在它上面。预计 40 分钟。

🔧 30 秒回顾 · 本课要用的旧手艺（熟练可跳过）

① 求导的线性：$(af + bg)' = af' + bg'$——求导对"加法和数乘"完全透明。微例：$(3\cos x + 2\sin x)' = -3\sin x + 2\cos x$。⚠️ 翻车点：没有翻车点，正因它太理所当然，你可能没意识到它就是本课主定理的全部秘密。

② $2 \times 2$ 行列式：$\begin{vmatrix} a & b \\ c & d \end{vmatrix} = ad - bc$（主对角线乘积减副对角线乘积）。微例：$\begin{vmatrix} \cos x & \sin x \\ -\sin x & \cos x \end{vmatrix} = \cos^2 x + \sin^2 x = 1$——例题 2 原式。⚠️ 翻车点：副对角线那项忘了带负号。

③ 三角求导对：$(\sin x)' = \cos x$，$(\cos x)' = -\sin x$。微例：$(\sin x)'' = -\sin x$，所以 $\sin x$ 满足 $y'' + y = 0$。⚠️ 翻车点：$\cos$ 求导丢负号。

叠加原理：解的"配对生崽"权

定理（叠加原理）：若 $y_1$ 和 $y_2$ 都是齐次线性方程

$$y'' + p(x)\,y' + q(x)\,y = 0$$

的解，则对任意常数 $c_1, c_2$，组合 $y = c_1 y_1 + c_2 y_2$ 也是解。

证明短得出乎意料，因为求导本身是线性的（🔧 工具箱 ①）。把 $y = c_1 y_1 + c_2 y_2$ 代入方程左端，逐项整理：

$$(c_1 y_1 + c_2 y_2)'' + p\,(c_1 y_1 + c_2 y_2)' + q\,(c_1 y_1 + c_2 y_2) = c_1 \underbrace{\left(y_1'' + p\,y_1' + q\,y_1\right)}_{=\,0} + c_2 \underbrace{\left(y_2'' + p\,y_2' + q\,y_2\right)}_{=\,0} = 0$$

两个大括号各自为零（因为 $y_1, y_2$ 是解），所以总和为零 ✅。就这么多。

两个反例，划清边界——这份"配对生崽"权是齐次 + 线性两个条件联名授予的，缺一即废：

• 非齐次就失效：$y'' + y = 1$ 有解 $y = 1$（代入：$0 + 1 = 1$ ✅），但 $y = 2$ 不是解（$0 + 2 = 2 \neq 1$）。解的 2 倍不再是解。
• 非线性就失效：对 $y'' + y^2 = 0$，若 $y$ 是解，代入 $2y$ 得 $2y'' + 4y^2$，想让它为零需要 $y'' + 2y^2 = 0$——和原方程矛盾（除非 $y \equiv 0$）。

线性无关：别把一个解数成两个

有了叠加原理，策略呼之欲出：找两个解 $y_1, y_2$，用 $c_1 y_1 + c_2 y_2$ 生成一大片解。但有个陷阱——如果 $y_2$ 本身就是 $y_1$ 的倍数，比如 $y_1 = e^x$、$y_2 = 3e^x$，那么：

$$c_1 e^x + c_2 \cdot 3e^x = (c_1 + 3c_2)\,e^x$$

看着有两个常数，实际只有一个自由度——两个"人"其实是同一个人和他的影子。这样的组合钉不住两个初始条件。

定义：若 $y_1, y_2$ 互不为对方的常数倍，称它们线性无关（linearly independent）；否则线性相关。

肉眼判定通常够用（$e^x$ 和 $e^{2x}$？不是倍数关系，无关）。但也有肉眼拿不准的时候，于是有一台专用检测仪——Wronskian 行列式：

$$W(y_1, y_2)(x) = \begin{vmatrix} y_1 & y_2 \\ y_1' & y_2' \end{vmatrix} = y_1 y_2' - y_1' y_2$$

判定法：若 $y_1, y_2$ 是同一个齐次线性方程的解，则它们线性无关 $\iff$ $W \neq 0$。（对方程的解，$W$ 还有个贴心性质：要么恒为零，要么处处非零，不会时零时不零——所以随便挑一个方便的点算就行。）

直觉：$W = 0$ 意味着两行成比例——$(y_2, y_2')$ 是 $(y_1, y_1')$ 的缩放，函数连同导数一起"影子化"了。

主定理：两个无关解 = 全部解

定理（通解结构）：若 $y_1, y_2$ 是齐次线性方程的两个线性无关解（且 $p, q$ 连续），则该方程的每一个解都能写成

$$y = c_1 y_1 + c_2 y_2$$

的形式。这时称 $\{y_1, y_2\}$ 为一组基本解组，上式为通解。

这比叠加原理强得多：叠加原理说组合出来的都是解（不漏进来外人），主定理说所有解都被组合覆盖（一个不漏跑）。为什么两个就够？粗糙的账：解由两个初始条件 $y(x_0), y'(x_0)$ 唯一决定（存在唯一性定理，本课不证），而 $c_1, c_2$ 恰好两个旋钮——$W \neq 0$ 保证这两个旋钮总能调出任意指定的初始条件组合。自由度对上了，一个不多一个不少。

于是齐次方程的求解任务被压缩成一句话：**找到两个线性无关的解，就全部搞定。**至于怎么找——下一课的特征方程是量产它们的流水线。

例题 1 · 给 sin 和 cos 发"基本解组"证书

验证 $y_1 = \cos x$、$y_2 = \sin x$ 构成方程 $y'' + y = 0$ 的基本解组，并写出通解。

第 1 步 · 验证都是解

（🔧 工具箱 ③）$(\cos x)'' = -\cos x$，代入：$-\cos x + \cos x = 0$ ✅；$(\sin x)'' = -\sin x$，同理 ✅。

第 2 步 · 算 Wronskian 验无关

（🔧 工具箱 ②）

$$W = \begin{vmatrix} \cos x & \sin x \\ -\sin x & \cos x \end{vmatrix} = \cos^2 x + \sin^2 x = 1 \neq 0$$

处处非零，线性无关成立。通解：$y = c_1 \cos x + c_2 \sin x$——上一课练习 2 用的正是它，现在你知道了它凭什么敢自称"通"解：主定理担保没有任何解在这个家族之外。

例题 2 · 指数对照组

判断 $y_1 = e^x, y_2 = e^{2x}$（都是 $y'' - 3y' + 2y = 0$ 的解）是否线性无关。

解法展开

$$W = \begin{vmatrix} e^x & e^{2x} \\ e^x & 2e^{2x} \end{vmatrix} = 2e^{3x} - e^{3x} = e^{3x} \neq 0$$

无关 ✅，通解 $y = c_1 e^x + c_2 e^{2x}$。（这个方程哪来的？下一课你会亲手从特征方程里量产出这两个解——先剧透一眼。）

肉眼版：$e^{2x}/e^x = e^x$ 不是常数，所以不是倍数关系——结论一致。日常用肉眼，写证明用 Wronskian。

✍️ 练习

练习 1 · Wronskian 上手

计算 $W(e^{-x},\, x e^{-x})$，并判断这两个函数是否线性无关。

✅ 参考答案

$(xe^{-x})' = (1 - x)e^{-x}$（乘积法则）。

$$W = e^{-x} \cdot (1-x)e^{-x} - \left(-e^{-x}\right) \cdot x e^{-x} = e^{-2x}\left[(1 - x) + x\right] = e^{-2x} \neq 0$$

线性无关 ✅。这对组合 $\{e^{rx},\, xe^{rx}\}$ 请混个眼熟——下一课特征方程出现重根时，它就是救场的基本解组。

练习 2 · 抓出影子解

$y_1 = e^x$ 与 $y_2 = 3e^x$ 都是 $y'' - y = 0$ 的解。用 Wronskian 说明它们不能构成基本解组，并解释 $y = c_1 e^x + c_2 \cdot 3e^x$ 为什么钉不住初值条件 $y(0) = 0,\ y'(0) = 4$。

✅ 参考答案

$W = e^x \cdot 3e^x - e^x \cdot 3e^x = 0$，线性相关，不是基本解组。

代初值：$y = (c_1 + 3c_2)e^x$，记 $k = c_1 + 3c_2$，则 $y(0) = k = 0$ 且 $y'(0) = k = 4$——矛盾，无解。一个自由度接不住两个条件。真正的基本解组是 $\{e^x, e^{-x}\}$（上一课例题），代入可得 $c_1 = 2, c_2 = -2$，即 $y = 2e^x - 2e^{-x}$。

练习 3 · 边界巡逻

$y_1 = 1$ 与 $y_2 = 2$ 都是非齐次方程 $y'' + y = 1$ 的解吗？若把它们相加，$y = 3$ 还是解吗？这说明什么？

✅ 参考答案

$y = 1$：$0 + 1 = 1$ ✅ 是解。$y = 2$：$0 + 2 = 2 \neq 1$ ❌ 不是解（正文反例）。既然 $y_2$ 都不是解，加法免谈；即便拿真解自相叠加也不行——$y = 1$ 加自己得 $y = 2$，刚验过不是解。结论：非齐次方程没有叠加原理。但别灰心，第 4 课会给非齐次方程配一把定制钥匙：齐次通解 + 一个特解。

📝 随堂测验

随堂测验0 / 5 题正确

1. 叠加原理成立的完整前提是？

A任何微分方程都成立B只要方程是线性的，齐次与否无所谓C方程既是线性的、又是齐次的（右端为零）D只要方程是二阶的

2. 叠加原理的证明之所以只有一行，本质是因为？

A求导运算本身是线性的：$(c_1 y_1 + c_2 y_2)$ 的各阶导数可以拆开重组B所有微分方程的解都能相加C二阶方程恰好有两个解D使用了存在唯一性定理

3. 两个解 $y_1, y_2$ 线性相关（互为常数倍）时，组合 $c_1 y_1 + c_2 y_2$ 的问题在于？

A组合不再是方程的解B组合会发散C计算 Wronskian 会无穷大D实际只有一个自由度，无法同时钉住两个初始条件

4. $W(e^x, e^{2x})$ 等于？

A$0$B$e^{3x}$C$3e^{3x}$D$e^{2x}$

5. “通解结构定理”比叠加原理强在哪里？

A它对非线性方程也成立B它不需要两个解线性无关C叠加原理只保证组合出的都是解，它进一步保证所有解都被 $c_1 y_1 + c_2 y_2$ 覆盖，无一漏网D它给出了求解的具体计算方法

本课小结

• 叠加原理：齐次线性方程的解可自由线性组合，证明只用"求导是线性的"一件事；非齐次或非线性都会没收这份权利
• 线性无关 = 互不为常数倍；检测仪 Wronskian $W = y_1 y_2' - y_1' y_2$，对解而言 $W \neq 0 \iff$ 无关（且要么恒零要么处处非零）
• 通解结构定理：两个线性无关解 $\{y_1, y_2\}$（基本解组）生成全部解 $y = c_1 y_1 + c_2 y_2$——自由度与两个初始条件恰好对齐
• 求解齐次方程的任务书就一行：找两个线性无关的解
• 记住练习 1 的组合 $\{e^{rx}, xe^{rx}\}$——下一课重根救场要用

下一课上生产线：对常系数方程 $ay'' + by' + cy = 0$，一个指数猜想把解方程变成解一元二次方程——判别式的三种情况，对应三种截然不同的世界。