弱压缩多值映射在偏序度量空间中的耦合不动点定理.pdfVIP

第 33卷第 12期 西 南 大 学 学 报 (自然科学版) 2011年 12月 V01．33 NO．12 JournalofSouthwestUniversity (NaturalScienceEdition) Dec． 2O11 文章编号 ：1673—9868(2011)12—0126—04 弱压缩多值映射在偏序度量空间中的 耦合不动点定理 刘改平 ， 邓 磊 西南大学 数学与统计学院，重庆 400715 摘要：在偏序完备度量空间中引入弱压缩多值映射的概念 ，并证 明了关于弱压缩多值映射 的不动点和耦合不动点 的存在性 ，推广和改进 了一些相关的结论． 关 键 词 ：弱压缩多值映射 ；耦合不动点；偏序完备度量空间 · 中图分类号 ：O177．91 文献标志码 ：A 文献[1]引入了弱压缩单值映射的概念 ，并在 Hilbert空间中研究了关于弱压缩单值映射的不动点的存 在性．随后，文献[2]把文献[1]的结论推广到Banach空间中．文献 [3]在偏序完备度量空间中研究了关于 弱压缩单值映射的不动点的存在性．文献E4]在偏序完备度量空间中研究了具有混合单调性质的弱压缩单 值映射的耦合不动点的存在性．本文将文献[3—4]中有关弱压缩单值映射的概念推广到弱压缩多值映射 上 ，并在偏序完备度量空间中研究了关于弱压缩多值映射的不动点和耦合不动点的存在性． 定义 1 若多值映射 T：X一 2 满足Hd(Tx， )≤d(x，)一W(d(x，))对一切z，YEX成立 ， 其 中 ：[O，+cⅪ)一 [0，+。。)是连续非递减泛函且在区间(0，。。)上是正的， (0)一O，limgt(t)===。。， ，—●。。 则称 T是关于 的弱压缩映射． 定义 2 称多值映射 丁：x×x— 2 有渐近值，简称有AV，如果对于任意(z， )∈X×X，存在 zE T(x， )，使得 d(x，z)：d(x，T(x，3，))． 定理 1 设 (x，d，≤)是偏序完备度量空间，且 T：X一 2 是上半连续的非递减映射，并且 T是关 于 的弱压缩多值映射．如果 T有AV，且存在 zoEX，使得 {o}≤ T(xo)，则T有不动点． 证 对于给定的z。EX，如果 z。ET(xo)，证明就完成．否则 ，对于任意zE T(xo)，因为 {zo)≤ T(x。)，所以z≥ 。．从 T(x。)有 AV可知 ，存在 1ET(xo)，有 z1≥Xo，且 d(xo，z1)= (Txo，zo)． 因为 T是非递减的，所以T(x)≥T(xo)，又因为 T(x1)有 AV，所以存在 z．zE T(x)，有 z。≥z ，且 d(x ，．2C。)一 (Tx ，．z)．继续此过程得到序列{z)，或者z ETx ，在这种情况下，证明完成 ，或者存 在 E 1，且z ≥．TCm-1，使得d(x~-1，z)一 ( 1，z )(一1，2，…)． 另一方面 (Tx一1，z一1)≤ sup (Tx一1，z)≤ Hd(Tx一l，Tx一2) ∈ 一 2 因此 d(x~-1， )≤ Hd( 一，，Tx 1) ：2，3，… 收稿 日期 ：2010—12—03 基金项 目：国家 自然科学基金资助项 目． 作者简介 ：刘改平(1986一)，女，山西忻州人，硕士研究生，主要从事非线性泛函分析的研究 第 12期 刘改平，等 ：弱压缩多值映射在偏序度量空间中的耦合不动点定理 127 因为 T是弱压缩映射 ，从而 (_z，r1，z)≤ Hd( 2， 1)≤ d(x 2，SCn--1)一 (( ， 一1