[论文解读] Functional contractions in local Branciari metric spaces

Mihai Turinici|arXiv (Cornell University)|Aug 22, 2012

Fixed Point Theorems AnalysisMathematics参考文献 17被引用 20

一句话总结

本文在局部布兰奇亚里度量空间中建立了泛函压缩映射的不动点定理，推广了巴拿赫和鲁斯的经典结果。证明表明，在涉及强递减函数 φ 的广义压缩条件下，若空间为完备或轨道完备，则自映射 T 存在唯一不动点，从而推广了此前在非对称及广义度量空间中的研究结果。

ABSTRACT

A fixed point result is given for a class of functional contractions over local Branciari metric spaces. It extends some contributions in the area due to Fora et al [Mat. Vesnik, 61 (2009), 203-208].

研究动机与目标

• 将不动点理论推广至局部布兰奇亚里度量空间，该空间通过允许变量多面体不等式条件，推广了标准度量与布兰奇亚里度量。
• 建立在该类空间中，泛函压缩映射存在唯一不动点的条件。
• 表明可通过使用轨道完备性与局部结构，放松对空间的豪斯多夫性与完备性假设。
• 通过引入马特科夫斯基型压缩与强递减函数，推广了福拉等人、达斯与戴及利德勒的结果。
• 证明空间的正则性条件（如豪斯多夫性）并非必要，从而验证了基金娜与基金娜早期的观察。

提出的方法

• 将局部布兰奇亚里度量定义为满足每个有效可数子集 M 的 (2+k)-多面体不等式的反射性充分对称度量，其中 k 依赖于 M。
• 在该广义度量框架中引入 d-收敛与 d-柯西序列的概念。
• 采用泛函压缩条件：d(Tx,Ty) ≤ φ(F(x,y))，其中 φ 属于 Fr(R+) 类的强递减函数，F 涉及 x, y, Tx 与 Ty 之间的距离。
• 证明在轨道完备性条件下，T-轨道序列 (T^n x) d-收敛于唯一不动点。
• 通过反证法假设极限 z ≠ Tz，并利用点列的多面体不等式导出 φ(ρ) ≥ ρ，与 φ 的强递减性矛盾。
• 将结果推广至标准完备性情形，并证明当 d 为标准度量或满足四面体不等式时，结果退化为已知定理。

实验结果

研究问题

• RQ1 在不依赖豪斯多夫性质的前提下，能否将泛函压缩映射的不动点结果推广至局部布兰奇亚里度量空间？
• RQ2 压缩函数 φ 需满足何种条件，才能确保此类空间中不动点的存在性与唯一性？
• RQ3 轨道完备性是否足以保证局部布兰奇亚里度量空间中迭代序列的收敛性？
• RQ4 在不动点理论中，(2+k)-多面体不等式如何推广三角不等式与四面体不等式？
• RQ5 在保持不动点性质的前提下，度量空间的正则性假设可被削弱到何种程度？

主要发现

• 在局部布兰奇亚里度量空间中，任意满足泛函压缩条件（其中 φ 为强递减函数）的自映射 T 均存在唯一不动点。
• 若空间为 T-轨道完备，则对任意初始点 x，不动点即为 T-轨道序列 (T^n x) 的 d-极限。
• 当 d 为标准度量时，该结果推广了经典的巴拿赫压缩映射原理，并扩展了度量情形下利德勒的结果。
• 证明表明，假设极限 z ≠ Tz 将导致 ρ ≤ φ(ρ)，与 φ 的强递减性矛盾，故必有 ρ = 0。
• 该框架可去除福拉等人早期结果中对 φ 的上半连续性要求，因该条件在收敛性论证中并非必需。
• 当 φ 为博伊德-沃龙类型函数时，该定理包含达斯与戴（2012）的结果作为特例。