We make use of a result of Hurwitz and Reznick, and a consequence of this
result due to Fidalgo and Kovacec, to determine a new sufficient condition for
a polynomial $f\in\mathbb{R}[X_1,...,X_n]$ of even degree to be a sum of
squares. This result generalizes a result of Lasserre and a result of Fidalgo
and Kovacec, and it also generalizes the improvements of these results given in
[6]. We apply this result to obtain a new lower bound $f_{gp}$ for $f$, and we
explain how $f_{gp}$ can be computed using geometric programming.
Let $V$ be the countable dimensional polynomial $\reals$-algebra
$\rx:=\reals[X_1,\...,X_n]$. Let $\tau$ be a locally convex topology on V. Let
$K$ be a closed subset of $\reals^n$, and let $M:=M_{\{g_1, \... g_s\}}$ be a
finitely generated quadratic module in $V$. We investigate the following
question: When is the cone $\Pos(K)$ (of polynomials nonnegative on $K$)
included in the closure of $M$? We give an interpretation of this inclusion
with respect to representing continuous linear functionals by measures.