拟序下混合单调算子的广义耦合不动点定理-云南大学.pdfVIP

云南大学学报（自然科学版），２０１４，３６（６）：８１０～８１４ ＤＯＩ：１０．７５４０／ｊ．ｙｎｕ Ｊｏｕｒｎａｌ ｏｆ Ｙｕｎｎａｎ Ｕｎｉｖｅｒｓｉｔｙ 拟序下混合单调算子的广义耦合不动点定理∗ 姜　 鑫，薛西锋 （西北大学 数学学院，陕西 西安　 ７１０１２７） 摘要：提出了拟序下混合单调算子及其广义耦合不动点的概念．利用序方法证明了拟序下非连续混合单调 算子的最小广义耦合不动点和最大广义耦合不动点的存在性，进而推广了已知结论，使其适用范围更广． 关键词：拟序关系；拟序拓扑空间；混合单调算子；广义耦合不动点 － － － 中图分类号：Ｏ １７７．９１　 　 文献标志码：Ａ　 　 文章编号：０２５８ ７９７１（２０１４）０６ ０８１０ ０５ 自１９８７年Ｇｕｏ Ｄａｊｕｎ和Ｌａｋｓｈｍｉｋａｎｔｈａｍ Ｖ在文献［１］中提出混合单调算子及其耦合不动点的概念以 － ［１ ４］ 来，混合单调算子及其耦合不动点理论被广泛地应用于求解微分方程、积分方程等领域 ．现有混合单调 － 算子的耦合不动点定理中的序集都是半序集，然而，在某些领域中［５ １１］ ，特别是在经济均衡理论中的序关 ［６］ － 系并不满足半序关系中的反对称性 ，这种序关系在文献［５］中被称为拟序关系，而在文献［６ ９］中被称 为不完全偏好关系，为方便起见，本文将这种序关系统称为拟序关系．为使非线性泛函分析中半序下的混 合单调算子的耦合不动点定理应用于更广泛的领域，本文对半序下的混合单调算子的耦合不动点定理进 行了推广，得到了拟序下非连续混合单调算子的最小广义耦合不动点和最大广义耦合不动点的存在性定 理． ［５］ 定义１ 　 设Ｘ为非空集合，若在Ｘ 中的某些元素对ｘ，ｙ之间可以定义一种二元关系，记为ｘ ⪯ｙ，具 有下列性质： （ｉ） 对任给ｘ ∈Ｘ，都有ｘ ⪯ｘ； （ｉｉ）如果ｘ ⪯ｙ，ｙ ⪯ｚ，则ｘ ⪯ｚ，则称 ⪯为拟序关系，称Ｘ 为拟序集．称ｘ ⪯ｙ 为ｙ偏好于ｘ． 显然，半序关系一定是拟序关系，拟序关系未必是半序关系． ［７］ 定义２ 　 设Ｘ是拟序集，若ｘ ⪯ｙ与ｙ ⪯ｘ 同时成立，则称ｘ无差别于ｙ，记作ｘ ～ ｙ；若ｘ ⪯ｙ，且ｘ ≁ｙ，则称ｙ严格偏好于ｘ，记作ｘ ≺ｙ，其中≁是指不是无差别关系；设Ｍ ⊂Ｘ，若对任给ｘ，ｙ ∈Ｍ，关系ｘ ⪯ｙ 与ｙ ⪯ｘ 至少有一个成立，则称Ｍ 为Ｘ 中的全拟序子集． 设Ｘ是拟序集，Ω是Ｘ 的非空子集，根据定义２容易证明Ｘ 中的无差别关系 ～ 满足反身性、对称性和 ＝ 传递性，因而关系 ～ 是 Ｘ、也是 Ω 中的等价关系． 令 ｘ ｛ｙ ｜ ｙ ～ ｘ｝，显然，ｘ 是 Ω 中的等价类， ＝ Ω／ ～ ｛ｘ ｜ ｘ ∈Ω｝为相对于等价关系 ～ 的商集．在Ω／ ～ 中定义序关系如下： ［７］