第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、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 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