7.1.4 Initial Conditions and Particular Solutions (初始条件与特解)

理解初始条件的作用，学会利用给定条件从通解中确定特定问题的解

定义

初始条件与特解是微分方程求解中的核心概念。初始条件是指在某个特定点处因变量的已知值，通常表示为 \(y(t_0) = y_0\) 或 \(y(x_0) = y_0\)。通解是微分方程的含有任意常数的解，而特解是通过将初始条件代入通解中，确定任意常数后得到的唯一解。在实际建模中，初始条件反映了问题的初始状态，使得我们能够从无穷多个可能的解中选出符合实际情况的特定解。对于一阶微分方程 \(\frac{dy}{dt} = f(t, y)\)，给定初始条件 \(y(t_0) = y_0\) 后，通常存在唯一的特解满足该条件。

核心公式

• \(["\)\frac{dy}{dt} = f(t, y), \quad y(t_0) = y_0\(", "\)y(t) = y_c(t) + y_p(t)$，其中 \(y_c(t)\) 为齐次解，\(y_p(t)\) 为特解", "\(y(t) = Ce^{kt} + y_p\)（一阶线性齐次方程的通解形式）", "\(y(t_0) = y_0 \Rightarrow C = \frac{y_0 - y_p}{e^{kt_0}}\)（代入初始条件求常数）", "\(y(t) = y_0 e^{k(t-t_0)} + \int_{t_0}^{t} e^{k(t-s)} f(s) ds\)（含初始条件的积分形式解）"]$

易错点

• ⚠️ 忘记代入初始条件求解任意常数，直接给出含有 \(C\) 的通解作为最终答案，导致失去特解的唯一性
• ⚠️ 在代入初始条件时计算错误，特别是当初始条件不在 \(t=0\) 处时，容易在指数函数的指数部分出错（如写成 \(e^{kt}\) 而非 \(e^{k(t-t_0)}\)）
• ⚠️ 混淆初始条件和边界条件，或在分段问题中对不同区间使用错误的初始条件
• ⚠️ 在求解含有初始条件的微分方程时，忽视解的存在唯一性定理的适用条件，导致对解的性质判断错误