[論文レビュー] A Fixed Point Theorem for Kannan-type Maps in Metric Spaces

Mitropam Chakraborty, S. K. Samanta|arXiv (Cornell University)|Nov 30, 2012

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

ひとこと要約

本稿は、パrameter ε と関数 ψ(ε) を含む摂動不等式を導入することで、カナンの不動点定理を一般化している。この条件下で、完備距離空間内に唯一の不動点が存在することを証明している。この結果は、パrameter化された距離の束縛を用いることで、より柔軟な収縮条件を許容する点で、カナンの元々の定理を拡張している。

ABSTRACT

We prove a generalization of Kannan's fixed point theorem, based on a recent result of Vittorino Pata.

研究の動機と目的

• パラメータ化された摂動項を組み込むことで、カナンの不動点定理を一般化すること。
• 関数 ψ(ε) と定数 α, β, Λ を用いて、標準的なカナン写像の収縮条件を超えた一般化を達成すること。
• 元のカナン条件よりも一般化された不等式のもとで、不動点の存在と一意性を証明すること。
• 新しい条件がカナンの元々の条件よりも厳密に弱いことを示し、不動点定理が適用可能な写像のクラスを拡大すること。
• 導入された摂動に対して、不動点が安定していることを示すこと。特に、写像が連続である必要はない。

提案手法

• X 内の基準点 x₀ ∈ X を導入し、d(x, x₀) を用いて距離を固定するため、‖x‖ = d(x, x₀) と定義する。
• 一般化された収縮不等式を提示する：すべての ε ∈ [0,1] および x,y ∈ X に対して、d(Tx, Ty) ≤ (1−ε)/2{d(x,Tx)+d(y,Ty)} + Λε^αψ(ε)[1+‖x‖+‖Tx‖+‖y‖+‖Ty‖]^β が成り立つ。
• ε = 0 の場合の不等式を用いて、反復列 xₙ = Tⁿx₀ とそのノルム列 {cₙ = ‖xₙ‖} の有界性を解析する。
• 幾何的減衰と ε に依存する項を用いて、d(xₙ₊₁, xₙ) を有界化することで、{xₙ} がコーシー列であることを証明する。これは、ε → 0⁺ のときの ε^αψ(ε) の収束性に依存する。
• X の完備性を用いて、{xₙ} が X 内の極限 x* ∈ X に収束することを保証する。
• 不等式において極限を取ることで、d(xₙ, xₙ₊₁) → 0 および d(xₙ, x*) → 0 (n → ∞) を用いて、x* が不動点であることを示す。

実験結果

リサーチクエスチョン

• RQ1 カナンの不動点定理は、収縮条件にパラメータ化された摂動項を組み込むことで一般化可能か？
• RQ2 関数 ψ(ε) と定数 α, β, Λ の導入により、元のカナン写像よりも厳密に弱い条件が可能になるか？
• RQ3 この一般化された不等式のもとで、完備距離空間内に不動点が一意かつ保証的に存在するか？
• RQ4 新しい条件が元のカナン条件を含意することを示すことで、一般化が非自明であることを証明できるか？
• RQ5 パrameter ε は、不等式内の収縮項と摂動項のバランスをどのようにとるか？

主な発見

• 一般化された不等式 (2.2) により、完備距離空間内に唯一の不動点 x* = Tx* が存在することが保証される。
• xₙ = Tⁿx₀ で定義される列 {xₙ} は有界かつコーシー列であるため、X の完備性から収束する。
• ノルム列 {cₙ} は有界である。これは、すべての n に対して d(xₙ₊₁, xₙ) ≤ d(x₁, x₀) が成り立ち、cₙ ≤ 3c₁ が導かれるためである。
• n → ∞ および ε → 0⁺ のとき、d(xₙ, xₙ₊₁) → 0 は一様に成り立つ。これはコーシー性を証明するために不可欠である。
• 不動点 x* は Tx* = x* を満たす。これは不等式において極限を取ることで示され、d(xₙ, xₙ₊₁) → 0 および d(xₙ, x*) → 0 を用いている。
• 新しい条件は、カナンの元々の条件よりも厳密に弱い。これは、カナン写像が ψ(ε) = ε^γ (ある γ > 0) を用いて一般化された不等式を満たすことを示すことによって証明された。