[論文レビュー] Statistical mechanical derivation of the second law of thermodynamics

Hal Tasaki|arXiv (Cornell University)|Sep 14, 2000

Advanced Thermodynamics and Statistical Mechanics被引用数 11

ひとこと要約

本稿は、量子および古典的ハミルトニアン系における熱力学第二法則の厳密な統計力学的導出を提供し、初期状態が一般の平衡分布である場合、最小仕事の原理とエントロピー増大が、平衡統計力学とユニタリ時変化の論理的帰結であることを示している。主な結果は、一般のユニタリ時変化に対して、準静的（断熱的）過程が、いかなる他のユニタリ時変化よりも最小の仕事と最大のエントロピー変化を実現することを示す一般不等式である。

ABSTRACT

In a macroscopic (quantum or classical) Hamiltonian system, we prove the second law of thermodynamics in the forms of the minimum work principle and the law of entropy increase, under the assumption that the initial state is described by a general equilibrium distribution. Therefore the second law is a logical necessity once we accept equilibrium statistical mechanics.

研究の動機と目的

• 平衡統計力学とハミルトニアン力学の枠組み内で、熱力学第二法則を論理的必然性として確立すること。
• 微視的ダイナミクスから最小仕事の原理とエントロピー増大を厳密に導出し、操作的不可逆性の問題に取り組むこと。
• これらの熱力学的法則が、平衡分布の構造とユニタリ時変化から生じることを示し、最終状態が平衡状態でない場合にも成立することを示すこと。
• 熱力学的推論におけるミクロ・マクロ分離の役割を明確にし、従来の手法とは区別すること。

提案手法

• 量子系における時間に依存するハミルトニアンとユニタリ時変化演算子を用いて断熱的過程を形式化すること。
• 無限に遅い（準静的）過程に対応する特別なユニタリ変換 $\tilde{U}$ を定義し、理想の熱力学的操作を表すこと。
• ユニタリ時変化の下で、固有値が非減少で、重み関数 $w(E)$ が減少する観測量 $F$ に対して、一般不等式 $\langle F\rangle_U \geq \langle F\rangle_{\tilde{U}}$ を導出すること。
• 位相空間を等積の細胞に分割し、リウヴィルの定理によって測度を保存する方法を用いて、古典系へと拡張し、類似する不等式を得ること。
• トレースの不等式と和の再配分技術を用いて、一般のユニタリ時変化における任意の単調な観測量の期待値が、準静的変換における値によって下から抑えられることを証明すること。
• 不等式を仕事とエントロピーに適用し、熱力学的極限（$V \to \infty$）において第二法則を導出すること。

実験結果

リサーチクエスチョン

• RQ1 平衡統計力学とハミルトニアン力学から第二法則を、追加の仮定なしに厳密に導出できるか？
• RQ2 なぜ準静的過程が、仕事の入力とエントロピー生成の観点で最適なのであるか？
• RQ3 平衡分布の構造とユニタリ時変化が、なぜ最小仕事の原理を生じさせるのか？
• RQ4 初期の平衡状態が、熱力学的不可逆性の出現を保証する上で果たす役割は何か？
• RQ5 同じ数学的構造を用いて、古典的ハミルトニアン系に対しても同様の結果を拡張できるか？

主な発見

• 初期状態がエネルギーの非増加関数で記述される場合、任意のユニタリ時変化 $U$ と固有値が非減少の観測量 $F$ に対して不等式 $\langle F\rangle_U \geq \langle F\rangle_{\tilde{U}}$ が成立する。
• 最小仕事の原理は $\liminf_{V\to\infty} \{W(U) - W(\tilde{U})\} \geq 0$ として厳密に導出され、唯一準静的過程が仕事の入力を最小化することを示している。
• エントロピー増大の法則は $\liminf_{V\to\infty} \{S_{\rm fin}(U) - S_{\rm init}\} \geq 0$ として証明され、平衡初期状態からのいかなるユニタリ時変化に対してもエントロピーが減少しないことを意味する。
• 結果は量子および古典的ハミルトニアン系の両方で成立し、古典的ケースでは位相空間の分割とリウヴィルの定理による測度保存に依存している。
• 導出により、熱力学的不可逆性は、平衡分布の順序構造とユニタリ時変化の結果であることが示され、追加の公理ではない。
• 本稿が特定する主要な制限は、一般のユニタリ時変化後の最終状態が平衡状態でないことであり、これによりさらなる熱力学的サイクルを行うには、正確な平衡密度行列への置換が必要となることである。