3.4 不动点理论.doc

3.4 不动点理论 3.4.1 不动点定理 定义3..1 设是度量空间，是一个映射。若存在数，使对任意，有 (3.4.1) 则称是上的一个压缩映射 (Contraction Mapping). 若是线性空间，则称是上的一个压缩算子(Contraction Operator). 注 为简明起见，这里用记. 由定义知：一个点集经压缩映射后，集中任意两点的距离缩短了，至多等于原象距离的倍。 定理3.4. 压缩映射是连续映射。 证 证明压缩映射是连续映射，即证明：对任意收敛点列，必有. 因为点列，即：, 又因为是压缩映射，即存在数，使得 , 所以 , 即： . 证毕！定义3.4. 设是一集，是一个映射。若，使得 , (3.4.2) 则称为映射的一个不动点(Fixed Point). 设是一个映射，即：，定义： ， ， . 定理3.4. (Banach fixed point theorem, Banach, 1922) 设是完备的度量空间，是一个压缩映射，则中必有的唯一不动点。 证 。 在中任取一点，从开始，令 ， 这样得到中的一个列点. 往证是基本点列。 因为是压缩映射，所以存在数，使得 . (3.4.3) 反复应用上式，由归纳法得 . (3.4.4) 于是，对任意正整数，由(3..3)及三点不等式得 , (3.4.5) 即是基本点列。 因为是完备空间，所以在中存在唯一的极限，使得 . 又因为压缩映射是连续的，所以有 . 而 ， 且收敛点列的极限是唯一的，故，即就是映射在中的不动点。 若也是映射在中的不动点，即，则必有 ， 而，因此要使上式成立，必须，即. 证毕！ 注1 定理3.4.4又称为压缩映射原理 (contraction mapping theorem or contraction mapping principle) 或Banach不动点定理 (Banach fixed point theorem). 注2 空间的完备性条件，只是为了保证映射的不动点存在；至于不动点的唯一性是直接从映射的压缩性来的，并不要假设空间是完备的。 注3 定理3.4.解决了三个问题： (a) 证明了压缩映射的不动点的存在性和唯一性; (b) 提供了求不动点的方法——迭代法，即：在完备度量空间中，从任取的“初值”出发，逐次作点列， ,它必收敛到方程的解。这种方法称为逐次逼近法。 (c) 在(3.4.5)中令，得 . (3.4.6) 上式不仅给出了“近似解”与所求精确解的逼近程度（这个估计式在近似计算中很有用），而且还指出了方程的解可能的范围（又称为事先估计）；例如当，由(3.4.6)知： . 注4 定理3.4.中的空间的完备性条件不能去掉。 例如：考察的子空间到它自身的映射 , 映射显然是压缩映射，但是在中没有不动点。 是在 , 即 , , . 即，矛盾！ 注 定理3.4.中的条件不能减轻为. 因为这样，即使是完备的度量空间，而且对任意，当时，有, 映射在中也可能没有不动点。例如：的闭子空间到它自身的映射, 有 . 因为与是一正一负或一负一正，故上述不等式成立。 但在中没有不动点. 是在 . 矛盾！ 压缩映射原理有许多推广，下面的定理3.3.是定理3.3.的一个较常见的推广形式。 定理3.4. 设是完备的度量空间，是一个映射。若存在一个自然数，使得是上的一个压缩映射，则中必有的不动点。 证 当时，定理3.4.是定理3.4.. 当时，记，则是上的一个压缩映射。由定理3.3.，映射在中有不动点. 往证也是的不动点。 事实上，因为映射 ， 所以 ， 即是在中的不动点。 由于压缩映射在中只有一个不动点，所以，即是在中的不动点。 下面证唯一性。设是映射在中的任一不动点，即，则 ， 因此是压缩映射在中的不动点。 因为压缩映射在中只有一个不动点，所以. 证毕！ 3.4.3的一个应用，考察积分方程： ， 其中是一个常数。这种类型的方程称为伏特拉 (Volterra) 型积分方程。 某些数学物理问题和某些变分问题均可以归结为解这种积分方程的问题。近来在二阶椭圆型偏微分方程的研究中，伏特拉型积分方程也有应用。 定理3.4.设是区间上的连续函数，是三角形 上的连续函数，且，则对任何常数，方程 (3.4.7) 在上有唯一的连续函数解. ：对 ：. (3.4.8) 则方程(3.4.7)有唯一解的问题就转化为映射在中是否有唯一的不动点的