[論文レビュー] Orlicz-Sobolev inequalities for sub-Gaussian measures and ergodicity of Markov semi-groups

Cyril Roberto, Bogusław Zegarliński|ArXiv.org|Nov 21, 2006

Geometry and complex manifolds被引用数 4

ひとこと要約

本稿では、部分ガウス測度に対するオーリッチ＝ソボレフ不等式を導入し、その成立に必要な十分条件を分析する。これらの不等式が、マルコフ半群のオーリッチノルムにおける平衡への指数的減衰を示すことを示し、L² やポアンカレの枠組みを超えて、α安定分布のような中間的測度へと古典的結果を拡張する。

ABSTRACT

We study coercive inequalities in Orlicz spaces associated to the probability measures on finite and infinite dimensional spaces which tails decay slower than the Gaussian ones. We provide necessary and sufficient criteria for such inequalities to hold and discuss relations between various classes of inequalities.

研究の動機と目的

• 重い尾を持つ部分ガウス測度に特化したオーリッチ空間における強制的不等式の一般枠組みを構築すること。
• 有限次元および無限次元積測度に対して、オーリッチ＝ソボレフ不等式が成立するための必要十分条件を同定すること。
• オーリッチ＝ソボレフ不等式とテンソル化可能なベッカー形式不等式との関係を確立し、次元に依存しない結果を得ること。
• マルコフ半群のオーリッチノルムにおける平衡への指数的減衰が、オーリッチ＝ソボレフ不等式によって示されることを証明すること。
• 適切な混合条件の下で、無限次元空間上のギブズ測度に対し、混合性に関する結果を拡張すること。

提案手法

• オーリッチ＝ソボレフ不等式 (O-S): ||(f − μ(f))²||_Φ ≤ C ∫|∇f|² dμ を導入する。ここで ||·||_Φ はオーリッチ関数 Φ に付随するルクセンブルクノルムである。
• T(2−p) = (2−p)²(1−1/α) であるベッカー形式不等式との同値性を用い、テンソル化と次元に依存しない解析を保証する。
• ルクセンブルクノルムおよびオーリッチノルムを用いて、オーリッチ空間 L_Φ(μ) を定義し、その双対性および埋め込み性質を用いてノルムを比較する。
• 若葉関数の支配関係によるノルム比較推定を確立：Φ(x) ≤ A|x| + BΨ(x) ならば、||f||_Φ ≤ max(1, A||Id||_{L_Ψ→L₁} + B) ||f||_Ψ が成り立つ。
• ヘルストの議論およびスペクトルギャップ技法を用いて、オーリッチノルムにおける減衰推定を得る。
• Φ に対してややいなごう性および成長条件を満たす場合、不等式 (O-S) が ||P_t f||_Φ ≤ e^{-ct} ||f||_Φ （μ(f) = 0 の f に対して）を示し、指数的混合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 部分ガウス測度 μ_α が Φ(x) = |x| log(1 + |x|)^{2(1−1/α)} を用いてオーリッチ＝ソボレフ不等式を満たすための必要十分条件は何か？
• RQ2 オーリッチ＝ソボレフ不等式とテンソル化可能なベッカー形式不等式との関係は何か？また、次元に依存しない推定を得るために使用可能か？
• RQ3 どのような条件下で、オーリッチ＝ソボレフ不等式がマルコフ半群のオーリッチノルムにおける平衡への指数的減衰を示すか？
• RQ4 この枠組みは、適切な混合条件の下で無限次元空間上のギブズ測度へと拡張可能か？また、必要な混合条件は何か？
• RQ5 オーリッチ＝ソボレフ不等式は、ポアンカレ不等式と対数的ソボレフ不等式の間をどの程度滑らかに補間するか？

主な発見

• α ∈ (1,2) のとき、部分ガウス測度 μ_α は Φ(x) = |x| log(1 + |x|)^{2(1−1/α)} を用いてオーリッチ＝ソボレフ不等式を満たし、これは鋭い中間的不等式を提供する。
• オーリッチ＝ソボレフ不等式 (O-S) は、Φ に対してややいなごう性を満たす限り、||P_t f||_Φ ≤ e^{-ct} ||f||_Φ （μ(f) = 0 の f に対して）というオーリッチノルムにおける指数的減衰を示す。
• μ_α に対して、T(2−p) = (2−p)^{2(1−1/α)} であるベッカー形式不等式と、オーリッチ＝ソボレフ不等式 (O-S) は同値であり、これによりテンソル化と次元に依存しない解析が可能になる。
• 任意の若葉関数 Φ に対して、Φ(x)/x → ∞ （x → ∞ のとき）が成り立つならば、オーリッチ空間 L_Φ(μ) は L₁(μ) に連続的に埋め込まれ、|x| ≤ Φ(x) （|x| ≥ D のとき）を満たす D に対して ||f||₁ ≤ (D + 1)||f||_Φ が成り立つ。
• 補完的若葉関数 Φ と Φ* に対して、∫|fg| dμ ≤ 2||f||_Φ ||g||_{Φ*} が成り立つ。これはホルダーの不等式を一般化する。
• 適切な混合条件の下で、この結果は無限次元空間上のギブズ測度へと拡張可能であり、[GZ03] の先行結果をより広い局所的仕様のクラスへ一般化する。