Home Mathematics On Hahn-Banach theorem and some of its applications
Article Open Access

On Hahn-Banach theorem and some of its applications

  • Octav Olteanu EMAIL logo
Published/Copyright: April 19, 2022
Download Article (PDF)
Open Mathematics
From the journal Open Mathematics Volume 20 Issue 1

Abstract

First, this work provides an overview of some of the Hahn-Banach type theorems. Of note, some of these extension results for linear operators found recent applications to isotonicity of convex operators on a convex cone. Next, the work investigates applications of the Krein-Milman theorem to representation theory and elements of Choquet theory. A sandwich theorem of intercalating an affine function h between f and g , where f and – g are convex, f ≤ g on a finite-simplicial set, is recalled. Its recent topological version is also noted. Here, the novelty is that a finite-simplicial set may be unbounded in any locally convex topology on the domain space. Third, the paper summarizes and comments on recently published applications of a Hahn-Banach extension result for positive linear operators, combined with polynomial approximation on unbounded subsets, to the Markov moment problem. Some applications to concrete spaces are detailed as well. Finally, this work provides a characterization of a finite-dimensional convex bounded subset in terms of the property that any convex function defined on that subset is bounded below. This last property remains valid for a large class of convex operators.

Keywords: Hahn-Banach theorems; representations; finite simplicial sets; Markov moment problem; polynomial approximation
MSC 2010: 46A22; 47H07; 41A10; 46A55

1 Introduction

This work generally provides commentary on old and new aspects and applications of Hahn-Banach type results in representations related to the Choquet theory (such as sandwich results on finite-simplicial sets), the Markov moment problem and polynomial approximation on unbounded subsets, and characterization of finite-dimensional convex bounded subsets. All vector spaces appearing in the sequel are real vector spaces. One of the main consequences of the Hahn-Banach theorem is that on a Hausdorff locally convex space X , there are many enough linear continuous functionals, which separate the points of X . On the other hand, recent results require other consequences of a more general Hahn-Banach type theorem. Main such results are stated and discussed in the following sections and accompanied by applications. Versions in the framework of ordered topological vector spaces with normal cones are also emphasized, since concrete spaces have natural such structures. The assumption on order completeness of Y is motivated by applications of Hahn-Banach type results for extension of linear operators from a subspace of X to Y ; usually, this extension preserves a sandwich condition defined by means of a dominating convex operator and a dominated concave operator. Generally, these operators are defined on arbitrary convex subsets of a real linear space X . When there is already a given linear order relation on X, the concave operator mentioned earlier is usually defined on X + and eventually might be null. When this is the case, the result is the positivity of the linear extension, while the convex dominating constraint controls the continuity and determines or evaluates the norm of the linear extension. Such constraints on the extension are motivated by concrete problems mentioned in the Abstract.

In Section 2, this work reviews almost all important versions and applications [1,2,3,4,5,6,7,8,9,10] of the Hahn-Banach theorem, starting with its geometric form [1] and going to the general forms stated and proved in [8–10]. Such results have found recent applications to the isotonicity of convex operators on convex cones [11]. If X , Y are ordered vector spaces, an operator P : X + → Y is called isotone if it is monotone increasing:

0 ≤ x 1 ≤ x 2 in X implies P ( x 1 ) ≤ P ( x 2 ) .

A similar definition works for isotone operators defined on the entire space X (for example, if X is a vector lattice, then P : X → X , P ( x ) ≔ x + = x ∨ 0 ,   x ∈ X , is sublinear and isotone on X ).

In Section 3, this work reviews elements of representations, Choquet’s theory, and related results. This part is covered by references [2,3,12–14]. The first part of Section 3 is dedicated to the important notion of a barycenter of a probability measure on a compact convex subset K in a locally convex space X . Any point of such a subset is the barycenter of a probability measure μ on K, for which only the behavior on the extreme points of K matters. When K is metrizable, the representing measure μ is supported by the extreme points of K (Choquet’s theorem). Conversely, any probability measure on an arbitrary compact convex subset K has a unique barycenter. This is unique because linear continuous functionals on X separate the points of X . All locally convex spaces involved in this work are assumed to be Hausdorff. To conclude this third part, the recent topological version [14] of one of the results of [13] on sandwich theorems over finite-simplicial sets is especially noted. Notably, a convex subset C of the real vector space X is called finite-simplicial if for any finite-dimensional compact subset K ⊆ C , there exists a finite-dimensional simplex S y such that K ⊆ S y ⊆ C . For example, in ℝ n , n ≥ 2 , any convex cone C having a base that is a simplex is an unbounded finite-simplicial set. According to Theorem 3.12, on such a subset, the following result holds (see also [13], Corollary 3.5 for the proof).

Let X be an arbitrary vector space, C a finite-simplicial subset, f : C → ℝ a convex function, g : C → ℝ a concave function such that f ≤ g on C . Then, there exists an affine function h : C → ℝ such that f ≤ h ≤ g .

Notably, in the aforementioned statement, the dominating function is concave, while the dominated one is convex. This differentiates this particular result from the usual Hahn-Banach type theorems based on the separation of convex subsets. Theorem 3.13 provides a topological version of this result (see [14], pp. 9 and 10 for the proof).

Section 4 is devoted to another field of applications of Hahn-Banach theorems and other results in Analysis and Functional Analysis, namely, to the classical moment problem. Being given a sequence ( y j ) j ∈ ℕ n , n ∈ { 1 , 2 , … } of real numbers and a closed subset F ⊆ ℝ n , find a positive regular Borel measure (or a positive Radon measure) μ on F such that

∫ F t j d μ = y j , j = ( j 1 , … , j n ) ∈ ℕ n , t j = t 1 j 1 ⋯ t n j n .

This is an inverse problem, because the measure μ is not known. Finding μ means characterizing its existence such that the aforementioned moment conditions are satisfied, studying its uniqueness (called determinacy) and eventually constructing it. All these should be done starting from the known moments y j , j ∈ ℕ n . This is a full moment problem since it involves all the moments ∫ F t j d μ , j ∈ ℕ n of the measure μ . If we require only

∫ F t j d μ = y j , j k ∈ { 0 , 1 , … , d } , k = 1 , … , n ,

for some fixed natural number d , we have a truncated moment problem. For n = 1 , the moment problem is called one dimensional, while for n ≥ 2 , we have a multidimensional moment problem. The references [15–24] concern various aspects of the moment problem. If an upper boundedness condition on μ is required, we have a Markov moment problem. Such a condition usually controls the norm of the linear positive continuous functional defined by the measure μ on a function space containing polynomials and compactly supported continuous real-valued function on F . Usually, such a space is a Banach lattice (for example, an L p space, 1 ≤ p ≤ ∞ ) . The interested reader can find more information on Banach lattices in specialized monographs (see [25] and a part of [26]). For the present work, results from [1,11,26] on this topic are sufficient. For more details, see the introductory portion of Section 4. The papers [27,28,29,30] refer mainly to the Markov moment problem. Since the existence of a solution of the moment problem is an extension type result of a linear form defined on polynomials to a larger space, Section 4 is directly related to Hahn-Banach type results of Section 2. In the present work, existence and uniqueness of the solution for the full Markov moment problem are of special interest. The construction of a polynomial solution for the truncated moment problem is proposed in [28,29]. On the other hand, the notion of a moment determinate measure is basic because it leads to the existence and uniqueness of the linear operator solution, also controlling its norm (see [27,29]). An improved version of a result of [30] on operator-valued Markov moment problem is also stated.

Finally, in Section 5, this work seeks to revisit the result of [31] on convex operators P : B → Y , where B ⊂ ℝ n is a convex bounded subset and Y is an order complete vector lattice. In [31], we proved that any such operator is bounded below on B . The proof was done by means of the existence of a subgradient of P at an arbitrary relative interior point of B . This way, the strong relationship between convex and linear operators is pointed out once more. Conversely, if B is a convex subset of an arbitrary (infinite-dimensional) real vector space X , such that any real convex function defined on B is bounded below, then B is finite-dimensional (and bounded). This is presented in Section 5.

The subjects reviewed later and the attached references relate to other fields of analysis and algebra (self-adjoint operators, symmetric matrixes, quadratic forms, fixed point theory, convex analysis, elements of Choquet theory, and polynomial approximation on Cartesian products of unbounded closed intervals).

Section 6 concludes the paper.

2 Various Hahn-Banach type results

The following lemma is the key result for the direct proof of the geometric version of Hahn-Banach theorem.

Lemma 2.1

(See [1], pp. 45–46). Let X be a real topological vector space (t.v.s.) of dimension at least 2. If D is an open convex subset and 0 is not an element of D , then there exists a one-dimensional subspace of X not intersecting D .

Lemma 2.1 and a standard application of Zorn’s lemma yield:

Theorem 2.2

(See [1], p. 46). Let X be a real t.v.s., let M be a linear manifold in X , and let D be a nonempty open convex subset of X , not intersecting M . Then, there exists a closed hyperplane H in X , containing M and not intersecting D .

Corollary 2.3

Let E be a t.v.s., C an open convex subset of E , E 1 a vector subspace of E such that E 1 ∩ C ≠ ∅ , T 1 ∈ L ( E 1 , ℝ ) a continuous linear functional, P : C → ℝ a convex upper semi-continuous functional such that T 1 ( x ) ≤ P ( x ) for all x ∈ E 1 ∩ C . Then, there exists a continuous linear functional T ∈ L ( E , ℝ ) , which extends T 1 , such that T ( x ) ≤ P ( x ) for all x ∈ C .

To deduce Corollary 2.3 from Theorem 2.2, one applies Theorem 2.2, where X stands for E × ℝ , M stands for the graph of T 1 ( M = { ( x , T 1 ( x ) ) ; x ∈ E 1 } ) , D stands for { ( x , t ) ∈ C × ℝ ; P ( x ) < t } . According to Theorem 2.2, there exists a closed hyperplane H in E × ℝ , which contains M , such that H ∩ D = ∅ . Due to condition E 1 ∩ C ≠ ∅ , H cannot be vertical and hence is the graph of a linear functional T ∈ L ( E , ℝ ) . From the details of this sketch of the proof, it is easy to observe that T extends T 1 , T ( x ) ≤ P ( x ) , x ∈ C and T is continuous (and linear) from E to ℝ (see also [1, Exercise 6, p. 69]).

The next result holds in locally convex spaces. All such spaces are assumed to be Hausdorff.

Theorem 2.4

(See [1, Theorem 4.2, p. 49]). Let X be a t.v.s., whose topology is locally convex. If T 1 is a linear form, defined and continuous on a subspace M of X , then T 1 has a continuous extension T to the entire space X .

Corollary 2.5

Given n ∈ { 1 , 2 , … } and n linearly independent elements x ν of a l.c.s. X , there exist n continuous linear forms T μ on X such that T μ ( x ν ) = δ μ ν , ( μ , ν = 1 , … , n ) .

The next result is basic in the finite-dimensional convex analysis due to its applications, including the maximum principle for convex functions.

Theorem 2.6

(Carathéodory; see [2], p. 7). Let K ⊂ ℝ n ( n ∈ { 1 , 2 , … } ) be a convex compact subset. Then, any x ∈ K can be written as convex combination of at most n + 1 extreme points of K .

A simple proof of Theorem 2.6 (by induction on the dimension n ) is given in [2], pp. 7–8, essentially using Theorem 2.2 stated earlier. Here is a main application of Theorem 2.6 to convex optimization (in particular to linear optimization).

Corollary 2.7

(See [1, Exercise 26, p. 71]). Let K ⊂ ℝ n be a nonempty compact subset. Then, its convex hull c o ( K ) is compact.

Theorem 2.8

(See [3, p. 171). If f is a continuous convex real function on a convex compact subset K ⊂ ℝ n ( n ∈ { 1 , 2 , … } ) , then f attains a global maximum at an extreme point of K .

Theorem 2.9

(The maximum principle [3], p. 171). Let C be a convex subset of ℝ n . If a convex function f : C → ℝ attains its maximum on C at a point from the relative interior of C , then f is constant on C .

Next, we recall the following basic results, derived from Theorem 2.2.

Theorem 2.10

(First separation theorem [1], p. 64). Let A be a convex subset of a t.v.s. X , such that int ( A ) ≠ ∅ and let B be a nonempty convex subset of X , not intersecting the interior int ( A ) of A . There exists a closed hyperplane H separating A and B ; if A and B are both open, H separates A and B strictly.

Theorem 2.11

(Second separation theorem [1], p. 65). Let A , B be nonempty, disjoint convex subsets of a locally convex Hausdorff space (l.c.s.) X , such that A is closed and B is compact. There exists a closed hyperplane in X strictly separating A and B .

Corollary 2.12

Let X be a l.c.s. and x 1 , x 2 ∈ X , x 1 ≠ x 2 . Then, there exists a continuous linear functional x ⁎ ∈ X ⁎ such that x ⁎ ( x 1 ) ≠ x ⁎ ( x 2 ) .

The preceding corollary states that the topological dual X* of a l.c.s. X separates the points of X. On the other hand, by the definition of weak topology on a l.c.s. X, any weak closed subset of X is closed in the initial topology on X. For convex closed subsets, the reverse implication holds as well. Namely, we recall the following well-known consequence of Theorem 2.11:

Corollary 2.13

(See [1], p. 65) Let X be a locally convex space and C ⊂ X a convex closed subset. Then, C is the intersection of all closed half-spaces containing it. In particular, C is closed with respect to the weak topology w ( X , X ⁎ ) on X .

The following result (Theorem 2.15) has a natural geometric meaning; it is based on Lemma 2.14 and Theorem 2.10. It is worth noticing that in the latter theorem, if we additionally assume that A is open, then A is contained in the open half-space defined by H ([1]). Before stating Theorem 2.15, we have to review Lemma 2.14, which generalizes the formula for the distance from a point to a hyperplane in ℝ n , n ≥ 2 , that is well known from analytical geometry.

Lemma 2.14

Let X be a normed (real) linear space, H = { x ∈ X ; T ( x ) = α } a closed hyperplane in X , x 0 ∈ X . Then, the distance d ( x 0 , H ) ≔ inf h ∈ H ∥ x 0 − h ∥ is given by the following formula:

d ( x 0 , H ) = ∣ T ( x 0 ) − α ∣ / ∥ T ∥

(here T ∈ X ∗ , T ≠ 0 , α ∈ ℝ ).

Theorem 2.15

(See [4]). Let X be a normed linear space, A , B two convex subsets of X such that d ( A , B ) ≔ inf ( a , b ) ∈ A × B ∥ a − b ∥ > 0 . Then, there exists two closed parallel hyperplanes H 1 , H 2 in X , which separate the subsets A and B , such that d ( H 1 , H 2 ) = d ( A , B ) .

The next key lemma is used in the proof of the main Theorem 2.17 (Krein-Milman).

Lemma 2.16

(See [1], p. 67). If C is a compact, convex subset of a locally convex space, every closed hyperplane supporting C contains at least one extreme point of C .

We recall that, by definition, a closed hyperplane H in the locally convex space X under attention is supporting C if C ∩ H ≠ ∅ and C is contained in one of the two half-spaces defined by H . A point e ∈ C is called an extreme point of C if from x 1 , x 2 ∈ C , t ∈ ( 0 , 1 ) , the equality e = ( 1 − t ) x 1 + t x 2 implies x 1 = x 2 = e . In other words, e cannot be an interior element of any line segment of ends elements of C .

Theorem 2.17

(Krein-Milman; see [1], p. 67). Every compact convex subset of a locally convex space is the closed convex hull of its extreme points.

Krein-Milman theorem says that in any compact convex subset C of a l.c.s., there are many extreme points, which generate C (any element of C is the limit of a net whose elements are convex combinations of extreme points of C ).

Theorem 2.18

(See [1, Theorem 10.5, p. 68]). If K is a compact subset of a locally convex space such that the closed convex hull C of K is compact, then each extreme point of C is an element of K .

From Theorem 2.6 (Carathéodory), Corollary 2.7, and Theorem 2.18, the following consequence follows:

Corollary 2.19

If K ⊂ ℝ n is a compact nonempty subset, then its convex hull co ( K ) is compact and co ( K ) = co ( Extr ( K ) ) . Moreover, each point of co ( K ) can be written as convex combination of at most n + 1 extreme points of K .

The aforementioned results are more or less deduced from the geometric form of the Hahn-Banach theorem. In most of the cases motivated by further applications, analytic proofs of Hahn-Banach type theorems are more suitable. Here is the first main result, completely proved in [3, pp. 339–340].

Theorem 2.20

(The Hahn-Banach theorem). Let X be a vector space, P : X → ℝ a sublinear functional, M ⊂ X a vector subspace L : M → ℝ a linear functional, such that L ( x ) ≤ P ( x ) for all x ∈ M . Then, L has a linear extension T : X → ℝ , such that T is dominated by P on the entire space X .

Corollary 2.21

(See [3], p. 340) If P is a sublinear functional on a real vector space X , then for every element x 0 ∈ X , there exists a linear functional T such that

T ( x 0 ) = P ( x 0 ) a n d T ( x ) ≤ P ( x ) f o r a l l x ∈ X .

Theorem 2.22

(The Hahn-Banach theorem on normed vector spaces; see [3], p. 341). Let X 0 be a vector subspace of the real normed vector space X and T 0 : X 0 → ℝ a continuous linear functional. Then, T 0 has a continuous linear extension T : X → ℝ , with ∥ T ∥ = ∥ T 0 ∥ .

Corollary 2.23

(See [3], p. 341). If X is normed vector space, then for each x 0 ∈ X , x 0 ≠ 0 , there exists a linear functional T on X , such that T ( x 0 ) = ∥ x 0 ∥ , and ∥ T ∥ = 1 .

One of the reasons for using analytic proofs of Hahn-Banach type theorems is that they work not only for extending linear functional but also for operators. As in the case of functional, the proofs of such type results are quite simple, by means of Zorn’s lemma and extension of linear operators from a subspace S of the involved domain space X , to a space S ⊕ Span { x 0 } , where x 0 ∈ X \ S , preserving some constraints on the extension. The codomain of the operators for which Hahn-Banach type theorems hold must be order complete vector spaces, or even order complete vector lattices. We recall that an ordered vector space is a vector space Y endowed with an order relation, which is compatible with the algebraic structure of a vector space. Namely, the following two properties are satisfied:

y 1 ≤ y 2 , y ∈ Y ⇒ y 1 + y ≤ y 2 + y , y 1 ≤ y 2 , α ∈ ℝ + ⇒ α y 1 ≤ α y 2 .

We say that such an order relation is linear. If Y is an ordered vector space, then Y + = { y ∈ Y ; y ≥ 0 } is a convex cone, called the positive cone of Y . We always assume that the positive cone is generating ( Y =   Y + − Y + ) . An ordered vector space Y is called order complete (Dedekind complete) if for any upper-bounded subset B ⊂ Y , there exists a least upper bound for B in Y , denoted by sup ( B ) . A vector lattice is an ordered vector space Y with the property that for any y 1 , y 2 ∈ Y , there exists sup { y 1 , y 2 } ∈ Y . In a vector lattice Y , for any element y ∈ Y , one denotes ∣ y ∣ = sup { y , − y } . An ordered Banach space is a Banach space Y , which is also an ordered vector space, such that the positive cone Y + is closed and the norm is monotone on Y + :

0 ≤ y 1 ≤ y 2 ⇒ ∥ y 1 ∥ ≤ ∥ y 2 ∥ .

A Banach lattice Y is a Banach space, which is also a vector lattice, such that

y 1 , y 2 ∈ Y , ∣ y 1 ∣ ≤ ∣ y 2 ∣ ⇒ ∥ y 1 ∥ ≤ ∥ y 2 ∥ .

Obviously, any Banach lattice is an ordered Banach space. In an ordered Banach space, there exists also the compatibility of the topology defined by the norm with the order relation. There exist ordered Banach spaces that are not lattices. For example, the space Y of all n × n symmetric matrixes with real coefficients, endowed with the norm

∥ V ∥ = max ∥ x ∥ ≤ 1 ∣ 〈 V x , x 〉 ∣

and the order relation V ≼ W ⇔ 〈 V x , x 〉 ≤ 〈 W x , x 〉 , for all x ∈ ℝ n , V , W ∈ Y , is an ordered Banach space, which is not a lattice for n ≥ 2 . Here, the norm x is the Euclidean norm of the vector ∥ x ∥ ∈ ℝ n . In the same way, if H is a real or complex Hilbert space, the real vector space Y = A ( H ) of all self-adjoint operators acting on H , with the norm and order relation defined similarly to the case of symmetric matrixes, is an ordered Banach space, which is not a lattice (here ℝ n is replaced by H ). Almost all usual function spaces and sequence spaces have natural structures of Banach lattices. On a vector space ℱ ( S ) of real-valued functions defined on a set S , the usual order relation is: f ≤ g ⇔ f ( t ) ≤ g ( t ) for all t ∈ S . For example, if K is a compact Hausdorff topological space, the space C ( K ) of all real-valued continuous functions over K is a Banach lattice with respect to the aforementioned order relation and usual norm. If we assume that K is compact, is connected, nonempty, and not reduced to a singleton, then C ( K ) is not order complete. A particular such a Banach lattice is C ( [ 0 , 1 ] ) . In other words, the only case when C ( K ) is order complete is that of a totally disconnected space K . The Lebesgue spaces L p ( F ) , 1 ≤ p ≤ ∞ , F ⊆ ℝ n , and the sequence spaces l p , 1 ≤ p ≤ ∞ , are order complete Banach lattices.

Here is one of the old results on this subject, with many applications to the vector-valued moment problem. Let X 1 be an ordered vector space whose 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 S is called a majorizing subspace if for any x ∈ X 1 there exists s ∈ S such that x ≤ s . The following theorem holds. Here is a significant example of a majorizing subspace. Let F ⊆ ℝ n be a closed unbounded subset and 1 ≤ α < + ∞ . Let ν be a positive regular Borel measure on F , with finite moments of all orders. We denote X ≔ L ν α ( F ) , X 1 the vector subspace of all functions f ∈ X for which there exists a polynomial p such that ∣ f ∣ ≤ p on F . Then, the subspace S ≔ P of all polynomial functions on F is a majorizing subspace of X 1 . The space X 1 contains C 0 ( F ) (the subspace of all continuous compactly supported real functions on F ), as well as the subspace P ( p ∈ P ⇒ ∣ p ∣ = 1 p 2 ≤ ( 1 + p 2 ) / 2 ∈ P ) . The subspace X 1 is dense in X , since it contains C 0 ( F ) , which is dense in L ν α ( F ) = X .

Theorem 2.24

(See [5], Theorem 1.2.1). Let X 1 be an ordered vector space whose positive cone is generating, X 0 ⊂ X 1 a majorizing vector subspace, Y an order complete vector space, T 0 : X 0 → Y a positive linear operator. Then, T 0 admits a positive linear extension T : X 1 → Y .

We continue with Hahn-Banach type theorems. Now a condition on the operator solution of being dominated by a convex operator defined on a convex subset of the domain space is required. In other words, a generalized Hahn-Banach theorem will be reviewed. The relationship between the next result and its corollary (existence of subgradients of convex operators) will appear clearly. A point x 0 of the subset A of a vector space X is called an (algebraic) interior point of A if for each x ∈ X there is a positive λ 0 such that λ x + ( 1 − λ ) x 0 ∈ A for ∣ λ ∣ ≤ λ 0 . The point x 0 is said to be an (algebraic) relative interior point of A if for each x of the affine variety generated by A (affine hull of A ) there is a positive λ 0 such that λ x + ( 1 − λ ) x 0 ∈ A for ∣ λ ∣ ≤ λ 0 . The set of all interior points of A is denoted by A int and the set of all relative interior points by A ri . For the next result, see [6, Theorem 2.1, pp. 284–286].

Theorem 2.25

(A generalized Hahn-Banach theorem; see [6], Theorem 2.1, p. 284). Let X be a vector space, M ⊂ X a vector subspace, Y an order complete vector space, A ⊆ X a convex subset, P : A → Y a convex operator, T M : M → Y a linear operator such that

T M ( x ) ≤ P ( x ) f o r a l l x ∈ M ∩ A .

If A int ∩ M ≠ ∅ , then there exists a linear operator T : X → Y such that

T ( x ) = T M ( x ) f o r a l l x ∈ M a n d T ( x ) ≤ P ( x ) f o r a l l x ∈ A .

Corollary 2.26

(See [6, Corollary 2.7, p. 286]). Let X be a vector space, Y an order complete vector space, A ⊆ X a convex subset, P : A → Y a convex operator. If x 0 ∈ A r i , then there exists a linear operator T : X → Y such that

(1) T ( x ) − T ( x 0 ) ≤ P ( x ) − P ( x 0 ) f o r a l l x ∈ A .

A linear operator T satisfying (1) is called a subgradient of P at x 0 . Corollary 2.26 says that a convex operator having as codomain an order complete vector space admits a subgradient at every relative interior point of its domain. This result (with a somewhat different proof) goes back to [7]. The set of all subgradients of P at x 0 is called the subdifferential of P at x 0 and is denoted by ∂ x 0 P . This is a convex set, and, for convex operators P satisfying the hypothesis of Corollary 2.26, is nonempty.

In the results stated earlier, the order relation that naturally exists on concrete spaces does not appear on the domain space X in any way. The next theorems take into consideration linear order structures on X as well. This way, from now on, we have three conditions on the linear operator solution T . Namely, T must extend a given linear operator defined on a subspace of X , it is dominated by a given convex operator P and dominates a given concave operator Q . If Q | X + ≥ 0 , then the linear extension T is positive: x ∈ X + ⇒ T ( x ) ∈ Y + . Recall that an ordered vector space X , which is also a topological vector space, is called an ordered topological vector space if the positive cone X + is topologically closed. The next result was published by H. Bauer, and independently by I. Namioka, with different proofs, in different journals, in 1957 (for citation of the original sources see [1, p. 227]).

Theorem 2.27

(See [1, Theorem 5.4, p. 227]). Let X be an ordered t.v.s. with positive cone X + and M a vector subspace of X . For a linear form T 0 on M to have a linear continuous positive extension T : X → ℝ it is necessary and sufficient that T 0 be bounded above on M ∩ ( U − X + ) , where U is a suitable convex 0  − neighborhood in X .

The next result is motivated by Theorem 2.27 and the discussion preceding it. Subsequently, all theorems are valid for operators. In particular, the corresponding cases of real-valued functionals follow as consequences. In the next theorem, X will be a real vector space, Y an order-complete vector lattice, A , B ⊆ X convex subsets, Q : A → Y a concave operator, P : B → Y a convex operator, M ⊂ X a vector subspace, and T 0 : M → Y a linear operator. All vector spaces and linear operators are considered over the real field.

Theorem 2.28

(See [8], Theorem 1). Assume that T 0 ( x ) ≥ Q ( x ) ∀ x ∈ M ∩ A , T 0 ( x ) ≤ P ( x ) ∀ x ∈ M ∩ B . The following two statements are equivalent.

  1. There exists a linear extension T : X → Y of the operator T 0 such that

    T | A ≥ Q , T | B ≤ P ;

  2. There exists P 1 : A → Y , convex, and Q 1 : B → Y concave operator such that for all

( ρ , t , λ , a 1 , a , b 1 , b , v ) ∈ [ 0 , 1 ] 2 × ( 0 , ∞ ) × A 2 × B 2 × M ,

the following implication holds:

( 1 − t ) a 1 − t b 1 = v + λ ( ( 1 − ρ ) a − ρ b ) ⇒ ( 1 − t ) P 1 ( a 1 ) − t Q 1 ( b 1 ) ≥ T 0 ( v ) + λ ( ( 1 − ρ ) Q ( a ) − ρ P ( b ) ) .

It is worth noticing that the extension T of Theorem 2.28 satisfies the following conditions: is an extension of T 0 , is dominated by P on B , and dominates Q on A . Here, the convex subsets A , B are arbitrary, with no restriction on the existence of relative interior points or on their position with respect to the subspace M .

The following theorems follow more or less directly as corollaries of Theorem 2.28. For details, see [8,9], while for applications to the abstract Markov moment problem, see all the results of [10]. For applications to characterizing the isotonicity of a convex operator over a convex cone, see [11] (for example, the proof of Theorem 5 of [11] uses Theorem 2.33 of this article, Theorem 6 of [11] uses Theorem 2.34 of this article, and Proposition 1 of [11] applies Theorem 2.30 of this article. The same article [11] contains a large class of examples of concrete spaces and operators for which the developed theory works. Also, the article [11] gives a new proof for a known result: any linear positive operator acting between two ordered Banach spaces is continuous. In particular, this theorem works for operators acting between Banach lattices.

Theorem 2.29

(See [8], Theorem 2). Let E be an ordered vector space, F an order complete vector space, M ⊂ E a vector subspace, T 1 : M → F a linear operator, and P : E → F a convex operator. The following two statements are equivalent.

  1. There exists a positive linear extension T : E → F of T 1 such that T ≤ P   on E ;

  2. We have T 1 ( h ) ≤ P ( x ) for all ( h , x ) ∈ M × E such that h ≤ x .

One observes that in the very particular case E + = { 0 } , when the order relation on E is the equality, from Theorem 2.29, one obtains Hahn-Banach extension theorem for linear operators dominated by convex operators. When the convex operator P is defined only on the positive cone of E , one obtains the following variant of Theorem 2.29 (see [9] and [14], Theorem 5):

Theorem 2.30

Let E be an ordered vector space, F an order complete vector space, M ⊂ E be a vector subspace, T 1 : M → F be a linear operator, and P : E + → F be a convex operator. The following two statements are equivalent.

  1. There exists a positive linear extension T : E → F of T 1 such that T | E + ≤ P ;

  2. We have T 1 ( h ) ≤ P ( x ) for all ( h , x ) ∈ M × E + such that h ≤ x .

In Theorem 5 of [14], a direct sharp proof for Theorem 2.30 is pointed out. The next result provides a sufficient condition on the given linear operators for the existence of the linear extensions. When X = ℝ 2 , Y = ℝ , it has an interesting geometric meaning.

Theorem 2.31

(See [9]). Let X be a locally convex space, Y an order complete vector lattice with strong order unit u 0 and S ⊂ X a vector subspace. Let A ⊂ X be a convex subset with the following properties:

  1. There exists a neighborhood V of the origin such that ( S + V ) ∩ A = ∅ (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 ⊂ ℒ ( S , Y ) and for any y ˜ ∈ Y + \ { 0 } , there exists an equicontinuous family { T j } j ∈ J ⊂ ℒ ( X , Y ) such that

T j ( s ) = f j ( s ) , s ∈ S , T j ( ψ ) ≥ y ˜ , ψ ∈ A , j ∈ J .

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

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

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

T j ( x ) ≤ ( 1 + α + α 1 ) P V ( x ) u 0 , x ∈ X , j ∈ J .

We have denoted by P V the gauge attached to V .

The following theorem is also a Hahn-Banach type result (see Theorem 2.29), but is formulated in terms similar to those of the abstract Markov moment problem [10]. However, the condition T ( x j ) = y j , j ∈ J of the abstract moment problem is replaced by T ( x j ) ≥ y j , j ∈ J .

Theorem 2.32

(Mazur-Orlicz: see [10], Theorem 5). Let X be a preordered vector space, Y an order complete vector space, { x j } j ∈ J , { y j } j ∈ J families of elements in X , respectively in Y , and P : X → Y a sublinear operator. The following two statements are equivalent:

  1. There exists a linear positive operator T : X → Y such that

    T ( x j ) ≥ y j , j ∈ J , T ( x ) ≤ P ( x ) , x ∈ X ;

  2. For any finite subset J 0 ⊂ J and any { α j } j ∈ J 0 ⊂ ℝ + = [ 0 , + ∞ ) , the following implication holds true

    ∑ j ∈ J 0 α j x j ≤ x ∈ X ⇒ ∑ j ∈ J 0 α j y j ≤ P ( x ) .

    If in addition we assume that P is isotone, the assertions (a) and (b) are equivalent to (c), where

  3. for any finite subset J 0 ⊂ J and any { α j } j ∈ J 0 ⊂ ℝ + , the following inequality holds:

∑ j ∈ J 0 α j y j ≤ P ∑ j ∈ J 0 α j x j .

The next two variants of the same controlled regularity property of some linear operators are also consequence of Theorem 2.28. Recall that a linear operator T is called regular if it can be written as a difference of two positive linear operators V , W : T = V − W . If V is dominated by a given convex operator Ψ , we say that we have a controlled regularity for T . This terminology is motivated by the fact that in the topological framework, Ψ is assumed to be continuous and V ≤ Ψ on the entire domain space usually implies the continuity of V . Sometimes, the norm of V can be evaluated as well.

Theorem 2.33

(See [9]) Suppose that X is an ordered vector space, Y is an order complete vector lattice, and P : X + → Y is a convex operator. Then for any linear operator T : X → Y , the following two statements are equivalent.

  1. There exist two positive linear operators V , W : X → Y such that T = V − W , V | X + ≤ P ;

  2. T ( x 1 ) ≤ P ( x 2 ) for all x 1 , x 2 in X such that 0 ≤ x 1 ≤ x 2 .

Most of convex operators P appearing in applications are defined on the entire domain space. Therefore, we recall the similar statement to that of Theorem 2.33, but for convex operators P : X → Y .

Theorem 2.34

(See [8], Theorem 3). Assume that X is an ordered vector space, Y is an order complete vector lattice and P : X → Y is a convex operator. For any linear operator T : X → Y , the following two statements are equivalent:

  1. There exist two positive linear operators V , W : X → Y such that T = V − W , V ≤ P ;

  2. T ( x 1 ) ≤ P ( x 2 ) for all x 1 , x 2 in X such that 0 ≤ x 1 ≤ x 2 .

In the end of this section, we state a general constrained extension result, which can be proved as a consequence of Theorem 2.28. Probably, Theorems 2.28 and 2.35 are equivalent.

Theorem 2.35

(See [9]). Let X be a vector space, Y be an order complete vector lattice, M ⊂ X be a vector subspace, T 0 : M → Y be a linear operator, A ⊆ X be a convex subset, and Q : A → Y be a concave operator. Assume that T 0 ( x ) ≥ Q ( x ) ∀ x ∈ M ∩ A . The following two statements are equivalent.

  1. There exists a linear operator T : X → Y which extends T 0 , such that T | A ≥ Q ;

  2. There exists a convex operator P : A → Y such that for all ( x , r , a ) ∈ M × ( 0 , ∞ ) × A , the following implication holds:

x + r a ∈ A ⇒ T 0 ( x ) + r Q ( a ) ≤ P ( x + r a ) .

Moreover, if P satisfies the requirements of (b), then the extension T of (a) verifies the relation T | A ≤ P .

Since all concrete spaces are endowed with a natural linear order relation, we restate Theorem 2.35 in the framework of ordered vector spaces.

Theorem 2.36

Let X be an ordered vector space, Y be an order complete vector lattice, M ⊂ X be a vector subspace, T 0 : M → Y be a linear operator, Q : X + → Y be a supralinear operator, and P : X + → Y be a convex operator. The following two statements are equivalent.

  1. There exists a linear operator T : X → Y , which extends T 0 , such that Q ≤ T | X + ≤ P ;

  2. For all ( h , φ 1 , φ 2 ) ∈ M × X + × X + , the following implication holds:

h = φ 2 − φ 1 ⇒ T 0 ( h ) ≤ P ( φ 2 ) − Q ( φ 1 ) .

Corollary 2.37

Let X , Y , P , Q be as in the statement of Theorem 2.36. Assume that Q ≤ P on X + . Then, there exists a linear operator T : X → Y , such that Q ≤ T | X + ≤ P .

The last result of this section has also been deduced from the general Theorem 2.28. Theorem 2.38 is applied in the proof of Theorem 3.12 of the next section.

Theorem 2.38

(See [10, Theorem 4]). Let X , Y , { x j } j ∈ J , { y j } j ∈ J be as in Theorem 2.32, T 1 , T 2 ∈ L ( X , Y ) two linear operators. Assume also that Y is a vector lattice. The following two statements are equivalent.

  1. There is a linear operator T ∈ L ( X , Y ) such that

    T 1 ( x ) ≤ T ( x ) ≤ T 2 ( x ) , x ∈ X + , T ( x j ) = y j , j ∈ J ;

  2. For any finite subset J 0 ⊂ J and any { α j } j ∈ J 0 ⊂ ℝ , the following implication holds true:

    ∑ j ∈ J 0 α j x j = ψ 2 − ψ 1 , ψ 1 , ψ 2 ∈ X + ⇒ ∑ j ∈ J 0 α j y j ≤ T 2 ( ψ 2 ) − T 1 ( ψ 1 ) .

    If X is a vector lattice, then assertions (a) and (b) are equivalent to (c), where

  3. T 1 ( w ) ≤ T 2 ( w ) for all w ∈ X + , and for any finite subset J 0 ⊂ J and ∀ { α j ; j ∈ J 0 } ⊂ ℝ , we have

∑ j ∈ J 0 α j y j ≤ T 2 ∑ j ∈ J 0 α j x j + − T 1 ∑ j ∈ J 0 α j x j − .

3 Krein-Milman theorem and elements of representation theory

We start with an interpretation of Carathéodory’s Theorem 2.6 as an integral representation theorem (by means of a discrete measure). Then, by using Krein-Milman Theorem 2.17 and a passing to the limit procedure (eventually involving convergent subnets), one obtains integral representations in terms of arbitrary probability measures. In what follows, K is a compact convex nonempty subset of a (Hausdorff) locally convex space E . For y ∈ K , one denotes by δ y the “point mass” at y , that is, δ y is the Borel measure, which equals 1 on any Borel subset of K , which contains y , and equals 0 otherwise. According to these comments, if x ∈ K and K is contained in an n - dimensional subspace of E , there exist e 1 , … , e n + 1 extreme points of K and α 1 , … , α n + 1 in ℝ + , ∑ j = 1 n + 1 α j = 1 , such that x = ∑ j = 1 n + 1 α j e j . Let us denote μ = ∑ j = 1 n + 1 α j δ e j . Then, for any continuous linear form L on E , one obtains:

(2) δ x ( L ) = L ( x ) = ∑ j = 1 n + 1 α j L ( e j ) = ∑ j = 1 n + 1 α j δ e j ( L ) = μ ( L ) ≔ ∫ K L d μ .

Here, we recall that the first equality in (2) is actually the definition of the Dirac measure associated with the point x ∈ K , applied to the restriction to K of the continuous linear functional L on E . The conclusion δ x ( L ) = ∫ K L d μ for all linear continuous forms L on E one reads as μ represents x . In the last equality (2), there is an abuse of notation: we denote in two different ways ( μ and d μ ) the same measure μ on K . In what follows, a probability measure on K is a nonnegative regular Borel measure μ on K , with μ ( K ) = 1 .

Definition 3.1

Suppose that K is a nonempty compact subset of a locally convex space X and μ is a probability measure on K . A point x in X is said to be represented by μ if

L ( x ) = ∫ K L d μ

for every continuous linear functional L on X (other terminology: “ x is the barycenter of μ ” and “ x is the resultant of μ ”).

Note that any point x ∈ K is trivially represented by δ x ; the interesting fact pointed out by (2) is that for a convex compact subset K of a finite-dimensional space, each x in K may be represented by a probability measure, which “is supported” by the extreme points of K . A similar result holds for arbitrary convex compact metrizable subsets K of X (see Theorem 3.3).

Definition 3.2

If μ is a nonnegative regular Borel measure on the compact Hausdorff space K and B is a Borel subset of K , we say that μ is supported by B if μ ( K \ B ) = 0 .

Theorem 3.3

(Choquet). Suppose that K is a metrizable compact convex subset of the locally convex space X, and that x 0 is an element of K . Then, there is a probability measure μ on K , which represents x 0 and is supported by the extreme points of K .

For the proof of the preceding theorem, see [2, pp. 14–15]. The next result is somehow similar to Choquet’s theorem, without requiring metrizability condition on K (see [2, p. 17]).

Theorem 3.4

(Choquet-Bishop-de Leeuw). Suppose that K is a compact convex subset of the locally convex space X, and that x 0 is in K . Then, there is a probability measure μ on K , which represents x 0 and which vanishes on every Baire subset of K , which is disjoint from the set of extreme points of K .

Theorems 3.3 and 3.4 claim that any point in K is the barycenter of a probability measure essentially defined by its behavior on the set of extreme points of K . The following question arises naturally: does any probability measure on K have a barycenter? The answer is affirmative, and, moreover, for a given probability measure μ on K , there exists a unique corresponding barycenter denoted bar ( μ ) . Namely, the following result holds:

Theorem 3.5

(See [3, Lemma 7.2.3, p. 310]). If K is a compact convex subset in the locally convex space X and μ is a probability measure on K , there exists a unique point bar ( μ ) ∈ K such that

L ( bar ( μ ) ) = ∫ K L d μ

for all continuous linear functionals L on X .

Since all the locally convex spaces are assumed to be Hausdorff, the uniqueness of bar ( μ ) follows from the fact that the topological dual X* of X separates the points of X . The next result follows from the more general Theorem 7.2.4 of [3] and represents the Jensen integral inequality for a barycenter and probability measures.

Theorem 3.6

(Jensen; see [3]). Suppose that μ is a probability measure on the convex compact subset K of the locally convex space X . Then,

f ( bar ( μ ) ) ≤ ∫ K f ( x ) d μ ( x )

for all continuous convex functions f : K → ℝ .

Next, we recall some results on the uniqueness of the representing measure. The uniqueness holds if and only if the compact convex subset K is a simplex. Before going to infinite-dimensional simplexes, we review the definition of a finite-dimensional simplex. The sets of the form C = co ( { x 0 , … , x N } ) are called polytopes. If x 1 − x 0 , … , x N − x 0 are linearly independent, then C is called an N - simplex, with vertices x 0 , … , x N . In this case, dim C = N and any point x of C has a unique representation as a convex combination of vertices:

x = ∑ k = 0 N α k x k , α k ∈ ℝ + = [ 0 , ∞ ) , ∑ k = 0 N α k = 1 .

The numbers α 0 , … , α N are called the barycentric coordinates of x . The standard N -simplex (or unit N -simplex) in ℝ N + 1 is defined by:

Δ N = ( α 0 , … , α N ) ∈ ℝ N + 1 ; ∑ k = 0 N α k = 1 , α k ≥ 0 , k = 0 , … , N .

We go on with infinite-dimensional simplexes. As is shown in [2, pp. 51–52], for studying a compact convex subset K of a locally convex space X and see when K is a simplex, it is easier to assume that K is the base of a convex cone C (with vertex at the origin), i.e., K ⊂ C and y ∈ C if and only if there exists a unique α ≥ 0 and x in K such that y = α x . Moreover, as discussed in [2, p. 52], whenever a compact convex subset is a base for a cone C , we can always assume that it is of the form H ∩ C for some closed hyperplane H in X , which misses the origin.

Definition 3.7

If a convex set K (not necessarily compact) is a base of a cone K ˜ , we call K a simplex if the space K ˜ − K ˜ is a vector lattice in the ordering induced by K ˜ .

Definition 3.8

Let K ⊂ X be a compact convex subset; if ν and μ are nonnegative regular Borel measures on K , we write ν ≻ μ if ν ( f ) ≥ μ ( f ) for all continuous convex functions f on K , where ν ( f ) ≔ ∫ K f d ν .

Lemma 3.9

(See [2, p. 18]). If   ν is a nonnegative measure on K , then there exists a maximal measure μ such that μ ≻ ν .

Theorem 3.10

(Choquet-Meyer; see [2], pp. 56–57). Suppose that K is a nonempty compact convex subset of the locally convex space X . Then, K is a simplex if and only if for each point x in K there is a unique maximal measure μ x on K such that μ x ( h ) = h ( x ) for all continuous affine functions h : K → ℝ .

Next, we recall the statement of D.A. Edwards’ separation theorem (Theorem 16.7 of [2]).

Theorem 3.11

(Edwards). If f and − g are convex upper semicontinuous real-valued functions on a simplex K contained in a locally convex space, with f ≤ g , then there exists a continuous affine function h on K such that f ≤ h ≤ g .

Of note, sandwich-type theorems such as Theorem 3.11 can be proved when the simplex K is replaced by a finite-simplicial set, as discussed in [13]. Here, the novelty is that a finite-simplicial set can be unbounded in any locally convex topology on E . A convex subset F of a vector space X is called finite simplicial if for any finite-dimensional compact subset K ⊆ F , there exists a finite-dimensional simplex S y such that K ⊆ S y ⊆ F . Here are a few examples:

  1. In ℝ n , n ≥ 2 , any convex cone C having a base that is a simplex (the corresponding order relation is laticial) is an unbounded finite simplicial set.

  2. In ℝ n , n ≥ 2 , for each α ∈ ( 1 , ∞ ) , the convex cone C defined by

    C = ( x 1 , … , x n ) ; x n ≥ ∑ j = 1 n − 1 ∣ x j ∣ α 1 / α

    has a compact base, but C is not finite-simplicial.

  3. Let X be an arbitrary infinite or finite-dimensional vector space (of dimension ≥ 2 ) , T : X → ℝ a non-null linear functional and r ∈ ℝ . Then, the sets F 1 = { x ; T ( x ) ≥ r } , F 2 = { x ; T ( x ) ≤ r } are finite-simplicial.

  4. Let X , T be as in Example 3), α , β two real numbers such that α < β . The set

{ x ∈ X ; α ≤ T ( x ) ≤ β }

is not finite-simplicial. From the last two examples, we easily infer that generally the intersection of two finite-simplicial sets is not finite-simplicial.

The following sandwich type result holds true:

Theorem 3.12

(See [13], Corollary 3.5). Let X be an arbitrary vector space, F a finite-simplicial subset, f : F → ℝ a convex function, g : F → ℝ a concave function such that f ≤ g on F . Then, there exists an affine function h : F → ℝ such that f ≤ h ≤ g .

The proof of Theorem 3.12 is using Theorem 2.38 of Section 2. Next, we state a topological version of Theorem 3.12.

Theorem 3.13

(See [14], Theorem 4, pp. 8–10). Let X be an ordered Banach space. Assume that the positive cone X + is finite-simplicial and there exists x 0 ∈ X + such that X + − x 0 contains a balanced and absorbing convex subset. Let f , − g : X + → ℝ be convex continuous functions such that f ≤ g . Assume also that f ( 0 ) = g ( 0 ) = 0 . Then, there exists a continuous linear functional L : X → ℝ such that f ≤ L ≤ g on X + .

4 The moment problem and related results

We recall the classical formulation of the moment problem, under the terms of T. Stieltjes, given in 1894–1895: find the repartition of the positive mass on the nonnegative semi-axis, if the moments of arbitrary orders k ( k = 0 , 1 , 2 , … ) are given. Precisely, in the Stieltjes moment problem, a sequence of real numbers ( y k ) k ≥ 0 is given and one looks for a nondecreasing real function σ ( t ) ( t ≥ 0 ) , which verifies the moment conditions:

∫ 0 ∞ t k d σ = y k , ( k = 0 , 1 , 2 , … ) .

This is a one-dimensional moment problem, on an unbounded interval. Namely, it is an interpolation problem with the constraint on the positivity of the measure d σ . The numbers y k , k ∈ ℕ = { 0 , 1 , 2 , … } are called the moments of the measure d σ . Existence, uniqueness, and construction of the solution d σ are studied. The moment problem is an inverse problem: we are looking for an unknown measure, starting from its given moments. The direct problem might be: being given the measure d σ compute its moments ∫ 0 ∞ t k d σ , k = 0 , 1 , 2 , … . The connection with the positive polynomials and extensions of linear positive functional and operators is quite clear. Namely, if one denotes by φ j , φ j ( t ) ≔ t j , j ∈ ℕ , t ∈ [ 0 , + ∞ ) , P the vector space of polynomials with real coefficients, and

(3) T 0 : P → ℝ , T 0 ∑ j ∈ J 0 α j φ j ≔ ∑ j ∈ J 0 α j y j ,

where J 0 ⊂ ℕ is a finite subset, then the moment conditions T 0 ( φ j ) = y j , j ∈ ℕ are clearly satisfied. It remains to check whether the linear form T 0 defined by (3) has nonnegative value at each nonnegative polynomial. If this condition is also accomplished, then one looks for the existence of a linear positive extension T of T 0 to a larger ordered function space X , which contains both P and the space of continuous compactly supported functions, then representing T by means of a positive regular Borel measure μ on [ 0 , + ∞ ) , via Riesz representation theorem or applying Haviland theorem. Usually, the positive linear extension is defined on a Banach lattice of functions. For example, if ν is a positive regular Borel measure on [ 0 , + ∞ ) , with finite moments ∫ 0 ∞ t k d ν of all orders k ∈ ℕ , and X = L ν α (   [ 0 , + ∞ ) ) , 1 ≤ α < ∞ , one denotes by X 1 the vector subspace of X defined by X 1 ≔ { g ∈ X ; ∃ p ∈ P , ∣ g ∣ ≤ p } , X 1 contains P and all continuous real-valued compactly supported functions on [ 0 , + ∞ ) . If T 0 defined by (3) is a positive (linear) functional on P , one extends T 0 to a linear positive functional T on X 1 , by means of Theorem 2.24 ( P is a majorizing subspace in X 1 ). Usually, this extension is also continuous on the subspace X 1 of X . In this case, T can be extended to a linear continuous functional T ˜ defined on the entire space X , via density of X 1 in X (the subspace of all continuous compactly supported functions on [ 0 , + ∞ ) is contained in X 1 and is dense in X ). If an interval (for example, [ a , b ] , ℝ, or [ 0 , + ∞ ) ) is replaced by a closed subset F of ℝ n , n ≥ 2 , we have a multidimensional moment problem. Passing to an example of the multidimensional real classical moment problem, let us denote

φ j ( t ) = t j = t 1 j 1 ⋯ t n j n , j = ( j 1 , … , j n ) ∈ ℕ n , t = ( t 1 , … , t n ) ∈ ℝ + n , n ∈ ℕ , n ≥ 2 .

If a sequence ( y j ) j ∈ ℕ n is given, one studies the existence, uniqueness, and construction of a linear positive form T defined on a function space containing polynomials and continuous compactly supported real functions, such that the moment conditions

(4) T ( φ j ) = y j , j ∈ ℕ n

are satisfied. Usually, the positive linear form T (that is called a solution for the moment problem defined by (4)) can be represented by means of a positive regular Borel measure μ on ℝ + n . In this case, we say that μ is a representing measure for the sequence y = ( y j ) j ∈ ℕ n , and this sequence is called a moment sequence. Similar definitions and terminology are valid when we replace ℝ + n with an arbitrary closed subset F of ℝ n . When an upper constraint on the solution T is required too, we have a Markov moment problem (see the last part of this section). From solutions linear functional, many authors considered linear operators solutions. Of course, in this case, the moments y j , j ∈ ℕ n are elements of an ordered vector space Y (usually Y is an order complete Banach lattice). The order completeness is necessary to apply Hahn-Banach type results for operators defined on polynomials and having Y as codomain. The classical moment problem is clearly related to the form of positive polynomials on the involved closed subsets of ℝ n . As it is known, there exist nonnegative polynomials on the entire space ℝ n , n ≥ 2 , which are not sums of squares of polynomials, unlike the case n = 1 (see [17], Proposition 13.4, p. 318; see also the comments which precede and follows this result). The analytic form of positive polynomials on closed intervals is crucial in solving classical moment problems. Such results are useful in characterizing the existence of a positive solution by means of signatures of quadratic forms. In the case of the Markov moment problem, approximation of nonnegative compactly supported continuous functions (with their support contained in a closed unbounded subset F ) by special nonnegative polynomials on that subset, having known analytic form, is very important. For the multidimensional Markov moment problem on Cartesian products of closed unbounded intervals, this method works, provided that each interval is endowed with a moment determinate positive regular Borel measure. Recall that a measure is called M - determinate (moment determinate, or simply determinate) if it is uniquely determined by its classical moments, or, equivalently, by its values on polynomials. A moment sequence is called determinate if it has only one representing measure. If a sequence y has a representing measure supported on a compact subset F , then y is determinate thanks to the Weierstrass approximation theorem. We start reviewing existence of a solution for the simplest classical one-dimensional moment problems: the Hamburger moment problem (when F = ℝ ), Stieltjes moment problem (when F = ℝ + ), and Hausdorff moment problem (when F = [ 0 , 1 ] ). In the sequel, the following notations are used: ℕ = { 0 , 1 , 2 , … } , ℝ + = [ 0 , ∞ ) , C 0 ( F ) is the vector space of all real-valued compactly supported continuous functions defined on F , ( C 0 ( F ) ) + is the convex cone of all functions in C 0 ( F ) , which take nonnegative values at each point of F . P + = P + ( F ) is the convex cone of all polynomial functions with real coefficients, which are nonnegative on F .

Theorem 4.1

(Hamburger’s theorem: see [17], Theorem 3.8, p. 63). For a real sequence y = ( y n ) n ∈ ℕ , the following statements are pairwise equivalent.

  1. The sequence y is a Hamburger moment sequence, that is, there is a nonnegative Radon measure μ on ℝ such that t j ∈ L μ 1 ( ℝ ) , j ∈ ℕ and

    ∫ ℝ t j d μ ( t ) = y j , j ∈ ℕ .

  2. The sequence y is positive semidefinite, i.e., for all n ∈ ℕ and x 0 , x 1 , … , x n ∈ ℝ , we have

    ∑ i , j = 0 n y i + j x i x j ≥ 0 .

  3. All Hankel matrices H n ( y ) = ( y i + j ) i , j = 0 n , n ∈ ℕ are positive semidefinite.

  4. T 0 defined by (3) is a positive linear functional on ℝ [ t ] , that is, T 0 ( p 2 ) ≥ 0 for p ∈ ℝ [ t ] .

  5. T 0 ( q ) ≥ 0 for all q ∈ P + ( ℝ ) .

Theorem 4.2

(See [17], p. 65). For a real sequence y = ( y n ) n ∈ ℕ , the following statements are pairwise equivalent.

  1. y is a Stieltjes moment sequence, that is, there is a nonnegative Radon measure μ on [ 0 , ∞ ) such that t j ∈ L μ 1 ( ℝ + ) , j ∈ ℕ and

    ∫ 0 ∞ t j d μ ( t ) = y j , j ∈ ℕ .

  2. For all n ∈ ℕ and x 0 , x 1 , … , x n ∈ ℝ , we have

    ∑ i , j = 0 n y i + j x i x j ≥ 0 , ∑ i , j = 0 n y i + j + 1 x i x j ≥ 0 .

  3. All Hankel matrixes ( y i + j ) i , j = 0 n , ( y i + j + 1 ) i , j = 0 n , n ∈ ℕ , are positive semidefinite.

  4. T 0 ( p 2 ) ≥ 0 and T 0 ( t q 2 ) ≥ 0 for p , q ∈ ℝ [ t ] .

  5. T 0 ( q ) ≥ 0 for all q ∈ P + ( ℝ + ) .

Theorem 4.1 (respectively 4.2) gives necessary and sufficient conditions for a sequence ( y n ) n ∈ ℕ of real numbers to be an ℝ -moment sequence (respectively an ℝ + -moment sequence). Next, we go on with the corresponding problem on [ 0 , 1 ] (the Hausdorff moment problem).

Theorem 4.3

(See [17], p. 66). For a real sequence y , the following statements are pairwise equivalent:

  1. y is a [ 0 , 1 ] - moment sequence.

  2. T 0 ( ( 1 − t ) n t k ) ≥ 0 for n . k ∈ ℕ .

  3. ∑ j = 0 n ( − 1 ) j n j y j + k ≥ 0 , for n . k ∈ ℕ .

Next, we go on with the problem of determinacy. A Hamburger moment sequence is determinate if it has a unique representing measure, while a Stieltjes moment sequence is called determinate if it has only one representing measure supported on [0,∞). The Carleman theorem contains a powerful sufficient condition for determinacy.

Theorem 4.4

(See [17], Theorem 4.3, pp. 80–81). Suppose that y = ( y n ) n ∈ ℕ is a positive semidefinite sequence. The following assertions hold.

  1. If y satisfies the Carleman condition

    ∑ n = 1 ∞ y 2 n − 1 2 n = + ∞ ,

    then y is a determinate Hamburger moment sequence.

  2. If in addition ( y n + 1 ) n ∈ ℕ is positive definite and

∑ n = 1 ∞ y n − 1 2 n = + ∞ ,

then y is a determinate Stieltjes moment sequence.

The following theorem of Krein consists in a sufficient condition for indeterminacy (for measures given by densities).

Theorem 4.5

(Krein condition: see [17], Theorem 4.14, pp. 85–86). Let f be a nonnegative Borel function on ℝ . Suppose that the measure μ defined by d μ = f ( t ) d t is a Radon measure on R and has finite moments y n ≔ ∫ ℝ t n d μ for all n ∈ ℕ .

If

∫ ℝ − ln ( f ( x ) ) 1 + x 2 d x < + ∞ ,

then the moment sequence y = ( y n ) n ∈ ℕ . is M - indeterminate.

Next, we give new checkable sufficient conditions on distributions of random variables that imply Carleman condition, ensuring determinacy. Consider two random variables V ∼ Ψ , V with values in ℝ , W ∼ Λ ,   W with values in ℝ + . Assume that both Ψ and Λ belong to the class C 1 and let ψ = Ψ ′ , and λ = Λ ' be the corresponding densities. All moments of V , W are assumed to be finite. The symbol ↗ used later has the usual meaning of “monotone increasing.”

Theorem 4.6

(See [19], Theorem 1, p. 498: Hamburger case). Assume that the distribution ψ of V is symmetric on ℝ and continuous and strictly positive outside an interval ( − t 0 , t 0 ) , t 0 > 1 , such that the following conditions hold:

∫ ∣ t ∣ ≥ t 0 − ln ψ ( t ) t 2 ln ( ∣ t ∣ ) d t = ∞ , − ln ψ ( t ) ln t ↗ ∞ as t 0 ≤ t → ∞ .

Under these conditions, V ∼ Ψ satisfies Carleman’s condition, and hence, it is M - determinate.

Theorem 4.7

(See [19], Theorem 2, p. 498: Stieltjes case). Assume that the density λ of W is continuous and strictly positive on [ a , ∞ ) for some a > 1 such that the following conditions hold:

∫ a ∞ − ln λ ( t 2 ) t 2 ln t d t = + ∞ ,

− ln λ ( t ) ln t ↗ ∞ a s a ≤ t → ∞ .

Under these conditions, W ∼ Λ satisfies Carleman’s condition, and hence, it is M - determinate.

Example 4.8

The distribution function Λ having as density λ ( u ) = exp ( − u ) , u ∈ ℝ + , satisfies the conditions of Theorem 4.7; hence, it is M - determinate.

Going back to the existence problem for a solution, we consider the multidimensional case, which is much more complicated than the one-dimensional moment problem. The main reason is that the analytic form of nonnegative polynomials on closed subsets of ℝ n , n ≥ 2 , is generally not known in terms of sums of squares of polynomials. A case when this difficulty can be solved is that of semi-algebraic compact subsets of ℝ n . Here is one of the main results on this subject. If y = ( y j ) j ∈ ℕ n n ≥ 2 , is a sequence of real numbers, one denotes by T y the linear functional defined on ℝ [ t 1 , … , t n ] by

T y ∑ j ∈ J 0 α j t j = ∑ j ∈ J 0 α j y j ,

where J 0 ⊂ ℕ n is a finite subset and α j are arbitrary real coefficients. Let { f 1 , … , f k } be a finite subset of ℝ [ t 1 , … , t n ] , where ℝ [ t 1 , … , t n ] is the real vector space of all polynomials with real coefficients, of n real variables t 1 , … , t n . Then, the closed subset given by

(5) K = { t ∈ ℝ n ; f 1 ( t ) ≥ 0 , … , f k ( t ) ≥ 0 }

is called a semi-algebraic set. The following result was proved for compact semi-algebraic sets (see [21] Theorem 1.4, and [22] Theorem II.2.4 for related or more general results). On the other hand, important results on resolution of the moment problem on any compact (not necessarily semi-algebraic) subset with nonempty interior in ℝ n had been proved in [20] (see [20], Theorems 1, 2, and 4). The expression of positive polynomials on such a compact is also deduced in Theorem 4 of [20].

Theorem 4.9

(See [18]). Let K be a compact semi-algebraic set as defined earlier. Then, there is a positive Borel measure μ supported on K such that

∫ K t j d μ = y j , ∀ j ∈ ℕ n ,

if and only if

T y ( f 1 e 1 ⋯ f k e k p 2 ) ≥ 0 , ∀ p ∈ ℝ [ t 1 , … , t n ] , ∀ e 1 , … , e k ∈ { 0 , 1 } .

Corollary 4.10

(See [18]). With the aforementioned notations, if p ∈ ℝ [ t 1 , … , t n ] is such that p ( t ) > 0 for all t in the semi-algebraic compact K defined by (5), then p is a finite sum of special polynomials of the form

f 1 e 1 ⋯ f k e k q 2 ≥ 0 ,

for some q ∈ ℝ [ t 1 , … , t n ] and e 1 , … , e k ∈ { 0 , 1 } .

The next results of this section are based on polynomial approximation on unbounded subsets, also using Hahn-Banach type results. We start by recalling the following key approximation lemma.

Lemma 4.11

(See [27], Lemma 3). Let F ⊆ ℝ n be an unbounded closed subset, and let ν be an M-determinate measure on F (with finite moments of all natural orders). Then, for any x ∈ C 0 ( F ) , x ( t ) ≥ 0 , ∀ t ∈ F , there exists a sequence of polynomials ( p m ) m , p m ≥ x , m ∈ ℕ , p m → x in L ν 1 ( F ) . In particular, we have

lim m ∫ F p m ( t ) d ν = ∫ F x ( t ) d ν ,

the cone P + of nonnegative polynomials is dense in ( L ν 1 ( F ) ) + , and P is dense in L ν 1 ( F ) .

Proof

To prove the assertions of the statement, it is sufficient to show that for any x ∈ ( C 0 ( F ) ) + , we have

Q 1 ( x ) ≔ inf ∫ F p ( t ) d ν ; p ≥ x , p ∈ P = ∫ F x ( t ) d ν .

Obviously, one has

(6) Q 1 ( x ) ≥ ∫ F x ( t ) d ν .

To prove the converse, we define the linear form

T 0 : X 0 ≔ P ⊕ S p { x } → ℝ , T 0 ( p + α x ) ≔ ∫ F p ( t ) d ν + α Q 1 ( x ) , p ∈ P , α ∈ ℝ .

□

Next, we show that T 0 is positive on X 0 . In fact, for α < 0 , one has (from the definition of Q 1 , which is a sublinear functional on X 1 ):

p + α x ≥ 0 ⇒ p ≥ − α x ⇒ ( − α ) Q 1 ( x ) = Q 1 ( − α x ) ≤ ∫ F p ( t ) d ν ⇒ T 0 ( p + α x ) ≥ 0 .

If a ≥ 0 , we infer that:

0 = Q 1 ( 0 ) = Q 1 ( α x − α x ) ≤ α Q 1 ( x ) + Q 1 ( − α x ) ⇒

∫ F p ( t ) d ν ≥ Q 1 ( − α x ) ≥ − α Q 1 ( x ) ⇒ T 0 ( p + α x ) ≥ 0

where, in both possible cases, we have x 0 ∈ ( X 0 ) + ⇒ T 0 ( x 0 ) ≥ 0 . Since X 0 contains the space of the polynomial functions, which is a majorizing subspace of X 1 , there exists a linear positive extension T : X → ℝ of T 0 , which is continuous on C 0 ( F ) with respect to the sup-norm. Therefore, T has a representation by means of a positive Borel regular measure μ on F , such that

T ( x ) = ∫ F x ( t ) d μ , x ∈ C 0 ( F ) .

Let p ∈ P + be a nonnegative polynomial function. There is a nondecreasing sequence ( x m ) m of continuous nonnegative function with compact support, such that x m ↗ p pointwise on F . Positivity of T and Lebesgue’s dominated convergence theorem for μ yield

∫ F p ( t ) d ν = T ( p ) ≥ sup T ( x m ) = sup ∫ F x m ( t ) d μ = ∫ F p ( t ) d μ , p ∈ P + .

Thanks to Haviland’s theorem, there exists a positive Borel regular measure λ on F , such that

λ ( p ) = ν ( p ) − μ ( p ) ⇔ ν ( p ) = λ ( p ) + μ ( p ) , p ∈ P .

Since ν is assumed to be M-determinate, it follows that

ν ( B ) = λ ( B ) + μ ( B )

for any Borel subset B of F . From this last assertion, approximating each x ∈ ( L ν 1 ( F ) ) + , by a nondecreasing sequence of nonnegative simple functions, and also using Lebesgue’s convergence theorem, one obtains first for positive functions, then for arbitrary ν -integrable functions, φ :

∫ F φ d ν = ∫ F φ d λ + ∫ F φ d μ , φ ∈ L ν 1 ( F ) .

In particular, we must have

(7) ∫ F x d ν ≥ ∫ F x d μ = T ( x ) = T 0 ( x ) = Q 1 ( x ) .

Then, equations (6) and (7) conclude the proof. □

Lemma 4.12

Let ν = ν 1 × ⋯ × ν n be a product of n M - determinate measures on ℝ ; we can approximate any nonnegative continuous compactly supported function in X = L ν 1 ( ℝ n ) with dominating sums of products:

p 1 ⊗ ⋯ ⊗ p n , ( p 1 ⊗ ⋯ ⊗ p n ) ( t 1 , … , t n ) ≔ p 1 ( t 1 ) ⋯ p n ( t n ) ,

where p j are nonnegative polynomial on the entire real line , j = 1 , … , n .

To prove Lemma 4.12, one uses approximating Bernstein polynomial of n variables. Then, Lemma 4.11 is applied in each separate variable, for n = 1 , F = ℝ , and the Fubini theorem.

Theorem 4.13

(See [27], Theorem 7). Let ν be as in Lemma 4.12, X = L ν 1 ( ℝ n ) , and Y be a Banach lattice. Assume that T is a linear bounded operator from X to Y . The following statements are equivalent:

  1. T is positive on the positive cone of X ;

  2. For any finite subsets J k ⊂ ℕ , k = 1 , … , n , and any { λ j k } j k ∈ J k ⊂ ℝ , k = 1 , … , n , the following inequalities hold true:

0 ≤ ∑ i 1 , j 1 ∈ J 1 ⋯ ∑ i n . j n ∈ J n λ i 1 λ j 1 ⋯ λ i n λ j n T ( x i 1 + j 1 , … , i n + j n ) ⋯ .

Proof

Note that (b) says that T is positive on the convex cone generated by special positive polynomials p 1 ⊗ ⋯ ⊗ p n , each factor of any term in the sum being nonnegative on the whole real axis. Consequently, (a) ⇒ (b) is clear. To prove the converse, observe that any nonnegative element of X can be approximated by nonnegative continuous compactly supported functions. Such functions can be approximated by the sums of tensor products of positive polynomials in each separate variable, the latter being sums of squares. The conclusion is that any nonnegative function from X can be approximated in X = L ν 1 ( ℝ n ) by the sums of tensor products of squares of polynomials in each separate variable. We know that on such special polynomials, T admits values in Y + , according to the condition (b). Now, the desired conclusion is a consequence of the continuity of T , also using the fact that the positive cone of Y is closed. This concludes the proof.□

Let H be a Hilbert space and U a self-adjoint operator acting on H . Let Y = Y ( U ) the order complete Banach lattice (which is also a commutative real algebra) of self-adjoint operators discussed in [26, pp. 303–305]. Namely, if A = A ( H ) is the space of all self-adjoint operators acting on H , the natural order relation on A is, by definition,

V ≤ W ⇔ 〈 V h , h 〉 ≤ 〈 W h , h 〉 ∀ h ∈ H .

With respect to this order relation, A ( H ) is an ordered Banach space, which is not a lattice. Moreover, the multiplication operation on A ( H ) is not commutative. Therefore, we use the following notations, to define a suitable subspace Y ( U ) of A ( H ) :

(8) Y 1 ( U ) = { V ∈ A ; U V = V U } , Y ( U ) = { W ∈ Y 1 ( U ) ; W V = V W , ∀ V ∈ Y 1 ( U ) } .

Then, Y ( U ) is the codomain space we are interested in: it is an order complete Banach lattice (see [26], pp. 303–305) and is a commutative real algebra (this last assertion is obvious).

In the sequel, the condition 0 ≤ T ≤ T 2 on X + is replaced by a more general requirements on the solution T , namely, T 1 ≤ T ≤ T 2 on X + , where T 1 , T 2 are given linear operators satisfying natural assumptions. We start with a one-dimensional Markov moment problem on an arbitrary compact subset K ⊂ ℝ + . We denote by X = C ( K ) the Banach lattice of all real-valued continuous functions on K and let Y be an arbitrary order complete Banach lattice. We use the following notation:

φ j ( t ) = t j , t ∈ ℝ + , j ∈ ℕ .

Theorem 4.14

(See [29], Theorem 3). Let T 1 , T 2 be two linear operators from X to Y , such that 0 ≤ T 1 ≤ T 2 on the positive cone of X , and ( y n ) n ≥ 0 a given sequence of elements in Y . The following statements are equivalent:

  1. There exists a unique (bounded) linear operator T : X → Y such that T ( φ j ) = y j , j ∈ ℕ , T 1 ≤ T ≤ T 2 on the positive cone of X , ∥ T 1 ∥ ≤ ∥ T ∥ ≤ ∥ T 2 ∥ .

  2. For any polynomial ∑ j = 0 m α j φ j ≥ 0 on K , we have ∑ j = 0 m α j T 1 ( φ j ) ≤ ∑ j = 0 m α j y j ; if J 0 ⊂ ℕ is a finite subset and { α j ; j ∈ J 0 } ⊂ ℝ , then the following conditions are satisfied:

∑ i , j ∈ J 0 α i α j y i + j + l ≤ ∑ i , j ∈ J 0 α i α j T 2 ( φ i + j + l ) , l ∈ { 0 , 1 } .

The next result holds also for the multidimensional Markov moment problem.

Theorem 4.15

(See [29], Theorem 4). Let F ⊆ ℝ n be a closed unbounded subset, ν a positive Borel moment determinate measure on F , having finite moments of all orders, X = L ν 1 ( F ) , φ j ( t ) = t j , t ∈ F , j ∈ ℕ n . Let Y be an order complete Banach lattice, ( y j ) j ∈ ℕ n be a given sequence of elements in Y , T 1 , and T 2 be two bounded linear operators from X to Y . Assume that there exists a sub – cone P + + ⊆ P + such that each f ∈ ( C 0 ( F ) ) + can be approximated in X by a sequence ( p l ) l , p l ∈ P + + , p l ≥ f for all l . The following statements are equivalent:

  1. There exists a unique (bounded) linear operator T : X → Y , T ( φ j ) = y j , j ∈ ℕ n , 0 ≤ T 1 ≤ T ≤ T 2 on X + ,

    ∥ T 1 ∥ ≤ ∥ T ∥ ≤ ∥ T 2 ∥ ;

  2. For any finite subset J 0 ⊂ ℕ n and any { α j ; j ∈ J 0 } ⊂ ℝ , the following implications hold true:

∑ j ∈ J 0 α j φ j ∈ P + ⇒ ∑ j ∈ J 0 α j T 1 ( φ j ) ≤ ∑ j ∈ J 0 α j y j ; ∑ j ∈ J 0 α j φ j ∈ P + + ⇒ ∑ j ∈ J 0 α j T 1 ( φ j ) ≥ 0 , ∑ j ∈ J 0 α j y j ≤ ∑ j ∈ J 0 α j T 2 ( φ j ) .

The proof of Theorem 4.15 is essential based on previous approximation results published in [27]. Next, we use approximation by special nonnegative polynomials [27] to express conditions of Theorem 4.15 in terms of quadratic forms. The following consequences follow.

Corollary 4.16

(See [29], Corollary 2). Let X = L ν 1 ( ℝ ) , where ν 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 ( y n ) n ≥ 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 ≤ T 1 ≤ T 2 on X + . The following statements are equivalent:

(a) There exists a unique bounded linear operator T from X to Y , T 1 ≤ T ≤ T 2 on X + , ∥ T 1 ∥ ≤ ∥ T ∥ ≤ ∥ T 2 ∥ , such that T ( φ n ) = y n for all n ∈ ℕ .

(b) If J 0 ⊂ ℕ is a finite subset and { α j ; j ∈ J 0 } ⊂ ℝ , then the following inequalities hold:

∑ i , j ∈ J 0 α i α j T 1 ( φ i + j ) ≤ ∑ i , j ∈ J 0 α i α j y i + j ≤ ∑ i , j ∈ J 0 α i α j T 2 ( φ i + j ) .

Using the notation of Theorem 4.15, in Corollary 4.16, we have P + + = P + . since any nonnegative polynomial on the entire real axis is a sum of squares.

We next write the solution for a multidimensional Markov moment problem, which follows via Theorem 4.15 as well. In the case of S = ℝ + n (respectively S = ℝ n ) , n ≥ 2 , the cone P + + consists in all polynomials that are sums of products of the form:

p 1 ⊗ ⋯ ⊗ p n ,

( p 1 ⊗ ⋯ ⊗ p n ) ( t 1 , … , t n ) = p 1 ( t 1 ) ⋯ p n ( t n ) ,

where each p j , j = 1 , … , n , is a nonnegative polynomial on ℝ + (respectively on ℝ ) and hence is expressible by means of sums of squares of polynomials of one variable. Proceeding this way, some of the conditions of Theorem 4.15 can be written in terms of quadratic forms.

Corollary 4.17

(See [29], Corollary 3). Let ν = ν 1 × ⋯ × ν n , where ν j is an M - determinate (moment determinate) positive regular Borel measure on the real line, j = 1 , … , n , X = L ν 1 ( ℝ n ) , φ j ( t ) = t j , t ∈ ℝ n , j ∈ ℕ n . In addition, assume that ν j has finite moments of all orders, j = 1 , … , n . Let Y be an order complete Banach lattice, ( y j ) j ∈ ℕ n be a given sequence of elements in Y, and T 1 T 2 two bounded linear operators from X to Y . The following two statements are equivalent.

  1. There exists a unique (bounded) linear operator T : X → Y , T ( φ j ) = y j , j ∈ ℕ n , 0 ≤ T 1 ≤ T ≤ T 2 on X + ,

    ∥ T 1 ∥ ≤ ∥ T ∥ ≤ ∥ T 2 ∥ .

  2. For any finite subset J 0 ⊂ ℕ n and any { α j ; j ∈ J 0 } ⊂ ℝ , the following implication holds true:

∑ j ∈ J 0 α j φ j ∈ P + ⇒ ∑ j ∈ J 0 α j T 1 ( φ j ) ≤ ∑ j ∈ J 0 α j y j ;

for any finite subsets J k ⊂ ℕ , k = 1 , … , n , and any { α j k } j k ∈ J k ⊂ ℝ , the following inequalities hold true:

0 ≤ ∑ i 1 , j 1 ∈ J 1 ⋯ ∑ i n . j n ∈ J n α i 1 α j 1 ⋯ α i n α j n T 1 ( φ i 1 + j 1 , . . , , i n + j n ) ⋯ ;

∑ i 1 , j 1 ∈ J 1 ⋯ ∑ i n . j n ∈ J n α i 1 α j 1 ⋯ α i n α j n y i 1 + j 1 , . . , , i n + j n ⋯

≤ ∑ i 1 , j 1 ∈ J 1 ⋯ ∑ i n . j n ∈ J n α i 1 α j 1 ⋯ α i n α j n T 2 ( φ i 1 + j 1 , . . , , i n + j n ) ⋯ .

We recall that a moment problem is called truncated if the interpolation moment conditions (4) are satisfied only for j = ( j 1 , … , j n ) ∈ ℕ n , j k ≤ d for all k ∈ { 1 , … , n } , for some fixed natural number d . Therefore, related problems involve only a finite number of unknowns (or equations, or inequalities). For some results on truncated moment problem, see [28] Theorems 2.4 and 2.5, and perturbation of the solution in terms of the perturbations of the moments ([28], p. 35). See also [29] p, 11, Theorem 5 for a polynomial solution, as well as the references of [29] for other kinds of solutions. On the other hand, moment problems can be reduced, but not truncated in the sense mentioned earlier. Here is an illustrating example. Let Y = Y ( U ) be defined by (8) and B ˜ ∈ Y + \ { 0 } . Let X be the vector space of all continuous complex functions defined on the unit closed polydisk

D ¯ 1 = { z = ( z 1 , … , z n ) : ∣ z i ∣ ≤ 1 , i ∈ { 1 , … , n } } .

The norm on X is defined by ∥ g ∥ ∞ = sup { ∣ g ( z ) ∣ : z ∈ D ¯ 1 } , g ∈ X . We denote

h k ( z ) = z 1 k 1 ⋯ z n k n , k = ( k 1 , … , k n ) ∈ ℕ n , z ∈ D ¯ 1 , ∣ k ∣ = k 1 + ⋯ + k n .

The next result is using this space Y ( U ) as the codomain of the involved operators. Let ( B k ) k ∈ ℕ n be a multi-indexed sequence of operators in Y = Y ( U ) .

Theorem 4.18

(See [30], Theorem 3.1). Assume that A 1 , … , A n are elements of Y ( U ) such that there exists a real number M > 0 , with the property

∣ B k ∣ ≤ M A 1 2 k 1 k 1 ! ⋯ A n 2 k n k n ! , ∀ k ∈ ℕ n , ∑ p = 1 n A p 2 ≤ I ,

where I : H → H is the identity operator. Let { g k } k ∈ ℕ n ⊂ X be such that 1 = ∥ g k ∥ ∞ = g k ( 0 ) , ∀ k ∈ ℕ n . Then, there exists a linear bounded operator T ∈ B ( X , Y ) such that

T ( h k ) = B k , ∣ k ∣ ≥ 1 , F ( g k ) ≥ B , ˜ ∀ k ∈ ℕ n ,

T ( h ) ≤ ( 2 + B ˜ M − 1 e − 1 ) ∥ h ∥ ∞ u 0 , ∀ h ∈ X , u 0 = M e I .

In particular, the following evaluation holds: T ≤ 2 M e + B ˜ .

For this space X the proof from [30], Theorem 3.1, works.

5 On convex operators defined on convex-bounded finite-dimensional subsets

In [31], we emphasized a property of convex operators defined on convex bounded finite-dimensional subsets. The codomain was an order complete vector lattice having a strong order unit. This last condition was removed, without affecting the result of the next theorem.

Theorem 5.1

(See [31]). Let X be an arbitrary real vector space, B ⊂ X be a finite-dimensional convex bounded subset, Y be an order complete vector lattice, and P : B → Y be a convex operator. Then, there exists y 0 ∈ Y such that P ( x ) ≥ y 0 for all x ∈ B .

Proof

Since B is finite-dimensional and convex, its relative interior r i ( B ) is nonempty. Recall that by r i ( B ) one denotes the interior of B with respect to the topology induced on B by that on the (finite-dimensional) linear variety generated by B. As is well known, P is subdifferentiable at any point of r i ( B ) (this follows from Corollary 2.26 stated earlier). Let b 0 ∈ r i ( B ) and T a translation of a subgradient of P at b 0 , that is an affine operator T : X → Y such that T ( x 0 ) = P ( x 0 ) and T ( x ) ≤ P ( x ) for all x ∈ B . On the other hand, let x 1 , … , x p + 1 (at most) p + 1 affine independent points in the linear variety generated by B, such that□

B ⊆ co { x 1 , … , x p + 1 }

(here, p is the linear dimension of the linear variety generated by B). Such a system of points does exist thanks to the fact that B is finite dimensional and bounded. Now the following relations hold

P ( x ) ≥ T ( x ) = T ∑ j = 1 p + 1 α j x j = ∑ j = 1 p + 1 α j T ( x j ) ≥ ∑ j = 1 p + 1 α j inf { T ( x j ) ; 1 ≤ j ≤ p + 1 } = inf { T ( x j ) ; 1 ≤ j ≤ p + 1 } ≔ y 0 ,

where x = ∑ j = 1 p + 1 α j x j , α j ≥ 0 , j = 1 , … , p + 1 , ∑ j = 1 p + 1 α j = 1 . This concludes the proof.□

The following question appeared naturally: given a convex subset B with the property stated in the conclusion of Theorem 5.1, is B necessarily finite dimensional? The answer is affirmative. Namely, using some results of [1], we prove the following theorem.

Theorem 5.2

(See [31]). Let X be an arbitrary real infinite-dimensional vector space and B ⊂ X a convex subset, such that any convex real function defined on B is bounded below. Then, B is contained in a finite-dimensional subspace of X and is bounded there.

Proof

Let x ∗ be an arbitrary linear functional in the algebraic dual X ∗ of X. Then, x ∗ and − x ∗ are convex, and, by hypothesis, both of them are bounded from below on B. Thus, x ∗ ( B ) is bounded in ℝ . Hence, B is weakly bounded in X , endowed with the weak topology corresponding to the dual pair ( X , X ∗ ) . Let us endow X with the finest locally convex topology, which is compatible with this dual pair (the Mackey topology), which is actually the finest locally convex topology on X . By [1], Chapter IV, Corollary 2, p. 132, we derive that B is bounded in this topology. Application of [1], exercise 7, Chapter II, p. 69, leads to the fact that B is contained in a finite-dimensional subspace and bounded there. This concludes the proof.□

Thus, according to the two results of this section mentioned earlier, the property stated in Theorem 5.1 characterizes the finite-dimensional bounded convex subsets of an arbitrary vector space.

6 Conclusion

One of the aims of the present work was to emphasize the relationships between the properties of convex operators and related properties of linear operators. In Section 1, we state the main purposes of this work and the corresponding references used or related to it. Section 2 overviewed main Hahn-Banach type theorems and some of their direct applications. This was done in the general ordered vector setting, as well as in concrete spaces framework. For example, some of the Hahn-Banach results of Section 2 have been recently applied to characterizing isotonicity of a convex operator on a convex cone. Also, Theorem 2.38 was applied to prove an unusual sandwich theorem for real functions defined on finite-simplicial sets (see Theorem 3.12 of Section 3). Here, the new aspect is that such subsets can be unbounded in any locally convex topology on the entire space X . A topological version of this kind of sandwich results is Theorem 3.13. Other results of Section 3 concern applications of Krein-Milman theorem to representation theorems (the notion of the barycenter of a probability measure being the main point). In Section 4, both old and very recent results on the moment problem are analyzed. One of the main results from this section are Lemmas 4.11 and 4.12 and Theorem 4.13. From the point of view of this last mentioned theorem, we solve the difficulty created arising from the fact that on ℝ n , n ≥ 2 , there exist nonnegative polynomials that are not sums of squares. Instead of looking for the expression of any nonnegative polynomial, we approximate an arbitrary nonnegative function from L ν 1 ( ℝ n ) (where ν is as in Lemma 4.12), by sums of squares of polynomials q 1 ⊗ ⋯ ⊗ q n , q i ∈ ℝ [ t ] , i = 1 , … , n . This result leads to Theorem 4.13, whose statement has nothing in common with the moment problem. However, Lemma 4.12 was initially proved and applied to solve a multidimensional Markov moment problem. Moreover, in Theorem 4.15 and its consequences, the solution T verifies the sandwich condition T 1 ≤ T ≤ T 2 on the positive cone of the domain space, where T 1 is not necessarily the null operator. In particular, this allows the control of the norm of the solution. Finally, Section 5 detailed a main property of convex operators defined on convex bounded finite-dimensional sets. This property characterizes such subsets. Going back to Section 2, take note that the general Theorems 2.28 and 2.35 are equivalent. This could be the first time that Theorem 2.35 has been submitted for publication in English.

Acknowledgements

The Author would like to thank the Anonymous reviewers for their comments and suggestions, leading to the improvement of the presentation of the paper. Special thanks are addressed to the Editors and Production team, for their kind support.

  1. Funding information: The author states no funding involved.

  2. Conflict of interest: The author states no conflict of interest.

  3. Data availability statement: Data sharing is not applicable to this paper as no datasets were generated or analysed during the current study.

References

[1] H. H. Schaefer and M. P. Wolff, Topological Vector Spaces. Second Edition, Springer, New York, 1999.10.1007/978-1-4612-1468-7Search in Google Scholar

[2] R. R. Phelps, Lectures on Choquet’s Theorem. Second Edition, Springer-Verlag, Berlin Heidelberg, 2001.10.1007/b76887Search in Google Scholar

[3] C. P. Niculescu and L.-E. Persson, Convex functions and their applications. A contemporary approach, 2nd Ed., CMS Books in Mathematics, Vol. 23, Springer-Verlag, New York, 2018.10.1007/978-3-319-78337-6Search in Google Scholar

[4] O. Olteanu, A strong separation theorem in normed linear spaces, Mathematica (Cluj), 35 (58) (1993), no. 1, 59–63.Search in Google Scholar

[5] S. S. Kutateladze, Convex operators, Russian Math. Surveys 34 (1979), no. 1, 181–214, https://doi.org/10.1070/RM1979v034n01ABEH002874.10.1070/RM1979v034n01ABEH002874Search in Google Scholar

[6] J. Zowe, Sandwich theorems for convex operators with values in an ordered vector space, J. Math. Anal. Appl. 66 (1978), 282–296, https://doi.org/10.1016/0022-247X(78)90232-9.10.1016/0022-247X(78)90232-9Search in Google Scholar

[7] M. Valadier, Sous-Différentiabilité de fonctions convexes à valeurs dans un espace vectoriel ordonné, Math. Scand. 30 (1972), 65–74, https://doi.org/10.7146/math.scand.a-11064.Search in Google Scholar

[8] O. Olteanu, Convexité et prolongement d’opérateurs linéaires, (Convexity and extension of linear operators), C. R. Math. Acad. Sci. Paris, Série A 286 (1978), 511–514.Search in Google Scholar

[9] O. Olteanu, Théorèmes de prolongement d’opérateurs linéaires (Theorems on extension of linear operators), Rev. Roumaine Math. Pures Appl. 28 (1983), no. 10, 953–983.Search in Google Scholar

[10] O. Olteanu, Application de théorèmes de prolongement d’opérateurs linéaires au problème des moments e à une generalization d’un théorème de Mazur-Orlicz, (Applications of theorems on extension of linear operators to the moment problem and to a generalization of a Mazur-Orlicz theorem), C. R. Math. Acad. Sci. Paris, t. 313, Série I, (1991), 739–742.Search in Google Scholar

[11] C. P. Niculescu and O. Olteanu, From the Hahn-Banach extension theorem to the isotonicity of convex functions and the majorization theory, Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 114 (2020), no. 171, 1–19, https://doi.org/10.1007/s13398-020-00905-4.10.1007/s13398-020-00905-4Search in Google Scholar

[12] C. Berg, J. P. Reus Christensen, and P. Ressel, Harmonic Analysis on Semigroups. Theory of Positive Definite and Related Functions, Springer, New York Berlin Heidelberg Tokyo, 1984.10.1007/978-1-4612-1128-0Search in Google Scholar

[13] C. Ambrozie and O. Olteanu, A sandwich theorem, the moment problem, finite-simplicial sets and some inequalities, Rev. Roumaine Math. Pures Appl. 49 (2004), no. 3, 189–210.Search in Google Scholar

[14] O. Olteanu, From Hahn-Banach type theorems to the Markov moment problem, sandwich theorems and further application, Mathematics 8 (2020), no. 1328, 1–18, https://doi.org/10.3390/math8081328.Search in Google Scholar

[15] E. K. Haviland, On the momentum problem for distributions in more than one dimension, Amer. J. Math. 58 (1936), 164–168, https://doi.org/10.2307/2371063.Search in Google Scholar

[16] C. Berg, J. P. R. Christensen, and C. U. Jensen, A remark on the multidimensional moment problem, Math. Ann. 243 (1979), 163–169, https://doi.org/10.1007/BF01420423.Search in Google Scholar

[17] K. Schmüdgen, The moment problem, In: Graduate Texts in Mathematics, Springer International Publishing AG, Cham, 2017.10.1007/978-3-319-64546-9Search in Google Scholar

[18] K. Schmüdgen, The K – moment problem for compact semi-algebraic sets, Math. Ann. 289 (1991), 203–206, https://doi.org/10.1007/BF01446568 Search in Google Scholar

[19] J. M. Stoyanov, G. D. Lin, and P. Kopanov, New checkable conditions for moment determinacy of probability distributions, Theory Probab. Appl. 65 (2020), no. 3, 497–509, https://doi.org/10.1137/S0040585X97T990083.10.1137/S0040585X97T990083Search in Google Scholar

[20] G. Cassier, Problèmes des moments sur un compact de ℝn et décomposition des polynȏmes à plusieurs variables, J. Funct. Anal. 58 (1984), 254–266, https://doi.org/10.1016/0022-1236(84)90042-9.10.1016/0022-1236(84)90042-9Search in Google Scholar

[21] M. Putinar, Positive polynomials on compact semi-algebraic sets, Indiana Univ. Math. J. 42 (1993), no. 3, 969–984, https://doi.org/10.1512/iumj.1993.42.42045.Search in Google Scholar

[22] F. H. Vasilescu, Spectral measures and moment problems, In: A. Gheondea, M. Șabac (Eds.) Spectral Analysis and its Applications, Ion Colojoară Anniversary Volume, Theta, Bucharest, 2003, pp. 173–215.Search in Google Scholar

[23] N. I. Akhiezer, The Classical Moment Problem and Some Related Questions in Analysis, Oliver and Boyd, Edinburgh-London, 1965.Search in Google Scholar

[24] M. G. Krein and A. A. Nudelman, Markov Moment Problem and Extremal Problems, Amer. Math. Soc. Providence, RI, 1977.10.1090/mmono/050Search in Google Scholar

[25] P. Meyer-Nieberg, Banach Lattices, Springer, Berlin, 1991.10.1007/978-3-642-76724-1Search in Google Scholar

[26] R. Cristescu, Ordered Vector Spaces and Linear Operators, Academiei: Bucharest, and Abacus Press, Tunbridge Wells, Kent, 1976.Search in Google Scholar

[27] O. Olteanu, Polynomial approximation on unbounded subsets, Markov moment problem and other applications, Mathematics 8 (2020), no. 1654, 1–12, https://doi.org/10.3390/math8101654.Search in Google Scholar

[28] O. Olteanu, On truncated and full classical Markov moment problems, Contrib. Math. 3 (2021), 29–36, https://doi.org/10.47443/cm.2021.0011.Search in Google Scholar

[29] O. Olteanu, On Markov moment problem and related results, Symmetry 13 (2021), no. 986, https://doi.org/10.3390/sym13060986.10.3390/sym13060986Search in Google Scholar

[30] O. Olteanu and J. M. Mihăilă, Operator – valued Mazur – Orlicz and moment problems in spaces of analytic functions, Politehn. Univ. Bucharest Sci. Bull. Ser. A Appl. Math. Phys. 79 (2017), no. 1, 175–184.Search in Google Scholar

[31] O. Olteanu, Sur les fonctions convexes définies sur les ensembles convexes bornés de ℝn (On convex functions defined on bounded convex subsets of ℝn), C.R. Math. Acad. Sci. Paris, Série A, 290 (1980), 837–838.Search in Google Scholar
Received: 2021-06-02
Revised: 2021-11-25
Accepted: 2021-12-05
Published Online: 2022-04-19

© 2022 Octav Olteanu, published by De Gruyter

This work is licensed under the Creative Commons Attribution 4.0 International License.

Articles in the same Issue

  1. Regular Articles
  2. A random von Neumann theorem for uniformly distributed sequences of partitions
  3. Note on structural properties of graphs
  4. Mean-field formulation for mean-variance asset-liability management with cash flow under an uncertain exit time
  5. The family of random attractors for nonautonomous stochastic higher-order Kirchhoff equations with variable coefficients
  6. The intersection graph of graded submodules of a graded module
  7. Isoperimetric and Brunn-Minkowski inequalities for the (p, q)-mixed geominimal surface areas
  8. On second-order fuzzy discrete population model
  9. On certain functional equation in prime rings
  10. General complex Lp projection bodies and complex Lp mixed projection bodies
  11. Some results on the total proper k-connection number
  12. The stability with general decay rate of hybrid stochastic fractional differential equations driven by Lévy noise with impulsive effects
  13. Well posedness of magnetohydrodynamic equations in 3D mixed-norm Lebesgue space
  14. Strong convergence of a self-adaptive inertial Tseng's extragradient method for pseudomonotone variational inequalities and fixed point problems
  15. Generic uniqueness of saddle point for two-person zero-sum differential games
  16. Relational representations of algebraic lattices and their applications
  17. Explicit construction of mock modular forms from weakly holomorphic Hecke eigenforms
  18. The equivalent condition of G-asymptotic tracking property and G-Lipschitz tracking property
  19. Arithmetic convolution sums derived from eta quotients related to divisors of 6
  20. Dynamical behaviors of a k-order fuzzy difference equation
  21. The transfer ideal under the action of orthogonal group in modular case
  22. The multinomial convolution sum of a generalized divisor function
  23. Extensions of Gronwall-Bellman type integral inequalities with two independent variables
  24. Unicity of meromorphic functions concerning differences and small functions
  25. Solutions to problems about potentially Ks,t-bigraphic pair
  26. Monotonicity of solutions for fractional p-equations with a gradient term
  27. Data smoothing with applications to edge detection
  28. An ℋ-tensor-based criteria for testing the positive definiteness of multivariate homogeneous forms
  29. Characterizations of *-antiderivable mappings on operator algebras
  30. Initial-boundary value problem of fifth-order Korteweg-de Vries equation posed on half line with nonlinear boundary values
  31. On a more accurate half-discrete Hilbert-type inequality involving hyperbolic functions
  32. On split twisted inner derivation triple systems with no restrictions on their 0-root spaces
  33. Geometry of conformal η-Ricci solitons and conformal η-Ricci almost solitons on paracontact geometry
  34. Bifurcation and chaos in a discrete predator-prey system of Leslie type with Michaelis-Menten prey harvesting
  35. A posteriori error estimates of characteristic mixed finite elements for convection-diffusion control problems
  36. Dynamical analysis of a Lotka Volterra commensalism model with additive Allee effect
  37. An efficient finite element method based on dimension reduction scheme for a fourth-order Steklov eigenvalue problem
  38. Connectivity with respect to α-discrete closure operators
  39. Khasminskii-type theorem for a class of stochastic functional differential equations
  40. On some new Hermite-Hadamard and Ostrowski type inequalities for s-convex functions in (p, q)-calculus with applications
  41. New properties for the Ramanujan R-function
  42. Shooting method in the application of boundary value problems for differential equations with sign-changing weight function
  43. Ground state solution for some new Kirchhoff-type equations with Hartree-type nonlinearities and critical or supercritical growth
  44. Existence and uniqueness of solutions for the stochastic Volterra-Levin equation with variable delays
  45. Ambrosetti-Prodi-type results for a class of difference equations with nonlinearities indefinite in sign
  46. Research of cooperation strategy of government-enterprise digital transformation based on differential game
  47. Malmquist-type theorems on some complex differential-difference equations
  48. Disjoint diskcyclicity of weighted shifts
  49. Construction of special soliton solutions to the stochastic Riccati equation
  50. Remarks on the generalized interpolative contractions and some fixed-point theorems with application
  51. Analysis of a deteriorating system with delayed repair and unreliable repair equipment
  52. On the critical fractional Schrödinger-Kirchhoff-Poisson equations with electromagnetic fields
  53. The exact solutions of generalized Davey-Stewartson equations with arbitrary power nonlinearities using the dynamical system and the first integral methods
  54. Regularity of models associated with Markov jump processes
  55. Multiplicity solutions for a class of p-Laplacian fractional differential equations via variational methods
  56. Minimal period problem for second-order Hamiltonian systems with asymptotically linear nonlinearities
  57. Convergence rate of the modified Levenberg-Marquardt method under Hölderian local error bound
  58. Non-binary quantum codes from constacyclic codes over 𝔽q[u1, u2,…,uk]/⟨ui3 = ui, uiuj = ujui⟩
  59. On the general position number of two classes of graphs
  60. A posteriori regularization method for the two-dimensional inverse heat conduction problem
  61. Orbital stability and Zhukovskiǐ quasi-stability in impulsive dynamical systems
  62. Approximations related to the complete p-elliptic integrals
  63. A note on commutators of strongly singular Calderón-Zygmund operators
  64. Generalized Munn rings
  65. Double domination in maximal outerplanar graphs
  66. Existence and uniqueness of solutions to the norm minimum problem on digraphs
  67. On the p-integrable trajectories of the nonlinear control system described by the Urysohn-type integral equation
  68. Robust estimation for varying coefficient partially functional linear regression models based on exponential squared loss function
  69. Hessian equations of Krylov type on compact Hermitian manifolds
  70. Class fields generated by coordinates of elliptic curves
  71. The lattice of (2, 1)-congruences on a left restriction semigroup
  72. A numerical solution of problem for essentially loaded differential equations with an integro-multipoint condition
  73. On stochastic accelerated gradient with convergence rate
  74. Displacement structure of the DMP inverse
  75. Dependence of eigenvalues of Sturm-Liouville problems on time scales with eigenparameter-dependent boundary conditions
  76. Existence of positive solutions of discrete third-order three-point BVP with sign-changing Green's function
  77. Some new fixed point theorems for nonexpansive-type mappings in geodesic spaces
  78. Generalized 4-connectivity of hierarchical star networks
  79. Spectra and reticulation of semihoops
  80. Stein-Weiss inequality for local mixed radial-angular Morrey spaces
  81. Eigenvalues of transition weight matrix for a family of weighted networks
  82. A modified Tikhonov regularization for unknown source in space fractional diffusion equation
  83. Modular forms of half-integral weight on Γ0(4) with few nonvanishing coefficients modulo ℓ
  84. Some estimates for commutators of bilinear pseudo-differential operators
  85. Extension of isometries in real Hilbert spaces
  86. Existence of positive periodic solutions for first-order nonlinear differential equations with multiple time-varying delays
  87. B-Fredholm elements in primitive C*-algebras
  88. Unique solvability for an inverse problem of a nonlinear parabolic PDE with nonlocal integral overdetermination condition
  89. An algebraic semigroup method for discovering maximal frequent itemsets
  90. Class-preserving Coleman automorphisms of some classes of finite groups
  91. Exponential stability of traveling waves for a nonlocal dispersal SIR model with delay
  92. Existence and multiplicity of solutions for second-order Dirichlet problems with nonlinear impulses
  93. The transitivity of primary conjugacy in regular ω-semigroups
  94. Stability estimation of some Markov controlled processes
  95. On nonnil-coherent modules and nonnil-Noetherian modules
  96. N-Tuples of weighted noncommutative Orlicz space and some geometrical properties
  97. The dimension-free estimate for the truncated maximal operator
  98. A human error risk priority number calculation methodology using fuzzy and TOPSIS grey
  99. Compact mappings and s-mappings at subsets
  100. The structural properties of the Gompertz-two-parameter-Lindley distribution and associated inference
  101. A monotone iteration for a nonlinear Euler-Bernoulli beam equation with indefinite weight and Neumann boundary conditions
  102. Delta waves of the isentropic relativistic Euler system coupled with an advection equation for Chaplygin gas
  103. Multiplicity and minimality of periodic solutions to fourth-order super-quadratic difference systems
  104. On the reciprocal sum of the fourth power of Fibonacci numbers
  105. Averaging principle for two-time-scale stochastic differential equations with correlated noise
  106. Phragmén-Lindelöf alternative results and structural stability for Brinkman fluid in porous media in a semi-infinite cylinder
  107. Study on r-truncated degenerate Stirling numbers of the second kind
  108. On 7-valent symmetric graphs of order 2pq and 11-valent symmetric graphs of order 4pq
  109. Some new characterizations of finite p-nilpotent groups
  110. A Billingsley type theorem for Bowen topological entropy of nonautonomous dynamical systems
  111. F4 and PSp (8, ℂ)-Higgs pairs understood as fixed points of the moduli space of E6-Higgs bundles over a compact Riemann surface
  112. On modules related to McCoy modules
  113. On generalized extragradient implicit method for systems of variational inequalities with constraints of variational inclusion and fixed point problems
  114. Solvability for a nonlocal dispersal model governed by time and space integrals
  115. Finite groups whose maximal subgroups of even order are MSN-groups
  116. Symmetric results of a Hénon-type elliptic system with coupled linear part
  117. On the connection between Sp-almost periodic functions defined on time scales and ℝ
  118. On a class of Harada rings
  119. On regular subgroup functors of finite groups
  120. Fast iterative solutions of Riccati and Lyapunov equations
  121. Weak measure expansivity of C2 dynamics
  122. Admissible congruences on type B semigroups
  123. Generalized fractional Hermite-Hadamard type inclusions for co-ordinated convex interval-valued functions
  124. Inverse eigenvalue problems for rank one perturbations of the Sturm-Liouville operator
  125. Data transmission mechanism of vehicle networking based on fuzzy comprehensive evaluation
  126. Dual uniformities in function spaces over uniform continuity
  127. Review Article
  128. On Hahn-Banach theorem and some of its applications
  129. Rapid Communication
  130. Discussion of foundation of mathematics and quantum theory
  131. Special Issue on Boundary Value Problems and their Applications on Biosciences and Engineering (Part II)
  132. A study of minimax shrinkage estimators dominating the James-Stein estimator under the balanced loss function
  133. Representations by degenerate Daehee polynomials
  134. Multilevel MC method for weak approximation of stochastic differential equation with the exact coupling scheme
  135. Multiple periodic solutions for discrete boundary value problem involving the mean curvature operator
  136. Special Issue on Evolution Equations, Theory and Applications (Part II)
  137. Coupled measure of noncompactness and functional integral equations
  138. Existence results for neutral evolution equations with nonlocal conditions and delay via fractional operator
  139. Global weak solution of 3D-NSE with exponential damping
  140. Special Issue on Fractional Problems with Variable-Order or Variable Exponents (Part I)
  141. Ground state solutions of nonlinear Schrödinger equations involving the fractional p-Laplacian and potential wells
  142. A class of p1(x, ⋅) & p2(x, ⋅)-fractional Kirchhoff-type problem with variable s(x, ⋅)-order and without the Ambrosetti-Rabinowitz condition in ℝN
  143. Jensen-type inequalities for m-convex functions
  144. Special Issue on Problems, Methods and Applications of Nonlinear Analysis (Part III)
  145. The influence of the noise on the exact solutions of a Kuramoto-Sivashinsky equation
  146. Basic inequalities for statistical submanifolds in Golden-like statistical manifolds
  147. Global existence and blow up of the solution for nonlinear Klein-Gordon equation with variable coefficient nonlinear source term
  148. Hopf bifurcation and Turing instability in a diffusive predator-prey model with hunting cooperation
  149. Efficient fixed-point iteration for generalized nonexpansive mappings and its stability in Banach spaces
https://doi.org/10.1515/math-2022-0001
Keywords for this article
Hahn-Banach theorems; representations; finite simplicial sets; Markov moment problem; polynomial approximation
Creative Commons
BY 4.0

Articles in the same Issue

  1. Regular Articles
  2. A random von Neumann theorem for uniformly distributed sequences of partitions
  3. Note on structural properties of graphs
  4. Mean-field formulation for mean-variance asset-liability management with cash flow under an uncertain exit time
  5. The family of random attractors for nonautonomous stochastic higher-order Kirchhoff equations with variable coefficients
  6. The intersection graph of graded submodules of a graded module
  7. Isoperimetric and Brunn-Minkowski inequalities for the (p, q)-mixed geominimal surface areas
  8. On second-order fuzzy discrete population model
  9. On certain functional equation in prime rings
  10. General complex Lp projection bodies and complex Lp mixed projection bodies
  11. Some results on the total proper k-connection number
  12. The stability with general decay rate of hybrid stochastic fractional differential equations driven by Lévy noise with impulsive effects
  13. Well posedness of magnetohydrodynamic equations in 3D mixed-norm Lebesgue space
  14. Strong convergence of a self-adaptive inertial Tseng's extragradient method for pseudomonotone variational inequalities and fixed point problems
  15. Generic uniqueness of saddle point for two-person zero-sum differential games
  16. Relational representations of algebraic lattices and their applications
  17. Explicit construction of mock modular forms from weakly holomorphic Hecke eigenforms
  18. The equivalent condition of G-asymptotic tracking property and G-Lipschitz tracking property
  19. Arithmetic convolution sums derived from eta quotients related to divisors of 6
  20. Dynamical behaviors of a k-order fuzzy difference equation
  21. The transfer ideal under the action of orthogonal group in modular case
  22. The multinomial convolution sum of a generalized divisor function
  23. Extensions of Gronwall-Bellman type integral inequalities with two independent variables
  24. Unicity of meromorphic functions concerning differences and small functions
  25. Solutions to problems about potentially Ks,t-bigraphic pair
  26. Monotonicity of solutions for fractional p-equations with a gradient term
  27. Data smoothing with applications to edge detection
  28. An ℋ-tensor-based criteria for testing the positive definiteness of multivariate homogeneous forms
  29. Characterizations of *-antiderivable mappings on operator algebras
  30. Initial-boundary value problem of fifth-order Korteweg-de Vries equation posed on half line with nonlinear boundary values
  31. On a more accurate half-discrete Hilbert-type inequality involving hyperbolic functions
  32. On split twisted inner derivation triple systems with no restrictions on their 0-root spaces
  33. Geometry of conformal η-Ricci solitons and conformal η-Ricci almost solitons on paracontact geometry
  34. Bifurcation and chaos in a discrete predator-prey system of Leslie type with Michaelis-Menten prey harvesting
  35. A posteriori error estimates of characteristic mixed finite elements for convection-diffusion control problems
  36. Dynamical analysis of a Lotka Volterra commensalism model with additive Allee effect
  37. An efficient finite element method based on dimension reduction scheme for a fourth-order Steklov eigenvalue problem
  38. Connectivity with respect to α-discrete closure operators
  39. Khasminskii-type theorem for a class of stochastic functional differential equations
  40. On some new Hermite-Hadamard and Ostrowski type inequalities for s-convex functions in (p, q)-calculus with applications
  41. New properties for the Ramanujan R-function
  42. Shooting method in the application of boundary value problems for differential equations with sign-changing weight function
  43. Ground state solution for some new Kirchhoff-type equations with Hartree-type nonlinearities and critical or supercritical growth
  44. Existence and uniqueness of solutions for the stochastic Volterra-Levin equation with variable delays
  45. Ambrosetti-Prodi-type results for a class of difference equations with nonlinearities indefinite in sign
  46. Research of cooperation strategy of government-enterprise digital transformation based on differential game
  47. Malmquist-type theorems on some complex differential-difference equations
  48. Disjoint diskcyclicity of weighted shifts
  49. Construction of special soliton solutions to the stochastic Riccati equation
  50. Remarks on the generalized interpolative contractions and some fixed-point theorems with application
  51. Analysis of a deteriorating system with delayed repair and unreliable repair equipment
  52. On the critical fractional Schrödinger-Kirchhoff-Poisson equations with electromagnetic fields
  53. The exact solutions of generalized Davey-Stewartson equations with arbitrary power nonlinearities using the dynamical system and the first integral methods
  54. Regularity of models associated with Markov jump processes
  55. Multiplicity solutions for a class of p-Laplacian fractional differential equations via variational methods
  56. Minimal period problem for second-order Hamiltonian systems with asymptotically linear nonlinearities
  57. Convergence rate of the modified Levenberg-Marquardt method under Hölderian local error bound
  58. Non-binary quantum codes from constacyclic codes over 𝔽q[u1, u2,…,uk]/⟨ui3 = ui, uiuj = ujui⟩
  59. On the general position number of two classes of graphs
  60. A posteriori regularization method for the two-dimensional inverse heat conduction problem
  61. Orbital stability and Zhukovskiǐ quasi-stability in impulsive dynamical systems
  62. Approximations related to the complete p-elliptic integrals
  63. A note on commutators of strongly singular Calderón-Zygmund operators
  64. Generalized Munn rings
  65. Double domination in maximal outerplanar graphs
  66. Existence and uniqueness of solutions to the norm minimum problem on digraphs
  67. On the p-integrable trajectories of the nonlinear control system described by the Urysohn-type integral equation
  68. Robust estimation for varying coefficient partially functional linear regression models based on exponential squared loss function
  69. Hessian equations of Krylov type on compact Hermitian manifolds
  70. Class fields generated by coordinates of elliptic curves
  71. The lattice of (2, 1)-congruences on a left restriction semigroup
  72. A numerical solution of problem for essentially loaded differential equations with an integro-multipoint condition
  73. On stochastic accelerated gradient with convergence rate
  74. Displacement structure of the DMP inverse
  75. Dependence of eigenvalues of Sturm-Liouville problems on time scales with eigenparameter-dependent boundary conditions
  76. Existence of positive solutions of discrete third-order three-point BVP with sign-changing Green's function
  77. Some new fixed point theorems for nonexpansive-type mappings in geodesic spaces
  78. Generalized 4-connectivity of hierarchical star networks
  79. Spectra and reticulation of semihoops
  80. Stein-Weiss inequality for local mixed radial-angular Morrey spaces
  81. Eigenvalues of transition weight matrix for a family of weighted networks
  82. A modified Tikhonov regularization for unknown source in space fractional diffusion equation
  83. Modular forms of half-integral weight on Γ0(4) with few nonvanishing coefficients modulo ℓ
  84. Some estimates for commutators of bilinear pseudo-differential operators
  85. Extension of isometries in real Hilbert spaces
  86. Existence of positive periodic solutions for first-order nonlinear differential equations with multiple time-varying delays
  87. B-Fredholm elements in primitive C*-algebras
  88. Unique solvability for an inverse problem of a nonlinear parabolic PDE with nonlocal integral overdetermination condition
  89. An algebraic semigroup method for discovering maximal frequent itemsets
  90. Class-preserving Coleman automorphisms of some classes of finite groups
  91. Exponential stability of traveling waves for a nonlocal dispersal SIR model with delay
  92. Existence and multiplicity of solutions for second-order Dirichlet problems with nonlinear impulses
  93. The transitivity of primary conjugacy in regular ω-semigroups
  94. Stability estimation of some Markov controlled processes
  95. On nonnil-coherent modules and nonnil-Noetherian modules
  96. N-Tuples of weighted noncommutative Orlicz space and some geometrical properties
  97. The dimension-free estimate for the truncated maximal operator
  98. A human error risk priority number calculation methodology using fuzzy and TOPSIS grey
  99. Compact mappings and s-mappings at subsets
  100. The structural properties of the Gompertz-two-parameter-Lindley distribution and associated inference
  101. A monotone iteration for a nonlinear Euler-Bernoulli beam equation with indefinite weight and Neumann boundary conditions
  102. Delta waves of the isentropic relativistic Euler system coupled with an advection equation for Chaplygin gas
  103. Multiplicity and minimality of periodic solutions to fourth-order super-quadratic difference systems
  104. On the reciprocal sum of the fourth power of Fibonacci numbers
  105. Averaging principle for two-time-scale stochastic differential equations with correlated noise
  106. Phragmén-Lindelöf alternative results and structural stability for Brinkman fluid in porous media in a semi-infinite cylinder
  107. Study on r-truncated degenerate Stirling numbers of the second kind
  108. On 7-valent symmetric graphs of order 2pq and 11-valent symmetric graphs of order 4pq
  109. Some new characterizations of finite p-nilpotent groups
  110. A Billingsley type theorem for Bowen topological entropy of nonautonomous dynamical systems
  111. F4 and PSp (8, ℂ)-Higgs pairs understood as fixed points of the moduli space of E6-Higgs bundles over a compact Riemann surface
  112. On modules related to McCoy modules
  113. On generalized extragradient implicit method for systems of variational inequalities with constraints of variational inclusion and fixed point problems
  114. Solvability for a nonlocal dispersal model governed by time and space integrals
  115. Finite groups whose maximal subgroups of even order are MSN-groups
  116. Symmetric results of a Hénon-type elliptic system with coupled linear part
  117. On the connection between Sp-almost periodic functions defined on time scales and ℝ
  118. On a class of Harada rings
  119. On regular subgroup functors of finite groups
  120. Fast iterative solutions of Riccati and Lyapunov equations
  121. Weak measure expansivity of C2 dynamics
  122. Admissible congruences on type B semigroups
  123. Generalized fractional Hermite-Hadamard type inclusions for co-ordinated convex interval-valued functions
  124. Inverse eigenvalue problems for rank one perturbations of the Sturm-Liouville operator
  125. Data transmission mechanism of vehicle networking based on fuzzy comprehensive evaluation
  126. Dual uniformities in function spaces over uniform continuity
  127. Review Article
  128. On Hahn-Banach theorem and some of its applications
  129. Rapid Communication
  130. Discussion of foundation of mathematics and quantum theory
  131. Special Issue on Boundary Value Problems and their Applications on Biosciences and Engineering (Part II)
  132. A study of minimax shrinkage estimators dominating the James-Stein estimator under the balanced loss function
  133. Representations by degenerate Daehee polynomials
  134. Multilevel MC method for weak approximation of stochastic differential equation with the exact coupling scheme
  135. Multiple periodic solutions for discrete boundary value problem involving the mean curvature operator
  136. Special Issue on Evolution Equations, Theory and Applications (Part II)
  137. Coupled measure of noncompactness and functional integral equations
  138. Existence results for neutral evolution equations with nonlocal conditions and delay via fractional operator
  139. Global weak solution of 3D-NSE with exponential damping
  140. Special Issue on Fractional Problems with Variable-Order or Variable Exponents (Part I)
  141. Ground state solutions of nonlinear Schrödinger equations involving the fractional p-Laplacian and potential wells
  142. A class of p1(x, ⋅) & p2(x, ⋅)-fractional Kirchhoff-type problem with variable s(x, ⋅)-order and without the Ambrosetti-Rabinowitz condition in ℝN
  143. Jensen-type inequalities for m-convex functions
  144. Special Issue on Problems, Methods and Applications of Nonlinear Analysis (Part III)
  145. The influence of the noise on the exact solutions of a Kuramoto-Sivashinsky equation
  146. Basic inequalities for statistical submanifolds in Golden-like statistical manifolds
  147. Global existence and blow up of the solution for nonlinear Klein-Gordon equation with variable coefficient nonlinear source term
  148. Hopf bifurcation and Turing instability in a diffusive predator-prey model with hunting cooperation
  149. Efficient fixed-point iteration for generalized nonexpansive mappings and its stability in Banach spaces
Sign up now to receive a 20% welcome discount
Institutional Access
How does access work?
Have an idea on how to improve our website?
Please write us.
© 2025 De Gruyter Brill
Downloaded on 7.12.2025 from https://www.degruyterbrill.com/document/doi/10.1515/math-2022-0001/html
Scroll to top button