[论文解读] 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} 的极限必为不动点，利用迭代过程中距离严格递减的性质。
• 通过假设存在两个不同的不动点并利用压缩条件导出矛盾，从而证明唯一性。
• 通过在 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 能否构造出新定理适用但经典定理不适用的显式例子？

主要发现

• 本文证明：若映射 T 满足 d(Tx,Ty) ≤ {d(x,Tx)·d(y,Ty)}^{1/2} / φ(d(x,Tx), d(y,Ty))，其中 φ(s,t) > 1（当 s,t > 1 时），且 φ(s,t) = 1 当且仅当 s = t = 1，则在完备乘法度量空间中 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 下的压缩条件。
• 例 3.2 在 M = [0.1,1] 上，度量为 d(x,y) = e^{|1/x−1/y|}，映射 T(x) = 1/(2+x) 满足压缩条件，η = λ = 0.499，且在约 0.4142 处有唯一不动点。
• 例 3.3 在 M = [1,2] 上，度量为 d(x,y) = 2^{|x−y|}，映射 T(x) = 1/√x，通过引入小指数项定义 φ，确认定理成立，且在 x = 1 处有唯一不动点。
• 本文通过假设存在两个不同的不动点 a 和 b，并导出 d(a,b) ≤ 1，利用乘法度量公理推出 a = b，从而证明不动点唯一。