[論文レビュー] On a Fixed Point Theorem for a Cyclical Kannan-type Mapping

Mitropam Chakraborty, S. K. Samanta|arXiv (Cornell University)|Jan 22, 2013

Fixed Point Theorems Analysis参考文献 6被引用数 4

ひとこと要約

本稿は、Pataの結果を循環的枠組みに拡張することで、完備距離空間における循環的カナン型写像の不動点定理を確立する。一般化された不等式（パrameter化された摂動項を含む）のもとで、循環的条件を満たす写像が閉部分集合の共通部分に唯一の不動点を持つことを証明し、カナンの定理およびPataの定理を循環的設定において一般化する。

ABSTRACT

This paper deals with an extension of a recent result by the authors generalizing Kannan's fixed point theorem based on a theorem of Vittorino Pata. The generalization takes place via a cyclical condition.

研究の動機と目的

• 循環的縮小的条件とカナン型写像の間のギャップを埋めるために、Pataの不動点結果を一般化する。
• パrameter化された摂動条件の下で、循環的カナン型写像の不動点定理を確立する。
• 完備距離空間の閉、循環的部分集合の共通部分に、不動点の存在および一意性を証明する。
• 初期点が定義域内のいかなる点から出発しても、ピカード反復が唯一の不動点に収束することを示す。
• 従来の循環的ピカード作用素の証明における論理的欠陥を是正し、不動点への収束を厳密に検証する。

提案手法

• m個の空でない閉部分集合A₁,…,Aₘを用いた完備距離空間の循環的表現を導入する。ここでT(Aᵢ) ⊆ Aᵢ₊₁（Aₘ₊₁ = A₁とする）。
• ε ∈ [0,1] を含むパrameter化された不等式を用いる。ここでd(Tx,Ty) ≤ (1−ε)/2 [d(x,Tx)+d(y,Ty)] + Λε^αψ(ε)[1+‖x‖+‖Tx‖+‖y‖+‖Ty‖]^βである。
• 固定されたx₁ ∈ Yに対して‖x‖ = d(x,x₁)を定義し、摂動項の基準点を確立する。
• A₁に属するx₁から出発するピカード列{xₙ}を構成し、d(xₙ₊₁,xₙ)が単調減少であり、0に収束することを証明する。
• 循環的構造と一般化された不等式を用いて、列{xₙ}がコーシー列であり、∩Aᵢに収束することを示す。
• d(y,Ty) = 0を示すことで、極限点がTの不動点であることを証明し、唯一の不動点への収束を確認する。

実験結果

リサーチクエスチョン

• RQ1 Pataのパrameter化された摂動を用いた一般化のもとで、循環的条件下におけるカナン型写像に不動点が存在するか？
• RQ2 この一般化された条件下で、ピカード反復の収束性および一意性が、循環的設定において厳密に確立可能か？
• RQ3 不動点はすべての循環的部分集合Aᵢの共通部分に位置するか？
• RQ4 証明は、収束を証明する前に仮定してしまう論理的誤謬を回避しているか？
• RQ5 この結果は、従来の循環的カナンおよびPata型写像に関する結果とどのように関係し、拡張されるか？

主な発見

• 写像Tは、すべての閉部分集合A₁,…,Aₘの共通部分に唯一の不動点x*を持つ。
• 任意の初期点x ∈ Yに対して、ピカード反復{Tⁿx}はx*に収束する。これにより、Tはピカード作用素である。
• 収束は、ε, Λ, α, βおよび摂動関数ψを含む一般化された不等式によって保証される。
• 証明は、列の極限が不動点であることを厳密に確立しており、従来の研究で収束を先に仮定していた欠陥を是正している。
• この結果は、カナンの定理およびPataの定理を、循環的写像の文脈で一般化し、二つの異なる不動点研究の方向性を統合する。
• 不動点は初期点x₁の選択に依存せず、循環的構造が共通部分∩Aᵢにおける同じ唯一の点への収束を保証する。