Steady-state asymptotic fluctuation theorem 2026-10-14
A steady state does not by itself give every fluctuating observable an entropy production symmetry. If the dimensionless total entropy production has the same-law finite relation and a large deviation principle with rate function for , then, on its common domain,The first expression denotes leading exponential scaling; the second follows by taking the scaled logarithm of the probability ratio. A finite-state, autonomous Markov process with time-even states, positive bidirectional rates and a positive stationary distribution supplies a standard setting for a finite total-entropy production relation. The stochastic system entropy is then bounded, so its endpoint contribution does not change the long-time rate function of bath entropy production. [ref]
Unbounded state spaces can have endpoint fluctuations on the scale relevant to a large deviation principle. Dropping system entropy, changing the measured observable to heat, or changing the reverse preparation therefore requires a fresh argument. The exact finite integral fluctuation theorem, a same-law finite relation, and an asymptotic rate function symmetry are distinct claims.
Thermal equilibrium Created 2026-09-24 Updated 2026-10-14
Two internally equilibrated systems are in thermal equilibrium if bringing them into contact that permits only heat exchange causes no net heat transfer. In ordinary nonrelativistic thermodynamics without appreciable gravitational temperature shifts, their thermodynamic temperatures are equal. Merely preventing heat transfer with insulation does not establish thermal equilibrium: two insulated bodies can have different temperatures. [ref]
1.1 Temperature and Thermal Equilibrium. Samuel J. Ling, William Moebs and Jeff Sanny, OpenStax University Physics Volume 2, section 1.1
A thermometer illustrates the definition. Its own temperature settles to the object's temperature after thermal contact, provided its effect on the object is negligible. The existing zeroth law of thermodynamics makes this comparison transitive: two objects separately in thermal equilibrium with the same thermometer are in thermal equilibrium with each other. This lets one calibrated scale compare different materials.
Equal temperatures do not imply equal internal energies or equal heat capacities. Nor does thermal equilibrium by itself imply mechanical equilibrium or chemical equilibrium; these require additional allowed exchanges. There is also a distinction between no net exchange in thermal equilibrium and a constant temperature maintained by equal incoming and outgoing heat. The latter can be a steady state with ongoing entropy production. Microscopic exchanges can continue at thermal equilibrium, but their opposing contributions balance on average.
Thermoelectric cooler energy balance 2026-10-18
The chosen steady-state model isHere is the terminal voltage drop along positive electric current through the module. Its Seebeck effect term opposes the cooling supply. The cold Peltier effect term removes heat; Joule heating and returning heat conduction reduce the available cooling. At zero electric current, : the passive leak warms c and removes heat from h, consistent with the stated signs. Subtracting the two face equations cancels heat conduction and gives the electrical power, an independent conservation of energy check.
The factor one half is an ideal-model result, not a universal rule for every contact. To see its origin, let run from cold to hot along a uniform equivalent leg of length , cross-sectional area , electrical resistivity and thermal conductivity . With constant coefficients, insulated sides and no Thomson effect, steady conservation of energy givesThe Fourier's law heat current in the positive direction is . At it equals , and at it equals , using and . Adding the local transported heat current gives the two face equations. Summing equivalent legs preserves this accounting. Nonuniform material properties, side losses or asymmetric contact dissipation require a revised model.
For an original toy module, stipulate , , , and . At ,The coefficient of performance is defined here only for refrigeration with and . The hot-side assembly must remove , not just the extracted . These are stipulated calculations, not measurements or a commercial module specification.
At the same fixed face temperatures but , the same boundary definitions give , , and . The formerly cold face is now heated; the formerly hot reservoir supplies . Still . Reversal changes the linear terms, while and the leak at fixed temperatures remain unchanged. Holding the old labels fixed makes this check meaningful.
The corresponding steady entropy production of the module is the outgoing reservoir entropy minus the incoming reservoir entropy:The Peltier effect terms cancel because they carry the same entropy at each end. This cancellation explains the reversible coupling; it does not make finite-resistance operation reversible. In the toy example the two positive contributions are approximately and , giving for either current direction. In cooling operation, combining this inequality with the energy balance gives the Carnot refrigerator limit , equal to for these reservoir temperatures. A coefficient of performance above one would describe transported heat per electrical work, not the creation of energy.
Take a closed system consisting of one mole of a classical monatomic gas, idealized as an ideal gas with constant heat capacity at constant volume . Stipulate amount of substance and molar gas constant for this calculation. Set initial temperature and volume , and define and . The specified equilibrium endpoints areThus has volume , temperature and pressure . The fixed material inventory and ideal gas law make these complete endpoint specifications for this model. All numbers below are calculated values, rather than measurements of a particular gas.
Use a frictionless piston, ignore bulk mechanical energy changes, and allow only pressure-volume work. Each step is the limit of a reversible thermodynamic process: adjust loads by infinitesimal pressure differences, and supply heat through infinitesimal temperature differences. Heating with changing temperature requires a succession of matching thermal reservoirs; contact with a single hotter heat bath would give an irreversible finite difference. On a fixed-volume leg the piston is locked. These assumptions justify using the actual equilibrium path's pressure inAn endpoint chord is not the path; substituting a guessed straight line would compute a different thermodynamic process.[ref]
Thermodynamics and Propulsion. Thermodynamics and Propulsion, §1.3.3, Figures 1.10–1.11: external pressure versus equilibrium gas pressure in boundary work
The upper route heats at fixed volume from to , then undergoes isothermal expansion at to . The lower route undergoes isothermal expansion at from to , then heats at fixed volume to . The tuples use the same ordering as the endpoints. Vertical legs do zero expansion work, and the two curved legs have different pressures at every shared intermediate volume.
Two reversible ideal gas paths connect the same equilibrium endpoints
. Original idealized pressure-volume diagram. The upper route is and the lower route is ; the shaded gap is the difference in work, not an experimental uncertainty. Both are reversible thermodynamic processes under the stated piston and thermal reservoir assumptions. Details.The internal energy of an ideal gas gives the same endpoint difference for both routes:On either fixed-volume heating leg, and . On each isothermal expansion, , so the first law of thermodynamics gives . The ideal gas law and the integral of then giveHere is the natural logarithm. Rounded to , the upper route has and the lower route has . Subtracting separately rounded entries can differ by ; the unrounded balances are exact in the stipulated model.
The shaded area between the curves explains the entire difference:Following the upper route forward and the lower route backward makes a thermodynamic cycle with this positive net work and matching net heat. Its internal energy change is zero. The two open routes themselves are reversible, so their different work outputs should not be mistaken for a loss caused by entropy production: they receive different heat transfers at different temperatures.
Two other state functions provide independent endpoint checks. With enthalpy in this model,To obtain the entropy change along either route, integrate on its heating leg, giving , and on its isothermal expansion, giving . Reordering the legs changes their heat totals but leaves the sum of their entropy changes unchanged. In particular, neither route's total divided by its final temperature equals , and neither total equals : both routes include an isothermal expansion, rather than a single fixed-pressure heating step.

