熱力学第二法則
出典: フリー百科事典『ウィキペディア(Wikipedia)』
熱力学第二法則(ねつりきがくだいにほうそく、エントロピー増大の原理とも言う)はエネルギーの移動の方向と、エネルギーの質に関する法則である。またエントロピーという概念に密接に関係するものである。
エネルギーの移動の方向と、エネルギーの質についていえば、例えば、液体を、電気的に加熱する時など、エネルギーは一方向にしか移動しないことは自明である。電気エネルギーは冷水を暖めることはできるが、熱水自体からは電気エネルギーは生じない。電気エネルギーは質の高いエネルギーであるが、温水のエネルギーの質は低い。
目次 |
[編集] 法則の表現
この法則には様々な表現がある。
- クラウジウスの法則
- 低温の熱源から高温の熱源に正の熱を移す際に、他に何の変化もおこさないようにすることはできない。
- トムソンの法則あるいはケルビンの法則
- 一つの熱源から正の熱を受け取り、これを全て仕事に変える以外に,他に何の変化もおこさないようにするサイクルは存在しない。
- オストヴァルトの原理
- ただ一つの熱源から正の熱を受け取って働き続ける熱機関(第二種永久機関)は実現不可能である。
- クラウジウスの不等式
- n個の熱源を考え、温度Tiの熱源i(1≤i≤n)からQiの熱を受け取り、その総和分の仕事をするサイクルを作ると、である。
- エントロピー増大則
- 断熱系において不可逆変化が生じた場合、その系のエントロピーは増大する。
これらの表現は全て同値である。まず、オストヴァルトの原理はトムソンの法則と全く同じ主張をしている。クラウジウスの法則とトムソンの法則は、それぞれの反例となるサイクルを認めると、カルノーサイクルとの合成サイクルを作ることにより互いの反例が生じてしまう。つまり対偶を示すことにより同値であることが示せる。クラウジウスの不等式はカルノーサイクルを連結し合成サイクルを作ることによって、トムソンの法則と、それより導かれるカルノーの定理を用いて示せ、またクラウジウスの不等式においてn=1としたものはトムソンの法則そのものである。熱力学では伝統的にはクラウジウスの不等式を用いてエントロピーを定義し、それが増大することが証明されるが、エントロピーを他の方法を用いて定義し、かつエントロピー増大則を原理として認めれば、他の諸原理を示すことができる。
[編集] 歴史
[編集] 法則の確立
(stub)
[編集] マックスウェルの悪魔と情報理論
(stub)
[編集] ボルツマン
- 統計力学解釈
ボルツマンは、1872年H定理による熱力学第二法則の証明を発表した。しかし下記の時間の矢のパラドックスを指摘され、その証明の欠陥が指摘されることになり、結局は熱力学第二法則は「等確率の原理」と読み替えられたに過ぎなかった。 (stub)
- 時間の矢のパラドックス
(stub)
[編集] 現代における熱力学第二法則の展開
現時点で「熱力学第二法則」は、データによる検証という意味では正しいが、証明(物理の証明とは、ある法則を別の独立した物理法則から導くこと。ここではミクロな物理法則から、マクロな法則である熱力学第二法則を導くこと。)は未完成であり、統計物理学の懸案事項の一つとなっている。本法則を確立するために、「時間の矢のパラドックス」を解決し、「マックスウェルの悪魔」を否定し、かつ「統計的にエントロピーが増大すること」を証明することが必要となる。ここでは、この展開について説明する。
- 時間の矢のパラドックス
1993年に提案された「ゆらぎ定理」を用いる、時間の矢のパラドックスの解釈が提案されている。これは、時間の矢のパラドックスの解決の一つとして挙げられている。
- マクスウェルの悪魔の否定
マクスウェルの悪魔は情報処理を行っており、「ランダウアーの原理」(証明はされている)により、n [bit] の情報を消去するのに kln n のエントロピーが増大し、熱力学第二法則に反しないと説明されている(k はボルツマン定数)。
- エントロピー増大の証明
現在下記の証明候補が挙げられている。
- Jarzynskiの不等式による証明(要確認)
(stub)
[編集] 関連記事
[編集] 外部リンク
カテゴリ: 熱力学 | 統計力学 | 自然科学の法則 | 自然科学関連のスタブ項目