§3.1解的存在唯一性定理与逐次逼近法

§3.1解的存在唯一性定理与逐次逼近法

一、教学目的：讨论Picard逼近法及一阶微分方程的解的存在与唯一性定理。

二、教学要求：熟练掌握Picard逼近法，理解解的存在唯一性定理的条件、结论

及证明思路，会用Picard逼近法求近似解。

三、教学重点：Picard存在唯一性定理及其证明。

四、教学难点：解的存在唯一性定理的证明。

五、教学方法：讲练结合教学法、提问式与启发式相结合教学法。

六、教学手段：传统板书与多媒体课件辅助教学相结合。

七、教学过程：

3.1.1．解的存在性唯一性定理和逐步逼近法

微分方程来源于生产实践际，研究微分方程的目的就在于掌握它所反映的客观规律，能动解释所出现的各种现象并预测未来的可能情况。在第二章介绍了一阶微分方程初等解法的几种类型，但是，大量的一阶方程一般是不能用初等解法求出其通解。而实际问题中所需要的往往是要求满足某种初始条件的解。因此初值问题的研究就显得十分重要，从前面我们也了解到初值问题的解不一定是唯一的。他必须满足一定的条件才能保证初值问题解的存在性与唯一性，而讨论初值问题解的存在性与唯一性在常微分方程占有很重要的地位，是近代常微分方程定性理论，稳定性理论以及其他理论的基础。

例如方程dy

=

dx

过点(0,0)的解就是不唯一，易知0

y=是方程过(0,0)的解，此外，容易验证，2

=或更一般地，函数

y x

2

0 0() c<1

x c y x c x ≤≤⎧=⎨-≤⎩ 都是方程过点(0,0)而且定义在区间01x ≤≤上的解，其中c 是满足

01c <<的任一数。

解的存在唯一性定理能够很好地解释上述问题，它明确地肯定了方程的解在一定条件下的存在性和唯一性。另外，由于能得到精确解的微分方程为数不多，微分方程的近似解法具有重要的意义，而解的存在唯一性是进行近似计算的前提，如果解本身不存在，而近似求解就失去意义；如果存在不唯一，不能确定所求的是哪个解。而解的存在唯一性定理保证了所求解的存在性和唯一性。

一．存在性与唯一性定理： 1、 显式一阶微分方程

),(y x f dx

dy

= （3.1） 这里),(y x f 是在矩形域：00:||,||R x x a y y b -≤-≤ （3.2） 上连续。

定理1：如果函数),(y x f 满足以下条件：1）在R 上连续：2）在R 上关于变量y 满足李普希兹（Lipschitz ）条件，即存在常数0L >，使对于R 上任何一对点1(,)x y ，2(,)x y 均有不等式

1212(,)(,)f x y f x y L y y -≤-成立，则方程（3.1）存在唯一的解()y x ϕ=，

在区间0||x x h -≤上连续，而且满足初始条件00()x y ϕ= （3.3）

其中,min(,),max (,)x y R b

h a M f x y M

∈==,L 称为Lipschitz 常数。

思路： 1） 求初值问题的解等价于积分方程0

0(,)x

x y y f x y dx =+⎰的连续解。

2）

构造近似解函数序列{()}n x ϕ

任取一个连续函数0()x ϕ，使得00|()|x y b ϕ-≤，替代上述积分方程

右端的y ，得到0

100()(,())x

x x y f x x dx ϕϕ=+⎰

如果10()()x x ϕϕ≡，那么0()x ϕ是积分方程的解，否则，又用1()x ϕ替代积分方程右端的y ，得到 0

201()(,())x

x x y f x x dx ϕϕ=+⎰

如果21()()x x ϕϕ≡，那么1()x ϕ是积分方程的解，否则，继续进行，得到0

01()(,())x

n n x x y f x x dx ϕϕ-=+⎰ （3.4）

于是得到函数序列{()}n x ϕ。 3）

函数序列{()}n x ϕ在区间00[,]x h x h -+上一致收敛于()x ϕ，即

lim ()()n n x x ϕϕ→∞

=存在，对(3.4)取极限,

得到

00

010lim ()lim (,()) =(,())

x

n n x n n x

x x y f x x dx

y f x x dx ϕϕϕ-→∞

→∞=++⎰⎰

即0

0()(,())x

x x y f x x dx ϕϕ=+⎰.

4) )(x ϕ是积分方程0

0(,)x

x y y f x y dx =+⎰在00[,]x h x h -+上的连续解。

这种一步一步求出方程解的方法——Picard 逐步逼近法。在定理的假设条件下,分五个命题来证明定理。

为了讨论方便,只考虑区间00x x x h ≤≤+,对于区间00x h x x -≤≤的讨论完全类似.

命题1 设()y x ϕ=是方程

),(y x f dx

dy

= (3.1)定义于区间00x x x h ≤≤+上,满足初始条件00()x y ϕ=（3.3）的解,则()y x ϕ=是积分方程

00(,)x

x y y f x y dx =+⎰，00x x x h ≤≤+ (3.5)的定义于00x x x h ≤≤+上的连续

解，反之亦然。

证明 因为()y x ϕ=是方程(3.1)满足00()x y ϕ=的解,于是有

()

(,())d x f x x dx

ϕϕ= 两边取0x 到x 的积分得到

0()()(,())x

x x x f x x dx ϕϕϕ-=⎰ 00x x x h ≤≤+

即有0

0()(,())x

x x y f x x dx ϕϕ=+⎰ 00x x x h ≤≤+

所以()y x ϕ=是积分方程0

0(,)x

x y y f x y dx =+⎰定义在区间00x x x h ≤≤+上的

连续解.

反之,如果()y x ϕ=是积分方程(3.5)上的连续解,则

00()(,())x

x x y f x x dx ϕϕ=+⎰ 00x x x h ≤≤+ （3.6）

由于),(y x f 在R 上连续,从而(,())f x x ϕ连续,两边对x 求导,可得

()

(,())d x f x x dx

ϕϕ= 而且 00()x y ϕ=, 故()y x ϕ=是方程(3.1)定义在区间00x x x h ≤≤+上,且满足初始条件

00()x y ϕ=的解。

构造Picard 的逐次逼近函数序列{()}n x ϕ.

0000100()()(,()) x n

n x x y x y f d x x x h ϕϕξϕξξ-=⎧⎪

⎨=+≤≤+⎪⎩⎰ (1,2,)n =L （3.7）