[論文レビュー] Small time heat kernel asymptotics at the sub-Riemannian cut locus

Davide Barilari, Ugo Boscain+1 more|arXiv (Cornell University)|Jan 14, 2012

Geometric Analysis and Curvature Flows参考文献 33被引用数 8

ひとこと要約

本稿は、部分リーマン多様体上の小時間ヒートカーネルの漸近展開を、カット集合において精密化し、その崩壊速度が最小化ジオデシックの共役性に依存することを示している。強く正規の最小化ジオデシック（異常成分を含まない）を仮定すると、ヒートカーネルは $ p_t(x,y) \sim t^{-n + \sum_{i=1}^n \frac{1}{2m_i}} \exp\left(-\frac{d^2(x,y)}{4t}\right) $ と振る舞う。ここで指数 $ m_i $ は中点におけるへッセ行列の非退化の度合いを反映しており、ヴァラダハンの公式を一般化し、モルチャンォフの方法を部分リーマン幾何に拡張する。

ABSTRACT

For a sub-Riemannian manifold provided with a smooth volume, we relate the small time asymptotics of the heat kernel at a point $y$ of the cut locus from $x$ with roughly "how much" $y$ is conjugate to $x$. This is done under the hypothesis that all minimizers connecting $x$ to $y$ are strongly normal, i.e.\ all pieces of the trajectory are not abnormal. Our result is a refinement of the one of Leandre $4t\log p_t(x,y) o -d^2(x,y)$ for $t o 0$, in which only the leading exponential term is detected. Our results are obtained by extending an idea of Molchanov from the Riemannian to the sub-Riemannian case, and some details we get appear to be new even in the Riemannian context. These results permit us to obtain properties of the sub-Riemannian distance starting from those of the heat kernel and vice versa. For the Grushin plane endowed with the Euclidean volume we get the expansion $p_t(x,y)\sim t^{-5/4}\exp(-d^2(x,y)/4t)$ where $y$ is reached from a Riemannian point $x$ by a minimizing geodesic which is conjugate at $y$.

研究の動機と目的

• Leandreの小時間ヒートカーネル漸近展開 $ 4t\log p_t(x,y) \to -d^2(x,y) $ を、カット集合における下位項を捉えることで精密化すること。
• 部分リーマン多様体における最小化ジオデシックの共役性とヒートカーネルの崩壊速度との関係を特定すること。
• リーマン幾何におけるモルチャンォフのエネルギー展開法を、特に共役点を含む状況において部分リーマン幾何に拡張すること。
• 部分リーマン幾何（距離、共役性）と確率解析（ヒートカーネルの挙動）を結びつける一般的な枠組みを確立すること。

提案手法

• 最小化ジオデシックの内分点 $ x $ から $ y $ への中点上に定義されたへっしんエネルギー関数 $ h_{x,y}(z) = \frac{1}{2}(d^2(x,z) + d^2(z,y)) $ を定義する。
• 中点 $ z_0 $ の周りにおける $ h_{x,y}(z) $ のテイラー展開を解析し、それが最小値をとると仮定する。
• 展開の主要項 $ h_{x,y}(z) = \frac{1}{4}d^2(x,y) + \sum_{i=1}^n z_i^{2m_i} + \cdots $ を用いてヒートカーネルの崩壊速度を特定する。
• ヘッセ行列と共役点の構造を活用した、部分リーマン版のモルチャンォフの方法を適用する。
• 展開における指数 $ m_i $ をジオデシックの共役次数に関連付け、より高い非退化度がより遅い崩壊をもたらすことを示す。
• ポップ体積と部分ラプラシアンの構造を用いて、与えられた仮定のもとでヒートカーネルが適切に定義され、滑らかであることを保証する。

実験結果

リサーチクエスチョン

• RQ1 最小化ジオデシックが共役である場合、部分リーマン的カット集合におけるヒートカーネルの崩壊様式はいかなるものか？
• RQ2 ヒートカーネルの崩壊速度が最小化ジオデシックの共役次数にどのように依存するか？
• RQ3 リーマン多様体におけるモルチャンォフのヒートカーネル漸近展開法を、共役点を含む部分リーマン多様体に拡張できるか？
• RQ4 へっしんエネルギー関数 $ h_{x,y}(z) $ は、共役性およびカット集合構造に関する幾何的情報をどのように符号化するか？
• RQ5 へっしんエネルギーが $ \sum z_i^{2m_i} $ の形の多項式展開を持つ場合、ヒートカーネルの明示的展開はどのような形か？

主な発見

• ヒートカーネルはカット集合において $ p_t(x,y) \sim C t^{-n + \sum_{i=1}^n \frac{1}{2m_i}} \exp\left(-\frac{d^2(x,y)}{4t}\right) $ と崩壊する。ここで $ m_i $ はへっしんエネルギー展開における指数である。
• ユークリッド体積を有するグリューシン平面では、漸近的挙動は $ p_t(x,y) \sim t^{-5/4} \exp\left(-\frac{d^2(x,y)}{4t}\right) $ であり、$ m_1 = 2 $、$ m_2 = 2 $ に対応し、$ \sum \frac{1}{2m_i} = \frac{1}{4} $ となる。
• 共役次数が高くなるほど崩壊速度は遅くなる：$ m_i $ が大きいほど、より強い共役性が反映される。
• 本手法は、異常最小化子を含まない部分リーマン多様体に一般に適用可能であり、接触多様体やCR多様体を含む。
• リーマンの場合でさえ、$ h_{x,y} $ のヘッセ行列とヒートカーネルの崩壊速度との明確な関係が、本研究で初めて示された。
• 本結果により、ヒートカーネルから部分リーマン距離、および逆に距離からヒートカーネルを幾何的に特徴づける枠組みが得られた。