熱力学第二法則

テンプレート:Pathnav テンプレート:出典の明記 テンプレート:Expand English {{#invoke:Sidebar |collapsible | bodyclass = plainlist skin-invert-image | titlestyle = padding-bottom:0.3em;border-bottom:1px solid #aaa; | title = 熱力学 | imagestyle = display:block;margin:0.3em 0 0.4em; | image = | caption = 古典的テンプレート:仮リンク | listtitlestyle = background:#ddf,;text-align:center;color: light-dark(black,white); | width = 256px | expanded =

| list1name =branches | list1title = 分野 | list1 = テンプレート:Startflatlist

• 熱力学
• 統計力学
• 熱化学

• 平衡熱力学テンプレート:\非平衡熱力学

| list2name = laws | list2title = 熱力学の法則 | list2 = テンプレート:Startflatlist

• 第零法則
• 第一法則
• 第二法則
• 第三法則

| list3name = systems | list3title = 系 | list3 =

テンプレート:Sidebar

| list4name = sysprop | list4title =系の特性

| list4 =

注: 斜体はテンプレート:仮リンクを示す。

テンプレート:Sidebar

| list5name = material | list5title = テンプレート:仮リンク | list5 =

比熱容量	$c=$	$T$ $\partial S$ $N$ $\partial T$
圧縮率	$\beta =-$	$1$ $\partial V$ $V$ $\partial p$
熱膨張	$\alpha =$	$1$ $\partial V$ $V$ $\partial T$

| list6name = equations | list6title = テンプレート:仮リンク | list6 = テンプレート:Startflatlist

• カルノーの定理
• クラウジウスの定理
• テンプレート:仮リンク
• 理想気体の状態方程式
• マクスウェルの関係式
• オンサーガーの相反定理
• テンプレート:仮リンクテンプレート:Endflatlist

| list7name = potentials | list7title = 熱力学ポテンシャル | list7 = テンプレート:Startflatlist

• 自由エネルギー
• テンプレート:仮リンク

| list8name = hist/cult | list8title = テンプレート:Hlist | list8 =

テンプレート:Sidebar

| list9name = scientists | list9title = 科学者 | list9 = テンプレート:Startflatlist

• ベルヌーイ
• ボルツマン
• カルノー
• クラペイロン
• クラウジウス
• カラテオドリ
• デュエム
• ギブズ
• フォン・ヘルムホルツ
• ジュール
• マクスウェル
• フォン・マイヤー
• オンサーガー
• ランキン
• スミートン
• シュタール
• トンプソン
• トムソン
• ファン・デル・ワールス
• ウォーターストン

| below =

}} 熱力学第二法則（ねつりきがくだいにほうそく、テンプレート:Lang-en-short）は、熱力学において可能な操作を定める法則である。

熱力学第二法則によって、「可逆過程」「不可逆過程」および「不可能な過程」が定義される。

法則の表現

この法則には様々な表現があるが、全て同値である。

クラウジウスの法則（クラウジウスの原理）

低温の熱源から高温の熱源に正の熱を移す際に、他に何の変化もおこさないようにすることはできない。

トムソンの法則あるいはケルビンの法則

一つの熱源から正の熱を受け取り、これを全て仕事に変える以外に、他に何の変化もおこさないようにする熱力学サイクルは存在しないテンプレート:Sfn。

オストヴァルトの原理

ただ一つの熱源から正の熱を受け取って働き続ける熱機関（第二種永久機関）は実現不可能である。

クラウジウスの不等式

テンプレート:Mvar 個の熱源を考え、温度 テンプレート:Mvar の熱源 テンプレート:Math から テンプレート:Mvar の熱を受け取り、その総和分の仕事$\sum _{i=1}^n{Q}_i$をするサイクルを作ると、$\sum _{i=1}^n\frac{Q_i}{T_i}\le 0$である。（テンプレート:Math の極限を考えると、熱源の温度を テンプレート:Mvar 、受け取る熱を テンプレート:Mvar とすれば $\oint \frac{d^{\prime }Q}{T_e}\le 0.$）

エントロピー増大則

孤立系、及び断熱系において不可逆変化が生じた場合、その系のエントロピーは増大する。

カラテオドリの原理

熱的に一様な系の任意の熱平衡状態の任意の近傍にその状態から断熱変化によって到達できない他の状態が必ず存在する。

オストヴァルトの原理はトムソンの法則と全く同じ主張をしている。クラウジウスの法則とトムソンの法則は、それぞれの反例となるサイクルを認めると、カルノーサイクルとの合成サイクルを作ることにより互いの反例が生じてしまう。つまり対偶を示すことにより同値であることが示せる。

クラウジウスの不等式は、カルノーサイクルを連結し合成サイクルを作ることによって、トムソンの法則と、それより導かれるカルノーの定理を用いて示せる。また、クラウジウスの不等式において テンプレート:Math としたものは、トムソンの法則そのものである。

熱力学では伝統的にはクラウジウスの不等式を用いてエントロピーを定義し、それが増大することが証明されるが、エントロピーを他の方法を用いて定義し、かつエントロピー増大則を原理として認めれば、他の諸原理を示すことができる。

歴史

マックスウェルの悪魔と情報理論

マクスウェルの悪魔のパラドックスは、1867年ごろに提唱されて以降、長年物理学者の頭を悩ませてきた。しかし2008年、情報理論と非平衡統計力学を融合させた理論（情報熱力学）が登場したことによって、悪魔が情報処理を行っており、n（ビット）の情報を消去するたびに k ln(n)（J/K）のエントロピーが増大しているということが明らかとなった。

これにより、熱力学第二法則との矛盾はひとまず解消された（という扱いになっている）。

なお、パラドックスの反証の際に用いられたランダウアーの原理は、特殊な形状のメモリについては既にジャルジンスキー等式を用いて証明されているが、一般的な場合については証明されていない。

ボルツマン

統計力学解釈

オーストリアの物理学者ルートヴィッヒ・ボルツマンは、1872年H定理による熱力学第二法則の証明を発表したが、下記の時間の矢のパラドックスを指摘され、その証明の欠陥が明らかとなった。しかし、その後その業績を引き継ぎウィラード・ギブズが完成させた理論（熱力学）は、化学反応や合金設計などにおける強力な基礎理論へと発展している。

時間の矢のパラドックス

オーストリアの物理学者ヨハン・ロシュミットは、「時間対称的な力学から不可逆過程が導かれるはずがない」と述べ、ボルツマンの証明を批判した。

現在、1993年にテンプレート:仮リンク, テンプレート:仮リンクおよびテンプレート:仮リンクが発見した「ゆらぎの定理」を用いる、時間の矢のパラドックスの解釈が提案されている。

理論的な証明

2017年9月6日、東京大学大学院工学系研究科助教・伊與田英輝らのグループは、ミクロな世界の基本法則である量子力学から出発して、熱力学第二法則を理論的に導出することに成功したと発表した。

これにより、18世紀ごろに生まれた第二種永久機関に関する論争に、改めて終止符が打たれた。

関連文献

• テンプレート:Cite journal

外部リンク

• テンプレート:機械工学事典
• 熱力学第二法則の量子限界 テンプレート:En icon
• 熱力学第二法則の量子限界第一回世界会議 テンプレート:En icon