Pure-swirl loss of boundedness under $L^1_tL^2_x$ forcing: exact mixed-norm ranges

技術的要約：$L^1_t L^2_x$ 駆動力下における純粋スワール（Pure-Swirl）の有界性喪失

問題設定
本論文は、三次元円柱 $D = B_2(0, 1) \times (0, 1)$ における強制非圧縮ナビエ・ストークス方程式の解の正則性と有界性の性質を扱う。具体的には、外部強制力 $f$ が特定の混合ノルム空間、特にエネルギー級の空間 $L^1(0, T; L^2(D))$ に属する場合に、古典的な解が有限時間 $T$ で $L^\infty$ 有界性を失う（爆発する）可能性があるかどうかを調査している。この構成は、特定のアンザッツ（仮定）によって対流項が圧力に吸収されるため、非線形増幅に依存することなく、外部強制力が爆発メカニズムに与える影響を孤立させることを目的としている。

手法
著者らは、速度場が純粋に方位角方向である「純粋スワール」解 $v(x, t) = W(r, t)e_\theta$ を構成する。この構成では、非線形対流項 $(v \cdot \nabla)v$ には方位角成分が存在せず、その径方向成分は圧力勾配によって正確に相殺される。その結果、方位角成分 $W(r, t)$ は、方位角成分の力 $F(r, t)$ によって駆動されるスカラー放物型方程式に従う：
$$\partial_t W - \left(\partial_r^2 + \frac{1}{r}\partial_r - \frac{1}{r^2}\right)W = F.$$
この構成は、**環状キャンセル（annular cancellation）**を導入することで、Zhang [23] による先行研究のプロファイルを改良したものである。著者らは、環状領域 $(a, b)$ 上の滑らかなコンパクトな台を持つ関数 $A(\rho)$ に基づいてプロファイル $\phi_0(\rho)$ を定義している。この特定の選択により、プロファイルは対称軸（$r=0$）付近で消失し、支持域の外縁部では $1/r$ のように振る舞うことが保証される。このキャンセルは、解が非整数冪 $r^\alpha$ で乗じられた際に、対称軸における滑らかさを維持するために極めて重要である。

解は $W(r, t) = r^\alpha \phi(r, t) + \beta r$ と定義される。ここで $\phi(r, t)$ は、時間依存のスケール $R(t) = \sqrt{2(T-t)}$ を持つ $\phi_0$ の自己相似的なリスケーリングである。力 $f$ はこのアンザッツから直接導出される。

主要な貢献と結果

1. 正確な混合ノルム範囲：
   本論文は、力 $f$ と速度 $v$ の両方に関する正確な混合ノルム条件を確立している。

   • 力： 力が $L^q(0, T; L^p(D))$ に属するための必要十分条件は $\alpha > 3 - \frac{2}{p} - \frac{2}{q}$ である。
   • 速度： 速度が $L^\sigma(0, T; L^m(D))$ に属するための必要十分条件は $\alpha > 1 - \frac{2}{m} - \frac{2}{\sigma}$ である。
   • 端点の達成： パラメータを $1/p + 1/q > 1$ となるように選択することで、本構成は $L^1(0, T; L^2(D))$ に属する力を得ている。これは、以前の結果に対する重要な改良であり、エネルギー級の強制力の閾値に到達している。

2. 爆発率：
   $t \uparrow T$ のとき、解は以下の漸近挙動を示す：

   • 速度の最高値： $\|v(t)\|_{L^\infty(D)} \asymp (T-t)^{-(1+\alpha)/2} \to \infty$。
   • エンストロフィー： $\|\nabla v(t)\|_{L^2(D)}^2 \asymp (T-t)^{\alpha-1}$。
   • 力のノルム： $\|f(t)\|_{L^p(D)} \asymp (T-t)^{-(3-\alpha)/2 + 1/p}$。

3. 正則性と一意性：

   • 解は $[0, T)$ 上で古典的であり、$t < T$ において滑らかである。
   • 解は、時刻 $T$ において、ルレイ・ヒープ（Leray–Hopf）解へと $L^2(D)$ で強的に拡張される。
   • 構成された解は、$[0, T]$ 上でエネルギー等式を満たす。
   • 有界性の喪失は $t=T$ で厳密に発生し、一方で力は終端時刻においてのみ非有界となる。

4. ストークス系の適用可能性：
   対流項が圧力によってキャンセルされるため、同じ例が強制ストークス系にも適用できる。これは、爆発メカニズムが非線形相互作用ではなく、完全に強制項によって駆動されていることを示している。

意義と主張
本論文は、著者らによる以前の重み付き構成 [2] の $k=1$ のケースに対する「直接的かつ自己完結的な精緻化」を提供すると主張している。その主な意義は以下の通りである：

• 端点の精緻化： $k=1$ の場合の混合ノルム条件を修正し、以前の一般的な階層的議論では完全には捉えられていなかった $L^1_t L^2_x$ 強制力のレジームに、成功裏に到達した。
• 強制効果の孤立： 純粋スワールのアンザッツを用いることで、有界性の喪失のメカニズムを外部強制力へと孤立させ、エネルギー級の強制力（$L^1_t L^2_x$）を持ち、かつ解がルレイ・ヒープ級においてエネルギー等式と一意性を満たす場合であっても、$L^\infty$ 有界性が崩れ得ることを証明した。
• 軸における滑らかさ： 環状キャンセルの導入により、非整数冪 $\alpha$ を使用しながら、対称軸における滑らかさを保持することが可能となった。これは、以前のプロファイル構成における技術的な障壁であった。

著者らは、この結果が滑らかなデータを持つ無強制ナビエ・ストークス方程式のグローバルな正則性に関するミレニアム懸賞問題に取り組むものではないことを明記している。なぜなら、この爆発は特異な強制項によって駆動されているからである。しかし、本研究は、エネルギー級の強制力が有界な解を保証するという直感に対する、厳密な反例を提供している。