Pell's equation, sum-of-squares and equilibrium measures of a compact set - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes
Journal Articles Comptes Rendus. Mathématique Year : 2023

Pell's equation, sum-of-squares and equilibrium measures of a compact set

Abstract

We first interpret Pell's equation satisfied by Chebyshev polynomials for each degree t, as a certain Positivstellensatz, which then yields for each integer t, what we call a generalized Pell's equation, satisfied by reciprocals of Christoffel functions of "degree" 2t, associated with the equilibrium measure µ of the interval [−1, 1] and the measure (1 − x 2)dµ. We next extend this point of view to arbitrary compact basic semi-algebraic set S ⊂ R n and obtain a generalized Pell's equation (by analogy with the interval [−1, 1]). Under some conditions, for each t the equation is satisfied by reciprocals of Christoffel functions of "degree" 2t associated with (i) the equilibrium measure µ of S and (ii), measures gdµ for an appropriate set of generators g of S. These equations depend on the particular choice of generators that define the set S. In addition to the interval [−1, 1], we show that for t = 1, 2, 3, the equations are indeed also satisfied for the equilibrium measures of the 2D-simplex, the 2D-Euclidean unit ball and unit box. Interestingly, this view point connects orthogonal polynomials, Christoffel functions and equilibrium measures on one side, with sum-of-squares, convex optimization and certificates of positivity in real algebraic geometry on another side.
Fichier principal
Vignette du fichier
Pell-final-arxiv.pdf (383.94 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03813195 , version 1 (13-10-2022)
hal-03813195 , version 2 (18-01-2023)

Licence

Identifiers

Cite

Jean-Bernard Lasserre. Pell's equation, sum-of-squares and equilibrium measures of a compact set. Comptes Rendus. Mathématique, 2023, 361 (1), pp.935-952. ⟨10.5802/crmath.465⟩. ⟨hal-03813195v2⟩
60 View
82 Download

Altmetric

Share

More