皮卡定理存在性定理

如果 是一个满足 Lipschitz 条件的连续函数

(1)

在 的邻域内 , 则微分方程

			(2)
			(3)

在区间 内存在唯一解 , 其中 , min 表示最小值, , 而 sup 表示上确界。