Legendre Transform


Definition 1 (Legendre Transformation).

Let f:n be a C1 function and consider the transformation x=(x1,,xn)y=(y1,,yn)=(1f(x),x2,,xn). Provided it is possible to invert 11The Inverse Mapping Theorem and its implicationsMathworldPlanetmath must be used here; in order to be possible to invert for x, the JacobianMathworldPlanetmathPlanetmath must be different from zero. The Jacobian being 2f(x)x2 in this case indicates that 2f(x)x20, which means that f(x) must be strictly concave or strictly convex; this seems clear graphically for x, x=φ(y), we define the Legendre Transform of f, f, as the function

f=g: n
y g(y)=φ(y)y-f(φ(y))

(here ’’ denotes the usual scalar productMathworldPlanetmath on n). is called the Legendre Transformation.

Remark 1.

As x=φ(y), the defining relation is often written as g(y)=xy-f(x), without explicitly indicating that x must be a function of y

Remark 2.

Note that, in inverting for x, x=φ(y), we are making y=(y1,,yn) the independent variables. This is more an issue related to the Inverse Mapping Theorem, but it is well worth to state it explicitly.

Remark 3.

From the definition we see that the Legendre Transformation allows us to pass from a function f of (x1,xn) to a function in which we have substituted the first coordinatePlanetmathPlanetmath by the derivativePlanetmathPlanetmath of 1f. We will deal here with the case in which just one coordinate is changed but proceeding by inductionMathworldPlanetmath it is easy to prove the following facts for any number of variables.

The rationale behind the Legendre transformation is the following. Let’s begin by considering the unidimensional case. Suppose we have the function xf(x). We could be interested in expressing the values of f as function of the derivative m=fx(x) instead of as function of x itself without losing any information about f (some examples of this situation will be given below). At first glance one could think of just inverting the relationMathworldPlanetmathPlanetmath m=fx(x) for x to write f(x)=f(fx-1(m))g(m). However, this would result in a loss of information because there would be infiniteMathworldPlanetmath functions f which will give rise to the same g; namely the family of translated functions f(x-a) for any a will result in the same g. This can be easily visualized in the figure.

Figure 1: Translated versions of the same function have the same relation f(fx-1(m))

This is because we can not entirely determine a curve by knowing its slope at every point. The key point is that we can, nevertheless, determine a curve by knowing its slope and its origin ordinate at every point.

Take a point P on the curve with abscise x -see figure 2-.

Figure 2: Meaning of Legendre Transformation

Call the origin ordinate of its tangentPlanetmathPlanetmath ψ and its slope m which is given by

m=f(x)-ψx-0

Then ψ=f-xm. So, intuitively we see that the Legendre transform is nothing but the origin ordinate of the slope of f at x. It is obvious -at least graphically- that we can recover f knowing ψ(m). We now prove it rigourously.

Theorem 1 (Invertibility and duality of Legendre Transformation).

The Legendre Transformation is invertiblePlanetmathPlanetmathPlanetmath and the InverseMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath Legendre Transformation is the Legendre Transformation itself, that is, LL-1f=f or L=L-1.

Proof.

Evaluate the function g at point y=φ-1(x) to get

g(φ-1(x))=xφ-1(x)-f(x)

this is

f(x)=xφ-1(x)-g(φ-1(x))

Now, it is easy to show that x=(x1,,xn)=(1g(y),y2,,yn). So, according to the definition, this is the Legendre transform of g induced by the transformation yx, y=φ-1(x).

Example 1.

In thermodynamics, a thermodynamic system is completely described by knowing its fundamental equation in energetic form: 𝒰=U(S,V) where 𝒰 is the energy, S is entropy and V is volume. This relation, although of great theoretical value, has a major drawback, namely that entropy is not a measurable quantity. However, it happens that US=T, temperature. So, we would like to being able to swap S for T which is an easily measurable quantity. We just take the Legendre transform F of U induced by the transformation (S,V)(T,V)=(US,V):

F=U-TS

which is called the Helmholtz Potential and hence is a function of the independent variables T,V Analogously, as it happens that UV=-P, pressure, we can swap V and P and consider the Legendre Transformation H of U induced by the transformation (S,V)(S,P):

H=U+PV

which is called Enthaply and hence is a function of the independent variables S,P.

Example 2.

The Lagrangian formalism in Mechanics allows to completely determine the evolution of a general mechanical system by knowledge of the so called Lagrangian, which is a function of generalized coordinates q, generalized velocities 22The customary notation for generalized velocities is q˙; however this notation is somehow obscure because it is prone to establish a functional relation between q and q˙ as variables of L. As variables of L they are just points in n v and time t: =L(q,v,t). The generalized moments are defined as p=Lv and they play the role of usual linear momentum. Generalized moments are conserved in time under certain circumstances, so we would like to swap the role of v and p. Thus we consider the Legendre transform H of L induced by the transformation (q,v,t)(q,p,t)=(q,Lv,t):

H=L-pv

which is called the Hamiltonian. As pointed out in Remark 2, q,p and t are independent variables, as we have inverted the mentioned transformation (q,v,t)(q,p,t)

Title Legendre Transform
Canonical name LegendreTransform
Date of creation 2013-03-22 17:45:58
Last modified on 2013-03-22 17:45:58
Owner fernsanz (8869)
Last modified by fernsanz (8869)
Numerical id 11
Author fernsanz (8869)
Entry type Definition
Classification msc 14R99
Classification msc 26B10
Related topic InverseFunctionTheorem
Defines Legendre Transform
Defines Legendre transformation