Positivstellensatz von Krivine und Stengle

Der Positivstellensatz von Krivine und Stengle ist eine Charakterisierung positiver Polynome auf semialgebraischen Mengen über reell abgeschlossenen Körpern, insbesondere auch über den reellen Zahlen. Er ist ein zentrales Resultat 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[\mathbf {x} ]=R[x_{1},\ldots ,x_{n}]$ über $R$ in $n$ Variablen. Seien $F=\{f_{1},\ldots ,f_{m}\}$ und $G=\{g_{1},\ldots ,g_{r}\}$ endliche Teilmengen von $R[\mathbf {x} ]$. Betrachte die semialgbraische Menge

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

und definiere die dazugehörige Präordnung

$P(F,G)=\left\{\sum _{\alpha \in \{0,1\}^{m}}\sigma _{\alpha }f_{1}^{\alpha _{1}}\cdots f_{m}^{\alpha _{m}}+\sum _{\ell =1}^{r}\varphi _{\ell }g_{\ell }\;{\bigg |}\;\sigma _{\alpha }\in \Sigma [\mathbf {x} ];\ \varphi _{\ell }\in R[\mathbf {x} ]\right\}.$

Dabei ist $\Sigma [\mathbf {x} ]$ die Menge der Quadratsummen in $R[\mathbf {x} ]$, also die Menge aller endlichen Summen quadrierter Polynome.

Sei $p\in R[\mathbf {x} ]$ ein Polynom. Der Positivstellensatz von Krivine und Stengle besagt:

(i) Es gilt $\forall x\in W\;p(x)\geq 0$ genau dann wenn $\exists q_{1},q_{2}\in P(F,G),s\in \mathbb {Z} :q_{1}p=p^{2s}+q_{2}.$

(ii) Es gilt $\forall x\in W\;p(x)>0$ genau dann wenn $\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=\mathbb {R}$ und $G=\emptyset$. Ist die semialgebraische Menge $W=\{x\in \mathbb {R} ^{n}\mid \forall f\in F,\,f(x)\geq 0\}$ kompakt, so gilt

$$\forall x\in W:p(x)>0\iff p\in P(F,\emptyset ).$$

für jedes Polynom $p\in \mathbb {R} [\mathbf {x} ]$. Der Positivstellensatz von Schmüdgen ist für $R=\mathbb {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)=\left\{\sigma _{0}+\sum _{j=1}^{m}\sigma _{j}f_{j}+\sum _{\ell =1}^{r}\varphi _{\ell }g_{\ell }\;{\bigg |}\;\sigma _{j}\in \Sigma ^{2}[\mathbf {x} ];\ \varphi _{\ell }\in \mathbb {R} [\mathbf {x} ]\right\}.$

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

$$\forall x\in W:p(x)>0\;\Longrightarrow \;p\in Q(F,G).$$

für jedes Polynom $p\in \mathbb {R} [\mathbf {x} ]$.