Legendre transformation

In mathematics, the Legendre transformation (or Legendre transform), first introduced by Adrien-Marie Legendre in 1787 when studying the minimal surface problem,^[1] is an involutive transformation on real-valued functions that are convex on a real variable. Specifically, if a real-valued multivariable function is convex on one of its independent real variables, then the Legendre transform with respect to this variable is applicable to the function.

In physical problems, the Legendre transform is used to convert functions of one quantity (such as position, pressure, or temperature) into functions of the conjugate quantity (momentum, volume, and entropy, respectively). In this way, it is commonly used in classical mechanics to derive the Hamiltonian formalism out of the Lagrangian formalism (or vice versa) and in thermodynamics to derive the thermodynamic potentials, as well as in the solution of differential equations of several variables.

For sufficiently smooth functions on the real line, the Legendre transform ${\displaystyle f^{*}}$ of a function ${\displaystyle f}$ can be specified, up to an additive constant, by the condition that the functions' first derivatives are inverse functions of each other. This can be expressed in Euler's derivative notation as $${\displaystyle Df(\cdot )=\left(Df^{*}\right)^{-1}(\cdot )~,}$$ where ${\displaystyle D}$ is an operator of differentiation, ${\displaystyle \cdot }$ represents an argument or input to the associated function, ${\displaystyle (\phi )^{-1}(\cdot )}$ is an inverse function such that ${\displaystyle (\phi )^{-1}(\phi (x))=x}$, or equivalently, as ${\displaystyle f'(f^{*\prime }(x^{*}))=x^{*}}$ and ${\displaystyle f^{*\prime }(f'(x))=x}$ in Lagrange's notation.

The generalization of the Legendre transformation to affine spaces and non-convex functions is known as the convex conjugate (also called the Legendre–Fenchel transformation), which can be used to construct a function's convex hull.