On the Fujita Phenomenon for a Forced Spatio-Temporal Fractional Diffusion Equation

技术摘要：关于受迫时空分数阶扩散方程的 Fujita 现象

问题陈述
本文研究了受随时间变化的外部强迫项影响的半线性时空分数阶扩散方程的 Cauchy 问题。该方程由下式给出：
$$\partial_t^\alpha u + (-\Delta)^s u = |u|^p + t^\sigma w(x), \quad (t, x) \in (0, \infty) \times \mathbb{R}^N,$$
其初值条件为 $u(0, x) = u_0(x) \geq 0$。这里，$\partial_t^\alpha$ 表示阶数为 $\alpha \in (0, 1)$ 的 Caputo 分数阶导数，$(-\Delta)^s$ 表示阶数为 $s \in (0, 1)$ 的分数阶拉普拉斯算子，$p > 1$ 是非线性指数，$\sigma > -\alpha$ 表征强迫项的时间增长或衰减特性。主要目标是刻画“Fujita 现象”——具体而言，即确定区分有限时间爆破（blow-up）与全局解存在性两个机制的关键指数 $p_F$。

研究方法
作者结合了泛函分析、分数阶微积分和标度变换（scaling arguments）来分析该问题：

1. 弱解框架（Mild Solution Framework）： 研究利用 Duhamel 表示公式，将解 $u$ 表示为三个部分的之和：初始数据的线性演化（$Lu_0$）、非线性反应项（$Nu$）以及强迫项（$Sw$）。这依赖于与线性算子$\partial_t^\alpha + (-\Delta)^s$相关的基本解核$Z(t, x)$和$Y(t, x)$。
2. 核估计（Kernel Estimates）： 对核函数 $Z$ 和 $Y$ 的标度性质、可积性和正则性进行了严格分析。这些估计源自基本解的自相似结构，对于在适当的 Lebesgue 空间中建立收缩映射至关重要。
3. 不动点论证（Fixed Point Arguments）： 利用 Banach 不动点定理在合适的函数空间（特别是涉及时间衰减的 $L^\infty(0, T; L^q(\mathbb{R}^N))$ 及加权空间）中证明了局部与全局存在性结果。
4. 测试函数法（非存在性证明）： 为了证明爆破结果，作者改编了测试函数法。他们构造了一个精心缩放的测试函数 $\psi_R(t, x)$，并应用分数阶分部积分公式（涉及右侧 Riemann-Liouville 导数）来导出积分不等式。通过分析当标度参数 $R \to \infty$ 时这些不等式的渐近行为，他们在次临界指数情况下推导出了矛盾。
5. 局部平均准则（Local Average Criteria）： 对于全局存在性，论文引入了一种基于初始数据和强迫项在球体上的局部平均值的准则，而非仅仅依赖于全局范数的微小性。

主要贡献与结果

• 局部适定性（Local Well-Posedness）： 论文确立了在 $u_0$ 和 $w$ 属于 $L^q$ 的条件下，在 $L^q(\mathbb{R}^N)$ 中存在局部时间解及唯一性的结果，其中 $q$ 处于相对于临界指数的特定范围内。
• 有限时间爆破（次临界区间）： 在假设强迫项具有正总质量（$\int_{\mathbb{R}^N} w(x) dx > 0$）的情况下，作者证明了如果指数 $p$ 低于特定的临界阈值，则不存在全局弱解。
  • 对于 $-\alpha < \sigma \leq 0$ 且 $2s < N$，临界指数确定为：
    $$p^* = \frac{N\alpha - 2s\sigma}{N\alpha - 2s(\alpha + \sigma)}.$$
    若 $1 < p < p^*$，解在有限时间内爆破。
  • 若 $\sigma > 0$，则对于所有 $p > 1$ 均会发生爆破。
• 全局存在性（超临界区间）：
  • 小数据结果： 对于 $p \geq p^*$，如果初始数据 $u_0$ 和强迫项 $w$ 在各自的临界范数（$L^{p_c}$ 和 $L^{r_c}$）下足够小，则证明了全局解的存在性。
  • 鲁棒存在性准则： 在超临界范围内建立了一个更一般的全局存在性结果。该结果放宽了对全局微小性的要求，转而要求 $u_0$ 和 $w$ 的局部平均值在大球上的衰减和微小性满足特定条件。这允许数据在全局范数上可能很大，但在无穷远处衰减得当。
• 临界指数识别： 论文明确推导了带有时间增长强迫项的全时空分数阶方程的尖锐 Fujita 型阈值 $p^*$。作者指出，该阈值不同于无强迫情况下的阈值（$p_F = 1 + \frac{2s\alpha}{N\alpha + 2s(1-\alpha)}$），这表明外部强迫通过有效地降低临界指数来加速爆破机制。

意义与主张
该论文声称提供了首个针对带有时间增长外部强迫的全时空分数阶扩散方程的尖锐 Fujita 型阈值。其意义在于：

1. 泛化性： 将经典的 Fujita 现象（最初针对热方程）扩展到结合了记忆效应（分数阶时间）和长程空间相互作用（分数阶拉普拉斯算子）以及外部源的模型中。
2. 强迫的影响： 量化了强迫项的时间幂律（$t^\sigma$）如何与分数阶扩散参数（$\alpha, s$）相互作用，从而改变临界指数。结果表明，强迫项可以抵消分数阶扩散的正则化效应，扩大导致爆破的指数范围。
3. 精细的存在性准则： 超越了标准的全局范数微小性假设，提供基于数据空间分布和局部平均值的存在性准则，为全局可解性提供了更细致的理解。

作者总结道，其分析结果得到了一维数值模拟的支持，这些模拟直观地证实了在所推导的临界指数处，系统在爆破行为与有界行为之间的转换。