A Positivstellensatz for forms on the positive orthant

Publication date 29 September 2017

Abstract: Let

p

be a nonconstant form in

m a t h b b R [x_{1}, d o t s, x_{n}]

with

p (1, d o t s, 1) > 0

. If

p^{m}

has strictly positive coefficients for some integer

m g e 1

, we show that

p^{m}

has strictly positive coefficients for all sufficiently large

m

. More generally, for any such

p

, and any form

q

that is strictly positive on

(m a t h b b R_{+})^{n} s e t m i n u s 0

, we show that the form

p^{m} q

has strictly positive coefficients for all sufficiently large

m

. This result can be considered as a strict Positivstellensatz for forms relative to

(m a t h b b R_{+})^{n} s e t m i n u s 0

. We give two proofs, one based on results of Handelman, the other on techniques from real algebra.

Recommendations

Cites work

Cited in

(5)

Describes a project that uses

Uses Software

This page was built for publication: A Positivstellensatz for forms on the positive orthant