[論文レビュー] Heat Kernel Analysis on Infinite-Dimensional Heisenberg Groups

Bruce K. Driver, Maria Gordina|ArXiv.org|May 12, 2008

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

ひとこと要約

本稿は、抽象ウィener空間から導かれる無限次元ヘイゼンベルク群における熱核測度を構築し、ガウス型上界、カマラ＝マーティンの擬不変性、ラドン＝ニコディム導関数の$L^p$上界、部分積分、対数ソボレフ不等式を確立する。主な貢献は、リッチ曲率テンソルが有界であることを証明したことであり、これが非可換な無限次元リー群におけるすべての主要な解析的結果の根拠となっている。

ABSTRACT

We introduce a class of non-commutative Heisenberg like infinite dimensional Lie groups based on an abstract Wiener space. The Ricci curvature tensor for these groups is computed and shown to be bounded. Brownian motion and the corresponding heat kernel measures, $\{ν_t\}_{t>0},$ are also studied. We show that these heat kernel measures admit: 1) Gaussian like upper bounds, 2) Cameron-Martin type quasi-invariance results, 3) good $L^p$ -- bounds on the corresponding Radon-Nykodim derivatives, 4) integration by parts formulas, and 5) logarithmic Sobolev inequalities. The last three results heavily rely on the boundedness of the Ricci tensor.

研究の動機と目的

• 有限次元における熱核の結果（擬不変性、対数ソボレフ不等式、ガウス型上界）を、無限次元非可換ヘイゼンベルク群へと拡張すること。
• リーマン体積測度が欠落している状況において、これらの群上のブラウン運動の確率過程を用いて熱核測度を定義すること。
• これらの群におけるリッチ曲率テンソルが有界であることを確立し、主要な関数不等式の導出を可能にすること。
• 抽象ウィナー空間構造を用いて、無限次元ヘイゼンベルク型群における解析の厳密な枠組みを提供すること。
• 非コンパクトで非アーベルな無限次元リー群に、非自明な曲率を有する状況において、マリャヴィンの確率的解析フレームワークを一般化すること。

提案手法

• スケューミトリック形式を用いて抽象ウィナー空間から無限次元ヘイゼンベルク群を構成し、適切なリー代数構造を保証する。
• 有限次元射影と弱収束を用いて群上でのブラウン運動を定義し、熱核測度の族$\{\nu_t\}_{t>0}$を導く。
• 群のリー代数および計量構造に基づく内在的幾何解析を用いて、リッチ曲率テンソルが有界であることを証明する。
• カマラ＝マーティン空間における距離推定と体積比較を用いて、熱核に対するガウス型上界を確立する。
• 有界リッチ曲率を用いて、ウィーナー測度に対する$\nu_t$のラドン＝ニコディム導関数の$L^p$上界を導出する。
• 有界リッチ曲率と群上の関数計算を活用し、部分積分と対数ソボレフ不等式を証明する。

実験結果

リサーチクエスチョン

• RQ1 リーマン体積測度が欠落している無限次元ヘイゼンベルク群において、熱核測度を意味的に定義することは可能か？
• RQ2 抽象ウィナー空間から構成された無限次元ヘイゼンベルク型群におけるリッチ曲率テンソルは、有界のままであるか？
• RQ3 熱核測度はカマラ＝マーティン平行移動に関して擬不変性を満たすか？ また、$L^p$ノルムで定量的に評価可能か？
• RQ4 このような測度に対して対数ソボレフ不等式を確立できるか？ 有界リッチ曲率はその役割を果たすか？
• RQ5 この無限次元設定における熱核の正確なガウス型上界は何か？

主な発見

• 無限次元ヘイゼンベルク群におけるリッチ曲率テンソルは有界である。これは、以降のすべての不等式の根拠となる基盤的結果である。
• 熱核測度$\{\nu_t\}_{t>0}$はガウス型上界を有し、その減衰率は群内の二乗距離によって制御される。
• $\nu_t$はカマラ＝マーティン平行移動に関して擬不変性を示し、$p>1$に対してラドン＝ニコディム導関数の$L^p$上界が一様に制御される。
• 滑らかなシリンダ関数に対して部分積分の公式が成り立ち、そのドリフト項は有界リッチ曲率と明示的に関連づけられる。
• $\nu_T$に対して対数ソボレフ不等式が確立され、その定数はリッチ曲率の下界と時間$T$に依存する。
• 小さな近傍において、距離$d_{CM}(\mathbf{e},x)$と内在的距離$\delta(\mathbf{e},x)$は一様な定数の範囲で同値であり、幾何的制御が保証される。