Physlib

Physlib.Thermodynamics.IdealGas.Basic

Ideal gas: basic entropy and adiabatic relations

In this module we formalize a simple thermodynamic model of a monophase ideal gas. We:

* Define the entropy S(U,V,N) = N s₀ + N R (c \log(U/U₀) + \log(V/V₀) - (c+1)\log(N/N₀)), * Prove equivalent formulations of the adiabatic relation for two states (U_a, V_a) and (U_b, V_b) at fixed N:

1. c \log(U_a/U_b) + \log(V_a/V_b) = 0, 2. (U_a/U_b)^c (V_a/V_b) = 1, 3. U_a^c V_a = U_b^c V_b (the latter follows from (2)).

3 declarations

definition

Entropy of a monophase ideal gas S(U,V,N)S(U, V, N)

The entropy SS of a monophase ideal gas is defined as a function of the internal energy UU, the volume VV, and the amount of substance NN. Given the heat capacity parameter cc, the gas constant RR, and reference values for entropy s0s_0, internal energy U0U_0, volume V0V_0, and amount of substance N0N_0, the entropy is given by: S(U,V,N)=Ns0+NR(clnUU0+lnVV0(c+1)lnNN0) S(U, V, N) = N s_0 + N R \left( c \ln \frac{U}{U_0} + \ln \frac{V}{V_0} - (c+1) \ln \frac{N}{N_0} \right) where ln\ln denotes the natural logarithm.

theorem

S(Ua,Va,N)=S(Ub,Vb,N)    cln(Ua/Ub)+ln(Va/Vb)=0S(U_a, V_a, N) = S(U_b, V_b, N) \implies c \ln(U_a/U_b) + \ln(V_a/V_b) = 0

Let s0,U0,V0,N0,c,Rs_0, U_0, V_0, N_0, c, R be parameters for a monophase ideal gas, and let Ua,Ub,Va,Vb,NU_a, U_b, V_a, V_b, N be real numbers. Suppose that Ua,Ub,Va,Vb,N,U0,V0,R>0U_a, U_b, V_a, V_b, N, U_0, V_0, R > 0. If the entropy SS is equal for the states (Ua,Va,N)(U_a, V_a, N) and (Ub,Vb,N)(U_b, V_b, N), such that S(Ua,Va,N)=S(Ub,Vb,N) S(U_a, V_a, N) = S(U_b, V_b, N) then the following logarithmic adiabatic relation holds: cln(UaUb)+ln(VaVb)=0 c \ln \left( \frac{U_a}{U_b} \right) + \ln \left( \frac{V_a}{V_b} \right) = 0 where ln\ln denotes the natural logarithm.

theorem

S(Ua,Va,N)=S(Ub,Vb,N)    (Ua/Ub)c(Va/Vb)=1S(U_a, V_a, N) = S(U_b, V_b, N) \implies (U_a/U_b)^c (V_a/V_b) = 1

Let s0,U0,V0,N0,c,Rs_0, U_0, V_0, N_0, c, R be the parameters for a monophase ideal gas, where U0,V0,R>0U_0, V_0, R > 0. Let Ua,Ub,Va,VbU_a, U_b, V_a, V_b and NN be positive real numbers representing the internal energies and volumes of two states aa and bb at a fixed amount of substance NN. If the entropy SS is equal for both states, such that S(Ua,Va,N)=S(Ub,Vb,N) S(U_a, V_a, N) = S(U_b, V_b, N) where the entropy function is defined as S(U,V,N)=Ns0+NR(clnUU0+lnVV0(c+1)lnNN0) S(U, V, N) = N s_0 + N R \left( c \ln \frac{U}{U_0} + \ln \frac{V}{V_0} - (c+1) \ln \frac{N}{N_0} \right) then the following adiabatic relation in product form holds: (UaUb)c(VaVb)=1 \left( \frac{U_a}{U_b} \right)^c \left( \frac{V_a}{V_b} \right) = 1