[論文レビュー] A collection of simple proofs of Sharkovsky's theorem

Bau-Sen Du|ArXiv.org|Mar 20, 2007

Mathematical Dynamics and Fractals参考文献 26被引用数 9

ひとこと要約

本稿は、連続区間写像における周期点の共存を示すために中間値の定理を直接的かつ直感的に用いる、単純で直感的な証明を複数提示する。主に周期点の存在に注目し、3つの核心的含意を証明することで、シャーリコフスキー順序の完全な構築を行う。すなわち、(a) m ≥ 3 である周期-m 点をもつ写像は周期-2 点をもつこと；(b) m ≥ 3 で奇数である周期-m 点をもつ写像は周期-(m+2) 点をもつこと；(c) 同様の条件下で周期-6 点と周期-(2m) 点をもつこと。これらにより、素朴な位相的議論によって、周期軌道の共存順序が再構成される。

ABSTRACT

Based on various strategies, we obtain several simple proofs of the celebrated Sharkovsky cycle coexistence theorem.

研究の動機と目的

• 中間値の定理のみに依存する、計算カリキュラムに適した、アクセスしやすく素朴なシャーリコフスキーの定理の証明を提供すること。
• シャーリコフスキー順序の論理的構造を明確にし、定理の完全な形を3つの核心的含意 (a)、(b)、(c) に分解すること。
• シャーリコフスキーの定理の複雑な構造が、固定点および周期点まわりの反復写像の振る舞いといった、単純な力学的原理から自然に生じることを示すこと。
• 最小の周期軌道構造を持つ写像の明示的例を構成し、定理のステートメント (2) における順序の鋭さを証明すること。
• 独立的でモジュラーな戦略（それぞれ異なる幾何的または順序論的洞察に基づく）を提示することで、既存の証明を統合・簡略化し、同じ結果に至る複数の道筋を提供すること。

提案手法

• 有向グラフの議論と区間写像の性質を通じて、中間値の定理を間接的に用い、周期点の存在を導出する。
• f²(v) < v < f(v) かつ f(v) が与えられた周期-m 軌道上にある点 v を定義し、これにより周期-2 点の構成が可能になることを示す。
• 写像 f を部分区間上で変更することで「手術」を行い、周期的挙動を分離し、Lemma 4（ある部分区間が他の区間に写されるような部分区間の存在を保証）を適用する。
• 固定点まわりの反復写像の挙動と、周期-m 軌道内の点の相対的順序を分析し、周期軌道の共存を推論する。
• Lemma 3（f と fⁿ の点の最小周期の関係）を適用し、反復写像 fⁿ における周期性の結果を元の写像 f に戻す。
• 周期-m 軌道 P における極値点（min P と max P）を用いて、ネストされた区間写像を構成し、より高周期の軌道の存在を示す。

実験結果

リサーチクエスチョン

• RQ1 どのようにして中間値の定理のみを用いて、直接的かつ直感的な方法でシャーリコフスキーの定理を証明できるか？
• RQ2 なぜシャーリコフスキー順序は 3 ≺ 5 ≺ 7 ≺ ⋯ ≺ 2·3 ≺ 2·5 ≺ ⋯ ≺ 2²·3 ≺ ⋯ ≺ 2³ ≺ 2² ≺ 2 ≺ 1 のように構成されているのか？
• RQ3 m ≥ 3 で奇数である周期-m 点をもつことは、周期-(m+2) 点と周期-6 点の存在を含意するか？
• RQ4 3つの核心的含意 (a)、(b)、(c) からどのようにしてシャーリコフスキー順序全体が再構成可能か？
• RQ5 どの連続的区間写像の構成が、指定された周期軌道のみをもつことにより、定理の鋭さ（特にステートメント (3)）を示すか？

主な発見

• 連続写像 f:I→I が周期-m 点（m ≥ 3）をもつならば、必ず周期-2 点をもつ。これはシャーリコフスキー順序の基礎的段階を確立する。
• f が周期-m 点（m ≥ 3 で奇数）をもつならば、周期-(m+2) 点ももつ。これは順序における 3 ≺ 5 ≺ 7 ≺ 9 ≺ ⋯ の並びを説明する。
• m ≥ 3 で奇数である周期-m 点の存在は、周期-6 点と周期-(2m) 点の両方の存在を含意する。これにより、順序における 2·3, 2·5 などの位置づけが正当化される。
• 3つの核心的含意 (a)、(b)、(c) を繰り返し適用することで、シャーリコフスキー順序全体が再構成可能であり、Lemma 3 を用いて fⁿ における周期性を f に戻すことができる。
• T∞ などの変更を加えたテント写像の明示的構成により、任意の i ≥ 0 に対して周期-2ⁱ 点のみをもつ写像の存在が示され、定理のステートメント (3) の正当性が裏付けられる。
• 各 n に対して、周期-n 軌道をもつが、n ≺ m を満たす任意の周期 m の周期点をもたない連続写像 f を構成可能である。これにより、ステートメント (2) における順序の鋭さが証明される。