Why the thermodynamics fundamental equations are fundamental.

1. The Microscopic Origin of Degrees of Freedom

To deduce the degrees of freedom of a thermodynamic system without circular reasoning, we must discard macroscopic empirical laws entirely. We start from the absolute bottom: Quantum Mechanics and Statistical Mechanics.

Consider a closed system (particle number is fixed). Macroscopic internal energy is defined as the ensemble average of the discrete microscopic quantum energy states , weighted by the probability of the system occupying that state:

Applying the product rule of calculus to take the exact differential of , we uncover the absolute foundation of energy change:

This exact differential splits energy variation into exactly two independent mathematical sums. Let us analyze what dictates each sum physically.

Degree of Freedom 1: Volume (The Quantum Eigenvalues)

The first term, , involves the shifting of the quantum energy eigenvalues themselves. What controls ? For a simple compressible system, we look at the quantum mechanical "Particle in a 3D Box". The energy levels are:

Because and mass are constant, the only macroscopic variable that can alter the energy eigenvalues is the physical geometry of the boundary—the Volume (). Therefore, , making our first independent degree of freedom.

Degree of Freedom 2: Entropy (The Statistical Probabilities)

The second term, , involves changing the probability distribution among the states while the energy levels themselves remain fixed. In statistical mechanics, the probability distribution is the sole determinant of the Gibbs/von Neumann Entropy ():

Any variation in the probabilities () fundamentally manifests as a change in the macroscopic entropy (). Thus, mathematically encapsulates the second sum, establishing it as the second independent degree of freedom.

Logical Conclusion: For a closed system, macroscopic internal energy is exclusively determined by the quantum energy levels (parameterized by ) and the occupation probabilities (parameterized by ). Consequently, we have proven that must be a state function of exactly two variables:

2. Rigorous Mathematical Definition of T and P

Because is a continuous function of exactly two variables, and , we invoke pure multivariate calculus. The exact total differential of is unavoidably:

At this point, thermodynamics makes a definitional leap. We define the intensive conjugate variables, Temperature () and Pressure (), purely as the partial derivatives (the slopes) of this energy surface:

Substituting these geometric definitions back into the differential yields the macroscopic First Law: . This equation is not an empirical postulate; it is a mathematical identity born from the geometry of the manifold.

3. Consistency Check: Statistical Thermodynamics

Are these pure mathematical abstractions for and physically valid? Let's prove their consistency with physical phenomena.

Proving T represents Thermal Equilibrium

Consider two isolated systems (1 and 2) sharing energy such that (hence ). According to statistical mechanics, equilibrium is the most probable macrostate, which maximizes total entropy . At the maximum, the first derivative is zero:

The physical definition of equilibrium is that temperatures are equal (). Therefore, the function governing equilibrium is . Using the inverse rule of calculus:

This confirms our mathematical definition of is the exact physical parameter governing heat flow.

Proving P represents Mechanical Pressure

Microscopically, if we change the volume of a system slowly without changing the probability distributions (, therefore , an isentropic process), the change in energy is entirely due to the shifting quantum eigenvalues:

From classical mechanics, the ensemble average of the generalized force exerted by the system bounds is the physical pressure. Thus, . Substituting this into the equation yields:

Which perfectly verifies our definition: .

4. Ultimate Verification: Deriving Gas Kinetics Theory

If this entire logical chain is solid, we should be able to derive the empirical Ideal Gas Law and the Equipartition Theorem purely by applying our mathematical definitions of and to the exact quantum statistical entropy of a monoatomic gas.

The absolute entropy of a monoatomic ideal gas is given by the Sackur-Tetrode Equation:

Using the triple product (cyclic) rule of multivariable calculus, we know that . Let's use sympy to rigorously take the partial derivatives of the exact Sackur-Tetrode equation and unveil the gas laws:

import sympy as sp

# Define variables: U (Energy), V (Volume), N (Particles), kB (Boltzmann), const (quantum constants)
U, V, N, kB, const = sp.symbols('U V N k_B const', positive=True)

# Define the Sackur-Tetrode Equation (grouped quantum constants into 'const')
S = N * kB * sp.log( (V / N) * (const * (U / N))**(sp.Rational(3, 2)) ) + sp.Rational(5, 2) * N * kB

# ---------------------------------------------------------
# 1. Verifying Equipartition of Energy (Kinetic Temperature)
# Definition: 1/T = (dS/dU)_V
# ---------------------------------------------------------
dS_dU = sp.diff(S, U)
T = 1 / dS_dU

print("1. Derived Temperature (T):", T)
# Output: 2*U / (3*N*k_B)
# Rearranging the output: U = (3/2) N k_B T 
# EXACT MATCH: This is the exact kinetic energy of a monoatomic ideal gas!

# ---------------------------------------------------------
# 2. Verifying the Ideal Gas Equation of State
# Definition: P = T * (dS/dV)_U  (via cyclic rule from P = -(dU/dV)_S)
# ---------------------------------------------------------
dS_dV = sp.diff(S, V)
P = T * dS_dV

print("2. Derived Pressure (P):", sp.simplify(P))
# Output: 2*U / (3*V)
# We know from Step 1 that U = (3/2) N k_B T. Substituting U into the output:
# P = (2/3V) * (3/2 N k_B T)  =>  P = (N k_B T) / V
# EXACT MATCH: P * V = N * k_B * T (The Ideal Gas Law!)

Conclusion: The logic is impenetrable. By analyzing the fundamental quantum constraints (eigenvalues dependent on ) and statistical mechanics (probabilities dependent on ), we rigorously isolated exactly two degrees of freedom for energy change. Constructing the pure 2D mathematical manifold allowed us to mathematically define and as its partial derivatives. Applying these abstract mathematical definitions to the Sackur-Tetrode entropy spontaneously birthed the exact empirical laws of Gas Kinetics. Absolutely fatal.