7.2.2 Verifying General Solutions（通解验证）¶

验证含有任意常数的通解是否满足微分方程，确认解族包含所有可能的解

定义¶

通解验证是指对含有任意常数的微分方程解族进行验证，确认其是否满足原微分方程。具体地，若函数 $y = f(x, C_1, C_2, \ldots, C_n)$ 包含 $n$ 个独立的任意常数，则需要通过以下步骤验证其为通解：(1) 对 $y$ 进行必要的求导，得到 $y'$、$y''$ 等导数；(2) 将 $y$ 及其各阶导数代入原微分方程；(3) 化简后验证等式是否对所有常数值都恒成立。若验证成功，则该解族为微分方程的通解，它包含了该方程的所有可能解。通解的任意常数个数应等于微分方程的阶数。

核心公式¶

$\frac{dy}{dx} = f(x, y)$ 的通解形式为 $y = g(x, C)$，其中 $C$ 为任意常数
$\frac{d^2y}{dx^2} + p(x)\frac{dy}{dx} + q(x)y = r(x)$ 的通解包含两个独立的任意常数 $C_1, C_2$
$验证通解的充要条件：将 $y = f(x, C_1, C_2, \ldots, C_n)$ 及其导数代入微分方程后，等式对所有常数值恒成立$
$一阶线性微分方程 $\frac{dy}{dx} + P(x)y = Q(x)$ 的通解为 $y = e^{-\int P(x)dx}\left(\int Q(x)e^{\int P(x)dx}dx + C\right)$$
$可分离变量方程 $\frac{dy}{dx} = f(x)g(y)$ 的通解通过分离变量 $\frac{dy}{g(y)} = f(x)dx$ 后积分得到$

易错点¶

⚠️ 忽视对所有任意常数求偏导：学生常常只对 $x$ 求导，忘记对任意常数 $C$ 求偏导（偏导数为0），导致验证过程不完整
⚠️ 代入后化简不彻底：将解代入微分方程后，未能充分化简和整理，无法清晰判断等式是否恒成立，特别是在涉及多个常数的情况下
⚠️ 混淆通解与特解：通解包含任意常数且能表示所有解，而特解是通过初始条件确定常数后的具体解，学生常将两者混淆或验证时标准不清
⚠️ 忽略常数个数与方程阶数的对应关系：$n$ 阶微分方程的通解应包含 $n$ 个独立的任意常数，学生有时验证了错误个数的常数，导致结论错误