Equilibria of the Pressureless Euler System in Dimension 1

技術要約：1次元無圧力を伴うオイラー系の平衡状態

問題設定
本論文は、大規模構造形成のモデルとしてゼルドビッチによって提案された、1次元の無圧力オイラー系（PE）における長期挙動を調査するものである。系は、質量分布（有限の二次モーメントを持つ確率測度）$\rho$ と速度場 $v$ に関する連続の式および運動量の式によって与えられる：
$$\partial_t \rho + \partial_y(\rho v) = 0, \quad \partial_t(\rho v) + \partial_y(\rho v^2) = 0$$
著者らは特に、衝突時に粒子が互いに付着する分布解のクラスである**スティッキー粒子解（SPS）**に焦点を当てる。これらの解の存在は射影公式（Natile-Savaré）を通じて確立されているが、これらの解がどのような条件下で平衡状態に収束するのか、その平衡状態の性質、および崩壊に要する時間は未解決の問いであった。引力的なオイラー・ポアソン系では、平衡状態は通常、単一の点質量となるが、無圧力オイラー系は多様な平衡分布を許容する。

手法
解析は、物理的な「位置空間」から「質量空間」へと問題を変換する[10]の射影公式に大きく依存している。最適輸送写像 $N_t: (0,1) \to \mathbb{R}$ （ここで $N_t \# \mathcal{L} = \rho_t$）を利用することで、系の進化は、非減少関数 $L^2(0,1)$ の凸錐 $K$ への線形軌跡 $N_0 + tV_0$ の射影として特徴付けられる：
$$N_t = \text{proj}_K(N_0 + tV_0)$$
ここで、$V_0 = v_0 \circ N_0$ である。著者らは、凸包（$\text{conv}$）の性質や右微分を用いて、 $N_t$ の漸近挙動を分析するために凸解析のツールを用いる。彼らは原始関数 $F(x) = \int_0^x V_0(w) dw$ を定義し、系のガリレイ不変性を利用して全運動量をゼロに正規化する。

主な貢献と結果

1. 平衡のための必要十分条件：
   本論文は、初期データ $(N_0, V_0)$ のみに基づいて、SPSが平衡に収束するかどうかを決定する、$(\star)$ と表記される精密な条件を確立している。この条件は以下を要求する：

   • 全運動量がゼロであること：$\int_0^1 V_0(w) dw = 0$ （$F(1)=0$ と同値）。
   • 部分運動量が非負であること：すべての $x \in (0,1)$ に対して $\int_0^x V_0(w) dw \geq 0$ （$F(x) \geq 0$ と同値）。

   著者らは、SPSが平衡に収束するための必要十分条件は条件 $(\star)$ が成立することであることを証明した。もしある $x$ に対して $F(x) < 0$ であれば、解は発散する（質量が無限遠へ拡散する）。

2. 平衡状態の特性付け：
   条件 $(\star)$ が満たされるとき、本論文は $\rho_\infty$ の完全な記述を提供する。平衡は関数 $F$ の零点によって決定される：

   • 静止領域： $F$ が恒等的にゼロである任意の区間において、質量分布は全ての時間において静止している（$N_t(x) = N_0(x)$）。
   • 崩壊領域： $F(a)=F(b)=0$ かつ区間内部で $F > 0$ である任意の区間 $(a, b)$ において、その区間内の質量は、初期の「塊」の重心に位置する単一のディラック測度（点質量）へと崩壊する。
     これは、平衡が静止した質量と崩壊した点質量の重ね合わせであることを意味する。

3. 崩壊時間：
   著者らは、$\rho_t = \rho_\infty$ となる最小の時間 $T$ として定義される崩壊時間（$T_c$）の明示的な公式を導出している。解が収束する場合、$T_c$ は $F$ が正であるすべての区間 $(a,b)$ に関する上限として与えられる：
   $$T_c = \sup_{[a,b] \in I} \sup_{x \in (a,b)} \frac{\int_x^b N_0(w) dw + \frac{x-b}{b-a}\int_a^b N_0(w) dw}{\int_0^x V_0(w) dw}$$
   この値が無限大である場合、解は漸近的に平衡に近づくが、有限時間内には到達しない。

4. 収束指標：
   結果は主に1-ワッサーシュタイン距離（$W_1$）の観点から構成されている。著者らは、解のサポートが有界に留まる場合（初期サポートが有界であり $(\star)$ が成立する場合に起こる）、任意の $W_p$ における収束が従うことを述べている。また、$W_2$ への収束の拡張についても議論しており、質量区間の境界付近での特定の単調性条件の下では成立するものの、凸包操作のグローバルな性質により、初期データのみに依存する $W_2$ 収束の一般的な条件の特定は依然として困難な課題であることを指摘している。

意義と主張
本論文は、初期条件のみを用いて、1次元無圧力オイラー系のスティッキー粒子解の平衡挙動の完全な特性付けを提供したと主張している。これは、平衡の存在、その具体的な形態、および崩壊時間の3つの中心的な問いを解決するものである。著者らは、自身のアプローチが、関連文献（例：[8]）で以前に必要とされていた、時間経過に伴うコンパクトな台（support）に関する仮定を必要としないことを強調している。本研究は、斥力的なオイラー・ポアソン系とは一線を画している。後者では、予測的な手法が病理的な挙動のために失敗するが、無圧力オイラー系の運動量駆動的な性質により、このような精密な決定が可能となっている。これらの結果は、射影公式と凸解析に基づいており、初期速度分布の幾何学とシステムの漸近状態との間の厳密な繋がりを提示している。