Legendre Transformation in Convex Analysis

Updated 10 April 2026

Legendre transformation is a duality operation in convex analysis that exchanges functions with their conjugates by swapping variables with corresponding derivatives.
It underpins key formalisms in thermodynamics, statistical mechanics, and variational calculus by establishing symmetry and involutive properties.
Generalizations such as affine-deformed and q-deformed transforms extend its applicability to non-additive systems and information geometry.

The Legendre transformation is a fundamental operation in convex analysis that establishes a duality between functions and their conjugates, with broad applications ranging from thermodynamics and statistical mechanics to information geometry, optimization, the theory of special functions, and mathematical physics. At its core, the Legendre transform exchanges the roles of variables and their conjugate quantities—mapping a function to its "dual," with the transformation being involutive and order-reversing for appropriate classes of convex or concave functions. The robustness of this duality structure underpins formalisms in modern thermodynamics, statistical mechanics, variational calculus, and beyond.

1. Mathematical Definition and Properties

Given a real-valued, convex function $f: \mathbb{R}^n \rightarrow \mathbb{R} \cup \{+\infty\}$ that is lower-semicontinuous and super-coercive, the Legendre transform (or convex conjugate) $f^*: \mathbb{R}^n \rightarrow \mathbb{R} \cup \{+\infty\}$ is defined as

$f^*(y) = \sup_{x \in \mathbb{R}^n} \left\{ \langle y, x \rangle - f(x) \right\}.$

If $f$ is strictly convex and differentiable, the supremum is attained at the unique $x$ solving $y = \nabla f(x)$ . The key properties include:

Convexity: $f^*$ is convex, even if $f$ is only convex and not necessarily strictly so.
Order Reversal: For $f_1 \leq f_2$ , $f_2^* \leq f_1^*$ .
Involutivity: $f^*: \mathbb{R}^n \rightarrow \mathbb{R} \cup \{+\infty\}$ 0 (Fenchel–Moreau theorem), when $f^*: \mathbb{R}^n \rightarrow \mathbb{R} \cup \{+\infty\}$ 1 is closed and convex (Li, 2023).
Symmetry: The transformation is symmetric under exchange of variables ( $f^*: \mathbb{R}^n \rightarrow \mathbb{R} \cup \{+\infty\}$ 2, $f^*: \mathbb{R}^n \rightarrow \mathbb{R} \cup \{+\infty\}$ 3) (Skarke, 2012).
Valuation Characterization: The Legendre transform is unique as a continuous $f^*: \mathbb{R}^n \rightarrow \mathbb{R} \cup \{+\infty\}$ 4-contravariant valuation that intertwines two natural translations on $f^*: \mathbb{R}^n \rightarrow \mathbb{R} \cup \{+\infty\}$ 5 (Li, 2023).

Table 1: Core Properties

Property	Description	Reference
Convexity	Preserves convexity	(Polyak, 2016)
Involution	$f^*: \mathbb{R}^n \rightarrow \mathbb{R} \cup \{+\infty\}$ 6 under suitable regularity	(Kolt et al., 2022)
Order Reversal	$f^*: \mathbb{R}^n \rightarrow \mathbb{R} \cup \{+\infty\}$ 7	(Kalogeropoulos, 2017)

2. Geometric and Analytic Interpretations

Geometric Formulation: The Legendre transform can be visualized as mapping the graph of a convex function $f^*: \mathbb{R}^n \rightarrow \mathbb{R} \cup \{+\infty\}$ 8 to the envelope of its tangent lines, recording, for each slope $f^*: \mathbb{R}^n \rightarrow \mathbb{R} \cup \{+\infty\}$ 9, the maximal intercept (Remizov, 28 Dec 2025, Skarke, 2012). The classic contact transformation formalism interprets the Legendre transform as a contactomorphism on the 1-jet space, preserving the canonical contact structure ( $f^*(y) = \sup_{x \in \mathbb{R}^n} \left\{ \langle y, x \rangle - f(x) \right\}.$ 0), and thus as a fundamental object in symplectic and contact geometry (Remizov, 28 Dec 2025).

Duality: The transformation constructs the dual (pedal) curve associated with a convex graph, and the presence of singularities (cusps) in the dual can be traced to vanishing curvature points of the original curve (Remizov, 28 Dec 2025).

Involutive Structure: Symmetry and area-based arguments demonstrate that the Legendre transform, when applied twice, returns the original function, modulo additive constants. This is crucial in physics, where such constants correspond to choices of zero points for thermodynamic or mechanical potentials (Skarke, 2012, Polyak, 2016).

3. Applications in Physics and Thermodynamics

The Legendre transform underpins the transition between different thermodynamic potentials by exchanging natural variables for their conjugates:

Thermodynamics: Classical examples include the passage from internal energy $f^*(y) = \sup_{x \in \mathbb{R}^n} \left\{ \langle y, x \rangle - f(x) \right\}.$ 1 to Helmholtz free energy $f^*(y) = \sup_{x \in \mathbb{R}^n} \left\{ \langle y, x \rangle - f(x) \right\}.$ 2 and Gibbs free energy $f^*(y) = \sup_{x \in \mathbb{R}^n} \left\{ \langle y, x \rangle - f(x) \right\}.$ 3, with temperature $f^*(y) = \sup_{x \in \mathbb{R}^n} \left\{ \langle y, x \rangle - f(x) \right\}.$ 4, pressure $f^*(y) = \sup_{x \in \mathbb{R}^n} \left\{ \langle y, x \rangle - f(x) \right\}.$ 5, and chemical potential $f^*(y) = \sup_{x \in \mathbb{R}^n} \left\{ \langle y, x \rangle - f(x) \right\}.$ 6 derived as derivatives of the respective potentials (Johal, 2023, Wu et al., 2024). The transformation makes explicit the dual hierarchy of thermodynamic ensembles, each characterized by a specific set of natural variables (microcanonical, canonical, grand-canonical, etc.).
Statistical Mechanics: The canonical partition function $f^*(y) = \sup_{x \in \mathbb{R}^n} \left\{ \langle y, x \rangle - f(x) \right\}.$ 7 serves as the Laplace transform of the microcanonical density of states, and the Legendre structure organizes the relationships between entropy, energy, and free energy, including generalized, "microscopic" analogs where Shannon entropy and microstate probabilities are related via Legendre duality (Johal, 2023, Wu et al., 2024).
Electrostatics: In field theory, the Legendre transform dualizes between the electrostatic potential $f^*(y) = \sup_{x \in \mathbb{R}^n} \left\{ \langle y, x \rangle - f(x) \right\}.$ 8 and the electric displacement field $f^*(y) = \sup_{x \in \mathbb{R}^n} \left\{ \langle y, x \rangle - f(x) \right\}.$ 9, systematically converting concave functionals into convex ones suitable for variational minimization and efficient numerics (Pujos et al., 2012).

4. Generalizations and Deformations

The classical Legendre transform applies within the class of convex (or concave) and lower-semicontinuous functions, but physical and informational settings with nonstandard entropies (e.g., Tsallis entropy or Rényi divergence) require generalized notions:

Affine-Deformed Legendre Transforms: Every invertible, order-reversing transform on $f$ 0 is an affine deformation of the classical Legendre transform. Explicitly, $f$ 1 for some fixed affine parameters. Generalized conjugates can always be realized as the ordinary Legendre transform applied to an affine-deformed function (Nielsen, 28 Jul 2025).
Non-Additive Thermodynamics: In the context of Tsallis entropy, the required duality is not the classical Legendre transform but a $f$ 2-deformed (power-law) transformation which maintains involutivity and order-reversal properties on $f$ 3-concave functions. This generalized transform alters the form of all thermodynamic potentials and equations of state, reflecting the underlying power-law convexity of non-additive entropy and its implications for complex systems (Kalogeropoulos, 2017).
Deformed Information-Geometric Contexts: For divergences beyond the Bregman (KL) case, the "link function" $f$ 4 replaces the bilinear dual pairing, and the associated Legendre operator gives rise to a curved, non-dually-flat information geometry. In the Rényi and $f$ 5-family settings, this leads to Kähler and symplectic structures on the product manifold, with curvature controlled by the divergence parameter (Morales et al., 2022).

5. Methodologies and Practical Computation

Multiple construction and authentication techniques exist for practical use of Legendre transforms:

Analytic Formulae: Standard computation proceeds by inverting the derivative $f$ 6 and back-substituting into $f$ 7. Convexity ensures a unique global correspondence between $f$ 8 and $f$ 9 (Kolt et al., 2022, Polyak, 2016).
Integral and Supremal Forms: The transform is equivalently given by a supremum operation or, under invertibility, an indefinite integral formula $x$ 0.
Table of Pairs and Rules: Extensive catalogues of closed-form Legendre transform pairs exist, including rules for scaling, shifting, and combining functions. Polynomial-approximation (Taylor) methods allow efficient computation of transforms for analytic functions lacking simple inverse derivatives (Kolt et al., 2022).
Verification: Algebraic, differential, and numerical tests authenticate a proposed transform, e.g., by confirming $x$ 1 and involutivity (Kolt et al., 2022).
Optimization: In modern algorithms, the Legendre transform structures underlie Fenchel–Rockafellar duality, self-concordance (as measured by the Legendre invariant), and Newton-type methods (Polyak, 2016).

6. Extensions in Mathematical Physics and Integrable Systems

Contact and Symplectic Structures: In the geometric theory of differential equations (e.g., the Clairaut equation) and the study of WDVV equations in Frobenius manifolds, the Legendre transform appears as a contactomorphism, with symmetry properties responsible for the involutive connection between rational and trigonometric solutions in the moduli of solutions (Remizov, 28 Dec 2025, Feigin et al., 2024).
Transformations in Integrable Models: The Legendre transformation acts as a nontrivial symmetry (introduced by Dubrovin) of the WDVV equations, mapping rational prepotentials (e.g., for $x$ 2 and $x$ 3 $x$ 4-systems) into trigonometric ones, with explicit formulas for transformed variables and integration via polylogarithmic functions (Feigin et al., 2024).

7. Information Geometry and Statistical Inference

Legendre duality is central to the structure of dually flat statistical manifolds, providing the underpinnings of Bregman divergences, Fenchel–Young inequalities, and canonical divergences. The affine freedom in dual coordinates and potentials matches the general form of affine-deformed Legendre transforms. When generalized to curved ( $x$ 5-nonflat) geometries, the deformed Legendre transform yields symplectic and Kähler structures compatible with the divergence function—dictating dual connections, curvature, and inference geometry for generalized exponential families (Nielsen, 28 Jul 2025, Morales et al., 2022).

8. Limits, Outlook, and Ongoing Extensions

Non-Additive Generalizations: The classical universality of Legendre duality is broken in non-logarithmic (e.g., power-law) convexity settings; each universality class of entropy gives rise to a unique duality transform (Kalogeropoulos, 2017).
Unified Divergence-Based Frameworks: Deformations via cost/link functions $x$ 6 induce simultaneous geometric, analytic, and symplectic modifications, generalizing conventional information-theoretic and phase-space descriptions (Morales et al., 2022).
Structural Classification: All invertible order-reversing convex conjugation transforms are classified as affine-deformed Legendre transforms. This result connects convex analysis, valuation theory, and information geometry in a unified framework (Nielsen, 28 Jul 2025, Li, 2023).
Quantum and Infinite-Dimensional Generalizations: Extensions to quantum statistical manifolds, Kähler quantization, and infinite-dimensional information geometries remain active research areas, with implications for quantum coherence, phase transitions, and complexity (Morales et al., 2022).
Algorithmic and Practical Implications: The Legendre transformation’s role in convexification of functionals, stabilization of variational algorithms, and organization of dual optimization problems ensures continued utility in computational mathematics, statistical inference, and large-scale optimization (Pujos et al., 2012, Polyak, 2016).