宏观经济学分析方法系列：(课堂放映版、11硕已讲)拓扑空间、不动点定理.docVIP

================= ================= 附录： 宏观经济学分析方法：不动点定理 （09、10、11硕已讲，2009年01月21日，精细订正） 我们开始讨论不动点定理，那么什么是不动点定理？ 所谓不动点，就是使方程 有解的点，这里可以是单变量函数，也可以是度量空间到自身上的映射。因为点是在的映射下固定不变的点，我们称为不动点。 所谓不动点定理就是描述方程 的解的存在条件的定理。 不动点的存在性问题就称为不动点问题，不动点定理由此得名。 有许多不同的不动点定理。其中一些是构造性的，但大多数不是构造性的，例如，最著名的布劳威尔不动点定理就不是构造性的，布劳威尔不动点理只告诉我们不动点是存在的，但没有说明寻找不动点的方法。 在数学中，有许多类似描述解的存在性定理，其中最著名的就是代数基本定理和微积分中的各种中值定理，正如我们已经看到的一样，这样的存在性定理在理论上和实际应用中都是非常重要的。设想使用计算机去寻找近似解，如果我们知道解是存在的，我们就不会无的放矢。 （不讲，跳过） 事实上，不动点问题是普遍存在的，我们知道的许多问题都可以转化为不动点问题。例如：设是一个映射，我们欲解方程，其中。这个问题就等价于不动点方程 或 ； 更一般地，等价于 ， 式中满足，当且仅当。 我们将介绍三个重要的不动点定理：巴拿赫（Banach）不动点定理，布劳威尔（Brouwer）不动点定理和角谷（Kakutani）不动点定理。 一、压缩映射与巴拿赫不动点定理 我们首先介绍巴拿赫不动点定理，这个定理也称为压缩映射原理。这是一构造性定理，定理的证明提供一个构造不动点的方法，这个方法称为逐次逼近法（即迭代法）。 在介绍巴拿赫不动点定理之前，先引进压缩映射的概念。 定义16.26 设是度量空间，是一个映射，如果对任意，，有 （16-14） 其中，我们说满足李普希茨（Lipschitz）条件，并称为为压缩映射，称为压缩常数。 虽然，压缩映射是连续的，对于压缩映射我们有： 定理16.23（巴拿赫不动点定理） 设是完备度量空间，是一个压缩映射，则在上存在唯一的不动点，任取，并令，有 （1）， （2）， 其中，是压缩常数。 证明： 先证明唯一性： 设是的两个不动点，即是压缩映射。 由于，故，从而 再证明存在性：任取，取（这就是递推式！！！），根据李普希茨条件，有 因此，对于任何正整数时，由三角不等式及李普希茨条件，得 其中，当且仅当时取，所以为非零定数，且，当时，故是柯西序列，满足柯西收敛准则，由于是完备空间，存在，使得，由连续性得，于是 故。这就证明了不动点的存在性。 在不等式中，，令，即证得（1）中的估计式。 例16-25 设存在，且，则根据微分中值定理，我们得是区间上的压缩映射，所以在区间上有不动点。 例16-26 考虑非线性积分方程 （16-15） 其中，应用压缩映射原理，证明积分方程（16-15）存在唯一的实值连续函数解 证明 在连续函数空间上，取距离为 则是一个完备度量空间，定义映射 由于，有 设，于是 于是，左边取最大值，得，故是压缩映射。由压缩映射原理，存在唯一的不动点，使得，即积分方程（16-15）有唯一解。 巴拿赫不动点定理的应用是非常广泛的，它可以很容易地导出非线性常微分方程解的存在唯一性定理，也可以导出隐函数定理。 下面两个例子说明定理的条件不满足时，结论不成立。 例16-27 设是实数空间的子空间，易见，是连续的，满足，并且没有不动点。 例16-28 设是实数空间的子空间，显然是压缩映射，但没有不动点。（想一想，为什么？） 二、布劳威尔不动点定理 布劳威尔不动点定理是现代数学中最重要的结果之一。它的叙述简单，但证明却很困难，直观上，任何人都能理解布劳威尔不动点定理的结论，其证明通常需要在研究生的课程代数拓扑中介绍。 布劳威尔不动点定理在数学的许多分支中有大量的应用。例如：它是常微分方程理论中的基本工具，它在无限维空间上的推广—肖德（Schauder）定理被用于偏微分方程和积分方程领域中，建立了许多重要的结果。在经济学领域，著名诺贝尔奖获得者纳什就是因为用布劳威尔不动点定理证明了多人非合作对策的基本定理而获奖的。 现在我们叙述布劳威尔不动点定理。 定理16.24（布劳威尔不动点定理） 设是维单位球到自身的连续映射，则至少存在中的一点，使得 换句话说，中的单位球到自身的连续映射必有一个不动点，用我们日常的通俗语言解释是：设想有一杯牛奶放在桌子上，轻轻地、连续地转动几下杯子使牛奶在杯中运动。当牛奶停止运动后，牛奶中至少有一点恰好回到它原来所在杯中的位置。 对于的情形，布劳威尔不动点定理为：如果是区间上的连续函数，且满足，则存在，使得. 此时，对函数利用连