Picard–Lindelöf 存在唯一性定理

连续性保证向量场没有突然断裂，足以让轨道存在；Lipschitz 条件则限制相邻状态的箭头差异，使两条从同一点出发的候选轨道无法立即分开。Picard 迭代从常值路径开始，反复把上一条猜测代入右端积分，每轮都加入一层动力学信息；压缩性让这些有限近似收敛到唯一轨道。

“局部”来自证明只在一个小矩形内控制 $f$ 和 Lipschitz 常数。若联合连续和局部一致 Lipschitz 条件在整个开集 $D$ 上成立，便可沿解重复应用局部定理。有限端点处不能延拓的最大解会离开 $D$ 内的每个紧子集；这包括碰近定义域边界或状态无界。只在初始点附近的条件则仅保证这里的局部解。

线性方程 $x^{\prime }=a(t)x+b(t)$ 的连续系数在每个紧时间区间上有界，因此在该时间区间内对全部状态有统一 Lipschitz 常数。每个初值局部唯一，再由线性增长估计延拓到系数定义的整个区间；时间区间无界时，不必存在一个覆盖所有时间的 Lipschitz 常数。相反，

的右端连续但在 $0$ 附近不 Lipschitz。除零解外，还可先在零点停留任意时长再沿非零解离开，说明连续性只够存在，不够唯一。

方程 $x^{\prime }=x^2$ 的右端光滑且局部 Lipschitz，所以初值 $x(0)=1$ 有唯一局部解 $x(t)=1/(1-t)$；它在 $t=1$ 爆破，不能延拓为全局有限解。这个例子同时否定“局部 Lipschitz 自动给全局存在”。Lipschitz 必须针对状态变量 $x$，时间变量只要求与选定版本相匹配的连续性。

对自治常微分方程理路常微分方程Ordinary differential equation · ODE未知函数及其单一自变量导数组成的方程。，定理给出局部流；非自治方程则先得到带起始时刻的双参数演化。唯一性意味着两解若在同一时刻相遇，便在共同存在区间内相同，不能从同一个时空点再次分离。Picard 迭代既是存在性证明，也给出在短时间区间上的构造近似。

Grönwall 不等式理路Grönwall 不等式Gronwall inequality · Grönwall lemma将受自身积分控制的非负函数封闭为显式指数上界。进一步给出解对初值和向量场扰动的定量连续依赖。若要得到全局存在，还需线性增长、有界区域不逃逸或守恒量等额外估计；这些条件不能藏在“由 Picard–Lindelöf”一句之后。

若向量场对状态和参数还有连续偏导，ODE变分方程理路ODE变分方程与参数敏感度Variational equation for ODEs · Smooth dependence of ODE solutions · 常微分方程的初值导数在共同存在窗口中证明非线性ODE对初值和参数可微，构造齐次与非齐次变分方程，并给出一阶近似的余项控制与失效边界。在共同的紧存在窗口内把连续依赖提升为可微依赖：初值导数满足齐次线性方程，参数导数还带持续注入项。仅有状态Lipschitz时，唯一解映射仍可能不可微。

在有限维状态空间中，删去状态 Lipschitz 条件后，联合连续仍能保证局部经典解存在。Peano 存在定理与 Euler 折线理路Peano 存在定理与 Euler 折线Peano existence theorem · Cauchy–Peano theorem · 佩亚诺存在定理在有限维连续向量场中构造不逃出的 Euler 折线，由一致积分残差与紧性取得经典解，并区分存在性、整列收敛和解误差。在紧圆柱内先控制折线的共同速度，再证明积分残差一致趋零，最后由 Ascoli 取得一条解；这里没有压缩常数，因此不附带本页的唯一性与 Picard 迭代保证。