カルノーの定理 (熱力学)

提供: testwiki
2025年3月4日 (火) 22:32時点におけるimported>JAloneによる版 (ダークモード表示改善)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
ナビゲーションに移動 検索に移動

{{#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

テンプレート:Endflatlist

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

テンプレート:Endflatlist

| list3name = systems | list3title = | list3 =

テンプレート:Sidebar

| list4name = sysprop | list4title =系の特性

| list4 =

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

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

比熱容量  c=
TS
NT
圧縮率  β=
1V
Vp
熱膨張  α=
1V
VT

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

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

テンプレート:Endflatlist テンプレート:Unbulleted list

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

テンプレート:Sidebar

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

テンプレート:Endflatlist

| below =

}} 熱力学におけるカルノーの定理(カルノーのていり)とは、熱機関の最大効率に関する定理である。フランス物理学者ニコラ・レオナール・サディ・カルノーの名にちなむ。カルノーの原理(カルノーのげんり)とも呼ばれる。

理論

エネルギーを力学的な仕事へと変換するには、高温の熱源の他に低温の熱源を必要とする(熱力学第二法則を参照)。熱機関では、ある作業物質空気など)が高温熱源から QH を得て、そのエネルギーの一部を仕事 W として使う。その際、残りのエネルギーは熱 QL(=QHW) として低温熱源へと移動する。 この場合、熱効率は、

WQH=1QLQH

と定義できる。すなわち、高温熱源から得た熱のうち仕事として使われるエネルギーの割合が多いほど、効率のよい熱機関であるといえる。

このとき、以下の定理が成り立つ。

テンプレート:Quotation

これがカルノーの定理である。

たとえば、一般的に蒸気機関水蒸気を圧縮・膨張させて動力を得ているため、作業物質は水蒸気となる。カルノーの定理は、この水蒸気の代わりに他の気体(あるいは液体固体)を使用しても最大効率は変わらないことを意味している。

ただし、最大効率を得るためには、熱機関は可逆でなければならない。ここで述べる「可逆」とは、熱から仕事を生み出したのと同じように、同じだけの仕事から同じ量の熱を生み出せることを指す[1]。すべての可逆機関は同じ効率を持ち、そうでない熱機関(不可逆機関)の効率は可逆機関の効率を超えることはできない。すなわち、

テンプレート:Quotation

このことを含めてカルノーの定理と呼ぶこともある[2]。代表的な可逆機関として、カルノーサイクルなどがある。

証明

左がカルノーサイクルより効率の良い超カルノーサイクルで、右は逆カルノーサイクル。逆カルノーサイクルは動かすのに仕事Wを必要とするが、超カルノーサイクルでそれ以上の仕事W'を生み出せるので、差し引きすると一つの熱源からほかに何の変化を残すことなしに仕事が生み出せることになる。

不可逆機関の効率が可逆機関の効率を超えられないことの証明

以下はサディ・カルノーによる証明を元にしている[3][4][5]

可逆機関としてカルノーサイクルを考える(他の可逆機関でも良い)。このカルノーサイクルが高温源から受け取る熱をQH、生み出す仕事をWとする。カルノーサイクルは可逆のため、この機関に仕事Wを与えて、高温源に熱量QHを生み出すことができる(逆カルノーサイクル)。

ここで、カルノーサイクルより効率の良い熱機関(可逆でも不可逆でも良い)があったと仮定する。これを仮に「超カルノーサイクル」と呼ぶ。超カルノーサイクルは、高温源から熱量QHを受け取り、仕事W'を生み出せる(W'>W)。このとき、以下の動作を行う。

  1. 超カルノーサイクルを動かして、高温源から熱量QHをもらい、仕事W'を発生させる。
  2. 逆カルノーサイクルを動かして、仕事Wから熱量QHを高温源に与える。

この2つの動作を行ったとき、1で失われた熱量QHが2で与えられているので、熱量の差し引きはゼロになる。一方、仕事に関しては、1でW'だけ発生し2でWだけ失われるため、差し引きW'-W (>0) の仕事が発生する。この結果は、仕事がただ一つの温度の熱源から,ほかに何の変化を残すことなしに生み出されたことを意味しており、この熱機関は永久機関に該当する。永久機関は存在しないことが証明されているため、超カルノーサイクルのような、可逆機関より効率の良い熱機関は存在しないことが証明された[6]

最大効率が作業物質によらないことの証明

上と同じように、カルノーサイクルを考える。カルノーサイクルCが高温源から受け取る熱をQH、低温源に受け渡す熱をQLとおく。このとき、熱効率は テンプレート:Indent で表せる。

ここで、Cと異なる作業物質を使ったカルノーサイクルC'を考える。C'は高温源から熱Q'Hを受け取り、低温源に熱Q'Lを受け渡すと定める。すなわち、C'の熱効率は テンプレート:Indent である。 このとき、 テンプレート:Indent が成り立てば、熱効率はCとC'で同じとなり、最大効率は作業物質によらないことが証明できる。

左がカルノーサイクルで、右が逆カルノーサイクル。高温源では熱の出入りがある可能性があるが、低温源では入る熱と出る熱が打ち消しあうため、外部との熱の出入りは無い。

これを証明するために、まず、 テンプレート:Indent とおく。さらに、C'を逆回転させた上に、体積や密度を変えて、C'の系自体をα倍した逆カルノーサイクルを考える。この逆カルノーサイクルは、外から仕事を与えることで、低温源から熱αQ'Lを受け取り、高温源にαQ'Hを受け渡す。

ここで、次の動作を行う。

  1. Cを動かして、高温源から熱QHを受け取り、低温源に熱QLを受け渡す(仕事Wが発生する)
  2. α倍したC'を逆回転させ、低温源から熱αQ'Lを受け取り、高温源にαQ'Hを受け渡す(仕事W'が発生する。なお、W'<0)

αの定義よりαQ'L=QLなので、1,2の動作を同時に行うと、低温源の熱の出入りは相殺される。

このとき、この過程で発生する仕事を考える。1と2で発生する仕事W,W'はそれぞれ テンプレート:Indent テンプレート:Indent で表せる。しかし、1と2の動作全体を考えると、発生する仕事はゼロでなければならない。なぜなら、この過程全体では低温源における熱の出入りが無いのだから、仕事が発生した場合、高温源の熱が(低温源に移動することなく)100%の効率でそのまま仕事に変換されたことになる。そのため、この機関は熱力学で否定された第二種永久機関になってしまうからである。

したがって、 テンプレート:Indent であるから、 テンプレート:Indent αの定義を使ってαを消去すると、 テンプレート:Indent これを整理して、 テンプレート:Indent よって、熱機関の最大効率は作業物質によらない[7]

カルノーの定理と熱力学温度

t1>t2>t3とする。 t2での熱の出入りが打ち消しあっているので、図のように2つのサイクルで仕事を発生させても、1つのサイクルで直接t1からt3へ熱を移動させても、熱効率は変わらない。

右図のような、2つのカルノーサイクルを使用した熱機関にカルノーの定理を当てはめる。

図において、サイクルC1は、温度t1の高温源から熱Q1を受け取り、温度t2の低温源に熱Q2を受け渡す。サイクルC2は、温度t2の高温源から熱Q2を受け取り、温度t3の低温源に熱Q3を受け渡す。このとき、カルノーの定理より、熱効率は2つの温源の温度のみの関数となるから、C1について、 テンプレート:Indent C2について、 テンプレート:Indent と表すことができる。

また、この熱機関はt2での熱の出入りは差し引きゼロになっているから、t2を介さずにt1からt3まで1つのサイクルで仕事を行った場合と熱効率は変わらない。このときの熱量の比は、 テンプレート:Indent となる。

以上の3つの式を連立させて計算すると、 テンプレート:Indent が得られる。

この式の左辺は、t3の関数にはなっていない。したがって、右辺もt3の関数ではないことになる。よって、新たな関数ψを使って、 テンプレート:Indent つまり、 テンプレート:Indent と表記することができる。

ここで、温度のとり方を工夫して、右辺を関数ではなく、温度そのもので表記することができる。すなわち、 テンプレート:Indent とおくことができる。この式が成り立つような温度目盛が、熱力学温度(絶対温度)である[8]

歴史

ニコラ・レオナール・サディ・カルノー

カルノーによる発見

サディ・カルノーは、1824年に出版した著書『火の動力、および、この動力を発生させるに適した機関についての考察』において、以下のように記した。

テンプレート:Bquote

これが、カルノーの定理の最初の表現である。この論文はカロリック説(熱素説)を前提に書かれているため、熱素という表現を使用している。

カルノーはこの定理から、カルノーサイクルの効率が温度のみで決まる関数で表せることを指摘した。この関数のことをカルノー関数と呼ぶ。カルノーは過去の実験結果からカルノー関数の実際値を求め、同じ温度であればカルノー関数は物質によらず一定値をとることを確かめようとした。

その後の発展

カルノーの著書は発行後ほとんど話題にならず、カルノー自身は1832年に病死した。

1834年、エミール・クラペイロンは論文でカルノーを取り上げた。そしてカルノーと同じように、いくつかの気体についてカルノー関数を求め、カルノーの定理が正しいことを確かめようとした。しかし、カルノーやクラペイロンの時代には実験データが不足していたために実験的な立証は難しかった。

1840年代に、アンリ・ヴィクトル・ルニョーは水蒸気に関する詳細なデータを計測した。1849年、ウィリアム・トムソンはそのデータを元にカルノー関数を求め、その値がカルノーやクラペイロンの値と近いことを示した[9]。またヘルムホルツも、計算によって求めたカルノー関数の値がクラペイロンの実験値とほぼ等しいことを示した[10]

1850年、ルドルフ・クラウジウス熱力学第二法則を提唱した。そしてその論文の中で、カルノーの定理を、熱素を使わない形で証明した[11]。カルノーの定理は、クラウジウスの主張(熱は低温から高温にひとりでに移動することはない)における大きな論拠となっている[12]

ウィリアム・トムソンも1851年に熱力学第二法則の理論に到達した。そして1854年に、カルノーの理論をもとに熱力学温度を導入した[13]

脚注

テンプレート:脚注ヘルプ テンプレート:Reflist

参考文献

関連項目

  1. 山本(2009) 2巻p.241
  2. たとえば、芦田(2008) p.73など。
  3. カルノー(1973) pp.46-47
  4. 田崎(2000) pp.87-89
  5. 山本(2009) 2巻pp.241-243
  6. ただし、この証明は厳密ではない。というのも、熱機関の効率は低温源の温度によっても変化するが、1,2の動作を順に行ったとき、1の動作で仕事に使われなかった熱QLが低温源に流れるため、低温源の温度が変化してしまうからである。そのためこの証明には、「温源の熱容量が、動作1や2によって変化する熱量が無視できる程度に大きい場合」という条件が必要になる。すべての場合に成り立つ厳密な証明としては、複合状態におけるエントロピーの原理を利用する方法がある。詳細は田崎(2000) pp.252-254を参照。
  7. この証明方法は田崎(2000) pp.80-82によった。ただし同書p.81にあるように、この証明の、「カルノーサイクルと逆カルノーサイクルで熱が相殺されるので低温源での熱の出入りが無い」としている箇所は、直観的には正しく思えるが厳密ではない。完全な取り扱いは同書pp.242-245にある。
  8. 芦田(2008) pp.65-71
  9. 山本(2009) 2巻pp.262-264,384
  10. 山本(2009) 3巻p.21
  11. 山本(2009) 3巻pp.44-45
  12. 高林(1999) pp.221-222
  13. 高林(1999) p.223