[論文レビュー] Correlation functions evolution for the Glauber dynamics in continuum

Dmitri Finkelshtein, Yuri Kondratiev+1 more|arXiv (Cornell University)|Jul 18, 2011

Spectral Theory in Mathematical Physics参考文献 9被引用数 4

ひとこと要約

本稿では、連続粒子系におけるGlauberダイナミクスにおける相関関数の時間発展に対して、強い連続な収縮半群の存在を確立する。初期相関関数が有効な状態の相関関数に発展することを証明し、適切な条件下でギブス測度への指数的収束を示し、状態発展のエルゴード性を確立する。

ABSTRACT

We construct a correlation functions evolution corresponding to the Glauber dynamics in continuum. Existence of the corresponding strongly continuous contraction semigroup in a proper Banach space is shown. Additionally we prove the existence of the evolution of states and study their ergodic properties.

研究の動機と目的

• 連続粒子系におけるGlauberダイナミクスの相関関数の時間発展を構築すること。
• 適切なバナッハ空間上の相関関数に作用する強い連続な収縮半群の存在を証明すること。
• 初期相関関数から出発する状態発展の存在を確立すること。
• Glauberダイナミクス下での状態発展のエルゴード的性質を分析すること。
• 発展半群の有界作用素による明示的近似を提供し、物理的性質の保存を検証すること。

提案手法

• 著者らは、指数的増大を制御するノルムを持つ、相関関数のバナッハ空間 $ \mathcal{K}_{C} $ を定義する。
• テスト関数空間 $ KB_{\mathrm{bs}}(\Gamma_0) $ 上での双対作用を介して、発展の生成作用素 $ \hat{L}^\odot $ を構成する。
• 離散時間作用素 $ \hat{P}_\delta^* $ を用いた明示的近似スキームを導入し、$ \delta \to 0 $ のとき連続半群に収束することを示す。
• 発展が測度の相関関数である性質を保存することを示し、物理的整合性を保証する。
• 半群が $ \mathcal{K}_C $ 上で強い連続かつ収縮的であることを証明する。
• スペクトルギャップの推定を用いてエルゴード性を確立し、ギブス測度への指数的収束を示す。

実験結果

リサーチクエスチョン

• RQ1 連続空間におけるGlauberダイナミクス下で、相関関数の時間発展が明確に定義可能か？
• RQ2 初期相関関数から明示的に状態発展を構成可能か？
• RQ3 適切なバナッハ空間上での発展半群が強い連続的かつ収縮的か？
• RQ4 相関関数が測度の有効な相関関数（すなわち状態）に発展するか？
• RQ5 状態発展のエルゴード的性質は何か？ また、ギブス測度へ収束するか？

主な発見

• Glauberダイナミクスに対して、バナッハ空間 $ \overline{\mathcal{K}_{\alpha C}} $ 上に強い連続な収縮半群 $ \hat{T}^{\odot\alpha}(t) $ の存在が確立された。
• 発展は測度の相関関数である性質を保存し、状態発展の存在を保証する。
• 初期相関関数 $ k_0 \in \overline{\mathcal{K}_{\alpha C}} $ に対して、解 $ k_t = \hat{T}^{\odot\alpha}(t)k_0 $ は指数的減衰推定 $ \|k_t - k_\mu\|_{\mathcal{K}_C} \leq e^{-(1-\nu)t}\|k_0 - k_\mu\|_{\mathcal{K}_C} $ を満たす。
• 条件 $ zC_\phi < (2e)^{-1} $ の下で、ギブス測度 $ \mu $ が存在し、ダイナミクスに対して可逆である。
• 生成作用素 $ \hat{L}^\odot $ は $ \hat{L}^\odot k_\mu = 0 $ を満たし、$ \hat{T}^{\odot\alpha}(t)k_\mu = k_\mu $ となるため、ギブス状態は固定点である。
• 離散作用素 $ (\hat{P}_\delta^*)^{[t/\delta]} $ による近似は連続半群に収束し、収束速度は $ 1 - (1 - \nu)\delta $ で制御される。