[論文レビュー] Hilbert space hypocoercivity for the Langevin dynamics revisited

Martin Grothaus, Patrik Stilgenbauer|arXiv (Cornell University)|Aug 29, 2016

Advanced Thermodynamics and Statistical Mechanics参考文献 24被引用数 15

ひとこと要約

本稿は、コルモゴロフ後退方程式を抽象的コーシー問題として取り扱うことで、退化するランジュバン力学系に対する厳密なヒルベルト空間におけるハイポコercivity解析を提供する。平衡分布への指数的収束が、減衰係数αに依存する明示的なレートで確立され、先行研究で見過ごされていた定義域の問題が解消され、低減衰および高減衰の両領域における期待される定性的な挙動が確認された。

ABSTRACT

We provide a complete elaboration of the $L^2$-Hilbert space hypocoercivity theorem for the degenerate Langevin dynamics via studying the longtime behavior of the strongly continuous contraction semigroup solving the associated Kolmogorov (backward) equation as an abstract Cauchy problem. This hypocoercivity result is proven in previous works before by Dolbeault, Mouhot and Schmeiser in the corresponding dual Fokker-Planck framework, but without including domain issues of the appearing operators. In our elaboration, we include the domain issues and additionally compute the rate of convergence in dependence of the damping coefficient. Important statements for the complete elaboration are the m-dissipativity results for the Langevin operator established by Conrad and the first named author of this article as well as the essential selfadjointness results for generalized Schrödinger operators by Wielens or Bogachev, Krylov and Röckner. We emphasize that the chosen Kolmogorov approach is natural. Indeed, techniques from the theory of (generalized) Dirichlet forms imply a stochastic representation of the Langevin semigroup as the transition kernel of diffusion process which provides a martingale solution to the Langevin equation. Hence an interesting connection between the theory of hypocoercivity and the theory of (generalized) Dirichlet forms is established besides.

研究の動機と目的

• 退化ランジュバン力学系に対する、定義域に強く頑健なヒルベルト空間ハイポコercivityフレームワークを完全に構築すること。
• コルモゴロフ半群設定における作用素の定義域を厳密に取り扱うことで、先行のハイポコercivity結果におけるギャップを埋めること。
• 減衰係数αに依存する明示的な収束レートを計算すること。
• 半群の確率的表現を介して、ハイポコercivityと一般化されたディリクレ型形式との間の関係を確立すること。
• 期待される定性的な収束挙動（αが小さいと遅く、αが大きいと劣化する）が確認されること。

提案手法

• 位置x_tと速度ω_tを有するR^{2d}上でのランジュバンスデのコルモゴロフ生成子Lの形式的導出。
• L²(μ_{Φ,β})における後退コルモゴロフ方程式を解く強連続収縮半群(T_t)の研究。
• コンラッドとグロタウスによるランジュソン作用素のm-発散性に関する結果の適用。
• ウィレンズおよびボガチュエフたによる一般化されたシュレーディンガー作用素の本質的自己随伴性に関する結果を用いて、定義域の制御を確立。
• 指数的減衰を測るためのL²ノルムと同等のエンタルピー関数の構築。
• ドルベオー、ムーホート、シュマイザーの抽象的ハイポコercivityフレームワークを、定義域およびスペクトル解析を完全に裏付けた形で適用。

実験結果

リサーチクエスチョン

• RQ1 退化ランジュソン力学系がL²(μ_{Φ,β})ヒルベルト空間設定において、平衡分布への指数的収束の正確なレートは何か？
• RQ2 ハイポコercivityフレームワークにおいて、コルモゴロフ生成子および関連半群の定義域の問題はどのように厳密に取り扱えるか？
• RQ3 収束レートは減衰係数αにどのように依存するか？また、直感的な期待と一致するか？
• RQ4 コルモゴロフアプローチを用いて、一般化されたディリクレ型形式を介して半群の確率的表現を確立できるか？
• RQ5 ハイポコercivityフレームワークは、αが小さい場合に遅い収束、αが大きい場合にレートが劣化するという期待される挙動を確認できるか？

主な発見

• 本稿は、Poincaré不等式およびポテンシャルの正則性から導かれる定数κを用いて、(1/2)κより大きい下界を持つL²(μ_{Φ,β})における指数的収束を確立した。
• 収束レートが明示的に減衰係数αに依存することを示し、αが増加するにつれてレートが劣化することが確認され、直感的な期待と一致した。
• 収束レートはν₂ = (1/2)κによって上界で抑えられ、κはスペクトルギャップおよび条件(C1)と(C2)から導かれる。
• 生成子および半群の定義域に関する問題が完全に解決され、形式的代数的操作を超えたハイポコercivityの議論の有効性が保証された。
• 一般化されたディリクレ型形式を介して、半群の確率的表現が得られ、ハイポコercivityと確率過程およびマルティンゲール解との間に接続が確立された。
• 解析により、過減衰極限（α → ∞）が、過減衰フォッカー・プランク方程式に既知のレート1/(αβ)に一致することが確認された。