21
$\begingroup$

I've studied differential geometry just enough to be confident with differential forms. Now I want to see application of this formalism in thermodynamics.

I'm looking for a small reference, to learn familiar concepts of (equilibrium?) thermodynamics formulated through differential forms.

Once again, it shouldn't be a complete book, a chapter at max, or an article.

UPD Although I've accepted David's answer, have a look at the Nick's one and my comment on it.

$\endgroup$
8
  • 2
    $\begingroup$ This is the second time somebody has confused the differential forms of algebraic geometry with the infinitesimal displacements in thermodynamics. They are only related because mathematicians decided to purge infinitesimals from math, only to have Abraham Robinson reintroduce them with a vengeance. Just because it has a d in it, doesn't make it a differential form. $\endgroup$
    – Ron Maimon
    Jul 18, 2012 at 18:11
  • 8
    $\begingroup$ @RonMaimon: It seems that you are not familiar with the well-known fact that one can give the infinitesimals in analysis a perfectly valid interpretation in terms of differential geometry. See, e.g., the book ''Applied differential geometry'' by Burke. From p.xiii of the preface: ''Here we will be able to turn most of the infinitesimals commonly seen in physics into the appropriate geomentric objects, usually into either rates (tangent vectors) or gradients (differential forms).'' $\endgroup$ Jul 18, 2012 at 18:53
  • $\begingroup$ @ArnoldNeumaier: Of course I am familiar with it, it works for a very special case--- smooth analysis. The key word in the quote is "most". It used to be "most" but in modern physics it's only "often" and "fewer and fewer". The infinitesimal analysis of nonsmooth objects took over with the path integral. The derivative of $\phi$ appearing in the scalar path integral is a nonsmooth infinitesimal change. It also puts a layer of obfuscation on top of infinitesimals, which are rigorous as they stand, and Leibnitz's definition was essentially ok, as shown and extended by Robinson. $\endgroup$
    – Ron Maimon
    Jul 18, 2012 at 21:11
  • 3
    $\begingroup$ @RonMaimon: Show me any physically useful thing done with Robinson-stylew infinitesimals in thermodynamics that cannot be done with differential forms. Differential forms give very naturally and with little technical overhead all the transformations that physicists need. On the other hand, Robinson needs already a lot of work to even define infinitesimals and get to the point where they can be used in analysis. And hardly anyone is using it; in physics nobody I know of. $\endgroup$ Jul 19, 2012 at 11:02
  • $\begingroup$ @ArnoldNeumaier: I don't call them "Robinson style infinitesimals", I call them "physicist's infinitesimals". Robinson's stuff is just the way to force this on mathematicians. Consider the long-wavelength thermodynamics of the magnetization of the 3d Ising model. Consider only the long-wavelength fluctuations m_\sigma(x) over a ball of infinite radius $\sigma$ centered at x. This infinite wavelength magnetization is described by 3d self-interacting scalar with infinitesimal couplings, so to talk about the spatial derivatives of m is a full path integral. This appears in Landau somewhere. $\endgroup$
    – Ron Maimon
    Jul 19, 2012 at 16:08

4 Answers 4

9
$\begingroup$

There are two articles by S.G. Rajeev: Quantization of Contact Manifolds and Thermodynamics and A Hamilton-Jacobi Formalism for Thermodynamics in which he reviews the formulation of thermodynamics in terms of contact geometry and explains a number of examples such as van der Waals gases and the thermodynamics of black holes in this picture.

Contact geometry is intended primarily to applications of mechanical systems with time varying Hamiltonians by adding time to the phase space coordinates. The dimension of contact manifolds is thus odd. Contact geometry is formulated in terms of a basic one form, the contact one form:

$$ \alpha = dq^0 -p_i dq^i$$

($q^0$ is the time coordinate). The key observation in Rajeev's formulation is that one can identify the contact structure with the first law:

$$ \alpha = dU -TdS + PdV$$

$\endgroup$
14
  • 2
    $\begingroup$ @Ron: it doesn't? how do you interpret the legendre-transformation in terms of infinitesimals? $\endgroup$
    – Christoph
    Jul 18, 2012 at 18:56
  • 1
    $\begingroup$ @RonMaimon: one doesn't need wedge products to define the 1-forms used in thermodynamics. And the manifolds are 1-dimensional, so everythign is very natural and simple. $\endgroup$ Jul 18, 2012 at 19:04
  • 1
    $\begingroup$ @NickKidman: I was trying today to think of a case where the distinction between infinitesimal and differential would be useful just in standard thermodynamics (it's not easy). For example, consider a case where S(U) has a random component, like the thermodynamics of electrons occupying localized states. Perhaps you can find a case where the temperature is distributional. Really, I am just irate that a perfectly sensible notion, that of an infinitesimal differential, which is a source of intuition for hundreds of years of mathematics, has been excized from the curriculum and is made taboo. $\endgroup$
    – Ron Maimon
    Jul 19, 2012 at 1:50
  • 1
    $\begingroup$ @RonMaimon: ''This is what everyone secretly thinks inside, and one should not hide it.'' You claim to know the sectrets of everyone, although you know it only of yourself. I spent months studying nonstandard analysis and its applications, and was very disappointed. It is far inferior to ordinary analysis, including diffferential geometry. therefore you don't find it seriously employed except by those coming from the nonstandard analysis school. Differential geometry, in contrast, is indispensable in many applications. $\endgroup$ Jul 19, 2012 at 11:06
  • 1
    $\begingroup$ @ArnoldNeumaier: This is what everyone secretly thinks, that's not an opinion, that's a statement of fact. You can tell, because they sometimes write stuff like "Near the critical temperature $T_0$, the magnetization of the 2d Ising model m(T) obeys $m(T_0+dT)= C(dT)^{1\over 8}$...". Especially someone who studied infinitesimals. How could infinitesimal analysis be inferior? It is at least equivalent to formal analysis, and the main point is that the proofs of Leibnitz are given 100% unimpeachable rigorous formulation which are not very different from Leibnitz's original presentation. $\endgroup$
    – Ron Maimon
    Jul 19, 2012 at 15:47
5
$\begingroup$

Chapter 7 of my online book Classical and quantum mechanics via Lie algebras derives in 17 pages (pp. 161-177) the main concepts of equilibrium thermodynamics in a physically elementary and mathematically rigorous form. Differential forms appear on p.167 where reversible transformations are defined, and are applied on p.168 to the Gibbs-Duhem equation and the first law of thermodynamics.

Note that Chapter 7 is completely self-contained can be read independent from the earlier chapters.

$\endgroup$
16
  • $\begingroup$ Those are not really differential forms. Differential forms are not forms unless they are supposed to be integrated over a surface to give them meaning. The dT's and dP's in thermo are infinitesimals, not differentials, nor differential forms. What you are doing is shoehorning infinitesimal thinking into form language, which stunts one and misinterprets the other. I can't think of a real application of differential forms proper to thermodynamics, perhaps there is some index theorem for phase transitions somewhere. $\endgroup$
    – Ron Maimon
    Jul 18, 2012 at 17:30
  • $\begingroup$ @RonMaimon: First of all, a differential form is a differential form even if it is never integrated. Integration of differential forms is possible but not part of the definition of a form. - However, you can indeed integrate all my formulas involving differentials over any path along which a reversible transformation is realized, and get meaningful and consistent results. - Infinitesimals and differential forms are the same thing, something well-known to mathematicians. $\endgroup$ Jul 18, 2012 at 18:45
  • $\begingroup$ @Arnold: infinitesimals and differential forms are not the same thing; the framework of non-standard analysis got a rigorous set-theoretic formulation in the 70s and there are results which are indeed more easily formulated using infinitesimals; I'm not sure if non-standard analysis adds anything to thermodynamics in particular, though $\endgroup$
    – Christoph
    Jul 18, 2012 at 18:55
  • $\begingroup$ @Christoph: I didn't mean that they are formally the same thing; formally they are very different things. But the formulas of thermodynamics make perfect sense when interpreted as differentials in the sense of differential geometry rather than as infinitesimal sin the sense of Robinson. Indeed, Thermodynamics is not about infinitesimal changes (which are unobservable) but about finite reversible changes along arcs, for which you need to integrate a differential = differential 1-form along the arc. All integrals that one finds in discussions of Carnot cycles are integrals over 1-forms! $\endgroup$ Jul 18, 2012 at 18:58
  • $\begingroup$ @Arnold: your comment contains the quote "Infinitesimals and differential forms are the same thing, something well-known to mathematicians"; that seems to have been a typo, tough, if your argument is actually that differential forms and not infinitesimals are the correct framework for thermodynamics (which might indeed be the case - I don't know enough about non-standard analysis to be a judge of that) $\endgroup$
    – Christoph
    Jul 18, 2012 at 19:04
5
$\begingroup$

I'm afraid that from the aesthetic side, there is not too much differential geometry to discover in (equilibrium) thermodynamics (at least on an undergrad level and if you don't want to bother with the conceptual question how to properly define the idea of heat for the most abstract situations). I suppose any book on thermodynamics has some sections, which makes use of the mathematical properties, which come from holding on parameter constant and so on.

So I suggest that starting with the axioms and the potentials, you involve yourself with the following basic statements, which make "heavy use" of the formalism:

(The articles all contain the derivations too)

$\endgroup$
1
  • 1
    $\begingroup$ That's indeed a nice point, it doesn't really worth introducing differential forms just for themselves. It would be worthy if such a formalism naturally incorporated in its structure the duality, conjugacy of thermodynamic variables. David has provided an example of this approach, but it is higher than an undergrad level and frankly speaking by this time I've never been actually meditating on this conjugacy. I really need to think it over, especially in the view of classical non-equllibrium thermodynamics. $\endgroup$
    – Yrogirg
    Jul 21, 2012 at 15:34
3
$\begingroup$

Professor Hannay wrote a very interesting article "Carnot and the fields formulation of elementary thermodynamics," Am. J. Phys. 74 2, February 2006, pp134-140. Putting aside the rather strange and unusual notation he shows that how Carnot's efficiency formula can be written using differential forms, specifically with wedge product. Rewritten in a more conventional form than is in the article Carnot's efficiency equation is written as $$ \frac {1}{T} \tilde q \wedge \tilde dT = \tilde d \tilde w ,$$ where the ~ denotes a differential form, $\tilde d$ is the exterior derivative, $\tilde q$ and $\tilde w$ are the heat and work 1-forms. Hannay also writes the 1st and 2nd laws as: $$ \tilde d \tilde q + \tilde d \tilde w = 0$$ and $$ \tilde d \left( \frac {\tilde q}{T}\right) =0 $$

So there is use for higher order forms than just 1-forms in thermostatics.

$\endgroup$
1
  • $\begingroup$ Hi Hyportnex, how do you interpret the anti commutavity of the wedge in the first equation? $\endgroup$ Jul 9, 2021 at 11:28

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.