scientific article; zbMATH DE number 15404

From MaRDI portal
Publication:3972040





[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\).











This page was built for publication:

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