[論文レビュー] Neumann problems for $p$-harmonic functions, and induced nonlocal operators in metric measure spaces

Luca Capogna, Josh Kline+3 more|Aaltodoc (Aalto University)|Apr 1, 2022

Nonlinear Partial Differential Equations被引用数 7

ひとこと要約

本稿は、双曲的測度付き距離空間にPoincaré不等式を満たす有界領域における$p$-ラプラシアンのノイマン問題について、存在性、グローバルHölder正則性、安定性を確立する。超曲面埋め込みとCaffarelli–Silvestreの拡張法を用いて、$2$-Poincaré不等式が成り立たない場合でも、コンパクトな双曲的測度付き距離空間上に分数階$p$-ラプラシアン$(-\Delta_p)^\theta$（$0<\theta<1$）を構成する。非同次方程式$(-\Delta_p)^\theta u = f$について、存在性、正則性、Harnack不等式、安定性を証明する。これらの結果は、ユークリッド空間、リーマン多様体、カーノー群の設定における先行研究を統合・拡張する。

ABSTRACT

Following ideas of Caffarelli and Silvestre in~\cite{CS}, and using recent progress in hyperbolic fillings, we define fractional $p$-Laplacians $(-Δ_p)^θ$ with $0

研究の動機と目的

• 双曲的測度付き距離空間に$p$-Poincaré不等式を満たす有界領域における$p$-ラプラシアンのノイマン問題について、存在性、グローバルHölder正則性、安定性を確立すること。
• 2-Poincaré不等式が成り立たない場合でさえも、Caffarelli–Silvestreの分数階ラプラシアン構成法を一般のコンパクトな双曲的測度付き距離空間に拡張すること。
• 拡張空間における境界解としてのノイマン問題の解を用い、$0<\theta<1$ に対し、そのような空間上に分数階$p$-ラプラシアン$(-\Delta_p)^\theta$ を定義し、解析すること。
• 特に[32]と整合性を保つために、拡張空間における倍加性およびPoincaré不等式といった主要な幾何学的・解析的性質を検証すること。
• ノイマン問題における右辺$f$の有界性仮定を撤廃し、[53]における先行結果を一般化すること。

提案手法

• 超曲面埋め込みを用いて、$1$-Poincaré不等式を満たし、境界$Z=\partial X$とリーマン同相である局所コンパクトで非コンパクトな双曲的測度付き距離空間$(X,d,\mu)$を構成すること。
• ノイマン問題の弱い定式化を$p$-ラプラシアンに適用する：すべてのSobolev関数$\phi$に対して $\int_\Omega |\nabla u|^{p-2}\nabla u \cdot \nabla \phi\,d\mu = \int_{\partial\Omega} \phi f\,d\nu$ が成り立つこと。
• 球における反復的推移と減衰推移を用いて、ノイマンデータ$f$の摂動に対する解のグローバルHölder正則性と安定性を確立すること。
• 拡張問題におけるDirichlet-to-Neumann写像を用いて、$X$における拡張問題の解から$Z$上に分数階$p$-ラプラシアン$(-\Delta_p)^\theta$ を構成すること。
• 境界に誘導される測度$\mu_\omega$ における倍加性および$2$-Poincaré不等式を検証し、分数階作用素の正当性を保証すること。
• 半径$r_n \to R/2$ となる球$B(x,r_n)$における反復的減衰推移を用い、$L^p$ノルムと切り捨て技術を駆使して、解の有界性を証明すること。

実験結果

リサーチクエスチョン

• RQ1 2-Poincaré不等式を満たさないコンパクトな双曲的測度付き距離空間に対し、分数階$p$-ラプラシアンを定義できるか？
• RQ2 双曲的測度付き距離空間に$p$-Poincaré不等式が成り立つ場合、$p$-ラプラシアンのノイマン問題はグローバルHölder正則性と安定性を有するか？
• RQ3 超曲面埋め込みを用いて、Caffarelli–Silvestreの拡張法を非ユークリッド的測度付き距離空間に一般化できるか？
• RQ4 本稿で構成された分数階$p$-ラプラシアンは、ユークリッドおよびリーマン幾何における既知の定義と整合的か？
• RQ5 ノイマン問題における右辺$f$の有界性仮定を撤廃できるか？

主な発見

• 倍加性および$p$-Poincaré不等式という構造的仮定のもとで、境界上に$L^q$データ$f$をもつノイマン問題は、グローバルHölder正則性と安定性を有する。
• 2-Poincaré不等式が成り立たない場合でさえも、任意のコンパクトな双曲的測度付き距離空間$Z$上に分数階$p$-ラプラシアン$(-\Delta_p)^\theta$ が、拡張問題のDirichlet-to-Neumann写像を用いて構成可能である。
• 特に$p=2$の場合、構成された分数階ラプラシアンは文献に登場する古典的定義と一致し、ヒルベルト空間の場合のアプローチの妥当性が裏付けられる。
• 構成法は、$Z$の超曲面埋め込みを用いて、$1$-Poincaré不等式を満たす空間$X$を構成することに依存しており、$Z$が$\partial X$とリーマン同相であることから、拡張法が可能になる。
• 本稿では、ノイマン問題における$f$の有界性仮定を撤廃し、半径を縮小する球における反復的減衰推移を用いて、$B(x,R/2)$ 内で解が有界であることを証明した。
• この方法により、$(-\Delta_p)^\theta u = f$ の解について、Harnack不等式および安定性が得られ、反復過程における明示的な減衰率が得られる。