[論文レビュー] Advances in Startpoint Theory for quasi-pseudometric spaces

Yaé Ulrich Gaba|arXiv (Cornell University)|Dec 5, 2014

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

ひとこと要約

本稿は、非減少かつ超加法的関数 φ と η を用いた一般化された収縮条件を導入することで、準擬距離空間における多価写像の新しい不動点、開始点、終了点の定理を確立し、スタートポイント理論を発展させる。主な貢献は、従来の結果よりも弱い完備性および収縮条件のもとで、開始点および終了点の存在を示したことにある。これは、非対称距離空間における既存の結果を拡張するものである。

ABSTRACT

This paper presents some startpoint (endpoint, fixed point) theorems for mutli-valued maps that generalize recent results proved by Y. U. Gaba \cite{rico, ricoo}.

研究の動機と目的

• 準擬距離空間における多価写像の最近の不動点結果を、より広い収縮条件のクラスを導入することで一般化すること。
• 左/右 K-完備性および双方向完備性などの弱い完備性仮定のもとで、開始点および終了点の存在を確立すること。
• 非減少および超加法的関数 φ と η を特定の上限上界条件と組み合わせることで、非対称距離空間における既存の結果を統一・拡張すること。
• 新しい反復的構成と収束議論を用いて、多価写像における不動点、開始点、終了点の存在の十分条件を提示すること。

提案手法

• 二つの関数 φ と η を用いた一般化された収縮条件を導入し、すべての t ≥ 0 に対して φ(t) < η(t) かつ limsup_{r→t⁺} φ(r)/η(r) < 1 を満たす。
• 開始点解析のための実数値関数 f(x) = H({x}, Fx) を定義し、終了点解析のためには f(x) = H(Fx, {x}) を定義し、x と F によるその像との距離を測定する。
• H({y}, Fy) ≤ c·d(x,y) または φ と η を含む一般化された不等式を満たす y ∈ Fx の選択により、列 (xₙ) を構成する。
• f(xₙ) の減少性と φ(H({xₙ}, {xₙ₊₁})) の収束性を用いて、列 (xₙ) が左 K-コーシー列であることを証明する。
• 超加法性と幾何的減衰性を活用し、n → ∞ のとき φ(H({xₙ}, {xₙ₊ₚ})) → 0 を示すことにより、(xₙ) が d⁰-収束するように証明する。
• 左/右 K-完備性または双方向完備性の仮定を適用し、設定に応じて極限が開始点、終了点、または不動点であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 準擬距離空間における多価写像が、H({x}, Fx) = 0 を満たす開始点をもつための条件は何か？
• RQ2 非対称空間における一般化された φ-η 収縮条件のもとで、H(Fx, {x}) = 0 を満たす終了点の存在は保証できるか？
• RQ3 左 K-完備性、右 K-完備性、双方向完備性といったどの完備性条件が、反復列の不動点への収束を保証するのに十分か？
• RQ4 非減少および超加法的関数 φ と η の性質が、準擬距離空間における収束性および解の存在にどのように影響するか？
• RQ5 左 K-完備性から右 K-完備性および双方向完備性への結果の拡張は可能か？また、これらの状況において条件は対称的か？

主な発見

• 任意の x ∈ X に対して、ある y ∈ Fx が存在し、H({y}, Fy) ≤ c·d(x,y) を満たす c ∈ (0,1) が存在するならば、左 K-完備な準擬距離空間上の多価写像 F: X → CB(X) に対して、開始点が存在する。
• 右 K-完備な空間上の T: X → B(X) に対して、φ(t) < η(t) かつ limsup_{r→t⁺} φ(r)/η(r) < 1 を満たす関数 φ と η が存在し、ある y ∈ Tx に対して H(Tx, {x}) ≤ η(H({x}, {y})) および f(y) ≤ φ(H({x}, {y})) が成り立つならば、終了点が存在する。
• 双方向完備な空間上の T: X → B(X) に対して、一般化された収縮条件が成り立ち、η(H⁰({x}, {y})) ≤ min{H({x}, Tx), H(Tx, {x})} および f(y) ≤ min{φ(H({x}, {y})), φ(H({y}, {x}))} が成り立つ y ∈ Tx が存在するならば、不動点が存在する。
• 反復的選択により構成された列 (xₙ) は左 K-コーシー列であり、f(xₙ) が q ∈ (0,1) の率で幾何的に減少するならば、d⁰-収束して開始点に収束する。
• 右 K-完備性は終了点の存在を、左 K-完備性は開始点の存在を保証するという双対的な完備性条件においても、結果は有効である。
• 非減少および超加法的関数 φ と η の使用により、標準的な c-収縮よりも広い収縮クラスを扱えるようになり、非対称空間への適用性が向上する。