[論文レビュー] Blowup with vorticity control for a 2D model of the Boussinesq equations

Vu Hoang, Betul Orcan-Ekmekci+2 more|arXiv (Cornell University)|Aug 3, 2016

Advanced Mathematical Physics Problems参考文献 11被引用数 5

ひとこと要約

本稿では、修正された渇き項（$\rho/x_1$）と非局所的ビオ・サバール型速度則を備えた、ボウシネスク方程式の簡略化された2次元モデルを提案し、有限時間内での爆発を研究する。双曲的流れの幾何構造と縮小写像の議論を用いて、広範な初期データのクラスに対して、安定的かつ制御可能な有限時間内での爆発を証明し、渇きの上界および下界を明確に示す。これにより、モデルの力学的条件下で渇きの増大が定量的に制御可能であり、かつ避けがたいものであることが示された。

ABSTRACT

We propose a system of equations with nonlocal flux in two space dimensions which is closely modeled after the 2D Boussinesq equations in a hyperbolic flow scenario. Our equations involve a simplified vorticity stretching term and Biot-Savart law and provide insight into the underlying intrinsic mechanisms of singularity formation. We prove stable, controlled finite time blowup involving upper and lower bounds on the vorticity up to the time of blowup for a wide class of initial data.

研究の動機と目的

• 双曲的流れの状況下における2次元ボウシネスク方程式の有限時間内特異点形成のメカニズムを調査すること。
• 元の系が持つ主要な非線形性および非局所的特徴を保ちつつ、爆発の厳密な解析が可能な簡略化モデルを構築すること。
• 広範な初期データのクラスに対して、安定的かつ制御可能な有限時間内爆発が存在し、渇きに対して明確な上界および下界が確立されることを示すこと。
• このようなモデルにおいて、渇きの増大が定量的に制御可能であり、かつ無限大または無構造的な力学的挙動に起因するアーチファクトではないことを示すこと。

提案手法

• 標準的な渇き項 $\rho_{x_1}$ を $\rho/x_1$ に置き換えることで、非線形性を単純化しながらも、本質的なストレッチングメカニズムを保持する。
• 非局所的速度場は、セクター $S_\alpha$ 上でのビオ・サバール型積分により定義され、$\mathbf{u} = (-x_1 Q, x_2 Q)$ と表される。ここで $Q$ は特異核と渇きを含む。
• 特徴曲線法を用いて解析を行い、$\omega=1$ である「弾丸」領域の時間発展を追跡する。
• 関数空間 $\mathcal{B}$ 内の $C^1$ 写像に対して、縮小写像の議論を適用し、局所的な解の存在および一意性を確立する。
• 核および積分作用素に対する境界を用いて、$Q$、$\mathbf{u}$、および $\nabla\mathbf{u}$ のリプシッツ連続性を厳密に確立する。
• 反復的推定および微分不等式を用いて、渇きの増大および解の台の制御を行う。

実験結果

リサーチクエスチョン

• RQ1 ボウシネスク方程式の簡略化された2次元モデルは、制御された渇き増大を伴う有限時間内爆発を示すことができるか？
• RQ2 双曲的流れの幾何構造と修正された渇き項の組み合わせは、安定的かつ定量的な爆発をもたらすか？
• RQ3 このようなモデルにおいて、爆発時までに渇きの明確な上界および下界を確立できるか？
• RQ4 コンパクトに台を持つ正の密度および渇きを持つ広範な初期データの下で、爆発メカニズムは頑健か？

主な発見

• 本モデルは、コンパクトに台を持つ渇きおよび密度を有する初期データを含む広範な初期データのクラスに対して有限時間内爆発を示す。
• 爆発は安定的かつ制御可能であり、渇きは有限時間内に無限大に発散するが、下界として二重指数関数的成長率で有界に保たれる。
• 渇きは上界および下界の両方が二重指数関数的に増大するため、渇きとストレッチングの間で自己持続的フィードバック機構が存在することが示された。
• 速度場およびその勾配は一様にリプシッツ連続であり、流れ写像の正則性および縮小写像の議論の有効性を保証する。
• 解は正の第1象限にとどまり、軸を保存するが、爆発までに台は縮小するが正のままである。
• 縮小写像の議論により、十分に小さい $T>0$ に対して時間区間 $[0,T]$ 上で解の局所的存在および一意性が保証され、定数は初期データおよび $\alpha$ のみに依存する。