About estimates on number of squares necessary to represent a positive- definite analytic function (Q757522)

Let f: (\({\mathbb{R}}^ n,0)\to {\mathbb{R}}\) be a germ of an analytic function. We say that f is positive-definite (f\(\geq 0)\) if for any representative \(f\) of f there is a neighbourhood U of the origin such that \(f\) is nonnegative on U, i.e. \(f(x)\geq 0\) for \(x\in U\). - It is well-known that any positive-definite germ f is a sum of squares of germs of meromorphic functions (Hilbert's 17th problem), i.e.: \(f=\sum^{p}_{i=1}\frac{g_ i^ 2}{h^ 2} \), \(g_ i,h\in {\mathcal O}_ n\). - Let \(P_ f\) be the minimal number of squares necessary to represent f, \(f\geq 0\). For small n we have: \(n=1:\;P_ f=1;\) \(n=2:\;P_ f\leq 2.\) In this paper we prove the following estimates: 1. If \(f\geq 0\) and \(\dim_{{\mathbb{C}}}Sing(f_{{\mathbb{C}}})\leq 1\) then \(P_ f\leq 2^ n,\) 2. If \(f\geq 0\) and \(n=3\) then \(P_ f\leq 8,\) where \(f_{{\mathbb{C}}}: ({\mathbb{C}}^ n,0)\to {\mathbb{C}}\) is the complexification of f; \(f=f_{{\mathbb{C}}| {\mathbb{R}}}n\), and Sing denotes the germ of the set of singular points of a germ of a function.