常微分方程第三章.docxVIP

PAGE PAGE # 第三章存在和唯一性定理 .解的［内容提要］ .解的 关于解的延伸定理，它把解的存在唯一性定理所得到的、具有局部性的结果，延伸到全局上去 ?这一 定理无论在微分方程的理论研究和实际应用中，都是很有意义的 ［关键词］存在和唯一性，解的延伸，毕卡逐次逼近法 ［目的和要求］ 1.熟练掌握毕卡逐次逼近法，并用它证明一阶常微分方程初值问题解的存在唯一性定理 2 . 了解右端函数连续性保证初值问题解的存在性，李普希茨条件保证初值问题解的唯一性这些事 实? 理解初值问题解的存在唯一性中解的存在区间的意义，会求其解的存在区间 理解解的延伸概念，理解延伸定理的意义 ? 四?［教学过程］ 在第二章中我们已经讨论了不少寻找微分方程的通解或通积分的方法，但是我们也看出，多数微分 方程是不能通过初等积分法求解的，而很多重要的实际问题又需要用微分方程的解去刻画它 ?为解决这个 矛盾，人们在分析了这些微分方程之后，发现在很多情况下，其实只要能够求出满足一定条件的特解就 行了；在另外一些情况下，即使不去求特解和通解，但若能知道解族的某些性质，问题同样可以得到解 决，例如第八章中将讨论的稳定性问题 ?但要求特解，首先必须证明满足某给定条件的解的存在性和唯一 性?否则，若要求的解根本不存在，而去求解那显然是荒唐的 ?或者即使解存在但不唯一，那也不知取哪一 个好?此外，解的存在唯一性问题如果不得到解决，要想研究整个解族的性质也会有很多的困难 ?这样解的 存在唯一性问题就是一个十分基本的问题，不解决这个问题，对微分方程的进一步研究就无从谈起 ? 关于初值问题，柯西第一个在很一般的条件下，建立了初值问题解的存在与唯一性定理 ?以后皮亚诺 (Pea no)和毕卡(Picard)等人又在更广泛的条件下，分别证明了解的存在性和解的唯一性 § 1 毕卡存在和唯一性定理 dydxf(x,y)关于初值问题 dydx f(x,y) (1-1) (1 -2) 的解的存在唯一性，我们将利用著名的 Picard逐次逼近法来证?此方法的主要思想是在所设条件下，构造 一个连续函数列，它一致收敛的极限函数正好是所求始值问题的解 ?采用这个方法不仅证明了解的存在性, 而且在证明解的存在唯一性的过程中，还提供了求近似解的构造性途径 定理1假设：1) f(x,y)在矩形区域 R: x—x0 兰 a , y — y0 兰 b 内连续，记M 内连续，记M d|y?R f(x, y) , h = min2,^)? 2) f (x, y)对y满足李普希茨条件(或简称李氏条件) ，即存在常数L ? 0 ,使得 f (x, yj —f(x,y2)兰 L% — y2. (「3) 其中(x, yj,(x, y2) R，则方程(1-1)在区间(1-2)的解x - 其中(x, yj,(x, y2) R，则方程(1-1)在区间 (1-2)的解 y = (x). 证明证明步骤如下： 求微分方程的初值问题的解等价于求积分方程 x y =yo + J f(x,y)dx (1.4) x0 的连续解； 在区间x-x0 h上构造一个连续函数序列 yn(x)}，称为毕卡序列； 证明［yn(x) 1在区间x-x0乞h上一致收敛； 证明fyn(x)［的极限函数 (x)是积分方程(1.4)的解； (五)证明满足方程 (1.1)和条件(1.2)的解必为 (x). 求微分方程的初值问题的解等价于求积分方程 (1.4)X (1.4) y 二 y。 f(x,y)dx 6 的连续解. 事实上，设y二y(x)是方程(1.1)的解，故有 警~(x,y(x)),dxy(x。)两边从xq到x 警~(x,y(x)), dx y(x。) 两边从xq到x取定积分得到 X y(x)—y(x。)三 J f (x, y(x))dx， xo y(x) = yo X + X f(x, y(x))dx， xo 因此，y=y(x)是(1.4)的定义在x —x0 wh的连续解. 反之，若 y =y(x)是(1.4)的的连续解，则有 x -x0 兰 h， X — xg 兰 h， Xy(x) X y(x)二 y。 f (x,y(x))dx， xo (1.5) 微分之，得汁 f).又把 微分之，得 汁 f). 又把x=Xo代入(1.5)，得到y(x。)=y。?故y =y(x)是方程(1.1)的定义在 X 一 X。 h上，且满足初值条 件(1.2)的解. 因此，下面我们只需证明积分方程 (1.4)在区间x - X。兰h上有且仅有一个解 (二)在区间x-x。h上，用逐次迭代法构造毕卡连续函数序列 {yn(x)l 取初值yo为零次近似：yo(x) =y°. 利用(1.4)，用零次近似y0代替积分号下的y(x)，得到函数 x yi(x)三 y。+ [