---
title: Generalized Legendre Duality Relation
url: https://www.emergentmind.com/topics/generalized-legendre-duality-relation
type: topic
---

# Generalized Legendre Duality Relation

Searching arXiv for recent and foundational uses of “generalized Legendre duality relation” across geometry, convex analysis, and related areas.
Generalized Legendre duality relation denotes a family of extensions of the classical Legendre–Fenchel correspondence, whose standard model is
\[
(LF)(\eta):=\sup_{\theta\in\mathbb R^m}\{\langle \theta,\eta\rangle-F(\theta)\},
\]
with the biconjugation identity \((F^*)^*=F\) on suitable convex classes. In contemporary work, this pattern is reformulated as affine deformation of convex conjugacy, as diastasis-based duality on Kähler manifolds, as a multi-function quadratic-coupling principle with Gaussian extremizers, as a bundle-theoretic structure on dually flat manifolds and generalized tangent bundles, and as a variational or spectral correspondence in mechanics, thermodynamics, and large-\(N\) field theory [2507.20577][1608.05541][2409.13611].

## 1. Convex-analytic archetypes

On \(\Gamma_0(\mathbb R^m)\), the Artstein-Avidan–Milman characterization theorem identifies every invertible order-reversing transform with
\[
(TF)(\eta)=\lambda (LF)(E\eta+f)+\langle \eta,g\rangle+h,
\qquad
\lambda>0,\ E\in GL(\mathbb R^m),\ f,g\in\mathbb R^m,\ h\in\mathbb R.
\]
Nielsen’s reformulation makes this explicit as ordinary conjugation of an affine-deformed primal function. Writing
\[
F_P(\theta):=\lambda\,F(A\theta+b)+\langle \theta,c\rangle+d,
\]
one has
\[
L(F_P)=(LF)_{P^\diamond}=F^*_{P^\diamond},
\]
with
\[
P^\diamond=
\left(
\lambda,\frac{1}{\lambda }A^{-1},
-\frac{1}{\lambda}A^{-1}c,
-A^{-1}b,
\langle b,A^{-1}c\rangle-d
\right),
\qquad
(P^\diamond)^\diamond=P.
\]
In this sense, generalized convex conjugates are convex conjugates of affine-deformed functions rather than a genuinely new conjugacy operation [2507.20577].

A second convex-analytic line keeps Fenchel–Young duality as the primitive object but reinterprets its gap as an error functional. For admissible primal and dual variables \((\hat U,\hat P)\in\mathcal U\times\mathcal T\), the generalized constitutive relation error is
\[
\Psi(\hat U,\hat P)=\phi(\hat U)+\phi^*(\hat P)-\mathcal B(\hat U,\hat P)\ge 0.
\]
Its vanishing characterizes exact constitutive compatibility, and for an exact solution pair \((U,P)\) the paper proves
\[
\Psi(\hat U,\hat P)
=
\bar\phi_{(U,P)}(\hat U-U)
+
\bar\phi^*_{(U,P)}(\hat P-P)
-
\mathcal B(\hat U-U,\hat P-P).
\]
In admissible settings the cross term vanishes, so the duality gap becomes an exact decomposition of primal and dual global errors. The smooth constitutive law \(P=\nabla W(F)\) is thereby generalized to the subdifferential relation \(P\in\partial W(F)\) [1611.05589].

## 2. Kähler and complex-geometric duality

A major geometric extension replaces the Euclidean pairing by Calabi’s diastasis on a compact real analytic Kähler manifold \((M,\omega)\). If \(D_\omega(p,q)\) denotes the diastasis, the global generalized Legendre transform is
\[
L_\omega(\eta)(q):=\operatorname{usc}\sup_{\substack{p\in M\\(p,q)\in V_\omega}}
\bigl[-D_\omega(p,q)-\eta(p)\bigr].
\]
Locally this is the coordinate-free version of the polarized transform built from the analytic continuation of a real analytic Kähler potential. The flat model \(\phi(z)=|z|^2\) gives \(D_\phi(z,w)=|z-w|^2\), so the construction reduces to the complexified classical Legendre transform on \(\mathbb C^n\) [1608.05541].

For \(\eta\) sufficiently small in \(C^2\), the supremum is attained uniquely at a point \(z=G(\eta)(q)\), producing a generalized gradient map \(G(\eta):M\to M\). The transform satisfies
\[
L_\omega^2(\eta)=\eta,
\qquad
G(L_\omega\eta)=G(\eta)^{-1},
\qquad
dL_\omega(\eta)\cdot \chi=-\chi\circ G(\eta),
\]
and the Kähler-form transformation law
\[
G(\eta)^*\omega_\eta=\omega_{L_\omega\eta}.
\]
Consequently \(L_\omega\) is a local involutive isometry of the Mabuchi metric
\[
\|\chi\|_u^2=\int_M |\chi|^2\,\omega_u^n,
\qquad
\omega_u:=\omega+i\partial\bar\partial u,
\]
so the generalized duality preserves both the infinite-dimensional Riemannian structure on \(\mathcal H_\omega\) and the complex Monge–Ampère measure [1608.05541].

Lempert’s subsequent analysis places this transform in the symmetric-space picture of the space of Kähler potentials. If \(u\in\mathcal H\) and \(\omega_u\) is real analytic, then there is a neighborhood \(U\subset\mathcal H\) and a \(C^\infty\) diffeomorphism \(F:U\to U\) such that
\[
F^2=\mathrm{id},
\qquad
F(u)=u,
\qquad
F_*|_{T_u\mathcal H}=-\mathrm{id},
\]
and \(F\) is an isometry of the Mabuchi metric. The converse is equally sharp: if such a \(C^\infty\) symmetry exists about \(u\), then \(\omega_u\) is real analytic. Real analyticity is therefore both the enabling condition for the diastasis construction and the rigidity criterion for fixed points of complex Legendre duality [1703.01811].

## 3. Multi-function duality, inverse Brascamp–Lieb theory, and Gaussian saturation

A further extension replaces the two-function pairing by a multi-function quadratic-coupling relation. For an orthogonal decomposition \(\mathbb R^N=\bigoplus_{i=1}^m \mathbb R^{n_i}\), positive weights \(c_i\), and a symmetric matrix \(Q\), the generalized duality relation is
\[
\prod_{i=1}^m f_i(x_i)^{c_i}\le e^{-\langle x,Qx\rangle},
\qquad
x=(x_1,\dots,x_m)\in\mathbb R^N.
\]
This contains the classical two-function inequality \(f_1(x_1)f_2(x_2)\le e^{-\langle x_1,x_2\rangle}\) and the Kolesnikov–Werner many-function relation as special cases [2409.13611].

The principal theorem states that for nonnegative even \(f_i\in L^1(\mathbb R^{n_i})\) satisfying the generalized relation,
\[
\prod_{i=1}^m \left(\int_{\mathbb R^{n_i}} f_i(x_i)\,dx_i\right)^{c_i}
\le
\sup_{A_1,\dots,A_m>0}
\prod_{i=1}^m
\left(\int_{\mathbb R^{n_i}} g_{A_i}(x_i)\,dx_i\right)^{c_i},
\]
where \(g_{A_i}(x_i)=e^{-\frac12\langle x_i,A_i x_i\rangle}\) and the supremum is over Gaussian tuples satisfying the same quadratic-coupling constraint. The Gaussian admissibility condition is
\[
\sum_{i=1}^m c_i P_i^*A_iP_i-2Q\ge 0.
\]
The proof proceeds through a degenerate inverse Brascamp–Lieb inequality, and the central structural result is centered Gaussian saturation: for a large family of degenerate Brascamp–Lieb data, the optimal constant is already attained by centered Gaussian inputs when the functions are even and log-concave [2409.13611].

This framework yields several consequences. It proves the principal Kolesnikov–Werner conjectural case of a Blaschke–Santaló inequality for multiple even functions and multiple symmetric convex bodies, and it also gives a Talagrand-type inequality for multiple even probability measures involving the Wasserstein barycenter. In this setting, generalized Legendre duality is no longer a transform of one function into one dual function; it becomes an inequality class controlled by a quadratic form and solved by a finite-dimensional Gaussian optimization problem [2409.13611].

## 4. Generalized tangent bundles and algebroid mechanics

In generalized Lie algebroid geometry, Legendre duality is formulated between a vector bundle \(E\to M\) and its dual \(E^*\to M\), together with their \((\rho,\eta)\)-generalized tangent bundles. A Lagrangian \(L:E\to\mathbb R\) defines the Legendre bundle morphism
\[
\varphi_L:E\to E^*,
\qquad
p_a=L_a=\frac{\partial L}{\partial y^a},
\]
while a Hamiltonian \(H:E^*\to\mathbb R\) defines
\[
\varphi_H:E^*\to E,
\qquad
y^a=H^a=\frac{\partial H}{\partial p_a}.
\]
Locally, when regularity holds, the identities
\[
\varphi_H\circ\varphi_L=\mathrm{Id},
\qquad
\varphi_L\circ\varphi_H=\mathrm{Id}
\]
express generalized Lagrangian–Hamiltonian inversion, and the induced generating functions satisfy
\[
H=p_ay^a-L,
\qquad
L=y^ap_a-H.
\]
The essential innovation is the \((\rho,\eta)\)-tangent lift of these bundle morphisms, which allows the transfer of generalized Lie algebroid structures, adapted \((\rho,\eta)\)-bases, distinguished linear \((\rho,\eta)\)-connections, semisprays, and Poincaré–Cartan forms [1108.5531].

The supplementary treatment of vertical and complete lifts makes this correspondence explicit at the level of lifted sections. On \(E\), a section \(u=u^a s_a\) has generalized vertical and complete lifts
\[
u^V=(u^a\circ \pi)\,\dot{\tilde\partial}_a,
\]
and
\[
u^C=
\bigl((g_e^{\ \alpha}u^e)\circ \pi\bigr)\tilde\partial_\alpha
-
U^a\bigl(K_a^{\ \gamma}(u)\circ h\circ \pi\bigr)
(\tilde g_\gamma^{\ b}\circ\pi)\,\dot{\tilde\partial}_b,
\]
with dual formulas on \(E^*\). The Legendre-type duality relation then requires the tangent Legendre maps to intertwine these lifts. In its strongest form, both tangent Legendre maps are Lie algebroid morphisms, and \(E\) and \(E^*\) are declared Legendre \((\rho,\eta)\)-equivalent [1410.8804].

## 5. Frobenius manifolds, mirror symmetry, and bundle-theoretic reformulations

Within the theory of WDVV equations and Frobenius manifolds, the classical flat Legendre generator is replaced by a non-flat Legendre field \(\partial\) satisfying
\[
X\circ \nabla_Y\partial=Y\circ \nabla_X\partial.
\]
This condition ensures that the transformed metric and connection
\[
\tilde\eta(X,Y)=\eta(\partial\circ X,\partial\circ Y),
\qquad
\tilde\nabla_XY=\partial^{-1}\circ \nabla_X(\partial\circ Y)
\]
preserve torsion-freeness, metricity, and flatness. On the almost-dual side the induced symmetry is generated not by \(\partial\) but by the twisted Legendre field
\[
\hat\partial=E\circ \partial,
\]
yielding the commuting diagram between Legendre transformation and almost-duality. This is the mechanism producing explicit maps between rational and trigonometric solutions of WDVV [1610.05538].

In mirror symmetry, the smooth Legendre transform of the semi-flat SYZ picture degenerates to the discrete Legendre transform on tropical data. A tropical manifold \((B,\mathscr P,\varphi)\) is sent to
\[
(B,\mathscr P,\varphi)\longleftrightarrow(\check B,\check{\mathscr P},\check\varphi),
\]
and the local support-function formula
\[
\varphi(n)=\max\{\langle n,m\rangle\mid m\in\Delta\}
\]
replaces smooth gradient duality. The discrete transform exchanges polytopes and fans, cone and fan pictures of degenerations, and it governs the reconstruction of mirror Landau–Ginzburg potentials. In this setting, generalized Legendre duality is a tropical and combinatorial shadow of the smooth SYZ transform [1204.5611].

A bundle-theoretic synthesis is proposed in the notion of a Legendre bundle
\[
(H,\langle\!\langle\cdot,\cdot\rangle\!\rangle,\nabla^+,\nabla^-,\Psi),
\qquad
H=H^+\oplus H^-\cong TB\oplus T^*B.
\]
The symmetric pairing is isotropic on each summand and equals canonical evaluation on mixed terms, while the Legendre morphism
\[
\mathscr L_\Psi:H^+\to H^-,
\qquad
\mathscr L_\Psi(\partial_j)=(\partial_i\partial_j\Psi)\,d\theta^i,
\]
encodes the Hessian metric \(g=D^2\Psi\) and the dual flat geometry. This formalism is equivalent to dually flat geometry, carries a canonical para-Kähler structure, and is realized both by exponential families in information geometry and by Hessian QFTs viewed as formal deformations over a parameter \(u\) [2604.04865].

## 6. Thermodynamic, spectral, and statistical-mechanical reinterpretations

In nonequilibrium transport networks, generalized Legendre duality is organized around conjugate branch variables \(J\) and \(X\) satisfying
\[
X=R(J)J,
\qquad
J=C(X)X.
\]
The corresponding transport potentials are the content
\[
\Phi(J)=\int_0^J X(J')\,dJ'
\]
and the co-content
\[
\Psi(X)=\int_0^X J(X')\,dX',
\]
and at the operating point they satisfy the exact Legendre relation
\[
\Psi(X)=XJ-\Phi(J),
\qquad
\Phi(J)=XJ-\Psi(X),
\qquad
\Psi+\Phi=XJ.
\]
The combined Gyarmati Lagrangian
\[
\mathcal L=XJ-\Psi-\Phi
\]
vanishes on the constitutive manifold and is interpreted as a nonequilibrium analogue of thermodynamic availability. In this framework, extremizations of generalized dissipation and entropy production appear only as special cases, requiring power-law resistances and, for entropy production, isothermal conditions [2506.15727].

In thermal large-\(N\) quantum field theory, the same phrase is used for a spectral correspondence between retarded correlators in Legendre-transformed or double-trace-deformed theories. For a meromorphic correlator \(G(\omega)\), with poles \(\{\omega_n^+\}\) and zeros \(\{\omega_n^-\}\), the spectral product
\[
S(\omega)=\prod_n \left(1-\frac{\omega}{\omega_n^+}\right)\left(1+\frac{\omega}{\omega_n^-}\right)
\]
satisfies
\[
S(\omega)-S(-\omega)=2i\lambda \sinh\frac{\beta\omega}{2}.
\]
At fixed points related by a Legendre transform of generating functionals, the two-point functions obey
\[
G_+(\omega)G_-(\omega)=-1,
\]
so poles of one correlator become zeros of the other. The generalized relation is therefore a spectral incarnation of functional Legendre duality rather than a new transform on convex functions [2509.18074].

A statistical-mechanical variant appears in the Legendre duality between spherical and Gaussian spin glasses. Writing \(r=R^2\), the Gaussian free energy satisfies
\[
A^g(\beta,\lambda)
=
\max_{r>0}
\left\{
A^{sf}(\beta,r)
-\frac{\beta^2}{4}r^2
+\frac{\lambda-1}{2}r
+\frac12\log r
+\frac12
\right\},
\]
with inverse formula
\[
A^{sf}(\beta,r)
=
\min_{\lambda}
\left\{
A^g(\beta,\lambda)
+\frac{\beta^2}{4}r^2
+\frac{1-\lambda}{2}r
-\frac12\log r
-\frac12
\right\}.
\]
This is a generalized convex-conjugacy relation produced by shell decomposition and an equivalence-of-ensembles argument, with explicit correction terms coming from quartic regularization, quadratic confinement, and radial entropy [1409.0062].

## 7. Recurring structures, hypotheses, and scope

Across these constructions, several structural motifs recur. A generalized Legendre duality relation typically replaces the Euclidean bilinear term by another dualizing device: an affine deformation in convex analysis, Calabi’s diastasis in Kähler geometry, a quadratic coupling \(\langle x,Qx\rangle\) in the multi-function setting, a bundle morphism \(TB\to T^*B\) in dually flat geometry, or a spectral product built from poles and zeros in thermal QFT. What remains recognizable is a passage between paired descriptions together with some combination of order reversal, involutivity, equality at constitutive compatibility, or preservation of geometric data.

The hypotheses, however, are highly setting-dependent. The affine-deformation theorem is finite-dimensional and formulated on \(\Gamma_0(\mathbb R^m)\) with \(\lambda>0\) and \(A\in GL(\mathbb R^m)\) [2507.20577]. The Kähler transform is local in the space of potentials and requires a compact real analytic Kähler manifold, with involutivity only on a \(C^2\)-small neighborhood of the background metric [1608.05541]. The multi-function quadratic-coupling theorem is proved for even inputs, and Gaussian saturation for the inverse Brascamp–Lieb inequality is established when inputs are even and log-concave [2409.13611]. The spectral relation requires meromorphic retarded correlators, the thermal product formula, and a large-\(N\) regime with simple poles and zeros [2509.18074]. In nonequilibrium transport, dissipation and entropy-production extremizations are not universal consequences of duality but restricted specializations [2506.15727].

Taken together, these works present generalized Legendre duality not as a single theorem with a single ambient category, but as a persistent mathematical pattern: a rule for passing between dual variables, dual functions, dual geometries, or dual spectra while retaining a strong remnant of classical Legendre structure. In some contexts that remnant is strict involution; in others it is affine equivalence to ordinary conjugacy, an exact Fenchel–Young-type identity, a local Mabuchi isometry, Gaussian extremality, or a transfer principle between Lagrangian and Hamiltonian descriptions.

Source: https://www.emergentmind.com/topics/generalized-legendre-duality-relation