7.2.4 Checking Initial Conditions（初始条件检验）¶

验证解函数在给定初始点处的函数值和导数值是否满足初值条件

定义¶

初始条件检验是验证一个给定的函数是否为微分方程的解，并且该解在初始点处满足指定初值条件的过程。具体地，对于初值问题：$\frac{dy}{dx} = f(x, y)$，$y(x_0) = y_0$，需要检验候选解函数 $y = y(x)$ 是否满足以下两个条件：（1）函数值条件：$y(x_0) = y_0$，即解函数在初始点 $x_0$ 处的函数值等于初值 $y_0$；（2）微分方程条件：将 $y(x)$ 及其导数 $y'(x)$ 代入微分方程，验证等式两边是否恒成立。只有同时满足这两个条件，该函数才是给定初值问题的解。

核心公式¶

$y(x_0) = y_0$
$\frac{dy}{dx}\bigg|_{x=x_0} = f(x_0, y_0)$
$\frac{d}{dx}[y(x)] = f(x, y(x))$ 对所有 $x$ 在定义域内成立
$y(x) = y_0 + \int_{x_0}^{x} f(t, y(t)) dt$
$若 $y(x)$ 是初值问题的解，则 $y(x_0) = y_0$ 且 $y'(x) = f(x, y(x))$ 同时成立$

易错点¶

⚠️ 只检验微分方程是否满足，而忽视检验初始条件 $y(x_0) = y_0$。一个函数可能满足微分方程但不满足初值条件，因此不是该初值问题的解。
⚠️ 在计算导数时出错，导致代入微分方程后等式不成立。特别是对复合函数、隐函数求导时容易出现符号错误或遗漏项。
⚠️ 混淆初始点的坐标，将初值条件 $y(x_0) = y_0$ 中的 $x_0$ 和 $y_0$ 搞反，或在代入时使用错误的初始点。
⚠️ 对于参数形式的解，忘记检验参数值是否满足初始条件。例如，通解中含有任意常数 $C$，需要先用初值条件确定 $C$ 的值，再验证特解。