[論文レビュー] Some remarks on weighted logarithmic Sobolev inequality

Patrick Cattiaux, Arnaud Guillin+1 more|arXiv (Cornell University)|May 21, 2010

Nonlinear Partial Differential Equations参考文献 26被引用数 4

ひとこと要約

本稿では、リャプノフ関数とスーパー重み付きパoincaré不等式を用いて、コーシー型測度に対する重み付き対数 Sobolev不等式の洗練された証明を提示する。最適な重み $(1+|x|^2)\log(e+|x|^2)$ を得ており、以前に知られていた $(1+|x|^2)^2$ という重みを改善している。このアプローチにより、スーパー重み付きパoincaré不等式と重み付き F-Sobolev 不等式の間の同値性が確立され、濃縮および修正された対数 Sobolev 不等式への応用が可能になる。

ABSTRACT

We give here a simple proof of weighted logarithmic Sobolev inequality, for example for Cauchy type measures, with optimal weight, sharpening results of Bobkov-Ledoux. Some consequences are also discussed.

研究の動機と目的

• コーシー型測度に対する重み付き対数 Sobolev 不等式の重みを、既知の $(1+|x|^2)^2$ の境界を越えて改善すること。
• リャプノフ条件を用いて、スーパー重み付きパoincaré不等式と重み付き F-Sobolev 不等式を結びつける一般的な枠組みを確立すること。
• 改善された関数不等式から、より鋭い濃縮および等周的推定値を導出すること。
• 重みの可積分性条件の下で、修正された対数 Sobolev 不等式への拡張を実現すること。

提案手法

• 非増加関数 $\beta_\omega(s)$ と重み $\omega \geq 1$ を用いて定義される、双対的定式化（スーパー重み付きパoincaré不等式）の使用。
• $\phi(w) = \log w$ である $\phi$-リャプノフ関数の適用により、スーパー重み付きパoincaré不等式を導出する。
• 変分原理を用いて、スーパー重み付きパoincaré不等式と重み付き対数 Sobolev 不等式の同値性を確立する。
• Young関数の双対性 $H$ と $H^y$ を用いて、$e^{\alpha H^y(\omega)}$ の可積分性条件の下で修正された対数 Sobolev 不等式を導出する。
• 拡散設定における非線形汎関数を取り扱うために、チェーン規則 $\Gamma(\Psi(f), \Phi(g)) = \Psi'(f)\Phi'(g)\Gamma(f,g)$ を用いる。
• 容量推定と測度の減衰を用いて、$\mu(B_r^c)$ と $\mathrm{Cap}_\mu(A)$ を用いて、濃縮の上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 コーシー型測度に対する重み付き対数 Sobolev 不等式の重みを、$(1+|x|^2)^2$ から $(1+|x|^2)\log(e+|x|^2)$ に改善できるか？
• RQ2 どのような条件下で、スーパー重み付きパoincaré不等式と重み付き対数 Sobolev 不等式が同値となるか？
• RQ3 リャプノフ関数を用いて、重尾測度に対する関数不等式の最適重みをどのように導出できるか？
• RQ4 改善された不等式が、測度の濃縮および等周性に与える影響は何か？
• RQ5 重みの可積分性条件の下で、重み付き対数 Sobolev 不等式から修正された対数 Sobolev 不等式を導出できるか？

主な発見

• 本稿では、コーシー型測度に対する重み付き対数 Sobolev 不等式において、最適重み $(1+|x|^2)\log(e+|x|^2)$ を達成しており、以前の $(1+|x|^2)^2$ の境界を改善している。
• 重み $\omega = (1+|x|^2)\log(e+|x|^2)$ を持つスーパー重み付きパoincaré不等式が、$\phi(w) = \log w$ である $\phi$-リャプノフ関数を用いて確立された。
• スーパー重み付きパoincaré不等式と重み付き対数 Sobolev 不等式の同値性が証明され、リャプノフ条件をエントロピーの上限に移行可能であることが示された。
• 容量と測度の減衰を用いて、濃縮の上限が導出された：$\mu(B_r^c)\left[2\mathfrak{c} + \log(1 + e^2 / \mu(B_r^c))\right]$ であり、これは尾の挙動を制御する。
• 条件 $K = \int e^{\alpha H^y(\omega)} d\mu < \infty$ の下で、修正された対数 Sobolev 不等式が得られ、$\mathrm{Ent}_\mu(f^2) \leq C \int \left( H(\epsilon^{-1}|\nabla f / f|^2) f^2 + |\nabla f|^2 \right) d\mu$ の形の上限が得られた。
• 重み $1 < \beta \leq 2$ に対して $d\mu = Z_\alpha e^{-|x|^\beta} dx$ であるべき型測度に対して、この手法により $\mathrm{Ent}_\mu(f^2) \leq C \int |\nabla f|^2 (1 + |x|^{2-\beta}) d\mu$ が得られ、以前の結果が一般化された。