断熱的到達可能性

断熱的到達可能性(Adiabatic accessibility)とは、熱力学における概念の一つ。「断熱・断物の壁で囲まれた系の任意の2つの平衡状態 テンプレート:Math について、テンプレート:Math から テンプレート:Math への状態変化が力学的仕事だけで起こせること」を指す。

エリオット・H・リーブとヤコブ・イングヴァソンはこの概念を用い、次のような要請（数学における公理に相当する）を熱力学の出発点のひとつにおいた。

「断熱・断物の壁で囲まれた系の任意の2つの平衡状態 テンプレート:Math について、テンプレート:Math から テンプレート:Math への状態変化が力学的仕事だけで起こせるか否かが定まっている。」

つまり「状態たちの間に一本の序列が付けられる」ということである。もちろんこれだけでは熱力学の要請としては足りないので、他にも幾つかの要請をおく。そうすると、任意の状態について、その大小がこの序列の順番を決めるような、ある相加的な量が（定数倍などのつまらない不定性を除いて実質的に）一意的に定義できることが示せる。それがエントロピーになる。

定義

平衡状態 テンプレート:Math が別の平衡状態 テンプレート:Math から断熱的到達可能であることを、$X\prec Y$と書く。$\prec$の定義として以下の要請がなされる：

反射則

どのような テンプレート:Math についても$X\prec X$

推移則

$X\prec Y$かつ$Y\prec Z$ならば$X\prec Z$

状態の複合との一貫性

$X\prec X^{\prime }$かつ$Y\prec Y^{\prime }$ならば$(X,Y)\prec (X^{\prime },Y^{\prime })$

スケール不変性

$X\prec Y$ならば$\lambda X\prec \lambda Y$

分裂と再結合

$0<\lambda <1$について $X\prec ((1-\lambda )X,\lambda X)$ であり $((1-\lambda )X,\lambda X)\prec X$ である

安定性

もしいくらでも小さい$ϵ>0$について$(X,ϵZ_0)\prec (Y,ϵZ_1)$ならば$X\prec Y$

反射則と推移則から、$\prec$ は前順序であることに注意する。この要請の中には、「熱」や「可逆機関」などの概念が含まれていない。さらに温度の概念さえ必要ない。しかしエントロピーを定義するにはまだ足りず、以下の比較仮説が必要である。

比較仮説

2つの状態 テンプレート:Math について、$X\prec Y$か$Y\prec X$の少なくともどちらか一方は成り立つ。これを比較仮説という。

この比較仮説は、$X\prec Y$を満たす$(X,Y)$の一覧表が十分に長いことを保証してくれる。逆にこの比較仮説がないと、エントロピー関数によって記述されない状態の一覧表も出てくる。

エントロピーの構成

$X\prec Y$ の時かつその時に限り、エントロピーは $S(X)\le S(Y)$という性質を持つ。また$X\stackrel{\mathrm{A}}{\sim }Y$の時かつその時に限り、$S(X)=S(Y)$という性質を持つ。これは熱力学第二法則に対応している。

$X_0\prec X_1$を満たす２つの状態$X_0$と$X_1$を選び、それぞれのエントロピーを0と1とした場合、$X_0\prec X\prec X_1$をみたす状態X のエントロピーは次のように定義される。

$S(X)=\sup (\lambda :((1-\lambda )X_0,\lambda X_1)\prec X)$

参考文献

• テンプレート:Cite journal