[論文レビュー] Finite time blow up in the hyperbolic Boussinesq system

Alexander Kiselev, Changhui Tan|arXiv (Cornell University)|Sep 8, 2016

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

ひとこと要約

本稿では、LuoとHouによる3次元Euler方程式における有限時刻爆発現象を模倣する2次元双曲型Boussinesq系を提案する。簡略化されたBiot-Savart則と浮力項を用いて、自然な初期データのクラスに対して、渦度勾配が有限時刻で無限に発散することを証明し、臨界ゼロレベル集合の時間発展に基づく背理法によって、有限時刻爆発を確立する。

ABSTRACT

In recent work of Luo and Hou, a new scenario for finite time blow up in solutions of 3D Euler equation has been proposed. The scenario involves a ring of hyperbolic points of the flow located at the boundary of a cylinder. In this paper, we propose a two dimensional model that we call "hyperbolic Boussinesq system". This model is designed to provide insight into the hyperbolic point blow up scenario. The model features an incompressible velocity vector field, a simplified Biot-Savart law, and a simplified term modeling buoyancy. We prove that finite time blow up happens for a natural class of initial data.

研究の動機と目的

• LuoとHouが観測した3次元Euler方程式における双曲的点爆発状況を、簡略化された2次元系で再現すること。
• 渦度の増大が浮力によって駆動され、符号の変化が解析を複雑にする2次元Boussinesq系における有限時刻爆発の課題に対処すること。
• 爆発メカニズムの主要な特徴を捉えつつ、解析的に取り扱いやすい完全な2次元非圧縮系を構築すること。
• 速度ポテンシャルの臨界ゼロレベル集合の時間発展を分析することで、初期データのクラスに対して有限時刻爆発を厳密に確立すること。

提案手法

• 半平面 $x_2 \geq 0$ において、ディリクレ境界条件を満たす簡略化されたBiot-Savart則によって定義される非圧縮性速度場を有する2次元双曲型Boussinesq系を定式化する。
• 原点付近の主要な速度寄与を捉えるために、符号が定符号である項を含む積分表現を用いた修正されたBiot-Savart則を導入する。
• 速度ポテンシャルを表す関数 $\Phi(z_1,t)$ を定義し、浮力項 $\rho_0$ を含む非線形積分方程式に従って時間発展させる。
• 臨界レベル集合 $F_2(t)$ を、$H(z_1,t) = 0$ を満たす右端の点として定義し、爆発メカニズムの伝播を追跡する。
• 大域的正則性を仮定する背理法を用い、$H(F_2(t),t)$ の時間微分に基づいて $F_2(t)$ に関する微分不等式を導出する。
• 結果として $F_2'(t) \leq -C \int_{t_2}^t e^{\frac{1}{4}|F_2(s)|} ds$ が得られ、これは $F_2(t) \to -\infty$ が有限時刻で成立することを示し、爆発を導く。

実験結果

リサーチクエスチョン

• RQ1 簡略化された2次元双曲型Boussinesq系は、LuoとHouが観測した3次元Euler方程式における有限時刻爆発メカニズムを捉えることができるか？
• RQ2 浮力駆動力と速度フィードバックの相互作用は、2次元系においてどのように無限大に発散する渦度増大を引き起こすか？
• RQ3 速度ポテンシャルのゼロレベル集合の時間発展に基づく背理法によって、このモデルにおける有限時刻爆発を確立できるか？
• RQ4 Biot-Savart核の符号が定符号である構造は、渦度の符号変化がある中でも爆発を可能にする要因となるか？
• RQ5 境界上での浮力がゼロでない場合を含め、自然な初期データ条件下でも爆発メカニズムは頑健か？

主な発見

• 初期浮力 $\rho_0$ が非負で、境界上で恒等的にゼロでなく、かつ $n \geq 1$ に対してクラス $K_n$ に属する場合、双曲型Boussinesq系において有限時刻爆発が発生する。
• 爆発は、$\Phi(-\infty,t)$ として表される速度ポテンシャルの無限大発散に起因し、有限時刻で無限大に達する。
• 解の渦度の $L^\infty$ ノルムは、有限爆発時刻 $T < \infty$ に対して $\lim_{t \to T} \int_0^t \|\omega(\cdot,t)\|_{L^\infty} dt = \infty$ を満たし、正則性の喪失を示す。
• 爆発メカニズムは、臨界点 $F_2(t)$ の単調減少に起因し、その導関数に超指数的下界が存在するため、有限時刻で $-\infty$ に発散する。
• 証明は微分不等式 $F_2'(t) \leq -C \int_{t_2}^t e^{\frac{1}{4}|F_2(s)|} ds$ に依拠しており、これが解の有限時刻における消滅（quenching）を強制する。
• 結果として、渦度の符号が固定されない状況下でも、浮力と簡略化された力学を有する2次元非圧縮系において有限時刻爆発が可能であることが確認された。