[論文レビュー] Large deviations and gradient flows for the Brownian one-dimensional hard-rod system

Nir Gavish, Pierre Nyquist+1 more|arXiv (Cornell University)|Sep 4, 2019

Phase Equilibria and Thermodynamics参考文献 94被引用数 7

ひとこと要約

本稿は、有限サイズの1次元ブラウン運動的硬い杭の系の経験測度に対する大偏差原理を、縮小された領域上の非相互作用粒子への写像を用いて確立する。主な結果として、限界動的が Wasserstein 散逸とエントロピーに基づく駆動関数を有する勾配流として特定され、体積排除効果を含む連続体モデルの変分構造が厳密に裏付けられる。

ABSTRACT

We study a system of hard rods of finite size in one space dimension, which move by Brownian noise while avoiding overlap. We consider a scaling in which the number of particles tends to infinity while the volume fraction of the rods remains constant; in this limit the empirical measure of the rod positions converges almost surely to a deterministic limit evolution. We prove a large-deviation principle on path space for the empirical measure, by exploiting a one-to-one mapping between the hard-rod system and a system of non-interacting particles on a shorter domain. The large-deviation principle naturally identifies a gradient-flow structure for the limit evolution, with clear interpretations for both the driving functional (an `entropy') and the dissipation, which in this case is the Wasserstein dissipation. This study is inspired by recent developments in the continuum modelling of multiple-species interacting particle systems with finite-size effects; for such systems many different modelling choices appear in the literature, raising the question how one can understand such choices in terms of more microscopic models. The results of this paper give a clear answer to this question, albeit for the simpler one-dimensional hard-rod system. For this specific system this result provides a clear understanding of the value and interpretation of different modelling choices, while giving hints for more general systems.

研究の動機と目的

• 有限サイズの1次元ブラウン運動的硬杭系の、体積分率一定下での連続体極限を厳密に導出すること。
• 無限粒子極限における杭位置の経験測度の経路空間上の大偏差原理を確立すること。
• 限界進化の背後にある勾配流構造（駆動関数および散逸機構）を同定すること。
• 特に多成分系粒子系の文脈において、体積排除を伴う系における変分モデル手法の微視的裏付けを提供すること。
• 明確に定義された微視的モデルから導かれる連続体モデルの選択肢の物理的・数学的解釈を明確化すること。

提案手法

• 硬杭系と縮小領域上の非相互作用粒子系との間の一対一写像を用い、解析を簡素化する。
• 大偏差理論を適用し、杭位置の経験測度の経路空間上の大偏差原理を導出する。
• 写像を活用して、非相互作用系から得られる大偏差構造を元の相互作用系へと移転する。
• 限界進化を Wasserstein 空間における勾配流として特定し、エントロピー関数を駆動ポテンシャルとして同定する。
• 弱形式とコンパクト性の議論を用いて、関連する Fokker-Planck 方程式の解の存在および一意性を証明する。
• 双対性および近似技術を用い、有界領域からの解を全配置空間へと拡張し、質量保存および連続性を保証する。

実験結果

リサーチクエスチョン

• RQ1 無限粒子極限における1次元硬杭系の経験測度の大偏差レート関数は何か？
• RQ2 大偏差原理は、限界動的の勾配流構造をどのように明らかにするか？
• RQ3 連続体極限における駆動関数および散逸機構の物理的・数学的解釈は何か？
• RQ4 体積排除を伴う連続体モデルの変分構造は、どのように微視的粒子系から厳密に導出可能か？
• RQ5 縮小領域上での非相互作用粒子系への写像は、大偏差構造をどの程度保ち、厳密な解析を可能にするか？

主な発見

• 無限粒子・体積分率一定極限において、硬杭系の経験測度は概収束的に決定的限界進化へ収束する。
• 経路空間上に大偏差原理が確立され、レート関数が限界の勾配流構造を特定する。
• 限界動的は、Wasserstein 空間における勾配流として特徴づけられ、エントロピー関数が駆動関数であり、Wasserstein 散逸を有する。
• 縮小領域上での非相互作用粒子系への写像により、大偏差原理の導出が可能となり、変分構造が明らかにされる。
• Fokker-Planck 方程式の解は存在し一意であり、質量は時間とともに保存され、密度は空間および時間で連続である。
• 厳密な導出により、体積排除を伴う変分モデリングの微視的基盤が提供され、連続体方程式におけるモデリング選択の物理的意味が明確化される。