Clausius theorem
The Clausius theorem (1855) states that a system (heat engine or heat pump) exchanging heat with external reservoirs and undergoing a cyclic process, is one that ultimately returns a system to its original state,
Thermodynamics  

The classical Carnot heat engine  


 
where is the infinitesimal amount of heat absorbed by the system from the reservoir and is the temperature of the external reservoir (surroundings) at a particular instant in time.
If there are multiple reservoirs with different temperatures , then Clausius inequality reads:
In the special case of a reversible process, the equality holds.[1] The reversible case is used to introduce the entropy state function. This is because in a cyclic process the variation of a state function is zero. In other words, the Clausius statement states that it is impossible to construct a device whose sole effect is the transfer of heat from a cool reservoir to a hot reservoir.[2] Equivalently, heat spontaneously flows from a hot body to a cooler one, not the other way around.[3]
The generalized "inequality of Clausius"[4]
for an infinitesimal change in entropy S applies not only to cyclic processes, but to any process that occurs in a closed system.
History
The Clausius theorem is a mathematical explanation of the second law of thermodynamics. It was developed by Rudolf Clausius who intended to explain the relationship between the heat flow in a system and the entropy of the system and its surroundings. Clausius developed this in his efforts to explain entropy and define it quantitatively. In more direct terms, the theorem gives us a way to determine if a cyclical process is reversible or irreversible. The Clausius theorem provides a quantitative formula for understanding the second law.
Clausius was one of the first to work on the idea of entropy and is even responsible for giving it that name. What is now known as the Clausius theorem was first published in 1862 in Clausius' sixth memoir, "On the Application of the Theorem of the Equivalence of Transformations to Interior Work". Clausius sought to show a proportional relationship between entropy and the energy flow by heating (δQ) into a system. In a system, this heat energy can be transformed into work, and work can be transformed into heat through a cyclical process. Clausius writes that "The algebraic sum of all the transformations occurring in a cyclical process can only be less than zero, or, as an extreme case, equal to nothing." In other words, the equation
with 𝛿Q being energy flow into the system due to heating and T being absolute temperature of the body when that energy is absorbed, is found to be true for any process that is cyclical and reversible. Clausius then took this a step further and determined that the following relation must be found true for any cyclical process that is possible, reversible or not. This relation is the "Clausius inequality".
Now that this is known, there must be a relation developed between the Clausius inequality and entropy. The amount of entropy S added to the system during the cycle is defined as
It has been determined, as stated in the second law of thermodynamics, that the entropy is a state function: It depends only upon the state that the system is in, and not what path the system took to get there. This is in contrast to the amount of energy added as heat (𝛿Q) and as work (𝛿W), which may vary depending on the path. In a cyclic process, therefore, the entropy of the system at the beginning of the cycle must equal the entropy at the end of the cycle, , regardless of whether the process is reversible or irreversible. In the irreversible case, entropy will be created in the system, and more entropy must be extracted than was added in order to return the system to its original state. In the reversible case, no entropy is created and the amount of entropy added is equal to the amount extracted.
If the amount of energy added by heating can be measured during the process, and the temperature can be measured during the process, the Clausius inequality can be used to determine whether the process is reversible or irreversible by carrying out the integration in the Clausius inequality.
Proof
The temperature that enters in the denominator of the integrand in the Clausius inequality is actually the temperature of the external reservoir with which the system exchanges heat. At each instant of the process, the system is in contact with an external reservoir.
Because of the Second Law of Thermodynamics, in each infinitesimal heat exchange process between the system and the reservoir, the net change in entropy of the "universe", so to say, is .
When the system takes in heat by an infinitesimal amount (), for the net change in entropy in this step to be positive, the temperature of the "hot" reservoir needs to be slightly greater than the temperature of the system at that instant. If the temperature of the system is given by at that instant, then , and forces us to have:
This means the magnitude of the entropy "loss" from the reservoir, is less than the magnitude of the entropy gain () by the system:
Similarly, when the system at temperature expels heat in magnitude () into a colder reservoir (at temperature ) in an infinitesimal step, then again, for the Second Law of Thermodynamics to hold, we would have, in an exactly similar manner:
Here, the amount of heat 'absorbed' by the system is given by (), signifying that heat is transferring from the system to the reservoir, with . The magnitude of the entropy gained by the reservoir, is greater than the magnitude of the entropy loss of the system
Since the total change in entropy for the system is 0 in a cyclic process, if we add all the infinitesimal steps of heat intake and heat expulsion from the reservoir, signified by the previous two equations, with the temperature of the reservoir at each instant given by , we would have,
In particular.
Hence, we proved the Clausius Theorem.
We summarize the following, (the inequality in the third statement below, being obviously guaranteed by the second law of thermodynamics,which is the basis of our calculation),
 (as hypothesized)
For a reversible cyclic process, there is no generation of entropy in each of the infinitesimal heat transfer processes, and thus we would have the equality
Thus, the Clausius inequality is a consequence of applying the second law of thermodynamics at each infinitesimal stage of heat transfer, and is thus in a sense a weaker condition than the Second Law itself.
See also
References
 Clausius theorem at Wolfram Research
 Finn, Colin B. P. Thermal Physics. 2nd ed., CRC Press, 1993.
 Giancoli, Douglas C. Physics: Principles with Applications. 6th ed., Pearson/Prentice Hall, 2005.
 Mortimer, R. G. Physical Chemistry. 3rd ed., p. 120, Academic Press, 2008.
Further reading
 Morton, A. S., and P.J. Beckett. Basic Thermodynamics. New York: Philosophical Library Inc., 1969. Print.
 Saad, Michel A. Thermodynamics for Engineers. Englewood Cliffs: PrenticeHall, 1966. Print.
 Hsieh, Jui Sheng. Principles of Thermodynamics. Washington, D.C.: Scripta Book Company, 1975. Print.
 Zemansky, Mark W. Heat and Thermodynamics. 4th ed. New York: McGwawHill Book Company, 1957. Print.
 Clausius, Rudolf. The Mechanical Theory of Heat. London: Taylor and Francis, 1867. eBook
External links
 Judith McGovern (20040317). "Proof of Clausius's theorem". Archived from the original on July 19, 2011. Retrieved October 4, 2010.
 "The Clausius Inequality And The Mathematical Statement Of The Second Law" (PDF). Retrieved October 5, 2010.
 The Mechanical Theory of Heat (eBook). Retrieved December 1, 2011.