{"id":1689,"date":"2022-03-25T23:30:00","date_gmt":"2022-03-26T03:30:00","guid":{"rendered":"http:\/\/underthehood.blogwyrm.com\/?p=1689"},"modified":"2022-07-28T06:28:23","modified_gmt":"2022-07-28T10:28:23","slug":"entropy-and-the-clausius-inequality","status":"publish","type":"post","link":"https:\/\/underthehood.blogwyrm.com\/?p=1689","title":{"rendered":"Entropy and The Clausius Inequality"},"content":{"rendered":"\n<p>Over the past three posts, we\u2019ve laid the groundwork for the mathematical formulation of entropy.&nbsp; The logic started with two separate but equivalent formulations of the second law:&nbsp; Kelvin\u2019s postulate and Clausius\u2019 postulate.&nbsp; Both postulates summarize some aspect of those processes that never occur even though the first law (conservation of energy) doesn\u2019t forbid them.&nbsp; The Kelvin postulate says that we can never use a cyclic process to convert any energy extracted as heat from a reservoir into work.&nbsp; Likewise, the Clausius postulate says that we can\u2019t use a cyclic process to make energy flow from a colder system to a warmer one without expending some energy in the form of work during the process.&nbsp; The Carnot cycle is integral in proving that these two postulates are different facets of the same second law, which colloquially has often been characterized as saying that there is no such thing as a free lunch.<\/p>\n\n\n\n<p>The Carnot cycle has additional responsibilities as a central player in our thermodynamic drama.&nbsp; It\u2019s reversible legs of adiabatic expansion and compression punctuated by isothermal counterparts sets a limit on the efficiency of any engine (Kelvin) or refrigerator (Clausius).&nbsp; So, it shouldn\u2019t be a surprise that it still has additional roles it needs to play.&nbsp; One such role, which was touched on in the post entitled <a href=\"http:\/\/underthehood.blogwyrm.com\/?p=1640\">Carnot Cycle<\/a>, is as the basic \u2018atom\u2019 that can used to decompose more complicated cycles.<\/p>\n\n\n\n<div class=\"wp-block-image\"><figure class=\"aligncenter size-large is-resized\"><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/underthehood.blogwyrm.com\/wp-content\/uploads\/2022\/01\/Arbitrary_Carnots_All_the_Way_Down.png\" alt=\"\" class=\"wp-image-1642\" width=\"429\" height=\"409\" srcset=\"https:\/\/underthehood.blogwyrm.com\/wp-content\/uploads\/2022\/01\/Arbitrary_Carnots_All_the_Way_Down.png 857w, https:\/\/underthehood.blogwyrm.com\/wp-content\/uploads\/2022\/01\/Arbitrary_Carnots_All_the_Way_Down-300x286.png 300w, https:\/\/underthehood.blogwyrm.com\/wp-content\/uploads\/2022\/01\/Arbitrary_Carnots_All_the_Way_Down-768x732.png 768w, https:\/\/underthehood.blogwyrm.com\/wp-content\/uploads\/2022\/01\/Arbitrary_Carnots_All_the_Way_Down-810x772.png 810w\" sizes=\"auto, (max-width: 429px) 100vw, 429px\" \/><\/figure><\/div>\n\n\n\n<p>We are going to use this property to prove two things: 1) the Clausius inequality that further defines the role that entropy plays in descriptions of the second law and 2) that entropy is a state variable.&nbsp;<\/p>\n\n\n\n<p>The arguments presented here closely follow those found in Enrico Fermi\u2019s <em>Thermodynamics<\/em> supplemented with ideas from Ashley Carter\u2019s <em>Classical and Statistical Thermodynamics<\/em>.<\/p>\n\n\n\n<p>We start by imaging a cyclic process in which a system interacts with $N$ thermal reservoirs at temperatures $T_1, T_2, \\ldots, T_N$.&nbsp; In some of these interactions the system&#8217;s temperature $T_S$, which varies throughout the cycle, will be higher than the reservoir temperature and the system will deliver heat in the amount $Q_i$ to the reservoir. In others, $T_S &lt; T_i$ and the system will absorb heat in the amount $Q_i$ from the reservoir. &nbsp;The quantities $Q_i$ will be negative when the energy flows out of the system and positive when energy flows in.<\/p>\n\n\n\n<p>The Carnot decomposition begins by imaging another thermal reservoir, called the base, with temperature $T_0$, which, without loss of generality, is taken to higher than any other temperature in the problem.&nbsp; At each stage of the system cycle, we place a Carnot cycle into contact with the $i^{th}$ reservoir and the base.&nbsp; If the system absorbs heat from the $i^{th}$ reservoir we run the Carnot cycle as an engine extracting work $W_i$ from the energy transfer from the base to the $i^{th}$ reservoir.&nbsp; The following figure shows an example of this type of interaction.<\/p>\n\n\n\n<div class=\"wp-block-image\"><figure class=\"aligncenter size-large is-resized\"><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/underthehood.blogwyrm.com\/wp-content\/uploads\/2022\/04\/UTH_03Mar_Stage1.png\" alt=\"\" class=\"wp-image-1727\" width=\"353\" height=\"505\" srcset=\"https:\/\/underthehood.blogwyrm.com\/wp-content\/uploads\/2022\/04\/UTH_03Mar_Stage1.png 598w, https:\/\/underthehood.blogwyrm.com\/wp-content\/uploads\/2022\/04\/UTH_03Mar_Stage1-209x300.png 209w\" sizes=\"auto, (max-width: 353px) 100vw, 353px\" \/><\/figure><\/div>\n\n\n\n<p>When the system delivers heat to the $i^{th}$ reservoir we run the Carnot cycle as a refrigerator consuming some work $W_i$ to extract the same amount of heat from the reservoir and dump it (and excess heat) into the base.<\/p>\n\n\n\n<p>The following animation shows three turns through what we dub the Fermi Cycle in which our system interacts with 6 reservoirs.&nbsp; Blue-shaded reservoirs have temperatures lower than the system temperature at the time of the interaction while yellow-shaded ones have higher temperatures.<\/p>\n\n\n\n<figure class=\"wp-block-video\"><video controls src=\"http:\/\/underthehood.blogwyrm.com\/wp-content\/uploads\/2022\/03\/UTH_03Mar_Entropy.mp4\"><\/video><\/figure>\n\n\n\n<p>By coupling a Carnot cycle to each stage of the interaction, we can relate the heat absorbed or delivered by the system to the heat exchanged between the base and the various reservoirs by<\/p>\n\n\n\n<p>\\[ Q_{0,i} = -\\frac{T_0}{T_i} Q_i \\; ,\\]<\/p>\n\n\n\n<p>which is just a relabeling of a relation<\/p>\n\n\n\n<p>\\[ \\frac{Q_H}{T_H}&nbsp; = \\frac{-Q_L}{T_L} \\; ,\\]<\/p>\n\n\n\n<p>derived in the previous post.<\/p>\n\n\n\n<p>The total heat transferred from the base is<\/p>\n\n\n\n<p>\\[ Q_0 = \\sum_{i=1}^N -\\frac{T_0}{T_i} Q_i = &#8211; T_0 \\sum_{i=1}^N \\frac{Q_i}{T_i} \\; . \\]<\/p>\n\n\n\n<p>Despite the overall minus sign, it isn\u2019t immediately clear whether $Q_0$ is positive, negative, or zero since the $Q_i$\u2019s can be of any sign.&nbsp; This ambiguity dissolves when we realize that in a full turn through the Fermi cycle, the original system, the helper Carnot cycles, and the individual reservoirs, which collectively can be taken as a \u2018black box\u2019 engine, in and of itself, have returned to its initial state.&nbsp; By the first law, the change in this black box\u2019s internal energy is zero and so the heat exchanged (in or out) has to be equal to the work performed (done by or done to) by the base.&nbsp; By Kelvin\u2019s postulate, it is impossible to extract work from the base so the work has to be zero or negative and so we conclude that $Q_0$ is zero and negative as well, leading us to Clausius\u2019 inequality<\/p>\n\n\n\n<p>\\[ \\sum_{i} \\frac{Q_i}{T_i} \\leq 0 \\; .\\]<\/p>\n\n\n\n<p>Before pushing this expression farther, it is instructive to reflect on the physical content of the previous argument.&nbsp; The fact that the work is negative in a complex irreversible engine reflects the engine\u2019s need for a power source to run and the fact that the heat is also negative (since $Q=W$) reflects that such an engine creates heat that it dumps to the environment as a byproduct.&nbsp; Each automobile engine testifies to this.&nbsp;<\/p>\n\n\n\n<p>Only when the engine is truly reversible can we get equality with zero.&nbsp; This is seen from the fact that if the process is reversible then, upon running the cycle in the opposite direction, all the heat values become negative and so the heat moved from the based in the reversed process is<\/p>\n\n\n\n<p>\\[ Q_{0,r} = &#8211; T_0 \\sum{i} \\frac{-Q_i}{T_i} = T_0 \\sum_{i} \\frac{Q_i}{T_i} = &#8211; Q_0 \\; .\\]<\/p>\n\n\n\n<p>But $Q_{0,r}$ must also obey the Clausius inequality and we conclude $Q_{0,r} = Q_{0} = 0$.<\/p>\n\n\n\n<p>While Clausius\u2019 inequality was derived for a discrete set of reservoirs we can imagine transitioning to a continuum as the number is increased without bound but with each exchange shrinking in size.&nbsp; We \u2018loosely\u2019 summarize this as<\/p>\n\n\n\n<p>\\[ \\oint \\frac{{\\tilde d} Q}{T} \\leq 0 \u00a0\\leftrightarrow \\sum_{i} \\frac{Q_i}{T_i} \\leq 0 \\; , \\]<\/p>\n\n\n\n<p>where the equality is satisfied for reversible processes. Note that the reasons for the tilde on the $d$ within the integral are due to the fact that the heat is not an exact differential.<\/p>\n\n\n\n<p>The final point to note is define the differential entropy of a system as<\/p>\n\n\n\n<p>\\[ dS \\equiv \\frac{{\\tilde d} Q}{T} \\; .\\]<\/p>\n\n\n\n<p>So defined, the entropy is a state variable since any two states, visualized, for example, as points in the $p-V$ can have a value for the change $\\Delta S$ unambiguously defined for any reversible process connecting them.&nbsp; The entropy is path independent, otherwise a trip through the cycle would result in zero, and thus, is an exact differential.&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Over the past three posts, we\u2019ve laid the groundwork for the mathematical formulation of entropy.&nbsp; The logic started with two separate but equivalent formulations of the second law:&nbsp; Kelvin\u2019s postulate&#8230; <a class=\"read-more-button\" href=\"https:\/\/underthehood.blogwyrm.com\/?p=1689\">Read more &gt;<\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-1689","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/underthehood.blogwyrm.com\/index.php?rest_route=\/wp\/v2\/posts\/1689","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/underthehood.blogwyrm.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/underthehood.blogwyrm.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/underthehood.blogwyrm.com\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/underthehood.blogwyrm.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1689"}],"version-history":[{"count":17,"href":"https:\/\/underthehood.blogwyrm.com\/index.php?rest_route=\/wp\/v2\/posts\/1689\/revisions"}],"predecessor-version":[{"id":1775,"href":"https:\/\/underthehood.blogwyrm.com\/index.php?rest_route=\/wp\/v2\/posts\/1689\/revisions\/1775"}],"wp:attachment":[{"href":"https:\/\/underthehood.blogwyrm.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1689"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/underthehood.blogwyrm.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1689"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/underthehood.blogwyrm.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1689"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}