[論文レビュー] Spontaneous periodic orbits in the Navier-Stokes flow

Jan Bouwe van den Berg, Maxime Breden+2 more|arXiv (Cornell University)|Feb 1, 2019

Quantum chaos and dynamical systems参考文献 55被引用数 23

ひとこと要約

本稿では、トーラス上における時間に依存しない力の作用下で、3次元ナビエ＝ストークス方程式に自発的周期的軌道が存在することを厳密に証明するためのコンピュータ支援手法を提示する。幾何的減衰するフーリエ係数のバナッハ空間におけるゼロ値問題として定式化し、対称性削減を施したニュートン＝カンタロヴィチ定理を適用することで、著者らは、このような周期的解の初めての構成的かつ検証可能な存在証明を確立した。この結果は、テイラー＝グリーン力の例において示された。

ABSTRACT

In this paper, a general method to obtain constructive proofs of existence of periodic orbits in the forced autonomous Navier-Stokes equations on the three-torus is proposed. After introducing a zero finding problem posed on a Banach space of geometrically decaying Fourier coefficients, a Newton-Kantorovich theorem is applied to obtain the (computer-assisted) proofs of existence. The required analytic estimates to verify the contractibility of the operator are presented in full generality and symmetries from the model are used to reduce the size of the problem to be solved. As applications, we present proofs of existence of spontaneous periodic orbits in the Navier-Stokes equations with Taylor-Green forcing.

研究の動機と目的

• 3次元トーラス上における非周期的で時間に依存しないナビエ＝ストークス方程式に対して、一般かつ構成的な時間周期的解の存在証明法を開発すること。
• 時間に依存しない力によって駆動される周期的運動（周期的軌道）の存在を、線形または粘性支配的領域を超えて、長年の課題として解決すること。
• 力および基本方程式に内在する対称性を活用することで、計算の複雑さを低減すること。
• 解析的推定と関数解析を用いた、周期的解の検証可能な数値計算のための枠組みを提供すること。
• 本手法の有効性を、具体的にテイラー＝グリーン力のケースに対して、厳密な存在証明を通じて示すこと。

提案手法

• 幾何的減衰（重み付き ℓ¹ 範囲）を持つフーリエ係数のバナッハ空間におけるナビエ＝ストークス方程式のゼロ値問題として定式化する。
• 近似解の周囲のニュートン＝カンタロヴィチ球内に解が存在することを示すために、ニュートン＝カンタロヴィチ定理を適用する。
• ニュートン＝カンタロヴィチ定理の仮定を検証するための一般的な解析的推定（作用素ノルムおよび収縮定数）を導出する。
• 力の対称性群（例：回転対称性および反転対称性）を活用して、問題の次元を低減し、計算効率を向上させる。
• バイオ・サバールの法則およびポアソン方程式を用いて、渦度から発散なしの速度場および圧力場を構成し、物理的整合性を保証する。
• 重み付き ℓ¹ 範囲を用いて、速度場および圧力場における点ごとの誤差を制御し、畳み込みおよびノルム不等式を用いた厳密な誤差推定を可能にする。

実験結果

リサーチクエスチョン

• RQ1 時間に依存しない力の作用下で、3次元ナビエ＝ストークス方程式に自発的周期的軌道が存在することを、コンピュータ支援手法で厳密に証明できるか？
• RQ2 ナビエ＝ストークス方程式の文脈において、ニュートン＝カンタロヴィチ反復の収束を検証するために必要な一般的な解析的推定は何か？
• RQ3 力および方程式に内在する対称性は、周期的解の検証にかかる計算コストを低減するためにどのように活用できるか？
• RQ4 ニュートン＝カンタロヴィチ枠組みにおける収束性および誤差制御を保証するために、フーリエ係数空間における幾何的減衰が果たす役割は何か？
• RQ5 本手法は、テイラー＝グリーン・ヴォーテックスのような物理的に重要な力に対しても適用可能であり、検証可能な周期的解を生成できるか？

主な発見

• 著者らは、3次元トーラス上における3次元ナビエ＝ストークス方程式に自発的周期的軌道が存在することを、初めてコンピュータ支援で証明した。
• 本手法は一般性を有し、必要な解析的推定が計算可能であれば、任意の時間に依存しない力項に適用可能である。
• 対称性の削減により、問題のサイズが著しく小さくなり、標準的なハードウェア上での数値的検証が可能になった。
• 幾何的減衰するフーリエ係数のバナッハ空間において、ニュートン＝カンタロヴィチ定理が正しく適用され、解の存在が検証された。
• 速度および圧力の誤差推定が重み付き ℓ¹ 範囲で導出され、これにより誤差のC⁰ノルムが制御され、物理的整合性が保証された。
• 本手法はテイラー＝グリーン力のケースにおいて検証され、非自明な周期的軌道の存在が計算的検証を通じて厳密に確立された。