Comments on the Trotter product formula error-bound estimates for nonself-adjoint semigroups

LetA be a positive self-adjoint operator and letB be anm-accretive operator which isA-small with a relative bound less than one. LetH=A+B, thenH is well-defined on dom(H)=dom(A) andm-accretive. IfB is a strictlym-accretive operator obeying

Properties of two-dimensional sets with small sumset

We give tight lower bounds on the cardinality of the sumset of two finite, nonempty subsets A,B⊆R² in terms of the minimum number h₁(A,B) of parallel lines covering each of A and B. We show that, if h₁(A,B)?s and |A|?|B|?2s²−3s+2, then

     

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

Rank-1 perturbations of cosine functions and semigroups

Let A be the generator of a cosine function on a Banach space X. In many cases, for example if X is a UMD-space, A+B generates a cosine function for each B∈L(D((ω−A)^1/2),X). If A is unbounded and , then we show that there exists a rank-1 operator B∈L(D(γ(ω−A)),X) such that A+B does not generate a cosine function. The proof depends on a modification of a Baire argument due to Desch and Schappacher. It also allows us to prove the following. If A+B generates a distribution semigroup for each operator B∈L(D(A),X) of rank-1, then A generates a holomorphic C₀-semigroup. If A+B generates a C₀-semigroup for each operator B∈L(D(γ(ω−A)),X) of rank-1 where 0<γ<1, then the semigroup T generated by A is differentiable and ‖T^′(t)‖=O(t−α) as t↓0 for any α>1/γ. This is an approximate converse of a perturbation theorem for this class of semigroups.     

Accretive perturbations and error estimates for the Trotter product formula

We study the operator-norm error bound estimate for the exponential Trotter product formula in the case of accretive perturbations. LetA be a semibounded from below self-adjoint operator in a separable Hilbert space. LetB be a closed maximal accretive operator such that, together withB ^*, they are Kato-small with respect toA with relative bounds less than one. We show that in this case the operator-norm error bound estimate for the exponential Trotter product formula is the same as for the self-adjointB [12]:

A comment on some recent results concerning the reverse order law for {1, 3, 4}-inverses

This paper has been motivated by the one of Liu and Yang [D. Liu, H. Yang, The reverse order law for {1, 3, 4}-inverse of the product of two matrices, Appl. Math. Comp. 215 (12) (2010) 4293-4303] in which the authors consider separately the cases when (AB){1,3,4}⊆B{1,3,4}·A{1,3,4} and (AB){1,3,4}=B{1,3,4}·A{1,3,4}, where A∈C^n×m and B∈C^m×n. Here we prove that (AB){1,3,4}⊆B{1,3,4}·A{1,3,4} is actually equivalent to (AB){1,3,4}=B{1,3,4}·A{1,3,4}. We show that (AB){1,3,4}⊆B{1,3,4}·A{1,3,4} can only be possible if and in this case, we present purely algebraic necessary and sufficient conditions for this inclusion to hold. Also we give some new characterizations of B{1,3,4}·A{1,3,4}⊆(AB){1,3,4}.     

Finite depth and Jacobson-Bourbaki correspondence

We introduce a notion of depth three tower C⊆B⊆A with depth two ring extension A|B being the case B=C. If and B|C is a Frobenius extension with A|B|C depth three, then A|C is depth two. If A, B and C correspond to a tower G>H>K via group algebras over a base ring F, the depth three condition is the condition that K has normal closure K^G contained in H. For a depth three tower of rings, a pre-Galois theory for the ring and coring (A⊗_BA)^C involving Morita context bimodules and left coideal subrings is applied to specialize a Jacobson-Bourbaki correspondence theorem for augmented rings to depth two extensions with depth three intermediate division rings.     

A Morita type equivalence for dual operator algebras

We generalize the main theorem of Rieffel for Morita equivalence of W^∗-algebras to the case of unital dual operator algebras: two unital dual operator algebras A,B have completely isometric normal representations α,β such that α(A)=[M^∗β(B)M]^−w∗ and β(B)=[Mα(A)M^∗]^−w∗ for a ternary ring of operators M (i.e. a linear space M such that MM^∗M⊂M) if and only if there exists an equivalence functor which “extends” to a ∗-functor implementing an equivalence between the categories and . By we denote the category of normal representations of A and by the category with the same objects as and Δ(A)-module maps as morphisms (Δ(A)=A∩A^∗). We prove that this functor is equivalent to a functor “generated” by a B,A bimodule, and that it is normal and completely isometric.     

On the perturbation of the group generalized inverse for a class of bounded operators in Banach spaces

Given a bounded operator A on a Banach space X with Drazin inverse AD and index r, we study the class of group invertible bounded operators B such that I+AD(B−A) is invertible and R(B)∩N(Ar)={0}. We show that they can be written with respect to the decomposition X=R(Ar)⊕N(Ar) as a matrix operator, , where B₁ and are invertible. Several characterizations of the perturbed operators are established, extending matrix results. We analyze the perturbation of the Drazin inverse and we provide explicit upper bounds of ‖B^?−AD‖ and ‖BB^?−ADA‖. We obtain a result on the continuity of the group inverse for operators on Banach spaces.     

Eventual differentiability of functional differential equations in Banach spaces

This paper concerns the regularity of a functional differential equation in the form: , t>0, where A is the generator of an analytic semigroup on a Banach space X, and B₁,B₂ are α(γ−A)-bounded linear operator for 0<α<1. By spectral analysis, it is shown that the associated solution semigroup of this equation is eventually differentiable.     

Haagerup property for C-algebras

We define the Haagerup property for C^?-algebras A and extend this to a notion of relative Haagerup property for the inclusion B⊆A, where B is a C^?-subalgebra of A. Let Γ be a discrete group and Λ a normal subgroup of Γ, we show that the inclusion A_?α,rΛ⊆A_?α,rΓ has the relative Haagerup property if and only if the quotient group Γ/Λ has the Haagerup property. In particular, the inclusion has the relative Haagerup property if and only if Γ/Λ has the Haagerup property; has the Haagerup property if and only if Γ has the Haagerup property. We also characterize the Haagerup property for Γ in terms of its Fourier algebra A(Γ).     

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.     

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.     

Groupoid normalizers of tensor products

We consider an inclusion B⊆M of finite von Neumann algebras satisfying B^′∩M⊆B. A partial isometry v∈M is called a groupoid normalizer if vBv^∗,v^∗Bv⊆B. Given two such inclusions Bi⊆Mi, i=1,2, we find approximations to the groupoid normalizers of in , from which we deduce that the von Neumann algebra generated by the groupoid normalizers of the tensor product is equal to the tensor product of the von Neumann algebras generated by the groupoid normalizers. Examples are given to show that this can fail without the hypothesis , i=1,2. We also prove a parallel result where the groupoid normalizers are replaced by the intertwiners, those partial isometries v∈M satisfying vBv^∗⊆B and v^∗v,vv^∗∈B.     

A localization inequality for set functions

We prove the following theorem, which is an analog for discrete set functions of a geometric result of Lovász and Simonovits. Given two real-valued set functions f₁,f₂ defined on the subsets of a finite set S, satisfying for i∈{1,2}, there exists a positive multiplicative set function μ over S and two subsets A,B⊆S such that for i∈{1,2}μ(A)f_i(A)+μ(B)f_i(B)+μ(A∪B)f_i(A∪B)+μ(A∩B)f_i(A∩B)?0. The Ahlswede-Daykin four function theorem can be deduced easily from this.     

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.