解的存在唯一性定理.docxVIP

一阶微分方程解的存在性定理的其它证明方法

姜旭东

摘要本文在文［1］对一阶微分方程初值问题解得存在唯一性定理证明的基础上，应用压缩映像原理，

Schauder不动点定理，以及Euler折线法，给出了一阶微分方程解得存在唯一性定理的其它几种证法.

关键词一阶微分方程不动点定理解的存在性唯一性

1、引言

微分方程来源于生活实际，研究微分方程的目的在于掌握它所反映的客观规律。在文［1］第二章里，介绍了能用初等解法求解的一阶方程的若干类型，但同时指出，大量的一阶方程一般是不能用初等解法求解它的通解，而实际问题需要的往往是要求满足某种初始条件的解.本文在文［1］对一阶微分方程初值问题解的存在唯一性定理证明的基础上，应用压缩映像原理，Schauder不动点定理，以及Euler折线法，给出了一阶微分方程解的存在唯一性定理的其它几种证法.

考虑一阶微分方程

dy

TOC\o1-5\h\z=/(尤，y) (i.i)

dx

这里f(x,y)是在矩形区域

R:lx一xla,\y-ylb (1.2)

上的连续函数.

函数f(x,y)在R上满足Lipschitz条件，即存在常数L0,使得不等式

\oCurrentDocumentlf(x,y)-f(x,y)lLly-yl (1.3)

12 12

对所有(x,y1),(x,y2)gR都成立,L称为Lipschitz常数。

定理1.1、如果f(x,y)在R上连续且关于y满足Lipschitz条件，则方程(1.1)存在唯一的解

y=中(x)，定义于区间lx-xlh上,连续且满足初始条件

0

中(x0)=*

这里h=min(a,幺),M=maxIf(x,y)I.

M (x,y)eR

文［1］中采用皮卡逐步逼近法来证明这个定理.为了简单起见，只就区间X0xX0+h来讨论，对于

X0-hxX0的讨论完全一样.

分五个命题来证明这个定理：

命题1、设y=中(x)是方程(1.1)定义于区间x0xx0+h上满足初始条件

平(x)=y0 0

的解，则y=中(x)是积分方程

(1.4)(1.5)y=y+jxf(x,y)dx xxx+h

(1.4)

(1.5)

0 0 0

x0

的定义于x0xx0+h上的连续解.反之亦然.

现在取平0(x)=*，构造皮卡逐步逼近函数序列如下：

%(x)=y0

中(x)=y+jxf(,中())dxxx+h

n 0 n-1 0 0

x0

(n=1,2,…)

命题2、对于所有的n，(1.5)中甲n(x)在x0xx0+h上有定义、且满足不等式

I中(x)-yIb

命题3、函数序列〃3)｝在x0xx0+h上是一致收敛的.

命题4、中(x)是积分方程(1.4)的定义于x0xx/h上的连续解.

命题5、W(x)是积分方程(1.4)的定义于x0xx/h上的一个连续解，则中(x)=W(x)，xxx+h.

00

综合命题1—5，即得到存在唯一性定理.

本文在方程(1.1)在满足定理1.1条件下，应用应用压缩映像原理，Schauder不动点定理，以及

Euler折线法，给出了一阶微分方程解得存在唯一性定理的其它几种证法.

2、预备知识

定义2.1、定义在以VtP上的实值(m维)向量函数族F=｛f(t)｝,如果存在数M0,使得

对任一feF，都有||f(t)||M，当以tP时，则称函数族F在以tP上是一致有界的.

定义2.2、定义在以tp上的实值(m维)向量函数族F=｛f(t)｝，如果对于任给的80,

总存在50,使得对任一feF和任意的t,te［a,P］，只要11,-tI5就有12 1 2

Ilf(t1)-f?)||8

则称函数族F在以tP上是同等连续.

定义2.3、设X是度量空间，M是X中子集，若M是X中紧集，则称M是X中相对紧集。

定义2.4、设X和Y是赋范线性空间，T是X到Y的线性算子，如果对X的任何有界子集M，TM都是Y中相对紧集，则称T为全连续算子，亦称紧算子。

容易看出，T为全连续算子的充要条件是：设｛七｝是X中的有界点列，则｛Txn｝必有收敛子列。

定义2.5、设X是度量空间，T是X到X中的映射，如果存在一个数以,0a1，使得对所有的x,yeX，成立

d(Tx,Ty)ad(x,y),

则称T是压缩映射。

引理2.6、完备度量空间X的子空间M是完备空间的