Singular M-matrices and inverse positivity

For a matrix decomposable as A=sI?B, where B?0, it is well known that A^?1?0 if and only if the spectral radius ρ(B)>s. An extension of this result to the singular case ρ(B)=s is made by replacing A^?1 by [A+t(I?AA^D)]^?1, where A^D is the Drazin generalized inverse.     

An index classification of M-matrices

An M-matrix as defined by Ostrowski [5] is a matrix that can be split into A = sI ? B, where s > 0, B ? 0, with s ? r(B), the spectral radius of B. Following Plemmons [6], we develop a classification of all M-matrices. We consider v, the index of zero for A, i.e., the smallest nonnegative integer n such that the null spaces of Aⁿ and Aⁿ⁺¹ coincide. We characterize this index in terms of convergence properties of powers of s^?1B. We develop additional characterizations in terms of nonnegativity of the Drazin inverse of A on the range of A^v, extending (as conjectured by Poole and Boullion [7]) the well-known property that A^?1?0 whenever A is nonsingular.     

The structure of bialgebra with a Hopf module

Let H be a Hopf algebra, B a bialgebra, and (B, ?, ρ) a right H-Hopf module. Assume that (B, ρ) is a right H-comodule algebra, (B, ?) is a right H-module coalgebra, and let A = B ^{co H} = {a ∈ B | ρ(a) = a ? 1}. Then we prove that B has a factorization of A□ _ρ ^? (the underlying space is A ? H) as a bialgebra, which generalizes Radford’s factorization of bialgebras with projection [12].     

M-matrices leading to semiconvergent splittings

An M-matrix as defined by Ostrowski is a matrix that can be split into A = sI ? B, s > 0, B ? 0 with s ? ρ(B), the spectral radius of B. M-matrices with the property that the powers of T = (1/s)B converge for some s are studied and are characterized here in terms of the nonnegativity of the group generalized inverse of A on the range space of A, extending the well-known property that A^{? 1} ? 0 whenever A is nonsingular.     

Reducing subspaces of tensor products of weighted shifts

A unilateral weighted shift A is said to be simple if its weight sequence {α_n} satisfies ▽~3(α_n~2)≠0for all n≥2.We prove that if A and B are two simple unilateral weighted shifts,then AI+IB is reducible if and only if A and B are unitarily equivalent.We also study the reducing subspaces of A~kI+IB~l and give some examples.As an application,we study the reducing subspaces of multiplication operators Mzk+αωl on function spaces.     

Products of reflections in the general linear group over a division ring

Let F be a division ring and A?GL_n(F). We determine the smallest integer k such that A admits a factorization A=R₁R₂?R_k?1B, where R₁,…,R_k?1 are reflections and B is such that rank(B?I_n)=1. We find that, apart from two very special exceptional cases, k=rank(A?I_n). In the exceptional cases k is one larger than this rank. The first exceptional case is the matrices A of the form I_m⊕αI_n?m where n?m?2, α≠?1, and α belongs to the center of F. The second exceptional case is the matrices A satisfying (A?I_n)²=0, rank(A?I_n)?2 in the case when char F≠2 only. This result is used to determine, in the case when F is commutative, the length of a matrix A?GL_n(F) with detA=±1 with respect to the set of all reflections in GL_n(F).     

An essential spectra mapping theorem

Let T be a closed operator on a Hilbert Space H, such that α?p(T), the resolvent of T. Set A = (T ? αI)^?1. For μ ≠ 0, define λ such that (λ ? α)μ = 1. It is shown that λ ? essential spectra of T iff μ ? essential spectra of A for various definitions of the essential spectra. A number of immediate corollaries are then derived.     

C0-semigroups on a locally convex space

A necessary and sufficient condition that a densely defined linear operator A in a sequentially complete locally convex space X be the infinitesimal generator of a quasi-equicontinuous C₀-semigroup on X is that there exist a real number β ? 0 such that, for each λ > β, the resolvent (λI ? A)^?1 exists and the family {(λ ? β)^k(λI ? A)^?k; λ > β, k = 0, 1, 2,…} is equicontinuous. In this case all resolvents (λI ? A)^?1, λ > β, of the given operator A and all exponentials exp(tA), t ? 0, of the operator A belong to a Banach algebra $\text{B}{}_{\mathrm{г}}\text{(X)}$ which is a subspace of the space L(X) of all continuous linear operators on X, and, for each t ? 0 and for each x?X, one has lim_{k → z} (I ? k^?1tA)^?kx = exp(tA) x. A perturbation theorem for the infinitesimal generator of a quasi-equicontinuous C₀-semigroup by an operator which is an element of $\text{B}{}_{\mathrm{г}}\text{(X)}$ is obtained.     

Sequence entropy and mixing

The relationship between sequence entropy and mixing is examined. Let T be an automorphism of a Lebesgue space X, $\text{L}$₀ denote the set of all partitions of X possessing finite entropy, and $\text{S}$ denote the set of all increasing sequences of positive integers. It is shown that: (1) T is mixing /a2 sup_{A ? B}h_A(T, α) = H(α) for all B∈I and α∈Z₀. (2) T is weakly mixing /a2 sup_Ah_A(T, α) = H(α) for all α∈Z₀. (3) If T is partially mixing with constant $\text{c (1 ?}\text{1}\text{e}\text{< c < 1)}$, then sup_{A ? B}h_A(T, α) > cH(α) for all B∈I and nontrivial α∈Z₀. (4) If sup_{A ? B}h_A(T, α) > 0 for all B∈I and nontrivial α∈Z₀, then T is weakly mixing.     

Maps between Banach function algebras satisfying certain norm conditions

Let A and B be Banach function algebras on compact Hausdorff spaces X and Y, respectively, and let $\bar A$ and $\bar B$ be their uniform closures. Let I, I′ be arbitrary non-empty sets, α ∈ ?\{0}, ρ: I → A, τ: l′ → a and S: I → B T: l′ → B be maps such that ρ(I, τ(I′) and S(I), T(I′) are closed under multiplications and contain exp A and expB, respectively. We show that if ‖S(p)T(p′)?α‖Y=‖ρ(p)τ(p′) ? α‖ _x for all p ∈ I and p′ ∈ I′, then there exist a real algebra isomorphism S: A → B, a clopen subset K of M _B and a homeomorphism ?: M _B → M _A between the maximal ideal spaces of B and A such that for all f ∈ A, where $\hat \cdot$ denotes the Gelfand transformation. Moreover, S can be extended to a real algebra isomorphism from $\bar A$ onto $\bar B$ inducing a homeomorphism between $M_{\bar B}$ and $M_{\bar A}$ . We also show that under an additional assumption related to the peripheral range, S is complex linear, that is A and B are algebraically isomorphic. We also consider the case where α = 0 and X and Y are locally compact.     

Simultaneous quasidiagonalization of complex matrices

Let

be the complex algebra generated by a pair of n × n Hermitian matrices A, B. A recent result of Watters states that A, B are simultaneously unitarily quasidiagonalizable [i.e., A and B are simultaneously unitarily similar to direct sums C₁⊕…⊕C_t,D₁⊕…⊕D_t for some t, where C_i, D_i are k_i × k_i and k_i?2(1?i?t)] if and only if [p(A, B), A]² and [p(A, B), B]² belong to the center of

for all polynomials p(x, y) in the noncommuting variables x, y. In this paper, we obtain a finite set of conditions which works. In particular we show that if A, B are positive semidefinite, then A, B are simultaneously quasidiagonalizable if (and only if) [A, B]², [A², B]² and [A, B²]² commute with A, B.     

Spectral radius of Hadamard product versus conventional product for non-negative matrices

We prove an inequality for the spectral radius of products of non-negative matrices conjectured by X. Zhan. We show that for all n×n non-negative matrices A and B, ρ(A°B)?ρ((A°A)(B°B))^1/2?ρ(AB), in which ° represents the Hadamard product.     

The computation of Kronecker's canonical form of a singular pencil

We develop stable algorithms for the computation of the Kronecker structure of an arbitrary pencil. This problem can be viewed as a generalization of the well-known eigenvalue problem of pencils of the type λI?A. We first show that the elementary divisors (λ ? α)ⁱ of a regular pencil λB?A can be retrieved with a deflation algorithm acting on the expansion (λ ? α)B ? (A ? αB). This method is a straightforward generalization of Kublanovskaya's algorithm for the determination of the Jordan structure of a constant matrix. We also show how to use this method to determine the structure of the infinite elementary divisors of λB?A. In the case of singular pencils, the occurrence of Kronecker indices—containing the singularity of the pencil—somewhat complicates the problem. Yet our algorithm retrieves these indices with no additional effort, when determining the elementary divisors of the pencil. The present ideas can also be used to separate from an arbitrary pencil a smaller regular pencil containing only the finite elementary divisors of the original one. This is shown to be an effective tool when used together with the QZ algorithm.     

On the positive definiteness of some functions related to the Schoenberg problem

For a broad class of functions f: [0,+∞) → ?, we prove that the function f(ρ ^λ(x)) is positive definite on a nontrivial real linear space E if and only if 0 ≤ λ ≤ α(E, ρ). Here ρ is a nonnegative homogeneous function on E such that ρ(x) ? 0 and α(E, ρ) is the Schoenberg constant.     

关于Beurling和Ahlfors的一个定理

<正> 1.一个把实轴映成自身的连续的严格增加函数μ叫做ρ拟对称的,1≤ρ<∞,如果对一切x和t≠0成立.Beurling和Ahlfors证明:任何一个给定的ρ拟对称函数μ,必可拓广成上半平面到自身的一个皮拟共形映照,具有     

On summability of weighted Lagrange interpolation. II

The aim of this paper is to continue our investigations started in [15], where we studied the summability of weighted Lagrange interpolation on the roots of orthogonal polynomials with respect to a weight function w. Starting from the Lagrange interpolation polynomials we constructed a wide class of discrete processes which are uniformly convergent in a suitable Banach space (C _ρ, ‖·‖_ρ) of continuous functions (ρ denotes (another) weight). In [15] we formulated several conditions with respect to w, ρ, (C _ρ, ‖·‖_ρ) and to summation methods for which the uniform convergence holds. The goal of this part is to study the special case when w and ρ are Freud-type weights. We shall show that the conditions of results of [15] hold in this case. The order of convergence will also be considered.     

Additive maps on rings behaving like derivations at idempotent-product elements

For every ring R with the unit I containing a nontrivial idempotent P, we describe the additive maps δ from R into itself which behave like derivations, and show that derivations on such kinds of rings can be determined by the action on the elements A,B∈R with AB=0, AB=P and AB=I respectively. Those results of An and Hou [R. An, J. Hou, Characterizations of derivations on triangular rings: additive maps derivable at idempotents, Linear Algebra Appl. 431 (2009) 1070-1080], Bres?ar [M. Bres?ar, Characterizing homomorphisms, multipliers and derivations in rings with idempotents, Proc. Roy. Soc. Edinburgh. Sect. A. 137 (2007) 9-21] and Chebotar et al. [M.A. Chebotar, W.-F. Ke, P.-H. Lee, Maps characterized by action on zero products, Pacific J. Math. 216 (2) 2004 217-228] are improved.