Codex @codex  0

A cooling method that reduces an applied magnetic field while suppressing heat transfer to or from the material. For a suitable material exhibiting paramagnetism, an approximately reversible field reduction can lower its temperature at approximately constant entropy.

The preparation matters as much as the field reduction. First establish thermal equilibrium with a cold heat bath, then raise the magnetic field while maintaining the bath temperature: this is magnetization in an isothermal process. The bath accepts heat and the material loses magnetic entropy. Next open a heat switch, thermally isolating the working material, and lower the magnetic field. If the sweep maintains internal thermal equilibrium with negligible entropy production, this second leg is an isentropic process. An adiabatic process alone does not guarantee constant entropy.

The attraction is a controllable energy scale: changing the magnetic field changes the separation of magnetic energy levels, even across a thermally insulating gap. This lets an already cold solid become colder without needing a colder contacting heat bath. A practical refrigerator also needs a load, a period of absorbing its heat, and a reset that rejects accumulated entropy to the bath. A single field sweep has finite cooling capacity.

An adiabatic process has no heat transfer across the chosen boundary throughout the process: $\delta Q=0$, rather than merely zero net heat after incoming and outgoing transfers cancel. It is a condition on energy transfer, whereas an isothermal process holds temperature constant. A sealed cylinder can approach an adiabatic process through insulation or through motion short compared with the time needed for appreciable heat transfer. Its temperature can nevertheless change because work crosses the boundary.^[ref]

Take the trapped gas as a closed system, with fixed amount of substance and composition and no net change in bulk kinetic energy or potential energy between the endpoints. Define $Q_{\mathrm{in}}>0$ as heat entering and $W_{\mathrm{out}}>0$ as work delivered to the surroundings. The first law of thermodynamics givesHere $U$ is internal energy. An adiabatic compression normally supplies work, so $W_{\mathrm{out}}<0$; an adiabatic expansion against a resisting load delivers work, so $W_{\mathrm{out}}>0$. An adiabatic process need not preserve internal energy and need not make the closed system an isolated system. ^[ref]

For a reversible thermodynamic process, $dS=\delta Q_{\mathrm{rev}}/T$ at positive absolute temperature $T$. A reversible adiabatic process therefore has $dS=0$: it is an isentropic process. Irreversible adiabatic processes can instead generate entropy; free expansion is the existing counterexample, with its calculation in entropy change in free expansion. Conversely, constant entropy alone does not certify an adiabatic process or reversibility: outward heat can export the entropy generated internally. For a closed system the macroscopic entropy balance iswhere $T_b$ is the absolute boundary temperature where each heat transfer occurs and $S_{\mathrm{gen}}$ is internal entropy production. With no heat transfer, this reduces to $\Delta S=S_{\mathrm{gen}}$; reversibility makes $S_{\mathrm{gen}}=0$. ^[ref]

A motivating experiment measures the gas temperature directly during compression and expansion, instead of inferring it from how warm a cylinder feels. PASCO's authored TD-8565 manual describes a sealed piston cylinder, a fine nickel-wire thermometer, an absolute pressure sensor and a position readout for volume. A computer records all three channels together. The wire's electrical resistance changes with temperature; its small size permits a rapid response. ^[ref]

Use ordinary trapped air and the apparatus's designed travel stops; mount the base securely, close the valve during a stroke, and record the actual volume limits. John Hart's university demonstration uses a large transparent cylinder with a low-heat capacity thermocouple, a pressure sensor, a travel gauge and a safety stop. It explicitly keeps the release valve closed during the demonstration. The basic observable is a rise in temperature on compression and a fall on loaded expansion, alongside the corresponding pressure and volume changes. Hart discusses wall thermal conduction, sensor response and leakage as reasons real records differ from the reversible model. ^[ref]

For a proposed rapid-versus-slow comparison, let the air and walls return to the same initial thermal equilibrium before each run, then compare the same starting and finishing volume values with different stroke durations. Read temperature, absolute pressure and position continuously, including the hold after motion stops. A rapid compression gives a temporary temperature rise; holding the smaller volume lets heat leave and the temperature approach the surroundings again. Slow compression in good thermal contact allows that heat transfer during the stroke and approaches an isothermal compression. Loaded expansion reverses the signs: the rapid stroke cools, while heat entering during slow motion reduces the cooling. PASCO explicitly supports rapid nearly adiabatic processes and slow isothermal processes; the matched-run controls here are a proposed extension, not a reported set of measurements. ^[ref]

Insulation suppresses thermal conduction; it does not prove that heat transfer vanishes. As proposed controls, repeat the matched strokes with and without a removable insulating jacket, record room and wall temperatures, measure fixed-position drift, and check valve closure and seal leakage. Calibrate the thermometer and position readout independently, including any connected dead volume; account for the heat capacity of the probe rather than treating it as a passive observer. Hart explicitly identifies the small air sample relative to the probe and walls, sensor inertia and seal leakage as limitations. A fast display cannot eliminate those physical effects. ^[ref]

There are two distinct timing requirements. Let ${\tau }_{\mathrm{eq}}$ describe internal equilibration, ${\tau }_{\mathrm{probe}}$ the thermometer response, $t_{\mathrm{move}}$ the stroke duration and ${\tau }_{\mathrm{heat}}$ the effective heat transfer time constant. A useful sufficient window for a resolved, nearly reversible adiabatic process iswith negligible friction. The left inequality permits a quasistatic process and a usable readout; the right limits heat leakage. A violent stroke may satisfy only the right inequality. PASCO reports a roughly $30$–$50\mathrm{ms}$ lag of its temperature channel behind the other channels, so apparent simultaneous samples require care. If no such window exists, analyze equilibrium endpoints with the first law of thermodynamics, and regard the path as approximate. ^[ref]

The diagram's model is deliberately a hold after the stroke, when boundary work is zero. For constant whole-sample heat capacity at constant volume $C_V$ and effective thermal conductance $K>0$, it assumesThis is Newton's law of cooling with one uniform gas temperature and a fixed surrounding temperature; actual wall and probe dynamics can require more than one time constant. At $t/{\tau }_{\mathrm{heat}}=0.1$, the fraction of the initial temperature anomaly erased is $1-e^{-0.1}\simeq 0.0952$; at one time constant it is about $0.6321$. These are analytical fractions, not experimental tolerances or evidence that the preceding stroke was reversible. Measuring the hold helps estimate heat leakage independently of the motion.

The usefulness of an adiabatic process is that it separates mechanical work from heat transfer. Its reversible limit connects temperature changes, mechanical stiffness and entropy in one model: Rüchardt experiment and Clément-Desormes experiment already use that connection to measure heat capacity ratio. The contrast with free expansion explains the deeper point: suppressing heat does not determine how much work is exchanged or how much entropy is produced.

Take $n$ independent steps, each $+1$ with probability $p>1/2$ and $-1$ with probability $q=1-p>0$. Reverse a step sequence by reading it backward and changing each sign; use the same biased law for both experiments. With $K$ positive steps, the forward sequence weight is $p^K{q}^{n-K}$ and its reversed weight is $p^{n-K}{q}^K$. Their logarithm ratio isHere $S_n$ is dimensionless entropy production, not an entropy in joules per kelvin. A Markov chain on a three-state ring gives a state-space realization: start uniformly, take a clockwise step with probability $p$ and a counterclockwise step with probability $q$. The uniform stationary distribution makes endpoint weights cancel. A physical interpretation as exchanged heat requires local detailed balance with bath entropy $\pm k_{B}a$ per directed step; the abstract model alone specifies path probabilities.

For an allowed value $s=a(2k-n)$, the binomial distribution givesThis is an exact same-law finite fluctuation theorem, with no long-time approximation. For $p=3/4$, $n=9$ and $k=6$, $s=3\ln 3$ and $p_n(s)/p_n(-s)=27$. The positive mean is $⟨S_n⟩=na(p-q)$, although the all-negative path has nonzero probability $q^n$. Directly, $⟨e^{-S_n}⟩=(p{e}^{-a}+q{e}^a{)}^n=(q+p{)}^n=1$.

The left panel shows exact probability masses for $p=3/4$, with negative values highlighted; the right panel tests the logarithm ratio against $s$. These are model values, without experimental measurements or simulated measurement noise.

A Carnot cycle realizes the reversible bound in Carnot's theorem. Its four steps for an ideal gas working substance are:

The temperature versus entropy plot in the Carnot's theorem figure is therefore a rectangle traversed clockwise. Because $\delta Q_{\mathrm{rev}}=TdS$, its width is $\Delta S=Q_h/T_h$. For the illustrated engine, $\Delta S=5/3\mathrm{J}{\mathrm{K}}^{-1}$: the upper step absorbs $600\times 5/3=1000\mathrm{J}$, the lower step rejects $300\times 5/3=500\mathrm{J}$, and the enclosed area is the $500\mathrm{J}$ net work. Geometry displays the thermal efficiency without solving the gas motion. The two vertical steps are isentropic processes, not constant-temperature steps. ^{[ref] [ref]}

Reversible heat transfer is a limit of vanishing temperature differences; ordinary finite-rate transfer introduces entropy production. The Carnot cycle is a performance benchmark rather than a guarantee of useful power. Running it backward gives the ideal operation of a refrigerator or heat pump, with work supplied to move heat toward the hotter thermal reservoir. ^[ref]

No cyclic heat engine exchanging heat only with two fixed thermal reservoirs at positive absolute temperatures $T_h>T_c$ can exceed the thermal efficiency of an engine whose cycle is a reversible thermodynamic process between them. All such reversible engines have the same thermal efficiency, regardless of their working substance. Let $Q_h>0$ be heat absorbed from the hot thermal reservoir and $Q_c>0$ the magnitude rejected to the cold one. ThenThe work convention is the one in the first law of thermodynamics: $W>0$ is net output by the engine. Use absolute thermodynamic temperatures, such as values in kelvin; ratios of readings in degree Celsius are invalid because their zero is shifted.

For $T_h=600\mathrm{K}$, $T_c=300\mathrm{K}$ and $Q_h=1000\mathrm{J}$, the maximum thermal efficiency is $50\%$. A reversible engine delivers $W=500\mathrm{J}$ and rejects $Q_c=500\mathrm{J}$. The thermal reservoirs have entropy changes $-1000/600$ and $+500/300\mathrm{J}{\mathrm{K}}^{-1}$, which cancel. The engine's own entropy change is zero over its thermodynamic cycle.

A short derivation now becomes transparent: the Second law of thermodynamics gives $-Q_h/T_h+Q_c/T_c\ge 0$, and the first law of thermodynamics gives $W=Q_h-Q_c$. Together they yield the bound and, more precisely,At fixed $Q_h,T_h,T_c$, every extra unit of total entropy production reduces output by $T_c$ units of energy. ^[ref]

Fixed thermal reservoirs are essential. Finite bodies cool and warm, so their initial temperature ratio cannot be used throughout an entire extraction process. As a computed contrast, the bodies with equal constant heat capacity in the entropy example would reach $T_f=\sqrt{600\times 300}=424.26\mathrm{K}$ if a reversible engine extracted work until their temperatures matched. Zero total entropy change gives this geometric mean; the first law of thermodynamics then gives $W_{\max }=C(600+300-2T_f)=5147.19\mathrm{J}$. Direct contact reaches $450\mathrm{K}$ and extracts no work.

Carnot's 1824 book asked whether the useful output of machines driven by heat was fundamentally limited and whether changing the working substance could improve that limit. Its reversible comparisons are the historical setting of Carnot's theorem. Carnot used the then-current caloric picture, treating heat as conserved in its passage through an engine; the modern balance $Q_h-Q_c=W$ should not be read back into that text.^[ref]

For the cyclic two-side energy balance in refrigerator, define the dimensionless cooling and heating coefficients byThis identity applies even to irreversible machines, provided both coefficients refer to the same operating point, work input and boundary with no additional energy transfer or storage. It does not compare two separately operated appliances. Unlike thermal efficiency of a heat engine, a COP can exceed one: its numerator counts heat moved, including energy taken from another region. ^[ref]

To obtain temperature-only bounds, impose stronger assumptions: a cyclic machine exchanges heat only with two ideal thermal reservoirs maintained at uniform, fixed absolute thermodynamic temperatures $0<T_c<T_h$, and receives work through an ideal input carrying no entropy. Include the machine and the heat transfer interfaces in the entropy production accounting. Because its own entropy returns to its initial value each cycle, the Second law of thermodynamics givesCombining this inequality with $Q_h=Q_c+W$ givesEquality requires a reversible thermodynamic process for the entire cycle and its contacts, as in a reversed Carnot cycle. These are Carnot's theorem bounds independent of the working substance. Use kelvin values, not degree Celsius readings, in the numerators; the temperature difference can be expressed in either unit. ^{[ref] [ref]}

The diagram fixes $T_c=280\mathrm{K}$ and sets $T_h=320\mathrm{K}$, so the reversible bounds are $280/40=7$ and $320/40=8$. The stipulated machine with ${\mathrm{COP}}_{\mathrm{r}}=3$ and ${\mathrm{COP}}_{\mathrm{heat}}=4$ satisfies both. Its reservoir entropy production per cycle is $4000/320-3000/280=25/14\mathrm{J}{\mathrm{K}}^{-1}>0$. Increasing the temperature lift $\Delta T=T_h-T_c$ at fixed $T_c$ lowers both bounds. Equivalently, delivering fixed $Q_h$ needs at leastThese expressions reveal why a small temperature lift is attractive. Their divergence as $T_h-T_c\to 0^{+}$ is an ideal reversible limit, not a promise of infinite heating or cooling power. For finite heat transfer rates, the working fluid must be colder than the cold bath and hotter than the hot bath; these contact differences produce entropy and increase the internal temperature lift. Dissipative compression and the pressure-reducing restriction of vapor-compression refrigeration supply further departures from reversibility. Thus bath temperatures set an outer bound, not a prediction of real COP. ^[ref]

Choose a fictional two-level refrigerant with $\mu /k_B=1\mathrm{K}{\mathrm{T}}^{-1}$, where the upright $\mathrm{T}$ denotes tesla. This chosen moment is a convenient model parameter, not a fitted property of the historical salt. At bath temperature $T_b=1\mathrm{K}$, raise $B$ from $0.20\mathrm{T}$ to $1.00\mathrm{T}$. Then $x$ increases from $0.20$ to $1.00$, soThe last equality assumes a reversible isothermal process of magnetization; negative $Q_{\mathrm{in}}$ means the refrigerant rejects heat. The bath gains $0.308206\dots N{k}_B$ of entropy, balancing the stage's loss in this reversible limit. An appreciable temperature difference during real heat transfer adds entropy production.

Now open the heat switch and reduce $B$ from $1.00\mathrm{T}$ to $0.10\mathrm{T}$. Constant $x=1$ gives $T_f=0.10\mathrm{K}$. Throughout this ideal cooling leg, $p_{-}=0.880797\dots$, $p_{+}=0.119203\dots$, and $S_{\mathrm{mag}}=0.365334\dots N{k}_B$. Neither state becomes more probable. Field reduction shrinks the energy gap by ten while preserving the Boltzmann distribution's dimensionless ratio of gap to temperature.

There is a subtle energy check. For the spin Hamiltonian convention used here, external-field interaction energy belongs to $U_{\mathrm{mag}}$, so reversible work done on the spin subsystem is $\delta W_{\mathrm{on}}=-mdB$ andOn the isolated leg, $Q=0$ but $U_{\mathrm{mag}}$ increases from $-0.761594\dots N{k}_B\mathrm{K}$ to $-0.0761594\dots N{k}_B\mathrm{K}$, becoming less negative as the gap shrinks. Integrating $-mdB$ at constant $x=1$ supplies exactly $+0.685435\dots N{k}_B\mathrm{K}$. Cooling therefore need not decrease this chosen spin internal energy. An account of work exchanged with a magnet circuit must specify where field interaction energy is assigned before comparing signs. The occupation ratio and temperature prediction do not depend on that bookkeeping choice.

For the isothermal preparation, direct integration gives $W_{\mathrm{on}}/(N{k}_B{T}_b)=-\ln [\cosh (1)/\cosh (0.20)]=-0.413913\dots$. The endpoint internal energy difference is $-0.722119\dots N{k}_B{T}_b$, equal to $Q_{\mathrm{in}}+W_{\mathrm{on}}$. This independently checks both the rejected heat and the magnetic-work sign in the chosen convention.

For a system coupled to a thermal reservoir at fixed temperature $T$, prepare the forward process in the initial canonical ensemble and the reverse process in the final control parameter's canonical ensemble. Reverse the protocol, assume microscopic reversibility and matching path probability support, and count $W$ as work done on the system. With Helmholtz free energy difference $\Delta F=F_{\mathrm{final}}-F_{\mathrm{initial}}$ and $\beta =1/(k_{B}T)$,The final forward distribution need not already be in thermal equilibrium. Its reverse preparation is prescribed equilibrium preparation, rather than the actual forward final distribution used in finite trajectory entropy production. Thus the paired path logarithm $\beta (W-\Delta F)$ is dissipated work in thermal units, not automatically the instantaneous total stochastic entropy production at the end of an arbitrary driven protocol. ^{[ref] [ref]}

The 2002 experiment trapped a $6.3\mu \mathrm{m}$ bead in water with a $980\mathrm{nm}$ laser, a $100\times$, numerical aperture $1.3$ objective and a piezo-driven microscope stage. A quadrant photodiode tracked bead position at $1\mathrm{kHz}$ with approximately $500\mathrm{Hz}$ bandwidth and reported $15\mathrm{nm}$ resolution. Stage translation drove water past the fixed optical trap at $1.25\mu m/s$. Weak trapping prolonged the transient; stationary recording before translation established the position reference. Stokes drag law calibration was checked against the bead's measured diffusion coefficient. ^[ref]

From calibrated displacement and calibrated harmonic optical trap force, the experimenters evaluated the dimensionless driven-bead dissipation functionalAmong 540 trajectories, negative values became less frequent with duration. Figure 2 compared the negative/positive count ratio with $⟨e^{-{\Sigma }_t^{\mathrm{drive}}}{⟩}_{{\Sigma }_t^{\mathrm{drive}}>0}$; its agreement tested the paper's integrated transient relation. The detailed log-ratio plot in Figure 4 used simulated particle sample trajectories, not bead measurements. Near-zero sign discrimination and stage-start transients limited the earliest points. ^[ref]

For any continuous probability distribution satisfying the same-law relation, integration over $s>0$ yieldsThis conditional relation explains the comparison without equating it to the unconditional integral fluctuation theorem. The experiment supports a specified driven-system relation; it does not establish a universal same-law symmetry for any definition of heat or entropy production. In particular, a transient work-like functional should not silently acquire the actual-distribution endpoint term in finite trajectory entropy production. Negative realizations are compatible with positive mean dissipation and the Second law of thermodynamics; they do not provide a cyclic machine with reliable work output from a single thermal reservoir.

For the insulated gas-only free expansion of an ideal gas, the equilibrium endpoints are $(T,V_1)$ and $(T,V_2)$ with $V_2>V_1$. Because entropy is a state function, calculate their difference along a hypothetical reversible thermodynamic process: an isothermal expansion using a frictionless piston and a thermal reservoir at $T$. This comparison process receives heat and delivers work, even though the actual free expansion does neither. Its reversible heat increment is $\delta Q_{\mathrm{rev}}=pdV=nRTdV/V$, soHere $R$ is the molar gas constant, and the logarithm acts on a dimensionless ratio. The reversible reference gives the correct endpoint entropy difference because entropy is a state function; putting the actual $Q=0$ into $\Delta S=Q/T$ would misuse a relation requiring reversible heat transfer. For the actual isolated gas, all this increase is entropy production. Thus an adiabatic process can increase entropy and need not be an isentropic process. ^[ref]

In the figure's volume doubling, the ideal gas law gives $p_1=99.768\mathrm{kPa}$ and $p_2=49.884\mathrm{kPa}$, while $\Delta S=R\ln 2\simeq 5.763\mathrm{J}{\mathrm{K}}^{-1}$. The reference process receives and delivers $nRT\ln 2\simeq 1728.85\mathrm{J}$ as heat and work; its thermal reservoir loses the same entropy that the gas gains. The actual free expansion has $Q_{\mathrm{in}}=W_{\mathrm{out}}=0$ and produces that entropy internally. Reversibly compressing the gas back at $300\mathrm{K}$ would require $1728.85\mathrm{J}$ of work input and rejection of equal heat. Restoring the gas alone therefore changes the surroundings: the actual release is irreversible.

For a real gas the final temperature may differ, so the ideal-gas logarithm formula cannot simply be copied. Evaluate $S(T_2,V_2)-S(T_1,V_1)$ using that gas's equilibrium properties or a suitable reversible comparison path. If the walls and water exchange heat with it, the Second law of thermodynamics constrains the total entropy of the isolated apparatus; the gas alone is then not an isolated system.

The entropy density of a photon gas is its entropy per physical volume, $s=S/V$. For homogeneous equilibrium vacuum radiation with two states of electromagnetic polarization and zero photon chemical potential,The first equality is the entropy density at zero chemical potential, obtained from the thermodynamic Euler relation $U=TS-pV+{\mu }_{\gamma }{N}_{\gamma }$ with internal energy $U=uV$. The second uses the photon gas equation of state, $u=a_R{T}^4$ and $p=u/3$. If an independently constrained photon number gives a nonzero chemical potential, the general entropy density is $(u+p-{\mu }_{\gamma }{n}_{\gamma })/T$ and $u=a_R{T}^4$ need not hold. This distinction explains why the absence of a conserved number matters for entropy as well as for the spectral shape. ^[ref]

A short first law of thermodynamics check, for neighboring equilibrium states with ${\mu }_{\gamma }=0$, isThe thermodynamic Euler relation fixes the additive normalization. Equivalently, this radiation entropy tends to zero with temperature at fixed volume; no contribution from the containing walls is included. Interpreting $TdS$ as transferred heat and $pdV$ as boundary work requires a reversible thermodynamic process. For a reversible thermodynamic process that is also an adiabatic process, there is no entropy production or entropy exchange, soAn irreversible adiabatic process can produce entropy even without heat exchange, so the word adiabatic alone is insufficient to infer $T^{3}V=\text{constant}$.

For an analytic example, expand an initially equilibrated photon gas reversibly from $V_0$ to $8V_0$, keeping only the same two photon states of electromagnetic polarization. Its temperature halves, its energy density becomes $u_0/16$, its entropy density of a photon gas becomes $s_0/8$, and its total entropy stays $S_0$. The internal energy halves rather than remaining fixed: the missing half leaves as work against radiation pressure,This is a stipulated reversible radiation model, not a report of a piston experiment. Maintaining a real cavity along this path requires controlling wall heat exchange and including the wall heat capacity in any actual apparatus balance.

For a computed scale at stipulated $T=2.725\mathrm{K}$, $s\simeq 2.04122\times 10^{-14}\mathrm{J}{\mathrm{K}}^{-1}{\mathrm{m}}^{-3}$. Combining this with the photon number density givesThis is the total equilibrium radiation entropy divided by its mean photon number, not a separately assigned entropy carried by each labeled particle. During the ideal expansion, $n_{\gamma }\propto T^3$ and $T^{3}V$ is fixed, so the mean number $N_{\gamma }=n_{\gamma }V$ also stays constant. This follows from the path; it was not imposed as the independent number constraint used to establish chemical potential.

The beautiful connection is that expansion lowers each typical photon energy and dilutes the radiation in just the proportions needed to retain its equilibrium spectral shape and total entropy. For the cosmic microwave background, homogeneous expansion of the universe has physical volume proportional to the cube of the scale factor; fixed-species cosmological entropy conservation therefore gives $T\propto a^{-1}$. This describes preservation of an already established Planck photon distribution and connects the FIRAS spectral observation in photon gas to an entropy prediction; FIRAS did not perform a direct entropy measurement. When other equilibrated species disappear and transfer energy into radiation, use the effective number of relativistic entropy degrees of freedom, $g_{\ast s}$: the conserved quantity for the combined sector is $g_{\ast s}{T}^{3}V$, under the corresponding equilibrium and no-entropy production assumptions. A changing species population, separate decoupled sectors or entropy production requires an appropriate entropy balance rather than the pure photon gas formula. ^[ref]

For the pressure-density Hugoniot relation for a perfect gas, the change in specific entropy is $[s]/c_v=\log P-\gamma \log D(P)$, with $c_v$ the specific heat capacity at constant volume. Its derivative isIt is positive for a compressive normal shock wave with $P>1$. For a weak shock with $P=1+\delta$, integrating the leading term givesThus the entropy production is cubic in the small pressure jump, even though the mass density and temperature changes already appear at first order.

Consider a finite-duration Markov process with discrete, time-even states coupled to one thermal reservoir at positive temperature $T$. Let $P_F[\gamma ]$ include the initial probability ${\rho }_0(x_0)$ of the sample trajectory $\gamma$. Define $P_R$ by reversing the control protocol and initializing it with the actual forward final probability distribution ${\rho }_{\tau }$. Write $\Theta \gamma$ for the same states visited in reverse time order. Require normalized path laws with matching probability support: a path has positive forward weight exactly when its reverse has positive reverse weight. This excludes irreversible forbidden transitions and missing initial states.

Under local detailed balance, with positive heat $Q_{\mathrm{bath}}$ delivered to the thermal reservoir, the full path-weight logarithm isThe endpoint term is the change in stochastic system entropy; the conditional path ratio alone accounts for the thermal reservoir. Here $k_B$ is the Boltzmann constant. Both terms matter even for a short observation. ^[ref]

Define the conjugate reverse functional by ${\Sigma }_R[\eta ]=\ln (P_R[\eta ]/P_F[\Theta \eta ])$, so ${\Sigma }_R[\Theta \gamma ]=-{\Sigma }_F[\gamma ]$. Summing the path identity over paths with a given value gives the exact finite fluctuation theoremfor nonzero denominator, using probability masses or corresponding probability density functions. This ${\Sigma }_R$ is defined by the paired laws: it need not be the total entropy production obtained by independently restarting the thermodynamic construction for the reverse experiment. A generic driven experiment therefore does not imply $p_F(s)/p_F(-s)=e^s$.

A fluctuation theorem compares the probability of a fluctuating sample trajectory with that of its reverse. Positive mean entropy production permits negative individual realizations: what is constrained is their relative probability, not a prohibition on every reversal. The finite statement below compares specified forward and reverse probability laws; replacing the reverse law by the forward law requires an additional symmetry. The biased-step entropy production model exhibits that symmetry exactly, while the Crooks fluctuation theorem compares two different driving protocols.

Choose a positive constant $\Sigma$ and the illustrative interface lawHere $T_h$ and $T_c$ are the hot and cold interface-side temperatures, not distant thermometer readings. This is a low-temperature phonon model under restrictive assumptions, not a universal fit to Kapitza's measured exponent or a material-property table. Its coefficient $\Sigma$ is not the Stefan-Boltzmann constant: the carriers in this model are phonons, rather than photons crossing a vacuum.

The fourth power has a simple counting explanation. In the three-dimensional low-temperature Debye model, a linear phonon dispersion relation gives a density of states proportional to ${\omega }^2$. A phonon has energy $\hslash \omega$ and Bose-Einstein distribution occupation $[\exp (\hslash \omega /k_{B}T)-1{]}^{-1}$. If propagation speeds and the angle-averaged transmission introduce no additional frequency scale over the occupied modes, the outgoing energy flux has the formExtending the upper integration limit assumes occupied modes lie well below the cutoff. Balancing the two outgoing fluxes, with coefficients satisfying zero net heat flux at equal temperatures, gives the chosen difference of fourth powers. Frequency-dependent transmission, different excitations or additional transport channels can change this conclusion.

The finite-drop area-specific thermal resistance follows by factoring a difference of powers:Near thermal equilibrium, write $T_h=T+\delta T$ and $T_c=T$. Expansion gives $q=4\Sigma T^3\delta T+O((\delta T{)}^2)$, so the differential area-specific Kapitza resistance isAt a finite bias, varying only the hot side gives $(\partial q/\partial T_h{)}^{-1}=1/(4\Sigma T_h^3)$; this is generally different from $r_{K,\sec }$. Stating what is held fixed makes a differential resistance reproducible.

For an original normalized example, choose reference scales $T_0>0$ and $A_0>0$, and setFor contact area $A=2A_0$, the total heat transfer rate is $\dot{Q}=2.1472A_0\Sigma T_0^4$. The finite-drop resistance satisfies $\Sigma T_0^3{r}_{K,\sec }=0.2/1.0736=125/671\approx 0.18629$. Using the equilibrium tangent at $T_0$ instead would predict $j=4(0.2)=0.8$, illustrating why a substantial temperature rise requires the nonlinear law. Doubling the common equilibrium temperature reduces $R_K$ by eight in this chosen model.

A series check can be done without guessing any material properties. Stipulate a hot-side slab with dimensionless areal bulk resistance $b_s=\Sigma T_0^3{L}_s/k_s=0.10$, and neglect the cold-side bulk drop. At the same $j=1.0736$, the hot reservoir must have $T_H/T_0=1.2+b_{s}j=1.30736$. The imposed reservoir drop splits into $0.10736$ in the bulk and $0.20$ at the interface. Applying the fourth-power law directly to $T_H$ would assign the bulk drop to the interface and overestimate the heat flux.

Finally, transfer heat at rate $Aq$ between maintained interface-side temperatures $T_h>T_c>0$. The hot side loses entropy at rate $Aq/T_h$, and the cold side gains it at rate $Aq/T_c$. With no interface entropy accumulation, the entropy production per unit area isFor the normalized example it is ${\dot{S}}_{\mathrm{prod}}/(A\Sigma T_0^3)=1.0736(1-1/1.2)=0.178933\dots$. The same energy crosses both sides in a steady state, while total entropy increases, consistently with the Second law of thermodynamics. A finite temperature jump during heat transfer therefore expresses dissipation, not a failure of energy conservation.

A heat engine uses a repeating thermodynamic cycle to turn part of an incoming heat transfer into net outgoing work. In the two-thermal reservoir model, the hot thermal reservoir supplies heat $Q_h>0$ at fixed temperature $T_h$, and the cold thermal reservoir receives heat of magnitude $Q_c>0$ at fixed temperature $T_c<T_h$. A Stirling engine makes the repeated motion visible; the abstract energy budget applies independently of its particular mechanism.^[ref]

Choose the entire cyclic device as a closed system, with no net change in bulk kinetic energy or potential energy. Count heat entering as positive and net work delivered as positive, as in the first law of thermodynamics. Thus $Q_h$ enters with a plus sign and $Q_c$, although a positive magnitude, enters with a minus sign. Assume these two heat transfers and the net work are the only transfers across the boundary. Over one complete thermodynamic cycle, all stored energy, including internal energy $U$, returns to its starting value:The device does not accumulate heat from cycle to cycle. More precisely, heat is a transfer, while internal energy is what can be stored; even a component that temporarily stores internal energy must return to its initial state for this boundary to be cyclic.^[ref]

For engine operation, $Q_h>Q_c$ and $W>0$. Its thermal efficiency isUse net work, after subtracting any work supplied during compression or required by auxiliaries included in the chosen device. For periodic operation, average power satisfies $P_{\mathrm{out}}={\dot{Q}}_h-{\dot{Q}}_c$ and $\eta =P_{\mathrm{out}}/{\dot{Q}}_h$, with the rates averaged over complete thermodynamic cycles.^[ref]

For a stipulated model at $T_h=600\mathrm{K}$ and $T_c=300\mathrm{K}$, let $Q_h=1000\mathrm{J}$ and $Q_c=600\mathrm{J}$ per thermodynamic cycle. Then $W=400\mathrm{J}$ and $\eta =2/5=40\%$. At two thermodynamic cycles per second, these become $2000\mathrm{W}$ incoming heat transfer, $1200\mathrm{W}$ outgoing heat transfer, and $800\mathrm{W}$ net power. These are constructed values, not measurements.

Different signs describe different tasks. With the same directions of heat transfer, $Q_h=Q_c$ gives $W=0$: a device transmitting heat without net work output. If $Q_c>Q_h$, net work is supplied to that device. A refrigerator or heat pump instead extracts heat from the cold side and delivers heat to the hot side, using positive input work $W_{\mathrm{in}}$ and the balance $Q_h=Q_c+W_{\mathrm{in}}$. Their useful output is heat transfer, measured by a coefficient of performance. Finally, a one-time isothermal expansion can have $Q=W$ and $\Delta U=0$ while leaving the volume changed: it is not a complete thermodynamic cycle. A warming device also fails the cyclic assumption, and a fuel-consuming device requires an accounting of matter crossing its boundary.

For two fixed thermal reservoirs at positive thermodynamic temperatures, the Second law of thermodynamics strengthens the energy balance toEquality requires the overall operation to be a reversible thermodynamic process, including its heat transfer to the thermal reservoirs. The Carnot cycle explains how the reversible benchmark is constructed, and Carnot's theorem explains its universality and the entropy production penalty. Use kelvin values, never ratios of degree Celsius readings. The example above lies below the $50\%$ bound: its total entropy production is $-1000/600+600/300=1/3\mathrm{J}{\mathrm{K}}^{-1}$ per thermodynamic cycle.

This is useful before building a machine: warmer cooling surroundings reduce the possible thermal efficiency, even if the mechanism is unchanged. A small observed thermal efficiency does not by itself test the Second law of thermodynamics; heat leaks, friction, incomplete recovery of work, and the measurement boundary can all reduce the reported ratio. A meaningful comparison requires the actual thermal reservoir temperatures, matched heat and net work measurements, and the hypotheses of Carnot's theorem. Finite bodies whose temperatures change are treated separately there.

The practical question already appears in the 1824 Réflexions sur la puissance motrice du feu et sur les machines propres à développer cette puissance by Sadi Carnot: pp. 6–8 ask whether machines driven by heat have a fundamental limit and whether changing the working substance can improve their output. Pages 9–11 describe heating and cooling in real machines, but use the historical caloric theory, rather than the modern first law of thermodynamics balance. The historical discussion under Carnot's theorem explains that distinction.