Existence and stability of solutions of the Dirichlet problem for the $p$-Poisson equation in metric measure spaces

技術要約：メトリック測度空間における $p$-ポアソン方程式のディリクレ問題の解の存在と安定性

問題設定
本論文は、メトリック測度空間 $(X, d, \mu)$ の枠組みにおける $p$-ポアソン方程式のディリクレ問題を調査するものである。方程式は、領域 $\Omega \subset X$ において $-\Delta_p u = f$、境界条件は $\partial \Omega$ 上で $u = g$ と与えられる。古典的なユークリッド設定では、$p$-ラプラシアンは $\Delta_p u := \text{div}(|\nabla u|^{p-2}\nabla u)$ と定義される。著者らは、この問題を、倍増測度（doubling measure）を備え、$(p, p)$-ポアンカレ不等式を支持する非平滑なメトリック測度空間へと拡張することを目指している。

ここでの主要な課題は、標準的な微分構造（すなわち、ベクトル値の勾配 $\nabla u$）の欠如である。勾配の大きさはアッパー勾配（upper gradient）を通じて一般化できるが、標準的な弱形式に必要なベクトルの性質はより繊細な問題となる。本論文はこの問題に対し、チェカー（Cheeger）の微分構造を利用することで対処している。これにより、測地空間において線形勾配演算子を用いることが可能となる。あるいは、最小 $p$-弱アッパー勾配を用いてエネルギー最小化によって解を定義する方法も採用している。後者は測地構造を必要としない。

手法
著者らは、単なる弱形式におけるベクトル勾配にのみ依存するのではなく、特定のエネルギー汎関数の最小化因子として解を定義するという変分的なアプローチを採用している。

1. 枠組みと定義:

   • 空間は、倍増測度と $(p, p)$-ポアンカレ不等式を備えた完備メトリック測度空間であると仮定される（$1 < p < \infty$）。
   • 解はニュートン空間 $N^{1,p}(\Omega)$ 内で求められ、境界条件は部分空間 $N^{1,p}_0(\Omega)$ を通じて扱われる。
   • 解の定義として、以下の2つが提案されている：
     • チェカーの設定（測地空間）: チェカーの勾配 $\nabla u$ を用い、解は $\int_\Omega |\nabla u|_x^{p-2} \langle \nabla u, \nabla \phi \rangle_x d\mu = \int_\Omega f \phi d\mu$ という弱形式を満たす。
     • 一般的な設定（最小化因子）: 解は、汎関数 $J(u) = \int_\Omega g_u^p d\mu - p \int_\Omega f u d\mu$ を最小化する関数 $u \in N^{1,p}(\Omega)$ として定義される（ここで $g_u$ は最小 $p$-弱アッパー勾配である）。この定義は、空間が測地的である場合、チェカーの定式化と等価であることが示されている。

2. 存在証明:

   • 最小化因子の存在は、変分法の直接法を用いて確立される。
   • ヘルダーの不等式とポアンカレ型の不等式（補題 2.8）を用いて、汎関数 $J$ が下から有界であることが示される。
   • 最小化列が $N^{1,p}$ ノルムにおいて有界であることが示される。$L^p$ 空間の反射性とマズールの補題により、凸結合の列が極限 $u_0$ に収束する。
   • ノルムの下半連続性と線形項の収束性により、$u_0$ が下限を達成することが保証され、これにより測地的であることを要求せずに存在が証明される。

3. 安定性と一意性:

   • 安定性は、特にチェカーの設定（空間が測地的であることを要求）において分析される。
   • 著者らは、ソース項 $f$ および境界データ $g$ の摂動に対する安定性を証明している。
   • これらの証明の鍵は、解の $p$-エネルギーの一様有界性を確立する補題 5.1 である。
   • 安定性の評価は、$p$ の値に基づいて異なる：
     • $p \ge 2$ の場合、安定性は $p$-ラプラシアン作用素の単調性を用いて導かれる。
     • $1 < p < 2$ の場合、証明には勾配の和と、指数 $2/p$ および $2/(2-p)$ を用いたヘルダーの不等式を用いた不等式が利用される。
   • 一意性は、安定性の結果の直接的な系として導かれる。

主要な貢献と結果

• 存在: 本論文は、最小化因子として解を定義することにより、一般的なメトリック測度空間（倍増 + ポアンカレ）における $p$-ポアソン方程式のディレクレ問題の解の存在を証明している。このアプローチは、存在証明においてチェカーの微分構造を必要としない。
• 等価性: 測地空間においては、変分的な定義（最小化因子）がチェカーの勾配を用いた弱形式と等価であることが示されている。
• 安定性評価: 著者らは、ソース項 $f$ および境界データ $g$ の変化に対する、$N^{1,p}$ ノルムにおける解の明示的な安定性評価を提供している。これらの評価は、定数 $p$ および空間の幾何学的性質（定数 $c_1$ および $N$ を介して）に依存する。
• 一意性: 本論文は、安定性解析の結果として、チェカーの設定における解の一意性を確立している。

意義と主張
本論文は、$p$-ポアソン方程式の理論を、ユークリッド空間やRCD空間から、より広範な倍増測度とポアンカレ不等式を持つメトリック測度空間へと拡張することを主張している。最小化因子の手法を利用することで、著者らは、測地的空間においてのみ保証されるチェカーの微分構造に依存しない、堅牢な存在論を提供している。

その意義は、非平滑な設定におけるディレクレ問題の厳密な取り扱いにある。これは、$p$-調和関数の抽象的なポテンシャル論と、$p$-ポアソン方程式（ソース項あり）の具体的なケースとの間の溝を埋めるものである。著者らは、彼らの研究が、ソース項が $f \in L^{p'}(\Omega)$ である特定のケースに焦点を当てていることを明示しており、これは他の文献で研究されているより一般的な測度値ソース項とは区別される。安定性の結果は、解のデータへの依存性に対する定量的な制御を提供しており、これは数値解析やさらなる非平滑解析の発展において不可欠な特性である。