$p$-Poincaré inequalities and cutoff Sobolev inequalities on metric measure spaces

技術要約：メトリック測度空間における $p$-ポアンカレ不等式とカットオフ・ソボレフ不等式

問題設定
本論文は、$p$-エネルギー（$p > 1$）を備えたメトリック測度空間において、特定の関数不等式（ポアンカレ不等式 $PI(\Psi)$、カットオフ・ソボレフ不等式 $CS(\Psi)$、および体積正則性条件 $V(\Phi)$）を満たすための特徴付けを扱う。$p=2$（ディリクレ形式）の場合、熱核推定値と「体積倍増性、ポアンカレ、およびカットオフ・ソボレフ不等式の結合」との間の同値性に関して、既によく理解されている。特に、$p > 1$ の一般設定においては、特有の課題が存在する。具体的には、スケーリング関数 $\Phi$（体積成長を制御）と $\Psi$（$p$-ウォーク次元を制御）に対して課される制約について調査を行う。

中心となる問いは以下の通りである：

1. 必要性： チェイン条件（CC）、体積正則性 $V(\Phi)$、不等式 $PI(\Psi)$、および容量上限 $cap(\Psi)_\leq$ を満たす空間は、$\Phi$ と $\Psi$ の関係に対してどのような制約を受けるか？
2. 十分性： 逆に、これらの制約を満たす任意の倍増関数（doubling functions）のペア $\Phi$ および $\Psi$ が与えられたとき、$V(\Phi)$, $PI(\Psi)$, $CS(\Psi)$ が成立する $p$-エネルギーを持つメトリック測度空間が存在するか？

手法
本論文は、Murugan [43] による $p=2$ の場合からの最近の発展を一般の $p > 1$ へと拡張した、**ラクソ型空間（Laakso-type spaces）**の理論に基づく構成的アプローチを採用している。手法は以下の3つの主要段階で進行する：

1. 基礎となる空間の構成：

   • R-ツリー ($T(b)$): 分岐関数 $b: \mathbb{Z} \to \mathbb{N}$ を用いてR-ツリーを構成する。長さ測度に関する勾配を用いて、このツリー上に $p$-エネルギーを定義する。ツリー構造により、ポアンカレ不等式と容量境界の直接的な検証が可能となる。
   • ウルトラメトリック空間 ($U(g)$): 接着関数 $g: \mathbb{Z} \to \mathbb{N}$ を用いてウルトラメトリック空間を構成する。
   • ラクソ型空間 ($L(g, b)$): ターゲットとなる空間は、積空間 $P(g, b) = U(g) \times T(b)$ を、$g$ によって決定される「ワームホール」に沿ってツリーのコピーを「接着」する等価関係の下での商空間として定義される。著者らは特定の測地線距離 $d_{L(g,b)}$ を導入し、結果として得られる空間が測地空間であることを証明する。

2. 測地線と測度の解析：

   • 本論文では、$L(g, b)$ における測地線の詳細な特徴付けを行い、それらが単調であるか、あるいは1つまたは2つの「反転」（ワームホールを通じたジャンプ）を持つことを示す。
   • 商写像 $Q: P(g, b) \to L(g, b)$ はデビッド・セムズ（David-Semmes）正則であることが示され、これにより積測度から商空間上の測度 $m_{L(g,b)}$ への押し出しが可能となる。

3. エネルギーと不等式：

   • $T(b)$ の微分構造を転送することによって、$L(g, b)$ 上の $p$-エネルギー $(E_L, F_L)$ を構成する。
   • ポアンカレ不等式は、「曲線の束（pencil of curves）」の手法を $p$-エネルギーの設定に適応して証明される。
   • カットオフ・ソボレフ不等式は、容量境界との同値性に依存するのではなく（これは Eriksson-Bique による $p=2$ の場合の最近の結果である）、直接的に確立される。この直接的な証明は、容量境界の先行する同値性を仮定せずに $CS(\Psi)$ を確立しようとする本論文の目的において極めて重要である。

主要な結果

1. 必要条件 (Proposition 2.1):
   チェイン条件、体積正則性 $V(\Phi)$、ポアンカレ不等式 $PI(\Psi)$、および容量上限 $cap(\Psi)_\leq$ を満たすメトリック測度空間において、スケーリング関数は以下の関係を満たさなければならないことを証明する：
   $$\frac{1}{C} \left(\frac{R}{r}\right)^p \leq \frac{\Psi(R)}{\Psi(r)} \leq C \left(\frac{R}{r}\right)^{p-1} \frac{\Phi(R)}{\Phi(r)}$$
   ただし $r \leq R$。$\Phi(r) = r^{d_h}$ および $\Psi(r) = r^{\beta_p}$ である均質ケースでは、これは以下の制約を意味する：
   $$p \leq \beta_p \leq d_h + (p - 1)$$

2. 十分性と構成 (Theorem 2.3):
   本論文の主要な貢献は、その逆の証明である。上記の不等式を満たす任意の倍増関数のペア $\Phi$ と $\Psi$ に対して、特定のラクソ型空間 $L(g, b)$ と $p$-エネルギーを構成し、$V(\Phi)$, $PI(\Psi)$, $CS(\Psi)$ がすべて成立するようにする。この構成には、$\Phi$ と $\Psi$ の成長率を近似する分岐関数 $b$ と接着関数 $g$ の選択が含まれる。

3. アールスホルツ正則性に関する系 (Corollary):
   直接的な応用として、本論文は $d_h, \beta_p > 0$ が $p \leq \beta_p \leq d_h + (p - 1)$ を満たすとき、非有界な測地線メトリック測度空間が存在し、それが $d_h$-アールスホルツ正則であり、$p$-ウォーク次元 $\beta_p$ を持つことを確認している。

4. ベゾフ空間の臨界指数:
   これらの結果は、ベゾフ空間 $B_{p, \alpha}$ の到達可能な臨界指数 $\alpha_p$ の範囲を特徴付けるために適用される。本論文は、$\beta_p = p \alpha_p$ が導出された境界内の任意の値を取り得ることを確立している。

意義と主張
本論文は、ポアンカレ不等式と容量不等式の結合から導かれる制約が、存在性に対してシャープかつ十分であるかという問いを解決することを主張している。ラクソ型空間を用いた具体的な例を構成することにより、著者らは、導出された $p$-ウォーク次元 $\beta_p$ に関するハウスドルフ次元 $d_h$ に対する境界が最適であることを示している。

本研究は、熱核推定および関数不等式の理論を、線形なケース（$p=2$）から非線形な $p$-エネルギーの設定へと拡張するものである。技術的な大きな成果は、構築された空間上でのカットオフ・ソボレフ不等式の直接的な証明であり、これにより、一般の $p$ 設定におけるカットオフ・ソボレフ不等式と容量境界の間の同値性の証明を回避している。これは、フラクタル的な領域やケーブルシステム上の $p$-エネルギーを分析するための自己完結的な枠組みを提供するものである。