Rational certificates of positivity on compact semialgebraic sets

Details Rational certificates of positivity on compact semialgebraic sets Rational certificates of positivity on compact semialgebraic sets

2009-11-06

arxiv.org/abs/0911.1331v1

Mathematics

Algebraic Geometry

Scientific paper

Schm\"udgen's Theorem says that if a basic closed semialgebraic set K = {g_1 \geq 0, ..., g_s \geq 0} in R^n is compact, then any polynomial f which is strictly positive on K is in the preordering generated by the g_i's. Putinar's Theorem says that under a condition stronger than compactness, any f which is strictly positive on K is in the quadratic module generated by the g_i's. In this note we show that if the g_i's and the f have rational coefficients, then there is a representation of f in the preordering with sums of squares of polynomials over Q. We show that the same is true for Putinar's Theorem as long as we include among the generators a polynomial N - \sum X_i^2, N a natural number.

Affiliated with

Also associated with

No associations

Rating

Rational certificates of positivity on compact semialgebraic sets does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Rational certificates of positivity on compact semialgebraic sets, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Rational certificates of positivity on compact semialgebraic sets will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-391889