An elementary based sufficient condition for sums of \(2m\)th powers of polynomials over non-archimedean real closed fields (Q803206)

It was shown by the reviewer [Mém. Soc. Math. Fr., Nouv. Sér. 16, 53--65 (1984; Zbl 0577.12018)] that there is no bound \(\delta =\delta (d,n,m)\) such that every polynomial \(f\in\mathbb R[X_1,\ldots,X_n]\) with \(\deg f\leq d\) and being a sum of \(2m\)th powers of rational functions in \(X_1, \ldots, X_n\) over \(\mathbb R\), can be represented as \(f=\sum^{\delta}_{i=1} g_i^{2m}/h^{2m}\) with \(g_i, h\in \mathbb R[X_1, \ldots, X_n]\) and \(\deg h\leq \delta\). In the present paper the author considers certain subsets of the space of polynomials \(f\in\mathbb R[X_1, \ldots, X_n]\) of degree \(d\) for which there exists such a bound \(\delta(d,n,m)\). The considered subsets are in fact semialgebraic in the corresponding space of coefficients.