DOCSLIB.ORG

Range-Kernel Weak Orthogonality of Some Elementary Operators

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Range-Kernel Weak Orthogonality of Some Elementary Operators Open Mathematics 2021; 19: 32–45 Research Article Ahmed Bachir*, Abdelkader Segres, and Nawal A. Sayyaf Range-kernel weak orthogonality of some elementary operators https://doi.org/10.1515/math-2021-0001 received December 3, 2019; accepted October 12, 2020 Abstract: We study the range-kernel weak orthogonality of certain elementary operators induced by non- normal operators, with respect to usual operator norm and the Von Newmann-Schatten p-norm(1 ≤<∞p ). Keywords: range-kernel orthogonality, elementary operator, Schatten p-classes, quasinormal operator, sub- normal operator, k-quasihyponormal operator MSC 2020: 47A30, 47B20, 47B47, 47B10 1 Introduction Let B() be the algebra of all bounded linear operators acting on a complex separable Hilbert space . Given AB, ∈( B),wedefine the generalized derivation δAB, : BB()→() by δAB, ()=XAXX − B. ∗ 1 Let X ∈(B ) be a compact operator, and let s12()≥XsX ()≥…≥0 denote the eigenvalues of∣XXX∣=( )2 arranged in their decreasing order. The operator X is said to belong to the Schatten p-class p(),if 1 ∞ p pp1 ( ) ∥∥=XsXXp ∑ i () =tr (∣∣)<+∞p , 1 i=1 where tr denotes the trace functional. In case p =∞, we denote by ∞(), the ideal of compact operators equipped with the norm ∥∥XsX∞ =1 (). For p =(1, 1 ) is called the trace class, and for p =(2, 2 ) is called the Hilbert-Schmidt class and the case p =∞corresponds to the class. For more details, the reader is referred to [1]. In the sequel, we will use the following further notations and definitions. The closure of the range of an operatorTB∈() will be denoted by ran T and ker T denotes the kernel ofT. The restriction ofT to an invariant subspace will be denoted by T∣ , and the commutator AB− BA of the operators AB, will be denoted by []AB, . We recall the definition of Birkhoff-James’s orthogonality in Banach spaces [2,3]. Definition 1. If is a complex Banach space, then for any elements x, y ∈ , we say that x is orthogonal to y, noted by xy⊥ ,iff for all α, β ∈ there holds ∥+∥≥∥∥αy βx βx . (2) for all α, β ∈ or . * Corresponding author: Ahmed Bachir, Department of Mathematics, College of Science, King Khalid University, Abha, Saudi Arabia, e-mail: [email protected], [email protected] Abdelkader Segres: Department of Mathematics, Mascara University, Mascara, Algeria, e-mail: [email protected] Nawal A. Sayyaf: Department of Mathematics, College of Science, Bisha University, Bisha, Saudi Arabia, e-mail: [email protected] Open Access. © 2021 Ahmed Bachir et al., published by De Gruyter. This work is licensed under the Creative Commons Attribution 4.0 International License. Range-kernel weak orthogonality 33 If and are linear subspaces in , we say that is orthogonal to if xy⊥BJ− for all xM∈ and all y ∈ N . The orthogonality in this sense is asymmetric. Let ∗→(: B ) be an involution defined on a linear subspace of B() onto the algebra of all bounded linear operators acting on the Banach space and ∗ = . According to the definition given by Harte [4], E is called the Fuglede operator if kerEE⊆ ker ∗. The elementary operator is an operator E defined on Banach () , -bimodule with its representa- n n n - tion Ex()=∑i=1 axbii, where a =(aii ) ∈ , b =(bii ) ∈ are n tuples of algebra elements. The length of E fi is de ned to be the smallest number of multiplication terms required for any representation ∑j axbj j for E. In this note, we consider ==( B ) and =(B ) or =(≤<∞p :1 p ) and the length of E will 2 be less or equal to 2, i.e., if AAABBB=(12,, ) =( 12 ,) are 2-tuples of operators in B() , then the elementary operator induced by A and B is defined by EX()= AXB11 − AXB 22for all X ∈ . We will denote by E˜ the ∗∗ fi ˜ ˜ ∗ ∗ formal adjoint of E de ned by EX()=∑iJ∈ Aii XB for all X ∈ .NotealsothatEE∣=22() ∣ and EX()= ∗ ∑iJ∈ BXAiion any separable ideal of compact operator, where E is the operator adjoint of E in the sense of duality. J. Anderson [5] proved that if A and B are normal operators, then for allXS ,∈() B : S ∈ ker δAB,, ⇒∥()+∥≥∥∥ δ AB X S S. (3) This means that the kernel of δA,B is orthogonal to its range. F. Kittaneh [6] extended this result to an u.i. ideal norm in B(), by proving that the range of δAB, ∣ is orthogonal to ker δAB, ∩ . A detailed study of range-kernel orthogonality for generalized derivation δA,B has received much atten- tion in recent years and has been carried out in a large number of studies [3,5,7–13] and are based on the following result. Theorem 2. ( ) Let AB, be operators in B( ). If δA,B is Fuglede, then the range of δA,B resp. the range of δAB, ∣p is ( ) orthogonal to the kernel of δA,B resp. the kernel of δAB, ∣p for all 1 ≤≤∞p . D. Keckic [14] and A. Turnšek [15] extended Theorem 2 to the elementary operator E defined by EX()= AXB − CXD, where ()AC, and ()BD, are 2-tuples of commuting normal operators. Duggal [16] generalized the famous theorem to the case ()AC, and ()BD, are 2-tuples of commuting operators, where AB, are normal and C, D∗ are hyponormal. In this paper, our goal is to extend the previous theorem to non-normal operators including quasi- normal, subnormal, and k-quasihyponormal operators. In the following, we recall some definitions about the range-kernel weak orthogonality. Definition 3. [4] If E : → and T : → are bounded linear operators between Banach spaces and 0 <≤k 1, [sT∈⇒()≥∥∥]⇔∠⇔∠ker dist sEsTET , rankk ker ran E. (4) We say that T is weakly orthogonal to E, written T ∠ E, or equivalently kerTEkkTE∠⇔∃<≤∠ ran : 0 1 : k . (5) For 0 <≤k 1, we say that ET, has a 1 -gap if TE. () k ∠k If T = E and k ≠ 1, we shall call E w-orthogonal EE, consequently we get a 1 -gap between the subspaces ( ∠ ) k ker E and ran E, which corresponds to the “range-kernel weak-orthogonality” for an operator E.Ifk = 1,we shall say that T is orthogonal to E, written T ⊥ E, also if =(Y )= and T = E we get a 1-gap between the subspaces ker E and ran E. 34 Ahmed Bachir et al. T is said to be a quasi-normal if [TTT, ∗ ]=0, subnormal if there exist a Hilbert space ⊇ and a normal operator N ∈(B ) such that NT∣= . Also, T is called hyponormal if []TT∗, is a positive operator. Furthermore, we have the following proper inclusion TTnormal⇒-⇒ quasi normal T subnormal ⇒ T hyponormal. AB∈() is said the Fuglede operator [13] if kerAA⊆ ker ∗. n Recall that an n-tuple AAAA=(12,,, …n )∈ B ( ) is said commuting (resp. doubly commuting) if ( ∗ ) - [AAij, ]=0 resp. [AAij, ]=0 and [AAi , j]=0 for all ij,1,,=… n, ij≠ . The n tuple A is said to be normal if A is commuting and each Aii (=1, … , n) is normal, and A is subnormal if A is the restriction of a normal n-tuple to a common invariant subspace. Clearly, every normal n-tuple is subnormal n-tuple. Any other notation or definition will be explained as and when required. 2 Preliminaries We summarize the results given by D. Keckic [14], A. Turnšek [15], and B. P. Duggal [16] in the following theorem. Theorem 4. [14–16] Let AB, be normal operators, C, D∗ be hyponormal operators in B() such that [AC,,]=[ BD ]=0 and =(B ) or =≤≤∞Cpp :1 , then (i) If kerAC∩={}=∩ ker 0 ker B∗∗ ker D, then for all X ∈(B ) such that EX˜(), EX ()∈ S ∈∩⇒{∥()+∥∥()+∥}≥∥∥kerEEXSEXSS min , ˜ . (ii) If kerAC∩≠{ ker 0} or kerBD∗∗∩≠{ ker 0}, then there exists k verifying 0 <<k 1 such that ∀X∈() B ,ker: ∀∈ S E ∩ ∥()+∥≥∥∥ EX S kS , whereEX ()∈ . ∗ (iii) If =(C2 ) with its inner product ⟨XY,tr⟩= ( YX) and E is defined on C2(), then for all SE∈ ker , we get 2 2 2 ˜˜2 2 2 ∥()+∥=∥()∥+∥∥EXSEXSEXSEXS2 2 2 ; ∥()+∥=∥()∥+∥∥2 2 2 . We recall some useful results which are important in the sequel. Lemma 5. [13] Let AB, be commuting operators in B() with no trivial kernel. 1. Let ξ be the elementary Fuglede operator defined by ξX()= AXA∗∗ − BXB, then (i) if kerAB∩={} ker 0 , then ker A reduces A and ker B reduces B. (ii) if [AB, ∗]=0 and kerAB∩≠{ ker 0}, then kerAB∩ ker reduces A and B. 2. Let AB∈() , BB ∈(), and EX()= AXBX;, ∈ B ( ), then E is the Fuglede operator if and only if ker A reduces A and ker B∗ reduces B∗. Lemma 6. [ ] n 9 Let T be an operator represented by block matrix as TT=(ij, )ij, =1. 1 22 2 (i) If TB∈(), then ∑∥TTij, ∥≤∥∥≤∑∥ Tij, ∥ n2 ij, ij, (ii) If TCT∈()≤<∞p ;1 p , then 1 ∥∥TTTforallpp ≤ ∥ ∥p ≤∥∥p 2, ≤ <∞ p−2 p ∑ ij, p p n ij, 1 ∥∥TTp ≤ ∥ ∥p ≤ ∥∥Tforallpp 12. ≤ ≤ p ∑ ij, p p−2 p ij, n Range-kernel weak orthogonality 35 3 Main results Proposition 7. Let , be Hilbert spaces and AB∈(), B ∈(B ), and EBB∈(( , )) such that EX()= AXB. If E is the Fuglede operator, then E is w-orthogonal, E ∠ E˜, and the inequality min{∥EX ( ) + S ∥ , ∥ EX˜ ( ) + S ∥ } ≥ ∥ S ∥ (6) holds if – =(B , ) with k =/12or 1 1 – C , with k , if 1 p 2 and k , if 2 p . =(p ) = 2−p ≤≤ = p−2 ≤<∞ 2 p 2 p Proof. If A and B∗ are injective operators, then E is injective. So there is nothing to prove. Suppose that A or B∗ is the non-injective operator.
Load more

Recommended publications
  • Reduced Commutativity of Moduli of Operators 3
    Reduced commutativity of moduli of operators Pawe l Pietrzycki Abstract. In this paper, we investigate the question of when the equations A∗sAs = (A∗A)s for all s ∈ S, where S is a finite set of positive integers, imply the quasinormality or normality of A. In particular, it is proved that if S = {p, m, m + p,n,n + p}, where 2 ≤ m<n, then A is quasinormal. Moreover, if A is invertible and S = {m,n,n + m}, where m ≤ n, then A is normal. Furthermore, the case when S = {m, m + n} and A∗nAn ≤ (A∗A)n is discussed. 1. Introduction The class of bounded quasinormal operators was introduced by A. Brown in [5]. A bounded operator A on a (complex) Hilbert space H is said to be quasinormal if A(A∗A) = (A∗A)A. Two different definitions of unbounded quasinormal operators appeared independently in [40] and in [49]. As recently shown in [35], these two definitions are equivalent. Following [49], we say that a closed densely defined operator A in H is quasinormal if A commutes with the spectral measure E of |A|, i.e E(σ)A ⊂ AE(σ) for all Borel subsets σ of the nonnegative part of the real line. By [49, Proposition 1], a closed densely defined operator A in H is quasinormal if and only if U|A| ⊂ |A|U, where A = U|A| is the polar decomposition of A (cf. [53, Theorem 7.20]). For more information on quasinormal operators we refer the reader to [5, 15, 51], the bounded case, and to [40, 49, 43, 35, 8, 51], the unbounded one.
    [Show full text]
  • On Subnormal Operators
    Proc. Indian Acad. Sci. (Math. Sci.). Vol. 95, No. l, September 1986, pp. 41-44. 9 Printed in India, On subnormal operators B C GUPTA Department of Mathematics, Sardar Patel University, Vallabh Vidyanagar 388 120, India MS received 10 September 1985 Abstract. Let S be a pure subnormal operator such that C*(S), the C*-algebra generated by S, is generated by a unilateral shift U of multiplicity 1. We obtain conditions under which S is unitarily equivalent to o~+/3U, o~ and /3 being scalars or S has C*-spectral inclusion property. It is also proved that if in addition. S has C*-spectral inclusion property, then so does its dual T and C*(T) is generated by a unilateral shift of multiplicity 1. Finally, a characterization of quasinormal operators among pure subnormal operators is obtained. Keywords. Subnormal operators; self-dual subnormal operators: quasinormal operators: unilateral shifts; C*-algebra; C*-spectral inclusion property. By an operator we mean a bounded linear operator on a fixed separable infinite dimensional Hilbert space H. For an operator A, let o-s(A), o'a(A) and o'(A) denote respectively the essential spectrum, the approximate point spectrum and the spectrum of A and let C*(A) denote the C*-algebra generated by A. Let S be a subnormal operator on H and N ..... (,) o T* be its minimal normal extension on 3f = H 9 H~. The subnormal operator T appearing in the representation (,) is called the dual of S and has been studied by Conway [5]. Dual of S is unique up to unitary equivalence; and ifS is pure, then N* is the minimal normal extension of T.
    [Show full text]
  • On the Decomposition of Families of Quasinormal Operators
    Opuscula Math. 33, no. 3 (2013), 419–438 http://dx.doi.org/10.7494/OpMath.2013.33.3.419 Opuscula Mathematica ON THE DECOMPOSITION OF FAMILIES OF QUASINORMAL OPERATORS Zbigniew Burdak Communicated by Aurelian Gheondea Abstract. The canonical injective decomposition of a jointly quasinormal family of operators is given. Relations between the decomposition of a quasinormal operator T and the decompo- sition of a partial isometry in the polar decomposition of T are described. The decomposition of pairs of commuting quasinormal partial isometries and its applications to pairs of com- muting quasinormal operators is shown. Examples are given. Keywords: multiple canonical decomposition, quasinormal operators, partial isometry. Mathematics Subject Classification: 47B20, 47A45. 1. INTRODUCTION Let L(H) be the algebra of all bounded linear operators on a complex Hilbert space H. If T L(H), then T ∗ stands for the adjoint of T. By (T ) and (T ) we denote the ∈ N R kernel and the range space of T respectively. By a subspace we always understand a closed subspace. The orthogonal comple- ment of a subspace H H is denoted by H⊥ or H H . The commutant of T L(H) 0 ⊂ 0 0 ∈ denoted by T 0 is the algebra of all operators commuting with T. A subspace H H 0 ⊂ is T hyperinvariant, when it is invariant for every S T 0. An orthogonal projection ∈ onto H is denoted by P . A subspace H reduces operator T L(H) (or is reduc- 0 H0 0 ∈ ing for T ) if and only if P T 0. An operator is called completely non unitary (non H0 ∈ normal, non isometric etc.) if there is no non trivial subspace reducing it to a unitary operator (normal operator, isometry).
    [Show full text]
  • Unbounded Quasinormal Operators Revisited 3
    Unbounded quasinormal operators revisited Zenon Jan Jab lo´nski, Il Bong Jung, and Jan Stochel Abstract. Various characterizations of unbounded closed densely defined op- erators commuting with the spectral measures of their moduli are established. In particular, Kaufman’s definition of an unbounded quasinormal operator is shown to coincide with that given by the third-named author and Szafraniec. Examples demonstrating the sharpness of results are constructed. 1. Introduction The class of bounded quasinormal operators was introduced by A. Brown in [3]. Two different definitions of unbounded quasinormal operators appeared inde- pendently in [15] and (a few years later) in [21]. In the present paper we show that both of these definitions coincide (cf. Theorem 3.1). We also discuss the question of whether the equality in Kaufman’s definition of quasinormality can be replaced by inclusion. It is shown that the answer is in the affirmative if the inclusion is properly chosen (cf. Theorem 3.1 and Remark 3.2). Next, we characterize quasinor- mality of unbounded operators in terms of the truncated operator Stieltjes moment problem (cf. Theorem 3.6(iv)). This part of the paper is inspired by a result of Embry which characterizes quasinormality of bounded operators by means of the operator Stieltjes moment problem (cf. [9, page 63]). Yet another characterization of quasinormality of unbounded operators is given in Theorem 3.6(v). It states that a closed densely defined operator C is quasinormal if and only if the equal- ity C∗nCn = (C∗C)n holds for n = 2, 3. In the case of bounded operators, this characterization has been known for specialists working in this area since late ’80s arXiv:1310.3144v1 [math.FA] 11 Oct 2013 (recently it has been published in [14, Proposition 13]; unfortunately, this paper contains several errors).
    [Show full text]
  • Binormal, Complex Symmetric Operators T Such That T 2 Is Not Even Binormal, Let Alone Normal
    Binormal, Complex Symmetric Operators Caleb Holleman, Thaddeus McClatchey, Derek Thompson May 16, 2017 Abstract In this paper, we describe necessary and sufficient conditions for a bi- normal or complex symmetric operator to have the other property. Along the way, we find connections to the Duggal and Aluthge transforms, and give further properties of binormal, complex symmetric operators. 1 Introduction An operator T on a Hilbert space is said to be a complex symmetric operator if there exists a conjugation C (an isometric, antilinear involution) such that CT C = T ∗. An operator is said to be binormal if T ∗T and TT ∗ commute. Garcia initiated the study of complex symmetric operators [9]; researchers have made much progress in the last decade. The study of binormal operators was initiated by Campbell [3] in 1972. A normal operator is both binormal and complex symmetric. As we will see below, there are many classes of operators for which normal operators are a subclass, several of which are equivalent to normality in finite dimensions. However, both binormality and complex symmetry are meaningful for matrices. Both are properties that automatically transfer to the adjoint of an operator. Furthermore, both have a joint connection to square roots of normal operators. For these reasons, we investigate the possible connections between binormality and complex symmetry. In the rest of Section 1, we give necessary preliminaries. In Section 2, we arXiv:1705.04882v1 [math.FA] 13 May 2017 give exact conditions for when a complex symmetric operator is binormal. In Section 3, we give conditions for when a binormal operator is complex symmet- ric in terms of the Duggal and Aluthge transforms.
    [Show full text]
  • Arxiv:2103.09961V2 [Math.FA] 6 Apr 2021
    On nth roots of bounded and unbounded quasinormal operators Pawe l Pietrzycki and Jan Stochel Abstract. In this paper, we prove that both class A nth roots of bounded quasinormal and subnormal nth roots of unbounded quasinormal operators are quasinormal. 1. Introduction The class of bounded quasinormal operators was introduced by A. Brown in [4]. A bounded operator A on a (complex) Hilbert space is said to be quasinormal if A(A∗A) = (A∗A)A. Two different definitions of unboundedH quasinormal operators appeared independently in [19] and in [32]. As shown in [15, Theorem 3.1], these two definitions are equivalent. Following [32, 154 pp.], we say that a closed densely defined operator A in is quasinormal if A commutes with the spectral measure E of A , i.e. E(σ)A HAE(σ) for all Borel subsets σ of the nonnegative part of the real line.| | A densely⊂ defined operator A in is called subnormal if there exists a complex Hilbert space and a normal operatorH N in such that (isometric embedding) and Sh =KNh for all h (S). TheK foundationsH of ⊆ the K theory of unbounded (i.e., not necessarily bounded)∈ D subnormal operators were developed by the second-named author and F. H. Szafraniec (cf. [31, 32, 33, 34]). It is well known that normal ( quasinormal ( subnormal ( hyponormal (1.1) { } { } { } { } The present paper is a sequel to [23], where the authors showed that the ques- arXiv:2103.09961v2 [math.FA] 6 Apr 2021 tion formulated by R. E. Curto, S. H. Lee and J. Yoon (see [7, Problem 1.1]) has the affirmative answer.
    [Show full text]
  • Unbounded Quasinormal Operators Revisited
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE Integr. Equ. Oper. Theory 79 (2014), 135–149 provided by Springer - Publisher Connector DOI 10.1007/s00020-014-2133-1 Published online March 6, 2014 c The Author(s) This article is published Integral Equations with open access at Springerlink.com 2014 and Operator Theory Unbounded Quasinormal Operators Revisited Zenon Jan Jablo´nski, Il Bong Jung and Jan Stochel Abstract. Various characterizations of unbounded closed densely defined operators commuting with the spectral measures of their moduli are established. In particular, Kaufman’s definition of an unbounded quasi- normal operator is shown to coincide with that given by the third-named author and Szafraniec. Examples demonstrating the sharpness of results are constructed. Mathematics Subject Classification (2010). Primary 47B20; Secondary 47B37. Keywords. Quasinormal operator, paranormal operator, spectral measure, weighted shift on a directed tree. 1. Introduction The class of bounded quasinormal operators was introduced by Brown in [3]. Two different definitions of unbounded quasinormal operators appeared inde- pendently in [15] and (a few years later) in [21]. In the present paper we show that both of these definitions coincide (cf. Theorem 3.1). We also discuss the question of whether the equality in Kaufman’s definition of quasinormality can be replaced by inclusion. It is shown that the answer is in the affirmative if the inclusion is properly chosen (cf. Theorem 3.1 and Remark 3.2). Next, we characterize quasinormality of unbounded operators in terms of the trun- cated operator Stieltjes moment problem [cf. Theorem 3.6(iv)].
    [Show full text]
  • Every Pure Quasinormal Operator Has a Supercyclic Adjoint
    EVERY PURE QUASINORMAL OPERATOR HAS A SUPERCYCLIC ADJOINT Serge Phanzu Phanzu A Dissertation Submitted to the Graduate College of Bowling Green State University in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY August 2020 Committee: Kit Chan, Advisor Jong Lee, Graduate Faculty Representative Jonathan Bostic So-Hsiang Chou Mihai Staic Copyright c August 2020 Serge Phanzu Phanzu All rights reserved iii ABSTRACT Kit Chan, Advisor We prove that every pure quasinormal operator T : H ! H on a separable, infinite-dimensional, complex Hilbert space H has a supercyclic adjoint (see Theorem 3.3.2 and Corollary 3.3.12). It follows that if an operator has a pure quasinormal extension then the operator has a supercyclic ad- joint. Our result improves a result of Wogen [52] who proved in 1978 that every pure quasinormal operator has a cyclic adjoint. Feldman [26] proved in 1998 that every pure subnormal operator has a cyclic adjoint. Con- tinuing with our result, it implies in particular that every pure subnormal operator having a pure quasinormal extension has a supercyclic adjoint (see Corollary 3.3.15). Hence improving Feld- man’s result in this special case. Indeed, we show that the adjoint T ∗ of every pure quasinormal operator T is unitarily equivalent 1 1 L 2 L 2 to an operator of the form Q : L (µ) ! L (µ) defined by Q(f0; f1; f2;:::) = (A1f1 ;A2f2 ; i=0 i=0 1 L 2 2 2 A3f3 ;:::) for all vectors (f0; f1; f2;:::) 2 L (µ), where each An : L (µ) ! L (µ) is a left i=0 1 multiplication operator M'n with symbol 'n 2 L (µ) satisfying 'n 6= 0 a.e.
    [Show full text]
  • Unbounded Quasinormal Operators Revisited
    Integr. Equ. Oper. Theory 79 (2014), 135–149 DOI 10.1007/s00020-014-2133-1 Published online March 6, 2014 c The Author(s) This article is published Integral Equations with open access at Springerlink.com 2014 and Operator Theory Unbounded Quasinormal Operators Revisited Zenon Jan Jablo´nski, Il Bong Jung and Jan Stochel Abstract. Various characterizations of unbounded closed densely defined operators commuting with the spectral measures of their moduli are established. In particular, Kaufman’s definition of an unbounded quasi- normal operator is shown to coincide with that given by the third-named author and Szafraniec. Examples demonstrating the sharpness of results are constructed. Mathematics Subject Classification (2010). Primary 47B20; Secondary 47B37. Keywords. Quasinormal operator, paranormal operator, spectral measure, weighted shift on a directed tree. 1. Introduction The class of bounded quasinormal operators was introduced by Brown in [3]. Two different definitions of unbounded quasinormal operators appeared inde- pendently in [15] and (a few years later) in [21]. In the present paper we show that both of these definitions coincide (cf. Theorem 3.1). We also discuss the question of whether the equality in Kaufman’s definition of quasinormality can be replaced by inclusion. It is shown that the answer is in the affirmative if the inclusion is properly chosen (cf. Theorem 3.1 and Remark 3.2). Next, we characterize quasinormality of unbounded operators in terms of the trun- cated operator Stieltjes moment problem [cf. Theorem 3.6(iv)]. This part of the paper is inspired by a result of Embry which characterizes quasinormality of bounded operators by means of the operator Stieltjes moment problem (cf.
    [Show full text]
  • On the Decomposition of Families of Quasinormal Operators
    Opuscula Math. 33, no. 3 (2013), 419–438 http://dx.doi.org/10.7494/OpMath.2013.33.3.419 Opuscula Mathematica ON THE DECOMPOSITION OF FAMILIES OF QUASINORMAL OPERATORS Zbigniew Burdak Communicated by Aurelian Gheondea Abstract. The canonical injective decomposition of a jointly quasinormal family of operators is given. Relations between the decomposition of a quasinormal operator T and the decompo- sition of a partial isometry in the polar decomposition of T are described. The decomposition of pairs of commuting quasinormal partial isometries and its applications to pairs of com- muting quasinormal operators is shown. Examples are given. Keywords: multiple canonical decomposition, quasinormal operators, partial isometry. Mathematics Subject Classification: 47B20, 47A45. 1. INTRODUCTION Let L(H) be the algebra of all bounded linear operators on a complex Hilbert space H. If T 2 L(H); then T ∗ stands for the adjoint of T: By N (T ) and R(T ) we denote the kernel and the range space of T respectively. By a subspace we always understand a closed subspace. The orthogonal comple- ? ment of a subspace H0 ⊂ H is denoted by H0 or H H0. The commutant of T 2 L(H) 0 denoted by T is the algebra of all operators commuting with T: A subspace H0 ⊂ H is T hyperinvariant, when it is invariant for every S 2 T 0: An orthogonal projection onto H0 is denoted by PH0 : A subspace H0 reduces operator T 2 L(H) (or is reduc- 0 ing for T ) if and only if PH0 2 T : An operator is called completely non unitary (non normal, non isometric etc.) if there is no non trivial subspace reducing it to a unitary operator (normal operator, isometry).
    [Show full text]
  • Arxiv:2008.04758V3 [Math.FA]
    Subnormal nth roots of quasinormal operators are quasinormal Pawe l Pietrzycki and Jan Stochel Abstract. In a recent paper [11], R. E. Curto, S. H. Lee and J. Yoon asked the following question: Let A be a subnormal operator, and assume that A2 is quasinormal. Does it follow that A is quasinormal? In this paper, we answer that question in the affirmative. In fact, we prove a more general result that subnormal nth roots of quasinormal operators are quasinormal. 1. Introduction An operator1 A on a (complex) Hilbert space H is said to be subnormal if it is (unitarily equivalent to) the restriction of a normal operator to its invariant (closed vector) subspace. In turn, A is called quasinormal if A(A∗A) = (A∗A)A, or equivalently, if and only if U|A| = |A|U, where A = U|A| is the polar decomposition of A (see [40, Theorem 7.20]). The classes of subnormal and quasinormal operators were introduced by P. Halmos in [15] and by A. Brown in [5], respectively. It is well-known that quasinormal operators are subnormal but not conversely (see [16, Problem 195]). For more information on subnormal and quasinormal operators we refer the reader to [16, 7]. In a recent paper [11], R. E. Curto, S. H. Lee and J. Yoon, partially motivated by the results of their previous articles [9, 10], asked the following question Problem 1.1 ([11, Problem 1.1]). Let A be a subnormal operator, and assume that A2 is quasinormal. Does it follow that A is quasinormal? arXiv:2008.04758v3 [math.FA] 24 Sep 2020 They proved that a left invertible subnormal operator A whose square A2 is quasinormal, must be quasinormal (see [11, Theorem 2.4]).
    [Show full text]
  • Subnormal and Quasinormal Toeplitz Operators with Matrix-Valued Rational Symbols
    Subnormal and quasinormal Toeplitz operators with matrix-valued rational symbols Ra´ul E. Curto, In Sung Hwang, Dong-O Kang and Woo Young Lee Abstract. In this paper we deal with the subnormality and the quasinormality of Toeplitz operators with matrix-valued rational symbols. In particular, in view of Halmos’s Problem 5, we focus on the question: Which subnormal Toeplitz operators are normal or analytic? We ∞ first prove: Let Φ ∈ LMn be a matrix-valued rational function having a “matrix pole,” i.e., 2 there exists α ∈ D for which ker HΦ ⊆ (z − α)HCn , where HΦ denotes the Hankel operator with symbol Φ. If (i) TΦ is hyponormal; ∗ (ii) ker[TΦ,TΦ] is invariant for TΦ, then TΦ is normal. Hence in particular, if TΦ is subnormal then TΦ is normal. Next, we show that every pure quasinormal Toeplitz operator with a matrix-valued rational symbol is unitarily equivalent to an analytic Toeplitz operator. Keywords. Toeplitz operators, matrix-valued rational functions, Abrahamse’s Theorem, Amemiya, Ito and Wong’s Theorem, subnormal, quasinormal, hyponormal. 1. Introduction: Halmos’s Problem 5 In 1970, P.R. Halmos addressed a problem on the subnormality of Toeplitz operators Tϕ on the Hardy space H2 ≡ H2(T) of the unit circle T in the complex plane C. This is the so-called Halmos’s Problem 5, presented in his lectures, Ten problems in Hilbert space [Hal1], [Hal2]: Halmos’s Problem 5. Is every subnormal Toeplitz operator either normal or analytic? A subnormal operator is one that has a normal extension. A Toeplitz operator Tϕ (with symbol 2 ϕ ∈ L∞ ≡ L∞(T)) is defined by the expression Tϕf := P (ϕf) for each f ∈ H , where P is the 2 2 2 orthogonal projection from L ≡ L (T) onto H .
    [Show full text]