This is an obvious conflict but was ignored for a long time.
By Clausius’ inequality we have \oint {dQ/T}≤0, and by the theory of exact differential we have \oint (dS)=0. Hence the conclusion that dS=dQ/T is an exact differential cannot be proven in mathematics.
As the state function change must be independent of the path taken, the definition of the state function must be path-independent; this is a fundamental principle of exact differential. However, as an only exception, Clausius’ definition dS=dQ/T does not conform this fundamental principle because the restriction to reversible processes must be attached.
In thermodynamics, the very fact is that the exact differential dS itself never need to attach with the restriction to reversible processes, except only for Clausius’ definition dS=dQ/T. This shows that an additional restriction to reversible processes is not an essential requirement for the definition of entropy, and thermodynamics itself has already contained such a conclusion.
From non- equilibrium thermodynamics, we have dS=deS+diS, and in this opinion, dQ/T is really the entropy flux deS, it means that Clausius’ definition does not contain diS. Assuming an additional restriction to reversible processes is just in order for that diS=0. In this case, dS=dQ/T is actually the partial differential deS=dQ/T. By the inequality dS(= deS+diS)≥dQ/T (=deS), when dS >dQ/T, then what is dS? The total differential dS had not been established.
In my opinion, dQ/T is only the entropy of dQ but not the definition the state function S. A perfect definition of the state function S should and must conform the fundamental principle of exact differential; it must be a total differential! In Clausius’ approach, the total differentials of entropy and the second law (or the total entropy production) both are not established.
Thus, I think, Clausius’ definition should be revised; I understand that many will question this idea because it sounds incredible.
Before you argue with me, I recommend that you consider such questions:
1) Clausius’ definition cannot be proven in mathematics but can only be established basing on imaginary heat engine cycles. Why ?
2) Why Clausius’ definition be an only exception?
3) Thermodynamics itself has already contained some implicit corrections.
Reference please see
https://www.researchgate.net/publication/236983852_arXiv1201.4284v4
Data Internal Heat Energy, Entropy and The Second Law: A New Pers...