常微分第三单元第1节.docVIP

第三章 一阶微分方程的解的存在定理 初值问题的解是否存在？如果存在是否唯一？ 举例：的解存在但不唯一，，。 §3.1 解的存在唯一性定理与逐步逼近法 存在唯一性定理 一、显式一阶微分方程 （3.1） 这里是在矩形域 （3.2） 上连续。初始条件：。 利普希茨（Lipschitz）条件定义： 函数f(x,y)称为在R上关于y满足利普希茨（Lipschitz）条件，是指如果存在常数L0，使得不等式 对于所有的都成立。L称为利普希茨常数。 定理1 （存在唯一性定理）如果f(x,y)在R上连续且关于y满足利普希茨条件，则方程（3.1）存在唯一的解，定义于区间上，连续且满足初始条件 （3.3） 这里。 思路： 求解初值问题(3.1)的解等价于积分方程 的连续解。 再证明积分方程解的存在唯一性。 如何求积分方程的解？ 皮卡（Picard）的逐步逼近法来求近似解。 任取一个连续函数，替代上述积分方程右端的，得到 如果，那么是积分方程的解，否则，又用替代积分方程右端的，得到 如果，那么是积分方程的解，否则，继续进行，直到 （3.4） 如果，那么是积分方程的解。如果不发生这种情况，可以得到函数序列 ， 可以证明上面的函数序列有一个极限函数，即 存在。对(3.4)取极限,得到 即，是积分方程的解。 函数序列称为Picard逐步逼近函数序列，称为第n次近似解。 定理分为5个命题证明： 命题1求解初值问题(3.1)的解等价于积分方程的连续解。 命题2 对于所有的，函数在上有定义，连续且满足不等式. 命题3 函数序列在上是一致收敛的. 命题4 是积分方程(3.5)的定义在上的连续解. 命题5 证明积分方程解的唯一性。 命题1 设是方程(3.1)定义于区间上,满足初始条件 （3.3） 的解,则是积分方程 (3.5) 的定义于上的连续解.反之亦然. 证明 因为是方程(3.1)满足的解,于是有 两边取到的积分得到 ，， 即有 ，。 所以是积分方程定义在区间上的连续解. 反之,如果是积分方程(3.5)上的连续解,则 ， （3.6） 由于在上连续,从而连续,两边对求导,可得 而且 , 故是方程(3.1)定义在区间上,且满足初始条件的解. 构造Picard逐步逼近函数序列. （3.7） （称为第n次近似解。） 命题2 对于所有的，（3.7）中的函数在上有定义，连续且满足不等式 . （3.8） 证明 用数学归纳法证明 当时，，显然在上有定义、连续且有 即命题成立. 假设命题2成立，也就是在上有定义、连续且满足不等式 当时， 由假设知，在上有定义、连续,而且有 即命题2对时也成立.由数学归纳法知对所有的均成立. 命题3 函数序列在上是一致收敛的. 证明 构造函数项级数 (3.9) 它的部分和为 于是的一致收敛性与级数(3.9)的一致收敛性等价. (3.10) 设对于正整数,有不等式 成立,则由Lipschitz条件得知,当时,有 于是由数学归纳法可知, 对所有正整数,有 (3.11) 正项级数 收敛,利用Weierstra