熱力学ポテンシャル

定義 4.1（「自由エネルギーと熱力学ポテンシャル」§4）

内部エネルギー $U(S,V,N)$ に対し、

\begin{aligned} F &:= U - TS &&\text{（ヘルムホルツの自由エネルギー）}\\ H &:= U + pV &&\text{（エンタルピー）}\\ G &:= U - TS + pV = F + pV = H - TS &&\text{（ギブスの自由エネルギー）}\\ \Omega &:= U - TS - \mu N = F - \mu N &&\text{（グランドポテンシャル）} \end{aligned}

と定める。ここで $T = (\partial U/\partial S)_{V,N}$ 、 $p = -(\partial U/\partial V)_{S,N}$ 、 $\mu = (\partial U/\partial N)_{S,V}$ である。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。