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

形式陈述

考虑初值问题

x'(t)=f(t,x(t)),\qquad 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$ ，使

\|f(t,x)-f(t,y)\|\le L\|x-y\|

对 $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$ 把一个闭函数球映入自身，且在上确界范数下满足 $\|Tx-Ty\|_\infty\le Lh\|x-y\|_\infty$ 。当 $Lh<1$ 时，Banach 不动点定理给出唯一不动点，即唯一局部解。

直觉

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

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

例子与边界

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

x'=\sqrt{|x|},\qquad x(0)=0

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

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

推论与应用

定理为常微分方程定义局部流：唯一性使不同初值的轨道不能在有限时间交叉后再分离。Picard 迭代既是存在性证明，也给出在短时间区间上的构造近似。

Grönwall 不等式进一步给出解对初值和向量场扰动的定量连续依赖。若要得到全局存在，还需线性增长、有界区域不逃逸或守恒量等额外估计；这些条件不能藏在“由 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。

形式陈述 ​

反向链接

形式陈述