[论文解读] On a fixed point in the metric space of normalized Hausdorff moment sequences

Christian Berg, Maryam Beygmohammadi|arXiv (Cornell University)|Mar 19, 2010

Mathematical Dynamics and Fractals参考文献 5被引用 3

一句话总结

本文在度量空间 $ \mathcal{K} = [0,1]^\mathbb{N} $ 上建立了变换 $ T((x_n)) = \left(\frac{1}{1 + \sum_{i=1}^n x_i}\right) $ 的不动点的存在性与唯一性。通过在紧致凸子集 $ \mathcal{C} \subset \mathcal{K} $ 上应用巴拿赫不动点定理，证明该变换是压缩映射，其利普希茨常数为 $ \frac{8}{9} $，从而确保不动点的全局吸引性。该不动点被证明是具有凸且递增密度的归一化豪斯多夫矩序列。

ABSTRACT

We show that the transformation (x_n)_{n\ge 1} o (1/(1+x_1+...+x_n))_{n\ge 1} of the compact set of sequences (x_n)_{n\ge 1} of numbers from the unit interval [0,1] has a unique fixed point, which is attractive. The fixed point turns out to be a Hausdorff moment sequence studied in papers by Berg and Durán in 2008.

研究动机与目标

• 在序列空间 $[0,1]^\mathbb{N}$ 上建立变换 $ T((x_n)) = \left(\frac{1}{1 + \sum_{i=1}^n x_i}\right) $ 的不动点的存在性与唯一性。
• 证明该不动点在度量空间 $ \mathcal{K} = [0,1]^\mathbb{N} $ 中是全局吸引的，扩展了以往仅限于豪斯多夫矩序列子集的研究结果。
• 证明该不动点是归一化豪斯多夫矩序列，确认其矩表示及结构性质。
• 证明变换 $ T $ 在紧致凸子集 $ \mathcal{C} \subset \mathcal{K} $ 上是压缩映射，从而可应用巴拿赫不动点定理。

提出的方法

• 定义变换 $ T: \mathcal{K} \to \mathcal{K} $，其中 $ T((x_n))_n = \frac{1}{1 + \sum_{i=1}^n x_i} $，作用于紧致乘积空间 $ \mathcal{K} = [0,1]^\mathbb{N} $。
• 在 $ \mathcal{K} $ 上赋予由度量 $ d((a_n),(b_n)) = \sum_{n=1}^\infty 2^{-n} |a_n - b_n| $ 导出的乘积拓扑，使其成为一个弗雷chet空间。
• 引入紧致凸子集 $ \mathcal{C} = \{(a_n) \in \mathcal{K} \mid a_1 \geq \frac{1}{2}\} $，该集合在 $ T $ 下不变。
• 利用不等式 $ d(T(a_n), T(b_n)) \leq \frac{8}{9} d((a_n), (b_n)) $ 对所有 $ (a_n), (b_n) \in \mathcal{C} $ 成立，证明 $ T $ 在 $ \mathcal{C} $ 上是压缩映射，其利普希茨常数为 $ \frac{8}{9} $。
• 对限制在 $ \mathcal{C} $ 上的 $ T|_{\mathcal{C}} $ 应用巴拿赫不动点定理，保证在 $ \mathcal{C} $ 中存在唯一不动点，该不动点必为 $ \mathcal{K} $ 中的唯一不动点。
• 验证不动点满足递推关系 $ m_{n+1}^2 + \frac{m_{n+1}}{m_n} - 1 = 0 $，并通过已知刻画定理确认其为归一化豪斯多夫矩序列。

实验结果

研究问题

• RQ1 变换 $ T((x_n)) = \left(\frac{1}{1 + \sum_{i=1}^n x_i}\right) $ 在空间 $ \mathcal{K} = [0,1]^\mathbb{N} $ 中是否存在唯一的不动点？
• RQ2 该不动点是否在 $ \mathcal{K} $ 中任意初始点下，通过迭代 $ T $ 均全局吸引？
• RQ3 该不动点能否被刻画为归一化豪斯多夫矩序列？其关联测度具有何种性质？
• RQ4 变换 $ T $ 的最佳利普希茨常数是多少？$ T $ 是否在 $ \mathcal{K} $ 的某个不变子集上为压缩映射？

主要发现

• 变换 $ T $ 在 $ \mathcal{K} $ 中存在唯一不动点 $ (m_n) $，满足对所有 $ n \geq 1 $ 有 $ (1 + m_1 + \cdots + m_n)m_n = 1 $。
• 该不动点是全局吸引的：对 $ \mathcal{K} $ 中任意初始序列，迭代 $ T^n $ 均在度量拓扑下收敛于 $ (m_n) $。
• 不动点 $ (m_n) $ 是归一化豪斯多夫矩序列，即存在 $[0,1]$ 上的概率测度 $ \tau $，使得 $ m_n = \int_0^1 x^n \, d\tau(x) $，且其密度函数为凸且递增。
• 变换 $ T $ 在子集 $ \mathcal{C} = \{(a_n) \in \mathcal{K} \mid a_1 \geq \frac{1}{2}\} $ 上是压缩映射，其利普希茨常数为 $ \frac{8}{9} $，从而可应用巴拿赫不动点定理。
• 归一化豪斯多夫矩序列集合 $ \mathcal{H} $ 的直径为 1，且唯一达到该直径的点对为 $ \{\underline{0}, \underline{1}\} $。
• 不动点序列显式计算为 $ m_1 = \frac{-1 + \sqrt{5}}{2} \approx 0.618 $，更高阶项由递推关系 $ m_{n+1}^2 + \frac{m_{n+1}}{m_n} - 1 = 0 $ 确定。