[論文レビュー] Characterisation of the pressure term in the incompressible Navier-Stokes equations on the whole space

Lemarié-Rieusset, Pierre Gilles, Fernández-Dalgo, Pedro Gabriel|arXiv (Cornell University)|Jan 28, 2020

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

ひとこと要約

本稿は、全空間 ℝ² および ℝ³ における非圧縮性ナビエ＝ストークス方程式の圧力項を、重み付き関数空間枠組みを導入することで厳密に特徴づける。圧力勾配 ∇p は非線形項 (u⊗u−F) に作用する特異積分作用素と、適切な減衰条件のもとで消える調和補正項 H に分解可能であり、古典的なレーリー射影とホッジ分解を重み付きおよび局所モレイ空間へと拡張する。

ABSTRACT

We characterise the pressure term in the incompressible 2D and 3D Navier-Stokes equations for solutions defined on the whole space.

研究の動機と目的

• 全空間 ℝᵈ (d=2,3) における非圧縮性ナビエ＝ストークス方程式の圧力項 ∇p を厳密に特徴づけること。
• 圧力勾配に生じる曖昧性を解消し、∇p のポアソン方程式における調和部 H を特定すること。
• 古典的なレーリー射影とホッジ分解を、重み付きおよび局所モレイ空間における解へと拡張すること。
• 調和部 H が消える条件を確立し、圧力勾配の一意性を保証すること。
• 滑らかでない、ゆっくり減衰する解を取り扱うための枠組みを提供し、局所モレイ空間 B²γ と重み付きルベーグ空間を導入すること。

提案手法

• ベクトル場を発散なし部と勾配部に分解するため、レーリー射影作用素 G_d * ∇∧(∇∧·) を用いる。
• ナビエ＝ストークス方程式にホッジ分解を適用し、ポアソン方程式 Δ∇p = −∇(∇·(∇·(u⊗u−F))) を通じて圧力勾配を分離する。
• 特異核 ∇∂i∂jG_d の局所化のための切断関数 φ を導入し、正則化された圧力項 p_φ を定義する。
• 空間 B²γ を L² と L²_wδ 間の実補間空間として定義し、局所的減衰および成長挙動を捉える。
• γ ≤ d である B²γ(ℝᵈ) における解は、特に d=2,3 においてナビエ＝ストークス枠組みに適していることを確立する。
• 重み付きノルム w_γ(x) = (1+|x|)^{-γ} と局所モレイノルムを用いて、u⊗u−F の無限遠における挙動を制御する。

実験結果

リサーチクエスチョン

• RQ1 u が滑らかではなく、無限遠でゆっくり減衰するとき、非圧縮性ナビエ＝ストークス方程式における圧力勾配 ∇p はどのように厳密に定義されるか？
• RQ2 ∇p のポアソン方程式における調和部 H が消える条件は何か？ これにより圧力項の一意性が保証される。
• RQ3 古典的なレーリー射影とホッジ分解は、重み付きおよび局所モレイ空間における解へと拡張可能か？
• RQ4 局所モレイ空間 B²γ は、全空間上でのナビエ＝ストークス方程式の解を特徴づける上で果たす役割は何か？
• RQ5 ナビエ＝ストークスの正則性および存在性の文脈において、重み付きルベーグ空間 L²_wγ と局所モレイ空間 B²γ はどのように関係しているか？

主な発見

• 圧力勾配 ∇p は ∇p_φ + ∂tg として特徴づけられ、p_φ は局所化されたカーネルを用いた (u_i u_j − F_ij) の特異積分であり、g は時間に関して L¹ 関数である。
• ∇p_φ は切断関数 φ の選択に依存せず、圧力が時間微分を除いて一意に定義されることを保証する。
• ∇p のポアソン方程式における調和部 H は、∇p ∈ L¹((0,T), L¹_w_{d+1}(ℝᵈ)) を満たす場合に消える。これは与えられた重み付き積分性仮定のもとで成立する。
• 空間 B²γ は 0 < γ < δ < ∞ に対して [L², L²_wδ]_{γ/δ, ∞} と等価であり、スケーリングおよび減衰解析における役割を明確にする。
• d=3 の場合、空間 B²₂ は L²_w₂ よりも大きいので、これまで考慮されていなかったより一般な初期データを扱える。
• d=2 の場合、リーマン変換は B²₂(ℝ²) 上で有界でないため、圧力の取り扱いに特別な注意が必要であるが、これはバッソン（2006）の枠組みによって解決される。