3. 一阶常微分方程解的存在唯一性

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)

常微分方程第一、二、三次作业参考答案1、给定一阶微分方程2dyx dx=： （1） 求出它的通解；解：由原式变形得：2dy xdx =.两边同时积分得2y x C =+.（2） 求通过点（2，3）的特解；解：将点（2,3）代入题（1）所求的得通解可得：1C =-即通过点（2,3）的特解为：21y x =-.（3） 求出与直线23y x =+相切的解；解：依题意联立方程组：223y x Cy x ⎧=+⎨=+⎩故有：2230x x C --+=。

由相切的条件可知：0∆=，即2(2)4(3)0C --⨯-+=解得4C =故24y x =+为所求。

（4） 求出满足条件33ydx =⎰的解。

解：将2y x C =+代入330dy =⎰，可得2C =-故22y x =-为所求。

2、求下列方程的解。

１）3x y dydx-= 2）233331dy x y dx x y -+=-- 解：依题意联立方程组：23303310x y x y -+=⎧⎨-+=⎩解得：2x =，73y =。

则令2X x =-，73Y y =-。

故原式可变成：2333dY x y dX x y-=-. 令Yu X =，则dy Xdu udx =+，即有 233263u dxdu u u x-=-+. 两边同时积分，可得122(263)||u u C X --+= .将732y u x -=-，2X x =-代入上式可得： 12227()614323|2|2(2)y y C x x x -⎛⎫- ⎪--+=- ⎪-- ⎪⎝⎭.即上式为所求。

3、求解下列方程:1)24dyxy x dx+=. 解：由原式变形得：22dyxdx y=-. 两边同时积分得：12ln |2|y x C --=+. 即上式为原方程的解。

2)()x dyx y e dx-=. 解：先求其对应的齐次方程的通解：()0dyx y dx -=. 进一步变形得：1dy dx y=. 两边同时积分得：x y ce =.利用常数变异法，令()xy c x e =是原方程的通解。

注: 每一个 n 阶线性微分方程可化为 n 个一阶线性 微分方程构成的方程组, 反之却不成立. 如:
1 0 方程组 x x , 0 1
不能化为一个二阶微分方程.
x 5 y 7 x 6 y e t 例 将初值问题 y 2 y 13 y 15 x cos t x ( 0 ) 1 , x ( 0 ) 0 , y ( 0 ) 0 , y ( 0 ) 1
则(5.6)可化为一阶线性微分方
程组的初值问题:
x A( t )x f ( t ) . x( t0 ) η
(5.6)与(5.7)两者关系：
若已知 (t )是(5.6)的解, 则作向量函数
1 ( t ) ( t ) 2 ( t ) ( t ) φ( t ) , ( n1) ( t ) n ( t )
其中已知函数aij ( t ) 、f i ( t ) C [a , b], ( i , j 1,2, , n)
(5.1)
满足(5.1)每一个方程的一组函数 x1 ( t ), x2 ( t ) , xn ( t )
称为(5.1)的一个解.
设函数组 xi (t ) C[a, b], (i 1,2,, n), 且有：
故向量 u( t ) 是所给初值问题的解.
5. n 阶线性微分方程可化为一阶线性微分方程组 n阶线性微分方程的初值问题 x ( n ) a1 ( t ) x ( n1) an1 ( t ) x an ( t ) x f ( t ) , ( n1) x ( t ) , x ( t ) , , x ( t0 ) n 0 1 0 2 引进代换 x1 x , x2 x, x3 x ,, xn x ( n1) ,

一阶微分方程解的存在性定理的其它证明方法姜旭东摘要 本文在文[1]对一阶微分方程初值问题解得存在唯一性定理证明的基础上,应用压缩映像原理，Schauder 不动点定理，以及Euler 折线法，给出了一阶微分方程解得存在唯一性定理的其它几种证法.关键词 一阶微分方程 不动点定理 解的存在性 唯一性 1、引言微分方程来源于生活实际，研究微分方程的目的在于掌握它所反映的客观规律。

在文[1]第二章里,介绍了能用初等解法求解的一阶方程的若干类型,但同时指出,大量的一阶方程一般是不能用初等解法求解它的通解,而实际问题需要的往往是要求满足某种初始条件的解. 本文在文[1]对一阶微分方程初值问题解的存在唯一性定理证明的基础上,应用压缩映像原理，Schauder 不动点定理，以及Euler 折线法，给出了一阶微分方程解的存在唯一性定理的其它几种证法.考虑一阶微分方程 (,)dyf x y dx= (1.1)这里(,)f x y 是在矩形区域00:||,||R x x a y y b -≤-≤ (1.2)上的连续函数.函数(,)f x y 在R 上满足Lipschitz 条件，即存在常数L ＞0，使得不等式1212|(,)(,)|||f x y f x y L y y -≤- (1.3)对所有12(,),(,)x y x y R ∈都成立, L 称为Lipschitz 常数。

定理1.1、如果(,)f x y 在R 上连续且关于y 满足Lipschitz 条件，则方程(1.1)存在唯一的解()y x ϕ=,定义于区间0||x x h -≤上,连续且满足初始条件00()x y ϕ=这里min(,)bh a M=,(,)max |(,)|x y R M f x y ∈=.文[1]中采用皮卡逐步逼近法来证明这个定理.为了简单起见,只就区间00x x x h≤≤+来讨论,对于00x h x x -≤≤的讨论完全一样.分五个命题来证明这个定理:命题1、设()y x ϕ=是方程(1.1)定义于区间00x x x h ≤≤+上满足初始条件00()x y ϕ=的解,则()y x ϕ=是积分方程0(,)xx y y f x y dx =+⎰ 00x x x h ≤≤+ (1.4)的定义于00x x x h ≤≤+上的连续解.反之亦然. 现在取00()x y ϕ=,构造皮卡逐步逼近函数序列如下:0000100()()(,())x nn x x y x y f d x x x hϕϕξϕξξ-=⎧⎪⎨=+≤≤+⎪⎩⎰ (1.5)(n=1,2,…)命题2 、对于所有的n ，(1.5)中()n x ϕ在00x x x h ≤≤+上有定义、且满足不等式0|()|n x y b ϕ-≤命题3 、函数序列{}()n x ϕ在00x x x h ≤≤+上是一致收敛的. 命题4 、()x ϕ是积分方程(1.4)的定义于00x x x h ≤≤+上的连续解.命题5 、()x ψ是积分方程(1.4)的定义于00x x x h ≤≤+上的一个连续解，则()()x x ϕψ=，00x x x h ≤≤+.综合命题1—5，即得到存在唯一性定理.本文在方程(1.1)在满足定理1.1条件下,应用应用压缩映像原理，Schauder 不动点定理，以及Euler 折线法，给出了一阶微分方程解得存在唯一性定理的其它几种证法.2、预备知识定义 2.1、 定义在t αβ≤≤上的实值(m 维)向量函数族{}()F f t =,如果存在数M ＞0，使得对任一f F ∈，都有()f t M ≤，当t αβ≤≤时，则称函数族F 在t αβ≤≤上是一致有界的.定义2.2 、定义在t αβ≤≤上的实值(m 维)向量函数族{}()F f t =，如果对于任给的ε﹥0，总存在δ﹥0，使得对任一f F ∈和任意的12,[,]t t αβ∈，只要12|,|t t -＜δ就有12()()f t f t -＜ε则称函数族F 在 t αβ≤≤上是同等连续.定义2.3、设X 是度量空间，M 是X 中子集，若M 是X 中紧集，则称M 是X 中相对紧集。