No label defined (Q3972040)

[For the entire collection see Zbl 0699.00020.] According to \textit{E. Becker} [J. Reine Angew. Math. 307/308, 8-30 (1979; Zbl 0398.12012)] a polynomial \(f\in\mathbb{R}[X]\) has a representation (1) \(f=\sum^ \sigma_{i=1}g^{2m}_ i/h^{2m}\) with \(g_ i,h\in\mathbb{R}[X]\) if and only if \(f\) satisfies the conditions (i) \(2m\) divides \(\deg f\), (ii) \(2m\) divides the order of every real zero of \(f\), (iii) \(f\) is positive semidefinite. The paper discusses the problem how to obtain a representation (1) for appropriate polynomials \(f\). The main result is given by the following Theorem: There exists a computable function \(\delta: \mathbb{N}^ 3\to\mathbb{N}\) such that for all \(f=\prod^ d_{j=1}(X-(\alpha_ j+\beta_ j\sqrt - 1))\in\mathbb{R}[X]\) with \(\alpha_ j,\beta_ j\in\mathbb{R}\) the polynomial \(f\) admits a representation (1) with \(\deg h\leq\delta(d,N,M)\) if we have \(2m\mid d\), \(2m\) divides the multiplicity of the real roots \(\alpha_ j\) (i.e. \(\beta_ j=0\)) and \(|\alpha_ j|,|\beta_ j|\leq N\), \(\beta_ j=0\) or \(1/M<|\beta_ j|\) for all \(1\leq j\leq d\).