第1节(续) 解的局部存在唯一性定理
解的存在唯一性定理2017-3-21
x
x0 x x0 h
12
因此, y ( x) 是积分方程在 x0 x x0 h 上的连续解.
2017/6/19
Existence & Uniqueness Theorem & Progressive Method
反之,如果 y ( x) 是 (3.1.6) 的连续解,则有:
x0 x
x
( x) y
n
0
x0
f ( , n1 ( ))d
14
2017/6/19
Existence & Uniqueness Theorem & Progressive Method
0 ( x) y0
y
1 ( x) y0 f ( ,0 ( ))d
0 ( x) [k ( x) k 1 ( x)] x0 x x0 h
k 1
为此,进行如下的估计,由逐步逼近序列(3.1.9)有:
n ( x) y0 f ( ,n1 ( ))d
x0
x x0
x
x0 h x x0 h
(3.1.12)
1 ( x) 0 ( x) f ( , 0 ( )) d M ( x x0 )
2 ( x) 1 ( x) f ( ,1 ( )) f ( , 0 ( )) d
x0 x
L 1 ( ) 0 ( ) d
x0
x
ML ( x x0 ) 2 L M ( x0 )d x0 2!
L n ( ) n1 ( ) d
( x) y0 f ( x, ( x))dx
x0
解的存在唯一性定理证明
存在唯一性定理 如(,)f x y 在R 上连续且关于y 满足利普希茨条件,则方程(,),dyf x y dx=在区间0x x h -≤上存在唯一解00(),()y x x y ϕϕ==,其中(,)min ,,max (,)xy R bh a M f x y M∈⎛⎫== ⎪⎝⎭逐步迫近法 微分方程(,)dyf x y dx=等价于积分方程00(,)xxy y f x y dx =+⎰取00()x y ϕ=,定义001()(,()),1,2,xn n x x y f x x dx n ϕϕ-=+=⎰ 可证明lim ()()n n x x ϕϕ→∞=的()y x ϕ=满足积分方程。
通过逐步迫近法可证明解的存在唯一性。
命题1 先证积分方程与微分方程等价:设()y x ϕ=是微分方程(,)dyf x y dx =定义于区间00x x x h ≤≤+上满足初值条件00()x y ϕ=的解,则()y x ϕ=是积分方程000(,),xx y y f x y dx x x x h =+≤≤+⎰定义于区间00x x x h ≤≤+上的连续解。
反之亦然。
证 因()y x ϕ=是微分方程(,)dyf x y dx=的解,有 ()(,())d x f x x dxϕϕ= 两边从0x 到0x h +取定积分0000()()(,()),xx x x f x x dx x x x h ϕϕϕ-=≤≤+⎰代入初值条件00()x y ϕ=得0000()(,()),xx x y f x x dx x x x h ϕϕ=+≤≤+⎰即()y x ϕ=是积分方程0000(,),xx y y f x y dx x x x h =+≤≤+⎰定义于区间00x x x h ≤≤+上的连续解。
反之,则有0000()(,()),xx x y f x x dx x x x h ϕϕ=+≤≤+⎰微分之()(,())d x f x x dxϕϕ= 且当0x x =时有00()x y ϕ=。
存在唯一性定理
注: 每一个 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) ,
第3章_第1节_解的局部存在唯一性定理(续)
(1)
–1
当 y0 0, 1时, 所给方程过点( x0 , y0 ) 的解(积分曲线)是 y( x ) x 1 y0 y ln y dy x0dx
由被积函数,知
积分
y0 y( x ) 0
y( x ) x 1 dy dx , 得 x0 y ln y
y0
ln ln y( x ) ln ln y0 x x0
证 f y ( x , y )在D上连续, 必有界
dy f ( x, y) (1) dx y( x0 ) y0
常数 L 0, 使
f y ( x , y) L (( x , y) D )
从而 ( x , y1 ),( x , y2 ) D,
(介于y1与y2之间), 使
f ( x , y )在D上关于y 满足 Lipschitz 条件
反例: 取 f ( x , y) y,
( x , y) D {( x , y) x x0 a, y 0 b}
( x , y1 ),( x , y2 ) D
f ( x , y2 ) f ( x , y1 ) y2 y1 y2 y1
L1
即 f ( x, y) y 在D上关于y 满足 Lipschitz条件
但点( x ,0)( D )处,f y ( x , y) 不存在
f y ( x , y )在D上不连续.
的条件(2).
上述关系表明:推论1中的条件(2)强于定理1
2. 可将定理1中的有界闭矩形区域 D 推广;
若 f ( x , y) 在闭带形区域: 推论2 D {( x , y) x , y }
第1节 解的局部存在唯一性定理
1 ( x ) y0 y0
x
x0 x
f [ x , 0 ( x )]dx f ( x , y0 )dx
x0
在I上连续,且 当 x I时,有
1 ( x ) y0
x0 f ( x, y0 ) dx x0
x
x
f ( x , y0 ) dx
x0 M dx
即
y0 M x x0 ( x ) y0 M x x0
这意味着: x I时, y ( x )必介于两直线: 当 L1 : y y0 M ( x x0 )
与
L2 :
y y0 M ( x x0 )
所夹的两个阴影区域中.
b b (1) 当 a 时,即 M 时 a M
b 当M 时 a y = (x)不可能从D的
上下边界越出D, 故
y0 b
y
(k
b ) a
当 x [ x0 a, x0 a]时, 曲线 y = (x)完全落
在 f (x, y ) 的定义域
y0
( x0 , y0 )
L2
y = (x)
y0 b
L1
x0 a
x0
D中. 故此时可取
考虑级数:
0 ( x ) [ k ( x ) k 1 ( x )]
k 1
( x I ) (5)
其部分和: n1 ( x ) 0 ( x ) [ 1 ( x ) 0 ( x )] S
[ n ( x ) n1 ( x )] n ( x) (x I)
b h min( a, ) M
4. 定理1的证明思路 (1) 解的存在性 (2) 解的唯一性 (分四步进行证明)
7-1解的存在唯一性定理_572404097
作业: P360 No.6 微积分I,P356 No.3
Remark:解的存在唯一性定理的几何解释
若f ( x, y)连续,并且关于变元y满足Lipschitz条件,则 y f ( x, y)的解曲线不相交.
Thm.设p( x), q( x)在区间I 上连续, x0 I , 则对任意 y0 , 一阶线性常微分方程的初值问题 y( x) p( x) y q( x) y ( x0 ) y0 在整个区间I 上存在唯一解.
悲观论点.另外,莱布尼兹也经常与牛顿在 通信中互相提出求解微分方程的挑战. 嗣后,许多著名数学家,例如伯努里(家 族),欧拉,高斯,拉格朗日和拉普拉斯等,都 遵循历史传统,把数学研究结合于当时许多 重大的实际力学问题,在这些问题中通常离 不开常微分方程的求解法.海王星的发现是 通过对微分方程的近似计算得到的,这曾是
Remark: 若f y ( x, y )在D上连续, 则f ( x, y)在D上关 于y满足Lipschitz条件. 这是因为在有界闭集D上 的连续函数 f y ( x, y ) 有上界,设为L, 则 f ( x, y1 ) f ( x, y2 ) f y ( x, )( y1 y2 ) L ( y1 y2 ) .
d y dy (4) 2 xy 0 dx dx
2
2
例: 求解y x 0. 1 2 1 3 解: y x c1 , y x c1 x c2 , c1 , c2 . 2 6 例: 可以验证y y 0有解y ce x .
由解的存在唯一性定理, 方程y sin y的解曲线 两两不相交.当y (0) 1/ 2 (0, )时,解曲线y( x)也 介于y 0和y 之间,得证.
解的存在唯一性定理
一阶微分方程解的存在性定理的其它证明方法姜旭东摘要 本文在文[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 中相对紧集。
连续函数的性质
x x0
lim g ( f ( x )) g ( u0 ) g ( lim f ( x )).
x x0
(* )
事实上,只要补充定义(或者重新定义)f ( x0 ) u0
使得 f ( x ) 在点 x0 连续 . 应用定理4.5,就得到所
需要的结论. 若将 lim f ( x ) u0 改为
x x0
x
lim f ( x ) u0 , lim f ( x ) u0 或 lim f ( x ) u0 ,
x x
(*)式相应的结论仍旧是成立的.
上述(1)和(2)究竟有什么本质的区别呢? 请读者作 出进一步的讨论. 例1 求 lim sin(1 x 2 ).
质有着根本的区别.
设函数 f ( x )在闭区间 [a , b] 定理4.7(介值性定理)
上连续,且 f (a ) f (b) . 若是介于 f (a ) 与 f (b) 之
间的任一数 ( f (a ) f (b) 或 f (b) f (a )),
则(至少)存在一点 x0 (a , b) , 使得
函数极限的相关性质 1 . 局部有界性 若 lim f ( x ) 存在,则 f 在 x0 x x 的某空心邻域 U ( x0 ) 内有界。
0
2 .保不等式性 设 lim f ( x ) 与 lim g( x ) x x x x 都存在,且在某邻域 U ( x0 ; ) 内有 f ( x ) g( x )
存在 0, 当 | x x0 | 时, 有
| f ( x ) f ( x0 ) | | u u0 | 1 ,
于是
| g( f ( x )) g( f ( x0 )) | | g( u) g( u0 ) | ,
微分方程初值问题解的唯一性
微分方程初值问题解的唯一性微分方程初值问题是研究微分方程的解的性质及其存在唯一性的重要问题之一、在实际问题中,由于观测数据的限制,我们通常只能得到初始条件下的解析解或数值解中的一个。
因此,我们需要确保初值问题存在唯一解,以保证对问题的研究有意义。
首先,我们来讨论微分方程的局部解的唯一性。
定理1(局部解的唯一性):设函数f(x,y)及其偏导数在区域D内连续,则对于方程dy/dx=f(x,y)的几个具有相同初始条件(x0,y0)的解,其区间I的长度不超过\alpha,其中\alpha>0只依赖于f(x,y)及其偏导数的最大值和最小值,且不依赖于(x0,y0)。
证明:设y1(x)和y2(x)为方程dy/dx=f(x,y)在区间I=[x0-\alpha,x0+\alpha]的两个解,且y1(x0)=y0,y2(x0)=y0。
构造函数w(x)=,y1(x)-y2(x),>0,则w'(x)=,y1'(x)-y2'(x),=,f(x,y1(x))-f(x,y2(x)),\leqslant Mw(x),其中M为f(x,y)及其偏导数的最大值和最小值的绝对值的最大值。
由Gronwall不等式,有w(x)\leqslant w(x0)e^{M(x-x0)},其中w(x0)=0。
因此w(x)=0,即y1(x)=y2(x),定理得证。
以上定理说明,如果微分方程的右端项在一些区域内连续,那么由同样的初始条件出发的解的局部存在且唯一其次,我们来讨论微分方程的整体解的唯一性。
定理2(整体解的唯一性):设函数f(x,y)及其偏导数在闭区域D内连续,且满足Lipschitz条件,即存在常数L>0,使得对于任意(x,y1)和(x,y2)属于D,有,f(x,y1)-f(x,y2),\leq L,y1-y2、则方程dy/dx=f(x,y)的任意两个解在其公共存在的区间上是相同的。
证明:设y1(x)和y2(x)是方程dy/dx=f(x,y)的两个解,考虑函数z(x)=y1(x)-y2(x),则有z'(x)=y1'(x)-y2'(x)=f(x,y1(x))-f(x,y2(x))。
第1节(续) 解的局部存在唯一性定理
1 y3
= x+c
( c为任意常数 )
y = ( x + c )3
可以验证:当 y0 = 0时,所给初值问题至少
有两个解: y = ( x − x0 ) 3 及 y ≡ 0.
综上所述:
1o 当 y0 > 0 时,所给初值问题的解 (< ) 在 y > 0 内存在且唯一 ; 但在 R 2 (<)
内该初值问题的解存在 却不唯一 .
即 f ( x , y )在以 P ( x0 , 0 )为中心的任一有界闭 矩形区域 D P 上关于 y 均不满足 Lip 条件 亦即 f ( x , y )在 y = 0上关于 y 不满足局部 Lip 条件 .
当 y ≠ 0 时,将原方程变量分离 得 1 ∫ 2 dy = ∫ dx 3 y3
通解:
如: 对于黎卡提方程
dy = x 2 + y 2, dx
虽然不能用初等积分法求解,但 由推论4知,该方程在(x, y)平面上 经过每一点有且只有一个解.
注
1o f ( x , y )在区域 G内连续
初值问题(1)的解存在 (欧拉、柯西–皮亚诺存在定理)
2o f ( x , y )在区域 G内关于 y满足 ( 局部 ) Lipschitz 条件
∃ ξ ( 介于 y1与 y2 之间 ), 使 f ( x , y2 ) − f ( x , y1 ) = f y ( x , ξ )( y2 − y1 ) = f y ( x , ξ ) ⋅ y2 − y1
≤ L ⋅ y2 − y1
即 f ( x , y )在 D上关于 y满足 Lipschitz 条件
当 y ≠ 0 时,f ( x , y )连续; 当 y = 0 时,
解的存在唯一性定理与逐步逼近法
x0 x
y y0 f ( x, y )dx
x0
x
2 ( x) y0 f ( x, 1 ( x)) dx
x0 x
x
3 ( x ) y0
x
x0
f ( x, 2 ( x)) dx … n ( x) y0
y y0 f ( x, y )dx(3.5)
x0 x
定义于 x0 x x0+h 上的连续解,反之亦然.
命题2
命题2 对于所有的 n,函数 n(x) 在 x0xx0+h 上有定 义,连续且满足不等式 | n(x)y0 | b.
命题3
命题3 函数序列 {n(x)} 在 x0 x x0+h 上是一致收敛 的. 注: 1、函数列的一致收敛性 设函数列{fn}与函数f定义在同一数集D上,若对 给的正数ε,总存在某一正数N,使得当n≥N时, 对一切x∈D,都有: |fn(x)-f(x)|<ε,则称函数列{fn}在D上一致收敛。
b 其中 h min( a, ), M max | f ( x, y ) | ( x , y )R M
皮卡(Picard)逐步逼近法
思路(区间取为 x0 x x0+h )
(1)证明求微分方程的初值问题的解等价于求积分方程 的连续解; (2)取一连续函数 0(x) 进行迭代求解,构造函数序列: 0(x), 1(x), 2(x),… n(x)…;
2、函数项级数一致收敛的维尔斯特拉斯判别法: 设函数项级数∑un(x)定义在数集D上, ∑mn为收 敛的正项级数,若对一切x∈D,有:
| un(x) |≤ mn
解的存在唯一性定理
上连续,从而k1(x)在[x0 , x0 h]上连续且
k1(x) y0
x
x0 f ( ,k ( ))d
x x0
f (,k ( ))d
M x x0 Mh b
即当n k 1时成立,命题2成立
综上,命题2得证
二、存在唯一性定理
定理1
dy =f (x, y)
(1)
dx
D :| x x0 | a,| y y0 | b
如果f (x, y)在D上连续且关于y满足利普希茨条件,
则方程(1)存在唯一的连续解y (x),定义在|x x0| h
上,连续且满足初值条件
(x0 ) y0
这里h min(a, b ), M max | f (x, y) |
x
L x0 n ( ) n1( )d
MLn
n!
x x0
(
x0 )nd
MLn (x (n 1)!
x0 )n1,
于是由数学归纳法得知,对所有正整数n,有
n (x) n1(x)
MLn1 n!
(x
x0 )n ,
x0 x x0 h,
(3.11)
从而当x0 x x0 h时,
n (x) n1(x)
于是{n (x)}一致收敛性与级数 (3.9)一致收敛性等价 .
对级数(3.9)的通项进行估计
x
1(x) 0(x) x0 f (,0( ))d M x x0
x
2(x) 1(x) x0 f (,1( )) f (,0 ( ))d
x
L x0 1( ) 0( )d
L
x x0
M (
3.1 解的存在唯一性定理与逐步逼近法
3.2 解的延拓
引例 : 考察 Riccati 方程 dy dx 1 ) 在矩形域 D : 1 x 1 , 1 y 1 上验证其满足解的存在 定理条件 , 并求出初值解存在区间 [ x 0 h , x 0 h ].
?h? 2 ) 若 D : 2 x 2 , 2 y 2, 则相应的结论如何
( 1 ) 命题 1) 原初值问题的解必定等 y y0
1 ( x ) 2 ( x ) (x)
k 1
价于如下积分方程 ( 3 . 2 )的连续解 .
: ( x I [ x 0 , x 0 h ])
明
x
x
f ( x , y ) dx
0
( 2 ) 构照一列 Picard 逐步逼近函数序列如下
注:
(1) 该定理说明若 必然局部存在且唯一 效果在于保证解曲线
b ( x ) , 其中 h min a , , M M
max
f (x, y).
f ( x , y )满足定理条件 , 其中解存在区间
, 则其初值解
y (x)
[ x 0 h , x 0 h ]中的 h 的 D 内部而不出超出 .
解 : 1) 由于 f ( x , y ) x
2
x
2
y , y(0) 0 唯一性
2
2 y 在 D 上连续 , 且 f y 2 y 在 D 上连续 ,
故方程满足解的存在唯
一性条件 .
1 1 又 a 1 , b 1 , M 2 ,因此 h min ,1 . 故解存在区间 2 2 2 1 2) a 2 , b 2 , M 8 , 此时 h min , 2 .故解存在区间 8 4
常微分方程解的存在唯一性定理
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+。
解的存在唯一性定理与逐步逼近法.ppt
并且对y满足Lipschitz条件 :
即存在L 0,使对所有(x, y1), (x, y2 ) R常成立
f (x, y1) f (x, y2 ) L y1 y2
则初值问题(3.1)在区间x x0 h上的解存在且唯一,
这里h min(a, b ),M Max f (x, y)
M
( x, y)R
(5)解唯一
下面分五个命题来证明定理,为此先给出 积分方程 如果一个数学关系式中含有定积分符号且在定积分符号下 含有未知函数, 则称这样的关系式为积分方程.
如 : y e x x y(t)dt, 就是一个简单的积分方程. 0
积分方程的解
对于积分方程y y0
x x0
f (t, y)dt,如果存在定义在区间I [, ]上
证明思路 (1) 初值问题(3.1)的解等价于积分方程
dy dx
f (x, y) , (3.1)
y(x0 ) y0
x
y y0 x0 f (t, y)dt
(3.3)
的连续解.
(2) 构造(3.3)近似解函数列 {n (x)}
任取一连续函数0 (x),0 (x) y0 b,代入(3.3)右侧的y,得
问题: 这样构造的函数列是否行得通, 即上述的积分是否有 意义?
命题2 对于所有n和x [x0 , x0 h],n (x)连续且满足
n (x) y0 b,
(3.8)
证明 (用数学归纳法)
n 1时
x
1(x) y0 x0 f (,y0 )d
显然1 (x)在[x0 , x0 h]上连续,且
dy dx
f (x, y) , (3.1)
y(x0 ) y0
x
(x) y0 x0 f (t,(t))dt
常微分方程课件--解的存在唯一性定理
y ( x) [ s e
0
]ds
x
0
1 2 5 5 [1 ( ) ]ds x 1 2 4 8
例6讨论初始值问题
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
解的存在唯一性定理证明
解的存在唯一性定理利用逐次逼近法,来证明微分方程(,),dyf x y dx =的初值问题00(,)()dy f x y dx y y x ==⎧⎨⎩的解存在与唯一性定理。
一、【存在、唯一性定理叙述】 如果方程(,),dyf x y dx=的右端函数(,)f x y 在闭矩形区域0000:,R x a x x a y b y y b -≤≤+-≤≤+上满足如下条件:(1)、在R 上连续;(2)、在R 上关于变量y 满足利普希茨条件,即存在常数N ,使对于R 上任何一点(),x y 和(),x y 有以下不等式:()|(,),|||f x y f x y N y y -≤-。
则初值问题00(,)()dyf x y dx y y x ==⎧⎨⎩在区间0000x h x x h -≤≤+上存在唯一解00(),()y x x y ϕϕ==, 其中0(,)min ,,max (,)xy R bh a M f x y M∈⎛⎫== ⎪⎝⎭二、【证明】 逐步迫近法:微分方程(,)dyf x y dx=等价于积分方程00(,)x x y y f x y dx =+⎰。
取00()x y ϕ=,定义001()(,()),1,2,3, (x)n n x x y f x x dx n ϕϕ-=+=⎰可证明lim ()()n n x x ϕϕ→∞=的()y x ϕ=满足积分方程。
通过逐步迫近法可证明解的存在唯一性。
命 题 1:先证积分方程与微分方程等价: 设()y x ϕ=是微分方程(,)dyf x y dx=定义于区间0000x h x x h -≤≤+上满足初值条件00()x y ϕ=的解,则()y x ϕ=是积分方程00(,),x x y y f x y dx =+⎰定义于区间0000x h x x h -≤≤+上的连续解。
反之亦然。
证: 因()y x ϕ=是微分方程(,)dy f x y dx =的解,有'()()(,())d x x f x x dxϕϕϕ== 两边从0x 到x 取定积分,得:000000()()(,()),xx x x f x x dx x h x x h ϕϕϕ-=-≤≤+⎰代入初值条件00()x y ϕ=得:000000()(,()),xx x y f x x dx x h x x h ϕϕ=+-≤≤+⎰即()y x ϕ=是积分方程00(,)xx y y f x y dx =+⎰定义于区间0000x h x x h -≤≤+上的连续解。
常微分方程§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
解的存在唯一性定理与逐步逼近法的应用
在实际问题中的应用
物理问题
常微分方程在物理学中有广泛的应用,如力学、电磁学等领域。通过解的存在唯一性定理和逐步逼近法,可以求解物 理问题中的微分方程,从而得到物理现象的数学模型。
经济问题
在经济学中,常微分方程可以用来描述经济系统的动态变化,如供需关系、市场竞争等。通过逐步逼近法,可以求解 这些微分方程,为经济决策提供依据。
存在唯一性定理
则 值 题 3.1)在 间x − x0 ≤ h上 解 在 唯 , 初 问 ( 区 的 存 且 一
b 这里h = m a, ), M = Max f (x, y) in( ( x, y)∈R M
证明思路
(1) 初值问题 初值问题(3.1)的解等价于积分方程 的解等价于积分方程
x0
x
这 要 ϕn (x) − y0 ≤ b, 里 求
若ϕn+1(x) = ϕn (x), 则ϕn (x)为解 ,
否则一直下去可得函数列 ϕn (x)} {
(逐步求 逐步求(3.5)的解 逐步逼近法) 的解,逐步逼近法 的解
(3)函数序列 {ϕn (x)}在 [x0 , x0 + h] 上一致收敛于 ϕ(x). 函数序列 这是为了
法知,级数 上一致收敛, 法知,级数(3.9)在 [x0 , x0 + h] 上一致收敛,因而函数 在 序列 {ϕn ( x)} 在 [x0 , x0 + h]上一致收敛 上一致收敛.
n−1
现设
lim ϕn (x) = ϕ(x),
n→∞
x0 ≤ x ≤ x0 + h,
则由ϕn (x)}在 x0 , x0 + h]的连续性和一致收敛性得 { [ ,
函数列 fn (x)}, ( fn (x) = f (x,ϕn (x))) { 在 x0 , x0 + h]上一致收敛于函数f (x,ϕ(x)), [
因 对 3.7)两 取 限 得 此 ( 边 极 ,
lim ϕn (x) = y0 + lim ∫x f (ξ,ϕn−1(ξ ))dξ n→∞
n→∞
0
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
∃ ξ ( 介于 y1与 y2 之间 ), 使 f ( x , y2 ) − f ( x , y1 ) = f y ( x , ξ )( y2 − y1 ) = f y ( x , ξ ) ⋅ y2 − y1
≤ L ⋅ y2 − y1
即 f ( x , y )在 D上关于 y满足 Lipschitz 条件
2o 当 y0 = 0 时,
该初值问题的解存在但 不唯一 .
y
o
•
( x0,0) x
四、隐方程情形
F ( x , y, y′ ) = 0 ( 3) ′ 定理2 若在点 ( x0 , y0 , y0 )的某邻域中 (1) F ( x , y, y′) 关于所有变元 ( x , y, y′) 连续 且存在连续的偏导数; ′ ) = 0; ( 3) ∂F ( 2) F ( x0 , y0 , y0 ≠ 0, ∂ y ′ ( x , y , y′ )
即 f ( x , y )在 y = 0上关于 y 不满足局部 Lip 条件 .
问: 当 y0 = 0 时,所给方程满足 y( x0 ) = 0
的解是否一定不唯一?
答:不一定. 由观察知, y = 0是该方程的解 , 事实上, y = ± 1也是该方程的解 .
dy ⎧ y ln y , y ≠ 0 =⎨ dx ⎩0, y=0
y→ 0
o
x
∴ ∀ L > 0, ∃ y∗ ≠ 0, ( x , y∗ ) ∈ DP
使 使
ln y∗ > L. 即不存在常数 L > 0, f ( x , y ) − f ( x ,0 ) ≤ L y
∴
f ( x , y )在以 P ( x 0 , 0 )为中心的任一有界 闭矩形区域 D P 上关于 y 均不满足 Lip 条件
推论4 设 f ( x , y ) 在区域 G内有定义,若 f ( x , y ) 在G内满足下列两个条件: (1) 连续;
( 2 ) 关于 y满足 局部 的 Lipschitz 条件,即
∀ P ( x0 , y0 ) ∈ G , ∃ DP = {( x , y ) x − x0 ≤ a , y − y0 ≤ b } ⊂ G , 使 f ( x , y )在 DP 上关于 y满足 Lipschitz 条件 ,
由被积函数,知
积分
y0 ⋅ y( x) > 0
∫y0
y( x )
x 1 dy = ∫ dx , 得 x0 y ln y
ln ln y( x ) − ln ln y0 = x − x0
ln y( x ) ln = x − x0 , 即 ln y( x ) = e x − x0 ln y0 ln y0 ln y( x ) 由关系(1),知 >0 y ln y0 1 x− x0 • ( x0 , y0 ) ∴ ln y( x ) = e ln y0 o 又Q y0 ⋅ y( x) > 0 –1
∴ f ( x , y )在R 2内连续
故 ∀ ( x0 , y0 ) ∈ R 2 , 所给方程满足:y( x0 ) = y0 的解必存在 .
(2) 唯一性
当 y ≠ 0 时,f y ( x , y ) = 1 + ln y 连续 ∴ 当 y ≠ 0 时, f ( x , y )关于 y满足局部 Lip 条件
即
1 y3
= x+c
( c为任意常数 )
y = ( x + c )3
可以验证:当 y0 = 0时,所给初值问题至少
有两个解: y = ( x − x0 ) 3 及 y ≡ 0.
综上所述:
1o 当 y0 > 0 时,所给初值问题的解 (< ) 在 y > 0 内存在且唯一 ; 但在 R 2 (<)
内该初值问题的解存在 却不唯的M. 2º 在唯一性证明中,取
M 1 = max f ( x ,ψ ( x ))
x∈[α , β ]
代替定理1证明中的M.
⎧ dy = P(x)y + Q(x) ⎪ 推论3 对于 ⎨ dx ( 2 ), ⎪ y ( x 0 ) = y0 线性方程 ⎩ 设 P ( x ), Q ( x )均在区间 [α , β ] 上连续 , 则 ∀ ( x0 , y0 ) ∈ D∞ , 初值问题 ( 2 )存在唯一的 定义在 整个区间 [α , β ] 上的解 .
记 DP = {( x , y ) x − x0 ≤ a , y − 0 ≤ b }
假定: ∃ 常数 L > 0, 使 ∀ ( x , y ), ( x ,0 ) ∈ DP
f ( x , y ) − f ( x ,0 ) = 3 ≤ L⋅ y − 0 L −1 3 ≤ 则当 y ≠ 0 时,有 y 3
⎧dy ⎪ = f ( x, y) (1) ⎨dx ⎪ y( x0 ) = y0 ⎩
证 Q f y ( x , y )在 D上连续 , 必有界
∴ ∃ 常数 L > 0, 使
f y ( x , y ) ≤ L (( x , y ) ∈ D )
从而 ∀ ( x , y1 ),( x , y2 ) ∈ D,
证 Q f ( x , y ) = P ( x ) y + Q ( x )在 D∞ 上连续
f y ( x , y ) = P ( x ) 在 D∞ 上连续 , 必有界
∴ ∃ 常数 L > 0, 使 f y ( x , y ) ≤ L (( x , y ) ∈ D∞ ) 从而 ∀ ( x , y1 ),( x , y2 ) ∈ D∞, ∃ ξ ( 介于 y1与 y2 之间 ), 使 f ( x , y2 ) − f ( x , y1 ) = f y ( x , ξ ) ⋅ y2 − y1 ≤ L ⋅ y2 − y1 即 f ( x , y )在 D∞ 上关于 y满足 Lipschitz 条件 ∴ 由推论 2知,推论 3成立 .
一、问题的提出 二、皮卡存在唯一性定理与逐步逼近法 三、几点说明
三、几点说明 1. 可用“ f y ( x , y ) 在D上连续” 代替定理1 中的Lipschitz 条件,此条件更加便于检验; 推论1 (柯西存在唯一性定理)
设 f ( x , y ) 在有界闭矩形区域: D = {( x , y ) x − x0 ≤ a, y − y0 ≤ b}
(2) 唯一性 −1 Q 当 y ≠ 0 时,f y ( x , y) = 2 y 3 连续
∴ 当 y ≠ 0 时, f ( x , y )关于 y满足局部 Lip 条件
故 1o 当 y0 > 0 时,所给初值问题的解 (< ) 在 y > 0 内存在且唯一 . (<) 2o 当 y0 = 0 时,
在G内,初值问题 (1)的解唯一 .
例1 试证方程 dy ⎧ y ln y , y ≠ 0 =⎨ dx ⎩0, y=0 经过xOy 面上任一点的解都存在且唯一. 解 (1) 存在性
⎧ y ln y , y ≠ 0 , ( x, y) ∈ R 2 f ( x, y) = ⎨ y=0 ⎩ 0,
由初等函数的连续性,知
但另一方面, lim y
y→ 0 −1
3
y
• x•
2 y3
( x, y)
• P ( x0 ,0)
DP
o
x
= +∞
∴ ∀ L > 0, ∃ y∗ ≠ 0, ( x , y∗ ) ∈ DP
L 矛盾! > 使 y 3 ∴ 不存在常数 L > 0,
3
−1 ∗
使
f ( x , y ) − f ( x ,0 ) ≤ L y
即 ∃ 常数 LP > 0, 使 ∀ ( x , y1 ),( x , y2 ) ∈ DP, 有 f ( x , y2 ) − f ( x , y1 ) ≤ LP ⋅ y2 − y1 dy 则方程 = f ( x , y )在 G内经过每一点 dx P ( x0 , y0 )有且只有一条积分曲线 ,即 在G内,初值问题 (1)的解存在且唯一 .
( 2 ) 关于 y满足 Lipschitz 条件 , 则 ∀ ( x0 , y0 ) ∈ D∞ , 初值问题 (1)存在唯一的 定义在 整个区间 [α , β ] 上的解 .
⎧dy ⎪ = f ( x, y) (1) ⎨dx ⎪ y( x0 ) = y0 ⎩
证明提示: 1º 在存在性证明中,取
M 0 = max f ( x , y0 )
由定理1知,推论1的结论成立.
注
f y ( x , y )在D上连续
f ( x , y )在 D上关于 y 满足 Lipschitz 条件
反例: 取 f ( x , y ) = y ,
( x , y ) ∈ D = {( x , y ) x − x0 ≤ a, y − 0 ≤ b} ∀ ( x , y1 ),( x , y2 ) ∈ D f ( x , y2 ) − f ( x , y1 ) = y2 − y1 ≤ y2 − y1
由1º 知,当 y0 ≠ 0 时,所给方程过点 (x0, y0) 的解 y(x) 与 y0 有如下关系:
当 y0 < 1 时, y < 1; 当 y0 > 1 时, y > 1. y
(1)
1 o –1 x
当 y0 ≠ 0 , ± 1 时, 所给方程过点 ( x 0 , y0 ) 的解(积分曲线)是 y( x ) x 1 ∫y0 y ln y dy = ∫x0dx
即 f ( x , y )在以 P ( x0 , 0 )为中心的任一有界闭 矩形区域 D P 上关于 y 均不满足 Lip 条件 亦即 f ( x , y )在 y = 0上关于 y 不满足局部 Lip 条件 .
当 y ≠ 0 时,将原方程变量分离 得 1 ∫ 2 dy = ∫ dx 3 y3