[論文レビュー] Log-Sobolev inequalities on the horizontal path space of a totally geodesic foliation

Fabrice Baudoin, Qi Feng|arXiv (Cornell University)|Mar 27, 2015

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

ひとこと要約

本稿では、マリャヴィンカルキュラスを用いて、完全測地的リーマン分岐の水平路空間上で対数ソボレフ不等式を確立し、一価族のオーレンシュタイン＝ウーレンバック作用素の超合同性を証明するとともに、曲率とねじれの仮定の下で水平ブラウン運動の鋭い集中および尾確率推定を得ている。

ABSTRACT

We develop a Malliavin calculus on the horizontal path space of a totally geodesic Riemannian foliation. As a first application, under suitable assumptions, we prove a log-Sobolev inequality for a natural one-parameter family of infinite-dimensional Ornstein-Uhlenbeck type operators. As a second application, we obtain concentration and tail estimates for the horizontal Brownian motion of the foliation.

研究の動機と目的

• 完全測地的リーマン分岐の水平路空間上にマリャヴィンカルキュラスの枠組みを構築すること。
• この路空間上での一パラメータ族の無限次元オーレンシュタイン＝ウーレンバック作用素に対して、対数ソボレフ不等式を証明すること。
• 曲率およびヤンミルズ型ねじれ条件の下で、水平ブラウン運動の集中および尾推定を導出すること。
• 対数ソボレフ不等式が、これらの作用素によって生成される熱半群の超合同性と同値であることを示すこと。
• 曲率およびねじれの制約の下で、水平ブラウン運動路の上界の鋭い指数的尾境界を確立すること。

提案手法

• ボット接続および水平ラプラシアンから導かれる部分積分公式を用いて、水平路空間上にマリャヴィンカルキュラスを構築する。
• 水平ブラウン運動の汎関数に対してクラーク＝オクーンの表現公式を適用し、路空間上の確率解析を可能にする。
• E. P. ハスの手法を適応して、クラーク＝オクーン表現およびマリャヴィン微分の推定を用いて、路空間上での対数ソボレフ不等式を証明する。
• 対数ソボレフ不等式を用いて、レドウの方法により集中不等式を導出し、関数不等式と尾の挙動を結びつける。
• 水平リッチ曲率の曲率バウンドと、作用素 $\mathbf{J}^2$ を用いたねじれの制御により、指数的尾推定を導出する。
• パラメータ $\varepsilon$ に依存する計量 $g_\varepsilon$ およびそれらに対応する距離 $d_\varepsilon$ の収束を調べることで、部分リーマン的極限 $\varepsilon \to 0$ を分析する。

実験結果

リサーチクエスチョン

• RQ1 完全測地的分岐の無限次元路空間上で、確率解析を用いて対数ソボレフ不等式を確立できるか？
• RQ2 分岐の曲率およびねじれが、水平ブラウン運動の集中性にどのように影響するか？
• RQ3 路空間上での対数ソボレフ不等式と、関連するオーレンシュタイン＝ウーレンバック半群の超合同性との関係は何か？
• RQ4 曲率およびねじれの制約の下で、水平ブラウン運動路の上界の鋭い尾推定は何か？
• RQ5 部分リーマン的極限 $\varepsilon \to 0$ において、尾境界はどのように振る舞うか？

主な発見

• 完全測地的かつヤンミルズ的であるという仮定の下で、マリャヴィンカルキュラスおよびクラーク＝オクーン表現を用いて、水平路空間上に対数ソボレフ不等式を確立した。
• 対数ソボレフ不等式は、この路空間上の一パラメータ族のオーレンシュタイン＝ウーレンバック型作用素によって生成される熱半群の超合同性を示唆する。
• 集中不等式が導出された：$\mathbb{P}_x\left(\sup_{0\leq t\leq T}d_\varepsilon(X_t,x) \geq \mathbb{E}_x[\sup_{0\leq t\leq T}d_\varepsilon(X_t,x)] + r\right) \leq \exp\left(-\frac{r^2}{2Te^{(K+\kappa/\varepsilon)T}}\right)$、曲率およびねじれに明示的な依存関係を有する。
• $K=0$ および $-\frac{1}{4}\mathrm{Tr}_{\mathcal{H}}(J_Z^2) \geq \rho_2\|Z\|^2_{\mathcal{V}}$ の下で、下側尾境界が得られた：$\liminf_{r\to\infty} \frac{1}{r^2}\ln\mathbb{P}_x\left(\sup_{0\leq t\leq T}d_\varepsilon(X_t,x) \geq r\right) \geq -\frac{1}{T}\left(\frac{D}{n} + \frac{4\varepsilon^2}{T}\frac{3D}{2\rho_2n}\ln(2)\right)$、ここで $D = \left(1 + \frac{3\kappa}{2\rho_2}\right)n$。
• 部分リーマン的極限（$\varepsilon \to 0$）において、上側尾境界は $\limsup_{r\to\infty} \frac{1}{r^2}\ln\mathbb{P}_x\left(\sup_{0\leq t\leq T}d(X_t,x) \geq r\right) \leq -\frac{1}{2T}$ となり、下側境界は $\geq -\frac{D}{2nT}$ となる。ここで $D = \left(1 + \frac{3\kappa}{2\rho_2}\right)n$。
• 熱核は下界 $p(x,y,t) \geq \frac{C}{\mu(B(x,\sqrt{t}))}\exp\left(-\frac{d(y,x)^2}{t}\left(\frac{D}{n} + \frac{4\varepsilon^2}{t}\frac{3D}{2\rho_2n}\ln(2)\right)\right)$ を満たし、これは尾推定を支持する。