<?xml version="1.0" encoding="UTF-8" standalone="yes"?><oembed><version><![CDATA[1.0]]></version><provider_name><![CDATA[Azimuth]]></provider_name><provider_url><![CDATA[https://johncarlosbaez.wordpress.com]]></provider_url><author_name><![CDATA[John Baez]]></author_name><author_url><![CDATA[https://johncarlosbaez.wordpress.com/author/johncarlosbaez/]]></author_url><title><![CDATA[Entropic Forces]]></title><type><![CDATA[link]]></type><html><![CDATA[<p>&nbsp;</p>
<div align="center"><img src="https://i2.wp.com/math.ucr.edu/home/baez/warning_high_entropy_area.png" alt="" /></div>
<p>In 2009, Erik Verlinde argued that gravity is an entropic force. This created a <a href="http://en.wikipedia.org/wiki/Entropic_gravity#Erik_Verlinde.27s_theory">big stir</a>&#8212;and it helped him win about <a href="http://www.math.columbia.edu/~woit/wordpress/?p=3781">$6,500,000 in prize money and grants!</a>  But what the heck is an &#8216;entropic force&#8217;, anyway?  </p>
<p>Entropic forces are nothing unusual: you&#8217;ve felt one if you&#8217;ve ever stretched a rubber band.  Why does a rubber band pull back when you stretch it?  You might think it&#8217;s because a stretched rubber band has <i>more energy</i> than an unstretched one.  That would indeed be a fine explanation for a metal spring.  But rubber doesn&#8217;t work that way.  Instead, a stretched rubber band mainly has <i>less entropy</i> than an unstretched one&#8212;and this too can cause a force.</p>
<p>You see, molecules of rubber are like long chains.  When unstretched, these chains can curl up in lots of random wiggly ways.  &#8216;Lots of random ways&#8217; means lots of entropy.  But when you stretch one of these chains, the number of ways it can be shaped decreases, until it&#8217;s pulled taut and there&#8217;s just one way!   Only past that point does stretching the molecule take a lot of energy; before that, you&#8217;re mainly decreasing its entropy.  </p>
<p>So, the force of a stretched rubber band is an entropic force.</p>
<p>But how can changes in either energy or entropy give rise to forces?  That&#8217;s what I want to explain.  But instead of talking about force, I&#8217;ll start out talking about pressure.  This too arises both from changes in energy and changes in entropy.</p>
<h3>Entropic pressure &#8212; a sloppy derivation </h3>
<p>If you&#8217;ve ever studied thermodynamics you&#8217;ve probably heard about an <a href="http://en.wikipedia.org/wiki/Ideal_gas">ideal gas</a>.  You can think of this as a gas consisting of point particles that almost never collide with each other&#8212;because they&#8217;re just points&#8212;and bounce elastically off the walls of the container they&#8217;re in.  If you have a box of gas like this, it&#8217;ll push on the walls with some pressure.  But the cause of this pressure is <i>not</i> that slowly making the box smaller increases the energy of the gas inside: in fact, it doesn&#8217;t!  The cause is that making the box smaller decreases the <i>entropy</i> of the gas.</p>
<p>To understand how pressure has an &#8216;energetic&#8217; part and an &#8216;entropic&#8217; part, let&#8217;s start with the basic equation of thermodynamics:</p>
<p><img src='https://s0.wp.com/latex.php?latex=d+U+%3D+T+d+S+-+P+d+V&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='d U = T d S - P d V' title='d U = T d S - P d V' class='latex' /></p>
<p>What does this mean?  It means the internal energy <img src='https://s0.wp.com/latex.php?latex=U&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='U' title='U' class='latex' /> of a box of stuff changes when you heat or cool it, meaning that you change its entropy <img src='https://s0.wp.com/latex.php?latex=S%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='S,' title='S,' class='latex' /> but also when you shrink or expand it, meaning that you change its volume <img src='https://s0.wp.com/latex.php?latex=V.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='V.' title='V.' class='latex' />  Increasing its entropy raises its internal energy at a rate proportional to its temperature <img src='https://s0.wp.com/latex.php?latex=T.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='T.' title='T.' class='latex' />  Increasing its volume lowers its internal energy at a rate proportional to its pressure <img src='https://s0.wp.com/latex.php?latex=P.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='P.' title='P.' class='latex' /></p>
<p>We can already see that both changes in energy, <img src='https://s0.wp.com/latex.php?latex=U%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='U,' title='U,' class='latex' /> and entropy, <img src='https://s0.wp.com/latex.php?latex=S%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='S,' title='S,' class='latex' /> can affect <img src='https://s0.wp.com/latex.php?latex=P+d+V.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='P d V.' title='P d V.' class='latex' />  Pressure is like force&#8212;indeed it&#8217;s just force per area&#8212;so we should try to solve for <img src='https://s0.wp.com/latex.php?latex=P.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='P.' title='P.' class='latex' />  </p>
<p>First let&#8217;s do it in a sloppy way.  One reason people don&#8217;t like thermodynamics is that they don&#8217;t understand partial derivatives when there are lots different coordinate systems floating around&#8212;which is what thermodynamics is all about!   So, they manipulate these partial derivatives sloppily, feeling a sense of guilt and unease, and sometimes it works, but other times it fails disastrously.  The cure is <i>not</i> to learn more thermodynamics; the cure is to learn about <a href="http://en.wikipedia.org/wiki/Differential_form">differential forms</a>.  All the expressions in the basic equation <img src='https://s0.wp.com/latex.php?latex=d+U+%3D+T+d+S+-+P+d+V&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='d U = T d S - P d V' title='d U = T d S - P d V' class='latex' /> are differential forms.  If you learn what they are and how to work with them, you&#8217;ll never get in trouble with partial derivatives in thermodynamics&#8212;as long as you proceed slowly and carefully.</p>
<p>But let&#8217;s act like we don&#8217;t know this!  Let&#8217;s start with the basic equation</p>
<p><img src='https://s0.wp.com/latex.php?latex=d+U+%3D+T+d+S+-+P+d+V&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='d U = T d S - P d V' title='d U = T d S - P d V' class='latex' /></p>
<p>and solve for <img src='https://s0.wp.com/latex.php?latex=P.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='P.' title='P.' class='latex' />  First we get</p>
<p><img src='https://s0.wp.com/latex.php?latex=P+d+V+%3D+T+d+S+-+d+U+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='P d V = T d S - d U ' title='P d V = T d S - d U ' class='latex' /></p>
<p>This is fine.  Then we divide by <img src='https://s0.wp.com/latex.php?latex=d+V&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='d V' title='d V' class='latex' /> and get</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+P+%3D+T+%5Cfrac%7Bd+S%7D%7Bd+V%7D+-+%5Cfrac%7Bd+U%7D%7Bd+V%7D+%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ P = T &#92;frac{d S}{d V} - &#92;frac{d U}{d V} }' title='&#92;displaystyle{ P = T &#92;frac{d S}{d V} - &#92;frac{d U}{d V} }' class='latex' /></p>
<p>This is not so fine: here the guilt starts to set in.  After all, we&#8217;ve been told that we need to use &#8216;partial derivatives&#8217; when we have functions of several variables&#8212;and the main fact about partial derivatives, the one that everybody remembers, is that these are written with with curly d&#8217;s, not ordinary letter d&#8217;s.  So we must have done something wrong.  So, we make the d&#8217;s curly:</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+P+%3D+T+%5Cfrac%7B%5Cpartial+S%7D%7B%5Cpartial+V%7D+-+%5Cfrac%7B%5Cpartial+U%7D%7B%5Cpartial+V%7D+%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ P = T &#92;frac{&#92;partial S}{&#92;partial V} - &#92;frac{&#92;partial U}{&#92;partial V} }' title='&#92;displaystyle{ P = T &#92;frac{&#92;partial S}{&#92;partial V} - &#92;frac{&#92;partial U}{&#92;partial V} }' class='latex' /></p>
<p>But we still feel guilty.  First of all, who gave us the right to make those d&#8217;s curly?  Second of all, a partial derivative like <img src='https://s0.wp.com/latex.php?latex=%5Cfrac%7B%5Cpartial+S%7D%7B%5Cpartial+V%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;frac{&#92;partial S}{&#92;partial V}' title='&#92;frac{&#92;partial S}{&#92;partial V}' class='latex' /> makes no sense unless <img src='https://s0.wp.com/latex.php?latex=V&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='V' title='V' class='latex' /> is one of a set of coordinate functions: only then we can talk about how much some function changes as we change <img src='https://s0.wp.com/latex.php?latex=V&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='V' title='V' class='latex' /> <i>while keeping the other coordinates fixed</i>.  The value of <img src='https://s0.wp.com/latex.php?latex=%5Cfrac%7B%5Cpartial+S%7D%7B%5Cpartial+V%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;frac{&#92;partial S}{&#92;partial V}' title='&#92;frac{&#92;partial S}{&#92;partial V}' class='latex' /> actually depends on what other coordinates we&#8217;re keeping fixed! So what coordinates are we using?</p>
<p>Well, it seems like one of them is <img src='https://s0.wp.com/latex.php?latex=V%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='V,' title='V,' class='latex' /> and the other is&#8230; we don&#8217;t know!  It could be <img src='https://s0.wp.com/latex.php?latex=S%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='S,' title='S,' class='latex' /> or <img src='https://s0.wp.com/latex.php?latex=P%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='P,' title='P,' class='latex' /> or <img src='https://s0.wp.com/latex.php?latex=T%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='T,' title='T,' class='latex' /> or perhaps even <img src='https://s0.wp.com/latex.php?latex=P.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='P.' title='P.' class='latex' />  This is where real unease sets in.  If we&#8217;re taking a test, we might in desperation think something like this: &#8220;Since the easiest things to control about our box of stuff are its volume and its temperature, let&#8217;s take these as our coordinates!&#8221;  And then we might write</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+P+%3D+T+%5Cleft.%5Cfrac%7B%5Cpartial+S%7D%7B%5Cpartial+V%7D%5Cright%7C_T+-+%5Cleft.%5Cfrac%7B%5Cpartial+U%7D%7B%5Cpartial+V%7D%5Cright%7C_T+%7D+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ P = T &#92;left.&#92;frac{&#92;partial S}{&#92;partial V}&#92;right|_T - &#92;left.&#92;frac{&#92;partial U}{&#92;partial V}&#92;right|_T } ' title='&#92;displaystyle{ P = T &#92;left.&#92;frac{&#92;partial S}{&#92;partial V}&#92;right|_T - &#92;left.&#92;frac{&#92;partial U}{&#92;partial V}&#92;right|_T } ' class='latex' /></p>
<p>And then we might do okay on this problem, because this formula is in fact <i>correct!</i>  But I hope you agree that this is an unsatisfactory way to manipulate partial derivatives: we&#8217;re shooting in the dark and hoping for luck.</p>
<h4> Entropic pressure and entropic force </h4>
<p>So, I want to show you a better way to get this result.  But first let&#8217;s take a break and think about what it means.   It means there are two possible reasons a box of gas may push back with pressure as we try to squeeze it smaller while keeping its temperature constant.  One is that the energy may go up:</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+-%5Cleft.%5Cfrac%7B%5Cpartial+U%7D%7B%5Cpartial+V%7D%5Cright%7C_T+%7D+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ -&#92;left.&#92;frac{&#92;partial U}{&#92;partial V}&#92;right|_T } ' title='&#92;displaystyle{ -&#92;left.&#92;frac{&#92;partial U}{&#92;partial V}&#92;right|_T } ' class='latex' /></p>
<p>will be positive if the internal energy goes up as we squeeze the box smaller.  But the other reason is that entropy may go down:</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B++T+%5Cleft.%5Cfrac%7B%5Cpartial+S%7D%7B%5Cpartial+V%7D%5Cright%7C_T+%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{  T &#92;left.&#92;frac{&#92;partial S}{&#92;partial V}&#92;right|_T }' title='&#92;displaystyle{  T &#92;left.&#92;frac{&#92;partial S}{&#92;partial V}&#92;right|_T }' class='latex' /></p>
<p>will be positive if the entropy goes down as we squeeze the box smaller, assuming <img src='https://s0.wp.com/latex.php?latex=T+%3E+0.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='T &gt; 0.' title='T &gt; 0.' class='latex' />  </p>
<p>Let&#8217;s turn this fact into a result about force.  Remember that pressure is just force per area.  Say we have some stuff in a cylinder with a piston on top.  Say the the position of the piston is given by some coordinate <img src='https://s0.wp.com/latex.php?latex=x%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='x,' title='x,' class='latex' /> and its area is <img src='https://s0.wp.com/latex.php?latex=A.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='A.' title='A.' class='latex' />  Then the stuff will push on the piston with a force</p>
<p><img src='https://s0.wp.com/latex.php?latex=F+%3D+P+A&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='F = P A' title='F = P A' class='latex' /></p>
<p>and the change in the cylinder&#8217;s volume as the piston moves is</p>
<p><img src='https://s0.wp.com/latex.php?latex=d+V+%3D+A+d+x&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='d V = A d x' title='d V = A d x' class='latex' />  </p>
<p>Then </p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B++P+%3D+T+%5Cleft.%5Cfrac%7B%5Cpartial+S%7D%7B%5Cpartial+V%7D%5Cright%7C_T+-+%5Cleft.%5Cfrac%7B%5Cpartial+U%7D%7B%5Cpartial+V%7D%5Cright%7C_T+%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{  P = T &#92;left.&#92;frac{&#92;partial S}{&#92;partial V}&#92;right|_T - &#92;left.&#92;frac{&#92;partial U}{&#92;partial V}&#92;right|_T }' title='&#92;displaystyle{  P = T &#92;left.&#92;frac{&#92;partial S}{&#92;partial V}&#92;right|_T - &#92;left.&#92;frac{&#92;partial U}{&#92;partial V}&#92;right|_T }' class='latex' /></p>
<p>gives us</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+F+%3D+T+%5Cleft.%5Cfrac%7B%5Cpartial+S%7D%7B%5Cpartial+x%7D%5Cright%7C_T+-+%5Cleft.%5Cfrac%7B%5Cpartial+U%7D%7B%5Cpartial+x%7D%5Cright%7C_T+%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ F = T &#92;left.&#92;frac{&#92;partial S}{&#92;partial x}&#92;right|_T - &#92;left.&#92;frac{&#92;partial U}{&#92;partial x}&#92;right|_T }' title='&#92;displaystyle{ F = T &#92;left.&#92;frac{&#92;partial S}{&#92;partial x}&#92;right|_T - &#92;left.&#92;frac{&#92;partial U}{&#92;partial x}&#92;right|_T }' class='latex' /></p>
<p>So, the force consists of two parts: the <b>energetic force</b></p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+F_%7B%5Cmathrm%7Benergetic%7D%7D+%3D+-+%5Cleft.%5Cfrac%7B%5Cpartial+U%7D%7B%5Cpartial+x%7D%5Cright%7C_T+%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ F_{&#92;mathrm{energetic}} = - &#92;left.&#92;frac{&#92;partial U}{&#92;partial x}&#92;right|_T }' title='&#92;displaystyle{ F_{&#92;mathrm{energetic}} = - &#92;left.&#92;frac{&#92;partial U}{&#92;partial x}&#92;right|_T }' class='latex' /></p>
<p>and the <b><a href="http://en.wikipedia.org/wiki/Entropic_force">entropic force</a></b>:</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+F_%7B%5Cmathrm%7Bentropic%7D%7D+%3D++T+%5Cleft.%5Cfrac%7B%5Cpartial+S%7D%7B%5Cpartial+x%7D%5Cright%7C_T%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ F_{&#92;mathrm{entropic}} =  T &#92;left.&#92;frac{&#92;partial S}{&#92;partial x}&#92;right|_T}' title='&#92;displaystyle{ F_{&#92;mathrm{entropic}} =  T &#92;left.&#92;frac{&#92;partial S}{&#92;partial x}&#92;right|_T}' class='latex' /></p>
<p>Energetic forces are familiar from classical statics: for example, a rock pushes down on the table because its energy would decrease if it could go down.  Entropic forces enter the game when we generalize to thermal statics, as we&#8217;re doing now.  But when we set <img src='https://s0.wp.com/latex.php?latex=T+%3D+0%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='T = 0,' title='T = 0,' class='latex' /> these entropic forces go away and we&#8217;re back to classical statics!</p>
<h4> Entropic pressure&#8212;a better derivation </h4>
<p>Okay, enough philosophizing.  To conclude, let&#8217;s derive  </p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+P+%3D+T+%5Cleft.%5Cfrac%7B%5Cpartial+S%7D%7B%5Cpartial+V%7D%5Cright%7C_T+-+%5Cleft.%5Cfrac%7B%5Cpartial+U%7D%7B%5Cpartial+V%7D%5Cright%7C_T+%7D+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ P = T &#92;left.&#92;frac{&#92;partial S}{&#92;partial V}&#92;right|_T - &#92;left.&#92;frac{&#92;partial U}{&#92;partial V}&#92;right|_T } ' title='&#92;displaystyle{ P = T &#92;left.&#92;frac{&#92;partial S}{&#92;partial V}&#92;right|_T - &#92;left.&#92;frac{&#92;partial U}{&#92;partial V}&#92;right|_T } ' class='latex' /></p>
<p>in a less sloppy way.  We start with</p>
<p><img src='https://s0.wp.com/latex.php?latex=d+U+%3D+T+d+S+-+P+d+V&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='d U = T d S - P d V' title='d U = T d S - P d V' class='latex' /></p>
<p>which is true no matter what coordinates we use.  We can choose 2 of the 5 variables here as local coordinates, generically at least, so let&#8217;s choose <img src='https://s0.wp.com/latex.php?latex=V&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='V' title='V' class='latex' /> and <img src='https://s0.wp.com/latex.php?latex=T.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='T.' title='T.' class='latex' />  Then </p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+d+U+%3D+%5Cleft.%5Cfrac%7B%5Cpartial+U%7D%7B%5Cpartial+V%7D%5Cright%7C_T+d+V+%2B+%5Cleft.%5Cfrac%7B%5Cpartial+U%7D%7B%5Cpartial+T%7D%5Cright%7C_V+d+T+%7D+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ d U = &#92;left.&#92;frac{&#92;partial U}{&#92;partial V}&#92;right|_T d V + &#92;left.&#92;frac{&#92;partial U}{&#92;partial T}&#92;right|_V d T } ' title='&#92;displaystyle{ d U = &#92;left.&#92;frac{&#92;partial U}{&#92;partial V}&#92;right|_T d V + &#92;left.&#92;frac{&#92;partial U}{&#92;partial T}&#92;right|_V d T } ' class='latex' /></p>
<p>and similarly </p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+d+S+%3D+%5Cleft.%5Cfrac%7B%5Cpartial+S%7D%7B%5Cpartial+V%7D%5Cright%7C_T+d+V+%2B+%5Cleft.%5Cfrac%7B%5Cpartial+S%7D%7B%5Cpartial+T%7D%5Cright%7C_V+d+T+%7D+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ d S = &#92;left.&#92;frac{&#92;partial S}{&#92;partial V}&#92;right|_T d V + &#92;left.&#92;frac{&#92;partial S}{&#92;partial T}&#92;right|_V d T } ' title='&#92;displaystyle{ d S = &#92;left.&#92;frac{&#92;partial S}{&#92;partial V}&#92;right|_T d V + &#92;left.&#92;frac{&#92;partial S}{&#92;partial T}&#92;right|_V d T } ' class='latex' /></p>
<p>Using these, our equation</p>
<p><img src='https://s0.wp.com/latex.php?latex=d+U+%3D+T+d+S+-+P+d+V&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='d U = T d S - P d V' title='d U = T d S - P d V' class='latex' /></p>
<p>becomes</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cleft.%5Cfrac%7B%5Cpartial+U%7D%7B%5Cpartial+V%7D%5Cright%7C_T+d+V+%2B+%5Cleft.%5Cfrac%7B%5Cpartial+U%7D%7B%5Cpartial+T%7D%5Cright%7C_V+d+T+%3D+T+%5Cleft%28%5Cleft.%5Cfrac%7B%5Cpartial+S%7D%7B%5Cpartial+V%7D%5Cright%7C_T+d+V+%2B+%5Cleft.%5Cfrac%7B%5Cpartial+S%7D%7B%5Cpartial+T%7D%5Cright%7C_V+d+T+%5Cright%29+-+P+dV+%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ &#92;left.&#92;frac{&#92;partial U}{&#92;partial V}&#92;right|_T d V + &#92;left.&#92;frac{&#92;partial U}{&#92;partial T}&#92;right|_V d T = T &#92;left(&#92;left.&#92;frac{&#92;partial S}{&#92;partial V}&#92;right|_T d V + &#92;left.&#92;frac{&#92;partial S}{&#92;partial T}&#92;right|_V d T &#92;right) - P dV }' title='&#92;displaystyle{ &#92;left.&#92;frac{&#92;partial U}{&#92;partial V}&#92;right|_T d V + &#92;left.&#92;frac{&#92;partial U}{&#92;partial T}&#92;right|_V d T = T &#92;left(&#92;left.&#92;frac{&#92;partial S}{&#92;partial V}&#92;right|_T d V + &#92;left.&#92;frac{&#92;partial S}{&#92;partial T}&#92;right|_V d T &#92;right) - P dV }' class='latex' /></p>
<p>If you know about differential forms, you know that the differentials of the coordinate functions, namely <img src='https://s0.wp.com/latex.php?latex=d+T&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='d T' title='d T' class='latex' /> and <img src='https://s0.wp.com/latex.php?latex=d+V%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='d V,' title='d V,' class='latex' /> form a basis of 1-forms.  Thus we can equate the coefficients of <img src='https://s0.wp.com/latex.php?latex=d+V&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='d V' title='d V' class='latex' /> in the equation above and get:</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cleft.%5Cfrac%7B%5Cpartial+U%7D%7B%5Cpartial+V%7D%5Cright%7C_T+%3D+T+%5Cleft.%5Cfrac%7B%5Cpartial+S%7D%7B%5Cpartial+V%7D%5Cright%7C_T+-+P+%7D+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ &#92;left.&#92;frac{&#92;partial U}{&#92;partial V}&#92;right|_T = T &#92;left.&#92;frac{&#92;partial S}{&#92;partial V}&#92;right|_T - P } ' title='&#92;displaystyle{ &#92;left.&#92;frac{&#92;partial U}{&#92;partial V}&#92;right|_T = T &#92;left.&#92;frac{&#92;partial S}{&#92;partial V}&#92;right|_T - P } ' class='latex' /></p>
<p>and thus:</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+P+%3D+T+%5Cleft.%5Cfrac%7B%5Cpartial+S%7D%7B%5Cpartial+V%7D%5Cright%7C_T+-+%5Cleft.%5Cfrac%7B%5Cpartial+U%7D%7B%5Cpartial+V%7D%5Cright%7C_T+%7D+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ P = T &#92;left.&#92;frac{&#92;partial S}{&#92;partial V}&#92;right|_T - &#92;left.&#92;frac{&#92;partial U}{&#92;partial V}&#92;right|_T } ' title='&#92;displaystyle{ P = T &#92;left.&#92;frac{&#92;partial S}{&#92;partial V}&#92;right|_T - &#92;left.&#92;frac{&#92;partial U}{&#92;partial V}&#92;right|_T } ' class='latex' /></p>
<p>which is what we wanted!  There should be no bitter aftertaste of guilt this time.</p>
<h3> The big picture </h3>
<p>That&#8217;s almost all I want to say: a simple exposition of well-known stuff that&#8217;s not quite as well-known as it should be.  If you know some thermodynamics and are feeling mildly ambitious, you can now work out the pressure of an ideal gas and show that it&#8217;s <i>completely</i> entropic in origin: only the first term in the right-hand side above is nonzero.   If you&#8217;re feeling a lot more ambitious, you can try to read Verlinde&#8217;s papers and explain them to me.  But my own goal was not to think about gravity.  Instead, it was to ponder a question raised by Allen Knutson: how does the &#8216;entropic force&#8217; idea fit into my ruminations on <a href="https://johncarlosbaez.wordpress.com/2012/01/23/classical-mechanics-versus-thermodynamics-part-2/">classical mechanics versus thermodynamics?</a></p>
<p>It seems to fit in this way: as we go from classical statics (governed by the principle of least energy) to thermal statics at fixed temperature (governed by the principle of least <i>free</i> energy), the definition of force familiar in classical statics must be adjusted.  In classical statics we have</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+F_i+%3D+-+%5Cfrac%7B%5Cpartial+U%7D%7B%5Cpartial+q%5Ei%7D%7D+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ F_i = - &#92;frac{&#92;partial U}{&#92;partial q^i}} ' title='&#92;displaystyle{ F_i = - &#92;frac{&#92;partial U}{&#92;partial q^i}} ' class='latex' /></p>
<p>where </p>
<p><img src='https://s0.wp.com/latex.php?latex=U%3A+Q+%5Cto+%5Cmathbb%7BR%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='U: Q &#92;to &#92;mathbb{R}' title='U: Q &#92;to &#92;mathbb{R}' class='latex' /></p>
<p>is the energy as a function of some coordinates <img src='https://s0.wp.com/latex.php?latex=q%5Ei&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='q^i' title='q^i' class='latex' /> on the configuration space of our system, some manifold <img src='https://s0.wp.com/latex.php?latex=Q.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='Q.' title='Q.' class='latex' />  But in thermal statics at temperature <img src='https://s0.wp.com/latex.php?latex=T&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='T' title='T' class='latex' /> our system will try to minimize, not the energy <img src='https://s0.wp.com/latex.php?latex=U%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='U,' title='U,' class='latex' /> but the <a href="http://en.wikipedia.org/wiki/Helmholtz_free_energy">Helmholtz free energy</a></p>
<p><img src='https://s0.wp.com/latex.php?latex=A+%3D+U+-+T+S&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='A = U - T S' title='A = U - T S' class='latex' /></p>
<p>where </p>
<p><img src='https://s0.wp.com/latex.php?latex=S+%3A+Q+%5Cto+%5Cmathbb%7BR%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='S : Q &#92;to &#92;mathbb{R}' title='S : Q &#92;to &#92;mathbb{R}' class='latex' /> </p>
<p>is the entropy.  So now we should define force by</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+F_i+%3D+-+%5Cfrac%7B%5Cpartial+A%7D%7B%5Cpartial+q%5Ei%7D%7D+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ F_i = - &#92;frac{&#92;partial A}{&#92;partial q^i}} ' title='&#92;displaystyle{ F_i = - &#92;frac{&#92;partial A}{&#92;partial q^i}} ' class='latex' /></p>
<p>and we see that force has an entropic part and an energetic part:</p>
<p><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B++F_i+%3D+T+%5Cfrac%7B%5Cpartial+S%7D%7B%5Cpartial+q%5Ei%7D%7D+-++%5Cfrac%7B%5Cpartial+U%7D%7B%5Cpartial+q%5Ei%7D+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{  F_i = T &#92;frac{&#92;partial S}{&#92;partial q^i}} -  &#92;frac{&#92;partial U}{&#92;partial q^i} ' title='&#92;displaystyle{  F_i = T &#92;frac{&#92;partial S}{&#92;partial q^i}} -  &#92;frac{&#92;partial U}{&#92;partial q^i} ' class='latex' /></p>
<p>When <img src='https://s0.wp.com/latex.php?latex=T+%3D+0%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='T = 0,' title='T = 0,' class='latex' /> the entropic part goes away and we&#8217;re back to classical statics!</p>
<hr />
<i>I&#8217;m subject to the natural forces.</i> &#8211; <a href="http://www.youtube.com/watch?v=lbZn_Z5s-yA">Lyle Lovett</a></p>
]]></html><thumbnail_url><![CDATA[https://i2.wp.com/math.ucr.edu/home/baez/warning_high_entropy_area.png?fit=440%2C330]]></thumbnail_url><thumbnail_height><![CDATA[252]]></thumbnail_height><thumbnail_width><![CDATA[320]]></thumbnail_width></oembed>