Lagrange multiplier applied to the Legendre transform
Since the Legendre transform is a stationary point of a function, Lagrange multipliers should be the natural choice for handling constraints. However, there is a problem due to the fact that we are mostly interested in its functional dependence on the transform parameter, and not on its value.
THE LEGENDRE-LAGRANGE PROBLEM
Let be a function of the real n-vector and its Legendre transform defined by
The vector is a function of , or conversely, is a function of , so that is a function of alone. The Legendre transform is also alternatively defined as the maximum of the function . This maximum is reached for satifying the second set of equations in (1). Suppose now that the components are not all independent, but are linked by the constraint:
This equation defines one of the components, for example, as a function of all the others. Putting this function into (1) would give us the transform as a function of the vector with n-1 components. It would be nice if we could instead use a Lagrange multiplier and compute the maximum of the function
with all its n components. But then, how does the constraint (2) on translate to ? The answer is amazingly simple, as we shall see next.
DIRECT COMPUTATION OF THE TRANSFORM
We are going first to compute the Legendre transform the hard way, without the help of a multiplier, by considering as a function of the other components:
Taking the value of from the second set of equations (3) and putting it into the first set, we get:
From definition (1), the Legendre transform is therefore:
BACK TO THE LAGRANGE MULTIPLIER
In the first equation (4), if we set we get and conversely, getting the value of . So, in (5), we may remove the condition and sum over all the n components of . The constraint reduces the number of independent components to n-1. In fact, we are back to the traditional Lagrange method with the multiplier and an additional constraint. We even have the choice between n such constraints. They generate up to n functionally different transforms corresponding to the n possible forms of the function , according to which component we choose to eliminate.
The method extends easily to the case of more than one constraint:
. We use m multipliers . They are computed by equating to zero any set of m components from .
http://planetmath.org/encyclopedia/LegendreTransform.htmlFersanz at PM - Legendre Transform
This link is actually broken but, hopefully, should be operative soon.
- 2 http://en.wikipedia.org/wiki/Legendre_transformationWikipedia - Legendre transformation
|Title||Lagrange multiplier applied to the Legendre transform|
|Date of creation||2013-03-22 18:52:47|
|Last modified on||2013-03-22 18:52:47|
|Last modified by||dh2718 (16929)|