位相幾何学的手法と計算機を利用した力学系の解析

本年度は、昨年までの研究をさらに押し進め、双曲性証明アリゴリズムの改良や、その応用、またモノドロミー理論の展開を行なった。双曲性証明アルゴリズムの改良では、グラフ理論的アルゴリズムの見直しを行なうことでより高速かつ安定した計算時間での証明が行なえるようになり、またメモリの使用量を減らすためにsuccinct data structureの実装も取り入れた。このアルゴリズムの応用としては、昨年までに引き続き非線形レスリーモデルの解析を進めるとともに、九州大学の石井豊氏と共同でエノン写像の最大エントロピー領域の境界の解析も始めた。これに関しては、双曲性証明アルゴリズムを用いる部分はほぼ完成しており、もう一つの鍵であるcrossed mapping conditionを検証する段階に達している。さらに、面積保存写像における周期倍分岐の極限点付近での一様双曲性についても研究を進め、まだ極限点の直後における双曲性の証明には至っていないものの、その近傍における非双曲性の強さに関する結果を得ている。モノドロミー理論の展開については、モノドロミーと分岐の関係を調べることで一種のforcing理論を構築することを目指し、とくに周期の低い周期点の場合に、分岐のタイプと、その分岐がモノドロミーに引き起す作用の関係を調べた。また、台湾Academia SinicaのYi-Chiuan Chen氏との共同研究では、従来直線的なパラメータでしか考えられていなかったanti-integrable limitの理論に対し、パラメータを曲線上に採る拡張を試みた。とくにエノン写像では、曲線上にパラメータを採ることで、従来の解析では見えてこなかった構造が得られることを見い出した。

本年度は、昨年までの研究をさらに押し進め、双曲性証明アリゴリズムの改良や、その応用、またモノドロミー理論の展開を行なった。双曲性証明アルゴリズムの改良では、グラフ理論的アルゴリズムの見直しを行なうことでより高速かつ安定した計算時間での証明が行なえるようになり、またメモリの使用量を減らすためにsuccinct data structureの実装も取り入れた。このアルゴリズムの応用としては、昨年までに引き続き非線形レスリーモデルの解析を進めるとともに、九州大学の石井豊氏と共同でエノン写像の最大エントロピー領域の境界の解析も始めた。これに関しては、双曲性証明アルゴリズムを用いる部分はほぼ完成しており、もう一つの鍵であるcrossed mapping conditionを検証する段階に達している。さらに、面積保存写像における周期倍分岐の極限点付近での一様双曲性についても研究を進め、まだ極限点の直後における双曲性の証明には至っていないものの、その近傍における非双曲性の強さに関する結果を得ている。モノドロミー理論の展開については、モノドロミーと分岐の関係を調べることで一種のforcing理論を構築することを目指し、とくに周期の低い周期点の場合に、分岐のタイプと、その分岐がモノドロミーに引き起す作用の関係を調べた。また、台湾Academia SinicaのYi-Chiuan Chen氏との共同研究では、従来直線的なパラメータでしか考えられていなかったanti-integrable limitの理論に対し、パラメータを曲線上に採る拡張を試みた。とくにエノン写像では、曲線上にパラメータを採ることで、従来の解析では見えてこなかった構造が得られることを見い出した。