二阶方程初见 —— 以及一场"齐次"术语撞车事故

本课导读

欢迎来到二阶微分方程。S5 里方程只含一阶导数 $y'$；从本课起，$y''$ 正式登场——它不是难度的简单加倍，而是打开了一整个新世界：振动。弹簧、秋千、电路、桥梁的晃动，全是二阶方程的地盘。本课先把地基打好：什么是二阶方程、"线性"和"齐次"在这里指什么，并且正面处理一场术语事故——"齐次"这个词你在 S5 见过一次，这里它换了个意思。预计 40 分钟。

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

① 验证解三步曲（S5 第 1 课）：求出所需的各阶导数 → 代入方程两边 → 确认恒等式对定义域内所有 $x$ 成立。微例：验证 $y = e^{2t}$ 满足 $y' = 2y$——本课例题 1 是它的二阶版。⚠️ 翻车点：只代了几个具体的 $x$ 值就宣布验证完成。

② 指数求导：$(e^{kx})' = ke^{kx}$，再导一次 $(e^{kx})'' = k^2 e^{kx}$。微例：$(e^{-x})'' = e^{-x}$——例题 1 马上原样用。⚠️ 翻车点：二阶导忘了乘两次 $k$，负号平方后还写负。

③ 二元一次方程组：两个方程钉两个未知数。微例：$c_1 + c_2 = 2$ 且 $c_1 - c_2 = 0$ 推出 $c_1 = c_2 = 1$——例题 2 定初值常数原式。⚠️ 翻车点：相减消元时符号抄错。

为什么世界偏爱二阶

S5 的方程都在回答"变化率由什么决定"。但物理学的地基——牛顿第二定律——说的是另一件事：

$$F = ma = m\,\frac{d^2 x}{dt^2}$$

力决定的不是速度（$x'$），而是加速度（$x''$）。所以只要你用牛顿定律建模——弹簧、单摆、行星、电路里的电感——写出来的天然就是二阶方程。这不是数学家的自我加码，是世界本来的语法。本单元的主线剧情（第 5–7 课的弹簧系统）就从这条定律长出来。

阶数的判定和 S5 完全一样：看最高阶导数。$y'' + 3y' - y = 0$ 是二阶；$(y')^3 = x$ 仍是一阶（幂次不算数，S5 第 1 课的老规矩）。

二阶线性方程：本单元的主角

二阶方程的一般形式 $y'' = f(x, y, y')$ 太野了，什么怪物都装得下。本单元只处理其中驯化程度最高、也最有用的一族——二阶线性方程：

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

"线性"的意思：$y$、$y'$、$y''$ 都以一次幂、不互乘的身份出现，系数只能是 $x$ 的函数。对照几个例子立刻清楚：

方程	线性？	原因
$y'' + 3y' + 2y = e^x$	✅	三位主角各占一项、都是一次
$x^2 y'' + x y' + y = 0$	✅	系数含 $x$ 没关系，主角们仍是一次
$y'' + y\,y' = 0$	❌	$y \cdot y'$ 是主角互乘
$y'' + \sin y = 0$	❌	$\sin y$ 不是 $y$ 的一次幂（这是真实单摆方程！）

"齐次"：右端为零

线性方程 $y'' + p(x)y' + q(x)y = g(x)$ 中，右端 $g(x)$ 是唯一不含 $y$ 的项——把它理解成"外部输入"（第 5 课起它就是施加在弹簧上的外力）。据此分成两类：

• $g(x) \equiv 0$：齐次（homogeneous）方程——系统没有外部输入，"自弹自唱"
• $g(x) \not\equiv 0$：非齐次（inhomogeneous）方程——有外部驱动

本单元的行军路线由此确定：第 2–3 课攻齐次，第 4 课攻非齐次，你会看到非齐次的通解 = 齐次通解 + 一个特解，所以齐次是绕不开的地基。

⚠️ 术语撞车：此"齐次"非彼"齐次"

现在必须停下来处理一场事故。"齐次"这个词你在 S5 第 4 课见过——齐次型一阶方程 $y' = F(y/x)$。不幸的是，那个"齐次"和本课的"齐次"毫无关系，纯属历史遗留的一词二用。两边对照：

	S5 第 4 课 · 齐次型方程	本单元 · 齐次线性方程
英文	homogeneous type	homogeneous linear ODE
判定标准	右端只通过比值 $y/x$ 出现	线性方程且右端 $g(x) \equiv 0$
例子	$y' = \dfrac{x^2 + y^2}{xy}$	$y'' + 3y' + 2y = 0$
"齐次"指什么	分子分母次数一致（缩放不变性）	每一项都含 $y$ 或其导数，没有"孤立项"
配套武器	换元 $v = y/x$	叠加原理（下一课）
是否线性	通常不是	一定是（定义的一部分）

判别口诀：看到"齐次型"想 $y/x$ 换元；看到"齐次线性"看右端是不是零。 从本课起，如无特别说明，"齐次"一律指右端为零——S5 那位从此改叫全名"齐次型"。

解二阶方程，需要几个初始条件？

S5 的节奏是"先通解、后用一个初值钉住 $C$"。二阶方程的通解含两个任意常数，所以要钉住它需要两个初始条件——通常是同一点上的函数值和导数值：

$$y(x_0) = y_0, \qquad y'(x_0) = y_1$$

物理上再自然不过：预测弹簧上小球的运动，只知道初始位置不够，还得知道初始速度——位置相同、一个静止一个正在冲刺，后续轨迹天差地别。为什么恰好两个常数？粗糙但好记的理由：从 $y''$ 还原到 $y$ 要"积分两次"，每次积分掉出一个常数。

例题 1 · 验证一族解

验证：对任意常数 $c_1, c_2$，函数 $y = c_1 e^x + c_2 e^{-x}$ 都是方程 $y'' - y = 0$ 的解。

第 1 步 · 求 y″

逐项求导两次（🔧 工具箱 ②：$(e^{kx})'' = k^2 e^{kx}$）：

$$y' = c_1 e^x - c_2 e^{-x}, \qquad y'' = c_1 e^x + c_2 e^{-x}$$

注意 $e^{-x}$ 两次求导：$(-1)^2 = 1$，负号消失，$y''$ 和 $y$ 长得一模一样。

第 2 步 · 代入比对

$$y'' - y = \left(c_1 e^x + c_2 e^{-x}\right) - \left(c_1 e^x + c_2 e^{-x}\right) = 0$$

对所有 $x$、任意 $c_1, c_2$ 成立 ✅。和 S5 一样是"一族解"，但注意排面升级了：两个自由常数，对应一张二维的"解曲线全家福"。

例题 2 · 两个初值钉两个常数

解初值问题：$y'' - y = 0$，$y(0) = 2$，$y'(0) = 0$。（通解就用例题 1 的结果。）

解法展开

通解 $y = c_1 e^x + c_2 e^{-x}$，$y' = c_1 e^x - c_2 e^{-x}$。代入两个条件：

$$y(0) = c_1 + c_2 = 2, \qquad y'(0) = c_1 - c_2 = 0$$

解方程组（🔧 工具箱 ③）：两式相加得 $2c_1 = 2$，故 $c_1 = 1$，$c_2 = 1$。特解：

$$y = e^x + e^{-x}$$

节奏和 S5 完全一致——先通解，后定常数——只是"定常数"从解一个方程升级成解一个方程组。

✍️ 练习

练习 1 · 分类四连

判断下列方程的阶数、是否线性、（若线性）是否齐次：

(a) $y'' + x y' = \sin x$　(b) $y'' + y\,y' = 0$　(c) $x^2 y'' + x y' + y = 0$　(d) $y' = \dfrac{x^2 + y^2}{xy}$

✅ 参考答案

(a) 二阶，线性，非齐次（右端 $\sin x \not\equiv 0$）。 (b) 二阶，非线性（$y\,y'$ 主角互乘），齐次与否无从谈起——"齐次/非齐次"的分类只对线性方程有意义。 (c) 二阶，线性（变系数不碍事），齐次。 (d) 一阶，非线性——但它是 S5 的齐次型（分子分母同除 $x^2$ 得 $y' = \frac{1 + (y/x)^2}{y/x}$）。这就是术语撞车现场：它叫"齐次型"，却和本单元的"齐次"没有半点关系。

练习 2 · 验证 + 初值

已知 $y_1 = \cos x$ 和 $y_2 = \sin x$ 都是 $y'' + y = 0$ 的解（不妨动笔验证其一），解初值问题 $y'' + y = 0$，$y(0) = 3$，$y'(0) = -1$（通解形式为 $y = c_1 \cos x + c_2 \sin x$）。

✅ 参考答案

验证 $y_1$：$(\cos x)'' = -\cos x$，代入得 $-\cos x + \cos x = 0$ ✅。

初值：$y = c_1 \cos x + c_2 \sin x$，$y' = -c_1 \sin x + c_2 \cos x$。代入 $x = 0$：$y(0) = c_1 = 3$，$y'(0) = c_2 = -1$。特解 $y = 3\cos x - \sin x$。（这条解会永远振荡下去——第 5 课你会知道它叫简谐运动。）

练习 3 · 概念题

朋友说："二阶方程要两个初始条件太麻烦了，我给 $y(0)$ 和 $y(1)$ 各指定一个值行不行？"——行不行？

✅ 参考答案

可以，但那是另一类问题：条件给在两个不同点上叫边值问题（boundary value problem），给在同一点的函数值和导数值才叫初值问题。边值问题的解可能不存在也可能不唯一（例如 $y'' + y = 0$，$y(0) = 0$，$y(\pi) = 1$ 无解），性质比初值问题微妙得多，本单元不展开——知道名字、知道"条件放哪里有讲究"即可。

📝 随堂测验

随堂测验0 / 5 题正确

1. 方程 $y'' + (y')^3 + y = 0$ 的阶数是？

A三阶，因为出现了三次方B二阶，阶数看最高阶导数 $y''$，与幂次无关C一阶D无法判断

2. 下列哪个是二阶线性方程？

A$y'' + \sin y = 0$B$y'' + y\,y' = x$C$y' + x^2 y = e^x$D$x\,y'' + e^x y' + 2y = \cos x$

3. 线性方程 $y'' + p(x)y' + q(x)y = g(x)$ 称为“齐次”的条件是？

A$g(x) \equiv 0$B$p(x)$ 和 $q(x)$ 都是常数C右端只通过 $y/x$ 出现D方程两边次数相同

4. S5 的“齐次型”方程 $y' = F(y/x)$ 与本课的“齐次线性”方程，关系是？

A同一个概念的一阶版和二阶版B齐次型是齐次线性的特例C毫无关系，是历史遗留的一词二用，需靠上下文分辨D齐次线性是齐次型的特例

5. 二阶方程的初值问题需要两个条件 $y(x_0)$ 和 $y'(x_0)$，最贴切的物理解释是？

A为了让计算量翻倍B预测运动既需要初始位置也需要初始速度，缺一不可C因为方程里有两个未知函数D只是数学惯例，给一个条件也完全够用

本课小结

• 牛顿定律 $F = mx''$ 决定了物理世界的方程天然是二阶的；阶数判定与 S5 相同（看最高阶导数，不看幂次）
• 本单元主角是二阶线性方程 $y'' + p(x)y' + q(x)y = g(x)$：三位主角一次幂、不互乘
• $g \equiv 0$ 为齐次（无外部输入），否则非齐次；行军路线：先齐次（第 2–3 课）后非齐次（第 4 课）
• ⚠️ 术语撞车：S5 的齐次型（$y' = F(y/x)$，配换元）与本单元的齐次线性（右端为零，配叠加原理）无关，认上下文
• 二阶初值问题要两个条件（位置 + 速度）；节奏仍是"先通解、后定常数"，定常数升级为解方程组

下一课回答一个结构性问题：齐次方程的解为什么可以像向量一样相加和数乘？——叠加原理，线性理论的第一块基石。