The abuse of differentials in explanations like this reminds of this classic and insightful MathOverflow answer: https://math.stackexchange.com/questions/3266639/notation-fo...
Legendre transform, better explained (2017)
21–30 of 33 posts
Re: Legendre transform, better explained (2017)
#22The larger the function's 2nd derivative is, the smaller the transform value is. And vice versa. Since the tranform is written in terms of the original function's derivative, not it's "x value", the derivative of the transform is inversely proportional to the derivative of the function
?
Re: Legendre transform, better explained (2017)
#23Legendre transform moves a ruler (tangent line) along a convex function, measuring how much "lag" the function accumulated while "accelerating" up to its velocity at a certain moment, relative to having constant velocity for its entire history. The larger the function's 2nd derivative is, the smaller the transform value is. And vice versa. Since the tranform is written in terms of the original function's derivative,…
Re: Legendre transform, better explained (2017)
#24The abuse of differentials in explanations like this reminds of this classic and insightful MathOverflow answer: https://math.stackexchange.com/questions/3266639/notation-fo...
That link was discussed here btw:
On Leibniz Notation - https://news.ycombinator.com/item?id=39064174 - Jan 2024 (95 comments)
Re: Legendre transform, better explained (2017)
#25I, too, spent a long time staring at expressions like “half-invert p(x, v) to get v(x, p) s.t. p(x, v(x, q)) = q then the Legendre transform is H(x, p) = p v(x, p) – L(x, v(x, p))” And I did come to one of the same conclusions as this article, which is that if we're talking pure mathematics, these “thermodynamic” expressions like (∂L/∂v)_x, (∂L/∂p)_x are deeply easy to get confused about and in fact you should just s…
I know programmers like to blame mathematicians for writing functions with lots of one letter variable names, but it's the physicists who insist on doing so without defining any of them. You want to know what V is? It's clearly the potential, we've defined it six papers ago! Oh you were wondering what it's type was, well it's usually a scalar field. No, don't write the parameter as t that changes the whole meaning!
Re: Legendre transform, better explained (2017)
#26Earlier quoted context omitted.
Agreed, the way thermodynamics is often taught is such a mess. My personal and controversial [0] take is that the free energy should really be seen as the Legendre transform of the entropy, not of the energy. I know it is ultimately semantics, but this viewpoint makes the passage from the micro-canonical to the canonical ensemble so much nicer. In particular, the saddle point approximation for the canonical partition…
I'm not even sure if it makes sense to view it as a Legendre transform. Or well, it is one, I'm just not sure if it's a good definition . You get the free energy for 'free' if you use a Lagrange multiplier to maximize entropy while keeping the energy fixed (temperature is the inverse of that Lagrange parameter). In one fell swoop this shows why temperature is a thing and why minimizing the free energy is important. T…
Here’s my definition: the internal energy of the stuff in a box is a useful quantity, and one can call it E. But E is the energy needed to assemble the stuff in the box if you start with an empty box of the appropriate volume. This makes physical sense, and it’s perfectly fine for calculating things related to, say, anything that happens in a vacuum. Or anything that happens in a rigid box.
But we live in a very large atmosphere, we mostly do experiments at constant pressure. If you take a flexible baggy and assemble its contents, you need the energy to make the contents (that’s E) and also some extra energy to displace air to make room for the contents, and the latter part requires extra energy equal to P (the constant atmospheric pressure) times V (the volume of the bag).
So we give E + PV the fancy name “enthalpy”, and it turns out to be useful. Maybe there’s a Legendre transform somewhere, but I’ve never seen any use for it other than to try, poorly, to convince someone of its existence. And it’s genuinely awkward — energy and enthalpy are fairly general physical quantities that one could, in principle, measure, and one already needs to start constraining the system to think of them as functions of anything sensible.
And then the HVAC industry seems to have borrowed the term “enthalpy” to mean, roughly, “temperature and humidity”. And “energy” means “temperature” or maybe “heat” but probably actually means “enthalpy, but only the thermal part and not the chemical part”. You’ll be lucky to find any math at all, let alone a Legendre transformation. Don’t get me started on “pressure”.
Re: Legendre transform, better explained (2017)
#27I, too, spent a long time staring at expressions like “half-invert p(x, v) to get v(x, p) s.t. p(x, v(x, q)) = q then the Legendre transform is H(x, p) = p v(x, p) – L(x, v(x, p))” And I did come to one of the same conclusions as this article, which is that if we're talking pure mathematics, these “thermodynamic” expressions like (∂L/∂v)_x, (∂L/∂p)_x are deeply easy to get confused about and in fact you should just s…
> I think this is because we introduce a complicated way to calculate determinants and then we use determinants to calculate the eigenvalues? Yes, the determinant should be taught and defined as the volume of the parallelepiped in n-dimensions defined by the columns of the given square matrix. This perspective makes it immediately obvious that the eigenvalues scale the parallelepiped in each of its dimensions (a basi…
Re: Legendre transform, better explained (2017)
#28I, too, spent a long time staring at expressions like “half-invert p(x, v) to get v(x, p) s.t. p(x, v(x, q)) = q then the Legendre transform is H(x, p) = p v(x, p) – L(x, v(x, p))” And I did come to one of the same conclusions as this article, which is that if we're talking pure mathematics, these “thermodynamic” expressions like (∂L/∂v)_x, (∂L/∂p)_x are deeply easy to get confused about and in fact you should just s…
> I think this is because we introduce a complicated way to calculate determinants and then we use determinants to calculate the eigenvalues? Yes, the determinant should be taught and defined as the volume of the parallelepiped in n-dimensions defined by the columns of the given square matrix. This perspective makes it immediately obvious that the eigenvalues scale the parallelepiped in each of its dimensions (a basi…
It never occurred to me that geometric parallels would not be given in linear algebra courses.
[1] https://about.soar.earth/blog-pages/how-the-worlds-most-isol...
Re: Legendre transform, better explained (2017)
#29The abuse of differentials in explanations like this reminds of this classic and insightful MathOverflow answer: https://math.stackexchange.com/questions/3266639/notation-fo...
Re: Legendre transform, better explained (2017)
#30Earlier quoted context omitted.
I'm not even sure if it makes sense to view it as a Legendre transform. Or well, it is one, I'm just not sure if it's a good definition . You get the free energy for 'free' if you use a Lagrange multiplier to maximize entropy while keeping the energy fixed (temperature is the inverse of that Lagrange parameter). In one fell swoop this shows why temperature is a thing and why minimizing the free energy is important. T…
I’ve taken an excellent graduate class in thermodynamics, and I’ve never seen a definition of enthalpy that is both coherent and involves Legendre transforms. Here’s my definition: the internal energy of the stuff in a box is a useful quantity, and one can call it E. But E is the energy needed to assemble the stuff in the box if you start with an empty box of the appropriate volume . This makes physical sense, and it…
My ranting is how most of thermo starts with U(S, V, N) whereas I would prefer with S(U, V, N). Either way the differential reads:
dU = T dS - p dV + mu dN
which, if we follow the standard way, is just saying that
T = (dU/dS)_{V, N}
- p = (dU/dV)_{S, N}
mu = (dU/dN)_{S, V}
where the derivatives are really just partial derivatives so I really should have written them with a curly d. Mathematically enthalpy is the Legendre transform where we eliminate V in favor of p:
H(S, p, N) = (U(S, V, N) + p V)_{V = V*(p)}
where V* extremizes the term in parentheses, i.e.
(dU/dV) (S, V*(p), N) + p = 0
Of course this equation is just the above definition of the pressure at constant V, but now we are meant to solve this equation to find V* as a function of p (and S and N), and then plug that back in to get H as a function of p.
The Legendre transform property ensures that:
(dH/dp)_{S,N} = V*(p)
You should note that taking the derivative of H wrt p would in principle also induce a term proportional to dV* / dp since in the definition of H there is V* which depends on p. But that term cancels out because V* is an extremum! So that is why dH/dp gives just V*(p) which is the inverse function of p(V) that you get from (minus) dU/dV. This is the "inverse of derivatives" property of the Legendre transform mentioned in the original post.
Clearly the enthalpy is the nicer gadget to have if you work at constant pressure since then one of its arguments is simply held constant.