- Research Article
- Open Access

# Some Vector Inequalities for Continuous Functions of Self-Adjoint Operators in Hilbert Spaces

- SS Dragomir
^{1, 2}Email author

**2011**:564836

https://doi.org/10.1155/2011/564836

© S. S. Dragomir. 2011

**Received:**24 November 2010**Accepted:**21 February 2011**Published:**15 March 2011

## Abstract

## Keywords

- Hilbert Space
- Continuous Function
- Real Number
- Spectral Representation
- Lipschitzian Function

## 1. Introduction

*spectral family*. Then, for any continuous function , it is well known that we have the following

*spectral representation in terms of the Riemann-Stieltjes integral*:

for any
. It is also well known that
is *monotonic nondecreasing* and *right continuous* on
.

Utilising the spectral representation from (1.2), we have established the following Ostrowski-type vector inequality [1].

Theorem 1.1.

Another result that compares the function of a self-adjoint operator with the integral mean is embodied in the following theorem [2].

Theorem 1.2.

The trapezoid version of the above result has been obtained in [3] and is as follows.

Theorem 1.3.

For various inequalities for functions of self-adjoint operators, see [4–8]. For recent results see [1, 9–12].

where are vectors in the Hilbert space and is a self-adjoint operator with , and provide different bounds for some classes of continuous functions . Applications for some particular cases including the power and logarithmic functions are provided as well.

## 2. Some Vector Inequalities

The following representation in terms of the spectral family is of interest in itself.

Lemma 2.1.

Proof.

which is an equality of interest in itself.

which together with (2.3) and (2.2) produce the desired result (2.1).

The following vector version may be stated as well.

Corollary 2.2.

The following result that provides some bounds for continuous functions of bounded variation may be stated as well.

Theorem 2.3.

Proof.

where denotes the total variation of on .

then from (2.8), we deduce the first part of (2.6).

Since in the operator order, then which gives that , that is, for any , which implies that for any . Therefore, which together with (2.10) prove the last part of (2.6).

The case of Lipschitzian functions is as follows.

Theorem 2.4.

Proof.

for any and the first inequality in (2.11) is proved.

for any and the second part of (2.11) is proved.

On making use of (2.20) and (2.17), we then deduce the third part of (2.11).

for any , which proves the last inequality in (2.11).

The case of nondecreasing monotonic functions is as follows.

Theorem 2.5.

Proof.

for any , which proves the first inequality in (2.23).

On making use of the inequality (2.26), we deduce the second inequality in (2.23).

The last part follows by (2.21), and the details are omitted.

## 3. Applications

We consider the power function , where and . The following power inequalities hold.

Proposition 3.1.

Let be a self-adjoint operator in the Hilbert space with the spectrum for some real numbers with .

The proof follows from Theorem 2.4 applied for the power function.

Proposition 3.2.

Let be a self-adjoint operator in the Hilbert space with the spectrum for some real numbers with .

The proof follows from Theorem 2.5.

Now, consider the logarithmic function . We have the following

Proposition 3.3.

The proof follows from Theorems 2.4 and 2.5 applied for the logarithmic function.

## Authors’ Affiliations

## References

- Dragomir SS: Some Ostrowski's type vector inequalities for functions of selfadjoint operators in Hilbert spaces. RGMIA Research Report Collection 2010.,13(2, article 7):Google Scholar
- Dragomir SS: Comparison between functions of selfadjoint operators in Hilbert spaces and integral means. RGMIA Research Report Collection 2010.,13(2, article 10):Google Scholar
- Dragomir SS: Approximating n-time differentiable functions of selfadjoint operators in Hilbert spaces by two point Taylor's type expansion. RGMIA Research Report Collection 2010.,13(2, article 13):Google Scholar
- Furuta T, Mićić Hot J, Pečarić J, Seo Y:
*Mond-Pečarić Method in Operator Inequalities. Inequalities for Bounded Selfadjoint Operators on a Hilbert Space*. Element, Zagreb; 2005.MATHGoogle Scholar - Matković A, Pečarić J, Perić I:
**A variant of Jensen's inequality of Mercer's type for operators with applications.***Linear Algebra and Its Applications*2006,**418**(2–3):551–564. 10.1016/j.laa.2006.02.030MathSciNetView ArticleMATHGoogle Scholar - Mond B, Pečarić JE:
**Convex inequalities in Hilbert space.***Houston Journal of Mathematics*1993,**19**(3):405–420.MathSciNetMATHGoogle Scholar - Mond B, Pečarić JE:
**Classical inequalities for matrix functions.***Utilitas Mathematica*1994,**46:**155–166.MathSciNetMATHGoogle Scholar - Pečarić J, Mićić J, Seo Y:
**Inequalities between operator means based on the Mond-Pečarić method.***Houston Journal of Mathematics*2004,**30**(1):191–207.MathSciNetMATHGoogle Scholar - Dragomir SS:
**Čebyšev's type inequalities for functions of selfadjoint operators in Hilbert spaces.***Linear and Multilinear Algebra*2010,**58**(7–8):805–814.MathSciNetView ArticleMATHGoogle Scholar - Dragomir SS:
**Grüss' type inequalities for functions of selfadjoint operators in Hilbert spaces.***RGMIA Research Report Collection*2008.,**11, article 11:**Google Scholar - Dragomir SS:
**Inequalities for the Čebyšev functional of two functions of selfadjoint operators in Hilbert spaces.***RGMIA Research Report Collection*2008.,**11, article 17:**Google Scholar - Dragomir SS: Some trapezoidal vector inequalities for continuous functions of delfadjoint operators in Hilbert spaces. RGMIA Research Report Collection 2010.,13(2, article 14):Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.