常微分方程

把高阶方程引入速度、加速度等辅助变量后，通常可化为一阶状态方程 $x^{\prime }=F(t,x)$。向量场在每个状态处给出允许的切向量，解曲线必须处处顺着这张“箭头场”前进。存在性关心箭头是否足够连续以拼出轨道，唯一性则要求相邻轨道不能从同一点分叉；这是两个不同层次的条件。

$y^{\prime }=ay$ 的解为 $y(t)=C{e}^{at}$。方程 $y^{\prime }=\sqrt{|y|}$、$y(0)=0$ 有等待任意时间后再离开零点的多组解，说明连续性不足以保证唯一。方程 $y^{\prime }=y^2$ 的解可在有限时间爆破，所以局部存在不等于全局存在。隐式方程或奇异初值问题可能无法化为标准显式系统。时间步进方法公理库常微分方程时间步进框架Time-stepping method for ODE · ODE integrator · Numerical time integration将常微分方程初值问题离散为时间网格上的数值状态与一步或多步更新，并分离流映射、误差层和退出状态。产生的是网格上的数值轨道；满足离散更新并不自动使它成为本页所定义的经典解。

Logistic 方程 $y^{\prime }=ry(1-y/K)$ 的非零解为

展示小种群近似指数增长、接近 $K$ 后逐渐饱和。若初值恰为 $0$ 或 $K$，则得到平衡解。相图只描述轨道几何；改变时间参数可能保留轨迹却改变微分方程，因此不能仅凭画出的曲线判断两个 ODE 等价。

ODE 从导数公理库导数Derivative函数增量比在步长趋零时的极限。关系构造动力系统公理库动力系统Dynamical system以时间加法幺半群对状态空间的作用统一描述离散迭代、流与半流。。自治方程的积分曲线在光滑流形上局部组装为向量场的流公理库向量场的流Flow of a vector field · Local flow把光滑向量场积分为满足局部群律的一参数局部微分同胚族。；完整性正是流能否延伸到所有时间的额外条件。Picard–Lindelöf 定理公理库Picard–Lindelöf 存在唯一性定理Picard-Lindelof theorem · Cauchy-Lipschitz theorem连续且对状态变量局部一致 Lipschitz 的向量场给出常微分方程初值问题的唯一局部解。在连续且对状态局部 Lipschitz 时给出唯一局部解，Grönwall 不等式公理库Grönwall 不等式Gronwall inequality · Grönwall lemma将受自身积分控制的非负函数封闭为显式指数上界。控制解对初值与扰动的依赖，长时间存在仍需增长控制或守恒量。

力学中的位置—速度系统、电路中的电压电流、化学反应的浓度变化都可写成这种状态演化；模型含义不同，但存在唯一性和稳定性问题具有相同数学骨架。ODE 还可携带比一般向量场更强的几何结构：Hamilton 系统公理库Hamilton 系统Hamiltonian system · Hamilton 系统由 Hamiltonian 的梯度经标准辛矩阵生成相空间流的常微分方程系统。用反对称辛矩阵作用于能量梯度生成流，连续轨道同时呈现能量守恒与辛形式保持。结构保持数值方法针对的是这些附加不变量，不能从“它求解一个 ODE”自动推出。