On regularity estimates for axially symmetric Navier-Stokes equations in a cylinder and the critical-wedge occurrence problem

技術要約：円柱内における軸対称ナビエ・ストークス方程式の正則性評価

問題設定
本論文は、有限の円柱領域 $\Omega \subset \mathbb{R}^3$ における、軸対称性の制約下での三次元非圧縮ナビエ・ストークス方程式の全域的ウェルポーズドネス（well-posedness）問題に取り組むものである。著者らは、速度場 $v$ および渦度 $\omega = \text{curl } v$ が以下の境界条件を満たす場合の解の正則性に焦点を当てている。すなわち、側面 $S_1$ 上では径方向速度 $v_r$、方位角方向速度 $v_\phi$、および方位角方向渦度 $\omega_\phi$ が消失し、上面および底面 $S_2$ 上では軸方向速度 $v_z$、$\omega_\phi$、および軸方向微分 $\partial_z v_\phi$ が消失する。

軸対称解の正則性を確立する上での中心的な困難は、スワール成分 $v_\phi$ に関わる非線形相互作用項を制御することにある。具体的には、著者らは解を束縛するために極めて重要な量である $\Phi = \omega_r/r$ および $\Gamma = \omega_\phi/r$ を分析している。エネルギー評価を完結させる上での主要な障害は、積分項 $\int_{\Omega_t} \frac{v_\phi}{r} \Phi \Gamma \, dx \, dt'$ の制御にあり、これは角速度成分 $v_\phi$ の分布に依存する。

手法
著者らは、スワール成分 $v_\phi$ の $L^s$ ノルムと $L^\infty$ ノルムの挙動に基づいて時間区間を分割する、条件付きア・プリオリ推定戦略を採用している。

1. 臨界ウェッジの特定： 著者らは、位相空間における時間の「臨界ウェッジ」$W_{A,c_0}$ を定義する。このレジームは、$v_\phi$ の $L^s$ ノルムが大きく（$> A$）、かつ $L^s$ ノルムと $L^\infty$ ノルムの比が小さい（$< c_0$）時間によって特徴付けられる。このウェッジの外側では、標準的な閉鎖メカニズムが適用される。ウェッジの内側では、標準的な評価は閉じない。
2. 残留量の測定： 無条件の全域的正則性を主張する代わりに、本論文では「臨界ウェッジ残留量」$E_{W,s}(t)$ を導入している。この項は、軌跡が臨界ウェッジに入った際に生じる、非線形相互作用の非閉鎖的な部分を測定するものである。
3. 解析ツール：
   • 修正流関数： 分析には、ソース $\Gamma$ を持つ楕円方程式を満たす修正流関数 $\psi_1 = \psi/r$ を用いる。著者らは、$\psi_1$ に対する $H^2$ および $H^3$ 楕円推定を導出している。
   • Liu-Wang展開： 対称軸付近（$r=0$）の特異性を扱うため、著者らはLiuおよびWangによって確立された、軸付近における $v_r, v_\phi, \psi, \psi_1$ の正則性展開に依拠している。これらの展開は、境界項や $r$ を含む部分積分を推定するために不可欠である。
   • 次数低減推定： 高次のノルム（例えば $\|\Phi\|_{L^2}$）を低次のノルムとデータによって抑える「次数低減（order reduction）」不等式を導出することが、重要な技術的ステップである。これにより、非線形項の複雑さを効果的に低減させている。
   • ソボレフ空間およびベゾフ空間： 高次の正則性（定理1.4）の証明は、混合ノルムを持つソボレフ空間におけるストークス系の解の存在性と、ベゾフ空間のトレース定理に基づいている。

主要な貢献および結果

• 条件付きア・プリオリ評価（定理1.2）： 主な結果は、$X_s(t) = \|\Phi\|_{V(\Omega_t)} + \|\Gamma\|_{V(\Omega_t)}$ という量に関する条件付き評価である。著者らは以下を証明している：
  $$X_s(t) \leq \Psi_{s,A,c_0}\left(\text{data}, \int_0^t E_{W,s}(\tau) \, d\tau\right)$$
  ここで $\Psi$ は単調増加な正の関数である。この評価は、臨界ウェッジ残留量が消失する場合（すなわち、軌跡が臨界ウェッジに入らない場合）、元のデータ依存の境界を回復する。
• 先行研究による制限の除去： 本論文は、以前の著者による研究で必要とされていた $\psi_1|_{r=0} = 0$ という制限が、これらの評価には不要であることを示している。しかし、$L^s$ ノルムと $L^\infty$ ノルムの関係（以前はグローバルに仮定されていた）は、条件付きの要件へと緩和されている。すなわち、ウェッジ残留量が有限である限り、この評価は成立する。
• 高次正則性（定理1.4）： 強制項と初期データに関する追加の仮定の下で、著者らは速度 $v$ と圧力勾配 $\nabla p$ の高次ソボレフ正則性を確立しており、これにはウェッジ残留量に対する同様の条件付き依存性が伴う。
• 小データ全域的存在性（セクション8）： 本論文には、小データに関する全域的正則解の存在を証明する独立した結果も含まれている。この結果は、臨界ウェッジの障害とは無関係であり、角成分の直接的な制御に基づいている。

意義および主張
本論文は、ナビエ・ストークス方程式の全域的正則性問題を無条件に解決することを主張しているのではない。むしろ、標準的なエネルギー法が失敗する特定の「集中レジーム」（臨界ウェッジ）を特定している。本研究の意義は以下の点にある：

1. 障害の精密な特性付け： $v_\phi$ の $L^s$ ノルムと $L^\infty$ ノルムの比という、評価の閉鎖を妨げる正確なメカニズムを分離した。
2. 条件付き制御： 通常のア・プリオリ制御は、関連するウェッジ残留量が有限である場合には回復されることを証明した。これは、もし解が特異性を生じるとすれば、それはこの特定の臨界ウェッジ・レジームに入り、かつ残留量が非ゼロになることでなければならないことを意味する。
3. 手法の洗練： 修正流関数のLiu-Wang展開と精緻化された楕円推定を用いることで、軸付近の解の挙動を厳密に制御しつつ、人工的な境界条件 $\psi_1|_{r=0}=0$ を取り除くことで、先行研究を改善した。

要約すると、本論文は、位相空間における定義された臨界ウェッジに対する解の軌跡の関数として、推定値の「ギャップ」を定量化することにより、軸対称ナビエ・ストークス解の正則性を理解するための厳密な枠組みを提供している。