Heat equations driven by mixed local-nonlocal operators with exponential nonlinearity

技术摘要：由混合局部 - 非局部算子驱动的具有指数非线性的热方程

问题陈述
本文研究了由混合局部 - 非局部算子 $L := -\Delta + (-\Delta)^s$（其中 $s \in (0, 1)$）驱动的半线性热方程的柯西问题，该方程具有指数非线性项 $f(u)$。方程形式如下：
$$\begin{cases} \partial_t u(x, t) + Lu(x, t) = f(u(x, t)), & (x, t) \in \mathbb{R}^d \times (0, \infty), \\ u(0, x) = u_0(x), & x \in \mathbb{R}^d, \end{cases}$$
其中非线性项 $f$ 在无穷远处表现出指数增长（具体为当 $|u| \to \infty$ 时 $f(u) \sim e^{|u|^p}$，且 $p > 1$），并满足 $f(0)=0$。算子 $L$ 结合了经典拉普拉斯算子（模拟局部扩散）和分数阶拉普拉斯算子（模拟非局部跳跃型扩散）。本研究侧重于为可能无界的初始数据 $u_0$ 建立局部和全局适定性，这需要超越标准勒贝格空间的功能框架。

方法论
作者采用了一种以**奥尔里奇空间（Orlicz spaces）**为中心的泛函分析方法，具体为指数型奥尔里奇空间 $\exp L^p(\mathbb{R}^d)$ 及其子空间 $\exp L^p_0(\mathbb{R}^d)$。这一选择 motivated 于勒贝格空间无法容纳与指数非线性相关的临界标度和增长条件，这类似于索伯列夫空间在临界多项式情形中的作用。

关键的方法论组成部分包括：

1. 功能框架：分析在 $\exp L^p_0(\mathbb{R}^d)$ 中进行，该空间定义为 $C^\infty_0(\mathbb{R}^d)$ 在 $\exp L^p(\mathbb{R}^d)$ 中的闭包。该空间至关重要，因为热半群 $e^{-tL}$ 通常在整个空间 $\exp L^p(\mathbb{R}^d)$ 上无界，但在 $\exp L^p_0(\mathbb{R}^d)$ 上有界。
2. 半群估计：作者推导了与混合算子相关的热半群 $e^{-tL}$ 的精细映射性质和衰减估计。这些估计利用了奥尔里奇空间中的热核界和插值论证，捕捉了局部（$-\Delta$）和非局部（$(-\Delta)^s$）分量之间的相互作用。
3. 不动点论证：
   • 局部适定性：通过分解技术证明，其中初始数据 $u_0$ 被分解为光滑部分 $v_0 \in C^\infty_0$ 和小扰动 $w_0$。光滑部分通过经典半群论证处理，而扰动则利用适应于 $\exp L^p$ 的合适巴拿赫空间中的巴拿赫不动点定理求解。
   • 全局存在性：对于小初始数据，通过在配备有时间加权范数的完备度量空间中的压缩映射原理建立。分析根据分数阶 $s$ 与临界阈值 $d(p-1)/(2p)$ 之间的关系区分了不同情况。

主要贡献与结果

1. 局部适定性（定理 1.3）：
   本文确立了对于任意初始数据 $u_0 \in \exp L^p_0(\mathbb{R}^d)$，存在唯一的温和解 $u \in C([0, T], \exp L^p_0(\mathbb{R}^d))$。假设非线性项满足具有指数增长的利普希茨型条件：$|f(u) - f(v)| \leq C|u-v|(e^{\lambda|u|^p} + e^{\lambda|v|^p})$。结果表明，对于 $t > 0$，解在 $L^\infty(\mathbb{R}^d)$ 中是局部有界的。

2. 小数据的全局存在性（定理 1.4）：
   假设非线性项在原点附近表现为 $|u|^m$（其中 $m \geq p$ 且满足与 Fujita 指数相关的特定增长约束），作者证明了对于 $\exp L^p(\mathbb{R}^d)$ 中充分小的初始数据，存在全局弱 - 温和解。证明要求根据参数 $s$ 相对于 $d(p-1)/(2p)$ 区分三种机制：

   • $s < d(p-1)/(2p)$
   • $s = d(p-1)/(2p)$
   • $s > d(p-1)/(2p)$（要求 $m > p$）

3. 大时间衰减估计：
   作者推导了解在勒贝格空间 $L^q$ 中的显式衰减率。衰减估计（公式 1.8）揭示了一种独特的渐近转变：

   • 短时机制（$t \to 0$）：解模仿局部热方程的衰减行为，由与局部平滑效应相关的有效幂次 $\tilde{m}$ 支配。
   • 长时机制（$t \to \infty$）：估计转变为恢复分数阶拉普拉斯算子 $(-\Delta)^s$ 特有的纯非局部渐近行为。

意义与主张
本文声称在指数非线性的背景下弥合了局部扩散理论与非局部扩散理论之间的鸿沟。具体而言：

• 它确定了 $\exp L^p_0(\mathbb{R}^d)$ 作为具有指数增长的混合算子的适当功能设定，解决了全奥尔里奇空间中存在的密度问题。
• 它表明局部扩散项的存在并不改变由分数阶分量决定的基本全局存在行为（临界 Fujita 指数仍为 $p_c = 1 + 2s/d$），但它显著影响了短时动力学。
• 推导出的衰减估计突出了奇异局部动力学与重尾分数阶耗散之间的连续插值，表明非局部效应并非瞬时发生，而是随时间显现。

这项工作将先前关于混合算子中多项式非线性（例如 [4, 10, 28]）以及纯局部或纯非局部设定中指数非线性（例如 [16, 23, 24, 30, 31, 34]）的结果扩展到了混合局部 - 非局部情形。