^{1}

^{*}

^{2}

Applications of the generalization of Mazur-Orlicz theorem to concrete spaces are proved. Suitable moment problems are solved, as applications of extension theorems of linear operators with a convex and a concave constraint. In particular, a relationship between Mazur-Orlicz theorem and Markov moment problem is partially illustrated. In the end of this work, an application to the multidimensional Markov moment problem of an earlier extension result on a distanced subspace with respect to a bounded convex set is proved. Contrary to preceding results based on this theorem, now the solution is defined on a space of continuous functions vanishing at the origin. Most of the solutions are operator valued, respectively function valued.

Using Hahn-Banach results and Mazur-Orlicz theorem in various applications (the moment problem, flows in infinite networks, transport problems, economic problems) is a useful technique (see [

We start this section by recalling the following variant of the Mazur-Orlicz Theorem [

Theorem 2.1. (Theorem 5 [

The following statements are equivalent

1) there exists a linear operator F ∈ L ( X , Y ) such that

F ( x j ) ≥ y j ∀ j ∈ J , F ( x ) ≥ 0 ∀ x ∈ X + , F ( x ) ≤ P ( x ) ∀ x ∈ X (2.1)

2) for any finite subset J 0 ⊂ J and any { λ j ; j ∈ J 0 } ⊂ R + , we have:

∑ j ∈ J 0 λ j x j ≤ x ⇒ ∑ j ∈ J 0 λ j y j ≤ P ( x ) (2.2)

The next result of this Section uses the order relation given by the coefficients in spaces of analytic functions. On the other hand, let H be a complex Hilbert U 0 ∈ Α ( H ) a selfadjoint operator from H into H . One defines

Y 1 = { U ∈ Α ( H ) ; U U 0 = U 0 U } , Y = { U ∈ Y 1 ; U V = V U ∀ V ∈ Y 1 } , Y + = { U ∈ Y ; 〈 U ( h ) , h 〉 ≥ 0 ∀ h ∈ H } (2.3)

Obviously, Y defined by (2.3) is a commutative algebra of selfadjoint operators. Moreover, Y is a vector lattice, being complete with respect to the order relation (cf. [

| U | ≤ | V | ⇒ ‖ U ‖ ≤ ‖ V ‖ , U , V ∈ Y (2.4)

The next result is an application of Theorem 2.1 to the space X of all absolutely convergent power series in the disc | z | < r , continuous up to the boundary, with real coefficients. The order relation is given by the coefficients: we write

∑ n ∈ Ν λ n z n ≺ ∑ n ∈ Ν γ n z n ⇔ ( λ n ≤ γ n , ∀ n ∈ Ν ) (2.5)

Denote φ n ( z ) = z n , n ∈ Ν , | z | ≤ r . Let Y be the space defined by (2.3), ( B n ) n ∈ Ν a sequence in Y , and U ∈ Y such that ‖ U ‖ < r .

Proposition 2.1. Consider the following statements

1) there exists a linear positive bounded operator F ∈ L + ( X , Y ) , such that F ( φ n ) ≥ B n , n ∈ Ν , | F ( ψ ) | ≤ ‖ ψ ‖ ∞ r ( r I − U ) − 1 , ∀ ψ ∈ X (2.6)

‖ F ‖ ≤ r r − ‖ U ‖

2) the following relations hold

0 ≤ B n ≤ U n , n ∈ Ν (2.7)

3) the following inequalities hold

B n ≤ r n + 1 ( r I − U ) − 1 , n ∈ Ν (2.8)

Then 2) Þ 1) Þ 3).

Proof. 2) Þ 1). One applies theorem 2.1, 2) implies 1), to x j = φ j , j ∈ Ν . If

∑ j ∈ J 0 λ j φ j ≤ ψ = ∑ n ∈ Ν α n φ n , λ j ∈ R + (2.9)

then the hypothesis, Cauchy inequalities and the above relation yield:

0 ≤ λ j B j ≤ λ j U j ≤ | α j | U j , j ∈ Ν ⇒ ∑ j ∈ J 0 λ j B j ≤ ∑ j ∈ J 0 | α j | U j ≤ ∑ n ∈ N ‖ ψ ‖ ∞ r n U n = ‖ ψ ‖ ∞ ( I − U r ) − 1 = r ( r I − U ) − 1 ‖ ψ ‖ ∞ = : P ( ψ ) = P ( − ψ ) (2.10)

Hence, the implication of 2), Theorem 2.1 is accomplished and an application of the latter theorem leads to the existence of a linear positive operator F applying X into Y, with the properties stated at point 1):

F ( φ n ) ≥ B n , n ∈ ℕ , | F ( φ ) | ≤ r ( r I − U ) − 1 ‖ φ ‖ ∞ , φ ∈ X (2.11)

Since the norm on Y is solid, we infer that

‖ F ( φ ) ‖ ≤ ‖ ( I − U / r ) − 1 ‖ ⋅ ‖ φ ‖ ∞ , φ ∈ X (2.12)

In particular, the following evaluation for the norm of F holds

‖ F ‖ ≤ ‖ ∑ n = 0 ∞ U n r n ‖ ≤ ∑ n = 0 ∞ ‖ U ‖ n r n = r r − ‖ U ‖ (2.13)

On the other hand, 1) Þ 3) is almost obvious, because of:

B n = F ( φ n ) ≤ ‖ φ n ‖ ∞ r ( r I − U ) − 1 = r n + 1 ( r I − U ) − 1 (2.14)

and φ n ∈ X + for all n ∈ Ν . The conclusion follows. □

Theorem 2.2.Let X = L ν 1 ( M ) , ν ≥ 0 and ( φ n ) n ∈ Ν a sequence of positive functions in X , such that ∫ M φ n d ν = 1 , ∀ n ∈ Ν . Let Y = L μ ∞ ( Ω ) , μ ≥ 0 , ( y n ) n ∈ Ν a sequence of positive functions in Y . Then sup n ∈ Ν ( ‖ y n ‖ ) = b < ∞ if and only if there is a linear positive operator F ∈ L ( X , Y ) such that

F ( φ n ) ≥ | y n | , n ∈ Ν , | F ( ψ ) | ≤ b ⋅ ( ∫ M | ψ | d ν ) ⋅ χ Ω , ∀ ψ ∈ X (2.15)

Proof. For the “only if” part, let J 0 ⊂ Ν be a finite subset, { λ j } j ∈ J 0 ⊂ R + be such that ∑ j ∈ J 0 λ j φ j ≤ ψ in X . Hypothesis on the functions φ n , n ∈ Ν and integration in the relation ∑ j ∈ J 0 λ j φ j ≤ ψ yield

∑ j ∈ J 0 λ j = ∑ j ∈ J 0 λ j ∫ M φ j d ν ≤ ∫ M ψ d ν ⇒ ∑ j ∈ J 0 λ j | y j | ≤ ‖ ∑ j ∈ J 0 λ j | y j | ‖ ⋅ χ Ω ≤ ( ∫ M ψ d ν ) ⋅ b ⋅ χ Ω ≤ ( ∫ M | ψ | d ν ) ⋅ b ⋅ χ Ω = : P ( ψ ) = P ( − ψ ) , ψ ∈ X (2.16)

Application of theorem 2.1 leads to the existence of a linear positive operator F ∈ L ( X , Y ) with the following properties

F ( φ n ) ≥ | y n | , n ∈ Ν , | F ( ψ ) | ≤ b ⋅ ( ∫ M | ψ | d ν ) ⋅ χ Ω , ∀ ψ ∈ X (2.17)

In particular, one has ‖ F ‖ ≤ b . Next we prove the “if” part. Assume that | y n | ≤ F ( φ n ) , n ∈ N and F has the qualities in the statement, then, because the norm on Y is solid, we derive

‖ y n ‖ ≤ ‖ F ( φ n ) ‖ ≤ b ( ∫ M φ n d ν ) = b , n ∈ Ν (2.18)

This concludes the proof. □

We recall an earlier result on the abstract Markov moment problem, in order to apply it to the multidimensional classical moment problem.

Theorem 3.1. (Theorem 4 [

1) there exists a linear operator F ∈ L ( X , Y ) such that

F ( x j ) = y j ∀ j ∈ J , F 1 ( x ) ≤ F ( x ) ≤ F 2 ( x ) ∀ x ∈ X + (3.1)

2) for any finite subset J 0 ⊂ J and any { λ j ; j ∈ J 0 } ⊂ R , we have

∑ j ∈ J 0 λ j x j = ψ 2 − ψ 1 , ψ l ∈ X + , l = 1 , 2 ⇒ ∑ j ∈ J 0 λ j y j ≤ F 2 ( ψ 2 ) − F 1 ( ψ 1 ) (3.2)

The next result is quite similar to that of theorem 2.2.

Theorem 3.2. Let X , Y , ( φ n ) n , ( y n ) n be as in Theorem 2.2, and 0 < b < ∞ ; consider the following statements:

1) there exists a linear positive operator F ∈ L ( X , Y ) such that

F ( φ n ) = y n , n ∈ Ν , | F ( ψ ) | ≤ b ⋅ ∫ M | ψ | d ν ⋅ χ Ω , ψ ∈ X , ‖ F ‖ ≤ b (3.3)

2) for any finite subset J 0 ⊂ Ν and any { λ j } j ∈ J 0 ⊂ R , the following relation holds

∑ j ∈ J 0 | λ j | ⋅ ‖ y j ‖ ≤ b | ∑ j ∈ J 0 λ j | (3.4)

Then 2) Þ 1).

Proof. We apply Theorem 3.1, 2) implies 1). If ∑ j ∈ J 0 λ j φ j = ψ 2 − ψ 1 , where ψ 1 , ψ 2 ∈ X + , then the following implications hold

− ∫ M ψ 1 d ν ≤ ∑ j ∈ J 0 λ j ∫ M φ j d ν = ∑ j ∈ J 0 λ j ≤ ∫ M ψ 2 d ν ⇒ | ∑ j ∈ J 0 λ j | ≤ ∫ M ψ 2 + ∫ M ψ 1 = ∫ M ψ 2 d ν − ( − ∫ M ψ 1 d ν ) (3.5)

Now the hypothesis 2) yields

| ∑ j ∈ J 0 λ j y j | ≤ ‖ ∑ j ∈ J 0 λ j y j ‖ ∞ ⋅ χ Ω ≤ ( ∑ j ∈ J 0 | λ j | ⋅ ‖ y j ‖ ) ⋅ χ Ω ≤ b ⋅ | ∑ j ∈ J 0 λ j | χ Ω ≤ b ( ∫ M ψ 2 d ν ⋅ χ Ω − ( − ∫ M ψ 1 d ν ⋅ χ Ω ) ) = F 2 ( ψ 2 ) − F 1 ( ψ 1 ) , F 2 ( ψ ) : = b ∫ M ψ d ν ⋅ χ Ω , F 1 : = − F 2 (3.6)

Application of theorem 3.1 leads to the existence of a linear operator F ∈ L ( X , Y ) such that

F ( φ n ) = y n , n ∈ Ν , F 1 ( ψ ) = − b ∫ M ψ d ν ⋅ χ Ω ≤ F ( ψ ) ≤ F 2 ( ψ ) = b ∫ M ψ d ν ⋅ χ Ω , ψ ∈ X + ⇔ | F ( ψ ) | ≤ b ∫ M ψ d ν ⋅ χ Ω , ψ ∈ X + ⇒ | F ( φ ) | ≤ | F ( φ + ) | + | F ( φ − ) | ≤ b ⋅ ∫ M ( φ + + φ − ) d ν χ Ω = b ∫ M | φ | d ν χ Ω , φ ∈ X (3.7)

This concludes the proof. □

One goes on with an application of Theorem 3.1 to the operator valued real multidimensional moment problem. Let X be the space of power series in n

complex variables, absolutely convergent in the polydisc D = ∏ k = 1 n { | z k | ≤ r k } , with

real coefficients. The order relation on X is defined by means of the coefficients, similar to the case of Proposition 2.1. Let H be a complex Hilbert space, A k , k = 1 , ⋯ , n linear positive self-adjoint commuting operators on H , such that ‖ A k ‖ ≤ r k , k = 1 , ⋯ , n . We denote:

Y 1 = { U ∈ Α ( H ) ; A k U = U A k , k = 1 , ⋯ , n } , Y = { V ∈ Y 1 ; V U = U V ∀ U ∈ Y } (3.8)

Here A ( H ) is the real vector space of all selfadjoint operators acting on H . Then Y is an order complete Banach lattice [

φ j ( z 1 , ⋯ , z n ) = z 1 j 1 ⋯ z n j n , j = ( j 1 , ⋯ , j n ) ∈ Ν n (3.9)

Theorem 3.3. Let ( B j ) j ∈ Ν n be a sequence in Y , b > 0 a real number. The following statements are equivalent

1) there exists a linear operator F ∈ L ( X , Y ) such that

F ( φ k ) = B k , k ∈ Ν n , 0 ≤ F ( ψ ) ≤ b ψ ( A 1 , ⋯ , A n ) , ∀ ψ ∈ X + (3.10)

2) the following relations hold

0 ≤ B k ≤ b A 1 k 1 ⋯ A n k n , ∀ k = ( k 1 , ⋯ , k n ) ∈ ℕ n (3.11)

Proof. The implication 1) Þ 2) is almost obvious, since φ k ∈ X + , k ∈ ℕ n and the hypothesis 1) yields

B k = F ( φ k ) ∈ [ 0 , b φ k ( A 1 , ⋯ , A n ) ] = [ 0 , b A 1 k 1 ⋯ A n k n ] (3.12)

For the converse, we apply Theorem 3.1, 2) implies 1). Assume that

∑ j ∈ J 0 λ j φ j = ψ 2 − ψ 1 = ∑ k ∈ Ν n α k φ k − ∑ k ∈ Ν n β k φ k , α k , β k ∈ R + , k ∈ Ν n (3.13)

From these relations we derive

λ j ≤ α j , j ∈ J 0 (3.14)

which further yields

∑ j ∈ J 0 λ j B j ≤ ∑ j ∈ J 0 α j B j ≤ ∑ k ∈ ℕ n α k B k ≤ b ∑ k ∈ ℕ n α k A 1 k 1 ⋯ A n k n = F 2 ( ψ 2 ) − F 1 ( ψ 1 ) (3.15)

Thus the implication from 2), Theorem 3.1 is verified, where

F 2 ( ∑ k ∈ ℕ n α k φ k ) : = b ∑ k ∈ ℕ n α k A 1 k 1 ⋯ A n k n , F 1 : = 0 (3.16)

Application of the latter theorem leads to the existence of a linear operator F ∈ L ( X , Y ) satisfying the moment conditions F ( φ k ) = B k , k ∈ Ν n , such that on the positive cone of X , the following relations hold

0 = F 1 ( ψ ) ≤ F ( ψ ) ≤ F 2 ( ψ ) = b ψ ( A 1 , ⋯ , A n ) , ψ ∈ X + (3.17)

This concludes the proof. □

We go on with applications related to a convexity and extension of linear operators result, having a nice geometric meaning. If V is a convex neighborhood of the origin in a locally convex space, we denote by p V the gauge attached to V .

Theorem 3.4. (see [

1) there exists a neighborhood V of the origin such that

( S + V ) ∩ A = Φ (3.18)

(that is, by definition, A and S are distanced);

2) A is bounded.

Then for any equicontinuous family of linear operators { f j } j ∈ J ⊂ L ( S , Y ) and for any y ˜ ∈ Y + \ { 0 } , there exists an equicontinuous family { F j } j ∈ J ⊂ L ( X , Y ) such that

F j ( s ) = f j ( s ) , s ∈ S and F j ( ψ ) ≥ y ˜ , ψ ∈ A , j ∈ J (3.19)

Moreover, if V is a neighborhood of the origin such that

f j ( V ∩ S ) ⊂ [ − u 0 , u 0 ] , ( S + V ) ∩ A = Φ (3.20)

and if α > 0 is such that p V ( a ) ≤ α ∀ a ∈ A , while α 1 > 0 is large enough such that y ˜ ≤ α 1 u 0 , then the following relations hold

F j ( x ) ≤ ( 1 + α + α 1 ) p V ( x ) ⋅ u 0 , x ∈ X , j ∈ J (3.21)

Recall that the definition and terminology of distanced (convex) subsets written above is motivated by the fact that in the particular case when X is a normed vector space, the neighborhood V appearing in relation (3.18) can be chosen as a ball centered at the origin. Then (3.18) is equivalent to the relation d ( S , A ) ≥ r > 0 , where d ( S , A ) is the distance between the two subsets S and A. with respect to the metric defined by the norm on X, and r is the radius of that ball. In this particular case, V can be chosen as V = B ( 0 , r ) , for some r > 0 sufficiently small. If V is a convex circled neighborhood of zero in a locally convex space, one can define d V ( x , y ) : = p V ( x − y ) , where p V is the gauge attached to V. Then d V has all the properties of a distance defined by means of a norm, except one of them. Precisely, d V ( x 1 , x 2 ) = 0 does not imply x 1 = x 2 , since p V is just a seminorm, not a norm. On the other hand, it is the case when X is a normed vector space to which Theorem 3.4 will be applied in the sequel. Namely, in the next theorem X will be the space C ( [ 0 , b 1 ] × ⋯ × [ 0 , b n ] ) , Y = Y ( A 1 , ⋯ , A n ) is the space defined by (3.8) ( A 1 , ⋯ , A n are commuting positive selfadjoint operators), under the additional assumption σ ( A k ) = [ 0 , b k ] , k = 1 , ⋯ , n ,

φ j ∈ X , φ j ( t 1 , ⋯ , t n ) = t 1 j 1 ⋯ t n j n , ( t 1 , ⋯ , t n ) ∈ [ 0 , b 1 ] × ⋯ × [ 0 , b n ] , j = ( j 1 , ⋯ , j n ) ∈ Ν n , | j | : = ∑ k = 1 n j k ≥ 1 (3.22)

Theorem 3.5. Let ( ψ j ) j ∈ Ν n be a sequence in X such that ψ j ( 0 , ⋯ , 0 ) = 1 ψ ( 0 , ⋯ , 0 ) ≡ 1 , ‖ ψ j ‖ ∞ ≤ 1 for all j ∈ Ν n , and let B ∈ Y , B ≥ I . Then there exists a linear bounded positive operator F ∈ B ( X , Y ) , which is multiplicative on the subspace of continuous functions vanishing at the origin, such that

F ( φ j ) = A 1 j 1 ⋯ A n j n , j ∈ Ν n , | j | ≥ 1 , F ( ψ j ) ≥ B , ∀ j ∈ Ν n , | F ( φ ) | ≤ ( 2 + ‖ B ‖ ) ⋅ ‖ φ ‖ ⋅ I , ∀ φ ∈ X (3.23)

Proof. Denote A = c o n v { ψ j ; j ∈ Ν n } , S = S p a n ( { φ j ; | j | ≥ 1 } ) . Then we get

‖ s − a ‖ ∞ ≥ | s ( 0 ) − a ( 0 ) | = 1 , ∀ s ∈ S , ∀ a ∈ A ⇒ ( S + B ( 0 , 1 ) ) ∩ A = Φ , V : = B ( 0 , 1 ) , ‖ ψ ‖ ∞ ≤ 1 = : α , ∀ ψ ∈ A (3.24)

Thus, the unit ball B ( 0 , 1 ) of the space X stands for V of the preceding theorem 3.4, ‖ ‖ stands for p V , and A is the convex hull of the collection of functions ψ j , j ∈ N n . Define

f : S → Y , f ( s ) = f ( ∑ j ∈ J 0 a j φ j ) = ∑ j ∈ J 0 a j A 1 j 1 ⋯ A n j n (3.25)

where J 0 ⊂ { j ∈ N n ; | j | ≥ 1 } ⊂ N n is a finite subset. If s ∈ S ∩ B ( 0 , 1 ) , then

− 1 ≤ s = ∑ j ∈ J 0 a j t 1 j 1 ⋯ t n j n ≤ 1 ∀ ( t 1 , ⋯ , t n ) ∈ [ 0 , b 1 ] × ⋯ × [ 0 , b n ] ⇒ − I ≤ f ( s ) = ∑ j ∈ J 0 a j A 1 j 1 ⋯ A n j n ≤ I (3.26)

because of the positivity of the spectral measures associated to the n-tuple ( A 1 , ⋯ , A n ) . On the other hand B ≤ ‖ B ‖ ⋅ I , so that all conditions of theorem 3.4 are verified for

α 1 = ‖ B ‖ , α = 1 , u 0 = I (3.27)

Application of theorem 3.4 leads to the existence of a linear extension F of f , such that

F ( φ ) ≤ ( 2 + ‖ B ‖ ) ‖ φ ‖ ∞ I , ∀ φ ∈ X ⇒ | F ( φ ) | ≤ ( 2 + ‖ B ‖ ) ⋅ ‖ φ ‖ ∞ I ⇒ ‖ F ‖ ≤ 2 + ‖ B ‖ , F ( ψ j ) ≥ B : = y ˜ , ∀ j ∈ Ν n ⇒ F ( 1 ) ≥ B (3.28)

In particular, F is continuous. Now we prove that F is also positive. Let be a polynomial

p ( t 1 , ⋯ , t n ) = ∑ j ∈ J 1 a j t 1 j 1 ⋯ t n j n ≥ 0 ∀ ( t 1 , ⋯ , t n ) ∈ [ 0 , b 1 ] × ⋯ × [ 0 , b n ] (3.29)

where J 1 ⊂ N n is a finite subset. Then using the positivity of the spectral measures attached to n-tuple of operators ( A 1 , ⋯ , A n ) , as well as the relations

F ( 1 ) = F ( ψ ( 0 , ⋯ , 0 ) ) ≥ B ≥ I , a ( 0 , ⋯ , 0 ) = p ( 0 , ⋯ , 0 ) ≥ 0 (3.30)

we derive the following implications

s : = ∑ j ∈ J 1 , | j | ≥ 1 a j t 1 j 1 ⋯ t n j n ≥ − a ( 0 , ⋯ , 0 ) ⇒ F ( s ) = ∑ j ∈ J 1 , | j | ≥ 1 a j A 1 j 1 ⋯ A n j n ≥ − a ( 0 , ⋯ , 0 ) ⋅ I ⇒ F ( p ) = a ( 0 , ⋯ , 0 ) F ( 1 ) + F ( s ) ≥ a ( 0 , ⋯ , 0 ) ( F ( 1 ) − I ) ≥ a ( 0 , ⋯ , 0 ) ( B − I ) ≥ 0 (3.31)

Application of Weierstrass approximation theorem and the continuity of F lead to the positivity of F on X.

Hypothesis on the fact that A 1 , ⋯ , A n are permutable and a straightforward computation shows that

f ( p 1 p 2 ) = f ( p 1 ) f ( p 2 ) (3.32)

for all polynomials of n variables, vanishing at the origin. Since F is a continuous linear extension of f and the product operation on the Banach algebra Y is continuous, we infer that F is multiplicative on the subspace of continuous functions vanishing at the origin (use Bernstein approximating polynomials of n variables: if a continuous function vanishes at the origin, then all the corresponding Bernstein polynomials do the same). This concludes the proof. □

In the first part of this work, new applications of Mazur-Orlicz theorem have been proved (Section 2). In Section 3, Markov type moment problem results are studied. Comparing theorems 2.2 and 3.2, we see that the proofs of the two type-problems mentioned above are different, even in cases of similar statements. The last result of the paper is an application of an earlier theorem. The new element with respect to previous submissions is that here the solution is defined on a space of continuous functions of several real variables, vanishing at the origin (see Theorem 3.5). Our solutions are operator or function valued. Further applications could be deduced, depending on the knowledge and imagination of the authors.

The authors would like to thank the anonymous referee for reading carefully the manuscript and for his meaningful suggestions, leading to the improvement of the presentation of this paper.

Olteanu, O. and Mihăilă, J.M. (2017) On Markov Moment Problem and Mazur-Orlicz Theorem. Open Access Library Journal, 4: e3950. https://doi.org/10.4236/oalib.1103950