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

技術的要約：重み付きグラフ上の楕円型問題に対するリャプノフ型不等式への容量的アプローチ

問題提起
本論文は、重み付きグラフの文脈におけるリャプノフ型不等式の研究が不足しているという問題に対処している。リャプノフ型不等式は、常微分方程式および偏微分方程式において確立されており（境界値問題の非自明な解の存在に関する必要条件を提供し、安定性や固有値評価に関連する）、その離散的な対応物である重み付きグラフ上の離散 $p$-ラプラシアンに関する研究は、これまで体系的に行われてこなかった。著者らは、連結で局所有限な重み付きグラフ $(V, \omega, \mu)$ における、離散 $p$-ラプラシアンによって駆動されるディリクレ問題に焦点を当てている：
$$\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）: 2つの主要な量が導入されている：
   • $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'$ は共役指数である。
3. 変分議論（Variational Arguments）: 証明には、変分原理（特に局所化された固有値問題に関する補題2.1）および離散的な部分積分恒等式を用いて、解のエネルギーとポテンシャルを関連付ける手法が用いられている。
4. 幾何学的評価: 一般的な容量不等式は、有界幾何、多項式体積成長、相対等周不等式、および特定のグラフ構造（放射状パスグラフや正則ツリー）を含む特定の幾何学的仮定の下で、容量半径を推定することにより特殊化される。

主要な貢献と結果

1. 一般的な内在的不等式:
   本論文は、特定の計量的または成長の仮定に依存せず、「あらゆる」連結局所有限重み付きグラフで成立する一般的なリャプノフ型不等式を確立している。

   • ディリクレ問題が非自明な解を持つならば、$\|w_+\|_{\ell^1(\Omega, \mu)} \geq 1/R_p(\Omega)$ である。
   • より一般に、$1 < s < \infty$ に対して、$\|w_+\|_{\ell^s(\Omega, \mu)} \geq 1/R_{p,s}(\Omega)$ である。
     これらの結果は、リャプノフ不等式の探索という問題を、容量半径の推定へと還元する。

2. 多項式成長グラフにおける超臨界レジーム:
   有界幾何、次数 $D$ の多項式体積成長、および相対等周不等式の仮定の下で、著者らは超臨界ケース $p > D$ における「内半径」リャプノフ不等式を導出している：
   $$\|w_+\|_{\ell^1(\Omega, \mu)} \geq c r_\Omega^{-(p-D)}$$
   ここで $r_\Omega$ は $\Omega$ の内半径である。論文では、整数格子 $\mathbb{Z}^D$ 上で、指数 $\beta < p-D$ に対して不等式が成立しない反例を構成することにより、指数 $p-D$ がシャープであることを証明している。

3. 放射状パスグラフ（3つのレジーム）:
   有効次元 $D$ を持つ重み付き放射状パスグラフに対して、著者らは以下の3つの異なるレジームをカバーする明示的な不等式を導出している：

   • $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}$ を伴う一様なリャプノフ型不等式を得ている：
   $$\|w_+\|_{\ell^1(\Omega, \mu)} \geq c_{p,q} = q \left( 1 - (q-1)^{-\frac{1}{p-1}} \right)^{p-1}$$
   この定数は最適であることが示されている。

5. 固有値への応用:
   直接的な応用として、離散 $p$-ラプラシアンの第1重み付きディリクレ固有値 $\lambda_{1,p}(\Omega, w)$ の下界を導出している。これらの下界は、容量半径と重み $w$ のノルムを用いて表現されており、リャプノフ不等式から導かれる連続的な固有値推定の離散的な類似物を提供している。

意義と主張
本論文は、容量的な観点から、重み付きグラフ上の離散 $p$-ラプラシアンに対するリャプノフ型不等式の研究を開始することを主張している。その主な意義は以下の通りである：

• 統一性: 容量半径を介して様々な幾何学的設定に特化できる、任意のグラフで機能する枠組みを提供している。
• シャープネス: 定数の存在を示す多くの先行研究とは異なり、本論文は特定の幾何学的設定（格子、放射状パス、ツリー）における指数のシャープさを厳密に証明している。
• 次元的洞察: グラフにおいて、不等式を支配する「有効次元」は、組合せ論的な次元とは異なる可能性のある、頂点測度とエッジ重みの相互作用によって決定される容量的次元によって決まることを強調している。
• 固有値推定: チェーガー型やフェーバー・クライン型の評価を補完する、第1ディリクレ固有値の新しい明示的な下界を提供している。

著者らは、仮定なしですべての可能なグラフ幾何学の一般ケースを解決しようとしているのではなく、特定の容量的性質が理解された場合に、シャープな不等式を導出するための堅牢な手法を提供している。