The Stieltjes condition and multidimensional \({\mathcal{K}} \)-moment problems (Q2041999)

The aim of this paper is to prove two solvability theorems for the multidimensional moment problem based on growth condition. The first one deals with the Stieltjes moment problem: Suppose $L$ is a linear functional on \(\mathbb{R}[x_1,\dots,x_d]\) such that \(L(p^2)\ge 0\) and \(L(x_jp^2)\ge 0\) for \(p \in \mathbb{R}[x_1,\dots,x_d]\) and \(j=1,\dots,d\) and \[ \sum_{n=1}^{\infty}L(x_j^n)^{-1/2n}=\infty \text{ for } j=1,\dots,d. \] Then \(L\) is a Stieltjes moment functional which has a unique representing measure. This result is applied to derive the second theorem on \(\mathcal{K}\)-moment problem for unbounded semi-algebraic sets. More precisely, the author proves: Let \(f=\{f_1,\dots,f_m\}\) be a finite set of polynomials that generate the polynomial algebra \(\mathbb{R}[x_1,\dots,x_d]\) and \(L\) is a linear functional \(\mathbb{R}[x_1,\dots,x_d]\) such that \(L(p^2)\ge 0\) and \(L(f_jp^2)\ge 0\) for \(p \in \mathbb{R}[x_1,\dots,x_d]\) and \(j=1,\dots,m\) and \[ \sum_{n=1}^{\infty}L(f_j^n)^{-1/2n}=\infty \text{ for } j=1,\dots,m. \] Then \(L\) is a moment functional which has a unique representing measure. Furthermore, the measure is supported on the basic closed semi-algebraic \(\mathcal{K}(f)\) associated to~\(f\), \[ \mathcal{K}(f)=\{ x \in \mathbb{R}^d \; : \; f_1(x)\ge 0, \dots, f_m(x)\ge0\}. \]