Legendre transformation

In mathematics and physics, the Legendre transformation, named after Adrien-Marie Legendre, is an involutive transformation on the real-valued convex functions of one real variable. It is commonly used in classical mechanics to derive the Hamiltonian formalism out of the Lagrangian formalism and in thermodynamics to derive the thermodynamic potentials, as well as in the solution of differential equations of several variables. In mathematics and physics, the Legendre transformation, named after Adrien-Marie Legendre, is an involutive transformation on the real-valued convex functions of one real variable. It is commonly used in classical mechanics to derive the Hamiltonian formalism out of the Lagrangian formalism 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 f* of a function 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 or, equivalently, as f ′ ( f ∗ ′ ( x ∗ ) ) = x ∗ {displaystyle f'(f^{*prime }(x^{*}))=x^{*}} and f ∗ ′ ( f ′ ( x ) ) = x {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. Let I ⊂ ℝ be an interval, and f : I → ℝ a convex function; then its Legendre transform is the function f* : I* → ℝ defined by where sup {displaystyle sup } is the supremum, and the domain I ∗ {displaystyle I^{*}} is The transform is always well-defined when f(x) is convex. The generalization to convex functions f : X → ℝ on a convex set X ⊂ ℝn is straightforward: f * : X* → ℝ has domain