[論文レビュー] Some Unique Fixed Point Theorems in Multiplicative Metric Spaces

Sarwar Muhammad, Badshah-e-Rome Badshah-e-Rome|arXiv (Cornell University)|Sep 17, 2014

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

ひとこと要約

本稿では、関数 φ を含む一般化された乗法的収縮条件を導入することで、完全な乗法的距離空間における新しい一意的不動点定理を確立する。結果として、Zamfirescu や Aydi らの古典的不動点定理が乗法的距離空間設定へ拡張され、標準的収縮よりも弱い条件下でも不動点の存在と一意性が保証される。具体的な R² や有界区間における写像への応用も示されている。

ABSTRACT

Özavsar and Cevikel(Fixed point of multiplicative contraction mappings on multiplicative metric space.arXiv:1205.5131v1 [math.GN] 23 may 2012)initiated the concept of the multiplicative metric space in such a way that the usual triangular inequality is replaced by "multiplicative triangle inequality $d(x,y)\leq d(x,z).d(z,y)$ for all $x,y,z\in X$". In this manuscript, we discussed some unique fixed point theorems in the context of multiplicative metric spaces. The established results carry some well known results from the literature to multiplicative metric space. We note that some fixed point theorems can be deduced in multiplicative metric space by using the established results. Appropriate examples are also given.

研究の動機と目的

• 収縮条件の一般化を通じて、不動点理論を乗法的距離空間へ拡張すること。
• 完全な乗法的距離空間における不動点の存在および一意性の十分条件を確立すること。
• 標準的距離空間（例：Zamfirescu、Aydi ら）における既知の結果を乗法的設定へ一般化すること。
• R² や [0.1,1] のような具体的な空間における定理の適用可能性を示す構成的例を提供すること。
• 制御関数 φ を含む一元的枠組みの下で、既存の乗法的収縮写像を統一的かつ一般化すること。

提案手法

• s,t > 1 のとき φ(s,t) > 1 であり、s = t = 1 のときかつそのときに限り φ(s,t) = 1 を満たす関数 φ(s,t) を用いた、新たな乗法的収縮条件を導入する。
• 完全な乗法的距離空間 (M,d) 上の写像 T を定義し、すべての x,y ∈ M に対して d(Tx,Ty) ≤ {d(x,Tx)·d(y,Ty)}^{1/2} / φ(d(x,Tx), d(y,Ty)) が成り立つようにする。
• 乗法的逆三角不等式および乗法的コーシー列の性質を用いて、反復列 Tⁿx の収束を証明する。
• 背理法を用いて、列 {Tⁿx} の極限が不動点でなければならないことを示し、反復による距離の厳密減少性を利用する。
• 2つの異なる不動点を仮定し、収縮条件を用いて矛盾を導くことで一意性を確立する。
• R²、[0.1,1]、[1,2] における明示的な例を用いて結果を検証し、特定の写像と乗法的距離（例：d(x,y) = 2^{|x−y|} または d(x,y) = e^{|1/x−1/y|}）を用いる。

実験結果

リサーチクエスチョン

• RQ1 標準的距離空間における不動点定理は、より弱い収縮条件のもとで乗法的距離空間へ一般化可能か？
• RQ2 制御関数 φ にどのような条件を課すと、完全な乗法的距離空間における不動点の存在および一意性が保証されるか？
• RQ3 乗法的収縮写像は反復においてどのように振る舞い、完全な乗法的三角不等式を必要とせずに収束を証明できるか？
• RQ4 既存の結果（例：Zamfirescu、Aydi ら）は、乗法的距離空間設定へどの程度まで持ち込めるか？
• RQ5 古典的定理が適用できないが、本稿の新しい定理が適用可能な明示的な例を構成可能か？

主な発見

• 本稿では、φ(s,t) > 1（s,t > 1 のとき）かつ φ(s,t) = 1（s = t = 1 のときかつそのときに限り）を満たす関数 φ を用い、d(Tx,Ty) ≤ {d(x,Tx)·d(y,Ty)}^{1/2} / φ(d(x,Tx), d(y,Ty)) を満たす写像 T が完全な乗法的距離空間に一意的不動点を持つことを証明している。
• 系 3.7 は、ある q ∈ [0,1) に対して d(Tu,Tv) ≤ {d(u,Tu)·d(v,Tv)}^{q/2} が成り立つならば、T は一意的不動点を持つことを示している。
• 例 3.1 では、R² 上の写像 T((x,y)) = (2/3)(x,y) と距離関数 d((x₁,y₁),(x₂,y₂)) = 2^{√((x₁−x₂)²+(y₁−y₂)²)} を用い、d(Tx,Ty) = d(x,y)^{2/3} が成り立つことを確認し、ξ = 2/3 における収縮条件を満たしている。
• M = [0.1,1] 上の例 3.2 では、d(x,y) = e^{|1/x−1/y|} と T(x) = 1/(2+x) を用い、η = λ = 0.499 で収縮条件を満たし、約 0.4142 に一意的不動点を持つ。
• M = [1,2] 上の例 3.3 では、d(x,y) = 2^{|x−y|} と T(x) = 1/√x を用い、微小な指数項を用いて定義される φ により、定理が成り立つことが確認され、一意的不動点は x = 1 に存在する。
• 本稿では、2つの異なる不動点 a と b を仮定し、d(a,b) ≤ 1 を導き、乗法的距離の公理より a = b が導かれる。これにより不動点の一意性が確立されている。