[論文レビュー] Hypocoercive estimates on foliations and velocity spherical Brownian motion

Fabrice Baudoin, Camille Tardif|arXiv (Cornell University)|Apr 22, 2016

Geometric Analysis and Curvature Flows参考文献 27被引用数 7

ひとこと要約

本稿は、非全測地的リーマン葉層構造上のコルモゴロフ型作用素に対して、仮性コーシー的推定を確立し、一般化された $\Gamma$-計算枠組みを導入することで、速度球面ブラウン運動の $H^1$ および $L^2$ における平衡への指数的収束を証明する。主な貢献は、生成作用素が一般化されたバクリ＝エメリー推定を満たすように、単位接束 $T^1\mathcal{M}$ 上に適切なリーマン計量を構成することであり、テンソリアル曲率条件を用いて明示的な収束率の上限が得られる。

ABSTRACT

By further developing the generalized $\\Gamma$-calculus for hypoelliptic operators, we prove hypocoercive estimates for a large class of Kolmogorov type operators which are defined on non necessarily totally geodesic Riemannian foliations. We study then in detail the example of the velocity spherical Brownian motion, whose generator is a step-3 generating hypoelliptic H\\"ormander's type operator. To prove hypocoercivity in that case, the key point is to show the existence of a convenient Riemannian foliation associated to the diffusion. We will then deduce, under suitable geometric conditions, the convergence to equilibrium of the diffusion in $H^1$ and in $L^2$.

研究の動機と目的

• コルモゴロフ型作用素の仮性コーシー理論を、全測地的リーマン葉層構造を超えて拡張すること。
• 速度球面ブラウン運動が $T^1\mathcal{M}$ 上で平衡への指数的収束を示すこと。
• 生成作用素が一般化されたバクリ＝エメリー推定を満たすように、単位接束上にリーマン計量を構成すること。
• 基底多様体 $\mathcal{M}$ の幾何的条件の下で、$H^1$ および $L^2$ における明示的な収束率を導出すること。

提案手法

• リーマン葉層構造（非全測地的を含む）上の仮性楕円型作用素に対して一般化された $\Gamma$-計算を開発すること。
• フラッドキー接続を用いて $\Gamma_2$ 形式のテンソリアル表現を導出し、曲率に基づく推定を可能にすること。
• $T^1\mathcal{M}$ 上にリーマン計量を構成し、生成作用素が一般化されたバクリ＝エメリー推定 $\mathcal{T}_2(f) \geq K_1\|\nabla f\|^2 - K_2\Gamma(f)$ を満たすようにすること。
• パrameter $a,b,c,\hat{a},\hat{b},\hat{c}$ および $\varepsilon_i$ を巧みに選択することで、曲率に類似した項 $A,B,C,\dots,\hat{C}$ の非正性を保証するリャプノフ型議論を用いること。
• 正則化および $\Sigma$-計算技法を用いて、$H^1$ 収束と $L^2$ 収束を橋渡しすること。
• スペクトルギャップおよびポンカラ不等式の仮定を用いて、$H^1$ および $L^2$ における明示的な指数的減衰率を導出すること。

実験結果

リサーチクエスチョン

• RQ1 非全測地的リーマン葉層構造上のコルモゴロフ型作用素に対して、仮性コーシー的推定を確立できるか？
• RQ2 速度球面ブラウン運動が $T^1\mathcal{M}$ 上で、生成作用素が一般化されたバクリ＝エメリー推定を満たすリーマン計量を持つことができるか？
• RQ3 基底多様体 $\mathcal{M}$ にどのような幾何的条件を課すと、$H^1$ および $L^2$ における平衡への指数的収束が保証されるか？
• RQ4 フラッドキー接続を用いて、一般化された $\Gamma$-計算を非全測地的葉層構造へどのように拡張できるか？
• RQ5 このような条件下で、$H^1$ および $L^2$ における平衡への収束に対して、どのような明示的収束上限が得られるか？

主な発見

• 本稿では、一般化されたバクリ＝エメリー推定およびポンカラ不等式の下で、速度球面ブラウン運動が $H^1(\mu)$ において平衡への指数的収束を示すことを証明した。
• 明示的な指数的減衰率 $\tilde{\lambda}$ が $H^1(\mu)$ で得られ、$K_1, K_2$ およびポンカラ定数 $\lambda$ に依存する。$\|P_t f\|_{H^1}^2 \leq C e^{-2\tilde{\lambda}t} \|f\|_{L^2}^2$ が成り立つ。
• 正則化を用いることで $L^2(\mu)$ における収束が確立され、$f \perp \mu$ の場合に $\|P_t f\|_{L^2}^2 \leq C e^{-2\tilde{\lambda}t} \|f\|_{L^2}^2$ が成り立つ。$H^1$ の境界と時間正則化補題を用いた。
• 適切なパラメータ $a,b,c,\hat{a},\hat{b},\hat{c},\varepsilon_i$ を選択することで、$T^1\mathcal{M}$ 上のリーマン計量の構成が達成された。これにより、すべての曲率に類似した項 $A, B, C, \dots, \hat{C}$ が非正となる。
• 一般化されたバクリ＝エメリー推定は、$b^2 < ac$, $\hat{b}^2 < \hat{a}\hat{c}$ および $B^2 \leq AC$, $\hat{B}^2 \leq \hat{A}\hat{C}$ を満たすように確認され、$s \to 0$ の漸近的制御がなされた。
• 条件 $C^v \leq 0$ は、$\frac{2a^2\kappa}{b} = \frac{\sigma^2}{3}$ および $\frac{16b^2}{2\hat{c}} \leq \frac{\sigma^2}{3}$ を選択することで満たされ、推定におけるポテンシャル項の正定性が保証された。