Positivstellensatz von Krivine und Stengle

Der Vorlage:Lang von Krivine und Stengle ist eine Charakterisierung positiver Polynome auf semialgebraischen Mengen über reell abgeschlossenen Körpern, insbesondere auch über den reellen Zahlen. Er fällt in das Gebiet der reellen algebraischen Geometrie.

Der Satz kann als reelles Analogon zum Hilbertschen Nullstellensatz verstanden werden. Er wurde 1964 von Jean-Louis Krivine und 1974 von Gilbert Stengle bewiesen.

Aussage

Sei $R$ ein reell abgeschlossener Körper, betrachte den Polynomring $R[𝐱]=R[x_1,\dots ,x_n]$ über $R$ in $n$ Variablen. Seien $F=\{f_1,\dots ,f_m\}$ und $G=\{g_1,\dots ,g_r\}$ endliche Teilmengen von $R[𝐱]$. Betrachte die semialgebraische Menge

$W=\{x\in R^n\mid \mathrm{\forall }f\in F,f(x)\ge 0;\mathrm{\forall }g\in G,g(x)=0\}$

und definiere die dazugehörige Präordnung

$P(F,G)=\{\sum _{\alpha \in \{0,1{\}}^m}{\sigma }_{\alpha }{f}_1^{{\alpha }_1}\cdots f_m^{{\alpha }_m}+\sum _{\ell =1}^r{\phi }_{\ell }{g}_{\ell }|{\sigma }_{\alpha }\in {\mathrm{\Sigma }}^2[𝐱];{\phi }_{\ell }\in R[𝐱]\}.$

Dabei ist ${\mathrm{\Sigma }}^2[𝐱]$ die Menge der Quadratsummen in $R[𝐱]$, also die Menge aller endlichen Summen quadrierter Polynome. Alle Polynome in $P(F,G)$ sind offensichtlich nichtnegativ auf $W$, man kann $P(F,G)$ somit als "algebraisches Zertifikat" für Nichtnegativität auf $W$ sehen. Der Positivstellensatz qualifiziert, inwiefern dieses algebraische Zertifikat alle nichtnegativen Polynome abdeckt.

Sei $p\in R[𝐱]$ ein Polynom. Der Positivstellensatz von Krivine und Stengle besagt:

(i) Es gilt $\mathrm{\forall }x\in Wp(x)\ge 0$ genau dann, wenn $\mathrm{\exists }{q}_1,q_2\in P(F,G),s\in \mathbb{Z}:q_{1}p=p^{2s}+q_2.$

(ii) Es gilt $\mathrm{\forall }x\in Wp(x)>0$ genau dann, wenn $\mathrm{\exists }{q}_1,q_2\in P(F,G):q_{1}p=1+q_2.$

Varianten

Die folgenden Sätze sind Spezialisierungen des Positivstellensatzes von Krivine und Stengle unter stärkeren Annahmen. Sie finden unter anderem Anwendung in der polynomiellen Optimierung.

Positivstellensatz von Schmüdgen

Betrachte den Fall $R=ℝ$ und $G=\mathrm{\varnothing }$. Ist die semialgebraische Menge $W=\{x\in {ℝ}^n\mid \mathrm{\forall }f\in F,f(x)\ge 0\}$ kompakt, so gilt

$$\mathrm{\forall }x\in W:p(x)>0⟺p\in P(F,\mathrm{\varnothing }).$$

für jedes Polynom $p\in ℝ[𝐱]$. Der Positivstellensatz von Schmüdgen ist für $R=ℝ$ formuliert und gilt im Allgemeinen nicht für alle reell abgeschlossenen Körper.

Positivstellensatz von Putinar

Betrachte anstatt von $P(F,G)$ den quadratischen Modul

$Q(F,G)=\{{\sigma }_0+\sum _{j=1}^m{\sigma }_j{f}_j+\sum _{\ell =1}^r{\phi }_{\ell }{g}_{\ell }|{\sigma }_j\in {\mathrm{\Sigma }}^2[𝐱];{\phi }_{\ell }\in ℝ[𝐱]\}.$

Angenommen, $Q(F,G)$ sei archimedisch, das heißt, es gebe ein $r\in R$ mit $r>0$ und $r-\sum _{i=1}^n{x}_i^2\in Q(F,G)$. Dann gilt

$$\mathrm{\forall }x\in W:p(x)>0⟹p\in Q(F,G).$$

für jedes Polynom $p\in ℝ[𝐱]$.