The semilinear heat inequality with Morrey initial data on Riemannian manifolds

技术摘要：黎曼流形上具有 Morrey 初始数据的半线性热不等式

问题陈述
本文研究了在连通、完备且具有有界几何结构的 $n$ 维黎曼流形 $M$（其中 $n \geq 3$）上，非负解满足如下半线性热微分不等式的长期行为与正则性问题：
$$\left( \frac{\partial}{\partial t} - \Delta \right) u \leq A u^p + B u$$
这里 $A$ 和 $B$ 是非负常数，$p > 1 + 2/n$。研究的核心重点是建立当初始数据在“临界” Morrey 范数下较小时的 $L^\infty$ 估计。具体而言，本文研究了初始数据属于标度不变 Morrey 空间 $M^{q, \lambda}$（其中 $\lambda = 2q/(p-1)$ 且 $1 < q \leq q_c := n(p-1)/2$）的情况，以及涉及在其他 Morrey 空间 $M^{q', \lambda'}$ 中具有附加有界性的情形。

其动机源于几何流，例如调和映射流（harmonic map flow）和 Yang-Mills 流，这些流中的能量密度函数通常满足此类形式的不等式。虽然对于线性热方程以及某些具有 $L^q$ 初始数据（其中 $q > q_c$）的半线性方程，其全局存在性和衰减性在欧几里得空间中已得到充分理解，但在临界阈值（$q = q_c$）处以及 Morrey 空间上的流形情形，仍需对现有的欧几里得技术进行适配。

方法论
作者将针对欧几里得域开发的方法推广并应用到了黎曼流形的设定中，这些方法由 Souplet、Blatt 和 Struwe 提出。核心方法论包括：

1. 热核估计： 利用具有有界几何结构的流形上热核 $H(x,y,t)$ 的性质。论文依赖于高斯型上界和下界（引理 3.1）以及流形的随机完备性来控制扩散项。
2. 热半群的 Morrey 空间估计： 本文的一个核心技术贡献是命题 3.2，它确立了热半群 $H_t$ 如何将 Morrey 空间 $M^{s_1, \lambda}$ 映射到 $M^{s_2, \lambda}$，并具有特定的时间衰减率。这通过考虑体积比较定理（Bishop-Gromov）和局部坐标几何，将已知的欧几里得结果推广到了流形设定中。
3. 迭代 Bootstrap 参数法： 证明主定理的过程采用了连续性论证。通过假设解在区间 $[0, T)$ 上存在并满足 certain 小规模条件，作者推导出了关于 $L^\infty$ 范数和 Morrey 范数的积分不等式。通过利用半群衰减率对非线性项 $u^p$ 进行仔细估计，作者表明，如果初始数据足够小（受控于常数 $\delta_0$），则解的范数将保持有界并呈多项式衰减，从而防止爆破（blow-up）。
4. 线性项的消除： 不等式中的线性项 $Bu$通过指数变换$v(t) = e^{-tB}u(t)$ 进行处理，从而将问题简化为纯超线性不等式。

主要结果

• 定理 1.2（全局 $L^\infty$ 估计）： 本文证明，若初始数据在 Morrey 范数 $\| \cdot \|_{M^{q, \lambda}}$ 下（其中 $1 < q \leq q_c$）足够小，且解满足一致的局部 $L^s$ 有界性，则该解在时间上全局存在（$T = \infty$）。此外，解呈多项式衰减：
  $$\|u(t)\|_{L^\infty} \leq C \delta (t^{-\frac{1}{p-1}} + 1)$$
  对于 $t > 0$ 成立。
• 改进的初始时间估计： 如果初始数据同时在另一个 Morrey 空间 $M^{q', \lambda'}$ 中满足有界性（且 $\lambda'/(2q') < 1/(p-1)$），本文建立了在 $t=0$ 附近改进的衰减率：
  $$\|u(t)\|_{L^\infty} \leq C t^{-\alpha} \wedge (C' \delta t^{-\frac{1}{p-1}} + C' \delta)$$
  其中 $\alpha = \lambda'/(2q')$。
• 调和映射流的应用（定理 1.3）： 作者将这些估计应用于闭黎曼流形之间的调和映射流。通过证明具有 $W^{1,n}$ 初始数据的解的能量密度 $|\nabla w|$ 满足定义 1.1 的条件，本文证明了一个小数据正则性结果。具体而言，如果初始能量密度在 $M^{2,2}$ 范数下足够小，则该流在所有时间内存在，并指数级收敛至常数映射。
• 拓扑应用（推论 1.4）： 利用正则性结果，本文提供了一个平凡同伦类（trivial homotopy classes）的特征描述。映射类 $\gamma$（在闭流形之间）是平凡的，当且仅当该类中导数的 $M^{2,2}$ 范数的下确界为零。

意义与主张
本文声称将半线性热方程的理论从欧几里得域扩展到了具有有界几何结构的黎曼流形，特别处理了具有临界 Morrey 初始数据的情形。其意义在于：

1. 几何流应用： 为分析能量密度满足微分不等式而非精确方程的几何流（如调和映射流）提供了稳健的框架。这在处理特殊旋量（special-holonomy）流形上的 Yang-Mills 流时尤为重要，因为在这些流形上，单个曲率分量的单调性公式可能并不成立。
2. 已知结果的泛化： 将 Souplet 以及 Blatt-Struwe 的工作适配到流形设定中，证明了在最弱的初始数据假设下（即在临界 Morrey 范数下足够小），小数据全局存在性和多项式衰减的结果依然成立。
3. 拓扑洞察： 提供了一种基于导数 Morrey 范数下确界来判定平凡同伦类的全新判据，将分析上的小规模性与拓扑上的平凡性联系起来。

作者明确指出，这些结果是从微分不等式框架中推导出来的，并不依赖于可能在特定几何背景下失效的单调性公式，从而填补了高维几何流分析中的空白。