Local Well-Posedness for Vlasov--Poisson with $L^{d+}$ Initial Density and Fractional Velocity Regularity

技術的要約：$L^d_+$ 初期密度と分数速度正則性を持つ ヴラソフ・ポアソン系における局所的ウェル・ポーズドネス

問題設定
本論文は、次元 $d \ge 2$ におけるヴラソフ・ポアソン系の局所的ウェル・ポーズドネス（局所的良好設定性）を扱う：
$$\partial_t f + v \cdot \nabla_x f + E \cdot \nabla_v f = 0, \quad E = \sigma \nabla_x \Delta^{-1} \rho, \quad \rho(t, x) = \int_{\mathbb{R}^d} f(t, x, v) \, dv.$$
中心となる困難は、問題の異方的な性質にある。分布関数 $f$ は位相空間上に存在するが、自己整合的な電場 $E$ は、$f$ の速度平均である空間密度 $\rho$ のみによって生成される。古典的な理論では、多くの場合、$f$ に対する強な正則性（例：ソボレフ空間 $H^s(\mathbb{R}^{2d})$）や、密度の一様有界性 $\rho \in L^\infty_x$ を要求する。本研究では、$f_0$ が正の次数の空間微分を持たない一方で、空間的な $L^p$ コントロール（$p > d$）の下で、速度変数における異方的なヘルダー条件を満たす領域を調査する。目的は、空間的に非有界な密度（$\rho_0 \notin L^\infty_x$）を持ち得る初期データに対して、輸送を通じて空間的正則性を誘起させるのに十分な速度正則性を確立することである。

手法
証明は、密度に基づく不動点引数と特性曲線再パラメータ化技術に基づいている。手法は以下の4つの主要なステップで進む：

1. 特性曲線の再パラメータ化:
   直接的に輸送方程式を解く代わりに、規定された電場 $E$ によって生成される逆向きの特性流 $(X_{s,t}, V_{s,t})$ を研究する。重要な革新は、終端の速度から初期の位置を写像する大域的な微分同相写像の構成である。具体的には、固定された時刻 $t$ と位置 $x$ に対して、写像 $v \mapsto X_{0,t}(x, v)$ を反転させ、初期位置 $y$ と初期速度 $w$ を $x$ と $v$ を用いて表現する。これにより、密度に関する「非線形混合」公式が得られる：
   $$\rho(t, x) = t^{-d} \int_{\mathbb{R}^d} f_0\left(y, W_t(x, y)\right) J_t(x, y) \, dy,$$
   ここで $W_t(x, y)$ は、$y$ から出発して時刻 $t$ に $x$ に到達する粒子に対応する初期速度であり、$J_t$ は関連するヤコビアンである。この公式は、自由輸送の関係式 $\rho_{free}(t, x) = t^{-d} \int f_0(y, (x-y)/t) dy$ を一般化したものである。

2. 分散評価と正則性の転移:
   核となる推定は、速度における分数ヘルダー正則性（$C^\theta_v$）が、輸送における弾道的な混合を通じて、いかに空間ヘルダー正則性（$C^\alpha_x$）へと変換されるかを示すことである。

   • 仮定として、$f_0$ は $L^p_x$ に属する重み付き一様 $C^\theta_v$ モジュラス $G_\theta(x)$ を持つ。
   • 特性写像 $W_t(x, y)$ は、電場によって制御される摂動を加えた $(x-y)/t$ のように振る舞う。
   • 増分 $x \mapsto x+\ell$ を解析することにより、著者は $f_0$ の $C^\theta_v$ 正則性が、時間特異なバウンドを伴う $\rho(t)$ の $C^\alpha_x$ 正則性へと変換されることを示す：
     $$[\rho(t)]_{C^\alpha_x} \lesssim t^{-d/p - \alpha} (\|G_0\|_{L^p} + \|G_\theta\|_{L^p}).$$
   • 決定的なのは、$p > d$ であり、かつ $\alpha$ が $d/p + \alpha < 1$ となるように選択されているため、特異性 $t^{-d/p-\alpha}$ が時間に関して可積分であることである。これにより、電場 $E = \nabla \Delta^{-1} \rho$ が $L^1(0, T; C^{1, \alpha}_x)$ に属することが保証され、特性曲線の構成を閉じるのに十分となる。

3. Schauder 不動点定理:
   密度から密度への写像は、関連するノルムにおいて縮小写像ではないため、バナッハの不動点定理は適用できない。代わりに、著者らはバナッハ空間 $X = L^r(0, T; C^\beta(\mathbb{R}^d))$ における許容密度の閉凸集合を構成する。

   • コンパクト性: 解写像のコンパクト性は、Aubin–Lions–Simon 定理を用いて確立される。これは、分散評価（空間正則性）、連続方程式（負のソボレフ空間における密度の時間正則性）、および空間的なタイトネス（$f_0$ の有限質量と速度減衰から導かれる）に依存している。
   • 存在性: Schauder 不動点定理は、密度 $\rho$ の存在、すなわちラグランジュ解 $(f, E)$ の存在を保証する。

4. Loeper 型の安定性による一意性:
   一意性は、Loeper [26] に着想を得た安定性評価を用いて証明される。標準的な Loeper の評価は有界な密度を必要とする。ここでは、密度 $\rho(t)$ は $t=0$ 付近で非有界（$t^{-d/p}$ のように振る舞う）である。しかし、$d/p < 1$ であるため、$L^\infty$ ノルムは時間に関して可積分である。

   • 著者は、位相空間における2つのフロー間の距離を測る量 $P(t)$ を定義する。
   • 点ごとに時間の Loeper 評価を用い、結果として得られる微分不等式を Gronwall の不等式によって積分することで、一意性が確立される。特異性の可積分性により、ほとんどすべての時刻 $t > 0$ において安定性評価を適用することが可能となる。

主要な貢献と結果

• 定理 1 (局所的ウェル・ポーズドネス): $d \ge 2, p > d, 0 < \theta \le 1$ に対して、初期データ $f_0$ が有限質量、重み付き速度上限 $G_0 \in L^p_x$、および重み付き速度ヘルダーモジュラス $G_\theta \in L^p_x$ を満たすとき、短い時間区間 $[0, T]$ 上に一意なラグランジュ解が存在する。
• 解の正則性: 解は以下を満たす：
  • $f \in C([0, T]; L^1 \cap L^p(\mathbb{R}^{2d}))$.
  • $\rho \in L^\infty(0, T; L^1 \cap L^p) \cap L^r(0, T; C^\alpha)$.
  • $E \in L^r(0, T; C^{1, \alpha})$.
  • 密度は時間特異な $L^\infty$ バウンドを示す：$\|\rho(t)\|_{L^\infty} \lesssim t^{-d/p}$.
• 異方的な仮定: この結果は、$f_0$ の空間微分を一切要求しない。正則性は純粋に異方的である：速度における分数ヘルダー連続性が、$L^p$ における空間的制御を通じて提供される。これは、全位相空間の正則性を要求する従来のソボレフベースの理論（例：Jeong–Tae [24], Tae [34]）と一線を画している。
• 新しいクラスにおける一意性: 本論文は、密度が時間に対して一様に有界でない初期データに対する一意性を確立しており、古典的な Loeper の一意性領域（$\rho \in L^\infty_{t,x}$ を前提とする）を拡張している。

意義と主張
本論文は、一様に有界な密度の古典的な領域を超えて機能する局所的ウェル・ポーズドネス基準を提供すると主張している。

• メカニズム: 主要なメカニズムは、輸送方程式の「弾道的混合（ballistic mixing）」であり、これが速度の正則性を空間の正則性へと変換する。これにより、初期密度が特異であっても、電場が十分な正則性（$C^{1, \alpha}$）を獲得し、安定したフローを定義できるようになる。
• 条件の鋭さ: 著者らは、条件 $p > d$ および $\theta > 0$ が、使用された特定のヘルダー・フロー論法にとって鋭い（必要十分である）ことを指摘している。
  • $p = d$ の場合、$L^\infty$ の特異性は $t^{-1}$ となり、時間積分ができなくなるため、場の正則性の時間積分可能性が崩れる。
  • $\theta = 0$ の場合、自由輸送においてさえ、初期データから空間ヘルダー正則性を生成するメカニズムが存在しない。
• 未解決問題: 論文は、これらの仮定の下での大域的ウェル・ポーズドネスは依然として未解決であることを明記している。さらに、$p > d$ だが $\theta = 0$ である場合（すなわち、速度正則性なしの重み付き $L^p$ コントロールのみの場合）に非一意性が起こるかという問いを投げかけており、現在の結果はエンドポイントである $\theta = 0$ をカバーしていないことを示唆している。また、2次元 Euler 方程式において特定の弱クラスで非一意性が知られている一方で、ヴラソフ・ポアソン系のキネティックな構造（正値性、楕円型制約）が同様の病理を防止する可能性があることを指摘しており、「かろうじて」非有界な密度に対する一意性の問題は、根本的な未解決問題として残されている。

要約すると、本論文は、空間的な積分指数 $p$ が超臨界（$p > d$）である場合、分数速度正則性が空間的正則性と空間的な有界性の欠如を補うのに十分であることを確立している。これは、特性曲線の再パラメータ化、分散評価、および密度に基づく不動点引数の新しい組み合わせを通じて達成される。