arxiv: v5 [math.fa] 2 May 2013

Transcription

1 COMPUTATION OF ANTIEIGENVALUES OF BOUNDED LINEAR OPERATORS VIA CENTRE OF MASS arxiv: v5 [math.fa] 2 May 20 KALLOL PAUL, GOPAL DAS AND LOKENATH DEBNATH Abstract. We introduce the concept of θ-antieigenvalue θ-antieigenvector of a bounded linear operator on complex Hilbert space. We study the relation between θ-antieigenvalue centre of mass of a bounded linear operator compute antieigenvalue using the relation. This follows the notion of symmetric antieigenvalues introduced by Hossein et al. in [19]. We show that the concept of real antieigenvalue, imaginary antieigenvalue symmetric antieigenvalue follows as a special case of θ-antieigenvalue. We also show how the concept of total antieigenvalue is related to the θ-antieigenvalue. In fact, we show that all the concepts of antieigenvalues studied so far follows from the concept of θ- antieigenvalue. We illustrate with example how to calculate the θ-antieigenvalue for an operator acting on a finite dimensional Hilbert space Mathematics subject classification: 47B44, 47A63, 47B15. Keywords Phrases: Antieigenvalue; antieigenvectors; bounded linear operator; centre of mass. 1. Introduction The concept of angle of an operator was introduced by Gustafson [5-7] in 1967 while studying the problems in perturbation theory of semi-group generators. For a bounded linear operator T on a complex Hilbert space H with the norm. the inner product, the cosine of the angle of the operator T is defined as Re Tf,f cosφ(t) = inf Tf 0 Tf f. The similar concept was also introduced by Krei n [20] in 1969 which he called the deviation of T denoted by dev.t. The cos Φ(T) has another interpretation as first antieigenvalue ( real antieigenvalue) µ 1 (T) of T which was also introduced by Gustafson [8] : Re Tf,f µ 1 (T) = inf Tf 0 Tf f. The vector f for which µ 1 (T) is attained (if exists), is called antieigenvector. The higher antieigenvalues are defined as follows : { } Re Tf,f µ n (T) = inf Tf 0 Tf f, f {f(1),f (2),f (3),...,f (n 1) } where f (k) is the k th antieigenvector of T. The first antieigenvalue can be interpreted as the cosine of the largest angle ( real ) through which any vector can be rotated by the action of T. The concept of antieigenvalues is studied by Gustafson[8-12], Gustafson Rao[-14], Gustafson Seddighin[15], Das et al[2],paul[22], Paul Das[23]. 1

2 2 KALLOL PAUL, GOPAL DAS AND LOKENATH DEBNATH Likewise Gustafson also introduced the concept of imaginary antieigenvalue as Im Tf,f inf Tf 0 Tf f. The total cosine of an operator T is defined as Tf,f cos T = inf Tf 0 Tf f The concept of total antieigenvalues is studied by Gustafson Seddighin [16], Seddighin[24], Hossein et. al.[18]. In [19], first author Paul et.al. introduced the concept of symmetric antieigenvalue antieigenvector for an operator T as follows:- Φ T (f) = Re Tf,f +Im Tf,f 2 Tf f Tf 0 cosφ S (T) = inf Φ T(f). Tf 0 The symmetric antieigenvalue is also denoted by µ S. The vector f for which Φ T (f) attains the minimum (if exists ) is called the symmetric antieigenvector of T. For a self-adjoint operator T with the eigenvalues λ 1 λ 2 λ 3... λ n, cosφ(t) = λ 1λ n λ 1+λ n, whereas cosφ(it) = 0 [according to definition of Gustafson] rather abruptly, although it has the eigenvalues iλ 1, iλ 2, iλ 3,...,iλ n. But the symmetric antieigenvalues of both T it are same i.e µ S (T) = µ S (it) for a self adjoint operator T. The definition of the antieigenvalue involves only real part of numerical range W(T) of an operator T, but the symmetric antieigenvalue depends upon both real imaginary part of the numerical range W(T) of T. Following our concept of symmetric antieigenvalue Gustafson seddighin [17] studied slant antieigenvalues slant antieigenvectors of operators, in which they didnot show any explicit relation between slant antieigenvalue total antieigenvalue. In [23], Paul Das proved Min-max equality of a bounded linear operator T on a complex Hilbert space H using the concept of orthogonality of bounded linear operators in the sense of James[3] studied the relation between centre of mass antieigenvalues. The Min-max equality in operator trigonometry goes as follows: Min-max equality: For a bounded linear opeartor T on a complex Hilbert space x =1 inf (ǫt ǫ R I)x 2 = inf ǫ R x =1 (ǫt I)x 2 The Min-max equality in operator trigonometry was obtained by Gustafson[4] in 1968, Asplund Pták[1] in In [23] using the concept of orthogonality of operators in the sense of James [3] we proved that For a bounded linear opeartor T on a complex Hilbert space x =1 inf (λt λ C I)x 2 = inf λ C x =1 (λt I)x 2 In [23] we introduced the concept of real centre of mass total centre of mass of a bounded linear operator studied their relation with antieigenvalues. We

3 COMPUTATION OF ANTIEIGENVALUES OF BOUNDED LINEAR OPERATORS VIA CENTRE OF MASS3 here mention the definitions of the real centre of mass total centre of mass for the sake of completeness of information. Definition 1. For any two bounded linear opeartors T A, there exists scalars ǫ 0 R λ 0 C such that T ǫ 0 A T ǫa ǫ R T λ 0 A T λa λ C Then numbers ǫ 0 λ 0 are called real centre of mass of T with respect to A total centre of mass of T with respect to A respectively. We here introduce the concept of θ-antieigenvalue explore the relation between θ-antieigenvalue centre of mass of an operator. The concept of antieigenvalue, imaginary antieigenvalue symmetric antieigenvalue then follows as a special case of θ-antieigenvalue. We also show how the concept of total antieigenvalue is related to the concept of θ- antieigenvalue. Finally we give examples of matrices to calculate θ-antieigenvalue. 2. θ-antieigenvalues Definition 2 (θ-antieigenvalue). Let T be a bounded linear operator on a complex Hilbert space H θ R. Define µ θ (f) =, Tf θ Tf f cosθre Tf,f +sinθim Tf,f µ θ (T) = inf Tf 0 Tf f µ θ (T) is called θ-antieigenvalue of T the vectors f for which µ θ (T) attains the infimum (if exsits) are called θ-antieigenvectors of T. If θ = 0 then we get first antieigenvalue ( real antieigenvalue ) as If θ = π 2 if θ = π 4 Re Tf,f µ 0 (T) = inf Tf 0 Tf f = cost. then we get imaginary antieigenvalue as Im Tf,f µπ(t) = inf 2 Tf 0 Tf f then we get symmetric antieigenvalue Re Tf,f +Im Tf,f µπ(t) = inf = µ 4 s (T). Tf 0 2 Tf f We have studied the antieigenvectors in [2, 18, 19, 22] using the concept of stationary vectors, the definition of which is given below : Definition 3. Stationary vector. Let φ(f) be a functional of a unit vector f H. Then φ(f) is said tohave a stationary value at f if the function w g (t) of a real variable t, defined as ( ) f +tg w g (t) = φ f +tg

4 4 KALLOL PAUL, GOPAL DAS AND LOKENATH DEBNATH has a stationary value at t=0 for any arbitrary but fixed vector g H. The vector f is then called a stationary vector. We write Φ(f) = Tf f ; f H, Tf 0. find the necessary sufficient condition for a unit vector f to be a stationary vector of Φ(f). For this we define w g (t) = (cosθ Re T(f +tg),(f +tg) +sinθ Im T(f +tg),(f +tg) )2 T(f +tg) 2 f +tg 2 where g is an arbitrary but fixed vector of H. If f is a stationary vector then we have w g (0) = 0 so we get 2 Tf 2 (cosθaf +sinθbf) (acosθ +bsinθ)(t Tf + Tf 2 f) = 0, where A = ReT, B = ImT, a = Re Tf,f, b = Im Tf,f. This isthe necessarysufficientcondition forφ(f)to bestationaryat avector f. Thus we obtain the following theorem Theorem 1. Let f be a unit θ-antieigenvector of a bounded linear operator T. Then f satisfies the following equation 2 Tf 2 (cosθaf +sinθbf) (acosθ +bsinθ)(t Tf + Tf 2 f) = 0, where A = ReT, B = ImT, a = Re Tf,f, b = Im Tf,f. π Remark 1. Putting θ = 0, 2, π 4 we get the characteristic equation for f to be a real antieigenvector, imaginary antieigenvector symmetric antieigenvector respectively. As we have studied in [2, 18, 19] we can find θ-antieigenvalues for bounded selfadjoint operators normal operators obtain similar results. We here find the relation between centre of mass θ-antieigenvalue via Min-max equality. We first state the following theorem the proofof which is given in [23] using the concept of orthogonality of bounded linear operators. Theorem 2. For bounded linear operators T λi, where λ C λ = 1, on a Hilbert space H f =1 inf (ǫt ǫ R λi)f 2 = inf Now we prove the following theorem. ǫ R f =1 (ǫt λi)f 2 Theorem 3. Let ǫ 0 be a real centre of mass of T with respect to the opeartor λi [where λ = cosθ +isinθ,θ R] T is a bounded linear operator on a complex Hilbert space H. Then cosθre Tf n,f n +sinθim Tf n,f n µ θ (T) = lim n Tf n f n where {f n } is a sequence of unit vectors in complex Hilbert space H such that Re (λi ǫ 0 T)f n,tf n 0 (λi ǫ 0 T)f n λi ǫ 0 T.

5 COMPUTATION OF ANTIEIGENVALUES OF BOUNDED LINEAR OPERATORS VIA CENTRE OF MASS5 Proof: Since ǫ 0 is a real centre of mass of T with respect to λi, we obtain a sequence of unit vectors {f n } in H such that Re (λi ǫ 0 T)f n,tf n 0 (λi ǫ 0 T)f n λi ǫ 0 T. Now λi ǫ 0 T = inf λi ǫt ǫ R = inf (λi ǫt)f ǫ R f =1 Using the min-max theorem we obtain { ( ) } 2 λi ǫ 0 T 2 cosθre Tfn,f n +sinθim Tf n,f n = lim 1 n Tf n { ( ) } 2 cosθre Tf,f +sinθim Tf,f 1 f =1 Tf Therefore f =1ǫ R = λi ǫ 0 T inf (λi ǫt)f 2 cosθre Tf,f +sinθim Tf,f inf f =1 Tf This completes the theorem. cosθre Tf n,f n +sinθim Tf n,f n = lim n Tf n = µ θ (T). 3. Total antieigenvalue θ-antieigenvalue We here show the relation between total antieigenvalue θ-antieigenvalue. Lemma 1. Let f H, Tf 0 θ R. Then µ θ (f) = = (Tf,f) Tf f Tf f. Proof. For a fixed f we can think of µ θ (f) as a function from R to R. Let Ψ : R R be defined as Ψ(θ) =. Tf f Then using elementary calculus we see that Ψ attains its maximum at cos θ = Re T f,f T f,f Ψ(θ) = Tf,f Tf f. Theorem 4. cos T = inf Tf 0 µ θ (f).

6 6 KALLOL PAUL, GOPAL DAS AND LOKENATH DEBNATH Proof. Follows from Lemma 1 as Ψ(θ) = = Tf,f Tf f Tf f so cos T = inf Tf 0 Tf,f µ θ (f) = inf Tf 0 Tf f. Lemma 2. inf inf ǫ R ǫe iθ T I = inf λ C λt I. Proof. By a result of [21] there exists λ 0 = ǫ 0 e iθ0 C such that λ 0 T I = inf λ C λt I so ǫ 0 e iθ0 T I = λ 0 T I λt I = ǫe iθ T I ǫ R θ R. For each θ R there exists ǫ(θ) = ǫ θ such that ǫ θ e iθ T I ǫe iθ T I ǫ. For θ 0, ǫ θ0 may or may not be equal to ǫ 0 but We choose Then We next show that ǫ 0 e iθ0 T I ǫ θ0 e iθ0 T I ǫe iθ0 T I ǫ. ǫ(θ) = ǫ θ θ θ 0 = ǫ 0 θ = θ 0. inf inf ǫ R ǫeiθ T I = inf ǫ(θ)eiθ T I = ǫ 0 e iθ0 T I = inf λt I. λ C Theorem 5. inf µ θ (f) = inf µ θ(f). Tf 0 Tf 0 Proof. We have cost = ( ) 2 Re Tf,f 1 inf ǫt ǫ R I 2 so that inf ǫt ǫ R I 2 = 1 inf Tf 0 Tf f cos T = ( ) 2 Tf,f 1 inf λt λ C I 2 so that inf λt λ C I 2 = 1 inf Tf 0 Tf f

7 COMPUTATION OF ANTIEIGENVALUES OF BOUNDED LINEAR OPERATORS VIA CENTRE OF MASS7 Using Lemma 2 we have inf λt λ C I 2 = inf inf inf λ C λt I 2 = inf inf λt λ C I 2 = 1 inf Tf 0 µ2 θ ǫ R ǫe iθ T I 2 { 1 inf Tf 0 inf Tf 0 µ2 θ (f) (f) = 1 inf λt I 2 λ C inf Tf 0 µ2 θ (f) = cos 2 T inf µ θ(f) = inf Tf 0 This completes the proof. Tf 0 µ θ (f). ( Re e iθ ) 2 } Tf,f e iθ Tf f Example ( ) 2 3i 0 T = be an operator on a two dimensional complex Hilbert space 0 3+2i H. Let z = (z 1,z 2 ) t H, where z z 2 2 = 1. Then, Re(Tz,e iθ z) = 3cosθ + 2sinθ (cosθ + 5sinθ) z 1 2 (Tz,z) = ( z )2 Tz =. Then cos T = 1 2 the total cosine attains at the unit vector z = (z 1,z 2 ) t where z 1 2 = 1 5+i 2 the total centre of mass is 26. The θ-antieigenvalue of T is as follows:- Case I: When sin(θ + tan ) 0, then µ θ(t) = 3cosθ+2sinθ it attains at the vector z = (z 1,z 2 ) t where z 1 = 0 the centre of mass of T with respect to e iθ I where I is the identity operator, is 3cosθ+2sinθ Case II: When sin(θ +tan ) > 0, then µ θ(t) = 2cosθ 3sinθ it attains at the vector z = (z 1,z 2 ) t where z 1 = 1 the centre of mass of T with respect to e iθ I where I is the identity operator, is 2cosθ 3sinθ From θ-antieigenvalue, we obtain antieigenvalue symmetric antieigenvalue of T. When θ = 0, then antieigenvalue cost = µ 0 (T) = 2 the correspond- 2 ing centre of mass is. When θ = π 4 then the symmetric antieigenvalue is µ S (T) = µπ (T) = the corresponding centre of mass ǫ 0 = 1. 2 Also inf Tf 0 µ θ (f) = inf Tf 0 µ θ (f) = 1 2. ACKNOWLEDGEMENTS. We thank Professor T. K. Mukherjee for their invaluable suggestions while preparing this paper. References 1. Asplund E. Pták V., A Minimax Inequality for Operators a Related Numerical Range, Acta. Math, 126 (1971), Das K.C., DasGupta M. Paul K., Structure of the antieigenvectors of a strictly accretive operator International J. Math. Math. Sci., 21 No. 4, (1998), James R.C., Orthogonality linear functionals in normed linear spaces, Trans. Amer. Math. Soc. 61 (1947), Gustafson K., A Min-Max Theorem, Notices Amer. Math. Soc. 15 (1968d), 799.

8 8 KALLOL PAUL, GOPAL DAS AND LOKENATH DEBNATH 5. Gustafson K., Angle of an Operator Positive Operator Products, Bull. Amer. Math. Soc., 74 (1968a), Gustafson K., Positive(noncommutating) Operator Products Semigroups, Math. Zeit. 105 (1968b), Gustafson K., A note on left multiplication of semigroup generators, Pacific J. Math. 24 (1968c), Gustafson K., Antieigenvalue Inequalities in Operator Theory, Inequalities III, Proceedings Los Angeles Symposium, 1969 ed. O. Shisha, Academic Press (1972), Gustafson K., An extended operator trigonometry, Linear Algebra Appl. 319 (2000), Gustafson K., Operator Trigonometry, Linear Multilinear Algebra, 37 (1994), Gustafson K., Matrix Trigonometry, Linear Algebra Appl., 217 (1995), Gustafson, K., Interaction antieigenvalues, J. Math. Anal. Appl., 299 (2004), Gustafson K. Rao D., Numerical Range Accretivity of Operator Products, J. Math. Anal. Appl., 60 (1977), Gustafson K. Rao D., Numerical Range: The Field Values of Linear Operators Matrices, Springer, New York, Gustafson K. Seddighin M., Antieigenvalue Bounds, J. Math. Anal. Appl., 143 (1989), Gustafson K. Seddighin M., A note on total antieigenvalues, J. Math. Anal. Appl., 178 (1993), Gustafson K. Seddighin M., Slant antieigenvalues slant antieigenvectors of operators, Linear Algebra its Applications, 432 (2010), Hossein Sk.M., Das K.C., Debnath L. Paul K., Bounds for total antieigenvalue of a normal operator International J. Math. Math. Sci., 70 (2004), Hossein Sk.M., Paul K., Debnath L. Das K.C., Symmetric Anti-eigenvalue Symmetric Anti-eigenvector J. Math. Analysis Applications., 345 (2008), Krei n H., Angular Localization of the Spectrum of a Mulplicative integral in a Hilbert space, Functional Anal. Appl., 3(1969), Paul K., Hossein Sk.M. Das K.C., Orthogonality on B(H,H) Minimal-norm Operator, Journal of Analysis Applications, 6 (2008), Paul K., Antieigenvectors of the Generalized Eigenvalue Problem an Operator Inequality Complementary to Schwarz s Inequality, Novi Sad J. Math., 38 No. 2 (2008) Paul K. Das G., Cosine of angle center of mass of an operator, Mathematica Slovaca, 62 (2012), No. 1, Seddighin M., Antieigenvalues total antieigenvalues of normal operators, J. Math. Anal. Appl., 274 (2002) no.1, Kallol Paul Department of Mathematics Jadavpur University Kolkata INDIA kalloldada@gmail.com Gopal Das Department of Mathematics Jalpaiguri Govt. Engg. College West Bengal India gopaldasju@gmail.com Lokenath Debnath Dept of Mathematics University of Texas-Pan American 1201 West University Drive Edinburg, TX fax: (956) Phone: (956) debnathl@utpa.edu