Hölder regularity of harmonic functions on metric measure spaces

技術要約：メトリック・メジャー・ディリクレ空間における調和関数のヘルダー正則性

問題提起
本論文は、非有界なメトリック・メジャー・ディリクレ（MMD）空間、特に強再帰的フラクタル（例：シェルピンスキー・ガスケット、シェルピンスキー・カーペット）に由来する空間における、調和関数および熱核の正則性に着目している。古典的なデ・ゴールジュ・ナッシュ・モーザー理論は、リーマン多様体やユークリッド領域上の弱解に対する局所的なヘルダー連続性を確立しているが、通常、それは構造定数に依存する暗黙的なヘルダー指数をもたらすものであり、明示的な値を与えるものではない。

フラクタルにおいては、熱核の挙動は、ハウスドルフ次元 $\alpha$ よりも厳密に大きい「ウォーク次元」 $\beta$ を含むサブガウス型推定によって支配される。Devyver, Russ, and Yang (2023) による先行研究では、「一般化逆ヘルダー不等式（GRH）」の下で、特定のケーブル・システム（辺を持つグラフ）上の熱核の勾配推定を確立した。しかし、このアプローチはp.c.f.（有限自己相似）自己相似集合に固有の調和拡張アルゴリズムに依存しており、シェルピンスキー・カーペットへの適用には失敗しており、また、シェルピンスキー・カーペットのケーブル・システムにおけるGRHの妥当性は未解決問題として残されていた。さらに、既存の手法は、正則性を導出するために、明示的な勾配型の条件や確率論的枠組み（分数拡散）を必要とすることが多かった。

手法
著者らは、明示的な指数を導出できるメトリック・メジャー空間に合わせて設計された、新しいヘルダー正則性条件 $HR(\Phi, \Psi)$ を導入している。その手法は、以下のフレームワークに基づいている：

1. 幾何学的および解析的仮定： 論文では、体積が $\Phi(r) \approx r^\alpha$ とスケールする体積正則条件 $V(\Phi)$（小スケールと大スケールで異なる指数 $\alpha_1, \alpha_2$ を持つ）を仮定している。また、時間・距離のスケーリング関数 $\Psi(r) \approx r^\beta$ を持つ上界熱核推定 $UHK(\Psi)$ を仮定している。決定的なのは、著者らが強再帰的条件（$\alpha_i < \beta_i$）を仮定している点であり、これはこれらの空間を一過的な空間から区別し、抵抗形式の存在を保証するものである。
2. 条件の同値性： $V(\Phi)$ および $UHK(\Psi)$ の仮定の下で、以下の5つの異なる条件の同値性を証明することが、本研究の核心的な技術的成果である：
   • 調和関数に対するヘルダー正則性条件 $HR(\Phi, \Psi)$。
   • 弱バックリー・エメリー非負曲率条件 $wBE(\Phi, \Psi)$。
   • 熱核のヘルダー連続性 $HHK(\Phi, \Psi)$。
   • 指数項を含む熱核のヘルダー連続性 $HHK_{exp}(\Phi, \Psi)$。
   • 熱核の対角近傍下界 $NLE(\Psi)$。
3. 証明技法：
   • ポアソン方程式アプローチ： $HR \Rightarrow wBE$ および $HR \Rightarrow HHK_{exp}$ を証明するために、著者らは熱方程式 $\Delta(P_t f) = \partial_t(P_t f)$ をポアソン方程式として扱う。彼らは、非有界なMMD空間におけるポアソン方程式の存在と一意性の結果を利用し、熱核境界から導かれる点別推定を用いる。
   • 抵抗形式論： $NLE \Rightarrow HR$ を証明するために、著者らは抵抗形式（Kigami）の理論を活用する。強再帰的条件の下では、ディリクレ形式が抵抗形式を誘導することを確立している。有効抵抗の推定と、拡張されたディリクレ空間における調和関数の最大原理を用いることで、勾配演算子（$carr\acute{e}\ du\ champ$）を仮定することなくヘルダー正則性を導出する。
   • 解析的 vs 確率論的： 著者らは、先行研究（例：Barlow）で使用されている分数拡散の確率論的枠組みを明示的に避け、簡潔な解析的手法を選択している。

主要な貢献と結果

1. 同値定理 (Theorem 2.1)： 本論文は、体積正則性と上界熱核境界を満たす非有界MMD空間において、調和関数のヘルダー正則性が熱核の対角近傍下界と同値であることを確立している。これは、従来の勾配型の同値性（例：Coulhon et al.）を、勾配演算子を必要としないヘルダー型の設定へと一般化するものである。
2. シェルピンスキー・カーペットの未解決問題の解決： 二面熱核推定（$HK(\Psi)$）がヘルダー正則性条件 $HR(\Phi, \Psi)$、ひいては一般化逆ヘルダー不等式 $GRH(\Phi, \Psi)$ を含意することを証明することで、著者らはDevyver, Russ, and Yangが残した、シェルピンスキー・カーペットのケーブル・システムにおけるGRHの妥当性に関する未解決問題を解決した。
3. 勾配仮定のない勾配推定： 本論文は、強再帰的なフラクタル様ケーブル・システムにおいて、点別二面熱核推定のみで熱核の勾配推定を導出できることを示している。これは、GRHや特定の勾配型条件を仮定する必要があった従来の成果を改善するものである。
4. 明示的なヘルダー指数： 暗黙的な指数を与える従来の反復技法とは異なり、このフレームワークは、調和関数および熱核に対して、小スケールでは $\beta_1 - \alpha_1$、大スケールでは $\beta_2 - \alpha_2$ という明示的なヘルダー指数を与える。
5. 非有界空間およびブローアップへの一般化： 結果は、小スケールと大スケールで異なるスケーリング挙動を持つ可能性のある非有界空間へと拡張される。著者らはこれらの知見を「ブローアップ」構成（例：あるフラクタルを別のフラクタルで膨らませる、例えばヴィクセク集合をシェルピンスキー・カーペットで膨らませる）に適用し、得られる空間がスケール依存の勾配挙動（小スケールではサブガウス型、大スケールではガウス型またはサブガウス型）を示すことを示している。

意義
本論文の意義は、以下の3つの領域にある：

• 理論的統一： 本研究は、熱核推定、曲率条件（弱バックリー・エメリーの意味での）、およびヘルダー正則性を結びつける統一的な解析的枠組みを提供し、古典的なリーマン多様体の結果（Li-Yau, Cheeger-Yau）をメトリック・メジャー・ディリクレの設定へと拡張する。
• 安定性： 著者らは、彼らのヘルダー型条件が、勾配型条件（多くの場合、準等長変換に対して安定ではない曲率仮定を必要とする）とは異なり、準等長安定であることを主張している。この安定性は、空間の強再帰的な性質に由来する。
• 未解決問題の解決： 本論文は、シェルピンスキー・カーペットのケーブル・システムにおける一般化逆ヘルダー不等式の妥当性を決定づけ、これまでの調和拡張アルゴリズムに依存する手法が失敗したケースを解決した。さらに、熱核の勾配推定を得るために、勾配の事前仮定を必要とせず、熱核境界と体積正則性のみに依拠することを可能にした。

本研究は、非平滑なフラクタル的幾何学への正則性理論の厳密な拡張として提示されており、明示的な正則性指数を提供し、ケーブル・システムの解析における特定の技術的ギャップを解消している。