二阶常系数齐次方程的特征方程 r²+pr+q=0 及三种解族

1. 明确问题：我们要解决什么？

处理一个形如 $y'' + py' + qy = 0$ 的微分方程，其中 $p$ 和 $q$ 是常数。我们的目标是找到函数 $y(x)$，使得将它及其导数代入方程后，等式恒成立。

2. 核心方法：构造特征方程

记住解这类方程的“万能钥匙”：直接写出与之对应的代数方程——特征方程。

1. 对照原微分方程 $y'' + py' + qy = 0$。
2. 进行一项简单的“翻译”操作：将 $y''$ 替换为 $r^2$，将 $y'$ 替换为 $r$，将 $y$ 替换为数字 $1$。
3. 得到特征方程：$r^2 + pr + q = 0$。

这个一元二次方程的根 $r_1$ 和 $r_2$（可能相等，也可能是复数），将直接决定原微分方程通解（全部解的集合）的形式。

3. 求解特征根并分类

求解特征方程 $r^2 + pr + q = 0$。使用求根公式：

$$ r = \frac{-p \pm \sqrt{p^2 - 4q}}{2} $$

计算判别式 $\Delta = p^2 - 4q$ 的值。根据 $\Delta$ 的符号，解的情况分为三种，对应原方程的三种解族。

4. 第一种解族：两个不相等的实根

判断条件：$\Delta > 0$。

1. 计算得到两个不相等的实数根 $r_1$ 和 $r_2$。
2. 写出原微分方程的通解：
   $$ y = C_1 e^{r_1 x} + C_2 e^{r_2 x} $$
   其中 $C_1$ 和 $C_2$ 是任意常数。这个公式告诉我们，解是由两个以不同指数函数为基础“混合”而成的。

5. 第二种解族：两个相等的实根（重根）

判断条件：$\Delta = 0$。

1. 计算得到一个实数根 $r_1 = r_2 = r$（重根）。
2. 注意：如果直接套用第一种形式，两个项就一样了，无法形成两个独立的“基础解”。因此需要添加一个修正项。
3. 写出原微分方程的通解：
   $$ y = (C_1 + C_2 x) e^{rx} $$
   关键在于因子 $x$，它使得 $(C_1 e^{rx})$ 和 $(C_2 x e^{rx})$ 成为两个线性无关的解。

6. 第三种解族：一对共轭复根

判断条件：$\Delta < 0$。

1. 计算会得到一对共轭复数根：$r_1 = \alpha + \beta i$ 和 $r_2 = \alpha - \beta i$，其中 $\alpha = -\frac{p}{2}$，$\beta = \frac{\sqrt{4q - p^2}}{2}$。
2. 利用欧拉公式 $e^{ix} = \cos x + i \sin x$，可以将复数指数函数转化为实数函数。
3. 写出原微分方程的实数通解形式：
   $$ y = e^{\alpha x} (C_1 \cos \beta x + C_2 \sin \beta x) $$
   这个解描述了一种振幅随时间变化（由 $e^{\alpha x}$ 控制）的振荡行为。

7. 实战操作步骤总结

面对一个具体的方程 $y'' + py' + qy = 0$，执行以下步骤：

1. 写出特征方程：$r^2 + pr + q = 0$。
2. 计算判别式 $\Delta = p^2 - 4q$。
3. 求解特征根 $r_1, r_2$。
4. 根据 $\Delta$ 的符号，代入对应的通解公式：
   • $\Delta > 0$：$y = C_1 e^{r_1 x} + C_2 e^{r_2 x}$
   • $\Delta = 0$：$y = (C_1 + C_2 x) e^{r x}$
   • $\Delta < 0$：$y = e^{\alpha x} (C_1 \cos \beta x + C_2 \sin \beta x)$
5. 完成。所得即为包含两个任意常数 $C_1$、$C_2$ 的通解，代表了该微分方程的所有可能解。