Blow-up of solutions to semilinear parabolic equations driven by mixed local-nonlocal operators with large initial data

技术摘要：大初值驱动下混合局部 - 非局部算子控制的半线性抛物方程解的爆破

问题陈述
本文研究了由混合局部 - 非局部算子 $L$ 驱动的半线性抛物方程柯西问题非负解的有限时间爆破现象。该方程表述为：
$$\begin{cases} \partial_t u + Lu = f(u) & \text{在 } \mathbb{R}^N \times (0, +\infty) \text{ 中}, \\ u(\cdot, 0) = u_0 & \text{在 } \mathbb{R}^N \text{ 中}, \end{cases}$$
其中算子定义为 $L = -a\Delta + b(-\Delta)^s$，参数满足 $a \ge 0$ 且 $b > 0$。反应项 $f$ 满足一系列结构假设，包括局部 Lipschitz 连续性、凸性、无穷远处的超线性增长以及 Osgood 条件（$\int_1^\infty \frac{dz}{f(z)} < \infty$）。原型情形为 $f(u) = u^p$，其中 $p > 1$。

尽管文献已广泛涵盖了纯局部情形（$a=1, b=0$）和纯非局部情形（$a=0, b=1$），且先前的工作（特别是文献 [8]）已针对任意非平凡数据建立了小 $p$ 值（$p \le 1 + 2s/N$）下的爆破结果，但本研究聚焦于初始数据 $u_0$ 足够大 的机制。主要目标是证明：对于任意 $p > 1$，只要初始数据足够大，即使存在混合算子，解也会在有限时间内发生爆破。

方法论
作者将原本为热方程开发的 Kaplan 方法 adapted 到混合算子的框架中。该方法的核心包含三个主要步骤：

1. 构造 Kaplan 函数：作者定义了一个"Kaplan 函数” $\kappa$，它是一个正的、光滑的、可积函数，满足在 $\mathbb{R}^N$ 中逐点成立的下解不等式 $-L\kappa + \lambda\kappa \ge 0$，其中 $\lambda > 0$。

   • 与纯局部情形下 Kaplan 函数为高斯函数（$e^{-k|x|^2}$）不同，作者显式构造了适用于混合算子的 Kaplan 函数。构造出的函数形式为：
     $$\kappa(x) = C \varepsilon^{N/2} (1 + \varepsilon|x|^2)^{-\beta}$$
     其中 $C, \varepsilon, \beta$ 为正常数。
   • 该构造需要仔细处理非局部部分 $(-\Delta)^s$。作者利用超几何函数的性质和尺度论证来估计 $L$ 作用于 $\kappa$ 的效果，确保对于足够大的 $\lambda$，不等式成立。

2. 推导微分不等式：对于解 $u(t)$，作者定义泛函 $\Phi(t) = \int_{\mathbb{R}^N} \kappa(x) u(x,t) \, dx$。通过将偏微分方程乘以 $\kappa$ 并积分，他们推导出了常微分不等式：
   $$\Phi'(t) + \lambda \Phi(t) \ge f(\Phi(t))$$
   该推导依赖于对局部部分的分部积分，以及对非局部部分特定的积分恒等式（涉及双线性形式 $B(f,g)$）。关键在于，他们利用截断函数和极限论证（$R \to \infty$）来处理非局部尾部项，这依赖于所构造的 $\kappa$ 的可积性性质。

3. 爆破分析：作者证明，如果初始数据满足 $\Phi(0) > s_f(\lambda)$（其中 $s_f(\lambda)$ 是由反应项导出的阈值），则微分不等式的解将在有限时间内爆破。这意味着原偏微分方程不存在全局经典解。

主要结果

• 一般爆破判据（定理 3.4）：本文建立了有限时间爆破的一般条件。如果存在满足特定正则性和衰减界限的 Kaplan 函数 $\kappa$，且初始数据 $u_0$ 满足 $\int_{\mathbb{R}^N} \kappa u_0 \, dx > s_f(\lambda)$，则不存在全局经典解。
• 显式构造（定理 3.7）：作者为混合算子 $L = -a\Delta + b(-\Delta)^s$ 显式构造了 Kaplan 函数 $\kappa_\varepsilon(x) \propto (1 + \varepsilon|x|^2)^{-\beta}$。他们证明，当 $\beta > N/2$ 时，该函数对于依赖于尺度参数 $\varepsilon$ 的特定 $\lambda$ 范围满足所需的下解不等式。
• 主定理（定理 3.9）：结合一般判据与显式构造，作者证明对于混合算子，如果初始数据足够大（由不等式 3.32 量化），解将在有限时间内爆破。
• 已知结果的复现（定理 3.10）：作为推论，作者将主要结果应用于 $f(u) = u^p$ 且 $1 < p < 1 + 2s/N$ 的情形。他们证明，对于该 $p$ 值范围，任何 非平凡初始数据（而不仅仅是大初值）都会导致爆破，从而通过不同方法复现了文献 [8] 中先前建立的结果。

意义与主张
作者指出，他们的结果即使在分数阶拉普拉斯算子的特例（$a=0, b=1$）中也是 新的。虽然大初值导致经典热方程的爆破已是众所周知的事实，但将其推广到分数阶情形及混合算子框架，需要克服与算子非局部性质相关的重大技术障碍。

具体而言，本文强调了以下几点：

• 与经典局部情形相比，混合/非局部设定下 Kaplan 函数必须采用不同的形式。
• 成功将 Kaplan 方法适配到涉及分数阶拉普拉斯算子的算子中，这是非平凡的，因为缺乏算子作用于测试函数的显式局部公式。
• 提供了关于初始数据的显式、可验证条件，保证在混合算子背景下对于任意 $p > 1$ 均发生爆破。

这项工作丰富了混合局部 - 非局部抛物方程的定性理论，该领域因在随机动力学（结合扩散与跳跃过程）和最优觅食模型中的应用而日益受到关注。本文并未提出新的应用，而是巩固了理解此类特定算子设定下解的长期行为的理论基础。