# Physical meaning of Legendre transformation

I would like to know the physical meaning of the Legendre transformation, if there is any? I've used it in thermodynamics and classical mechanics and it seemed only a change of coordinates?

-
–  Vladimir Kalitvianski Feb 1 '11 at 16:46

See

http://en.wikipedia.org/wiki/Legendre_transformation#Applications

In theoretical physics, the basic or defining mathematical properties of the Legendre transformation are used to switch between one form of the energy - or "potential", as the generalized energies are called in thermodynamics - to another.

This is important to switch between the Lagrangian in abstract mechanics that depends on $x,v$ (positions and velocities) to the Hamiltonian, the true energy that depends on $x,p$.

In thermodynamics, the number of applications and "types of switches" is even higher. You may go from energy to enthalpy or Helmholtz free energy or Gibbs free energy by Legendre-transforming with respect to various variables. The transform goes back and forth. As the Wikipedia example explains, there are other useful variables that you may Legendre-transform with respect to, including the charge and voltage.

You may consider the Legendre transformation to be a "mere" redefinition of variables - but that's why it's so important in practice. In reality, the different ways to describe the system that differ by a Legendre transformation are "equally fundamental" or "equally natural" so it's often useful to be familiar with all of them and to know what is the relationship between them. The relationship is given by the Legendre transformation.

-
Hi Luboš, I had to remove the greeting and signature in accordance with meta.physics.stackexchange.com/q/360/365#365 (I don't know whether you've seen that yet). Since Jeff has handed down the official word on greetings and signatures from the SE team, we (mods at least) have to be kind of strict about making these edits. It'd be helpful if you could omit those from future posts. –  David Z Feb 1 '11 at 18:11
Dear David, sorry for that. I've erased a few greetings from some of my other answers. It's a polite rhythm I have simply gotten used to and it's somewhat hard to unlearn it. –  Luboš Motl Feb 1 '11 at 18:44
-1: "equally fundamental" or "equally natural" are any reversible variable changes. Practical are those that help separate new variables and/or cast the equations in a "solvable" form. If a problem is not resolved in the Lagrangian form, it remains such in the Hamilton form. –  Vladimir Kalitvianski Feb 1 '11 at 20:50
@Vladimir: they are all equally fundamental in that the formulations are completely equivalent (of course, the usual conditions on convexity, etc. have to be satisfied). So this lets you decide which formulation is the best one for the given problem. But this is precisely what Luboš said too so I don't get what you disagree with... –  Marek Feb 2 '11 at 13:40
Thanks, very enlightening your answer! –  gsAllan Feb 2 '11 at 14:25

Legendre transformations are commonly used in thermodynamics (to switch between different independent variables) and classical mechanics (to switch between the Lagrange and Hamilton formalisms). But you rightly ask: what exactly is a Legendre transformation? Where does it come from? What makes it work?

In (1D) classical mechanics, for example: if we have a Lagrangian $L(q,\dot{q}[,t])$, why can we define a variable

$$p = \frac{\partial L}{\partial\dot{q}}$$

and expect to be able to construct a new function (the Hamiltonian) $$H(q,p[,t]) = p\dot{q}-L(q,\dot{q}[,t])$$ that behaves well? What's the relationship between both functions?

Let's look at the Lagrangian and Hamiltonian as a guiding example. I'll keep it fairly abstract/general, but the notation of Lagrangian/Hamiltonian can help make things more concrete and clearer.

One thing I will do, however, is leave out the explicit time dependence. It's not important to our analysis and more often than not there will indeed be no explicit time dependence. Furthermore, I'll denote $v\equiv\dot{q}$ to put less emphasis on the relation to $q$, since it is not important for the Legendre transformation.

## So what do we need for a Legendre transformation?

Well, first of all we need two variables $v$, $p$ that are single-valued functions of each other. Another way to put this is that $p$ must be a monotone function of $v$ and vice versa. Figure 1 shows an example of such a function.

Figure 1. Example of a single-valued relation between $v$ and $p$.

For such variables it is always possible to construct a pair of functions with the property that differentiation of one of the functions with respect to one of the variables yields the second variable. Equivalently, the derivative of the second function with respect to this second variable yields the first variable.

In our example of classical mechanics, the functions we can construct for our two variables $v$ and $p$ are the Lagrangian $L(q,v)$ and the Hamiltonian $H(q,p)$.$^1$ They satisfy (by definition) the differential relations

\begin{align} \frac{\partial L}{\partial v} &= p \\ \frac{\partial H}{\partial p} &= v \end{align}

## Why does it work?

Indeed, why can we construct such functions? Take another look at figure 1. The way the graph is set up, it looks like a graph of $p$ as a function of $v$. So if we integrate this function between $0$ and some value $v$ (shown on the graph), the answer we get is the orange area under the curve. This integral is our first function! Indeed, if we return to the notation of our classical example (I'm going to leave out the $q$ dependence from now on):

$$L(v) = \int_0^v{p(v')dv'}$$

because

$$\frac{\partial L}{\partial v} = \frac{\partial}{\partial v}\int_0^v{p(v')dv'} = p.$$

Now if we consider the curve in Figure 1 to be $v$ as a function of $p$ (rotate the graph around if that makes it clearer to you), we can make a similar reasoning. This time we integrate between $0$ and $p$ where $p$ has been chosen to correspond to our earlier $v$.$^2$ This integral is our second function; so in terms of our 1D classical example:

$$H(p) = \int_0^p{v(p')dp'}.$$

You may have noticed that we've described a rectangle with the integrals (and therefore the two functions $L$ and $H$). This rectangle has a total surface of $p\cdot v$. But we've also calculated its surface in two parts: the green and the orange. The sum of both must therefore be equal to $pv$. This yields the Legendre transformation

$$L(v) + H(p) = pv$$

or

$$H(p) = pv - L(v)$$.

## How does a Legendre transformation work in practice?

Here's a 3 step plan:

1. Start with your first function, e.g. $L(v)$. $\left[\right.$or $U(S)$ for a thermodynamical example$\left.\right]$

2. Find the conjugate variable by differentiation:

$$p = \frac{\partial L}{\partial v} \hspace{2cm} \left[T = \frac{\partial U}{\partial S}\right]$$

3. Construct the second function

$$H(p) = p\cdot v - L(v) \hspace{2cm} \left[\left(-F(T)\right) = T\cdot S - U(S)\right]$$

and insert the conjugate variable wherever you can, i.e. replace $v$ $[S]$ with the expression $v(p)$ $[S(T)]$ throughout the entire expression.

Partly from Figure 1, it should now be clear that the two functions are not only generally different from each other, they describe things from a different perspective (we had to view the curve in Figure 1 once as a function $p(v)$ and once as a function $v(p)$). The functions are complementary and their close relation is governed by a Legendre transformation.

$^1$ These are also functions of $q$, but that's not important. They could be functions of any number of distinct variables, though their list of variables will obviously be the same except for $v$ and $p$. Indeed, the Legendre transform doesn't change any of the other dependencies. If this is not clear now, it should become so throughout the rest of this explanation.

$^2$ Note that this is where the single-valuedness of the relation between $v$ and $p$ is required. If $v(p)$ was a parabola for example, then there would be ambiguity about which $p$ corresponds to the $v$ we used.

-

It isn't "physical" intuition per-se, but I find the convex-analysis interpretation of the Legendre transform to be the most enlightening.

A convex set is uniquely determined by it's supporting hyperplanes, and the Legendre transform is an encoding of the convex hull of a function's epigraph in terms of it's supporting hyperplanes. If the function is convex and differentiable, then the supporting hyperplanes correspond to the derivative at each point, so the Legendre transform is a reencoding of a function's information in terms of it's derivative.

Here are a few links that illustrate the concept:

http://jmanton.wordpress.com/2010/11/21/introduction-to-the-legendre-transform/ (great in-depth explanation)

http://www.mia.uni-saarland.de/Teaching/NAIA07/naia07_h3_slides.pdf (compuational perspective)

http://maze5.net/?page_id=733 (graphical/visual explanation on my website. Not that advanced, but but with a lot of pictures)

-