[論文レビュー] Two classes of Meir-Keeler contractions

Laura Găvruţa, P. Găvruţa+1 more|arXiv (Cornell University)|May 20, 2014

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

ひとこと要約

本稿は、完全な距離空間におけるZ-収縮および弱いタイプの収縮が、すべてMeir-Keeler収縮の特殊な場合であることを確立している。これらのクラスがMeir-Keeler条件を満たすことを証明することで、著者たちは、より一般な枠組みの下で固定点の結果を統一し、一意な固定点とピカール反復列の収束を保証する。

ABSTRACT

In the present paper, we prove that Z-contractions and weakly type contractions are actually Meir-Keeler contractions.

研究の動機と目的

• Z-収縮がMeir-Keeler収縮条件を満たすことを示すこと。
• 弱いタイプの収縮が同様にMeir-Keeler条件を満たすことを示すこと。
• Z-収縮および弱いタイプの収縮からの固定点結果を、より広範なMeir-Keeler枠組みの下で統一すること。
• 完全な距離空間におけるピカール反復列が一意な固定点に収束することを確立すること。

提案手法

• Z-収縮がMeir-Keeler収縮でない場合、その仮定がシミュレーション関数の性質と矛盾することを背理法で示す。
• シミュレーション関数の上限極限条件を適用し、非Meir-Keeler行動を仮定した場合の矛盾を導出する。
• $d(x_n, y_n) \to \varepsilon_0$ および $d(Tx_n, Ty_n) \geq \varepsilon_0$ を満たすような列 $\{x_n\}, \{y_n\}$ を構成し、シミュレーション関数の挙動によって矛盾を導く。
• \alpha$, $\beta$, および $\psi$ の連続性および下方連続性を用いて、Meir-Keeler条件の不成立を仮定した場合に矛盾する不等式を導出する。
• Z-収縮に対しては鍵となる不等式 $\zeta(d(Tx,Ty), d(x,y)) \geq 0$ を、弱いタイプの収縮に対しては条件 $\psi(t) - \alpha(t) + \beta(t) > 0$ を用いて矛盾を導出する。
• Meir-Keeler固定点定理を統合的な結果として適用し、固定点の存在および一意性を結論づける。

実験結果

リサーチクエスチョン

• RQ1 完全な距離空間において、Z-収縮はMeir-Keeler収縮の部分集合であるか？
• RQ2 弱いタイプの収縮はMeir-Keeler条件を満たすか？
• RQ3 Z-収縮および弱いタイプの収縮の固定点定理は、Meir-Keeler固定点定理から導出可能か？
• RQ4 $\psi(d(Tx,Ty)) \leq \alpha(d(x,y)) - \beta(d(x,y))$ を満たす写像がMeir-Keeler収縮であるための条件は何か？
• RQ5 Meir-Keeler枠組みを用いることで、Z-収縮および弱いタイプの収縮におけるピカール列の収束は保証されるか？

主な発見

• Z-収縮がMeir-Keeler収縮であることが証明され、その固定点結果がMeir-Keeler定理から従うことが示された。
• 弱いタイプの収縮もMeir-Keeler収縮であることが示され、Meir-Keeler固定点定理の適用範囲が拡張された。
• Z-収縮および弱いタイプの収縮の両方において、ピカール反復列 $x_n = Tx_{n-1}$ が一意な固定点に収束することが確認された。
• シミュレーション関数の上限極限条件を用いて、Z-収縮がMeir-Keelerでないという仮定から矛盾が導かれた。
• すべての $t > 0$ に対して $\psi(t) - \alpha(t) + \beta(t) > 0$ が成り立つことで、弱いタイプの収縮がMeir-Keeler条件を満たすことが保証される。
• 本結果は、[4]、[5]、[7]、[8] の先行固定点定理を統一・一般化し、それらがMeir-Keeler枠組みの特殊な場合であることを示した。