Legendre Transform is Involution

From ProofWiki
Jump to navigation Jump to search


The Legendre transform is an Involution.


Let $\map f x$ be a strictly convex real function.

Let $p = \map {f'} x$.

By definition of the Legendre transform, the transformed real function is of the form:

$\map {f^*} p = - \map f {\map x p} + p \map x p$

By Legendre Transform of Strictly Convex Real Function is Strictly Convex, $f^*$ is strictly convex.

Let $t = \map { {f^*}'} p$.

Let $\map {\paren {f^*}^*} t = - \map {f^*} {\map p t} + t \map p t$.


\(\ds \paren {f^*}^*\) \(=\) \(\ds -f^* + t p\)
\(\ds \) \(=\) \(\ds -\paren {-f + p t} + t p\)
\(\ds \) \(=\) \(\ds f\)

$t$ is an arbitrary independent variable, hence can be renamed.

Set $t = x$.


$\tuple {t,f^{**} } = \tuple {x, f}$

which is the original pair of function and its variable.

Hence, by definition, the Legendre transform is an involution.