[論文レビュー] Measure Estimates, Harnack Inequalities and Ricci Lower Bound

Yu Wang, Xiangwen Zhang|arXiv (Cornell University)|Feb 28, 2011

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

ひとこと要約

本稿では、Bakry-Émery リッチ曲率下界を満たすリーマン計量測度空間に対して、アレクサンドロフ＝バクリ＝エーメリー型の測度推定を新たに確立した。これにより、ソボレフや勾配推定に依存せずに、修正ラプラシアンおよび完全非線形作用素に対する新たなハーナック不等式が得られる。主な貢献は、一般化された歪度係数を介して曲率下界と測度推定を結ぶ、接触集合に基づく積分不等式の構築である。

ABSTRACT

On a Riemannian metric-measure space, we establish an Alexandrov-Bakelman-Pucci type measure estimate connecting Bakry-Émery Ricci curvature lower bound, modified Laplacian and the measure of certain special sets. We apply this estimate to prove Harnack inequalities for the modified Laplacian operator and fully non-linear operators. These inequalities seem not available in the literature; And our proof, solely based on the ABP estimate, does not involve any Sobolev inequalities nor gradient estimate. We also propose a question regarding the characterization of Ricci lower bound by the Harnack inequality.

研究の動機と目的

• 古典的なアレクサンドロフ＝バクリ＝エーメリー技法を、Bakry-Émery リッチ曲率下界を満たすリーマン計量測度空間へと拡張すること。
• 局所的リッチ下界の下で、修正ラプラシアンおよび完全非線形作用素に対するハーナック不等式を導出すること。
• 接触集合の測度と曲率、および修正ラプラシアンを結ぶ測度推定を確立し、標準的な微分幾何学的解析手法に依存しないこと。
• ハーナック不等式によるリッチ下界の特徴付けを提案し、曲率と不等式の双対性に関する新たな視点を提示すること。

提案手法

• 古典的ABPにおける線形関数の代わりに、距離関数の二乗 $\rho^2(\cdot, y)$ で定義される放物面を用いる。
• 接触集合 $A(a,E/\Omega,u)$ を、$u + a\rho^2(\cdot,y)$ が $\overline{\Omega}$ 上で下界に達する点の集合として定義する。
• ABP枠組みにおける勾配写像の代わりに、$F[u](x) = \exp_x(\nabla u(x))$ として定義される指数写像を用いる。
• 有限 $N$ に対して $\nu[E] \leq \int_{A} \mathcal{D}_{K,N,r}[u/a](x)^N \nu(dx)$ という測度推定を導出する。$N=\infty$ の場合は指数形式をとる。
• Calderón-Zygmund 分解とABP推定を用いて、非発散型作用素に対するハーナック不等式を導出する。
• Hessian を $\mathcal{M}^+_{\theta}$ と $\mathcal{M}^-_{\theta}$ で制御することにより、Pucci極値作用素などの完全非線形作用素へと結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 ABP技法は、Bakry-Émery リッチ曲率下界を満たすリーマン計量測度空間へ一般化可能か？
• RQ2 ソボレフや勾配推定に依存せずに、局所的リッチ下界の下で修正ラプラシアンに対するハーナック不等式は成立するか？
• RQ3 ABPに基づく測度推定が示唆するように、リッチ下界はハーナック不等式によって特徴付け可能か？
• RQ4 非発散型作用素のハーナック推定において、断面曲率の依存関係は $\theta \neq 1$ のときどのように現れるか？
• RQ5 非発散型ハーナック推定において、$\mathcal{E}_\theta(r)$ に依存することは不可避か？それともリッチ曲率のみで置き換え可能か？

主な発見

• 新たなABP型測度推定が確立された：$\nu[E] \leq \int_{A(a,E/B_r,u)} \mathcal{D}_{K,N,r}[u/a](x)^N \nu(dx)$（$N < \infty$）。ここで $\mathcal{D}_{K,N,r}$ は修正ラプラシアンと曲率パラメータを含む。
• $N = \infty$ の場合、測度推定は指数形式 $\nu[E] \leq \int_{A} \exp(\mathcal{D}_{K,\infty,r}[u/a]) \, \nu(dx)$ をとる。
• 有限次元 $N$-Bakry-Émery リッチ曲率下界の下で、修正ラプラシアンに対するハーナック不等式が、ソボレフや勾配推定に依存せずに証明された。
• Pucci極値作用素などの完全非線形作用素に対しても結果が拡張され、ハーナック定数は $R\sqrt{K} + \mathcal{E}_\theta(2R)$ に依存し、断面曲率の依存関係を反映している。
• 非発散型の場合に $\mathcal{E}_\theta(R)$ に依存することは避けられず、Hessian の固有値解析により、リッチ曲率のみでは置き換え不可能であることが示された。
• 本フレームワークは、断面曲率がゼロの場合に既知のハーナック不等式を回復し、リッチ下界を有する空間へと拡張している。