Legendre Parameterizations

• Legendre Parameterizations are explicit schemes that organize duality, eigenstructure, or deformation in various mathematical settings.
• They encompass affine reparameterizations in convex analysis, spectral indexing in Legendre polynomials, and analytic continuations in associated functions.
• These parameterizations underpin applications in information geometry, operator theory, tensor analysis, and even combinatorial graph labeling.

In the literature covered here, Legendre parameterizations names several related but nonidentical constructions. In convex analysis, it refers to affine reparameterizations of ordinary Legendre–Fenchel duality; in classical analysis, it refers to families indexed by the Legendre degree $n$, or by continuous degree $\nu$ and order $\mu$; in differential and information geometry, it refers to primal–dual coordinate systems generated by a convex potential; and in several applied settings it denotes explicit parameter schemes that preserve Legendre structure under deformation, modular substitution, tensor factorization, or dynamical evolution (Nielsen, 28 Jul 2025, Lima, 2022, Combe et al., 6 Apr 2026).

1. Multiple mathematical senses of the term

A common feature of these usages is that a Legendre object is controlled by an explicit parameter space that organizes duality, eigenstructure, or deformation. The parameters may be affine data $(\lambda,A,b,c,d)$ in convex conjugacy, an integer degree $n$ in spherical Sturm–Liouville theory, continuous parameters $(\nu,\mu)$ in associated Legendre functions, or primal–dual coordinates $(\theta,\eta)$ on a dually flat manifold (Nielsen, 28 Jul 2025, Lima, 2022, Combe et al., 6 Apr 2026).

Context	Parameters	Core relation
Convex duality	$(\lambda,A,b,c,d)$	$$F_P(\theta)=\lambda F(A\theta+b)+\langle \theta,c\rangle+d$$
Legendre polynomials	$n\in \mathbb N_0$	$\nu$0, $\nu$1
Associated Legendre functions	$\nu$2	$\nu$3 as analytic families
Hessian / information geometry	$\nu$4	$\nu$5, $\nu$6

This variety is not terminological drift alone. It reflects the fact that the Legendre transform links several structures that are naturally parameterized: convex potentials and their conjugates, Sturm–Liouville eigenmodes, hypergeometric families, and dual affine geometries.

2. Affine parameterizations of Legendre–Fenchel duality

In the convex-analytic setting, Nielsen’s note shows that the generalized Legendre transforms characterized by Artstein-Avidan and Milman are not new dualities but ordinary Legendre–Fenchel conjugacies applied to affine-deformed functions (Nielsen, 28 Jul 2025). The ambient space is

$\nu$7

the class of proper lower-semicontinuous convex functions $\nu$8, and the ordinary transform is

$\nu$9

The Moreau–Fenchel–Rockafellar theorem provides involutivity on $\mu$0: $\mu$1

The key parameterization is a quintuple

$\mu$2

acting on $\mu$3 by

$\mu$4

Nielsen proves that this affine deformation is transported through ordinary conjugacy by an involutive parameter map

$\mu$5

with

$\mu$6

This yields the reduction theorem for the Artstein-Avidan–Milman class. If

$\mu$7

then there is an affine deformation of the primal function,

$\mu$8

such that

$\mu$9

The paper’s central interpretive claim is therefore that generalized Legendre transforms are best understood as affine reparameterizations of classical Legendre duality, not as distinct conjugacy operations. A common misconception in this area is that the generalized transforms define genuinely new dualities; the note argues the opposite.

The same paper sketches an information-geometric reading. For a smooth strictly convex potential $(\lambda,A,b,c,d)$0, affine changes of coordinates and affine corrections of the potential correspond to gauge freedoms of a dually flat structure. In that reading, the parameter family $(\lambda,A,b,c,d)$1 expresses changes of affine chart and scaling, while the underlying Legendre geometry remains the same.

3. Discrete spectral parameterizations: Legendre polynomials

In the classical theory of Legendre polynomials, parameterization means indexing bounded angular eigenfunctions by the integer degree $(\lambda,A,b,c,d)$2 (Lima, 2022). Starting from the axially symmetric Laplace equation in spherical coordinates and separating variables,

$(\lambda,A,b,c,d)$3

the angular equation becomes

$(\lambda,A,b,c,d)$4

With

$(\lambda,A,b,c,d)$5

this becomes Legendre’s differential equation

$(\lambda,A,b,c,d)$6

Polynomial solutions occur precisely for the discrete spectrum

$(\lambda,A,b,c,d)$7

and the normalized polynomial is $(\lambda,A,b,c,d)$8 with

$(\lambda,A,b,c,d)$9

This is the standard spectral parameterization: the same integer $n$0 labels the eigenvalue $n$1, the polynomial $n$2, its parity, and the angular mode $n$3. The parity rule is

$n$4

The lecture notes collect the usual explicit constructions. The Rodrigues formula is

$n$5

and the generating function is

$n$6

The orthogonality relation is

$n$7

which underlies Fourier–Legendre expansions

$n$8

The notes also emphasize shifted Legendre polynomials

$n$9

which reparameterize the family onto $(\nu,\mu)$0. Their shifted Rodrigues formula,

$(\nu,\mu)$1

supports Beukers-type integration-by-parts identities used in irrationality proofs. In this classical setting, Legendre parameterization is therefore discrete, spectral, and Sturm–Liouville in character.

4. Continuous degree and order parameterizations

A second major meaning of the phrase concerns the analytic family $(\nu,\mu)$2 and its dependence on continuous degree $(\nu,\mu)$3 and order $(\nu,\mu)$4. Zhou treats $(\nu,\mu)$5 as a degree-parameterized analytic family with the symmetry

$(\nu,\mu)$6

and uses this viewpoint to derive identities linking Legendre functions, finite Hilbert transforms, spherical rotations, and complete elliptic integrals (Zhou, 2013). In particular, special fractional degrees such as $(\nu,\mu)$7 admit explicit elliptic or modular parameterizations.

At the local analytic level, Szmytkowski derives degree derivatives at $(\nu,\mu)$8, giving a Maclaurin parameterization in the degree variable: $(\nu,\mu)$9

$(\theta,\eta)$0

$(\theta,\eta)$1

These formulas show that degree differentiation naturally produces polylogarithms of increasing order (Szmytkowski, 2013).

A complementary parameterization fixes degree and shifts order. Cohl derives multi-derivative and multi-integral formulas in which repeated differentiation raises or lowers $(\theta,\eta)$2 while leaving $(\theta,\eta)$3 fixed; for example,

$(\theta,\eta)$4

together with analogous formulas for $(\theta,\eta)$5, Ferrers functions, and repeated integrals (Cohl et al., 2013). This produces a systematic order-parameter calculus.

Cohl also justifies differentiation under the integral sign in Bessel-integral representations, which yields explicit derivatives with respect to degree at odd-half-integer degrees and with respect to order at integer orders (Cohl, 2011). That result is important because many toroidal and Whipple-type parameterizations live precisely at half-odd-integer degrees.

Maier addresses fractional-degree parameterizations of the form

$(\theta,\eta)$6

showing that these cases can be algebraically transformed to the classical half-odd-integer case and hence reduced to complete elliptic integrals (Maier, 2016). Paris, by contrast, studies the asymptotic regime

$(\theta,\eta)$7

obtaining saddle-point expansions for associated Legendre functions with large real degree and large imaginary order, including a cubic-root transition at

$(\theta,\eta)$8

This is a distinctly asymptotic parameterization, tailored to coupled degree–order scaling (Paris, 2016).

5. Geometric parameterizations: dual coordinates, Kähler duality, and cotangent graphs

In differential and information geometry, Legendre parameterizations organize primal and dual affine structures. The Legendre bundle introduced by Felice, Gibilisco, and collaborators packages this into a split bundle

$(\theta,\eta)$9

together with a strictly convex potential $(\lambda,A,b,c,d)$0, dual coordinates

$(\lambda,A,b,c,d)$1

and a Legendre morphism

$(\lambda,A,b,c,d)$2

The resulting structure is equivalent to a dually flat or Hessian manifold, and the bundle carries a canonical para-Kähler structure with

$(\lambda,A,b,c,d)$3

and

$(\lambda,A,b,c,d)$4

(Combe et al., 6 Apr 2026). In exponential families, this reproduces the standard natural/expectation parameterization by $(\lambda,A,b,c,d)$5.

Complex Legendre duality extends the same idea to Kähler geometry. Berndtsson, Cordero-Erauskin, Klartag, and Rubinstein define, near a real analytic Kähler metric $(\lambda,A,b,c,d)$6, a local transform

$(\lambda,A,b,c,d)$7

where $(\lambda,A,b,c,d)$8 is Calabi’s diastasis (Berndtsson et al., 2016). For small $(\lambda,A,b,c,d)$9, the supremum is attained at a unique point $$F_P(\theta)=\lambda F(A\theta+b)+\langle \theta,c\rangle+d$$0, the generalized gradient map, and the transform satisfies

$$F_P(\theta)=\lambda F(A\theta+b)+\langle \theta,c\rangle+d$$1

together with the pullback identity

$$F_P(\theta)=\lambda F(A\theta+b)+\langle \theta,c\rangle+d$$2

Its differential is

$$F_P(\theta)=\lambda F(A\theta+b)+\langle \theta,c\rangle+d$$3

so $$F_P(\theta)=\lambda F(A\theta+b)+\langle \theta,c\rangle+d$$4 becomes a local isometry of the Mabuchi metric around the base point.

Lempert and Rubinstein then prove a rigidity statement: if a $$F_P(\theta)=\lambda F(A\theta+b)+\langle \theta,c\rangle+d$$5 symmetry of the space of Kähler potentials exists about $$F_P(\theta)=\lambda F(A\theta+b)+\langle \theta,c\rangle+d$$6, the fixed point metric $$F_P(\theta)=\lambda F(A\theta+b)+\langle \theta,c\rangle+d$$7 must be real analytic (Lempert, 2017). The parameterization is therefore local not only in function space but also in regularity class.

A related symplectic viewpoint appears in the Symplectic Reservoir framework, where a Legendre parameterization is the cotangent graph

$$F_P(\theta)=\lambda F(A\theta+b)+\langle \theta,c\rangle+d$$8

The maps preserving all Legendre graphs are exactly symplectomorphisms of the form

$$F_P(\theta)=\lambda F(A\theta+b)+\langle \theta,c\rangle+d$$9

that is, a cotangent lift followed by exact fiber translation (Fong et al., 22 Dec 2025). This characterizes Legendre-preserving dynamics geometrically.

6. Spectral and operator-theoretic parameterizations

In the theory of Legendre multiplier sequences, the natural parameter is not the index $n\in \mathbb N_0$0 alone but the spectral quantity

$n\in \mathbb N_0$1

the eigenvalue of the Legendre differential operator

$n\in \mathbb N_0$2

on $n\in \mathbb N_0$3, since

$n\in \mathbb N_0$4

Piotrowski, Wray, and collaborators prove that if a Legendre multiplier sequence is polynomially interpolated, $n\in \mathbb N_0$5, then necessarily

$n\in \mathbb N_0$6

for some polynomial $n\in \mathbb N_0$7 (Chasse et al., 2017). Thus polynomial dependence on $n\in \mathbb N_0$8 must factor through the Legendre spectral parameter. This gives a strong form of Legendre parameterization at the operator level.

The same paper proves a nontrivial sufficiency class: if

$n\in \mathbb N_0$9

with

$\nu$00

then $\nu$01 is a Legendre multiplier sequence. The broader classification remains open.

An earlier paper gives complete classifications for several elementary parameter families (Blakeman et al., 2011). Nonconstant linear sequences $\nu$02 are not Legendre multiplier sequences. Quadratic sequences are Legendre precisely in the monic family

$\nu$03

and the corresponding diagonal operator is

$\nu$04

Geometric sequences $\nu$05 are Legendre only when $\nu$06. These results reinforce the point that Legendre-compatible parameterizations are much more rigid than classical multiplier-sequence parameterizations.

7. Further constructions and applications

Several later works extend the idea of Legendre parameterization into specialized applied domains. Zudilin studies the generating series

$\nu$07

and parameterizes it by an auxiliary variable $\nu$08 through algebraic functions $\nu$09 and $\nu$10, obtaining a bridge to an Apéry-like sequence $\nu$11 and then to Cooper’s level-7 modular function

$\nu$12

(Zudilin, 2012). Here the Legendre parameterization is modular and generating-function based.

In nonnegative tensor analysis, Sugiyama, Nakahara, and Tsuda define a Legendre decomposition on a poset-indexed tensor space by the multiplicative model

$\nu$13

equivalently

$\nu$14

with dual coordinates

$\nu$15

Because $\nu$16 form dual information-geometric coordinates, the reconstructed tensor is the unique $\nu$17-projection minimizing

$\nu$18

over the chosen $\nu$19-flat model family (Sugiyama et al., 2018). This is a genuinely information-geometric Legendre parameterization.

Gómez-Ullate, Grandati, and Milson construct multi-parameter exceptional Legendre polynomial families by confluent Darboux transformations. The deformation is encoded by

$\nu$20

where $\nu$21 is a tuple of spectral indices and $\nu$22. The exceptional operator

$\nu$23

is isospectral with the classical Legendre operator, while the regular orthogonality regime is exactly

$\nu$24

(García-Ferrero et al., 2020). Here the parameterization is a finite-dimensional real deformation theory of exceptional Legendre systems.

A more remote but structurally similar use occurs in $\nu$25-Fibonacci-Legendre cordial graphs, where a vertex labeling $\nu$26 induces binary edge labels by

$\nu$27

when the sum is nonzero mod $\nu$28, with a separate rule for zero. The balancing condition is controlled by the counts

$\nu$29

over one $\nu$30-Pisano period, leading to the notion of $\nu$31-Pisano-Legendre primes (Andoyo, 15 Jan 2026). In this combinatorial setting, Legendre parameterization means indexing graph labels by generalized Fibonacci data and quadratic residuosity.

Across these disparate constructions, the recurrent pattern is the same: a Legendre object is not treated as isolated, but as part of a parameterized family whose coordinates expose symmetry, duality, or spectral organization. That shared structure is what gives the phrase “Legendre parameterizations” its coherence across convex analysis, special functions, geometry, and applications.