相反定理
相反定理 (テンプレート:Lang-en, または reciprocal relations) と呼ばれるものは以下のようにいくつかある。一般に二つのものを入れ替えても同等であるということを示す定理。
- 熱力学における、オンサーガーの相反定理
- 材料力学におけるベッティ・マクスウェルのテンプレート:仮リンク
- 電磁気学における、グリーンの相反定理
- 電気回路における、テンプレート:仮リンク
この記事では 1 のオンサーガーの相反定理について述べる。
オンサーガーの相反定理（—のそうはんていり、テンプレート:Lang-en）とは、熱力学において、平衡から外れているが局所的に平衡状態にあるとみなせる系での流れと「熱力学的な力 thermodynamic force(s)」との関係に関する定理である。
熱力学的な力とはたとえば、系の温度や圧力の勾配のことである。系内に温度差があれば高温部から低温部へ熱の流れが生じ、圧力差があれば高圧部から低圧部へ物質の流れが生じる。そして温度と圧力の両方に差がある場合には、圧力差が熱の流れを生み出し温度差が物質の流れを生み出すという「交差関係」が実験的に明らかにされている。 ここで、圧力差当りの熱の流れと温度差当りの密度（物質）の流れが等しい、というのが相反定理である。同じような相反関係は他の様々な力と流れの間にも成り立つ（たとえばゼーベック効果とペルティエ効果など）。
この定理は1931年にラルス・オンサーガーによって微視的な時間に関する対称性から統計力学的に導かれた。時間対称性が成り立たない磁場や回転がない場合にのみ成り立つ。統計力学では揺動散逸定理に含まれる。
例：流体系
熱力学的なポテンシャル、力、流れ
最も基本的な熱力学的ポテンシャルは内部エネルギーである。流体系では、エネルギー密度 u は次のように物質密度 r とエントロピー密度 s に依存する： テンプレート:Indent ここで T は温度、 m は圧力と化学ポテンシャルを合わせたものである。これは次のように書き直せる： テンプレート:Indent 示量性状態量である u および r は保存され、次の連続方程式を満たす： テンプレート:Indent および テンプレート:Indent ただし <math> \partial_t </math> は時間 t に関する偏微分、 <math>\nabla \cdot \mathbf{J}</math> はベクトル J の発散を表す。 変数 u および r の勾配、すなわち 1/T および −m/T は熱力学的な力であり、それぞれ対応する示量性変数の流れを起こす。 物質の流れがない場合は テンプレート:Indent で、熱の流れがない場合は テンプレート:Indent となる（k とk' は定数）。ただしここでは <math>\nabla A</math> はスカラー量 A の勾配を表す。
相反関係
この例では、熱と物質の流れが両方あり、流れと力との関係に“交差項”があるとする。比例定数（輸送係数）を L と書く。 テンプレート:Indent および テンプレート:Indent オンサーガーの相反定理は“交差係数” Lur と Lru が等しいことを主張するものである。 比例関係は次元解析から導かれる（両係数は時間×質量密度という同じ次元となる）。
一般的な定式化
エントロピー S が示量性変数 (extensive variables) Ei の組で表せるとする。 テンプレート:Indent
このときエントロピー S (E) の全微分は以下の形で与えられる。 テンプレート:Indent
エントロピーおよび熱力学変数 Ei の示量性から、微係数 ∂S/∂Ei は示強的である。 {{Indent|<math>\frac{\partial S(\lambda\mathbf{E})}{\partial (\lambda E_i)} = \frac{\lambda}{\lambda}\frac{\partial S(\mathbf{E})}{\partial E_i} = \frac{\partial S(\mathbf{E})}{\partial E_i}.</math>}}
これらの、示量性変数 Ei に共役な示強性変数 (intensive variables) を Ii と表す： テンプレート:Indent
熱力学的な力は示強性変数 I の勾配として定義される： テンプレート:Indent そしてこれらは示量性変数の流れ Ji を生み出し、次の連続の方程式を満たす。 テンプレート:Indent
流れは熱力学的な力に比例し、比例定数は対称行列 L となる： テンプレート:Indent 従って示量性変数の時間発展は以下の形で与えられる。 テンプレート:Indent
ここで行列 σ を導入すると、 テンプレート:Indent 次のようにまとめられる。 テンプレート:Indent
