On the Drazin inverse of the sum of two operators and its application to operator matrices

Given two bounded linear operators F,G on a Banach space X such that G²F=GF²=0, we derive an explicit expression for the Drazin inverse of F+G. For this purpose, firstly, we obtain a formula for the resolvent of an auxiliary operator matrix in the form . From the provided representation of D(F+G) several special cases are considered. In particular, we recover the case GF=0 studied by Hartwig et al. [R.E. Hartwig, G. Wang, Y. Wei, Some additive results on Drazin inverse, Linear Algebra Appl. 322 (2001) 207-217] for matrices and by Djordjevi? and Wei [D.S. Djordjevi?, Y. Wei, Additive results for the generalized Drazin inverse, J. Aust. Math. Soc. 73 (1) (2002) 115-126] for operators. Finally, we apply our results to obtain representations for the Drazin inverse of operator matrices in the form which are extensions of some cases given in the literature.     

Norm equality for a basic elementary operator

Let be the algebra of bounded linear operators on a Hilbert space H. For , define the elementary operator M_A,B by M_A,B(X)=AXB (). We give necessary and sufficient conditions for any pair of operators A and B to satisfy the equation ‖I+M_A,B‖=1+‖A‖‖B‖, where I is the identity operator on H.     

Operators on the space of vector-valued totally measurable functions

Let L(X,Y) stand for the space of all bounded linear operators between real Banach spaces X and Y, and let Σ be a σ-algebra of sets. A bounded linear operator T from the Banach space B(Σ,X) of X-valued Σ-totally measurable functions to Y is said to be σ-smooth if ‖T(fn)Y_‖→0 whenever a sequence of scalar functions (‖fn(⋅)X_‖) is order convergent to 0 in B(Σ). It is shown that a bounded linear operator is σ-smooth if and only if its representing measure is variationally semi-regular, i.e., as An↓∅ (here stands for the semivariation of m on A∈Σ). As an application, we show that the space Lσs(B(Σ,X),Y) of all σ-smooth operators from B(Σ,X) to Y provided with the strong operator topology is sequentially complete. We derive a Banach-Steinhaus type theorem for σ-smooth operators from B(Σ,X) to Y. Moreover, we characterize countable additivity of measures in terms of continuity of the corresponding operators .     

Functions of operators under perturbations of class Sp

This is a continuation of our paper [2]. We prove that for functions f in the Hölder class Λα(R) and 1<p<∞, the operator f(A)−f(B) belongs to Sp/α, whenever A and B are self-adjoint operators with A−B∈Sp. We also obtain sharp estimates for the Schatten-von Neumann norms ‖f(A)−f(B)Sp/α_‖ in terms of ‖A−BSp_‖ and establish similar results for other operator ideals. We also estimate Schatten-von Neumann norms of higher order differences . We prove that analogous results hold for functions on the unit circle and unitary operators and for analytic functions in the unit disk and contractions. Then we find necessary conditions on f for f(A)−f(B) to belong to Sq under the assumption that A−B∈Sp. We also obtain Schatten-von Neumann estimates for quasicommutators f(A)R−Rf(B), and introduce a spectral shift function and find a trace formula for operators of the form f(A−K)−2f(A)+f(A+K).     

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.     

Operator Hölder-Zygmund functions

It is well known that a Lipschitz function on the real line does not have to be operator Lipschitz. We show that the situation changes dramatically if we pass to Hölder classes. Namely, we prove that if f belongs to the Hölder class Λα(R) with 0<α<1, then for arbitrary self-adjoint operators A and B. We prove a similar result for functions f in the Zygmund class Λ₁(R): for arbitrary self-adjoint operators A and K we have . We also obtain analogs of this result for all Hölder-Zygmund classes Λα(R), α>0. Then we find a sharp estimate for ‖f(A)−f(B)‖ for functions f of class for an arbitrary modulus of continuity ω. In particular, we study moduli of continuity, for which for self-adjoint A and B, and for an arbitrary function f in Λω. We obtain similar estimates for commutators f(A)Q−Qf(A) and quasicommutators f(A)Q−Qf(B). Finally, we estimate the norms of finite differences for f in the class Λω,m that is defined in terms of finite differences and a modulus continuity ω of order m. We also obtain similar results for unitary operators and for contractions.     

Inheritance of surjectivity for partial differential operators on spaces of real analytic functions

For an open set let A(Ω) be the space of real analytic functions on Ω. Improving our previous results, we prove a new quantitative characterization of the linear partial differential operators P(D) which are surjective on A(Ω). This implies that P(D) is surjective on if P(D) is surjective on A(Ω) for some Ω≠∅. Further inheritance properties for the surjectivity of P(D) on A(Ω) are also obtained.     

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.     

Growth rate of the functions in Bergman type spaces

For 0<p,α<∞, let ‖f‖_p,α be the L^p-norm with respect the weighted measure . We define the weighted Bergman space A_α^p(D) consisting of holomorphic functions f with ‖f‖_p,α<∞. For any σ>0, let A^−σ(D) be the space consisting of holomorphic functions f in D with . If D has C² boundary, then we have the embedding A_α^p(D)⊂A^−(n+α)/p(D). We show that the condition of C²-smoothness of the boundary of D is necessary by giving a counter-example of a convex domain with C^1,λ-smooth boundary for 0<λ<1 which does not satisfy the embedding.     

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.     

On the injective norm and characterization of some subclasses of normal operators by inequalities or equalities

Let B(H) be the C^*-algebra of all bounded linear operators acting on a complex Hilbert space H. In this note, we shall show that if S is an invertible normal operator in B(H) the following estimation holds

     

On Bernardi's integral operator and the Briot-Bouquet differential subordination

Let A,B,D,E∈[−1,1]. Conditions on A,B,D and E are determined so that

     

Generalized Drazin inverses of anti-triangular block matrices

In this paper we give formulae for the generalized Drazin inverse Md of an anti-triangular matrix in two different ways: one is to express Md in terms of Ad with arbitrary B and C, the other is to express Md in terms of Bd and Cd with arbitrary A. Moreover, the results are applied to obtain generalized Drazin inverses of various structured matrices and some special cases are analyzed.     

Spectral conditions for admissibility of evolution equations in Hilbert space

We study properties of solutions of the evolution equation , where B is a closable operator on the space AP(R,H) of almost periodic functions with values in a Hilbert space H such that B commutes with translations. The operator B generates a family of closed operators on H such that (whenever eiλtx∈D(B)). For a closed subset Λ⊂R, we prove that the following properties (i) and (ii) are equivalent: (i) for every function f∈AP(R,H) such that σ(f)⊆Λ, there exists a unique mild solution u∈AP(R,H) of Eq. (∗) such that σ(u)⊆Λ; (ii) is invertible for all λ∈Λ and .     

Flow invariance for solutions to nonlinear nonautonomous partial differential delay equations

We investigate the problem of existence and flow invariance of mild solutions to nonautonomous partial differential delay equations , t?s, us=φ, where B(t) is a family of nonlinear multivalued, α-accretive operators with D(B(t)) possibly depending on t, and the operators F(t,.) being defined—and Lipschitz continuous—possibly only on “thin” subsets of the initial history space E. The results are applied to population dynamics models. We also study the asymptotic behavior of solutions to this equation. Our analysis will be based on the evolution operator associated to the equation in the initial history space E.     

A note on Browder spectrum of operator matrices

When A∈B(H) and B∈B(K) are given, we denote by MC the operator acting on the Hilbert space H⊕K of the form . In this note, it is shown that the following results in [Hai-Yan Zhang, Hong-Ke Du, Browder spectra of upper-triangular operator matrices, J. Math. Anal. Appl. 323 (2006) 700-707]

     

Fixed points of dual quantum operations

Let ?A be a normal completely positive map on B(H) with Kraus operators . Denote M the subset of normal completely positive maps by . In this note, the relations between the fixed points of ?A and are investigated. We obtain that , where K(H) is the set of all compact operators on H and is the dual of ?A∈M. In addition, we show that the map is a bijection on M.     

Characterization of the variable exponent Bessel potential spaces via the Poisson semigroup

Under the standard assumptions on the variable exponent p(x) (log- and decay conditions), we give a characterization of the variable exponent Bessel potential space Bα[Lp(⋅)(Rn)] in terms of the rate of convergence of the Poisson semigroup Pt. We show that the existence of the Riesz fractional derivative Dαf in the space Lp(⋅)(Rn) is equivalent to the existence of the limit . In the pre-limiting case we show that the Bessel potential space is characterized by the condition ‖α(I−Pε)f_‖p(⋅)≦Cεα.