Fujita-type blow-up for inhomogeneous semilinear heat equations with regularly varying forcing

技术摘要：具有正则变化强迫项的非均匀半线性热方程的 Fujita 型爆破现象

问题陈述
本文研究了如下非均匀半线性热方程是否存在全局非负弱解的问题：
$$\partial_t u - \Delta u = |u|^p + w(x), \quad (t, x) \in (0, \infty) \times \mathbb{R}^N,$$
其初值数据为 $u(0, \cdot) = u_0$。研究的核心是“爆破”（blow-up）现象，在此定义为全局时间弱解的不存在性。经典的 Fujita 理论（当 $w \equiv 0$ 时）确定了临界指数 $p_F = 1 + 2/N$，而对于具有可积强迫项（$w \in L^1$）的情况，Bandle、Levine 和 Zhang 已进行了研究；然而，当强迫项 $w$ 是不可积的、各向异性的或在无穷远处增长时，这些框架便失效了。作者旨在通过对强迫项空间质量的定量条件，来取代传统的积分性假设。

方法论
其核心技术引擎是 Mitidieri–Pohozaev 测试函数法，并结合了 正则变化理论（Karamata 理论）。

1. 测试函数构造： 作者采用了一类特定的测试函数族 $\psi_T(t, x) = f(t/T)^{p'} g(|x|^2/T)^{2p'}$（以及各向异性变体）来导出积分不等式。通过应用 Young 不等式并吸收项，他们建立了一个关于强迫项对测试函数积分的上界，该上界随 $T$ 的缩放比例为 $T^{1 + N/2 - p'}$。
2. 正则变化框架： 作者不再假设 $w \in L^1$，而是分析空间质量函数 $F(R) = \int_{|x| \le R} w(x) \, dx$。他们用正则变化类（$RV_\gamma$）的假设取代了定性的下界假设，即 $F(R) = R^\gamma L(R)$，其中 $L$ 是慢变函数。
3. 矛盾机制： 证明过程通过矛盾法进行。如果存在全局解，那么由质量条件导出的下界（缩放为 $T^{\gamma/2} L(\sqrt{T})$）必须与上界相容。作者表明，对于亚临界 $p$，随着 $T \to \infty$，指数 $T$ 会导致矛盾。在临界指数处，慢变因子 $L(R)$ 决定了结果：如果 $L(R) \to \infty$，则会产生矛盾；而如果 $L(R)$ 有界或衰减，该方法则无法给出结论（即“沉默”）。

主要贡献与结果

1. 主爆破定理 (Theorem 3.4)
本文建立了一个基于正则变化质量 $F(R)$ 的指数 $\gamma$ 的统一爆破判据。

• 亚临界范围： 若 $F(R)$ 满足定量下界（即满足 $\liminf R^{-\gamma}F(R) > 0$ 或 $F \in RV_\gamma$），则当 $1 < p < p_F(\gamma)$ 时不存在全局解，其中：
  $$p_F(\gamma) = \begin{cases} \frac{N-\gamma}{N-\gamma-2} & \text{若 } \gamma < N-2, \\ \infty & \text{若 } \gamma \ge N-2. \end{cases}$$
• 临界情况： 若 $F \in RV_\gamma$ 且慢变因子 $L(R) \to \infty$，则即使在临界指数 $p = p_F(\gamma)$ 处也会发生爆破。
• 普适性： 该框架涵盖了经典的 $L^1$ 结果（$\gamma=0$），并将研究扩展到了具有无穷质量的强迫项（例如 $w(x) \sim |x|^{-(N-\gamma)}$）。

2. 假设的锐度 (Proposition 4.1)
作者证明了质量增长假设中的 $\liminf$ 条件不能被 $\limsup$ 所取代。他们构造了一个强迫项，其质量集中在由超指数尺度分隔的环带上，使得 $\limsup R^{-\gamma}F(R) > 0$ 但 $\liminf R^{-\gamma}F(R) = 0$。对于此类强迫项，正则变化条件失效，且爆破结果在全亚临界范围内不再成立，这凸显了正则变化结构的必要性。

3. 算子-正则变化与各向异性 (Theorem 7.1)
为了处理在不同方向上具有不同缩放速率的强迫项，本文引入了使用对称正定指数矩阵 $E$ 的 算子-正则变化。

• 临界指数被推广为 $p_F^E = \frac{q}{q - 2\lambda_{\min}}$，其中 $q = |E| - \gamma_E$ 且 $\lambda_{\min}$ 是 $E$ 的最小特征值。
• 作者提供了一个示例（Example 7.5），表明各向异性判据比任何各向同性判据都更强，从而证明了强迫项的几何结构可以显著改变爆破阈值。

4. 符号变化强迫项与 Tauberian 判据 (Theorem 6.7)
该框架被扩展到符号变化的强迫项 $w$。

• 净质量判据： 爆破取决于净质量 $F(R) = \int_{|x|\le R} w$。
• 高斯-拉普拉斯变换： 一个 Tauberian 定理允许通过高斯-拉普拉斯变换 $\Lambda_w(s) = \int e^{-s|x|^2}w(x)dx$ 在 $s \to 0^+$ 时的渐近行为来验证 $F(R)$ 的正则变化性。如果 $w$ 的负部分阶数严格较小，则爆破判据适用于净质量。

5. 向非局部及分数阶设置的扩展 (Section 8)
该方法论被应用于：

• Riesz 势强迫项： 其中源项为卷积 $I_\sigma g$。
• 分数阶拉普拉斯算子： $\partial_t u + (-\Delta)^s u = |u|^p + w$。
• 累积强迫泛函 ($\Phi$)： 引入了一个统一的形式化框架（Theorem 8.7），其中爆破二分性由累积强迫泛函 $\Phi(T)$ 的正则变化指数 $\alpha$ 与测试函数指数 $\beta(p)$ 的比较来决定。

意义与主张
本文声称提供了一个 统一框架，超越了 Bandle–Levine–Zhang 理论中经典的积分性假设。通过利用正则变化，作者：

• 确定了一个依赖于强迫质量增长率的 连续临界指数族 $p_F(\gamma)$。
• 建立了 锐度 结果，表明如果没有正则变化所提供的结构控制，仅靠定性增长条件（如 $\limsup$）是不充分的。
• 将理论扩展到 各向异性 和 非局部 设置，提供了能够解释方向性缩放和分数阶扩散的爆破阈值描述。
• 阐明了 慢变因子 的作用，即放大效应（$L(R) \to \infty$）足以在临界指数处强制发生爆破，而这是仅凭传统的 $\liminf$ 假设无法实现的。

作者指出，虽然测试函数法提供了非存在性的充分条件，但在这些广义强迫项背景下，所得指数的优越性（特别是关于超临界范围内小数据全局解的存在性）仍是一个开放性问题。