| Property |
Value |
| dbo:abstract
|
- Le dix-septième problème de Hilbert est l'un des vingt-trois problèmes de Hilbert, posés par David Hilbert en 1900. Il s'agissait, dans celui-là, de montrer que toute fonction rationnelle à coefficients réels positive (i.e. ne prenant que des valeurs positives) est somme de carrés de fonctions rationnelles sur ℝ. Il a été résolu en 1927 par Emil Artin, sur ℝ et plus généralement sur tout corps réel clos. Une démonstration par la théorie des modèles a été trouvée par le logicien Abraham Robinson. Une solution algorithmique a été trouvée en 1984 par Charles Delzell. Un résultat de Albrecht Pfister montre que toute forme positive en n variables est somme de 2n carrés. Dubois a prouvé en 1967 que le théorème ne se généralise pas à un corps ordonné quelconque. Dans ce cas, on peut seulement affirmer que tout (en) est combinaison linéaire à coefficients positifs de carrés de fonctions rationnelles. Gondard-Ribenboim et Procesi-Schacher ont donné une généralisation matricielle — toute matrice de fractions rationnelles qui ne prend que des valeurs positives est somme de carrés de matrices symétriques — et Hillar-Nie en ont trouvé une démonstration élémentaire. La formulation par Hilbert de son 17e problème (équivalente à la formulation ci-dessus) était : montrer que tout polynôme positif à coefficients réels est somme de carrés de fonctions rationnelles sur ℝ. Hilbert avait démontré en 1888 qu'un tel polynôme n'est pas nécessairement somme de carrés de polynômes mais Motzkin fut le premier, en 1966, à donner un contre-exemple explicite : X4Y2 + X2Y4 – 3X2Y2 + 1. On connaît des conditions suffisantes explicites pour qu'un polynôme soit somme de carrés de polynômes. Un polynôme positif est tout de même toujours limite (pour la norme ℓ1 sur les coefficients) de sommes de carrés de polynômes. Une question encore ouverte est d'expliciter le plus petit nombre v(n, d) tel que tout polynôme positif de degré d en n variables est somme de v(n, d) carrés de fonctions rationnelles réelles. Le meilleur résultat connu en 2008 est la majoration trouvée par Pfister en 1967 : v(n, d) ≤ 2n. L'analogue hermitien en analyse complexe, en remplaçant les carrés de fonctions rationnelles par des carrés de normes de fonctions holomorphes, est plus difficile, mais vrai pour les polynômes positifs, d'après un résultat de Quillen. Cependant, le résultat de Pfister ne s'étend pas à ce cas, c'est-à-dire que le nombre de carrés nécessaires n'est pas borné. (fr)
- Le dix-septième problème de Hilbert est l'un des vingt-trois problèmes de Hilbert, posés par David Hilbert en 1900. Il s'agissait, dans celui-là, de montrer que toute fonction rationnelle à coefficients réels positive (i.e. ne prenant que des valeurs positives) est somme de carrés de fonctions rationnelles sur ℝ. Il a été résolu en 1927 par Emil Artin, sur ℝ et plus généralement sur tout corps réel clos. Une démonstration par la théorie des modèles a été trouvée par le logicien Abraham Robinson. Une solution algorithmique a été trouvée en 1984 par Charles Delzell. Un résultat de Albrecht Pfister montre que toute forme positive en n variables est somme de 2n carrés. Dubois a prouvé en 1967 que le théorème ne se généralise pas à un corps ordonné quelconque. Dans ce cas, on peut seulement affirmer que tout (en) est combinaison linéaire à coefficients positifs de carrés de fonctions rationnelles. Gondard-Ribenboim et Procesi-Schacher ont donné une généralisation matricielle — toute matrice de fractions rationnelles qui ne prend que des valeurs positives est somme de carrés de matrices symétriques — et Hillar-Nie en ont trouvé une démonstration élémentaire. La formulation par Hilbert de son 17e problème (équivalente à la formulation ci-dessus) était : montrer que tout polynôme positif à coefficients réels est somme de carrés de fonctions rationnelles sur ℝ. Hilbert avait démontré en 1888 qu'un tel polynôme n'est pas nécessairement somme de carrés de polynômes mais Motzkin fut le premier, en 1966, à donner un contre-exemple explicite : X4Y2 + X2Y4 – 3X2Y2 + 1. On connaît des conditions suffisantes explicites pour qu'un polynôme soit somme de carrés de polynômes. Un polynôme positif est tout de même toujours limite (pour la norme ℓ1 sur les coefficients) de sommes de carrés de polynômes. Une question encore ouverte est d'expliciter le plus petit nombre v(n, d) tel que tout polynôme positif de degré d en n variables est somme de v(n, d) carrés de fonctions rationnelles réelles. Le meilleur résultat connu en 2008 est la majoration trouvée par Pfister en 1967 : v(n, d) ≤ 2n. L'analogue hermitien en analyse complexe, en remplaçant les carrés de fonctions rationnelles par des carrés de normes de fonctions holomorphes, est plus difficile, mais vrai pour les polynômes positifs, d'après un résultat de Quillen. Cependant, le résultat de Pfister ne s'étend pas à ce cas, c'est-à-dire que le nombre de carrés nécessaires n'est pas borné. (fr)
|
| dbo:isPartOf
| |
| dbo:namedAfter
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 8358 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1976 (xsd:integer)
- 1993 (xsd:integer)
|
| prop-fr:auteursOuvrage
| |
| prop-fr:collection
|
- London Mathematical Society Lecture Note Series (fr)
- Proc. Symp. Pure Math. (fr)
- London Mathematical Society Lecture Note Series (fr)
- Proc. Symp. Pure Math. (fr)
|
| prop-fr:fr
|
- Positivstellensatz de Stengle (fr)
- polynôme positif (fr)
- somme de carrés de polynômes (fr)
- Positivstellensatz de Stengle (fr)
- polynôme positif (fr)
- somme de carrés de polynômes (fr)
|
| prop-fr:isbn
| |
| prop-fr:lang
| |
| prop-fr:langue
| |
| prop-fr:lieu
|
- Cambridge (fr)
- Cambridge (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:nom
|
- Pfister (fr)
- Rajwade (fr)
- Pfister (fr)
- Rajwade (fr)
|
| prop-fr:numéroDansCollection
|
- 171 (xsd:integer)
- XXVIII.2 (fr)
|
| prop-fr:pagesTotales
| |
| prop-fr:passage
| |
| prop-fr:prénom
|
- A. R. (fr)
- Albrecht (fr)
- A. R. (fr)
- Albrecht (fr)
|
| prop-fr:titre
|
- Squares (fr)
- Hilbert's seventeenth problem and related problems on definite forms (fr)
- Squares (fr)
- Hilbert's seventeenth problem and related problems on definite forms (fr)
|
| prop-fr:titreOuvrage
|
- Mathematical Developments Arising from Hilbert Problems (fr)
- Mathematical Developments Arising from Hilbert Problems (fr)
|
| prop-fr:trad
|
- Polynomial SOS (fr)
- Positive polynomial (fr)
- Stengle's Positivstellensatz (fr)
- Polynomial SOS (fr)
- Positive polynomial (fr)
- Stengle's Positivstellensatz (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- Le dix-septième problème de Hilbert est l'un des vingt-trois problèmes de Hilbert, posés par David Hilbert en 1900. Il s'agissait, dans celui-là, de montrer que toute fonction rationnelle à coefficients réels positive (i.e. ne prenant que des valeurs positives) est somme de carrés de fonctions rationnelles sur ℝ. Dubois a prouvé en 1967 que le théorème ne se généralise pas à un corps ordonné quelconque. Dans ce cas, on peut seulement affirmer que tout (en) est combinaison linéaire à coefficients positifs de carrés de fonctions rationnelles. (fr)
- Le dix-septième problème de Hilbert est l'un des vingt-trois problèmes de Hilbert, posés par David Hilbert en 1900. Il s'agissait, dans celui-là, de montrer que toute fonction rationnelle à coefficients réels positive (i.e. ne prenant que des valeurs positives) est somme de carrés de fonctions rationnelles sur ℝ. Dubois a prouvé en 1967 que le théorème ne se généralise pas à un corps ordonné quelconque. Dans ce cas, on peut seulement affirmer que tout (en) est combinaison linéaire à coefficients positifs de carrés de fonctions rationnelles. (fr)
|
| rdfs:label
|
- Bài toán thứ mười bảy của Hilbert (vi)
- Decimoséptimo problema de Hilbert (es)
- Dix-septième problème de Hilbert (fr)
- Décimo-sétimo problema de Hilbert (pt)
- Hilbert's seventeenth problem (en)
- Hilberts sjuttonde problem (sv)
- 希爾伯特第十七問題 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
