[論文レビュー] Log-Sobolev inequalities for subelliptic operators satisfying a generalized curvature dimension inequality

Fabrice Baudoin, Michel Bonnefont|arXiv (Cornell University)|Jun 2, 2011

Geometric Analysis and Curvature Flows参考文献 44被引用数 79

ひとこと要約

本稿は、一般化された曲率次元条件 CD(ρ₁, ρ₂, κ, ∞) の下で、非楕円的設定（例えばヘイゼンベルク群やササキアン多様体を含む）における部分楕円型拡散の不変測度に対して、log-Sobolev、Poincaré、対数的等周不等式を確立する。Γ-計算と部分リーマン幾何学を活用し、次元に依存しない関数不等式を証明する。特に、ρ₁, ρ₂, κ に依存する明示的定数を伴うガウス型等周不等式を導出し、古典的結果を非楕円的状況へ拡張する。

ABSTRACT

Let $\\M$ be a smooth connected manifold endowed with a smooth measure $\\mu$ and a smooth locally subelliptic diffusion operator $L$ which is symmetric with respect to $\\mu$. We assume that $L$ satisfies a generalized curvature dimension inequality as introduced by Baudoin-Garofalo \\cite{BG1}. Our goal is to discuss functional inequalities for $\\mu$ like the Poincar\\'e inequality, the log-Sobolev inequality or the Gaussian logarithmic isoperimetric inequality.

研究の動機と目的

• 部分楕円型拡散の不変測度に対して、Poincaré、log-Sobolev、等周不等式を確立すること。
• Bakry-Emery の基準を楕円的でない設定へ拡張するため、一般化された曲率次元不等式 CD(ρ₁, ρ₂, κ, ∞) を導入すること。
• 部分リーマン幾何学における log-Sobolev 定数および等周プロファイルの次元に依存しない境界を導出すること。
• ヘイゼンベルク群、ササキアン多様体、Hörmander 型作用素の結果を、共通の曲率枠組みで統一・一般化すること。
• 2次 Wasserstein 距離のコスト不等式が、ρ₁, ρ₂, κ に明示的な依存関係を示す修正 log-Sobolev 不等式を示すこと。

提案手法

• carré du champ Γ と2次形式 ΓZ を含む一般化された曲率次元条件 CD(ρ₁, ρ₂, κ, ∞) を導入する。ここで ρ₁ ∈ ℝ, ρ₂ > 0, κ ≥ 0, d = ∞ である。
• Γ₂ 計算と仮定 (H.1)–(H.2) を用いて、微分作用素 L の本質的自己共役性と構造的一致性を保証する。
• 逆 Poincaré 不等式と log-Harnack 不等式を適用し、熱半群の制御とエントロピーの境界を得る。
• Otto-Villani および Bobkov-Gentil-Ledoux の手法を適応し、エントロピー、Wasserstein 距離、エネルギーを結ぶ修正 HWI 不等式を証明する。
• 超収縮性と半群推定を用いて、Pt1A − 1A の L¹ 範囲を評価し、等周推定を可能にする。
• BV(M) 内の特性関数の近似を用いて境界を評価し、逆 Poincaré 不等式を適用して半群差の L¹ 範囲を制御する。

実験結果

リサーチクエスチョン

• RQ1 楕円的でない条件下で、一般化された曲率次元条件の下で部分楕円型拡散に対して log-Sobolev 不等式を確立できるか？
• RQ2 このような作用素に対して、log-Sobolev 定数の鋭い次元に依存しない境界は何か？
• RQ3 2次 Wasserstein 距離のコスト不等式は、部分リーマン幾何学的設定において、修正 log-Sobolev 不等式とどのように関係するか？
• RQ4 CD(ρ₁, ρ₂, κ, ∞) 条件と log-Sobolev 不等式の下で、ガウス型対数的等周不等式を導出できるか？
• RQ5 ΓZ 形式は、古典的不等式を非楕円型作用素へ拡張する際に果たす役割は何か？

主な発見

• CD(ρ₁, ρ₂, κ, ∞) 条件の下で ρ₁ > 0, ρ₂ > 0 ならば、Poincaré 不等式が定数 (κ + ρ₂)/(ρ₁ρ₂) で成立し、次元に依存しない。
• 確率測度に対して、ρ₁, ρ₂, κ および d²(x₀, x) の指数モーメントに依存する定数を伴う修正 log-Sobolev 不等式が証明された。この結果は次元に依存しない境界をもたらす。
• 2次 Wasserstein 距離のコスト不等式が c < 2/ρ₋₁ で成り立つならば、定数 C₁, C₂ に依存する修正 log-Sobolev 不等式が成り立つ。ここで C₁, C₂ は c, ρ₁, ρ₂, κ のみに依存する。
• ガウス型対数的等周不等式が確立された：μ(A) ≤ 1/2 のとき、P(A) ≥ (ln 2 / 4)(3 + 2κ/ρ₂) min(√ρ₀, ρ₀/√|ρ₋₁|) μ(A)(ln(1/μ(A)))¹ᐟ² が成り立つ。
• 等周不等式の定数は、古典的結果とは異なり次元に依存しない。これは Li-Yau 評価ではなく逆 Poincaré 不等式を用いたためである。
• 結果はヘイゼンベルク群上の部分ラプラシアン、ササキアン多様体、Hörmander 型作用素に適用可能であり、部分リーマン幾何学における既知の関数不等式を一般化する。