[論文レビュー] The energy equality for the Navier-Stokes equations in bounded domains

Cheng Yu|arXiv (Cornell University)|Feb 21, 2018

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

ひとこと要約

この論文は、有界領域における非圧縮性ナビエ＝ストークス方程式の弱解におけるエネルギー等価性の十分条件を、ルベーグ空間およびベゾフ空間の積分可能性を含む新しい正則性基準を導入することによって確立した。境界効果を制御するためカットオフ関数とモリフィケーションを用い、速度場が $ L^p(0,T;L^q(\bar{\Omega})) \cap L^s(0,T;B_{s}^{\alpha,\infty}(\Omega)) $ に属する場合、$ \frac{2}{p} + \frac{d}{q} \leq 1 $、$ s > 2 $、$ 0 < \alpha < 1 $ を満たすとき、エネルギー保存が成立することを証明した。これは、境界効果の厳密な境界層解析を伴い、従来の結果を有界領域へと拡張した。

ABSTRACT

In this paper, we provide a sufficient condition of the energy equality for the incompressible Navier-Stokes equations in bounded domains.

研究の動機と目的

• 有界領域における非圧縮性ナビエ＝ストークス方程式の弱解がエネルギー等価性を満たす最小限の正則性条件を特定すること。
• オームスラー型正則性基準をエーラー方程式からナビエ＝ストークス方程式へ、特に境界効果を考慮して有界領域に拡張すること。
• 拡散項における境界層の制御という挑戦的問題に、エーラーの場合とは異なり、粘性項に存在する境界層効果を厳密に制御すること。
• 特に低正則性の文脈において、従来の結果よりも弱い条件下でエネルギー等価性が成立する十分条件を提供すること。

提案手法

• 境界付近での解析を局所化するために、$ \theta_h(x) = \kappa(d(x)/h) $ を導入し、$ \kappa $ を滑らかで compact な台を持つものとする。
• 速度場の近似と特異性の制御のため、$ \mathbf{u}^\varepsilon $ を用いたモリフィケーションを適用する。
• 発散なし制約とテスト関数を用いた部分積分を用いてエネルギー恒等式を導出し、圧力項と勾配項を注意深く取り扱う。
• 境界層の制御に特に有用なベゾフ空間ノルム $ B_{s}^{\alpha,\infty} $ を用いて正則性を定量化する。
• ホルダー型推定と $ \nabla \theta_h $ の減衰を活用し、$ \nabla \mathbf{u} $ の $ L^2 $-有界性を用いて境界寄与項を制御する。
• 誤差項の収束を保証するため、$ h = \varepsilon^{s(1-\alpha)/(s-2)} $ を選ぶことで、$ \varepsilon, h \to 0 $ のときの境界層積分の減衰を確保する。

実験結果

リサーチクエスチョン

• RQ1 有界領域におけるナビエ＝ストークス方程式の弱解がエネルギー等価性を満たす最小限の正則性条件は何か？
• RQ2 エネルギー恒等式の導出において、粘性項に起因する境界層効果はどのように厳密に制御できるか？
• RQ3 エネルギー保存のためのオームスラー型正則性基準を、エーラー方程式からナビエ＝ストークス方程式へ、有界領域に拡張できるか？
• RQ4 低正則性下でのエネルギー保存を保証するために、ベゾフ空間 $ B_{s}^{\alpha,\infty} $ は果たす役割は何か？

主な発見

• エネルギー等価性は、弱解 $ \mathbf{u} \in L^\infty(0,T;L^2(\Omega)) \cap L^2(0,T;H^1(\Omega)) $ で、$ \mathbf{u} \in L^p(0,T;L^q(\Omega)) \cap L^s(0,T;B_s^{\alpha,\infty}(\Omega)) $ を満たす場合に成立し、$ \frac{2}{p} + \frac{d}{q} \leq 1 $、$ s > 2 $、$ 0 < \alpha < 1 $ を満たす。
• 境界層寄与項は、$ h = \varepsilon^{s(1-\alpha)/(s-2)} $ を満たす限り、$ \varepsilon, h \to 0 $ のとき消えるため、エネルギー恒等式の収束が保証される。
• 圧力項の寄与は、$ \nabla \theta_h $ の減衰と $ |\mathbf{u}|^3 $ の $ L^{q/3} $ における可積分性（$ q \geq 4 $）により、ゼロに近づく。
• 非線形性と境界効果を同時に制御する手法は成功裏に機能し、バルドス＝ティティのアプローチをナビエ＝ストークス方程式へ拡張した。
• 特に有界領域の文脈において、従来の $ \frac{2}{p} + \frac{d}{q} \leq 1 $ を満たす $ L^pL^q $ の正則性基準よりも、より低い正則性を許容する点で、既存の基準を改善した。