エントロピー

エントロピー（）は、熱力学および統計力学において定義される示量性の状態量である。熱力学において断熱条件下での不可逆性を表す指標として導入され、統計力学において系の微視的な「乱雑さ」を表す物理量という意味付けがなされた。統計力学での結果から、系から得られる情報に関係があることが指摘され、情報理論にも応用されるようになった。物理学者ののようにむしろ物理学におけるエントロピーを情報理論の一応用とみなすべきだと主張する者もいる。
エントロピーはエネルギーを温度で割った次元を持ち、SIにおける単位はジュール毎ケルビン（記号: J/K）である。エントロピーと同じ次元を持つ量として熱容量がある。エントロピーはサディ・カルノーにちなんで一般に記号 を用いて表される。
概要.
エントロピーは、熱力学、統計力学、情報理論など様々な分野で使われている。しかし分野によって、その定義や意味付けは異なる。よってエントロピーを一言で説明することは難しいが、大まかに「何をすることができて、何をすることができないかを、その大小で表すような量」であると言える。
エントロピーに関わる有名な性質として、熱力学におけるエントロピー増大則がある。エントロピー増大則は、断熱条件の下で系がある平衡状態から別の平衡状態へ移るとき、遷移の前後で系のエントロピーが減少せず、殆ど必ず増加することを主張する。断熱条件の下で系の平衡状態が から への遷移が可能な場合、系のそれぞれの平衡状態におけるエントロピーの間には
の関係が成り立つ。等号が成り立ち、状態を移る前後でエントロピーが変化しない場合には、逆向きの から への遷移が可能である。逆向きの遷移が可能なのは準静的な断熱過程だけである。逆向きの断熱過程が存在しないならば、状態の遷移に伴ってエントロピーが必ず増加する。
エントロピー増大則は熱力学の特徴である可逆性と不可逆性を特徴付ける法則であり、エントロピーは熱力学における最も基本的な量である。
エントロピーに関する法則としてもう一つよく知られるものに、統計力学におけるボルツマンの原理がある。ボルツマンの原理は、ある巨視的な系のエントロピーを、その系が取り得る微視的な状態の数と関係づける。微視的な状態数が のときのエントロピーは
で表される。比例係数 はボルツマン定数と呼ばれる。系の巨視的な状態は、系のエネルギーや体積、物質量などの巨視的な物理量の組によって定められるが、それらの巨視的な物理量を定めたとしても系の微視的状態は完全には定まらず、いくつかの状態を取り得る。状態数とは巨視的な拘束条件の下で可能な微視的状態の数を見積もったものである。ボルツマンの原理から、可能な微視的状態の数が増えるほどにエントロピーが大きいことが解る（対数は狭義の単調増加関数である）。逆に、微視的状態が確定する の状況ではエントロピーが となる。可能な微視的状態の数が増えるということは、巨視的な情報しか知り得ないとすれば、それだけ微視的世界に関する情報が欠如していると捉えることができ、この意味でボルツマンの原理はエントロピーの微視的乱雑さを表す指標としての性格を示している。
歴史.
エントロピーは、ドイツの物理学者ルドルフ・クラウジウスが、カルノーサイクルの研究をする中で、移動する熱を温度で割ったという形で導入され、当初は熱力学における可逆性と不可逆性を研究するための概念であった。後に原子の実在性を強く確信したオーストリアの物理学者ルートヴィッヒ・ボルツマンによって、エントロピーが原子や分子の「乱雑さの尺度」であることが論証された。
クラウジウスは1854年にクラウジウスの不等式として熱力学第二法則を表現していたが、彼自身によって「エントロピー」の概念が明確化されるまでにはそれから11年を要した。不可逆サイクルでゼロとならないこの量をクラウジウスは仕事と熱の間の「変換」で補償されない量として、1865年の論文においてエントロピーと名付けた。エントロピーという言葉は「変換」を意味する（トロペー）に由来している。
その後ボルツマンやギブスによって統計力学的な取り扱いが始まった。情報理論（直接的には通信の理論）における情報量の定式化が行われたのは、クロード・シャノンの1948年『通信の数学的理論』である。シャノンは熱統計力学とは独立に定式化にたどり着き、エントロピーという命名はフォン・ノイマンの勧めによる、と言われることがあるが、シャノンはフォン・ノイマンの関与を否定している。
熱力学におけるエントロピー.
エントロピーは、熱力学における断熱過程の不可逆性を特徴付ける量として位置付けられる。熱力学では、系のすべての熱力学的な性質が、一つの関数によってまとめて表現される。そのような関数は完全な熱力学関数と呼ばれる。エントロピーは完全な熱力学関数の一つでもある。
エントロピーの定義.
エントロピーの定義の方法には、いくつかのスタイルがある。
以下のエントロピーの説明は、クラウジウスが1865年の論文の中で行ったものを基にしている。クラウジウスは熱を用いてエントロピーを定義した。この方法による説明は多くの文献で採用されている。
簡単な状況下での説明.
温度 の吸熱源から の熱を得て、温度 の排熱源に の熱を捨てる熱機関（サイクル）を考える。この熱機関が外部に行う仕事はエネルギー保存則から であり、熱機関の熱効率 は
で与えられる。
カルノーの定理によれば、熱機関の熱効率には二つの熱源の温度によって決まる上限の存在が導かれ、その上限は
で表される。
これら2本の式を整理することで、
が成立することが分かる。
可逆な熱機関の熱効率は と等しく、このため可逆な熱機関ではは等号
が成り立つ。すなわち、可逆な過程で高熱源に接している状態から低熱源に接している状態に変化させたとしても という量は不変となる。クラウジウスはこの不変量をエントロピーと呼んだ。
可逆でない熱機関は熱効率が よりも悪いことが知られており、このため可逆でない熱機関ではは等号ではなく不等式
が成り立つ。すなわち、可逆でない過程で高熱源で熱を得た後、低熱源でその熱を捨てるとエントロピーは増大する（エントロピー増大則）。
一般の場合.
上では話を簡単にするため、高熱源と低熱源の2つしか熱源がない場合を考えたが、より一般に個の熱源がある状況を考えるとは
となる（クラウジウスの不等式）。ただし上の不等式ではと違いは全て温度の熱源から得る熱であり、熱を捨てる場合は負の値としている。
可逆なサイクルでは等号
が成り立ち、この式でとすると、
となる 。状態から状態へと移る任意の可逆過程,を考え、をの逆過程とする。このとき、とを連結させた過程は可逆なサイクルとなり
が成り立つ。つまり、この積分の値は始状態と終状態が同じならば可逆過程の選び方によらない。
そこで、適当に基準となる状態と、そのときの基準値を決めると、状態におけるエントロピーを
と定義することができる。ここでは基準状態から状態へと変化する可逆な過程である。からエントロピーの定義は可逆過程の選び方によらない。
基準状態から状態へと移る可逆過程と、状態から状態へと移るある可逆過程を連結させた過程は基準状態から状態へと移る可逆過程である。したがって、
あるいは
となる。
エントロピー増大則.
状態から状態へと移る任意の過程と、同じく状態から状態へと移る可逆過程を考え、をの逆過程とする。このときとを連結させた過程はサイクルとなる。
このサイクルについて、導出と同様にクラウジウスの不等式から
 =\int_X \frac{d'Q}{T_\text{ex}}-\int_C \frac{d'Q}{T_\text{ex}}\le 0</math>
\le \int_C \frac{d'Q}{T_\text{ex}}</math>
が導かれる。ここでは熱源の温度であり、一般には系の温度とは一致しない。しかし、可逆過程の間においては、系は常に平衡状態にあるとみなされるから、熱源の温度は系の温度に一致する。したがって
\le \int_C \frac{d'Q}{T} =\Delta S</math>
となる。
特に断熱系（外から仕事が加えられても良い）においてはなので、
という結果が得られる。これがエントロピー増大則である。熱力学第二法則と同値なクラウジウスの不等式からこれが求められたことにより、熱力学第一法則がエネルギー保存則と対応するのになぞらえて熱力学第二法則とエントロピー増大則を対応させることもある。なお、この導出から明らかなように、熱の出入りがある系ではエントロピーが減少することも当然起こり得る。
エントロピーが増加するために、熱エネルギーのすべてを他のエネルギーに変換することはできない。したがって、熱エネルギーは低品質のエネルギーとも呼ばれる。
完全な熱力学関数.
熱力学第一法則から、ある熱力学過程の間に系が外部から得る熱は、その過程の前後での系の内部エネルギーの変化と、その過程の間に系が外部になす仕事により
と表すことができる。無限小の変化で考えると
となる。クラウジウスの不等式とエントロピーの定義式から無限小変化に対して
</math>
となる。系が体積の変化を通してのみ外部に仕事をなす場合には、外部の圧力をとして
となる。これらをまとめると
 (dU + p_\text{ex}dV)</math>
が成り立つことがわかる。可逆過程では等号
 (dU + p_\text{ex}dV)</math>
が成り立ち、さらに準静的過程では系と外部が熱平衡および力学的平衡にあるので、外部の温度は系の温度に等しく、外部の圧力は系の圧力に等しい。すなわち、で表される平衡状態からで表される平衡状態への準静的な無限小変化では
となる。
系と外部の間で物質の出入りがなく、外場の作用も受けていないときには、平衡状態にある系の温度と圧力は、の関数として一意に定まることが経験的に知られている。系の温度と圧力がそれぞれとで表されるとき、不可逆過程においても、で表される平衡状態からで表される平衡状態への無限小変化で、準静的過程と同じ式
が成り立つ。なぜなら、左辺のが状態量の変化量なので、右辺もまた途中の過程に依らないからである。この式をの全微分と比べると、直ちに偏微分
が得られる。
特に前者は、統計力学において熱力学温度を導入する際に用いられる関係式である（エントロピーの存在を公理的に与える論理展開の場合は、熱力学においてもこの式が熱力学温度の定義式である）。
系と外部の間で物質の出入りがなく、外場の作用も受けていないとき、との両方の関数形が知られていれば、これら二つの関数から、熱容量やエントロピーなどの、系の全ての状態量を計算することができる。しかし、どちらか一方の関数形が不明な場合は、これが不可能になる。例えば、だけから系の熱容量を計算することは不可能である。また、だけからでは、体積変化に伴うエントロピー変化を求めることはできない。一方、が知られていれば、この関数ひとつだけから、系の全ての状態量を計算することができる。すなわち、系と外部の間で物質の出入りがなく、外場の作用も受けていないとき、は完全な熱力学関数となる。
エントロピーは内部エネルギーや体積などの示量性状態量を変数に持つとき、完全な熱力学関数となる。系が化学反応など物質の増減によってエネルギーの移動が生じるときは
となる。
ここで、は物質量、は化学ポテンシャルである。さらに他の示量性状態量の変化によるエネルギーの移動があるときは、それに対応する示強性状態量として
となる。
との組としては
などがある。
温度による表示.
エントロピーを完全な熱力学関数として用いる場合の系の平衡状態を表す変数は内部エネルギーと体積などの示量性変数である。しかし、温度は測定が容易なため、系の平衡状態を表す変数として温度を選ぶ場合がある。
閉鎖系で物質量の変化を考えない場合に、温度 と体積 の関数としてのエントロピー の温度 による偏微分は
で与えられる。ここで 定積熱容量である。
また、エントロピー の体積 による偏微分はMaxwellの関係式より
で与えられる。これは熱膨張係数 と等温圧縮率 で表せば
となる。
従って、 表示によるエントロピーの全微分は
となる。
さらに体積に変えて圧力 を変数に用いれば、体積 の全微分が
であることを用いれば、 表示によるエントロピーの全微分は
となる。
気体のエントロピー.
低圧領域において実在気体の状態方程式をビリアル展開
の形で書くと、モルエントロピー の圧力による偏微分は、マクスウェルの関係式より
 =-\left( \frac{\partial V_\text{m}}{\partial T} \right)_p
 =-\frac{R}{p} -\frac{dB_V}{dT} +O(p^1)</math>
となる。従って、低圧領域においてモルエントロピーは
で表される。ここで
で定義される は、温度 における標準モルエントロピーであり、この実在気体が理想気体の状態方程式に従うと仮定した時の、圧力 °におけるモルエントロピーに相当する。
リーブとイングヴァソンによる再構築.
1999年にとヤコブ・イングヴァソンは、「断熱的到達可能性」という概念を導入して熱力学を再構築した。「状態が状態から断熱操作で到達可能である」ことを formula_1 と表記し、この formula_2 の性質からエントロピーの存在と一意性を示した。
この公理的に基礎付けされた熱力学によって、クラウジウスの方法で用いられていた「熱い・冷たい」「熱」のような直感的で無定義な概念を基礎から排除した。温度は無定義な量ではなくエントロピーから導出される。このリーブとイングヴァソンによる再構築以来、他にも熱力学を再構築する試みがいくつか行われている。
統計力学におけるエントロピー.
ある巨視的状態（例えば、圧力と体積を指定した状態）に対して、それを与える微視的状態（例えば、各分子の位置および運動量）は多数存在すると考えられる。そこで仮想的にアンサンブルを考える。つまり、ある巨視的状態に対応する微視的状態の集合を考え、その各々の元が与えられた巨視的状態の下で実現する確率分布を与えることにする。
系の微視的状態（例えば量子系であればエネルギー固有状態）を考え、微視的状態が実現される確率分布が与えられているとき、ボルツマン定数をとして、エントロピーを
により定義する。これはギブズエントロピー（）とも呼ばれる。
すなわち、統計力学におけるエントロピーは情報理論におけるエントロピー（無次元量）と定数倍を除いて一致する。
小正準集団.
例えば、エネルギーの状態にある孤立系に対応して、小正準集団を用いるとする。すなわち、微視的状態にあるときのエネルギーをとしたときに、系のエネルギーにある微視的状態のみに有限の確率を等しく
として与える（等重率の原理）。ここで、規格化定数は状態数と呼ばれ、系がエネルギーにあるときに実現しうる微視的状態の数を意味する。このとき、エントロピーはボルツマンの公式としてよく知られる
で与えられる。
熱力学との整合性.
このように小正準集団により与えられたエントロピーが、先に見た熱力学のエントロピーと整合していることを確認する。エネルギー、小正準集団によるエントロピーの系を、透熱壁を入れることにより 2 つの部分系に分離する。それぞれの系にエネルギーがと分配されるとしよう。この場合、系全体の状態数か、あるいはその対数であるエントロピーが最大になるように部分系のエネルギーが決定されると考えるのは自然であろう。系全体の状態数は 2 つの部分系の状態数の積であり、すなわち系全体のエントロピーは 2 つの部分系のエントロピーの和である。条件の下で全体のエントロピーを最大とする条件を考えると、
すなわち
となる。ここで、このエントロピーを熱力学のものと同一視すると、が成立するのであった（部分系の体積は固定しておくことにする）。透熱壁を用いて 2 つの系を接触させた場合、平衡状態では当然 2 つの系の温度は等しくなることと、ここで確認した事実は確かに整合している。
熱力学と整合するアンサンブルは、ここで例示した小正準集団の他にも、正準分布や大正準分布がある。
情報理論におけるエントロピーとの関係.
情報理論においてエントロピーは確率変数が持つ情報の量を表す尺度で、それゆえ情報量とも呼ばれる。
確率変数に対し、のエントロピーは
で定義されており、これは統計力学におけるエントロピーと定数倍を除いて一致する。この定式化を行ったのはクロード・シャノンである。
これは単なる数式上の一致ではなく、統計力学的な現象に対して情報理論的な意味づけを与える事ができることを示唆する。情報量は確率変数が数多くの値をとればとるほど大きくなる傾向があり、したがって情報量はの取る値の「乱雑さ」を表す尺度であると再解釈できる。よって情報量の概念は、原子や分子の「乱雑さの尺度」を表す統計力学のエントロピーと概念的にも一致する。
しかし、情報のエントロピーと物理現象の結びつきは、シャノンによる研究の時点では詳らかではなかった。この結びつきは、マクスウェルの悪魔の問題が解決される際に決定的な役割を果たした。シラードは、悪魔が分子について情報を得る事が熱力学的エントロピーの増大を招くと考えたが、これはベネットにより可逆な（エントロピーの変化ない）観測が可能である、と反例が示された。最終的な決着は1980年代にまで持ち越された。ランダウアーがランダウアーの原理として示していたことであったのだが、悪魔が繰り返し働く際に必要となる、分子についての以前の情報を忘れる事が熱力学的エントロピーの増大を招く、として、ベネットによりマクスウェルの悪魔の問題は解決された。
この原理によれば、コンピュータがデータを消去するときに熱力学的なエントロピーが発生するので、通常の（可逆でない＝非可逆な）コンピュータが計算に伴って消費するエネルギーには下限があることが知られている（ランダウアーの原理。ただし現実の一般的なコンピュータの発熱とは比べるべくもない規模である）。また理論的には可逆計算はいくらでも少ない消費エネルギーで行うことができる。
さらには統計力学におけるギブズの手法を抽象することで、統計学・情報理論における最大エントロピー原理を打ち立てた。この結果、ギブズの手法は統計学・情報理論の統計力学への一応用例として再解釈されることになった。
統計力学と情報理論の関係は量子力学においても成立しており、量子統計力学におけるフォン・ノイマンエントロピーは量子情報の情報量を表していると再解釈された上で、量子情報や量子計算機の研究で使われている。
ブラックホールのエントロピー.
ブラックホールのエントロピーは表面積に比例する。
ここではエントロピー、はブラックホールの事象の地平面の面積、はディラック定数（換算プランク定数）、はボルツマン定数、は重力定数、は光速度である。
生物学におけるエントロピー.
エルヴィン・シュレーディンガーは、生命をネゲントロピー（負のエントロピー）を取り入れエントロピーの増大を相殺することで定常状態を保持している開放定常系とした。負のエントロピー自体は後に否定されたが、非平衡系の学問の発展に寄与した。