A lower bound for the number of nodes in the cubature formula for a centrally symmetric integral (Q2640815)

By an integral \({\mathcal I}_ M\) on an affine algebraic manifold \(M\subseteq {\mathbb{R}}^ n\) (M\(\neq \emptyset)\) we mean a linear functional \({\mathcal I}_ M: {\mathbb{R}}[x]\to {\mathbb{R}}\), possessing the additional property: I) \({\mathcal I}_{M| P^+(M)}\geq 0\), and, moreover, for Ker \({\mathcal I}_ M\cap P^+(M)={\mathcal A}_ M\). Here \(x=(x_ 1,...,x_ n)\), \(P^+(M)=\{f\in {\mathbb{R}}[x]:\) \(f|_ M\geq 0\}\) \({\mathcal A}_ M=\{f\in {\mathbb{R}}[x]:\) \(f|_ M\equiv 0\}\) is an ideal in the ring \({\mathbb{R}}[x]\), corresponding to the manifold M (such ideals are said to be real). We consider the cubature formulas \((1)\quad {\mathcal I}_ M=c_ 1{\mathcal I}_{\xi^{(1)}}+...+c_ N{\mathcal I}_{\xi^{(N)}}+r,\) where \(c_ 1,...,c_ N\in {\mathbb{R}}\); \(\xi^{(1)},...,\xi^{(N)}\) are pairwise distinct points in M, \({\mathcal I}_{\xi^{(1)}},...,{\mathcal I}_{\xi^{(N)}}\) are linear functionals of the form \({\mathcal I}_{\xi}: f\in {\mathbb{R}}[x]\to f(\xi).\) Let \(P^ t_ n\subset {\mathbb{R}}[x]\) be the linear subspace of all polynomials of degree at most t \((t\in N_ 0)\); \(H_ t=H(t;{\mathcal A}_ M)\) is the Hilbert function of the nonhomogeneous ideal \({\mathcal A}_ M\), which can be defined by means of the equalities \[ H(t;{\mathcal A}_ M)=\dim P^ t_ n/{\mathcal A}_ M\cap P^ t_ n,\quad t\in N_ 0;\quad =0,\quad t\in -N. \] We say that formula (1) possesses the m-property if \(r|_{P^ m_ n}\equiv 0\). The author [VINITI, No.5272-B87 (1987)], for the number N of nodes in the cubature formula (1), possessing the m-property, has established the ``simplest'' bound (2) \(N\geq H([m/2];{\mathcal A}_ M).\) We discuss one such bound, obtained by \textit{H. Möller} [Numerische Integration, Tag. Obewolfach 1978, ISNM Vol. 45, 221-230 (1979; Zbl 0416.65019)] for the case when m is an odd number and the integral \({\mathcal I}_ M\) is ``centrally symmetric'': \({\mathcal I}_ M(f(x))={\mathcal I}_ M(f(-x))\) for all \(f\in {\mathbb{R}}[x]\).