概念

皮卡-林德勒夫

Lipschitz 条件下的皮卡迭代收敛到唯一解，是常微分方程理论的地基定理。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

已是本主题的起点

皮卡-林德勒夫常微分方程

01定义

皮卡-林德勒夫定理：当

f(t,y)

关于

y

满足利普希茨条件时，初值问题

y'=f(t,y)

局部存在唯一解。皮卡迭代

\varphi_{n+1}=y_0+\int f(s,\varphi_n)

压缩收敛——不动点方法进入 ODE 的奠基之作。

皮卡迭代：逐次逼近收敛到唯一解曲线

$y'=f(t,y)\iff y=y_0+\int_{t_0}^t f(s,y(s))ds$ ：微分问题化为巴拿赫空间中的不动点问题——压缩映射原理的直接应用。

$|f(t,y_1)-f(t,y_2)|\leq L|y_1-y_2|$ 保证迭代是压缩的；缺失时唯一性失效： $y'=\sqrt{|y|}$ 有无穷多解。

皮卡迭代的离散化即欧拉法；误差估计与步长选择都继承自该定理的证明结构。

\varphi_{n+1}(t)=y_0+\int_{t_0}^t f\bigl(s,\varphi_n(s)\bigr)\,ds

皮卡 1890 年引入逐次逼近法；林德勒夫 1899 年以利普希茨条件给出一般形式；压缩映射的现代表述由巴拿赫 1922 年完成。

一切 ODE 数值求解的理论保证、随机微分方程的构造（同一迭代思想）、机器学习隐式层的不动点求解。

皮卡迭代：逐次逼近解的存在唯一φₙ₊₁ = y₀ + ∫f(t,φₙ)dt：迭代序列收敛到真解 y=eˣ

n 迭代次数1