Quantitative bounds for bounded solutions to the Navier-Stokes equations in endpoint critical Besov spaces

技術要約：エンドポイント臨界ベソフ空間における3次元ナビエ・ストークス方程式の有界解に関する定量的境界

問題設定
本論文は、3次元非圧縮ナビエ・ストークス方程式 (1.1) の古典的な解 $(u, P)$ の定量的正則性と爆発基準を扱う。主な焦点は、エンドポイント臨界ベソフ空間 $\dot{B}^{-1+3/p}_{p,\infty}$ ($3 < p < \infty$) において制御された解にある。これらの空間における定性的爆発基準（例：コンパクト性を用いた議論によるもの）は既知であるが、著者らは空間微分の明示的な定量的境界を確立し、定量的な爆発率を導出することを目指している。具体的な課題は、$\dot{B}^{-1+3/p}_{p,\infty}$ という空間の「エンドポイント」としての性質にあり、この空間のノルムは各ダイアディック・ブロックを臨界サイズで制御するものの、周波数指数に関する和の収束性を欠いているため、$L^3$ 境界から導かれる物理空間の推定値を直接適用することができない点にある。

手法と戦略
著者らは、Tao [30] によって先駆的に導入された「集中–伝播（concentration–propagation）」メカニズムに基づく定量的正則性戦略を適応させ、大幅に改良している。核心となるアイデアは、もし解がある特定の時刻と周波数において集中する場合、その集中は広範に離れた空間スケールへと伝播しなければならず、もし解が有界であれば、これが矛盾を導くというものである。

主要な手法上の革新は以下の通りである：

1. 有限反復分解 (Finite Iterative Decomposition):
   $\dot{B}^{-1+3/p}_{p,\infty}$ の低正則性を扱うために、解 $u$ を、有限個の線形成分と残差の和へと反復的に分解する：
   $$u = u_{1L} + u_{2L} + \dots + u_{mL} + v$$
   ここで $m = [p] + 3$ である。各成分 $u_{kL}$ は、空間積分性を（$p$ から近似的に $p/k$ へと）逐次的に改善するように反復的に定義される。最終的な残差 $v$ は、十分な $L^2$ ベースの正則性（エネルギー・クラス）を持ち、全速度の有界性、正則性のエポック、および逆伝播（back-propagation）といった標準的な推定量を回収することを可能にする。この分解により、非可算なベソフ情報は、定量的に制御された有限個の断片と、エネルギー・クラスの残差へと変換される。

2. 符号付きベクトル場解析 (Signed Vector Field Analysis):
   先行研究の多くが $|D|^{-1+3/p}|u|$ の絶対値に関する境界を仮定しているのに対し、本論文では、符号付き量 $|D|^{-1+3/p}u$ に対する境界を課している（仮定 1.7）。リースのポテンシャルの核は正であるため、標準的な議論は、分離されたスケールからの寄与が非負であることを前提としている。しかし、符号付きベクトル場の場合、異なる空間領域やベクトル成分からの寄与が打ち消し合う可能性がある。
   これを克服するために、著者らは局所的な平均ゼロ・ベクトル・テストを採用している。著者らは、局所的なカール（平均がゼロとなるもの）から導かれるテスト関数 $\Psi_i$ を構築し、演算子 $|D|^{-\sigma}$ の自己随伴性を利用する。幾何学的に分離された集中スケールを選択することで、関連するテスト関数は $L^{p'}$ においてほぼ直交するようになる。この「双対なほぼ直交性（dual almost-orthogonality）」の議論が、Tao の元の研究で使用されていた正の和の代わりに用いられ、可能な集中スケールの数を制限することを可能にしている。

3. 伝播と正則性推定 (Propagation and Regularity Estimates):
   証明は、分解された成分に対する一連の伝播結果（正則性のエポック、逆伝播、反復逆伝播、および正則性の環状領域）を確立する。これらは、精緻化された非線形エネルギー推定と、クリティカルな Kato 空間における線形成分 $u_{kL}$ の特定の減衰特性に基づいている。

主要な結果

• 定理 1.1 (定量的正則性):
  臨界ベソフノルム $\|u\|_{L^\infty_T(\dot{B}^{-1+3/p}_{p,\infty})} \le M$ と、符号付き量 $\||D|^{-1+3/p}u\|_{L^\infty_T(L^p)} \le A$ の同時一様制御の下で、著者らは $u$ のすべての空間微分の明示的な定量的推定値を導出する。具体的には、任意のマルチインデックス $\alpha$ に対して：
  $$t^{1+|\alpha|/2} \|\nabla^\alpha u(t)\|_{L^\infty} \lesssim |\alpha| \exp\left(2^{|\alpha|} A \exp(\exp(M^{c_p}))\right)$$
  この境界は、微分の増大が、臨界ベソフノルムの二重指数関数と、非局所的量の $L^p$ ノルムの単一指数関数によって制御されていることを示している。

• 定理 1.2 (定量的爆発基準):
  定理 1.1 の帰結として、混合爆発基準を導出する。もし解が有限時間 $T^*$ で爆発する場合、少なくとも一方の二つの臨界量は特定の増大を示す。具体的には：
  $$\limsup_{t \nearrow T^*} \left[ \frac{\exp(\exp(\|u(t)\|_{\dot{B}^{-1+3/p}_{p,\infty}}^{c_p}))}{|\ln(T^*-t)|^b} \||D|^{-1+3/p}u(t)\|_{L^p} \right] = +\infty$$
  これは、爆発時間の近傍において、臨界ベソフノルムは対数時間スケールに対して少なくとも二重指数関数的な速度で増大しなければならず、かつ非局所的な $L^p$ ノルムも増大しなければならないことを意味する。

意義と主張
本論文は、エンドポイント臨界ベソフ空間 $\dot{B}^{-1+3/p}_{p,\infty}$ における 3 次元ナビエ・ストークス方程式の最初の定量的正則性と爆発基準を提供すると主張している。著者らは、これらの空間における従来の定性的結果は、明示的な境界を抽出できないコンパクト性議論に依存していたことを強調している。

本研究の意義は以下の点にある：

1. エンドポイント空間の処理: 新しい有限反復分解を通じて、$\dot{B}^{-1+3/p}_{p,\infty}$ におけるダイアディック和の欠如をうまく回避した。
2. 符号付き仮定: ほぼ直交性と平均ゼロ・テストを用いることで、非局所的な量 $|D|^{-1+3/p}u$ を扱う新しいメカニズムを導入し、場の絶対値に関するより強い仮定を回避した。
3. 定量的精密性: 微分に対して明示的な（たとえそれは巨大な二重指数であっても）境界を提供することで、潜在的な特異点付近における臨界ノルムの増大率を定量化した。

これらの結果は、Tao [30] によって開始された、$L^3$ および非エンドポイントのローレンツ/ベソフ空間から、より困難なエンドポイント・ベソフ設定への定量的理論を拡張するものであり、臨界レジームにおける爆発の潜在的なメカニズムに関するより深い理解を提供するものである。