Nonlinear parabolic characterizations of stochastic completeness at infinity on weighted graphs

技术摘要：加权图上无穷远处的随机完备性的非线性抛物型特征化

问题陈述
本文研究了加权图上“无穷远处随机完备性”（SC∞）的特征化问题。虽然在黎曼流形上，随机完备性在经典定义上是通过线性热方程的质量守恒（或等价于布朗运动的非爆炸性）来描述的，但作者研究了是否可以通过非线性抛物方程，特别是广义多孔介质方程（GPME）或过滤方程，来刻画这一性质。研究背景是带有杀灭项 $\kappa$ 的加权图 $G = (X, w, \kappa, \mu)$，其中 $\kappa$ 作为相关薛定谔算子的势函数。核心问题在于：具有有界点值解的非线性过滤方程 $(\partial_t + \Delta \Phi)u = 0$ 的唯一性，是否等价于图满足 SC∞，以及这如何与广义质量平衡性质相关联。

方法论
作者结合了离散分析、比较原理以及从流形设置中改编的耗尽技术（exhaustion techniques）。关键的方法论组成部分包括：

1. 点值解框架： 分析是在点值解（pointwise solutions）的框架下进行的，避免了局部有限性的假设（即顶点可以具有无限度数）。形式拉普拉斯算子定义为 $\Delta f(x) = \frac{1}{\mu(x)} \sum_{y} w(x,y)(f(x)-f(y)) + \frac{\kappa(x)}{\mu(x)}f(x)$。
2. 非线性模估计： 为了处理在原点处不满足局部 Lipschitz 条件的非线性 $\phi$（特别是当 $0 < m < 1$ 的快速扩散幂次时），作者利用凹连续模 $\omega$ 而非标准的 Lipschitz 估计。这使得在快速扩散机制下应用比较论证成为可能。
3. 耗尽与极值解： 构建解的方法依赖于用有限子图 $\Omega_n$ 耗尽图。通过利用有限子图的比较原理，作者针对给定的初始数据构建了极小和极大有界点值解（$u_A$ 和 $u_B$）。
4. 障碍函数论证与分离： 在随机不完备的情况下，作者通过施加不同的无穷远处常数外部边界值，构造了无数个不同的解。他们利用“缺陷函数”（一种满足 $(\Delta + \beta)h \le 0$ 的有界非负子解）来创建局部的障碍，从而分离出对应于不同外部数据的解的极限。
5. 质量平衡推导： 广义质量平衡是通过“无穷远处的无通量恒等式”（引理 7.1）导出的，该恒等式将拉普拉斯算子的积分与杀灭项联系起来，且无需对 $\kappa$ 进行求和性假设。这依赖于算子 $I + \lambda \Delta$ 在 $\ell^\infty(X)$ 上的单射性。

主要贡献与结果

1. 非线性抛物型特征化（定理 A / 定理 6.2）：
   主要结果表明，加权图 $G$ 满足无穷远处随机完备性（SC∞），当且仅当对于每个有界初始数据 $u_0 \in \ell^\infty(X)$ 以及每个容许的非线性 $\phi \in \mathcal{I}$（连续、递增、非常数、$\phi(0)=0$），过滤方程 $(\partial_t + \Delta \Phi)u = 0$ 具有唯一的有界点值解。

   • 若 SC∞ 成立，则保证了唯一性。
   • 若 SC∞ 不成立，则对于任何有界初始数据，都存在无数个有界点值解。
   • 此特征化即使在具有非平凡杀灭项 $\kappa$ 的情况下依然成立，且不要求图是局部有限的。

2. 广义质量平衡（定理 B / 定理 7.4）：
   论文提供了第二个基于质量守恒的特征化。SC∞ 等价于对于每个具有有限质量初始值的有界正解，广义质量平衡均成立。平衡方程为：
   $$\sum_{x \in X} u(t, x)\mu(x) + \int_0^t \sum_{x \in X} \kappa(x)\phi(u(s, x)) \, ds = \sum_{x \in X} u_0(x)\mu(x)$$
   这表明，在时间 $t$ 的总质量加上由杀灭项（通过非线性通量 $\phi(u)$ 测量）耗散的质量，等于初始质量。

   • 对于所有有界数据的有限测度图，此等价关系成立。
   • 对于任意测度的图，在原点处满足尖锐线性增长条件 $\limsup_{r \to 0^+} \phi(r)/r < \infty$ 时成立。该条件排除了无限测度图上某些快速扩散幂次（$m < 1$）的情况。

3. 比较原理特征化：
   作者展示了 SC∞ 等价于全局有界比较原理：如果 $u$ 和 $v$ 是有界解，且满足 $u(0) \le v(0)$ 以及 $(\partial_t + \Delta \Phi)u \le (\partial_t + \Delta \Phi)v$，那么对于所有时间都有 $u \le v$。

4. 向普通随机完备性的归约：
   论文证明了带有杀灭项 $\kappa$ 的图的 SC∞ 等价于一个修改后的图 $\tilde{G}$ 的普通随机完备性（SC），其中杀灭项被吸收进顶点测度中（$\tilde{\mu} = \mu + \kappa$）。

意义与主张
本文声称将先前在黎曼流形上建立的非线性抛物型随机完备性特征化（由 Grillo, Ishige, Muratori, 和 Punzo 建立）扩展到了加权图这一离散领域。

• 普适性： 研究结果适用于不具备局部有限性假设的图，并包含了非平凡的杀灭项，从而涵盖了非局部算子和带有正势函数的薛定谔算子。
• 非线性： 本工作处理了一类广泛的非线性，包括带符号的多孔介质和快速扩散幂次（$\phi(s) = s|s|^{m-1}$），通过使用凹模估计克服了缺乏链式法则以及在原点处缺乏局部 Lipschitz 连续性的问题。
• 完备性： 本文提供了一个完整的二分法：无穷远处随机完备性等价于解的唯一性，而无穷远处随机不完备性则意味着存在无数个解。
• 质量守恒： 它阐明了杀灭项在质量耗散中的作用，表明在缺乏 SC∞ 的情况下，即使初始数据是有界的且具有有限质量，质量也可能从或向无穷远处流失或产生，从而违反广义平衡。

作者指出，其结果恢复了经典的热方程特征化（当 $\phi(s)=s$ 且 $\kappa=0$ 时），并为离散、潜在非局部有限且非线性的环境提供了离散模拟。这项工作被呈现为对现有理论的严谨扩展。