[論文レビュー] A Fixed-Point Theorem For Mapping Satisfying a General Contractive Condition Of Integral Type Depended an Another Function

Sirous Moradi, A. Beiranvand|ArXiv.org|Mar 9, 2009

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

ひとこと要約

本稿は、完全な距離空間上での新しい種類の収縮写像——$T_{\int\phi}$-収縮——を導入する。収縮条件は重み関数 $\phi$ と変換 $T$ を含む積分不等式によって定義される。主な結果として、$T$ と $\phi$ にやや弱い条件を課すことにより、固定点の存在と一意性が保証され、バナッハの収縮写像の原理、ブランキアの積分型定理、および先行研究を一般化する。主な貢献は、従来の定理ではカバーできない固定点を持つ写像を扱える固定点定理であり、$f$ が収縮写像でも $\int\phi$-収縮写像でもないが、新しい $T_{\int\phi}$-収縮条件を満たす、独創的な例によって示されている。

ABSTRACT

In this paper, we study the existence of fixed points for mappings defined on complete metric space (X, d) satisfying a general contractive inequality of integral type depended on another function. This conditions is analogous of Banach conditions and Branciari Theorem.

研究の動機と目的

• 古典的なバナッハの収縮写像の原理とブランキアの積分型固定点定理を、より広いクラスの写像へと拡張すること。
• 既存の定理が一部の非収縮的写像（それでも一意な固定点を持つ）を捉えられないという限界を是正すること。
• 変換 $T$ とルベーグ可積分な重み関数 $\phi$ に依存する収縮条件をもつ $T_{\int\phi}$-収縮の概念を導入し、その分析を行うこと。
• このような写像が完全な距離空間で一意な固定点を持つための十分条件を確立すること。
• 従来の定理では失敗するが、新しい定理では成立する反例を提示し、定理の一般性と適用可能性を示すこと。

提案手法

• ある $\alpha \in (0,1)$ に対して、$\int_0^{d(Tfx,Tfy)} \phi(t)\,dt \leq \alpha \int_0^{d(Tx,Ty)} \phi(t)\,dt$ を満たす新しい写像クラス、$T_{\int\phi}$-収縮を定義する。
• 変換 $T$ の逐次的および部分列収束の概念を導入し、$\{T y_n\}$ の収束が $\{y_n\}$ の収束または部分列収束を保証するようにする。
• $T$ が連続的かつ単射であり、逐次的または部分列収束的であることを要求し、反復列の収束性を保つ。
• 非負でコンパクト集合上でルベーグ可積分であり、任意の $\epsilon > 0$ に対して $\int_0^\epsilon \phi(t)\,dt > 0$ を満たす重み関数 $\phi$ の性質を用いて、積分条件が意味を持つことを保証する。
• 背理法と反復列の解析を用いた証明を行い、列 $\{f^n x_0\}$ がコーシー列であり、一意な固定点に収束することを示す。
• 非自明な例を用いて定理を検証し、$f$ が収縮写像でも $\int\phi$-収縮写像でもなく、ブランキアや先行研究の定理でもカバーされないが、$T_{\int\phi}$-収縮条件を満たす例を提示する。

実験結果

リサーチクエスチョン

• RQ1 積分型収縮の固定点結果は、標準的な $\int\phi$-収縮枠組みを越えて一般化可能か？
• RQ2 収縮条件に変換 $T$ を含めることで、古典的およびブランキアの意味での収縮的でない写像を捉えることが可能か？
• RQ3 バナッハの定理やブランキアの定理の条件を満たさないが、$T_{\int\phi}$-収縮条件を満たす写像のクラスは存在するか？
• RQ4 逐次収束ではなく部分列収束という弱い仮定のもとでも、反復列の収束を保証できるか？
• RQ5 新しい固定点定理の適用範囲はどの程度か？また、既存の定理を回避する写像に対して、その適用性を示せるか？

主な発見

• 本稿では、$T$ が連続的かつ単射であり、部分列収束的である場合、$T_{\int\phi}$-収縮写像 $f$ が完全な距離空間上で一意な固定点を持つことを証明している。
• $T$ が逐次収束的である場合、任意の初期点 $x_0 \in X$ に対して反復列 $\{f^n x_0\}$ が固定点に収束する。これはバナッハの定理の収束結果を拡張する。
• 第3.5節の例は、$f$ が収縮写像でも、収縮的でもなく、$\int\phi$-収縮写像でもないが、$\alpha = \frac{1}{2}$ の条件下で $T_{\int\phi}$-収縮条件を満たす写像を示している。
• 重み関数 $\phi(t) = t^{1/t - 2}(1 - \log t)$（$t > 0$）および $\phi(0) = 0$ を用いて積分条件を定義し、必要な可積分性および正値性条件を満たしている。
• 例では、すべての $x, y \in X$ に対して $\int_0^{|Tfx - Tfy|} \phi(t)\,dt \leq \frac{1}{2} \int_0^{|Tx - Ty|} \phi(t)\,dt$ が成り立ち、$T_{\int\phi}$-収縮性が確認される。
• この定理は、バナッハの定理、ブランキアの定理、および[2]の主結果からも除外される写像を正しく捉え、新しい枠組みの一般性と新規性を裏付けている。