[論文レビュー] Cheeger-harmonic functions in metric measure spaces revisited

Renjin Jiang|arXiv (Cornell University)|Jul 4, 2013

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

ひとこと要約

本稿は、局所的にダブリング測度と局所的弱 $ L^2 $-Poincaré 不等式を備えた測度空間上で、Cheeger-調和関数および非線形ポisson型方程式の解について勾配推定を確立する。熱半群型の曲率条件を導入することで、先行研究が要請していたアーフォルズ正則性の仮定を、より弱いダブリング測度の仮定に緩和し、Cheeger-調和関数が局所的にリプシッツ連続であることを証明する。

ABSTRACT

Let $(X,d,μ)$ be a complete metric measure space, with $μ$ a locally doubling measure, that supports a local weak $L^2$-Poincaré inequality. By assuming a heat semigroup type curvature condition, we prove that Cheeger-harmonic functions are Lipschitz continuous on $(X,d,μ)$. Gradient estimates for Cheeger-harmonic functions and solutions to a class of non-linear Poisson type equations are presented.

研究の動機と目的

• 先行研究で要請されていたアーフォルズ正則性の仮定を、より弱い局所的ダブリング測度の仮定に緩和すること。
• 測度空間における非線形ポisson型方程式の解についての勾配推定を確立すること。
• 熱半群型曲率条件の下で、Cheeger-調和関数が局所的にリプシッツ連続であることを証明すること。
• 滑らかでない測度空間へのヤウ型勾配推定を、最小限の幾何的仮定で拡張すること。
• 勾配推定の定量的依存関係を、ダブリング定数やPoincaré定数などの幾何的パラメータに明示すること。

提案手法

• 不等式 $ T_t(g^2)(x) - [T_t(g)(x)]^2 \leq (2t + c_\kappa(T)t^2)T_t(|Dg|^2) $ を用いて、熱半群型曲率条件を定式化する（$ 0 < t < T $）。
• Caccioppoli 不等式およびSobolev-Poincaré 不等式を用いて、Moser の反復法を適用し、解の $ L^\infty $ 界を導出する。
• 領域 $ B(y_0, 3R/2) $ に台を持つ切り捨て関数 $ \phi $ を用い、$ B(y_0, R) $ 上で 1 に等しいものとして局所化を実現する。
• Leibniz の法則を満たし、点毎のリプシッツ連続性とノルムが同等であるCheeger 微分作用素 $ D $ を用いる。
• 熱半群型曲率条件と局所的弱 $ L^2 $-Poincaré 不等式、ダブリング測度を組み合わせて勾配界を導出する。
• ダブリングとPoincaré不等式から導かれる放物型ハルナック不等式を用い、ホルダー連続性を示し、Moser の反復法を支援する。

実験結果

リサーチクエスチョン

• RQ1 アーフォルズ正則性の代わりに、局所的ダブリング測度の仮定のもとで、Cheeger-調和関数のリプシッツ正則性を確立できるか？
• RQ2 熱半群型曲率条件は、非線形ポisson方程式の解の勾配界を保証するために果たす役割は何か？
• RQ3 Cheeger-調和関数の勾配推定は、ダブリング定数 $ C_Q(2R) $、Poincaré定数 $ C_P(2R) $、曲率関数 $ c_\kappa(R^2) $ にどのように依存するか？
• RQ4 滑らかでない測度空間において、Moser の反復法を応用して、$ L^\infty $ および勾配推定を鋭く得られるか？
• RQ5 勾配界は半径 $ R $、$ \lambda $ の $ L^\infty $-ノルム、および曲率関数 $ c_\kappa(R^2) $ にどのように依存するか？

主な発見

• 完備で道で接続された測度空間において、局所的に $ Q $-ダブリング測度と局所的弱 $ L^2 $-Poincaré 不等式が成り立ち、かつ熱半群型曲率条件が満たされるならば、Cheeger-調和関数は局所的にリプシッツ連続である。
• 方程式 $ Lu = -\lambda u $ の $ 2B $ 上での解に対して、勾配推定は $ \| |Du| \|_{L^\infty(B)} \leq C \left( \frac{1}{R} + \sqrt{c_\kappa(R^2)} \right) \fint_{2B} |u| \, d\mu $ で与えられる。ここで $ C $ は $ Q, C_Q(2R), C_P(2R), \|\lambda\|_{L^\infty(2B)}R^2 $ に依存する。
• 正の調和関数に対しては、$ B(y_0, R) $ almost everywhere で $ |Du(x)| \leq C(Q, C_Q(1), C_P(1)) \left( \sqrt{c_\kappa(1)} + \frac{1}{R} \right) u(x) $ が成り立ち、$ R < 1/2 $ のとき定数は $ R $ に依存しない。
• $ Q \in (1,2) $ の場合、Caccioppoli 不等式とSobolev-Poincaré 不等式を組み合わせることで、より良い推定が得られ、$ \|u\|_{L^\infty(B)} \leq C(1 + \sqrt{\|\lambda\|_{L^\infty(2B)} R}) \fint_{B(y_0, 2R)} |u| \, d\mu $ が成立する。
• $ Q > 2 $ の場合、Moser の反復法により、$ \|u\|_{L^\infty(B)} \leq C(Q, C_P(2R), C_Q(2R)) (1 + \|\lambda\|_{L^\infty(2B)} R^2)^{Q/4} \left( \fint_{B(y_0, 2R)} |u|^2 \, d\mu \right)^{1/2} $ という多項式的依存関係が得られる。
• 証明は、ダブリングとPoincaré不等式が放物型ハルナック不等式と同値であることに依拠しており、これにより楕円型ハルナック不等式が導かれ、結果としてホルダー連続性が得られるが、曲率条件がなければリプシッツ連続性は得られない。