词条 | 不动点理论 |
释义 | § 正文 数学里到处要解方程,诸如代数方程、函数方程、微分方程等等,种类繁多,形式各异。但是它们常能改写成ƒ(x)=x的形状,这里x 是某个适当的空间Χ中的点,ƒ是从Χ到Χ的一个映射或运动,把每一点x移到点ƒ(x)。方程ƒ(x)=x的解恰好就是在ƒ这个运动之下被留在原地不动的点,故称不动点。于是,解方程的问题就化成了找不动点这个几何问题。不动点理论研究不动点的有无、个数、性质与求法。研究方法主要是拓扑的和泛函分析的(见非线性算子)。 常见的不动点定理 压缩映射原理(C.(C.-)É.皮卡(1890);S.巴拿赫(1922)):设X是一个完备的度量空间,映射ƒ:Χ→Χ 把每两点的距离至少压缩λ倍,即d(ƒ(x),ƒ(y))≤λd(x,y),这里λ是一个小于1的常数,那么ƒ必有而且只有一个不动点,而且从Χ的任何点x0出发作出序列这序列一定收敛到那个不动点。例题: 开方: 公式:X(n+1)=Xn+(A/Xn^2-Xn)1/3设A=5,开3次方 5介于1^3至2^3之间(1的3次方=1,2的3次方=8) X_0可以取1.1,1.2,1.3,1.4,1.5,1.6,1.7,1.8,1.9,2.0都可以。例如我们取2.0.按照公式: 第一步:X1={2.0+[5/(2.0^2-2.0]1/3=1.7.}。即5/2×2=1.25,1.25-2=-0.75,0.75×1/3=0.25,输入值大于输出值,负反馈 2-0.25=1.75,取2位数值,即1.7。 第二步:X2={1.7+[5/(1.7^2-1.7]1/3=1.71}.。 即5/1.7×1.7=1.73010,1.73-1.7=0.03,0.03×1/3=0.01,输入值小于输出值正反馈 1.7+0.01=1.71。取3位数,比前面多取一位数。 第三步:X3={1.71+[5/(1.71^2-1.71]1/3=1.709}输入值大于输出值,负反馈 第四步:X4={1.709+[5/(1.709^2-1.709]1/3=1.7099}.输入值小于输出值正反馈 这种方法可以自动调节,第一步与第三步取值偏大,但是计算出来以后输出值会自动转小;第二步,第四步输入值偏小,输出值自动转大。X_4=1.7099. 当然也可以取1.1,1.2,1.3,。。。1.8,1.9中的任何一个。 这条定理是许多种方程的解的存在性、惟一性及迭代解法的理论基础。由于分析学的需要,这定理已被推广到非扩展映射、概率度量空间、映射族、集值映射等许多方面。 布劳威尔不动点定理(1910):设Χ是欧氏空间中的紧凸集,那么Χ到自身的每个连续映射都至少有一个不动点。用这定理可以证明代数基本定理:复系数的代数方程一定有复数解。把布劳威尔定理中的欧氏空间换成巴拿赫空间,就是绍德尔不动点定理(1930),常用于偏微分方程理论。这些定理可以从单值映射推广到集值映射,除微分方程理论外还常用于对策论和数理经济学。 不动点指数 不动点的个数有两种数法。代数上通常说n次复多项式有n个复根,是把一个k重根算作k个根的;如果不把重数统计在内,根的个数就可以小于n。推广根的重数概念,可以定义不动点的指数,它是一个整数,可正可负可零,取决于映射在不动点附近的局部几何性质。一个映射的所有不动点的指数的总和,称为这映射的不动点代数个数,以别于不动点的实际个数。莱夫谢茨不动点定理:设Χ是紧多面体,ƒ:Χ→Χ是映射,那么ƒ的不动点代数个数等于ƒ的莱夫谢茨数L(ƒ),它是一个容易计算的同伦不变量,可以利用同调群以简单的公式写出。当L(ƒ)≠0时,与ƒ同伦的每个映射都至少有一个不动点。这个定理既发展了布劳威尔定理,也发展了关于向量场奇点指数和等于流形的欧拉数的庞加莱-霍普夫定理,把它进一步推广到泛函空间而得的勒雷-绍德尔参数延拓原理,早已成为偏微分方程理论的标准的工具。 J.尼尔斯1927年发现,一个映射ƒ 的全体不动点可以自然地分成若干个不动点类,每类中诸不动点的指数和都是同伦不变量。指数和不为0的不动点类的个数,称为这映射的尼尔斯数N(ƒ)。只要Χ是维数大于2的流形,N(ƒ)恰是与 ƒ同伦的映射的最少不动点数。这就提供了研究方程的解的实际个数(而不只是代数个数)的一种方法。 莱夫谢茨定理的一个重要发展是关于微分流形上椭圆型算子与椭圆型复形的阿蒂亚-辛格指标定理与阿蒂亚-博特不动点定理。 不动点的计算 上述各种不动点定理,除压缩映射原理外,都未给出不动点的具体求法。由于应用上的需要,不动点算法的研究正在蓬勃发展,以求把拓扑的思路落实为快速、实用的计算方法。 参考书目 江泽涵著:《不动点类理论》,科学出版社,北京,1979。 V. I. Istratescu,Fixed Point Theory,an Introduction,D. Reidel Pub.Co., Dordrecht, 1981. B.Jiang,Lectures on Nielsen Fixed Point Theory,Amer. Math. Soc., Providence, 1983. M.J.Todd,The Computation of Fixed Points and Applications, Springer-Verlag, New York, 1976. § 配图 § 相关连接 |
随便看 |
百科全书收录594082条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。