n 阶微分方程的初值条件通常给出同一点 x₀ 处 y(x₀)、y′(x₀)…、y^(n−1)(x₀) 的 n 个数据。
n 个初值 → 存在唯一性 → 定义区间
微分方程 / 初值条件
← 返回微分方程三基详解 · 微分方程 初值条件的识别、条件核对与计算路径
初值条件
本页给出标准定义、定理条件、可执行步骤，并用图示梳理从识别到应用的关系。
一、基本概念
标准定义二、基本定理
条件与结论在方程右端满足局部连续性和 Lipschitz 等存在唯一性条件时，给定 n 个独立初值可唯一确定局部解。
条件检查
定理只在上述连续性、可导性、定义域、方向或收敛条件满足时使用。
三、基本方法
题目中的执行顺序- 先写完整通解或建立初值问题。
- 把所有初值代入组成方程组。
- 求出常数后回代，并核对解的定义区间。
例题提示：初值条件不是“随便代一个点”；少条件会留下常数，多条件可能不相容。
四、推广应用
综合题中的连接可推广到边值问题、系统方程和数值初值算法；边值条件不一定给出唯一解。
五、易错辨析
反例与边界易错与例子：初值条件不是“随便代一个点”；少条件会留下常数，多条件可能不相容。
检查条件、变量/方向、边界与等号条件，再确认结论没有超出题设。
公式速查
公式、条件、场景一阶线性
y′+P(x)y=Q(x)
μ=e∫P(x)dx
(μy)′=μQ
μ=e∫P(x)dx
(μy)′=μQ
条件：先整理为标准形式。
场景：一阶线性初值问题。
可分离变量
dy/dx=f(x)g(y)
dy/g(y)=f(x)dx
dy/g(y)=f(x)dx
条件：分离时注意可能遗漏的平衡解。
场景：增长、衰减和简单模型。
二阶常系数
y″+ay′+by=0
r²+ar+b=0
r²+ar+b=0
条件：按特征根类型写齐次通解。
场景：重根、共轭复根和非齐次特解。
使用边界
公式必须和适用条件一起使用；遇到边界、端点、方向或定义域问题，先检查条件再代入。