状態数は可逆不変

前章では、理想気体という具体的な例において、状態数 ：（再掲） を求め、 が可逆不変性：（再掲） 可逆過程で値を変えず、不可逆過程で増加する性質（可逆不変性） を持つことを示した。

この章では、一般の熱力学系で、 が可逆不変になることを結論付ける。ただし、証明するわけではなく、要請する。また、なぜ相空間の体積である が、可逆不変となるかについて直感的な議論を行う。 状態数は可逆不変性を持つ（参考）状態数の解釈

2.1状態数 は可逆不変性を持つ

この節では、準静過程における状態数()の変化 を計算し、 となることを要請する。

状態量 が可逆不変であるための必要条件：式()

状態数()において、ハミルトニアンのパラメータ を微小量 だけ変化させる（長い時間 をかけて）。 という記号は、体積を想定してのことであるが、外部磁場などでもよい。その際のエネルギー の変化を とおく。この時の の変化 を、考えていく。

運動方程式により、 の関係式が得られる： （前章の第1節で求めた式と同じ。）ただし、赤字部分： は、 の時間平均である。

一方、微小変化 の下での の変化 は 階段関数その他を使って全体積分に置き換える階段関数の微分はデルタ関数 緑字部分は であり、 の統計平均と呼ぶ。分母は、等エネルギー面付近の相空間の体積であり、分子は、同じ領域に対して という重みを付けて積分したものである。従って、等エネルギー面付近において、 を平均したものということになる。

式()に式()を代入して を消去すると となる。状態量 が可逆不変量となるためには、 、即ち、 の時間平均と統計平均が一致する必要がある： （統計力学の「統計」という言葉は、計算し辛い時間平均を、統計平均から求めることに由来する。その応用については第xx章で扱う。）

は準静過程で変化しない：式()

熱力学編でも述べたように、エネルギー が等しいほとんど全ての状態は、ある1つの平衡状態とみなせるという性質（標準的ではないがマクロ同値性と呼んだ）が成り立つとする。これにより、直感的には式()が成立しそうである。というのも、時間平均も統計平均も、ある1つの平衡状態におけるミクロ状態にわたる平均となるからである。このように、時間平均と統計平均が一致するという性質のこともエルゴード性という。

エルゴード性の導出はは、原理的にはハミルトニアンが与えられれば可能なはずであるが、困難である。（以下の【2.1-注1】のように、いくつかの仮定のもとで示すことはできる。）そのため、これ以降ではエルゴード性が成り立つものと仮定する。即ち、任意のマクロな時間（＝測定ごとに値が変わらない程度の時間幅）における物理量 の時間平均値 は、その統計平均 に一致する： （エルゴード仮説） （なお、第xx章で扱うが、このエルゴード仮説を用いると、揺らぎや分子の速度分布といった、熱力学では対象としなった量が計算できる。このように、統計平均によって観測量を計算するというのが、エントロピーの導出と並ぶ、統計力学における基本的な戦略である。）

以上により、状態数 は、 の準静変化で値を変えない：

なお、秩序パラメータ が2つ以上の値を取る場合がある（例えば、結晶における格子の向きや、断熱容器が複数ある場合におけるエネルギーの分配）。この場合、式()の右辺の統計平均は、異なる秩序パラメータを持つ相の平均になってしまい、左辺とは一致しなくなる。一方、熱力学はそのような状態に対しても適用できる

は可逆不変量である→ からエントロピーが得られそう

状態数 は準静仮定で不変である。ということは、 が、我々が求めていたもの、即ち、可逆不変量であると考えられる。これを認めることにしよう： 状態量は、可逆不変性を持つ（ボルツマンの原理） 熱力学編で見たように、不可逆過程は、可逆過程よりもエネルギーを増大させるので、 も不可逆過程で大きくなる。

ただし、 がそのまま熱力学におけるエントロピー に一致するとは言えない。 は、 の関数になるはずである： 実際、熱力学においても の取り方には任意性があり、総加性と示量性を持たせることができるという性質を使うことで、 の関数形を決めたのであった。同様の議論によって未知関数 を決定できるはずである。その議論は次章で行う。（第1章の理想気体の計算で既に見たように、おそらく のようになるだろう。）

なお、正確には、ボルツマンの原理は、「持つ」ではなく「持つとみなせる」と書いたほうがよい。というのも、第1章で理想気体の場合に計算したように、 は に対する異常な増加関数であり、可逆仮定とみなせるような実験でも、1億桁くらいは余裕で変化するからである（1億倍ではなく1億桁である）。この場合でも可逆不変でなければならない。実際には、エントロピー にした時に良い精度で可逆不変になるとみるべきである。実際、 が1億桁変化したところで、 の変化は無視できる。

2.2（参考）状態数 の解釈

状態数 は、可逆不変性というエントロピーと同様の性質を持つ。 の定義は、等エネルギー面が囲む体積である。なぜこのような量がエントロピーの性質を持つのだろうか。この節では、状態数を情報の欠損量と解釈することで、これを直感的に理解することを目的とする。

状態の不確定性は保存する：リウヴィルの定理

相空間の体積に関する性質として、運動方程式に従って移動する領域の体積が保存する。これを、リウヴィルの定理という（以下の【2.2-注1】）。

通常、粒子の状態は、相空間上の1点で表される。一方で、今考えているのは体積である。これは、粒子の状態に不確定性がある場合に対応する。即ち、その領域の中にあることは分かっているが、その中のどこにあるかは分からないという状況である。体積が保存するということは、その不確定性が、相空間上において変化しないということである。特に、不確定性を減らせないことは、可逆不変量を減らすことができないことに対応しておりもっともらしい。

状態数 は、情報の欠損量とみなせる

一方で、可逆不変量は不可逆過程において増加するのに対し、リウヴィルの定理は状態数が保存することを示している。これはどう考えるべきだろうか。

例として、仕切りを入れた容器の一方にのみ気体が入っており、他方は真空である状況を考える。この状態で、仕切りを外した瞬間 の状態数 としては、一方の部屋に全ての粒子が集まっている状態の数を採用すべきである。（なお、 はマクロに区別できない状態の数を取るべきだが、状態数はエネルギーの極端な増加関数であるため、 以下の状態の数とみなしてよい。）その後、時間が経つと平衡状態に落ち着き、気体が容器全体に行き渡る。リウヴィルの定理により、この状態でも状態数 は保存する。しかし、この時の容器を観測しても、仕切られた状態から時間発展したのか、それとももともと容器全体に分布していたのか、という情報が欠損しており区別ができない。そのため、ここでの状態数 は、平衡状態が区別できない状態全体を使って定義するのが自然である。そのため、 は増加する。

このように、不可逆な変化が起きると状態数が増加することになる。ほかにも例えば、動いていた振り子が止まる過程も、止まった状態だけを見て過去がどうだったかを判定することはできないので、状態量が増加する。逆に、可逆な過程であれば、状態数は元に戻る。

直感的な議論だが、こう考えれば確かに、状態数が可逆不変性を持つことは自然に見える。状態数は、その系に対する情報の欠損量であり、欠損した情報を回復させることはできないという性質が、不可逆性に対応しているわけである。もちろんこのような性質を持つのは、情報の欠損量を、状態数、即ち、マクロに区別できない状態の数とみなしたからである。本来、情報量は主観的な量であり、このような定義に限定されるわけではない。（実際、振り子の例だと、 での振り子の状態を記録しておけば情報の欠損を抑えられるはずであるが、それによって熱力学的な性質が影響を受けることはない。）従って、あくまで解釈上の議論であり、情報という概念を用いて何かを導いたわけではない。