[論文レビュー] On Discrete Models of the Euler Equation

Alexander Kiselev, Andrej Zlatoš|ArXiv.org|Jul 6, 2005

Navier-Stokes equation solutions参考文献 5被引用数 5

ひとこと要約

本稿は、3次元非圧縮性Euler方程式の2つの離散ウェーブレットに基づくモデル、Katz-Pavlović (KP) モデルとObukhovモデルを分析する。KPモデルは任意の非ゼロのH¹初期データに対して有限時間 blowup を示すことが証明されたが、Obukhovモデルは十分に滑らかな初期データに対してはグローバル解を有する。両者ともエネルギーを保存し、2次非線形性およびスケーリング則を満たすが、エネルギーのキャスケード機構に根本的な違いがあることが示された。

ABSTRACT

We consider two discrete models for the Euler equation describing incompressible fluid dynamics. These models are infinite coupled systems of ODEs for the functions $u_j$ which can be thought of as wavelet coefficients of the fluid velocity. The first model has been proposed and studied by Katz and Pavlovic. The second has been recently discussed by Waleffe and goes back to Obukhov studies of the energy cascade in developed turbulence. These are the only basic models of this type satisfying some natural scaling and conservation conditions. We prove that the Katz-Pavlovic model leads to finite time blowup for any initial datum, while the Obukhov model has a global solution for any sufficiently smooth initial datum.

研究の動機と目的

• 3次元非圧縮性Euler方程式の2つの離散モデルを、ダイアディック立方体上のウェーブレット係数に基づいて分析すること。
• 自然な物理的制約下で、これらのモデルが有限時間 blowup を示すか、グローバル存在を示すかを特定すること。
• スケーリング、保存則、および最近接結合の4条件を満たす基本的モデルとして、Katz-PavlovićモデルとObukhovモデルが唯一の2つであることを確立すること。
• KPモデルが任意の非ゼロのH¹初期データに対して有限時間 blowup を示すことを証明すること。
• 十分に滑らかな初期データに対して、Obukhovモデルがグローバル解を有することを示し、より安定なエネルギーキャスケード機構を示すこと。

提案手法

• ウェーブレット係数 $ u_Q $ に対する無限系のODEとしてKPモデルを定式化し、2次非線形性とスケーリング $ 2^{5j/2} $ を持ち、エネルギー $ \norm{u}^2_{L^2} $ を保存する。
• Obukhovモデルを線形ツリー系 $ u_j' = \nu^j u_{j-1}u_j - \nu^{j+1} u_{j+1}^2 $ として分析し、$ \nu = \nu $ である。このモデルはエネルギーを保存し、$ (u \nabla)u $ 項に由来するスケーリングを満たす。
• Sobolev空間 $ H^s $ におけるPicardの不動点定理を用いて、両モデルの局所的解の存在を確立し、適切な正則性を得るには $ s \to 1 $ が必要であることを示した。
• エネルギー推定と比較推定を用いて $ u_j $ の成長を制御し、特に $ u_j $ が減衰する区間を分析し、対数的推定を用いて矛盾を導出する。
• $ u_j $ の減衰と $ u_{j+1} $ の成長の両者に着目した背理法を用い、$ u_j $ が速く減衰する場合、$ u_{j+1} $ はそのダイナミクスを維持するのに十分に速く成長できないことを示した。
• 一般化された分岐ツリー構造を考察し、より複雑なウェーブレットに基づくモデルへと結果を拡張した。その結果、2次非線形性、正しいスケーリング、エネルギー保存、最近接結合という4つの自然な条件を満たすのはKP型とObukhov型の2つに限られることを証明した。

実験結果

リサーチクエスチョン

• RQ1 Katz-Pavlovićモデルは、$ H^1 $ 内の任意の非ゼロ初期データに対して有限時間 blowup を示すか？
• RQ2 Obukhovモデルは十分に滑らかな初期データに対してグローバル解を有するか？
• RQ3 KPモデルとObukhovモデルは、スケーリング、エネルギー保存、2次非線形性、最近接結合という4条件を満たす唯一の2つの基本的モデルか？
• RQ4 エネルギーキャスケード機構は、離散Eulerモデルにおけるblowupまたはグローバル存在の決定要因として果たす役割は何か？
• RQ5 これらのモデルにおいて、$ s \to 1 $ のとき $ H^s $ で局所的解の存在と一意性を確立できるか？

主な発見

• KPモデルは、$ H^1 $ 内の任意の非ゼロ初期データに対して、$ H^1 $ で有限時間 blowup を示す。これは、高次モードへのエネルギー伝達が特異性の形成を引き起こす可能性があることを確認する。
• Obukhovモデルは、十分に滑らかな初期データに対してグローバル解を有する。これは、高次モードへの直接的なエネルギーキャスケードが存在しないため、blowup が生じないことを示している。
• KPモデルは、初期データが $ H^{3/2+\nu} $、$ \nu > 0 $ であっても有限時間 blowup を示すことが示された。これはKatzとPavlovićによる先行結果を裏付けた。
• ObukhovモデルはKPモデルに見られるようなエネルギー伝達機構を欠いているため、グローバル存在性とより高い安定性を示す。
• グローバル存在の証明における背理法は、$ u_j $ の減衰区間における積分を制御し、$ u_{j+1} $ の成長が必要なダイナミクスを維持できないことを示すことに依存している。
• 解析により、KPモデルとObukhovモデルは、2次非線形性、正しいスケーリング、エネルギー保存、最近接結合という4つの自然な条件を満たす唯一の2つの基本的モデルであることが確認された。