[論文レビュー] Coupled fixed point theorems in partially ordered {\epsilon}-chainable metric spaces

Bessem Samet, Habib Yazidi|arXiv (Cornell University)|May 18, 2010

Fixed Point Theorems Analysis参考文献 16被引用数 7

ひとこと要約

本稿は、部分的に順序付けられたε鎖可能な距離空間において、一様局所的収縮写像に対して、新たな結合固定点定理を確立する。ε鎖可能性と一般化された収縮条件を導入することで、やや弱い順序および距離的条件のもとで、結合固定点の存在と一意性を証明し、非線形方程式における反復収束性と解の一意性への応用を含め、順序付き距離空間固定点理論における先行研究を拡張する。

ABSTRACT

In this paper, we introduce the notion of partially ordered {\epsilon}-chainable metric spaces and we derive new coupled fixed point theorems for uniformly locally contractive mappings on such spaces.

研究の動機と目的

• 部分的に順序付けられたε鎖可能な距離空間——任意の2点が有限個のε近傍点からなる鎖で接続される、距離空間の新クラス——に結合固定点理論を拡張すること。
• 一般化された一様局所的収縮条件のもとで、結合固定点の存在と一意性を確立すること。
• Bhaskar-Lakshmikantham、Ran-Reurings、およびSametの先行研究を、局所的収縮性と順序構造を統合することで一般化すること。
• 反復列が一意な結合固定点に収束するための十分条件を提供すること。
• 追加の比較可能性または有界性仮定のもとで、結合固定点の成分が等しくなることを証明すること。

提案手法

• 任意の2点が比較可能であるとき、それらを有限個のε近傍点からなる鎖で結ぶことができる、部分順序に関してε鎖可能な距離空間の概念を導入する。
• 積空間における距離の和を含む局所的収縮不等式を満たす、新たな写像のクラス、(λ,ε)-一様局所的収縮写像を定義する。
• 写像Fの混合単調性を用いて、積空間における反復列の単調性を保証する。
• 帰納的議論を用いて、反復の距離がλ^m（λ ∈ (0,1)）の速度で幾何級数的に減少することを示し、収束を保証する。
• 三角不等式とε鎖構造を用いて、反復列と極限点との距離を評価する。
• 反復列の収束による距離の0への収束を用いて、比較条件(H)または初期点の有界性のもとで一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 写像F: X×X → X が部分的に順序付けられた距離空間において結合固定点を持つための条件は何か？
• RQ2 ε鎖可能性の概念は、順序付き距離空間における固定点定理をどのように一般化できるか？
• RQ3 (λ,ε)-一様局所的収縮条件は、反復列の収束を保証するために果たす役割は何か？
• RQ4 結合固定点がいつ一意的であり、空間または写像にどのような構造的仮定がこれに寄与するか？
• RQ5 追加の順序論的条件のもとで、結合固定点の成分が等しくなることを示せるか？

主な発見

• 反復列 (x_m, y_m) = F^m(x_0, y_0) は、λ ∈ (0,1) に対して、O(λ^m) の速度で結合固定点に収束する。
• 反復列間の距離は、η(F^m(a*,b*), F^m(b*,a*)) < ελ^m を満たし、m → ∞ のとき0に収束する。
• 比較条件(H)のもとでは、積空間X×Xにおける結合固定点は一意的である。
• 初期点(x_0, y_0)が比較可能（例：x_0 ≤ y_0）であるならば、結合固定点の成分は等しくなる：x = y。
• X内の任意の点のペアが上界または下界を持つならば、結合固定点の成分は必ず等しくなる：x = y。
• ε鎖可能性、混合単調性、および局所的収縮性の組み合わせにより、反復列の固定点への収束が保証される。