We investigate a descriptor system of coupled generalized Sylvester matrix fractional differential equations in both non-homogeneous and homogeneous cases. All fractional derivatives considered here are taken in Caputo’s sense. We explain a 4-step procedure to solve the descriptor system, consisting of vectorization, a matrix canonical form concerning ranks, and matrix partitioning. The procedure aims to reduce the descriptor system to a descriptor system of fractional differential equations. We also impose a condition on coefficient matrices, related to the symmetry of the solution for descriptor systems. It follows that an explicit form of its general solution is given in terms of matrix power series concerning Mittag–Leffler functions. The main system includes certain systems of coupled matrix/vector differential equations, and single matrix differential equations as special cases. In particular, we obtain an alternative procedure to solve linear continuous-time descriptor systems via a matrix canonical form.
descriptor system; linear fractional differential equation; Caputo’s derivative; Kronecker product; vector operator; Mittag–Leffler function
15A16; 15A24; 15A69; 33E12
A motivation of this work comes from the treatment of linear algebra and differential equations for control and system theory. Indeed, many physical processes can be formulated or at least approximated by a generalized state-space system or a linear continuous-time descriptor system, namely,
where , , , and are constant matrices. Here, we denote the set of all m-by-n real matrices by , and we set . The vector functions , , represent the system state, the system input, and the system output, respectively. When E is a singular matrix (i.e., ), the vector function is called a generalized state vector or descriptor vector. Two simple examples of (1) are a planar pendulum modeled through Newton–Euler equations, and an electrical circuit  consisting of energy storage elements such as capacitors and inductors. A necessity and sufficiency condition for the system (1) to have a unique solution is the regularity, i.e., the matrix pencil is nonsingular for some constants s . The regularity and two other attractive properties of the descriptor system, namely, the impulsive free and the asymptotical stability, turns out to be equivalent to the symmetry property of the solution of the associated Lyapunov equation; see, e.g., [3,4]. To solve a regular linear continuous-time system (1), many authors used an idea of transforming the generalized state vector through a suitable matrix canonical form [5,6,7]. In this case, the system (1) is decomposed into a small number of simple subsystems, and the vector is partitioned as a block-vector form. A coordinate form which is useful to verify specific properties of the system (e.g., controllability) is a singular value decomposition (SVD) . See more information in [9,10,11,12].
On the other hand, there are renewal interests in linear matrix differential equations of Sylvester type. A homogeneous Sylvester matrix differential equation takes the form
where are constant matrices and is an unknown matrix function. An explicit form of the solution for this equation can be obtained through an equivalent scalar differential equation; see . A simple non-homogeneous linear matrix differential equation takes the form
where is a given matrix function. In fact, its general solution is given by 
A general system of non-homogeneous coupled linear matrix differential equations takes the form
Here, are constant matrices and , are unknown matrix functions. Many authors [14,15,16,17,18,19,20,21,22] investigated certain special cases of this system on the coefficient matrices. A remarkable idea is to reduce the system of matrix differential equations to an equivalent vector differential equation via the vector operator or the diagonal-extraction operator. In this case, the general solution is given explicitly in terms of matrix power series concerning exponentials, hyperbolic functions, or Mittag–Leffler functions.
The above studies can be extended to matrix differential equations with a fractional derivative. Throughout this paper, we concern Caputo’s fractional derivatives, and we use the superscript to indicate the Caputo’s derivative of order . A simple system of non-homogeneous linear matrix fractional differential equations takes the form
where . The solution is given as follows (see )
where is the Mittag–Leffler function with parameter . For the homogeneous case , the general solution is reduced to ; see [23,24]. Another technique to solve these kinds of problems is to utilize the hybrid Jacobi and block pulse operational matrix of fractional integral operator; see . A general system of non-homogeneous coupled linear matrix fractional differential equations takes the form
with unknown matrix functions and . The case and of the system was investigated in . A linear matrix fractional descriptor system of the form
In the present work, we consider a descriptor system of coupled generalized Sylvester matrix fractional differential equations in a general form as follows:
where . To get an explicit form of the general solution, we apply the vector operator and Kronecker products to reduce the system to an equivalent system of coupled vector differential equations. The second step is to make a coordinate transformation to a simpler vector system with new variables. This is done by matrix partitioning according to a matrix canonical form concerning ranks. The third step is to solve the vector system obtained in the previous step. Here, we impose an assumption about the invertibility of a coefficient matrix in a similar way as in . The last step is to transform the new variables to the original ones, so that an explicit formula of the general solution is obtained in terms of Mittag–Leffler matrix functions. After that, we investigate certain interesting special cases of the main system for both descriptor systems of coupled matrix equations, single descriptor matrix equations, and linear continuous-time descriptor (vector) system.
The organization for the rest of the paper is as follows. In Section 2, we recall some useful tools from linear algebra and fractional calculus for treating our problems. We explain how to solve the main system into four steps in Section 3, and an explicit form of the general solution is presented here. For the second step of the procedure, there are four cases of coefficient matrices, and they are named as subsections. In Section 4, we discuss some special cases of the main system concerning matrix descriptor systems. The results about linear continuous-time descriptor systems are extracted from the main system, and presented in Section 5. Finally, we conclude the paper in Section 6.
In this section, we important tools that will be useful later in our investigation for solving system of linear matrix differential equations.
2.1. The Kronecker Product and the Vector Operator
Recall that the operator transforms a matrix to a column vector by consecutive stacking the columns of A. The Kronecker product of and is defined to be a block matrix of order whose block is given by .
(e.g., ).For any matrices , and , the following identity holds:
2.2. Mittag–Leffler Function
The Mittag–Leffler function is an entire complex-valued function depending on two parameters defined by
where is the Gamma function. In particular, we set . For any , we define
See more information about Mittag–Leffler functions e.g., in . The Mittag–Leffler function includes the following special cases:
The following computations are used in later discussions.
2.3. Fractional Differential Calculus in Caputo’s Sense
Denote the usual differential operator by D and the floor function by . Let f be a piecewise continuous function on which is integrable on any finite subinterval of [). For an integral-order case , we set . For the fractional-order case , we define
When is a vector function, we denote by the vector function obtaining from by coordinate differentiating.
(e.g., ).The solution of the following non-homogeneous vector fractional differential equation of order :
where is a given constant matrix, is a given vector function, and is an unknown vector, is given by
3. Solving the Main System
Our main problem to consider is as follows:
Consider the following descriptor system of coupled generalized Sylvester matrix fractional differential equations of order :
where all matrices are conformable. More precisely, let be natural numbers such that . For each i, let , , , , , , and be given constant matrices. Let and be given matrix functions. Find the unknown matrix functions and .
Problem 1 includes the works about matrix differential systems [13,15,18,19,20,21]. We shall proceed to find the general solution and into four steps.
Step 1. Transform system (7) in unknowns to an equivalent system of vector differential equations in unknowns .
For convenience, we denote
Applying the vector operator and using Lemma 1, we have
Similarly, we get
Step 2. Transform the vector systems (8) and (9) in unknowns to an equivalent system of vector differential equations in new unknowns .
We shall make matrix partitioning according to canonical forms of the coefficient matrices J and K. We consider the case when J and K are nonzero matrices. Note that, if J or K is nonsingular, then we can multiply both sizes of equations with its inverse so that the equation can be reduced to a simple one. Thus, we divide our consideration into four cases as follows.
3.1. Case 1: J and K Are Singular
We shall write J and K in a canonical form concerning ranks. Let us denote and , so that and . We can apply elementary row/column operations to obtain invertible matrices (being products of elementary matrices) such that
Now, we make matrix/vector partitioning as follows:
where all matrices are conformable, i.e., , , , , , , , , , , , , , , , , , , and . We make the following coordinate transformations:
where , , and . We can respectively reduce Equations (8) and (9) using Equations (10)–(12) to the following:
It follows that
Rearranging the system (13), we get the following equivalent system via block matrix multiplication:
We transform to as follows:
so that and . For each , denote
Using the coordinate transformations (14) and the notations (15), we get
Now, we get the following system of coupled vector differential equations:
Step 3. Solve the system consisting of (16) and (17) for .
In a similar manner to , we impose the following condition, which is related to the symmetry of the solution (e.g., ).
Thus, we can transform this system to the following equivalent system:
Lemma 3 now implies that
The solution of Problem 1 when J and K are nonsingular is given by
In particular, for the homogeneous case of Problem 1, we have
3.3. Case 3: J Is Singular and K Is Nonsingular
Suppose and . In a similar way to Case 1 and Case 2, we get the following matrix decompositions:
Then, Equations (8) and (9) can be transformed to the following equivalent system:
Thus, the solution of Problem 1 under Assumption 1 is given by Formula (20), where
3.4. Case 4: J Is Nonsingular and K Is Singular
Suppose and . In a similar manner to Case 3, we get the following matrix decompositions:
Equations (8) and (9) are transformed to the following equivalent system:
The solution of Problem 1 under Assumption 1 is given by Formula (20) with
4. Descriptor Matrix Systems from Special Cases of the Main System
In this section, we investigate certain interesting special cases of system (7) for both descriptor systems of coupled matrix equations and single descriptor matrix equations.
4.1. Systems of Coupled Equations
Consider the descriptor system (7) when . From the notations and Assumption 1 in Section 3, we have
We just use the fact that for any square matrix Z. □
Let . Assume the notations and Assumption 1 in Section 3 for which , , and , so that , for each , and the invertibility of is reduced to the invertibility of both and . Then, the general solution of the system of coupled equations:
is given by
Here, and .
From the notations and the assumption, we have
Then, by Lemma 2, we obtain
It follows from Theorem 1 that
Theorem 1 also implies that
Hence, and . □
From the notations and the assumption in Corollary 2, assume further that . Then, the general solution of the system when is given by Formula (21) where
We use the fact that and for any square matrix Z. □
4.2. Single Equations
Let . Assume the notations and Assumption 1 in Section 3 for which , , so that , for each , and the invertibility of is reduced to the invertibility of both and . Then, the general solution of the system:
is given by where
and . For the homogeneous case of the system, we have and .
From the notations and the assumption, we have
It follows from Theorem 1 and Lemma 2 that
Thus, . Theorem 1 also implies that
Hence, . □
The singular matrix fractional descriptor system
considered in  is a spacial case of Corollary 4 when all matrices are square, , and . In this case, we put , and partition
From Corollary 4, assume further that . Since for any square matrix Z, we have
5. Descriptor Vector Systems
In this section, we extract certain linear continuous-time descriptor (vector) systems from the main system (7).
Let . Let A, C, E, G, P, be given constant matrices and , given vector functions. Consider
with unknown vector function , . We apply the notation , , , , , and Γ according to Theorem 1. Suppose . Then, the general solution of the system (23) is given by and , where
We consider Theorem 1 in the particular case that , , and for all i. Then, system (7) is reduced to system (23). According to Theorem 1, we have , , , , , For each , denote , , , . Now, the desired result follows from Theorem 1. □
Let . Assume P, be given constant matrices. Let be a given vector function. Suppose . Then, the general solution of the system:
with unknown vector function is given by
and . Here, the notations , , , and are according to Corollary 5.
From Corollary 5 putting , , for all , we have
It follows Corollary 5 that
Thus, . Corollary 5 also implies that
Hence, . □
The next corollary provides an alternative way to find the general solution of system (1) mentioned in the Introduction.
Consider the linear continuous-time descriptor system (1) for which is a singular matrix such that . We put E in a canonical form and make matrix/vector partitions for which there are invertible matrices such that
Suppose that is invertible matrix. Denote and . Then,
From the first equation of (7), we apply a similar process as in the proof of Theorem 1 to get
Since is invertible, we can use Lemma 3 (with ) to obtain and . □
We investigate a descriptor system of coupled generalized Sylvester matrix fractional differential equations in both non-homogeneous and homogeneous cases. All fractional derivatives considered here are taken in Caputo’s sense. We explain a 4-step procedure to solve the descriptor system. Steps 1 and 4 are about transforming between matrices and vectors, and they require the vector operator and the Kronecker product. Step 2 is a coordinate transformation from original (vector) variables to new ones, and it is accomplished by matrix partitioning concerning a matrix canonical form concerning ranks. Step 3 relies on fractional differential equations. An explicit form of its general solution is thus given in terms of Mittag–Leffler functions. The main system includes certain systems of coupled matrix/vector differential equations and single matrix differential equations as special cases. In particular, we obtain an alternative procedure to solve linear continuous-time descriptor systems via a matrix canonical form. Our results include the previous works [13,15,18,19,20,21] as special cases.
All authors contributed equally and significantly in writing this article. All authors have read and agreed to the published version of the manuscript.
The first author received a financial support from the RA-TA graduate scholarship from the Faculty of Science, King Mongkut’s Institute of Technology Ladkrabang, Grant No. RA/TA-2562-M-002 during her Master’s study.
This work was supported by King Mongkut’s Institute of Technology Ladkrabang.
Conflicts of Interest
The authors declare no conflict of interest.
Zhang, L.; Huang, B.; Lam, J. LMI synthesis of H2 and mixed H2/H∞ controllers for singular systems. IEEE Trans. Autom. Control2003, AC-50, 615–626. [Google Scholar]
Brenan, K.E.; Campbell, S.; Petzold, L.R. Numerical Solution of Initial Value Problems in Differential Algebraic Equations; SIAM: Philadelphia, PA, USA, 1995. [Google Scholar]
Zhang, Q.L.; Lam, J.; Zhang, L.Q. Generalized Lyapunov equation for analyzing the stability of descriptor systems. In Proceedings of the 14th World Congress of IFAC, Beijing, China, 5–9 July 1999; pp. 19–24. [Google Scholar]
Men, B.; Zhang, Q.; Li, X.; Yang, C.; Chen, Y. The stability of linear descriptor systems. Internat J. Inform. Syst. Sci.2006, 2, 362–374. [Google Scholar]
Campell, L.S.; Petzold, L.R. Canonical forms and solvable singular systems of differential equations. SIAM J. Algebraic Discret. Methods1983, 4, 517–521. [Google Scholar] [CrossRef]
Dai, L. Singular Control Systems. In Lecture Notes in Control and Information Sciences; Springer: Berlin, Germany, 1989. [Google Scholar]
Gerdin, M. Parameter Estimation in Linear Descriptor Systems. Licentiate Thesis, Linköping University, Linköping, Sweden, 2004. [Google Scholar]
Bender, D.J.; Laub, A.J. The linear-quadratic optimal regulator for descriptor systems. IEEE Trans. Autom. Control1987, AC32, 672–688. [Google Scholar] [CrossRef]
Su, X.; Zhi, Y. Sufficient conditions of asymptotic stability of the time-varying descriptor systems. Int. J. Eng. Math.2013, 2013, 920851. [Google Scholar] [CrossRef]
Lewis, E. A survey of linear singular systems. Circuits Syst. Signal Process.1986, 5, 3–36. [Google Scholar] [CrossRef]
Wei, K. Stabilization of linear time-varying state feedback control. IEEE Trans. Control1994, 39, 22–32. [Google Scholar]
Takaba, T.; Morihira, N.; Katayama, K. A generalized Lyapunov theorem for descriptor system. Syst. Control Lett.1995, 24, 49–51. [Google Scholar] [CrossRef]
Barnett, S. Matrix differential equations and Kronecker products. SIAM J. Appl. Math.1973, 24, 1–5. [Google Scholar] [CrossRef]
Al Zhour, Z. Efficient solutions of coupled matrix and matrix differential equations. Intell. Control Autom.2012, 3, 176–187. [Google Scholar] [CrossRef]
Kilicman, A.; Al Zhour, Z. The general common exact solutions of coupled linear matrix and matrix differential equations. J. Anal. Comput.2005, 1, 15–30. [Google Scholar]
Al Zhour, Z. A computationally-efficient solutions of coupled matrix differential equations for diagonal unknown matrices. J. Math. Sci. Adv. Appl.2008, 1, 373–387. [Google Scholar]
Al Zhour, Z. The general (vector) solutions of such linear (coupled) matrix fractional differential equations by using Kronecker structures. Appl. Math. Comput.2014, 232, 498–510. [Google Scholar] [CrossRef]
Al Zhour, Z. New techniques for solving some matrix and matrix differential equations. Ain Shams Eng. J.2015, 6, 347–354. [Google Scholar] [CrossRef]
Al Zhour, Z. The general solutions of singular and non-singular matrix fractional time-varying descriptor systems with constant coefficient matrices in Caputo sense. Alex. Eng. J.2016, 55, 1675–1681. [Google Scholar] [CrossRef]
Saechai, S.; Chansangiam, P. Solving non-homogeneous coupled linear matrix differential equations in terms of matrix convolution product and Hadamard product. J. Inform. Math. Sci.2018, 10, 237–245. [Google Scholar] [CrossRef]
Kongyaksee, R.; Chansangiam, P. Solving system of nonhomogeneous coupled linear matrix differential equations in terms of Mittag–Leffler matrix functions. J. Comput. Anal. Appl.2019, 26, 1150–1160. [Google Scholar]
Saechai, S.; Chansangiam, P. General exact solution to a system of coupled linear matrix differential equations. Adv. Appl. Math. Sci.2017, 16, 151–161. [Google Scholar]
Balanchan, K.; Kokila, J.; Trujillo, J.J. Relative controllability of fractional dynamical system with multiple delays in control. Comput. Math. Appl.2012, 64, 3037–3045. [Google Scholar] [CrossRef]
Balanchan, K.; Kokila, J. On the controllability dynamic systems. Int. J. Appl. Math. Comput. Sci.2012, 22, 523–531. [Google Scholar] [CrossRef]
Yousefi, F.; Rivaz, A.; Chen, W. The construction of operational matrix of fractional integration for solving fractional differential and integro-differential equations. Neural Comput. Appl.2019, 31, 1867–1878. [Google Scholar] [CrossRef]
Horn, R.A.; Johnson, C.R. Topics in Matrix Analysis; Cambridge University Press: New York, NY, USA, 1991. [Google Scholar]
Sadeghi, A.; Cardoso, J.R. Some notes on properties of the matrix Mittag–Leffler function. Appl. Math. Comput.2018, 338, 733–738. [Google Scholar] [CrossRef]