Deformed Legendre Transforms

• Deformed Legendre transforms are generalized forms of the classical Legendre-Fenchel transform that extend convex conjugacy through systematic affine deformations.
• They enable analysis of non-convex and higher-derivative problems by adapting duality constructions in variational frameworks and nonlinear PDEs.
• Applications span statistical physics, geometric analysis, and field theories, providing tools to resolve issues like symmetry breaking and stability in complex systems.

Deformed Legendre transforms encompass a broad class of generalizations and modifications of the classical Legendre or Legendre-Fenchel transform, arising in convex analysis, partial differential equations (PDEs), geometric analysis, statistical physics, information geometry, and the theory of variational dualities. These modified transforms systematically extend, deform, or adapt the canonical dualities associated with convex conjugacy, frequently to address issues of non-convexity, symmetry breaking, higher-derivative variational structures, or geometric constraints. Canonical representatives include the Legendre-Fenchel transform, generalized Legendre transforms with affine deformation (as classified by Artstein-Avidan and Milman), multi-variable or partial Legendre transforms used in non-linear PDEs, and multi-momentum transforms in higher-order field theories.

1. Classical Legendre and Legendre–Fenchel Transforms

The classical Legendre transform for a function $f$ on $\mathbb{R}^n$ is defined, when $f$ is convex and lower semi-continuous, by

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

For non-convex functions, the transform must be interpreted as the Legendre–Fenchel transform, which always produces a convex, lower semi-continuous function. The Fenchel conjugate enjoys involutive properties ($f^{**}=f$ when $f$ is convex and proper) and order-reversing behavior on the lattice of convex functions. This duality grounds the structure of dually flat spaces in information geometry and underpins the relationship between thermodynamic potentials and variational principles in physics (Nielsen, 28 Jul 2025, Iusem et al., 2017).

2. Artstein–Avidan–Milman Theory: Affine Deformations of the Legendre Transform

Any fully order-reversing, invertible operator $T$ on the space of proper, lower semi-continuous convex functions, $\Gamma_0(\mathbb{R}^n)$, must be an affine deformation of the Legendre–Fenchel transform:

$$(T f)(\eta) = \lambda (f^*) (E \eta + f_0) + \langle \eta, g \rangle + h,$$

where $\lambda > 0$, $\mathbb{R}^n$0, $\mathbb{R}^n$1, and $\mathbb{R}^n$2. Every such operator corresponds exactly to a classical Legendre transform applied to an affine-deformed function $\mathbb{R}^n$3, for unique parameters $\mathbb{R}^n$4 (see Table 1 for the parameter correspondence) (Nielsen, 28 Jul 2025, Iusem et al., 2017). This reveals that generalized convex conjugation in this sense does not extend beyond the ordinary Legendre duality modulo the action of the affine group.

Operator Parameter	Function Deformation Parameter	Interpretation
$\mathbb{R}^n$5	$\mathbb{R}^n$6	Scaling
$\mathbb{R}^n$7	$\mathbb{R}^n$8	Linear map
$\mathbb{R}^n$9	$f$0	Translation
$f$1	$f$2	Dual translation
$f$3	$f$4	Additive const

In Hilbert space, this classification governs all fully order-reversing transforms on the convex cone and leads to an analysis of fixed points. The only fixed point of the classical Legendre transform is the normalized energy $f$5. For deformed transforms, fixed points may be unique, nonexistent, or infinite in number depending on invariants such as the positivity of the deformation matrix (Iusem et al., 2017).

3. Legendre–Fenchel Transform and Non-Convexity: Physical and Geometric Regimes

In physical systems where non-convexity is present, such as first-order phase transitions or mechanical instability, the Legendre–Fenchel transform provides the convex envelope and thus the thermodynamically correct dual potential. In nanoconfined fluids, the Helmholtz energy $f$6 as a function of slit width can be non-convex due to layering transitions. The Gibbs free energy $f$7 in the isobaric ensemble must then be computed as the supremum

$f$8

which enforces convexity and realizes the Maxwell equal-area construction. This global operation captures mechanical and thermodynamic stability and ensures the correct jump conditions at first-order transitions (Galteland et al., 2021).

4. Generalized and Partial Legendre Transforms in PDEs

Deformed Legendre transforms play a crucial role in geometric and analytic dualities in nonlinear PDEs. The partial Legendre transform of a function $f$9 with strict convexity in $$f^*(y) = \sup_{x\in\mathbb{R}^n} \{\langle x, y\rangle - f(x)\}.$$0—e.g., $$f^*(y) = \sup_{x\in\mathbb{R}^n} \{\langle x, y\rangle - f(x)\}.$$1—replaces $$f^*(y) = \sup_{x\in\mathbb{R}^n} \{\langle x, y\rangle - f(x)\}.$$2 with $$f^*(y) = \sup_{x\in\mathbb{R}^n} \{\langle x, y\rangle - f(x)\}.$$3 variables via

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

The transformed function $$f^*(y) = \sup_{x\in\mathbb{R}^n} \{\langle x, y\rangle - f(x)\}.$$5, defined (up to additive constant) by

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

relates the Hessians via

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

For a nonlinear elliptic PDE $$f^*(y) = \sup_{x\in\mathbb{R}^n} \{\langle x, y\rangle - f(x)\}.$$8, the dual PDE for $$f^*(y) = \sup_{x\in\mathbb{R}^n} \{\langle x, y\rangle - f(x)\}.$$9 is constructed by expressing all derivatives of $f^{**}=f$0 in terms of those of $f^{**}=f$1, resulting in an operator $f^{**}=f$2 that preserves ellipticity. Applied to the Monge–Ampère equation, the partial Legendre transform exchanges nonlinearities and elliptic structures between variables and leads to uniform a priori estimates in degenerate regimes, with implications for a broad class of fully nonlinear PDEs (Guan et al., 2010).

5. Generalized Legendre Transforms and Symplectic/Geometric Dualities

In contexts where the duality arises not from the standard pairing $f^{**}=f$3 but from a more general "mixed generating function" $f^{**}=f$4, one defines a generalized Legendre transform as

$f^{**}=f$5

Canonical transforms on cotangent bundles—mapping $f^{**}=f$6—are determined by non-degeneracy of the mixed Hessian $f^{**}=f$7. This formalism underpins inverse spectral theory for $f^{**}=f$8-invariant Schrödinger operators on Riemannian manifolds: the bottom of the spectral band is encoded by a minimization over $f^{**}=f$9, with $f$0 labeling torus-invariant modes; the potential $f$1 is then spectrally determined by inversion of the generalized Legendre transform (Guillemin et al., 2015). The construction encompasses toric Kähler geometry, fiber-wise quadratic generating functions, and provides the basis for duality constructions in geometric analysis.

6. Deformed Legendre Transforms in Higher-Derivative Field Theory and Nonlinear Fluctuation Dualities

In theories featuring higher-derivative or multi-field self-interactions—such as galileon and massive gravity models—the classical Legendre transform is deformed to accommodate multi-momentum spaces. The generalized Legendre dual replaces simple derivative-momentum trading with a transform that introduces auxiliary fields for each order of derivative:

$f$2

The dual Lagrangian, constructed via integration and appropriate field scaling, admits a perturbative expansion where the original action is strongly coupled, thereby enabling systematic analysis in regimes such as inside the Vainshtein radius (Padilla et al., 2012). The construction reveals that the core formalism of the Legendre transform is robust to derivatives of any finite order, provided the hierarchy and scaling of couplings is accounted for.

7. Structural Consequences, Uniqueness, and Open Problems

The universality of affine-deformed Legendre transforms constrains the range of possible nonlinear dualities and informs both the rigidity and flexibility of convex analysis, operator theory, and geometric analysis (Nielsen, 28 Jul 2025, Iusem et al., 2017). The unique self-conjugate function under the classical Legendre transform is the normalized energy $f$3; generalized transforms admit richer fixed-point structures, but only under specific spectral and positivity conditions on the deformation parameters. Applications range from the automatic restoration of convexity and stability in physical ensembles to new dual PDEs with preserved ellipticity and variational structure.

Ongoing challenges include classification of deformed dualities in infinite dimensions, regularity thresholds for admissibility of partial Legendre transforms in nonlinear PDEs, variational and barrier construction analogues in geometric analysis, and the further interplay between operator theory and information geometry. These themes underpin the continuing development of deformed Legendre transforms as foundational tools across mathematics and theoretical physics.