On properties of inner product type integral transformers

L et H be an infinite dimensional complex Hilbert space and B(H) be the algebra of all bounded linear operators on H. In this paper, we discuss various types of norm inequalities for inner product type integral transformers in terms of Landau type inequality, Grüss type inequality and Cauchy-Schwarz type inequality. We shall also consider the applications in quantum theory. We begin by the following definition:


Introduction
L et H be an infinite dimensional complex Hilbert space and B(H) be the algebra of all bounded linear operators on H. In this paper, we discuss various types of norm inequalities for inner product type integral transformers in terms of Landau type inequality, Grüss type inequality and Cauchy-Schwarz type inequality. We shall also consider the applications in quantum theory. We begin by the following definition: Definition 1. Grüss inequality states that if f and g are integrable real functions on [a, b] such that C ≤ f (x) ≤ D and E ≤ g(x) ≤ F hold for some real constants C, D, E, F and for all x ∈ [a, b], then Inequality (1) is very interesting to many researchers and it has been considered in many studies whereby conditions on functions are varied to give different estimates (see [1] and references therein). More on this inequality (and the classical one [2]) are discussed in the sequel.
Next, we discuss a very important definition of inner product type integral (i.p.t.i) transformer which is key to our study.

Definition 2.
Consider weakly µ * -measurable operator valued (o.v) functions A, B : Ω → B(H) and for all X ∈ B(H). Let the function t → A t XB t be also weakly µ * -measurable. If these functions are Gel'fand integrable for all X ∈ B(H), then the inner product type linear transformation X → Ω A t XB t dt is called an inner product type integral (i.p.t.i) transformer on B(H) and denoted by Ω A t ⊗ B t dt or I A,B .

Remark 1.
If µ is the counting measure on N then such transformers are known as elementary operators whose certain properties have been studied in details (see [3] and the references therein).

Preliminaries
In this section, we consider a special type of norms called the unitarily invariant norm. We give its description in details which will be useful in the sequel. Let C ∞ (H) denote the space of all compact linear operators acting on a separable, complex Hilbert space H. Each symmetric gauge function Φ, denoted by (s.g.), on sequences gives rise to a unitarily invariant (u.i) norm on operators defined by . . being the singular values of X, i.e., the eigenvalues of |X| = (X * X) 1 2 . We denote any such norm by the symbol |||·|||, which is therefore defined on a naturally associated norm ideal C |||·||| (H) of C ∞ (H) and satisfies the invariance property | UXV| = | X| for all X ∈ C |||·||| (H) and for all unitary operators U, V ∈ B(H). One of the well known among u.i. norms are the Schatten p-norms defined for 1 ≤ p < ∞ as X p = p ∑ ∞ n=1 s p n (X), while X ∞ = X = s 1 (X) coincides with the operator norm X . Minimal and maximal u.i. norm are among Schatten norms, i.e., X ∞ ≤ | X | ≤ X 1 for all X ∈ C 1 (H) (see inequality (IV.38) [4]). For f , g ∈ H, we will denote by g * ⊗ f one dimensional operator (g * ⊗ f )h = h, g f for all h ∈ H and it is known that the linear span of {g * ⊗ f | f , g ∈ H} is dense in each of C p (H) for 1 ≤ p ≤ ∞. Schatten p-norms are also classical examples of p-reconvexized norms. Namely, any u.i. norm . Φ could be p-reconvexized for any p ≥ 1 by setting For the proof of the triangle inequality and other properties of these norms, see [2] and for the characterization of the dual norm for p-reconvexized, see Theorem 2.1 [2].
An operator A ∈ B(H) is called G 1 operator if the growth condition holds for all z not in the spectrum σ(A) of A. Here dist(z, σ(A)) denotes the distance between z and σ(A). It is known that hyponormal (in particular, normal) operators are G 1 operators [4]. in Ω (see [2] and the references therein). The spectral mapping theorem asserts that σ( f (A)) = f (σ(A)). Throughout this paper, D = {z ∈ C : |z| < 1} denotes the unit disk, ∂D stands for the boundary of D and d A = dist(∂D, σ(A)). In addition, we adopt the notation In this work, we present some upper bounds for ||| f (A)Xg(B) ± X|||, where A, B are G 1 operators, ||| · ||| is a unitarily invariant norm and f , g ∈ H. Further, we find some new upper bounds for the the Schatten 2-norm of f (A)X ± Xg(B). Up-to this juncture, we find some upper estimates for ||| f (A)Xg(B) + X||| in terms of ||| |AXB| + |X| ||| and ||| f (A)Xg(B) − X||| in terms of ||| |AX| + |XB| |||, where A, B are G 1 operators and f , g ∈ H. Proof. From the Herglotz representation Theorem [1], it follows that f ∈ H can be represented as where µ is a positive Borel measure on the interval [0, 2π] with finite total mass 2π 0 e iα +z e iα −z dν(α) for some positive Borel measure ν on the interval [0, 2π] with finite total mass 1. We have By some computation, we have Since A and B are G 1 operators, we deduce that and similarly e iβ − B Therefore, it follows from inequality (3) and Equation (4) that which completes the proof.
Proof. Let X and AXB be normal. Since |||C + D||| ≤ ||| |C| + |D| ||| for any normal operators C and D, the constant √ 2 can be reduced to 1 in Equation (4). Now from Fuglede-Putnam theorem, if A ∈ B(H) is an operator, X ∈ (B)((H)) is normal and AX = XA, then AX * = X * A. Thus if X is a normal operator commuting with a G 1 operator A, then AXA * is normal, |AXA * | = A|X|A * and A * is a G 1 operator with d A * = d A . By Proposition 1 the proof is complete.
Next, letting A = B in Proposition 1, we obtain the following result.
Setting X = I in Proposition 1 again, we obtain the following result.

Corollary 3. If A ∈ B(H) is self-adjoint and f is a continuous complex function on σ(A), then f (U AU
Proof. By the Stone-Weierstrass theorem, there is a sequence (p n ) of polynomials uniformly converging to f on σ(A). Hence, We note that σ(U AU * ) = σ(A).
We conclude this section by presenting some inequalities involving the Hilbert-Schmidt norm · 2 .
which completes the proof.

Operators in function spaces
In this section, we present some results on operator valued functions. From [5], if (Ω, M,µ) is a measure space, for a σ-finite measure µ on M, the mapping A : Ω → B(H) will be called [µ] weakly * -measurable if a scalar valued function t → tr(A t Y) is measurable for any Y ∈ C 1 (H). Moreover, if all these functions are in Ł 1 (Ω, µ), then since B(H) is the dual space of C 1 (H), for any E ∈ M, we have the unique operator I E ∈ B(H), called the Gel'fand or weak * -integral of A over E, such that We denote it by E A t dµ(t) or E Adµ. We consider the following important aspect.
[µ] weak * -integrability) of A directly implies measurability (resp. integrability) of A t f , f for any f ∈ H. The converse follows immediately from [4] and this completes the proof.
We note that in view of Proposition 2, the Equation (5) of Gel'fand integral for o.v. functions can be reformulated as follows [2]: ) for all f ∈ H, for some E ∈ M and a B(H)-valued function A on E, then the mapping f → E A t f , f dµ(t) represents a quadratic form of bounded operator E Adm or E A t dµ(t), satisfying the following Proof. It suffices to show that for all E ∈ M, Φ E ( f , g) = E A t f , g dµ(t), for all f , g ∈ H, defines a bounded sesquilinear functional Φ on H. Indeed, by [1], In the next section, we devote our efforts to results on inner product type integral transformers in terms of Landau, Cauchy-Schwarz and Grüss type norm inequalities.

Norm inequalities
In this section, we consider various types of norm inequalities for inner product type integral transformers discussed in [1,2,4,7]. From [1], a sufficient condition is provided when A * and B from Definition 2 are both in L 2 G (Ω, dµ, B(H)). If each of families (A t ) t∈Ω and (B t ) t∈Ω consists of commuting normal operators, then by Theorem 3.2 [1], the i.p.t.i transformer Ω A t ⊗ B t dµ(t) leaves every u.i. norm ideal C | ·| (H) invariant and the following Cauchy-Schwarz inequality holds: for all X ∈ C | ·| (H). Normality and commutativity condition can be dropped for Schatten p-norms as shown in Theorem 3.3 [1]. In Theorem 3.1 [2], a formula for the exact norm of the i.p.t.i transformer Ω A t ⊗ B t dµ(t) acting on C 2 (H) is found. In Theorem 2.1 [2], the exact norm of the i.p.t.i transformer Ω A * t ⊗ A t dµ(t) is given for two specific cases: where Φ * stands for a s.g. function related to the dual space (C Φ (H)) * . The norm appearing in (7) and its associated space L 2 G (Ω, dµ, B(H), C Φ (H)) present only a special case of norming a field A = (A t ) t∈Ω . A much wider class of norms · Φ,Ψ and their associated spaces L 2 G (Ω, dµ, B(H), C Φ (H)) are given by [2]: for an arbitrary pair of s.g. functions Φ and Ψ.
For the proof of completeness of the space L 2 G (Ω, dµ, C Φ (H), C Ψ (H)), see Theorem 2.2 [2]. Before going into the details of this section lets consider the following Proposition which will be useful in the sequel [7]. We give its proof for completion.

Proposition 4.
Let µ be a probability measure on Ω, then for every field (A t ) t∈Ω in L 2 (Ω, µ, B(H)), for all B ∈ B(H), for all unitarily invariant norms | · | and for all θ > 0, Thus, the considered minimum is always obtained for B = Ω A t dµ(t).
Recall that, for a pair of random real variables (Y, Z), its coefficient of correlation The following result represents a generalization of Landau inequality in u.i. norm ideals [2] for Gel'fand integrals of o.v. functions with relative simplicity of its formulation.

Theorem 3.
If µ is a probability measure on Ω. Let both fields (A t ) t∈Ω and (B t ) t∈Ω be in L 2 (Ω, µ, B(H)) consisting of commuting normal operators and consider for some X ∈ B(H). Then Proof. First, we have the following Korkine type identity for i.p.t.i transformers In this representation, we have (A s − A t ) (s,t)∈Ω 2 and (B s − B t ) (s,t)∈Ω 2 to be in L 2 (Ω 2 , µ × µ, B(H)) because by an application of the identity (13), Both families (A s − A t ) (s,t)∈Ω 2 and (B s − B t ) (s,t)∈Ω 2 consist of commuting normal operators and by Theorem 3.
Next, we consider Landau type inequality for i.p.t.i transformers in Schatten ideals for the Schatten p-norms.

Proposition 5.
Let µ be a probability measure on Ω and (A t ) t∈Ω and (B t ) t∈Ω be µ-weak * measurable families of bounded Hilbert space operators such that < ∞ for all f ∈ H and let p, q, r ≥ 1 such that . Then for all X ∈ C p (H), Proof. According to identity (14), applying Theorem 3.3 [1] to families (A s − A t ) (s,t)∈Ω 2 and (B s − B t ) (s,t)∈Ω 2 gives By applying identity (14) once again, the last expression in (16) becomes Denoting 2 ) by Y (resp. Z), then the expression (16) becomes Again applying identity (14) to families (YA t ) t∈Ω and (ZB * t ) t∈Ω , (17) becomes .
which obviously equals to the righthand side of (15).
The next result [1] is a special case of an abstract Hölder inequality presented in Theorem 3.1.(e) [1] for Cauchy-Schwarz inequality for o.v. functions in u.i. norm ideals.

Theorem 4.
If µ is a probability measure on Ω, θ > 0 and (A t ) t∈Ω and (B t ) t∈Ω are as in Proposition 6, µ-weak * measurable families of bounded Hilbert space operators such that || Ω |A t | 2 dµ(t) || θ and || Ω |B t | 2 dµ(t) || θ are in C |.| H for some θ > 0 and for some u.i. norm | · | we have Proof. It suffices to invoke Proposition 6 to o.v. families (A s − A t ) (s,t)∈Ω 2 and (B s − B t ) (s,t)∈Ω 2 and use identity [7] to proof this result. Now, we consider some interesting quantities that relate to norm inequalities. For bounded set of operators A = (A t ) t∈Ω , we see that the radius of the smallest disk that essentially contains its range is From the triangle inequality, we have A t − A − A t − A ≤ A − A , so the mapping A → ess sup t∈Ω A t − A is nonnegative and continuous on B(H). Since (A t ) t∈Ω is bounded field of operators, we also have A t − A → ∞ when A → ∞, so this mapping attains minimum [5], and it actually attains at some A 0 ∈ B(H), which represents a center of the disk considered [6]. Any such field of operators is of finite diameter, therefore, we have that r ∞ (A) = ess sup s,t∈Ω A s − A t , with the simple inequalities given as r ∞ (A) ≤ diam ∞ (A) ≤ 2r ∞ (A) relating those quantities. For such fields of operators we can now state the following stronger version of Grüss inequality [2]. Lemma 3. Let µ be a σ-finite measure on Ω and let A = (A t ) t∈Ω and B = (B t ) t∈Ω be [µ] a.e. bounded fields of operators. Then, for all X ∈ C | .| (H), sup µ(δ)>0 | 1 µ(δ) δ A t XB t dµ(t) − 1 µ(δ) δ A t dµ(t) X 1 µ(δ) δ B t dµ(t)| ≤ min i P i · |X |. (Here sup is taken over all measurable sets δ ⊆ Ω such that 0 < µ(δ) < ∞).
Lemma 3 has the following immediate implication when (A t ) t∈Ω and (B t ) t∈Ω are bounded fields of self-adjoint operators.

Theorem 5.
If µ is a probability measure on Ω and C, D, E, F be bounded self-adjoint operators. Also, let (A t ) t∈Ω and (B t ) t∈Ω be bounded self-adjoint fields satisfying C ≤ A t ≤ D and E ≤ B t ≤ F for all t ∈ Ω. Then for all X ∈ C | .| (H), we have Proof.
In case of H = C and µ being the normalized Lebesgue measure on [a, b] (i.e. d µ(t) = dt b−a ), then (1) follows from Theorem 5. This special case also confirms the sharpness of the constant 1 4 in the inequality (18). Lastly, we consider, the Grüss type inequality for elementary operators in the example below. Example 1. Let A 1 , . . . , A n , B 1 , . . . , B n , C, D, E and F be bounded linear self-adjoint operators acting on a Hilbert space H such that C ≤ A i ≤ D and E ≤ B i ≤ F for all i = 1, 2, · · · , n, then for arbitrary X ∈ C |.| H, we have Indeed, it is sufficient to prove that the elementary operator is normally represented and that Grüss type inequality holds for it [3].
In the next section, we dedicate our effort to the applications of this study in other fields. We consider quantum theory in particular, whereby, we describe the application in quantum chemistry and quantum mechanics.

Applications in quantum theory
Norm inequalities and other properties of i.p.t.i transformers have various applications in other fields. We discuss the applications in quantum theory involving two cases [3]. The first case is in quantum chemistry, whereby, we consider the Hamiltonian which is a bounded, self-adjoint operator on some infinite-dimensional Hilbert space which governs a quantum chemical system. The Hamiltonian helps in estimation of ground state energies of chemical systems via subsystems.
The quantum mechanics deals with commutator approximation. The discussions of approximation by commutators AX − XA or by generalized commutator AX − XB originates from quantum theory. For instance, the Heisenberg uncertainly principle may be mathematically deduced as saying that there exists a pair A, X of linear operators and a non-zero scalar α for which AX − XA = αI. A natural question immediately arises: How close can AX − XA be to the identity? In [3], it is discussed that if A is normal, then, for all X ∈ B(H), ||I − (AX − XA)|| ≥ ||I||. In the inequality here, the zero commutator is a commutator approximate in B(H).