On existence theorems for coupled systems of quadratic Hammerstein-Urysohn integral equations in Orlicz spaces

Ateq Alsaadi; Mohamed M. A. Metwali; Ateq Alsaadi; Mohamed M. A. Metwali

doi:10.3934/math.2022889

AIMS Mathematics

2022, Volume 7, Issue 9: 16278-16295. doi: 10.3934/math.2022889

Previous Article Next Article

Research article

On existence theorems for coupled systems of quadratic Hammerstein-Urysohn integral equations in Orlicz spaces

Ateq Alsaadi ¹,
Mohamed M. A. Metwali ^{2
,
,}

1.
Department of Mathematics and Statistics, College of Science, Taif University, Saudi Arabia
2.
Department of Mathematics, Faculty of Science, Damanhour University, Damanhour, Egypt

Received: 22 March 2022 Revised: 24 May 2022 Accepted: 29 May 2022 Published: 04 July 2022
MSC : 45G10, 47H30, 47N20

We present two existence theorems for a general system of functional quadratic Hammerstein-Urysohn integral equations in arbitrary Orlicz spaces $L_\varphi$ , namely when the generating $N$ -functions fulfill $\Delta'$ and $\Delta_3$ -conditions. The studied system contains many integral equations as special cases such as the Chandrasekhar equations, which have significant applications in technology and different disciplines of science. Our analysis is concerned with the fixed point approach and a measure of noncompactness.

Keywords:

Citation: Ateq Alsaadi, Mohamed M. A. Metwali. On existence theorems for coupled systems of quadratic Hammerstein-Urysohn integral equations in Orlicz spaces[J]. AIMS Mathematics, 2022, 7(9): 16278-16295. doi: 10.3934/math.2022889

Related Papers:

[1]	Yasmina Khiar, Esmeralda Mainar, Eduardo Royo-Amondarain, Beatriz Rubio . High relative accuracy for a Newton form of bivariate interpolation problems. AIMS Mathematics, 2025, 10(2): 3836-3847. doi: 10.3934/math.2025178
[2]	Chih-Hung Chang, Ya-Chu Yang, Ferhat Şah . Reversibility of linear cellular automata with intermediate boundary condition. AIMS Mathematics, 2024, 9(3): 7645-7661. doi: 10.3934/math.2024371
[3]	Yongge Tian . Miscellaneous reverse order laws and their equivalent facts for generalized inverses of a triple matrix product. AIMS Mathematics, 2021, 6(12): 13845-13886. doi: 10.3934/math.2021803
[4]	Yang Chen, Kezheng Zuo, Zhimei Fu . New characterizations of the generalized Moore-Penrose inverse of matrices. AIMS Mathematics, 2022, 7(3): 4359-4375. doi: 10.3934/math.2022242
[5]	Pattrawut Chansangiam, Arnon Ploymukda . Riccati equation and metric geometric means of positive semidefinite matrices involving semi-tensor products. AIMS Mathematics, 2023, 8(10): 23519-23533. doi: 10.3934/math.20231195
[6]	Zongcheng Li, Jin Li . Linear barycentric rational collocation method for solving a class of generalized Boussinesq equations. AIMS Mathematics, 2023, 8(8): 18141-18162. doi: 10.3934/math.2023921
[7]	Maolin Cheng, Bin Liu . A novel method for calculating the contribution rates of economic growth factors. AIMS Mathematics, 2023, 8(8): 18339-18353. doi: 10.3934/math.2023932
[8]	Junsheng Zhang, Lihua Hao, Tengyun Jiao, Lusong Que, Mingquan Wang . Mathematical morphology approach to internal defect analysis of A356 aluminum alloy wheel hubs. AIMS Mathematics, 2020, 5(4): 3256-3273. doi: 10.3934/math.2020209
[9]	Sizhong Zhou, Quanru Pan . The existence of subdigraphs with orthogonal factorizations in digraphs. AIMS Mathematics, 2021, 6(2): 1223-1233. doi: 10.3934/math.2021075
[10]	Salman Zeb, Muhammad Yousaf, Aziz Khan, Bahaaeldin Abdalla, Thabet Abdeljawad . Updating $QR$ factorization technique for solution of saddle point problems. AIMS Mathematics, 2023, 8(1): 1672-1681. doi: 10.3934/math.2023085

Abstract

1. Introduction

Throughout this article, ${\mathbb C}^{m \times n}$ denotes the collection of all $m \times n$ matrices over the field of complex numbers, $A^{\ast}$ denotes the conjugate transpose of $A \in {\mathbb C}^{m \times n}$ , $r(A)$ denotes the rank of $A \in {\mathbb C}^{m \times n}$ , ${\mathscr R}(A)$ denotes the range of $A \in {\mathbb C}^{m \times n}$ , $I_m$ denotes the identity matrix of order $m$ , and $[\, A, \, B\, ]$ denotes a row block matrix consisting of $A\in {\mathbb C}^{m \times n}$ and $B\in {\mathbb C}^{m \times p}$ . The Moore-Penrose generalized inverse of $A \in {\mathbb C}^{m \times n}$ , denoted by $A^{\dagger}$ , is the unique matrix $X \in {\mathbb C}^{n \times m}$ satisfying the four Penrose equations

${\rm (1)} \ AXA = A, \ \ {\rm (2)} \ XAX = X, \ \ {\rm (3)} \ (AX)^{*} = AX, \ \ {\rm (4)} \ (XA)^{*} = XA.$

Further, we denote by

$\begin{align} P_A = AA^{\dagger}, \ \ E_{A} = I_m - AA^{\dagger} \end{align}$

(1.1)

the two orthogonal projectors induced from $A\in {\mathbb C}^{m \times n}$ . For more detailed information regarding generalized inverses of matrices, we refer the reader to ^[2,3,4].

Recall that the well-known Kronecker product of any two matrices $A = (a_{ij}) \in {\mathbb C}^{m \times n}$ and $B = (b_{ij}) \in {\mathbb C}^{p \times q}$ is defined to be

$A \otimes B = (a_{ij}B) = \begin{bmatrix} a_{11}B & a_{12}B & \cdots & a_{1n}B \\ a_{21}B & a_{22}B & \cdots & a_{2n}B \\ \vdots & \vdots & \ddots & \vdots \\ a_{m1}B & a_{m2}B & \cdots & a_{mn}B \end{bmatrix} \in {\mathbb C}^{mp \times nq}.$

The Kronecker product, named after German mathematician Leopold Kronecker, was classified to be a special kind of matrix operation, which has been regarded as an important matrix operation and mathematical technique. This product has wide applications in system theory, matrix calculus, matrix equations, system identification and more (cf. ^{[1,5,6,7,8,9,10,11,12,13,14,16,18,19,20,21,23,24,25,27,28,33,34]}). It has been known that the matrices operations based on Kronecker products have a series of rich and good structures and properties, and thus they have many significant applications in the research areas of both theoretical and applied mathematics. In fact, mathematicians established a variety of useful formulas and facts related to the products and used them to deal with various concrete scientific computing problems. Specifically, the basic facts on Kronecker products of matrices in the following lemma were highly appraised and recognized (cf. ^{[15,17,21,32,34]}).

Fact 1.1. Let $A \in {\mathbb C}^{m \times n},$ $B \in {\mathbb C}^{p \times q},$ $C \in {\mathbb C}^{n \times s},$ and $D\in {\mathbb C}^{q \times t}.$ Then $,$ the following equalities hold $:$

$\begin{align} & \ \ \ \ \ \ (A \otimes B)(C \otimes D) = (AC) \otimes (BD), \end{align}$

(1.2)

$\begin{align} & (A \otimes B)^{*} = A^{*} \otimes B^{*}, \ \ \ (A \otimes B)^{\dagger} = A^{\dagger} \otimes B^{\dagger}, \end{align}$

(1.3)

$\begin{align} & P_{A\otimes B} = P_{A} \otimes P_{B}, \ \ \ \ \ \ r(A \otimes B) = r(A)r(B). \end{align}$

(1.4)

In addition, the Kronecker product of matrices has a rich variety of algebraic operation properties. For example, one of the most important features is that the product $A_1 \otimes A_2$ can be factorized as certain ordinary products of matrices:

$\begin{align} A_1 \otimes A_2 = (A_1 \otimes I_{m_2})(I_{n_1} \otimes A_2) = (I_{m_1} \otimes A_2)(A_1 \otimes I_{n_2}) \end{align}$

(1.5)

for any $A_1 \in {\mathbb C}^{m_1 \times n_1}$ and $A_2 \in {\mathbb C}^{m_2 \times n_2}$ , and the triple Kronecker product $A_1 \otimes A_2 \otimes A_3$ can be written as

$\begin{align} A_1 \otimes A_2 \otimes A_3 & = (A_1\otimes I_{m_2} \otimes I_{m_3})(I_{n_1} \otimes A_2 \otimes I_{m_3})(I_{n_1} \otimes I_{n_2} \otimes A_3) , \end{align}$

(1.6)

$\begin{align} A_1 \otimes A_2 \otimes A_3 & = (I_{n_1} \otimes A_2 \otimes I_{m_3})(I_{n_1}(I_{n_1} \otimes I_{n_2} \otimes A_3) (A_1\otimes I_{m_2} \otimes I_{m_3}), \end{align}$

(1.7)

$\begin{align} A_1 \otimes A_2 \otimes A_3 & = (I_{m_1} \otimes I_{m_2} \otimes A_3)(A_1 \otimes I_{n_2} \otimes I_{n_3})(I_{m_1} \otimes A_2 \otimes I_{n_3}) \end{align}$

(1.8)

for any $A_1 \in {\mathbb C}^{m_1 \times n_1}$ , $A_2 \in {\mathbb C}^{m_2 \times n_2}$ and $A_3 \in {\mathbb C}^{m_3 \times n_3}$ , where the five matrices in the parentheses on the right hand sides of (1.5)–(1.8) are usually called the dilation expressions of the given three matrices $A_1$ , $A_2$ and $A_3$ , and the four equalities in (1.5)–(1.8) are called the dilation factorizations of the Kronecker products $A_1 \otimes A_2$ and $A_1 \otimes A_2 \otimes A_3$ , respectively. A common feature of the four matrix equalities in (1.5)–(1.8) is that they factorize Kronecker products of any two or three matrices into certain ordinary products of the dilation expressions of $A_1$ , $A_2$ and $A_3$ . Particularly, a noticeable fact we have to point out is that the nine dilation expressions of matrices in (1.5)–(1.8) commute each other by the well-known mixed-product property in (1.2) when $A_1$ , $A_2$ and $A_3$ are all square matrices. It can further be imagined that there exists proper extension of the dilation factorizations to Kronecker products of multiple matrices. Although the dilation factorizations in (1.5)–(1.8) seem to be technically trivial in form, they can help deal with theoretical and computational issues regarding Kronecker products of two or three matrices through the ordinary addition and multiplication operations of matrices.

In this article, we provide a new analysis of performances and properties of Kronecker products of matrices, as well as present a wide range of novel and explicit facts and results through the dilation factorizations described in (1.5)–(1.8) for the purpose of obtaining a deeper understanding and grasping of Kronecker products of matrices, including a number of analytical formulas for calculating ranks, dimensions, orthogonal projectors, and ranges of the dilation expressions of matrices and their algebraic operations.

The remainder of article is organized as follows. In section two, we introduce some preliminary facts and results concerning ranks, ranges, and generalized inverses of matrices. In section three, we propose and prove a collection of useful equalities, inequalities, and formulas for calculating the ranks, dimensions, orthogonal projectors, and ranges associated with the Kronecker products $A_1 \otimes A_2$ and $A_1 \otimes A_2 \otimes A_3$ through the dilation expressions of $A_1$ , $A_2$ and $A_3$ and their operations. Conclusions and remarks are given in section four.

2. Some preliminaries

One of the remarkable applications of generalized inverses of matrices is to establish various exact and analytical expansion formulas for calculating the ranks of partitioned matrices. As convenient and skillful tools, these matrix rank formulas can be used to deal with a wide variety of theoretical and computational issues in matrix theory and its applications (cf. ^[22]). In this section, we present a mixture of commonly used formulas and facts in relation to ranks of matrices and their consequences about the commutativity of two orthogonal projectors, which we shall use as analytical tools to approach miscellaneous formulas related to Kronecker products of matrices.

Lemma 2.1. ^[22,29] Let $A \in {\mathbb C}^{m \times n}$ and $B \in {\mathbb C}^{ m \times k}.$ Then $,$ the following rank equalities

$\begin{align} & r[A, \, B] = r(A) + r(E_AB) = r(B) + r(E_BA), \end{align}$

(2.1)

$\begin{align} & r[A, \, B] = r(A) + r(B) - 2r(A^*B) + r[P_{A}P_{B}, \, P_{B}P_{A}], \end{align}$

(2.2)

$\begin{align} & r[A, \, B] = r(A) + r(B) - r(A^*B) + 2^{-1}r(P_AP_B - P_BP_A), \end{align}$

(2.3)

$\begin{align} & r[A, \, B] = r(A) + r(B) - r(A^*B) + r(P_{[A, \, B]} - P_A - P_B + P_AP_B) \end{align}$

(2.4)

hold $.$ Therefore $,$

$\begin{align} P_AP_B = P_BP_A &\Leftrightarrow P_{[A, \, B]} = P_A + P_B - P_AP_B \\ &\Leftrightarrow r(E_AB) = r(B) - r(A^*B) \\ & \Leftrightarrow r[A, \, B] = r(A) + r(B) - r(A^*B) \\ & \Leftrightarrow {\mathscr R}(P_{A}P_{B}) = {\mathscr R}(P_{B}P_{A}). \end{align}$

(2.5)

If $P_AP_B = P_BP_A,$ $P_AP_C = P_CP_A$ and $P_BP_C = P_CP_B,$ then

$\begin{align} P_{[A, \, B, \, C]} = P_A + P_B + P_C - P_AP_B - P_AP_C - P_BP_C + P_AP_BP_C. \end{align}$

(2.6)

Lemma 2.2. ^[30] Let $A, \, B$ and $C \in {\mathbb C}^{m \times m}$ be three idempotent matrices $.$ Then $,$ the following rank equality

$\begin{align} r[A, \, B, \, C] & = r(A) + r(B) + r(C) - r[AB, \, AC] - r[BA, \, BC] - r[CA, \, CB] \\ & \ \ \ + r[AB, \, AC, \, BA, \, BC, \, CA, \, CB] \end{align}$

(2.7)

holds $.$ As a special instance $,$ if $AB = BA,$ $AC = CA$ and $BC = CB,$ then

$\begin{align} r[A, \, B, \, C] & = r(A) + r(B) + r(C) - r[AB, \, AC] - r[BA, \, BC] - r[CA, \, CB] + r[AB, \, AC, \, BC]. \end{align}$

(2.8)

The formulas and facts in the above two lemmas belong to mathematical competencies and conceptions in ordinary linear algebra. Thus they can easily be understood and technically be utilized to establish and simplify matrix expressions and equalities consisting of matrices and their generalized inverses.

3. Main results

We first establish a group of formulas and facts associated with the orthogonal projectors, ranks, dimensions, and ranges of the matrix product in (1.5).

Theorem 3.1. Let $A_1 \in {\mathbb C}^{m_1 \times n_1}$ and $A_2 \in {\mathbb C}^{m_2 \times n_2},$ and denote by

$M_1 = A_1 \otimes I_{m_2}, \ \ M_2 = I_{m_1} \otimes A_2$

the two dilation expressions of $A_1$ and $A_2,$ respectively $.$ Then $,$ we have the following results $.$

${\rm (a)}$ The following orthogonal projector equalities hold $:$

$\begin{align} P_{A_1 \otimes A_2} = P_{M_1}P_{M_2} = P_{M_2}P_{M_1} = P_{A_1} \otimes P_{A_2}. \end{align}$

(3.1)

${\rm (b)}$ The following four rank equalities hold $:$

$\begin{align} r[A_1 \otimes I_{m_2}, \, I_{m_1} \otimes A_2] & = m_1m_2 - (m_1 - r(A_1))(m_2 - r(A_2)), \end{align}$

(3.2)

$\begin{align} r[A_1 \otimes I_{m_2}, \, I_{m_1} \otimes E_{A_2}] & = m_1m_2 - (m_1 - r(A_1))r(A_2), \end{align}$

(3.3)

$\begin{align} r[E_{A_1} \otimes I_{m_2}, \, I_{m_1} \otimes A_2] & = m_1m_2 - r(A_1)(m_2 - r(A_2)), \end{align}$

(3.4)

$\begin{align} r[E_{A_1} \otimes I_{m_2}, \, I_{m_1} \otimes E_{A_2}] & = m_1m_2 - r(A_1)r(A_2), \end{align}$

(3.5)

and the following five dimension equalities hold $:$

$\begin{align} \dim( {\mathscr R}(M_1)\cap {\mathscr R}(M_2)) & = r(M_1M_2) = r(A_1)r(A_2), \end{align}$

(3.6)

$\begin{align} \dim( {\mathscr R}(M_1)\cap {\mathscr R}^{\perp}(M_2)) & = r(M_1E_{M_2}) = r(A_1)(m_2 - r(A_2)), \end{align}$

(3.7)

$\begin{align} \dim( {\mathscr R}^{\perp}(M_1)\cap {\mathscr R}(M_2)) & = r(E_{M_1}M_2) = (m_1 - r(A_1))r(A_2), \end{align}$

(3.8)

$\begin{align} \dim( {\mathscr R}^{\perp}(M_1)\cap {\mathscr R}^{\perp}(M_2)) & = r(E_{M_1}E_{M_2}) = (m_1 - r(A_1))(m_2 - r(A_2)), \end{align}$

(3.9)

$\begin{align} &\dim( {\mathscr R}(M_1)\cap {\mathscr R}(M_2)) + \dim( {\mathscr R}(M_1)\cap {\mathscr R}^{\perp}(M_2)) + \dim( {\mathscr R}^{\perp}(M_1)\cap {\mathscr R}^{\perp}(M_2)) \\ & \ + \dim( {\mathscr R}^{\perp}(M_1)\cap {\mathscr R}^{\perp}(M_2)) = m_1m_2. \end{align}$

(3.10)

${\rm (c)}$ The following range equalities hold $:$

$\begin{align} {\mathscr R}(M_1)\cap {\mathscr R}(M_2) & = {\mathscr R}(M_1M_2) = {\mathscr R}(M_2M_1) = {\mathscr R}(A_1 \otimes A_2), \end{align}$

(3.11)

$\begin{align} {\mathscr R}(M_1)\cap {\mathscr R}^{\perp}(M_2) & = {\mathscr R}(M_1E_{M_2}) = {\mathscr R}(E_{M_2}M_1) = {\mathscr R}(A_1 \otimes E_{A_2}), \end{align}$

(3.12)

$\begin{align} {\mathscr R}^{\perp}(M_1)\cap {\mathscr R}(M_2) & = {\mathscr R}(E_{M_1}M_2) = {\mathscr R}(M_2E_{M_1}) = {\mathscr R}(E_{A_1} \otimes A_2), \end{align}$

(3.13)

$\begin{align} {\mathscr R}^{\perp}(M_1)\cap {\mathscr R}^{\perp}(M_2) & = {\mathscr R}(E_{M_1}E_{M_2}) = {\mathscr R}(E_{M_2}E_{M_1}) = {\mathscr R}(E_{A_1} \otimes E_{A_2}), \end{align}$

(3.14)

$\begin{align} & ( {\mathscr R}(M_1)\cap {\mathscr R}(M_2)) \oplus ( {\mathscr R}^{\perp}(M_1)\cap {\mathscr R}(M_2)) \oplus ( {\mathscr R}(M_1)\cap {\mathscr R}^{\perp}(M_2)) \oplus ( {\mathscr R}^{\perp}(M_1)\cap {\mathscr R}^{\perp}(M_2)) \\ & = {\mathbb C}^{m_1m_2}. \end{align}$

(3.15)

${\rm (d)}$ The following orthogonal projector equalities hold $:$

$\begin{align} &P_{ {\mathscr R}(M_1)\cap {\mathscr R}(M_2)} = P_{M_1}P_{M_2} = P_{A_1}\otimes P_{A_2}, \end{align}$

(3.16)

$\begin{align} & P_{ {\mathscr R}(M_1)\cap {\mathscr R}^{\perp}(M_2)} = P_{M_1}E_{M_2} = P_{A_1}\otimes E_{A_2}, \end{align}$

(3.17)

$\begin{align} &P_{ {\mathscr R}^{\perp}(M_1)\cap {\mathscr R}(M_2)} = E_{M_1}P_{M_2} = E_{A_1}\otimes P_{A_2}, \end{align}$

(3.18)

$\begin{align} &P_{ {\mathscr R}^{\perp}(M_1)\cap {\mathscr R}^{\perp}(M_2)} = E_{M_1}E_{M_2} = E_{A_1}\otimes E_{A_2}, \end{align}$

(3.19)

$\begin{align} & P_{ {\mathscr R}(M_1)\cap {\mathscr R}(M_2)} + P_{ {\mathscr R}^{\perp}(M_1)\cap {\mathscr R}(M_2)} + P_{ {\mathscr R}(M_1)\cap {\mathscr R}^{\perp}(M_2)} + P_{ {\mathscr R}^{\perp}(M_1)\cap {\mathscr R}^{\perp}(M_2)} = I_{m_1m_2}. \end{align}$

(3.20)

${\rm (e)}$ The following orthogonal projector equalities hold $:$

$\begin{align} P_{[A_1 \otimes I_{m_2}, \, I_{m_1} \otimes A_2]} & = P_{A_1} \otimes I_{m_2} + I_{m_1} \otimes P_{A_2} - P_{A_1} \otimes P_{A_2} = I_{m_1m_2} - E_{A_1} \otimes E_{A_2}, \end{align}$

(3.21)

$\begin{align} P_{[A_1 \otimes I_{m_2}, \, I_{m_1} \otimes E_{A_2}]} & = P_{A_1} \otimes I_{m_2} + I_{m_1} \otimes E_{A_2} - P_{A_1} \otimes E_{A_2} = I_{m_1m_2} - E_{A_1} \otimes P_{A_2}, \end{align}$

(3.22)

$\begin{align} P_{[E_{A_1} \otimes I_{m_2}, \, I_{m_1} \otimes A_2]} & = E_{A_1} \otimes I_{m_2} + I_{m_1} \otimes P_{A_2} - E_{A_1} \otimes P_{A_2} = I_{m_1m_2} - P_{A_1} \otimes E_{A_2}, \end{align}$

(3.23)

$\begin{align} P_{[E_{A_1} \otimes I_{m_2}, \, I_{m_1} \otimes E_{A_2}]} & = E_{A_1} \otimes I_{m_2} + I_{m_1} \otimes E_{A_2} - E_{A_1} \otimes E_{A_2} = I_{m_1m_2} - P_{A_1} \otimes P_{A_2}. \end{align}$

(3.24)

Proof. It can be seen from (1.2) and (1.4) that

$\begin{align*} P_{M_1}P_{M_2} & = (A_1 \otimes I_{m_2})(A_1 \otimes I_{m_2})^{\dagger}(I_{m_1} \otimes A_2)(I_{m_1} \otimes A_2)^{\dagger} \\ & = (A_1 \otimes I_{m_2})(A_1^{\dagger} \otimes I_{m_2})(I_{m_1} \otimes A_2)(I_{m_1} \otimes A_2^{\dagger}) \\ & = (P_{A_1} \otimes I_{m_2})(I_{m_1} \otimes P_{A_2}) \\ & = P_{A_1} \otimes P_{A_2}, \\ P_{M_2}P_{M_1} & = (I_{m_1} \otimes A_2)(I_{m_1} \otimes A_2)^{\dagger}(A_1 \otimes I_{m_2})(A_1 \otimes I_{m_2})^{\dagger} \\ & = (I_{m_1} \otimes A_2)(I_{m_1} \otimes A_2^{\dagger})(A_1 \otimes I_{m_2})(A_1^{\dagger} \otimes I_{m_2}) \\ & = (I_{m_1} \otimes P_{A_2})(P_{A_1} \otimes I_{m_2}) \\ & = P_{A_1} \otimes P_{A_2}, \end{align*}$

thus establishing (3.1).

Applying (2.1) to $[A_1 \otimes I_{m_2}, \, I_{m_1} \otimes A_2]$ and then simplifying by (1.2)–(1.4) yields

$\begin{align*} r[A_1 \otimes I_{m_2}, \, I_{m_1} \otimes A_2] & = r(A_1 \otimes I_{m_2}) + r((I_{m_1m_2} - (A_1 \otimes I_{m_2})(A_1 \otimes I_{m_2})^{\dagger})(I_{m_1} \otimes A_2)) \nonumber \\ & = r(A_1 \otimes I_{m_2}) + r((I_{m_1m_2} - (A_1 \otimes I_{m_2})(A_1^{\dagger} \otimes I_{m_2}))(I_{m_1} \otimes A_2)) \nonumber \\ & = r(A_1 \otimes I_{m_2}) + r((I_{m_1m_2} - (A_1A_1^{\dagger}) \otimes I_{m_2})(I_{m_1} \otimes A_2)) \nonumber \\ & = m_2r(A_1) + r((I_{m_1} - A_1A_1^{\dagger})\otimes I_{m_2})(I_{m_1} \otimes A_2)) \nonumber \\ & = m_2r(A_1) + r((I_{m_1} - A_1A_1^{\dagger})\otimes A_2)) \nonumber \\ & = m_2r(A_1) + r(I_{m_1} - A_1A_1^{\dagger})r(A_2) \nonumber \\ & = m_2r(A_1) + (m_1 - r(A_1))r(A_2) \nonumber \\ & = m_1m_2 - (m_1 - r(A_1))(m_2 - r(A_2)), \end{align*}$

as required for (3.2). In addition, (3.2) can be directly established by applying (2.5) to the left hand side of (3.2). Equations (3.3)–(3.5) can be obtained by a similar approach. Subsequently by (3.2),

$\begin{align*} & \dim( {\mathscr R}(M_1)\cap {\mathscr R}(M_2)) = r(M_1) + r(M_2) - r[M_1, \, M_2] = r(A_1)r(A_2), \end{align*}$

as required for (3.6). Equations (3.7)–(3.9) can be established by a similar approach. Adding (3.7)–(3.9) leads to (3.10).

The first two equalities in (3.11) follow from (3.6), and the last two range equalities follow from (3.1).

Equations (3.12)–(3.14) can be established by a similar approach. Adding (3.11)–(3.14) and combining with (3.10) leads to (3.15).

Equations (3.16)–(3.19) follow from (3.11)–(3.14). Adding (3.16)–(3.19) leads to (3.20).

Under (3.1), we find from (2.5) that

$P_{[M_1, \, M_2]} = P_{M_1} + P_{M_2} - P_{M_1}P_{M_2} = P_{A_1} \otimes I_{m_2} + I_{m_1} \otimes P_{A_2} - P_{A_1} \otimes P_{A_2} = I_{m_1m_2} - E_{A_1} \otimes E_{A_2},$

as required for (3.21). Equations (3.22)–(3.24) can be established by a similar approach. □

Equation (3.2) was first shown in ^[7]; see also ^[27] for some extended forms of (3.2). Obviously, Theorem 3.1 reveals many performances and properties of Kronecker products of matrices, and it is no doubt that they can be used as analysis tools to deal with various matrix equalities composed of algebraic operations of Kronecker products of matrices. For example, applying the preceding results to the Kronecker sum and difference $A_1 \otimes I_{m_2} \pm I_{m_1} \otimes A_2$ for two idempotent matrices $A_1$ and $A_2$ , we obtain the following interesting consequences.

Theorem 3.2. Let $A_1\in {\mathbb C}^{m_1 \times m_1}$ and $A_2 \in {\mathbb C}^{m_2 \times m_2}.$ Then $,$ the following rank inequality

$\begin{align} r(A_1 \otimes I_{m_2} + I_{m_1} \otimes A_2) \geq m_1r(A_2) + m_2r(A_1) - 2r(A_1)r(A_2) \end{align}$

(3.25)

holds $.$ If $A_1 = A_1^2$ and $A_2 = A_2^2,$ then the following two rank equalities hold $:$

$\begin{align} r(A_1 \otimes I_{m_2} + I_{m_1} \otimes A_2) & = m_1r(A_2) + m_2r(A_1) - r(A_1)r(A_2), \end{align}$

(3.26)

$\begin{align} r(A_1 \otimes I_{m_2} - I_{m_1} \otimes A_2) & = m_1r(A_2) + m_2r(A_1) - 2r(A_1)r(A_2). \end{align}$

(3.27)

Proof. Equation (3.25) follows from applying the following well-known rank inequality (cf. ^[22])

$\begin{align*} r(A + B) \geq r\begin{bmatrix} A \\ B \end{bmatrix} + r[A, \, B] - r(A) - r(B) \end{align*}$

and (2.1) to $A_1 \otimes I_{m_2} + I_{m_1} \otimes A_2$ . Specifically, if $A_1 = A_1^2$ and $A_2 = A_2^2,$ then it is easy to verify that $(A_1 \otimes I_{m_2})^2 = A_1^2 \otimes I_{m_2} = A_1 \otimes I_{m_2}$ and $(I_{m_1} \otimes A_2)^2 = I_{m_1} \otimes A_2^2 = I_{m_1} \otimes A_2$ under $A_1^2 = A_1$ and $A_2^2 = A_2$ . In this case, applying the following two known rank formulas

$\begin{align*} r(A + B) & = r\begin{bmatrix} A & B \\ B & 0 \end{bmatrix} - r(B) = r\begin{bmatrix} B & A \\ A & 0 \end{bmatrix} - r(A), \\ r(A - B) & = r\begin{bmatrix} A \\ B \end{bmatrix} + r[A, \, B] - r(A) - r(B), \end{align*}$

where $A$ and $B$ are two idempotent matrices of the same size (cf. ^[29,31]), to $A_1 \otimes I_{m_2} \pm I_{m_1} \otimes A_2$ and then simplifying by (2.1) and (3.2) yields (3.26) and (3.27), respectively. □

Undoubtedly, the above two theorems reveal some essential relations among the dilation forms of two matrices by Kronecker products, which demonstrate that there still exist various concrete research topics on the Kronecker product of two matrices with analytical solutions that can be proposed and obtained. As a natural and useful generalization of the preceding formulas, we next give a diverse range of results related to the three-term Kronecker products of matrices in (1.6).

Theorem 3.3. Let $A_1 \in {\mathbb C}^{m_1 \times n_1}, \, A_2 \in {\mathbb C}^{m_2 \times n_2}$ and $A_3 \in {\mathbb C}^{m_3 \times n_3},$ and let

$\begin{align} X_1 = A_1 \otimes I_{m_2} \otimes I_{m_3}, \ \ X_2 = I_{m_1} \otimes A_2 \otimes I_{m_3}, \ \ X_3 = I_{m_1} \otimes I_{m_2} \otimes A_3 \end{align}$

(3.28)

denote the three dilation expressions of $A_1,$ $A_2$ and $A_3,$ respectively $.$ Then $,$ we have the following results $.$

${\rm (a)}$ The following three orthogonal projector equalities hold $:$

$\begin{align} P_{X_1} = P_{A_1} \otimes I_{m_2} \otimes I_{m_3}, \ \ P_{X_2} = I_{m_1} \otimes P_{A_2} \otimes I_{m_3}, \ \ P_{X_3} = I_{m_1} \otimes I_{m_2} \otimes P_{A_3}, \end{align}$

(3.29)

the following equalities hold $:$

$\begin{align} & P_{X_1}P_{X_2} = P_{X_2}P_{X_1} = P_{A_1} \otimes P_{A_2} \otimes I_{m_3}, \end{align}$

(3.30)

$\begin{align} & P_{X_1}P_{X_3} = P_{X_3}P_{X_1} = P_{A_1} \otimes I_{m_2} \otimes P_{A_3}, \end{align}$

(3.31)

$\begin{align} & P_{X_2}P_{X_3} = P_{X_3}P_{X_2} = I_{m_1} \otimes P_{A_2} \otimes P_{A_3}, \end{align}$

(3.32)

and the equalities hold $:$

$\begin{align} P_{A_1 \otimes A_2 \otimes A_3} = P_{X_1}P_{X_2}P_{X_3} = P_{A_1} \otimes P_{A_2} \otimes P_{A_3}. \end{align}$

(3.33)

${\rm (b)}$ The following eight rank equalities hold $:$

$\begin{align} & r[A_1 \otimes I_{m_2} \otimes I_{m_3}, \, I_{m_1} \otimes A_2 \otimes I_{m_3}, \, I_{m_1} \otimes I_{m_2} \otimes A_3] \\ & \ \ = m_1m_2m_3 - (m_1 - r(A_1))(m_2 - r(A_2))(m_3 - r(A_3)), \end{align}$

(3.34)

$\begin{align} & r[A_1 \otimes I_{m_2} \otimes I_{m_3}, \, I_{m_1} \otimes A_2 \otimes I_{m_3}, \, I_{m_1} \otimes I_{m_2} \otimes E_{A_3}] \\ & \ \ = m_1m_2m_3 - (m_1 - r(A_1))(m_2 - r(A_2))r(A_3), \end{align}$

(3.35)

$\begin{align} & r[A_1 \otimes I_{m_2} \otimes I_{m_3}, \, I_{m_1} \otimes E_{A_2} \otimes I_{m_3}, \, I_{m_1} \otimes I_{m_2} \otimes A_3] \\ & \ \ = m_1m_2m_3 - (m_1 - r(A_1))r(A_2)(m_3 - r(A_3)), \end{align}$

(3.36)

$\begin{align} & r[E_{A_1} \otimes I_{m_2} \otimes I_{m_3}, \, I_{m_1} \otimes A_2 \otimes I_{m_3}, \, I_{m_1} \otimes I_{m_2} \otimes A_3] \\ & \ \ = m_1m_2m_3 - r(A_1)(m_2 - r(A_2))(m_3 - r(A_3)), \end{align}$

(3.37)

$\begin{align} & r[A_1 \otimes I_{m_2} \otimes I_{m_3}, \, I_{m_1} \otimes E_{A_2} \otimes I_{m_3}, \, I_{m_1} \otimes I_{m_2} \otimes E_{A_3}] \\ & \ \ = m_1m_2m_3 - (m_1 - r(A_1))r(A_2)r(A_3), \end{align}$

(3.38)

$\begin{align} & r[E_{A_1} \otimes I_{m_2} \otimes I_{m_3}, \, I_{m_1} \otimes A_2 \otimes I_{m_3}, \, I_{m_1} \otimes I_{m_2} \otimes E_{A_3}] \\ & \ \ = m_1m_2m_3 - r(A_1)(m_2 - r(A_2))r(A_3), \end{align}$

(3.39)

$\begin{align} & r[E_{A_1} \otimes I_{m_2} \otimes I_{m_3}, \, I_{m_1} \otimes E_{A_2} \otimes I_{m_3}, \, I_{m_1} \otimes I_{m_2} \otimes A_3] \\ & \ \ = m_1m_2m_3 - r(A_1)r(A_2)(m_3 - r(A_3)), \end{align}$

(3.40)

$\begin{align} & r[E_{A_1} \otimes I_{m_2} \otimes I_{m_3}, \, I_{m_1} \otimes E_{A_2} \otimes I_{m_3}, \, I_{m_1} \otimes I_{m_2} \otimes E_{A_3}] \\ & = m_1m_2m_3 - r(A_1)r(A_2)r(A_3), \end{align}$

(3.41)

the following eight dimension equalities hold $:$

$\begin{align} & \dim( {\mathscr R}(X_1)\cap {\mathscr R}(X_2)\cap {\mathscr R}(X_3)) = r(A_1)r(A_2)r(A_3), \end{align}$

(3.42)

$\begin{align} & \dim( {\mathscr R}(X_1)\cap {\mathscr R}(X_2)\cap {\mathscr R}^{\perp}(X_3)) = r(A_1)r(A_2)(m_3 - r(A_3)), \end{align}$

(3.43)

$\begin{align} & \dim( {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}(X_3)) = r(A_1)(m_2 - r(A_2)) r(A_3), \end{align}$

(3.44)

$\begin{align} & \dim( {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}(X_3)) = (m_1 - r(A_1))r(A_2)r(A_3), \end{align}$

(3.45)

$\begin{align} & \dim( {\mathscr R}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}^{\perp}(X_3)) = r(A_1)(m_2 - r(A_2))(m_3 - r(A_3)), \end{align}$

(3.46)

$\begin{align} & \dim( {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}(X_2)\cap {\mathscr R}^{\perp}(X_3)) = (m_1 - r(A_1))r(A_2)(m_3 - r(A_3)), \end{align}$

(3.47)

$\begin{align} & \dim( {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}(X_3)) = (m_1 - r(A_1))(m_2 - r(A_2))r(A_3), \end{align}$

(3.48)

$\begin{align} & \dim( {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}^{\perp}(X_3)) = (m_1 - r(A_1))(m_2 - r(A_2))(m_3 - r(A_3)), \end{align}$

(3.49)

and the following dimension equality holds $:$

$\begin{align} & \dim( {\mathscr R}(X_1)\cap {\mathscr R}(X_2)\cap {\mathscr R}(X_3)) + \dim( {\mathscr R}(X_1)\cap {\mathscr R}(X_2)\cap {\mathscr R}^{\perp}(X_3)) \\ & \ \ + \dim( {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}(X_3)) + \dim( {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}(X_3)) \\ & \ \ + \dim( {\mathscr R}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}^{\perp}(X_3)) + \dim( {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}(X_2)\cap {\mathscr R}^{\perp}(X_3)) \\ & \ \ + \dim( {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}(X_3)) + \dim( {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}^{\perp}(X_3) \\ & = m_1m_2m_3. \end{align}$

(3.50)

${\rm (c)}$ The following eight groups of range equalities hold $:$

$\begin{align} {\mathscr R}(X_1)\cap {\mathscr R}(X_2)\cap {\mathscr R}(X_3) & = {\mathscr R}(X_1X_2X_3) = {\mathscr R}(A_1 \otimes A_2\otimes A_3), \end{align}$

(3.51)

$\begin{align} {\mathscr R}(X_1)\cap {\mathscr R}(X_2)\cap {\mathscr R}^{\perp}(X_3) & = {\mathscr R}(X_1X_2E_{X_3}) = {\mathscr R}(A_1 \otimes A_2 \otimes E_{A_3}), \end{align}$

(3.52)

$\begin{align} {\mathscr R}(X_1)\cap {\mathscr R}^{\perp}({X_2})\cap {\mathscr R}(X_3) & = {\mathscr R}(X_1E_{X_2}X_3) = {\mathscr R}(A_1 \otimes E_{A_2}\otimes A_3), \end{align}$

(3.53)

$\begin{align} {\mathscr R}^{\perp}({X_1})\cap {\mathscr R}(X_2)\cap {\mathscr R}(X_3) & = {\mathscr R}(E_{X_1}X_2X_3) = {\mathscr R}(E_{A_1} \otimes A_2\otimes A_3), \end{align}$

(3.54)

$\begin{align} {\mathscr R}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}^{\perp}(X_3) & = {\mathscr R}(X_1E_{X_2}E_{X_3}) = {\mathscr R}(A_1 \otimes E_{A_2}\otimes E_{A_3}), \end{align}$

(3.55)

$\begin{align} {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}(X_2)\cap {\mathscr R}^{\perp}(X_3) & = {\mathscr R}(E_{X_1}X_2E_{X_3}) = {\mathscr R}(E_{A_1} \otimes A_2 \otimes E_{A_3}), \end{align}$

(3.56)

$\begin{align} {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}^{\perp}({X_2})\cap {\mathscr R}(X_3) & = {\mathscr R}(X_1E_{X_2}X_3) = {\mathscr R}(E_{A_1} \otimes E_{A_2} \otimes A_3), \end{align}$

(3.57)

$\begin{align} {\mathscr R}^{\perp}({X_1})\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}^{\perp}(X_3) & = {\mathscr R}(E_{X_1}E_{X_2}E_{X_3}) = {\mathscr R}(E_{A_1} \otimes E_{A_2}\otimes E_{A_3}), \end{align}$

(3.58)

and the following direct sum equality holds $:$

$\begin{align} & ( {\mathscr R}(X_1)\cap {\mathscr R}(X_2)\cap {\mathscr R}(X_3)) \oplus ( {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}(X_2)\cap {\mathscr R}(X_3)) \\ & \oplus ( {\mathscr R}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}(X_3)) \oplus ( {\mathscr R}(X_1)\cap {\mathscr R}(X_2)\cap {\mathscr R}^{\perp}(X_3)) \\ & \oplus ( {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}(X_3)) \oplus ( {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}(X_2)\cap {\mathscr R}^{\perp}(X_3)) \\ & \oplus( {\mathscr R}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}^{\perp}(X_3)) \oplus ( {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}^{\perp}(X_3)) \\ & = {\mathbb C}^{m_1m_2m_3}. \end{align}$

(3.59)

${\rm (d)}$ The following eight orthogonal projector equalities hold $:$

$\begin{align} P_{ {\mathscr R}(X_1)\cap {\mathscr R}(X_2)\cap {\mathscr R}(X_3)} & = P_{A_1}\otimes P_{A_2} \otimes P_{A_3}, \end{align}$

(3.60)

$\begin{align} P_{ {\mathscr R}(X_1)\cap {\mathscr R}(X_2)\cap {\mathscr R}^{\perp}(X_3)} & = P_{A_1}\otimes P_{A_2} \otimes E_{A_3}, \end{align}$

(3.61)

$\begin{align} P_{ {\mathscr R}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}(X_3)} & = P_{A_1}\otimes E_{A_2} \otimes P_{A_3}, \end{align}$

(3.62)

$\begin{align} P_{ {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}(X_2)\cap {\mathscr R}(X_3)} & = E_{A_1}\otimes P_{A_2} \otimes P_{A_3}, \end{align}$

(3.63)

$\begin{align} P_{ {\mathscr R}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}^{\perp}(X_3)} & = P_{A_1}\otimes E_{A_2} \otimes E_{A_3}, \end{align}$

(3.64)

$\begin{align} P_{ {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}(X_2)\cap {\mathscr R}^{\perp}(X_3)} & = E_{A_1}\otimes P_{A_2} \otimes E_{A_3}, \end{align}$

(3.65)

$\begin{align} P_{ {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}(X_3)} & = E_{A_1}\otimes E_{A_2} \otimes P_{A_3}, \end{align}$

(3.66)

$\begin{align} P_{ {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}^{\perp}(X_3)} & = E_{A_1}\otimes E_{A_2} \otimes E_{A_3}, \end{align}$

(3.67)

and the following orthogonal projector equality holds $:$

$\begin{align} & P_{ {\mathscr R}(X_1)\cap {\mathscr R}(X_2)\cap {\mathscr R}(X_3)} + P_{ {\mathscr R}(X_1)\cap {\mathscr R}(X_2)\cap {\mathscr R}^{\perp}(X_3)} \\ & \ \ + P_{ {\mathscr R}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}(X_3)} + P_{ {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}(X_2)\cap {\mathscr R}(X_3)} \\ & \ \ + P_{ {\mathscr R}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}^{\perp}(X_3)} + P_{ {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}(X_2)\cap {\mathscr R}^{\perp}(X_3)} \\ & \ \ + P_{ {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}(X_3)} + P_{ {\mathscr R}^{\perp}(X_1)\cap {\mathscr R}^{\perp}(X_2)\cap {\mathscr R}^{\perp}(X_3)} = I_{m_1m_2m_3}. \end{align}$

(3.68)

${\rm (e)}$ The following eight orthogonal projector equalities hold $:$

$\begin{align} P_{[A_1 \otimes I_{m_2} \otimes I_{m_3}, \, I_{m_1} \otimes A_2 \otimes I_{m_3}, \, I_{m_1} \otimes I_{m_2} \otimes A_3]} & = I_{m_1m_2m_3} - E_{A_1} \otimes E_{A_2} \otimes E_{A_3}, \end{align}$

(3.69)

$\begin{align} P_{[A_1 \otimes I_{m_2} \otimes I_{m_3}, \, I_{m_1} \otimes A_2 \otimes I_{m_3}, \, I_{m_1} \otimes I_{m_2} \otimes E_{A_3}]} & = I_{m_1m_2m_3} - E_{A_1} \otimes E_{A_2} \otimes P_{A_3}, \end{align}$

(3.70)

$\begin{align} P_{[A_1 \otimes I_{m_2} \otimes I_{m_3}, \, I_{m_1} \otimes E_{A_2} \otimes I_{m_3}, \, I_{m_1} \otimes I_{m_2} \otimes A_3]} & = I_{m_1m_2m_3} - E_{A_1} \otimes P_{A_2} \otimes E_{A_3}, \end{align}$

(3.71)

$\begin{align} P_{[E_{A_1} \otimes I_{m_2} \otimes I_{m_3}, \, I_{m_1} \otimes A_2 \otimes I_{m_3}, \, I_{m_1} \otimes I_{m_2} \otimes A_3]} & = I_{m_1m_2m_3} - P_{A_1} \otimes E_{A_2} \otimes E_{A_3}, \end{align}$

(3.72)

$\begin{align} P_{[A_1 \otimes I_{m_2} \otimes I_{m_3}, \, I_{m_1} \otimes E_{A_2} \otimes I_{m_3}, \, I_{m_1} \otimes I_{m_2} \otimes E_{A_3}]} & = I_{m_1m_2m_3} - E_{A_1} \otimes P_{A_2} \otimes P_{A_3}, \end{align}$

(3.73)

$\begin{align} P_{[E_{A_1} \otimes I_{m_2} \otimes I_{m_3}, \, I_{m_1} \otimes A_2 \otimes I_{m_3}, \, I_{m_1} \otimes I_{m_2} \otimes E_{A_3}]} & = I_{m_1m_2m_3} - P_{A_1} \otimes E_{A_2} \otimes P_{A_3}, \end{align}$

(3.74)

$\begin{align} P_{[E_{A_1} \otimes I_{m_2} \otimes I_{m_3}, \, I_{m_1} \otimes E_{A_2} \otimes I_{m_3}, \, I_{m_1} \otimes I_{m_2} \otimes A_3]} & = I_{m_1m_2m_3} - P_{A_1} \otimes P_{A_2} \otimes E_{A_3}, \end{align}$

(3.75)

$\begin{align} P_{[E_{A_1} \otimes I_{m_2} \otimes I_{m_3}, \, I_{m_1} \otimes E_{A_2} \otimes I_{m_3}, \, I_{m_1} \otimes I_{m_2} \otimes E_{A_3}]} & = I_{m_1m_2m_3} - P_{A_1} \otimes P_{A_2} \otimes P_{A_3} . \end{align}$

(3.76)

Proof. By (1.1)–(1.3),

$\begin{align*} P_{X_1} & = (A_1 \otimes I_{m_2} \otimes I_{m_3})(A_1 \otimes I_{m_2} \otimes I_{m_3})^{\dagger} \\ & = (A_1 \otimes I_{m_2} \otimes I_{m_3})(A_1^{\dagger} \otimes I_{m_2} \otimes I_{m_3}) \\ & = (A_1A_1^{\dagger}) \otimes I_{m_2} \otimes I_{m_3} \\ & = P_{A_1} \otimes I_{m_2} \otimes I_{m_3}, \end{align*}$

thus establishing the first equality in (3.29). The second and third equalities in (3.29) can be shown in a similar way. Also by (1.1)–(1.3),

$\begin{align} P_{A_1 \otimes A_2 \otimes A_3} & = (A_1 \otimes A_2 \otimes A_3)(A_1 \otimes A_2 \otimes A_3)^{\dagger} \\ & = (A_1 \otimes A_2 \otimes A_3)(A_1^{\dagger} \otimes A_2^{\dagger} \otimes A_3^{\dagger}) \\ & = (A_1A_1^{\dagger}) \otimes (A_2A_2^{\dagger}) \otimes (A_3A_3^{\dagger}) \\ & = P_{A_1} \otimes P_{A_2} \otimes P_{A_3}, \end{align}$

(3.77)

and by (1.2) and (3.29),

$\begin{align} P_{X_1}P_{X_2}P_{X_3} = (P_{A_1} \otimes I_{m_2} \otimes I_{m_3})(I_{m_1} \otimes P_{A_2} \otimes I_{m_3})(I_{m_1} \otimes I_{m_2} \otimes P_{A_3}) = P_{A_1} \otimes P_{A_2} \otimes P_{A_3}. \end{align}$

(3.78)

Combining (3.77) and (3.78) leads to (3.33).

By (2.1), (1.2)–(1.4) and (3.2),

$\begin{align*} & r[A_1 \otimes I_{m_2} \otimes I_{m_3}, \, I_{m_1} \otimes A_2 \otimes I_{m_3}, \, I_{m_1} \otimes I_{m_2} \otimes A_3] \\ & = r(A_1 \otimes I_{m_2} \otimes I_{m_3}) + r((I_{m_1} - A_1A_1^{\dagger}) \otimes[A_2 \otimes I_{m_3}, I_{m_2} \otimes A_3]) \nonumber \\ & = m_2m_3r(A_1) + r(I_{m_1} - A_1A_1^{\dagger})r[A_2 \otimes I_{m_3}, I_{m_2} \otimes A_3] \nonumber \\ & = m_2m_3r(A_1) + (m_1 - r(A_1)) (m_2m_3 - (m_2 - r(A_2))(m_3 - r(A_3))) \nonumber \\ & = m_1m_2m_3 - (m_1 - r(A_1))(m_2 - r(A_2))(m_3 - r(A_3)), \end{align*}$

thus establishing (3.34). Equations (3.35)–(3.41) can be established in a similar way.

By (3.11), we are able to obtain

${\mathscr R}(X_1)\cap {\mathscr R}(X_2) = {\mathscr R}(X_1X_2) = {\mathscr R}(X_2X_1) = {\mathscr R}(A_1 \otimes A_2\otimes I_{m_3}).$

Consequently,

${\mathscr R}(X_1)\cap {\mathscr R}(X_2)\cap {\mathscr R}(X_3) = {\mathscr R}(X_1X_2)\cap {\mathscr R}(X_3) = {\mathscr R}(X_1X_2X_3) = {\mathscr R}(A_1 \otimes A_2\otimes A_3),$

as required for (3.51). Equations (3.52)–(3.58) can be established in a similar way. Adding (3.51)–(3.58) leads to (3.59).

Taking the dimensions of both sides of (3.51)–(3.58) and applying (1.4), we obtain (3.42)–(3.50).

Equations (3.60)–(3.68) follow from (3.51)–(3.59).

Equations (3.69)–(3.77) follow from (2.6) and (3.30)–(3.32). □

In addition to (3.28), we can construct the following three dilation expressions

$\begin{align} Y_1 = I_{m_1} \otimes A_2 \otimes A_3, \ \ Y_2 = A_1 \otimes I_{m_2} \otimes A_3 \ \ and \ \ Y_3 = A_1 \otimes A_2 \otimes I_{m_3} \end{align}$

(3.79)

from any three matrices $A_1 \in {\mathbb C}^{m_1 \times n_1}, \, A_2 \in {\mathbb C}^{m_2 \times n_2}$ and $A_3 \in {\mathbb C}^{m_3 \times n_3}$ . Some concrete topics on rank equalities for the dilation expressions under vector situations were considered in ^[26]. Below, we give a sequence of results related to the three dilation expressions.

Theorem 3.4. Let $Y_1,$ $Y_2$ and $Y_3$ be the same as given in (3.79) $.$ Then $,$ we have the following results $.$

${\rm (a)}$ The following three projector equalities hold $:$

$\begin{align} P_{Y_1} = I_{m_1} \otimes P_{A_2} \otimes P_{A_3}, \ \ P_{Y_2} = P_{A_1} \otimes I_{m_2} \otimes P_{A_3} \ \ and \ \ P_{Y_3} = P_{A_1} \otimes P_{A_2} \otimes I_{m_3}. \end{align}$

(3.80)

${\rm (b)}$ The following twelve matrix equalities hold $:$

$\begin{align} P_{Y_1}P_{Y_2} & = P_{Y_2}P_{Y_1} = P_{Y_1}P_{Y_3} = P_{Y_3}P_{Y_1} = P_{Y_2}P_{Y_3} = P_{Y_3}P_{Y_2} \\ & = P_{Y_1}P_{Y_2}P_{Y_3} = P_{Y_1}P_{Y_3} P_{Y_2} = P_{Y_2}P_{Y_1} P_{Y_3} = P_{Y_2}P_{Y_3} P_{Y_1} \\ & = P_{Y_3}P_{Y_1} P_{Y_2} = P_{Y_3}P_{Y_2} P_{Y_1} = P_{A_1} \otimes P_{A_2} \otimes P_{A_3}. \end{align}$

(3.81)

${\rm (c)}$ The following rank equality holds $:$

$\begin{align} r[Y_1, \, Y_2, \, Y_3] & = m_1r(A_2)r(A_3) + m_2r(A_1)r(A_3) + m_3r(A_1)r(A_2) - 2r(A_1)r(A_2)r(A_3). \end{align}$

(3.82)

${\rm (d)}$ The following range equality holds $:$

$\begin{align} {\mathscr R}(Y_1)\cap {\mathscr R}(Y_2)\cap {\mathscr R}(Y_3) & = {\mathscr R}(A_1 \otimes A_2\otimes A_3). \end{align}$

(3.83)

${\rm (e)}$ The following dimension equality holds $:$

$\begin{align} \dim( {\mathscr R}(Y_1)\cap {\mathscr R}(Y_2)\cap {\mathscr R}(Y_3)) = r(A_1)r(A_2)r(A_3). \end{align}$

(3.84)

${\rm (f)}$ The following projector equality holds $:$

$\begin{align} P_{ {\mathscr R}(Y_1)\cap {\mathscr R}(Y_2)\cap {\mathscr R}(Y_3)} = P_{A_1}\otimes P_{A_2} \otimes P_{A_3}. \end{align}$

(3.85)

${\rm (g)}$ The following projector equality holds $:$

$\begin{align} P_{[Y_1, \, Y_2, \, Y_3]} & = I_{m_1} \otimes P_{A_2} \otimes P_{A_3} + P_{A_1}\otimes I_{m_2} \otimes P_{A_3} + P_{A_1}\otimes P_{A_2} \otimes I_{m_3} - 2(P_{A_1}\otimes P_{A_2} \otimes P_{A_3}). \end{align}$

(3.86)

Proof. Equation (3.80) follows directly from (3.79), and (3.81) follows from (3.80). Since $P_{Y_1}$ , $P_{Y_2}$ and $P_{Y_3}$ are idempotent matrices, we find from (2.8) and (3.80) that

$\begin{align*} r[Y_1, \, Y_2, \, Y_3] & = r[P_{Y_1}, \, P_{Y_2}, \, P_{Y_3}] = r(P_{Y_1}) + r(P_{Y_2}) + r(P_{Y_3}) \\ & \ \ \ - r[P_{Y_1}P_{Y_2}, \, P_{Y_1}P_{Y_3}] - r[P_{Y_2}P_{Y_1}, \, P_{Y_2}P_{Y_3}] - r[P_{Y_3}P_{Y_1}, \, P_{Y_3}P_{Y_1}] \\ & \ \ \ + r[P_{Y_1}P_{Y_2}, \, P_{Y_1}P_{Y_3}, \, P_{Y_2}P_{Y_2}] \nonumber \\ & = r(P_{Y_1}) + r(P_{Y_2}) + r(P_{Y_3}) -2 r(P_{A_1} \otimes P_{A_2} \otimes P_{A_3}) \\ & = m_1r(A_2)r(A_3) + m_2r(A_1)r(A_3) + m_3r(A_1)r(A_2) - 2r(A_1)r(A_2)r(A_3), \end{align*}$

thus establishing (3.82). Equations (3.83)–(3.86) are left as exercises for the reader. □

There are some interesting consequences to Theorems 3.3 and 3.4. For example, applying the following well-known rank inequality (cf. ^[22]):

$\begin{align*} r(A + B + C) \geq r\begin{bmatrix} A \\ B \\ C \end{bmatrix} + r[A, \, B, \, C] - r(A) - r(B) - r(C) \end{align*}$

to the sums of matrices in (3.28) and (3.80) yields the two rank inequalities

$\begin{align*} & r(A_1 \otimes I_{m_2} \otimes I_{m_3} + I_{m_1} \otimes A_2 \otimes I_{m_3} + I_{m_1} \otimes I_{m_2} \otimes A_3) \\ & \geq m_1m_2r(A_3) + m_1m_3r(A_2) + m_2m_3r(A_1) - 2m_1r(A_2)r(A_3) - 2m_2r(A_1)r(A_3) \\ & \ \ \ - 2m_3r(A_1)r(A_2) + 2r(A_1)r(A_2)r(A_3) \end{align*}$

and

$\begin{align*} & r(I_{m_1} \otimes A_2 \otimes A_3 + A_1 \otimes I_{m_2} \otimes A_3 + A_1 \otimes A_2 \otimes I_{m_3}) \\ & \geq m_1r(A_2)r(A_3) + m_2r(A_1)r(A_3) + m_3r(A_1)r(A_2) - 4r(A_1)r(A_2)r(A_3), \end{align*}$

respectively, where $A_1 \in {\mathbb C}^{m_1 \times m_1}, \, A_2 \in {\mathbb C}^{m_2 \times m_2}$ and $A_3 \in {\mathbb C}^{m_3 \times m_3}$ .

4. Conclusions

We presented a new analysis of the dilation factorizations of the Kronecker products of two or three matrices, and obtained a rich variety of exact formulas and facts related to ranks, dimensions, orthogonal projectors, and ranges of Kronecker products of matrices. Admittedly, it is easy to understand and utilize these resulting formulas and facts in dealing with Kronecker products of matrices under various concrete situations. Given the formulas and facts in the previous theorems, there is no doubt to say that this study clearly demonstrates significance and usefulness of the dilation factorizations of Kronecker products of matrices. Therefore, we believe that this study can bring deeper insights into performances of Kronecker products of matrices, and thereby can lead to certain advances of enabling methodology in the domain of Kronecker products. We also hope that the findings in this resultful study can be taken as fundamental facts and useful supplementary materials in matrix theory when identifying and approaching various theoretical and computational issues associated with Kronecker products of matrices.

Moreover, the numerous formulas and facts in this article can be extended to the situations for dilation factorizations of multiple Kronecker products of matrices, which can help us a great deal in producing more impressive and useful contributions of researches related to Kronecker products of matrices and developing other relevant mathematical techniques applicable to solving practical topics. Thus, they can be taken as a reference and a source of inspiration for deep understanding and exploration of numerous performances and properties of Kronecker products of matrices.

Use of AI tools declaration

The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

Acknowledgments

The authors would like to express their sincere thanks to anonymous reviewers for their helpful comments and suggestions.

Conflict of interest

The authors declare that they have no conflict of interest.

References

[1]	M. A. Polo-Labarrios, S. Q. Garcia, G. E. Paredes, L. F. Perez, J. O. Villafuerta, Novel numerical solution to the fractional neutron point kinetic equation in nuclear reactor dynamics, Ann. Nucl. Energy, 137 (2020), 10717. https://doi.org/10.1016/j.anucene.2019.107173 doi: 10.1016/j.anucene.2019.107173
[2]	H. Chen, J. I. Frankel, M. Keyhani, Two-probe calibration integral equation method for nonlinear inverse heat conduction problem of surface heat flux estimation, Int. J. Heat Mass Tran., 121 (2018), 246–264. https://doi.org/10.1016/j.ijheatmasstransfer.2017.12.072 doi: 10.1016/j.ijheatmasstransfer.2017.12.072
[3]	T. E. Roth, W. C. Chew, Stability analysis and discretization of A- $\phi$ time domain integral equations for multiscale electromagnetic, J. Comput. Phys., 408 (2020), 109102. https://doi.org/10.1016/j.jcp.2019.109102 doi: 10.1016/j.jcp.2019.109102
[4]	V. Gafiychuk, B. Datsko, V. Meleshko, D. Blackmore, Analysis of the solutions of coupled nonlinear fractional reaction diffusion equations, Chaos Soliton. Fract., 41 (2009), 1095–1104. https://doi.org/10.1016/j.chaos.2008.04.039 doi: 10.1016/j.chaos.2008.04.039
[5]	E. Cuesta, M. Kirance, S. A. Malik, Image structure preserving denoising using generalized fractional time integrals, Signal Process., 92 (2012), 553–563.
[6]	R. Arab, Application of measure of noncompactness for the system of functional integral equations, Filomat, 30 (2016), 3063–3073. https://doi.org/10.2298/FIL1611063A doi: 10.2298/FIL1611063A
[7]	A. Deep, Deepmala, J. Roshan, T. Abdeljawad, An extension of Darbo's fixed point theorem for a class of system of nonlinear integral equations, Adv. Differ. Equ., 2020 (2020), 483. https://doi.org/10.1186/s13662-020-02936-y doi: 10.1186/s13662-020-02936-y
[8]	M.I. Youssef, On the solvability of a general class of a coupled system of stochastic functional integral equations, Arab J. Basic Appl. Sci., 27 (2020), 142–148. https://doi.org/10.1080/25765299.2020.1744071 doi: 10.1080/25765299.2020.1744071
[9]	X. W. Su, Boundary value problem for a coupled system of nonlinear fractional differential equations, Appl. Math. Lett., 22 (2009), 64–69. https://doi.org/10.1016/j.aml.2008.03.001 doi: 10.1016/j.aml.2008.03.001
[10]	B. D. Karande, S. N. Kondekar, Existence the solution of coupled system of quadratic hybrid functional integral equation in Banach algebras, J. Mech. Continua Math. Sci., 15 (2020), 243–255. https://doi.org/10.26782/jmcms.2020.09.00020 doi: 10.26782/jmcms.2020.09.00020
[11]	S. Baghdad, Existence and stability of solutions for a system of quadratic integral equations in Banach algebras, Ann. Univ. Paedagog. Crac. Stud. Math., 19 (2020), 203–218. https://doi.org/10.2478/aupcsm-2020-0015 doi: 10.2478/aupcsm-2020-0015
[12]	H.A. Hammad, H. Aydi, C. Park, Fixed point approach for solving a system of Volterra integral equations and Lebesgue integral concept in $F_CM$ -spaces, AIMS Mathematics, 7 (2022), 9003–9022. https://doi.org/10.3934/math.2022501 doi: 10.3934/math.2022501
[13]	A. El-Sayed, S. Abd El-Salam, Coupled system of a fractional order differential equations with weighted initial conditions, Open Math., 17 (2019), 1737–1749. https://doi.org/10.1515/math-2019-0120 doi: 10.1515/math-2019-0120
[14]	M. Cichoń, M. Metwali, On a fixed point theorem for the product of operators, J. Fixed Point Theory Appl., 18 (2016), 753–770. https://doi.org/10.1007/s11784-016-0319-7 doi: 10.1007/s11784-016-0319-7
[15]	J. Berger, J. Robert, Strongly nonlinear equations of Hammerstein type, J. Lond. Math. Soc., 15 (1977), 277–287. https://doi.org/10.1112/jlms/s2-15.2.277 doi: 10.1112/jlms/s2-15.2.277
[16]	M. A. Krasnosel'skii, Y. B. Rutickii, Convex functions and Orlicz spaces, Gröningen: Noordhoff, 1961.
[17]	I. Y. S. Cheng, J. J. Kozak, Application of the theory of Orlicz spaces to statistical mechanics. I. Integral equations, J. Math. Phys., 13 (1972), 51–58. https://doi.org/10.1063/1.1665850 doi: 10.1063/1.1665850
[18]	R. P. Agarwal, D. O'Regan, P. J. Y. Wong, Constant-sign solutions of a system of Volterra integral equations in Orlicz spaces, J. Integr. Equations Appl., 20 (2008), 337–378.
[19]	D. O'Regan, Solutions in Orlicz spaces to Urysohn integral equations, Proc. R. Ir. Acad., Sect. A, 96 (1996), 67–78.
[20]	A. Sołtysiak, S. Szufla, Existence theorems for $L_\varphi$ -solutions of the Hammerstein integral equation in Banach spaces, Commentat. Math., 30 (1990), 177–190.
[21]	C. Bardaro, J. Musielak, G. Vinti, Nonlinear integral operators and applications, Berlin: Walter de Gruyter, 2003.
[22]	R. Płuciennik, S. Szufla, Nonlinear Volterra integral equations in Orlicz spaces, Demonstr. Math., 17 (1984), 515–532. https://doi.org/10.1515/dema-1984-0221 doi: 10.1515/dema-1984-0221
[23]	M. Cichoń, M. Metwali, On quadratic integral equations in Orlicz spaces, J. Math. Anal. Appl., 387 (2012), 419–432. https://doi.org/10.1016/j.jmaa.2011.09.013 doi: 10.1016/j.jmaa.2011.09.013
[24]	M. Cichoń, M. Metwali, On solutions of quadratic integral equations in Orlicz spaces, Mediterr. J. Math., 12 (2015), 901–920. https://doi.org/10.1007/s00009-014-0450-x doi: 10.1007/s00009-014-0450-x
[25]	M. Metwali, Nonlinear quadratic Volterra-Urysohn functional-integral equations in Orlicz spaces, Filomat, 35 (2021), 2963–2972. https://doi.org/10.2298/FIL2109963M doi: 10.2298/FIL2109963M
[26]	M. Metwali, On perturbed quadratic integral equations and initial value problem with nonlocal conditions in Orlicz spaces, Demonstr. Math., 53 (2020), 86–94. https://doi.org/10.1515/dema-2020-0052 doi: 10.1515/dema-2020-0052
[27]	A. Deep, Deepmala, R. Ezzati, Application of Petryshyn's fixed point theorem to solvability for functional integral equations, Appl. Math. Comput., 395 (2021), 125878. https://doi.org/10.1016/j.amc.2020.125878 doi: 10.1016/j.amc.2020.125878
[28]	K. Kavitha, V. Vijayakumar, R. Udhayakumar, C. Ravichandran, Results on controllability of Hilfer fractional differential equations with infinite delay via measures of noncompactness, Asian J. Control., 24 (2022), 1406–1415. https://doi.org/10.1002/asjc.2549 doi: 10.1002/asjc.2549
[29]	S. Singh, S. Kumar, M. Metwali, S. Aldosary, K. Nisar, An existence theorem for nonlinear functional Volterra integral equations via Petryshyn's fixed point theorem, AIMS Mathematics, 7 (2022), 5594–5604. https://doi.org/10.3934/math.2022309 doi: 10.3934/math.2022309
[30]	H. Hashem, A. El-Sayed, Stabilization of coupled systems of quadratic integral equations of Chandrasekhar type, Math. Nachr., 290 (2017), 341–348. https://doi.org/10.1002/mana.201400348 doi: 10.1002/mana.201400348
[31]	A.Fahem, A. Jeribi, N. Kaddachi, Existence of solutions for a system of Chandrasekhar's equations in Banach algebras under weak topology, Filomat, 33 (2019), 5949–5957. https://doi.org/10.2298/FIL1918949F doi: 10.2298/FIL1918949F
[32]	T. Nabil, Existence results for nonlinear coupled system of integral equations of Urysohn Volterra-Chandrasekhar mixed type, Demonstr. Math., 53 (2020), 236–248. https://doi.org/10.1515/dema-2020-0017 doi: 10.1515/dema-2020-0017
[33]	A. Jeribi, N. Naddachi, B. Krichen, Fixed-point theorems for multivalued operator matrix under weak topology with an applications, Bull. Malays. Math. Sci. Soc., 43 (2020), 1047–1067. https://doi.org/10.1007/s40840-019-00724-w doi: 10.1007/s40840-019-00724-w
[34]	F. Haq, K. Shah, G. UR-Rahmanc, M. Shahzada, Existence results for a coupled systems of Chandrasekhar quadratic integral equations, Commun. Nonlinear Anal., 3 (2017), 15–22.
[35]	A. Bellour, D. O'Regan, M. A. Taoudi, On the existence of integrable solutions for a nonlinear quadratic integral equation, J. Appl. Math. Comput., 46 (2014), 67–77. https://doi.org/10.1007/s12190-013-0737-2 doi: 10.1007/s12190-013-0737-2
[36]	J. Caballero, A.B. Mingarelli, K. Sadarangani, Existence of solutions of an integral equation of Chandrasekhar type in the theory of radiative transfer, Electron. J. Differ. Eq., 2006 (2006), 57. http://eudml.org/doc/127518
[37]	S. Chandrasekhar, Radiative transfer, New York: Dover Publications, 1960.
[38]	L. Maligranda, Orlicz spaces and interpolation, Seminars in mathematics, 1989.
[39]	M. Väth, Volterra and integral equations of vector functions, New York: Marcel Dekker, 2000.
[40]	J. Banaś, On the superposition operator and integrable solutions of some functional equations, Nonlinear Anal. Theor., 12 (1988), 777–784. https://doi.org/10.1016/0362-546X(88)90038-7 doi: 10.1016/0362-546X(88)90038-7
[41]	J. Banaś, K. Goebel, Measures of noncompactness in Banach spaces, New York: Marcel Dekker, 1980.
[42]	N. Erzakova, Compactness in measure and measure of noncompactness, Sib. Math. J., 38 (1997), 926–928. https://doi.org/10.1007/BF02673034 doi: 10.1007/BF02673034

Reader Comments

Your name:*

Email:*
© 2022 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)

通讯作者: 陈斌, bchen63@163.com

1.
沈阳化工大学材料科学与工程学院沈阳 110142

AIMS Mathematics

1.8 3.4

Metrics

Article views(1615) PDF downloads(80) Cited by(1)

Preview PDF

Download XML

Export Citation

Article outline

Show full outline

AIMS Mathematics

On existence theorems for coupled systems of quadratic Hammerstein-Urysohn integral equations in Orlicz spaces

Related Papers:

Abstract

1. Introduction

2. Some preliminaries

3. Main results

4. Conclusions

Use of AI tools declaration

Acknowledgments

Conflict of interest

References

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Other Articles By Authors

Catalog

AIMS Mathematics

On existence theorems for coupled systems of quadratic Hammerstein-Urysohn integral equations in Orlicz spaces

Related Papers:

Abstract

1. Introduction

2. Some preliminaries

3. Main results

4. Conclusions

Use of AI tools declaration

Acknowledgments

Conflict of interest

References

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Other Articles By Authors

Related pages

Tools

Export File

Citation

Format

Content

Catalog