一阶常微分方程解的存在唯一性
- 格式：pdf
- 大小：311.18 KB
- 文档页数：19
h = min
a,
b M
,
M = max |f (x, y)| (x,y)∈R
〖证明〗 证明过程分3步。
1
2
第三章 一阶常微分方程解的存在唯一性
(1) 首先证明微分方程初值问题(3.1)等价于积分方程
x
y(x) = y0 + f (t, y(t))dt
x0
(3.2)
即如果连续可微函数y(x)满足微分方程(3.1)，则它一定满足积分方程(3.2)；如果连 续函数y(x)满足积分方程(3.2)，则它一定连续可微，而且满足微分方程(3.1)。（一 般，一个函数作为微分方程的解被要求是连续可微的，而作为积分方程的解仅要 求连续。）具体证明如下：
■ 注1 存在唯一性定理中参数h的几何意义。 注2 在实际使用中，Lipschitz条件较难检验，故常用f (x, y)在R上有对y的连续偏导数 来替代。
3.1.2 一阶隐式方程
分析:
F (x, y, y ) = 0
(3.7)
根据隐函数存在定理，只要F
在(x0,
y0,
y0)的某邻域内连续，且F
(x0,
其中f (x, y)为闭矩形区域
上的连续函数。
R : |x − x0| ≤ a, |y − y0| ≤ b
定义 3.1 如果存在常数L > 0，使得以下不等式
|f (x, y1) − f (x, y2)| ≤ L|y1 − y2|
对∀(x, y1), (x, y2) ∈ R都成立，则称函数f (x, y)在区域R内关于y满足Lipschitz条件，常 数L称为Lipschitz常数。
˚2 F (x0, y0, y0) = 0；
˚3
∂F (x0, y0, y0) ∂y
=
0
则方程(3.7)存在惟一解
满足初始条件
y = y(x), |x − x0| ≤ h （h为足够小的正数）
y(x0) = y0,
y (x0) = y0
(3.10)
3.2 不动点定理与解的存在性
本节将给出微分方程解的存在唯一性的抽象形式——不动点理论。 定义 3.2 设X为一个非空集合，如果∀x, y ∈ X，都∃ρ(x, y) ∈ R与其对应且满足以下三个 条件：
(3.3)
ϕ(x0) = y0
因此，y = ϕ(x), x ∈ I是初值问题(3.1)的解，且满足连续可微。
(2) 用Picard逐次逼近法证明解的存在性。具体方法为：构造积分方程(3.2)的一组近似 解，证明近似解的极限满足积分方程(3.2)，从而证明解的存在性。
任取一个R上的连续函数y = ϕ0(x)代入积分方程(3.2)右端，就得到
(1) 非负性： ρ(x, y) ≥ 0，且当且仅当x = y时，ρ(x, y) ≡ 0； (2) 对称性： ρ(x, y) = ρ(y, x)； (3) 三角不等式： ρ(x, y) ≤ ρ(x, z) + ρ(z, y)，z ∈ X。 则称ρ为X上的距离，称X是以ρ为距离的距离空间。
定义 3.3 对于距离空间X中的点列{xn}，如果∀ε > 0，∃N > 0，使当m, n > N 时
=
lim
n→∞
ϕn(x)
=
y0
+
lim
n→∞
f (t, ϕn−1(t))dt = y0 +
x0
x0
lim
n→∞
f
(t,
ϕn−1
(t))dt
x
= y0 + f (t, ϕ(t))dt
x0
这就证明了ϕ(x)的确是积极分方程(3.2)定义在I 上的连续解。
3.1 PICARD存在唯一性定理
5
(3) 解的唯一性。
x0
x0
因此，ϕ2(x)也是连续函数。如果ϕ2(x) = ϕ1(x)，那么ϕ1(x)就是积分方程(3.2)的 解。否则，继续这一步骤，一般可得到
x
ϕn(x) = y0 + f (t, ϕn−1(t))dt
x0
(3.4)
同样，利用数学归纳法我们可以验证当x ∈ I时，|ϕn(x) − y0| ≤ b(n > 1)。为此，假 设当n = k时成立
x0
由于f (x, y)是闭矩形R上的连续函数，因此必须验证当|x−x0| ≤ h时，|ϕ1(x)−y0| ≤ b，否 则f (t, ϕ1(t))不 一 定 有 定 义，那 么 下 一 步 就 做 不 下 去 了。具 体 验 证 如 下： 当|x − x0| ≤ h时，
x
x
|ϕ1(x) − y0| = f (t, ϕ0(t))dt ≤ |f (t, ϕ0(t))|dt ≤ M |x − x0| ≤ M h ≤ b
x
ϕ1(x) = y0 + f (t, ϕ0(t))dt
x0
3.1 PICARD存在唯一性定理
3
显然，ϕ1(x)也是连续函数。如果ϕ1(x) = ϕ0(x)，那么ϕ0(x)就是积分方程(3.2)的 解。否则，继续将y = ϕ1(x)代入积分方程(3.2)右端得到
x
ϕ2(x) = y0 + f (t, ϕ1(t))dt
具体证明如下：
根据Lipschitz条件
|f (x, ϕn(x)) − f (x, ϕ(x))| ≤ L|ϕn(x) − ϕ(x)|
以及{ϕn(x)}在I上一致收敛于ϕ(x)可知{f (x, ϕn(x))}在I也一致收敛到f (x, ϕ(x))。 因此可以对(3.4)两边关于n取极限，得到
x
x
ϕ(x)
假定
lim
n→∞
ϕn(x)
=
ϕ(x)
∞
由于无穷级数ϕ0(x) + [ϕn+1(x) − ϕn(x)]的每一项都在I上连续，所以ϕ(x)也 n=0
在I 上连续。这样就证明了所构造的Picard逼近函数序列{ϕn (x)}一致收敛到连续
函 数ϕ(x)。更 进 一 步，还 可 以 证 明：ϕ(x)就 是 积 分 方 程(3.2)定 义 在I 上 的 连 续 解。
y0,
y0)
=
0，而
∂F ∂y
=
0，则必可以把y 惟一地表示为x, y的函数
y = f (x, y)
(3.8)
而且，f (x, y)也在(x0, y0)的某一邻域内连续，且满足
y0 = f (x0, y0)
如果F 关于所有变元都有连续偏导数，那么f (x, y)对x, y也存在连续偏导数，并且
∂f ∂y
x
f (t, ϕ0(t))dt ≤
x0
x
|f (t, ϕ0(t))|dt ≤ M |x − x0|
x0
4
第三章 一阶常微分方程解的存在唯一性
x
|ϕ2(x) − ϕ1(x)| ≤
|f (x, ϕ1(t)) − f (x, ϕ0(t))|dt
x0
x
≤ L |ϕ1(t) − ϕ0(t)|dt
x0
≤ LM
x0
≤ M L|x − x0|
(3.5) (3.6)
把不等式(3.6)代入不等式(3.5)的右端，可得
如此反复递推可得
|ϕ(x)
− ψ(x)|
≤
M (L|x − 2!
x0|)2
|ϕ(x)
−
ψ(x)|
≤
M (L|x − n!
x0|)n ,
x∈I
在上式中令n → ∞即可得到ϕ(x) = ψ(x)。这就证明了唯一性。
|ϕk(x) − y0| ≤ b, x ∈ I
那么，当n = k + 1时，
x
ϕk+1(x) = y0 + f (t, ϕk(t))dt,
x0
x∈I
于是，当x ∈ I时，
x
|ϕk+1(x) − y0| = f (t, ϕk(t))dt ≤
x0
这样，就有了一个连续函数的序列
x
|f (t, ϕk(t))|dt ≤ M |x − x0| ≤ M h ≤ b
第三章 一阶常微分方程解的存在唯一性
本章主要介绍和证明一阶微分方程解的Picard存在和唯一性定理，解的延拓，解对 初值的连续性和可微性等概念。
3.1 Picard存在唯一性定理
3.1.1 一阶显式微分方程
考虑一阶显式常微分方程的初值问题
dy dx
=
f (x, y)
y|x=x0 = y0
(3.1)
x0
ϕ0(x), ϕ1(x), · · · , ϕn(x), · · ·
称为Picard序列。在生成该函数序列的时候，如果有ϕn+1(x) = ϕn(x)，那么ϕn(x)就 是积分方程(3.2)的解；否则可以证明：ϕn(x)(n = 1, 2, · · ·)当x ∈ I时一致收敛到某 一连续函数ϕ(x)。具体证明如下：
定义 3.5 如果∀x ∈ X以及某一给定的x0 ∈ X，映射T 满足以下条件：∀ε > 0，∃δ > 0，使 得当ρ(x, x0) < δ时，有ρ(T x, T x0) < ε，则称映射T 在x0处连续。如果映射T 在X中的每一 点都连续，就称T 在X上连续或者称T 是连续映射。
3.2 不动点定理与解的存在性
7
定义 3.6 设X是一个完备的距离空间，ρ是X上的距离，T 是由X到X自身的映射，并
且∀x, y ∈ X，成立
ρ(T x, T y) ≤ θρ(x, y)
(3.11)
其中θ是满足0 ≤ θ < 1的定数。那么称T 为X上的压缩映射。
定理 3.3 (Banach压缩映像原理) 设X是一个完备的距离空间，T 是X上的一个压缩映 射。那么T 在X中存在唯一不动点，即存在唯一的x˜ ∈ X，使得T x˜ = x˜。
