Riccati inequality and functional properties of differential operators on the half line

Given a piecewise continuous function and a projection P₁ onto a subspace X₁ of CN, we investigate the injectivity, surjectivity and, more generally, the Fredholm properties of the ordinary differential operator with boundary condition . This operator acts from the “natural” space into L²×X₁. A main novelty is that it is not assumed that A is bounded or that has any dichotomy, except to discuss the impact of the results on this special case. We show that all the functional properties of interest, including the characterization of the Fredholm index, can be related to the existence of a selfadjoint solution H of the Riccati differential inequality . Special attention is given to the simple case when H=A+A^∗ satisfies this inequality. When H is known, all the other hypotheses and criteria are easily verifiable in most concrete problems.     

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.     

Inverse spectral problems for Sturm-Liouville operators in impedance form

The spectral properties of Sturm-Liouville operators with an impedance in , for some p∈[1,∞), are studied. In particular, a complete solution of the inverse spectral problem is provided.     

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.     

Ideals of operators and the metric approximation property

We prove that a Banach space X has the metric approximation property if and only if , the space of all finite rank operators, is an ideal in , the space of all bounded operators, for every Banach space Y. Moreover, X has the shrinking metric approximation property if and only if is an ideal in for every Banach space Y.Similar results are obtained for u-ideals and the corresponding unconditional metric approximation properties.     

A classification of sharp tridiagonal pairs

Let F denote a field and let V denote a vector space over F with finite positive dimension. We consider a pair of linear transformations A:V→V and A^∗:V→V that satisfy the following conditions: (i) each of A,A^∗ is diagonalizable; (ii) there exists an ordering of the eigenspaces of A such that A^∗V_i⊆V_i-1+V_i+V_i+1 for 0?i?d, where V_-1=0 and V_d+1=0; (iii) there exists an ordering of the eigenspaces of A^∗ such that for 0?i?δ, where and ; (iv) there is no subspace W of V such that AW⊆W, A^∗W⊆W, W≠0, W≠V. We call such a pair a tridiagonal pair on V. It is known that d=δ and for 0?i?d the dimensions of coincide. The pair A,A^∗ is called sharp whenever . It is known that if F is algebraically closed then A,A^∗ is sharp. In this paper we classify up to isomorphism the sharp tridiagonal pairs. As a corollary, we classify up to isomorphism the tridiagonal pairs over an algebraically closed field. We obtain these classifications by proving the μ-conjecture.     

The structure of a tridiagonal pair

Let K denote a field and let V denote a vector space over K with finite positive dimension.We consider a pair of K-linear transformations A:V→V and A^∗:V→V that satisfy the following conditions: (i) each of A,A^∗ is diagonalizable; (ii) there exists an ordering of the eigenspaces of A such that A^∗V_i⊆V_i-1+V_i+V_i+1 for 0?i?d, where V_-1=0 and V_d+1=0; (iii) there exists an ordering of the eigenspaces of A^∗ such that for 0?i?δ, where and ; (iv) there is no subspace W of V such that AW⊆W,A^∗W⊆W,W≠0,W≠V.We call such a pair a tridiagonal pair on V. It is known that d=δ and for 0?i?d the dimensions of coincide.In this paper we show that the following (i)-(iv) hold provided that K is algebraically closed: (i) Each of has dimension 1.(ii) There exists a nondegenerate symmetric bilinear form 〈,〉 on V such that 〈Au,v〉=〈u,Av〉 and 〈A^∗u,v〉=〈u,A^∗v〉 for all u,v∈V.(iii) There exists a unique anti-automorphism of End(V) that fixes each of A,A^∗.(iv) The pair A,A^∗ is determined up to isomorphism by the data , where θ_i (resp.) is the eigenvalue of A (resp.A^∗) on V_i (resp.), and is the split sequence of A,A^∗ corresponding to and .     

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.     

A further three critical points theorem

If X is a real Banach space, we denote by W_X the class of all functionals possessing the following property: if {u_n} is a sequence in X converging weakly to u∈X and lim inf_n→∞Φ(u_n)≤Φ(u), then {u_n} has a subsequence converging strongly to u.In this paper, we prove the following result:Let X be a separable and reflexive real Banach space; an interval; a sequentially weakly lower semicontinuous C¹ functional, belonging to W_X, bounded on each bounded subset of X and whose derivative admits a continuous inverse on X^∗; a C¹ functional with compact derivative. Assume that, for each λ∈I, the functional Φ−λJ is coercive and has a strict local, not global minimum, say .Then, for each compact interval [a,b]⊆I for which , there exists r>0 with the following property: for every λ∈[a,b] and every C¹ functional with compact derivative, there exists δ>0 such that, for each μ∈[0,δ], the equation

Φ^′(x)=λJ^′(x)+μΨ^′(x)     

Balanced Leonard pairs

Let K denote a field, and let V denote a vector space over K with finite positive dimension. By a Leonard pair on V we mean an ordered pair of linear transformations A : V → V and A^∗ : V → V that satisfy the following two conditions:

(i)

There exists a basis for V with respect to which the matrix representing A is irreducible tridiagonal and the matrix representing A^∗ is diagonal.

(ii)

There exists a basis for V with respect to which the matrix representing A^∗ is irreducible tridiagonal and the matrix representing A is diagonal.

Let (respectively v₀, v₁, … , v_d) denote a basis for V that satisfies (i) (respectively (ii)). For 0 ? i ? d, let a_i denote the coefficient of , when we write as a linear combination of , and let denote the coefficient of v_i, when we write A^∗v_i as a linear combination of v₀, v₁, … , v_d.In this paper we show a₀ = a_d if and only if . Moreover we show that for d ? 1 the following are equivalent; (i) a₀ = a_d and a₁ = a_d−1; (ii) and ; (iii) a_i = a_d−i and for 0 ? i ? d. These give a proof of a conjecture by the second author. We say A, A^∗ is balanced whenever a_i = a_d−i and for 0 ? i ? d. We say A,A^∗ is essentially bipartite (respectively essentially dual bipartite) whenever a_i (respectively ) is independent of i for 0 ? i ? d. Observe that if A, A^∗ is essentially bipartite or dual bipartite, then A, A^∗ is balanced. For d ≠ 2, we show that if A, A^∗ is balanced then A, A^∗ is essentially bipartite or dual bipartite.     

Further results on iterative methods for computing generalized inverses

In this paper, we reconsider the iterative method X_k=X_k−1+βY(I−AX_k−1), k=1,2,…,β∈C?{0} for computing the generalized inverse over Banach spaces or the generalized Drazin inverse a^d of a Banach algebra element a, reveal the intrinsic relationship between the convergence of such iterations and the existence of or a^d, and present the error bounds of the iterative methods for approximating or a^d. Moreover, we deduce some necessary and sufficient conditions for iterative convergence to or a^d.     

Estimates for periodic Zakharov-Shabat operators

We consider the periodic Zakharov-Shabat operators on the real line. The spectrum of this operator consists of intervals separated by gaps with the lengths |gn|?0, n∈Z. Let be the corresponding effective masses and let hn be heights of the corresponding slits in the quasi-momentum domain. We obtain a priori estimates of sequences g=(|gn|)_n∈Z, , h=(hn)_n∈Z in terms of weighted ?p-norms at p?1. The proof is based on the analysis of the quasi-momentum as the conformal mapping.     

A note on the Jacobian Conjecture

In this note, we show that, if the Druzkowski mappings F(X)=X+(AX)^∗3, i.e. F(X)=(x₁+(a₁₁x₁+?+a_1nx_n)³,…,x_n+(a_n1x₁+?+a_nnx_n)³), satisfies TrJ((AX)^∗3)=0, then where δ is the number of diagonal elements of A which are equal to zero. Furthermore, we show the Jacobian Conjecture is true for the Druzkowski mappings in dimension ?9 in the case .     

Singular-value-like decomposition for complex matrix triples

The classical singular value decomposition for a matrix A∈C^m×n is a canonical form for A that also displays the eigenvalues of the Hermitian matrices AA^∗ and A^∗A. In this paper, we develop a corresponding decomposition for A that provides the Jordan canonical forms for the complex symmetric matrices and . More generally, we consider the matrix triple , where are invertible and either complex symmetric or complex skew-symmetric, and we provide a canonical form under transformations of the form , where X,Y are nonsingular.     

Some properties of sharp Hessenberg pairs

Let F denote a field and let V denote a vector space over F with finite positive dimension. We consider an ordered pair of F-linear transformations A:V→V and A^∗:V→V that satisfy the following conditions: (i) each of A,A^∗ is diagonalizable on V; (ii) there exists an ordering of the eigenspaces of A such that A^∗V_i⊆V₀+V₁+?+V_i+1 for 0?i?d, where V_-1:=0 and V_d+1:=0; (iii) there exists an ordering of the eigenspaces of A^∗ such that for 0?i?δ, where and . We call such a pair a Hessenberg pair on V. It is known that if the Hessenberg pair A,A^∗ on V is irreducible then d=δ and for 0?i?d the dimensions of V_i and coincide. We say a Hessenberg pair A,A^∗ on V is sharp whenever it is irreducible and .In this paper, we give the definitions of a Hessenberg system and a sharp Hessenberg system. We discuss the connection between a Hessenberg pair and a Hessenberg system. We also define a finite sequence of scalars called the parameter array for a sharp Hessenberg system, which consists of the eigenvalue sequence, the dual eigenvalue sequence and the split sequence. We calculate the split sequence of a sharp Hessenberg system. We show that a sharp Hessenberg pair is a tridiagonal pair if and only if there exists a nonzero nondegenerate bilinear form on V that satisfies 〈Au,v〉=〈u,Av〉 and 〈A^∗u,v〉=〈u,A^∗v〉 for all u,v∈V.     

Polynomial sequences of bounded operators

The basic results of spectral theory are obtained using the sequence of powers of a bounded linear operator T,T²,…,Tⁿ,…. In this paper, we replace the powers Tⁿ by certain polynomials p_n(T), and make use of special properties of the polynomial sequence to derive some new results concerning operators. For example, using an arbitrary polynomial sequence , we obtain “binomial” spectral radii and semidistances, which reduce, in the case of the sequence of powers, to the usual spectral radius and semidistance.     

Inverse spectral problems for Bessel operators

We study the inverse spectral problem for a class of Bessel operators given in L₂(0,1) by the differential expression