[論文レビュー] Hydrostatic limit for exclusion process with slow boundary revisited

Kenkichi Tsunoda|arXiv (Cornell University)|Feb 17, 2019

Stochastic processes and statistical mechanics参考文献 3被引用数 10

ひとこと要約

本稿は、相関関数の推定値に依存しない二時刻スケール解析を用いて、遅い境界を持つ排除過程の静的極限を再考する。著者らは、θ ≥ 0 のすべての値に対して静的極限を確立し、境界条件が θ < 1 のときディリクレ型（Dirichlet）から θ = 1 のときルビン型（Robin）へ、θ > 1 のときノイマン型（Neumann）へと遷移することを示す。特に、θ > 1 の場合のノイマン境界条件に対して、LandimとTsunodaの手法を新しく適応したことが本稿の主な貢献である。

ABSTRACT

We revisit in this short article the hydrostatic limit for the exclusion process with slow boundary. The original proof of this result relies on estimates of the correlation functions. We achieve the same result based on analysis of two different time scales, which do not need any information about the correlation functions.

研究の動機と目的

• 相関関数の推定値に依存しない、遅い境界を持つ排除過程の静的極限の新しい証明を提供すること。
• LandimとTsunodaの二時刻スケール手法を、境界条件がノイマン型（θ > 1）である場合にまで拡張すること。
• すべての θ ≥ 0 に対して静的極限を確立すること。特に、臨界ケース θ = 1 と劣拡散的領域 θ > 1 を含むこと。
• θ > 1 の領域において、遅い境界ダイナミクスが存在するにもかかわらず、定常状態における経験的測度が一様密度 (α + β)/2 に収束することを示すこと。
• 他の粒子系に遅い境界条件が適用可能な一般化可能な手法を提示すること。

提案手法

• 拡散的時間スケール（θ ≤ 1）と劣拡散的時間スケール（θ > 1）の二つの異なる時間スケールで系を解析する。
• 経験的測度 π_N(t) 及びその定常測度 μ_N^ss における時間発展を用いて、静的極限を研究する。
• 時間平均化されたダイナミクスを関数 m_t(t) = ⟨π_t, 1⟩（全粒子質量を表す）を用いて導入し、その積分方程式 (6) を導出する。
• 積分方程式 (6) の解が、初期条件に一様に依存せず、t → ∞ のとき (α + β)/2 に収束することを確立する。
• パス空間上の確率測度列 P_N および Q_N の弱収束を用いて、極限点を同定する。
• スコロホド位相と軌道の連続性を用いて、集合 O_δ 及びその閉包を含む収束不等式を正当化する。

実験結果

リサーチクエスチョン

• RQ1 遅い境界を持つ排除過程の静的極限は、相関関数の推定値に依存せずに証明可能か？
• RQ2 静的状態における水理的方程式の境界条件が、θ < 1 のときディリクレ型（Dirichlet）から θ = 1 のときルビン型（Robin）へ、θ > 1 のときノイマン型（Neumann）へとどのように遷移するか？
• RQ3 境界ダイナミクスが劣拡散的（θ > 1）であるとき、定常測度における経験的測度の挙動はいかなるものか？
• RQ4 LandimとTsunodaの二時刻スケール手法は、ノイマン境界条件（θ > 1）の静的極限に対しても適応可能か？
• RQ5 θ > 1 のとき、遅い境界ダイナミクスが存在するにもかかわらず、定常経験的測度は一様密度 (α + β)/2 に集中するか？

主な発見

• すべての θ ≥ 0 に対して静的極限が成立し、θ > 1 のとき定常経験的測度は弱収束して一様密度 (α + β)/2 に収束する。
• θ > 1 のとき、極限測度は区間 [0,1] 全体で ρ_N(u) = (α + β)/2 という定数関数に集中しており、ノイマン境界領域が裏付けられる。
• θ > 1 の証明は、LandimとTsunodaの手法を新しく適応したことで達成され、相関関数の推定値に依存しない。
• 時間平均粒子質量 m_t は積分方程式 (6) を満たし、その解は初期値に一様に依存せず、t → ∞ のとき (α + β)/2 に収束する。
• 極限測度 Q_* は連続軌道に集中しており、m_t が (α + β)/2 の δ-近傍外にある確率は t が増加するにつれて消える。
• 結果として、Baldassoら [1] が確立した境界条件の相転移（θ < 1 でディリクレ型、θ = 1 でルビン型、θ > 1 でノイマン型）が裏付けられる。