Smoothing effect and uniqueness for aggregation diffusion models

技術要約：集積拡散モデルにおける平滑化効果と一意性

問題設定
本論文は、空間次元 $d \ge 2$ における以下の系で記述される集積拡散モデルを調査している：
$$\begin{cases} \partial_t u = \Delta u^m - \chi \text{div}(u \nabla v) & \text{in } \mathbb{R}^d \times (0, +\infty), \\ -\Delta v + \alpha v = u & \text{in } \mathbb{R}^d \times (0, +\infty), \\ u(\cdot, 0) = u_0, \end{cases}$$
ここで $\chi > 0$ および $\alpha \ge 0$ である。拡散項は、線形（$m=1$、ただし $d=2$ に限定）またはポラウス・ミディアム型（$m > 1$）である。集積は、ベッセル・ポテンシャル（$\alpha > 0$ の場合）またはニュートン・ポテンシャル（$\alpha = 0$ の場合）によって制御される。

ダイナミクスは、自由エネルギー汎関数 $E_m = F_m - \chi B_\alpha$（ここで $F_m$ は内部エネルギー（エントロピーまたはポラウス・ミディアム・エネルギー）、$B_\alpha$ は相互作用エネルギー）のワッサースタイン勾配流として解釈される。挙動は、拡散と集積の間の競争によって決定され、これは臨界指数 $m_c = 2 - 2/d$ によって制御される。著者らは以下の2つの領域を分析している：

1. 拡散支配領域： $m > m_c$
2. 公平な競争領域： $m = m_c$

主な目的は、一般的な初期データ（有限の2次モーメントを持つ測度を含む）に対して、大域的な勾配流解の存在と一意性を確立すること、鋭い $L^\infty$ 平滑化効果を証明すること、および解の長時間挙動を特徴付けることである。

手法
解析は、ワッサースタイン空間 $(\mathcal{P}_M^2(\mathbb{R}^d), W)$ における離散変分アプローチであるジョルダン・キンダーレラー・オットー（JKO）スキームに基づいている。著者らは以下の手法的ステップを進める：

1. 離散最小化： $E_m(u) + \frac{1}{2\tau}W^2(u, u_\tau^{k-1})$ を反復的に最小化することにより、離散的な最小化列 $\{u_\tau^k\}$ を構成する。
2. フロー交換テクニック： 離散的な最小化子の正則性評価を導出するために、著者らはフロー交換テクニック（Matthes, McCann, and Savaré）を用いる。これは、補助的な勾配流（具体的には非線形拡散方程式およびフォッカー・プランク方程式）に沿ってエネルギー $E_m$ の時間微分を計算することを含む。これにより、補助的なフローから得られる正則性の性質を離散的な最小化子へと転移させることが可能となる。
3. 離散微分不等式： フロー交換評価を用いて、離散解の $L^p$ ノルムに関する離散微分不等式を導出する。これらには、補間定数やソボレフ／ハーディ・リトルウッド・ソボレフ定数が含まれる。
4. 反復的ハイパーコントラクティビティ： これらの離散不等式を反復することによって（離散設定に適応させたモゼ・型の反復スキーム）、時間の経過とともに改善される $L^p$ 境界を確立し、最終的に $L^\infty$ 評価へと至る。
5. 収束と一意性： 離散解が連続な曲線 $u(t)$ に収束することを証明する。一意性は、鋭い $L^\infty$ 平滑化評価と、以前の文献で導入された進化変分不等式（EVI）定式化を組み合わせることによって確立される。

主要な貢献と結果

1. 拡散支配領域 ($m > m_c$)

• 存在と一意性： 著者らは、任意の初期データ $u_0 \in \mathcal{P}_M^2(\mathbb{R}^d)$ （有限の質量と2次モーメントを持つ測度）に対して、大域的な勾配流解の存在と一意性を証明した。これは、一意性に $L^\infty$ 初期データを要求していた先行研究 [40] の問題を解決するものである。
• 鋭い平滑化効果： 中心的な結果は、鋭い $L^\infty$ 平滑化評価の導出である。$t > 0$ に対して、解は以下を満たす：
  $$\|u(t)\|_{L^\infty} \le C \left( M^{\frac{2}{2+d(m-1)}} t^{-\frac{d}{2+d(m-1)}} + M^{\frac{2}{2+d(m-2)}} \right).$$
  減衰率 $t^{-\frac{d}{2+d(m-1)}}$ は、古典的なポラウス・ミディアム方程式（$\chi=0$ の場合）と同一であることが示されており、集積項が短時間の特異性を悪化させないことを示唆している。
• 長時間の漸近挙動： 帰結として、$d=2$ かつ $\alpha=0$ の場合、解は、同じ質量と重心を持つ自由エネルギーを最小化する一意の（平行移動を除いて一意な）定常状態へと収束する。
• エネルギー散逸： 解はエネルギー散逸等式を満たし、勾配流は適切な進化変分不等式によって特徴付けられる。

2. 公平な競争領域 ($m = m_c$)

• 存在と正則性： 有限エネルギーを持つ初期データ $u_0 \in D(E_m)$ に対して、勾配流の存在が確立される。
• 平滑化効果： $L^\infty$ 評価が得られるが、そのレートは次元に依存する。$d \ge 3$ ではレートは鋭い。$d=2$ では、期待される熱方程式のレート（$1/|t \log t|$）と比較してわずかに劣るレートとなるが、著者らは有限の $p$ に対する鋭いレートは既存の文献で利用可能であると述べている。
• 一様消滅： 劣臨界質量領域（$M < M_{sc}$、ここで $M_{sc}$ は臨界質量 $M_c$ より小さい特定の閾値）において、著者らは長時間における解の一様消滅、具体的には $\|u(t)\|_\infty \le C/t$ を証明している。これは、そのような減衰が成立する質量の既知の範囲を改善するものである。

意義
本論文は、拡散支配領域における集積拡散モデルに対する、ワッサースタイン測地線に沿った $\lambda$-凸汎関数の勾配流理論との完全な並行関係を提供すると主張している。具体的には：

• 一般的な測度データに対して $\mathcal{P}_M^2(\mathbb{R}^d)$ における半群生成を確立している。
• 以前の一意性の結果における制限であった、有界な初期データの仮定なしに平滑化効果と一意性を提供している。
• フローを進化変分不等式 (EVI) によって特徴付け、エネルギー散逸等式を証明している。
• 線形および非線形拡散と非局所的集積の扱いを統合し、拡散支配領域と公平な競争領域の両方をカバーしている。

著者らは、$L^\infty$ 平滑化レートの鋭さが重要な技術的成果であることを強調しており、それがポラウス・ミディアム方程式の最適なレートと一致することから、引力ポテンシャルが短時間における $L^\infty$ ノルムの爆発を加速させないことを示している。