压缩映射原理及其应用 数学毕业论文

《压缩映射原理及其应用 数学毕业论文》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、压缩映射原理及其应用摘要:本文较详细地论述了Banach空间中的压缩映射原理，以及它在关于一些问题的解的存在唯一性定理证明中的广泛应用。关键词:抽象函数,不动点,压缩映射,抽象微分方程,隐函数存在性理引言:压缩映射原理的研究是算子方程Fx=x的求解问题，它不仅具有实义，而且对泛函分析理论的发展起着重大作用。我们首先介绍不动点和压缩映射的定义以及压缩映射原理，并在此基础上，进一步给出一个推广的压缩映射原理。压缩映射原理不仅指出了算子方程x=Fx的解的存在性和唯一性，而且给出了近似求解的方法及误差估计，因而是很有

2、用的。微分方程初值问题的解的存在唯一性定理及毕卡(Picard)逐次逼近法就是它的特例。在Banach空间中这一问题将更为普遍。数学分析中的隐函数存在定理也是压缩映射原理的一个特例。一、几个定义及压缩映射原理定义1设X，Y为巴拿赫空间，算子（一般地，F是非线性的）。如果存在有界线性算子使得关系式对于满足的是一致成立的，则称算子F在点处是弗力许（Fréchet）可微的，并记，称为算子F在点处的弗力许导数。为了给出关于算子的有限增量公式（相当于中值定理），我们引入关于抽象函数的积分的概念。设x(t)是由实数域到巴

3、拿赫空间X的算子。这种算子通常称为“抽象函数”。现设x(t)的定义域是区间[a，b]。将[a，b]分成n个小区间，分点为记此分划为，及在每个小区间上任取一点，作和式11(*)定义2如果对任意的分划及的任意取法，当时和式(*)都收敛（在X中范数意义下）于同一个元素，则抽象函数x(t)在[a，b]上黎蔓可积的，r称为x(t)在[a，b]上的黎蔓积分，记为性质1设抽象函数x(t)黎蔓可积，则抽象函数在[a，b]上弗力许可薇，且(**)定义3设X为巴拿赫空间，F为由X到X的算子，且D(F)R(F)非空。如果x*∈X满

4、足F(x*)=x*则称x*为算子F的不动点。换句话说，不动点x*是算子方程x=F(x)(1)的解。定义4设集合，如果存在常数q∈(0，1)，使得对任意的均有不等式

5、

6、F()-F()

7、

8、≤q

9、

10、-

11、

12、(2)则称F为集合Q上的压缩算子，q称为压缩系数。定理1(压缩映射原理)设算子F映巴拿赫空间X中的闭集Q为自己。且F为Q上的压缩算子，压缩系数为q，则算子F在Q内存在唯一的不动点。若为Q中任意一点，作序列（3）则序列且。并有误差估计(4)11证明：由于FQ故设利用算子F的压缩性，可依次得到:（5）现在估计。利用(5

13、)式可得到即（6）由此可知{}是柯西点列，由X的完备性知存在使得又因Q是闭集故现在证明是算子F的不动点，由算子F在Q上的压缩性知其在Q上连续。事实上，如果则由式(2)知F(于是在式(3)中令n。即得再证的唯一性。设若另有一不动点则由于q故上式只能在时成立于是x=至于估计式（4）的证明只需在式（6）中令p。证毕。压缩映射原理最常用的两种特殊情形是Q=X及Q=----X中的闭球。对于后者，如下列推论所述11推论1设F为闭球上的压缩算子，压缩系数为q，R（F）且（7）则F在中有唯一不动点且序列（3）收敛于，收敛速度

14、为式（4），初始近似可在中任取。证明：只要证F映为自己。如果x即则。二、推广的压缩映射原理设算子F映集合Q为自己。对任一自然数n，算子F的n次幂定义为:当x时令如果已经定义，则令定理2设算子F映闭集Q为自己且对某一自然数k算子为Q上的压缩算子则F在Q中存在唯一的不动点逼近序列（3）收敛于初始近似为任意。证明：当k=1时即为定理1。现设k。考察算子G=，根据定理1，G在Q上有唯一的不动点，因为算子F与G在Q上可交换，故有G（F（））=F（G（此即表明F（也是G的不动点。但G的不动点是唯一的，故F（即也是F的不动

15、点。下证唯一。如果另有，满足，则。但G的不动点是唯一的，故=。证毕。三、压缩映射原理的应用在微分方程，积分方程以及其它各类方程的理论中，解的存在性唯一性以及近似解的收敛性等都是很重要的问题。为了证明一个微分方程,积分方程或其它类型的方程存在解。我们可以将它变成求某一映射的不动点。现在以大家熟悉的一阶常微分方程(8)11为例来说明这一点。求微分方程（8）满足初始条件的解与求解积分方程等价。为了求解积分方程（9），我们可以根据f（x，y）所满足解析条件适当地取一个度量空间，并在这个度量空间中作映射，于是方程（9）

16、的解就转化为求使它满足。也就是求出这样的，它经映射T作用后仍变为，这种称为映射T的不动点。因此求解方程（8）就变成求映射T的不动点。考察微分方程(10)其中f(x，y)在整个平面内连续，此外还设f(x，y)关于y满足李普希茨条件：则通过点微分方程（10）有一条且只有一条积分曲线。证明：问题（10）等价于求解下面的积分方程我们取使用表示在区间上的连续函数组成的空间，在中定义算子(映射)F:则11因，由