A Positivstellensatz for forms on the positive orthant

DOI10.1007/S00013-017-1054-ZzbMATH Open1414.12004arXiv1701.01585OpenAlexW2576865880MaRDI QIDQ2407397FDOQ2407397

Authors: Claus Scheiderer, Colin Tan 

Publication date: 29 September 2017

Published in: Archiv der Mathematik (Search for Journal in Brave)

Abstract: Let $p$ be a nonconstant form in $mathbbR[x_1,dots,x_n]$ with $p(1,dots,1)>0$. If $p^m$ has strictly positive coefficients for some integer $mge1$, 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 $(mathbb{R}_{+}{)}^{n}setminus0$, 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 $(mathbb{R}_{+}{)}^{n}setminus0$. We give two proofs, one based on results of Handelman, the other on techniques from real algebra.

Full work available at URL: https://arxiv.org/abs/1701.01585

Recommendations

• scientific article; zbMATH DE number 3966240
• Pólya's theorem with zeros
• On an extension of Pólya's Positivstellensatz
• Impossibility of extending Pólya's theorem to ``forms with arbitrary real exponents
• An effective version of Pólya's theorem on positive definite forms

zbMATH Keywords

polynomialspositive coefficientsArchimedean semiring

Mathematics Subject Classification ID

Real algebraic sets (14P05) Real polynomials: analytic properties, etc. (26C05) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15)

Cites Work

• MathOverflow
• Title not available (Why is that?)
• Title not available (Why is that?)
• Certificates for nonnegativity of polynomials with zeros on compact semialgebraic sets
• An isometric imbedding theorem for holomorphic bundles
• Title not available (Why is that?)
• Positive polynomials and sums of squares
• Sums of squares on real algebraic surfaces
• Positive polynomials on compact sets
• Deciding eventual positivity of polynomials
• Title not available (Why is that?)
• Asymptotic expansions and positivity of coefficients for large powers of analytic functions
• Pure states, nonnegative polynomials and sums of squares
• Positivity conditions for Hermitian symmetric functions
• A Positivstellensatz for projective real varieties
• Title not available (Why is that?)
• Characterization of polynomials whose large powers have all positive coefficients

Cited In (5)

• A Sparse Version of Reznick’s Positivstellensatz
• Squares of positive \((p,p)\)-forms
• Title not available (Why is that?)
• Some continuous Positivstellensätze
• Characterization of polynomials whose large powers have fully positive coefficients

Uses Software

• MathOverflow

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2407397)