3. An Operator-Valued Truncated Trigonometric Moment Problem on Finite Dimensional Spaces

Let be arbitrary and consider the set

with the lexicographical order (represents the cartesian product of the mentioned sets), H a finite dimensional Hilbert space with

and

Proposition 3.1. Let

be a sequence of bounded operators on with

for all

The following assertions are equivalent:

(i) for all sequences in

(ii) There exists the multisequence

of points and the bounded, positive operators, such that

(3.1)

for all

(iii) There exists a positive atomic operator-valued measure on such that:

Proof. On the set

we have the lexicographical order. The finite sequence of operators is considered double indexed i.e.; with this assumption, from, can be viewed as an operator-valued kernel

Let the C-vector space of functions defined on with values in the finite dimensional Hilbert space H. With the aid of, we can introduce on the non-negative hermitian product:

according to, we have the positivity condition:

The matrix associated to this kernel is a Toeplitz matrix of the form:

From Kolmogorov’s theorem, there exists the Hilbert space (essentially unique), obtained as the separate completeness of the vector space of functions with respect to the usual norm generated on the set of cosets of Cauchy sequences, (i.e.), by the nonnegative kernel, respectively the space

(when H is finite dimensional, the Hilbert space

). From the same theorem, there also exists the sequence of operators

such that for all In this particular case for, we have

where denotes the range of the operators and denotes the closed linear span of the sets,. The operators are:

with and

the Kronecker symbol. Also, from the construction of

, we have, where

denotes the range of the operators and denotes the closed linear span of the sets.

Let us consider the subsets

the subspaces in, , and the operators defined by the formula

for any with the standard basis in. From the definition of, since are linear for all, the same is true for the operators for all. For an arbitrary

we have:

for all. We extend to preserving the above definition and boundedness condition; the extensions are denoted with the same letter In case that

are C-linear independent operators with respect to the kernel, and from above, the operators are partial isometries, defined on linear closed subspaces with values in, with equal deficiency indices. In this case, admit an unitary extension on the whole space for all Let us denote the extensions of these operators to with the same letter. The adjoints of are defined by

for all Obviously, for the extended operators

In the same time, for all and all; we preserve the commuting relations for the extended operators. When is a finite dimensional Hilbert space with a basis, the same is true for the obtained Hilbert space All the vectors are C-linear independent in with respect to the kernel Indeed, if

equivalent with, this equality implies We consider that all the vectors are C-linear independent in with respect to the kernel We have then,

.

A basis in is

Let be the defined isometries, with

and

;

for

and

We have and also We consider the orthonormal algebraic complement of the space in, respectively the orthonormal complement of When

for and when; we have

Let be an orthonormal basis inrespectively an orthonormal basis in

We extend the partial isometries

to the whole spaces in the following way:

Because

and

it results that also the extensions are isometries and; that is are unitary operators for all; ( the extended operators are denoted with the same letters). The commuting relations are also preserved In the above conditions, the commuting multioperator consisting of unitary operators on admits joint spectral measurewhose joint spectrum Considering the construction of, we obtain and by induction for all

Because on the finite dimensional space, all the operators are unitary and compact one, their spectrum consists only of the principal values. The principal values are the roots of the characteristic polynomials associated with the matrix of in suitable basis in, for all The characteristic polynomials of are all complex variable polynomials of the same degree

with the roots

Let, be the family of the spectral projectors associated with the families of the principal values that is with the spectral measures of From the definition of, we have for all

and Because

we have also

Consequently, for, we have obtain:

From Kolmogorov’s decomposition theorem for, we have

with positive operators. That is:

(3.2.)

(i.e. assertion)

Let be a positive, atomic operator-valued measure on. From we have:

(i.e. assertion (iii)).

If

and is a positive operator-valued measure, we have:

that is

Proposition 3.1, in case H a finite dimensional space, statements implies also a similar, straightforward characterization, as in the scalar case [6]:

Proposition 3.2. When

operators acting on a finite dimensional space with, are as in Proposition 1, the Toeplitz matrix

is positive semidefinite if and only if it can be factorized as with

the diagonal matrix

with entries the positive operators

on the principal diagonal.

4. A Riesz-Herglotz Formula for Operator-Valued, Analytic Functions on the Unit Disk

Remark 4.1. Let be a sequence of bounded operators, acting on an arbitrary, separable, complex Hilbert space, such that for all and The following statements are equivalent:

(a) for all and all sequences of complex numbers with only finite nonzero terms.

(b) There exists a positive, operator-valued measure on such that

.

(c) The operator kernel is positive semidefinite on, that is it satisfies

for all, all sequences of vectors and all

Proof. (a) (b) was solved in [9], Corollary 1.4.10.

(b) (c) represents the sufficient condition in Proposition 1, [10].

(c) (a). Let with for an arbitrary From (c), it results

that is the operator kernel satisfies

(that is statement (a)).

Because the trigonometric polynomials are uniformly dense in the space of the continuous functions on it results that the representing measure of the operator moment sequence is unique.

For the proof of the following Proposition 4.2, we recall some observations.

A bounded monotonic sequence of positive non-negative operators converges in the strong operator topology to a non-negative operator (pp. 233, [11]). Due to this remark, if is a continuous, positive operator-valued function on the compact set, we define the Riemann integral of the function with respect to the Lebesgue measure The definition are the usual one in the class of positive operators. That is: the limits of the riemannian sums associated to the function, arbitrary divisions of and arbitrary intermediar points exists (are limits of bounded monotonic sequence of non-negative operators), and from the continuity assumption of on the compact set, are all the same. We denote the common limits, as usual with We apply this natural construction in the proof of the following result.

Proposition 4.2. Let be an analytic, vectorial function, with values in the set of bounded operators on a complex, separable Hilbert space. The following statements are equivalent:

(a)

(b) (Riesz-Herglotz formula) There exists a positive operator-valued measure on with

and an operator such that:

The proof follows quite the similar steps as the proof of the Riesz-Herglotz formula for analytic, scalar functions with real positive part ([11,12].)

Proof. (a) (b) Let

be the Taylor expansion of, with

We define for all In this case , we obtain for all,

If we consider arbitrary and

, the previous equality becomes

As a consequence of the orthogonality of the system of functions with respect to the usual scalar product defined on, from the the previous remark and s uniform convergent expansions, for all sequences and all we obtain:

We normalize this relation by dividing it with 2 and obtain, for, the following inequalities:

for all sequences and all arbitrarywith

In the above conditions from Theorem 1.4.8, [9], there exists a positive operator-valued measure on such that

For and we have

Let the homeomorphism and the positive operator-valued measure

Accordingly to this measure we obtain the representations:

and

Assured by the integral representations of the operators we have:

is analytic on, and

For the operator-valued analytic functions on we can state the same characterization theorem as in the the scalar case ( Theorem 3.3, [11],) that is:

Theorem 4.3. Let be a sequence of bounded operators acting on an arbitrary, separable, complex Hilbert space, subject to the conditions for all, The following statements are equivalent:

(a) There exists an unique, positive, operator-valued measure on such that:

(b) The Toeplitz matrix is positive semidefinite.

(c) There exists an analytic vectorial function for all and

for some with

(d) There exists a separable, Hilbert space, an operator and an unitary operator, such that and

Proof. was solved in [9], Th.1.4.8., p. 188. We sketch the proof of implication.

As in above Proposition 4.2, there exists a positive operator-valued measure

such that In this case, for the function, we have

that is is analytic on Also from (a), we have:

From the above representation, it results:

(c) (a) As the same proof in Proposition 4.2, we have

for arbitrary. From this inequality, it results that there exist the representations

with a positive operator valued measure on ([9], Th. 1.3.2), this is (a).

The equivalence,. From remark 4.1.we have ((c) from Remark 4.1.). The equivalence is the main result in [10], Proposition 1. p. 116. From [10], Proposition 1, (condition (c) in Remark 4.1.) assured the existence of a Hilbert space, an operator and an unitary operator such that, that is (d); (the Hilbert Space, the unitary operator are obtained by applyng Kolmogorov’s decomposition theorem on positive semidefinite kernels.) Conversely is immediately.

5. Conclusion

We give a necessary and sufficient condition on a finite sequence of bounded operators, acting on a finite dimensional Hilbert space, to admit an integral representation as complex moment sequence with respect to an atomic, positive, operator-valued measure. We also established a Riesz-Herglotz representation formula for operator-valued, analytic functions on the unit disc, with real positive part in the class of operators.

REFERENCES

- C. Carathéodory, “Über den Variabilitätsbereich der Fourierschen Konstanten von Positiven Harmonischen Funktionen,” Rendiconti del Circolo Matematico di Palermo, Vol. 32, No. 1, 1911, pp. 193-207. doi:10.1007/BF03014795
- G. Herglotz, “Über Potenzreihen mit Positivem, Reelem Teil im Einheitskreis,” Leipziger Berichte, Mathematics, Physics, Vol. 63, 1911, pp. 501-511.
- C. Carathéodory und L. Fejér, “Über den Zusammenhang der Extreme von Harmonischen Funktionen mit ihren Koeffizienten und über den Picard-Landauschen Satz,” Rendiconti del Circolo Matematico di Palermo, Vol. 32, No. 1, 1911, pp. 218-239. doi:10.1007/BF03014796
- T. Ando, “Truncated Moment Problems for Operators,” Acta Mathematica, Vol. 31, 1970, pp. 319-334.
- L. Lemnete-Ninulescu, “Truncated Trigonometric and Hausdorff Moment Problems for Operators,” Proceedings of the 23th International Operator Conference, Timisoara, 29 June-4 July 2010, pp. 51-61.
- M. Bakonyi and V. Lopushanskaya, “Moment Problems for Real Measures on the Unit Circle,” Operator Theory Advances and Applications, Vol. 198, 2009, pp.49-60.
- F. J. Narcowich, “R-Operators II., on the Approximation of Certain Operator-Valued Analytic Functions and the Hermitian Moment Problem,” Indiana University Mathematics Journal, Vol. 26, No. 3, 1977, pp. 483-513. doi:10.1512/iumj.1977.26.26038
- M. Putinar and F. H. Vasilescu, “Solving Moment Problems by Dimensional Extension,” Annals of Mathematics, Vol. 148, No. 3, 1999, pp. 1087-1107.
- F. H. Vasilescu, “Spectral Measures and Moment Problems,” In: Spectral Theory and Its Applications, Theta, Bucharest, 2003, pp. 173-215.
- L. Lemnete-Ninulescu, “Positive-Definite Operator-Valued Functions and the Moment Problem,” Operator Theory Live, Proceedings of the 22th International Operator Conference, Timisoara, 3-8 July 2008, 2012, pp. 113-123.
- J. W. Helton and M. Putinar, “Positive Polynomials in Scalar and Matrix Variables, the Spectral Theorem, and Optimization,” In: Operator Theory, Structured Matrices, and Dilations, Theta Series in Advanced Mathematics, Theta, Bucharest, 2007, pp. 229-307.
- N. I. Akhiezer, “The Classical Moment Problem and Some Related Questions in Analysis,” Oliver & Boyd, Edinburgh, 1965.