7.2.3 Verifying Particular Solutions（特解验证）¶
验证满足初始条件或边界条件的特定解，包括确定常数值并检验解的完整性
定义¶
特解验证是指在已知微分方程的通解或候选解的情况下，通过代入初始条件或边界条件来确定任意常数的具体值，从而得到满足特定条件的特殊解。具体过程包括：(1) 对给定的解进行求导，得到所需的导数表达式；(2) 将解及其导数代入原微分方程，验证等式是否恒成立；(3) 利用初始条件（如 \(y(x_0) = y_0\)）或边界条件确定常数值；(4) 检验最终得到的特解是否满足所有给定的条件。特解验证是求解微分方程问题中的关键步骤，确保所得解的正确性和完整性。
核心公式¶
- \(\frac{dy}{dx} = f(x, y)\)，初始条件：\(y(x_0) = y_0\)
- \(y = Ce^{kx} + y_p\)（一阶线性微分方程的通解形式）
- \(y(x_0) = y_0 \Rightarrow C = y_0 - y_p(x_0)\)（利用初始条件确定常数）
- \(\frac{d^2y}{dx^2} + p(x)\frac{dy}{dx} + q(x)y = f(x)\)（二阶线性微分方程的一般形式）
- \(y = y_h + y_p\)（通解 = 齐次解 + 特解）
易错点¶
- ⚠️ 忘记对解进行求导就直接代入微分方程，导致无法验证解的正确性。学生需要先计算 \(\frac{dy}{dx}\)、\(\frac{d^2y}{dx^2}\) 等必要的导数，再代入原方程验证。
- ⚠️ 在确定常数时只使用了初始条件的一部分，或在有多个初始条件时遗漏某个条件。例如在二阶微分方程中，需要同时使用 \(y(x_0) = y_0\) 和 \(y'(x_0) = y_1\) 两个条件来确定两个常数。
- ⚠️ 代入初始条件后计算错误，特别是在处理指数函数、三角函数或复杂代数运算时出现符号错误或化简失误，导致常数值计算不正确。
- ⚠️ 验证特解时只检查了初始条件是否满足，而没有将特解代入原微分方程验证等式是否恒成立，这样无法确保解的完整正确性。