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.     

Maps preserving the nilpotency of products of operators

Let B(X) be the algebra of all bounded linear operators on the Banach space X, and let N(X) be the set of nilpotent operators in B(X). Suppose ?:B(X)→B(X) is a surjective map such that A,B∈B(X) satisfy AB∈N(X) if and only if ?(A)?(B)∈N(X). If X is infinite dimensional, then there exists a map f:B(X)→C?{0} such that one of the following holds:

(a)

There is a bijective bounded linear or conjugate-linear operator S:X→X such that ? has the form A?S[f(A)A]S^-1.

(b)

The space X is reflexive, and there exists a bijective bounded linear or conjugate-linear operator S : X′ → X such that ? has the form A ? S[f(A)A′]S⁻¹.

If X has dimension n with 3 ? n < ∞, and B(X) is identified with the algebra M_n of n × n complex matrices, then there exist a map f:M_n→C?{0}, a field automorphism ξ:C→C, and an invertible S ∈ M_n such that ? has one of the following forms:

     

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).     

Characterizations of derivations of Banach space nest algebras: All-derivable points

Let N be a nest on a complex Banach space X with N∈N complemented in X whenever N_-=N, and let AlgN be the associated nest algebra. We say that an operator Z∈AlgN is an all-derivable point of AlgN if every linear map δ from AlgN into itself derivable at Z (i.e. δ(A)B+Aδ(B)=δ(Z) for any A,B∈A with AB=Z) is a derivation. In this paper, it is shown that if Z∈AlgN is an injective operator or an operator with dense range, or an idempotent operator with ran(Z)∈N, then Z is an all-derivable point of AlgN. Particularly, if N is a nest on a complex Hilbert space, then every idempotent operator with range in N, every injective operator as well as every operator with dense range in AlgN is an all-derivable point of the nest algebra AlgN.     

Totally hereditarily normaloid operators and Weyl's theorem for an elementary operator

A Hilbert space operator T∈B(H) is hereditarily normaloid (notation: T∈HN) if every part of T is normaloid. An operator T∈HN is totally hereditarily normaloid (notation: T∈THN) if every invertible part of T is normaloid. We prove that THN-operators with Bishop's property (β), also THN-contractions with a compact defect operator such that and non-zero isolated eigenvalues of T are normal, are not supercyclic. Take A and B in THN and let dAB denote either of the elementary operators in B(B(H)): ΔAB and δAB, where ΔAB(X)=AXB−X and δAB(X)=AX−XB. We prove that if non-zero isolated eigenvalues of A and B are normal and , then dAB is an isoloid operator such that the quasi-nilpotent part H₀(dAB−λ) of dAB−λ equals ⁻¹(dAB−λ)(0) for every complex number λ which is isolated in σ(dAB). If, additionally, dAB has the single-valued extension property at all points not in the Weyl spectrum of dAB, then dAB, and the conjugate operator , satisfy Weyl's theorem.     

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.     

Additive maps derivable or Jordan derivable at zero point on nest algebras

Let AlgN be a nest algebra associated with the nest N on a (real or complex) Banach space X. Assume that every N∈N is complemented whenever N_-=N. Let δ:AlgN→AlgN be an additive map. It is shown that the following three conditions are equivalent: (1) δ is derivable at zero point, i.e., δ(AB)=δ(A)B+Aδ(B) whenever AB=0; (2) δ is Jordan derivable at zero point, i.e., δ(AB+BA)=δ(A)B+Aδ(B)+Bδ(A)+δ(B)A whenever AB+BA=0; (3) δ has the form δ(A)=τ(A)+cA for some additive derivation τ and some scalar c. It is also shown that δ is generalized derivable at zero point, i.e., δ(AB)=δ(A)B+Aδ(B)-Aδ(I)B whenever AB=0, if and only if δ is an additive generalized derivation. Finer characterizations of above maps are given for the case dimX=∞.     

Elementary operators on self-adjoint operators

Let H be a Hilbert space and let A and B be standard ∗-operator algebras on H. Denote by As and Bs the set of all self-adjoint operators in A and B, respectively. Assume that and are surjective maps such that M(AM^∗(B)A)=M(A)BM(A) and M^∗(BM(A)B)=M^∗(B)AM^∗(B) for every pair A∈As, B∈Bs. Then there exist an invertible bounded linear or conjugate-linear operator and a constant c∈{−1,1} such that M(A)=cTAT^∗, A∈As, and M^∗(B)=cT^∗BT, B∈Bs.     

Jordan higher all-derivable points on nontrivial nest algebras

Let A be a Banach algebra with unity I and M be a unital Banach A-bimodule. A family of continuous additive mappings D=(δ_i)_i∈N from A into M is called a higher derivable mapping at X, if δ_n(AB)=∑_i+j=nδ_i(A)δ_j(B) for any A,B∈A with AB=X. In this paper, we show that D is a Jordan higher derivation if D is a higher derivable mapping at an invertible element X. As an application, we also get that every invertible operator in a nontrivial nest algebra is a higher all-derivable point.     

The Dichotomy Theorem for evolution bi-families

We prove that the operator G, the closure of the first-order differential operator −d/dt+D(t) on L₂(R,X), is Fredholm if and only if the not well-posed equation u^′(t)=D(t)u(t), t∈R, has exponential dichotomies on R₊ and R₋ and the ranges of the dichotomy projections form a Fredholm pair; moreover, the index of this pair is equal to the Fredholm index of G. Here X is a Hilbert space, D(t)=A+B(t), A is the generator of a bi-semigroup, B(⋅) is a bounded piecewise strongly continuous operator-valued function. Also, we prove some perturbations results and consider various examples of not well-posed problems.     

Singular values, norms, and commutators

Let and X_i, i=1,…,n, be bounded linear operators on a separable Hilbert space such that X_i is compact for i=1,…,n. It is shown that the singular values of are dominated by those of , where ‖·‖ is the usual operator norm. Among other applications of this inequality, we prove that if A and B are self-adjoint operators such that a₁?A?a₂ and b₁?B?b₂ for some real numbers and b₂, and if X is compact, then the singular values of the generalized commutator AX-XB are dominated by those of max(b₂-a₁,a₂-b₁)(X⊕X). This inequality proves a recent conjecture concerning the singular values of commutators. Several inequalities for norms of commutators are also given.     

1-D Schrödinger operators with local point interactions on a discrete set

Spectral properties of 1-D Schrödinger operators with local point interactions on a discrete set are well studied when d_∗:=infn,k∈N|xn−xk|>0. Our paper is devoted to the case d_∗=0. We consider HX,α in the framework of extension theory of symmetric operators by applying the technique of boundary triplets and the corresponding Weyl functions.We show that the spectral properties of HX,α like self-adjointness, discreteness, and lower semiboundedness correlate with the corresponding spectral properties of certain classes of Jacobi matrices. Based on this connection, we obtain necessary and sufficient conditions for the operators HX,α to be self-adjoint, lower semibounded, and discrete in the case d_∗=0.The operators with δ^′-type interactions are investigated too. The obtained results demonstrate that in the case d_∗=0, as distinguished from the case d_∗>0, the spectral properties of the operators with δ- and δ^′-type interactions are substantially different.     

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.     

All-derivable points of operator algebras

Let A be an operator subalgebra in B(H), where H is a Hilbert space. We say that an element Z∈A is an all-derivable point of A for the norm-topology (strongly operator topology, etc.) if, every norm-topology (strongly operator topology, etc.) continuous derivable linear mapping φ at Z (i.e. φ(ST)=φ(S)T+Sφ(T) for any S,T∈A with ST=Z) is a derivation. In this paper, we show that every invertible operator in the nest algebra is an all-derivable point of the nest algebra for the strongly operator topology. We also prove that every nonzero element of the algebra of all 2×2 upper triangular matrixes is an all-derivable point of the algebra.     

Annihilator-preserving maps, multipliers, and derivations

For a commutative subspace lattice L in a von Neumann algebra N and a bounded linear map f:N∩algL→B(H), we show that if Af(B)C=0 for all A,B,C∈N∩algL satisfying AB=BC=0, then f is a generalized derivation. For a unital C^∗-algebra A, a unital Banach A-bimodule M, and a bounded linear map f:A→M, we prove that if f(A)B=0 for all A,B∈A with AB=0, then f is a left multiplier; as a consequence, every bounded local derivation from a C^∗-algebra to a Banach A-bimodule is a derivation. We also show that every local derivation on a semisimple free semigroupoid algebra is a derivation and every local multiplier on a free semigroupoid algebra is a multiplier.     

Norms of certain Jordan elementary operators

Let H be a complex Hilbert space and let B(H) denote the algebra of all bounded linear operators on H. For A,B∈B(H), the Jordan elementary operator UA,B is defined by UA,B(X)=AXB+BXA, ∀X∈B(H). In this short note, we discuss the norm of UA,B. We show that if dimH=2 and ‖UA,B‖=‖A‖‖B‖, then either AB^∗ or B^∗A is 0. We give some examples of Jordan elementary operators UA,B such that ‖UA,B‖=‖A‖‖B‖ but AB^∗≠0 and B^∗A≠0, which answer negatively a question posed by M. Boumazgour in [M. Boumazgour, Norm inequalities for sums of two basic elementary operators, J. Math. Anal. Appl. 342 (2008) 386-393].     

Schur-class multipliers on the Arveson space: De Branges-Rovnyak reproducing kernel spaces and commutative transfer-function realizations

An interesting and recently much studied generalization of the classical Schur class is the class of contractive operator-valued multipliers S(λ) for the reproducing kernel Hilbert space H(kd) on the unit ball Bd⊂Cd, where kd is the positive kernel kd(λ,ζ)=1/(1−〈λ,ζ〉) on Bd. The reproducing kernel space H(KS) associated with the positive kernel KS(λ,ζ)=(I−S(λ)S^∗(ζ))⋅kd(λ,ζ) is a natural multivariable generalization of the classical de Branges-Rovnyak canonical model space. A special feature appearing in the multivariable case is that the space H(KS) in general may not be invariant under the adjoints of the multiplication operators on H(kd). We show that invariance of H(KS) under for each j=1,…,d is equivalent to the existence of a realization for S(λ) of the form S(λ)=D+C⁻¹(I−λ₁A₁−?−λdAd)(λ₁B₁+?+λdBd) such that connecting operator has adjoint U^∗ which is isometric on a certain natural subspace (U is “weakly coisometric”) and has the additional property that the state operators A₁,…,Ad pairwise commute; in this case one can take the state space to be the functional-model space H(KS) and the state operators A₁,…,Ad to be given by (a de Branges-Rovnyak functional-model realization). We show that this special situation always occurs for the case of inner functions S (where the associated multiplication operator MS is a partial isometry), and that inner multipliers are characterized by the existence of such a realization such that the state operators A₁,…,Ad satisfy an additional stability property.     

Continuity of the spectrum on a class of upper triangular operator matrices

Let B(H) denote the algebra of operators on an infinite dimensional complex Hilbert space H, and let A^○∈B(K) denote the Berberian extension of an operator A∈B(H). It is proved that the set theoretic function σ, the spectrum, is continuous on the set C(i)⊂B(Hi) of operators A for which σ(A)={0} implies A is nilpotent (possibly, the 0 operator) and at every non-zero λ∈σp(A^○) for some operators X and B such that λ∉σp(B) and σ(A^○)={λ}∪σ(B). If CS(m) denotes the set of upper triangular operator matrices , where Aii∈C(i) and Aii has SVEP for all 1?i?m, then σ is continuous on CS(m). It is observed that a considerably large number of the more commonly considered classes of Hilbert space operators constitute sets C(i) and have SVEP.