[論文レビュー] 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

ひとこと要約

本稿は、変換 $ 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.

研究の動機と目的

• 変換 $ T((x_n)) = \left(\frac{1}{1 + \sum_{i=1}^n x_i}\right) $ が $[0,1]^\mathbb{N}$ 内の列の空間上で不動点の存在と一意性を確立すること。
• この不動点が、ハウスドルフモーメント列の部分集合に制限された既存の結果を拡張して、距離空間 $ \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| $ を導入し、これによりフレシェ空間となることを示す。
• コンパクトで凸な部分集合 $ \mathcal{C} = \{(a_n) \in \mathcal{K} \mid a_1 \geq \frac{1}{2}\} $ を導入し、これが $ T $ に関して不変であることを示す。
• $ \mathcal{C} $ 上で $ T $ がリプシッツ定数 $ \frac{8}{9} $ を持つ収縮写像であることを証明し、任意の $ (a_n), (b_n) \in \mathcal{C} $ に対して不等式 $ d(T(a_n), T(b_n)) \leq \frac{8}{9} d((a_n), (b_n)) $ が成り立つことを示す。
• $ 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) $ は正規化されたハウスドルフモーメント列である。すなわち、$ m_n = \int_0^1 x^n \, d\tau(x) $ を満たし、$[0,1]$ 上の確率測度 $ \tau $ に対して、その密度は凸かつ増加的である。
• 変換 $ 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 $ に従って得られる。