Abstract
The core-EP and BT inverses for rectangular matrices were studied recently in the literature. The main aim of this paper is to unify both concepts by means of a new kind of generalized inverse called W-weighted q-BT inverse. We analyze its existence and uniqueness by considering an adequate matrix system. Basic properties and some interesting characterizations are proved for this new weighted generalized inverse. Also, we give a canonical form of the W-weighted q-BT inverse by means of the weighted core-EP decomposition.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and preliminaries
We denote by \(\mathbb {C}^{m\times n}\) the set of all \(m\times n\) complex matrices. Let \(A\in \mathbb {C}^{m\times n}\). The conjugate transpose, rank, null space and column space of A are denoted by \(A^*\), \({\text {rank}}(A)\), \({\mathscr {N}}(A)\), and \({\mathscr {R}}(A)\), respectively. The index of \(A\in {\mathbb {C}^{n\times n}}\), denoted by \({\text {Ind}}(A)\), is the smallest nonnegative integer k such that \({\text {rank}}(A^k) = {\text {rank}}(A^{k+1})\). Moreover, \(A^0=I_n\) will refer to the \(n \times n\) identity matrix, and 0 will denote the null matrix of appropriate size. The standard notations \(P_S\) and \(P_{S,T}\) stand for the orthogonal projector onto a subspace S and a projector onto S along T, respectively, when \(\mathbb {C}^n\) is equal to the direct sum of subspaces S and T.
The Drazin inverse of a matrix \(A\in {\mathbb {C}^{n\times n}}\) is the unique matrix \(X=A^d \in {\mathbb {C}^{n\times n}}\) that satisfies
When \({\text {Ind}}(A)=1\), the Drazin inverse is called the group inverse of A and is denoted by \(A^\#\).
The Moore–Penrose inverse of a matrix \(A\in {\mathbb {C}^{m\times n}}\) is the unique matrix \(X=A^\dag \in {\mathbb {C}^{n\times m}}\) that satisfies the Penrose equations
We will denote by \(P_A\) the orthogonal projector \(AA^{\dag }\) onto the subspace \({\mathscr {R}}(A)\).
In 2014, Manjunatha Prassad and Mohana [13] introduced the core-EP inverse of a matrix \(A\in {\mathbb {C}^{n\times n}}\) of index k as the unique matrix \(X=A^{\textcircled {\dag }}\in {\mathbb {C}^{n\times n}}\) that satisfies the conditions \(XAX=X\) and \({\mathscr {R}}(X)={\mathscr {R}}(X^*)={\mathscr {R}}(A^k)\). That same year, Baksalary and Trenkler [2] defined the BT inverse of A as the matrix \(A^{\diamond }=(AP_A)^\dag \). When the matrix A has index 1, both inverses are reduced to the well-known core inverse \(A^{\textcircled {\#}}=A^\#AA^\dag \) of A [1].
In 1980, Cline and Greville [4] extended the Drazin inverse to rectangular matrices and it was called the W-weighted Drazin inverse. Let \(W\in {\mathbb {C}^{n\times m}}\) be a fixed nonzero matrix. We recall that the W-weighted Drazin inverse of \(A\in {\mathbb {C}^{m\times n}}\), denoted by \(A^{d,W}\), is the unique matrix \(X\in {\mathbb {C}^{m\times n}}\) satisfying the three equations
where \(k=\max \{{\text {Ind}}(AW),{\text {Ind}}(WA)\}\). If \(k=1\), the W-weighted Drazin inverse of A is called the W-weighted group inverse of A and is denoted by \(A^{\#,W}\). When \(m=n\) and \(W=I_n\), we recover the Drazin inverse, that is, \(A^{d,I_n}=A^d\).
The W-weighted Drazin inverse satisfies the following two dual representations
Interesting representations and properties of the W-weighted Drazin inverse were studied in [17].
Similarly, the core-EP inverse was extended to rectangular matrices in [5]. It was named W-weighted core-EP inverse, and defined as \(A^{\textcircled {\dag },W}=(WAWP_{(AW)^k})^\dag \), which is the unique solution of
For the particular case \(k=1\), the W-weighted core-EP inverse of A is known as the W-weighted core inverse of A and denoted by \(A^{\textcircled {\#},W}\). Clearly, when \(m=n\) and \(W=I_n\), we recover the core-EP inverse, that is, \(A^{\textcircled {\dag },I_n}=A^{\textcircled {\dag }}\).
The W-weighted core-EP inverse satisfies the following interesting properties [5, 12]
Recently, the W-weighted BT inverse of A was defined in [10] as the unique matrix \(X=A^{\diamond , W} \in {\mathbb {C}^{m\times n}}\) satisfying the following equations
It was also established that \(A^{\diamond , W}=(WAWP_{AW})^\dag \).
Interesting results including different kinds of weighted generalized inverses can be found in [14,15,16].
In this paper we unify the definitions given in (1.2) and (1.4) given rise a new kind of generalized inverse called W-weighted q-BT inverse. We analyze its existence and uniqueness by considering an adequate matrix system.
This paper is organized as follows. In Sect. 2, we present results of existence and uniqueness of the W-weighted q-BT inverse. More precisely, the existence will be characterized as the unique solution of three matrix equations. In Sect. 3, we obtain some characterizations of the W-weighted q-BT inverse. As an interesting consequence, we present new characterizations of the W-weighted core-EP and W-weighted BT inverses. In Sect. 4, we obtain a canonical form of the W-weighted q-BT inverse by using a simultaneous decomposition of the matrices A and W called the weighted core-EP decomposition. Finally, some more properties of this new generalized inverse are investigated.
2 Existence and uniqueness
In this section, we define and investigate the W-weighted q-BT inverse for rectangular matrices \(A\in {\mathbb {C}^{m\times n}}\) by considering a non-null weight \(W\in {\mathbb {C}^{n\times m}}\).
We start with a result of existence and uniqueness. Before that, we need the following auxiliary lemma.
Lemma 2.1
Let \(A\in {\mathbb {C}^{m\times n}}\) and \(B\in \mathbb {C}^{n\times s}\). Then \(P_B(AP_B)^\dag =(AP_B)^\dag \).
Proof
Since \((I_n-P_B)P_B A^*=0\) trivially holds, we have that \({\mathscr {R}}((AP_B)^\dag )\subseteq {\mathscr {N}}((I_n-P_B))\) is always valid, which in turn is equivalent to \(P_B(AP_B)^\dag =(AP_B)^\dag \). \(\square \)
Theorem 2.2
Let \(A\in {\mathbb {C}^{m\times n}}\), \(0\ne W\in {\mathbb {C}^{n\times m}}\) and \(q\in \mathbb {N} \cup \{0\}\). The system of equations
is consistent and has a unique solution \(X=(WAWP_{(AW)^q})^\dag \).
Proof
Existence. Let \(X:=(WAWP_{(AW)^q})^\dag \). Clearly, X satisfies the two last equations in (2.1). Moreover, from Lemma 2.1 we have
Thus, X is a solution to (2.1).
Uniqueness. Any arbitrary solution X to the system (2.1) satisfies
which implies that the matrix \(X=(WAWP_{(AW)^q})^\dag \) is the unique solution to (2.1). \(\square \)
The example below shows that the uniqueness of the solution of the system (2.1) cannot be guaranteed when the second condition is removed. Similar examples can be found by removing the first and the third conditions and mantaining the remaining two.
Example 2.3
Consider the system \(XWAWX=X\) and \(AWX=AW(WAWP_{AW})^\dag \), where
It is easy to see that \(k=\max \{\textrm{Ind}(AW), \textrm{Ind}(WA)\}=\max \{3,3\}=3\). Let \(X_0:=(WAWP_{AW})^\dag \). By Theorem 2.2, it is clear that \(X_0WAWX_0=X_0\) and \(AWX_0=AW(WAWP_{AW})^\dag \).
Now, we consider the matrix \(X_1:=Q_{AW}X_0+(I_m-Q_{AW})W^*\) where \(Q_{AW}:=(AW)^\dag AW\). Then,
Thus, \(X_0\) and \(X_1\) both satisfy \(XWAWX=X\) and \(AWX=AW(WAWP_{AW})^\dag \). Finally, we observe that, due to Theorem 2.2, the matrix \(X_0\) is also a solution of the equation \(XWA=(WAWP_{AW})^\dag WA\). However, \(X_1\) does not satisfy such an equation. In fact,
Definition 2.4
Let \(A \in {\mathbb {C}^{m\times n}}\), \(0\ne W\in {\mathbb {C}^{n\times m}}\), \(k=\max \{{\text {Ind}}(AW), {\text {Ind}}(WA)\}\), and \(q\in \mathbb {N}\cup \{0\}\). The unique matrix \(X \in {\mathbb {C}^{m\times n}}\) that satisfies the system (2.1) is called the W-weighted q-BT inverse of A, and is denoted by \(A^{\diamond _q,W}\).
Remark 2.5
Note that when \(m=n\) and \(W=I_n\), the W-weighted q-BT inverse of A gives rise a new generalized inverse for square matrices. For simplicity, it will be denoted as \(A^{\diamond _q}:=(AP_{A^q})^\dag \) and will be called the q-BT inverse of A.
The motivation for the study of this new kind of generalized inverse is stated in the following result by showing that it extends certain inverses known in the literature.
Corollary 2.6
Let \(A \in {\mathbb {C}^{m\times n}}\), \(0\ne W\in {\mathbb {C}^{n\times m}}\), \(k=\max \{{\text {Ind}}(AW), {\text {Ind}}(WA)\}\), and \(q\in \mathbb {N}\cup \{0\}\). Then
-
(i)
\(A^{\diamond _q,W}=(WAW)^{\dag }\) if \(q=0\);
-
(ii)
\(A^{\diamond _q,W}=A^{\diamond ,W}\) if \(q=1\);
-
(iii)
\(A^{\diamond _q,W}=A^{\textcircled {\dag },W}\) if either \(q={\text {Ind}}(AW)\) or \(q\ge k\).
Proof
-
(i)
Follows from Theorem 2.2 with \(q=0\).
-
(ii)
It is a consequence from Theorem 2.2 and the expression of \(A^{\diamond ,W}\) recalled below (1.4).
-
(iii)
It follows from Theorem 2.2, the definition of \(A^{\textcircled {\dag },W}\) and the fact that \(P_{(AW)^q}=P_{(AW)^k}\) when either \(q={\text {Ind}}(AW)\) or \(q\ge k\).
\(\square \)
Remark 2.7
When \(WAW=A\), from the above corollary it follows that the W-weighted q-BT inverse of A reduces to the Moore–Penrose inverse of A. Note that the condition \(WAW=A\) is a Stein equation (in A). We recall that this equation has important applications in system theory, among them, the stability analysis of discrete-time systems [11].
Remark 2.8
If \(m=n\) and \(W=I_n\), from Corollary 2.6 we deduce that the W-weighted q-BT inverse concides with the BT inverse and core-EP inverse, when \(q=1\) and \(q\ge k={\text {Ind}}(A)\), respectively.
An interesting relationship between the products AW and WA is
Corollary 2.9
Let \(A\in {\mathbb {C}^{m\times n}}\), \(0\ne W\in {\mathbb {C}^{n\times m}}\) and \(q\in \mathbb {N} \cup \{0\}\). Then
Proof
Follows from Theorem 2.2 and (2.2). \(\square \)
In the following example we show that when \(1<q<k\) (eventually with \(q \ne {\text {Ind}}(AW)\)), this new inverse is different from other known ones.
Example 2.10
Consider the matrices
Since \({\text {Ind}}(AW)=3\) and \({\text {Ind}}(WA)=2\), we have \(k=\max \{{\text {Ind}}(AW), {\text {Ind}}(WA)\}=3\). Therefore, we must consider \(q=2\). Thus, the W-weighted core-EP inverse, the W-weighted BT inverse, and the W-weighted 2-BT inverse are given by
Some properties of the W-weighted q-BT inverse are established below. For example, the W-weighted q-BT inverse can be expressed in terms of the q-BT inverse. In particular, the q-BT inverse provides the range and null space of the W-weighted BT inverse.
Theorem 2.11
Let \(A\in {\mathbb {C}^{m\times n}}\), \(0\ne W\in {\mathbb {C}^{n\times m}}\) and \(q\in \mathbb {N} \cup \{0\}\). Then the following statements hold:
-
(i)
\(A^{\diamond _q, W}=(W[(AW)^{\diamond _q}]^\dag )^\dag \).
-
(ii)
\({\mathscr {R}}(A^{\diamond _q,W})={\mathscr {R}}(P_{(AW)^q}(WAW)^*)\) and \({\mathscr {N}}(A^{\diamond _q,W})={\mathscr {N}}(P_{(AW)^q}(WAW)^*)\).
-
(iii)
\({\mathscr {R}}(A^{\diamond , W})= {\mathscr {R}}([(AW)^{\diamond _q}]^\dag )^* W^*)\) and \({\mathscr {N}}(A^{\diamond ,W})={\mathscr {N}}([(AW)^{\diamond _q}]^\dag )^* W^*)\).
-
(iv)
\({\mathscr {R}}(A^{\diamond _q,W})={\mathscr {R}}([((AW)^q)^\dag ]^*[(AW)^{q+1}]^* W^*)\) and \({\mathscr {N}}(A^{\diamond _q,W})={\mathscr {N}}([(AW)^{q+1}]^* W^*)\).
-
(v)
\({\mathscr {R}}(A^{\diamond _q,W})\subseteq {\mathscr {R}}((AW)^q)\).
-
(vi)
\(P_{(AW)^q} A^{\diamond _q,W}=A^{\diamond _q,W}\).
Proof
-
(i)
By Theorem 2.2 we have \(A^{\diamond _q,W}=(W[AWP_{(AW)^q}])^\dag \). Now, by Remark 2.5 we deduce \(AWP_{(AW)^q}=((AW)^{\diamond _q})^\dag \), whence the statement is clear.
-
(ii)
By Theorem 2.2 we have \(A^{\diamond _q,W}=(WAWP_{(AW)^q})^\dag \). Now, the statement follows of the properties \({\mathscr {R}}(B^\dag )={\mathscr {R}}(B^*)\) and \({\mathscr {N}}(B^\dag )={\mathscr {N}}(B^*)\).
-
(iii)
It follows immediately from part (i).
-
(iv)
By Corollary 2.9 and the property \({\mathscr {R}}(B^\dag )={\mathscr {R}}(B^*)\) we get
$$\begin{aligned} {\mathscr {R}}(A^{\diamond _q,W})={\mathscr {R}}([W(AW)^{(q+1)} ((AW)^q)^\dag ]^*)={\mathscr {R}}([((AW)^q)^\dag ]^*[(AW)^{q+1}]^* W^*). \end{aligned}$$Similarly, Corollary 2.9 and the property \({\mathscr {N}}(B^\dag )={\mathscr {N}}(B^*)\) imply
$$\begin{aligned} {\mathscr {N}}(A^{\diamond _q,W})= & {} {\mathscr {N}}([((AW)^q)^\dag ]^*[(AW)^{q+1}]^* W^*)\\= & {} {\mathscr {N}}([((AW)^q)^\dag ]^*[(AW)^q]^* (AW)^* W^*) \\\subseteq & {} {\mathscr {N}}([(AW)^q]^*[((AW)^q)^\dag ]^*[(AW)^q]^* (AW)^* W^*)\\= & {} {\mathscr {N}}([(AW)^{q+1}]^* W^*)\\\subseteq & {} {\mathscr {N}}([((AW)^q)^\dag ]^*[(AW)^{q+1}]^* W^*)\\= & {} {\mathscr {N}}(A^{\diamond _q,W}). \end{aligned}$$Thus, \({\mathscr {N}}(A^{\diamond ,W})={\mathscr {N}}([(AW)^{q+1}]^* W^*)\).
-
(v)
It directly follows from (ii) and the fact that \({\mathscr {R}}(P_{(AW)^k})={\mathscr {R}}((AW)^k)\).
-
(vi)
It is sufficient to note that \(P_{(AW)^q} A^{\diamond _q,W}=A^{\diamond _q,W}\) holds if and only if \({\mathscr {R}}(A^{\diamond _q,W})\subseteq {\mathscr {N}}(I_m-P_{(AW)^q})={\mathscr {R}}(P_{(AW)^q})={\mathscr {R}}((AW)^q)\), which is true due to part (v).
\(\square \)
We finish this section by showing that the W-weighted q-BT inverse can be written as a generalized inverse with prescribed range and null space. Moreover, some idempotent matrices related to the W-weighted q-BT inverse are found.
Proposition 2.12
Let \(A\in {\mathbb {C}^{m\times n}}\), \(0\ne W\in {\mathbb {C}^{n\times m}}\) and \(q\in \mathbb {N} \cup \{0\}\). Then the following representations are valid:
-
(i)
\(A^{\diamond _q,W}=(WAW)^{(2)}_{{\mathscr {R}}(P_{(AW)^q}(WAW)^*),\,{\mathscr {N}}([(AW)^{q+1}]^* W^*)}\);
-
(ii)
\(WAWA^{\diamond _q,W}=P_{{\mathscr {R}}(W [(AW)^{\diamond _q}]^\dag (WAW)^*),\,{\mathscr {N}}([(AW)^{q+1}]^* W^*)}\);
-
(iii)
\(A^{\diamond _q,W}WAW=P_{{\mathscr {R}}(P_{(AW)^q}(WAW)^*),\,{\mathscr {N}}([(AW)^{q+1}]^* W^* WAW)}\).
Proof
(i) By definition of the W-weighted q-BT inverse we know that \(A^{\diamond , W}WAWA^{\diamond , W}=A^{\diamond , W}\). Now, parts (ii) and (iv) of Theorem 2.11 imply \({\mathscr {R}}(A^{\diamond _q,W})={\mathscr {R}}(P_{(AW)^q}(WAW)^*)\) and \({\mathscr {N}}(A^{\diamond , W})={\mathscr {N}}([(AW)^{q+1}]^* W^*)\), respectively. Thus, the statement follows by definition of an outer inverse with prescribed range and null space.
(ii) Since \(A^{\diamond , W}WAWA^{\diamond , W}=A^{\diamond , W}\) by definition, we have that \(WAWA^{\diamond _q, W}\) is idempotent. Also, from Theorem 2.11 (ii) we obtain
On the other hand, note that \({\mathscr {N}}(WAWA^{\diamond , W})={\mathscr {N}}(A^{\diamond , W})\) because \(A^{\diamond , W}\) is an outer inverse of WAW. Thus, from Theorem 2.11 (iv) we have \({\mathscr {N}}(WAWA^{\diamond , W})={\mathscr {N}}([(AW)^{q+1}]^* W^*)\).
(iii) By Theorem 2.11 (ii) we know that \({\mathscr {R}}(A^{\diamond _q,W})={\mathscr {R}}(P_{(AW)^q}(WAW)^*)\). Thus, as \(A^{\diamond , W}WAWA^{\diamond , W}=A^{\diamond , W}\), clearly \({\mathscr {R}}(A^{\diamond _q,W}WAW)={\mathscr {R}}(A^{\diamond _q,W})={\mathscr {R}}(P_{(AW)^q}(WAW)^*)\).
Similarly, from Theorem 2.11 (iv) we know that \({\mathscr {N}}(A^{\diamond _q,W})={\mathscr {N}}([(AW)^{q+1}]^* W^*)\). On the other hand, it is easy to see that \({\mathscr {N}}(B)={\mathscr {N}}(C)\) implies \({\mathscr {N}}(BD)={\mathscr {N}}(CD)\), where B, C, and D are complex rectangular matrices of adequate sizes. Therefore, \({\mathscr {N}}(A^{\diamond ,W}WAW)={\mathscr {N}}([(AW)^{q+1}]^* W^* WAW)\). \(\square \)
Recall that the Moore–Penroe inverse [3], the core-EP inverse [6, Theorem 3.2] and the BT inverse [7, Theorem 4.7] of a matrix \(A\in {\mathbb {C}^{n\times n}}\) of index k, are outer inverses that can be represented as outer inverse with prescribed range and null spaces as:
Our next theorem shows that the representations given in (2.3) are particular cases of the following expression for the q-BT inverse.
Corollary 2.13
Let \(A\in {\mathbb {C}^{n\times n}}\) and \(q\in \mathbb {N} \cup \{0\}\). Then the following statements hold:
-
(i)
\(A^{\diamond _q}=A^{(2)}_{{\mathscr {R}}(P_{A^q}A^*),\, {\mathscr {N}}([A^{q+1}]^*)}\)
-
(ii)
\(AA^{\diamond _q}=P_{{\mathscr {R}}([A^{\diamond _q}]^\dag A^*),\, {\mathscr {N}}([A^{q+1}]^*)}\).
-
(iii)
\(A^{\diamond _q}A=P_{{\mathscr {R}}(P_{A^q}A^*),\, {\mathscr {N}}([A^{q+1}]^*A)}\).
Proof
Items (i)–(iii) immediately follow from Proposition 2.12 by taking \(m=n\) and \(W=I_n\). \(\square \)
Remark 2.14
From Corollary 2.13 (i), it is clear that when \(q=0\) and \(q=1\), we recover the expressions given in (2.3) for the Moore–Penrose inverse and the BT inverse, respectively.
On the other hand, if \(q\ge k={\text {Ind}}(A)\) we have that \({\mathscr {R}}(P_{A^q}A^*)={\mathscr {R}}((AP_{A^q})^*)={\mathscr {R}}((AP_{A^k})^\dag )={\mathscr {R}}(A^{\textcircled {\dag }})={\mathscr {R}}(A^k)\). Also, by definition of index, we obtain \({\mathscr {N}}((A^{q+1})^*)={\mathscr {N}}((A^{k+1})^*)={\mathscr {N}}((A^k)^*)\). In consequence, \(A^{\diamond _q}=A^{(2)}_{{\mathscr {R}}(A^k),\, {\mathscr {N}}((A^k)^*)}=A^{\textcircled {\dag }}\).
3 Algebraic characterizations
In this section we give some algebraic characterizations of the W-weighted q-BT inverse.
Theorem 3.1
Let \(A \in {\mathbb {C}^{m\times n}}\), \(0\ne W\in {\mathbb {C}^{n\times m}}\), \(k=\max \{{\text {Ind}}(AW), {\text {Ind}}(WA)\}\), and \(q\in \mathbb {N}\cup \{0\}\). There exists a unique matrix X satisfying the conditions
and is given by \(X=A^{\diamond _q,W}\).
Proof
Existence. Let \(X:=A^{\diamond _q,W}\). From parts (v) and (vi) of Theorem 2.11 it is clear that X is a solution to (3.1).
Uniqueness. Any matrix X satisfying conditions (3.1), in particular satisfies \({\mathscr {R}}(X)\subseteq {\mathscr {R}}((AW)^q)\) which is equivalent to \(P_{(AW)^q}X=X\). Thus, from the condition \(P_{(AW)^q}X=(WAWP_{(AW)^q})^\dag \), we get \(X=(WAWP_{(AW)^q})^\dag \), which gives the conclusion. \(\square \)
Theorem 3.2
Let \(A \in {\mathbb {C}^{m\times n}}\), \(0\ne W\in {\mathbb {C}^{n\times m}}\), \(k=\max \{{\text {Ind}}(AW), {\text {Ind}}(WA)\}\), and \(q\in \mathbb {N}\cup \{0\}\). The unique matrix X satisfying the conditions
is given by \(X=A^{\diamond _q,W}\).
Proof
Existence. Let \(X:=A^{\diamond _q,W}\). By Definition 2.4 and Theorem 2.11 (ii) it is clear that X satisfies both conditions in (3.2).
Uniqueness. Let X be an arbitrary matrix satisfying both conditions in (3.2). Since \({\mathscr {R}}((WAWP_{(AW)^q})^\dag )={\mathscr {R}}(P_{(AW)^q}(WAW)^*)\), the second condition in (3.2) implies \(X=(WAWP_{(AW)^q})^\dag Z\) for some matrix Z. Now, from Lemma 2.1 and the first equation in (3.2) we obtain
which gives the uniqueness. \(\square \)
A similar result can be obtained using the null space.
Theorem 3.3
Let \(A \in {\mathbb {C}^{m\times n}}\), \(0\ne W\in {\mathbb {C}^{n\times m}}\), \(k=\max \{{\text {Ind}}(AW), {\text {Ind}}(WA)\}\), and \(q\in \mathbb {N}\cup \{0\}\). The unique matrix X that satisfies both conditions
is given by \(X=A^{\diamond ,W}\).
As a consequence of above results we obtain some characterizations of the q-BT inverse of a square matrix.
Theorem 3.4
Let \(A\in {\mathbb {C}^{n\times n}}\). The following statements are equivalent:
-
(i)
X is the q-BT inverse of A;
-
(ii)
\(XAX=X\), \(AX=A(AP_{A^q})^\dag \), and \(XA=(AP_{A^q})^\dag A\);
-
(iii)
\(P_{A^q}X=(AP_{A^q})^\dag \) and \({\mathscr {R}}(X)\subseteq {\mathscr {R}}(A^q)\);
-
(iv)
\(AX=A(AP_{A^q})^\dag \) and \({\mathscr {R}}(X)\subseteq {\mathscr {R}}(P_{A^q}A^*)\);
-
(v)
\(XA=(AP_{A^q})^\dag A\) and \({\mathscr {N}}(P_{A^q}A^*)\subseteq {\mathscr {N}}(X)\).
4 Canonical form of the W-weighted q-BT inverse
In [5] the authors introduced a simultaneous unitary block upper triangularization of a pair of rectangular matrices, called the weighted core-EP decomposition of the pair (A, W). More precisely, we have the following result:
Theorem 4.1
Let \(A\in {\mathbb {C}^{m\times n}}\) and \(0\ne W\in {\mathbb {C}^{n\times m}}\) with \(k=\max \{{\text {Ind}}(AW), {\text {Ind}}(WA)\}\). Then there exist two unitary matrices \(U \in {\mathbb {C}^{m\times m}}\), \(V \in {\mathbb {C}^{n\times n}}\), two nonsingular matrices \(A_1, W_1 \in \mathbb {C}^{t \times t}\), and two matrices \(A_3 \in \mathbb {C}^{(m-t)\times (n-t)}\) and \(W_3 \in \mathbb {C}^{(n-t)\times (m-t)}\) such that \(A_3W_3\) and \(W_3A_3\) are nilpotent of indices \({\text {Ind}}(AW)\) and \({\text {Ind}}(WA)\), respectively, with
The following lemma allows us to find the Moore–Penrose inverse of a partitioned matrix with some of its diagonal block nonsingular.
Lemma 4.2
[10] Let \(A=U\begin{bmatrix} A_1 &{} A_2 \\ 0 &{} A_3 \\ \end{bmatrix} V^* \in {\mathbb {C}^{m\times n}}\) be such that \(A_1 \in \mathbb {C}^{t\times t}\) is nonsingular and \(U \in {\mathbb {C}}^{m \times m}\) and \(V \in {\mathbb {C}}^{n \times n}\) are unitary. Then
where \(\varOmega =[A_1 A_1^*+ A_2(I_{n-t}-Q_{A_3})A_2^*]^{-1}\). In consequence,
Now, we present a representation for the W-weighted q-BT inverses by using the weighted core-EP decomposition.
Theorem 4.3
Let \(A \in {\mathbb {C}^{m\times n}}\), \(0\ne W\in {\mathbb {C}^{n\times m}}\), \(k=\max \{{\text {Ind}}(AW), {\text {Ind}}(WA)\}\), and \(q\in \mathbb {N}\cup \{0\}\). If A and W are written as in (4.1), then the W-weighted q-BT inverse of A is given by
where
and
Proof
We assume that A and W are written as in (4.1). Applying Theorem 2.2, we have \(A^{\diamond _q,W} = (WAWP_{(AW)^q})^\dag \). It can be easily obtained that
where \(M:= W_1A_1W_2+W_1A_2W_3+W_2A_3W_3\), and
Thus, we have that
where we are considering the partition given by the blocks \(B_1,B_2,B_3\) and \(B_4\) having appropriate sizes induced by the central matrix in the previous step. By Theorem 4.1, \(W_1A_1W_1\) is nonsingular. In order to determine the blocks \(B_1\), \(B_2\), \(B_3\), and \(B_4\) we will use Lemma 4.2. Taking \(Z:=P_{(A_3W_3)^q}(I_{n-t}-Q_{W_3A_3W_3P_{(A_3W_3)^q}})P_{(A_3W_3)^q}\), we get
Moreover, from Lemma 2.1 and Theorem 2.2, it follows
Finally,
which completes the proof. \(\square \)
Corollary 4.4
Let \(A \in {\mathbb {C}^{m\times n}}\), \(0\ne W\in {\mathbb {C}^{n\times m}}\), and \(k=\max \{{\text {Ind}}(AW), {\text {Ind}}(WA)\}\). If A and W are written as in (4.1), then the W-weighted BT inverse of A is given by
where
and the W-weighted core-EP inverse of A is given by
Proof
By Corollary 2.6 we know that \(A^{\diamond _q,W}=A^{\diamond ,W} \) if \(q=1\) and \(A^{\diamond _q,W}=A^{\textcircled {\dag },W} \) if \(q\ge k\). Clearly, if \(q=1\), (4.4) reduces to the expression given in (4.7). On the other hand, if \(q\ge k\) we obtain \((A_3W_3)^q=0\). In fact, since \(A_3W_3\) is nilpotent of index at most k, we have \(P_{(A_3W_3)^q}=0\). Hence, \(A_3^{\diamond _q,W_3}=(W_3A_3W_3P_{(A_3W_3)^q})^\dag =0\). Now, from (4.5), it follows that \(\varOmega _W=[W_1A_1W_1 (W_1A_1W_1)^*]^{-1}\). In this way, (4.4) reduces to (4.8). \(\square \)
Remark 4.5
When \(k=\max \{{\text {Ind}}(AW), {\text {Ind}}(WA)\}=1\), the above representations coincide with the W-weighted core inverse, that is, \(A^{\diamond ,W}=A^{\textcircled {\dag },W}=A^{\textcircled {\#},W}\).
If \(A\in {\mathbb {C}^{n\times n}}\) has index k, by applying Theorem 4.1 with \(m=n\) and \(W=I_n\), we obtain the following canonical form of A
where \(U\in {\mathbb {C}^{n\times n}}\) is unitary, T is nonsingular, \({\text {rank}}(T)={\text {rank}}(A^k)\), and N is nilpotent of index k. This representation of A is called the core-EP decomposition of A [18].
By using (4.9) we can give a canonical form for the q-BT inverse of a square matrix.
Corollary 4.6
Let \(A \in {\mathbb {C}^{n\times n}}\), \(k={\text {Ind}}(A)\), and \(q\in \mathbb {N}\cup \{0\}\). If A is written as in (4.9), then the q-BT inverse of A is given by
where \(\Delta =(T T^*+ S(P_N-P_{N^{\diamond _q}})S^*)^{-1}\).
Corollary 4.7
Let \(A \in {\mathbb {C}^{m\times n}}\), \(0\ne W\in {\mathbb {C}^{n\times m}}\), and \(k=\max \{{\text {Ind}}(AW), {\text {Ind}}(WA)\}\). If A and W are written as in (4.1), then it results that
with \(\Delta =(A_1W_1(A_1W_1)^*+ S(P_{A_3W_3}-P_{(A_3W_3)^{\diamond _q}})S^*)^{-1}\) and \(S=A_1W_2+A_2W_3\), and
with \(\Delta =(W_1A_1(W_1A_1)^*+ S(P_{W_3A_3}-P_{(W_3A_3)^{\diamond _q}})S^*)^{-1}\) and \(S=W_1A_2+W_2A_3\).
Proof
From Theorem 4.1 we obtain
where U is unitary, \(A_1W_1\) is nonsingular, and \(A_3W_3\) is nilpotent of index \({\text {Ind}}(AW)\).
Clearly, (4.11) is a core-EP decomposition of AW. Thus, the the expression for \((AW)^{\diamond _q}\) follows from Corollary 4.6.
The expression for \((WA)^{\diamond _q}\) can be found in a similar way. \(\square \)
We recall that the W-weighted Drazin inverse and the W-weighted core-EP inverse of A satisfy the interesting identities \(A^{d,W}=[(AW)^d]^2A=A[(WA)^d]^2\) and \(A^{\textcircled {\dag },W}=A[(WA)^{\textcircled {\dag }}]^2\), from (1.1) and (1.3), respectively.
However, these equalities do not remain valid for the W-weighted q-BT inverse whenever \(1\le q <k=\max \{\textrm{Ind}(AW), \textrm{Ind}(WA)\}\), as we can check with the following example.
Example 4.8
Let
Note that \(k=\max \{\textrm{Ind}(AW), \textrm{Ind}(WA)\}=\max \{3,2\}=3\). For \(1\le q<3\) we obtain
Remark 4.9
If we take \(q=3\) in the above example (i.e., \(q=k=3\)), from Corollary 4.4 we have that \(A^{\diamond _3,W}=A^{\textcircled {\dag },W}\). Thus, from (1.3) we obtain \(A^{\diamond _3,W}=A[(WA)^{\diamond _3}]^2\), which can be verified in the example given above, that is,
Data availibility
No data was used.
References
Baksalary, O.M., Trenkler, G.: Core inverse of matrices. Linear Multilinear Algebra 58(6), 681–697 (2010)
Baksalary, O.M., Trenkler, G.: On a generalized core inverse. Appl. Math. Comput. 236, 450–457 (2014)
Ben-Israel, A., Greville, T.N.E.: Generalized Inverses: Theory and Applications, 2nd edn. Springer, New York (2003)
Cline, R.E., Greville, T.N.E.: A Drazin inverse for rectangular matrices. Linear Algebra Appl. 29, 53–62 (1980)
Ferreyra, D.E., Levis, F.E., Thome, N.: Revisiting of the core EP inverse and its extension to rectangular matrices. Quaest. Math. 41(2), 265–281 (2018)
Ferreyra, D.E., Levis, F.E., Thome, N.: Characterizations of \(k\)-commutative equalities for some outer generalized inverses. Linear Multilinear Algebra 68(1), 177–192 (2020)
Ferreyra, D.E., Malik, S.B.: The BT inverse. In: Kyrchei, I. (ed.) Generalized Inverses: Algorithms and Applications, pp. 49–76. Nova Science Publishers, New York (2022)
Ferreyra, D.E., Orquera, V., Thome, N.: A weak group inverse for rectangular matrices. Rev. R. Acad. Cienc. Exactas Fis. Nat. Ser. A Math. 113, 3727–3740 (2019)
Ferreyra, D.E., Orquera, V., Thome, N.: Representations of the weighted WG inverse and a rank equation’s solution. Linear Multilinear Algebra 71(2), 226–241 (2023)
Ferreyra, D.E., Thome, N., Torigino, C.: The \(W\)-weighted BT inverse. Quaest. Math. 46(2), 359–374 (2023)
Fuhrmann, P.A.: A functional approach to the Stein equation. Linear Algebra Appl. 432(12), 3031–3071 (2010)
Gao, Y., Chen, J., Patrício, P.: Representations and properties of the W-weighted core-EP inverse. Linear Multilinear Algebra 68(6), 1160–1174 (2020)
Manjunatha Prasad, K., Mohana, K.S.: Core EP inverse. Linear Multilinear Algebra 62(6), 792–802 (2014)
Meng, L.S.: The DMP inverse for rectangular matrices. Filomat 31(19), 6015–6019 (2017)
Mosić, M.: The CMP inverse for rectangular matrices. Aequat. Math. 92, 649–659 (2018)
Mosić, M., Kolundzija, M.Z.: Weighted CMP inverse of an operator between Hilbert spaces. Rev. R. Acad. Cienc. Exactas Fis. Nat. Ser. A Math. 113, 2155–2173 (2019)
Stanimirović, P.S., Katsikis, V.N., Ma, H.: Representations and properties of the \(W\)-weighted Drazin inverse. Linear Multilinear Algebra 65(6), 1080–1096 (2017)
Wang, H.: Core-EP decomposition and its applications. Linear Algebra Appl. 508, 289–300 (2016)
Acknowledgements
We would like to thank the anonymous referees for their careful reading of the paper and their valuable comments and suggestions that help us to improve the reading of the paper.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature. The first and third author are partially supported by Universidad Nacional de Río Cuarto (Grant PPI 18/C559) and CONICET (Grant PIBAA 28720210100658CO). The second author was partially supported by Universidad Nacional de La Pampa, Facultad de Ingeniería (Grant Resol. Nro. 135/19) and Ministerio de Economía, Industria y Competitividad (Spain) [Grant Red de Excelencia RED2022-134176-T].
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors have no Conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ferreyra, D.E., Thome, N. & Torigino, C. Parametrizing W-weighted BT inverse to obtain the W-weighted q-BT inverse. Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 118, 120 (2024). https://doi.org/10.1007/s13398-024-01620-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-024-01620-0