[論文レビュー] A Note on Lipschitz Continuity of Solutions of Poisson Equations in Metric Measure Spaces

Martin Kell|arXiv (Cornell University)|Jul 8, 2013

Geometric Analysis and Curvature Flows参考文献 8被引用数 8

ひとこと要約

本稿では、RCD(K,N)空間において、任意のSobolev関数が局所的にL^p可積分なラプラシアンをもつ（p > dim μ）場合、局所的にリプシッツ連続であることを確立する。Koskelaら（2003）およびJiang（2011）の証明を適応することで、アーフォルス正則性の仮定を、局所的均一ダブリングおよび体積成長の弱い上界に置き換えた。この仮定はRCD(K,N)空間で成立するため、合成リッチ曲率下限付きのより広いクラスの測度付き距離空間に、リプシッツ連続性の結果を拡張することができる。

ABSTRACT

In this note we show how to adjust some proofs of Koskela et. al 2003 and Jiang 2011 in order to show that in certain spaces $(X,d,μ)$, like $RCD(K,N)$-spaces, every Sobolev function with local $L^{p}$-Laplacian and $p>\dimμ$ is locally Lipschitz continuous.

研究の動機と目的

• ポアソン方程式の解に関するリプシッツ連続性の結果を、アーフォルス正則性の仮定を超えて、より一般の測度付き距離空間に拡張すること。
• 局所的均一ダブリングおよびL^p-ラプラシアン関数の弱い体積成長上界が、p > dim μ の場合にリプシッツ連続性を保証することを示すこと。
• RCD(K,N)空間が必要な幾何的条件を満たすことを確立し、正則性理論の適用を可能にすること。
• Koskela ら（2003）およびJiang（2011）の既存の証明を、アーフォルス正則性の代わりに弱い体積成長およびダブリング仮定に置き換えることで適応すること。
• インフィニティズマルヒルベルト空間に合成リッチ曲率下限をもつ空間に適用可能な洗練された正則性枠組みを提供すること。

提案手法

• 局所的均一ダブリングおよび弱い体積成長をもつ空間に、Jiang（2011）およびKoskela ら（2003）の熱流動およびカーネル推定を適応する。
• 局所的Poincaréおよびダブリング条件から導かれる熱核の上界および下界を用いて、解の挙動を制御する。
• 関数w(t,x)およびその熱核に関するL^2ノルムを用いた、熱流動の修正版の議論を適用する。
• RCD(K,N)条件の下でBishop-Gromovの不等式を用いた比較議論により、中空部の測度を評価する。
• アーフォルス正則性の仮定を、Bishop-Gromovの不等式を用いて弱い体積成長条件に置き換える。
• 新しい仮定の下で、∫p_t(x₀,x)^{p/(p−2)} dμ(x) のべき乗項の可積分性を確立し、正則性証明における主要な積分の収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 ポアソン方程式のリプシッツ連続性に関する結果におけるアーフォルス正則性の仮定を、より弱い幾何的条件に置き換えることは可能か？
• RQ2 RCD(K,N)空間は、L^p-ラプラシアン関数のリプシッツ連続性を支えるために必要なダブリングおよび体積成長条件を満たしているか？
• RQ3 局所的均一ダブリングおよび弱い体積成長の下で、熱核推定および関連する積分制御は有効か？
• RQ4 Koskela ら（2003）およびJiang（2011）の証明技法は、完全なアーフォルス正則性を必要とせず、適応可能か？
• RQ5 Bishop-Gromovの不等式は、合成リッチ曲率下限をもつ空間における局所的リプシッツ連続性の確立において、果たす役割は何か？

主な発見

• RCD(K,N)空間において、任意のSobolev関数が局所的にL^p可積分なラプラシアンをもつ（p > dim μ）場合、局所的にリプシッツ連続である。
• 従来の結果におけるアーフォルス正則性の仮定は、局所的均一ダブリングおよび体積成長の弱い上界に置き換え可能である。
• 新しい幾何的仮定のもとでも、正則性証明で用いられる熱核推定は有効であり、必要な減衰制御が保証される。
• 新しい仮定のもとで、∫₀^T t^{-ε} (∫ p_t(x₀,x)^{p/(p−2)} dμ(x))^{1−2/p} dt の積分は収束する。これは正則性議論において不可欠である。
• RCD(K,N)空間における中空部の測度は、一様なリプシッツ型の上界を満たし、μ(B_r(x)) ≤ C·r（十分小さいrに対して）が成り立つ。これは体積成長条件を支持する。
• 体積の上界における定数Cは、任意の点の近傍で一様に選べるため、幾何的仮定の局所的均一性が保証される。