[論文レビュー] Hydrodynamic limit of gradient exclusion processes with conductances on $\bb Z^d$

Fábio Valentim|ArXiv.org|Mar 28, 2009

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

ひとこと要約

本稿は、$ℤ^d$ ($d > 1$) 上の導電率を伴う対称的排除過程の流体力学的極限を確立し、巨視的密度が非線形放物型PDEに従って進化することを示している：$\partial_t\rho = \sum_{k=1}^d \frac{d}{dx_k} \frac{d}{dW_k} \Phi(\rho)$、ここで$\Phi$は有界な微分係数をもつ滑らかで厳密に増加する関数である。主な貢献は、関連する作用素$\sum_{k=1}^d \frac{d}{dx_k} \frac{d}{dW_k}$が非正で、自己共役であり、完全な正規直交固有関数基底を持つことを証明したことである。これにより、スケーリング極限を用いた流体力学方程式の導出が可能になった。

ABSTRACT

Fix a smooth function $Φ: [l,r] o \bb R$, defined on some interval $[l,r]$ of $\bb R$, such that $0<b></b>

研究の動機と目的

• 対称的排除過程の導電率を伴う$\mathbb{Z}^d$ ($d > 1$) 上の流体力学的極限を導出すること。
• 極限過程の無限小生成作用素が、非正で、自己共役で、散逸的であり、離散スペクトルをもつ作用素として特徴づけること。
• 拡散スケーリングの下で、排除過程の経験的密度が非線形放物型PDEの弱解に収束することを確立すること。
• 1次元の場合のスペクトル的および関数解析的性質を、生成作用素の分解を用いて高次元に拡張すること。

提案手法

• 排除過程は、離散トーラス$\mathbb{T}_N^d$ 上で定義され、遷移確率は導電率関数$W(x) = \sum_{k=1}^d W_k(x_k)$に依存する。ここで各$W_k$は周期的で、右連続左極限をもつ（càdlàg）かつ厳密に増加する。
• 過程の生成作用素は、各$W_k$に伴う独立したランダムウォークに関連する成分に分解され、1次元のスペクトル理論の適用が可能になる。
• 作用素$\sum_{k=1}^d \frac{d}{dx_k} \frac{d}{dW_k}$は、Friedrichs拡張およびエネルギー空間理論を用いて構成され、自己共役性とスペクトル的性質が保証される。
• 流体力学的極限は、交換補題とcàdlàg経路上の一様位相を用い、経験測度がPDEの弱解に収束することを示す。
• 証明は、エントロピーの上限、ジャンセンの不等式、および分散の制御にフェインマン＝ハースの公式を用いる。
• 変分公式とテスト関数の稠密な列への単調収束定理の適用により、極限PDEが特定される。

実験結果

リサーチクエスチョン

• RQ1 導電率を伴う排除過程の$\mathbb{Z}^d$ ($d > 1$) 上の流体力学的極限は、1次元の場合と同様に非線形PDEをもたらすか？
• RQ2 作用素$\sum_{k=1}^d \frac{d}{dx_k} \frac{d}{dW_k}$が高次元において自己共役であり、完全な正規直交固有関数基底を持つことを示せるか？
• RQ3 指定されたスケーリングの下で、経験的密度のPDEへの収束が時間的・空間的に一様か？
• RQ4 導電率関数$W$に付随する生成作用素のスペクトル的性質は、多次元設定においてどのように特徴づけられるか？
• RQ5 一般化された微分$\frac{d}{dW_k}$は、不均一な媒質における粒子密度の巨視的進化にどのように影響を与えるか？

主な発見

• 導電率$W(x) = \sum_{k=1}^d W_k(x_k)$を伴う$\mathbb{Z}^d$ 上の排除過程の流体力学的極限は、非線形PDE $\partial_t\rho = \sum_{k=1}^d \frac{d}{dx_k} \frac{d}{dW_k} \Phi(\rho)$ で記述され、ここで$\Phi$は滑らかで$0 < b \leq \Phi' \leq b^{-1}$ を満たす。
• 作用素$\sum_{k=1}^d \frac{d}{dx_k} \frac{d}{dW_k}$は、適切な定義域上で非正で、自己共役かつ散逸的であり、可算個の有限重複度の固有値を持つ。
• この作用素の固有関数は、$L^2(\mathbb{T}^d)$ 上で完全な正規直交系をなしており、これにより、この生成作用素をもつ可逆マルコフ過程の存在が保証される。
• 拡散スケーリングの下で、排除過程の経験測度は弱収束し、一様位相の下で分布収束する。
• PDEの解は、極限密度プロファイルのエネルギーノルムに対する事前推定により、有限エネルギーを持つことが示された。
• 証明は交換補題とエントロピーの上限に依存しており、リゾルベントと遷移関数の極限は変分公式とフェインマン＝ハースの恒等式により制御される。