[論文レビュー] Status of the Fundamental Laws of Thermodynamics

Walid K. Abou Salem, Juerg Froehlich|ArXiv.org|Apr 27, 2006

Advanced Thermodynamics and Statistical Mechanics参考文献 22被引用数 5

ひとこと要約

本稿は、理想化されたが物理的に意味のあるモデルにおける非平衡量子統計力学から、熱力学の第0法則、第1法則、第2法則を数学的に厳密に導出する。熱浴の存在を仮定し、時間周期的状態とエントロピー生成の上限を活用することで、カルノー効率の上限を確立し、1サイクルあたりのエントロピー生成が厳密に正であることを証明し、第二法則を微視的に確認する。

ABSTRACT

We describe recent progress towards deriving the Fundamental Laws of thermodynamics (the 0th, 1st and 2nd Law) from nonequilibrium quantum statistical mechanics in simple, yet physically relevant models. Along the way, we clarify some basic thermodynamic notions and discuss various reversible and irreversible thermodynamic processes from the point of view of quantum statistical mechanics.

研究の動機と目的

• 非平衡量子統計力学において、数学的に厳密に第0法則、第1法則、第2法則を導出すること。
• 特に平衡状態、可逆性、不可逆性といった基礎的熱力学的概念を、量子統計的枠組み内で明確化すること。
• 時間反転不変な微視的量子力学的ダイナミクスから、マクロな熱力学的挙動（エントロピー生成、カルノー効率など）がどのように生じるかを確立すること。
• 量子統計力学の整合性を確認するため、熱力学的法則が大規模で開放的な系が熱浴と結合する際に、顕在的性質として現れることを示すこと。

提案手法

• 熱浴の存在を仮定し、無限大の熱浴における熱的平衡への到達を正当化するため、第0法則の修正版を用いる。
• 時間周期的ハミルトニアンを介して熱浴と結合するオープン量子系を分析し、サイクル的熱力学的過程をモデル化する。
• フロケ・リウヴィルレアンを導入し、散乱理論とダイソン＝シュヴィンガー級数を用いて、長時間極限における時間周期的状態への収束を証明する。
• 相対エントロピーを用いて1サイクルあたりのエントロピー生成を定義し、その非負性および微小結合下での厳密な正の性質を証明する。
• 線形応答理論とグリーン＝キューブの公式を用いて、弱結合領域におけるオンサッガーの相反性とオームの法則を導出する。
• 相対エントロピーの上限を用いて、クーロンの不等式およびカルノー形式の第二法則を導出し、効率の上限を含む。

実験結果

リサーチクエスチョン

• RQ1 非平衡量子統計力学において、物理的に意味のあるモデルで第0法則、第1法則、第2法則を数学的に厳密に導出できるか？
• RQ2 時間反転不変な量子力学的ダイナミクスのもとで、熱浴と結合するオープン系においてエントロピー生成はどのように生じるか？
• RQ3 駆動された量子系において時間周期的状態が存在するための条件は何か？ そしてそれらは熱力学的サイクルとどのように関係するか？
• RQ4 追加の仮定なしに、量子統計力学からカルノー効率の上限を微視的に導出できるか？
• RQ5 フェルミの黄金律と相互作用ハミルトニアンの正則性は、定常状態への収束を保証するために果たす役割は何か？

主な発見

• 長時間極限において、1サイクルあたりのエントロピー生成が非負であることが証明され、第二法則が確認された。
• 結合定数が小さい場合、1サイクルあたりのエントロピー生成は厳密に正であり、[A-SF2]で示されたように摂動的に計算可能である。
• カルノー効率の上限 $\eta^{Carnot} = 1 - T_2/T_1$ が、熱機関の効率の上界として導出され、$\eta^\Sigma \leq \eta^{Carnot}$ が成り立つ。
• フェルミオン系の熱浴に対して、フロケ・リウヴィルレアンと散乱理論を用いて、$\rho_{t+N\tau_*} \to \omega_t^{\text{per}}$ が $N \to \infty$ のとき成り立つことが確立された。
• 相対エントロピーの上限から、$\sum_{i=1}^n \frac{\Delta Q^{{\mathcal{R}}_i}}{T_i} \leq 0$ が導かれ、複数の熱浴への一般化されたクーロンの不等式が得られた。
• サイクル的過程において、第1法則 ($\Delta U^\Sigma = 0$) および仕事とエネルギーのバランス ($\Delta A^\Sigma = \Delta Q^{{\mathcal{R}}_1} + \Delta Q^{{\mathcal{R}}_2}$) が満たされ、エネルギー保存則が確認された。