DOCSLIB.ORG

Arxiv:2103.09961V2 [Math.FA] 6 Apr 2021

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read 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. In fact, we proved a more general result. Theorem 1.1 ([23, Theorem 1.2]). Let n be a positive integer. If A is a subnormal operator on and An is quasinormal, then A is also quasinormal. H In [23, Section 3] we gave two proofs of this theorem. We use two completely different techniques for proving Theorem 1.1. The first one appeals to the theory of operator monotone functions, in particular to Hansen’s inequality. The other relies on the theory of (scalar and operator) moment problems; its origin goes back to the celebrated Embry’s characterization of subnormal operators expressed in terms 2010 Mathematics Subject Classification. Primary 47B20, 47B15; Secondary 47A63, 44A60. Key words and phrases. quasinormal operator, subnormal operator, operator monotone func- tion, Stieltjes moment problem. 1 2 P.PIETRZYCKIANDJ.STOCHEL of the Stieltjes operator moment problem (see [8]), later on developed by Lambert and Agler (see [20, 1]). Problem [7, Problem 1.1] can be naturally generalized in two directions: by enlarging the class of nth roots, and by allowing the operators in question to be closed and unbounded. Problem 1.2 (see [23, Problem 5.1]). Let A be a subnormal (hyponormal, etc.) operator which is bounded, or unbounded and closed. Assume that for some integer n > 2, An is quasinormal. Does it follow that A is quasinormal? We continued our research started in [23] in both these directions. It turn out that the technique of proving Theorem 1.1 that appeals to the theory of operator monotone functions, is more appropriate for bounded operators (in particular for hyponormal nth roots), while that based on the theory of moments, is better suited to unbounded subnormal operators. We obtained the following results. Theorem 1.3. Let n N. If A is a class A operator on (in particular p-hyponormal operator for p∈ (0, 1] or log-hyponormal operator) andH An is quasi- normal, then A is also quasinormal.∈ Theorem 1.4. Let A be a closed densely defined operator in and n N. If A is a subnormal operator and An is quasinormal, then A is alsoH quasinormal.∈ Similar results to above theorems are known in literature. Stampfli showed that the hyponormal nth roots of normal operators are normal (see [27, Theorem 5]). However, if A is a hyponormal operator and An is subnormal, then A doesn’t have to be subnormal (see [28, pp. 378/379]). We can now summarize these Stampfli results together with Theorems 1.1 and 1.3 in the following theorem. Theorem 1.5. If X, Y normal, quasinormal, subnormal, hyponormal are such that X Y (cf. (1.1)) then∈ { the following statment: } ⊆ nth roots of the class Y of operators of the class X are class X is true except in the case of X = subnormal and Y = hyponormal when is false. Investigating the missing case when X = quasinormal and Y = hyponormal in the above theorem was our other motivation to continue our research started in [23]. In the proofs of both Theorems 1.3 and 1.4 we use the following characterization of quasinormal operators (the “moreover” part of Theorem 1.6 follows from the observation that due to (1.2), E is the spectral measure of A∗A) Theorem 1.6 ([8, 15]). Let A be closed densely defined operator in (in particular bounded operator on ). Then the following conditions are equivalentH : H (i) A is quasinormal, (ii) A∗kAk = (A∗A)k for k =0, 1, 2,..., (iii) there exists a Borel spectral measure E on R+ such that A∗kAk = xkE(dx), k =0, 1, 2,.... (1.2) ZR+ Moreover, the spectral measure E in (iii) is unique and E(( A 2, ))=0. k k ∞ ON nTH ROOTS OF BOUNDED AND UNBOUNDED QUASINORMAL OPERATORS 3 This characterization was given by Embry (see [8, page 63]) for bounded oper- ators and then was extended to unbounded closed densely defined operators by Z. J. Jab lo´nski, I. B. Jung, and second-named author (see [15, Theorem 3.6] cf. also [35]). Although the condition (ii) looks much more complicated than (i), it leads to calculations on positive operators and allows the use of techniques related to such operators like operator inequalities, functional calculus, spectral decomposition, operator monotone and operator convex functions. Research on the reduced Embry’s characterization of quasinormality (see [23, Problem 1.4]) has led first-named author to the following result. Lemma 1.7 ([22, Lemma 3.7]). Let α, β R+ be such that α<β and A, B B( ) be such that B is positive and injective.∈ Then the following conditions ar∈e equivalent:H (i) A∗A 6 B and A∗BsA = Bs+1 for s = α, β, (ii) A and B commute and A∗A = B. This lemma is the key ingredient in the proof of Theorem 1.3. The proof of Lemma 1.7 makes use of the theory of operator convex functions and related to this theory Davis-Choi-Jensen inequality. For more information on on the reduced Embry’s characterization of quasinormality we refer the reader to (see e.g., [35, 36, 17, 15, 21, 22]). In view of Theorem 1.6 two chains of inequalities in the following theorem, can be viewed as a weak analogue of the property (ii) of quasinormal operators in Theorem 1.6 for hyponormal operators. Theorem 1.8 (see [14, Theorem 1], cf. [39, Theorem 1]). If A is class A opera- tor (in particular p-hyponormal operator for p (0, 1] or log-hyponormal operator). Then ∈ √k A∗kAk > ... > √3 A∗3A3 > √A∗2A2 > A∗A and √k AkA∗k 6 ... 6 √3 A3A∗3 6 √A2A∗2 6 AA∗ for all k N. ∈ This theorem, in turn, is a consequence of the famous Furuta inequality and plays a key role in the proof of Theorem 1.3 Other questions concerning square roots (or more generally nth roots) in se- lected classes of operators have been studied since at least the early 50’s (see e.g., [11, 12, 24, 38, 6]). It is also worth mentioning that there are subnormal (or even isometric) operators which have no square roots (see [10, Problem 151]; see also [11]). 2. Preliminaries In this paper, we use the following notation. The fields of real and complex numbers are denoted by R and C, respectively. The symbols Z+, N and R+ stand for the sets of nonnegative integers, positive integers and nonnegative real numbers, respectively. We write B(X) for the σ-algebra of all Borel subsets of a topological Hausdorff space X. 4 P.PIETRZYCKIANDJ.STOCHEL ∞ A sequence γn of real numbers is said to be a Stieltjes moment sequence { }n=0 if there exists a positive Borel measure µ on R+ such that n γn = t dµ(t), n Z+. (2.1) ZR+ ∈ A positive Borel measure µ on R+ satisfying (2.1) is called a representing measure of ∞ ∞ γn n=0. If γn n=0 is a Stieltjes moment sequence which has a unique representing { } { } ∞ measure, then we say that γn n=0 is determinate. It is well known that if a Stieltjes moment sequence has a representing{ } measure with compact support, then it is determinate. The reader is referred to [2] for comprehensive information regarding the Stieltjes moment problem. Let A be a linear operator in a complex Hilbert space . Denote by (A), A¯ and A∗ the domain, the closure and the adjoint of A respectivelyH (providedD they exist). A subspace of (A) is called a core for A if is dense in (A) with respect to the graph normE of AD. We write B( ) for the setE of all boundedD operators in whose domain are equal to . H H Let be a Hilbert space.H Denote by B( ) the C∗-algebra of all bounded H H ∗ linear operators on , and by IH the identity operator on . As usual, A stands for the adjoint of AH B( ). We say that an operator A HB( ) is ∈ H ∈ H positive if Ah,h > 0 for all h , • an orthogonalh projectioni if A =∈A H∗ and A = A2, • selfadjoint if A = A∗, • normal if A∗A = AA∗, • quasinormal if A(A∗A) = (A∗A)A, • subnormal if it is (unitarily equivalent to) the restriction of a normal • operator to its invariant subspace.
Load more

Recommended publications
  • On Unbounded Subnormal Operators
    Proc. Indian Acad. Sci. (Math. Sci.), Vol. 99, No. 1, Aprd 1989, pp. 85-92. Printed in India. On unbounded subnormal operators ARVIND B PATEL and SUBHASH J BHATT Department of Mathematics Sardar Patel University, Vallabh Vidyanagar 388 120 India MS received 28 May 1987; revised to April 1988 Abstract. A minimal normal extension of unbounded subnormal operators is established and characterized and spectral inclusion theorem is proved. An inverse Cayley transform is constructed to obtain a closed unbounded subnormal operator from a bounded one. Two classes of unbounded subnormals VlZ analytic Toeplitz operators and Bergman operators are exhibited. Keywords. Unbounded subnormal operator; Cayley transform; Toephtz and Bergman operators; minimal normal extension. 1. Introduction Recently there has been some interest in unbounded operators that admit normal extensions viz unbounded subnormal operators defined as follows: DEFINITION 1.1 Let S be a linear operator (not necessarily bounded) defined in D(S), a dense subspace of a Hilbert space H. S is called a subnormal operator if it admits a normal extension (N, D(N), K) in the sense that there exists a Hilbert space K, containing H as a closed subspace (the norm induced by K on H is the given norm on /4) and a normal operator N with domain D(N) in K such that Sh = Nh for all h~D(S). These operators appear to have been introduced in [12] following Foias [4]. An operator could be subnormal internally admitting a normal extension in H; or it could admit a normal extension in a larger space. As is well known, a symmetric operator always admits a self-adjoint extension in a larger space, contrarily a formally normal operator may fail to be subnormal ([2], [ 11 ]).
    [Show full text]
  • 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]
  • Mathematical Work of Franciszek Hugon Szafraniec and Its Impacts
    Tusi Advances in Operator Theory (2020) 5:1297–1313 Mathematical Research https://doi.org/10.1007/s43036-020-00089-z(0123456789().,-volV)(0123456789().,-volV) Group ORIGINAL PAPER Mathematical work of Franciszek Hugon Szafraniec and its impacts 1 2 3 Rau´ l E. Curto • Jean-Pierre Gazeau • Andrzej Horzela • 4 5,6 7 Mohammad Sal Moslehian • Mihai Putinar • Konrad Schmu¨ dgen • 8 9 Henk de Snoo • Jan Stochel Received: 15 May 2020 / Accepted: 19 May 2020 / Published online: 8 June 2020 Ó The Author(s) 2020 Abstract In this essay, we present an overview of some important mathematical works of Professor Franciszek Hugon Szafraniec and a survey of his achievements and influence. Keywords Szafraniec Á Mathematical work Á Biography Mathematics Subject Classification 01A60 Á 01A61 Á 46-03 Á 47-03 1 Biography Professor Franciszek Hugon Szafraniec’s mathematical career began in 1957 when he left his homeland Upper Silesia for Krako´w to enter the Jagiellonian University. At that time he was 17 years old and, surprisingly, mathematics was his last-minute choice. However random this decision may have been, it was a fortunate one: he succeeded in achieving all the academic degrees up to the scientific title of professor in 1980. It turned out his choice to join the university shaped the Krako´w mathematical community. Communicated by Qingxiang Xu. & Jan Stochel [email protected] Extended author information available on the last page of the article 1298 R. E. Curto et al. Professor Franciszek H. Szafraniec Krako´w beyond Warsaw and Lwo´w belonged to the famous Polish School of Mathematics in the prewar period.
    [Show 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.
    [Show full text]
  • L(N)-HYPONORMALITY: a MISSING BRIDGE BETWEEN SUBNORMALITY and PARANORMALITY
    J. Aust. Math. Soc. 88 (2010), 193–203 doi:10.1017/S1446788710000091 L.n/-HYPONORMALITY: A MISSING BRIDGE BETWEEN SUBNORMALITY AND PARANORMALITY IL BONG JUNG ˛, SUN HYUN PARK and JAN STOCHEL (Received 13 March 2009; accepted 17 January 2010) Communicated by J. J. Koliha Abstract A new notion of L.n/-hyponormality is introduced in order to provide a bridge between subnormality and paranormality, two concepts which have received considerable attention from operator theorists since the 1950s. Criteria for L.n/-hyponormality are given. Relationships to other notions of hyponormality are discussed in the context of weighted shift and composition operators. 2000 Mathematics subject classification: primary 47B20; secondary 47B33, 47B37. Keywords and phrases: subnormal operator, paranormal operator, L.n/-hyponormal operator, weighted shift operator, composition operator. 1. Towards L.n/-hyponormality Let H be a complex Hilbert space and let B.H/ be the set of all bounded linear operators on H. Denote by I the identity operator on H. We write N .T / and R.T / for the kernel and the range of T 2 B.H/. Given two operators A; B 2 B.H/, we denote by TA; BU their commutator, that is, TA; BU VD AB − BA. Recall that an operator T 2 B.H/ is said to be subnormal if there exists a complex Hilbert space K and a normal operator N 2 B.K/ such that H ⊆ K (isometric embedding) and Th D Nh for all h 2 H. The celebrated Halmos–Bram characterization of subnormality (see T5, 19U) states that an operator T 2 B.H/ is subnormal if and only if n X i j hT f j ; T fi i ≥ 0 (1.1) i; jD0 The work of the first author was supported by a Korea Science and Engineering Foundation (KOSEF) grant funded by the Korea government (No.
    [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]
  • Normals, Subnormals and an Open Question
    Normals, subnormals and an open question Franciszek Hugon Szafraniec To Zolt´an Sebesty´en for his 65th birthday anniversary Abstract. An acute look at basic facts concerning unbounded subnormal operators is taken here. These operators have the richest structure and are the most exciting among the whole family of beneficiaries of the normal ones. Therefore, the latter must necessarily be taken into account as the reference point for any exposition of subnormality. So as to make the presentation more appealing a kind of comparative survey of the bounded and unbounded case has been set forth. This piece of writing serves rather as a practical guide to this largely impene- trable territory than an exhausting report. We begin with bounded operators pointing out those well known properties of normal and subnormal operators, which in unbounded case become much more complex. Then we are going to show how the situation looks like for their un- bounded counterparts. The distinguished example of the creation operator coming from the quantum harmonic oscillator crowns the theory. Finally we discuss an open question, one of those which seem to be pretty much intriguing and hopefully inspiring. By an unbounded operator we mean a not necessarily bounded one, nevertheless it is always considered to be densely defined, always in a complex Hilbert space. If we want to emphasis an operator to be everywhere defined we say it is on, otherwise we say it is in. Unconventionally though suggestively, B( ) denotes all the bounded H arXiv:0906.5412v1 [math.FA] 30 Jun 2009 operators on . If A is an operator, then (A), (A) and (A) stands for its domain, kernel(nullH space) and range respectively;D N if A is closable,R its closure is denoted by A.
    [Show full text]
  • ESSENTIALLY SUBNORMAL OPERATORS 1. Introduction Let H
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 127, Number 4, April 1999, Pages 1171{1181 S 0002-9939(99)05053-4 ESSENTIALLY SUBNORMAL OPERATORS NATHAN S. FELDMAN (Communicated by David R. Larson) Abstract. An operator is essentially subnormal if its image in the Calkin al- gebra is subnormal. We shall characterize the essentially subnormal operators as those operators with an essentially normal extension. In fact, it is shown that an essentially subnormal operator has an extension of the form “normal plus compact”. The essential normal spectrum is defined and is used to characterize the essential isometries. It is shown that every essentially subnormal operator may be decomposed as the direct sum of a subnormal operator and some irreducible essentially subnormal operators. An essential version of Putnam’s Inequality is proven for these operators. Also, it is shown that essential normality is a similarity invariant within the class of essentially subnormal operators. The class of essentially hyponormal operators is also briefly discussed and several examples of essentially subnormal operators are given. 1. Introduction Let denote a separable Hilbert space, let ( ) denote the algebra of all boundedH linear operators on and let ( ) denoteB H the ideal of compact op- H B0 H erators. Also, let = 0 denote the Calkin algebra and let π: ( ) = 0 denote the natural quotientB B map. B H →B B It is well known that subnormality is a C∗-property. That is, one may define, in terms of positivity conditions, what it means for any element of a C∗-algebra to be subnormal. Furthermore, subnormal elements of C∗-algebras are preserved under *-homomorphisms.
    [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]
  • Hilbert Space
    ADVANCES IN MATHEMATICS 19, 106148 (1976) A Class of Subnormal Operators Related to Multiply-Connected Domains* M. B. ABRAHAMSE AND R. G. DOUGLAS’ Department of Mathematics, University of T~irginiu, Charlottesville, ICrginia 22901 and Departme?rt of Mathematics, State University of New York, Stony Brook, New Y-olbvk 11794 DEDICATED TO THE MEMORY OF PASQUALE PORCELLI INTRODUCTION A (bounded linear) operator S on a (complex) Hilbert space $j is said to be subnormal if there is a Hilbert space si containing $J and a normal operator N on R such that $ is invariant for N and the restric- tion of N to J3 is S. The normal extension N is said to be minimal if the space si is the smallest reducing subspace for N containing fi. These concepts were introduced by Halmos [29], who showed that a minimal normal extension exists and is unique. He also gave an intrinsic characterization of subnormality and showed that the spectrum of N is contained in the spectrum of S. The study of subnormal operators was continued by Bram [ll], who gave other intrinsic characterizations of subnormality, refined the spectral inclusion theorem, and gave a lifting theorem for operators that commute with a subnormal operator and its adjoint. Several years later, the invariant subspace problem for subnormals was studied by Yoshino [56] and Brennan [12]. Lifting questions have been considered for general subnormals by Douglas [21] and Mlak [39] and for analytic Toeplitz operators by Deddens and Wong [19] and Baker, Deddens, and Ullman [8]. Some progress has been made on the classification * Research supported in part by grants from the National Science Foundation.
    [Show full text]