[論文レビュー] Fixed point theorems for a class of mappings depending of another function and defined on cone metric spaces

E R. Morales, Edixon Rojas|ArXiv.org|Jun 11, 2009

Fixed Point Theorems Analysis参考文献 26被引用数 3

ひとこと要約

本稿は、完備な錐距離空間上で定義された、$ D_T(a,b) $ と表記される一般化された写像クラスの不動点定理を確立する。収縮条件は補助関数 $ T $ に依存する。$ T $-収縮枠組みを錐距離空間へ拡張することで、写像 $ S $ の連続性を仮定しない条件下でも、連続性、単射性、$ T $ の逐次収束性といった弱い条件のもとで不動点の存在と一意性を証明する。主たる貢献は、Banach、Kannan、Reich型の定理を錐距離空間設定で一般化する統一的な不動点結果を提示することにある。

ABSTRACT

In this paper we study the existence and uniqueness of fixed points of a class of mappings defined on complete, (sequentially compact) cone metric spaces, without continuity conditions and depending on another function.

研究の動機と目的

• Beiranvand らおよび Moradi の $ T $-収縮枠組みを錐距離空間へ拡張すること。
• 写像 $ S $ の連続性を仮定しない、クラス $ D_T(a,b) $ の不動点の存在と一意性を確立すること。
• 関数依存の収縮条件を用いて、錐距離空間における既知の不動点結果（Banach、Kannan、Reich の収縮）を一般化すること。
• 関数 $ T $ を含むパラメータ化された収縮条件を導入することで、錐距離空間における先行研究を統一的かつ拡張すること。

提案手法

• 錐距離空間上に新しい写像クラス $ D_T(a,b) $ を定義し、収縮条件に関数 $ T $ を含める。パラメータ $ a,b \geq 0 $ を用い、すべての $ x,y \in M $ に対して $ d(TSx,TSy) \leq a d(Tx,Ty) + b [d(Tx,TSx) + d(Ty,TSy)] $ を満たす。
• 実バナッハ空間に値をとる錐 $ P $ を持つ錐距離空間の構造を用い、$ P $ が誘導する順序に基づいて収束を定義する。
• $ T $ が連続的かつ単射的であり、部分列収束性または逐次収束性を満たすように仮定することで、反復列の収束を保証する。
• 条件 $ a + 2b < 1 $ の下で、完備な錐距離空間内に写像 $ S $ が一意な不動点を持つことを証明する。
• 結果を応用して既知の定理を回復・一般化する：$ T = \text{id} $ の場合、古典的な $ D(a,b) $ クラスに還元される。$ a = 0 $ の場合、$ T $-Kannan 収縮を一般化する。
• 錐距離空間の枠組みを用いて、メトリック空間の結果を、特に正規または正則な錐を有するより一般な設定へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 $ T $-収縮枠組みを錐距離空間へ拡張することで、不動点定理を一般化できるか？
• RQ2 関数 $ T $ およびパラメータ $ a,b $ にどのような条件を課せば、錐距離空間内での写像 $ S $ の不動点の存在と一意性が保証されるか？
• RQ3 $ D_T(a,b) $ クラスは、錐距離空間における Banach、Kannan、Reich の収縮タイプをどのように統一的かつ一般化するか？
• RQ4 $ T $ の逐次収束性が、反復列 $ (S^n x_0) $ の不動点への収束を保証するために果たす役割は何か？
• RQ5 写像 $ S $ が一意な不動点を持つための条件は $ T \neq \text{id} $ の場合にどのようなものか。これは既存の結果をどのように一般化するか？

主な発見

• 写像 $ S $ が一意な不動点を持つのは、$ T $ が連続的かつ単射的であり、部分列収束的であり、$ a + 2b < 1 $ を満たすときであり、$ d(TSx,TSy) \leq a d(Tx,Ty) + b [d(Tx,TSx) + d(Ty,TSy)] $ を満たす。
• もし $ T $ が逐次収束的であれば、任意の $ x_0 \in M $ に対して、列 $ (S^n x_0) $ は $ S $ の一意な不動点に収束する。
• $ T = \text{id} $ の場合、結果は錐距離空間上での既知の $ D(a,b) $ クラスに還元され、Khan と Samanipour (2008) の定理 2.7 を回復する。
• $ a = 0 $ かつ $ b \in [0, \frac{1}{2}) $ の場合、結果は $ T $-Kannan 収縮を一般化し、Moradi の研究を錐距離空間へ拡張する。
• $ b = 0 $ かつ $ a < 1 $ の場合、結果は $ T $-Banach 収縮を一般化し、古典的な Banach 収縮原理を錐距離空間へ拡張する。
• この枠組みは、Guang と Zhang、Khan と Samanipour、および Rhoades の既知の不動点定理を、錐距離空間設定で統一的かつ一般化する。