Elliptic Harnack inequality and Poincaré inequality for $p$-energies on metric measure spaces

技術的要約：計量測度空間における $p$-エネルギーの楕円型ハーナック不等式とポアンカレ不等式

問題設定
本論文は、計量測度空間 $(X, d, m)$ における非線形 $p$-エネルギーの文脈における、関数不等式の構造的関係を取り扱う。線形ディリクレ形式（$p=2$）においては、楕円型ハーナック不等式（EHI）、両側容量境界、ポアンカレ不等式（PI）、およびカットオフ・ソボレフ不等式（CS）の間の等価性は確立されているが、非線形なケース（$p > 1$）では線形な半群や熱核が存在しないため、このような等価性を証明することはより困難である。

具体的には、著者は以下の非線形な古典的等価性の完全な類似性を導出することを目指している：
$$\text{EHI} + \text{cap}(\Psi) \iff \text{PI}(\Psi) + \text{CS}(\Psi)$$
ここで $\Psi$ は適切なスケーリング関数である。著者の既往の研究 [28] では、すでに $\text{EHI} + \text{cap}(\Psi) \Rightarrow \text{CS}(\Psi)$ および $\text{PI}(\Psi) + \text{CS}(\Psi) \Rightarrow \text{EHI} + \text{cap}(\Psi)$ という含意が確立されている。本論文が解決するのは、残された未解決のステップ、すなわち、楕円型ハーナック不等式と両側容量境界からポアンカレ不等式 $\text{PI}(\Psi)$ を導出することである。

手法
証明戦略は、著者の先行研究 [28] の手法と、上勾配構造を持つ空間における放物型ハーナック不等式に関する [11] で導入された最新の手法を組み合わせたものである。議論は主に以下の2つのステップで進められる：

1. ファベル・クラニンの不等式への帰着：
   [11] の戦略に従い、著者は $\text{PI}(\Psi)$ の証明を、ファベル・クラニン不等式 $\text{FK}(\Psi)$ を確立することへと帰着させる。この不等式は、ある領域における $p$-ラプラシアンの第一固有値の下限を、その領域の測度とスケーリング関数 $\Psi$ によって与えるものである。
   著者は、関数 $f$ を調和的な部分と剰余部分に分解することにより、以下の形式の評価が成立すれば $\text{PI}(\Psi)$ が従うことを証明する：
   $$\left( \fint_{B(x_0, R)} |f - c|^p dm \right)^{1/p} \lesssim \left( \frac{\Psi(R)}{V(x_0, R)} \int_{B(x_0, AR)} d\Gamma(f) \right)^{1/p} + \epsilon \fint_{B(x_0, R)} |f| dm$$
   ここで、適切な定数 $\epsilon$ を用いる。これは、EHIから導かれる振動評価を利用して、$f$ を調和的部分と剰余部分に分解することで達成される。

2. ウォルフ・ポテンシャルを用いたファベル・クラニンの確立：
   $\text{FK}(\Psi)$ を証明するために、著者は標準的なマズヤ（Maz'ya）の分解手法を用い、問題を集合 $K$ の測度をその相対的容量によって推定することへと還元する：
   $$m(K) \lesssim \Psi(R) \, \text{cap}(K, X \setminus B(x_0, AR)).$$
   この評価は、[28] で確立されたウォルフ・ポテンシャル評価を用いて導かれる。証明には以下の手順が含まれる：

   • 集合 $K$ に関連する容量的ポテンシャル $u$ の構成。
   • 超調和関数 $u$ に付随するリースの測度 $\mu$ の利用。
   • ポテンシャルと測度 $\mu$ および容量を結びつけるための、ウォルフ・ポテンシャル評価による $u(x_0)$ の下限の推定。
   • ウォルフ・ポテンシャルの級数を制御するための、ボリューム倍増（VD）および容量境界の適用。
   • $K$ を覆う互いに素な球の測度を合計するために、5B被覆補題を適用し、$m(K)$ を容量によって抑える。

主要な仮定
結果は、計量測度空間 $(X, d, m)$ および $p$-エネルギー $(\mathcal{E}, \mathcal{F})$ に関する以下の構造的仮定の下で成立する：

• 幾何学的条件： ボリューム倍増（VD）および連鎖条件（CC）。
• 解析的条件：
  • EHI： 楕円型ハーナック不等式が成立。
  • cap($\Psi$)： 両側容量境界が成立。
  • BSP： 下限スペクトル正値性（有界領域における第一固有値の正値性）。
  • LSC： 超調和関数に対する下半連続性条件。
  • 追加条件： 線形局所連結（LLC）条件が成立するか、あるいは環状楕円型ハーナック不等式（EHI$_{\text{ann}}$）が成立すること。

主な結果

1. 定理 1.1： VD、LSC、BSP、EHI、および cap($\Psi$) の仮定の下で、LLC または EHI$_{\text{ann}}$ のいずれかが成立する場合、ポアンカレ不等式 $\text{PI}(\Psi)$ が成立する。
2. 系 1.3 および 1.4： 定理 1.1 を [28] の既往の結果と組み合わせることで、本論文は完全な等価性を確立する：
   $$\text{EHI} + \text{cap}(\Psi) \iff \text{PI}(\Psi) + \text{CS}(\Psi)$$
   この等価性は、上述と同じ構造的仮定（VD、LSC、BSP、および LLC または EHI$_{\text{ann}}$）の下で成立する。

意義と主張
本論文は、線形の設定（$p=2$）で知られている古典的な等価性の完全な非線形版に向けた「残されたステップ」を提供すると主張している。

• 構造的統一： この結果は、非線形 $p$-エネルギーの理論が、楕円型レベルにおいて古典的なディリクレ形式の理論と同じ構造的形態を持つことを示している。具体的には、「ハーナック・容量側」と「ポアンカレ・カットオフ側」が等価である。
• 堅牢性： 熱核（一般に非線形 $p$-エネルギーには存在しない）が存在しない状況において、この等価性は、線形の設定で知られている古典的な等価性の堅牢な代替物となる。
• 技術的貢献： 本研究は、[11]（元来は上勾配を持つ空間における放物型ハーナック不等式のための議論）の議論を、ウォルフ・ポテンシャル評価を通じてファベル・クラニン不等式を確立することにより、より一般的な計量測度空間（フラクタルを含む）へと適応させている。

著者は、$p=2$ の特定の場合については、VD のみの下で $\text{EHI} + \text{cap}(\Psi) \Rightarrow \text{PI}(\Psi)$ が既に知られていると述べている。しかし、一般の $p > 1$ については、非線形性と現在の手法の限界により、LSC、BSP、および LLC または EHI$_{\text{ann}}$ の追加の仮定が必要となる。