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
Entropy of a monophase ideal gas
The entropy of a monophase ideal gas is defined as a function of the internal energy , the volume , and the amount of substance . Given the heat capacity parameter , the gas constant , and reference values for entropy , internal energy , volume , and amount of substance , the entropy is given by: where denotes the natural logarithm.
Let be parameters for a monophase ideal gas, and let be real numbers. Suppose that . If the entropy is equal for the states and , such that then the following logarithmic adiabatic relation holds: where denotes the natural logarithm.
Let be the parameters for a monophase ideal gas, where . Let and be positive real numbers representing the internal energies and volumes of two states and at a fixed amount of substance . If the entropy is equal for both states, such that where the entropy function is defined as then the following adiabatic relation in product form holds:
