An elementary operator with log-hyponormal, p-hyponormal entries

A Hilbert space operator A∈B(H) is p-hyponormal, A∈(p-H), if |A^∗|^2p?|A|^2p; an invertible operator A∈B(H) is log-hyponormal, A∈(?-H), if log(TT^∗)?log(T^∗T). Let d_AB=δ_AB or ?_AB, where δ_AB∈B(B(H)) is the generalised derivation δ_AB(X)=AX-XB and ?_AB∈B(B(H)) is the elementary operator ?_AB(X)=AXB-X. It is proved that if A,B^∗∈(?-H)∪(p-H), then, for all complex λ, , the ascent of (d_AB-λ)?1, and d_AB satisfies the range-kernel orthogonality inequality ‖X‖?‖X-(d_AB-λ)Y‖ for all X∈(d_AB-λ)^-1(0) and Y∈B(H). Furthermore, isolated points of σ(d_AB) are simple poles of the resolvent of d_AB. A version of the elementary operator E(X)=A₁XA₂-B₁XB₂ and perturbations of d_AB by quasi-nilpotent operators are considered, and Weyl’s theorem is proved for d_AB.     

Finiteness of the discrete spectrum of some block Toeplitz operators

Sufficient conditions are given for the finiteness of the discrete spectrum of the block Toeplitz operatorT _A generated in the spaceH ₂ ⁿ by self-adjoint matrix functionA(t)(|t|=1). These results are obtained by means of theorems concerning the spectrum of a perturbed self-adjoint operators.     

Maps preserving peripheral spectrum of Jordan semi-triple products of operators

Let A and B be (not necessarily unital or closed) standard operator algebras on complex Banach spaces X and Y, respectively. For a bounded linear operator A on X, the peripheral spectrum σ_π(A) of A is the set σ_π(A)={z∈σ(A):|z|=max_ω∈σ(A)|ω|}, where σ(A) denotes the spectrum of A. Assume that Φ:A→B is a map the range of which contains all operators of rank at most two. It is shown that the map Φ satisfies the condition that σ_π(BAB)=σ_π(Φ(B)Φ(A)Φ(B)) for all A,B∈A if and only if there exists a scalar λ∈C with λ³=1 and either there exists an invertible operator T∈B(X,Y) such that Φ(A)=λTAT^-1 for every A∈A; or there exists an invertible operator T∈B(X^∗,Y) such that Φ(A)=λTA^∗T^-1 for every A∈A. If X=H and Y=K are complex Hilbert spaces, the maps preserving the peripheral spectrum of the Jordan skew semi-triple product BA^∗B are also characterized. Such maps are of the form A?UAU^∗ or A?UA^tU^∗, where U∈B(H,K) is a unitary operator, A^t denotes the transpose of A in an arbitrary but fixed orthonormal basis of H.     

On p-quasi-hyponormal operators

A Hilbert space operator A ∈ B(H) is said to be p-quasi-hyponormal for some 0 < p ? 1, A ∈ p − QH, if A^∗(∣A∣^2p − ∣A^∗∣^2p)A ? 0. If H is infinite dimensional, then operators A ∈ p − QH are not supercyclic. Restricting ourselves to those A ∈ p − QH for which A⁻¹(0) ⊆ A^∗-1(0), A ∈ p_∗ − QH, a necessary and sufficient condition for the adjoint of a pure p_∗ − QH operator to be supercyclic is proved. Operators in p_∗ − QH satisfy Bishop’s property (β). Each A ∈ p_∗ − QH has the finite ascent property and the quasi-nilpotent part H₀(A − λI) of A equals (A − λI)^-1(0) for all complex numbers λ; hence f(A) satisfies Weyl’s theorem, and f(A^∗) satisfies a-Weyl’s theorem, for all non-constant functions f which are analytic on a neighborhood of σ(A). It is proved that a Putnam-Fuglede type commutativity theorem holds for operators in p_∗ − QH.     

Rank one perturbations at infinite coupling in Pontryagin spaces

In this paper we relate the operators in the operator representations of a generalized Nevanlinna function N(z) and of the function −N(z)⁻¹ under the assumption that z=∞ is the only (generalized) pole of nonpositive type. The results are applied to the Q-function for S and H and the Q-function for S and H^∞, where H is a self-adjoint operator in a Pontryagin space with a cyclic element w, H^∞ is the self-adjoint relation obtained from H and w via a rank one perturbation at infinite coupling, and S is the symmetric operator given by S=H∩H^∞.     

Jensen’s inequality for operators without operator convexity

We give Jensen’s inequality for n-tuples of self-adjoint operators, unital n-tuples of positive linear mappings and real valued continuous convex functions with conditions on the bounds of the operators. We also study operator quasi-arithmetic means under the same conditions.     

Maps preserving operator pairs whose products are projections

Let B(H) be the algebra of all bounded linear operators on a complex Hilbert space H with dimH?2. It is proved that a surjective map φ on B(H) preserves operator pairs whose products are nonzero projections in both directions if and only if there is a unitary or an anti-unitary operator U on H such that φ(A)=λU^∗AU for all A in B(H) for some constants λ with λ²=1. Related results for surjective maps preserving operator pairs whose triple Jordan products are nonzero projections in both directions are also obtained. These show that the operator pairs whose products or triple Jordan products are nonzero projections are isometric invariants of B(H).     

An algorithm for computing Jordan chains and inverting analytic matrix functions

We present an efficient algorithm for obtaining a canonical system of Jordan chains for an n × n regular analytic matrix function A(λ) that is singular at the origin. For any analytic vector function b(λ), we show that each term in the Laurent expansion of A(λ)⁻¹b(λ) may be obtained from the previous terms by solving an (n + d) × (n+d) linear system, where d is the order of the zero of det A(λ) at λ = 0. The matrix representing this linear system contains A(0) as a principal submatrix, which can be useful if A(0) is sparse. The last several iterations can be eliminated if left Jordan chains are computed in addition to right Jordan chains. The performance of the algorithm in floating point and exact (rational) arithmetic is reported for several test cases. The method is shown to be forward stable in floating point arithmetic.     

On weakly unitarily invariant norm and the λ-Aluthge transformation for invertible operator

Let T∈B(H) be an invertible operator with polar decomposition T = UP and B∈B(H) commute with T. In this paper we prove that ∣∣∣P^λBUP^1−λ∣∣∣ ? ∣∣∣BT∣∣∣, where ∣∣∣ · ∣∣∣ is a weakly unitarily invariant norm on B(H) and 0 ? λ ? 1. As the consequence of this result, we have ∣∣∣f(P^λUP^1−λ)∣∣∣ ? ∣∣∣f(T)∣∣∣ for any polynomial f.     

The intersection of left (right) spectra of 2 × 2 upper triangular operator matrices

When A∈B(H) and B∈B(K) are given, we denote by M_C the operator matrix acting on the infinite-dimensional separable Hilbert space H⊕K of the form In this paper, for given A and B, the sets and ?_C∈Inv(K,H)σ_l(M_C) are determined, where σ_l(T),B_l(K,H) and Inv(K,H) denote, respectively, the left spectrum of an operator T, the set of all the left invertible operators and the set of all the invertible operators from K into H.     

Left-definite theory with applications to orthogonal polynomials

In the past several years, there has been considerable progress made on a general left-definite theory associated with a self-adjoint operator A that is bounded below in a Hilbert space H; the term ‘left-definite’ has its origins in differential equations but Littlejohn and Wellman [L. L. Littlejohn, R. Wellman, A general left-definite theory for certain self-adjoint operators with applications to differential equations, J. Differential Equations, 181 (2) (2002) 280-339] generalized the main ideas to a general abstract setting. In particular, it is known that such an operator A generates a continuum {H_r}_r>0 of Hilbert spaces and a continuum of {A_r}_r>0 of self-adjoint operators. In this paper, we review the main theoretical results in [L. L. Littlejohn, R. Wellman, A general left-definite theory for certain self-adjoint operators with applications to differential equations, J. Differential Equations, 181 (2) (2002) 280-339]; moreover, we apply these results to several specific examples, including the classical orthogonal polynomials of Laguerre, Hermite, and Jacobi.     

The sum of unitary similarity orbits containing only special operators

Let B(H) be the algebra of bounded linear operator acting on a Hilbert space H (over the complex or real field). Characterization is given to A₁,…,A_k∈B(H) such that for any unitary operators is always in a special class S of operators such as normal operators, self-adjoint operators, unitary operators. As corollaries, characterizations are given to A∈B(H) such that complex, real or nonnegative linear combinations of operators in its unitary orbit U(A)={U^∗AU:Uunitary} always lie in S.     

On properties of generalized quadratic operators

In this paper, we investigate the set ω(P) of generalized quadratic operators A satisfying the equation A²=αA+βP for all complex numbers α and β and for an idempotent operator P such that AP=PA=A. Furthermore, the close relationship between the operator A∈ω(P) and the idempotent operator P are established and expressions for the inverse, the Moore-Penrose inverse and the Drazin inverse of A∈ω(P) are given. Some related results are also obtained.     

Generalized bicircular projections on JB∗-triples

Let A be a JB∗-triple and let P:A→A be a linear projection. It is proved that P+λ(Id-P) is an isometry for some modulus one complex number λ≠1 if and only if either λ=-1, or P is hermitian. It is also proved that every rank one bicontractive projection on A is hermitian. The particular case when A is a C∗-algebra is discussed through several examples.     

Polaroid operators satisfying Weyl’s theorem

A Banach space operator T is polaroid and satisfies Weyl’s theorem if and only if T is Kato type at points λ ∈ iso σ(T) and has SVEP at points λ not in the Weyl spectrum of T. For such operators T, f(T) satisfies Weyl’s theorem for every non-constant function f analytic on a neighborhood of σ(T) if and only if f(T^∗) satisfies Weyl’s theorem.     

Defect indices of powers of a contraction

Let A be a contraction on a Hilbert space H. The defect index d_A of A is, by definition, the dimension of the closure of the range of I-A^∗A. We prove that (1) d_Aⁿ?nd_A for all n?0, (2) if, in addition, Aⁿ converges to 0 in the strong operator topology and d_A=1, then d_Aⁿ=n for all finite n,0?n?dimH, and (3) d_A=d_A^∗ implies d_Aⁿ=d_A^n∗ for all n?0. The norm-one index k_A of A is defined as sup{n?0:‖Aⁿ‖=1}. When dimH=m<∞, a lower bound for k_A was obtained before: k_A?(m/d_A)-1. We show that the equality holds if and only if either A is unitary or the eigenvalues of A are all in the open unit disc, d_A divides m and d_Aⁿ=nd_A for all n, 1?n?m/d_A. We also consider the defect index of f(A) for a finite Blaschke product f and show that d_f(A)=d_Aⁿ, where n is the number of zeros of f.     

A local trace formula for resonances of perturbed periodic Schrödinger operators

We give a local trace formula for the pair (P₁(h)=P₀+W(hy),P₀), where P₀ is a periodic Schrödinger operator, W is a decreasing perturbation and h is a small positive parameter. We apply this result to establish the existence of ∼h⁻ⁿ resonances near some energy λ of σ(P₀).     

Weyl Spectrum of Class A(n) and n-Paranormal Operators

Let n be a positive integer, an operator T belongs to class A(n) if , which is a generalization of class A and a subclass of n-paranormal operators, i.e., for unit vector x. It is showed that if T is a class A(n) or n-paranormal operator, then the spectral mapping theorem on Weyl spectrum of T holds. If T belongs to class A(n), then the nonzero points of its point spectrum and joint point spectrum are identical, the nonzero points of its approximate point spectrum and joint approximate point spectrum are identical. This work is supported by the Innovation Foundation of Beihang University (BUAA) for PhD Graduate, National Natural Science Fund of China (10771011) and National Key Basic Research Project of China Grant No. 2005CB321902.     

Birkhoff's theorem and multidimensional numerical range

We show that, under certain conditions, Birkhoff's theorem on doubly stochastic matrices remains valid for countable families of discrete probability spaces which have nonempty intersections. Using this result, we study the relation between the spectrum of a self-adjoint operator A and its multidimensional numerical range. It turns out that the multidimensional numerical range is a convex set whose extreme points are sequences of eigenvalues of the operator A. Every collection of eigenvalues which can be obtained by the Rayleigh-Ritz formula generates an extreme point of the multidimensional numerical range. However, it may also have other extreme points.