Extending Kantorovich-Type Inequalities to Normal Operators

We will extend some of the Kantorovich-Type inequalities for positive finite dimensional matrices to infinite dimensional normal operators by applying The Two-Nonzero Component Lemma and converting them to an Antieigenvalue-Type problem.


M m Tx x T x x x H x mM
Please see [1].In 1968 Gustafson independently proved that for such a positive matrix we have Please see [2] Thus computing (6) for an arbitrary operator T is equivalent to extend the original Kantorovich inequality to an arbitrary operators T. The first attempt to compute a value for (6) was made by Davis in [4], using the shell of a matrix.He found some partial and implicit results for (6) when T is an accretive normal matrix on a finite dimensional Hilbert space.In [5] and [6] Gustafson and Seddighin found more explicit results for (6), assuming that T is a normal matrix on a finite dimensional space.They proved that in this case (6) is always expressed by at most two eigenvalues of T. This property that later was generalized by Seddighin as The Two Nonzero Component Lemma (or TNCL for short) was implicitly proved in [5].
Lemma 1 (The Two Nonzero Component Lemma) Let 1 l + be the set of all sequences with nonnegative terms in the Banach Space 1 l , i.e., Let ( ) .
Then the minimizing vectors for the functional , , , m F g g g  t t t (9) on the convex set have at most two nonzero components.
A geometric proof for this lemma in the finite dimensional case is implicit in the proof of Theorem 5.1 in [5].Using the notations in the Lemma 1 above, in Theorem 5.1 of [5] we had the specific functions ( ) ( ) Here we have replaced 1 v , 2 v , 3 v in Theorem 5.1 of [5] with 1 t , 2 t , 3 t respectively to compare the situation with Lemma 1 above.Also, an analytical proof for Lemma 1 is implicit in the proof of Theorem 2.2 in [7] for the specific functions and ( ) Please note there is a harmless error in expression 2.18 in [7].In that expres- , , , n t t t  ).What make the geome- trical and analytical proofs of the Lemma in these special cases possible are the following two facts: First, the convexity of the set Second, a special property that the functions , , F g g t t (18) involved possess.If we set then all restrictions of the form ( ) , , , , 0, , of ( ) , , , .
Obviously, not all functions have this property.For instance, for the function ( ) we have ( ) which does not have the same algebraic form as , .

G t t (31)
To avoid repetitions in our papers, we will not present a separate proof for Lemma 1 here.Instead, we note that the proof of this Lemma is embedded in the proof of Theorem 2.2 of [7].There, one can redefine the function , , , n D t t t  or ( ) , , , D t t t  (depending on the dimension) to be The Two Nonzero Component Lemma was formulated as above by Seddighin in [8] and has since been applied in a number of his papers (see [6] [9]- [15]).It is important to mention that TNCL does not identify which one or two components of the minimizing vectors are nonzero.Almost all Kantorovich-Type inequalities and corresponding antieigenvalue quantities are reduced to functions which meet the conditions of TNCL.Nevertheless, TNCL is a dimension reducing optimization lemma and as such can be used in instances where matrices or operators are not involved (see, for example, [11]).Furthermore, in [12] Seddighin proved that Gustafson's min-max Theorem can be obtained as a corollary from The Two Nonzero Component Lemma.Please see [16] for the min-max Theorem, which was the foundation for Gustafson's Antieigenvalue Theory that he also calls it Operator Trigonometry.

(q,F) Kantorovich-Type Inequality
Let T be a positive matrix on a finite dimensional space satisfying 0 M A m ≥ ≥ > .Also let

( ) F t be a real valued convex function on [ ]
, m M and q be a real number, then the inequality holds for every unit vector x under one of the following conditions DOI: 10.4236/alamt.2018.81005 The Inequality (32) is a nontrivial Kantorovich-Type inequality which is a generalization of the original Kantorovich inequality.In this paper we call (32) the (q,F) Kantorovich-Type inequality.Please see [17].The Inequality (32) is equiv- under the conditions stated above.Therefore, the inequality is established if we show Antieigenvalue Theory we call it ( ) , q F antieigenvalue of T and denote it by . In general in accordance to Antieigenvalue Theory, if T is a normal operator, we call The following is a generalization of ( ) , q F Kantorovich-Type inequality to normal Hilbert space operators.
Theorem 2 Let T be a normal operator on a separable Hilbert space.Suppose ≤ < ∞ , are the eigenvalues of T. Let ( ) i E λ be the eigenspace corresponding to i λ and let ( ) i P λ be the orthogonal projection on ( ) Assume F is an analytic function defined on ( ) T σ . For each vector x let ( ) If x is a minimizing vector with we have one of the following cases: 1) Only one of the vectors i z is nonzero, i.e., for some i, and In this case we have 2) Only two of the vectors i z and j z are nonzero and the rest of the components of f are zero.i.e., In this case we have and Proof.Direct computations show that . Let . Then the problem is reduced to finding , on the convex set Now by the Two Nonzero Component Lemma, a minimizing vector t for ( ) ( ) ( ) has either one or two nonzero components.First, if for a minimizing vector t we have 0 i t ≠ and 0 Second, if a minimizing vector t for ( ) has two nonzero components i t and j t then the problem is reduced to find- ing the minimum of the function on the line segment 1,0 1,0 1.
An application of Lagrange Multipliers shows that we must have DOI: 10.4236/alamt.2018.81005 If we substitute (49) and ( 50) in (47) and simplify, we obtain The following corollary states the (q,F) Kantorovich-Type inequality for normal operators on a separable Hilbert space, without mentioning the minimizing vectors for (which as we saw make the inequality an equality).Traditionally, some inequalities are written without stating when the inequality becomes equality.The reason is that, as we explain later in this paper, they were driven by other methods without computing the vectors that make the inequality an equality.However, as we remark at the end of this paper, vectors which make an inequality equality have applications of their own.
Corollary 3 Let T be a normal operator on a separable Hilbert space.Suppose are the eigenvalues of T, F is an analytic function defined on ( ) T σ , and q is a real number.Then one of the following inequalities is satisfied: 1) There exist an eigenvalue i i i i for all unit vectors x. 2) There exist a pair of eigenvalues i i i i ) for all unit vectors x.

Weighted (q,F) Kantorovich-Type Inequality
In [18] Gustafson and Seddighin generalized the definition of antieigenvalue given by ( 6) to weighted antieigenvalue defined by which is called the symmetric antieigenvalue of T and is denoted by s µ .The symmetric antieigenvalue is a balanced definition of antieigenvalue because it depends on both ReT and ImT by the same factor.Note that, as we proved in [18], it turned out that the weighted antieigenvalue of an operator T is the same as the antieigenvalue of another operator, namely where ( ) If we define weighted ( ) Re , Im , , , then we have, Theorem 4 For any normal operator T we have , where Proof.Using spectral mapping theorem we have and .
Theorem 5 Let T be a normal operator on a separable Hilbert space.Suppose ≤ < ∞ , are the eigenvalues of T. Let ( ) i E λ be the eigenspace corresponding to i λ and let ( ) i P λ be the orthogonal projection on ( ) Assume F is an analytic function defined on ( ) and q is a real number.Furthermore Let a and b be real numbers, at least one of them nonzero.For each vector x let ( ) If x is a minimizing vector with Re , Im , , , then we have one of the following cases: 1) Only one of the vectors i z is nonzero.i.e., 1 i z = , for some i, and In this case we have: .
2) Only two of the vectors i z and j z are nonzero and the rest of the com-ponents of f are zero.i.e., In this case we have ( . 1 and , be the set of antieigenvalues of A. By the spectral mapping theorem, we By Theorem 2 we have one of the following two cases.1) Only one of the vectors i z is nonzero.i.e., 1 i z = , for some i, and 0 j z = for j i ≠ .In this case we have: 2) Only two of the vectors i z and j z are nonzero and the rest of the com- ponents of f are zero.i.e., In this case we have and By Theorem 4 we have DOI: 10.4236/alamt.2018.81005 .
The proof is completed by substituting A in terms of T and eigenvalues of A in terms of eigenvalues of T in (69), (70), (71), and (72).
Corollary 6 Let T be a normal operator on a separable Hilbert space.Suppose , are the eigenvalues of T, F is an analytic function defined on ( ) , and q is a real number.Also assume a and b are real numbers, at least one of them nonzero.Then one of the following inequalities is satisfied, 1) There exist an eigenvalue i i i i , Re , Im , , for all unit vectors x.
where C and D are defined by ) Remark 7 In this paper and in some of our other papers we have proved Kantorovich-Type inequalities by converting them to an Antieigenvalue-Type problem and then finding the minimizing vectors for the Antieigenvalue-Type problems.These vectors are the vectors that Kantorovich-Type inequalities become equalities.Traditionally authors have established Kantorovich-Type inequalities for a positive operator T by going through a two-step process which consists of computing upper bounds for suitable functions on intervals containing the spectrum of T and then applying the standard operational calculus to T (see [17]).These methods have limitations as they do not shed light on vectors or matrices for which inequalities become equalities.This is one of the significant aspect aspects of our work here, as the minimizing vectors have applications of their own.They have particularly applications in numerical analysis (see [16]).Some authors have taken a variational approach to find the minimizing vectors for Antieigenvalue-Type problems (vectors that make the corresponding Kantorovich-Type inequality an equality).In a variational approach one differentiates the quantities involved to arrive at an "Euler Equation" and then solve the Euler Equation to obtain the minimizing or maximizing vectors.A direct variational approach generally does not produce a Euler equation which can be solved easily (see [16]).Thus, identifying the minimizing vectors is another significant aspect of our work here.
Remark 8 While we have used TNCL to show that one or two eigenvalues are involved in expressing the (q,F) Kantorovich Type inequality for normal operators acting on a separable Hilbert space, TNCL does not enable us to pinpoint one or two eigenvalues involved.However, if T is a normal matrix it is possible to pinpoint exactly which eigenvalues express Antieigenvalue-Type quantities.We have shown this in [6] and [8], using detailed convexity arguments.
Remark 9 If T is an arbitrary operator on an infinite dimensional Hilbert space we can numerically approximate its Antieigenvalue-Type quantities for T and hence establish approximate Kantorovich-Type inequalities for T (please see [19]).

Conclusion 10
The results in this paper are milestones in the evolution of Kantorovich-Type inequalities.The simplest Kantorovich-Type inequality is the Kantorovich inequality for real numbers which states ( )  The Inequality (1) was the first generalization of (78) to positive matrices by Kantorovich himself.In 1980, C. Davis extended the Kantorovich inequality from positive matrices to normal matrices.However, Davis assumed that the numerical range of the normal matrix is contained in the right half plain (i.e., the matrix is accretive).Furthermore, Davis was not able to identify the vectors for which the inequality becomes equality.Our results here are major steps in generalizing Kantorovich-Type inequalities for the following reasons: 1) We generalized Kantorovich-Type inequalities from positive matrices to infinite dimensional normal operators.2) There are no conditions on the numerical range of normal operators.3) We shed light on the vectors for which Kantorovich-Type inequalities become equalities.

Kantorovich-
Type inequalities for positive matrices on finite dimensional Hilbert Spaces are extensions of the original Kantorovich inequality.Let T be a positive matrix with the smallest eigenvalue m and the largest eigenvalue M, then the original Kantorovich inequality states that [3].It turned out that(2) and (3) are equivalent.Thus Gustafson gave a totally different proof for the original Kantorovich inequality.Furthermore, he called the quantity of T. Gustafson's proof of (3) was based on his min-max theorem which states that for such a positive operator we have time, Gustafson defined the antieigenvalue of an arbitrary opera- where a and b are a pair of real numbers, at least one of them nonzero.In partic- q