测地度量空间中若干广义非扩张型映射的不动点性质

摘要

不动点理论是目前蓬勃发展的非线性泛函分析的重要组成部分，特别是在解决各类方程解的存在性问题中起着关键作用。自20世纪初期，Brouwer和Banach分别提出“Brouwer不动点定理”和“Banach压缩映像原理”之后，国内外数学工作者们纷纷投身到不动点理论的研究中来，使得不动点理论成为重要的数学分支。传统上，不动点理论主要是利用Banach空间理论和拓扑度理论来研究不动点性质。近几十年来，关于不动点理论的研究逐步延展到各类度量空间，例如广义度量空间、概率度量空间等。测地度量空间是一类结合了微分几何、Banach空间性质以及度量空间性质的空间框架，主要包括CAT(0)空间（字母C, A, T分别代表Cartan, Alexandrov和Toponogov）、W-双曲空间、Busemann空间等。然而，与丰富的Banach空间不动点理论的研究成果相比，测地度量空间不动点性质的研究仍处于萌芽阶段，大量问题等待深入探讨。测地度量空间的不动点理论对变分不等式的求解以及计算机图论等方面均有着重要应用，从而在测地度量空间中研究非线性算子的不动点性质具有极大的理论价值与实际意义。
　　本文围绕测地度量空间中若干广义非扩张型映射的不动点问题展开探讨，主要包括以下四个方面的内容：
　　首先，研究CAT(0)空间平均非扩张映射的不动点性质。得到CAT(0)空间中有界闭凸子集上平均非扩张单值映射具有不动点性质的若干定理，包括存在性定理、收敛性定理及半闭原理。同时，给出CAT(0)空间中有界闭凸子集上平均非扩张集值映射存在稳定点的判别准则。
　　其次，研究测地度量空间C-型集值映射的不动点性质。证明CAT(0)空间中可交换的满足条件(C)的单值与集值映射的公共不动点的存在性并给出满足条件(C)的集值映射的两类收敛性定理。得到W-双曲空间上C-型集值映射强收敛的充分必要条件。
　　再次，研究CAT(0)空间新型成对映射的公共不动点性质。在度量空间中定义两类新型的成对映射，分别称为满足条件(PCλ)和满足条件(PEμ)的成对映射，并通过例子说明它们是比非扩张映射更广的映射类型。给出CAT(0)空间中满足条件(PCλ)的成对映射公共不动点存在的等价条件并得到CAT(0)空间中满足条件(PEμ)的成对映射的半闭原理。同时，利用S-迭代证明满足条件(PCλ)的成对映射的收敛性定理。
　　最后，研究CAT(0)空间L-型映射的不动点性质。在CAT(0)空间中讨论L-型映射与其他非扩张型映射的关系。给出CAT(0)空间中L-型映射的不动点存在性定理。此外，证明L-型映射的公共不动点的存在性定理并利用新型的三步迭代得到L-型映射的逼近定理。

目录

第1章 绪论

1.1 研究来源及意义

1.2 研究现状分析

1.3 预备知识

1.4 本文研究内容

第2章 CAT(0)空间中平均非扩张映射的不动点性质

2.1 引言

2.2 CAT(0)空间中平均非扩张单值映射的不动点存在定理

2.3 CAT(0)空间中平均非扩张单值映射的不动点收敛定理

2.4 CAT(0)空间中平均非扩张集值映射的稳定点定理

2.5 本章小结

第3章 测地度量空间中C-型集值映射的不动点性质

3.1 引言

3.2 CAT(0)空间中C-型集值映射的公共不动点存在定理

3.3 CAT(0)空间中C-型集值映射的不动点收敛定理

3.4 UCW-双曲空间中C-型集值映射的三步迭代收敛定理

3.5 本章小结

第4章 CAT(0)空间成对映射的公共不动点性质

4.1 引言

4.2 CAT(0)空间中成对映射的公共不动点存在定理

4.3 CAT(0)空间中成对映射的公共不动点收敛定理

4.4 本章小结

第5章 CAT(0)空间L-型映射的不动点性质

5.1 引言

5.2 CAT(0)空间中L-型映射与其他广义非扩张型映射的关系

5.3 CAT(0)空间中L-型映射的不动点存在定理

5.4 CAT(0)空间中L-型映射的不动点收敛定理

5.5 本章小结

结论

参考文献

攻读博士学位期间发表的论文及其他成果

声明

致谢

个人简历