About estimates on number of squares necessary to represent a positive- definite analytic function (Q757522)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | About estimates on number of squares necessary to represent a positive- definite analytic function |
scientific article |
Statements
About estimates on number of squares necessary to represent a positive- definite analytic function (English)
0 references
1992
0 references
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.
0 references
positive definite germ of an analytic function
0 references
sum of squares
0 references
Hilbert's 17th problem
0 references
singular points of a germ of a function
0 references