[論文レビュー] Local energy weak solutions for the Navier-Stokes equations in the half-space

Yasunori Maekawa, Hideyuki Miura+1 more|arXiv (Cornell University)|Nov 13, 2017

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

ひとこと要約

本稿は、半空間 ℝ³₊ におけるノースリップ境界条件を満たす3次元ナビエ＝ストークス方程式に対して、時間全域における局所エネルギー弱解の存在を確立する。境界に起因するヘルムホルツ＝ラグランジュ分解と調和部への圧力分解を導入することで、著者らは存在を証明し、さらにはこのような解が潜在的有限時刻特異点におけるスケール臨界 L³(ℝ³₊) 範囲の爆発を回復することを示し、セレジンとバーカーの結果を拡張する。

ABSTRACT

The purpose of this paper is to prove the existence of global in time local energy weak solutions to the Navier-Stokes equations in the half-space $\mathbb R^3_+$. Such solutions are sometimes called Lemarié-Rieusset solutions in the whole space $\mathbb R^3$. The main tool in our work is an explicit representation formula for the pressure, which is decomposed into a Helmholtz-Leray part and a harmonic part due to the boundary. We also explain how our result enables to reprove the blow-up of the scale-critical $L^3(\mathbb R^3_+)$ norm obtained by Barker and Seregin for solutions developing a singularity in finite time.

研究の動機と目的

• 全空間 ℝ³ における Lemarié-Rieusset 型の局所エネルギー弱解理論を、半空間 ℝ³₊ に拡張すること。
• バーカーとセレジンが指摘した、半空間におけるこのような解の存在に関する未解決問題を解決すること。
• 特に L³ に注目したスケール臨界範囲の爆発を用いた特異点解析のための枠組みを提供すること。
• 境界に起因するヘルムホルツ＝ラグランジュ部と調和部に分離された圧力の表現公式を確立すること。
• 構築された局所エネルギー弱解を用いて、有限時刻特異点を発生させる解における L³(ℝ³₊) 範囲の爆発を再証明すること。

提案手法

• 半空間における圧力の明示的表現公式を導出し、境界に起因するヘルムホルツ＝ラグランジュ部と調和部に分解すること。
• 境界積分表現を用いて、調和部の圧力をディリクレ問題と特異積分推定を用いて制御すること。
• 切断関数と滑らか化を用いたガラーキン型近似により局所エネルギー弱解を構築し、局所エネルギー不等式を満たすことを保証すること。
• 局所化エネルギー法と半空間に適応された ε-正則性理論を用い、[32, 35, 34] における境界 ε-正則性結果に依存すること。
• 局所エネルギー解の理論を適用し、セレジン [31] のスキームに従って、潜在的特異点時刻 T における L³(ℝ³₊) 範囲の爆発を再証明すること。
• 切断関数と発散問題による L²_uloc,σ(ℝ³₊) の特徴付けを用いて、極限において発散自由かつ境界条件を満たすことを保証すること。

実験結果

リサーチクエスチョン

• RQ1 ノースリップ境界条件を満たす半空間 ℝ³₊ におけるナビエ＝ストークス方程式の局所エネルギー弱解を、時間全域にわたり構築可能か？
• RQ2 半空間における圧力は、境界に起因するヘルムホルツ＝ラグランジュ部と調和部に分解可能であり、その分解が解の制御に用いられるか？
• RQ3 構築された局所エネルギー弱解を用いて、有限時刻特異点におけるスケール臨界 L³(ℝ³₊) 範囲の爆発を回復可能か？
• RQ4 半空間における局所エネルギー弱解の概念は、マレモンティと島津らの文献における既存の概念と整合的か？
• RQ5 境界は圧力の構造および局所エネルギー解の正則性理論にどのように影響を与えるか？

主な発見

• 本稿は、ノースリップ境界条件を満たす半空間 ℝ³₊ におけるナビエ＝ストークス方程式に対して、時間全域における局所エネルギー弱解の存在を証明する。
• 明示的な圧力表現が導出され、境界に起因するヘルムホルツ＝ラグランジュ部と調和部に分解され、解の精密な制御が可能になる。
• 調和部の圧力は、境界の幾何構造を活用した特異積分推定を用いて制御可能であることが示された。
• 構築された解は局所エネルギー不等式を満たし、キャッファレリ、コーン、ニレングランドの意味での適切な解であるため、半空間における ε-正則性推定が可能になる。
• 理論を用いて、潜在的特異点時刻 T における L³(ℝ³₊) 範囲の爆発を再証明し、バーカーとセレジンの q=3 における結果を確認した。
• 解クラスが、潜在的特異点近傍におけるスケーリングされた有限エネルギー解の局所極限と整合的であることが示され、特異点解析におけるその役割が裏付けられた。