[論文レビュー] Lipschitz continuity of solutions of Poisson equations in metric measure spaces

Renjin Jiang|arXiv (Cornell University)|Apr 7, 2010

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

ひとこと要約

本稿は、測度付き距離空間におけるポアソン方程式 Δu = f の解の局所リプシッツ連続性を、アーフォルス Q-正則性、2-ポワンカレ不等式、および熱核を含むソボレフ-ポワンカレ型不等式 (1.1) の仮定の下で確立する。熱流の技法と修正された汎関数 J(t) を用いて、f ∈ L^p(Ω) かつ p > Q のとき、解 u が局所リプシッツ連続であることを証明し、古典的でない非滑らかで非リーマン的空間における調和関数の正則性理論をポアソン方程式へ拡張する。

ABSTRACT

Let $(X,d)$ be a pathwise connected metric space equipped with an Ahlfors $Q$-regular measure $μ$, $Q\in[1,\infty)$. Suppose that $(X,d,μ)$ supports a 2-Poincaré inequality and a Sobolev-Poincaré type inequality for the corresponding "Gaussian measure". The author uses the heat equation to study the Lipschitz regularity of solutions of the Poisson equation $Δu=f$, where $f\in L^p_\loc$. When $p>Q$, the local Lipschitz continuity of $u$ is established.

研究の動機と目的

• 調和関数のリプシッツ正則性理論を一般の測度付き距離空間におけるポアソン方程式 Δu = f の解へ拡張すること。
• 解が局所リプシッツ連続となるために必要な最小限の幾何学的・解析的条件、具体的にはアーフォルス Q-正則性、2-ポワンカレ不等式、およびソボレフ-ポワンカレ不等式 (1.1) を特定すること。
• 古典的 PDE 手法が失敗する非滑らかで非リーマン的設定における解の正則性を研究するための枠組みを確立すること。
• [15] における調和関数に関する結果を、熱流とディリクレ形式理論を用いて、より一般的なポアソン方程式の文脈へ一般化すること。

提案手法

• ディリクレ形式 ∫|Du|² dμ に関連する熱方程式と熱核 p(t,x,y) を用いて、解の正則性を分析する。
• 解の勾配の成長を制御するため、修正された汎関数 J(t) = (1 + t^ε)/t ∫₀ᵗ ∫|Dw(s,x)|² p(s,x₀,x) dμ(x) ds を導入する。
• 弱い2-ポワンカレ不等式とソボレフ-ポワンカレ不等式 (1.1) を用いて、解の振動と勾配を制御する。
• ディリクレ形式理論と拡散半群理論を用いて、チーラー微分 |Du| の点ごとの推定を得る。
• 不等式 (1.1) が成り立つための十分条件として、対数的ソボレフ不等式と曲率下界 (Γ₂ ≥ κΓ) を用いる。
• 近似と極限の議論を用いて、lim_{t→0⁺} J(t) = |Du(x₀)|² almost everywhere が成り立つことを示し、これが局所リプシッツ連続性を意味することを示す。

実験結果

リサーチクエスチョン

• RQ1 測度付き距離空間 (X,d,μ) に対して、ポアソン方程式 Δu = f の解が局所リプシッツ連続であるための条件は何か？
• RQ2 文献 [15] で用いられた調和関数のための手法を、抽象的測度付き距離空間におけるポアソン方程式の解のリプシッツ正則性を示すために適応可能か？
• RQ3 熱核と関連する半群は、ポアソン方程式の解の勾配を制御するために果たす役割は何か？
• RQ4 ソボレフ-ポワンカレ不等式 (1.1) はリプシッツ正則性に対して必要か十分か？また、どのような幾何的条件がこれを保証するか？
• RQ5 f ∈ L^p(Ω) かつ p > Q であるとき、u の局所リプシッツ連続性とはどのように関係するか？

主な発見

• f ∈ L^p(Ω) かつ p > Q のとき、(X,d,μ) がアーフォルス Q-正則性を満たし、2-ポワンカレ不等式を満たし、ソボレフ-ポワンカレ不等式 (1.1) を満たす限り、ポアソン方程式 Δu = f の解 u は Ω において局所リプシッツ連続である。
• 解の勾配を熱流を介して制御するため、汎関数 J(t) が修正され、t → 0⁺ の極限で |Du(x₀)|² に等しくなることが示され、これが局所リプシッツ連続性を意味する。
• 不等式 (1.1) は対数的ソボレフ不等式または曲率下界 (Γ₂ ≥ κΓ) によって保証され、特に κ ≥ 0 のとき成立する。
• 正の C² 重み w を持つユークリッド空間では、Γ₂(u,u) ≥ 0 が成り立つため、κ = 0 で (1.1) が成立し、必要な正則性条件を満たす。
• この結果は、与えられた仮定のもとで、局所リプシッツ連続性が達成可能な最良の正則性であることを示しており、測度 μ がダブリングかつ Q-正則であっても、(1.1) が成り立たない限り調和関数はリプシッツでないことがある。
• 本手法により、熱流とディリクレ形式理論を用いて、滑らかでなくリーマン的でもない設定における調和関数の正則性理論を、ポアソン方程式へ成功裏に拡張した。