A capacitary approach to Lyapunov-type inequalities for elliptic problems on weighted graphs

技术摘要：基于容量法的加权图上椭圆问题的 Lyapunov 型不等式研究

问题陈述
本文针对加权图背景下 Lyapunov 型不等式研究不足的问题进行了探讨。虽然这些不等式在常微分方程和偏微分方程领域已得到充分研究（为边界值问题非平凡解的存在性提供了必要条件，并与稳定性及特征值估计相关联），但其在离散 $p$-Laplacian 上的离散对应物尚未得到系统性的研究。作者专注于由连通、局部有限加权图 $(V, \omega, \mu)$ 上的离散 $p$-Laplacian 驱动的 Dirichlet 问题：
$$\begin{cases} -\Delta^\omega_p u(x) = w(x)|u(x)|^{p-2}u(x), & x \in \Omega, \\ u(x) = 0, & x \in V \setminus \Omega, \end{cases}$$
其中 $\Omega \subset V$ 是一个非空有限子集，$w$ 为势函数，$1 < p < \infty$。研究目标是根据定义域 $\Omega$ 的几何与容量性质，推导出势函数 $w$（具体为其正部分 $w_+$）的下界，从而确保如果存在非平凡解，则该势函数不能任意小。

研究方法
作者采用了容量法（capacitary approach），这是本研究的核心方法论创新。不同于仅仅依赖度量或体积假设，本研究基于：

1. 点 $p$-容量（Point $p$-capacities）： 定义为相对于定义域 $\Omega$ 的顶点 $x \in \Omega$ 的容量 $C_{p}(x, \Omega) = \inf \{ E_p(\phi) : \phi \in X_V(\Omega), \phi(x)=1 \}$，其中 $E_p$ 为离散 $p$-能量。
2. 容量半径（Capacitary Radii）： 引入了两个关键量：
   • $R_p(\Omega) = \max_{x \in \Omega} C_p(x, \Omega)^{-1}$。
   • $R_{p,s}(\Omega) = \max_{u \in X_V(\Omega), u \not\equiv 0} \frac{\|u\|_{\ell^{ps'}(\Omega, \mu)}^p}{E_p(u)}$，其中 $s'$ 是 $s$ 的共轭指数。
3. 变分论证（Variational Arguments）： 证明过程利用变分原理（特别是关于局部化特征值问题的引理 2.1）以及离散分部积分恒等式，将解的能量与势函数联系起来。
4. 几何估计（Geometric Estimates）： 通过在特定几何假设下估计容量半径，对通用的容量不等式进行特化，这些假设包括有界几何、多项式体积增长、相对等周不等式以及特定的图结构（径向路径图和正则树）。

主要贡献与结果

1. 通用内在不等式：
   本文建立了在任何连通局部有限加权图上均成立的通用 Lyapunov 型不等式，且不依赖于特定的度量或增长假设。

   • 若 Dirichlet 问题存在非平凡解，则 $\|w_+\|_{\ell^1(\Omega, \mu)} \geq 1/R_p(\Omega)$。
   • 更一般地，对于 $1 < s < \infty$，$\|w_+\|_{\ell^s(\Omega, \mu)} \geq 1/R_{p,s}(\Omega)$。
     这些结果将寻找 Lyapunov 不等式的问题简化为对容量半径的估计。

2. 多项式增长图上的超临界情形：
   在具有有界几何、指数为 $D$ 的多项式体积增长以及相对等周不等式的假设下，作者推导出了超临界情况 $p > D$ 下的“内半径”Lyapunov 不等式：
   $$\|w_+\|_{\ell^1(\Omega, \mu)} \geq c r_\Omega^{-(p-D)}$$
   其中 $r_\Omega$ 是 $\Omega$ 的内半径。论文通过在整数格点 $\mathbb{Z}^D$ 上构造反例证明了该指数 $p-D$ 是尖锐的（sharp），因为对于任何 $\beta < p-D$，该不等式均失效。

3. 径向路径图（三种情形）：
   对于具有有效维度 $D$ 的加权径向路径图，作者推导出了覆盖三种不同情形的显式不等式：

   • $p > D$： 幂次标度：$\|w_+\|_{\ell^1} \geq c \tau_\Omega^{-(p-D)}$。
   • $p = D$： 对数标度：$\|w_+\|_{\ell^1} \geq c (\log \tau_\Omega)^{1-p}$。
   • $1 < p < D$： $L^s$ 标度（对于 $s > D/p$）：$\|w_+\|_{\ell^s} \geq c \tau_\Omega^{-(p-D)/s}$。
     此处，$\tau_\Omega$ 是径向外半径。论文证明了这些标度的尖锐性，并指出相关的维度是受权重和测度编码的“容量维度”，而非仅仅是组合维度。

4. 正则树：
   对于 $q$-正则树（$q \geq 3$），作者得到了一个带有显式尖锐常数 $c_{p,q}$ 的一致 Lyapunov 型不等式：
   $$\|w_+\|_{\ell^1(\Omega, \mu)} \geq c_{p,q} = q \left( 1 - (q-1)^{-\frac{1}{p-1}} \right)^{p-1}.$$
   该常数被证明是优的（optimal）。

5. 在特征值方面的应用：
   作为直接应用，论文推导了离散 $p$-Laplacian 的第一个加权 Dirichlet 特征值 $\lambda_{1,p}(\Omega, w)$ 的下界。这些界限通过容量半径和权重 $w$ 的范数来表达，提供了离散形式的、源自连续 Lyapunov 不等式的特征值估计。

意义与主张
本文声称开启了从容量角度研究加权图上离散 $p$-Laplacian 的 Lyapunov 型不等式的工作。其主要意义在于：

• 统一性： 提供了一个通过容量半径在任意图中均可工作的框架，随后可将其特化到各种几何设置中。
• 尖锐性： 不同于许多仅提供常数存在性的前人工作，本文在特定几何设置（格点、径向路径、树）中严格证明了指数和常数的尖锐性。
• 维度洞察： 强调了对于图而言，控制不等式的“有效维度”是由顶点测度和边权之间的相互作用（即容量维度）决定的，这可能与组合维度不同。
• 特征值估计： 提供了新的、显式的第一个 Dirichlet 特征值的下界，补充了现有的 Cheeger 型和 Faber-Krahn 型估计。

作者并非声称解决了所有可能图几何下的通用情况，而是提供了一种稳健的方法，一旦理解了特定图的容量特性，即可推导出尖锐的不等式。