Well-posedness results for superlinear Fokker-Planck equations

技術要約：超線形フォッカー・プランク方程式のウェル・ポーズドネス（適正設定）に関する結果

問題設定
本稿では、$\Omega \subset \mathbb{R}^N$ ($N \ge 3$) の有界開集合上の時空シリンダー $\Omega_T = (0, T) \times \Omega$ で定義される、ある種の非線形フォッカー・プランク方程式のウェル・ポーズドネスを調査している。対象となる方程式は以下の通りである：
$$\partial_t u - \text{div}(M(t, x)\nabla u + E(t, x)|u|^\theta u) = f(t, x)$$
ここで、斉次ディリクレ境界条件および初期データ $u_0$ を伴う。係数は以下の条件を満たす：

• $M(t, x)$ は有界かつ一様楕円的な行列である。
• $E(t, x)$ は適切なルベーグ空間に属するベクトル場である。
• 対流項は超線形な成長率、具体的には $h(u) = |u|^\theta u$ （ただし $\theta > 0$）を特徴とする。

主な課題は、超線形ドリフト項によって引き起こされる**非強凸性（non-coercivity）**である。線形ドリフトの場合とは異なり、標準的な戦略ではア・プリオリ評価を得ることができない。なぜなら、低次の項が二次の楕円型作用素を支配する可能性があり、有限時間での爆発や、先行文献（ボース＝アインシュタイン粒子力学に関するもの）で指摘されているようなメジャー値解（測度値解）の形成につながる可能性があるからである。

手法
著者らは、以下の要素に基づく非変分的アプローチを採用している：

1. 近似スキーム： 正則性を確保するために、非線形性を切断した近似解 $u_n$ および近似データを用いる。
2. 微分不等式によるア・プリオリ評価： コアとなるテクニックは、解の $L^m$ ノルム $y(t) = \|u(t)\|_{L^m}$ に関する微分不等式を導出することである。解に対して適切なべき乗で方程式をテストし、ソボレフの埋め込み、ヘルダーの不等式、および補間を用いることで、著者らは $y' \le Q y^{1+d}$ という形式の不等式を確立している。
   • 指数の仮定は、これらの不等式の次元解析を通じて導出されている。
   • 指数 $d \le 0$ の場合、大域的な評価が得られる。
   • $d > 0$ の場合、評価は有限時間の爆発の可能性を示唆しており、局所的な時間の範囲内での結果が必要となる。
3. 比較原理： 重要なツールは、$L^1$ 縮小評価（定理 3.3）であり、これは二つの解の正の部分が、それらのソース項および初期データの差によって制御されることを確立するものである。これは一意性の証明において極めて重要である。
4. 不動点引数： ソース項があり $\theta$ が大きい場合、著者らは $L^{q^{\star\star}}(\Omega_T)$ 上の写像に対してシャウダーの不動点定理を用いる。この際、不変球を確保するためにデータの小ささに関する仮定を用いる。
5. スライシング手順： データの正則性が低い（特に $q=1$ の）場合、非強凸項を扱うために、局所的にア・プリオリ評価を閉じ、その後、大域的に拡張するためのタイムスライシング（時間分割）手順を利用する。

主要な貢献と結果

• 小さな $\theta$ に対する大域的存在と一意性（定理 1.1）：
  成長指数が $0 < \theta \le 1/N$ を満たし、ベクトル場 $E$ が $L^\infty(0, T; L^r(\Omega))$ に属し、$1/r + \theta = 1/N$ である場合、任意の $T > 0$ に対して、一意な弱解 $u \in C([0, T]; L^1(\Omega)) \cap L^2_{\text{loc}}((0, T); W^{1,2}_0(\Omega))$ が存在する。この解は、古典的な熱方程式と同様の大域的な $L^\mu$ 評価および平滑化評価を満たす。

• 大きな $\theta$ に対する局在的存在（定理 1.2）：
  $\theta$ がより大きい場合、具体的には $1/r + \theta/\mu < 1/N$ を満たす場合、大域的な存在は保証されない。代わりに、著者らは有限の時間区間 $(0, T^*)$ 上での一意な解の存在を証明する。解の $L^\mu$ ノルムは、$t \to T^*$ のとき爆発する可能性がある。これは、関連する物理モデルで見られる有限時間の凝縮の可能性と一致している。

• ソース項を伴う存在性と正則性（定理 1.3）：
  ソース項 $f \in L^q(\Omega_T)$ を持つ方程式に対し、著者らは存在性と $L^p$ 正則性の結果を確立している。

  • $q=1$ の場合、解は $L^m(0, T; W^{1,m}_0(\Omega))$ に存在する。
  • $q \in (1, \sigma')$ の場合、解は $L^{q^\star}(0, T; W^{1,q^\star}_0(\Omega)) \cap L^{q^{\star\star}}(\Omega_T)$ に存在する。
  • $q \in [\sigma', (N+2)/2)$ の場合、一意な解が $L^2(0, T; W^{1,2}_0(\Omega)) \cap L^{q^{\star\star}}(\Omega_T)$ に存在する。
    これらの結果は、ドリフト指数 $\theta$ が $E$ の可積分数に対して十分に小さい場合に、線形の場合（$E \equiv 0$）の正則性を回復する。

• 大きな $\theta$ に対する小データでの存在（定理 1.4）：
  任意の $\theta > 0$ に対して、データの小ささに関する条件（具体的には $E, f, u_0$ のノルムに関する条件）の下で存在性が回復される。この結果は、データが十分に小さい場合、ドリフト項が線形化された問題の可解性を妨げないことを示す不動点引数によって得られる。

意義と主張
本論文は、係数 $M$ および $E$ に関して、特定の構造的仮定（例えば $E = \nabla \phi$ など）を必要とせず、かなり一般的な仮定の下で、これらの方程式のウェル・ポーズドネス理論を提供することを主張している。

著者らは、彼らのアプローチが以下の点において特徴的であることを強調している：

1. 表現公式に依存しない。
2. メジャー値解の研究を避け、$C([0, T); L^1)$ における古典的な分布解に焦点を当てる。
3. ドリフト指数 $\theta$ とベクトル場 $E$ の可積分性の相互作用に基づき、大域的存在と有限時間爆発の閾値を明確にする。
4. $\theta$ が小さい場合、二次の作用符の拡散的な性質が超線形ドリフトを支配し、大域的な存在性と正則性を維持することを実証する。

本研究は、特定の $E$ や $M$ の選択に限定されたり、モーメント評価に依存したりしてきた先行研究とは一線を画す、初期値境界値問題の厳密な数学的解析として提示されている。結果は、特異性（メジャー値解）の形成が起こる前に、解の存在を確立するものとして構成されている。