通过 Leader 压缩研究 Kirk 渐近压缩

本文研究了非线性压缩的渐近不动点结果，重点关注 Kirk 型定理及其推广。文献中的一个核心难点在于要求映射具有有界轨道，这一条件通常难以验证，且传统上被视为保证不动点存在的必要条件。我们通过证明每个渐近 Kirk 压缩都是 Leader 压缩来消除这一有界性假设，而 Leader 压缩本身保证了轨道有界性。这一观察简化了不动点论证并拓宽了适用映射的范围。我们还解决了一个开放问题，证明了控制函数 phi 上的标准上半连续条件可以放宽为右上半连续性，从而解决了 Jachymski 等人提出的一个猜想。这些贡献在 Leader 压缩这一更灵活的框架下，统一并推广了包括 Boyd-Wong、Kirk、Chen、Arav 等人以及 Reich 和 Zaslavski 在内的若干基础结果。这些结果为广义度量空间中的收敛性与不动点存在性提供了精简且更实用的条件。