Certificats de positivité et minimisation polynomiale dans la base de Bernstein multivariée

par Richard Leroy

Thèse de doctorat en Mathématiques et applications

Sous la direction de Marie-Françoise Coste-Roy.

Soutenue en 2008

à Rennes 1 .


  • Résumé

    L’étude des polynômes réels en plusieurs variables est un problème classique en géométrie algébrique réelle et en calcul formel. Plusieurs questions sont naturelles : positivité éventuelle, calcul du minimum. . . Nous nous proposons, dans cette thèse, d’étudier ces questions dans le cas particulier où l’étude est menée sur un simplexe de Rk. L’outil essentiel dans notre travail est la base de Bernstein, plus adaptée à la situation que la traditionnelle base des monômes. Elle jouit notamment de propriétés de positivité et d’encadrement essentiels à notre étude. Elle permet tout d’abord d’obtenir un algorithme décidant si un polynôme f est positif sur un simplexe V , et le cas échéant, fournissant une écriture de f rendant triviale cette positivité : on parle de certificat de positivité. En outre, elle est à l’origine d’un algorithme de minimisation polynomiale sur un simplexe. Ces deux algorithmes sont certifiés, et l’étude de leur complexité est menée dans cette thèse. Ils ont également fait l’objet d’implémentation sur ordinateur.

  • Titre traduit

    Certificates of positivity and polynomial minimization in the multivariate Bernstein basis


  • Résumé

    When dealing with multivariate real polynomials, two natural questions arise : decide if a given polynomial is positive and compute its minimum. This thesis is devoted to those problems when the study is led on a simplex of Rk. The main tool is the Bernstein basis, more suited in this case than the traditional monomial basis. In particular, its positivity and bounding properties are essential. We first derive an algorithm deciding if a given polynomial f is positive on a simplex V of Rk, and giving, if need be, an expression of f that makes its positivity trivial : a so-called certificate of positivity. We also derive an algorithm for minimizing a polynomial f over a simplex V. Both algorithms are certified, and their complexity is studied in this thesis.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (114 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 113-114

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 2008/93
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.