Polynômes positifs et sommes de carrés : théorie et pratique
Positive Polynomials and Sums of Squares: Theory and Practice
Panoramas et Synthèses | 2017
Anglais
Un polynôme réel $f$ qui est une somme de carrés de polynômes réels est clairement positif sur $\mathbb {R}^n$. L'écriture de $f$ comme somme de carrés est donc un certificat de positivité pour $f$. En généralisant ce type de remarques, de nombreux résultats théoriques mais aussi calculatoires ont été obtenus concernant les polynômes positifs. Dans ce texte, on revient sur l'historique du sujet et on décrit les résultats récents, théoriques et algorithmiques, liés aux certificats de positivité.
Sommes de carrés, polynômes positifs, certificats de positivité, 17<sup>e</sup> problème de Hilbert, Positivstellensätze.