一般Banach空间中非Lipschitzian可逆半群的不动点定理.pdfVIP

数 学 年 刊 2009，30A(5)：579—586 一 般 Banach空 间 中非 Lipschitzian 可逆 半 群 的不动 点 定理 冰水 朱 兰 萍术 李 刚术 提要 首先在一般 Banach空间中对渐近非扩张型左可逆半群给出了两个不动点存在性定理．同时利 用这些结果，得到了渐近非扩张型左可逆半群迭代序列的强收敛定理．主要结果将一些已知结果推广 至非Lipschitzian左可逆半群的情形，而且即使在交换半群情形它们也是新的． 关键词 不动点，渐近非扩张型映射，左可逆半群 MR f2000)主题分类 47H09，47H10，47H20 中图法分类 O152．7 文献标志码 A 文章编号 1000—8314(2009)05—0579—08 1 引言与 预备 知 识 设 G为一拓扑半群，即 G是半群且 G上存在 Hausdorff拓扑，使得对 t∈G，从 G 到G 自身的映射 8 s和 8一 ts连续．称 G是左可逆的，若 G的任何两个闭右理想具 有非空交．此时，在G上定义不等关系 ≤为 s≤t当且仅当 s)Ui f u ，s，t∈G， 那么 (G，≤)成为一定向网．左可逆半群包含一般交换半群和左顺从半群． 设 x 为Banach空间， 为 的非空有界子集． g={(t)：t∈G)为C上关于 G的连续表示，即 T(ts)x=T(t)T(s)x， t，8∈G， ∈C， 以及 G×C到c的映射 (t，x)一T(t)x是连续的，其中GXC具乘积拓扑．称 g是 (1)非扩张的，若对任何 X，Y∈C及 t∈G， lIT(t)x—T(t)ylI≤忙一yll； (2)渐近非扩张的 (见 [1】)，若存在函数 k：G一 [0，+∞)，满足 i supk(ts)≤1，使得 对任何X，Y∈C和 t∈G， lI(￡)—T(t)ylJ≤k(t)IIx一训； (3)渐近非扩张型的 (见 [1])，若对任何X∈C，存在函数 r(．，)：G一 [0，+∞)，满足 i supr(ts，X)=0，使得对任何 Y∈C和 t∈G， u tEG IIT(t)x—T(t)YlI≤IIx一 ll+r(t，)． 易见非扩张半群和渐近非扩张半群都是渐近非扩张型半群． 本文 2009年 5月 21日收到． 扬州大学数学科学学院，江苏 扬州225002．E—mail：zlpmath@yahoo．com．cn；gli@yzu．edu．ca 国家自然科学基金 (NoNo和江苏省教育厅高校自然科学研究基金 (No．07KJB110131)资助的项 目． 580 数 学 年 刊 30卷 A辑 设 m(G)是 G上所有有界实值函数以上确界为范数的Banach空间．对任何 8∈G 和f∈re(V)，可在 m(G)中分别定义f。，和 ．厂为 (f。，)(￡)=f(st)， (rs，)()=f(ts)，Vt∈G． 令D为m(c)中满足下列条件的子空间： (1)D包含常值函数且对任何 8∈G，在 l和 下不变； (2)对任何 X ∈X ，函数 t一 (T(t)x，X)属于D． 记 D 为 J[)的共轭空间， ∈D 在 f∈D 处的值表示为 (厂)‘：． rf(t)dp(t)= ()，()．D上的线性泛函 称为 上的平均，若 ll= (1)=1．进一步地，D上的 平均 称为不变的，若对所有 s∈G和 f∈D，有 (ff)= (．厂)和 (rf)= (，)成 立．对任意 s∈G，定义 D上的点态泛函 为 。(，)=．厂(s)，Vf∈D．点态泛函的凸组合 称为 G上的有限平均．若 是 G上的有限平均，记 A= ∑ai6t，其中如∈G，a{≥0， i= 1 i=1，2，… ，n，∑ai=