常微分方程解的存在唯一性定理
常微分方程第二章
第二章 基本定理我们在第一章主要学习了初等积分法，掌握了几类常微分方程的解法.但是这些解法只适用于某些特殊的类型，很多其它的常微分方程不能用初等解法进行求解.1841年，法国数学家刘维尔（Liouville ）证明了里卡蒂（Riccati ）方程)0)(()()()(2≠++=x p x r y x q y x p dydx 除了某些特殊的类型外，一般不能用初等积分法求解.例如，很简单的里卡蒂方程22y x dxdy +=就不能用初等积分法求解.自然地，如果一个常微分方程不能用初等积分法求解，那么应该如何处理呢？是否存在解呢？如果存在解，它的解是否唯一呢？解的存在区间是什么呢？初值的微小误差对解有什么影响呢？这些问题在理论的研究和实际应用中，都有着重要的意义.本章将解决这些基本问题. 本章主要介绍解的存在唯一性定理、解的延展定理与比较定理、解对初值的连续依赖性定理以及解对初值的可微性定理，这些定理就回答了我们刚才的疑问，有效的处理解的存在性、唯一性、存在区间、初值对解的影响等问题，为我们使近似解法奠定理论基础，同时这些定理也是常微分方程理论的基础内容，对进一步的学习奠定基础.2.1 解的存在唯一性定理对于一般的常微分方程),(y x f dxdy = （2.1） 如果给出了初始条件00)(y x y =，我们就得到了柯西初值问题⎪⎩⎪⎨⎧==00)(),(y x y y x f dx dy （2.2） 这时，在什么样的条件下，柯西初值问题的解存在且唯一呢？解的存在区间是什么呢？我们有如下的解的存在唯一性定理.2.1.1 存在唯一性定理的叙述定理2.1（存在唯一性定理）如果方程（2.1）的右端函数),(y x f 在闭矩形区域b y y b y a x x a x R +≤≤-+≤≤-00002,:上满足如下条件：（1）在2R 上连续；（2）在2R 上关于变量y 满足李普希兹（Lipschitz ）条件，即存在常数N ，使对于2R 上的任何一对点),(y x 和),(x 有不等式：y y N y x f y x f -≤-),(),(则初值问题（2.2）在区间],[0000h x h x +-上存在唯一解00)(),(y x x y ==ϕϕ 其中),(max ),,min(),(0y x f M Mb a h R y x ∈==. 在给出定理2.1的证明之前，我们先对定理2.1的条件和结论做些说明：1、在两个条件中，条件（2）,即李普希兹条件比较难于验证，因为李普希兹常数N 难以确定.但是，我们可以将该条件加强，替换为：如果函数),(y x f 在闭矩形区域2R 关于y 的偏导数),(y x f y '存在且有界.这样，可以推出李普希兹条件成立.事实上，因为),(y x f y '有界，故设N y x f y ≤'),(，对2),(),,(R x y x ∈∀，由拉格朗日中值定理得：y y N y y x f y x f y x f y -≤-'=-),(),(),(ξ我们验证),(y x f y '在闭矩形区域2R 上有界也不容易，可以进一步将条件加强为：),(y x f y '在闭矩形区域2R 上连续.由闭区域上连续函数的性质知：),(y x f y '在闭矩形区域2R 上有界，所以李普希兹条件成立.因此，有如下的关系式：),(y x f y '在2R 上连续⇒),(y x f y '在2R 上存在且有界⇒李普希兹条件2、在定理2.1的结论中，解)(x y ϕ=的存在区间为],[0000h x h x +-，其中 ),(max ),,min(),(0y x f M Mb a h R y x ∈==.为什么解的存在区间不是],[00a x a x +-呢？这是因为我们研究问题的范围为闭矩形区域2R ，方程的解)(x y ϕ=不能超出2R 的范围，又因为),(max ),(y x f M Ry x ∈=，所以M y x f M ≤≤-),( 即 M dxdy M ≤≤- 由⎪⎩⎪⎨⎧=-=00)(y x y M dx dy 和⎪⎩⎪⎨⎧==00)(y x y M dx dy 得：001)()(y x x M x y +--=，002)()(y x x M x y +-= 因此)()()(21x y x y x y ≤=≤ϕ，即)(x y ϕ=夹在)(1x y 与)(2x y 之间.又，)(1x y 与)(2x y 在2R 上的存在区间为],[0000h x h x +-，故)(x y ϕ=的存在区间也是],[0000h x h x +-.2.1.2 存在性的证明首先，我们给出柯西初值问题（2.2）的等价转化，即求（2.2）的解)(x y ϕ=，等价于求解积分方程⎰+=xx d y f y y 0))(,(0ξξξ （2.3） 事实上，如果)(x y ϕ=是初值问题（2.2）的解，即有))(,()(x x f x ϕϕ='且00)(y x =ϕ从0x 到x 积分得：⎰+=xx d f y x 0))(,()(0ξξϕξϕ 即)(x y ϕ=是积分问题（2.3）的解.反过来，如果)(x y ϕ=是积分问题（2.3）的解，即有⎰+=xx d f y x 0))(,()(0ξξϕξϕ 则00)(y x =ϕ且))(,()(x x f x ϕϕ='即)(x y ϕ=是初值问题（2.2）的解.经过等价转化，我们将初值问题（2.2）的求解，转化为积分问题（2.3）的求解.下面用皮卡（Picard ）逐次逼近来证明积分问题（2.3）的解的存在性，分为三个步骤：1、构造近似函数列{})(x n ϕ任取一个满足初值条件00)(y x y =的函数)(0x y ϕ=作为首项（初始项），并要求在2R 上的存在区间为：],[0000h x h x +-，简单起见，取00)(y x =ϕ，将它代入方程（2.3）的右端，所得到的函数用)(1x ϕ表示，并称为一次近似，即⎰+=xx d f y x 0))(,()(001ξξϕξϕ 再将)(1x ϕ代入方程（2.3）的右端就得到二次近似⎰+=xx d f y x 0))(,()(102ξξϕξϕ 序行此法，可以得到n 次近似⎰-+=xx n n d f y x 0))(,()(10ξξϕξϕ 为了保证上述的逐次逼近过程可以一直进行下去，必须有2))(,(R x x n ∈ϕ，即当],[0000h x h x x +-∈时，有,2,1)(0=≤-n b y x n ϕ 下面用数学归纳法证明b y x n ≤-0)(ϕ.显然，当],[0000h x h x x +-∈时，有b y y y x ≤=-=-0)(0000ϕ假设，当],[0000h x h x x +-∈时，有b y x n ≤--01)(ϕ，那么，对于)(x n ϕ有⎰-=-xx n n d f y x 0))(,()(10ξξϕξϕ 从而有b Mb M Mh x x M d f y x xx n n =≤≤-≤≤-⎰-00100))(,()(ξξϕξϕ 由数学归纳法知，当],[0000h x h x x +-∈时，有,2,1)(0=≤-n b y x n ϕ这样，我们就可以得到一个近似函数列{})(x n ϕ.2、证明近似函数列{})(x n ϕ在区间],[0000h x h x +-上一致收敛.由于无法得到{})(x n ϕ的通项公式，只知道首项和递推关系式，直接证明函数列{})(x n ϕ的收敛性比较困难，为此我们构造函数项级数+-++-+-)]()([)]()([)(1010x x x x x n n ϕϕϕϕϕ （2.4） 它的部分和是)()]()([)]()([)()(10101x x x x x x x S n n n n ϕϕϕϕϕϕ=-++-+=-+因此，证明{})(x n ϕ的收敛性转化为证明级数（2.4）的收敛性，下面我们证明级数（2.4）在区间],[0000h x h x +-上一致收敛.首先研究级数（2.4）的通项)(x n μ⎰=-xx d f x x 0))(,()()(001ξξϕξϕϕ 即⎰=-xx d y f y x 0),()(001ξξϕ 所以00010),()(x x M d y f y x x x -≤≤-⎰ξξϕ 因为⎰+=x x d f y x 0))(,()(001ξξϕξϕ，⎰+=x x d f y x 0))(,()(102ξξϕξϕ，所以 ⎰-≤-x x d f f x x 0))(,())(,()()(0112ξξϕξξϕξϕϕ由李普希兹条件，得 !2)()()()(200011200x x MN d x MN d N x x x x x x -=-≤-≤-⎰⎰ξξξξϕξϕϕϕ 下面用数学归纳法证明!)()(011n x x MN x x nn n n -≤---ϕϕ 显然，2,1=n 的时候，不等式成立（上面已经给出）， 假设!)()(011n x x MN x x n n n n -≤---ϕϕ成立，那么对于1+n 的情形有 )!1(!)()())(,())(,()()(100111000+-=-≤-≤-≤-+--+⎰⎰⎰n x x MN d n x MN d N d f f x x n n x x n n xx n n x x n n n n ξξξξϕξϕξξϕξξϕξϕϕ由数学归纳法知，对一切自然数n ，均有!)()(011n x x MNx x nn n n -≤---ϕϕ 又00h x x ≤-，所以级数（2.4）的通项满足： !)(011n h MN v x n n n n -+=≤μ （ ,2,1=n ） 利用比式判别法，可知以n v 为通项的级数收敛，从而以)(x n μ为通项的级数(2.4)绝对收敛且一致收敛.又，每一个)(x n μ是连续的，所以级数（2.4）的和函数也是连续的，记为)(x ϕ，其存在区间也是],[0000h x h x +-.因此函数列{})(x n ϕ就收敛于)(x ϕ.3、证明)(lim )(x x n n ϕϕ∞→=是积分问题（2.3）的解，从而也是初值问题（2.2）的解.在⎰-+=x x n n d f y x 0))(,()(10ξξϕξϕ两端取极限，得到 ⎰-∞→∞→+=xx n n n n d f y x 0))(,(lim )(lim 10ξξϕξϕ 即⎰+=xx d f y x 0))(,()(0ξξϕξϕ 所以)(x ϕ是积分问题（2.3）的解，从而也是初值问题（2.2）的解.2.1.3 唯一性的证明下面我们证明解的唯一性.在证明唯一性之前，先介绍一个重要的不等式，即贝尔曼（Bellman ）不等式.贝尔曼引理 设)(x y 为区间],[b a 上的非负连续函数，b x a ≤≤0.若存在,0≥δ 0≥k ，使得)(x y 满足不等式],[,)()(0b a x d y k x y xx ∈+≤⎰ττδ （2.5） 则有],[,)(0b a x e x y x x k ∈≤-δ证明 仅证明0x x ≥的情形，0x x ≤的情形类似.令)(x y 的原函数为⎰=xx d y x R 0)()(ττ，代入（2.5）得 δ≤-')()(x kR x R两边同时乘以积分因子)(0x x k e --，得)()(00)]()([x x k x x k e x kR x R e ----≤-'δ从0x 到x 积分得)()(00)(x x k x x k e e x kR -----≤δδ即)(0)(x x k e x kR -≤+δδ 由（2.5）知，)()(x kR x y +≤δ，所以],[,)(0b a x e x y x x k ∈≤-δ下面证明积分问题（2.3）的解的唯一性.假设积分问题(2.3)有两个解)(1x y 和)(2x y ，我们只需要证明：)(1x y )(2x y ≡，],[0000h x h x x +-∈事实上，因为⎰+=x x d y f y x y 0))(,()(101ξξξ，⎰+=xx d y f y x y 0))(,()(202ξξξ 所以有⎰-≤-xx d y f y f x y x y 0))(,())(,()()(2121ξξξξξ由李普希兹条件知⎰-≤-xx d y y N x y x y 0)()()()(2121ξξξ 令N k x y x y x y ==-=,0,)()()(21δ，由贝尔曼引理可知，0)(=x y ，即)(1x y )(2x y ≡. 这样，我们就完成了解的存在性与唯一性的证明.2.1.4 三点说明为了更好的理解和掌握解的存在唯一性定理，我们对该定理再做三点说明.1、在存在性的证明过程中，我们利用逐次逼近法构造了近似函数列{})(x n ϕ，其中首项为：00)(y x =ϕ，递推关系式为：⎰-+=xx n n d f y x 0))(,()(10ξξϕξϕ.该方法实际上给出了我们一种求初值问题（2.2）的近似解的方法，当用n 次近似解逼近精确解时，需要给出它的误差估计.事实上，有∑∑∞+=∞=+-≤-≤-101!)()()()(n k k k nk k k n k x x N N M x x x x ϕϕϕϕ 0)!1()(!)!1()(!10001010Nh n k k k n n k k k e n Nh N M k h N n Nh N M k h N N M +=+<≤+∞=+∞+=∑∑ 2、如果方程（2.1）是线性方程，即)()(x q y x p dxdy +-= 其中)(x p 和)(x q 在区间],[b a 上连续，这时，初值问题（2.2）在带型区域+∞<<-∞≤≤y b x a R ,:2满足定理2.1的条件.事实上，)()(),(x q y x p y x f +-=在2R 上连续，而且)(),(x p y x f y -='在2R 上也连续，所以),(y x f 关于变量y 满足李普希兹条件.这时，初值问题（2.2）的解存在且唯一，存在区间为],[b a .3、定理2.1中的李普希兹条件是保证解唯一的充分条件，那么这个条件是不是必要条件呢？回答是否定的，即李普希兹条件是解唯一的充分非必要条件.下面我们给出一个例子来说明李普希兹条件是解唯一的非必要条件，也就是说，即使李普希兹条件不成立，初值问题（2.2）的解也可能是唯一的.例1 试证方程0,ln ,0≠=⎩⎨⎧=y y y y dx dy 经过xOy 平面上任一点的解都是唯一的.证明 由00,ln ,0≠=⎩⎨⎧=y y y y dx dy 可得：0=y 或x Ce e y ±=. 任给xOy 平面上的一个点),(00y x ，只会对应0=y 或xCe e y ±=中的一个解，也就是说，过xOy 平面上任一点的解都是唯一的.但是，我们有0ln ln )0,(),(-==-y y y y x f y x f 因为+∞=→y y ln lim 0，所以找不到0>N ，使得 0)0,(),(-≤-y N x f y x f从而方程右端函数在0=y 的任何邻域上不满足李普希兹条件，但是初值问题（2.2）的解却是唯一的，这说明李普希兹条件是非必要条件.习 题 2.11.试判断方程y x dx dy tan =在区域 （1）π≤≤≤≤-y x R 0,11:1；（2）44,11:2ππ≤≤-≤≤-y x R上是否满足定理2.1的条件？2.讨论方程3123y dx dy =在怎样的区域中满足定理2.1的条件.并求通过)0,0(的一切解.3.试用逐次逼近法求方程2y x dxdy -=满足初值条件0)0(=y 的近似解： )(),(),(),(3210x x x x ϕϕϕϕ并在闭矩形区域11,11:2≤≤-≤≤-y x R 给出三次近似的误差估计.4.利用逐次逼近法求方程22x y dxdy -=适合初值条件1)0(=y 的近似解： )(),(),(210x x x ϕϕϕ并在闭矩形区域111,11:2≤-≤-≤≤-y x R 给出二次近似的误差估计.5.试证明定理2.1中的n 次近似解)(x n ϕ与精确解)(x ϕ有如下的误差估计式：10)!1()()(+-+≤-n n n x x n MN x x ϕϕ 6.在条形区域+∞<≤≤y b x a ,内，假设方程（2.1）的所有解都唯一，对其中任意两个解)(),(21x y x y ，如果有)()(0201x y x y <，则必有b x x x y x y ≤≤<021),()(.7.讨论方程323y dx dy = 解的唯一性.2.2 延展定理和比较定理由解的存在唯一性定理，我们知道，初值问题（2.2）的解在满足一定条件的情况下存在且唯一，但是解的存在区间不是],[00a x a x +-，而是],[0000h x h x +- 其中),(max ),,min(),(0y x f M Mb a h R y x ∈==.如果M 比较大的话，则解的存在区间就非常小，这对我们研究解的性质产生了很大的局限性，只能在很小的范围内有解，当x 超出这个范围时，解的情况就不清楚了.为了解决这个问题，我们有下面的延展定理.2.2.1 延展定理定理2.2（延展定理）如果方程（2.1）的右端函数在区域R R D ⨯⊂上连续，且关于变量y 满足局部的李普希兹条件，即对于D 内的任一闭矩形区域都满足李普希兹条件，则对任何一点D y x ∈),(00，初值问题（2.2）的解)(x y ϕ=可以向左右无限延展，直到))(,(x x ϕ任意接近区域D 的边界.在给出定理的证明之前，先对“))(,(x x ϕ任意接近区域D 的边界”进行说明.当区域D 有界时，积分曲线向左右延展可以任意接近；当区域D 无界时，积分曲线向左、右延展，或者任意接近区域D 的边界（边界存在的话），或者无限远离坐标原点.证明 首先证明区域D 有界的情形.设区域D 的边界为D D L -=（D 为D 的闭包）.对于任意给定的正数ε，记L 的ε邻域为εU ，记L 的2ε邻域为2εU ，记L 的4ε邻域为4εU .则集合22εεU D D -=为闭集，且D D ⊂2ε，所以2εD 有界. 只要证明积分曲线可以到达2εD 的边界2εL ，由ε的任意性知，积分曲线就可以任意接近区域D 的边界L .事实上，以2εD 中的任意一点为中心，以4ε为半径的闭圆区域均包含在区域D 的内部.且在闭区域44εεU D D -=之内.从而，以2εD 中的任意一点为中心，以4221ε=a 为边长的正方形也在闭区域4εD 之内.记 ),(max 4),(1y x f M D y x ε∈= 则过2εD 的任意一点),(**y x 的积分曲线，必至少可在区间],[**h x h x +-上存在，其中)82,82min(),min(1111M M a a h εε==. 于是，过点),(00y x 的积分曲线)(x y ϕ=每向左或向右延展一次，其存在区间就伸长一个确定的正数h ，由于2εD 有界，)(x y ϕ=经过有限次延展后一定可以达到2εD的边界2εL .于是也就可以任意接近区域D 的边界L .其次考虑区域D 为无界的情形.这时，我们可以用闭圆区域,2,1},),{(222=≤+=n n y x y x S n与区域D 取交集，令n n S D D =，则 ∞==1n n D D .由于n D 为有界的区域，根据前面的证明，我们可知，过n D 内任一点的积分曲线能够任意接近n D 的边界.因此，过点),(00y x 的积分曲线)(x y ϕ=可以无限接近区域D 的边界.延展定理的证明，关键是第一步证明，也就是区域D 有界的时候，过点),(00y x 的积分曲线)(x y ϕ=向左向右延展的时候，一定要做等速延展，即延展步幅h 是不变的. 例1 试讨论方程2y dxdy=通过点)1,1(的解和通过点)1,3(-的解的存在区间. 解 该题目中研究问题的区域D 为整个坐标平面xOy .方程右端函数满足延展定理的条件.由2y dxdy=可以解得方程的通解为 xC y -=1代入1)1(=y 得：2=C .故通过点)1,1(的解为xy -=21 它可以向左无限延展，而当-→2x 时，+∞→y ，所以通过点)1,1(的解xy -=21的存在区间为)2,(-∞.代入1)3(-=y 得：2=C .故通过点)1,3(-的解为xy -=21它可以向右无限延展，而当+→2x 时，-∞→y ，所以通过点)1,3(-的解xy -=21的存在区间为),2(+∞.这个例子说明，尽管),(y x f 在整个坐标平面上满足延展定理的条件，解上的点))(,(x x ϕ也能无限接近区域D 的边界，但是延展的方向却不一定是无限向右和向左，可能是向上或向下，从而导致解的存在区间不是),(+∞-∞. 例2 试证明：对任意的0x 及满足条件100<<y 的0y ，方程221)1(y x y y dx dy ++-=的满足条件00)(y x y =的解)(x y y =在),(+∞-∞上存在.证明：令221)1(),(y x y y y x f ++-=，则222222)1(122),(y x x y y x y y x f y ++--++=' 显然),(),,(y x f y x f y '在xOy 平面上连续，满足解的存在唯一性条件及延展定理的条件，而1,0==y y 是),(y x f dxdy=的解， 因此，满足00)(y x y =，100<<y 的解存在，而且可以无限延展到xOy 平面的边界，且不能穿过1,0==y y ，故只能向左右无限延展，所以，)(x y y =在),(+∞-∞上存在.该例题说明，),(y x f 在整个坐标平面上满足延展定理的条件，当方程的解不能穿过1,0==y y 时，它就不能向上向下无限延展了，只能向左、向右延展，所以解的存在区间就是),(+∞-∞.在这里，1,0==y y 控制了解的延展方向，使它按照我们的要求进行延展，因此就有了下面的比较定理. 2.2.2 比较定理我们在使用延展定理的时候，通常会和比较定理配合使用，从而起到控制延展方向的作用.下面介绍一下比较定理.我们在考察方程（2.1）),(y x f dxdy=时，通常将右端函数),(y x f 进行放缩的处理，比如),(),(),(21y x F y x f y x F <<这时，我们可以同时考察),(1y x F dx dy =和),(2y x F dxdy = 我们有如下的比较定理：定理2.3 （第一比较定理）设定义在某个区域D 上的函数),(y x f ，),(1y x F 和),(2y x F 满足条件：（1）在D 满足解的存在唯一性定理及延展定理的条件，即在D 上连续，在D 上关于变量y 满足李普希兹条件；（2）在D 上有不等式),(),(),(21y x F y x f y x F <<设初值问题⎪⎩⎪⎨⎧==00)(),(y x y y x f dxdy ，⎪⎩⎪⎨⎧==001)(),(y x y y x F dx dy 和⎪⎩⎪⎨⎧==002)(),(y x y y x F dx dy的解分别为)(x y ϕ=，)(1x y Φ=和)(2x y Φ=，则在它们的共同存在区间上有下列不等式：021),()()(x x x x x >Φ<<Φϕ 021),()()(x x x x x <Φ>>Φϕ证明 仅证当0x x >时，)()(2x x Φ<ϕ，其它的情形相类似. 由比较定理的条件（1），初值问题⎪⎩⎪⎨⎧==00)(),(y x y y x f dxdy 和⎪⎩⎪⎨⎧==002)(),(y x y y x F dx dy的解在0x 的某一邻域内存在且唯一，分别记为)(x y ϕ=和)(2x y Φ=，它们满足0020)()(y x x =Φ=ϕ令)()()(2x x x h ϕ-Φ=，则0)()()(0020=-Φ=x x x h ϕ且0))(,())(,()()()(0002020020>-Φ='-Φ'='x x f x x F x x x h ϕϕ所以函数)(x h 在0x 的某一右邻域内是严格单调增加的.如果在0x x >时，0)(>x h 不是总成立，则至少存在一点01x x >，使得0)(1=x h ，且当10x x x <<时，0)(>x h ，因此在点1x 的左导数0)0(1≤-'x h ，这与0))(,())(,()()()(1112121121>-Φ='-Φ'='x x f x x F x x x h ϕϕ矛盾.因此当0x x >时，0)(>x h 总成立，即)()(2x x Φ<ϕ.比较定理的应用，关键是),(1y x F 和),(2y x F 的选取，因为初值问题⎪⎩⎪⎨⎧==00)(),(y x y y x f dxdy的解)(x y ϕ=的存在区间的延展，受到)(1x y Φ=和)(2x y Φ=的控制，即)(x y ϕ=夹在)(1x y Φ=和)(2x y Φ=之间.因此，我们必须能确定出)(1x y Φ=和)(2x y Φ=的存在区间，这就是我们选取),(1y x F 和),(2y x F 的标准，即⎪⎩⎪⎨⎧==001)(),(y x y y x F dxdy 和⎪⎩⎪⎨⎧==002)(),(y x y y x F dx dy的解)(1x y Φ=和)(2x y Φ=必须能够求得. 下面我们给出第二比较定理.定理2.4 （第二比较定理）设定义在某个区域D 上的函数),(y x f ，),(1y x F 和),(2y x F 满足条件：（1）在D 满足解的存在唯一性定理及延展定理的条件，即在D 上连续，在D 上关于变量y 满足李普希兹条件；（2）在D 上有不等式),(),(),(21y x F y x f y x F ≤≤设初值问题⎪⎩⎪⎨⎧==00)(),(y x y y x f dxdy ，⎪⎩⎪⎨⎧==001)(),(y x y y x F dx dy 和⎪⎩⎪⎨⎧==002)(),(y x y y x F dx dy的解分别为)(x y ϕ=，)(1x y Φ=和)(2x y Φ=，则在它们的共同存在区间上有下列不等式：021),()()(x x x x x >Φ≤≤Φϕ 021),()()(x x x x x <Φ≥≥Φϕ习 题 2.21．设方程为),()(22y x f a y dxdy-= 假设),(y x f 及),(y x f y '在xOy 平面上连续，试证明：对于任意的0x 及a y <0，方程满足00)(y x y =的解都在),(+∞-∞上存在.2.指出方程2)1(2xy e y dxdy -=的每一个解的最大存在区间，以及当x 趋于这个区间的右端点时解的极限.3.讨论方程xx dx dy 1cos 12-= 解的存在区间.4.设),(y x f 在整个平面上连续有界，对y 有连续偏导数，试证明方程),(y x f dxdy=的任一解)(x y ϕ=在区间+∞<<∞-x 上有定义. 5.讨论方程212-=y dx dy 的通过点)0,0(的解，以及通过点)3,2(ln -的解的存在区间.6.在方程)(y f dxdy=中，如果)(y f 在),(+∞-∞上连续可微，且 )0(0)(≠<y y yf ，求证方程满足00)(y x y =的解)(x y 在区间),[0+∞x 上存在，且有0)(lim =+∞→x y x .2.3 解对初值的连续依赖性定理和解对初值的可微性定理通过前两节的存在唯一性定理和延展定理，加上比较定理，我们知道了初值问题（2.2）在什么样的条件下，解是存在的，是唯一的，而且存在区间比较小的时候，通过延展定理和比较定理可以将解的存在区间变大，从而在实际问题中可以达到我们的要求.但是，在实际问题中，还有一个问题需要解决，那就是误差问题.我们的初始条件00)(y x y =如果产生了微小的偏差，这个偏差对我们的初值问题（2.2）的解)(x y ϕ=会有什么影响呢？下面我们来解决这个问题. 我们在研究初值问题（2.2）的时候，习惯上把0x 和0y 当作常数来看待，这样初值问题（2.2）的解)(x y ϕ=被看作x 的函数.实际上，如果0x ，0y 变化，初值问题（2.2）的解)(x y ϕ=也会发生变化.例如方程xydx dy = 经过点),(00y x 的解为x x y y 0=，可以看作00,,y x x 的函数.对于一般的情形，初值问题（2.2）的解也可以看作00,,y x x 的函数，记为),,(00y x x y ϕ=，代入00)(y x y = 得：0000),,(y y x x =ϕ.如果我们的初始条件00)(y x y =发生了微小的误差，变为了**0)(y x y =，初值问题（2.2）的解也变化不大的话，称解连续依赖于初值.下面我们给出连续依赖性的严格定义.定义2.1 设初值问题⎪⎩⎪⎨⎧==**0)(),(y x y y x f dxdy的解),,(*0*0y x x y ϕ=在区间],[b a 上存在，如果对于任意给定的正数ε，存在正数δ (δ的选取与,ε**0,y x 有关)，使得对于满足δδ<-<-*00*00,y y x x （2.2）的解),,(00y x x y ϕ=都在],[b a 上存在，且有],,[,),,(),,(*0*000b a x y x x y x x ∈<-εϕϕ则称初值问题（2.2）的解),,(00y x x y ϕ=在点),(*0*0y x 连续依赖于初值,0x 0y .定理2.4 （解对初值的连续依赖性定理）设),(y x f 在区域D 内连续，且关于变量y 满足李普希兹条件.如果D y x ∈),(*0*0，初值问题（2.2）有解),,(*0*0y x x y ϕ=,且当b x a ≤≤时，D y x x x ∈)),,(,(*0*0ϕ，则对任意的正数ε，存在0>δ，使对于满δδ<-<-*00*00,y y x x的任意),(00y x ，初值问题⎪⎩⎪⎨⎧==00)(),(y x y y x f dxdy的解),,(00y x x y ϕ=也在区间],[b a 上存在，且有εϕϕ<-),,(),,(*0*000y x x y x x证明 对于任意给定的正数ε，取εδ<<10，使得闭区域}),,(,),{(1*0*0δϕ≤-≤≤=y x x y b x a y x U整个含在区域D 内，这是可以做到的，因为区域D 是开区域，且当b x a ≤≤时，D y x x x ∈)),,(,(*0*0ϕ，所以，只要1δ的选取足够小，以曲线),,(*0*0y x x y ϕ=为中线，宽度为12δ的带形开区域U 就整个包含在区域D 内， 选取δ满足)(110a b N e M--+<<δδ其中N 为李普希兹常数，),(max ),(y x f M Uy x ∈=，同时还要求δ的选取，必须保证闭正方形δδ≤-≤-*0*02,:y y x x R含于带形开区域U 内.由存在唯一性定理知，对于任一200),(R y x ∈，初值问题（2.2）在0x 的某邻域上存在唯一解),,(00y x x y ϕ=，而且),,(00y x x y ϕ=在0x 的该邻域上可以表示为ττϕτϕd y x f y y x x xx )),,(,(),,(000000⎰+=而),,(*0*0y x x y ϕ=可以表示为ττϕτϕd y x f y y x x xx )),,(,(),,(*0*0*0*0*0*⎰+=对上述两式做差得：ττϕτττϕτϕϕd y x f d y x f y y y x x y x x xx x x )),,(,()),,(,(),,(),,(*0*000*00*0*000*⎰⎰-+-=-ττϕτττϕτϕϕd y x f d y x f y y y x x y x x xx xx )),,(,()),,(,(),,(),,(*0*000*00*0*000*0⎰⎰-+-≤-ττϕτττϕττϕτd y x f d y x f y x f y y x x xx |)),,(,(||)),,(,()),,(,(|0000*0*0*00**0⎰⎰+-+-≤δττϕττϕτδM d y x f y x f xx +-+≤⎰|)),,(,()),,(,(|00*0*0*0ττϕτϕδd y x y x N M xx |),,(),,(|)1(00*0*0*0-++≤⎰由贝尔曼引理，得εδδδϕϕ<<+≤+≤---1)(*0*000)1()1(),,(),,(*a b N x x N e M e M y x x y x x因此，只要在),,(00y x x y ϕ=有定义的区间上，就有εϕϕ<-),,(),,(*0*000y x x y x x .下面我们证明：),,(00y x x y ϕ=在区间],[b a 上有定义.事实上，因为εϕϕ<-),,(),,(*0*000y x x y x x即解),,(00y x x y ϕ=夹在εϕ+=),,(*0*0y x x y 和εϕ-=),,(*0*0y x x y 之间，而且，初值问题（2.2）满足延展定理的条件，所以，解),,(00y x x y ϕ=可以向左向右无限延展，直到无限接近区域D 的边界，于是，它在延展的时候，必须由直线a x =和直线b x =穿出区域U ，从而),,(00y x x y ϕ=在区间],[b a 上有定义.解对初值的连续依赖性说明，初值),(00y x 无法准确得到，但是我们能得到测量数据),(*0*0y x ，只要误差比较小，即δδ<-<-*00*00,y y x x .我们就可以用),(*0*0y x 代替),(00y x 去计算，得到初值问题的解),,(*0*0y x x y ϕ=，这个解可以非常接近真实解),,(00y x x y ϕ=，即εϕϕ<-),,(),,(*0*000y x x y x x .同理，如果方程的右端函数),(y x f 不能准确得到，只能得到),(y x f 的近似函数),(~y x f ，即)),((,),(),(~D y x y x f y x f ∈<-δ我们就可以用),(~y x f 代替),(y x f 去计算，得到初值问题⎪⎩⎪⎨⎧==00~)(),(y x y y x f dxdy 的解),,(00~y x x y ϕ=，那么),,(00~y x x y ϕ=能否代替),,(00y x x y ϕ=呢？我们有下面的解的连续依赖性定理.定理2.5 （解对被积函数的连续依赖性定理）在区域D 上，),(y x f 和),(~y x f 都连续，而且关于变量y 满足李普希兹条件， 若初值问题⎪⎩⎪⎨⎧==00~)(),(y x y y x f dxdy 在b x a ≤≤上有解),,(00~y x x y ϕ=，则对任意给定的正数ε，存在0>δ，只要),(y x f 满足)),((,),(),(~D y x y x f y x f ∈<-δ则初值问题（2.2）的解),,(00y x x y ϕ=在b x a ≤≤上存在，且有εϕϕ<-),,(),,(00~00y x x y x x .证明 由解的存在唯一性定理知，初值问题⎪⎩⎪⎨⎧==00~)(),(y x y y x f dxdy 的解),,(00~y x x y ϕ=存在，设其存在区间为],[b a ，且有⎰+=xx d y x f y y x x 0))],,(,([),,(00~~000~ξξϕξϕ而初值问题⎪⎩⎪⎨⎧==00)(),(y x y y x f dxdy的解),,(00y x x y ϕ=也存在，且可以表示为⎰+=xx d y x f y y x x 0))],,(,([),,(00000ξξϕξϕ则⎰⎰-=-xx xx d y x f d y x f y x x y x x 0))],,(,([))],,(,([),,(),,(0000~~0000~ξξϕξξξϕξϕϕ从而有⎰-≤-xx d y x f y x f y x x y x x 0|)),,(,()),,(,(|),,(),,(0000~~0000~ξξϕξξϕξϕϕ⎰-+-=xx d y x f y x f y x f y x f 0|)),,(,()),,(,()),,(,()),,(,(|0000~00~00~~ξξϕξξϕξξϕξξϕξ ⎰-+-≤xx d y x f y x f y x f y x f 0|)),,(,()),,(,(||)),,(,()),,(,(|0000~00~00~~ξξϕξξϕξξϕξξϕξ⎰+-≤xx d y x y x N 0)|),,(),,((|0000~ξδξϕξϕ ⎰-+-≤xx d y x y x N a b 0|),,(),,(|)(0000~ξξϕξϕδ由贝尔曼引理，得)(0000~)(),,(),,(a b N e a b y x x y x x --≤-δϕϕ取)(a b N e ab ---<εδ，则εϕϕ<-),,(),,(0000~y x x y x x .且解),,(00y x x y ϕ=在b x a ≤≤上存在. 例1 考虑方程,ln ,0≠=⎩⎨⎧-=y y y y dx dy 解的情况.解 显然1,1,0-===y y y 是方程的解，当1,1,0-≠≠≠y y y 时，有y y dxdyln -= 这时解得上半平面的通解为x Ce e y -=，下半平面的通解为xCe e y --=.可以看到，对于Ox 轴上的初值)0,(0x ，在任意有限闭区间上解对初值连续依赖，但是，在),0[+∞上，无论),(00y x ，00≠y 如何接近)0,(0x ，只要x 充分大，过),(00y x 的积分曲线就不能与过)0,(0x 的积分曲线（即0=y ）任意接近了.这个例子说明，解在有限闭区间上对初值连续依赖，不能推广到无限区间，即，在无限区间上解对初值的连续依赖定理就不成立了.我们有时不仅要求解对初值连续依赖，而且还要知道解),,(00y x x y ϕ=对初值00,y x 的偏导数00,y x ∂∂∂∂ϕϕ是否存在.下面给出解对初值的可微性定理. 定理2.6 （解对初值的可微性定理）如果函数),(y x f 以及),(y x f y '在区域D 内连续，则初值问题⎪⎩⎪⎨⎧==00)(),(y x y y x f dx dy 的解),,(00y x x y ϕ=在它有定义的区间上有连续偏导数00,y x ∂∂∂∂ϕϕ.并且有 ⎰-=∂∂'x x y d y x f e y x f x y x x 000)),,(,(00000),(),,(ττϕτϕ 及⎰=∂∂'xx y d y x f e y y x x 000)),,(,(000),,(ττϕτϕ 习 题 2.31.若函数),(y x f ，),(y x R 在区域D 内连续且满足李普希兹条件，设初值问题⎪⎩⎪⎨⎧=+=*0*0)(),(),(y x y y x R y x f dx dy 的解为),,(*0*0~y x x y ϕ=，存在区间为],[b a .对任意的正数ε，存在0>δ，使对于满足)),((,),(D y x y x R ∈<δ的),(y x R ，以及满足δδ<-<-*00*00,y y x x的任意),(00y x ，初值问题⎪⎩⎪⎨⎧==00)(),(y x y y x f dx dy 的解),,(00y x x y ϕ=也在区间],[b a 上存在，且有εϕϕ<-),,(),,(*0*0~00y x x y x x 2.已知方程)sin(xy dxdy = 试求0000000),,(==⎥⎦⎤⎢⎣⎡∂∂y x x y x x y 和0000000),,(==⎥⎦⎤⎢⎣⎡∂∂y x y y x x y 3.设),,(00y x x ϕ是初值问题⎪⎩⎪⎨⎧==00)(),(y x y y x f dx dy 的解，试证明0),(),,(),,(00000000=∂∂+∂∂y x f y y x x x y x x ϕϕ 2.4 欧拉折线法在第一章，我们介绍了方程的初等解法，即用微积分的知识求得常微分方程的函数解.但是绝大多数的方程不能用初等方法求解，在第二章的前三节中，我们给出了柯西初值问题⎪⎩⎪⎨⎧==00)(),(y x y y x f dx dy 在什么样的条件下，解存在且唯一；在什么条件下，解的存在区间可以延展；在什么条件下连续依赖于初值；在什么条件下，解对初值是可微的.有了这些准备，我们就可以研究柯西初值问题的近似解.下面我们介绍求近似解的方法，欧拉折线法.假定函数),(y x f 在区域：+∞<<-∞≤≤y b x a ,上连续，且关于变量y 满足李普希兹条件，求柯西初值问题⎪⎩⎪⎨⎧==00)(),(y x y y x f dx dy 在区间],[0b x 上的近似解，我们采用的方法是：（1）等分区间],[0b x ，分点为n k kh x x k ,,1,0,0 =+=；小区间长度nx b h 0-=， （2）第一个小区间上用切线段逼近曲线：))(,(0000x x y x f y y -+=，（3）求出1x 所对应的纵坐标))(,(010001x x y x f y y -+=，（4）依次重复（2），（3）得到每个小区间上的线段，从而得到欧拉折线. 这样，我们就用欧拉折线作为柯西初值问题在区间],[0b x 近似解.欧拉折线法的前提是：柯西初值问题的解存在且唯一，而且解的存在区间是],[0b x .例1试用欧拉折线法，取步长1.0=h ，求初值问题⎪⎩⎪⎨⎧=+=1)1(22y y x dx dy 的解在4.1=x 时的近似值.解 令22),(y x y x f +=，2)1,1(=f ，这时12-=x y ，代入1.11=x 得：2.11=y ，65.2)2.1,1.1(=f ，这时2.1)1.1(65.2+-=x y ， 代入2.12=x 得：465.12=y ，586225.3)465.1,2.1(=f ，这时465.1)2.1(586225.3+-=x y ， 代入3.13=x 得：8236225.13=y ，0155990225.5)8236225.1,3.1(=f ，这时8236225.1)3.1(0155990225.5+-=x y ，代入4.14=x 得：53251824022.24=y 习 题 2.41. 试用欧拉折线法，取步长1.0=h ，求初值问题⎪⎩⎪⎨⎧=-=0)0(22y y x dx dy 的解在5.1=x 时的近似值.2．试用欧拉折线法，取步长1.0=h ，求初值问题 ⎪⎩⎪⎨⎧=+=2)1(22y y x dx dy 在区间]4.1,1[上的近似解.。
常微分方程12解的存在唯一性
1 x2
),
y(x) 0 ,
c2
exp(
1 x2
)
,
x 0. x 0. x 0.
3
1.2.1例子和思路
例 4: 证明初值问题
dy y, dx
的解存在且惟一。
y(0) 1
(1 .2 .1)
证：若 y y(x) 是初始值问题的解, (1 .2 .1) 两端积分
y ( x ) 满足 y(x)=1+ xy(s)ds 0
y 1 , 1 x
x( ,1).
初值问题 yy2,y(0)2的解:
y
2 1 2x
.
它的存在区间为
(
1 2
,
)
例2: 初值问题 yx,y(0)a(a0)的解为: y
y a2 x2存在区间为 (a,a)
2
例3:初始值问题:
2y yx3
x0 ,
0 x0
y(0)0
有无穷多解,存在区间为: (,).
c1
exp(
x 2 (x )1 (x )x 0f(s ,1 (s )) f(s ,0 (s ))d s 13
x 2 (x )1 (x )x 0f(s ,1 (s )) f(s ,0 (s ))d s
x
L 2
其中第二个不等式由Lipschitz条件可以得到，
（ 1 x） =y0＋xx0 f(s,0(s))ds （ 2 x） M =y0＋xx0 f(s,1(s))ds （ n x） =y0＋xx0 f(s,n1(s))ds
这样就得到一个连续函数列 n ( x)
它称为 Picard迭代序列。
11
（ 3 ) Picard 序列的收敛性
引理1.1 对于一切 n 和 x [x0,x0h],n(x)
Banach空间中常微分方程解的存在与唯一性定理
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。
常微分方程第三章基本定理
THANKS
感谢观看
线性化定理
总结词
线性化定理是将非线性常微分方程转化为线性常微分方程的方法，从而可以利用线性方程的解法来求解。
详细描述
线性化定理提供了一种将非线性常微分方程转化为线性常微分方程的方法。通过适当的变换，可以将非线性问题 转化为线性问题，从而可以利用线性方程的解法来求解。这个定理在解决复杂的非线性问题时非常有用，因为它 简化了问题的求解过程。
02
CATALOGUE
常微分方程的稳定性
稳定性定义
稳定性的定义
01
如果一个常微分方程的解在初始条件的小扰动下变化不大，那
么这个解就是稳定的。
稳定性的分类
02
根据稳定性的不同表现，可以分为渐近稳定、指数稳定、一致
稳定等。
稳定性判别方法
03
可以通过观察法、线性化法、比较法等方法来判断常微分方程
的解是否稳定。
龙格-库塔方法
总结词
龙格-库塔方法是常微分方程数值解法中一种更精确的 方法，它通过多步线性近似来逼近微分方程的解。
详细描述
龙格-库塔方法的基本思想是利用已知的初值和微分方 程，通过多步线性插值来逼近微分方程的解。具体来 说，龙格-库塔方法通过递推公式来计算微分方程的近 似解，公式如下：(y_{n+1} = y_n + h f(t_n, y_n) + frac{h^2}{2} f(t_{n-1}, y_{n-1}) - frac{h^2}{2} f(t_{n-2}, y_{n-2})) 其中 (h) 是步长，(t_n) 和 (y_n) 是已知的初值，(f) 是微分方程的右端函数。
存在唯一性定理表明，对于任意给定的初值问题，存在一个唯一的解，该解在某个区间内存在并连续 。这个定理是常微分方程理论的基础，为后续定理的证明提供了重要的依据。
常微分方程图文 (5)
第5章 存在和唯一性定理
定理5.1 设初值问题:
d y f (x, y), dx
y(x0 ) y0,
其中f(x,y)在矩形区域
ቤተ መጻሕፍቲ ባይዱ
R : x x0 a, y y0 b
内连续，而且对y满足李氏条件.则初值问题式(5.1)在区间I= ［x0-h,x0+h］上有且只有一个解，其中常数
h min{a, b }, M max f (x, y).
x sup x : y1(x) y2 (x)
x[ x0 ,x1 ]
显然有 x0 x x1 ，而且
r(x) def y1(x) y2(x) 0 (x x x1)
第5章 存在和唯一性定理
和 r (x) 0 .因此，我们有
r(x) y1(x) y2 (x) f (x, y1(x)) f (x, y2 (x))
u(x) v(x) (x J ).
也就是说，积分方程(5.2)的解是唯一的.
第5章 存在和唯一性定理 定理5.1的证明到此结束. 有了皮卡定理，对于一般微分方程
d y f (x, y), dx
(5.10)
只要能判别函数f(x,y)在某个区域D内连续并且对y有连续的
偏微商（或满足李氏条件），我们就可断言在区域D内经过
注意，李氏条件是Osgood条件的特例，这是因为
F(r)=Lr满足上述要求.
现在，我们把最先由美国数学家Osgood证明的有关解
的一个唯一性定理叙述如下.
第5章 存在和唯一性定理
定理5.2 设f(x,y)在区域G内对y满足Osgood条件，则微 分方程(5.10)在G内经过每一点的解都是唯一的.
证明 假设在G内可以找到一点(x0,y0)使得方程(5.10)有 两个解y=y1(x)和y=y2(x)都经过(x0,y0) 值x1≠x0，使得y1(x1)≠y2(x1).不妨设x1>x0，且y1(x1)>y2(x1). 令
常微分方程解的存在唯一性定理
常微分方程解的存在唯一性定理常微分方程解的存在唯一性定理一阶微分方程⑴其中. 是在矩形域丄」’叭」上的连续函数。
定义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-4
x0
2
6
.......
| (x) (x) |
ALn | x x0
|n
Ln h n A
n
0.
n!
n!
lim
n
|
(
x)
(
x)
|
0
当x
[
x0
h,
x0
h]时，
(
x)
(
x)。
推论: 考虑微分方程
y' f (x, y),(x, y) D.
若函数 f(x,y), fy(x,y) 在区域 D 上连续，则过 D 内任 一点 (x0,y0), 有且只有一条方程的通积分通过。
x
y1(x) y0 x0 f (x, y0 )dx,
估计 | y1(x) y0 | 后发现
x [x0 h, x0 h]
x
| y1(x) y0 | x0 f (x, y0 )dx M | x x0 | Mh b.
可见(x, y1(x)) R.
h
min(
a,
b M
),
M
max{|
上连续，且对 y 满足李氏条件，则初值问题在 区间 [x0-h,x0+h] 上有且只有一个解，其中常数
h
min( a,
b M
), M
max{|
f (x, y) |, (x, y) R}
y' f (x, y)
y(x0 )
y0
在 [x0-h,x0+h] 上有唯一解.
h
min(
a,
b M
),
M
max{|
f (x, y1) f (x, y2 ) f y (x, )(y1 y2 ), ( y1, y2 ).
常微分方程解的存在唯一性定理
常微分方程解的存在唯一性定理一阶微分方程⑴其中. 是在矩形域丄」’叭」上的连续函数。
定义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 ------------ '."上是一致收敛的。
常微分方程解的唯一性定理及其应用11引言111课题意义常微分方
常微分方程解的唯一性定理及其应用1.1引言1.1.1 课题意义:常微分方解的唯一性定理是微分方程理论中的基本定理,也是微分方程近似计算的前提和根据，更是动力系统中重要的定理之一。
对解的存在唯一性的探讨是研究微分方程的重要内容，这更好的促进于微分方程解集的研究，使得微分方程内容的丰富。
对微分方程解的唯一性定理的研究将很好地解答了初值问题解的存在性与唯一性，这也是人们对微分方程目前研究的一个重要内容。
本文在前人研究的基础上对解的唯一性定理的证明进行归纳总结，并在此基础上延伸对定理的应用,增加其得实用性,将数学来源于生活并回归于生活得之真切表现。
1.1.2 目前发展状况：在前人们的研究都致力于对定理的证明及其证明方法的改进以及对定理的条件的改进与对方程的初值条件的优化,而对定理得实际应用确微乎其微。
从17世界微分方程的发展，数学家们致力于研究关于微分方程的初等解法。
到1740年数学家们已经知道几乎所有求解一阶方程的初等方法。
随着微分方程的发展，人们要求满足某种附加条件的特解，即定值问题的解，从而致使人们开始从事对定解问题的研究，其通常包括边值问题与初值问题。
对微分方程解的存在唯一性定理得研究,A Cauchy 在1820年首先严格证明了在相当一般条件下微分方程解的存在唯一性定理，为微分方程理论的研究奠定了坚实的基础。
1876年，R Lipschitz使用“Lischitz条件”简化了A Cauchy 关于微分方程的存在唯一性定理的证明。
1838年，J Liouville在研究热传导方程时提出了逐次逼近法。
1896年 C Picard 在1896年给出了逐次逼近法的普遍形式，这个定理的证明为日后人们研究解的存在唯一性奠定了坚实的基础。
但是从定理本身来看，其条件是比较严格的，因而更多的研究处在于对定理的条件的消弱的证明，以及将其朝其它数学分支的发展。
[1]Picard利用逐次逼近法证明了这个定理，将求微分方程的初值问题的解等价于求积分方程的连续解，再证明积分方程的解的存在唯一性。
[整理]一阶常微分方程解的存在唯一性定理与逐步逼近法(1022).
![[整理]一阶常微分方程解的存在唯一性定理与逐步逼近法(1022).](https://img.taocdn.com/s3/m/3a0f062da8956bec0875e360.png)
一阶常微分方程解的存在唯一性定理与逐步逼近法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) 的定义于上的连续解。
常微分方程2.2解的存在唯一性定理
即命题2 当 n=1 时成立。 现在用数学归纳法证明对于任何正整数 n ，命题2都成立。
即 当 n=k 时， k (x)在 x0 x x0 h 上有定义，连续，
也就是满足不等式 k (x) y0 b
x
而当 n=k+1 时， k1(x) y0 x0 f (,k ( ))d
x
0 (x) (x) x0 f (, ( )) d M (x x0 )
x
k1(x) y0 x0 f (,k ( )) d M (x x0 ) Mh b
k 1 (x) 在 x0 x x0 h 上有定义，连续。
§ 2.2 Existence & Uniqueness Theorem & Progressive Method
即命题２在 n=k＋１时也成立。
现在取 0 (x) y0 ，构造皮卡逐步逼近函数序列如下:
0 (x) y0
n (x) y0
x x0
f ( ,n1( ))d
x0 h x x0 h
(3.1.9)
0 (x) y0
x
1(x) y0 x0 f ( ,0 ( ))d
x
2 (x) y0 x0 f (,1( ))d
x0+a
x
§ 2.2 Existence & Uniqueness Theorem & Progressive Method
0 (x) y0
n (x) y0
x x0
f ( , n1 ( ))d
命题2 对于所有的 (3.1.9) 中函数
x0 x x0 h
n (x) 在
x0 x x0 h 上有定义、连续，即满足不等式:
常微分方程解的存在唯一性定理
1解的存在唯一性
解的存在唯一性定理是指方程的解在一定条件下的存在性和唯一性，它是常微分方程理论中最基本的定理，有其重大的理论意义，另一方面由于能求得精确解的微分方程并不多，常微分方程的近似解法具有十分重要的意义，而解的存在唯一性又是近似解的前提，试想，如果解都不存在，花费精力去求其近似解有什么意义呢？如果解存在但不唯一，但不知道要确定的是哪一个解，又要去近似的求其解，又是没有意义的。
2解的存在唯一性定理一
定理1
如果函数f(x,y)在矩形域R上连续且关于y满足利普希茨条件，则方程
dx/dy=f(x,y);存在唯一的解y=φ(x)，定义于区间|x-x0|<=h上，连续且满足初值条件φ(x0)=y0,这里h=min(a,b/M) , M=max|f(x,y)|。
命题1
设y=φ(x)是方程的定义于区间x0<=x<=x0+h上，满足初值条件φ(x0)=y0的解，则y=φ(x)是积分方程y=y0+∫f(x,y)dx,x0<=x<=x0+h的定义于x0<=x<=x0+h上的连续解，反之亦然。
命题2
对于所有的n，皮卡逐步逼近函数φn(x)在 x0<=x<=x0+h上有定义，连续且满足不等式|φn(x)-y0|<=b。
命题3
函数序列{φn(x)} 在x0<=x<=x0+h上已收敛的。
命题4
φn(x)是积分方程的定义于x0<=x<=x0+h上的连续解
命题5
设ψ(x)是积分方程的定义于 x0<=x<=x0+h的另一个解，则
ψ(x)=φ(x)(x0<=x<=x0+。
常微分方程3.1解的存在唯一性定理与逐步逼近法
x0
则u(x)是定义于[x0, x0 h]上连续可微函数 ,
且u(x0 ) 0,0 g(x) u(x), u' (x) Lg (x), 于是
u' (x) Lu(x), (u' (x) Lu(x))eLx 0,
2024/6/13
常微分方程
0 g(x) u(x)
(u'(x) Lu(x))eLx 0,
证明: 设g(x) (x) (x) ,
则g(x)是定义于[x0, x0 h]上非负连续函数 ,
由(x) y0
x
x0 f (,( ))d (x) y0
x x0
f (, ( ))d
及f (x, y)的Lipschitz条件得
x
x
g(x) (x) (x) f (, ( ))d f (,( ))d
x
y0
x0
lim
n
f
(,n1( ))d
即
x
(x)
y0
f (,( ))d
x0
故(x)是积分方程 (3.5)定义于[x0, x0 h]上连续解.
2024/6/13
常微分方程
命题5 设 (x)是积分方程(3.5)定义于[x0, x0 h]上的 一个连续解,则(x) (x), x [x0, x0 h].
x0
x0
2024/6/13
x
( f (, ( )) f (,( )))d x0 常微分方程
x
g(x) ( f (, ( )) f (,( )))d x0
x
f (, ( )) f (,())d x0
x
x
L ( ) ( )d L g( )d
x0
x0
常微分方程课件--解的存在唯一性定理
y ( x) [ s e
0
]ds
x
0
1 2 5 5 [1 ( ) ]ds x 1 2 4 8
例６讨论初始值问题
y 1 y 2 , y(0) 0
的解存在唯一的区间． f ( x, y) 1 y 2 在 解： 对于任意的正数 a, b, 函数
R x, y ) x a, y b (
（ 2 ）构造 Picard 迭代数列
取0 x） y0 代入(1.2.3)右端后得 （
1 x） y0＋ f (s, 0 (s))ds （
x0
x
2 x） y0＋ f (s, 1 (s))ds （
x0
x
（x） y0＋ f (s, n1 (s))ds n
x0
x
这样就得到一个连续函数列 n ( x ) 它称为 Picard迭代序列。
2
1 4 1 h min { , } 2 5 2
故由解得存在唯一性定理可知，初始值问题的解
1 1 y y( x) 在 x 内存在唯一，当然也在 2 2 1 0 x 内存在唯一。
2
1 对 0 x 2
x
(1.2.11)等价的积分方程得 y( x) 0, 且
y2 (s)
y y( x) 满足 (2.2.2)
构造迭代序列 { yn ( x )} 来证明 (2.2.1) 有解． 取
y0 ( x) 1,
y1 ( x) 1 y0(s)ds 1 x,
0 x
y2 ( x) 1
x
0
x2 y1(s)ds 1 x , 2!
……
yn ( x) 1
常微分方程组解的存在唯一性定理及其应用
常微分方程组解的存在唯一性定理及其应用
近代微分动力学和数学物理学中一个重要且基础性的研究课题是非常重要的。
它不仅涉及到普通微分方程（ODE）的解析或近似解，而且解决微分方程组解的存
在唯一性和存在性也是非常关键的，这也是定义研究这个问题的理论基础。
关于微分方程组解的存在唯一性定理，基本可以归纳为三个部分：定义，定理
以及应用。
从定义来说，微分方程组解的存在唯一性定理指出，一组非线性微分方程的解必须满足它们的一般积分函数的某一唯一的定义拓展，其中，积分函数是原微分方程本身的某种泛函解。
定理上，这个定理被称为Lipschitz不变定理，即：给定一组带有参数的非线
性微分方程组，当该参数在一定范围内发生变化时，其解仍然是唯一的，这一变化度由所谓的Lipschitz条件来度量，即参数改变后该系统的近似的解仍然保持近似关系。
应用上，它主要是用于研究微分动力学系统，而这类系统中出现了新的重要运
动学理论，比如黎曼系统。
使用Lipschitz定理可以搭建一层非常重要的理论框架，帮助我们构建出若干关于微分动力学系统解的重要性质。
此外，该定理也被广泛用于数学物理学中，比如热力学，电磁学，量子力学等。
因此可见，微分方程组解的存在唯一性定理是近代微分动力学和数学物理学中
的一个重要的定理，它的实质和应用也受到广泛的关注，值得引申到包括互联网在内的其它领域深入研究，以期赋予其新的意义及功能。
常微分方程的解的存在唯一性定理
常微分方程的解的存在唯一性定理常微分方程是研究变量之间关系的数学工具。
在许多科学和工程领域，我们经常需要求解常微分方程来描述和预测系统的行为。
而常微分方程的解的存在唯一性定理则为我们提供了一种保证求解过程的准确性和可靠性的方法。
1. 引言常微分方程是研究变量之间关系的数学工具，广泛应用于物理、生物、经济等领域。
解常微分方程是求解系统行为和预测未来发展的重要方法，但如何确保解的唯一性和存在性一直是研究的焦点。
2. 定理的表述常微分方程的解的存在唯一性定理指出，如果一个常微分方程满足一定条件，则该方程存在且只存在一个解。
具体表述如下：定理：设F(t, y)在区域D上连续且关于y满足Lipschitz条件，即存在常数L>0，使得对于任意的(t, y1)和(t, y2)∈D，有|F(t, y1) - F(t, y2)| ≤ L|y1 - y2|。
那么对于初值问题y' = F(t, y)，y(t0) = y0，存在唯一的解y(t)。
3. 论证和证明为了证明上述定理，我们可以使用柯西-利普希茨定理。
柯西-利普希茨定理指出，如果一个函数满足Lipschitz条件，那么它的微分方程必然存在唯一解。
4. 柯西-利普希茨定理的推导柯西-利普希茨定理的推导主要包括以下几个步骤：（1）定义导数：我们首先定义导数，即一个函数在某一点的斜率。
（2）利用导数定义微分方程：我们将导数的定义应用到微分方程中，得到一个关于导数的等式。
（3）引入Lipschitz条件：我们引入Lipschitz条件来限制导数的变化范围，确保解的唯一性。
（4）证明柯西-利普希茨定理：通过数学分析和推导，我们最终证明了柯西-利普希茨定理。
5. 应用实例常微分方程的解的存在唯一性定理在实际应用中具有重要意义。
以下是几个应用实例：（1）物理学中的运动方程：物体在运动中往往涉及到速度的变化，可以使用常微分方程来描述物体的运动轨迹。
解的存在唯一性定理保证了我们能够准确地求解出物体的运动轨迹。
常微分方程的解的存在唯一性定理
常微分方程的解的存在唯一性定理常微分方程是数学中的一门重要分支，它涉及到许多实际问题的理论分析和计算求解，尤其是在物理、化学等领域有着广泛的应用。
而常微分方程的解的存在唯一性定理则是研究常微分方程解的基础，下面我将对这一定理进行详细阐述。
1. 常微分方程的定义及初值问题常微分方程（ODE）是指未知函数 $y(t)$ 的某个数量关系式：$$F(t,y,y',y'',\cdots ,y^{(n)})=0$$其中 $y'$，$y''$，$\cdots$，$y^{(n)}$ 分别表示 $y$ 的一阶、二阶、$\cdots$，$n$ 阶导数，$F$ 是已知的函数。
这个方程称为$n$ 阶常微分方程。
方程的初值问题是指，在确定 $n$ 阶常微分方程中的 $n$ 个初始条件：$$y(t_0)=y_0,\ y'(t_0)=y_1,\ \cdots,\ y^{(n-1)}(t_0)=y_{n-1}$$后，求解函数 $y(t)$ 在整个定义域上的解。
2. 解的存在唯一性定理的三个条件常微分方程的解的存在唯一性定理是指在一定的条件下，常微分方程仅有唯一的解。
下面给出常微分方程存在唯一性定理的三个条件。
2.1 连续性设函数 $F(t,y,y',y'',\cdots ,y^{(n)})$ 是定义于某个区域上的$C^{m+1}$ 级函数，即 $F$ 及其 $m$ 个偏导数（一直到$y^{(m)}$）都是连续的。
2.2 局部存在性对于同一初值问题，存在一个足够小的区间 $I$，使得在此区间内存在解 $y(t)$，并且 $y(t)$ 函数及其前 $n-1$ 阶导数都是$C^{m}$ 级函数。
2.3 局部唯一性在区间 $I$ 上，对于同一初值问题，解 $y(t)$ 是唯一的。
3. 解的存在唯一性定理的证明解的存在唯一性定理可转化为证明常微分方程方程的解满足某种 Lipschitz 条件，即：$$\forall \ y_1,y_2\in C([a,b])\ \text{and}\ y_1(t_0)=y_2(t_0)$$$$\Rightarrow \ \exists L>0,\ \text{s.t.}\ |y_1(t)-y_2(t)|\le L\cdot \max_{t\in [t_0,T]}\{|y_1(t)-y_2(t)|\}$$其中，$C([a,b])$ 表示在区间 $[a,b]$ 内连续的函数集合，$L$ 是 Lipschitz 常数。
常微分方程§3.1解的存在唯一性定理与逐步逼近法
通过比较两个可能的解，证明它们必须相等。
举例说明
简单的一阶常微分方程
dy/dt = y，其解为 y = Ce^t（C为 常数）。
高阶常微分方程
d^2y/dt^2 = -g/m * dy/dt - k/m * y，描述了物体的自由落体运动，其解 为y(t) = A*cos(ωt + φ)（A、φ为常 数，ω=√(g/m)）。
02
常微分方程解的存在唯一性定理
定义与定理陈述
定义
常微分方程是数学中描述一个或多个变量的函数如何随时间变化 的方程。
定理陈述
对于给定的常微分方程，如果其初值条件是合理的，那么该方程 存在唯一的解。
证明方法概述
02
01
03
数学分析
使用极限理论来证明解的存在性和唯一性。
连续性
证明解在时间上的连续性，从而说明解的存在性。
03
逐步逼近法
方法原理
逐步逼近法是一种通过逐步近 似求解常微分方程的方法。其 基本原理是，通过逐步构造一 系列的近似解，使得这些近似 解逐渐逼近真实的解。
在每一步中，根据已知的近似 解和微分方程的信息，构造一 个新的近似解，使得新解与旧 解之间的差距逐渐减小。
通过这样的方式，逐步逼近法 能够逐渐逼近真实的解，最终 得到满足精度要求的近似解。
输出满足精度要求的近似解。
迭代；否则，继续迭代。
04
解的存在唯一性定理与逐步逼近法的应用
在实际问题中的应用
物理问题
常微分方程在物理学中有广泛的应用，如力学、电磁学等领域。通过解的存在唯一性定理和逐步逼近法，可以求解物 理问题中的微分方程，从而得到物理现象的数学模型。
经济问题
在经济学中，常微分方程可以用来描述经济系统的动态变化，如供需关系、市场竞争等。通过逐步逼近法，可以求解 这些微分方程，为经济决策提供依据。
常微分方程：解的存在唯一性定理及证明
➢ 李卜西兹（Lipschitz）条件
例1 验证下列函数对是否满足李氏条件
1. f (x) x
解： f ( x1 ) f ( x2 ) x1 x2
f ( x) x在R上满足李氏条件。
2. f (x) x
解： f (x1) f (x2 ) x1 x2 x1 x2 f (x) x 在R上满足李氏条件。
毕卡定理
定理1 设初值问题
(E) :
dy f (x, y), dx
y(x0 ) y0,
其中 f (x, y)在矩形区域
R : | x x0 | a, | y y0 | b
内连续，而且对y满足李氏条件，则(E)在区间I [x0 h, x0 h]上有并且只
有一个解，其中常数
h min(a, b ), 而 M max | f (x, y) |。
f (x, y0(x)) | dx | M | x x0 | .
(1.5)
即，在区间 I 上 | y1(x) y0 | Mh b。
f (x, y1(x))在I上是连续。
由（1.4）可知
x
y2 (x) y0 x0 f (x, y1(x))dx,
在I上是连续可微的，而且 满足不等式
(xI)
其中常数L 0。则称函数 f (x, y)在区域D内对y满足李卜西兹条件（或简称 李氏条件）。
易知，若函数f (x, y)在凸形闭区域D内对y有连续的偏微商，则f (x, y)在D内对 y满足李氏条件；
反之，结论不一定正确 。
局部李卜西兹条件： 对区域D内任一点q，存在以q为中心的一个矩形区域 Q D，使得在Q内f (x, y)对y满足李氏条件。
(n 0,1,2,), 其中y0 (x) y0.
常微分方程的解的存在唯一性定理
常微分方程的解的存在唯一性定理常微分方程是数学中一个重要的研究对象，它描述了自变量是连续变化的函数与自变量的导数之间的关系。
研究常微分方程的解的存在唯一性定理是常微分方程理论的基石之一，对于解的存在性和唯一性的判断具有重要的意义。
定理一：皮卡尔(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，在定义区间上存在唯一的解。
证明：（略）常微分方程解的存在唯一性定理的推导过程相对较为复杂，涉及到一些数学理论和定理的运用。
但是这个定理为我们研究和求解常微分方程提供了重要的理论支持，确保了我们在解决实际问题中得到的解是存在且唯一的。
除了皮卡尔存在定理和格朗沃尔不等式外，我们还可以利用其他方法来证明常微分方程解的存在唯一性，比如利用分离变量法、变换方法、级数法等。
在实际应用中，根据具体问题的特点选择适合的方法进行求解。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
常微分方程解的存在唯一性定理
一阶微分方程（1）
其中是在矩形域上的连续函数。
定义1 如果存在常数，使得不等式
对于所有都成立，则函数称为在上关于满足Lipschitz条件。
定理1 如果在上连续且关于满足Lipschitz条件，则方程(1)存在唯一的解，定义于区间上，连续且满足初始条件，这里，。
Picard逐步逼近法来证明这个定理的主要思想。
首先证明求微分方程的初值问题的解等价于求积分方程
的连续解。
然后去证明积分方程的解的存在唯一性。
任取一个连续函数代入上面积分方程右端的,就得到函数
，显然也是连续函数，如果,
那末就是积分方程的解。
否则,我们又把代入积分方程右端的，得到
，如果，那末就是积分方程的解。
否则我们继续这个步骤。
一般地作函数
(3.1.1.4)
这样就得到连续函数序列：，，…，，…如果，那末就是积分方程的解。
如果始终不发生这种情况，我们可以证明上面的函数序列有一个极限函数，即存在，因而对(3.1.1.4)取极限时，就得到
即，这就是说是积分方程的解。
这种一步一步地
求出方程的解的方法就称为逐步逼近法。
函数称为初值问题的第次近似解。
命题1设是方程(1)的定义于区间上，满足初始条件的解，则是积分方程
的定义于上的连续解。
反之亦然。
现在取，构造皮卡逐步逼近函数序列如下：
命题2对于所有的，函数在上有定义、连续且满足不等式。
命题3函数序列在上是一致收敛的。
设则也在上连续，且。
命题4是积分方程的定义于上的连续解。
命题5设是积分方程的定义于上的一个连续解，则，。
综合命题1—5，即得到存在唯一性定理的证明。