[論文レビュー] Free upper boundary value problems for the semi-geostrophic equations

Mike Cullen, D. K. Gilbert+2 more|arXiv (Cornell University)|Sep 30, 2014

Geometric Analysis and Curvature Flows参考文献 15被引用数 4

ひとこと要約

本稿は、確率測度上の最適輸送およびハミルトニアン流れ理論を用いて、自由上端を持つ3次元非圧縮半地軸方程式に対する弱解の存在を確立する。主たる貢献は、物理的に妥当な境界条件の下で双対空間解の厳密な存在証明であり、剛体境界から自由境界へと先行研究を拡張する。圧力座標におけるモンジュ＝アンペール方程式および輸送方程式の高度な解析を通じて達成される。

ABSTRACT

The semi-geostrophic system is widely used in the modelling of large-scale atmospheric flows. In this paper, we prove existence of solutions of the incompressible semi-geostrophic equations in a fully three-dimensional domain with a free upper boundary condition. We show that, using methods similar to those introduced in the pioneering work of Benamou and Brenier, who analysed the same system but with a rigid boundary condition, we can prove the existence of solutions for the incompressible free boundary problem. The proof is based on optimal transport results as well as the analysis of Hamiltonian ODEs in spaces of probability measures given by Ambrosio and Gangbo. We also show how these techniques can be modified to yield the same result also for the compressible version of the system.

研究の動機と目的

• 自由上端を持つ3次元領域における非圧縮半地軸系の弱解の存在を確立すること。これは物理的に妥当ではあるが、数学的に困難な境界条件である。
• ベンアモとブレニエが剛体境界条件下で存在を証明した既存の枠組みを、より複雑な自由上端境界への拡張すること。
• 半地軸系の双対形式を圧力座標に適応させ、変動する高さを持つ領域における解析を可能にすること。
• 自由境界によって生じる困難を克服するため、確率測度空間における最適輸送理論およびハミルトニアン常微分方程式を活用すること。
• 同じ手法が圧縮性系へも拡張可能であることを示し、非圧縮系と構造的に類似した性質を保つこと。

提案手法

• 半地軸系の双対形式を用い、元の偏微分方程式を双対変数におけるモンジュ＝アンペール方程式と連続性方程式に変換する。
• ブレニエ＝モンジュ＝カンタロヴィッチ枠組みを用いて最適輸送理論を適用し、水平運動エネルギーと垂直ポテンシャルエネルギーを含む特定のコスト関数に基づく輸送写像を最小化問題の解として定義する。
• アンブロシオとガンゴのハミルトニアン流れ構造を用いて、双対空間における確率測度の時間発展を解析し、輸送ダイナミクスの適切な定義を保証する。
• 自由上端を圧力に基づく座標系によって定義し、上端面を適切な圧力プロファイルのコンパクト集合上でのエネルギー汎関数の最小化子によって決定する。
• 圧力座標における絶対連続確率測度空間におけるコンパクト性を確立し、最小化列の収束を保証する。
• 双対空間におけるカレン稳定性原理を用いて、エネルギー最小状態を一意に双対系の解として特徴づけ、上端の高さを変分的に決定する。

実験結果

リサーチクエスチョン

• RQ1 自由上端（剛体でない）を持つ3次元非圧縮半地軸系に対して、弱解の存在を証明することは可能か？
• RQ2 変動する高さを持つ領域における圧力座標への半地軸系の双対形式の適応は、どのように実現可能か？
• RQ3 ハミルトニアン流れの確率測度上での枠組みにおいて、自由境界条件を扱うために最適輸送理論にどのような修正が必要か？
• RQ4 非圧縮系に対する存在結果を、同じ解析的枠組みを用いて圧縮性半地軸系へ拡張可能か？
• RQ5 速度場、輸送写像、および上端高さに関する事前推定を導出可能か？これにより解の正則性および安定性が保証されるか？

主な発見

• 本稿は、自由上端を持つ3次元非圧縮系に対して、双対変数における安定な弱解 $(\bar{p}_\textrm{s}, \textbf{T})$ の存在を証明する。
• 解は $\bar{p}_\textrm{s}(t,\bullet) \to W^{1,\infty}(B(0,S))$ を満たし、上端高さ関数のホルダー連続性を示している。
• 密度関数 $\nu(t,\bullet)$ はすべての $t \to [0,\tau]$ において $L^r$ 範囲で有界であり、$\norm{\nu(t,\bullet)}_{L^r} \to \norm{\nu_0(\bullet)}_{L^r}$ を満たすため、質量保存が保証される。
• 速度場 $\textbf{w}(t,\bullet)$ は $\text{supp}(\nu)$ 上で $L^\infty$ に一様有界であり、領域およびコスト関数に依存する定数によって制御され、流れの有界性が保証される。
• 輸送写像 $\textbf{T}(t,\bullet)$ は、水平運動エネルギーと垂直ポテンシャルエネルギーを含むコスト関数を最小化する一意な最適写像であるため、一意性と安定性が保証される。
• 圧縮性系に対しても、同様の枠組みが適用可能であり、系を圧力座標に定式化することで、非圧縮系と構造的に類似した性質が保たれることを示している。