Global regularity of temperature patches for the 3D non-diffusive Boussinesq system with large Prandtl number

技術要約：大きなプラントル数を持つ3次元非拡散ブシネスク系における温度パッチのグローバルな正則性

問題設定
本論文は、大きな初期データに対する3次元非拡散ブシネスク系（B）の強解のグローバルなウェル・ポーズドネス（適正設定性）を扱っており、これは未解決の問題であった。著者らは、「温度パッチ」の進化を調査している。ここで、初期温度 $\theta_0$ は有界領域 $D_0$（内部の値は一定である必要はない）の特性関数である。中心となる問いは以下の通りである：

1. プラントル数 ($Pr$) が十分に大きいとき、システムは大きな初期データに対して一意なグローバル強解を持つか？
2. 温度パッチの境界の正則性（具体的には $C^{1,\gamma}$、$W^{2,\infty}$、および $C^{2,\gamma}$）は、時間に関してグローバルに持続するか？
3. ブシネスク系の解は、$Pr \to \infty$ のとき、3次元ストークス・トランスポート系（ST）の解に収束するか？また、その極限においてパッチの境界の正則性は保持されるか？

2次元の場合や、小さなデータに対する3次元の場合とは異なり、粘性ブシネスク系において $Pr=1$ かつ大きなデータを持つ3次元の場合、グローバルなウェル・ポーズドネスは知られていない。著者らは、初期データの小ささの仮定を必要とせずにグローバルな正則性を確保するための代替的なメカニズムとして、大きなプラントル数のレジームを提案している。

手法
著者らは、ベゾフ空間の枠組みの中で、エネルギー法、パラディファレンシャル解析、およびストリエイテッド（共正規）推定を組み合わせた手法を用いている。

1. 大きなプラントル数の推定:

   • 著者らは、速度場 $u$ に関する $L^\infty(0, T; H^{1/2})$ および $L^2(0, T; H^{3/2})$ 空間におけるア・プリオリなグローバル時間推定を確立している。
   • 決定的なことに、ブートストラップ引数を用いて、$u$ のグローバルな $L^\infty_T(L^{3,\infty})$ 推定を導出している。この推定は、$Pr \geq Pr^*$ という条件に依存しており、ここで $Pr^*$ は初期データのスケール不変ノルム ($\|u_0\|_{L^{3,\infty}} + \|\theta_0\|_{L^1}$) によって決定される閾値である。
   • これにより、3次元ナビエ・ストークス系やブシネスク系で通常必要とされる小ささの仮定を必要とせずに、エネルギー推定を完結させることができる。

2. ストリエイテッドな正則性と「良質な未知数（Good Unknown）」:

   • パッチ境界の輸送を扱うために、著者らは補助的な量 $\Gamma = \Omega - R^{-1}\theta$ を導入している。ここで $\Omega = \nabla \wedge u$ であり、$R^{-1}$ はリースの変換を含む。
   • $Pr \to \infty$ の極限において、ストークス・トランスポート系は $\Omega = R^{-1}\theta$ を満たし、したがって $\Gamma \equiv 0$ となる。有限であるが大きな $Pr$の場合、$\Gamma$ は交換子を含むソース項を持つ輸送拡散方程式 (4.5) を満たす。
   • 著者らは、$\Gamma$ が適切なベゾフ空間において一様（uniform-in-$Pr$）な推定を満たすことを証明している。この「良質な未知数」は、ヴォルティシティのダイナミクスを温度強制からデカップリング（分離）し、一様な推定を容易にする。

3. 境界正則性の持続:

   • パッチ境界の正則性の持続は、パッチ境界に接する可積分な共正規ベクトル場の系 $W = \{W^i\}_{i=1}^5$ の正則性と関連している。
   • 著者らは、$\nabla u \in L^1_T(C^\gamma)$ であれば、フロー写像が $C^{1,\gamma}$ 正則性を保存することを証明している。
   • より高い正則性（$W^{2,\infty}$ および $C^{2,\gamma}$）については、$\partial_W \nabla u$ （速度勾配の接線方向微分）の進化を分析する。彼らは、ビオ・サバール則を用いて $\nabla u$ を $\Gamma$ と $\theta$ を含む項に分解する。
   • 新しい交換子推定および輸送拡散方程式の平滑化推定（具体的には Lemma 2.8 および Lemma 2.6）を用いて、$Pr$ に関して一様な非線形項の有界性を証明している。
   • $W^{2,\infty}$ の持続性を証明するための新しいアプローチは、以前の2次元の研究で使用された特定の相殺を利用することを避け、より高次の $W^{k,\infty}$ 正則性への適応を可能にしている。

4. 無限プラントル数極限:

   • 大きな $Pr$ レジームで確立された一様な推定を用いて、著者らはアウビンの・リオンの補題（Aubin-Lions lemma）を適用し、$Pr \to \infty$ のとき、解の列 $(u_{Pr}, \theta_{Pr})$ が極限 $(u, \theta)$ に収束することを示す。
   • 彼らは、この極限が3次元ストークス・トランスпорт系を厳密に満たすことを正当化している。
   • さらに、パッチの幾何学的構造と境界の正則性が、この極限において保持されることを証明している。

主要な貢献と結果

• **定理 1.1 (大きな $Pr$に対するグローバルなウェル・ポーズドネス):** 本論文は、初期データ$(u_0, \theta_0) \in H^{1/2}(\mathbb{R}^3) \times (L^1 \cap L^s(\mathbb{R}^3))$($s>3$) を持つ3次元非拡散ブシネスク系に対し、プラントル数が$Pr \geq Pr^$を満たす場合に、強解のグローバルな存在と一意性を証明している。この閾値$Pr^$ は、初期データのスケール不変ノルムのみに依存する。
• 一様な正則性の持続: 非一定の温度パッチに対し、著者らは $C^{1,\gamma}$、$W^{2,\infty}$、および $C^{2,\gamma}$ 境界正則性のグローバルな持続性を確立している。決定的なことは、これらの正則性に関する推定が、$Pr \in [Pr^*, \infty)$ のレジームにおいて プラントル数に関して一様 であることである。
• 定理 1.4 (無限プラントル数極限): 本論文は、3次元ブシネスク系が $Pr \to \infty$ のとき、3次元ストークス・トランスポート系に収束することを厳密に正当化している。また、この極限の一意なグローバル解が、パッチ構造および境界の $C^{1,\gamma}$、$W^{2,\infty}$、$C^{2,\gamma}$ 正則性を保持することを実証している。
• 2次元の結果の3次元版: ストークス・トランスポート系に関する結果は、Grayer II (2023) による2次元ストークス・トランスポート系の主要な結果の3次元版として提示されている。

意義と主張
著者らは、彼らの研究が、標準的な小さなデータ仮定を必要としない大きなプラントル数のレジームにおいて、3次元非拡散ブシネスク系のグローバルなウェル・ポーズドネス問題を解決したと主張している。「良質な未知数」 $\Gamma$ を導入し、一様な $Pr$ 推定を開発することで、彼らはブシネスク系とストークス・トランスポート系の間の溝を埋めている。

彼らは、$Pr=1$の場合の3次元ブシネスク系の困難さと、ストークス・トランスポート系（$Pr \to \infty$ の極限）のグローバルなウェル・ポーズドネスとの対比が、大きなプラントル数が正則化メカニズムとして機能することを示唆していることを強調している。この極限の厳密な正当化、および温度パッチの高度な境界正則性の保持を含むことは、主要な貢献である。

著者らは、彼らの手法が高次の $C^{k,\gamma}$ および $W^{k,\infty}$ 正則性に拡張可能であることを控えめに述べているが（Remark 1.2）、現在の論文では $k=1, 2$ に焦点を当てている。また、3次元で利用可能なソボレフ埋め込みの欠如により、2次元全空間への収束結果の拡張は依然として未解決の問題であることを認めている（Remark 1.5）。