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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references