[論文レビュー] Toward the Fourier law for a weakly interacting anharmonic crystal

Carlangelo Liverani, Stefano Olla|arXiv (Cornell University)|Jun 15, 2010

Advanced Thermodynamics and Statistical Mechanics参考文献 7被引用数 4

ひとこと要約

本論文は、弱く結合された非調和格子における熱伝導のフーリエの法則を導出する最初の段階を確立した。すなわち、拡散時間スケール $\varepsilon^{-2}t$ において、振動子のエネルギーが保存的で勾配のないギンツブルグ＝ランダウ確率微分方程式に従って進化することを証明した。この結果は、ノイズ摂動付きの動的系の低コヒーレンス性と低楕円性に依拠しており、弱い結合極限において中心極限定理によりエネルギー流が生じることを示している。

ABSTRACT

For a system of weakly interacting anharmonic oscillators, perturbed by an energy preserving stochastic dynamics, we prove an autonomous (stochastic) evolution for the energies at large time scale (with respect to the coupling parameter). It turn out that this macroscopic evolution is given by the so called conservative (non-gradient) Ginzburg-Landau system of stochastic differential equations. The proof exploits hypocoercivity and hypoellipticity properties of the uncoupled dynamics.

研究の動機と目的

• 弱い相互作用を受ける非調和格子における、エネルギーのマクロな時間発展を、確率的エネルギー保存則を満たす動的系のもとで厳密に導出すること。
• 微視的ハミルトニアン系の動的系と、熱方程式に至る拡散スケーリングの間のギャップを埋めること。
• エネルギーの時間スケール $\varepsilon^{-2}$ におけるエネルギー動的系が、保存的で勾配のない確率過程に収束することを確立すること。
• エネルギー保存則を満たす確率的摂動が、マクロなエネルギー輸送を変更せずに、混合性とエルゴード性を誘発する手法としての有効性を検証すること。

提案手法

• 非調和振動子間の弱い結合パラメータ $\varepsilon$ を導入し、各粒子の運動エネルギーにエネルギー保存則を満たすノイズを導入する。
• エネルギー流の揺らぎを観察するために、拡散時間スケーリング $t \to \varepsilon^{-2}t$ を適用する。
• 生成子 $L_\varepsilon = \{H_\varepsilon, \cdot\} + \sigma^2 \sum X_i^2$ を用いて確率的動的系をモデル化する。ここで $X_i$ は運動量球面上での回転を生成する。
• エネルギー発展のマルティングルール成分の解析と、低楕円性による二次変動の制御を通じて、エネルギー過程の収束を確立する。
• 極限におけるエネルギー過程が、$d\mathcal{E}_i = \sigma^{-1}\sqrt{2\mathcal{E}_1\mathcal{E}_2}\,dw_t - 2\sigma^{-2}(\mathcal{E}_1 - \mathcal{E}_2)\,dt$ の形の退化したSDEに従うことを証明し、非勾配のギンツブルグ＝ランダウ系を表す。
• 低コヒーレンス性と低楕円性を活用して、エネルギー過程の収束を制御し、流の中心極限定理の有効性を保証する。

実験結果

リサーチクエスチョン

• RQ1 弱く結合された非調和振動子のエネルギー動的系は、拡散極限 $\varepsilon^{-2}t$ において、マクロな確率過程に収束するか？
• RQ2 エネルギー保存則を満たすノイズの存在は、エネルギー流の中心極限定理を正当化するのに十分な混合性を誘発するか？
• RQ3 極限におけるマクロなエネルギー時間発展は、流体力学的理論が予測するように、保存的で非勾配のギンツブルグ＝ランダウSDEであるか？
• RQ4 弱い結合と確率的摂動を用いて、微視的動的系から非勾配的流の性質を厳密に導出できるか？
• RQ5 さらなる空間時間の拡散スケーリングにおいて、極限SDEは非線形熱方程式に対応するか？

主な発見

• 極限 $\varepsilon \to 0$ において、エネルギー $\mathcal{E}_{1,\varepsilon}(t)$ と $\mathcal{E}_{2,\varepsilon}(t)$ は、生成子 $\mathcal{L} = 2\sigma^{-2}(\partial_{\mathcal{E}_1} - \partial_{\mathcal{E}_2})\mathcal{E}_1\mathcal{E}_2(\partial_{\mathcal{E}_1} - \partial_{\mathcal{E}_2})$ に従う $\mathbb{R}_+^2$ 上の拡散過程に収束する。
• 極限的な動的系は、SDE $d\mathcal{E}_1 = \sigma^{-1}\sqrt{2\mathcal{E}_1\mathcal{E}_2}\,dw_t - 2\sigma^{-2}(\mathcal{E}_1 - \mathcal{E}_2)\,dt$ で記述され、これは保存的で非勾配的である。
• マルティングルール成分 $\varepsilon M^u_{\varepsilon^{-2}t}$ はウィーナー過程に収束し、その二次変動はベクトル場 $X_i$ の $L^2$ ノルムによって制御される。
• 高次項補正の誤差項は、低コヒーレンス性と $S\phi$ 項におけるシュワルツの不等式の適用により、極限 $\varepsilon \to 0$ で消える。
• 流の非勾配的性質は、流 $j$ がエネルギーの局所関数の勾配でないことに起因する。これは調和系とは異なり、エネルギーの局所関数の勾配として表されないためである。
• この結果により、熱方程式の導出が二段階の手続きに還元される：第一に、ギンツブルグ＝ランダウSDEへの収束が厳密に確立されること。第二に、空間と時間の拡散スケーリングを解析して非線形熱方程式を回復すること。