Doubling measures and Poincaré inequalities for sphericalizations of metric spaces, with applications to $p$-harmonic functions in unbounded domains

技術的要約：メトリック空間の球面化における倍数測度とポアンカレ不等式、および非有界領域における $p$-調和関数への応用

問題設定
本論文は、倍数測度（doubling measure）を備えた非有界メトリック空間における $p$-調和関数の解析を扱っている。この分野における中心的な課題は、$p$-調和関数（$p$-エネルギー積分を最小化する関数）の理論を、有界領域から非有界領域へと拡張することである。著者らは、非有界メトリック空間 $X$ を、リーマン球面と複素平面の関係に類似した、有界空間 $\hat{X} = X \cup \{\infty\}$ へと写像する「球面化（sphericalization）」という変換を用いている。

核心となる問題は、この変換が $p$-調和関数の理論に必要とされる基本的な構造的特性、すなわち、測度の倍数性と $p$-ポアンカレ不等式の保持に関する条件を決定することである。著者らの先行研究（Björn–Björn–Li, 2019）では、元の空間が強固なアールフォース・レギュラリティ（Ahlfors regularity）を持つという強い仮定の下で、これらの保存結果を確立していた。本論文は、その仮定を、より自然で一般的な条件である「測度が単に倍数（doubling）であること」へと緩和することを目的としている。また、変換された測度の振る舞いと、無限遠における結果としての境界正則性を特徴付ける。

手法
著者らは以下の通り定義される変換フレームワークを採用している：

1. 球面化: 非有界メトリック空間 $(X, d)$ と基点 $a$ が与えられたとき、距離 $d(x, a)$ に依存する共形的な因子を用いて、$\hat{X} = X \cup \{\infty\}$ 上の新しい計量 $\hat{d}$ を定義する。
2. 測度の変換: 変換された測度 $\hat{\mu}_q$ を $d\hat{\mu}_q(x) = (1+|x|)^{-q} d\mu(x)$ として導入する。ここで $|x| = d(x, a)$ である。パラメータ $q$ は、$p$-調和性を保持するように $q=2p$ として特別に選択される。
3. 保存の解析: 本論文では、$(X, d, \mu)$ における倍数性と $p$-ポアンカレ不等式が、球面化された空間 $(\hat{X}, \hat{d}, \hat{\mu}_q)$ においても同様の性質を意味するかどうかを厳密に調査する。
   • 倍数性については、基点 $a$ を中心とする球の測度の成長率に関する必要十分条件を確立する（定理 1.1）。
   • ポアンカレ不等式については、「大きな半径における環状連結性（annular connectivity for large radii）」という概念を導入し、$X$ が完備であり、$p$-ポアンカレ不等式を支持し、かつ特定の成長条件を満たす場合、球面化された空間も $p$-ポアンカレ不等式を支持することを証明する（定理 1.2）。
4. ディリクレ問題への応用: これらの構造的特性の保存を利用して、既知の有界領域の結果（特にペロン解および境界正則性に関する結果）を非有界の設定へと転送する。境界データを取り扱うために、容量 $C_p$ および精緻化された容量 $C_p(\cdot; \Omega)$ を利用する。

主要な貢献と結果

• 仮定の緩和: 主要な理論的貢献は、アールフォース・レギュラリティの仮定（2019年の論文で使用）を、より弱い倍数性の条件へと置き換えたことである。これにより、必ずしもアールフォース・レギュラリティを持たない、重み付きユークリッド空間 $\mathbb{R}^n$ などの包含が可能となる。
• 倍数性とポアンカレ不等式の保存:
  • 定理 1.1: 変換された測度 $\hat{\mu}_q$ が倍数となるための条件を正確に特徴付ける。これには、元の測度 $\mu$ が無限遠における球の成長率について、$\mu(B(a, r))/\mu(B(a, R)) \gtrsim (r/R)^s$ （ただし $s < q$）という下限を満たすことが要求される。
  • 定理 1.2: $X$ が完備であり、大きな半径において環状に連結されており、$p$-ポアンカレ不等式を支持する場合、$q > s$ であれば、球面化された空間 $(\hat{X}, \hat{d}, \hat{\mu}_q)$ も $p$-ポアンカレ不等式を支持することを証明する。
• $p$-調和性の不変性: $q=2p$ のとき、$p$-調和性および超調和性の概念が球面化変換の下で不変であることを示す（定理 7.4）。これは、曲線族の $p$-モジュラスの同値性と、アッパー勾配（upper gradient）の変換に基づいている。
• 無限遠における境界正則性:
  • 定理 1.3 (可解性): 境界関数 $f$ とその摂動 $f+h$ （ここで $h$ は $C_p$-ほとんど至る所（quasieverywhere）で消える）は、$X$ が $p$-双曲的であるか、または領域の補集合が正の容量を持つ場合、同一のペロン解を与えることを確立する。
  • 定理 1.4 (無限遠における三分則): 非有界開集合に対して、無限遠における「三分則（trichotomy）」が成立することを証明する。すなわち、ペロン解の極限がすべての連続な境界データに対して存在するか、あるいは、無限遠へ向かう列において解が無限遠での境界値に収束するか、のいずれかである。両方が成立しないことはあり得ない。
  • 定理 1.5 (バリアによる特徴付け): バリアを用いた無限遠における正則性を特徴付ける。これは、無限遠における正則性が局所的な性質（領域内のコンパクト部分集合に依存しない）であり、バリア関数の存在と等価であることを示している。

意義と主張
本論文は、これらの結果が $p \neq 2$ の場合において、重みなしのユークリッド空間 $\mathbb{R}^n$ ($n \ge 2$) に対しても新しいものであると主張している。アールフォース・レギュラリティの条件を緩和することで、著者らは、$p$-調和関数の理論が適用されるメトリック空間および測類のクラスを大幅に広げている。

著者らは、自身のアプローチによって、以前のより厳格な仮定の下では不可能であった、Heinonen–Kilpeläinen–Martio によって定義される $p$-許容重みを持つ重み付き $\mathbb{R}^n$ を含めることができると明言している。さらに、境界正則性に関する結果（定理 1.4 および 1.5）と精緻化された容量 $C_p(\cdot; \Omega)$ の使用は、メトリック空間の設定において、これまで利用可能であったものよりも、非有界集合におけるディリクレ問題のためのより一般的な枠組みを提供する。本論文は、新しい実験的な応用を提案するものではなく、むしろ非有界幾何学における $p$-調和関数を解析するための理論的基礎を拡張するものである。