[論文レビュー] Sharp Spectral Gap and Li-Yau's Estimate on Alexandrov Spaces

Zhongmin Qian, Hui-Chun Zhang+1 more|arXiv (Cornell University)|Feb 21, 2011

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

ひとこと要約

本稿は、リッチ曲率が下から有界なコンパクトなアレクサンドロフ空間上での熱方程式の正の解について、鋭いスペクトルギャップ推定とリヤウの勾配推定を確立する。特異空間におけるボッハナー型公式を用いたバクリ–チェンの解析的アプローチを拡張することで、第一非零固有値の鋭い下界を証明し、放物型ハーナック不等式を導出する。これは、滑らかなリーマン多様体における結果を、曲率下界を満たす距離測度空間へ一般化するものである。

ABSTRACT

In the previous work [35], the second and third authors established a Bochner type formula on Alexandrov spaces. The purpose of this paper is to give some applications of the Bochner type formula. Firstly, we extend the sharp lower bound estimates of spectral gap, due to Chen-Wang [9, 10] and Bakry-Qian [6], from smooth Riemannian manifolds to Alexandrov spaces. As an application, we get an Obata type theorem for Alexandrov spaces. Secondly, we obtain (sharp) Li-Yau's estimate for positve solutions of heat equations on Alexandrov spaces.

研究の動機と目的

• 滑らかなリーマン多様体において既知の鋭いスペクトルギャップ推定を、リッチ曲率が下から有界なコンパクトなアレクサンドロフ空間へ拡張すること。
• アレクサンドロフ空間上での熱方程式の正の解に対して、リヤウ型勾配推定を確立すること。
• 鋭いスペクトルギャップ条件の下で、アレクサンドロフ空間に対するオバタ型剛性定理を証明すること。
• 滑らかさや有界ヘッセ行列の欠如に起因する特異空間における解析的課題を、弱解推定と平均値不等式を用いて克服すること。

提案手法

• 滑らかな最大原理の代わりに、楕円型方程式の弱解に対する上界推定を用いて、バクリ–チェンの解析的手法をスペクトルギャップ推定に適応する。
• 先行研究[35]で確立されたアレクサンドロフ空間におけるボッハナー型公式を活用し、特異空間上でも曲率次元型解析を可能にする。
• 先行研究[35]におけるポisson方程式の平均値不等式を応用し、滑らかさの欠如下での固有関数のヘッセ行列を制御する。
• 熱半群と時間依存関数を用いて、解の対数勾配に関する微分不等式を導出する。
• 1次元モデル作用素を用いた比較議論により、曲率と直径を用いて第一非零固有値の上界を評価する。
• 熱核の対数勾配の時間発展を解析し、対数のラプラシアンを含む微分不等式を証明することで、リヤウ推定を導出する。

実験結果

リサーチクエスチョン

• RQ1 チエン–ワンおよびバクリ–チェンの鋭いスペクトルギャップ推定は、滑らかなリーマン多様体から、リッチ曲率が下から有界なアレクサンドロフ空間へ拡張可能か？
• RQ2 正の熱解に対するリヤウ勾配推定はアレクサンドロフ空間上でも成立するか？ もし成立するならば、どのような条件下で成立するか？
• RQ3 スペクトルギャップの等号が成立する場合、それが特定の幾何的構造を意味するオバタ型剛性定理は存在するか？
• RQ4 滑らかさや有界ヘッセ行列の欠如を示す特異空間において、バクリ–チェンの解析的ツールはどのように適応可能か？

主な発見

• 次元 $n$ のコンパクトなアレクサンドロフ空間 $M$ でリッチ曲率 $\geq (n-1)K$ を満たすとき、第一非零固有値 $\lambda_1(M)$ は $\lambda_1(M) \geq \lambda_1(K,n,d)$ を満たす。ここで $d$ は直径であり、$\lambda_1(K,n,d)$ は1次元モデル作用素の第一非零ノイマン固有値である。
• 次元 $n$ のアレクサンドロフ空間でリッチ曲率 $\geq n-1$ を満たし、$\lambda_1(M) = n$ ならば、$M$ は曲率 $\geq 1$ の $(n-1)$ 次元アレクサンドロフ空間上の球面的スパイラルに等長であることが示され、オバタ型剛性結果が得られる。
• 鋭いリヤウ勾配推定が成立する：任意の正の解 $u$ に対して、$M \times (0,\infty)$ 上で $|\nabla \log u|^2 - \frac{\partial}{\partial t}\log u \leq \frac{n}{2t}$ が成り立つ。
• 放物型ハーナック不等式が導出される：$u(x_1,t_1) \leq u(x_2,t_2)\left(\frac{t_2}{t_1}\right)^{n/2}\exp\left(\frac{|x_1x_2|^2}{4(t_2 - t_1)}\right)$ であり、これは以前の結果よりも鋭い。
• 滑らかさの欠如を克服するため、滑らかな最大原理の代わりに弱解推定とポisson方程式の平均値不等式を用いる。
• 結果は、滑らかなリーマン幾何学における古典的推定を、曲率下界を満たす特異な距離測度空間へ一般化する。