[論文レビュー] Well-posedness of the Euler equations in a stably stratified ocean in isopycnal coordinates

Théo Fradin|arXiv (Cornell University)|Jun 19, 2024

Navier-Stokes equation solutions被引用数 1

ひとこと要約

この論文は、正則化なしで剪断流を伴い、安定に分層された海洋における非圧縮性Euler方程式の等エピカルコオルドレート（等ピクナル）座標系における局所的適切性を確立する。等ピクナル座標の準2次元的構造を活用することで、著者たちはDesjardinsら（2020）の大きな時間領域と一致する、$1/\varepsilon$ に比例する時間区間での解の存在を証明する。BianchiniとDuchêne（2022）が正則化項を必要としていた空白を埋める。主な革新は、等ピクナル変換下でも系の対称的構造を保つことであり、摂動パラメータ $\varepsilon$ に対して一様な解の存在時間の実現を可能にする。

ABSTRACT

This article is concerned with the well-posedness of the incompressible Euler equations describing a stably stratified ocean, reformulated in isopycnal coordinates. Our motivation for using this reformulation is twofold: first, its quasi-2D structure renders some parts of the analysis easier. Second, it closes a gap between the analysis performed in the paper by Bianchini and Duch{ê}ne in 2022 in isopycnal coordinates, with shear velocity but with a regularizing term, and the analysis performed in the paper by Desjardins, Lannes, Saut in 2020 in Eulerian coordinates, without any regularizing term but without shear velocity. Our main result is a local well-posedness result in Sobolev spaces on the system in isopycnal coordinates, with shear velocity, without any regularizing term. The time of existence that we obtain is uniform with respect to the size $ε$ of the perturbation, and boils down to the large time $1/ε$ with the assumptions of the paper by Desjardins, Lannes, Saut in 2020. With additional assumptions, it is also uniform in the shallow-water parameter. The main difficulty consists in transposing to the isopycnal reformulation the symmetric structure of the system which is more straightforward in Eulerian coordinates.

研究の動機と目的

• BianchiniとDuchêne（2022）が用いた正則化項を除去しつつ、等ピクナル座標フレームワークを維持する形で、分層Euler方程式の解析における空白を埋めること。
• 剪断速度を伴い正則化なしの非圧縮性Euler方程式について、等ピクナル座標系においてSobolev空間で局所的適切性を確立すること。
• 解の存在時間が摂動サイズ $\varepsilon$ に対して一様であり、$1/\varepsilon$ に比例することを示すこと。これはDesjardinsら（2020）の大きな時間領域の結果と一致する。
• 等ピクナル座標変換下でも、エネルギー推定に不可欠な系の対称的構造を保つこと。これはEuler座標系でより自然に保たれる。

提案手法

• 物理領域を固定された垂直領域 $[0,1]$ に写像する微分同相写像 $\phi$ を用いて、非圧縮性Euler方程式を等ピクナル座標系に再定式化する。
• 剪断流平衡状態の周りにサイズ $\varepsilon$ の摂動アンザッツを導入し、小さな非線形項を有する系を得る。
• 等ピクナル座標の半ラグランジュ的性質を活用して、垂直輸送の解析を簡素化し、正則化を用いた解の構成を可能にする。
• 非等方的Sobolev空間 $H^{s,k}$ における積および合成の推定式を適用し、非線形項および圧力勾配を制御する。
• 非圧縮性制約を活用してエネルギー推定を確立し、垂直速度 $w$ を $V$ および $\eta$ で表すが、この過程で1階の微分損失が生じる。
• 安定分層仮定（$\varrho' \geq c^*>0$）を用いて、$\eta$ の閉じた時間発展方程式を導出し、浮力項を制御する。

実験結果

リサーチクエスチョン

• RQ1 正則化項なしで、安定に分層された海洋における非圧縮性Euler方程式が等ピクナル座標系で適切に定式化可能か？
• RQ2 剪断流が存在する場合、等ピクナル座標系における解の存在時間は $1/\varepsilon$ に比例するか？ これはDesjardinsら（2020）の大きな時間領域の結果と一致するか？
• RQ3 エネルギー推定に不可欠な系の対称的構造は、等ピクナル座標変換下でもどのように保たれるか？
• RQ4 等ピクナル座標系は、剪断を伴う分層流の解析をどのように簡素化するか？

主な発見

• 等ピクナル座標系における系は、$s$ が十分に大きいSobolev空間 $H^s$ で局所解を有し、解の存在時間は $O(1/\varepsilon)$ のオーダーである。
• 解の存在時間は $\varepsilon$ に対して一様であり、$\varepsilon \to 0$ に伴い短縮しない。これはDesjardinsら（2020）の大きな時間領域と一致する。
• 追加の仮定のもとで、浅い水準数に対しても解の存在時間が一様となり、より広い範囲に結果を拡張可能である。
• 著者たちは、Euler座標から等ピクナル座標への系の対称的構造の正確な移植に成功した。これは主な技術的課題であった。
• 解析は非等方的Sobolev推定式に依存し、$H^{s,k}$ 空間における積および合成の推定式を用いて非線形項をきめ細かく制御する。
• 垂直速度 $w$ は非圧縮性制約により制御され、1階の微分損失が生じるが、等ピクナル座標系における方程式の構造のおかげで管理可能である。