[論文レビュー] The primitive equations as the small aspect ratio limit of the Navier-Stokes equations: rigorous justification of the hydrostatic approximation

Jinkai Li, Edriss S. Titi|arXiv (Cornell University)|Jun 26, 2017

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

ひとこと要約

この論文は、スケーリングされたナビエ＝ストークス方程式がアスペクト比 ε → 0 の下で原始方程式に強い、時間全域で一様な収束を示すことで、海洋力学における水圧近似を厳密に裏付けている。収束速度は O(ε) であることが示され、従来の研究が弱収束しか示さなかったという主要なギャップを解消している。

ABSTRACT

An important feature of the planetary oceanic dynamics is that the aspect ratio (the ratio of the depth to horizontal width) is very small. As a result, the hydrostatic approximation (balance), derived by performing the formal small aspect ratio limit to the Navier-Stokes equations, is considered as a fundamental component in the primitive equations of the large-scale ocean. In this paper, we justify rigorously the small aspect ratio limit of the Navier-Stokes equations to the primitive equations. Specifically, we prove that the Navier-Stokes equations, after being scaled appropriately by the small aspect ratio parameter of the physical domain, converge strongly to the primitive equations, globally and uniformly in time, and the convergence rate is of the same order as the aspect ratio parameter. This result validates the hydrostatic approximation for the large-scale oceanic dynamics. Notably, only the weak convergence of this small aspect ratio limit was rigorously justified before.

研究の動機と目的

• スケーリングされたナビエ＝ストークス方程式の小さなアスペクト比極限を解析することで、大規模な海洋モデルで用いられる水圧近似を数学的に厳密に裏付けること。
• 従来の研究が小さなアスペクト比極限において弱収束しか示さなかったというギャップを埋めること。
• スケーリングされたナビエ＝ストークス方程式が原始方程式に強い、時間全域で一様な収束を示すこと。
• 収束速度がアスペクト比パラメータと一致する O(ε) であることを確立すること。
• 小さなアスペクト比を有する地球物理学的流れにおいて、水圧近似が数学的に裏付けられることを検証すること。

提案手法

• 水平粘性 μ = 1、垂直粘性 ν = ε² として、ε に依存する領域 Ωε 上に非等方的ナビエ＝ストークス方程式を定式化する。
• 変数変換を施して方程式を固定領域 Ω = M × (−1, 1) に変換し、スケーリングされたナビエ＝ストークス系 (SNS) を得る。
• 周期的境界条件と対称性を持つ初期データ（v₀ は z に関して偶関数、w₀ と p₀ は z に関して奇関数）を設定し、運動の下で対称性が保たれることを保証する。
• エネルギー推定と H¹ 範囲における事前評価を用いて、スケーリングされたナビエ＝ストークス解と原始方程式解の差 (Vε, Wε) = (vε, wε) − (v, w) を制御する。
• 局所的well-posednessと一様な有界性を用いたブートストラップ論法により、解を時間全域に拡張する。
• 重要な推定式を確立：sup₀≤t<∞(‖Vε‖H¹² + ε²‖Wε‖H¹²) + ∫₀^∞(‖∇Vε‖H¹² + ε²‖∇Wε‖H¹²)dt ≤ Cε²。

実験結果

リサーチクエスチョン

• RQ1 地球物理学的海洋状況下で、ナビエ＝ストークス方程式の小さなアスペクト比極限が原始方程式に強い収束を示すか？
• RQ2 ε → 0 のとき、ナビエ＝ストークス解が原始方程式にどの程度の速度で収束するか？
• RQ3 収束が局所的または弱収束ではなく、時間全域で一様に成立するか？
• RQ4 標準的な非等方的粘性スケーリング（μ = O(1), ν = O(ε²)）のもとで、水圧近似が数学的に裏付けられるか？
• RQ5 Sobolev範囲における明示的な有界性を用いて収束を証明でき、安定性と精度が保証されるか？

主な発見

• μ = 1 および ν = ε² でスケーリングされたナビエ＝ストークス方程式は、ε → 0 のとき原始方程式に強い収束を示す。
• 収束は時間全域で一様であり、解のノルムの有限時間内での爆発は発生しない。
• 収束速度は H¹ 範囲における差 (Vε, Wε) の測定で O(ε) である。
• 重要な推定式 ∫₀^∞(‖∇Vε‖H¹² + ε²‖∇Wε‖H¹²)dt ≤ Cε² が成り立ち、O(ε) の収束速度が裏付けられる。
• 解はすべての時間で H¹ 範囲において一様に有界であり、近似の長期的安定性が保証される。
• 本結果は、大規模な海洋モデルにおける水圧近似に数学的基盤を提供する。