熱力学で扱う系
エネルギーに下限があることは量子力学の基本的な性質であると考えられている。
素朴には素粒子が存在しない状態を最低エネルギー0の状態と考えることができる。
相互作用する場合には真空状態に粒子が存在しないと言い切れないのが厄介だが、それでもとにかく最低エネルギーの状態は存在すると考えられており、それは真空状態と呼ばれる。たとえば、この仮定から負の質量の物質・素粒子は存在しないと考えられる。というのも、負の質量の物質をたくさん集めればいくらでも低いエネルギーの状態を作ることができてしまうため、エネルギーに下限をつけることができなくなるからだ。
しかし、古典力学の体系では必ずしもエネルギーの下限は仮定されない。例えばニュートン重力の例を考えるとポテンシャルエネルギーが-1/rに比例していることから、r=0でエネルギーが負の無限大を取る。このような場合は熱力学の体系はうまく当てはまらない。クーロン力が引力の場合のポテンシャルにも同じ問題が生じる。現実の系は量子系なのでこれらの問題が生じないような仕掛けがあるけれども、重力だけは未だに量子力学としてうまく記述できていないため、際どい面がある。ニュートン重力ではなくアインシュタイン重力を考えるべきだというのは正論だが、一般相対論におけるエネルギーは局所的に定義することができず、通常の古典あるいは量子力学とは事情が根本的に異なる。
エネルギーの上限がないということは、実際の系ではごく自然な性質である。運動エネルギーや粒子数を増やしていけばいくらでも高いエネルギーの状態を作ることができると容易に想像される。だが、モデルとして二準位系など単純な系を考える場合は成立しないので注意する必要がある。
この条件の下で以下の性質を導きたい。
エントロピーとエネルギーの基本的な関係
エントロピーはエネルギーについて狭義単調増加であり、上に凸の関数である。つまり、
【証明】
まず上に凸であることを示す。とする。
をそれぞれの最大エントロピー状態であるとする。すなわち
(i=1,2)...①
(i=1,2)...②
ここで、
フォンノイマンエントロピーの凹性(上に凸性)を用いる。つまり、
,に対して、
これを2つの状態について用いると、
...③
ここで、右辺に登場する状態のエネルギー期待値は①より
であるから、熱力学的エントロピーの定義より、
...④
③の左辺については、②より
...⑤
③、④、⑤より、確かに、
...③
次に、狭義単調増加性について示す。
そのために、今示した上に凸性が狭義の上に凸であることを確認する。
のとき、である。
フォンノイマンエントロピーの凸性が狭義の上に凸なので、このとき③の等号は成立しない。
ゆえに③の等号も成立しない。
従ってエントロピーはエネルギーについて狭義上に凸である。
エントロピーがエネルギーに対して狭義単調増加ではないと仮定する。
狭義上に凸な関数が、狭義単調増加関数でないとするなら、E→∞の極限で-∞になる。このことを用いると、エネルギーの上限が存在しないので、必要なだけエネルギーを大きくすれば、負のエントロピーの状態を作ることができる。これはエントロピーの非負性と矛盾している。従って仮定は誤りであり、エントロピーはエネルギーに対して狭義単調増加である。
証明の仮定で得た命題を記録しておく。
エントロピーはエネルギーに対して狭義上に凸である。
エネルギーの下限が存在することについて
エントロピーがエネルギーに対して狭義上に凸であり、狭義単調増加関数であることから、もしエネルギーに下限が存在しないとすると、エントロピーが負になってしまい、エントロピーの非負性と矛盾する。
エネルギーに下限が存在するという仮定は、このようにして熱力学が破綻するのを防いでくれている。
もしエネルギーに上限も下限もなければ、与えられたエネルギーに対していくらでも大きなフォンノイマンエントロピーを与える密度演算子を作ることができるから、熱力学的状態が定義できないという困難が生ずる。それがこの破綻の原因だ。
また、熱力学の一大原理として、永久機関は存在しないという命題がよく知られている。
当ブログの体系においてこれはのちに帰結として証明されるが、エネルギーに下限がないとすると永久機関が存在してしまうことになるだろう。というのも、無限の負のエネルギーをもつ系を作ることができるならば、その作成過程において外界にエネルギーを無限に供給することができるからである。そのような、エネルギーの下限が存在しない例として、ニュートン重力によって相互作用する質点の例をのちに見る。
エネルギー表示の基本関係式
狭義単調増加性から、
をEについて解くことで、
と書くことができる。これはエントロピーについて下に凸である。
パラメーターに依存したハミルトニアンを考える時、この関数は
と書ける。これをエネルギーについての基本関係式という。