[论文解读] Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces

Ulrich Kohlenbach, Laurenţiu Leuştean|ArXiv.org|Jul 11, 2007

Optimization and Variational Analysis参考文献 20被引用 5

一句话总结

本文在一致凸双曲空间中建立了渐近非扩张映射的不动点定理，并利用证明挖掘技术，为Krasnoselski-Mann迭代的 metastability 提供了有效且可计算的界。主要贡献是针对序列 $\|x_n - T(x_n)\|$ 趋近于零的收敛性，给出了定量的 metastability 速率，将先前在一致凸赋范空间中的结果推广到了更广泛的度量空间类，包括 CAT(0)-空间和 $\mathbb{R}$-树。

ABSTRACT

This paper provides a fixed point theorem for asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces as well as new effective results on the Krasnoselski-Mann iterations of such mappings. The latter were found using methods from logic and the paper continues a case study in the general program of extracting effective data from prima-facie ineffective proofs in the fixed point theory of such mappings.

研究动机与目标

• 将渐近非扩张映射的不动点定理从一致凸赋范空间推广到更一般的统一凸双曲空间设置。
• 利用逻辑证明挖掘技术，在更广泛的设置中提取Krasnoselski-Mann迭代的metastability的有效、可计算界。
• 将先前在赋范空间中关于收敛速率的结果推广至双曲空间，包括CAT(0)-空间和 $\mathbb{R}$-树。
• 使用Tao所形式化的metastability概念，为 $\|x_n - T(x_n)\|$ 趋近于零提供定量版本的收敛性。
• 证明即使在缺乏可计算收敛速率的情况下，仍可通过单调泛函解释方法提取迭代序列的统一有效metastability界。

提出的方法

• 作者采用单调泛函解释这一证明论方法，源自证明挖掘，将无效证明转化为具有显式界的有效证明。
• 将文献[19]中关于满足 $a_{n+1} \leq (1 + b_n)a_n + c_n$ 的序列的关键引理，推广至一致凸双曲空间的设定。
• 证明依赖于构造序列 $a_n = d(x_n, p)$ 和控制迭代下距离增长的控制序列 $\alpha_n$。
• 通过应用将收敛性陈述转化为有限、统一的metastability条件的逻辑元定理，推导出定量的metastability界。
• 该方法使用函数 $h^n(0)$ 的有限次迭代来定义界 $N_0 = h^s(0)$，使得对所有 $i,j$ 属于 $[N_0, N_0 + g(N_0 + 1) + 2]$，有 $|a_j - a_i| \leq \theta$ 和 $|\alpha_j - \alpha_i| \leq \theta$，从而确保metastability。
• 最终通过反证法建立 $d(x_m, T(x_m)) < \varepsilon$ 的界，利用了一致凸双曲空间的几何与度量性质以及凸映射 $W$。

实验结果

研究问题

• RQ1 渐近非扩张映射的不动点定理能否从一致凸赋范空间推广至一致凸双曲空间？
• RQ2 在一致凸双曲空间中，Krasnoselski-Mann迭代的metastability能提取出哪些有效且可计算的界？
• RQ3 即使不存在可计算的收敛速率，是否仍可获得统一有效的metastability速率？
• RQ4 证明挖掘中的逻辑技术，特别是单调泛函解释，如何应用于非线性空间中的度量不动点理论？
• RQ5 序列 $\|x_n - T(x_n)\|$ 在一致凸双曲空间中的定量行为如何？是否能对所有初始点和映射实现统一有界？

主要发现

• 本文在一致凸双曲空间中建立了渐近非扩张映射的不动点定理，推广了在一致凸赋范空间和CAT(0)-空间中的结果。
• 提供了Krasnoselski-Mann迭代序列metastability的统一有效界，确保对任意 $\varepsilon > 0$ 和函数 $g: \mathbb{N} \to \mathbb{N}$，存在 $N$，使得对所有 $m \in [N, N + g(N)]$，有 $\|x_m - T(x_m)\| < \varepsilon$。
• 对于CAT(0)-空间，本文推导出近似不动点性质的二次界，具体为 $d(p, Tp) \leq \frac{1}{2^{\Phi}(\Phi + K)}$，其中 $p \in C$，$\Phi$ 依赖于一致凸性的模。
• 通过有限次迭代函数 $h^n(0)$ 构造了metastability的有效界，其中 $N_0 = h^s(0) < \Phi = h^M(0)$，确保了metastable区间的存在。
• 证明表明，若 $d(x_i, p) \geq \frac{\varepsilon}{f(K)}$ 且 $d(T^i x_i, x_i) \geq \frac{\varepsilon}{f(K)}$，则产生矛盾，意味着至少一个距离必须很小，从而推出 $d(x_m, T(x_m)) < \varepsilon$。
• 最终界满足 $d(x_m, T(x_m)) < \varepsilon$，因为不等式 $\varepsilon/2 + (1+K)^2 \theta < \varepsilon$ 成立，其中 $\theta$ 是由凸性模和函数 $f(K)$ 导出的小正数。