Global well-posedness for the incompressible Euler equations in an endpoint Sobolev space

技術的要約：端点ソボレフ空間における非圧縮オイラー方程式のグローバルな適正設定

問題設定
本論文は、$\mathbb{R}^d$ ($d=2,3$) における非圧縮オイラー方程式の初期値問題を、特に渦度形式に焦点を当てて扱っている。中心となる課題は、臨界ソボレフ空間 $W^{d,1}(\mathbb{R}^d)$ における適正設定（well-posedness）を確立することである。この空間は、臨界ソボレフ空間の族 $W^{d/p,p}$ において、「端点（endpoint）」として重要である。なぜなら、これは渦度 $\omega \in W^{d/p,p}$ が速度場 $u$ のリプシッツ空間 $C^{0,1}$ への所属を意味する唯一の空間だからである。

これまでの研究において、$1 < p < \infty$ の臨界ソボレフ空間 $W^{d/p,p}$ におけるオイラー方程式の適正設定は、BourgainとLiの研究により、偽（強な不良設定性）であることが知られていた。彼らの不良設定性の結果は、速度勾配が $C^{0,1}$ において非有界になるような初期データの構成に基づいている。しかし、端点となる $p=1$ のケースは未解決のままであった。なぜなら、$\omega \in W^{d,1}$ という条件自体が $u \in C^{0,1}$ を保証するため、BourgainとLiの戦略が適用できないからである。なお、CozziとHarrisonによって $W^{2,1}(\mathbb{R}^2)$ における局所的な適正設定は最近確立されているが、この空間におけるグローバルな正則性の伝播、および対応する3次元の場合については証明されていなかった。

手法
著者らは、輸送評価、ローレンツ空間およびベゾフ空間における調和解析、そして軸対称流の特定の構造的特性を組み合わせて用いている。

1. 関数論的枠組み: 証明は、$W^{d,1}(\mathbb{R}^d)$ からベゾフ空間 $\dot{B}^0_{\infty,1}(\mathbb{R}^d)$ への連続な埋め込みに大きく依存している。$\dot{B}^0_{\infty,1}$ ノルムを制御することは、速度のリプシッツノルムを制御する上で極めて重要である。
2. 二次元の場合: 解析には、2次元では渦度が流れによって単に輸送される（$\partial_t \omega + u \cdot \nabla \omega = 0$）という事実を利用している。著者らは以下を組み合わせている：
   • Vishikの結果に基づく、$\dot{B}^0_{\infty,1}$ 正則性のグローバルな伝播。
   • $L^1$ およびローレンツ空間 ($L^{2,1}$) における高次微分の輸送評価。
   • ノルムの増大を抑えるための対数補間不等式とグロナル（Grönwall）の不等式。
3. 三次元軸対称ケース（スワールなし）: 3次元オイラー方程式には、通常困難を引き起こす渦伸長項（$\omega \cdot \nabla u$）が含まれる。著者らは、問題をスワールのない軸対称流に限定している。円筒座標系において、渦度は $\omega = \omega_\theta e_\theta$ という形をとり、量 $\alpha = \omega_\theta/r$ は純粋な輸送方程式（$\partial_t \alpha + u \cdot \nabla \alpha = 0$）を満たす。
   • この構造により、$\alpha$ はローレンツ空間 $L^{3,1}$ において保存される。
   • 著者らは、$\omega_0 \in W^{3,1}$ が $\alpha_0 \in L^{3,1}$ および $\nabla \omega_0 \in L^{3,1}$ を導くことを確立している。
   • 輸送方程式を微分し、軸対称微分の特定の代数的構造（例：交換子公式を用いて $\partial_r(r^{-1}u_r)$ のような項を扱うこと）を用いて非線形項を慎重に評価することにより、$\nabla \omega, \nabla^2 \omega, \nabla^3 \omega$ のア・プリオリ評価を導出している。

主要な貢献と結果

1. 二次元 ($W^{2,1}$) におけるグローバルな適正設定:
   著者らは、初期渦度が $\omega_0 \in W^{2,1}(\mathbb{R}^2)$ であれば、一意なグローバル解 $\omega \in C(\mathbb{R}_+; W^{2,1}(\mathbb{R}^2))$ が存在することを証明している。

   • 解は $\dot{B}^0_{\infty,1}$ 正則性を維持し、$\nabla \omega \in C(\mathbb{R}_+; L^{2,1})$ である。
   • ノルムの増大は、時間に対して高々指数関数的であり、二階微分の $L^1$ ノルム（$\|\nabla^2 \omega\|_{L^1}$）および勾配のローレンツノルム（$\|\nabla \omega\|_{L^{2,1}}$）は二重指数関数的に増大する。

2. 三次元軸対称スワールなし ($W^{3,1}$) におけるグローバルな適正設定:
   スワールのない軸対称流に対して、$\omega_0 \in W^{3,1}(\mathbb{R}^3)$ であれば、一意なグローバル解が存在することを本論文は証明している。

   • 解は、正則性 $\omega \in C(\mathbb{R}_+; \dot{B}^0_{\infty,1})$, $\nabla \omega \in C(\mathbb{R}_+; L^{3,1})$, $\nabla^2 \omega \in C(\mathbb{R}_+; L^{3/2,1})$, $\nabla^3 \omega \in C(\mathbb{R}_+; L^1)$ を保持する。
   • 二次元の場合と同様に、ノルムの増大は時間に対して高々二重指数関数的である。

意義と主張
本論文は、これらの結果が $1 < p < \infty$ の $W^{d/p,p}$ で知られている強な不良設定性の結果と「著しい対照」をなしていると主張している。具体的には：

• 不良設定性の戦略の失敗: 著者らは、速度勾配が $C^{0,1}$ において非有界になることに依拠したBourgainとLiによる不良設定性の証明戦略が、端点空間 $W^{d,1}$ では機能し得ないことを示している。なぜなら、この空間では速度が本質的にリプシッツ連続であるからである。
• ローレンツ空間の鋭さ: 三次元軸対称の場合、結果は $L^{3,1}$ の決定的な役割を強調している。論文は、BangとCheskidovの最近の研究により、条件を $q > 1$ の $L^{3,q}$ に緩和すると強な不良設定性が回帰することを指摘している。したがって、$L^{3,1}$ の仮定はこの設定におけるグローバルな正則性に対して鋭い（sharpである）。
• 未解決問題: 著者らは控えめに述べているが、一般的な（非軸対称の）$W^{3,1}(\mathbb{R}^3)$ 渦度に対する適正設定の問題は未解決である。局所的な強解を確立し、ベゾフ正則性を保存することはできるものの、一般的な3次元流に対して第三微分の $L^1$ 正則性を伝播させることは、彼らが将来の研究で取り組む予定の困難な未解決問題である。また、$W^{d+1,1}$ における速度方程式の適正設定も、渦度の問題とは別の未解決問題として記されている。

要約すれば、本論文は、端点的な臨界ソボレフ空間 $W^{d,1}$ が、2次元流および3次元軸対称スワールなし流において、非圧縮オイラー方程式がグローバルに適正である領域であることを確立しており、他の臨界空間で見られる不良設定性の困難を克服している。