Picard存在和唯一性定理

Banach空间中常微分方程解的存在唯一性定理總婷婷(XX帅X学院数学与鋭计学院,XX,XX,741000)描要:在Banach空同中，常械分方程解的存在唯一性定理中力=｝，初值冋題的解y(f)的变量『在t o-h<t<t o+ht变化，把f的变化X围扩大为心％「5+%, 为此给出f变化X围后的Banach 空间中常做分方程解的存在唯一性定理，并对定理给予明确的证明.关维词:存在唯一;常撤分方程;数学IJ3细袪;皮卡逐步II近法\ Banach空间引言常撤分方程解的存在唯一性定理明确地肯定了在一定条件下方程的解的存在性和唯一性，它是常ta分方程理论中最基本且实用的定理，有其重大的理论怠义，另一方面，它也是近做求解法的前提和理论基硝.对于人们裁知的Banach空同中常撤分方程解的存在唯一性定理,解的存在区同较小,只限制在一个小的球形邻裁内,(球形邻域的半径若为5, U需满足Ld<\,且辭只在以儿为中心以5为半径的冈球B t5(y0) = (yeX|||y-y0||<J)存在唯一，其中X是Banach空间)因此在应用过程中受到了一定的眼制.如今我们尝试扩大了解的存在XIJ.U而使此重要的定理今后有更加广泛的应用.1预备定理我们给岀Banach空同中常做分方程解的存在唯一性定理如下设X是Banach空同，UuX是一f开集.f :U i X上关干 >，满足利普希茨(Lipschitz)条件，即存在常数厶>0,使得不等式］/(/, ”)- /(/, y2)|| <厶卜】一儿||，对于所有y^y2eu部成立.® y.eU ,在u内，以儿为中心作一个半径为“的冈球3心())=© eX|||y-儿||詡’对所有的y e B b(y0)都成立，且有,取h = min{%,%^},则存在唯一的C、曲线y(t)，使得在r0-h<t< t0+h上满足y w B h(y0), 并有y' = /(/,y),y(G)=)b・2结果与证明笔者通il改进对力的限歟即仅取〃 = %/，硕备定理仍然成立,从而使定理的应用进一步广泛.2.1改进条件后的定理定理假设条件同上预备定理，设初值为仇,儿)，则存在唯一的C、曲线y(『),对任恿的G 一%/ ° "u + %r满足y €场(儿),且使得V = /(/, y) , Wo)=儿.显然可有% —〃，心 + 幻 U〔5 - ，心 + % ］，目"min{%,%} •2.2定理舸证明证明证明过程中我们利用皮卡(Picard)逐步逼近法•为了简单起见，只就区同对干区间t.<t<t.+y M的讨论完全一样.2.2.1定理证明的思想现在先简单叙述一下运用皮卡逐步逼近法证明的壬要思想.首先证明条件 H), xu=y0等价于求枳分方程y(Q = %+j\/a，y)〃•⑴再证明积分方程的解的存在唯一性.任取一个儿⑴为连续函数，将它代人方程⑴的右常，可得到函数卩⑴=y(> +J；./■(/,%)〃/,显然，儿⑴也为连续函数•若x⑴=y o(0,1可知y()⑴就是方程⑴的解•若不然，我ill a把川)代人枳分方程⑴的右竭m,y)，可得到函数儿⑴=儿+J；“/(/')〉)/•若y2(0 = >'i(0 JO可知莎⑴就是方程(1)的解•若不然，我们如此下去,可作连续函红儿(/) = + j* ：＞/(/，y”-i M ・(2)这算就得到连续函数列儿(0，”(/)，儿⑴,…，儿⑴，…若畑⑴=儿⑴,那么儿⑴就是枳分方程的解，如果始终不发生眩种悄猊，我们可以证明上面的函数序列有一个极眼函数y(t), fill liin y…(t) = y(f)存在，因而对(2)式两jfi取枚限时,就得到巴y n(0 = y0 + lim J :/(f,y…_,)dt = y0+J ；o lim/(r,儿“)/ =儿 + J ；o/(r,y)dt, 即y(0 = y0 + J；/(心)力謔就是说M)是枳分方程的解•在定理的假设条件下，以上的步骤是可以实现的.2.2.2定理iil明的步骤下面我门分五个命题来证明定理.金題1设y = y(r)是y'5，y)的定义于区同心％““上,满足初值条件〉仇)=儿(3)的解厲y = y(r)是枳分方程W)=儿+ 定义于心一夕缶上的连续解，反之亦衆证明因为y = y(0是方程y' = /(/, y)的解，故有竽5,刃.at对上式两fflU/o到「取定枳分得到W) - W())= J ；＞ /(/，y W ‘ 5 - ％ o()‘把(3)式代入上式,即有y(f) = ＞o+J 财(人曲5-%；"")•⑷因此,y = XO是(4)的定义于上的连续解.反之，如果y = y（f）是⑷的连续解,）心）=儿+J: <t<t0.fit分之，得到弊局）•ata把心心代人⑷式，得到y（G =儿，S此,y = y（r）是方程 H）的定义于区间且満足初值条件（3）的解.金题1込毕.现在取y。

3.1 一阶微分方程存在唯一性定理(Existence and Uniqueness Theorem ofInitial Value Problem of ODE )[教学内容] 1. 上一章内容小结和习题课; 2.介绍研究初值问题解的存在唯一性定理必要性; 3. 介绍柯西解的存在唯一性定理和Picard定理; 4. 介绍定理的证明.[教学重难点] 重点是知道并会运用微分方程初值问题的解的存在唯一性定理，难点是如何引入了解定理的证明思路和过程[教学方法] 自学1、2、3；讲授4、5课堂练习[考核目标]1.知道一阶微分方程的类型及其解法;2. 知道Lipshitz条件和解的存在唯一性定理（柯西版本和Picard版本）;3. 知道Picard定理的证明思路和过程;4. 会用Picard函数序列给出微分方程初值问题的近似函数解.5. 了解和掌握Graonwall积分不等式.1. 一阶微分方程类型及其初等解法小结（1）认识一阶微分方程：一阶线性方程（交换x,y或Bernoulli方程及其他可通过引入变量替换化为一阶线性方程的）、一阶可分离变量型方程（齐次方程以及其他可化为可分离变量型的）、一阶对称形式的恰当方程（通过引入积分因子可化为恰当方程的方程）一阶隐方程（可解出x或y的类型，以及x, y, y’只含有其中两个的方程类型）（2）解法常数变易公式、Bernoulli方程的变量替换分离变量方法、齐次方程的变量替换恰当方程的解法、积分因子的求法隐方程的求导法和参数法（3）例题上述提到的方程类型各举出一个例子来，并用上面的方法来求解，允许一题多解.（4）介绍一些可以化为微分方程来求解的函数方程和积分方程（参见上节讲义）.（5）预告：下周二上午第一节课进行上一章测试，请相互转告.2. 必要准备：数学中的进化论生物上，比如水稻品种一代一代通过基因重组往高产优质方向优化，还有如下图片.在数学上也有类似的进化过程，下面就说一说.（1）考察三次代数方程 x 3+4x-2 0. 该方程没有有理根. 该方程只有唯一实根且落在[0,1]. 下面有两种思路来找到该方程的根.思路一：运用连续函数的零点定理, 记1] [0,]b ,[a 11=表示第一代；将]b ,[a 11平分为两个子区间，取满足如下条件0)f(b )f(a i i ≤⋅子区间作为第二代，即]21 [0,]b ,[a 22=；将]b ,[a 22平分为两个子区间，取满足如下条件0)f(b )f(a i i ≤⋅子区间作为第三代，即]21 ,41[]b ,[a 33=；将]b ,[a 33平分为两个子区间，取满足如下条件0)f(b )f(a i i ≤⋅子区间作为第四代，即]21 ,81[]b ,[a 44=；... ... 这样下去，]b ,[a n n 越来越接近方程的根 x ≈ 0.473466,其中误差就是|a b |n n -.思路二：运用教材P89习题9的结论和证明过程，改写方程为x 42x -3=+，记42x f(x)3+-= 则方程就是f(x)x =，方程的根也就是函数f(x)的不动点. 可以验证f(x)满足教材P89习题9的条件（自行验证）,于是方程的根存在且唯一，下面就用进化的思想来寻找方程的根.选取第一代1x 1=（这里可以选其他实数）；经过进化机制（用f(x)作用一下）得到第二代25.0)f(x x 12==；再经过进化机制（用f(x)作用一下）得到第三代496094.0)f(x x 23≈=；再经过进化机制（用f(x)作用一下）得到第四代469477.0)f(x x 34≈=；再经过进化机制（用f(x)作用一下）得到第五代474131.0)f(x x 45≈=；再经过进化机制（用f(x)作用一下）得到第六代473354.0)f(x x 56≈=；... ... n x 越来越接近方程的根 x ≈ 0.473466.打个比方，把方程的根比作我们想要的某种属性的对象，我们可以通过迭代（进化）过程来把它造出来或找出来。

广州大学2017-2018学年第一学期考试卷参考答案及评分标准课程 常微分方程 考试形式（闭卷，考试）学院 系 专业 班级 学号 姓名_特别提醒：2017年11月1日起，凡考试作弊而被给予记过（含记过）以上处分的，一律不授予学士学位。

一、 填空（5*3分=15分）1. 方程(,)(,)0M x y dx N x y dy +=为恰当微分方程的充要条件是x Ny M ∂∂=∂∂. 2. 若()(1,2,,)i x t i n =为n 阶齐次线性方程1111()()()0n n n n n n d x d xdxa t a t a t x dt dtdt---++++=的基本解组，则该齐次线性方程的所有解可表为112212()()()(),,,,n n n x t c x t c x t c x t c c c =+++为任意常数。

3. 设n 阶常系数齐次线性方程11110n n n n n n d x d xdxa a a x dt dtdt---++++=的特征方程有一对k 重共轭复根i λαβ=±，则它们对应的方程的实值解是11cos ,cos ,,cos ,sin ,sin ,,sin t t k t t t k t e t te t t e t e t te t t e t ααααααββββββ--。

4. 常系数方程组()x Ax f t '=+的通解为0()()(),t tA t s A t x t e c e f s ds -=+⎰ 其中c 为任意常数列向量。

5. 定义微分算子dD dt=。

设()P D 是关于D 的一个n 次多项式，它的逆算子记为1()P D 。

则1()()t e v t P D λ= 1()()t e v t P D λλ+ 。

二、解下列方程（3*10分=30分） 1.1dy dx x y=+ 解：令x y u +=，则原方程化为 1du udx u+=分离变量，得(1)1udu dx u u=≠-+ 积分，得ln |1|u u x c -+=+ … … … （6分） 变量还原，得原方程的通解ln |1|y x y c =+++,c 为任意常数。

Picard存在和唯一性定理本节利用逐次逼近法，来证明微分方程(2.1)的初值问题(2.2)的解的存在与唯一性定理.定理 2.2(存在与唯一性定理)如果方程(2.1)的右端函数在闭矩形域上满足如下条件：(1) 在R上连续;(2) 在R上关于变量y满足李普希兹(Lipschitz)条件，即存在常数N，使对于R上任何一对点和有不等式：则初值问题(2.2)在区间上存在唯一解其中在证明定理之前，我们先对定理的条件与结论作些说明:1. 在实际应用时，李普希兹条件的检验是比较费事的.然而，我们能够用一个较强的，但却易于验证的条件来代替它.即如果函数在闭矩形域R上关于y的偏导数存在并有界，.则李普希兹条件成立，事实上，由拉格朗日中值定理有其中满足，从而.如果在R上连续，它在R上当然就满足李普希兹条件.（这也是当年Cauchy证明的结果）2．可以证明，如果偏导数在R上存在但是无界，则Lipschitz条件一定不满足，但是Lipschitz 条件满足，偏导数不一定存在，如(,)||f x y y 。

3.现对定理中的数h 0做些解释.从几何直观上，初值问题(2.2)可能呈现如图2-5所示的情况. 这时，过点的积图 2-5分曲线当或 时，其中，，到达R 的上边界或下边界.于是，当时，曲线便可能没有定义.由此可见，初值问题(2.2)的解未必在整个区间上存在. 由于定理假定在R 上连续,从而存在于是，如果从点引两条斜率分别等于M 和-M 的直线，则积分曲线(如果存在的话)必被限制在图2-6的带阴影的两个区域内，因此，只要我们取则过点 的积分曲线 (如果存在的话)当x 在区间上变化时，必位于R 之中.图 2-6存在性的证明求解初值问题（2.2）求解积分方程（2.3）.因此，只要证明积分方程(2.3)的连续解在 上存在而且唯一就行了. 下面用毕卡(Picard )逐次逼近来证明积分方程(2.3)的连续解的存在性，可分三个步骤进行:1.构造逐次近似序列.近似序列或写成01()(,())xn n x x y f d ϕξϕξξ--=⎰的每一项都在 上有定义，这是因为 于是．这样，我们在区间上，按逐次逼近手续得到了一个连续函数列(近似序列)2. 证明近似序列在区间上一致收敛.“ 函数序列的一致收敛1．设（1）是定义在I 上的函数序列，若对，数列收敛，则称为序列（1）的收敛点．收敛点的全体叫收敛域．在收敛域上每一点，序列（1）都有极限，这极限形成收敛域上的一个函数，称为极限函数．设此函数为，即2．若对，总存在一个只与 有关的自然数N，使得对I上任何一点，当时，有，则称序列（1）在I上一致收敛．证明分如下二步：（1）序列在上一致收敛级数（2.7）在上一致收敛（级数）．因为级数（2.7）的部分和“ 函数项级数的一致收敛1．设函数项级数（1）在区间I上收敛于和函数，即对，数项级数收敛于，或级数（1）的部分和所组成的数列=由数列极限定义，对，，使得时，有2．级数（1）在I上一致收敛对，，使得对，当时，有．3．若函数项级数（1）的每一项都在I上连续，并且在I上一致收敛，则（1）的和函数在I上连续．（2）级数（2.7）在上一致收敛．用数学归纳法，易证级数（2.7）从第二项开始，每一项绝对值都小于正项级数的对应项，而上面这个正项级数显然是收敛的.所以，由优级数判别法，“ 函数项级数的一致收敛判别法（魏尔斯特拉斯优级数判别法）函数项级数（1）若函数项级数（1）在区间I上满足（I ）；（II ）正项级数收敛．则函数项级数（1）在区间I上一致收敛．数项级数收敛的判别法（比值判别法，达朗贝尔（）判别法）若正项级数的后项与前项的比值的极限等于：则当时级数收敛，时（或）时级数发散；时级数可能收敛，也可能发散．级数(2.7)在区间上不仅收敛，而且一致收敛.设其和函数为，从而近似序列在区间上一致收敛于.由于在区间上连续，因而也是连续的.3.证明是积分方程(2.3)的解，从而也是初值问题(2.2)的解. 在n次近似序列（2.6）两端取极限有因为所以要证明是积分方程（2.3）的解，即成立，只需证明这是由函数(,)f x y 的连续性及Picard 序列()n x ϕ的一致收敛性质保证的。

⼀阶⾮线性常微分⽅程解的存在性定理—Picard-Lindelof定理上⼀节简单介绍了可求解的⼀阶常微分⽅程的解法，因为⼤部分⾮线性⽅程是不可解的，所以需要给出解的存在性的证明。

本节主要介绍⼀阶⾮线性常微分⽅程Cauchy问题（E）dydx=f(x,y),y(x0)=y0.解的存在性定理Picard-Lindelof定理（有的书上称它为Cauchy-Lipschitz定理）. 对⼀阶常微分⽅程解的存在性理论作出重要贡献的数学家有Cauchy、Lipschitz、Picard、Lindelof、Peano等，其中Picard提出的Picard迭代法尤其值得关注。

据传Picard证明Picard—Lindelof定理的原始论⽂⾜⾜有三四百页，后来数学家Banach把Picard的⽅法抽象出来证明了著名的Banach不动点定理。

Banach不动点定理是分析学中最重要的定理之⼀，也是⽤的最多的定理之⼀，它在线性⽅程组求解迭代⽅法的收敛性、常微分⽅程的两点边值问题、隐函数定理、Lax-Milgram定理甚⾄代数⽅程解的存在性等问题中均有重要应⽤。

许多微分⽅程（组）通过转化为等价的积分⽅程再利⽤不动点理论来证明解的存在性。

本节也采⽤这⼀框架来探索⽅程（E）解的存在性。

为此，⾸先利⽤Picard迭代给出Banach不动点定理的证明。

定理1 (Banach) 设X为Banach空间（即完备的赋范空间，完备的意思指所有的Cauchy列均收敛），f:X→X为压缩映射，即存在常数k,0<k<1，对任意x,y∈X有‖f(x)−f(y)‖≤k‖x−y‖,则映射f:X→X有且只有⼀个不动点x∈X.证明：任取x0∈X，构造Picard迭代x n+1=f(x n),n≥0.则‖x n+1−x n‖=‖f(x n)−f xn−1‖≤k‖x n−x n−1‖≤⋯≤k n‖x1−x0‖.设m>n≥0，由三⾓不等式和上式得‖x m−x n‖≤m−1∑p=n‖x p+1−x p‖≤k n1−k‖x1−x0‖,当m,n→∞时，‖x m−x n‖→0, 故序列{x n}为Cauchy列，由X的完备性知存在x∞∈X使得lim f:X\to X满⾜Lipschitz条件，显然连续.故x_{\infty}=\lim_{n\to\infty}x_{n+1}=\lim_{n\to\infty}f(x_{n})=f(\lim_{n\to\infty}x_{n})=f(x_{\infty}).存在性得证。

常微分方程解的存在唯一性定理一阶微分方程⑴其中. 是在矩形域丄」’叭」上的连续函数。

定义1如果存在常数二11，使得不等式”（础）-/（砒）冏肝川对于所有--■■-1--- 都成立，贝U函数/、•称为在二上关于：'满足Lipschitz 条件。

定理1如果「二，在二上连续且关于「满足Lipschitz 条件，则方程（1）存在唯一的解y=叭心，定义于区间M ■阳卜月上，连续且满足初始条件W八-卄 A = r—）M = max' ■-.，这里」f，•心「。

Picard逐步逼近法来证明这个定理的主要思想首先证明求微分方程的初值冋题的解等价于求积分方程的连续解。

然后去证明积分方程的解的存在唯一性。

任取一个连续函数代入上面积分方程右端的,就得到函数俅沪）Vp（Z（）⑴）必，显然J 也是连续函数，如果,那末l:-'就是积分方程的解。

否则，我们又把J二代入积分方程右端的「，得到汀0恥）皿，如果氛沪仍⑴，那末仇⑴就是积分方程的解。

否则我们继续这个步骤。

一般地作函数惦（3.1.1.4）这样就得到连续函数序列，...，〔「」，…如果二, 那末就是积分方程的解。

如果始终不发生这种情况，我们可以证明上面的函数序列有一个极限函数厂：;；1，即'厂…I存在，因而对©Ji/）取极限时，就得到f「打「X FJr=y0+l=y0+祕幼必Jf祕x）=y n+/（X 矶兀））必/ 、即•血，这就是说机x）是积分方程的解。

这种一步一步地求出方程的解的方法就称为逐步逼近法。

函数''■■■■■'称为初值问题的第：次近似解。

命题1设—是方程（1）的定义于区间V —'■'‘上，满足初始条件Jf瞅）=刃的解，则厂曲）是积分方程y=y°+y （2曲碳心砒的定义于V ——'■上的连续解。

反之亦然。

现在取，构造皮卡逐步逼近函数序列如下: 京（X）=丹；保（方=丹+ f于（乙矶_1©）時从“英肿hJ*D（聊=12…）1命题2对于所有的卜，函数在J■:上有定义、连续且满足不等式命题3 函数序列"I「在J ------------ '."上是一致收敛的。

一阶常微分方程解的存在唯一性定理与逐步逼近法3.1.1 存在唯一性定理1）首先考虑导数已解出的一阶微分方程(3.1.1.1)这里是在矩形域(3.1.1.2)上的连续函数。

定义1 如果存在常数，使得不等式对于所有都成立，则函数称为在上关于满足利普希茨（Lipschitz）条件，称为利普希茨常数。

定理3.1 如果在上连续且关于满足利普希茨条件，则方程(3.1.1.1)存在唯一的解，定义于区间上，连续且满足初始条件(3.1.1.3)这里，。

我们采用皮卡（Picard）的逐步逼近法来证明这个定理。

为简单起见，只就区间来讨论，对于的讨论完全一样。

现在简单叙述一下运用逐步逼近法证明定理的主要思想。

首先证明求微分方程的初值问题的解等价于求积分方程的连续解。

然后去证明积分方程的解的存在唯一性。

任取一个连续函数代入上面积分方程右端的,就得到函数，显然也是连续函数，如果,那末就是积分方程的解。

否则,我们又把代入积分方程右端的，得到，如果，那末就是积分方程的解。

否则我们继续这个步骤。

一般地作函数(3.1.1.4)这样就得到连续函数序列：，，…，，….如果，那末就是积分方程的解。

如果始终不发生这种情况，我们可以证明上面的函数序列有一个极限函数，即存在，因而对(3.1.1.4)取极限时，就得到即，这就是说是积分方程的解。

这种一步一步地求出方程的解的方法就称为逐步逼近法。

由(3.1.1.4)确定的函数称为初值问题(3.1.1.1)、(3.1.1.3)的第次近似解。

在定理的假设条件下，以上的步骤是可以实现的。

下面我们分五个命题来证明定理1。

命题1设是方程(3.1.1.1)的定义于区间上，满足初始条件(3.1.1.3)的解，则是积分方程(3.1.1.5) 的定义于上的连续解。

反之亦然。

证明因为是方程(3.1.1.1)的解，故有，两边从到取定积分得到把(3.1.1.3)代入上式，即有因此，是(3.1.1.5) 的定义于上的连续解。

3.1 一阶微分方程存在唯一性定理(Existence and Uniqueness Theorem ofInitial Value Problem of ODE )[教学内容] 1. 上一章内容小结和习题课; 2.介绍研究初值问题解的存在唯一性定理必要性; 3. 介绍柯西解的存在唯一性定理和Picard定理; 4. 介绍定理的证明.[教学重难点] 重点是知道并会运用微分方程初值问题的解的存在唯一性定理，难点是如何引入了解定理的证明思路和过程[教学方法] 自学1、2、3；讲授4、5课堂练习[考核目标]1.知道一阶微分方程的类型及其解法;2. 知道Lipshitz条件和解的存在唯一性定理（柯西版本和Picard版本）;3. 知道Picard定理的证明思路和过程;4. 会用Picard函数序列给出微分方程初值问题的近似函数解.5. 了解和掌握Graonwall积分不等式.1. 一阶微分方程类型及其初等解法小结（1）认识一阶微分方程：一阶线性方程（交换x,y或Bernoulli方程及其他可通过引入变量替换化为一阶线性方程的）、一阶可分离变量型方程（齐次方程以及其他可化为可分离变量型的）、一阶对称形式的恰当方程（通过引入积分因子可化为恰当方程的方程）一阶隐方程（可解出x或y的类型，以及x, y, y’只含有其中两个的方程类型）（2）解法常数变易公式、Bernoulli方程的变量替换分离变量方法、齐次方程的变量替换恰当方程的解法、积分因子的求法隐方程的求导法和参数法（3）例题上述提到的方程类型各举出一个例子来，并用上面的方法来求解，允许一题多解.（4）介绍一些可以化为微分方程来求解的函数方程和积分方程（参见上节讲义）.（5）预告：下周二上午第一节课进行上一章测试，请相互转告.2. 必要准备：数学中的进化论生物上，比如水稻品种一代一代通过基因重组往高产优质方向优化，还有如下图片.在数学上也有类似的进化过程，下面就说一说.（1）考察三次代数方程 x 3+4x-2 0. 该方程没有有理根. 该方程只有唯一实根且落在[0,1]. 下面有两种思路来找到该方程的根.思路一：运用连续函数的零点定理, 记1] [0,]b ,[a 11=表示第一代；将]b ,[a 11平分为两个子区间，取满足如下条件0)f(b )f(a i i ≤⋅子区间作为第二代，即]21 [0,]b ,[a 22=；将]b ,[a 22平分为两个子区间，取满足如下条件0)f(b )f(a i i ≤⋅子区间作为第三代，即]21 ,41[]b ,[a 33=；将]b ,[a 33平分为两个子区间，取满足如下条件0)f(b )f(a i i ≤⋅子区间作为第四代，即]21 ,81[]b ,[a 44=；... ... 这样下去，]b ,[a n n 越来越接近方程的根 x ≈ 0.473466,其中误差就是|a b |n n -.思路二：运用教材P89习题9的结论和证明过程，改写方程为x 42x -3=+，记42x f(x)3+-= 则方程就是f(x)x =，方程的根也就是函数f(x)的不动点. 可以验证f(x)满足教材P89习题9的条件（自行验证）,于是方程的根存在且唯一，下面就用进化的思想来寻找方程的根.选取第一代1x 1=（这里可以选其他实数）；经过进化机制（用f(x)作用一下）得到第二代25.0)f(x x 12==；再经过进化机制（用f(x)作用一下）得到第三代496094.0)f(x x 23≈=；再经过进化机制（用f(x)作用一下）得到第四代469477.0)f(x x 34≈=；再经过进化机制（用f(x)作用一下）得到第五代474131.0)f(x x 45≈=；再经过进化机制（用f(x)作用一下）得到第六代473354.0)f(x x 56≈=；... ... n x 越来越接近方程的根 x ≈ 0.473466.打个比方，把方程的根比作我们想要的某种属性的对象，我们可以通过迭代（进化）过程来把它造出来或找出来。

第三章 一阶微分方程的解的存在定理教学目的讨论一阶微分方程的解的存在与唯一性定理，解的延拓定理，解对初值的连续性与可微性定理，解对参数的连续性定理教学要求掌握存在与唯一性定理及其证明，会用皮卡逼近法求近似解，理解解对初值的连续性与可微性定理，解对参数的连续性定理，了解奇解及其求法。

教学重点几个主要定理的条件及其证明 教学难点逐次逼近法的应用及其思想；应用存在与唯一性定理及解的延拓定理来研究方程的解；奇解及其求法教学方法讲练结合教学法、提问式与启发式相结合教学法。

教学手段传统板书与多媒体课件辅助教学相结合。

课题导入在上一章我们讨论了一阶方程的解的初等积分法。

解决了几个特殊的方程。

但是，对许多微分方程，为22'y x y +=，不可能通过初等积分法求解，这就产生了一个问题，一个不能用初等积分法求解的微分方程是否意味着没有解呢？或者说，一个微分方程的初值问题在何种条件下一定有解呢？当有解时，农的解是否是唯一的呢？毫无疑问，这是一个很基本的问题，不解决这个问题对微分方程的进一步研究，就无从谈起，本章将重点讨论一阶微分方程的解存在问题的唯一定理，§3.1解的存在唯一性定理与逐步逼近法教学目的讨论Picard 逼近法及一阶微分方程的解的存在与唯一性定理，解的延拓定理，解对初值的连续性与可微性定理。

教学要求熟练掌握Picard 逼近法，并用它证明一阶微分方程初值问题解的存在与唯一性定理及其证明，会用Picard 逼近法求近似解， 教学重点Picard 存在唯一性定理及其证明教学难点逐次逼近分析法的应用及其思想.教学方法讲练结合教学法、提问式与启发式相结合教学法。

教学手段传统板书与多媒体课件辅助教学相结合。

一． 存在唯一性定理1．定理1，考虑初值问题),(y x f dxdy= （3.1）00)(y x y =其中f(x,y)在矩形区域R ： b y y a x x ≤-≤-||,||00 （3.2）上连续，并且对y 满足Lipsthits 条件：即存在常数L>0，使对所有R y x y x ∈),(),,(21常存成立，|||),(),(|2121y y L y x f y x f -≤-则初值问题（cauchy 问题）（3.1）在区间h x x ≤-||0上解存在唯一，这里|),(|max ),,min(),(y x f M Mba h R y x ∈==证明思路：1.初值问题（3.1）的解存在等价一动积分方程⎰+=x x dy y x f y y 0),(0（3.5）的连续解。

常微分方程的解的存在唯一性定理常微分方程是数学中一个重要的研究对象，它描述了自变量是连续变化的函数与自变量的导数之间的关系。

研究常微分方程的解的存在唯一性定理是常微分方程理论的基石之一，对于解的存在性和唯一性的判断具有重要的意义。

定理一：皮卡尔(Picard)存在定理假设函数f(x, y)在矩形区域D={(x, y)：a≤x≤b,α≤y≤β}上连续，且满足利普希茨条件：存在正数L，使得在D上任意点(x, y1)和(x, y2)，有|f(x, y1) - f(x, y2)|≤L|y1-y2|。

则初值问题y' = f(x, y)，y(x0) = y0在区间[a, b]上存在唯一的解。

证明：（略）定理二：格朗沃尔(Gronwall)不等式假设函数y(x)满足不等式y(x)≤K+∫[a,x]f(t,y(t))dt，其中K为常数且f(x, y)为非负函数。

则有0≤y(x)≤Kexp(∫[a,x]f(t,y(t))dt)。

证明：（略）根据皮卡尔存在定理和格朗沃尔不等式，我们可以推导出常微分方程解的存在唯一性定理。

定理三：常微分方程解的存在唯一性定理假设函数f(x, y)在区域D上连续，且满足利普希茨条件：存在正数L，使得在D上任意点(x, y1)和(x, y2)，有|f(x, y1) - f(x, y2)|≤L|y1-y2|。

则对于初值问题y' = f(x, y)，y(x0) = y0，在定义区间上存在唯一的解。

证明：（略）常微分方程解的存在唯一性定理的推导过程相对较为复杂，涉及到一些数学理论和定理的运用。

但是这个定理为我们研究和求解常微分方程提供了重要的理论支持，确保了我们在解决实际问题中得到的解是存在且唯一的。

除了皮卡尔存在定理和格朗沃尔不等式外，我们还可以利用其他方法来证明常微分方程解的存在唯一性，比如利用分离变量法、变换方法、级数法等。

在实际应用中，根据具体问题的特点选择适合的方法进行求解。