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

形式陈述 ​

考虑初值问题

$$x^{\prime }(t)=f(t,x(t)),x(t_0)=x_0,$$

其中 $f:D\to {\mathbb{R}}^d$ 定义在包含 $(t_0,x_0)$ 的开集 $D\subseteq \mathbb{R}\times {\mathbb{R}}^d$ 上。若 $f$ 在 $(t_0,x_0)$ 邻域联合连续，并且对状态变量 $x$ 局部一致 Lipschitz：存在矩形邻域 $R$ 与常数 $L$，使

$$\Vert f(t,x)-f(t,y)\Vert \le L\Vert x-y\Vert$$

对 $R$ 中同一 $t$ 下的 $x,y$ 成立，则存在 $h>0$，使该初值问题在 $[t_0-h,t_0+h]$ 上存在唯一经典解。

将微分方程改写为积分方程

$$x(t)=x_0+{\int }_{t_0}^{t}f(s,x(s))ds$$

并定义 Picard 算子 $T$。选择足够小的 $h$，可使 $T$ 把一个闭函数球映入自身，且在上确界范数下满足 $\Vert Tx-Ty{\Vert }_{\mathrm{\infty }}\le Lh\Vert x-y{\Vert }_{\mathrm{\infty }}$。当 $Lh<1$ 时，Banach 不动点定理公理库Banach 不动点定理Banach fixed-point theorem · Contraction mapping theorem完备度量空间上的压缩映射具有唯一不动点，且迭代以几何速度收敛。给出唯一不动点，即唯一局部解。

直觉 ​

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

“局部”来自证明只在一个小矩形内控制 $f$ 和 Lipschitz 常数。解可以沿路径继续延拓，直到碰到定义域边界或范数逃向无穷；定理本身没有承诺所有时间上的存在。

例子与边界 ​

线性方程 $x^{\prime }=a(t)x+b(t)$ 在连续系数下对状态变量全局 Lipschitz，因此每个初值局部唯一，并可在系数定义的整个区间延拓。相反，

$$x^{\prime }=\sqrt{|x|},x(0)=0$$

的右端连续但在 $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”一句之后。

参考资料

• Gerald Teschl, Ordinary Differential Equations and Dynamical Systems, American Mathematical Society, 2012，Ch. 2, local existence and uniqueness。
• Philip Hartman, Ordinary Differential Equations, 2nd ed., SIAM, 2002，Ch. 2, existence and uniqueness of initial value problems。