[論文レビュー] Classical Markovian Kinetic Equations: Explicit Form and H-Theorem

Constantinos Tzanakis, A.P. Grécos|ArXiv.org|Aug 27, 1997

Gene Regulatory Network Analysis参考文献 4被引用数 5

ひとこと要約

本稿では、物理的原理から古典的マーカフィアン線形運動方程式の明示的形を導出し、その随伴半群に対して一般化されたH定理を証明する。このような方程式が非負定値の主要係数を持つ2階微分方程式であることを示し、随伴方程式に対する非負の平衡解の存在がエントロピーの単調増加を意味することを示す。これにより、マーカフィアン力学と熱力学的不可逆性が結びつけられる。

ABSTRACT

The probabilistic description of finite classical systems often leads to linear kinetic equations. A set of physically motivated mathematical requirements is accordingly formulated. We show that it necessarily implies that solutions of such a kinetic equation in the Heisenberg representation, define Markov semigroups on the space of observables. Moreover, a general H-theorem for the adjoint of such semigroups is formulated and proved provided that at least locally, an invariant measure exists. Under a certain continuity assumption, the Markov semigroup property is sufficient for a linear kinetic equation to be a second order differential equation with nonegative-definite leading coefficient. Conversely it is shown that such equations define Markov semigroups satisfying an H-theorem, provided there exists a nonnegative equilibrium solution for their formal adjoint, vanishing at infinity.

研究の動機と目的

• 物理的に妥当な公理から、古典的マーカフィアン線形運動方程式の明示的数学的形を導出すること。
• このような方程式が観測量空間上でのマーカフィアン半群を生成するための条件を確立すること。
• これらの半群の随伴に対して一般化されたH定理を定式化・証明し、エントロピー非減少と結びつけること。
• マーカフィアン半群の性質が、非負定値の主要係数を持つ2階微分方程式であることと同値であることを示すこと。
• 逆に、非負の平衡解が存在し、空間無限遠で消えるような、このような2階方程式が、H定理を満たすマーカフィアン半群を定義することを証明すること。

提案手法

• 有限古典系における線形運動方程式の物理的および数学的要件のセットを定式化する。
• ハイゼンベルグ表現を用いて、解が観測量空間上でのマーカフィアン半群を定義することを示す。
• 運動方程式の一般形を、非負定値の主要係数を持つ2階微分方程式として導出する。
• 随伴半群を導入し、局所的不変測度の仮定の下でその性質を分析する。
• 連続性の仮定を適用して、マーカフィアン半群構造が保たれ、適切に定義されることを保証する。
• 非負の平衡解が無限遠で消えることを利用し、随伴半群に対するH定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 物理的に妥当な数学的制約の下で、古典的マーカフィアン線形運動方程式がどのような明示的形を取らなければならないか？
• RQ2 線形運動方程式が観測量空間上でのマーカフィアン半群を生成するための条件は何か？
• RQ3 このようなマーカフィアン半群の随伴に対して、一般化されたH定理を定式化・証明できるか？
• RQ4 マーカフィアン半群の性質が、非負定値の主要係数を持つ2階微分方程式であることと同値であるか？
• RQ5 形式的随伴方程式に対して非負の平衡解が存在することは、系におけるエントロピー単調増加を意味するか？

主な発見

• 解がマーカフィアン半群を形成するという要請から、運動方程式は非負定値の主要係数を持つ2階微分方程式でなければならない。
• 局所的不変測度の存在により、随伴半群はH定理を満たし、エントロピー非減少を意味する。
• 連続性の仮定のもとで、マーカフィアン半群の性質は、方程式が導出された2階形式をとるための必要十分条件である。
• 逆に、非負定値の主要係数を持つ任意の2階方程式は、随伴方程式に対して非負の平衡解が存在し、無限遠で消える場合、マーカフィアン半群を定義する。
• 平衡解が非負であり、空間無限遠で消えるとき、随伴半群に対してH定理が成立し、熱力学的整合性が保証される。
• この枠組みにより、運動方程式のマーカフィアン構造と第二法則熱力学の間の厳密な関係が、エントロピー単調増加を通じて確立される。