Positivstellensätze for real function algebras

DOI10.1007/S00209-010-0831-1MaRDI QIDQ415477zbMATH OpenOpenAlexFDO

Authors Tim Netzer, Murray Marshall

Publication date 8 May 2012

Published in Mathematische Zeitschrift (Search for Journal in Brave)

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

zbMATH Keywords

sums of squarespositive polynomialssemi-algebraic functions

Mathematics Subject Classification ID

Real algebraic sets (14P05) Semialgebraic sets and related spaces (14P10) Real algebra (13J30)

Abstract: We look for algebraic certificates of positivity for functions which are not necessarily polynomial functions. Similar questions were examined earlier by Lasserre and Putinar and by Putinar. We explain how these results can be understood as results on hidden positivity: The required positivity of the functions implies their positivity when considered as polynomials on the real variety of the respective algebra of functions. This variety is however not directly visible in general. We show how algebras and quadratic modules with this hidden positivity property can be constructed. We can then use known results, for example Jacobi's representation theorem or the Krivine-Stengle Positivstellensatz to obtain certificates of positivity relative to a quadratic module of an algebra of real-valued functions. Our results go beyond the results of Lasserre and Putinar, for example when dealing with non-continuous functions. The conditions are also easier to check. We explain the application of our result to various sorts of real finitely generated algebras of semialgebraic functions. The emphasis is on the case where the quadratic module is also finitely generated. Our results also have application to optimization of real-valued functions, using the semidefinite programming relaxation methods pioneered by Lasserre.

Recommendations

• Polynomial representations via spectral decompositions
• Positive polynomials and sums of squares
• scientific article; zbMATH DE number 1601019
• Extensions of semidefinite functions
• Positive polynomials on compact sets
• Sums of squares and moment problems in equivariant situations
• scientific article; zbMATH DE number 1370548
• Sums of squares on reducible real curves
• Positive polynomials and tame preorderings
• Pure states, nonnegative polynomials and sums of squares

Cites work

• scientific article; zbMATH DE number 1601019 (Why is no real title available?)
• scientific article; zbMATH DE number 3645237 (Why is no real title available?)
• scientific article; zbMATH DE number 527343 (Why is no real title available?)
• scientific article; zbMATH DE number 195158 (Why is no real title available?)
• A general representation theorem for partially ordered commutative rings
• A representation theorem for certain partially ordered commutative rings
• Global optimization with polynomials and the problem of moments
• Minimal generation of basic semialgebraic sets
• Positive polynomials and sums of squares
• Positivity and optimization for semi-algebraic functions
• Spaces of orderings and abstract real spectra
• The K-moment problem for compact semi-algebraic sets

Cited in

(6)

• Positivity and optimization: beyond polynomials
• On an extension of Pólya's Positivstellensatz
• Positivstellensätze for differentiable functions
• Positivity and optimization for semi-algebraic functions
• scientific article; zbMATH DE number 3000331 (Why is no real title available?)
• Positive elements in function algebras

This page was built for publication: Positivstellensätze for real function algebras

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