[論文レビュー] Fluctuations for a conservative interface model on a wall

Lorenzo Zambotti|ArXiv.org|Nov 5, 2007

Stochastic processes and statistical mechanics参考文献 11被引用数 4

ひとこと要約

本稿は、1次元格子上の保存的界面モデルに硬い壁を導入した場合の流体力学的極限を確立し、平衡揺らぎが空間平均の保存を伴う反射付き確率的カーン＝ヒリャール方程式の解に弱収束することを示している。証明は、対数凸な不変測度をもつマコフ過程の安定性結果と、$N^4$ 階の時間スケーリングに基づく極限を用い、$C([\varepsilon,T];L^2_w(0,1))$ の弱位相において収束を導く。主な結果は、質量保存を伴う反射付きSPDEへの収束である。

ABSTRACT

We consider an effective interface model on a hard wall in (1+1) dimensions, with conservation of the area between the interface and the wall. We prove that the equilibrium fluctuations of the height variable converge in law to the solution of a SPDE with reflection and conservation of the space average. The proof is based on recent results obtained with L. Ambrosio and G. Savare on stability properties of Markov processes with log-concave invariant measures.

研究の動機と目的

• 硬い壁を有する1次元格子上の保存的界面モデルの平衡揺らぎを研究すること。
• 時間スケーリングが $N^4$ 階の拡散的スケーリング下でのモデルの流体力学的極限を確立すること。
• 極限過程が空間平均の保存を伴う反射付き確率的カーン＝ヒリャール方程式の解として特定されることを同定すること。
• スケーリングされた界面過程が $C([\varepsilon,T];L^2_w(0,1))$ の弱位相において、SPDEの唯一の解に弱収束することを証明すること。

提案手法

• 離散的な高さを $[0,1]$ 上の連続関数に写像するため、界面高さ過程 $\phi_t$ を $\Phi^N_t(\theta) = \frac{1}{\sqrt{N}} \phi_{N^4 t}(\lfloor N\theta \rfloor + 1)$ でスケーリングする。
• 正のオルソアンター内での界面高さ $\phi_t$ のダイナミクスを、反射を含むスコロホドSDE形式でモデル化する。
• 対数凸な不変測度をもつマコフ過程の最近の安定性結果を用いて、有限次元分布の収束を制御する。
• 保存的系における揺らぎの拡散的スケーリングを捉えるために、$N^4$ 階の時間スケーリングを用いる。
• 極限SPDEを、ノイマン境界条件と $u=0$ での反射を伴う反射付き確率的カーン＝ヒリャール方程式として導出する。
• タイトネスと有限次元収束の議論に依拠して、$C([\varepsilon,T];L^2_w(0,1))$ の弱位相における収束を確立する。

実験結果

リサーチクエスチョン

• RQ1 硬い壁を有する保存的界面モデルの平衡揺らぎは、流体力学的極限において確率的PDEに収束するか？
• RQ2 時間スケーリングが $N^4$ 階の拡散的スケーリング下での界面高さ過程のスケーリング極限は何か？
• RQ3 極限過程は、空間平均の保存を伴う反射付きSPDEの解として特徴付けられるか？
• RQ4 壁における反射の存在が、極限SPDEおよびその性質にどのように影響するか？

主な発見

• スケーリングされた界面過程 $\Phi^N_t$ は、$C([\varepsilon,T];L^2_w(0,1))$ で弱収束し、反射付き確率的カーン＝ヒリャール方程式の唯一の解に収束する。
• 極限SPDEは $\partial_t u = -\partial_\theta^2(\frac{1}{q}\partial_\theta^2 u + \eta) + \sqrt{2}\partial_\theta \dot{W}$ で与えられ、$u=0$ での反射と空間平均の保存を伴う。
• 初期データ $\Phi^N_0$ が $L^2(0,1)$ で非負の極限に収束し、正の平均 $c>0$ をもつという条件下で収束が成立する。
• 極限SPDEは同次ノイマン境界条件を満たし、反射を強制する局所的に有限な正の測度 $\eta$ を有する。
• タイトネスと有限次元収束に依拠して収束が確立され、対数凸不変測度の安定性特性に依存する。
• 収束解析の根幹をなすのは、$H^0_N$-ノルムと $L^2(0,1)$-ノルムとの間の同値性（低次の補正項を除く）の確立である。