Representing polynomials by positive linear functions on compact convex polyhedra (Q1112337)

Let K be a compact convex polytope in \({\mathbb{R}}^ d\) containing interior points, and determined by linear inequalities \(\beta_ j\geq 0\) (where \(\beta_ j=\sum^{d}_{k=1}a_{jk}X_ k\) and \(a_{jk}\) are from a fixed subfield L of \({\mathbb{R}})\). The following three results are proven: (i) Let f be a polynomial in \(X_ 1,...,X_ d\) over L which is strictly positive on K. Then f is of the form \(f=\Sigma a_ jg_ j\) where \(g_ i=\beta^{w_ j}\), \(w_ j=(w_ j(1),...,w_ j(d))\in {\mathbb{N}},\) \(\beta^ w=\beta_ 1^{w(1)}\cdot \cdot \cdot \beta_ d^{w(d)}.\) (ii) \(R(K)=L[X_ 1,...,X_ d]\) (the ring of polynomials in \(X_ 1,...,X_ d\) over L) can be ordered by setting \(R(K)=\{\Sigma a_{w}\beta^ w:\) \(a_ w\in L\cap {\mathbb{R}}_+\}\). In fact this cone induces a ring ordering. K is affinely homeomorphic to K' iff R(K) and R(K') are isomorphic as ordered rings. (iii) R(K) has the interpolation property iff K is a cartesian product of simplices.