Positivity of continuous piecewise polynomials

DOI10.1112/BLMS/BDS007MaRDI QIDQ2903276zbMATH OpenOpenAlexFDO

Authors Daniel Plaumann

Publication date 8 August 2012

Published in Bulletin of the London Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

piecewise polynomialPositivstellensatzsimplicial complex

Mathematics Subject Classification ID

Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55) Real algebra (13J30) Semialgebraic sets and related spaces (14P10)

Abstract: Real algebraic geometry provides certificates for the positivity of polynomials on semi-algebraic sets by expressing them as a suitable combination of sums of squares and the defining inequalitites. We show how Putinar's theorem for strictly positive polynomials on compact sets can be applied in the case of strictly positive piecewise polynomials on a simplicial complex. In the 1-dimensional case, we improve this result to cover all non-negative piecewise polynomials and give explicit degree bounds.

Review text

Consider a simplicial complex \(\Delta= \sigma_1 \cup \cdots \cup\sigma_k\) in \({\mathbb R}^n\), and let \(C^0(\Delta)\) denote the algebra of all continuous piecewise polynomials on \(\Delta\), consisting of all real continuous functions \(F\) on \(\Delta\) whose restriction to each \(\sigma_j\) is a polynomial. The article under review gives Positivstellensätze (i.e., certificates of positivity) for functions \(F\in C^0(\Delta)\) positive on \(\Delta\). To do this, the author uses tent functions describing \(C^0(\Delta)\). Here are two main results of this paper. The first one is a Putinar-type Positivstellensatz [\textit{M. Putinar}, Indiana Univ. Math. J. 42, No. 3, 969--984 (1993; Zbl 0796.12002)] for functions \(F\in C^0(\Delta)\) \textit{strictly} positive on \(\Delta\), cf.~Theorem 2.2. The second main result (Theorem 2.6) is a strengthening to one-dimensional simplicial complexes, where the author obtains a Nichtnegativstellensatz with degree bounds.

Recommendations

• Positivity conditions for polynomials
• Positive polynomials and polynomial inequalities
• Positivity of iterated sequences of polynomials
• Polynomials that are positive on an interval
• Positive polynomials on compact sets
• scientific article; zbMATH DE number 6513210
• On polynomials with positive coefficients
• scientific article; zbMATH DE number 1490029
• Deciding eventual positivity of polynomials
• Positive values of polynomials

Cited in

(5)

• Positivity and optimization: beyond polynomials
• The correspondence between multivariate spline ideals and piecewise algebraic varieties
• Some continuous Positivstellensätze
• The algebra of continuous piecewise polynomials
• Certificates of positivity in the Bernstein basis

This page was built for publication: Positivity of continuous piecewise polynomials

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