（毕业论文设计）-几类不动点定理的归纳及应用（学术精品）.docVIP

PAGE PAGE 13 几类不动点定理的归纳及应用 (湛江师范学院数学与计算科学学院，湛江 524048) 摘要：本文归纳介绍了几类不动点定理，如Banach不动点定理、Brouwer 不动点定理、Schauder不动点定理等，阐述了它们之间的关系，并给出了几个不动点定理的应用． 关键词：Banach不动点定理；Brouwer不动点定理；Schauder不动点定理；Lefschetz不动点定理． The Induction and Applications of Several Classes of Fixed Point Theorems GUAN Wen-wen （Mathematics and Computation Science School, Zhanjiang Normal University, Zhanjiang 524048） Abstract: Several classes of fixed point theorems are introduced in this paper, such as Banach fixed point theorem, Brouwer fixed point theorem, Schauder fixed point theorem and so on. We clarify the relationships between them and give the applications of some fixed point theorems . Keywords: Banach fixed point theorem; Brouwer fixed point theorem; Schauder fixed point theorem; Lefschetz fixed point theorem. 0 引言 在非线性数学领域中,不动点定理一直被看作是特别有力的工具.处理所考虑问题的解的存在性,它是非常方便的,不动点定理的假设都很弱,并且常常是容易验证的[1].1922年,Banach给出了一个既简单又非常有用的压缩映射原理,Banach不动点定理实际上是Picard逐次逼近法的抽象表述,是一个典型的代数型不动点定理.由它不仅可以判定不动点的存在唯一性,而且还可以构造一个迭代序列,逼近不动点到任意精确程度,在应用数学的几乎各个分支都有着广泛的应用.1909年,Brouwer给出一个不动点定理,(其中只证明了的情形).1930年Schauder给出的一个应用广泛的不动点定理,它是有限维空间中的Brouwer不动点定理在无限维空间中的一个推广.Schauder不动点定理可以证明微分方程解的存在性定理,至今仍是研究非线性微分方程解的存在性的有力工具.虽然Schauder不动点定理在形式上比较一般,但它不能含有Banach不动点定理,1955年,Krasnosekii把两者很好地结合起来,给出也很有用的不动点定理:Krasnosekii不动点定理,此定理在研究算子方程的扰动理论中起到重要的作用.例如在研究微分算子的扰动时,可以看到扰动往往导出一个压缩映像，而该微分算子的反演常常给出一个紧算子.因此,使用Krasnosekii不动点定理即可断定扰动方程解的存在性[2].最后，Lefschetz不动点定理是同调群的应用, Brouwer不动点定理是Lefschetz不动点定理的简单推论[3]. 1 预备知识 定义1.1[2](不动点) 设是集合,,如果,满足,则称为映射的一个不动点. 定义1.2[2](压缩映射) 设是一距离空间，，如果对任何有,这里是一常数,称是上的一个压缩映射. 定义1.3[2](凸集) 设是一线性空间,是的子集,如果对任意,联结的线段 则称为的凸子集(简称凸集). 定义1.4[2](全连续算子) 设都是实线性赋范空间,若把的任一有界子集映为中的列紧集,则称是一紧算子(或紧映射).连续的紧算子叫全连续算子. 定理1.5[2] 设是维线性赋范空间,是有界闭凸集,连续，则在上存在不动点. 引理1.6[2] 设全连续,则对,存在连续有界算子,满足 ， 其中是中的有界集,是的某一有限维子空间. 引理1.7[2] 设是有界集,满足对存在,当时，有记则是列紧集. 定义1.8[5](集值映射) 设和是两个拓扑空间.若对任一,确定的一个子集(记作)与之对应.这样得到的对应称作一个点对集映射或一个集值映射. 定义1.9[5](上半连续) 设是一个集值映射,若对的包含的每个开集,存在中包含的一个开集使得蕴含,就说在是上半连续的. 定义1.10[8] 由定义的不动点称为Brouwer不动点;由定义的不动点称为Kakutani不动点． 定