[論文レビュー] On the Integrated Form of the BBGKY Hierarchy for Hard Spheres

Herbert Spohn|ArXiv.org|May 25, 2006

Material Science and Thermodynamics参考文献 3被引用数 13

ひとこと要約

本稿は、硬い球体系におけるBBGKY階層の統合形について、直接的な確率論的導出を提示し、ボルツマン＝グラード極限における有限粒子系の力学とボルツマン方程式との間の厳密な接続を確立する。主な貢献は、すべての可能な衝突歴を考慮する時間統合型恒等式であり、測度論的枠組みとフロー表現を用いて、初期データに最小限の正則性仮定しか課さない状況下でも階層の有効性を証明する。

ABSTRACT

In my book ``Large Scale Dynamics of Interacting Particles'' [S] I refer to an unpublished note from early 1985 on the BBGKY hierarchy for hard spheres. My main point there was to provide a direct probabilistic proof for the time-integrated version of the hierarchy. Over recent years there has been repeated interest in this derivation, which encourages me to make my note public. I decided to leave it in its original form including likely inaccuracies. The work of R. Illner and M. Pulvirenti [IP] appeared in September 1985, see also the book by C. Cercignani, R. Illner, and M. Pulvirenti [CIP], who prove the same result using special flow representation and methods from the theory of differential operators. [S] H. Spohn, Large Scale Dynamics of Interacting Particles, Texts and Monographs in Physics, Springer-Verlag, Heidelberg, 1991. [IP] R. Illner and M. Pulvirenti, A derivation of the BBGKY-hierarchy for hard sphere particle systems, Transport Theory and Stat. Phys. extbf{16}, 997--1012 (1987), preprint DM-388-IR, September 1985. [CIP] C. Cercignani, R. Illner, and M. Pulvirenti, The Mathematical Theory of Dilute Gases, Applied Mathematical Sciences extbf{106}, Springer-Verlag, New York, 1994.

研究の動機と目的

• ランフォルトによるボルツマン方程式の導出で用いられる、硬い球体系におけるBBGKY階層の時間統合形の直接的確率論的証明を提供すること。
• 硬い球体相互作用および境界での鏡像反射を伴う有限粒子系における相関関数の時間発展を、厳密な数学的枠組みで確立すること。
• 擦過衝突や多重衝突に起因する特異性を、ルベーグ測度ゼロの集合を除き、位相空間の全測度部分集合上で取り扱うこと。
• 時間発展された相関関数が、すべての可能な衝突歴を含む積分方程式を満たすことを示し、フローの測度論的表現を用いる。

提案手法

• 本稿は、擦過衝突および多重衝突を除き、硬い球体力学が適切に定義され、かつ部分的連続であるような $n$ 粒子位相空間の全測度部分集合 $\Gamma_n^*$ を定義する。
• 時間順序で整列された衝突歴を、時間 $[0,t]$ の間の二項衝突および壁反射の系列を符号化する衝突配置 $\delta$ 上の測度 $W(x, \delta)$ を用いて表現する。
• 力学的挙動はフロー $T_t^{(n)}$ で記述され、衝突時における左極限および右極限が存在する部分的連続関数として定義され、相関関数の時間発展は初期密度の逆フローによる押し出しで定義される。
• 主要な技術的道具は、連続性および有界性条件を満たす密度のクラス $\mathcal{C}^*$ の導入であり、これは上限収束定理の適用を可能にし、極限と積分の交換を正当化する。
• 主たる恒等式 (73) は、時間発展された相関関数 $\rho_n(x_1,\dots,x_n,t)$ を、測度 $W$ で重み付けされたすべての可能な衝突歴にわたる積分として表現し、最終状態を $n+m$ 粒子配置で評価する。
• 証明は、$\mathcal{C}^*$ 内の滑らかな密度による近似、$L^1$ 収束、およびフロー下での零集合が保存されることに依拠しており、恒等式がほとんど everywhere で成立することを保証する。

実験結果

リサーチクエスチョン

• RQ1 微分作用素の技法に依存せずに、確率論的手法を用いて硬い球体系におけるBBGKY階層の統合形を直接導出する方法は何か？
• RQ2 有限硬い球体系における時間発展相関関数の正確な数学的構造は、すべての可能な衝突歴に基づいてどのように記述できるか？
• RQ3 擦過衝突および多重衝突に起因する特異性は、導出過程でどのように厳密に取り扱えるか？
• RQ4 時間統合型階層は、相関関数のバージョンの選択にどれほど依存するか。これはほとんど everywhere の等価性によってどのように解決されるか？
• RQ5 初期データが正または正規化されている必要はなく、経路に沿って有界かつ連続である場合に限り、階層は成立するか？

主な発見

• 統合BBGKY階層は、すべての可能な衝突歴にわたる積分を含む恒等式として厳密に導出され、時間発展相関関数 $\rho_n(x_1,\dots,x_n,t)$ は、$m$ 回の衝突によって生じるすべての $m$ 粒子配置の和として表現される。
• 恒等式 (73) は $\Gamma_n$ 上のルベーグ測度に関してほとんど everywhere で成立し、右辺は $\rho$ や $\rho(t)$ のバージョンの選択に依存しない。これにより一貫性が保証される。
• 初期相関関数 $\rho_n$ から時間発展した $\rho_n(t)$ への写像は可逆かつ有界であり、逆写像は $m$ 粒子相関関数への交互積分を含む形式的級数展開で与えられる。
• 証明により、時間発展が衝突イベントを越えて相関関数の連続性および有界性を保存することが示された。
• この枠組みにより、初期データに有界性および連続性条件のみを課す（確率測度である必要はない）場合でも、階層の適用範囲が平衡集合に限らないように拡張可能である。
• 本結果により、ボルツマン＝グラード極限におけるランフォルトによるボルツマン方程式の導出のための厳密な基礎が提供され、初期分布に最小限の仮定しか課さない状況下でも時間統合型階層が成立することが示された。