[論文レビュー] Finite-time and exact Lyapunov dimension of the Henon map

Н. В. Кузнецов, Г. А. Леонов+1 more|arXiv (Cornell University)|Dec 3, 2017

Nonlinear Dynamics and Pattern Formation参考文献 58被引用数 3

ひとこと要約

本稿では、ヘンン・マップにおける有限時間リャプノフ次元を計算するための適応的アルゴリズムを提示し、解析的推定を拡張し、縮小パラメータ $ b \in (-1, 0) $ の場合に対しても自己励起吸引子の正確なリャプノフ次元公式を証明する。自己励起吸引子のリャプノフ次元は、不安定な平衡点 $ O_- $ のそれを超えないことが確認され、対称化されたヤコビ行列と局在化技術を用いて正確な値が得られ、$ a=1.4, b=0.3 $ の場合に $ \dim_L \approx 1.495 $ が得られる。

ABSTRACT

This work is devoted to further consideration of the Henon map with negative values of the shrinking parameter and the study of transient oscillations, multistability, and possible existence of hidden attractors. The computation of the finite-time Lyapunov exponents by different algorithms is discussed. A new adaptive algorithm for the finite-time Lyapunov dimension computation in studying the dynamics of dimension is used. Analytical estimates of the Lyapunov dimension using the localization of attractors are given. A proof of the conjecture on the Lyapunov dimension of self-excited attractors and derivation of the exact Lyapunov dimension formula are revisited.

研究の動機と目的

• 縮小パラメータ $ b \in (-1, 0) $ を持つヘンン・マップにおけるリャプノフ次元の解析的推定を拡張すること。この場合、一時的ダイナミクスとマルチステービリティが顕著である。
• 一時的およびカオス的状態のダイナミクスを調査するため、有限時間リャプノフ次元計算に新たな適応的アルゴリズムを提案・適用すること。
• 自己励起吸引子のリャプノフ次元が、その吸引子の吸引域と交差する不安定な包絡線の不安定な平衡点のリャプノフ次元を超えないという予想を証明すること。
• 位相空間における吸引子の局在化と対称化ヤコビ行列を用いて、自己励起吸引子のリャプノフ次元の正確な公式を導出すること。
• パラメータを変化させた場合の複数の吸引子の共存（マルチステービリティ）および隠れた吸引子の存在を調査すること。

提案手法

• 有限時間リャプノフ次元計算のための適応的アルゴリズムが提案され、システムの一次的挙動に応じて動的に調整され、精度と収束性が向上する。
• リャプノフ次元は、$ S = \begin{pmatrix} 1 & 0 \\ 0 & \sqrt{|b|} \end{pmatrix} $ を用いた対称化ヤコビアン行列 $ SJ S^{-1} $ を用いて推定され、特異値 $ \sigma_1, \sigma_2 $ が次元を上限で与える。
• 正確なリャプノフ次元は、カプラン＝ヨルケの公式により導出される：$ \dim_L = 1 + \frac{1}{1 - \frac{1}{\ln \sigma_1((x_-,x_-), S)}} \cdot \ln |b| $、これは不安定な平衡点 $ O_- $ で評価される。
• 吸引子の局在化は、フェイトの解析的境界を用いて達成される：$ |x| \leq \max\left\{ -r, m, \sqrt{b(m+a)+a-r} \right\} $、ここで $ r $ と $ m $ は吸引子の射影の境界である。
• 線形変換におけるリャプノフ次元の不変性を活用し、最大局所次元がその点で達成される場合に、平衡点での次元と吸引子の次元を等しくする。
• 標準的なヘンン・マップのパラメータ $ a=1.4, b=0.3 $ に対して、数値的および解析的に検証され、$ \dim_L \approx 1.495 $ に収束する。

実験結果

リサーチクエスチョン

• RQ1 縮小パラメータ $ b $ が負の場合に、自己励起吸引子のリャプノフ次元が関連する不安定な平衡点の次元を超えないという予想は成り立つか？
• RQ2 $ b < 0 $ のヘンン・マップにおいて、一時的およびカオス的状態の両方の領域で、適応的アルゴリズムが有限時間リャプノフ次元を信頼性高く計算できるか？
• RQ3 吸引子の局在化と対称化ヤコビアンの特異値を用いて、リャプノフ次元にどのような解析的上限を導出できるか？
• RQ4 $ b $ が負のとき、ヘンン・マップのリャプノフ次元はどのように変化し、カプラン＝ヨルケの公式と整合的であるか？
• RQ5 $ a=1.4, b=0.3 $ の場合に、ヘンン・マップにおける自己励起カオス的吸引子のリャプノフ次元の正確な値は何か？

主な発見

• パラメータ $ a=1.4, b=0.3 $ のヘンン・マップにおける自己励起カオス的吸引子の正確なリャプノフ次元は、$ \dim_L = 1 + \frac{1}{1 - \frac{1}{\ln \sigma_1((x_-,x_-), S)}} \cdot \ln 0.3 \approx 1.495 $ であり、平衡点 $ O_- $ から導出される。
• 自己励起吸引子のリャプノフ次元が関連する不安定な平衡点の次元を超えないという予想は、$ b < 0 $ の場合にも証明され、先行研究を拡張する。
• 適応的有限時間リャプノフ次元アルゴリズムにより、一時的振動中の次元ダイナミクスを正確に追跡でき、カオス的状態での信頼性が向上する。
• $ a=1.4, b=0.3 $ の場合、フェイトの局在化を用いたハウスドルフ次元の解析的上限は $ \dim_H K \leq 1.5319 $ であり、わずかに正確な値よりも高い。
• リャプノフ次元は線形変換に対して不変であるため、完全な吸引子再構築を必要とせずに、対称化ヤコビアンを用いて正確な公式を導出できる。
• $ a=1.49, b=-0.138 $ の場合、マルチステービリティおよび自己励起的および隠れた吸引子の共存が確認され、本手法の複雑なダイナミクスにおける関連性が示される。