Well-posedness results for superlinear Fokker-Planck equations

技术摘要：超线性福克-普朗克方程的适定性结果

问题陈述
本手稿研究了一类定义在时空柱体 $\Omega_T = (0, T) \times \Omega$ 上的非线性福克-普朗克（Fokker-Planck）方程的适定性问题，其中 $\Omega \subset \mathbb{R}^N$ ($N \ge 3$) 是一个有界开集。所研究的方程为：
$$\partial_t u - \text{div}(M(t, x)\nabla u + E(t, x)|u|^\theta u) = f(t, x)$$
其满足齐次狄利克雷（Dirichlet）边界条件和初始数据 $u_0$。系数满足以下条件：

• $M(t, x)$ 是一个有界且一致椭圆的矩阵。
• $E(t, x)$ 是属于合适勒贝格空间的向量场。
• 对流项具有超线性增长特征，具体为 $h(u) = |u|^\theta u$，其中 $\theta > 0$。

研究的核心挑战在于由超线性漂移项引起的非强制性（non-coercivity）。与线性漂移情况不同，标准策略无法获得先验估计，因为低阶项可能会主导二阶椭圆算子，从而可能导致有限时间内的爆破（blow-up）或测度值解（measure-valued solutions）的形成（正如先前文献关于玻色-爱因斯坦粒子动力学所指出的那样）。

方法论
作者采用了一种非变分方法，该方法依赖于：

1. 逼近方案： 通过带有截断非线性和数据的近似解序列 $u_n$ 来确保正则性。
2. 通过微分不等式获取先验估计： 核心技术是推导解的 $L^m$ 范数的微分不等式，$y(t) = \|u(t)\|_{L^m}$。通过利用合适的解的幂次进行测试，并结合 Sobolev 嵌入、Hölder 不等式和插值理论，作者建立了形式为 $y' \le Q y^{1+d}$ 的不等式。
   • 假设中的指数是通过这些不等式的量纲分析推导出来的。
   • 当指数 $d \le 0$ 时，可以获得全局估计。
   • 当 $d > 0$ 时，估计表明存在潜在的有限时间爆破，因此需要局部时间结果。
3. 比较原理： 一个关键工具是 $L^1$ 收缩估计（定理 3.3），它确立了两个解之差的正部分受其源项和初始数据差异的控制。这对于证明唯一性至关重要。
4. 不动点论证： 对于带有源项且 $\theta$ 较大的情况，作者在 $L^{q^{\star\star}}(\Omega_T)$ 上利用 Schauder 不动点定理，通过对数据进行小量假设来确保不变球的存在。
5. 切片程序（Slicing Procedures）： 为了处理数据正则性较低（特别是 $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$ 选择或依赖于矩估计的研究，体现了自身的独特性。研究结果的框架是在潜在的奇异性（测度值解）形成之前，确立了解的存在性。