クラウジウスの定理のソースを表示

{{混同|クラウジウス–デュエムの不等式|x1=連続体力学における}}
{{Thermodynamics sidebar}}
'''クラウジウスの定理''' (クラウジウスのていり, Clausius theorem) は、[[熱機関]]や[[ヒートポンプ]]のように外部の{{ill|熱浴|en|Thermal reservoir}}と熱を交換する系が循環過程を経て系が最終的にもとの状態に戻る際に、<math>\delta Q</math> を系が熱浴から吸収した熱量、<math>T_\mathrm{surr}</math> を各瞬間での周囲の熱浴温度として、不等式
:<math>\oint \frac{\delta Q}{T_\mathrm{surr}} \leq 0,</math>
が成立することを述べる定理である。異なる温度を持つ複数の熱浴 <math>\left(T_1,T_2, \cdots T_n\right)</math> がある場合には、クラウジウスの不等式は次のように書ける。
:<math>\oint \left(\frac{\delta Q_1}{T_1}+\frac{\delta Q_2}{T_2}+\cdots+\frac{\delta Q_n}{T_n}\right) \leq 0.</math>

特に可逆過程の場合、クラウジウスの不等号において等号が成立する<ref>[http://scienceworld.wolfram.com/physics/ClausiusTheorem.html '''Clausius theorem'''] at [[Wolfram Research]]</ref>。可逆過程は現在[[エントロピー]]として知られる[[状態量]]の概念が導入される際に用いられた。これは循環過程においては状態量の変化はゼロに等しいためである。言い換えると、クラウジウスの定理は冷たい熱浴から熱い熱浴に熱を運ぶという機能だけを実行するような機関を構成することは不可能であることを主張している<ref>Finn, Colin B. P. ''Thermal Physics''. 2nd ed., CRC Press, 1993. </ref>。あるいは同じことだが、熱は熱い物体から冷たい物体へ自発的に流れ、その逆は起こらない<ref>Giancoli, Douglas C. ''Physics: Principles with Applications''. 6th ed., Pearson/Prentice Hall, 2005.</ref>。

エントロピー ''S'' の無限小の変化に関する一般化された「クラウジウスの不等式」<ref>Mortimer, R. G. ''Physical Chemistry''. 3rd ed., p. 120, Academic Press, 2008.</ref> 
:<math>dS_\mathrm{Sys} \geq \frac{\delta Q}{T_\mathrm{surr}} </math>
は、循環過程だけでなく[[系 (自然科学)|閉じた系]]のどのような過程に関しても成立する。

==歴史==
クラウジウスの定理は[[熱力学第二法則]]の数学的な説明となっている。この定理は熱力学的な系における熱流と系と外界のエントロピーとの関係を説明しようと試みていた[[ルドルフ・クラウジウス]]によるものである。クラウジウスはこの定理をエントロピーとは何かを説明し、それを定量的に定義しようとする中でこの定理に到達した。より直接的には、この定理により循環過程が可逆かそうでないかを決定することができる。クラウジウスの定理は第二法則の定量的な定式化を与えている。

クラウジウスはエントロピーという概念に関する研究を行った最初期の研究者のひとりであり、エントロピーという命名にも携わった。現在クラウジウスの定理として知られる定理は、1862年にクラウジウスの六番目の紀要「内部仕事への変換の透過性に関する定理の応用について」において記述されたものである。クラウジウスは系に熱流 (δ''Q'') として流入するエネルギーとエントロピーの比例関係を示すことを試みた。このような系においては、この熱エネルギーは仕事へと変換され、仕事は循環過程の間に熱へと戻される。クラウジウスは「循環過程において発生するすべての変換の代数和はゼロより小さいか、最善でもゼロに等しくなければならない」と述べている。言い換えると、δ''Q'' を熱によるエネルギー流入、''T'' をエネルギーを吸収する際の物体の絶対温度とすると、どのような可逆な循環過程においてであれ、等式
:<math>\oint \frac{\delta Q}{T} = 0</math>
が成立しなければならないことをクラウジウスは見出したのである。彼はその後さらに研究を推し進め、可逆か不可逆かを問わずすべての可能な循環過程で次の不等式が成立することを示した。これが「クラウジウスの不等式」である。
:<math>\oint \frac{\delta Q}{T_\mathrm{surr}} \leq 0</math>
この段階でクラウジウスの不等式とエントロピーの関係についてより詳しく見ておく必要がある。循環過程の間での系のエントロピー ''S'' の増分は
:<math>\Delta S {{=}} \oint \frac{\delta Q}{T}</math>
と定義される。

[[熱力学第二法則]]において述べられているように、エントロピーは熱力学的[[状態量]]である。その値は系が現在ある状態だけにより定まり、系が現在の状態に至るまでにどのような経路を通ってきたかには依存しない。この点で、過去の経路に応じて異なる値を取り得る熱 (δ''Q'') や仕事 (δ''W'') として加えられたエネルギーとエントロピーは対比される。それ故に、循環過程において、それが可逆か不可逆かを問わず、系のエントロピーは過程の最初と最後で等しい。
:<math>\Delta S=0</math>
不可逆な循環過程の場合、エントロピーは系の内部で生成されるため、系がもとの状態に戻るためには系に加えられたエントロピー (<math>\Delta S_\mathrm{surr} > 0</math>) より多くのエントロピーが系から引き抜かれる必要がある。可逆過程ではエントロピーが生成されないため、系に加えられたエントロピーと引き抜かれたエントロピーはちょうど等しい。

熱として系に流入したエネルギー量や系の温度を過程に際して測定し続けることができたと仮定しよう。このときクラウジウスの不等式は、その中の積分を実際に評価することができ、問題の過程が可逆か不可逆かを決定するためにこの不等式を用いることができる。

==証明==
クラウジウスの不等式において被積分関数の分母として現れる温度は、系が熱を交換している外部の[[熱浴]]の温度であることに注意する。過程の各瞬間において、系は熱浴と熱的接触をしているものとする。
 
熱力学第二法則により、系と熱浴との間での微小な熱の交換に際して、全系のエントロピーの実効的な変化は <math> dS_\mathrm{Total} = dS_\mathrm{Sys} +dS_\mathrm{Res} \geq 0 </math> を満足する.

系が熱 <math>\delta Q_{1}</math>(<math>\geq 0</math>) を受け取っている場合、<math>dS_{\mathrm{Total}, 1}</math> は正であり, 熱い熱浴の温度 <math>T_\mathrm{Hot}</math> はその瞬間の系の温度をわずかなりとも上回っている必要がある。そのときの系の温度を <math>T_1</math> とすると <math> dS_{\mathrm{Sys}, {1}}=\frac{\delta Q_{1}}{T_{1}}</math> であり、<math>T_\mathrm{Hot} \geq T_{1}</math> であることから
:<math> -dS_{\mathrm{Res}, {1}} =\frac{\delta Q_{1}}{T_\mathrm{Hot}}\leq \frac{\delta Q_{1}}{T_{1}} = dS_{\mathrm{Sys}, {1}} </math>
を得る。このことは、熱浴のエントロピー損失の大きさ <math> |dS_{\mathrm{Res}, {1}}|=\frac{\delta Q_{1}}{T_\mathrm{Hot}} </math> は系が得たエントロピーの大きさ <math>dS_{\mathrm{Sys}, {1}}</math>(<math>\geq 0</math>) より小さいということを意味する。

同様に、系が温度 <math>T_2</math> にあるとき、温度 <math>T_\mathrm{Cold} \leq T_2</math> の冷たい熱浴に熱 <math>- \delta Q_2</math> を渡す（ここで <math>\delta Q_2 \leq 0</math> とする）。従って、熱力学第二法則により、まったく同様の議論から
:<math display="block"> -dS_{\mathrm{Res}, {2}}=\frac{\delta Q_{2}}{T_\mathrm{Cold}}\leq \frac{\delta Q_{2}}{T_{2}}= dS_{\mathrm{Sys}, {2}}</math>
が結論される。ここに系によって「吸収された」熱量は <math>\delta Q_2</math>（これはゼロまたは負の値である）であり、系から熱浴に熱が移動している。従って <math>dS_{Sys_{2}}\leq 0</math> が成り立つ. 熱浴が得たエントロピーの大きさ <math> dS_{\mathrm{Res}, {2}}=\frac{|\delta Q_{2}|}{T_\mathrm{Cold}}</math> は系が失ったエントロピーの大きさ <math> |dS_{\mathrm{Sys}, {2}}|</math> よりも大きい。

系のエントロピーの全変化は循環過程ではゼロに等しかったことから、熱浴との無限小の熱交換（前述のふたつの不等式）を過程のすべての段階に渡って足し上げると、各瞬間での熱浴の温度を <math>T_\mathrm{surr}</math> と書くとき
:<math> -\oint dS_\mathrm{Res}= \oint \frac{\delta Q}{T_\mathrm{surr}}\leq \oint dS_\mathrm{Sys}=0 </math>
という不等式が得られる。特に
:<math>\oint \frac{\delta Q}{T_\mathrm{surr}}\leq 0 </math>
が成り立つことから、クラウジウスの定理が示された。

以上の議論は次のように要約できる（三番目の不等式はここでの議論の前提であった熱力学第二法則によって保証されるものである）。
:<math>\oint dS_\mathrm{Res}\geq 0 </math>
:<math>\oint dS_\mathrm{Sys}=0 </math> (仮定による)
:<math>\oint dS_\mathrm{Total}=\oint dS_\mathrm{Res}+\oint dS_\mathrm{Sys}\geq 0</math>
可逆な循環過程に限ると、熱輸送の各段階でエントロピー生成がないために、等式
:<math>\oint \frac{\delta Q_\mathrm{rev}}{T}=0 </math>
が成立する。それ故にクラウジウスの不等式は熱交換の各段階に対して熱力学第二法則を適用することに得られる帰結であり、第二法則それ自体よりもより弱い主張にすぎない。

==関連項目==
* [[:en:Kelvin-Planck statement]]
* [[カルノーの定理 (熱力学)]]
* [[カルノーサイクル]]
* [[:en:Introduction to entropy]]

==参考文献==
{{reflist}}
{{refbegin}}

==発展資料==
*Morton, A. S., and P.J. Beckett. ''Basic Thermodynamics''. New York: Philosophical Library Inc., 1969. Print.
*Saad, Michel A. ''Thermodynamics for Engineers''. Englewood Cliffs: Prentice-Hall, 1966. Print.
*Hsieh, Jui Sheng. ''Principles of Thermodynamics''. Washington, D.C.: Scripta Book Company, 1975. Print.
*Zemansky, Mark W. ''Heat and Thermodynamics''. 4th ed. New York: McGwaw-Hill Book Company, 1957. Print.
*Clausius, Rudolf. ''The Mechanical Theory of Heat''. London: Taylor and Francis, 1867. eBook
{{refend}}

==外部リンク==
*{{cite web|title=Proof of Clausius's theorem|url=http://theory.ph.man.ac.uk/~judith/stat_therm/node30.html|accessdate=October 4, 2010|author=Judith McGovern|date=2004-03-17|archive-url=https://web.archive.org/web/20110719052220/http://theory.ph.man.ac.uk/~judith/stat_therm/node30.html|archive-date=July 19, 2011|url-status=dead}}
*{{cite web|title=The Clausius Inequality And The Mathematical Statement Of The Second Law|url=http://ronispc.chem.mcgill.ca/ronis/chem213/hnd10.pdf|accessdate=October 5, 2010}}
*{{cite book|title=The Mechanical Theory of Heat (eBook)|url=https://books.google.com/books?id=8LIEAAAAYAAJ |accessdate=December 1, 2011}}

{{DEFAULTSORT:くらうしうすのていり}}
[[Category:熱力学の法則]]
[[Category:物理学の定理]]
[[Category:物理学のエポニム]]