[论文解读] 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

一句话总结

本文引入并分析了子高斯测度下的Orlicz-Sobolev不等式，建立了其成立的必要与充分条件。结果表明，这些不等式可推出马尔可夫半群在Orlicz范数下指数趋于平衡，将经典结果从L²和Poincaré框架推广至α稳定分布等中间测度。

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.

研究动机与目标

• 为具有重尾的子高斯测度在Orlicz空间中建立适用于协变不等式的通用框架。
• 确定有限与无限维乘积测度下Orlicz-Sobolev不等式成立的必要与充分条件。
• 建立Orlicz-Sobolev不等式与可张量化的Beckner型不等式之间的联系，实现无维数分析。
• 证明Orlicz-Sobolev不等式可推出马尔可夫半群在Orlicz范数下的指数衰减至平衡。
• 在适当的混合条件下，将关于遍历性的结果推广至无限维空间上的Gibbs测度。

提出的方法

• 引入Orlicz-Sobolev不等式（O-S）：||(f − μ(f))²||_Φ ≤ C ∫|∇f|² dμ，其中||·||_Φ为与Orlicz函数Φ相关的Luxemburg范数。
• 利用(O-S)与T(2−p) = (2−p)²(1−1/α)的Beckner型不等式之间的等价性，以确保张量化与无维数分析。
• 应用Luxemburg与Orlicz范数定义Orlicz空间L_Φ(μ)，并利用其对偶性与嵌入性质比较范数。
• 通过Young函数控制建立范数比较估计：若Φ(x) ≤ A|x| + BΨ(x)，则||f||_Φ ≤ max(1, A||Id||_{L_Ψ→L₁} + B) ||f||_Ψ。
• 利用Herbst论证与谱隙技术推导Orlicz范数下的衰减估计。
• 在Φ满足温和的凸性与增长条件时，证明不等式(O-S)蕴含||P_t f||_Φ ≤ e^{-ct} ||f||_Φ（对均值为零的f），从而确保指数遍历性。

实验结果

研究问题

• RQ1 子高斯测度μ_α在何种条件下满足Orlicz-Sobolev不等式，其中Φ(x) = |x| log(1 + |x|)^{2(1−1/α)}？
• RQ2 Orlicz-Sobolev不等式与可张量化的Beckner型不等式之间有何关系？能否用于推导无维数估计？
• RQ3 在何种条件下，Orlicz-Sobolev不等式可推出马尔可夫半群在Orlicz范数下的指数衰减至平衡？
• RQ4 该框架能否推广至无限维空间上的Gibbs测度？需要何种混合条件？
• RQ5 Orlicz-Sobolev不等式在多大程度上介于Poincaré与对数Sobolev不等式之间？

主要发现

• 子高斯测度μ_α在α ∈ (1,2)时满足Orlicz-Sobolev不等式，其中Φ(x) = |x| log(1 + |x|)^{2(1−1/α)}，提供了一个精确的中间不等式。
• Orlicz-Sobolev不等式(O-S)蕴含指数衰减：在Φ的温和条件下，对任意满足μ(f) = 0的f，有||P_t f||_Φ ≤ e^{-ct} ||f||_Φ。
• 对于μ_α，Orlicz-Sobolev不等式与T(2−p) = (2−p)^{2(1−1/α)}的Beckner型不等式等价，从而实现张量化与无维数分析。
• 对任意满足Φ(x)/x → ∞（当x → ∞时）的Young函数Φ，Orlicz空间L_Φ(μ)连续嵌入L₁(μ)，且满足||f||₁ ≤ (D + 1)||f||_Φ，其中D满足|x| ≤ Φ(x)（当|x| ≥ D时）。
• 对互补的Young函数Φ与Φ*，有不等式∫|fg| dμ ≤ 2||f||_Φ ||g||_{Φ*}，推广了Hölder不等式。
• 在适当的混合条件下，该结果可推广至无限维空间上的Gibbs测度，将[GZ03]中的先前结果推广至更广的局部规格类。