[論文レビュー] Poincaré inequality and the Lp convergence of semi-groups

Patrick Cattiaux, Arnaud Guillin+1 more|SPIRE - Sciences Po Institutional REpository|Mar 3, 2010

Point processes and geometric inequalities被引用数 5

ひとこと要約

本稿は、carré du champ形式的記法を用いて、すべての $ p \in (1, \infty) $ に対して、対称マルコフ半群のPoincaré不等式と指数的 $ L^p $ 収束の同値性を確立する。Poincaré不等式が明示的なレートを伴い、指数的 $ L^p $ 衰減を示すことを証明し、逆に、任意の $ p > 1 $ に対して指数的 $ L^p $ 衰減が成り立つならばPoincaré不等式が成り立つことを示す。非対称の場合には双対半群に関する一定の条件下で拡張可能である。

ABSTRACT

We prove that for symmetric Markov processes of diffusion type admitting a "carré du champ", the Poincaré inequality is equivalent to the exponential convergence of the associated semi-group in one (resp. all) $Ł^p(μ)$ spaces for $p\in (1,+\infty)$. Part of this result extends to the stationary non necessarily symmetric situation.

研究の動機と目的

• 対称型の拡散過程におけるPoincaré不等式と $ L^p(\mu) $ における指数的収束の同値性を確立すること。
• Poincaré不等式のもとで、$ p \geq 2 $ の $ L^p $ における指数的減衰レート $ \lambda_p $ の明示的な下界を導出すること。
• 双対半群に関する条件の下で、同値性結果を非対称な定常状態に拡張すること。
• 対称性が欠如する場合に、双対性と補間が $ L^p $ 収束に果たす役割を明確化すること。
• $ L^p $ 指数的減衰バウンドにおける定数 $ K_p $ と $ \lambda_p $ の定量的推定を提供すること。

提案手法

• 対称型拡散過程の無限小生成作用素を特徴づけるディリクレ型形式を、$ \Gamma(f, f) $ として定義するcarré du champ作用素を用いる。
• Hörmander型の連鎖律とPoincaré不等式を適用し、$ p \geq 2 $ に対して $ E_p(f) = a_p \int |f - \mu(f)|^p \, d\mu + b_p (\text{Var}_\mu(f))^{p/2} $ というリャプノフ型汎関数を構成する。
• 生成作用素 $ L $ と連鎖律を用いて $ d/dt \, E_p(P_t f) $ に対する微分不等式を導出し、Gronwallの補題により指数的減衰を導く。
• $ E_p(f) $ の二項をバランスさせるように係数 $ a_p $ と $ b_p $ を選択し、$ d/dt \, E_p(P_t f) \leq -\gamma_p \, E_p(P_t f) $ が成り立つようにすることで、指数的減衰を実現する。
• 双対性とRiesz-Thorin補間を用いて、非対称状況下で $ p > 2 $ の $ L^p $ 収束結果をすべての $ p \in (1, \infty) $ に拡張する。
• 補題1.2を用い、$ L^2 $ での指数的減衰（レート $ \beta $）がPoincaré不等式（$ C_P \leq 1/\beta $）を示すことを示し、逆の含意を可能にする。

実験結果

リサーチクエスチョン

• RQ1 対称型拡散過程において、すべての $ p \in (1, \infty) $ に対してPoincaré不等式と半群の指数的 $ L^p $ 収束は同値であるか？
• RQ2 Poincaré定数 $ C_P $ から、$ L^p $ 指数的減衰レート $ \lambda_p $ の明示的な下界を導出可能か？
• RQ3 Poincaré不等式と $ L^p $ 収束の同値性は、非対称で定常なマルコフ過程に拡張可能か？
• RQ4 非対称状況下で、$ p > 2 $ から $ p < 2 $ への $ L^p $ 収束結果の拡張において、双対性はどのような役割を果たすか？
• RQ5 対数的ソボレフ不等式などのより強い仮定のもとで、$ L^p $ 減衰レートを改善できるか？

主な発見

• 対称型拡散過程において、すべての $ p \in (1, \infty) $ に対してPoincaré不等式と半群の指数的 $ L^p $ 収束は同値である。
• $ p \geq 2 $ の場合、指数的減衰レートは $ \lambda_p = \frac{4(p-1)}{9p^2(1 \vee 2^{p-3})2^p C_P} $ を満たす。ここで $ C_P $ はPoincaré定数である。
• 減衰バウンドにおける乗法的定数は、$ p \geq 2 $ に対して $ K_p^p = 1 + \frac{ \left( \frac{9p^2}{4} \right) (p-1) 2^{(3p-2)/2} (1 \vee 2^{p-3}) }{ \left( \frac{9p^2}{4} \right) (1 \vee 2^{p-3}) 2^{p-1} - p + 1 } $ を満たす。
• 非対称状況では、ある $ p > 2 $ に対して $ (H\text{-}p) $ が成り立ち $ K_p = 1 $ ならば、共役指数 $ q $ に対して $ (H\text{-}q) $ も成り立ち、補間によりすべての $ s \in [q, p] $ に対して $ (H\text{-}s) $ が成り立つ。
• 非対称状況では、一般に $ K_2 = 1 $ でないため、$ L^2 $ での指数的減衰からPoincaré不等式が導かれるとは限らない（例：超可微分型力学系モデル）。
• 本結果により、対称型拡散過程においてPoincaré不等式が $ L^p $ 指数的収束の必要十分条件であることが示され、レートおよび定数に対する明示的な定量的バウンドが得られた。