カルノーの定理 (熱力学)
熱力学におけるカルノーの定理とは、熱機関の最大効率に関する定理である。ニコラ・レオナール・サディ・カルノーの名にちなむ。カルノーの原理とも呼ばれる。
目次
1 理論
2 証明
2.1 不可逆機関の効率が可逆機関の効率を超えられないことの証明
2.2 最大効率が作業物質によらないことの証明
3 カルノーの定理と熱力学温度
4 歴史
4.1 カルノーによる発見
4.2 その後の発展
5 脚注
6 参考文献
7 関連項目
理論
熱エネルギーを力学的な仕事へと変換するには、高温の熱源の他に低温の熱源を必要とする。そして、ある作業物質(空気など)が高温源から熱QHdisplaystyle Q_Hをもらったとき、そのエネルギーの一部が仕事Wとして使われ、残りの熱QL(=QH−W)displaystyle Q_L(=Q_H-W)は低温源へと移動する。この時の熱効率は、
WQH=1−QLQHdisplaystyle frac WQ_H=1-frac Q_LQ_H
で表せる。もらった熱のうち仕事として使われる量が多いほど、効率のよい熱機関であるといえる。
このとき、以下の定理が成り立つ。
熱機関の最大効率は、作業物質にはよらず、2つの温度のみで決定される。
これがカルノーの定理である。
たとえば、一般的に蒸気機関は水蒸気を圧縮・膨張させて動力を得ているため、作業物質は水蒸気となる。カルノーの定理は、この水蒸気の代わりに他の気体(あるいは液体、固体)を使用しても最大効率は変わらないことを意味している。
ただし、最大効率を得るためには、熱機関は可逆でなければならない。ここで述べる「可逆」とは、熱から仕事を生み出したのと同じように、同じだけの仕事から同じ量の熱を生み出せる機関を指す[1]。すべての可逆機関は同じ効率を持ち、それ以外の熱機関は可逆機関の効率を超えることはできない。すなわち、
不可逆機関の効率は可逆機関の効率よりも小さい。
このことを含めてカルノーの定理と呼ぶこともある[2]。代表的な可逆機関として、カルノーサイクルがある。
証明
不可逆機関の効率が可逆機関の効率を超えられないことの証明
以下はサディ・カルノーによる証明を元にしている[3][4][5]。
可逆機関としてカルノーサイクルを考える(他の可逆機関でも良い)。このカルノーサイクルが高温源から受け取る熱をQHdisplaystyle Q_H、生み出す仕事をWとする。カルノーサイクルは可逆のため、この機関に仕事Wを与えて、高温源に熱量QHdisplaystyle Q_Hを生み出すことができる(逆カルノーサイクル)。
ここで、カルノーサイクルより効率の良い熱機関(可逆でも不可逆でも良い)があったと仮定する。これを仮に「超カルノーサイクル」と呼ぶ。超カルノーサイクルは、高温源から熱量QHdisplaystyle Q_Hを受け取り、仕事W'を生み出せる(W'>W)。このとき、以下の動作を行う。
- 超カルノーサイクルを動かして、高温源から熱量QHdisplaystyle Q_Hをもらい、仕事W'を発生させる。
- 逆カルノーサイクルを動かして、仕事Wから熱量QHdisplaystyle Q_Hを高温源に与える。
この2つの動作を行ったとき、1で失われた熱量QHdisplaystyle Q_Hが2で与えられているので、熱量の差し引きはゼロになる。一方、仕事に関しては、1でW'だけ発生し2でWだけ失われるため、差し引きW'-W (>0) の仕事が発生する。この結果は、仕事がただ一つの温度の熱源から,ほかに何の変化を残すことなしに生み出されたことを意味しており、この熱機関は永久機関に該当する。永久機関は存在しないことが証明されているため、超カルノーサイクルのような、可逆機関より効率の良い熱機関は存在しないことが証明された[6]。
最大効率が作業物質によらないことの証明
上と同じように、カルノーサイクルを考える。カルノーサイクルCが高温源から受け取る熱をQHdisplaystyle Q_H、低温源に受け渡す熱をQLdisplaystyle Q_Lとおく。このとき、熱効率は
1−QLQHdisplaystyle 1-frac Q_LQ_H
で表せる。
ここで、Cと異なる作業物質を使ったカルノーサイクルC'を考える。C'は高温源から熱QH′displaystyle Q'_Hを受け取り、低温源に熱QL′displaystyle Q'_Lを受け渡すと定める。すなわち、C'の熱効率は
1−QL′QH′displaystyle 1-frac Q'_LQ'_H
である。
このとき、
QLQH=QL′QH′displaystyle frac Q_LQ_H=frac Q'_LQ'_H
が成り立てば、熱効率はCとC'で同じとなり、最大効率は作業物質によらないことが証明できる。
これを証明するために、まず、
α=QLQL′displaystyle alpha =frac Q_LQ'_L
とおく。さらに、C'を逆回転させた上に、体積や密度を変えて、C'の系自体をαdisplaystyle alpha 倍した逆カルノーサイクルを考える。この逆カルノーサイクルは、外から仕事を与えることで、低温源から熱αQL′displaystyle alpha Q'_Lを受け取り、高温源にαQH′displaystyle alpha Q'_Hを受け渡す。
ここで、次の動作を行う。
- Cを動かして、高温源から熱QHdisplaystyle Q_Hを受け取り、低温源に熱QLdisplaystyle Q_Lを受け渡す(仕事Wが発生する)
αdisplaystyle alpha 倍したC'を逆回転させ、低温源から熱αQL′displaystyle alpha Q'_Lを受け取り、高温源にαQH′displaystyle alpha Q'_Hを受け渡す(仕事W'が発生する。なお、W'<0)
αdisplaystyle alpha の定義よりαQL′=QLdisplaystyle alpha Q'_L=Q_Lなので、1,2の動作を同時に行うと、低温源の熱の出入りは相殺される。
このとき、この過程で発生する仕事を考える。1と2で発生する仕事W,W'はそれぞれ
W=QH−QLdisplaystyle W=Q_H-Q_L,!
W′=αQL′−αQH′displaystyle W'=alpha Q'_L-alpha Q'_H,!
で表せる。しかし、1と2の動作全体を考えると、発生する仕事はゼロでなければならない。なぜなら、この過程全体では低温源における熱の出入りが無いのだから、仕事が発生した場合、高温源の熱が(低温源に移動することなく)100%の効率でそのまま仕事に変換されたことになる。そのため、この機関は熱力学で否定された第二種永久機関になってしまうからである。
したがって、
W+W′=0displaystyle W+W'=0,!
であるから、
(QH−QL)+(αQL′−αQH′)=0displaystyle (Q_H-Q_L)+(alpha Q'_L-alpha Q'_H)=0,!
αdisplaystyle alpha の定義を使ってαdisplaystyle alpha を消去すると、
QH−QL+QL−QLQH′QL′=0displaystyle Q_H-Q_L+Q_L-frac Q_LQ_H'Q'_L=0
これを整理して、
QLQH=QL′QH′displaystyle frac Q_LQ_H=frac Q'_LQ'_H
よって、熱機関の最大効率は作業物質によらない[7]。
カルノーの定理と熱力学温度
右図のような、2つのカルノーサイクルを使用した熱機関にカルノーの定理を当てはめる。
図において、サイクルC1displaystyle C_1は、温度t1displaystyle t_1の高温源から熱Q1displaystyle Q_1を受け取り、温度t2displaystyle t_2の低温源に熱Q2displaystyle Q_2を受け渡す。サイクルC2displaystyle C_2は、温度t2displaystyle t_2の高温源から熱Q2displaystyle Q_2を受け取り、温度t3displaystyle t_3の低温源に熱Q3displaystyle Q_3を受け渡す。このとき、カルノーの定理より、熱効率は2つの温源の温度のみの関数となるから、C1displaystyle C_1について、
Q1Q2=f(t1,t2)displaystyle frac Q_1Q_2=f(t_1,t_2)
C2displaystyle C_2について、
Q2Q3=f(t2,t3)displaystyle frac Q_2Q_3=f(t_2,t_3)
と表すことができる。
また、この熱機関はt2displaystyle t_2での熱の出入りは差し引きゼロになっているから、t2displaystyle t_2を介さずにt1displaystyle t_1からt3displaystyle t_3まで1つのサイクルで仕事を行った場合と熱効率は変わらない。このときの熱量の比は、
Q1Q3=f(t1,t3)displaystyle frac Q_1Q_3=f(t_1,t_3)
となる。
以上の3つの式を連立させて計算すると、
f(t1,t2)=f(t1,t3)f(t2,t3)displaystyle f(t_1,t_2)=frac f(t_1,t_3)f(t_2,t_3)
が得られる。
この式の左辺は、t3displaystyle t_3の関数にはなっていない。したがって、右辺もt3displaystyle t_3の関数ではないことになる。よって、新たな関数ψを使って、
f(t1,t2)=ψ(t1)ψ(t2)displaystyle f(t_1,t_2)=frac psi (t_1)psi (t_2)
つまり、
Q1Q2=ψ(t1)ψ(t2)displaystyle frac Q_1Q_2=frac psi (t_1)psi (t_2)
と表記することができる。
ここで、温度のとり方を工夫して、右辺を関数ではなく、温度そのもので表記することができる。すなわち、
Q1Q2=T1T2displaystyle frac Q_1Q_2=frac T_1T_2
とおくことができる。この式が成り立つような温度目盛が、熱力学温度(絶対温度)である[8]。
歴史
カルノーによる発見
サディ・カルノーは、1824年に出版した著書『火の動力、および、この動力を発生させるに適した機関についての考察』において、以下のように記した。
熱の動力は、それをとりだすために使われる作業物質にはよらない。その量は、熱素が最終的に移行しあう二つの物体の温度だけで決まる[9]。
これが、カルノーの定理の最初の表現である。この論文はカロリック説(熱素説)を前提に書かれているため、熱素という表現を使用している。
カルノーはこの定理から、カルノーサイクルの効率が温度のみで決まる関数で表せることを指摘した。この関数のことをカルノー関数と呼ぶ。カルノーは過去の実験結果からカルノー関数の実際値を求め、同じ温度であればカルノー関数は物質によらず一定値をとることを確かめようとした。
その後の発展
カルノーの著書は発行後ほとんど話題にならず、カルノー自身は1832年に病死した。
1834年、エミール・クラペイロンは論文でカルノーを取り上げた。そしてカルノーと同じように、いくつかの気体についてカルノー関数を求め、カルノーの定理が正しいことを確かめようとした。しかし、カルノーやクラペイロンの時代には実験データが不足していたために実験的な立証は難しかった。
1840年代に、アンリ・ヴィクトル・ルニョーは水蒸気に関する詳細なデータを計測した。1849年、ウィリアム・トムソンはそのデータを元にカルノー関数を求め、その値がカルノーやクラペイロンの値と近いことを示した[10]。またヘルムホルツも、計算によって求めたカルノー関数の値がクラペイロンの実験値とほぼ等しいことを示した[11]。
1850年、ルドルフ・クラウジウスは熱力学第二法則を提唱した。そしてその論文の中で、カルノーの定理を、熱素を使わない形で証明した[12]。カルノーの定理は、クラウジウスの主張(熱は低温から高温にひとりでに移動することはない)における大きな論拠となっている[13]。
ウィリアム・トムソンも1851年に熱力学第二法則の理論に到達した。そして1854年に、カルノーの理論をもとに熱力学温度を導入した[14]。
脚注
^ 山本(2009) 2巻p.241
^ たとえば、芦田(2008) p.73など。
^ カルノー(1973) pp.46-47
^ 田崎(2000) pp.87-89
^ 山本(2009) 2巻pp.241-243
^ ただし、この証明は厳密ではない。というのも、熱機関の効率は低温源の温度によっても変化するが、1,2の動作を順に行ったとき、1の動作で仕事に使われなかった熱QLdisplaystyle Q_Lが低温源に流れるため、低温源の温度が変化してしまうからである。そのためこの証明には、「温源の熱容量が、動作1や2によって変化する熱量が無視できる程度に大きい場合」という条件が必要になる。すべての場合に成り立つ厳密な証明としては、複合状態におけるエントロピーの原理を利用する方法がある。詳細は田崎(2000) pp.252-254を参照。
^ この証明方法は田崎(2000) pp.80-82によった。ただし同書p.81にあるように、この証明の、「カルノーサイクルと逆カルノーサイクルで熱が相殺されるので低温源での熱の出入りが無い」としている箇所は、直観的には正しく思えるが厳密ではない。完全な取り扱いは同書pp.242-245にある。
^ 芦田(2008) pp.65-71
^ カルノー(1973) p.54
^ 山本(2009) 2巻pp.262-264,384
^ 山本(2009) 3巻p.21
^ 山本(2009) 3巻pp.44-45
^ 高林(1999) pp.221-222
^ 高林(1999) p.223
参考文献
- 芦田正巳 『熱力学を学ぶ人のために』 オーム社、2008年。.mw-parser-output cite.citationfont-style:inherit.mw-parser-output .citation qquotes:"""""""'""'".mw-parser-output .citation .cs1-lock-free abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .citation .cs1-lock-subscription abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registrationcolor:#555.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration spanborder-bottom:1px dotted;cursor:help.mw-parser-output .cs1-ws-icon abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center.mw-parser-output code.cs1-codecolor:inherit;background:inherit;border:inherit;padding:inherit.mw-parser-output .cs1-hidden-errordisplay:none;font-size:100%.mw-parser-output .cs1-visible-errorfont-size:100%.mw-parser-output .cs1-maintdisplay:none;color:#33aa33;margin-left:0.3em.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-formatfont-size:95%.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-leftpadding-left:0.2em.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-rightpadding-right:0.2em
ISBN 978-4-274-06742-6。 - カルノー 『カルノー・熱機関の研究』 広重徹訳、解説、みすず書房、1973年。
ISBN 978-4622025269。 - 高林武彦 『熱学史 第2版』 海鳴社、1999年。
ISBN 978-4875251910。 - 田崎晴明 『熱力学 -現代的な視点から-』 培風館、2000年。
ISBN 978-4-563-02432-1。 - 山本義隆 『熱学思想の史的展開2』 ちくま学芸文庫、2009年。
ISBN 978-4480091826。 - 山本義隆 『熱学思想の史的展開3』 ちくま学芸文庫、2009年。
ISBN 978-4480091833。
関連項目
カルノーの定理 (幾何学):同名の定理であるが、本項の定理とは直接的な関連はない。発見者のラザール・ニコラ・マルグリット・カルノーは、サディ・カルノーの父親である。