Representations for the weighted Drazin inverse of a sum of matrices

Three representations for the W-weighted Drazin inverse of a matrix A?CWB have been developed under some conditions where A,B,C∈? ^m×n , and W∈? ^n×m . The results of this paper not only extend the earlier works about the Drazin inverse and group inverse, but also weaken the assumed condition of a result of the Drazin inverse to the case where Γ _d ZZ _g =ZZ _g Γ _d is substituted with C(Γ _d ZZ _g ?ZZ _g Γ _d )B=0. Numerical examples are given to illustrate some new results.     

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.     

A generalization of Lavoie's inequality concerning the sum of idempotent matrices

Let a complex pxn matrix A be partitioned as A′=(A′₁,A′₂,…,A′_k). Denote by ?(A), A′, and A^? respectively the rank of A, the transpose of A, and an inner inverse (or a g-inverse) of A. Let A⁽¹⁴⁾ be an inner inverse of A such that A⁽¹⁴⁾A is a Hermitian matrix. Let B=(A⁽¹⁴⁾₁,A⁽¹⁴⁾₂,…,A_k⁽¹⁴⁾) and $\text{ρ(A)=}\text{∑}\text{i=1}\text{k}\text{ρ(A}{}_{\mathrm{i}}\text{)}$.Then the product of nonzero eigenvalues of BA (or AB) cannot exceed one, and the product of nonzero eigenvalues of BA is equal to one if and only if either B=A⁽¹⁴⁾ or $\text{A}{}_{\mathrm{i>}}\text{A}{}_{\mathrm{<mtext>j</mtext>}}{}^1\text{=0}$ for all i ≠ j,i, j=1,2,…,k . The results of Lavoie (1980) and Styan (1981) are obtained as particular cases. A result is obtained for k=2 when the condition $\text{ρ(A)=}\text{∑}\text{i=1}\text{k}\text{ρ(A}{}_{\mathrm{i}}\text{)}$ is no longer true.     

New additive results for the generalized Drazin inverse

In this paper, we investigate additive properties of generalized Drazin inverse of two Drazin invertible linear operators in Banach spaces. Under the commutative condition of PQ=QP, we give explicit representations of the generalized Drazin inverse d(P+Q) in term of P, Pd, Q and Qd. We consider some applications of our results to the perturbation of the Drazin inverse and analyze a number of special cases.     

Matrices A such that AA − AA are nonsingular

In this paper we study the class of square matrices A such that AA^† − A^†A is nonsingular, where A^† stands for the Moore-Penrose inverse of A. Among several characterizations we prove that for a matrix A of order n, the difference AA^† − A^†A is nonsingular if and only if R(A)⊕R(A^∗)=C_n,1, where R(·) denotes the range space. Also we study matrices A such that R(A)^⊥=R(A^∗).     

An Initial-Boundary Value Problem for the Korteweg–de Vries Equation with Dominant Surface Tension

We consider the initial-boundary value problem (IBVP) for the Korteweg–de Vries equation with zero boundary conditions at x=0 and arbitrary smooth decreasing initial data. We prove that the solution of this IBVP can be found by solving two linear inverse scattering problems (SPs) on two different spectral planes. The first SP is associated with the KdV equation. The second SP is self-conjugate and its scattering function is found in terms of entries of the scattering matrix s(k) for the first SP. Knowing the scattering function, we solve the second inverse SP for finding the potential self-conjugate matrix. Consequently, the unknown object entering coefficients in the system of evolution equations for s(k,t) is found. Then, the time-dependent scattering matrix s(k,t) is expressed in terms of s(k)=s(k,0) and of solutions of the self-conjugate SP. Knowing s(k,t), we find the solution of the IBVP in terms of the solution of the Gelfand–Levitan–Marchenko equation in the first inverse SP.     

On determinantal representation for the generalized inverse A and its applications

In this paper, first we establish a determinantal representation for the group inverse A_g of a square matrix A. Based on this, a determinantal representation for the generalized inverse A is presented. As an application, we give a determinantal formula for the unique solution of the general restricted linear system: Ax=b(x ∈ T, b ∈ AT and dim(AT)=dim(T)), which reduces to the common Cramer rule if A is non‐singular. These results extend our earlier work. Copyright © 2006 John Wiley & Sons, Ltd.     

A combinatorial problem involving graphs and matrices

In this paper we discuss a combinatorial problem involving graphs and matrices. Our problem is a matrix analogue of the classical problem of finding a system of distinct representatives (transversal) of a family of sets and relates closely to an extremal problem involving 1-factors and a long standing conjecture in the dimension theory of partially ordered sets. For an integer n ?1, let n denote the n element set {1,2,3,…, n}. Then let A be a k×t matrix. We say that A satisfies property P(n, k) when the following condition is satisfied: For every k-taple (x₁,x₂,…,x_k?n^k there exist k distinct integers j₁,j₂,…,j_k so that x_i= a_ii for i= 1,2,…,k. The minimum value of t for which there exists a k × t matrix A satisfying property P(n,k) is denoted by f(n,k). For each k?1 and n sufficiently large, we give an explicit formula for f(n, k): for each n?1 and k sufficiently large, we use probabilistic methods to provide inequalities for f(n,k).     

The Moore-Penrose inverse of a morphism with factorization

Given an m-by-n matrix A of rank r over a field with an involutory automorphism, it is well known that A has a Moore-Penrose inverse if and only if rank A¹A=r= rank AA¹. By use of the full-rank factorization theorem, this result may be restated in the category of finite matrices as follows: if (A₁, r, A₂) is an (epic, monic) factorization of A:m→n through r, then A has a Moore-Penrose inverse if and only if (A¹A₁, r, A₂) and (A₁, r, A₂A¹) are, respectively, (epic, monic) factorizations of A¹A:n→n and AA¹:m→m through r. This characterization of the existence of Moore-Penrose inverses is extended to arbitrary morphisms with (epic, monic) factorizations.     

On constrained generalized inverses of matrices and their properties

A matrix G is called a generalized inverse (g-invserse) of matrix A if AGA = A and is denoted by G = A ⁻. Constrained g-inverses of A are defined through some matrix expressions like E(AE)⁻, (FA)⁻ F and E(FAE)⁻ F. In this paper, we derive a variety of properties of these constrained g-inverses by making use of the matrix rank method. As applications, we give some results on g-inverses of block matrices, and weighted least-squares estimators for the general linear model.     

Acute perturbation of Drazin inverse and oblique projectors

For an n×n complex matrix A with ind(A) = r; let A^D and A^π = I–AA^D be respectively the Drazin inverse and the eigenprojection corresponding to the eigenvalue 0 of A: For an n×n complex singular matrix B with ind(B) = s, it is said to be a stable perturbation of A, if I–(B^π–A^π)² is nonsingular, equivalently, if the matrix B satisfies the condition \(\mathcal{R}(B^s)\cap\mathcal{N}(A^r)=\left\{0\right\}\) and \(\mathcal{N}(B^s)\cap\mathcal{R}(A^r)=\left\{0\right\}\), introduced by Castro-González, Robles, and Vélez-Cerrada. In this paper, we call B an acute perturbation of A with respect to the Drazin inverse if the spectral radius ρ(B^π–A^π) < 1: We present a perturbation analysis and give suffcient and necessary conditions for a perturbation of a square matrix being acute with respect to the matrix Drazin inverse. Also, we generalize our perturbation analysis to oblique projectors. In our analysis, the spectral radius, instead of the usual spectral norm, is used. Our results include the previous results on the Drazin inverse and the group inverse as special cases and are consistent with the previous work on the spectral projections and the Moore-Penrose inverse.     

The inverse of a matrix polynomial

An explicit representation is obtained for P(z)^?1 when P(z) is a complex n×n matrix polynomial in z whose coefficient of the highest power of z is the identity matrix. The representation is a sum of terms involving negative powers of z?λ for each λ such that P(λ) is singular. The coefficients of these terms are generated by sequences u_k, v_k of 1×n and n×1 vectors, respectively, which satisfy u₁≠0, v₁≠0, ∑^k?1_h=0(1?h!)u_k?hP^(h)(λ)=0, ∑^k?1_h=0(1?h!)P^(h)(λ)v_k?h=0, and certain orthogonality relations. In more general cases, including that when P(z) is analytic at λ but not necessarily a polynomial, the terms in the representation involving negative powers of z?λ provide the principal part of the Laurent expansion for P(z)^?1 in a punctured neighborhood of z=λ.     

Some inverse results for Hill's equation

We consider Hill's equation y″+(λ−q)y=0 where q∈L¹[0,π]. We show that if l_n—the length of the n-th instability interval—is of order O(n^−(k+2)) then the real Fourier coefficients a_n^k,b_n^k of q^(k)—k-th derivative of q—are of order O(n⁻²), which implies that q^(k) is absolutely continuous almost everywhere for k=0,1,2,….     

The combinatorial derivation and its inverse mapping

Let G be a group and P _G be the Boolean algebra of all subsets of G. A mapping Δ: P _G → P _G defined by Δ(A) = {g ∈ G: gA ∩ A is infinite} is called the combinatorial derivation. The mapping Δ can be considered as an analogue of the topological derivation d: P _X → P _X , A ? A ^d , where X is a topological space and A ^d is the set of all limit points of A. We study the behaviour of subsets of G under action of Δ and its inverse mapping ?. For example, we show that if G is infinite and I is an ideal in P _G such that Δ(A) ∈ I and ?(A) ? I for each A ∈ I then I = P _G .     

A construction of weakly inverse semigroups

Let S° be an inverse semigroup with semilattice biordered set E° of idempotents and E a weakly inverse biordered set with a subsemilattice Ep = { e ∈ E ｜ arbieary f ∈ E, S（f , e） loheain in w（e）} isomorphic to E° by θ：Ep→E°. In this paper, it is proved that if arbieary f, g ∈E, f ←→ g→→ f°θD^s° g°θand there exists a mapping φ from Ep into the symmetric weakly inverse semigroup P J（E∪ S°） satisfying six appropriate conditions, then a weakly inverse semigroup ∑ can be constructed in P J（S°）, called the weakly inverse hull of a weakly inverse system （S°, E, θ, φ） with I（∑） ≌ S°, E（∑） ∽- E. Conversely, every weakly inverse semigroup can be constructed in this way. Furthermore, a sufficient and necessary condition for two weakly inverse hulls to be isomorphic is also given.     

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.     

Geometric conditions for the existence of positive eigenvalues of matrices

Finite-dimensional theorems of Perron-Frobenius type are proved. For A∈$\text{C}$ⁿⁿ and a nonnegative integer k, we let w_k (A) be the cone generated by A^k, A^k+1,…in $\text{C}$ⁿⁿ. We show that A satisfies the Perron-Schaefer condition if and only if the closure $\text{W}$_k(A) of w_k(A) is a pointed cone. This theorem is closely related to several known results. If k?v₀(A), the index of the eigenvalue 0 in spec A, we prove that A has a positive eigenvalue if and only if w_k(A) is a pointed nonzero cone or, equivalently $\text{W}$_k(A) is not a real subspace of $\text{C}$ⁿⁿ. Our proofs are elementary and based on a method of Birkhoff's. We discuss the relation of this method to Pringsheim's theorem.     

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.