The Stieltjes condition and multidimensional \({\mathcal{K}} \)-moment problems (Q2041999)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Stieltjes condition and multidimensional \({\mathcal{K}} \)-moment problems |
scientific article |
Statements
The Stieltjes condition and multidimensional \({\mathcal{K}} \)-moment problems (English)
0 references
26 July 2021
0 references
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\}. \]
0 references
semi-algebraic set
0 references
moment problem
0 references
Stieltjes vector
0 references
0 references