Self-Similar Solutions of the Two-Dimensional Incompressible Euler Equation from Large Initial Data

技術的要約：大きな初期データからの二次元非圧縮オイラー方程式の自己相似解

問題設定
本論文は、$\mathbb{R}^2 \times (0, \infty)$ における二次元非圧縮オイラー方程式：
$$\partial_t u + u \cdot \nabla u + \nabla p = 0, \quad \text{div } u = 0$$
に対する前向き時間（forward-in-time）の自己相似解の構成を扱う。研究の対象は、$C^1$ であり、発散フリー（divergence-free）で、$(-a)$-同次（homogeneous）な初期データ $u_0$ である。ここで、スケーリング・パラメータは $1/3 < a < 1$ を満たす。具体的には、初期速度は $u_0(x) = |x|^{-a}u_0(x/|x|)$ の形式をとる。

中心となる課題は、初期データに対して小ささの条件や渦度の符号に関する制限を課すことなく、以下の自己相似構造を保持する大域的な弱解 $u(t,x)$ の存在を確立することである：
$$u(t, x) = t^{-\frac{a}{1+a}} U\left( \frac{x}{t^{\frac{1}{1+a}}} \right)$$
この問題は、存在理論、特異点形成、および弱解の非一意性の可能性が交差する領域に位置している。ナビエ・ストークス方程式（二次元および三次元の両方）における自己相似解は大データの条件下でも構成されているが、オイラー型（粘性がゼロ）の場合、渦度を制御するための散逸が存在しないことや、スケーリングの臨界的な性質など、特有の困難が生じる。

手法
構成は、低散逸プロファイル（hypodissipative profiles）の散逸消失極限（vanishing-dissipation limit）を通じて行われる。著者らは分数階散逸項 $\epsilon \Lambda^{1+a}$ （ここで $\Lambda = (-\Delta)^{1/2}$）を導入し、以下の正則化された方程式を考える：
$$\epsilon \Lambda^{1+a} U_\epsilon - \frac{1}{1+a}(a U_\epsilon + y \cdot \nabla U_\epsilon) + U_\epsilon \cdot \nabla U_\epsilon + \nabla P_\epsilon = 0$$
戦略は主に3つのステップで構成される：

1. 低散逸プロファイルの存在： 任意の固定された $\epsilon > 0$ に対して、滑らかなプロファイル $U_\epsilon$ の存在が確立される。著者らは、発散フリーの遠方カットオフを用いた存在の独立した証明（HouおよびSongの研究に基づく）を提供している。決定的なことに、重み付きエネルギー空間を回避し、Oseenカーネルの推定から直接、プロファイルとその導関数の点別減衰評価を導出している。
2. 一様臨界渦度評価： 本論文の核心は、$\epsilon \to 0$ としたときの一様な渦度 $\Omega_\epsilon = \text{curl } U_\epsilon$ の評価を確立することである。著者らは臨界指数 $p_c = 2/(1+a)$ を定義する。切断関数（truncation function）の導関数 $(|\Omega_\epsilon| - k)_+$ を用いて渦度方程式をテストすることで、渦度の分布関数に対する微分不等式を導出する。これにより、臨界ローレンツ空間 $L^{p_c, \infty}(\mathbb{R}^2)$ における一様な有界性が得られる：
   $$\|\Omega_\epsilon\|_{L^{p_c, \infty}} \leq C(a) \|\omega_0\|_{L^{p_c}(S^1)}$$
   この評価は、「擬似速度」場 $\tilde{U}_\epsilon = U_\epsilon - \frac{y}{1+a}$ の発散が $-p_c$ であるという特定の性質に依存しており、これにより渦度切断のスケール不変な制御が可能となる。
3. コンパクト性と極限の通過： $U_\epsilon$ および $\nabla U_\epsilon$ の一様なローレンツ有界性を用いて、部分列を極限プロファイル $(U, P)$ に収束させる。速度の強局所収束と渦度の弱-*収束を用いることで、非線形項における極限の通過が可能となる。$1/3 < a < 1/2$ の範囲では、積 $U \Omega$ が局所可積分であることが示され、渦度方程式が超関数の意味で成立することが保証される。

主要な結果
主定理（定理1.2）は、$1/3 < a < 1$ である任意の $C^1$ 発散フリー $(-a)$-同次初期データに対して、以下の性質を持つ自己相似弱解 $u(t,x)$ が存在することを確立している：

• 正則性： 速度 $u$ は $L^2_{\text{loc}}(\mathbb{R}^2)$ 値の連続時間関数であり、その勾配 $\nabla u$ は $L^\infty_t L^{p_c, \infty}_x$ に属する。
• 初期値のトレース： 解は $t \to 0$ において、初期データ $u_0$ に $L^2_{\text{loc}}$ で強収束する。渦度 $\omega(t)$ は $L^{p_c, \infty}$ において $\omega_0$ に弱-*収束する。
• 汎用性： この構成は、初期データへの小ささの仮定も、渦度の符号に関する仮定も必要としない。角度プロファイル $u_0$ は、径方向の渦に近い必要も、径方向優位条件を満たす必要もない。これは、以前のスパイラル構成とは異なる点である。
• 端点挙動： この結果は端点 $a=1$ に対して劣臨界（subcritical）である。$a=1$ では、渦度切断の恒等式における有利な因子が消失するため、本論法は集中測量（concentration measures）を排除できない。

意義と主張
本論文は、弱解の非一意性と特異点形成に関するより広い流体力学の文脈の中に、自らの貢献を位置づけている。

• 非一意性の支持： 著者らは、任意に大きな自己相似プロファイルの存在が、不安定性と分岐シナリオ（Jia, Šverákらの研究を参照）に関する将来の研究における必要な「基底状態（base state）」を提供すると述べている。本論文自体は非一意性を証明するものではないが、そのような分析に必要とされる大規模な解のクラスを提供するものである。
• スパイラル解の拡張： 高周波の対称性や径方向の渦への摂動に依存していた従来の代数的なスパイラル解の構成とは異なり、本研究は対称性の仮定なしに一般的な $C^1$ 角度データを取り扱っている。
• 臨界制御： この結果は、有界な渦度（$L^\infty$）や有限の全渦度を要求することなく、臨界ローレンツ空間 $L^{p_c, \infty}$ における制御によって大域的な弱存在が達成できることを強調している。これは、二次元理想流における粗いデータクラスに対する既知の存在理論を拡張するものである。

結論として、著者らは $a \geq 1/2$ の場合、渦度方程式が超関数の意味で成立するためには $U\Omega \in L^1_{\text{loc}}$ であることが必要であるが、この範囲の推定ではそれは保証されないものの、速度の定式化は依然として有効であると述べている。また、この構成は直接的な構成法とは異なり、明示的に「散逸消失極限」として記述されている。