Single exponential $H^1$-upper bounds for the primitive equations

技術要約：原始方程式における単一指数関数的 $H^1$ 上限

問題設定
本論文は、大規模な地球物理学的流動（大気および海洋）を支配する、水平方向に周期的なボックス領域 $\Omega = G \times (-h, 0)$ における三次元原始方程式を調査している。この系には完全な粘性が含まれ、上下境界には同次ノイマン境界条件またはディリクレ境界条件が課されている。また、横方向の境界については周期条件が適用される。主な目的は、強解 $v$ に対する空間 $L^\infty(0, \infty; H^1(\Omega)) \cap L^2(0, \infty; \dot{H}^2(\Omega))$ におけるア・プリオリな評価則を確立することである。

具体的には、本研究は初期データ $a$ および時刻 $t$ に関するこれらの評価則の成長率を扱う。CaoとTitiによる既存の文献 [3] の大域的な良設定性の結果などは、初期データおよび時刻に対して二重指数関数的に増大する上限を与えている。その後の研究 [9, 10, 7] は、時間依存性を改善したり特定の境界条件に対処したりしているが、一般に、対数ソボレフ不等式や特定の微小性の仮定に依拠しており、初期データまたは時刻に対する少なくとも二重指数関数的な依存性を保持している。

手法
著者は、境界条件に基づくアプローチを区別しながら、一連のエネルギー評価と補間不等式を用いて評価則を導出している。

1. ノイマン境界条件 (Proposition 1):

   • 証明には、水平速度 $v$ の $L^q$ 推定（具体的には $q=4, 8$）および $v_z$ の $L^r$ 推定（具体的には $r=2, 4$）を用いる。
   • この手法は、対流項の相殺特性と、圧力項を扱うためのカルデロン・ジグムンド不等式に基づいている。
   • この設定における主要な困難は、$v$ に対するポアンカレの不等式の欠如である（$v$ の平均が必ずしもゼロではないため）。その結果、初期の導出では時刻に依存する評価（$e^{C\sqrt{t}}$）が得られる。

2. ディリクレ境界条件 (Theorem 1):

   • 時刻に依存しない評価を得るために、著者は推定戦略を $v$ の $L^6$ 推定および $v_z$ の $L^3$ 推定へと移行させる。
   • ディリクレの場合における決定的な技術的課題は、圧力項 $\pi$ と境界値との結合である。圧力勾配 $\nabla_H \pi$ は、$\nabla_H \pi_1$（バルクの非線形性に依存）と $\nabla_H \pi_2$（$v_z$ の境界トレースに依存）に分解される。
   • 証明では、$(q, r) = (6, 3)$ というペアを慎重に選択することで、$v$ の $L^q$ 推定と $v_z$ の $L^r$ 推定の間の相互依存性を解決する。これにより、一方の推定から生じる境界項を、他方の散逸項によって制御することが可能となる。

3. ノイマンケースの精緻化 (Theorem 1):

   • Proposition 1で見られた時間依存性を排除するために、著者は揺らぎ変数 $\tilde{v} = v - \bar{v}$（ここで $\bar{v}$ は垂直平均）を導入する。
   • $\tilde{v}$ はポアンカレ型の不等式（$\|\tilde{v}\|_{L^q} \leq C \|v_z\|_{L^q}$）を満たすため、解析は $\tilde{v}$ の $L^6$ 推定と $v_z$ の $L^3$ 推定に焦点を当てる。
   • このアプローチは、以前に時間の成長を引き起こしていた「低次項」を効果的に処理する。これは、垂直微分の平均がゼロであるという事実を利用している。

主要な結果
本論文は、ノイマンおよびディリクレの両方の境界条件について、以下の主要定理を確立している。

初期データ $a \in H^1(\Omega)$ であり、$a_z \in L^3(\Omega)$（および適合条件を満たす）とき、強解 $v$ は以下を満たす：
$$\|v(t)\|_{H^1(\Omega)}^2 + \int_0^t \|\nabla^2 v(s)\|_{L^2(\Omega)}^2 \, ds \leq B(a) e^{C\|a\|_{L^2(\Omega)}^2}$$
すべての $t \in [0, T]$ に対して、ここで $B(a)$ は初期データのノルムの多項式関数であり、$C$ は領域 $\Omega$ にのみ依存する定数である。

極めて重要なことに、指数因子は初期データの $L^2$ ノルムの二乗 $\|a\|_{L^2(\Omega)}^2$ のみに依存し、時刻 $t$ には依存しない。

意義と主張
本論文は、主に二つの貢献を主張している。

1. 指数的成長の低減: 導出された上限は、初期データに対して単一指数関数的（$e^{C\|a\|_{L^2}^2}$）であり、先行文献（例：[3, 9, 10, 7]）に見られる二重指数関数的な上限（$e^{e^{C\|a\|^2}}$）とは鮮明に対照的である。これは、原始方程式の安定性に関する定量的理解における重要な進展である。
2. ノイマン境界条件に対する一様時間推定: 本論文は、ノイマン境界条件のケースにおいて、初の「一様時間（uniform-in-time）」$H^1$ 上限を提供していると主張している。この設定では、速度場 $v$ に対して標準的なポアンカレの不等式が利用できないため、時間依存しない評価の導出は非自明であり、これまでの文献では達成されていなかった。

著者は、ディリクレの場合はポアンカレの不等式を利用すれば $t \to \infty$ において指数的な減衰が可能であるが、この特定の減衰挙動は現在の研究の主要な焦点ではないと述べている。結果は、既存の局所存在性の結果によって支持される強解の、ア・プリオリな評価として提示されている。