[論文レビュー] Global well-posedness issues for the inviscid Boussinesq system with Yudovich's type data

Raphaël Danchin, Marius Paicu|HAL (Le Centre pour la Communication Scientifique Directe)|Jun 25, 2008

Navier-Stokes equation solutions被引用数 17

ひとこと要約

この論文は、初期データがYudovich型である2次元非粘性Boussinesq系について、全空間で解の存在と一意性を確立する。初期速度と温度が有限エネルギーで、初期渦度が有界で、初期温度が$L^2 \cap B^{-1}_{\infty,1}$に属する場合に、解が全時間にわたって有界であることを証明する。この結果は、初期データに小規模性の仮定を必要とせず、Besov空間の推定と熱半群制御を用いたエネルギー法に依拠している。

ABSTRACT

The present paper is dedicated to the study of the global existence for the inviscid two-dimensional Boussinesq system. We focus on finite energy data with bounded vorticity and we find out that, under quite a natural additional assumption on the initial temperature, there exists a global unique solution. None smallness conditions are imposed on the data. The global existence issues for infinite energy initial velocity, and for the Bénard system are also discussed.

研究の動機と目的

• 初期速度が$L^2$に属し、渦度が有界である2次元非粘性Boussinesq系に対して、解の全時間における存在と一意性を確立すること。
• 時間経過に伴い渦度が有界に保たれるために必要な初期温度の最小正則性条件を同定すること。
• 2次元Euler方程式のYudovichの全時間適切性結果を、粘性がゼロで熱拡散係数が正であるカップリングされたBoussinesq系へと拡張すること。
• 初期温度の勾配が$B^{-1}_{\infty,1}$に属するという条件が、渦度の増大を制御する役割を果たす理由を分析すること。
• Bénard系および無限エネルギー初期速度の場合への分析を拡張すること。

提案手法

• 初期温度勾配$\nabla \theta_0$の$L^1_{\text{loc}}(\mathbb{R}_+; L^\infty)$推定を用いて、熱半群$e^{\kappa t\Delta}$により温度場の正則性を制御する。
• 特に$B^{-1}_{\infty,1}$を用いたBesov空間技法を適用し、渦度の有界な伝播を保証するための$\theta_0$の正則性要件を特徴付ける。
• エネルギー推定を$L^2$ノルム$\theta$と$u$の組み合わせに用い、時間発展における増大を制御するためのGronwall型の議論を実施する。
• ダイアディック分解$\Delta_q$と周波数局在化を用いて、補間およびBernstein型不等式により$\omega$の$L^\infty$界を導出する。
• 輸送拡散方程式の構造を活用し、エネルギー推定と速度・渦度の$L^\infty$制御を組み合わせることで一意性を確立する。
• Bénard系への適用に際し、温度方程式に下位項$u_2$を導入し、エネルギー推定を適切に調整する。

実験結果

リサーチクエスチョン

• RQ1 2次元非粘性Boussinesq系において、初期温度$\theta_0$に最小限の正則性仮定を課した場合、渦度が全時間にわたって有界に保たれる条件は何か？
• RQ2 $\kappa > 0$、$\nu = 0$、初期データが$L^2$に属し渦度が有界である2次元非粘性Boussinesq系に対して、全時間適切性を確立できるか？
• RQ3 粘性が存在しない状況下で、$\theta_0$が$B^{-1}_{\infty,1}$に属するという条件は、有界渦度の伝播とどのように関係するか？
• RQ4 熱半群は、$\theta$の正則性を制御し、$\nabla \theta$の$L^1_{\text{loc}}(\mathbb{R}_+; L^\infty)$挙動を保証するために果たす役割は何か？
• RQ5 このフレームワークは、温度方程式に追加の$u_2$項が現れるBénard系へと拡張可能か？

主な発見

• 初期データ$\theta_0 \in L^2 \cap B^{-1}_{\infty,1}$および$u_0 \in L^2$で$\text{div}\,u_0 = 0$を満たす場合、系$(B_{\kappa,0})$は一意な全時間解を有する。ただし初期渦度$\omega_0$が、ある$r \geq 2$に対して$L^r \cap L^\infty$に属するものとする。
• 解は$\theta \in \mathcal{C}(\mathbb{R}_+; L^2 \cap B^{-1}_{\infty,1}) \cap L^2_{\text{loc}}(\mathbb{R}_+; H^1) \cap L^1_{\text{loc}}(\mathbb{R}_+; B^1_{\infty,1})$および$u \in \mathcal{C}^{0,1}_{\text{loc}}(\mathbb{R}_+; L^2)$を満たし、$\omega \in L^\infty_{\text{loc}}(\mathbb{R}_+; L^r \cap L^\infty)$を満たす。
• $\theta_0 \in B^{-1}_{\infty,1}$であることは、$\nabla \theta_0 \in B^{-2}_{\infty,1}$に同値であり、これは$\nabla e^{\kappa t\Delta}\theta_0 \in L^1_{\text{loc}}(\mathbb{R}_+; L^\infty)$を保証し、渦度の有界性にとって不可欠である。
• エネルギー推定により、$\| (\theta,u)(t) \|_{L^2}^2 + 2\kappa \int_0^t \| \nabla \theta(\tau) \|_{L^2}^2 d\tau \leq \| (\theta_0,u_0) \|_{L^2}^2 e^{2t}$が得られ、時間に指数関数的に増大するのを制御している。
• Bénard系では、温度方程式に追加の$u_2$項が現れるが、修正されたエネルギー推定により、$\theta$の$L^1_{\text{loc}}(\mathbb{R}_+; B^1_{\infty,1})$制御が保たれる。
• 無限エネルギー初期速度および$\theta_0 \in L^p$または$u_0 \in B^1_{\infty,1}$の場合にも結果は拡張可能であり、$\theta$と$u$について、それぞれ$L^\infty(\mathbb{R}_+; L^p)$または$\mathcal{C}(\mathbb{R}_+; B^1_{\infty,1})$の正則性が保たれる。