压缩映射论文.docVIP

Banach压缩映象原理及其相关应用 摘要:详细论述Banach压缩映象原理和推广的Banach压缩映象原理，以及它在关于一些问题的解存在唯一性定理中的广泛应用并列举探索各类方程解的存在的应用。 关键词：抽象函数，不动点，压缩映射，抽象微分方程，隐函数存在性定理 引 言:压缩映射原理的研究是算子方程的求解问题，它不仅具有实义，而且对泛函分析理论的发展起着重大作用。 我们首先介绍不动点和压缩映射的定义以及压缩映射原理，并在此基础上，进一步给出一个推广的压缩映射原理。压缩映射原理不仅指出了算子方程Fx=x的解的存在性和唯一性，而且给出了近似求解的方法及误差分析，因而是很有用的。微分方程初值问题的解的存在唯一性定理及毕卡（Picard）逐次逼近法就是它的特例。在Banach空间中这一问题将更为普遍。数学分析中的隐函数存在定理也是压缩映射原理的一个特例。 一、几个定义及压缩映射原理 定义 1：设X，Y为巴拿赫空间，算子F： （一般的，F是非线性的）。如果存在有界线性算子A∈ζ（X,Y）使得关系式 对于满足的是一致成立的，则称算子F在点处是费力许（Frechet）可微的，并记，称为F在点处的费力许导数。 为了给出关于算子的有限增量公式（相当于中值定理），我们引入关于抽象函数的积分的概念。 设是由实数域到巴拿赫空间X的算子，这种算子通常称为“抽象函数”。现设的定义域是区间，将分为n个小区间，分、点为 记此分划为，及在每个小区间上任取一点，作和式 定义 2：如果对任意的分划及的任意取法，当时和式都收敛（在X中范数意义下）于同一个元素，则抽象函数在上黎蔓可积的，称为在上黎蔓可积，记为 性质 1：设抽象函数黎蔓可积，则抽象函数在上弗力许可微，且， 定义 3：设X为巴拿赫空间，F为由X到X的算子，且非空，如果满足 则称x为算子F的不动点。换句话说，不动点x是算子方程 （1）的解。 定义4：设Q,如果存在常数，使得对任意的均有不等式 （2） 则称F为集合Q上的压缩算子，称为压缩系数。 定理1（压缩映象原理）设算子F在巴拿赫空间X中的闭集Q为自己，且F为Q上的压缩算子，压缩系数为，则算子F在Q内存在唯一的不动点，若为Q中任意一点，作序列 ，n=0,1,2，…… （3） 则序列，且，并有误差估计 （4） 证明：由于FQQ，故 设，利用算子F的压缩性，可依次得到： （5） 现在估计，利用（5）式可得到 即 （6） 由此可知是柯西点列，由X的完备性知存在使得 又因Q是闭集，故 现在证明是算子F的不动点，由算子F在Q上的压缩性知其在Q上连续。事实上，如果，，则由式（2）知。 于是在式（3）中令，既得。 再证的唯一性，设若另有一不动点，则 由于，故上式只能在时成立 于是 至于估计式（4）的证明只需在式（6）中令 证毕。 压缩映象原理最常用的两种情形是Q=X及Q= X中的闭球。对于后者，如下列推论所述： 推论 1：设F为闭球上的压缩算子，压缩系数为，，且 （7） 则F在中有唯一不动点且序列(3)收敛于，收敛速度为式（4），初始近似可在中任取。 证明：只要证明F映为自己，如果即，则 二、推广的压缩映象原理 设算子F映集合为自己，对任一自然数n，算子F的n次幂定义为：当时令，如果已经定义，则令 定理 2：设算子F映闭集为自己且对某一自然数算子为Q上的压缩算子则F在Q中存在唯一不动点逼近序列（3）收敛于初始近似为任意。 证明：当时即为定理1， 现设，考察算子，根据定理1，在Q上有唯一的不动点，因为算子F与G在Q上可交换，故有： 此即表明也是G的不动点，但G的不动点是唯一的，故即也是F的不动点。下证唯一。如果另有，满足，则。但G的不动点是唯一的，故= 证毕 三、压缩映象原理的应用 在微分方程，积分方程以及其它各类方程的理论中，解的存在唯一性以及近似解的收敛性等都是很重要的问题。为了证明一个微分方程，积分方程或其它类型的方程存在解。我们可以将它变成求某一映射的不动点。现在以大家熟悉的一阶常微分方程 （8） 为例来说明这一点。求微分方程（8）满足初始条件的解与求解积分方程 等价。为了求积分方程（9），我们可以根据所满足解析条件适当地取一个度量空间，并在这个度量空间中