[论文解读] Weakly contractive maps in altering metric spaces

Mihai Turinici|arXiv (Cornell University)|Feb 16, 2013

Fixed Point Theorems Analysis参考文献 14被引用 5

一句话总结

本文通过证明在涉及变距函数的广义压缩条件下，此类映射在完备度量空间中是全局强Picard算子，从而将Berinde的弱压缩映射结果在完备度量空间中进行了功能性推广。关键贡献在于证明了不动点唯一，且迭代序列收敛于该不动点，并提供了误差界，使用了对Khan等人1984年变距框架的创新性扩展，以涵盖Berinde的2004年结果及其后续成果。

ABSTRACT

The weakly contractive metric type fixed point result in Berinde [Nonlinear Anal. Forum, 9 (2004), 45-53] is "almost" covered by the related altering metric one due to Khan et al [Bull. Austral. Math. Soc., 30 (1984), 1-9]. Further extensions of these statements are then provided.

研究动机与目标

• 解决文献中一个空白：Berinde的2004年弱压缩映射结果曾被声称是新颖的，但实际上几乎已被Khan等人1984年的变距结果所覆盖。
• 将变距方法扩展至包含Berinde的弱压缩映射，为不动点定理提供更广泛的函数框架。
• 建立在完备度量空间中弱压缩映射成为全局强Picard算子且具有唯一不动点的条件。
• 分析不动点迭代的Hyers-Ulam稳定性，区分不动点集为单点集与非单点集的情形。

提出的方法

• 本文采用变距空间框架，其中函数φ将度量d变换为新的距离函数φ(d(x,y))，从而实现压缩条件的泛化。
• 引入广义压缩条件：d(Tx,Ty) ≤ a d(x,y) + b [d(x,Tx) + d(y,Ty)] + K(d(Tx,y))，其中a+2b < 1且K(t) → 0当t → 0。
• 证明使用迭代序列收敛性：对任意初始点u，序列(T^n u)被证明为d-Cauchy，因此在完备空间中d-收敛。
• 在点(T^n u, z)处对压缩不等式应用极限论证，其中z为极限，通过反证法证明若z ≠ Tz，则z必为不动点。
• 推导出误差逼近公式：d(T^n u, T^∞ u) ≤ [λ^n / (1−λ)] d(u,Tu)，其中λ = (a+b)/(1−b) < 1，提供定量收敛界。
• 稳定性分析区分两种情形：当Fix(T)为非单点集时Hyers-Ulam不稳定，当Fix(T)为单点集时稳定。

实验结果

研究问题

• RQ1 Berinde的2004年弱压缩映射结果能否被纳入更一般的变距空间框架中？
• RQ2 何种形式的压缩条件可确保完备度量空间中自映射为全局强Picard算子？
• RQ3 不动点的唯一性如何影响迭代不动点逼近过程的稳定性？
• RQ4 此类弱压缩映射生成的迭代序列收敛的精确误差界是什么？

主要发现

• 满足广义条件d(Tx,Ty) ≤ a d(x,y) + b [d(x,Tx)+d(y,Ty)] + K(d(Tx,y))的弱压缩映射的不动点唯一，当a+2b < 1且K(t) → 0当t → 0时成立。
• 对任意初始点u ∈ X，迭代序列(T^n u)收敛于不动点，且极限为单点集，因此T是全局强Picard算子。
• 建立了显式误差界：d(T^n u, T^∞ u) ≤ [λ^n / (1−λ)] d(u,Tu)，其中λ = (a+b)/(1−b) < 1，确保收敛的定量性。
• 不动点迭代当且仅当不动点集为单点集时是Hyers-Ulam稳定的；否则由于对初值条件敏感而变得不稳定。
• 该结果同时推广了Berinde的2004年弱压缩映射结果和Khan等人1984年的变距结果，后者几乎已涵盖前者。
• 该框架可进一步拓展至部分度量空间和拟序度量空间，如结论部分所述。