[論文レビュー] Weakly contractive maps in altering metric spaces

Mihai Turinici|arXiv (Cornell University)|Feb 16, 2013

Fixed Point Theorems Analysis参考文献 14被引用数 5

ひとこと要約

この論文は、完全な距離空間におけるBerindeの弱収縮写像結果の機能的拡張を確立し、変形距離関数を用いた一般化された収縮条件のもとで、このような写像がグローバルに強いピカール作用素であることを示している。主な貢献は、固定点が一意的であり、反復列がそれへ収束することを証明し、誤差境界を提供することである。これはKhanらの1984年の変形距離フレームワークを新しく拡張し、Berindeの2004年の結果およびそれ以上の結果をカバーするものである。

ABSTRACT

The weakly contractive metric type fixed point result in Berinde [Nonlinear Anal. Forum, 9 (2004), 45-53] is "almost" covered by the related altering metric one due to Khan et al [Bull. Austral. Math. Soc., 30 (1984), 1-9]. Further extensions of these statements are then provided.

研究の動機と目的

• Berindeの2004年の弱収縮写像結果が新規であると主張されたが、実際にはKhanらの1984年の変形距離結果によってほぼカバーされていたという文献におけるギャップを解消すること。
• 変形距離アプローチを拡張し、Berindeの弱収縮写像を含め、固定点定理のより広範な機能的フレームワークを提供すること。
• 完全な距離空間における弱収縮写像が、一意的固定点をもつグローバルに強いピカール作用素を生成するための条件を確立すること。
• 固定点反復のハイヤース＝ウラム安定性を、固定点集合がシングルトンであるか否かに応じて分析すること。

提案手法

• 論文は、関数φが距離dを新たな距離関数φ(d(x,y))に変換する変形距離空間フレームワークを採用し、収縮条件の一般化を可能としている。
• 一般化された収縮条件を導入：d(Tx,Ty) ≤ a d(x,y) + b [d(x,Tx) + d(y,Ty)] + K(d(Tx,y)) で、a+2b < 1 かつ K(t) → 0 (t → 0) を満たす。
• 反復列収束の証明：任意の初期点uに対して、列(T^n u)がd-コーシー列であり、完全空間ではd-収束することを示している。
• 極限zを用いた矛盾による証明：z ≠ Tz と仮定し、収縮不等式を(T^n u, z)に適用することで、zが固定点でなければならないことを示している。
• 誤差近似は、d(T^n u, T^∞ u) ≤ [λ^n / (1−λ)] d(u,Tu) で与えられ、λ = (a+b)/(1−b) < 1 である。これにより収束の定量的境界が得られる。
• 安定性解析では、場合分けが行われる：Fix(T) が非シングルトンのときハイヤース＝ウラム不安定、シングルトンのとき安定。

実験結果

リサーチクエスチョン

• RQ1 Berindeの2004年の弱収縮写像結果は、変形距離空間のより一般的な枠組みに包含されるか？
• RQ2 自己写像が完全な距離空間においてグローバルに強いピカール作用素であることを保証する収縮条件の関数的形は何か？
• RQ3 固定点の一意性は、反復的固定点近似プロセスの安定性にどのように影響するか？
• RQ4 このような弱収縮写像によって生成される反復列の収束に対する正確な誤差境界は何か？

主な発見

• a+2b < 1 かつ K(t) → 0 (t → 0) を満たす一般化された条件 d(Tx,Ty) ≤ a d(x,y) + b [d(x,Tx)+d(y,Ty)] + K(d(Tx,y)) を満たす弱収縮写像の固定点は一意的である。
• 任意の初期点u ∈ Xに対して、反復列(T^n u)は固定点に収束し、極限はシングルトンであるため、Tはグローバルに強いピカール作用素である。
• 明示的な誤差境界が確立された：d(T^n u, T^∞ u) ≤ [λ^n / (1−λ)] d(u,Tu) で、λ = (a+b)/(1−b) < 1 である。これにより定量的収束が保証される。
• 固定点集合がシングルトンである場合に限り、固定点反復はハイヤース＝ウラム安定である。そうでない場合、初期条件への感度により不安定である。
• この結果は、Berindeの2004年の弱収縮写像とKhanらの1984年の変形距離結果を一般化しており、後者は事実上前者をカバーしている。
• このフレームワークは、結論的 remarks で示唆されているように、部分的距離空間や準順序付き距離空間へのさらなる拡張を可能としている。