[论文解读] On a Fixed Point Theorem for a Cyclical Kannan-type Mapping

Mitropam Chakraborty, S. K. Samanta|arXiv (Cornell University)|Jan 22, 2013

Fixed Point Theorems Analysis参考文献 6被引用 4

一句话总结

该论文通过将Pata的结果推广到循环框架，建立了完备度量空间中循环Kannan型映射的不动点定理。证明了在涉及参数化扰动项的广义不等式条件下，满足循环条件的映射在闭子集的交集中有唯一的不动点，从而在循环设定下统一并推广了Kannan和Pata的定理。

ABSTRACT

This paper deals with an extension of a recent result by the authors generalizing Kannan's fixed point theorem based on a theorem of Vittorino Pata. The generalization takes place via a cyclical condition.

研究动机与目标

• 通过推广Pata的不动点结果，弥合循环压缩条件与Kannan型映射之间的差距。
• 在广义扰动条件下，为循环Kannan型映射建立不动点定理。
• 证明在完备度量空间的闭、循环子集的交集中，不动点的存在性与唯一性。
• 证明无论初始点如何选择，Picard迭代均收敛于唯一的不动点。
• 通过严格验证收敛性，纠正先前关于循环Picard算子证明中的逻辑缺陷。

提出的方法

• 通过m个非空闭子集A₁,…,Aₘ对完备度量空间进行循环表示，满足T(Aᵢ) ⊆ Aᵢ₊₁（其中Aₘ₊₁ = A₁）。
• 采用涉及ε ∈ [0,1]的参数化不等式，即d(Tx,Ty) ≤ (1−ε)/2 [d(x,Tx)+d(y,Ty)] + Λε^αψ(ε)[1+‖x‖+‖Tx‖+‖y‖+‖Ty‖]^β。
• 定义范数‖x‖ = d(x,x₁)，其中x₁ ∈ Y为固定点，为扰动项建立参考点。
• 从x₁ ∈ A₁出发构造Picard序列{xₙ}，并证明d(xₙ₊₁,xₙ)是非增的且收敛于零。
• 利用循环结构与广义不等式，证明序列{xₙ}是柯西序列，并收敛于∩Aᵢ中的点。
• 通过证明d(y,Ty) = 0，确认极限点是T的不动点，从而验证收敛于唯一不动点。

实验结果

研究问题

• RQ1 在通过Pata的参数化扰动广义化后，当Kannan型映射满足循环条件时，其不动点是否存在？
• RQ2 在该广义条件下，循环设定下不动点的唯一性与Picard迭代的收敛性是否可被严格确立？
• RQ3 不动点是否位于所有循环子集Aᵢ的交集中？
• RQ4 该证明是否避免了在尚未证明收敛性之前就假设收敛于不动点的逻辑谬误？
• RQ5 该结果与先前关于循环Kannan型和Pata型映射的成果有何关联并如何加以推广？

主要发现

• 映射T在所有闭子集A₁,…,Aₘ的交集中有唯一的不动点x*。
• 对于任意初始点x ∈ Y，Picard迭代{Tⁿx}均收敛于x*，因此T是Picard算子。
• 收敛性由涉及ε、Λ、α、β及扰动函数ψ的广义不等式保证。
• 该证明严格确立了序列极限为不动点，纠正了先前研究中过早假设收敛性的缺陷。
• 该结果在循环映射背景下统一并推广了Kannan和Pata的定理，整合了不动点研究中两条不同的研究路径。
• 不动点与初始点x₁的选择无关，因为循环结构确保了收敛于∩Aᵢ中的同一唯一不动点。