可逆のソースを表示

==熱力学的な意味==
ある[[系]]の[[状態]]が、別の状態に変化するとき、熱と仕事の出入りを逆にして、同じ経路を逆にたどって元の状態に戻ることができることを'''可逆'''(Reversible)といい、この過程を'''可逆過程'''(Reversible process)という。このとき、系と熱および仕事のやりとりをした周囲には何の変化も残らない．

可逆過程であるためには、変化の途中において、系内および系と周囲との間で熱平衡、力学的平衡、化学的平衡が保たれていることが必要であり、このような理想化した状態変化を'''準静的過程'''と言う。可逆過程は常に準静的だが、準静的過程であっても可逆でないものは存在する.<ref name="sears">Sears, F.W. and Salinger, G.L. (1986), ''Thermodynamics, Kinetic Theory, and Statistical Thermodynamics'', 3rd edition (Addison-Wesley.)</ref>。たとえばピストンとシリンダーの間に[[摩擦]]が存在する状況下で気体を準静的に圧縮する過程は準静的だが可逆ではない<ref name="giancoli">Giancoli, D.C. (2000), ''Physics for Scientists and Engineers (with Modern Physics)'', 3rd edition (Prentice-Hall.)</ref>。<!--以上英語版を翻訳-->  他の形のエネルギーが摩擦や抵抗により熱エネルギーに変わる現象は、常に非可逆となる．ただし文献によって用語の混乱があり、可逆過程と準静的過程を同義に使う文献<ref>Lavenda, B.H. (1978), Thermodynamics of Irreversible Processes, Halsted</ref>もある。<!--英語版quasistatic processより-->

熱力学第二法則によれば、任意のサイクルでCausius積分 <math> \oint {dQ \over T} </math>は負の値となるが、
可逆過程のみで構成されたサイクル(可逆サイクル)では 0 となる．
これより、状態Aから状態Bへ変化する過程での[[エントロピー]]の変化は、

<math> S_B - S_A \ge \int_A^B {dQ \over T} </math>    (等号は可逆過程に対応)

となる．

==力学的な意味==
[[時間]]を　<math>\left. t \right.</math>　とする。<math>\left. t \right.</math>→<math>\left. -t \right.</math>という[[変換 (数学)|変換]]（[[時間反転]]操作）に対し、元の方程式が形を変えない、あるいはその方程式が表す[[運動 (物理学)|運動]]が実際に存在する時に、その方程式は可逆であると言われる。例えば、[[ニュートン方程式]]はその変換に対し
:<math>\frac{d^2 \vec{x}}{dt^2}=\vec{F} </math>　　'''→'''　　<math>  \frac{d^2 \vec{x}}{d(-t)^2}=\frac{d }{-dt}\frac{d \vec{x}}{-dt}=\frac{d^2 \vec{x}}{dt^2}=\vec{F}</math>
であり方程式は形を変えない為、可逆であるとされる。この事は例えばこの運動をビデオカメラで撮影し、それを逆回しにした場合の運動（[[逆運動]]）が存在する事、として解釈される。

ここで力<math>\left. \vec{F} \right.</math>はこの変換に対して不変であるとした。例えば、単純に<math>\vec{F}=-\nabla U</math>である様な[[ポテンシャル]]<math>\left. U \right.</math>が存在する、つまり[[保存系]]であればニュートン方程式は形を保つ。つまり可逆な方程式と見なされる。

[[ラグランジュ方程式]]については[[ラグランジアン]]Lが時間反転に対し不変であれば、<math>\left. \dot{q} \right.</math>→<math>\left. -\dot{q} \right.</math>より、方程式は形を変えない。

時間に依存した[[シュレーディンガー方程式]]は、時間に関して1階の微分方程式であるので不可逆であるとも思えるが、ハミルトニアン<math>\hat{H}</math>さえ時間反転に対して[[不変]]であれば、<math>\left. t \right.</math>→<math>\left. -t \right.</math>とした方程式の解は元の式の解の[[複素共役]]に過ぎず、物理的にはそれほど違いは無い。その意味で、シュレーディンガー方程式もまた可逆な方程式である。

それらに対して、[[ランジュバン方程式]]は速度に依存した抵抗力（ポテンシャルで表現できない、非保存力）を含む。<math>\left. t \right.</math>→<math>\left. -t \right.</math>に対し、速度<math>\left. \vec{v} \right.</math>→<math>\left. -\vec{v} \right.</math>であるから、その方程式の解は元の解と全く異なってしまう。このように、ランジュバン方程式は可逆ではない。この事はわれわれの経験（静水中で減衰して止まった物体はまた勝手に動き出すことは無い）と一致する。

==参考文献==

<references />

==関連記事==
*[[カルノーサイクル]]
*[[等温過程]]
*[[断熱過程]]
*[[定積過程]]
*[[定圧過程]]
*[[統計力学]]
*[[不可逆性問題]]
*[[化学]] - [[可逆反応]]・[[不可逆反応]]
*[[リセット]]
*[[可逆計算]]

[[Category:熱力学|かきゃく]]
[[Category:システム|かきゃく]]
[[Category:時間|かきゃく]]
[[Category:対称性|かきゃく]]