[論文レビュー] Computer Assisted Proofs of Attracting Invariant Tori for ODEs

Maciej J. Capiński, Emmanuel Fleurantin+1 more|arXiv (Cornell University)|May 20, 2019

Quantum chaos and dynamical systems参考文献 43被引用数 4

ひとこと要約

本稿では、検証された数値積分とコーン条件を用いて、3次元の散逸的ODEにおける2次元の吸引的不変トーラスの存在性と正則性を検証するコンピュータ支援証明手法を提示する。非摂動的領域において、回転トーラスについては$C^k$、共振トーラスについては$C^0$の確認可能な下界正則性を確立する。周期的および非周期的系の両方で成功裏に実装され、共振トーラスの証明に6分未塔で完了した。

ABSTRACT

This work studies existence and regularity questions for attracting invariant tori in three dimensional dissipative systems of ordinary differential equations. Our main result is a constructive method of computer assisted proof which applies to explicit problems in non-perturbative regimes. We obtain verifiable lower bounds on the regularity of the attractor in terms of the ratio of the expansion rate on the torus with the contraction rate near the torus. We consider separately two important cases of rotational and resonant tori. In the rotational case we obtain $C^k$ lower bounds on the regularity of the embedding. In the resonant case we verify the existence of tori which are only $C^0$ and neither star-shaped nor Lipschitz

研究の動機と目的

• 摂動的領域を超える3次元の散逸的ODEにおける吸引的不変トーラスの存在を、厳密なコンピュータ支援手法で証明すること。
• このようなトーラスの正則性に関する確認可能な下界を、回転的および共振的状況で確立すること。
• 従来の検証手法が困難な非一様収縮と強いねじれダイナミクスの課題に対処すること。
• 具体的な例（周期的摂動およびNeimark-Sacker分岐のシナリオを含む）に対して、手法を実装・実証すること。
• 星型でもなくリプシッツ的でもないトーラスであっても、$C^k$（回転的）または$C^0$（共振的）としてのトーラスの検証を可能にするフレームワークを提供すること。

提案手法

• WilczakとZgliczyńskiの検証された$C^k$積分法を用いて、ODEの解およびその変分方程式、およびPoincaré写像を厳密に計算する。
• 回転的トーラスの場合、多角形被覆による外部近似を適用し、コーン条件の検証により$C^k$不変トーラスの存在を確認する。
• 共振的トーラスの場合、不変な部分集合からトーラスを構築する内部近似を用い、トラッピングと収縮による結合がトーラスを形成することを検証する。
• Poincaré写像に基づく解析により、連続的ダイナミクスの問題を離散的ダイナミクスに還元し、厳密な数値手法の適用を可能にする。
• 区間演算と検証された積分を用いて、トーラスを囲む集合$U$に対して$f(U) \subset U$が成り立つことを検証し、近傍の収縮性と不変性を保証する。
• 強いねじれダイナミクスが存在する中でも、明確な安定バンドルの存在を確認するため、コーン条件の検証を実施する。

実験結果

リサーチクエスチョン

• RQ1 コンピュータ支援証明は、摂動的領域外の3次元散逸的ODEにおける吸引的不変トーラスの存在を検証できるか？
• RQ2 特に回転的および共振的状況において、このようなトーラスの確認可能な正則性下界はどの程度確立できるか？
• RQ3 非一様収縮が生じる状況で、検証された数値積分とコーン条件をどのように組み合わせて、厳密にトーラスの存在を証明できるか？
• RQ4 トーラスに強いねじれダイナミクスまたは近傍分岐パラメータが存在する場合、計算的および理論的限界は何か？
• RQ5 本手法は、星型でもなくリプシッツ的でもないトーラスについて、$C^k$回転的トーラスと$C^0$共振的トーラスを区別できるか？

主な発見

• $\alpha = 0.85$における共振的トーラスのコンピュータ支援証明が、1台の3GHz Intel i7プロセッサで6分未塔で完了した。
• $\alpha = 0.75$では、10,000個の立方体を含む集合$U$に対して、検証された不変集合が得られたが、導出の下界が不十分かつ強いねじれのため、コーン条件の検証に失敗した。
• $f = P^{16}$を用いた場合、$f(U) \subset U$の検証は成功したが、長時間の積分と悪い導出推定により、$\alpha = 0.75$で手法が失敗した。
• 導出行列に大きなねじれパラメータ（$|\delta| \gg 1$）が存在すると、コーンの幅が非常に狭くなり（$a \leq |\delta|^{-1}$）、コーン条件の検証が極めて困難になる。
• Neimark-Sacker分岐に近い領域では、弱い収縮のため多くの反復を要し、導出推定が悪化し、コーン条件の検証が不安定になるため、手法が崩壊する。
• 本稿では、回転的トーラスに対して$C^k$正則性下界が厳密に検証可能であることを示したが、共振的トーラスは星型でもリプシッツ的でもない場合でも$C^0$に限られることが示された。