[論文レビュー] Lyapunov conditions for logarithmic Sobolev and Super Poincaré inequality

Patrick Cattiaux, Arnaud Guillin+2 more|arXiv (Cornell University)|Dec 3, 2007

Nonlinear Partial Differential Equations参考文献 5被引用数 6

ひとこと要約

本稿では、リーマン多様体上の拡散過程に対して、スーパー・ポワンカレおよび対数的ソボレフ不等式を示すためのラプラシアン型条件を確立する。局所的スーパー・ポワンカレ不等式とラプラシアン関数条件を組み合わせることで、関連する半群の明示的な減衰率が得られ、バクリ＝エメリーおよびクスウカ＝ストロックの古典的結果がリッチー曲率が下から有界な多様体へと拡張される。

ABSTRACT

We show how to use Lyapunov functions to obtain functional inequalities which are stronger than Poincaré inequality (for instance logarithmic Sobolev or $F$-Sobolev). The case of Poincaré and weak Poincaré inequalities was studied in Bakry and al. This approach allows us to recover and extend in an unified way some known criteria in the euclidean case (Bakry-Emery, Wang, Kusuoka-Stroock ...).

研究の動機と目的

• ラプラシアン関数を用いて、強い関数不等式（対数的ソボレフおよびスーパー・ポワンカレ）を統一的に導出するフレームワークを提供すること。
• 古典的基準（例：バクリ＝エメリー、クスウカ＝ストロック）を非負または下から有界なリッチー曲率をもつリーマン多様体へと拡張すること。
• 関数 β(s) に対する明示的制御を可能にする条件下で、測度がスーパー・ポワンカレ不等式を満たすことを確立し、鋭い減衰推定を可能にすること。
• ラプラシアン条件とレベル集合の幾何構造および曲率の下界との関係を、特にカルタン＝ハダマール多様体において明らかにすること。
• コンパクトなレベル集合におけるナッシュ不等式の一般化を、ラプラシアン制御を用いて非コンパクト多様体へと拡張すること。

提案手法

• W ≥ 1 を満たすラプラシアン関数 W が、φ > φ₀ > 0 に対して $ \mathcal{L}W / W \leq -\phi + b \mathbf{1}_{B(o,r_0)} $ を満たすように設定し、確率的安定性および指数的エルゴード性を保証する。
• コンパクトなレベル集合 $ \bar{V}_r $ 上での局所的スーパー・ポワンカレ不等式と、グローバルなラプラシアン条件を組み合わせることで、多様体全体への不等式の拡張を達成する。
• 曲率およびポテンシャルの成長条件によって誘導される凸性と有界性に依存して、レベル集合 $ \bar{V}_r $ 上でナッシュ型不等式を適用する。
• スーパー・ポワンカレ不等式 $ \mu(f^2) \leq r \mathcal{E}(f,f) + \beta(r) \mu(|f|)^2 $ の関数 β(s) に対する明示的バウンドを、ポテンシャルの成長と曲率に依存して導出する。
• スーパー・ポワンカレ不等式と F-Sobolev 不等式の関係を用いて、$ s \to 0^+ $ のとき $ \beta(s) = C e^{c/s} $ とすることで、対数的ソボレフ型の制御を導出する。
• カルタン＝ハダマール多様体において、リッチー曲率が下から有界で、$ W = e^{a\rho^b} $ のとき、$ \Delta\rho $ とヘッシアンの推定値を用いて解析を行う。

実験結果

リサーチクエスチョン

• RQ1 リッチー曲率が下から有界なリーマン多様体上において、どのようなラプラシアン型条件下でスーパー・ポワンカレ不等式を確立できるか。
• RQ2 曲率の下界およびポテンシャルの成長条件は、スーパー・ポワンカレ不等式における減衰率関数 β(s) にどのように影響を与えるか。
• RQ3 ラプラシアン関数を用いて、非正のリッチー曲率をもつ多様体に対し、バクリ＝エメリーの対数的ソボレフ不等式の基準を拡張可能か。
• RQ4 V もしくは $ H = V + c_0\rho^2/2 $ のレベル集合の凸性と有界性は、関数不等式の導出においてどのような役割を果たすか。
• RQ5 測度 $ e^{-T}dx $ が LSI を満たすような滑らかなポテンシャル T の一般存在結果を、どの程度定量的かつ幾何的に明示的にできるか。

主な発見

• リッチー曲率が下から有界で、$ V(x) \geq c'\rho^b $（b > 1）を満たすカルタン＝ハダマール多様体において、測度 μ は $ \beta(s) = C e^{c(1/s)^{b/(2((b-1)\land 1))}} $ をもつスーパー・ポワンカレ不等式を満たす。
• V(x) ≥ (ε - c₀/2)ρ²（ε > 0 かつ c₀ ≤ 0）のとき、不等式は $ \beta(s) = C e^{c/s} $ で成立し、ガウス型の減衰を回復する。
• V(x) ≥ c'ρ^b（b > 1 かつ c₀ > 0）のとき、[28, Th.1.3] の結果が回復され、バクリ＝エメリー基準がリッチー曲率が下から有界な場合に一般化される。
• d'ρ^{b'} ≥ V(x) ≥ c'ρ^b（b' ≥ b > 1）を満たすポテンシャルに対して、減衰率は $ \beta(s) = C e^{c(1/s)^{b'/(b'+b-2)}} $ となり、多項式的および指数的尾部の間の挙動を示す。
• W = e^{aρ^b} に対して、ラプラシアン条件 $ \mathcal{L}W / W \leq -\phi + b \mathbf{1}_{B(o,r_0)} $ が曲率および勾配制御のもとでスーパー・ポワンカレ不等式の存在を保証する。
• 本手法により、クスウカ＝ストロックおよびワンの先行結果が統一的かつ拡張され、ラプラシアン関数の存在が、非コンパクト設定においても局所的関数不等式のグローバル拡張を可能にすることが示された。