7.5.5 Singular Solutions

识别和处理奇解（使 h(y)=0 的解），这些解在分离变量过程中可能丢失

定义

奇解（Singular Solution）是指在求解可分离变量的微分方程时，通过分离变量和积分得到的通解中无法表示的解。具体地，对于形如 \(\frac{dy}{dx} = f(x)g(y)\) 的可分离微分方程，当我们进行变量分离得到 \(\frac{dy}{g(y)} = f(x)dx\) 时，如果存在某个常数 \(c\) 使得 \(g(c) = 0\)，那么 \(y = c\) 是一个奇解。奇解对应于分母为零的情况，在分离变量过程中被排除，但它们确实满足原微分方程。识别奇解的关键是找出所有使 \(h(y) = 0\) 的常数解（其中 \(h(y) = \frac{1}{g(y)}\)），这些常数解通常是通过令 \(\frac{dy}{dx} = 0\) 并求解得到的。

核心公式

• \(\frac{dy}{dx} = f(x)g(y)\)
• \(\frac{dy}{g(y)} = f(x)dx\)
• \(y = c \text{ 是奇解} \Leftrightarrow g(c) = 0 \text{ 且 } \frac{dy}{dx}\bigg|_{y=c} = 0\)
• \(\int \frac{dy}{g(y)} = \int f(x)dx + C \text{ （通解，不包含奇解）}\)
• \(\text{完全解} = \text{通解} \cup \{\text{所有奇解}\}\)

易错点

• ⚠️ 忽视奇解的存在：学生在求解可分离微分方程后，只给出通解而遗漏了奇解。需要记住，通解中的任意常数无法覆盖所有使 \(g(y)=0\) 的解。
• ⚠️ 错误地认为所有常数解都包含在通解中：学生可能认为通过调整任意常数 \(C\) 可以得到所有解，但实际上奇解是在分离变量时被排除的，不能通过改变 \(C\) 得到。
• ⚠️ 在验证解时遗漏检查：学生求出候选的奇解后，没有代入原微分方程验证其是否真的满足方程，导致给出不正确的解。
• ⚠️ 混淆奇解与通解的关系：学生可能不理解为什么奇解不在通解的参数族中，或者错误地将奇解视为通解的特殊情况。