[論文レビュー] Hypercontractivity for Stochastic Hamiltonian Systems

Feng‐Yu Wang|arXiv (Cornell University)|Sep 6, 2014

Markov Chains and Monte Carlo Methods参考文献 14被引用数 8

ひとこと要約

本稿は、不変測度が明示的に不明なヒルベルト空間上の確率的ハミルトニアン系に付随するマルコフ半群の超収縮性を確立する。これは、退化性のためログソボレフ不等式が成立しない場合でも成立する。著者らは、新規のカップリング法と次元に依存しないハーナック不等式を組み合わせることで、エントロピーにおける指数的収束および十分に大きな時間における半群のコンパクト性を証明し、キネティックFokker-Planck方程式のような退化した拡散過程におけるハイポコercivity結果を拡張する。

ABSTRACT

The hypercontractivity is proved for the Markov semigroup associated to a class of finite/infinite dimensional stochastic Hamiltonian systems. Consequently, the Markov semigroup is exponentially convergent to the invariant probability measure in entropy (thus, also in $L^2$), and is compact for large time. Since the log-Sobolev inequality is invalid for the associated Dirichlet form, we introduce a general result on the hypercontractivity using the Harnack inequality with power. The main results are illustrated by concrete examples.

研究の動機と目的

• 不変測度が明示的に与えられていないヒルベルト空間上での確率的ハミルトニアン系のマルコフ半群の超収縮性を確立すること。
• 退化系におけるログソボレフ不等式の不成立を克服するため、新たな解析的アプローチを開発すること。
• 十分に大きな時間におけるエントロピーにおける指数的収束および半群のコンパクト性を証明し、既存のハイポコercivity結果を強化すること。
• キネティックFokker-Planck方程式を含む、無限次元および極めて退化した拡散過程への超収縮性結果の一般化すること。

提案手法

• ログソボレフ不等式の必要性を回避するため、カップリングと次元に依存しないハーナック不等式を用いた超収縮性の証明に新たな手法を導入する。
• カップリング法を適用して、確率的ハミルトニアン系の2つの解を制御された距離で結合する連続過程を構築する。
• 半群の遷移核に対して次元に依存しないハーナック不等式を導出し、$L^4$-ノルムを$L^2$-ノルムで制御する。
• ハーナック不等式を用いて、$P_t f$ の $L^4$-ノルムを $f$ の $L^2$-ノルムで上から抑え、超収縮性を確立する。
• 半群の性質と補間法を用いて、$L^2 \to L^4$ における超収縮性を $q > p > 1$ に対する $L^p \to L^q$ に拡張する。
• 生成作用素および共分散作用素の固有値および作用素論的推定に基づいて、超収縮性のための鍵となる条件(A1)–(A3)を検証する。

実験結果

リサーチクエスチョン

• RQ1 ログソボレフ不等式が退化性のため不成立となる状況下でも、確率的ハミルトニアン系に対して超収縮性を確立できるか？
• RQ2 次元に依存しないハーナック不等式を用いたカップリングに基づく手法が、ログソボレフ不等式の代わりに超収縮性の証明に用いられるか？
• RQ3 退化した確率的ハミルトニアン系のマルコフ半群が、どのような条件下でエントロピーにおいて指数的に収束するか？
• RQ4 このような退化系において、十分に大きな時間における半群がコンパクトになる条件は何か？
• RQ5 これらの結果は、キネティックFokker-Planck方程式や無限次元拡散過程といった具体的なモデルにどのように応用できるか？

主な発見

• 不変測度が明示的に与えられていないヒルベルト空間上での確率的ハミルトニアン系のマルコフ半群に対し、ログソボレフ不等式が不成立であっても超収縮性が確立される。
• 半群はエントロピーにおいて不変測度へ指数的に収束し、これは強い収束性および混合性の性質を示す。
• 十分に大きな時間における半群はコンパクト性を示す。これは $L^2$ における指数的収束よりも強い性質である。
• 主な技術的革新は、ログソボレグ不等式に依存しないカップリングに基づく超収縮性の証明であり、次元に依存しないハーナック不等式を用いる。
• 有限次元および無限次元設定における超収縮性の明確な条件が導出され、キネティックFokker-Planck方程式に対しても適用可能である。
• 例5.3において、$\sqrt{1+\gamma^2} + 4\beta + \sqrt{(2\beta - 1 - \sqrt{1+\gamma^2})^2 + 8\alpha} < 7$ を満たす限り、超収縮性が成立し、必要な固有値および可逆性条件が保証される。