的唯一性_Picard存在唯一性定理(1)

我们假定读者已经掌握了一阶微分方程的初等积分法，并能解决几类特殊的方程。但是，对于很多形式上很简单的方程，如：

，我们无法通过初等积分法求解。因此，我们自然而然会问：一个不能用初等积分法求解的微分方程的初值问题(柯西问题)是否一定有解？或者，我们可以添加什么条件使得这样的方程有解？当问题有解时，它的解又是否唯一呢？毫无疑问，这是很基本的问题。不解决这个问题，对微分方程的进一步研究(无论是定量的还是定性的)就无从谈起。柯西(Cauchy,1789-1857)在19世纪20年代第一个成功地建立了微分方程初值问题解的存在和唯一性定理(因此，后人把初值问题称为柯西问题)。在1876年李普希兹(Lipschitz,1832-1903)减弱了柯西定理的条件。而在1893年皮卡(Picard,1856-1941)用逐次逼近法在李普希兹条件下对定理给出了一个新证明。此外，佩亚诺(Peano,1858-1932)在更一般的条件下建立了柯西问题解的存在性定理(不顾及唯一性)。笔者计划依照时间顺序对皮卡定理的证明及其改进做一个详细的介绍，本文为第一部分。

一般地，我们有如下形式的微分方程的初值问题：

其中，

是定义在矩形区域

上的连续函数。

接着，我们对 </