A Capacitary Approach to Semilinear Elliptic Inequalities with Potentials on Weighted Graphs

技术摘要：带有势能的加权图上半线性椭圆不等式的容量法研究

问题陈述
本研究探讨了如下半线性椭圆不等式在非平凡非负解方面的非存在性问题：
$$\Delta u + w(x)u + v(x)u^\sigma \leq 0 \quad \text{在 } V \text{ 中},$$
其中 $(V, \omega, \mu)$ 是一个连通的局部有限加权图，$\Delta$ 是相关的图拉普拉斯算子，$\sigma > 1$，$v > 0$ 是权重函数，$w$ 是实值势函数。主要目标是建立不依赖于限制性结构假设或特定度量几何的非存在性判据，并确定所得增长条件的锐度。

方法论
作者开发了一种容量法，该方法不同于以往基于度量的方法（即依赖于伪度量环和体积增长估计）。其核心方法论包含三个主要部分：

1. H-变换（H-Transform）： 通过假设存在正解 $H$ 满足线性方程 $\Delta H + wH = 0$ 来处理势项 $w(x)u$。通过令 $u = Hz$，原算子$\Delta + w$被转化为与新加权图$(V, \omega_H, \mu_H)$相关的$H$-拉普拉斯算子$\Delta_H$，其中$\omega_H^{xy} = H(x)H(y)\omega_{xy}$且$\mu_H(x) = H^2(x)\mu(x)$。这有效地将势能吸收进了变换后图的几何结构中。
2. 容量截断函数（Capacitary Cut-off Functions）： 该方法并非基于伪度量距离 $d(x, x_0)$ 来构造测试函数，而是利用一系列具有有限支撑的截断函数 $\phi_R$。分析过程聚焦于 $H$-拉普拉斯算子的正部 $(-\Delta_H \phi_R)^+$ 所支撑的区域 $E_R$。
3. 积分估计： 利用变换后图上的分部积分法和 Hölder 不等式，作者推导出了关于解 $z$ 与集合 $E_R$ 的容量之间的积分估计关系。证明过程采用反证法：假设存在非平凡解，并证明在 $E_R$ 满足特定增长条件下，解在图上的积分必须为零。

主要贡献与结果

• 主要非存在性定理（定理 3.3）： 本文确立了若假设 (A1)–(A3) 成立——即存在 $H$、存在具有受控 $H$-拉普拉斯算子在集合 $E_R$ 上的截断函数 $\phi_R$，以及 $E_R$ 逃逸至无穷远——则当以下容量条件成立时，唯一的非负解是平凡解（$u \equiv 0$）：
  $$\sum_{x \in E_R} \mu(x)H(x)v^{-\frac{1}{\sigma-1}}(x) = O\left(R^{\frac{\gamma \sigma}{\sigma-1}}\right) \quad \text{当 } R \to \infty \text{ 时},$$
  其中 $\gamma$ 是截断函数 $H$-拉普拉斯算子的衰减率。
• 相对于度量准则的灵活性： 作者证明了他们的公式并非仅仅是对现有度量准则（如 Gu, Huang, 和 Sun [9] 或 Jleli 和 Samet [22] 中的准则）的重新表述。在第 5 节中，他们构造了一个特定的加权图，在该图中：
  • [9] 中要求的结构条件 $\frac{\omega_{xy}}{\mu(x)} \geq p_0$ 失效；
  • [22] 中基于任何具有有限跳跃尺寸的伪度量所要求的环状体积条件失效；
    尽管这些条件均失效，但定理 3.3 的容量条件仍然得到满足，从而证明了非存在性。这突显了新方法能够捕捉到传统度量环过于严格或无法捕捉测试函数实际支撑集的场景。
• 指数的锐度（第 6 节）： 本文研究了容量条件中增长指数 $\frac{\gamma \sigma}{\sigma-1}$ 的最优性。作者构造了一个示例，其中结构假设成立，但容量量按 $R^{\frac{\gamma \sigma}{\sigma-1} + \varepsilon}$ 增长（对于任意 $\varepsilon > 0$）。在这种情况下，存在一个非平凡的正解。这证实了非存在性判据中的指数在一般情况下不能被削弱。

意义与主张
本文声称为加权图上的半线性椭圆不等式提供了一种真正更具灵活性的非存在性原理。通过将容量估计与预设的度量几何脱钩，转而根据截断函数拉普拉斯算子的实际支撑集来定义相关的集合 $E_R$，该方法适用于传统环状体积条件不足的图。此外，这项工作严谨地确立了所得增长指数的锐度，表明该条件在任意幂次因子意义下都是最优的。这些结果将经典的 Liouville 型定理和 Mitidieri 及 Pohozaev 的非线性容量法推广到了带有势能的加权图领域，并利用 $H$-变换在几何层面处理势能项。