On Markov Moment Problem and Related Results

Abstract

We prove new results and complete our recently published theorems on the vector-valued Markov moment problem, by means of polynomial approximation on unbounded subsets, also applying an extension of the positive linear operators’ result. The domain is the Banach lattice of continuous real-valued functions on a compact subset or an $L_{\nu }^1$ space, where $\nu$ is a positive moment determinate measure on a closed unbounded set. The existence and uniqueness of the operator solution are proved. Our solutions satisfy the interpolation moment conditions and are between two given linear operators on the positive cone of the domain space. The norm controlling of the solution is emphasized. The most part of the results are stated and proved in terms of quadratic forms. This type of result represents the first aim of the paper. Secondly, we construct a polynomial solution for a truncated multidimensional moment problem.

1. Introduction

The one dimensional classical moment can be formulated as follows: for a given sequence ${\left(y_n\right)}_{n\ge 0}$ of real numbers, find a positive measure $\nu$ on the given interval $\mathbb{I}$ (the important cases being $\mathbb{I}=ℝ$, $\mathbb{I}=\left[0,\infty \right)$ or $\mathbb{I}=\left[0,1\right]$), such that the following applies:

$$\underset{\mathbb{I}}{\overset{}{{\displaystyle \int }}}{t}^{n}d\nu =y_n, n=0,1,2,\dots$$

(1)

where the numbers $y_n, n=0,1,2,\dots$ are called the moments of the measure $d\nu$ (or $\nu )$ on the interval $\mathbb{I}.$ In the sequel, the notations are as follows:

$$\begin{gathered} \mathbb{N}=\left\{0,1,2,\dots \right\}, {ℝ}_{+}=\left[0,\infty \right), p{r}_j:{ℝ}^n\to ℝ, p{r}_j\left(t_1,\dots ,t_j,\dots ,t_n\right)=t_j, \\ j=1,\dots ,n, n\ge 2. \end{gathered}$$

If the intervals ${\mathbb{I}}_j\subseteq ℝ,$ and $f_j:{\mathbb{I}}_j\to ℝ$, $j=1,\dots ,n$ are given, we denote by the following:

$$f_1\otimes \cdots \otimes f_n:{\mathbb{I}}_1\times \cdots \times {\mathbb{I}}_n\to ℝ.$$

The function is defined as follows: $(f_1\otimes \cdots \otimes f_n)\left(t_1,\dots ,t_n\right)=f_1\left(t_1\right)\cdots f_n\left(t_n\right).$ When the interval appearing in (1) is $\mathbb{I}=ℝ,$ the moment problem is a Hamburger moment problem. If $\mathbb{I}={ℝ}_{+},$ then the corresponding problem is a Stieltjes moment problem, while in the case $\mathbb{I}=\left[0,1\right]$ we have a Hausdorff moment problem. The classical moment problem makes sense in the multidimensional case, when $\mathbb{I}$ appearing in (1) is replaced by an arbitrary closed subset $S$ of ${ℝ}^n, n\ge 2,$ $t^j=t_1^{j_1}\cdots t_n^{j_n}, t=\left(t_1,\dots ,t_n\right)\in S, j=\left(j_1,\dots ,j_n\right)\in {\mathbb{N}}^n.$ One denotes by $C_0\left(S\right),$ the space of all continuous real-valued compactly supported functions defined on $S.$ An important case is when the solution is a positive linear functional or operator defined on $L_{\nu }^1\left(S\right).$ In this case, $\nu$ is assumed to be a positive regular Borel measure on $S.$ A basic particular case is that of a determinate measure $\nu ,$ with finite moments of all orders$:$

$$\underset{S}{\overset{}{{\displaystyle \int }}}{t}^{j}d\nu \in ℝ, j\in {\mathbb{N}}^n.$$

We recall that the measure $\nu$ is called a moment determinate (or determinate) if it is uniquely determined by its moments, or, equivalently, by its values on the subspace $𝒫$ of all polynomials. By ${𝒫}_{+}={𝒫}_{+}\left(S\right),$ we denote the convex cone of all polynomial functions that are nonnegative on $S.$ The problem may be called an $n–$dimensional Hamburger, Stieltjes or Hausdorff moment problem, depending on the cases $S={ℝ}^n, S={ℝ}_{+}^n$ or $S={\left[0,1\right]}^n.$ By its formulation, the moment problem is an inverse problem, since the measure $\nu$ is not known. The words “find a positive measure $\nu$” refer to characterizing the existence of $\nu$ in terms of the given moments $y_n, n\ge 0$ such that (1) holds, to establish the uniqueness (or non-uniqueness) of the (or a) solution $\nu ,$ and, eventually, to its construction. The direct problem would be as follows: given the measure $\nu ,$ find its moments defined by (1). This seems to be a computational problem. Going back to the moment problem, if an upper bound is imposed on $\nu ,$ we have a Markov moment problem, which is closely related to the $L–$moment problem. In its general formulation, the classical multidimensional real moment problem is similar to that mentioned above, when the interval $\mathbb{I}$ is replaced by a closed (bounded or unbounded) subset $S\subseteq {ℝ}^n, n\ge 2$. For the classical moment problem, including modern approaches of it, see the monographs [1,2,3], and most of the articles on the moment problem listed in the references. For the background, ordered topological vector spaces, linear operators, and the recent results in analysis and functional analysis see [4,5,6,7,8,9]. Earlier and recent results on the classical moment problem can be found in [10,11,12,13,14,15,16,17,18]. The papers [19,20] deal with the basic properties of convex operators in terms of the associated linear operators. The proofs are partially based on Hahn–Banach type theorems. The article [21] presents the density theorem and a Bishop type theorem in a special set of continuous functions, while the references [22,23,24,25,26,27] concern results on the classical moment problem and aspects of its connections with other fields of functional analysis. Finally, articles [28,29,30,31,32,33,34,35,36,37,38] refer to the Markov moment problem and the related areas of research. In solving Markov moment problems, there are three classes of methods recalled below, which are combined to reach the existence, uniqueness and construction of the solutions for the problems under discussion in the present paper. The interested reader can find additional information by means of the references here and from other sources. Previous similar main results on the construction of solutions for reduced moment problems were published in [28,30,31] and in Section 4 of [35]. When the solution is not a polynomial, finding it leads to a system of nonlinear equations. For example, in [31], a step-function solution $f$ is under attention. Namely, finding $f$ of [31] leads to a system of nonliear equations. In turn, such a solution $f$ verifies $0\le f\le 1;$ this is not the case for our solution $h$ given by (7) and (8). Namely, the evaluations (12) and (13) proved in Section 3.2 of the present paper ensure neither $h\ge 0$ nor $h\le 1$ on $S.$ A quite similar problem is discussed in [30], where the resolution of the finite Markov moment problem is done through the theory of Toeplitz matrixes, also using Newton’s relations for polynomials. The references deal with various aspects of the classical moment problem and its relationships with other fields (fixed point theorems, operator theory, expressing nonnegative polynomials on special closed subsets in terms of sums of squares, approximation theory, numerical analysis, algebra). In all this problems, the moment sequences given by (1) play a central role. Another formulation of the scalar valued moment problem is as follows: given a Banach function space $X$ containing all polynomials and compactly supported continuous functions on a subset $S$ of ${ℝ}^n, n\ge 2,$ find a necessary and sufficient condition on the sequence of moments for the existence of a positive element $x^{\star }$ in the dual $X^{\star }$ of that Banach space of functions on a closed subset $S$, such that $x^{\star }\left({\phi }_j\right)=y_j, j\in {\mathbb{N}}^n.$ Here ${\phi }_j\left(t\right)≔t^j$, $j\in {\mathbb{N}}^n, t\in S.$ In case of a Markov moment problem, we additionally require that $x^{\star }$ is dominated by a given continuous linear functional on the positive cone $X_{+}$ of $X$, or $x^{\star }$ is dominated by a continuous convex functional on the whole space $X.$ Adding new results and improving earlier information on this subject is the first aim of the present work. Here, the moments $y_j, j\in {\mathbb{N}}^n$ are real numbers, while in the general case (see the next sections, except Section 3.2) the moments $y_j$ may be vectors, functions, symmetric matrices, or self-adjoint operators. In this case, the solution is a positive linear operator $T.$ A polynomial solution for the truncated moment problem, accompanied by a simple method of evaluating the norm of the vector defined by the coefficients, is also under attention. The rest of the paper is organized as follows: Section 2 summarizes theoretical more or less known methods applied in order to achieve the aims of the paper. In Section 3, we tried to achieve the goals claimed above, giving also the proofs where necessary. Section 4 discusses a part of the results, as well as possible future work on these subjects. Section 5 concludes the paper.

2. Methods

2.1. Constrained Extension Results for Linear Operators

There are two Hahn–Banach extension type theorems stated below. The first one ensures only the existence of a positive extension, while the second one additionally involves a dominating condition. In particular, this second requirement allows evaluating the norm of the solution. Such an evaluation can be achieved also by using the first extension type result (Theorem 1 stated below), then passing to the limit. Here are the main two extension results that will be applied in the sequel. Let $X_1$ be an ordered vector space for which the positive cone $X_{1,+}$ is generating ($X_1=X_{1,+}-X_{1,+}).$ Recall that in such an ordered vector space $X_1,$ a vector subspace $\mathcal{S}$ is called a majorizing subspace if for any $x\in X_1,$ there exists $s\in \mathcal{S},$ such that $x\le s.$ The following theorem holds true.

Theorem 1

([19] Theorem 1.2.1). Let$X_1$ be an ordered vector space whose positive cone is generating, $\mathcal{S}\subset X_1$ a majorizing vector subspace, $Y$ an order complete vector space, $T_0:\mathcal{S}\to Y$ a positive linear operator. Then $T_0$ admits a positive linear extension $T:X_1\to Y$.

The next result was published in the following version in [34] Theorem 4. It can be regarded as a generalization of a result of M.G. Krein [2] to an arbitrary infinite set of moments and to vector-valued operators.

Theorem 2

([34] Theorem 4). Let $X$ be an ordered vector space, $Y$ an order complete vector lattice,$J$ an arbitrary set, ${\left\{x_j\right\}}_{j\in J}\subset X, {\left\{y_j\right\}}_{j\in J}\subset Y$ given families, $T_1,T_2\in L\left(X,Y\right)$ two linear operators. The following statements are equivalent:

(a) 

There exists a linear operator$T\in L\left(X,Y\right)$such that the following applies:

$$T_1\left(x\right)\le T\left(x\right)\le T_2\left(x\right), x\in X_{+}, T\left(x_j\right)=y_j, j\in J;$$

(b) 

For any finite subset$J_0\subset J$and any${\left\{{\lambda }_j\right\}}_{j\in J_0}\subset ℝ,$the following implication holds true:

$$\left({{\displaystyle \sum }}_{j\in J_0}{\lambda }_j{x}_j={\psi }_2-{\psi }_1, {\psi }_1,{\psi }_2\in X_{+}\right)⟹{{\displaystyle \sum }}_{j\in J_0}{\lambda }_j{y}_j\le T_2\left({\psi }_2\right)-T_1\left({\psi }_1\right);$$

If$X$is a vector lattice, then assertions (a) and (b) are equivalent to (c), where the following applies:

(c) 

$T_1\left(w\right)\le T_2\left(w\right)$for all$w\in X_{+}$and for any finite subset$J_0\subset J$and$\forall \left\{{\lambda }_j;j\in J_0\right\}\subset ℝ,$we have the following:

$${{\displaystyle \sum }}_{j\in J_0}{\lambda }_j{y}_j\le T_2\left({\left({{\displaystyle \sum }}_{j\in J_0}{\lambda }_j{x}_j\right)}^{+}\right)-T_1\left({\left({{\displaystyle \sum }}_{j\in J_0}{\lambda }_j{x}_j\right)}^{-}\right).$$

For more general extension types and controlled regularity of linear operators see [20,34] and the references given there.

2.2. Polynomial Approximation on Unbounded Subsets

Our first polynomial approximation result on an unbounded interval was published in [33] Lemma 1.4. The motivation was solving Markov moment problems on $\left[0,\infty \right).$ We now complete the proof of this result presented as Lemma 1 below, since the original proof from [33] was incomplete. A second main polynomial approximation result is a very general one (see [36] Lemma 7 and [37] Lemma 3). Polynomial approximation and the expressions of nonnegative polynomials on unbounded intervals lead to characterization of the existence of the unique solutions for some multidimensional Markov moment problems in terms of quadratic forms with scalar or vector coefficients. The method works for Cartesian products of closed unbounded intervals, in particular for Markov moment problems on ${ℝ}^n,$ ${ℝ}_{+}^n, n\in \left\{2,3,\dots \right\}$.

2.3. Elements of Self-Adjoint Operator Theory and Symmetric Matrices

As it is well known, the real vector space $\mathcal{A}$ of all self-adjoint operators acting on an arbitrary complex or real Hilbert space $H$ is an ordered Banach space that is not a lattice. However, for any $A\in \mathcal{A},$ the subspace $Y\left(A\right)$ defined below by (3) is an order complete Banach lattice (and a commutative algebra) (see [4]). In particular, Theorem 3 and Corollary 1 hold $Y=Y\left(A\right)$ as a codomain space of the operator solution. On the other hand, symmetric matrices and some of their basic properties appear naturally in Theorem 5 of the present paper, where a polynomial solution for the truncated multidimensional moment problem is proposed. Evaluating the Euclidean norm of the vector formed by the coefficients of the solution is emphasized (without computing the involved its coefficients). Here, basic results on the spectrum of a positive definite symmetric matrix are applied.

3. Results

3.1. Polynomial Approximation and Markov Moment Problem

We start with polynomial approximation on ${ℝ}_{+}$, completing the proof of a result published in [33].

Lemma 1.

Let$\psi :{ℝ}_{+}=\left[0,\infty \right)\to {ℝ}_{+}$be a continuous function, such that$\underset{t\to \infty }{lim}\psi \left(t\right)$exists in${ℝ}_{+}.$Then there is a decreasing sequence${\left(h_l\right)}_l$in$Span\left\{e_k;k\in \mathbb{N}\right\}$, where the following applies:

$$e_k\left(t\right)=exp\left(-kt\right), k\in \mathbb{N}, t\in \left[0,\infty \right),$$

such that$h_l\left(t\right)\ge \psi \left(t\right)$,$t\ge 0, l\in \mathbb{N}=\left\{0,1,2,\dots \right\}$,$lim{h}_l=\psi$uniformly on$\left[0,\infty \right)$. There exists a sequence of polynomial functions${\left({\tilde{p}}_l\right)}_{l\in \mathbb{N}}$,${\tilde{p}}_l\ge h_l\ge \psi , lim {\tilde{p}}_l=\psi$, uniformly on compact subsets of$\left[0,\infty \right)$. In particular, such polynomial approximation holds for nonnegative continuous functions$\psi :{ℝ}_{+}\to {ℝ}_{+}$, having compact support.

Proof. 

The idea is to consider the sub-algebra $\widehat{S}=Span\left\{{\widehat{e}}_k;k\ge 0\right\}$ of $C\left(\left[0,\infty \right]\right)$, where $\left[0,\infty \right]$ is the Alexandroff extension of $\left[0,\infty \right),$ and ${\widehat{e}}_k$ is the continuous extension of $e_k$ to $\left[0,\infty \right], {\widehat{e}}_k(\infty )=0, k\ge 1, {\widehat{e}}_0(\infty )=1$. This sub-algebra clearly separates the points of $\left[0,\infty \right]$ and contains the constant functions. According to Stone–Weierstrass theorem,$\widehat{S}$ is dense in $C\left(\left[0,\infty \right]\right).$ It results that any continuous function $\psi :{ℝ}_{+}\to {ℝ}_{+},$ with the property that the limit $\underset{t\to \infty }{\lim }\psi \left(t\right)$ exists in ${ℝ}_{+},$ can be uniformly approximated on ${ℝ}_{+}$ by elements from $Span\left\{e_k;k\ge 0\right\}.$ As is well known, when the convergence is uniform, the approximating sequence ${\left(h_l\right)}_l$ for $\psi$ can be chosen such that $h_l\left(t\right)\ge \psi \left(t\right)\ge 0$ for all $t\in \left[0,\infty \right).$ Assume the following:

$$h_l={\displaystyle \sum }_{k=0}^{m_l}{\alpha }_{l,k}{e}_k, {\alpha }_{l,k}\in ℝ,l=0,1,2,\dots$$

If ${\alpha }_{l,k}\ge 0,$ we obtain ${\alpha }_{l,k}{e}_k\le {\alpha }_{l,k}{p}_{l,k}$, where $p_{l,k}$ is a majorizing partial sum of the power series of $e_k, e_k=\underset{l\to \infty }{\lim }{p}_{l,k}$, the convergence being uniform on any compact subset of ${ℝ}_{+}.$ If ${\alpha }_{l,k}<0,$ we deduce ${\alpha }_{l,k}{e}_k<{\alpha }_{l,k}{q}_{l,k}$, where $q_{l,k}$ is a minorizing partial sum of the power series of $e_k=\underset{l\to \infty }{\lim }{p}_{l,k},$ and the convergence is uniform on compact subsets of the nonnegative semi-axes. Summing as $k=0,1,\dots ,m_l,$ one obtains a polynomial ${\tilde{p}}_l\ge h_l\ge \psi \ge 0$ on ${ℝ}_{+}.$ Since the sum defining ${\tilde{p}}_l$ has a finite number of terms of such partial sums, we conclude ${\tilde{p}}_l\to \psi$ uniformly on compact subsets of ${ℝ}_{+},$ as $l\to \infty .$ This ends the proof. □

In applications, the preceding lemma could be useful in order to prove a similar type result for continuous functions defined only on a compact subset $K\subset {ℝ}_{+},$ taking values in ${ℝ}_{+}.$ For such a function $\phi :K\to {ℝ}_{+},$ one denotes by ${\phi }_0:{ℝ}_{+}\to {ℝ}_{+}$ the extension of $\phi ,$ which satisfies ${\phi }_0\left(t\right)=0$ for all $t\in {ℝ}_{+}\backslash K$. With these notation, from Lemma 1 we infer the next result:

Lemma 2.

Let$K\subset {ℝ}_{+}$be a compact subset and$\phi :K\to {ℝ}_{+}$a continuous function. Then there exists a sequence${\left({\tilde{p}}_l\right)}_{l\in \mathbb{N}}$of polynomial functions, such that${\tilde{p}}_l\ge {\phi }_0$on${ℝ}_{+}, {\tilde{p}}_l{|}_K\to \phi , l\to \infty$, uniformly on $K.$

Proof. 

The idea is to reduce the proof to that of the preceding Lemma 1. Namely, we easily construct a continuous extension $\psi :{ℝ}_{+}\to {ℝ}_{+}$ of $\phi ,$ having compact support $supp\left(\psi \right), \psi \ge {\phi }_0.$ Assuming this is done, if ${\left({\tilde{p}}_l\right)}_{l\in \mathbb{N}}$ are as in Lemma 1, since ${\tilde{p}}_l\to \psi$ uniformly on the compact $K$ and $\psi \left(t\right)=\phi \left(t\right)$ for all $t$ in $K,$ it results in the following:

$$\underset{t\in K}{sup}\left| {\tilde{p}}_l\left(t\right)-\phi \left(t\right)\right|=\underset{t\in K}{sup}\left| {\tilde{p}}_l\left(t\right)-\psi \left(t\right)\right|\to 0, l\to \infty .$$

Moreover, according to Lemma 1, we have ${\tilde{p}}_l\ge \psi \ge {\phi }_0\ge 0$ on ${ℝ}_{+}.$ This will end the proof. To construct $\psi$, let $a=infK, b=supK, 0\le a\le b<\infty .$ It is clear that ${\phi }_0$ might have discontinuities at the ends of the intervals representing connected components of $\left[0,\infty \right)\backslash K.$ If $\phi \left(b\right)=0,$ then ${\phi }_0$ is continuous at $b$ and on the entire interval $\left[b,\infty \right).$ If $\phi \left(b\right)>0$, for an arbitrary $\epsilon >0,$ define $\psi$ on the interval $\left[b,b+\epsilon \right]$ as the affine function whose graph is the line segment joining the points $\left(b,\phi \left(b\right)\right)$ and $\left(b+\epsilon ,0\right), \psi \left(t\right)=0$ for all $t>b+\epsilon , \psi \left(t\right)=\phi \left(t\right)$ for all $t$ in $K.$ It remains to define $\psi$ on each bounded connected component of $\left[0,\infty \right)\backslash K.$ Let $\left(t_1,t_2\right)$ be such an interval, $t_1,t_2\in K, t_1<t_2$ and $0<\epsilon <\left(t_2-t_1\right)/2$. On the interval $\left[t_2-\epsilon ,t_2\right]$, we define $\psi$ as the affine function whose graph is the line segment of ends $\left(t_2-\epsilon ,0\right), \left(t_2,\phi \left(t_2\right)\right)$. Similarly, on the interval $\left[t_1,t_1+\epsilon \right]$, we consider the line segment joining the points $\left(t_1,\phi \left(t_1\right)\right), \left(t_1+\epsilon ,0\right)$. The definition at points $t_1,t_2$ is in accordance with the previous condition and $\psi \left(t\right)=\phi \left(t\right)$ for all $t\in K.$ On the interval $\left(t_1+\epsilon ,t_2-\epsilon \right),$ $\psi \equiv 0$. Finally, if $a>0$ and $\phi \left(a\right)>0,$ taking $0<\epsilon <a,$ we define $\psi$ on the interval $\left[a-\epsilon ,a\right]$ as being the function whose graph is the line segment joining the points $\left(a-\epsilon ,0\right), \left(a,\phi \left(a\right)\right), \psi \equiv 0$ on $\left[0,a-\epsilon \right].$ If $a=0,$ we have $\psi \left(a\right)=\phi \left(a\right),$ since $a\in K$ and the interval $\left(0,a\right)$ is empty. If $a>0$ and $\phi \left(a\right)=0,$ we define $\psi \equiv 0$ on $\left[0,a\right].$ Thus $\psi$ is defined, non-negative, continuous on $\left[0,\infty \right), \psi {|}_K\equiv \phi ,$ and $supp\left(\psi \right)$ is compact, contained in $\left[0,b+\epsilon \right].$ The proof is complete. □

In the sequel, we prove our first new theorem, motivated by its corollary (see Corollary 1 below). Let $K\subset {ℝ}_{+}$ be an arbitrary compact subset. We denote, by $X=C\left(K\right),$ the Banach lattice of all real-valued continuous functions on $K,$ and let $Y$ be an arbitrary order complete Banach lattice. One denotes the following:

$${\phi }_j\left(t\right)=t^j, t\in {ℝ}_{+}, j\in \mathbb{N}.$$

Theorem 3.

Let$T_1,T_2$be two linear operators from$X$to$Y,$such that$0\le T_1\le T_2$on the positive cone of$X,$and${\left(y_n\right)}_{n\ge 0}$a given sequence of elements in$Y.$The following statements are equivalent:

(a) 

There exists a unique (bounded) linear operator$T:X\to Y,$such that$T\left({\phi }_j\right)=y_j, j\in \mathbb{N}, T_1\le T\le T_2$on the positive cone of$X, \parallel T_1\parallel \le \parallel T\parallel \le \parallel T_2\parallel ;$

(b) 

For any polynomial${{\displaystyle \sum }}_{j=0}^m{\alpha }_j{\phi }_j\ge 0$on$K,$we have${{\displaystyle \sum }}_{j=0}^m{\alpha }_j{T}_1\left({\phi }_j\right)\le {{\displaystyle \sum }}_{j=0}^m{\alpha }_j{y}_j ;$if$J_0\subset \mathbb{N}$is a finite subset and$\left\{{\lambda }_j;j\in J_0\right\}\subset ℝ,$then the following applies:

$${\displaystyle \sum }_{i,j\in J_0}^{}{\lambda }_i{\lambda }_j{y}_{i+j+l}\le {\displaystyle \sum }_{i,j\in J_0}^{}{\lambda }_i{\lambda }_j{T}_2\left({\phi }_{i+j+l}\right), l\in \left\{0,1\right\};$$

(c) 

$T_1\le T_2$on$X_{+}$and for any polynomial${{\displaystyle \sum }}_{j\in J_0}{\lambda }_j{\phi }_j$, the following inequality holds:

$${\displaystyle \sum }_{j\in J_0}{\lambda }_j{y}_j\le T_2\left({\left({\displaystyle \sum }_{j\in J_0}{\lambda }_j{\phi }_j\right)}^{+}\right)-T_1\left({\left({\displaystyle \sum }_{j\in J_0}{\lambda }_j{\phi }_j\right)}^{-}\right)$$

Proof. 

According to the notations and assertions of (a), the implication of $\left(a\right)⟹\left(b\right)$ is obvious. To prove the converse implication, we observe that first assertion of (b) says that defining the following:

$$T_0\left({{\displaystyle \sum }}_{j=0}^m{\alpha }_j{\phi }_j\right)={{\displaystyle \sum }}_{j=0}^m{\alpha }_j{y}_j, m\in \mathbb{N},{\alpha }_j\in ℝ,$$

we obtain a linear operator defined on the subspace of polynomial functions, which verifies the moment conditions.

$$T_0\left({\phi }_j\right)=y_j,j\in \mathbb{N},$$

$T_0\ge T_1$ is on the convex cone ${𝒫}_{+}$ of all polynomial functions, which are nonnegative on $K.$ On the other hand, any element from $X=C\left(K\right)$ is dominated by a constant function, so that the subspace $𝒫$ of polynomial functions defined on ${ℝ}_{+}$ verifies the hypothesis of Theorem 1, where $X_1$ stands for $X,$ and $\mathcal{S}$ stands for $𝒫.$ According to Theorem 1, the linear operator $T_0-T_1:𝒫\to Y,$ which is positive on ${𝒫}_{+}=𝒫{\displaystyle \cap }{X}_{+},$ admits a positive linear extension $U:X\to Y.$ We define $T=T_1+U\ge T_1$ on $X_{+}.$ In addition $T\in L_{+}\left(X,Y\right)$ verifies the following:

$$T\left({\phi }_j\right)=T_1\left({\phi }_j\right)+U\left({\phi }_j\right)=T_1\left({\phi }_j\right)+T_0\left({\phi }_j\right)-T_1\left({\phi }_j\right)=T_0\left({\phi }_j\right)=y_j,j\in \mathbb{N}.$$

In other words, $T:X\to Y$ is a linear extension of $T_0:𝒫\to Y$, which dominates $T_1$ on $X_{+}$. Next, we prove that $T\le T_2$ on $X_{+}.$ To this end, observe that according to the second assertion of (b), we already know that $T\le T_2$ on special polynomial functions, which are nonnegative on the entire semi axes ${ℝ}_{+}.$ Indeed, any nonnegative polynomial $p=p\left(t\right)$ on ${ℝ}_{+}$ has the explicit form $p\left(t\right)=q^2\left(t\right)+t{r}^2\left(t\right)$ for some On the other hand, since

$$T\ge T_1\ge 0,$$

the linear operator $T$ is positive and hence is also continuous; $T_2$ is continuous as well, thanks to its positivity. We now apply Lemma 2 for an arbitrary $\phi \in X_{+}.$ Using the notations of Lemma 2 and the above discussed assertions we infer the following:

$$0\le T_1\left(\phi \right)\le T\left(\phi \right)=\underset{l\to \infty }{\lim }T\left( {\tilde{p}}_l\right)\le \underset{l\to \infty }{\lim }{T}_2\left( {\tilde{p}}_l\right)=T_2\left(\phi \right), \phi \in X_{+}.$$

(2)

It remains to prove the last relation of (a). If $\psi$ is an arbitrary function in $X$, then (2) leads to the following:

$$T\left(\psi \right)\le T\left(\left|\psi \right|\right)\le T_2\left(\left|\psi \right|\right)$$

and similarly $-T\left(\psi \right)=T\left(-\psi \right)\le T_2\left(\left|\psi \right|\right).$ These inequalities yield $\left|T\left(\psi \right)\right|\le T_2\left(\left|\psi \right|\right)$ and, since $Y$ is a Banach lattice, the conclusion is $\parallel T\left(\psi \right)\parallel \le \parallel T_2\left(\left|\psi \right|\right)\parallel \le \parallel T_2\parallel \parallel \left|\psi \right|\parallel =\parallel T_2\parallel \parallel \psi \parallel , \psi$ in $X.$ Thus, $\parallel T\parallel \le \parallel T_2\parallel .$ Similarly, $\parallel T_1\parallel \le \parallel T\parallel .$ The equivalence $\left(a\right)\iff \left(c\right)$ follows directly from Theorem 2. This completes the proof. □

Next, we recall a well-known important example of an order complete Banach lattice $Y$ of self-adjoint operators acting on a complex or real Hilbert space $H.$ Let $\mathcal{A}=\mathcal{A}\left(H\right)$ be the ordered vector space of all of the self-adjoint operators acting on $H,$ and let $A\in \mathcal{A}.$ The natural order relation on $\mathcal{A}$ is $A\le B$ if and only if $⟨Ah,h⟩ \le ⟨Bh,h⟩$ for all $h$ in $H.$

One can prove that $\mathcal{A}$ with this ordering is not a lattice. Therefore, it is interesting to fix $A\in \mathcal{A}$ and define the following:

$$Y_1\left(A\right)=\left\{V\in \mathcal{A};AV=VA\right\}, Y\left(A\right)=\left\{V\in Y_1\left(A\right);WV=VW, \forall W\in Y_1\left(A\right)\right\}.$$

(3)

Then, $Y\left(A\right)$ is an order complete Banach lattice (and a commutative real algebra), as discussed in [4]. If $V\in \mathcal{A},$ we denote by $\sigma \left(V\right)$ the spectrum of $V$ and by $d{E}_V$ the spectral measure attached to $V.$

Corollary 1.

With the above notations, assume that$A$is a positive self-adjoint operator acting on$H$,$Y\left(A\right)$is the space defined by (3), and${\left(B_j\right)}_{j\in \mathbb{N}}$is a sequence of operators in$Y\left(A\right).$The following statements are equivalent:

(a) 

There exists a unique positive linear operator$T:C\left(\sigma \left(A\right)\right)\to Y,$such that

$$T\left({\phi }_j\right)=B_j, j\in \mathbb{N}, T\left(\phi \right)\le {{\displaystyle \int }}_{\sigma \left(A\right)}^{}\phi \left(t\right)d{E}_A, \phi \in {\left(C\left(\sigma \left(A\right)\right)\right)}_{+},\parallel T\parallel \le 1;$$

(b) 

For any polynomial${{\displaystyle \sum }}_{j=0}^m{\alpha }_j{\phi }_j\ge 0$on$\sigma \left(A\right),$it results${{\displaystyle \sum }}_{j=0}^m{\alpha }_j{B}_j\ge 0;$if$J_0\subset \mathbb{N}$is a finite subset and$\left\{{\lambda }_j;j\in J_0\right\}\subset ℝ,$then the following applies:

$${\displaystyle \sum }_{i,j\in J_0}^{}{\lambda }_i{\lambda }_j{B}_{i+j+l}\le {\displaystyle \sum }_{i,j\in J_0}^{}{\lambda }_i{\lambda }_j{A}^{i+j+l}, l\in \left\{0,1\right\}.$$

Proof. 

Since $A$ is self-adjoint and positive, its spectrum $\sigma \left(A\right)$ is a compact contained in $\left[0,\infty \right).$ One applies Theorem 3 for $K=\sigma \left(A\right), T_2:C\left(\sigma \left(A\right)\right)\to Y, T_2\left(\phi \right)={{\displaystyle \int }}_{\sigma \left(A\right)}^{}\phi \left(t\right)d{E}_A=\phi \left(A\right), T_1=0$. □

Remark 1.

It would be useful to know whether a similar result to that of Lemma 1 holds when we replace${ℝ}_{+}$with$ℝ.$In this case, the dominating polynomials${\tilde{p}}_l$should be nonnegative on the entire real axes, and hence would be the sums of squares. If$\psi :ℝ\to {ℝ}_{+}$would be continuous, compactly supported and even function, then the problem is reduced to that solved by Lemma 1;$\psi$can be approximated by dominating even polynomials, the convergence holding uniformly on compact subsets of$ℝ$. If$\psi$is not even, while the other assumptions on it are maintained, the polynomial approximation is not obvious.

Remark 2.

In Theorem 3, the main implication is$\left(b\right)⟹\left(a\right),$since the conditions of (b) are checkable in terms of the moments$y_j$and the given operators$T_1,T_2.$

Remark 3.

It would be interesting to prove results such as Lemmas 1 and 2 in several variables. Namely, being given a nonnegative continuous compactly supported real function$f$defined on${ℝ}_{+}^n, n\ge 2,$and denoting by$K$its support, we could approximate$f$on$K\subseteq K_1\times \cdots \times K_n$, where$K_j=p{r}_j\left(K\right), j=1,\dots ,n,$by the sums of products$f_1\otimes \cdots \otimes f_n, f_j:K_j\to {ℝ}_{+}$is continuous for all$j=1,\dots ,n,$via the Stone–Weierstrass theorem or Bernstein polynomials of$n$variables. Then, we could apply to each$f_j$Lemma 2, and finally obtain the approximation of$f$by finite sums of products of polynomials$p_1\otimes \cdots \otimes p_n$, where$p_j:{ℝ}_{+}\to {ℝ}_{+}, p_j\ge f_j$on$K_j, j=1,\dots ,n,$and the approximation holds uniformly on compact subsets of ${ℝ}_{+}^n$. The motivation for such consideration is that being given a system of commuting positive self-adjoint operators $A_1,\dots A_n$ acting on a Hilbert space, we could try to prove a result similar to Corollary 1, by means of considering polynomial uniform approximation on $K=𝜎\left(A_1\right)\times \cdots \times 𝜎\left(A_1\right)$, where $𝜎\left(A_j\right)$ is the spectrum of$A_j,j=1,\dots n$.

If $S\subseteq {ℝ}^n$ is an arbitrary closed unbounded subset, then we denote by ${𝒫}_{+}$ the convex cone of all polynomial functions (with real coefficients), taking nonnegative values at any point of $S.$ Also, ${𝒫}_{++}$ will be a sub-cone of ${𝒫}_{+}$ generated by special nonnegative polynomials expressible in terms of the sums of squares. One denotes by $C_0\left(S\right)$ the vector space of real-valued continuous and compactly supported functions defined on $S.$

Theorem 4.

Let$S\subseteq {ℝ}^n$be a closed unbounded subset,$\nu$a positive Borel moment determinate measure on$S,$having finite moments of all orders,$X=L_{\nu }^1\left(S\right), {\phi }_j\left(t\right)=t^j,t\in S, j\in {\mathbb{N}}^n.$Let$Y$be an order complete Banach lattice,${\left(y_j\right)}_{j\in {\mathbb{N}}^n}$a given sequence of elements in$Y, T_1,$and$T_2$two bounded linear operators from$X$to$Y.$Assume that there exists a sub-cone${𝒫}_{++}\subseteq {𝒫}_{+},$such that each$f\in {\left(C_0\left(S\right)\right)}_{+}$can be approximated in$X$by a sequence${\left(p_l\right)}_l, p_l\in {𝒫}_{++}, p_l\ge f$for all$l$. The following statements are equivalent:

(a) 

There exists a unique (bounded) linear operator$T:X\to Y, T\left({\phi }_j\right)=y_j, j\in {\mathbb{N}}^n,0\le T_1\le T\le T_2$on$X_{+},$

$$\parallel T_1\parallel \le \parallel T\parallel \le \parallel T_2\parallel ;$$

(b) 

For any finite subset$J_0\subset {\mathbb{N}}^n$and any$\left\{{\lambda }_j;j\in J_0\right\}\subset ℝ,$the following implications hold true:

$${\displaystyle \sum }_{j\in J_0}{\lambda }_j{\phi }_j\in {𝒫}_{+}⟹{\displaystyle \sum }_{j\in J_0}{\lambda }_j{T}_1\left({\phi }_j\right)\le {\displaystyle \sum }_{j\in J_0}{\lambda }_j{y}_j ,$$

(4)

$${\displaystyle \sum }_{j\in J_0}{\lambda }_j{\phi }_j\in {𝒫}_{++}⟹{\displaystyle \sum }_{j\in J_0}{\lambda }_j{T}_1\left({\phi }_j\right)\ge 0, {\displaystyle \sum }_{j\in J_0}{\lambda }_j{y}_j\le {\displaystyle \sum }_{j\in J_0}{\lambda }_j{T}_2\left({\phi }_j\right).$$

(5)

Proof. 

We start by observing that the first condition (5) implies the positivity of the bounded linear operator $T_1$ via its continuity. Indeed, if $f\in {\left(C_0\left(S\right)\right)}_{+} , p_l\in {𝒫}_{++}, p_l\ge f$ for all $l, p_l\to f$ in $L_{\nu }^1\left(S\right),$ then, according to the first condition (5), $T_1\left( p_l\right)\ge 0$ for all $l\in \mathbb{N}$ and the continuity of $T_1$ yields the following:

$$T_1\left(f\right)=\underset{l}{\lim }{T}_1\left(p_l\right)\ge 0$$

Since ${\left(C_0\left(S\right)\right)}_{+}$ is dense in $X_{+}$ via measure theory reasons, the continuity of $T_1$ implies $T_1\ge 0$ on $X_{+}.$ Thus, $T_1$ is a positive linear operator. Next, we define $T_0:𝒫\to Y, T_0\left({{\displaystyle \sum }}_{j\in J_0}{\lambda }_j{\phi }_j\right)={{\displaystyle \sum }}_{j\in J_0}{\lambda }_j{y}_j$, where the sums are finite and the coefficients ${\lambda }_j$ are arbitrary real numbers. Condition (4) says that $T_0-T_1\ge 0$ on ${𝒫}_{+}.$ If we consider the vector subspace $X_1$ of $X$ formed by all functions $\psi \in X$ having the modulus $\left|\psi \right|$ dominated by a polynomial $p\in {𝒫}_{+}$ on the entire set $S,$ then $𝒫$ is a majorizing subspace of $X_1$ and $T_0-T_1$ is a positive linear operator on $𝒫.$ The application of Theorem 1 leads to the existence of a positive linear extension $U:X_1\to Y,$ of $T_0-T_1.$ Obviously, $X_1$ contains $C_0\left(S\right)+𝒫:\left(p\in 𝒫⟹\left|p\right|=\sqrt{1·p^2}\le \left(1+p^2\right)/2 0 \mathrm{the} f \mathrm{as} \mathrm{the} \mathrm{preceding} \mathrm{one}\in 𝒫\right)$. Indeed, since $\phi \in C_0\left(S\right)⟹\left|\phi \right|\in {\left(C_0\left(S\right)\right)}_{+}⟹\left|\phi \right|\le b1\in 𝒫$ (according to Weierstrass’ Theorem), we infer that $\phi \in X_1$; here, $b<\infty$ is a real number. Hence, $C_0\left(S\right)\subset X_1.$ Now let $p\in 𝒫,$ we observe the following:

$$1+p^2-2\left|p\right|={\left(1-\left|p\right|\right)}^2\ge 0,$$

which can be written as follows:

$$\left|p\right|\le \frac{1+p^2}{2}\in 𝒫.$$

According to the definition of $X_1,$ it results in $𝒫\subset X_1.$ Consequently, $C_0\left(S\right)+𝒫\subset X_1.$ Going back to the positive linear extension $U:X_1\to Y,$ of $T_0-T_1,$ we conclude that ${\widehat{T}}_0=U+T_1:X_1\to Y$ is an extension of $T_0,$ ${\widehat{T}}_0\ge T_1$ on ${\left(X_1\right)}_{+}$, and ${\widehat{T}}_0\left(p\right)=T_0\left(p\right)\le T_2\left(p\right)$ for all $p\in {𝒫}_{++}$, according to the last requirement (5). A first conclusion is as follows:

$$T_1\left(p\right)\le {\widehat{T}}_0\left(p\right)\le T_2\left(p\right) \mathrm{for} \mathrm{all} p\in {𝒫}_{++}, {\widehat{T}}_0\left(\psi \right)\ge T_1\left(\psi \right)\ge 0, \psi \in {\left(X_1\right)}_{+}.$$

(6)

Our next goal is to prove the continuity of ${\widehat{T}}_0$ on $C_0\left(S\right).$ Let ${\left(f_l\right)}_{l\ge 0}$ be a sequence of nonnegative continuous compactly supported functions, such that $f_l\to 0$ in $X_1,$ and take a sequence of polynomials $p_l\ge f_l\ge 0, p_l\in {𝒫}_{++}$ for all $l,$ such that the following convergence result holds: $\parallel p_l-f_l\parallel {}_1\to 0, l\to \infty$. Then apply the following:

$$\parallel p_l\parallel {}_1\le \parallel p_l-f_l\parallel {}_1+\parallel f_l\parallel {}_1\to 0, l\to \infty .$$

Now (6) and the continuity of $T_1,$ $T_2,$ yield the following:

$$0\leftarrow T_1\left(p_l\right)\le {\widehat{T}}_0\left(p_l\right)\le T_2\left(p_l\right)\to 0,$$

hence ${\widehat{T}}_0\left(p_l\right)\to 0$. It results in the following:

$$0\le T_1\left(f_l\right)\le {\widehat{T}}_0\left(f_l\right)\le {\widehat{T}}_0\left(p_l\right)\to 0.$$

Hence, ${\widehat{T}}_0\left(f_l\right)\to 0$. If ${\left(g_n\right)}_{n\ge 0}$ is an arbitrary sequence of compactly supported and continuous functions, such as that of $g_n\to 0$ in $X_1$, then $g_n^{+}\to 0,g_n^{-}\to 0$. According to what we already have proved, we can write ${\widehat{T}}_0\left(g_n^{+}\right)\to 0$ and ${\widehat{T}}_0\left(g_n^{-}\right)\to 0,$ which further yield ${\widehat{T}}_0\left(g_n\right)\to 0$. This proves the continuity of ${\widehat{T}}_0$ on $C_0\left(S\right),$ and the subspace $C_0\left(S\right)$ is dense in $X.$ Hence, there exists a unique continuous linear extension $T\in B\left(X,Y\right)$ of ${\widehat{T}}_0.$ It results in $0\le T_1\le T\le T_2$ on $X_{+}, \parallel T_1\parallel \le \parallel T\parallel \le \parallel T_2\parallel , T\left({\phi }_j\right)=T_0\left({\phi }_j\right)=y_j, j\in {\mathbb{N}}^n.$ Indeed, $T_1, T,T_2$ are linear and continuous, and ${𝒫}_{++}$ is dense in ${\left(C_0\left(S\right)\right)}_{+},$ hence it is dense in $X_{+}$ as well. For an arbitrary $\phi \in X,$ the following inequalities hold true, via the preceding remarks:

$$\pm T\left(\phi \right)=T\left(\pm \phi \right)\le T\left(\left|\phi \right|\right)\le T_2\left(\left|\phi \right|\right)⟹$$

$$\left|T\left(\phi \right)\right|\le T_2\left(\left|\phi \right|\right)⟹\parallel T\left(\phi \right)\parallel \le \parallel T_2\left(\left|\phi \right|\right)\parallel \le \parallel T_2\parallel \parallel \phi \parallel .$$

It follows that $\parallel T\parallel \le \parallel T_2\parallel ,$ and similarly, $\parallel T_1\parallel \le \parallel T\parallel .$ The uniqueness of the solution $T$ follows from the density of the polynomials in $X,$ via the continuity of the linear operator $T.$ This ends the proof. □

Our next goal is to give a result for the Markov moment problem in the space $L_{\nu }^1(ℝ),$ where $\nu$ is a moment determinate measure on $ℝ,$ with finite moments ${{\displaystyle \int }}_{ℝ}^{}{t}^{k}d\nu \in ℝ$ of all orders $k\in \mathbb{N}.$

Corollary 2.

Let$X=L_{\nu }^1(ℝ),$where$\nu$is a moment determinate positive Borel measure on$ℝ,$with finite moments of all orders. Assume that$Y$is an arbitrary order complete Banach lattice, and${\left(y_n\right)}_{n\ge 0}$is a given sequence having its terms in$Y.$Let$T_1,T_2$be two linear operators from$X$to$Y,$such that$0\le T_1\le T_2$on$X_{+}.$The following statements are equivalent:

(a) 

There exists a unique bounded linear operator$T$from$X$to$Y, T_1\le T\le T_2$on$X_{+},$ $\parallel T_1\parallel \le \parallel T\parallel \le \parallel T_2\parallel$, such that$T\left({\phi }_n\right)=y_n$for all$n\in \mathbb{N};$

(b) 

If$J_0\subset \mathbb{N}$is a finite subset and$\left\{{\lambda }_j;j\in J_0\right\}\subset ℝ,$then the following applies:

$${{\displaystyle \sum }}_{i,j\in J_0}^{}{\lambda }_i{\lambda }_j{T}_1\left({\phi }_{i+j}\right)\le {{\displaystyle \sum }}_{i,j\in J_0}^{}{\lambda }_i{\lambda }_j{y}_{i+j}\le {{\displaystyle \sum }}_{i,j\in J_0}^{}{\lambda }_i{\lambda }_j{T}_2\left({\phi }_{i+j}\right).$$

In the case of Corollary 2, we have ${𝒫}_{++}={𝒫}_{+}.$ Going further to the multidimensional case, for examples of such sub-cones ${𝒫}_{++}$ of ${𝒫}_{+}$ and their applications on the Markov moment problem, see [37] Theorems 5 and 6. Namely, these theorems emphasize the importance of using quadratic forms in the multidimensional case, when nonnegative polynomials are not usually expressible as sums of squares. In both of these examples, the inclusion ${𝒫}_{++}\subset$ ${𝒫}_{+}$ is strict. In the case of $S={ℝ}_{+}^n$ (respectively, $S={ℝ}^n), n\ge 2,$ the cone ${𝒫}_{++}$ consists in all polynomials that are sums of products of the form.

$$p_1⨂\cdots ⨂p_n,$$

where each $p_j, j=1,\dots ,n,$ is a nonnegative polynomial on ${ℝ}_{+}$ (respectively, on $ℝ$), hence is expressible by means of sums of squares of polynomials of one variable. Proceeding this way, the conditions of (5) can be written in terms of quadratic forms (see Corollary 3 stated below).

Corollary 3.

Let$\nu ={\nu }_1\times \cdots \times {\nu }_n, n\ge 2,{\nu }_j$be an$M-$determinate (moment determinate) positive regular Borel measure on$ℝ, j=1,\dots ,n, X=L_{\nu }^1\left({ℝ}^n\right), {\phi }_j\left(t\right)=t^j,t\in {ℝ}^n, j\in {\mathbb{N}}^n.$Additionally, assume that${\nu }_j$has finite moments of all orders,$j=1,\dots ,n.$Let$Y$be an order complete Banach lattice,${\left(y_j\right)}_{j\in {\mathbb{N}}^n}$a given sequence of elements in$Y, T_1,$and$T_2$two bounded linear operators from$X$to$Y.$The following statements are equivalent:

(a) 

There exists a unique (bounded) linear operator$T:X\to Y, T\left({\phi }_j\right)=y_j, j\in {\mathbb{N}}^n,0\le T_1\le T\le T_2$on$X_{+},$

$$\parallel T_1\parallel \le \parallel T\parallel \le \parallel T_2\parallel ;$$

(b) 

For any finite subset$J_0\subset {\mathbb{N}}^n$and any$\left\{{\lambda }_j;j\in J_0\right\}\subset ℝ,$the following implication holds true:

$${\displaystyle \sum }_{j\in J_0}{\lambda }_j{\phi }_j\in {𝒫}_{+}⟹{\displaystyle \sum }_{j\in J_0}{\lambda }_j{T}_1\left({\phi }_j\right)\le {\displaystyle \sum }_{j\in J_0}{\lambda }_j{y}_j;$$

for any finite subsets$J_k\subset \mathbb{N}, k=1,\dots ,n,$and any${\left\{{\lambda }_{j_k}\right\}}_{j_k\in J_k}\subset ℝ,$the following inequalities hold:

$$\begin{gathered} 0\le {\displaystyle \sum }_{i_1,j_1\in J_1}\left(\cdots \left({\displaystyle \sum }_{i_n.j_n\in J_n}{\lambda }_{i_1}{\lambda }_{j_1}\cdots {\lambda }_{i_n}{\lambda }_{j_n}{T}_1\left({\phi }_{i_1+j_1,..,,i_n+j_n}\right)\right)\cdots \right); \\ {\displaystyle \sum }_{i_1,j_1\in J_1}\left(\cdots \left({\displaystyle \sum }_{i_n.j_n\in J_n}{\lambda }_{i_1}{\lambda }_{j_1}\cdots {\lambda }_{i_n}{\lambda }_{j_n}{y}_{i_1+j_1,..,,i_n+j_n}\right)\cdots \right) \\ \le {\displaystyle \sum }_{i_1,j_1\in J_1}\left(\cdots \left({\displaystyle \sum }_{i_n.j_n\in J_n}{\lambda }_{i_1}{\lambda }_{j_1}\cdots {\lambda }_{i_n}{\lambda }_{j_n}{T}_2\left({\phi }_{i_1+j_1,..,,i_n+j_n}\right)\right)\cdots \right). \end{gathered}$$

3.2. On a Polynomial Solution for Truncated Multidimensional Moment Problem

In the end of this subsection, we propose a polynomial solution for the truncated multidimensional scalar-valued moment problem, completing a result of [38]. The related evaluation for the norm of the vector formed with the coefficients of the polynomial solution is outlined. The general idea is to replace the space $𝒫$ of all of the polynomial functions on a closed subset $S\subseteq {ℝ}^n, n\in \left\{2,3,\dots \right\}$ having nonempty interior, with the subspace generated by the following monomials:

$${\phi }_j\left(t\right)=t^j=t_1^{j_1}\cdots t_n^{j_n}, t=\left(t_1,\dots ,t_n\right)\in S, j=\left(j_1,\dots ,j_n\right), j_k\in \left\{0,1,\dots ,d\right\},$$

where $k=1,\dots ,n,$ where $d\ge 1$ is a fixed integer. Let $w$ be a continuous positive real valued function on $S,$ such that all the absolute moments,

$$\underset{S}{\overset{}{{\displaystyle \int }}}{\left|t\right|}^{j}w\left(t\right)dt, j=\left(j_1,\dots ,j_k,\dots ,j_n\right)\in {\mathbb{N}}^n, 0\le j_k\le d, k=1,\dots ,n,$$

are finite (here ${\left|t\right|}^j={\left|t_1\right|}^{j_1}\cdots {\left|t_n\right|}^{j_n}, dt=d{t}_1\cdots d{t}_n$). Being given a finite set of numbers $\left\{y_j;j\in {\mathbb{N}}^n, j_k\le d, k=1,\dots ,n\right\}$, we are looking for a solution $h$ of the moment interpolation problem, as follows:

$$\underset{S}{\overset{}{{\displaystyle \int }}}{t}^{j}h\left(t\right)w\left(t\right)dt=y_j, 0\le j_k\le d, k=1,\dots ,n.$$

(7)

The simplest function $h$ satisfying equalities (7) is the following polynomial:

$$h\left(t\right)={\displaystyle \sum }_{\begin{array}{c}0\le l_k\le d,\\ k=1,\dots ,n\end{array}}{\lambda }_l{t}^l, t\in S,$$

(8)

where $l=\left(l_1,\dots ,l_k,\dots ,l_n\right)\in {\mathbb{N}}^n.$ The number of terms of the sum in (8) is at most $N={\left(d+1\right)}^n$, and $N$ is the dimension of the subspace of polynomials involved in this problem. We have to determine the unknown coefficients ${\lambda }_l, 0\le l_k\le d, k=1,\dots ,n,$ such that $h$ be a solution of (7). The corresponding result gives the explicit form of the solution and related evaluations of its norm. These inequalities do not involve computing the inverse of the matrix $A$ (see the proof of the next theorem). Theorem 5 is formulated as follows:

Theorem 5.

The vector$\lambda ={\left({\lambda }_j\right)}_{\begin{array}{c}0\le j_k\le d,\\ 1\le k\le n\end{array}}$of the unknowns${\lambda }_l, 0\le l_k\le d, k=1,\dots ,n$is defined by (7) and (8) and is given by (11), where the matrix$A$is defined by (10). This matrix is positive definite and evaluations (12) and (13) hold.

Proof. 

Inserting $h\left(t\right),$ defined by (8) in (7), it is easy to see that the necessary and sufficient conditions required on ${\lambda }_l, l_k\le d, k=1,\dots ,n$ are as follows:

$${\displaystyle \sum }_{\begin{array}{c}0\le l_k\le d,\\ k=1,\dots ,n\end{array}}{\lambda }_l\underset{S}{\overset{}{{\displaystyle \int }}}{t}^{j+l}w\left(t\right)dt=y_j,j_k\le d, k=1,\dots ,n.$$

(9)

This is a linear system with the unknowns ${\lambda }_l, 0\le l_k\le d, k=1,\dots ,n, l=\left(l_1,\dots ,l_n\right),$ which consisted of equations with $N$ unknowns.

$$N={\left(d+1\right)}^n$$

The matrix of the system is the $N\times N$ symmetric matrix.

$$A={\left(a_{j,l}\right)}_{0\le j_k,l_k\le d}, a_{j,l}=\underset{S}{\overset{}{{\displaystyle \int }}}{t}^{j+l}w\left(t\right)dt, 0\le j_k\le d, 0\le l_k\le d, k=1,\dots ,n.$$

(10)

The main property of matrix $A$ is that it is positive definite. Indeed, according to (10), the following relations hold true:

$${\displaystyle \sum }_{\begin{array}{c}0\le j_k\le d,\\ 0\le l_k\le d\end{array}}{a}_{j,l}{\lambda }_j{\lambda }_l=\underset{S}{\overset{}{{\displaystyle \int }}}{\left({\displaystyle \sum }_{0\le j_k\le d}{\lambda }_j{t}^j\right)}^{2}w\left(t\right)dt>0$$

for all not null vectors $\mathit{\lambda }={\left({\lambda }_j\right)}_{\begin{array}{c}0\le j_k\le d,\\ 1\le k\le n\end{array}}.$ As a consequence, all eigenvalues of matrix $A$ are positive. In particular, $0$ is not in the spectrum of $A,$ so that this matrix is invertible and its inverse is also positive definite. Since (9) can be written as follows:

$$A{\mathit{\lambda }}^t={\mathit{y}}^t,$$

we infer the following unique solution:

$${\mathit{\lambda }}^t=A^{-1}{\mathit{y}}^t.$$

(11)

Hence, the problem is reduced to the computation of $A^{-1}.$ A related evaluation might be useful. For example, if we denote by ${\mathsf{\Omega }}_A$ the greatest eigenvalue and by ${\omega }_A$ the smallest eigenvalue of $A,$ then the following applies:

$$\parallel \mathit{\lambda }{\parallel }_2\le \parallel A^{-1}\parallel \parallel \mathit{y}{\parallel }_2=\left(1/{\omega }_A\right)\parallel \mathit{y}{\parallel }_2,$$

(12)

where $\parallel {\parallel }_2$ is the Euclidean norm on ${ℝ}^N.$ Similarly, from the following inequality:

$$A^{-1}\succcurlyeq \left(1/{\mathsf{\Omega }}_A\right)I,$$

also using (11) and the Cauchy–Schwarz inequality, the following evaluations hold:

$$\parallel \mathit{\lambda }{\parallel }_2\parallel \mathit{y}{\parallel }_2\ge ⟨\mathit{\lambda },\mathit{y}⟩ = ⟨A^{-1}\mathit{y},\mathit{y}⟩ \ge \left(1/{\mathsf{\Omega }}_A\right)\parallel \mathit{y}{\parallel }_2^2.$$

It results in the following:

$$\parallel \mathit{\lambda }{\parallel }_2\ge \left(1/{\mathsf{\Omega }}_A\right)\parallel \mathit{y}{\parallel }_2 .$$

(13)

The proof is complete. □

4. Discussion

The first part of Section 3 is completely devoted to characterizing the existence and uniqueness of the solution for a class of the Markov moment problem, also controlling the norm of the solution. The necessary and sufficient conditions are written in terms of the moment sequences. The domain is an $L_{\nu }^1\left(S\right)$ space, where $S$ is a closed subset of ${ℝ}^n, n\ge 1,$ and $\nu$ is a moment determinate positive regular Borel measure on $S,$ with finite absolute moments of all order. For such measures, the nonnegative polynomials are dense in ${\left(L_{\nu }^1\left(S\right)\right)}_{+}$. The case when the domain is $C\left(K\right),$ the Banach lattice of all real-valued continuous functions defined on the compact subset $K\subset {ℝ}_{+},$ is also under attention. Here, the novelty is the approximation of the nonnegative elements of $C\left(K\right),$ by dominating polynomials that are nonnegative on the entire semi axes ${ℝ}_{+}.$ Therefore, the second condition of (b), Theorem 3, can be formulated in terms of quadratic forms. The motivations for considering such problems are mentioned. Namely, $K$ could be the spectrum of a positive self-adjoint operator (see Corollary 1). Besides a well-known old result on the extension of linear positive operators preserving positivity (Theorem 1), polynomial approximation results on unbounded subsets are also used. These methods allow controlling not only the positivity (which implies its continuity), but also the norm of the linear solution $T.$ This is the reason for considering the codomain $Y$ as an order complete Banach lattice, not only an order complete Banach space. One solves, partially, the difficulty arising from the fact that on ${ℝ}^n, n\ge 2$ there exists nonnegative polynomials that are not sums of squares. Theorem 5 proposes a polynomial solution for the truncated moment problem. The norm of the vector of the coefficients of this solution is evaluated without computing effectively the coefficients. This method could work for the full moment problem, where a real analytic solution should replace the polynomial solution of the truncated problem. This can be a direction for future work.

5. Conclusions

In Section 3, it seems that the main results are as follows: Lemma 1, Theorem 3, the discussion outlined in Remark 3, Theorem 4, Corollaries 2, 3, and Theorem 5. All of these results (except Theorem 5) are based on main non-trivial lemmas and theorems on polynomial approximation, recently reviewed in [37]. With respect to the paper [37], the new element of the present work is the condition $T\ge T_1$ on the positive cone of the domain space, where $T_1$ is not necessarily the null operator. On the other hand, Theorem 4 (whose proof is not trivial) works for any sub-cone ${𝒫}_{++}$, which verifies (5). Finally, Theorem 5 brings new elements, compared with first formulation of this idea sketched in [38].