Samiksha Jaiswal (Editor)

Stengle's Positivstellensatz

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

In real semialgebraic geometry, Stengle's Positivstellensatz (German for "positive-locus-theorem" – see Satz) characterizes polynomials that are positive on a semialgebraic set, which is defined by systems of inequalities of polynomials with real coefficients, or more generally, coefficients from any real closed field.

It can be thought of as an ordered analogue of Hilbert's Nullstellensatz. It was proved by Jean-Louis Krivine and then rediscovered by Gilbert Stengle.

Statement

Let R be a real closed field, and F a finite set of polynomials over R in n variables. Let W be the semialgebraic set

W = { x ∈ R n ∣ ∀ f ∈ F f ( x ) ≥ 0 } ,

and let C be the cone generated by F (i.e., the subsemiring of R[X1,…,Xn] generated by F and arbitrary squares). Let p ∈ R[X1,…,Xn] be a polynomial. Then

∀ x ∈ W p ( x ) > 0 if and only if ∃ f 1 , f 2 ∈ C p f 1 = 1 + f 2 .

The weak Positivstellensatz is the following variant of the Positivstellensatz. Let R be a real-closed field, and F, G, and H finite subsets of R[X1,…,Xn]. Let C be the cone generated by F, and I the ideal generated by G. Then

{ x ∈ R n ∣ ∀ f ∈ F f ( x ) ≥ 0 ∧ ∀ g ∈ G g ( x ) = 0 ∧ ∀ h ∈ H h ( x ) ≠ 0 } = ∅

if and only if

∃ f ∈ C , g ∈ I , n ∈ N f + g + ( ∏ H ) 2 n = 0.

(Unlike Nullstellensatz, the "weak" form actually includes the "strong" form as a special case, so the terminology is a misnomer.)

References

Stengle's Positivstellensatz Wikipedia
(Text) CC BY-SA