The Clausius Inequality
The Clausius inequality places a hard constraint on what cyclic processes can and cannot do: the integral of heat transfer divided by temperature around any cycle is always less than or equal to zero. This result is one of the most powerful mathematical expressions of the second law, and it's the foundation for defining entropy as a thermodynamic property.
Understanding this inequality helps you see why real engines always fall short of ideal performance, why perpetual motion machines of the second kind are impossible, and how irreversibility shows up quantitatively in any cyclic device.
Clausius Inequality and Its Significance
For any system undergoing a cyclic process, the Clausius inequality states:
Here, is the differential heat transfer at the system boundary, and is the absolute temperature of the boundary where that heat transfer occurs. The circle on the integral sign means you're evaluating this over one complete cycle, returning the system to its initial state.
Why does this matter? It's a mathematical form of the second law of thermodynamics. It establishes that:
- There's a definite direction to heat transfer in cyclic processes
- Every real cyclic device (steam turbines, gas turbines, refrigeration systems) has fundamental performance limits it cannot exceed
- The inequality applies universally to both reversible and irreversible cycles
Note the use of rather than . Heat is a path function, not a property, so is an inexact differential. This distinction matters when you're setting up the integral.

Reversible vs. Irreversible Cycles
The Clausius inequality splits into two cases depending on the nature of the cycle:
- Reversible cycle:
- Irreversible cycle:
The reversible case (equality) is what allows entropy to be defined as a property. Since the cyclic integral equals zero for a reversible process, the quantity depends only on the end states, not the path. That's exactly the requirement for a thermodynamic property, and it's how Clausius defined entropy: .
The irreversible case (strict inequality) tells you something quantitative about real processes. The more negative the cyclic integral becomes, the greater the irreversibilities present in the cycle (friction, unrestrained expansion, heat transfer across finite temperature differences, mixing, etc.).
In a typical power cycle, heat flows from a high-temperature source (like a combustion chamber at ) to a low-temperature sink (like a condenser rejecting heat to the atmosphere at ). The inequality captures the fact that you always lose some capacity to do work whenever irreversibilities are present.

Relationship to the Second Law
The Clausius inequality is the second law expressed in integral form. It reinforces two classic statements:
- Clausius statement: Heat cannot spontaneously flow from a cold body to a hot body without external work input. If it could, you'd be able to violate the inequality.
- Kelvin-Planck statement: No heat engine operating in a cycle can convert all the heat it receives into work. Some heat must always be rejected to a low-temperature reservoir.
Both of these follow directly from . If you assume either statement is violated and work through the math, you'll find the inequality is violated too.
Implications for Thermal Efficiency
The Clausius inequality sets an upper bound on heat engine efficiency and a corresponding bound on refrigerator performance.
For heat engines:
The thermal efficiency of any real engine operating between reservoirs at and is always less than the Carnot efficiency:
For example, a power plant operating between a steam temperature of 800 K and a condenser temperature of 300 K has a maximum possible efficiency of , or 62.5%. The actual efficiency will always be lower due to irreversibilities in the real cycle.
For refrigerators and heat pumps:
The coefficient of performance (COP) of any real refrigerator is always less than the Carnot COP:
A refrigerator maintaining 255 K (about ) in a 295 K room has a maximum COP of . Any real unit will fall below this.
The key takeaway: the Clausius inequality proves that no real device can match the performance of a reversible (Carnot) device operating between the same temperature limits. Irreversibilities always degrade performance, and this inequality is how you quantify that degradation.