On the Convexity of the Heinz Means

Let A, B, and X be operators on a complex separable Hilbert space such that A and B are positive, and let 0 ≤ v ≤ 1. The Heinz inequalities assert that for every unitarily invariant norm | | | ·| | | ,{\left\vert \left\vert \left\vert \cdot \right\vert \right\vert \right\vert ,}

The solvability of two linear matrix equations

The solvability conditions of the following two linear matrix equations (i)A₁X₁B₁ +A₂X₂B₂ +A₃X₃B₃ =C,(ii) A₁XB₁ =C₁ A₂XB₂ =C₂ are established using ranks and generalized inverses of matrices. In addition, the duality of the three types of matrix equations

(iii) A ₁ X ₁ B ₁+A ₂ X ₂ B ₂+A ₃ X ₃ B ₃+A ₄ X ₄ B ₄=C, (iv) A ₁ XB ₁=C ₁ A ₂ XB ₂=C ₂ A ₃ XB ₃=C ₃ A ₄ XB ₄=C ₄, (v) AXB+CXD=E are also considered.     

On intertwining operators

LetB(H) denote the algebra of operators on the Hilbert spaceH into itself. GivenA,BB(H), defineC (A, B) andR (A, B):B(H)B(H) byC (A, B) X=AX–XB andR(A, B) X=AXB–X. Our purpose in this note is a twofold one. we show firstly that ifA andB ^*B (H) are dominant operators such that the pure part ofB has non-trivial kernel, thenC ⁿ (A, B) X=0, n some natural number, implies thatC (A, B)X=C(A ^*,B ^*)X=0. Secondly, it is shown that ifA andB ^* are contractions withC ₀ completely non-unitary parts, thenR ⁿ (A, B) X=0 for some natural numbern implies thatR (A, B) X=R (A ^*,B ^*)X=C (A, B ^*)X=C (A ^*,B) X=0. In the particular case in whichX is of the Hilbert—Schmidt class, it is shown that his result extends to all contractionsA andB.     

Explicit solution of the operator equation

In this paper we find the explicit solution of the equation

A^*X+X^*A=B

Around Operator Monotone Functions

We show that the symmetrized product AB + BA of two positive operators A and B is positive if and only if f(A+B) ￡ f(A)+f(B){f(A+B)\leq f(A)+f(B)} for all non-negative operator monotone functions f on [0,∞) and deduce an operator inequality. We also give a necessary and sufficient condition for that the composition f °g{f \circ g} of an operator convex function f on [0,∞) and a non-negative operator monotone function g on an interval (a, b) is operator monotone and present some applications.     

一四元数矩阵方程组的广义(反)反射解

该文给出了四元数矩阵方程组X_1B_1=C_1,X_2B_2=C2,A_1X_1B_3+A_2X_2B_4=C_b可解的充要条件及其通解的表达式,利用此结果建立了四元数矩阵方程组XB_a=C_a,A_bXB_b=C_b有广义(反)反射解的充要条件及其有此种解时通解的表达式.     

Topological *-algebras withC*-enveloping algebras II

UniversalC*-algebrasC*(A) exist for certain topological *-algebras called algebras with aC*-enveloping algebra. A Frechet *-algebraA has aC*-enveloping algebra if and only if every operator representation ofA mapsA into bounded operators. This is proved by showing that every unbounded operator representation π, continuous in the uniform topology, of a topological *-algebraA, which is an inverse limit of Banach *-algebras, is a direct sum of bounded operator representations, thereby factoring through the enveloping pro-C*-algebraE(A) ofA. Given aC*-dynamical system (G,A,α), any topological *-algebraB containingC _c (G,A) as a dense *-subalgebra and contained in the crossed productC*-algebraC*(G,A,α) satisfiesE(B) =C*(G,A,α). IfG = ℝ, ifB is an α-invariant dense Frechet *-subalgebra ofA such thatE(B) =A, and if the action α onB ism-tempered, smooth and by continuous *-automorphisms: then the smooth Schwartz crossed productS(ℝ,B,α) satisfiesE(S(ℝ,B,α)) =C*(ℝ,A,α). WhenG is a Lie group, theC ^∞-elementsC ^∞(A), the analytic elementsC ^ω(A) as well as the entire analytic elementsC ^є(A) carry natural topologies making them algebras with aC*-enveloping algebra. Given a non-unitalC*-algebraA, an inductive system of idealsI _α is constructed satisfyingA =C*-ind limI _α; and the locally convex inductive limit ind limI _α is anm-convex algebra with theC*-enveloping algebraA and containing the Pedersen idealK _a ofA. Given generatorsG with weakly Banach admissible relationsR, we construct universal topological *-algebraA(G, R) and show that it has aC*-enveloping algebra if and only if (G, R) isC*-admissible.     

On derivations of algebras with involution

Summary Let X be a complex Hilbert space, let L(X) be the algebra of all bounded linear operators on X, and let A(X) ⊂ L(X) be a standard operator algebra, which is closed under the adjoint operation. Suppose there exists a linear mapping D: A(X) → L(X) satisfying the relation D(AA*A) = D(A) A*A + AD(A*)A + AA*D(A), for all A ∈ A(X). In this case D is of the form D(A) = AB-BA, for all A∈ A(X) and some B ∈ L(X), which means that D is a derivation. We apply this result to semisimple H*-algebras.     

Transcendence of reciprocal sums of binary recurrences

Let {R _n } _n≥0 be a binary linear recurrence defined by R _n+2 = A R _n+1 + B R _n (n ≥ 0), where A, B, R ₀, R ₁ are integers and Δ = A ² + 4B > 0. We give necessary and sufficient conditions for the transcendence of the numbers

Spectral Doubling of Normal Operators and Connections with Antiunitary Operators

Equations such as AB = B ^T A have been studied in the finite dimensional setting in (Linear Algebra Appl 369:279–294, 2003). These equations have implications for the spectrum of B, when A is normal. Our aim is to generalize these results to an infinite dimensional setting. In this case it is natural to use JB*J for some conjugation operator J in place of B ^T . Our main result is a spectral pairing theorem for a bounded normal operator B which is applied to the study of the equation KB = B*K for K an antiunitary operator. In particular, using conjugation operators, we generalize the notion of Hamiltonian operator and skew-Hamiltonian operator in a natural way, derive some of their properties, and give a characterization of certain operators B for which AB = (JB*J)A and BA = A(JB*J) and also those B with KB = B*K for certain antiunitary operators K.     

Iterative orthogonal direction methods for Hermitian minimum norm solutions of two consistent matrix equations

The consistent conditions and the general expressions about the Hermitian solutions of the linear matrix equations AXB=C and (AX, XB)=(C, D) are studied in depth, where A, B, C and D are given matrices of suitable sizes. The Hermitian minimum F‐norm solutions are obtained for the matrix equations AXB=C and (AX, XB)=(C, D) by Moore–Penrose generalized inverse, respectively. For both matrix equations, we design iterative methods according to the fundamental idea of the classical conjugate direction method for the standard system of linear equations. Numerical results show that these iterative methods are feasible and effective in actual computations of the solutions of the above‐mentioned two matrix equations. Copyright © 2006 John Wiley & Sons, Ltd.     

Cauchy-type determinants and integrable systems

It is well known that the Sylvester matrix equation AX + XB = C has a unique solution X if and only if 0 ∉ spec(A) + spec(B). The main result of the present article are explicit formulas for the determinant of X in the case that C is one-dimensional. For diagonal matrices A, B, we reobtain a classical result by Cauchy as a special case.The formulas we obtain are a cornerstone in the asymptotic classification of multiple pole solutions to integrable systems like the sine-Gordon equation and the Toda lattice. We will provide a concise introduction to the background from soliton theory, an operator theoretic approach originating from work of Marchenko and Carl, and discuss examples for the application of the main results.     

On the Perturbations of Regular Linear Systems and Linear Systems with State and Output Delays

This paper is concerned with perturbation problems of regularity linear systems. Two types of perturbation results are proved: (i) the perturbed system (A + P, B, C) generates a regular linear system provided both (A, B, C) and (A, B, P) generate regular linear systems; and (ii) the perturbed system ((A_-1+DA)|_X,B,C^A_L){((A_{-1}+\Delta A)|_X,B,C^A_\Lambda)} generates a regular linear system if both (A, B, C) and (A, ΔA, C) generate regular linear systems. These allow us to establish a new variation of constants formula of the control system (A + P, B). Moreover, these results are applied to the linear systems with state and output delays. The regularity and the mild expressibility is deduced, and a necessary and sufficient condition for stabilizability of the delayed systems is proved.     

Non-commutative operator Bohr inequality

It is shown that if A, B, X are Hilbert space operators such that X?γI, for the positive real number γ, and p,q>1 with 1/p+1/q=1, then |A−B|²?p|A|²+q|B|² with equality if and only if (1−p)A=B and γ||||A−B|²|||?|||p|A|²X+qX|B|²||| for every unitarily invariant norm. Moreover, if in addition A, B are normal and X is any Hilbert-Schmidt operator, then ‖δ_A,B²(X)‖₂?‖p|A|²X+qX|B|²‖₂ with equality if and only if (1−p)AX=XB.     

Viability for nonlinear multi-valued reaction–diffusion systems

In this paper we consider a nonlinear evolution reaction–diffusion system governed by multi-valued perturbations of m-dissipative operators, generators of nonlinear semigroups of contractions. Let X and Y be real Banach spaces, ${\mathcal{K}}In this paper we consider a nonlinear evolution reaction–diffusion system governed by multi-valued perturbations of m-dissipative operators, generators of nonlinear semigroups of contractions. Let X and Y be real Banach spaces, K{\mathcal{K}} be a nonempty and locally closed subset in \mathbbR ×X×Y, A:D(A) í X\rightsquigarrow X, B:D(B) í Y\rightsquigarrow Y{\mathbb{R} \times X\times Y,\, A:D(A)\subseteq X\rightsquigarrow X, B:D(B)\subseteq Y\rightsquigarrow Y} two m-dissipative operators, F:K ? X{F:\mathcal{K} \rightarrow X} a continuous function and G:K \rightsquigarrow Y{G:\mathcal{K} \rightsquigarrow Y} a nonempty, convex and closed valued, strongly-weakly upper semi-continuous (u.s.c.) multi-function. We prove a necessary and a sufficient condition in order that for each (t,x,h) ? K{(\tau,\xi,\eta)\in \mathcal{K}}, the next system

{ lc u￠(t) ? Au(t)+F(t,u(t),v(t))    t 3 tv￠(t) ? Bv(t)+G(t,u(t),v(t))    t 3 tu(t)=x,    v(t)=h, \left\{ \begin{array}{lc} u'(t)\in Au(t)+F(t,u(t),v(t))\quad t\geq\tau \\ v'(t)\in Bv(t)+G(t,u(t),v(t))\quad t\geq\tau \\ u(\tau)=\xi,\quad v(\tau)=\eta, \end{array} \right.      16. The Real Solutions to a System of Quaternion Matrix Equations with Applications      Qing-Wen Wang  Shao-Wen Yu  Qin Zhang 《代数通讯》2013,41(6):2060-2079 In this article we establish necessary and sufficient conditions for the existence and the expressions of the general real solutions to the classical system of quaternion matrix equations A 1 XB 1 = C 1, A 2 XB 2 = C 2. Moreover, formulas of the maximal and minimal ranks of four real matrices X 1, X 2, X 3, and X 4 in solution X = X 1 + X 2 i + X 3 j + X 4 k to the system mentioned above are derived. As applications, we give necessary and sufficient conditions for the quaternion matrix equations A 1 XB 1 = C 1, A 2 XB 2 = C 2, A 3 XB 3 = C 3 to have common real solutions. In addition, the maximal and minimal ranks of four real matrices E, F, G, and H in the common generalized inverse of A 1 + B 1 i + C 1 j + D 1 k and A 2 + B 2 i + C 2 j + D 2 k, which can be expressed as E + Fi + Gj + Hk are also presented.      17. Duality results for perturbation classes of semi-Fredholm operators      Manuel González 《Archiv der Mathematik》2011,97(4):345-352 The perturbation classes problem for semi-Fredholm operators asks when the equalities SS(X,Y)=PF+(X,Y){\mathcal{SS}(X,Y)=P\Phi_+(X,Y)} and SC(X,Y)=PF-(X,Y){\mathcal{SC}(X,Y)=P\Phi_-(X,Y)} are satisfied, where SS{\mathcal{SS}} and SC{\mathcal{SC}} denote the strictly singular and the strictly cosingular operators, and PΦ+ and PΦ− denote the perturbation classes for upper semi-Fredholm and lower semi-Fredholm operators. We show that, when Y is a reflexive Banach space, SS(Y*,X*)=PF+(Y*,X*){\mathcal{SS}(Y^*,X^*)=P\Phi_+(Y^*,X^*)} if and only if SC(X,Y)=PF-(X,Y),{\mathcal{SC}(X,Y)=P\Phi_-(X,Y),} and SC(Y*,X*)=PF-(Y*,X*){\mathcal{SC}(Y^*,X^*)=P\Phi_-(Y^*,X^*)} if and only if SS(X,Y)=PF+(X,Y){\mathcal{SS}(X,Y)=P\Phi_+(X,Y)}. Moreover we give examples showing that both direct implications fail in general.      18. Implementation of derivations and invariant subspaces      E.?KissinEmail author  V.?I.?Lomonosov  V.?S.?Shulman 《Israel Journal of Mathematics》2003,134(1):1-28       19. A remark on the range of elementary operators      Bouali Said  Bouhafsi Youssef 《Czechoslovak Mathematical Journal》2010,60(4):1065-1074 Let L(H) denote the algebra of all bounded linear operators on a separable infinite dimensional complex Hilbert space H into itself. Given A ∈ L(H), we define the elementary operator Δ A : L(H) → L(H) by Δ A (X) = AXA − X. In this paper we study the class of operators A ∈ L(H) which have the following property: ATA = T implies AT*A = T* for all trace class operators T ∈ C 1(H). Such operators are termed generalized quasi-adjoints. The main result is the equivalence between this character and the fact that the ultraweak closure of the range of Δ A is closed under taking adjoints. We give a characterization and some basic results concerning generalized quasi-adjoints operators.      20. The operator equation      Rajendra Bhatia  Mitsuru Uchiyama   《Expositiones Mathematicae》2009,27(3):251-255 The solution of the linear operator equation:An-1X+An-2XB++AXBn-2+XBn-1=Y is given by if the spectra of A and B are in the sector {z:z≠0,-π/n<argz<π/n}.

The Real Solutions to a System of Quaternion Matrix Equations with Applications

In this article we establish necessary and sufficient conditions for the existence and the expressions of the general real solutions to the classical system of quaternion matrix equations A ₁ XB ₁ = C ₁, A ₂ XB ₂ = C ₂. Moreover, formulas of the maximal and minimal ranks of four real matrices X ₁, X ₂, X ₃, and X ₄ in solution X = X ₁ + X ₂ i + X ₃ j + X ₄ k to the system mentioned above are derived. As applications, we give necessary and sufficient conditions for the quaternion matrix equations A ₁ XB ₁ = C ₁, A ₂ XB ₂ = C ₂, A ₃ XB ₃ = C ₃ to have common real solutions. In addition, the maximal and minimal ranks of four real matrices E, F, G, and H in the common generalized inverse of A ₁ + B ₁ i + C ₁ j + D ₁ k and A ₂ + B ₂ i + C ₂ j + D ₂ k, which can be expressed as E + Fi + Gj + Hk are also presented.     

Duality results for perturbation classes of semi-Fredholm operators

The perturbation classes problem for semi-Fredholm operators asks when the equalities SS(X,Y)=PF₊(X,Y){\mathcal{SS}(X,Y)=P\Phi_+(X,Y)} and SC(X,Y)=PF_-(X,Y){\mathcal{SC}(X,Y)=P\Phi_-(X,Y)} are satisfied, where SS{\mathcal{SS}} and SC{\mathcal{SC}} denote the strictly singular and the strictly cosingular operators, and PΦ₊ and PΦ₋ denote the perturbation classes for upper semi-Fredholm and lower semi-Fredholm operators. We show that, when Y is a reflexive Banach space, SS(Y^*,X^*)=PF₊(Y^*,X^*){\mathcal{SS}(Y^*,X^*)=P\Phi_+(Y^*,X^*)} if and only if SC(X,Y)=PF_-(X,Y),{\mathcal{SC}(X,Y)=P\Phi_-(X,Y),} and SC(Y^*,X^*)=PF_-(Y^*,X^*){\mathcal{SC}(Y^*,X^*)=P\Phi_-(Y^*,X^*)} if and only if SS(X,Y)=PF₊(X,Y){\mathcal{SS}(X,Y)=P\Phi_+(X,Y)}. Moreover we give examples showing that both direct implications fail in general.     

A remark on the range of elementary operators

Let L(H) denote the algebra of all bounded linear operators on a separable infinite dimensional complex Hilbert space H into itself. Given A ∈ L(H), we define the elementary operator Δ _A : L(H) → L(H) by Δ _A (X) = AXA − X. In this paper we study the class of operators A ∈ L(H) which have the following property: ATA = T implies AT*A = T* for all trace class operators T ∈ C ₁(H). Such operators are termed generalized quasi-adjoints. The main result is the equivalence between this character and the fact that the ultraweak closure of the range of Δ _A is closed under taking adjoints. We give a characterization and some basic results concerning generalized quasi-adjoints operators.     

The operator equation

The solution of the linear operator equation:A^n-1X+A^n-2XB++AXB^n-2+XB^n-1=Y is given by if the spectra of A and B are in the sector {z:z≠0,-π/n<argz<π/n}.