Large-Data Global Regularity for Three-Dimensional Navier--Stokes I: A Direct First-Threshold Continuation Proof for the Axisymmetric Swirl Class

技術的サマリー：3 次元ナビエ - ストークス方程式の大規模データに対する大域的正則性 I

問題の定義
本論文は、特に渦巻きを伴う軸対称解のクラスにおける、3 次元非圧縮性ナビエ - ストークス方程式の大域的正則性問題を取り扱う。渦成分が消失する渦なしの軸対称流れについては大域的正則性が既知であるが、渦の存在は、持ち上げられた渦度比 $G = \omega_\theta/r$ に関する方程式において導関数源項を導入する。この源項は渦 $\Gamma = r u_\theta$ によって生成され、渦なしの場合に成立する古典的な最大値原理の直接的な適用を妨げるため、この問題を真に臨界的なものとする。本論文の目的は、$H^1(\mathbb{R}^3)$ に属する滑らかで発散自由な、渦を伴う軸対称な初期データに対して、対応する滑らかな解が時間的に大域的に存在すること（$T_{\max} = \infty$）を証明することである。

手法と枠組み
証明は、2 部構成の論文シリーズの第 1 部として組織化された直接的な第一閾値継続論法を採用する。この手法は、特定のノルムの有界性を仮定する条件付き正則性基準とは異なり、「第一閾値」の集中が発生し得ないことを証明しようとするものである。

1. 持ち上げられた変数と幾何学:
   解析は、$r = |y|$ となる5 次元持ち上げられた幾何学 $(y, z) \in \mathbb{R}^4 \times \mathbb{R}$ において行われる。主要な変数は以下の通りである：

   • $\Gamma = r u_\theta$（渦）。
   • $G = \omega_\theta / r$（持ち上げられた渦度比）。
     自然な測度は $d\mu_5 = r^3 dr dz$ であり、ラプラシアンは $\Delta_5$ である。$G$ に関する方程式は、非局所的な回復項と導関数源 $-\partial_z(\Gamma_e^2)$ を持つ輸送 - 拡散方程式として扱われる。

2. 主要な量:

   • 軸スコア（$Q_\rho$）: 特定の中心とスケールにおける $G$ の集中度を測るスケール不変な尺度。
   • 完全ディリクレ可視性（$V_\chi$）: 局所化されたパケットの遷移カラーにおけるコア・ディリクレ散逸と、可視的な質量を測る強制量。
   • 有限閾値誤差（$E_{fin}$）: 漏れ（カラー質量/エネルギー）、テール（外部のダイアディックシェル）、低周波残留、および源集中からなる複合誤差項。

3. 第一閾値メカニズム:
   議論は、臨界軸スコア包絡線 $Max(t)$が無界になることを仮定して矛盾を導く。$Max(t)$が初めて大きな値$M^$に達する**第一閾値時刻**$t^$ を定義する。この時刻において、特定の順序（より早い時刻、より小さなスケール、より少ない成分など）に基づいて最小の第一閾値パケット（正規化された後方軸円柱）が選択される。

主要な貢献と技術的結果

証明は、最小の第一閾値パケットが存在しないことを示すために、以下の 3 つの定量的要素に依存している。

1. 厳密な完全ディリクレブリッジ:
   本論文は、非局所輸送項 $T_{G,\chi}[G]$ と可視性 $V_\chi[G]$ の間に厳密な不等式を確立する：
   $$|T_{G,\chi}[G]| \le \theta V_\chi[G] + C E_{dir}[G], \quad 0 < \theta < 1$$
   係数 $\theta < 1$ は、「ゼロ誤差」許容クラスにおける制約付きエケランド - ポホオザエフ論法によって導かれる。拡縮の下での輸送項（次数 $3/2$）と可視性項（次数 $2$）の斉次性を解析することで、変分制約に違反することなく、輸送商がレベル 1 以上で飽和する列が存在しないことを著者らは証明する。

2. 有限重なり子孫抽出:
   本論文は、有限閾値誤差（漏れ、テール、源、低周波、または断片化）のいずれかの成分が大きい場合、それが厳密に小さい選択順序と正の修正スコアを持つ子孫パケットを必然的に生成することを証明する。

   • 漏れ/テール/低周波: これらのチャネルにおける大きな値は、スコアの一部分を運ぶサブパケット（再中心化またはシフトされたもの）の抽出を可能にする。
   • 源からスコアへの変換: 重要な補題は、大きな導関数源 $-\partial_z(\Gamma_e^2)$ が、符号適応型共役熱パケットを用いて正の $G$-スコア子孫に変換され得ることを示す。この段階は、渦度集中に対する渦強制の寄与を分離する。

3. パケット収縮と二項性:
   最小の第一閾値パケット（同程度のスコアを持つ子孫を持たないもの）に対して、有限重なり抽出は、すべての誤差項が摂動的（小さい）でなければならないことを意味する。その結果、厳密なブリッジと局所的エネルギーバランスがパケットのスコアを収縮させ、矛盾を招く：すべての誤差が小さい場合、パケットのスコアは閾値を構成するのに十分な大きさではあり得ない。

主要な結果
定理 2.1: $u_0 \in H^1(\mathbb{R}^3)$ が滑らかで、発散自由であり、渦を伴う軸対称であるとする。対応する滑らかな解 $u$ は大域的に存在し（$T_{\max} = \infty$）、すべての時間に対して滑らかである。

証明は、もし有限時間 $T$ に特異性が形成されるとすれば、臨界包絡線 $Max(t)$は必然的に発散する必要があることを示すことから始まる。しかし、第一閾値論法は、$Max(t)$ が初期エネルギーによって決定される有限の上限を超えることができないことを示し、それによって特異性の形成を排除する。

意義と主張
本論文は、特定のノルムの有界性を仮定する条件付き正則性基準を必要としない、このクラスに対する直接的な証明を提供すると主張する。

• 直接性: この論法は、既知の正則状態からの境界の伝播ではなく、「第一閾値」の非存在を中心に組織化されている。
• メカニズムの分離: 論文は、軸対称閉鎖に必要な特定の局所メカニズムを分離する：エケランド - ポホオザエフによる厳密なブリッジ、源からスコアへの変換、および有限重なり抽出。
• シリーズにおける役割: 本論文（第 1 部）は、渦を伴う軸対称クラスに対する閉包定理を確立する。著者らは、同伴論文である第 2 部が、一般的な第一閾値パケットを渦を伴う軸対称適合クラスに還元する 3 次元フロントエンド機構の後にのみ、この結果を使用すると述べている。

この研究は、標準的な解析的入力（カルデロン - ザイグムンド理論、ハーディ - リトルウッド - ソボレフ評価、エケランドの変分原理、およびデ・ジョルギ - モーザー反復）に依存しているが、それらを軸対称渦問題の持ち上げられた 5 次元幾何学に特化した新しい「直接閾値」枠組みへと統合している。