Pell’s equation, sum-of-squares and equilibrium measures on a compact set
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 equi...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Académie des sciences
2023-07-01
|
| Series: | Comptes Rendus. Mathématique |
| Online Access: | https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.465/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1825206209036156928 |
|---|---|
| author | Lasserre, Jean B. |
| author_facet | Lasserre, Jean B. |
| author_sort | Lasserre, Jean B. |
| collection | DOAJ |
| description | 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 $\mu $ of the interval $[-1,1]$ and the measure $(1-x^2)\mathrm{d}\mu $. We next extend this point of view to arbitrary compact basic semi-algebraic set $S\subset \mathbb{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 $\mu $ of $S$ and (ii), measures $g\mathrm{d}\mu $ 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. |
| format | Article |
| id | doaj-art-18ca7a2c09c34378948a07ad629a7da0 |
| institution | Kabale University |
| issn | 1778-3569 |
| language | English |
| publishDate | 2023-07-01 |
| publisher | Académie des sciences |
| record_format | Article |
| series | Comptes Rendus. Mathématique |
| spelling | doaj-art-18ca7a2c09c34378948a07ad629a7da02025-02-07T11:08:08ZengAcadémie des sciencesComptes Rendus. Mathématique1778-35692023-07-01361G593595210.5802/crmath.46510.5802/crmath.465Pell’s equation, sum-of-squares and equilibrium measures on a compact setLasserre, Jean B.0https://orcid.org/0000-0003-0860-9913LAAS-CNRS and Institute of Mathematics, BP 54200, 7 Avenue du Colonel Roche, 31031 Toulouse cedex 4, FranceWe 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 $\mu $ of the interval $[-1,1]$ and the measure $(1-x^2)\mathrm{d}\mu $. We next extend this point of view to arbitrary compact basic semi-algebraic set $S\subset \mathbb{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 $\mu $ of $S$ and (ii), measures $g\mathrm{d}\mu $ 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.https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.465/ |
| spellingShingle | Lasserre, Jean B. Pell’s equation, sum-of-squares and equilibrium measures on a compact set Comptes Rendus. Mathématique |
| title | Pell’s equation, sum-of-squares and equilibrium measures on a compact set |
| title_full | Pell’s equation, sum-of-squares and equilibrium measures on a compact set |
| title_fullStr | Pell’s equation, sum-of-squares and equilibrium measures on a compact set |
| title_full_unstemmed | Pell’s equation, sum-of-squares and equilibrium measures on a compact set |
| title_short | Pell’s equation, sum-of-squares and equilibrium measures on a compact set |
| title_sort | pell s equation sum of squares and equilibrium measures on a compact set |
| url | https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.465/ |
| work_keys_str_mv | AT lasserrejeanb pellsequationsumofsquaresandequilibriummeasuresonacompactset |