[論文レビュー] A lower bound for the $\Theta$ function on manifolds without conjugate points

Yannick Guedes Bonthonneau|arXiv (Cornell University)|Mar 17, 2016

Advanced Mathematical Modeling in Engineering参考文献 7被引用数 8

ひとこと要約

本稿は、共形点を持たず、有界幾何を持つ、完全で単連結なリーマン多様体上で、Θ関数に対する一様な下界を確立する。d(x, x′) > ε > 0 に対して、ϑ(x, x′) = d(x, x′)^{n−1}Θ(x, x′) が一様に下から有界であることを示すことで、元々非正曲率または次元2が必要であったBérardのWeyl法の剰余項推定を、曲率の符号に依存しないすべての共形点のない多様体へと拡張する。これは、元の証明における主要な技術的ギャップを解消し、固有関数ノルムや波動トレース展開に関する結果を一般化する。

ABSTRACT

In this short note, we prove that the usual $\Theta$ function on a Riemannian manifold without conjugate points is uniformly bounded from below. This extends a result of Green in two dimensions. This elementary lemma implies that the B\'erard remainder in the Weyl law is valid for a manifold without conjugate points, without any restriction on the dimension.

研究の動機と目的

• 共形点のない多様体上でΘ関数に対する一様な下界を確立し、曲率の符号に関する仮定を不要にする。
• 元々非正曲率または次元2を要していたBérardのWeyl法の剰余項推定を、すべてのコンパクトな共形点のない多様体へ一般化する。
• Bérardの定理の元の証明における技術的ブottleneckを解消するため、補題1.1がより弱い仮定のもとで成り立つことを証明する。
• Bérardの証明で用いられた波動トレース係数ukに関する重要な推定が、非正曲率に依存せず、共形点の不在と有界幾何のみの仮定のもとで成り立つことを示す。

提案手法

• 指数写像の微分の行列式としてΘ関数を導入し、ϑ(x, x′) = d(x, x′)^{n−1}Θ(x, x′) を用いて成長を正規化する。
• 測地線に沿ったヤコビ行列A(t)の漸近的挙動を解析するため、ヤコビ方程式に関連するリッカチ方程式を用いる。
• グリーンの方法を適用し、D(0)=1 かつ D(t)=0 を満たすヤコビ場Dtを構成し、t→∞ における極限D+∞を研究する。
• D+∞(s) が正則であり、D′_t(0) − D′_s(0) = ∫_s^∞ A(ℓ)^{-1}A(ℓ)^{-T} dℓ という恒等式を用いて、逆ヤコビ行列のノルムを評価する。
• ハダマールの不等式を適用し、∥D′_−s(0) − D′_s(0)∥ が小さいs > 0 に対して有界であることを利用して、A(t)^{-1} のノルムを推定する。
• ヤコビ方程式に対するコーシー＝リプシッツの不動点法を用い、D′_s(0) = −1/s + O(1) のO(s)誤差項を制御する。この定数は、断面曲率の有界性にのみ依存する。

実験結果

リサーチクエスチョン

• RQ1 BérardのWeyl法の剰余項推定は、非正曲率を仮定しない共形点のない多様体へ拡張可能か？
• RQ2 Bérardの証明で用いられた波動トレース係数ukに関する重要な推定は、非正曲率に依存せず、共形点の不在のみの仮定のもとで成り立つか？
• RQ3 共形点のない多様体と有界曲率のもとで、d(x, x′) > ε > 0 に対してϑ(x, x′) が一様に下から有界に保たれるか？
• RQ4 共形点の不在と有界幾何のみを仮定して、Θ(x, x′) に対する一様な下界を確立できるか？

主な発見

• 共形点の不在と有界断面曲率の仮定のもとで、任意のd(x, x′) > ε > 0 に対して、ϑ(x, x′) > C を満たし、C > 0 はxとx′に依存しない。
• t > s > 0 に対して、∥A(t)^{-1}∥_2^2 ≤ 2k coth(kt) ∥D′_−s(0) − D′_s(0)∥_2^2 が成り立ち、kは曲率の有界性に関連する。
• 断面曲率が有界であれば、十分小さいs > 0 に対して ∥D′_−s(0) − D′_s(0)∥_2 は一様に有界である。
• t > s > 0 に対して ∥A(t)^{-1}∥_2^2 ≤ C(t) が成り立つことは、ϑ(x, x′) に対する一様な下界が成り立つことを示し、これは補題1.3の核心である。
• この結果により、BérardのWeyl法における剰余項O(λ^{n−1} log λ) が、曲率の符号に依存せず、すべてのコンパクトな共形点のない多様体で成り立つことが示される。
• 証明技法は、修正されたハダマールパラメトリクス係数 ˜uk に対しても一般化可能であり、固有関数や波動トレース推定へのより広範な適用可能性を示唆する。