PhyslibSearch

Physlib.Thermodynamics.IdealGas.Basic

3 declarations

definition

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

#entropy

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) = 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

#adiabatic_relation_log

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(U_a, V_a, N) = S(U_b, V_b, N) \] then the following logarithmic adiabatic relation holds: \[ 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

#adiabatic_relation_UaUbVaVb

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(U_a, V_a, N) = S(U_b, V_b, N) \] where the entropy function is defined as \[ 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: \[ \left( \frac{U_a}{U_b} \right)^c \left( \frac{V_a}{V_b} \right) = 1 \]