monatomicCv
plain-language theorem explainer
The monatomicCv definition sets the constant-volume molar heat capacity of a monatomic ideal gas to three-halves times the gas constant. Researchers deriving thermodynamic relations from eight-tick mode counting cite this as the classical baseline before adding discreteness corrections. The assignment is a direct one-line definition that applies equipartition to three translational modes.
Claim. The constant-volume molar heat capacity of a monatomic ideal gas is given by $C_V = (3/2) R$, where $R$ is the gas constant in Recognition Science units.
background
The Thermodynamics.HeatCapacity module targets derivation of heat capacities from 8-tick mode counting under the THERMO-004 heading. Classical equipartition supplies $kT/2$ per quadratic mode, and monatomic gases possess three translational modes. R_gas_constant is taken from the imported Constants module and serves as the reference scale for these expressions.
proof idea
The declaration is a direct definition that multiplies the imported gas constant by the factor 3/2.
why it matters
This supplies the classical anchor for the eight-tick mode-counting approach to heat capacity in Recognition Science. It precedes the diatomic and quantum-corrected variants listed among the sibling declarations and aligns with the module's goal of obtaining C from mode enumeration before introducing 8-tick discreteness effects.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.