|
|
|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png)
Lagrange multiplier applied to the Legendre transform
|
(Example)
|
|
|
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 $f(\overline{x})$ be a function of the real n-vector $\overline{x}$ and $g(\overline{p})$ its Legendre transform defined by
 |
(1) |
The vector $\overline{p}$ is a function of $\overline{x}$ , or conversely, $\overline{x}$ is a function of $\overline{p}$ , so that $g(\overline{p})$ is a function of $\overline{p}$ alone. The Legendre transform is also alternatively defined as the maximum of the function $\overline{p}.\overline{x}-f(\overline{x})$ . This maximum is reached for $\overline{x}$ satifying the second set of equations in (1). Suppose now that the components $x_i$ are not all independent, but are linked by the constraint:
 |
(2) |
This equation defines one of the components, $x_\alpha$ for example, as a function of all the others. Putting this function into (1) would give us the transform $g(\overline{p})$ as a function of the vector $\overline{p}$ with n-1 components. It would be nice if we could instead use a Lagrange multiplier $k$ and compute the maximum of the function $$\overline{p}.\overline{x}-f(\overline{x})+kh(\overline{x})$$ with all its n components. But then, how does the constraint (2) on $\overline{x}$ translate to $\overline{p}$ ? 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 $x_\alpha$ as a function of the other components:
 |
(3) |
Taking the value of $\frac{\partial x_\alpha}{\partial x_i}$ from the second set of equations (3) and putting it into the first set, we get:
From definition (1), the Legendre transform $g$ is therefore:
 |
(5) |
BACK TO THE LAGRANGE MULTIPLIER
In the first equation (4), if we set $i=\alpha$ we get $p_\alpha = 0$ and conversely, getting the value of $\Phi$ . So, in (5), we may remove the condition $i\neq\alpha$ and sum over all the n components of $\overline{p}$ . The constraint $p_\alpha = 0$ reduces the number of independent components to n-1. In fact, we are back to the traditional Lagrange method with the multiplier $\Phi$ 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 $\overline{x}$ , according to which component $x_\alpha$ we choose to eliminate. The method extends easily to the case of more than one constraint:
$h_1=h_2=...h_m=0$ . We use m multipliers $\Phi_1, \Phi_2...\Phi_m$ . They are computed by equating to zero any set of m components from $\overline{p}$ .
- 1
- Fersanz at PM - Legendre Transform
This link is actually broken but, hopefully, should be operative soon.
- 2
- Wikipedia - Legendre transformation
|
"Lagrange multiplier applied to the Legendre transform" is owned by dh2718.
|
|
(view preamble | get metadata)
Cross-references: generate, even, number, sum, simple, translate, Transform, independent, components, equations, conversely, vector, real, transform parameter, functional, function, stationary point, Legendre Transform
This is version 4 of Lagrange multiplier applied to the Legendre transform, born on 2009-04-02, modified 2009-04-02.
Object id is 11727, canonical name is LagrangeMultiplierAppliedToTheLegendreTransform.
Accessed 468 times total.
Classification:
| AMS MSC: | 26B10 (Real functions :: Functions of several variables :: Implicit function theorems, Jacobians, transformations with several variables) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
with
and