31存在性定理.docVIP

§3.1 解的存在唯一性定理与逐步逼近法 教学内容：介绍和证明解的存在唯一性定理；近似解的求解以及误差估计。 教学目标：掌握解的存在唯一性定理及其证明方法----Picard逼近法 问题的提出：我们在第二章介绍了一阶微分方程的几种解法，同时告诉我们大量的一阶微分方程不能用初等解法求其通解，而现实中所需要的恰恰是满足某种初值条件的解（包括数值形式的数值解），我们把主要精力集中在cauchy问题 的求解上。与代数方程类似，对于不能用初等解法求解的微分方程，我们往往用数值方法求解（这是以后要学的计算方法的内容之一）。在用数值方法求解cauchy问题之前我们必须要解决两个基本问题。 （1）cauchy问题的解是否存在？如果解不存在，要去求解就毫无意义。后面我们将给出cauchy问题解存在的一般条件。 （2）若已知cauchy问题的解存在，我们还必须进一步确认这样的解是否唯一？由于解不唯一，却要近似的去求其解，其问题也不明确。 例如 ，形式简单，但不能用初等方法求解。 例如 考虑cauchy问题 的解的情况。 易知是方程的解。此外容易验证，或更一般地，函数 都是方程的过点（0，0）而定义于区间上的解，其中是满足上的任意数。 解决问题的意义： 它是常微分方程理论中最基本的定理，具有重大的理论意义； 是进行近似计算的前提与基础，具有重大的实际意义； 定理的证明中给出了解的求解方法——Picard逼近法，具有一般的意义，为求近似解提供了理论依据。 一、解的存在唯一性定理 （一）首先考虑可从一般形式解出 的情形。即考虑导数已解出的一阶微分方程 （3.1） 这里是在矩形域 （3.2） 上的连续函数. 函数成为在上关于满足利普希茨（Lipschitz）条件，如果存在常数，使得不等式 对于所有都成立，称为利普希茨常数。 附注1 如果在上关于满足Lipschitz条件，则在上关于是连续的，有时候也称为Lipschitz连续的。 附注 2 对于给定在上有定义的函数，要依据定义去验证它是否满足Lipschitz条件一般是很困难的。下面我们给出实际应用中容易判断的两个充分条件。 结果1 如果在上关于的偏导数存在且有界，则在上关于满足Lipschitz条件。 结果2如果在上关于的偏导数存在且连续，则在上关于满足Lipschitz条件。 如果在上存在且连续，则在上有界。设在上这时 这里但反过来满足利普希茨条件的函数不一定有偏导数存在。例如，函数在任何区域都满足利普希茨条件，但它在处没有导数。 定理1 如果在矩形域上连续且关于满足利普希茨条件，则方程（3.1）存在唯一的解，定义于区间上，连续且满足初始条件 ， （3.3） 这里。 ………………………………………………………………… ………………………………………………………………… 逐步逼近法的主要思想。 采用皮卡（Picard）逐步逼近法来证明这个定理。为了简单起见，只就区间进行讨论，对于的讨论完全一样。 （1）问题的转化 首先证明求微分方程的初值问题的解 求积分方程的连续解。 （2）构造迭代序列 任取一个连续函数代入上面积分方程右端的，就得到函数 显然也是连续函数。如果，那么就是积分方程的解。否则，我们又把代入积分方程右端的，得到 如果，那么就是积分方程的解。否则，我们继续这个步骤。一般地做函数 （3.4） 这样就得到连续函数序列 （3）证明所作序列的极限为所求 如果，那么就是积分方程的解。如果始终不发生这种情况，我们可以证明上面的函数序列有一个极限函数，即 存在，因而对（3.4）取极限时，就得到 即 这就是说，是积分方程的解。这种一步一步地求出方程的解的方法就称为逐步逼近法（其实质是极限法）。由（3.4）确定的函数称为初值问题（3.1），（3.3）的第次近似解。在定理的假设条件下，以上的步骤是可以实现的。 ………………………………………………………………… …………………………………………………………………下面我们分五个命题来证明定理。 命题1 （问题的转化）设是方程（3.1）的定义于区间上，满足初值条件 ， （3.3） 的解，则是积分方程 （3.5） 的定义于上的连续解。反之亦然。 证明 因为是方程（3.1）的解，故有 两边从到取定积分得到 把（3.3）代入上式，即有 因此，是（3.5）的 定义于上的连续解。 反之，如果是（3.5）的连续解，则有 （3.6） 微分之，得到 又把代入（3.6），得到 ， 因此，是