[論文レビュー] Two Fixed-Point Theorems For Special Mappings

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

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

ひとこと要約

本稿では、変換 T を用いて収縮条件を定義する T-収縮および T-収縮的写像の概念を導入することで、完備およびコンパクトな距離空間における写像について、2つの新しい不動点定理を確立した。主な貢献は、T が単射で連続的かつ逐次収束（または逐次収束）である限り、バナッハの収縮写像原理よりも弱い条件下でも不動点の存在と一意性を保証することにある。

ABSTRACT

In this paper, we study the existence of fixed points for mappings defined on complete (compact) metric space (X, d) satisfying a general contractive (contraction) inequality depended on another function. These conditions are analogous to Banach conditions.

研究の動機と目的

• バナッハの収縮写像原理とエーデルシュタインのコンパクト空間における不動点結果を一般化するため、T-収縮写像を導入すること。
• 収縮条件が別の写像 T に対して相対的に定義される場合に、写像 S が一意な不動点を持つための条件を調査すること。
• 不動点の存在にあたり、T が単射であることや逐次収束（または逐次収束）であることなどの条件がなぜ必要不可欠であるかを検討すること。
• 定理の条件を省略できないことを示す例を提示し、結果の鋭さを確立すること。

提案手法

• T-収縮を、ある k ∈ (0,1) およびすべての x,y ∈ X に対して d(TSx, TSy) ≤ k d(Tx, Ty) を満たす写像 S として定義する。
• T-収縮および T-収縮的写像を導入する。T-収縮的とは、x ≠ y のとき d(TSx, TSy) < d(Tx, Ty) が成り立つことである。
• 反復列 {S^n x₀} を用い、完備距離空間におけるコーシー列の議論により {TS^n x₀} の収束を分析する。
• T の性質—特に単射性、連続性、および逐次収束（または逐次収束）—を活用して、{TS^n x₀} の収束を {S^n x₀} の収束に引き上げる。
• 収縮不等式を適用して d(TS^n x₀, TS^m x₀) の上限を得ることで、{TS^n x₀} がコーシー列であり、したがって収束することを示す。
• T の単射性と {TS^n x₀} の収束を組み合わせることで、{S^n x₀} が S の不動点に収束することを導出する。

実験結果

リサーチクエスチョン

• RQ1 完備距離空間において、T-収縮写像 S が一意な不動点を持つための条件は何か？
• RQ2 変換 T の導入により、標準的な収縮写像を超える不動点定理の適用範囲がどのように拡張されるか？
• RQ3 T の逐次的または逐次収束性が、反復列 {S^n x₀} の収束を保証するために果たす役割は何か？
• RQ4 S 自身が収縮写像でなくても、ある n に対して S^n が T-収縮となる場合、不動点の性質は保たれるか？
• RQ5 T が単射であることや逐次収束であることといった重要な仮定を削除した場合、不動点の存在にはどのような影響が生じるか？

主な発見

• 定理 2.6 は、(X,d) が完備で、T が単射かつ連続的かつ逐次収束的であり、S が連続的な T-収縮であるとき、S は一意な不動点を持つことを確立している。
• T が逐次収束的であれば、任意の x₀ ∈ X に対して、列 {S^n x₀} は S の一意な不動点に収束する。
• 定理 2.9 は、コンパクトな距離空間への結果の拡張を示している：T が単射であり、S が T-収縮的であれば、S は一意な不動点を持つ。
• 例により、T に対する単射性の条件が本質的であることが示されている。この条件がなければ、S は複数の不動点をもつ可能性があるし、まったく不動点を持たない場合もある。
• 例 3.4 は、T の逐次収束性が必要不可欠であることを示している。この条件がなければ、T-収縮であっても不動点が存在しない場合がある。
• 本稿では、S が標準的な収縮写像でなくても、ある n に対して S^n が T-収縮となることがあり、そのような場合に一般化された定理を用いて不動点の存在を保証できることを示している。