[論文レビュー] On Rigorous Derivation of the Enskog Kinetic Equation

I. V. Gapyak, V. I. Gerasimenko|arXiv (Cornell University)|Jul 27, 2011

Material Science and Thermodynamics参考文献 19被引用数 15

ひとこと要約

本稿では、演算子積率の運動論的クラスターエクスパンションを用いて、無限個の硬い球体系のEnskog運動方程式を厳密に導出する。初期データが1粒子分布関数で指定される場合、BBGKY階層と一般化Enskog方程式の等価性を確立し、$ L^1 $ 空間における解の存在を示し、衝突積分が初期相関および硬い球体相互作用に起因する動的相関を捉えていることを示す。

ABSTRACT

We develop a rigorous formalism for the description of the kinetic evolution of infinitely many hard spheres. On the basis of the kinetic cluster expansions of cumulants of groups of operators of finitely many hard spheres the nonlinear kinetic Enskog equation and its generalizations are justified. It is established that for initial states which are specified in terms of one-particle distribution functions the description of the evolution by the Cauchy problem of the BBGKY hierarchy and by the Cauchy problem of the generalized Enskog kinetic equation together with a sequence of explicitly defined functionals of a solution of stated kinetic equation is an equivalent. For the initial-value problem of the generalized Enskog equation the existence theorem is proved in the space of integrable functions.

研究の動機と目的

• 無限個の硬い球体の運動からEnskog運動方程式を厳密に導出すること。
• Boltzmann方程式の導出に匹敵する進展が見られない中で、Enskog型方程式の導出という未解決問題に取り組むこと。
• 硬い球体系における禁止配置に起因する初期相関を運動論的枠組みで扱うこと。
• 1粒子初期データのもとで、BBGKY階層と一般化Enskog方程式の等価性を確立すること。
• 可積分関数空間における一般化Enskog方程式の解の存在定理を証明すること。

提案手法

• 多数体演算子群の積率の運動論的クラスターエクスパンションを用いて、有限系における相関運動を記述する。
• 可変粒子数をもつ無限粒子系をモデル化するため、非平衡グランドカノニカルアンサンブルの形式的枠組みを適用する。
• 衝突積分の体系的展開を通じて、一般化Enskog方程式を導出し、初期相関および動的相関を組み込む。
• 状態の周辺関数を一般化Enskog方程式の解の明示的関数として導入する。
• 有界関数列空間における$ \ast $-弱収束を用いて、拡張された意味での弱解を定義する。
• 一般化Enskog方程式の初期値問題の$ L^1(\mathbb{R}^3 \times \mathbb{R}^3) $ における解の存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 初期相関を含めた無限個の硬い球体の運動から、Enskog運動方程式を厳密に導出できるか？
• RQ2 初期データが1粒子分布関数で指定される場合、BBGKY階層と一般化Enskog方程式の正確な関係は何か？
• RQ3 硬い球体の排他効果（禁止配置）は、Enskog方程式の衝突積分の構造にどのように影響するか？
• RQ4 一般化Enskog方程式が可積分関数空間において解をもつのはどのような条件下か？
• RQ5 一般化Enskog方程式のマーコフ極限は、動的相関が存在しない場合に、既知の形（改訂Enskog方程式）に回帰するか？

主な発見

• 一般化Enskog方程式は、演算子積率の運動論的クラスターエクスパンションを用いて、BBGKY階層から厳密に導出された。
• 1粒子分布関数での初期データが与えられる場合、全系の時間発展は、一般化Enskog方程式と明示的に定義された周辺関数の系列を解くことと等価である。
• 一般化Enskog方程式の衝突積分には、Boltzmann-Enskog項に加え、初期相関および動的に生成された相関を記述する高次項が含まれる。
• 可積分関数空間における一般化Enskog方程式の初期値問題の解が、存在定理により証明された。
• 拡張された意味での弱解は、BBGKY階層を満たす関数の時間微分として特徴づけられ、元の運動と整合していることが確認された。
• 一般化Enskog方程式のマーコフ極限は、動的相関が存在しない場合、排除体積効果に起因する初期相関のみを残し、改訂Enskog方程式に簡略化される。