不动点定理及其应用
- 格式：doc
- 大小：301.50 KB
- 文档页数：9
真诚为您提供优质参考资料，若有不当之处，请指正。
1 / 9 不动点定理及其应用
一、不动点定理
不动点定理fixed-point theorem：如果f是1n维实心球1{,11}nBxRnx
到自身的连续映射(1,2,3)n，则f存在一个不动点1nxB（即满足(0)0fxx）。
（一）、压缩算子:
1、定义： 设（1）X距离空间；
（2）算子:TXX的映射。
若(01),..,stxyX，恒有(,)(,)TxTyxy，
则称T是X上的压缩算子。为压缩系数。
2、性质：压缩算子T是连续的
证 ：若nxx，即(,)0nxx，则(,)(,)0nnTxTxxx
例：11:TRR，则
①12Txx是压缩算子
因为1111(,)(,),2222TxTyTxTyxyxy
②0Txx是压缩算子（0 ）
③Txx不是压缩算子（1 ）
（二）、不动点定理
1、定义：设（1）X---- 是完备的距离空间；
（2）:TXX的压缩算子。
则T在X上存在唯一的不动点*x，即***,..xXstxTx 真诚为您提供优质参考资料，若有不当之处，请指正。
2 / 9 2、注意
（1）定理的证明过程就是求不动点的方法，称为构造性的证明。
（2）定理的条件是结论成立的充分非必要条件。 真诚为您提供优质参考资料，若有不当之处，请指正。
（3）迭代的收敛性和极限点与初始点无关。但T的选取及初始点0x的选取对迭代速度有影响。初始点离极限点越近，其收敛速度越快，而不影响精确度。
（4）误差估计
①事前（或先验）误差：根据预先给出的精确度，确定计算步数。此方法有时理论上分析困难。
设迭代到第n步，将*nxx，则误差估计式为
*0010(,)(,)(,)11nnnxxTxxxx
②事后（或后验）误差：计算到第n步后，估计相邻两次迭代结果的偏差1(,)nnxx，若该值小于预定的精度要求，则取*nxx。此方法简单，但有时无法估计计算步数。
设迭代到第n步，将*nxx，则误差估计式为
*1(,)(,)1nnnxxxx
或 *11(,)(,)1nnnxxxx
3、求解不动点的具体步骤：
Step1 提供迭代初始点0x；
Step2 计算迭代点10xTx；
Step3 控制步数，检查10(,)xx，若10(,)xx。则以1x替换0x转到第二步，继续迭代，当10(,)xx时终止，取1x为所求结果。误差不超过1。
对于不动点理论，为了便于应用，下面给出两种不同情况下所适合的方法。
推论1
设（1）X----完备的距离空间；
（2）:TXX的算子。
（3）T在闭球0(,)sxrX上是压缩算子，并且 真诚为您提供优质参考资料，若有不当之处，请指正。
00(,)(1)Txxr
则T在0(,)sxr中存在唯一的不动点
推论2 真诚为您提供优质参考资料，若有不当之处，请指正。
设（1）X---完备的距离空间；
（2）:TXX的算子。
（3）存在01及正整数n，使,xyX，都有
(,)(,)nnTxTyxy
则T在X中存在唯一的不动点。
定理的意义在于：如果不能直接得到T是压缩算子，可以研究nT是否为压缩算子，从而得到T有唯一不动点。
二、不动点定理的应用
不动点定理建立在距离空间基础上的，而距离空间是一个比较广泛的抽象空间，所以不动点定理有着广泛的应用。
应用不动点定理解决实际问题的步骤：
（1）寻找压缩算子T，将问题转化为求xTx的不动点；
（2）构造迭代序列{}nx，取极限点*nxx；
（3）误差分析；
（4）通过实际问题进行验证。
(一)、在线性代数中的应用
例如 ()AxbxIAxbTx，则迭代格式1()nnxIAxb
(二)、不动点定理在常微分方程中的应用
科学技术中常常需要求解常微分方程的定解问题。除了一些简单的微分方程外，要找出解析解是非常困难的、甚至是不可能的。因此，许多类型的微分方程应用数值解法求近似解。数值解法是能够算出解在若干个离散点上近似结果的通用方法。本节只讨论应用不动点理论在函数空间中给出常微分方程解的存在性和唯一性定理，至于具体的求解方法可参考其它教材。下面以一阶微分方程的初值问题为例进行讨论。
定理1 （一阶微分方程的初值问题） 真诚为您提供优质参考资料，若有不当之处，请指正。
已知
00(,)()dyfxydxyxy，
若(,)fxy在2R上连续，并且满足李普西兹（Lipschitz）条件： 真诚为您提供优质参考资料，若有不当之处，请指正。
1212(,)(,)(0)fxyfxyLyyL
则通过点00(,)xy必有且只有一条积分曲线()yyx
（三）、不动点定理在积分方程中的应用
定理2 设有线性积分方程（Fredhlolme—弗雷德霍姆方程）
()()(,)()baxsfsKstxtdt
则对于充分小的，有
（1）()[,],(,)[,][,]fsCabKstCabab（正方形域）时，方程有唯一的连续函数解。
（2）22()[,],(,)bbaafsLabKstdsdtM时，方程有唯一的平方可积函数解。
证（1）思路：构造算子T，并证明T是压缩的。
①[,]Cab按范数()max()atbxtxt是完备的距离空间；
② 在[,]Cab上，令()()(,)()baTxsfsKstxtdt，则
:[,][,]TCabCab
的算子。下面证T的压缩性。
证（2）思路：构造算子T，并证明T是压缩的。
①2[,]Lab按范数1222()()baxtxtdt是完备的距离空间；
② 在2[,]Lab上，令()()(,)()baTxsfsKstxtdt，则
22:[,][,]TLabLab的算子。
下证T的压缩性。
第一种情形举例
例 设在[0,1]C上有,0(,),1sstKsttts，求方程 真诚为您提供优质参考资料，若有不当之处，请指正。
101()1(,)()10tKstsds
的近似连续函数解，且要求误差不超过10-4。
解 ：100111()1,,(,)[0,1][0,1],max(,)102tftKstCMKstds， 真诚为您提供优质参考资料，若有不当之处，请指正。
令101()1(,)()10TtKstsds，其中1110M，1110M，故由定理2（1）的证明知，算子方程T存在唯一的不动点*[0,1]C。
温馨提示：最好仔细阅读后才下载使用，万分感谢！
