Representations of Solutions of Time-Fractional Multi-Order Systems of Differential-Operator Equations

Abstract

This paper is devoted to the general theory of systems of linear time-fractional differential-operator equations. The representation formulas for solutions of systems of ordinary differential equations with single (commensurate) fractional order is known through the matrix-valued Mittag-Leffler function. Multi-order (incommensurate) systems with rational components can be reduced to single-order systems, and, hence, representation formulas are also known. However, for arbitrary fractional multi-order (not necessarily with rational components) systems of differential equations, the representation formulas are still unknown, even in the case of fractional-order ordinary differential equations. In this paper, we obtain representation formulas for the solutions of arbitrary fractional multi-order systems of differential-operator equations. The existence and uniqueness theorems in appropriate topological vector spaces are also provided. Moreover, we introduce vector-indexed Mittag-Leffler functions and prove some of their properties.

1. Introduction

Let X be a reflexive Banach space and $A:\mathcal{D}\to X$ a closed linear operator with a domain $\mathcal{D}\subset X.$ Consider the systems of $m\ge 1$ time-fractional differential operator equations, which we will write in the form

$$D^{\beta }\mathcal{U}\left(t\right)=\mathcal{F}\left(A\right)\mathcal{U}\left(t\right)+\mathcal{H}\left(t\right),t>t_0,$$

(1)

with the initial condition

$$B\mathcal{U}\left(t_0\right)=\Phi .$$

(2)

In Equation (1), $t>t_0;$$\mathcal{B}=({\beta }_1,\cdots ,{\beta }_m),0<{\beta }_j\le 1,$ fractional orders of the system $\mathcal{U}\left(t\right):[t_0,\infty )\to X\times \cdots \times X,$ is an abstract vector-valued function with components $u_j\left(t\right),j=1,\cdots ,m,$ to be found, and

$$D^{\mathcal{B}}\mathcal{U}=(D^{{\beta }_1}{u}_1\left(t\right),\cdots ,D^{{\beta }_m}u\left(t\right)).$$

(3)

Here, $D^{{\beta }_j},j=1,\cdots ,m,$ is the fractional-order derivative of order $0<{\beta }_j\le 1$ in the sense of Riemann–Liouville or Caputo. The matrix-valued operator $\mathcal{F}\left(A\right)$ on the right-hand side of Equation (1) has the form

$$\begin{array}{cc}\hfill \mathcal{F}\left(A\right)& =\left[\begin{array}{ccc}{f}_{11}\left(A\right)& \cdots & f_{1m}\left(A\right)\\ \cdots & & \\ f_{m1}\left(A\right)& \cdots & f_{mm}\left(A\right)\end{array}\right];\hfill \end{array}$$

(4)

$H\left(t\right):[t_0,\infty ]\to X\times \cdots \times X$ is a given vector-valued function satisfying some conditions clarified later. In initial condition (2), the operator B depends on whether $D^{\mathcal{B}}$ is in the sense of Riemann–Liouville or Caputo and $\Phi$ is a given element of some topological vector space specified later. The operator $\mathcal{F}\left(A\right)$ has a matrix symbol $\mathcal{F}\left(z\right)\equiv \left\{f_{ki}\left(z\right)\right\},k,j=1,\cdots ,m,$ the entries of which may have singularities in the spectrum of the operator $A.$ The exact definitions of operators $D^{{\beta }_j},j=1,\cdots ,m,$ and $f_{kj}\left(A\right),k,j=1,\cdots ,m,$ are given in Section 2.

It is well known (see, e.g., [1,2]) that if $\mathcal{B}=(1,\cdots ,1)$, then the solution is represented in the form

$$\mathcal{U}\left(t\right)=S(t,A)\Phi +{\int }_{t_0}^{t}S(t-\tau ,A)H\left(\tau \right)d\tau ,$$

where

$$S(t,A)=exp(-t\mathcal{F}(A\left)\right)$$

is the solution operator, which has an exponential form. It is also known [3,4,5,6,7,8,9,10] that, in the case of various fractional-order differential equations (not systems), the solution can be represented through the Mittag-Leffler (ML) function

$$E_{\beta ,\nu }\left(z\right)=\sum _{n=0}^{\infty }\frac{z^n}{\Gamma (\beta n+\nu )},z\in \mathbb{C},$$

(5)

which generalizes the exponential function. Namely, if $\beta =\nu =1,$ then we have $E_{\beta ,\nu }\left(z\right)=exp\left(z\right).$ In the case of systems, when $\mathcal{B}$ has equal components, i.e., ${\beta }_j=\beta ,j=1,\cdots ,m,$ a representation formula for the solution is obtained via the matrix-valued ML function [11,12,13,14,15]. Namely, the solution operator emerges in the form

$$S(t,A)=E_{\beta }\left(t^{\beta }\mathcal{F}\left(A\right)\right),$$

where $E_{\beta }\left(Z\right)$ for a matrix Z is defined by

$$E_{\beta }\left(Z\right)=\sum _{n=0}^{\infty }\frac{1}{\Gamma (\beta n+1)}{Z}^n.$$

In the case where the components of the vector-order $\mathcal{B}$ in Equation (1) are rational, i.e., ${\beta }_j=p_j/q_j,$ where $p_j$ and $q_j$ are co-prime numbers, the corresponding system can be reduced to a system with a scalar order $\beta \in (0,1)$ [16,17,18]. However, the number of equations in the reduced system may increase significantly. Let M be the lowest common multiple of numbers $q_1,\cdots ,q_m,$ and $\beta =1/M.$ Then, the number of equations in the reduced system becomes $N=M({\beta }_1+\cdots +{\beta }_m).$ For example, if the orders in the original system of four equations are ${\beta }_1=\frac{1}{2},{\beta }_2=\frac{2}{3},{\beta }_3=\frac{1}{5},$ and ${\beta }_4=\frac{6}{7},$ then $M=210$ and $N=210·(1/2+2/3+1/5+6/7)=467.$ Thus, the reduced system will contain 467 equations of order $\beta =\frac{1}{210},$ although, originally, we had only four equations in the system. Even numerical solutions of such reduced systems consume a significant amount of computing and time resources; thus, the method of reducing to a scalar-order system should be considered ineffective. Therefore, developing direct general techniques for the solution and qualitative analysis of systems of fractional-order differential equations with any positive real order is important.

The representation formula for the solution of fractional-order systems in the sense of Riemann–Liouville with equal orders ${\beta }_j=\beta ,j=1,\cdots ,m,$ (commensurate case) and constant matrix $\mathcal{F}$ was first obtained in [11]. The authors of [19] derived representations in the case of Riemann–Liouville, Caputo, and sequential Miller–Ross derivatives under the same conditions for orders and matrix $\mathcal{F}.$ Applications to multi-term commensurate fractional-order ordinary differential equations, as well as various techniques for the calculation of the matrix-valued ML functions, are considered in [13]. In [16], the procedure for the reduction of incommensurate rational orders ${\beta }_j$ to the commensurate case is discussed. The authors of [17] use this technique to derive a representation formula for the solution. Note that, in these works, also $\mathcal{F}$ is a constant matrix—that is, the corresponding systems are of ordinary differential equations, and fractional derivatives are in the sense of Caputo. The representation formulas for a fractional multi-order system of pseudo-differential equations are found in [18], in both commensurate and incommensurate rational-order cases, for Riemann–Liouville and Caputo derivatives. Moreover, in this work, representation formulas are obtained for systems of arbitrary positive time-fractional-order pseudo-differential equations with upper or lower triangular matrix-valued pseudo-differential operators.

In the current paper, we obtain representation formulas for arbitrary multi-order $\mathcal{B}$ with real components (not necessarily rational) and arbitrary matrix-valued operator $\mathcal{F}\left(A\right).$ The results obtained in this paper are new even for time-fractional systems of linear ordinary differential equations. We also introduce more general ML functions, called vector-indexed matrix-valued ML functions. We show that the solution of systems (1) and (2) is represented through an operator-dependent matrix-valued ML function.

We note that systems of fractional-order ordinary and partial differential equations have rich applications. For example, they are used in the modeling of processes in bio-systems [20,21,22], ecology [23,24], epidemiology [25,26], quantum systems [27,28,29], etc.

This paper is organized as follows. In Section 2, we provide some preliminary facts about the ML functions, including matrix-valued versions. To our knowledge, Lemmas 1 and 2 are new. Here, we also introduce the vector-indexed matrix-valued ML functions and study some of their properties used in this paper. This section introduces the basic topological vector spaces on which the corresponding matrix-valued operators with singular symbols act. In Section 3 and Section 4, we formulate the main results. The representation formulas for the solution of the initial value problem (1), (2) are obtained in the general case: for arbitrary multi-order $\mathcal{B}$ and matrix-valued operator $\mathcal{F}\left(A\right).$ The main idea of the method used to obtain the representation formula is demonstrated for clarity, first in the case $m=2,$ and then for arbitrary $m\ge 2.$ Note that some particular representation formulas were obtained in [18] in the case of systems of pseudo-differential operators. These results are also extended to the differential-operator case. Finally, in Section 5, we discuss some applications and examples.

2. Preliminaries

2.1. Fractional Derivatives

By definition, the Riemann–Liouville fractional derivative of order $\beta \in (0,1)$ of a function $f\left(t\right)$ defined on $[0,\infty ),$ is the integral

$$D_{+}^{\beta }f\left(t\right)=\frac{1}{\Gamma (1-\beta )}\frac{d}{dt}{\int }_0^t\frac{f\left(\tau \right)d\tau }{{(t-\tau )}^{\beta }}.$$

(6)

subject to existence, where $\Gamma \left(s\right)$ is Euler’s gamma function. Similarly, if $0<\beta <1,$ then the Caputo derivative is defined by the integral

$${}_{a}D_{*}^{\beta }f(t)=\frac{1}{\Gamma (1-\beta )}{\int }_0^t\frac{f^{\prime }\left(\tau \right)d\tau }{{(t-\tau )}^{\beta }}.$$

(7)

subject to existence.

The Laplace transforms of the Riemann–Liouville and Caputo derivatives are

$$\begin{array}{cc}\hfill L\left[D_{+}^{\beta }f\right]\left(s\right)& =s^{\beta }L\left[f\right]\left(s\right)-\left(J^{1-\beta }f\right)\left(0\right),\hfill \end{array}$$

(8)

$$\begin{array}{cc}\hfill L\left[D_{*}^{\beta }f\right]\left(s\right)& =s^{\beta }L\left[f\right]\left(s\right)-f\left(0\right)s^{\beta -1},\hfill \end{array}$$

(9)

respectively. We will use these formulas in the vector form. Namely, for a vector-valued function $F\left(t\right)=(f_1\left(t\right),\cdots ,f_m\left(t\right)),$ we have

$$\begin{array}{cc}\hfill L\left[D_{+}^{\mathcal{B}}F\left(t\right)\right]\left(s\right)& =s^{\mathcal{B}}L\left[F\left(t\right)\right]\left(s\right)-\left({\mathcal{J}}^{1-\mathcal{B}}F\right)\left(0\right)\hfill \\ \hfill & =(s^{{\beta }_1}L\left[f_1\right]\left(s\right)-\left(J^{1-{\beta }_1}{f}_1\right)\left(0\right),\cdots ,\hfill \\ \hfill & s^{{\beta }_m}L\left[f_m\right]\left(s\right)-\left(J^{1-{\beta }_m}{f}_m\right)\left(0\right)),\hfill \end{array}$$

(10)

where

$$\left({\mathcal{J}}^{1-\mathcal{B}}\mathcal{F}\right)\left(t\right)=\left(\left(J^{1-{\beta }_1}{f}_1\right)\left(t\right),\cdots ,\left(J^{1-{\beta }_m}{f}_m\right)\left(t\right)\right).$$

(11)

with fractional integrals

$$\left(J^{1-{\beta }_j}f\right)\left(t\right)=\frac{1}{\Gamma (1-{\beta }_j)}{\int }_0^t{(t-\tau )}^{{\beta }_j}f\left(\tau \right)d\tau ,j=1,\cdots ,m.$$

Similarly,

$$\begin{array}{cc}\hfill L\left[D_{*}^{\mathcal{B}}F\left(t\right)\right]\left(s\right)& =s^{\mathcal{B}}L\left[F\left(t\right)\right]\left(s\right)-F\left(0\right)s^{\mathcal{B}-1}\hfill \\ \hfill & =(s^{{\beta }_1}L\left[f_1\right]\left(s\right)-f_1\left(0\right)s^{{\beta }_1-1},\cdots ,\hfill \\ \hfill & s^{{\beta }_m}L\left[f_m\right]\left(s\right)-f_m\left(0\right)s^{{\beta }_m-1}).\hfill \end{array}$$

(12)

In these formulas,

$$L\left[{\mathcal{D}}^{\mathcal{B}}F\left(t\right)\right]\left(s\right)=\left(L\left[{\mathcal{D}}^{{\beta }_1}{f}_1\right]\left(s\right),\cdots ,L\left[{\mathcal{D}}^{{\beta }_m}{f}_m\right]\left(s\right)\right)$$

for both operators $\mathcal{D}=D_{+}$ and $\mathcal{D}=D_{*}.$

2.2. Matrix-Valued Functions

Let Z be a square matrix of size m with the Jordan normal form

$$\mathbb{J}=M^{-1}ZM=\Lambda +N,$$

(13)

where M is an invertible transformation matrix, $\Lambda$ is a diagonal matrix with eigenvalues on the diagonal and N is the nilpotent matrix. Suppose that $J_{\ell },\ell =1,\cdots ,L,$ are Jordan blocks of Z and $\parallel Z\parallel$ is the matrix norm of $Z.$ Then, for a function $g\left(z\right),$ analytic in a neighborhood of $\left|z\right|\le \parallel Z\parallel$, one has the spectral representation

$$\begin{array}{cc}\hfill g\left(\mathbb{J}\right)& =\sum _{k=0}^{m-1}\frac{N^k}{k!}\underset{\sigma \left(Z\right)}{\int }{g}^{\left(k\right)}\left(\lambda \right)d{E}_{\lambda }\hfill \\ \hfill & =\sum _{\ell =1}^L\sum _{k=0}^{m_{\ell }}\frac{N^k}{k!}{g}^{\left(k\right)}\left({\lambda }_{\ell }\right){\mathbb{P}}_{{\lambda }_{\ell }},\hfill \end{array}$$

where the spectral measure $d{E}_{\lambda }$ is formed by projection operators ${\mathbb{P}}_{{\lambda }_{\ell }},$ determined by eigenvalues ${\lambda }_{\ell },\ell =1,\cdots ,L,$ of the matrix Z of multiplicity $m_{\ell },\ell =1,\cdots ,L.$ In the explicit form, this means that

$$g\left(\mathbb{J}\right)=\left[\begin{array}{cccc}g\left(J_1\right)& 0& \cdots & 0\\ 0.& g\left(J_2\right)& \cdots & 0\\ \cdots & \cdots & \cdots & \cdots \\ 0.& 0.& .\cdots & g\left(J_L\right)\end{array}\right],$$

(14)

where

$$g\left(J_{\ell }\right)=\left[\begin{array}{cccccc}g\left({\lambda }_{\ell }\right)& \frac{g^{\prime }\left({\lambda }_{\ell }\right)}{1!}& \frac{g^{″}\left({\lambda }_{\ell }\right)}{2!}& \cdots & \frac{g^{(m_{\ell }-2)}\left({\lambda }_{\ell }\right)}{(m_{\ell }-2)!}& \frac{g^{(m_{\ell }-1)}\left({\lambda }_{\ell }\right)}{(m_{\ell }-1)!}\\ 0& g\left({\lambda }_{\ell }\right)& \frac{g^{\prime }\left({\lambda }_{\ell }\right)}{1!}& \cdots & \frac{g^{(m_{\ell }-3)}\left({\lambda }_{\ell }\right)}{(m_{\ell }-3)!}& \frac{g^{(m_{\ell }-2)}\left({\lambda }_{\ell }\right)}{(m_{\ell }-2)!}\\ \cdots & \cdots & \cdots & \cdots & \cdots & \cdots \\ \cdots & \cdots & \cdots & \cdots & \cdots & \cdots \\ 0& 0& 0& \cdots & g\left({\lambda }_{\ell }\right)& \frac{g^{\prime }\left({\lambda }_{\ell }\right)}{1!}\\ 0.& .0.& .0.& \cdots & 0& g\left({\lambda }_{\ell }\right)\end{array}\right],\ell =1\cdots ,L.$$

(15)

It follows from (13) and (14) that

$$g\left(Z\right)=Mg\left(\mathbb{J}\right)M^{-1}.$$

2.3. Classical ML Functions

The classical two-parameter ML function is defined by

$$E_{\beta ,\nu }\left(z\right)=\sum _{n=0}^{\infty }\frac{z^n}{\Gamma (\beta n+\nu )},z\in \mathbb{C},$$

where $\mathbb{C}$ is the set of complex numbers and parameters $\beta >0,\nu >0.$ This function plays an important role in the theory of fractional-order differential equations. For various properties of the ML function, we refer the reader to sources [30,31] and the references therein. Here, we only mention some properties of $E_{\beta ,\nu }\left(z\right)$ used in the current paper. The function $E_{\beta ,\nu }\left(z\right)$ is an entire function of order $1/\beta$ and recovers the exponential function $exp\left(z\right)$ when $\beta =\nu =1.$ It is known [30,31] that for $0<\beta <2,\nu \in \mathbb{C},$ the ML function $E_{\beta ,\nu }\left(z\right)$ has asymptotic behavior

$$E_{\beta ,\nu }\left(z\right)\sim \frac{1}{\beta }{z}^{(1-\nu )/\beta }exp\left(z^{1/\beta }\right),\left|z\right|\to \infty ,\mathrm{if}\frac{\beta \pi }{2}<|arg\left(z\right)|<min\{\pi ,\beta \pi \},$$

(16)

and

$$E_{\beta ,\nu }\left(z\right)\sim 1/\left|z\right|,\left|z\right|\to \infty ,\mathrm{if}min\{\pi ,\beta \pi \}<|arg\left(z\right)|\le \pi .$$

(17)

For derivatives of $E_{\beta ,\nu }\left(z^{\beta }\right)$, the following formulas are valid:

$$\frac{d^k}{d{z}^k}\left[z^{\nu -1}{E}_{\beta ,\nu }\left(z^{\beta }\right)\right]=z^{\nu -k-1}{E}_{\beta ,\nu -k}\left(z^{\beta }\right),Re\left(\nu \right)>k,k=1,2,\cdots .$$

(18)

Consider the function $E_{\beta ,\nu }\left(\mu t^{\beta }\right),$ with a parameter $\mu \in \mathbb{C}.$ This function plays an important role in the theory of fractional-order differential equations. For the Laplace transform of this function and its derivatives, the following formulas hold [3,10,30]:

$$L\left[t^{\nu -1}{E}_{\beta ,\nu }\left(\mu t^{\beta }\right)\right]\left(s\right)=\frac{s^{\beta -\nu }}{s^{\beta }-\mu },s>{\left[Re\left(\mu \right)\right]}^{1/\beta },$$

(19)

$$L\left[\frac{t^{k\beta +\nu -1}}{k!}{E}_{\beta ,\nu }^{\left(k\right)}\left(\mu t^{\beta }\right)\right]\left(s\right)=\frac{s^{\beta -\nu }}{{(s^{\beta }-\mu )}^{k+1}},s>{\left[Re\left(\mu \right)\right]}^{1/\beta },k=1,2,\cdots ,$$

(20)

where $E_{\beta ,\nu }^{\left(k\right)}\left(z\right)=\frac{d^k}{d{z}^k}{E}_{\beta ,\nu }\left(z\right).$ In particular, if $\nu =1,$ then one obtains

$$L\left[\frac{t^{k\beta }}{k!}{E}_{\beta }^{\left(k\right)}\left(\mu t^{\beta }\right)\right]\left(s\right)=\frac{s^{\beta -1}}{{(s^{\beta }-\mu )}^{k+1}},s>{\left[Re\left(\mu \right)\right]}^{1/\beta },k=0,1,\cdots ,$$

(21)

and if $\nu =\beta$ in (20),

$$L\left[\frac{t^{k\beta +\beta -1}}{k!}{E}_{\beta ,\beta }^{\left(k\right)}\left(\mu t^{\beta }\right)\right]\left(s\right)=\frac{1}{{(s^{\beta }-\mu )}^{k+1}},s>{\left[Re\left(\mu \right)\right]}^{1/\beta },k=0,1,\cdots ,$$

(22)

The convolution of functions $f\left(t\right),g\left(t\right),t\ge 0,$ is defined by

$$(f*g)\left(t\right)={\int }_0^{t}f\left(\tau \right)g(t-\tau )d\tau .$$

(23)

The following lemmas will be used in our further analysis.

 Lemma 1. 

For $0<{\beta }_1<{\beta }_2,\nu >0,$ and $k=0,1,\cdots ,$ the following relations hold:

 (a) 

$${\left(I-\mu J^{\beta }\right)}^k\left[\frac{t^{k\beta +\nu -1}}{k!}{E}_{\beta ,\nu }^{\left(k\right)}\left(\mu t^{\beta }\right)\right]=J^{k\beta }{E}_{\beta ,\nu }\left(\mu t^{\beta }\right),$$

(24)

 (b) 

$${\left(J^{{\beta }_2-{\beta }_1}-\mu J^{{\beta }_2}\right)}^k\left[\frac{t^{k{\beta }_1+\nu -1}}{k!}{E}_{{\beta }_1,\nu }^{\left(k\right)}\left(\mu t^{{\beta }_1}\right)\right]=J^{k{\beta }_2}{E}_{{\beta }_1,\nu }\left(\mu t^{{\beta }_1}\right),$$

(25)

where I is the identity operator and $J^{\beta }$ is the fractional integral of order $\beta .$

Proof. (a) To prove this statement, we show that the Laplace transforms of both sides in (24) coincide. Indeed, applying the Laplace transform to the left side of (24), we have

$${\left(1-\frac{\mu }{s^{\beta }}\right)}^k\frac{s^{\beta -\nu }}{{(s^{\beta }-\mu )}^{k+1}}=\frac{s^{\beta -\nu }}{s^{k\beta }(s^{\beta }-\mu )},s>{\left[Re\left(\mu \right)\right]}^{1/\beta }.$$

This is obviously the Laplace transform of the right-hand side of (24), as well.

(b) Similarly, the Laplace transform of the left-hand side of (25) is

$${\left(\frac{1}{s^{{\beta }_2-{\beta }_2}}-\frac{\mu }{s^{{\beta }_2}}\right)}^k\frac{s^{{\beta }_1-\nu }}{{(s^{{\beta }_1}-\mu )}^{k+1}}=\frac{s^{{\beta }_1-\nu }}{s^{k{\beta }_2}(s^{{\beta }_1}-\mu )},s>{\left[Re\left(\mu \right)\right]}^{1/{\beta }_1},$$

which is the Laplace transform of the right-hand side of (25), as well. □

 Lemma 2. 

For any ${\beta }_1>0,{\beta }_2>0,\nu >0,$ and parameters ${\mu }_1,{\mu }_2\in \mathbb{C}$, the following relations hold:

 (i) 

$${(I-{\mu }_2{J}^{{\beta }_2})}^{-1}\left[t^{\nu -1}{E}_{{\beta }_1,\nu }\left({\mu }_1{t}^{{\beta }_1}\right)-{\mu }_1{J}^{\nu }(t^{{\beta }_1-1}{E}_{{\beta }_1,{\beta }_1}\left({\mu }_1{t}^{{\beta }_1}\right)\right]=t^{\nu -1}{E}_{{\beta }_2,\nu }\left({\mu }_2{t}^{{\beta }_2}\right),$$

(26)

 (ii) 

$${(I-{\mu }_2{J}^{{\beta }_2})}^{-1}{J}^{{\beta }_2}\left[t^{\nu -1}{E}_{{\beta }_1,\nu }\left({\mu }_1{t}^{{\beta }_1}\right)\right]=\left(t^{\nu -1}{E}_{{\beta }_1,\nu }\left({\mu }_1{t}^{{\beta }_1}\right)\right)*\left(t^{{\beta }_2-1}{E}_{{\beta }_2,{\beta }_2}\left({\mu }_2{t}^{{\beta }_2}\right)\right),$$

(27)

where “*” is the convolution operation.

Proof. (i) Again, we show that the Laplace transforms of both sides in Equations (26) and (27) coincide. For the Laplace transform of the left-hand side of (26), we have

$$\begin{array}{cc}\hfill \mathcal{L}& \left[{(I-{\mu }_2{J}^{{\beta }_2})}^{-1}[t^{\nu -1}{E}_{{\beta }_1,\nu }\left({\mu }_1{t}^{{\beta }_1}\right)-{\mu }_1{J}^{\nu }{E}_{{\beta }_1,{\beta }_1}\left({\mu }_1{t}^{{\beta }_1}\right)]\right]\hfill \\ \hfill & ={(1-\frac{{\mu }_2}{s^{{\beta }_2}})}^{-1}\left(\frac{s^{{\beta }_1-\nu }}{s^{{\beta }_1}-{\mu }_1}-\frac{{\mu }_1}{s^{\nu }(s^{{\beta }_1}-{\mu }_1)}\right)\hfill \\ \hfill & =\frac{s^{{\beta }_2}}{s^{{\beta }_2}-{\mu }_2}\frac{s^{{\beta }_1}-{\mu }_1}{s^{\nu }(s^{{\beta }_1}-{\mu }_1)}=\frac{s^{{\beta }_2-\nu }}{s^{{\beta }_2}-{\mu }_2},\hfill \end{array}$$

where

$$s>max\left\{{\left[Re\left({\mu }_1\right)\right]}^{1/{\beta }_1},{\left[Re\left({\mu }_2\right)\right]}^{1/{\beta }_2}\right\}.$$

This is obviously the Laplace transform of the right-hand side of (26), as well.

(ii) Similarly, the Laplace transform of the left-hand side of (27) is

$$\begin{array}{cc}\hfill \mathcal{L}& \left[{(I-{\mu }_2{J}^{{\beta }_2})}^{-1}{J}^{{\beta }_2}\left[t^{\nu -1}{E}_{{\beta }_1,\nu }\left({\mu }_1{t}^{{\beta }_1}\right)\right]\right]={(1-\frac{{\mu }_2}{s^{{\beta }_2}})}^{-1}\frac{s^{{\beta }_1-\nu }}{s^{{\beta }_2}(s^{{\beta }_1}-{\mu }_1)}\hfill \\ \hfill & =\frac{s^{{\beta }_2}}{s^{{\beta }_2}-{\mu }_2}\frac{s^{{\beta }_1-\nu }}{s^{{\beta }_2}(s^{{\beta }_1}-{\mu }_1)}=\frac{s^{{\beta }_1-\nu }}{s^{{\beta }_1}-{\mu }_1}\frac{1}{s^{{\beta }_2}-{\mu }_2}.\hfill \end{array}$$

On the other hand, due to the convolution theorem, the Laplace transform of the right-hand side of (27) also results in the same expression. □

2.4. Matrix-Valued ML Functions

Since $E_{\beta ,\nu }\left(z\right)$ is an entire function, in accordance with (14) and (15), for a matrix Z, one can introduce a matrix-valued version of the ML function as

$${\mathbb{E}}_{\beta ,\nu }\left(Z\right)=M{\mathbb{E}}_{\beta ,\nu }\left(\mathbb{J}\right)M^{-1}=M{\mathbb{E}}_{\beta ,\nu }(\Lambda +N)M^{-1},$$

(28)

where

$${\mathbb{E}}_{\beta ,\nu }\left(\mathbb{J}\right)=\left[\begin{array}{cccc}{\mathbb{E}}_{\beta ,\nu }\left(J_1\right)& 0& \cdots & 0\\ 0.& {\mathbb{E}}_{\beta ,\nu }\left(J_2\right)& \cdots & 0\\ \cdots & \cdots & \cdots & \cdots \\ 0.& 0.& .\cdots & {\mathbb{E}}_{\beta ,\nu }\left(J_L\right)\end{array}\right],$$

(29)

with the block matrices

$$\begin{array}{cc}\hfill {\mathbb{E}}_{\beta ,\nu }\left(J_{\ell }\right)& =\left[\begin{array}{ccccc}{E}_{\beta ,\nu }\left({\lambda }_{\ell }\right)& \frac{E_{\beta ,\nu }^{\prime }\left({\lambda }_{\ell }\right)}{1!}& \cdots & \frac{E_{\beta ,\nu }^{(m_{\ell }-2)}\left({\lambda }_{\ell }\right)}{(m_{\ell }-2)!}& \frac{E_{\beta ,\nu }^{(m_{\ell }-1)}\left({\lambda }_{\ell }\right)}{(m_{\ell }-1)!}\\ 0& E_{\beta ,\nu }\left({\lambda }_{\ell }\right)& \cdots & \frac{E_{\beta ,\nu }^{(m_{\ell }-3)}\left({\lambda }_{\ell }\right)}{(m_{\ell }-3)!}& \frac{E_{\beta ,\nu }^{(m_{\ell }-2)}\left({\lambda }_{\ell }\right)}{(m_{\ell }-2)!}\\ \cdots & \cdots & \cdots & \cdots & \cdots \\ \cdots & \cdots & \cdots & \cdots & \cdots \\ 0& 0& \cdots & E_{\beta ,\nu }\left({\lambda }_{\ell }\right)& \frac{E_{\beta ,\nu }^{\prime }\left({\lambda }_{\ell }\right)}{1!}\\ 0& 0& \cdots & 0& E_{\beta ,\nu }\left({\lambda }_{\ell }\right)\end{array}\right],\hfill \end{array}$$

(30)

corresponding to (algebraic) eigenvalues ${\lambda }_{\ell },\ell =1\cdots ,L,$ of the matrix $Z.$ It is not difficult to verify that, using Formulas (19), (20), and (30), one obtains the Laplace transforms of the matrix-valued function $t^{\nu -1}{\mathbb{E}}_{\beta ,\nu }\left(t^{\beta }{J}_{\ell }\right):$

$$L\left[t^{\nu -1}{\mathbb{E}}_{\beta ,\nu }\left(t^{\beta }{J}_{\ell }\right)\right]\left(s\right)=\left[\begin{array}{cccc}\frac{s^{\beta -\nu }}{s^{\beta }-{\lambda }_{\ell }}& \frac{s^{\beta -\nu }}{{(s^{\beta }-{\lambda }_{\ell })}^2}& \cdots & \frac{s^{\beta -\nu }}{{(s^{\beta }-{\lambda }_{\ell })}^{m_{\ell }}}\\ 0& \frac{s^{\beta -\nu }}{s^{\beta }-{\lambda }_{\ell }}& \cdots & \frac{s^{\beta -\nu }}{{(s^{\beta }-{\lambda }_{\ell })}^{m_{\ell }-1}}\\ \cdots & \cdots & \cdots & \cdots \\ 0& 0& \cdots & \frac{s^{\beta -\nu }}{s^{\beta }-{\lambda }_{\ell }}\end{array}\right],\ell =1,\cdots L.$$

(31)

2.5. Vector-Indexed Matrix-Valued ML Functions

Let $\mathcal{B}=({\beta }_1,\cdots ,{\beta }_m)$ and $\mathcal{V}=({\nu }_1,\cdots ,{\nu }_m)$ be vector indices with components ${\beta }_j>0,{\nu }_j>0,j=1,\cdots ,m.$ For a diagonal matrix D with diagonal entries $d_1,\cdots ,d_m,$ we use the notation

$$D=\mathrm{diag}(d_1,\cdots ,d_m).$$

 Definition 1. 

Let Z be a square matrix of size $m\times m$ with complex entries. A vector-indexed matrix-valued ML function denoted by $E_{\mathcal{B},\mathcal{V}}\left(z\right),$ is defined by

$$E_{\mathcal{B},\mathcal{V}}\left(Z\right)=\sum _{n=0}^{\infty }{\left(I\Gamma (n\mathcal{B}+\mathcal{V})\right)}^{-1}{Z}^n,$$

(32)

where $I\Gamma (n\mathcal{B}+\mathcal{V})=\mathrm{diag}\left(\Gamma (n{\beta }_1+{\nu }_1),\cdots ,n\Gamma ({\beta }_m+{\nu }_m)\right).$

The vector-indexed matrix-valued ML function $E_{\mathcal{B},\mathcal{V}}\left(Z\right)$ generalizes the classical and above-considered matrix-valued ML functions. Below are some examples.

• Let $m=1$ and ${\beta }_1=\beta ,{\nu }_1=\nu .$ Then, we obtain the classical two-parameter ML function $E_{\beta ,\nu }\left(z\right).$
• Let $\mathcal{B}=(\beta ,\cdots ,\beta )$ and $\mathcal{V}=({\nu }_1,\cdots ,\nu ).$ Then, we obtain the matrix-valued ML function [13,30]

  $$E_{\beta ,\nu }\left(Z\right)=\sum _{n=0}^{\infty }\frac{Z^n}{\Gamma (n\beta +\nu )}.$$

  (33)
  Indeed, in this case,

  $$\begin{array}{cc}\hfill {\left(I\Gamma (n\mathcal{B}+\mathcal{V})\right)}^{-1}{Z}^n& ={\left[\mathrm{diag}(\Gamma (n\beta +\nu ),\cdots ,\Gamma (n\beta +\nu \left)\right)\right]}^{-1}{Z}^n\hfill \\ \hfill & =\mathrm{diag}\left(\frac{1}{\Gamma (n\beta +\nu )},\cdots ,\frac{1}{\Gamma (n\beta +\nu )}\right)Z^n\hfill \\ \hfill & =\frac{1}{\Gamma (n\beta +\nu )}{Z}^n.\hfill \end{array}$$
  Therefore, in this case, (32) reduces to (33).

Let ${\lambda }_j,j=1,\cdots ,L,$ be eigenvalues of (algebraic) multiplicity $m_j$ of the matrix $Z=M(\Lambda +N)M^{-1},$ and let $J_{\ell }$ be the Jordan block of the Jordan canonical form $\Lambda +N$ corresponding to ${\lambda }_j.$ Then, it is not difficult to see that

$${\mathbb{E}}_{\mathcal{B},\mathcal{V}}\left(\Lambda +N\right)=\left[\begin{array}{cccc}{\mathbb{E}}_{{\mathcal{B}}_1,{\mathcal{V}}_1}\left(J_1\right)& 0& \cdots & 0\\ 0& {\mathbb{E}}_{{\mathcal{B}}_2,{\mathcal{V}}_2}\left(J_2\right)& \cdots & 0\\ \cdots & \cdots & \cdots & \cdots \\ 0& 0& \cdots & {\mathbb{E}}_{{\mathcal{B}}_L,{\mathcal{V}}_L}\left(J_L\right)\end{array}\right],$$

(34)

where ${\mathcal{B}}_{\ell }=({\beta }_{M_{\ell }+1},\cdots ,{\beta }_{M_{\ell }+m_{\ell }}),{\mathcal{V}}_{\ell }=({\nu }_{M_{\ell }+1},\cdots ,{\nu }_{M_{\ell }+m_{\ell }}),$ and $M_{\ell }=m_1+\cdots +m_{\ell -1},$ with blocks

$$\begin{array}{cc}\hfill {\mathbb{E}}_{{\mathcal{B}}_{\ell },{\mathcal{V}}_{\ell }}\left(J_{\ell }\right)& =\left[\begin{array}{cccc}{E}_{{\beta }_{M_{\ell }}+1,{\nu }_{M_{\ell }}+1}\left({\lambda }_{\ell }\right)& \frac{E_{{\beta }_{M_{\ell }}+1,{\nu }_{M_{\ell }}+1}^{\prime }\left({\lambda }_{\ell }\right)}{1!}& \cdots & \frac{E_{{\beta }_{M_{\ell }}+1,{\nu }_{M_{\ell }}+1}^{(m_{\ell }-1)}\left({\lambda }_{\ell }\right)}{(m_{\ell }-1)!}\\ 0& E_{{\beta }_{M_{\ell }}+2,{\nu }_{M_{\ell }}+2}\left({\lambda }_{\ell }\right)& \cdots & \frac{E_{{\beta }_{M_{\ell }}+2,{\nu }_{M_{\ell }}+2}^{(m_{\ell }-2)}\left({\lambda }_{\ell }\right)}{(m_{\ell }-2)!}\\ \cdots & \cdots & \cdots & \cdots & \\ 0& 0& \cdots & E_{{\beta }_{M_{\ell }}+m_{\ell },{\nu }_{M_{\ell }}+m_{\ell }}\left({\lambda }_{\ell }\right)\end{array}\right].\hfill \end{array}$$

(35)

Now, suppose that

$$\mathcal{B}=(\underset{m_1\mathrm{times}}{\underbrace{{\beta }_1,\cdots ,{\beta }_1}},\underset{m_2\mathrm{times}}{\underbrace{{\beta }_2,\cdots ,{\beta }_2}},\cdots ,\underset{m_L\mathrm{times}}{\underbrace{{\beta }_L,\cdots ,{\beta }_L}}),$$

and

$$\mathcal{V}=(\underset{m_1\mathrm{times}}{\underbrace{{\nu }_1,\cdots ,{\nu }_1}},\underset{m_2\mathrm{times}}{\underbrace{{\nu }_2,\cdots ,{\nu }_2}},\cdots ,\underset{m_L\mathrm{times}}{\underbrace{{\nu }_L,\cdots ,{\nu }_L}}).$$

Then, it follows from (35) that, for each $\ell =1,\cdots ,L,$

$$\begin{array}{cc}\hfill & {\mathbb{E}}_{{\mathcal{B}}_{\ell },{\mathcal{V}}_{\ell }}\left(I{t}^{{\mathcal{B}}_{\ell }}{J}_{\ell }\right)\hfill \\ \hfill & =\left[\begin{array}{ccccc}{E}_{{\beta }_{\ell },{\nu }_{\ell }}\left({\lambda }_{\ell }{t}^{{\beta }_{\ell }}\right)& \frac{t^{{\beta }_{\ell }}{E}_{{\beta }_{\ell },{\nu }_{\ell }}^{\prime }\left({\lambda }_{\ell }{t}^{{\beta }_{\ell }}\right)}{1!}& \cdots & \frac{t^{(m_{\ell }-2){\beta }_{\ell }}{E}_{{\beta }_{\ell },{\nu }_{\ell }}^{(m_{\ell }-2)}\left({\lambda }_{\ell }{t}^{{\beta }_{\ell }}\right)}{(m_{\ell }-2)!}& \frac{t^{(m_{\ell }-1){\beta }_{\ell }}{E}_{{\beta }_{\ell },{\nu }_{\ell }}^{(m_{\ell }-1)}\left({\lambda }_{\ell }{t}_{\ell }^{\beta }\right)}{(m_{\ell }-1)!}\\ 0& E_{{\beta }_{\ell },{\nu }_{\ell }}\left({\lambda }_{\ell }{t}^{{\beta }_{\ell }}\right)& \cdots & \frac{t^{(m_{\ell }-3)\beta }{E}_{{\beta }_{\ell },{\nu }_{\ell }}^{(m_{\ell }-3)}\left({\lambda }_{\ell }{t}^{{\beta }_{\ell }}\right)}{(m_{\ell }-3)!}& \frac{t^{(m_{\ell }-2)\beta }{E}_{{\beta }_{\ell },{\nu }_{\ell }}^{(m_{\ell }-2)}\left({\lambda }_{\ell }{t}^{{\beta }_{\ell }}\right)}{(m_{\ell }-2)!}\\ \cdots & \cdots & \cdots & \cdots & \cdots \\ \cdots & \cdots & \cdots & \cdots & \cdots \\ 0& 0& \cdots & E_{{\beta }_{\ell },{\nu }_{\ell }}\left({\lambda }_{\ell }{t}^{{\beta }_{\ell }}\right)& \frac{t^{{\beta }_{\ell }}{E}_{{\beta }_{\ell },{\nu }_{\ell }}^{\prime }\left({\lambda }_{\ell }{t}^{{\beta }_{\ell }}\right)}{1!}\\ 0& 0& \cdots & 0& E_{{\beta }_{\ell },{\nu }_{\ell }}\left({\lambda }_{\ell }{t}^{{\beta }_{\ell }}\right)\end{array}\right],\hfill \end{array}$$

(36)

where $I{t}^{{\mathcal{B}}_{\ell }}=diag(t^{{\beta }_{\ell }},\cdots ,t^{{\beta }_{\ell }})$ is a diagonal matrix of size $m_{\ell }\times m_{\ell }.$

The latter implies

$$L\left[I{t}^{{\mathcal{B}}_{\ell }-{\mathcal{V}}_{\ell }}{\mathbb{E}}_{{\mathcal{B}}_{\ell },{\mathcal{V}}_{\ell }}\left(t^{{\mathcal{B}}_{\ell }}{J}_{\ell }\right)\right]\left(s\right)=\left[\begin{array}{cccc}\frac{s^{{\beta }_{\ell }-{\nu }_{\ell }}}{s^{{\beta }_{\ell }}-{\lambda }_{\ell }}& \frac{s^{{\beta }_{\ell }-{\nu }_{\ell }}}{{(s^{{\beta }_{\ell }}-{\lambda }_{\ell })}^2}& \cdots & \frac{s^{{\beta }_{\ell }-{\nu }_{\ell }}}{{(s^{{\beta }_{\ell }}-{\lambda }_{\ell })}^{m_{\ell }}}\\ 0& \frac{s^{{\beta }_{\ell }-{\nu }_{\ell }}}{s^{{\beta }_{\ell }}-{\lambda }_{\ell }}& \cdots & \frac{s^{{\beta }_{\ell }-{\nu }_{\ell }}}{{(s^{{\beta }_{\ell }}-{\lambda }_{\ell })}^{m_{\ell }-1}}\\ \cdots & \cdots & \cdots & \cdots \\ 0& 0& \cdots & \frac{s^{\beta -1}}{s^{{\beta }_{\ell }}-{\lambda }_{\ell }}\end{array}\right],\ell =1,\cdots L.$$

(37)

We note that, in general, $M{\mathbb{E}}_{\mathcal{B},\mathcal{V}}\left(\Lambda +N\right)M^{-1}$ is not the same as $E_{\mathcal{B},\mathcal{V}}\left(Z\right)$ unless vector indices $\mathcal{B}$ and $\mathcal{V}$ have equal components. Indeed, using the equality

$$Z^n=M{(\Lambda +N)}^n{M}^{-1},$$

one obtains

$$E_{\mathcal{B},\mathcal{V}}\left(Z\right)=\sum _{n=0}^{\infty }{\left(I\Gamma (n\mathcal{B}+\mathcal{V})\right)}^{-1}M{(\Lambda +N)}^n{M}^{-1}\ne M{\mathbb{E}}_{\mathcal{B},\mathcal{V}}\left(\Lambda +N\right)M^{-1},$$

since matrices ${\left(I\Gamma (n\mathcal{B}+\mathcal{V})\right)}^{-1}$ and M do not commute. It is not difficult to verify that these matrices commute if and only if vectors $\mathcal{B}$ and $\mathcal{V}$ have equal components. In this case, the following theorem holds.

 Theorem 1. 

Let $\mathcal{B}=(\beta ,\cdots ,\beta ),0<\beta \le 1,$ and $\mathcal{V}=(\nu ,\cdots ,\nu ),\nu >0.$ Then,

 1. 

for the matrix-valued ML function $E_{\mathcal{B},\mathcal{V}}\left(Z\right)$, the following representation is valid

$$E_{\mathcal{B},\mathcal{V}}\left(Z\right)=M{E}_{\mathcal{B},\mathcal{V}}\left(\Lambda +N\right)M^{-1};$$

 2. 

the following Laplace transform formula holds

$$\mathcal{L}\left[I{t}^{\mathcal{V}-\mathbf{1}}{E}_{\mathcal{B},\mathcal{V}}\left(I{t}^{\mathcal{B}}Z\right)\right]\left(s\right)=I{s}^{\mathcal{B}-\mathcal{V}}{(I{s}^{\mathcal{B}}-Z)}^{-1},$$

(38)

where $\mathcal{V}-\mathbf{1}=(\nu -1,\cdots ,\nu -1)$ and $I{t}^{\mathcal{B}}=diag(t^{\beta },\cdots ,t^{\beta }).$

 Proof. 

We need to prove only part 2. Using the definition (32) of the ML function, we have

$$\mathcal{L}\left[I{t}^{\mathcal{V}-\mathbf{1}}{E}_{\mathcal{B},\mathcal{V}}\left(I{t}^{\mathcal{B}}Z\right)\right]\left(s\right)=\sum _{n=0}^{\infty }{\left(I\Gamma (n\mathcal{B}+\mathcal{V})\right)}^{-1}\mathcal{L}\left[I{t}^{n\mathcal{B}+\mathcal{V}-\mathbf{1}}\right]Z^n,$$

(39)

since matrices $I{t}^{\mathcal{V}-\mathbf{1}}$ and $I\Gamma (n\mathcal{B}+\mathcal{V}){)}^{-1}$ commute under the conditions to $\mathcal{B}$ and $\mathcal{V}.$ Further, using the well-known relation $\mathcal{L}\left[t^{\rho }\right]\left(s\right)=\Gamma (\rho +1)/s^{\rho +1},$ we obtain

$$\mathcal{L}\left[I{t}^{\mathcal{V}-\mathbf{1}}{E}_{\mathcal{B},\mathcal{V}}\left(I{t}^{\mathcal{B}}Z\right)\right]\left(s\right)=I{s}^{-\mathcal{V}}\sum _{n=0}^{\infty }\left[I{s}^{-n\mathcal{B}}{Z}^n\right]=I{s}^{\mathcal{B}-\mathcal{V}}{(I{s}^{\mathcal{B}}-Z)}^{-1},$$

(40)

completing the proof. □

2.6. Matrix-Valued Operators with Singular Symbols

In this section, we describe matrix-valued operators $\mathcal{F}\left(A\right)$ on the right-hand side of system (1). Let A be a closed linear operator with a domain $\mathcal{D}\left(A\right)$ dense in a reflexive Banach space X and a nonempty spectrum $\sigma \left(A\right)\subset \mathbb{C}.$ Assume that the entry $f_{jk}\left(A\right)$ of the matrix-valued operator $\mathcal{F}\left(A\right)$ has the symbol $f_{jk}\left(z\right),z\in \mathbb{C},$ analytic in an open connected domain $G\subset \mathbb{C}.$ If $\sigma \left(A\right)$ is bounded and G contains $\sigma \left(A\right)$, then one can define the operator $f_{jk}\left(A\right)$ as (see, e.g., [1,32])

$$f_{jk}\left(A\right)={\int }_{\gamma }{f}_{jk}\left(\zeta \right)\mathcal{R}(\zeta ,A)d\zeta ,j,k=1,\cdots ,m,$$

(41)

where $\gamma$ is a contour in G containing $\sigma \left(A\right),$ and $\mathcal{R}(\zeta ,A),\zeta \in \mathbb{C}\setminus \sigma \left(A\right),$ is the resolvent operator of $A.$ Representation (41) is not valid if $f_{jk}\left(z\right)$ has singularities on the spectrum $\sigma \left(A\right).$

In the case that f has singular points in the spectrum $\sigma \left(A\right)$ of the operator A, the corresponding operator $f\left(A\right)$ can be constructed as follows. Denote by $sing\left(f\right)$ the set of singular points of f on $\sigma \left(A\right).$ Let $\mathbb{D}$ be an open set in $\mathbb{C}$ containing $\sigma \left(A\right).$ In particular, if $\sigma \left(A\right)=\mathbb{C}$, then $\mathbb{D}=\mathbb{C}$ as well. Consider an open set $G\subset \mathbb{D}\setminus sing\left(f\right).$ Let $0<r\le +\infty$ and $\mu <r$. Denote by $X_{\mu }$ the set of elements $x\in {\cap }_{k\ge 1}\mathcal{D}\left(A^k\right)$ satisfying the inequalities $\parallel A^{k}x\parallel \le C{\mu }^k\parallel x\parallel$ for all $k=1,2,...,$ with a constant $C>0$ not depending on k. A sequence of elements $x_n\in X_{\mu },n=1,2,...,$ is said to converge to an element $x_0\in X_{\mu }$ if $\parallel x_n-x_0\parallel \to 0,$ as $n\to \infty$. It is easy to see that $X_{{\mu }_1}\subset X_{{\mu }_2},$ if ${\mu }_1<{\mu }_2,$ and this inclusion is continuous. Denote by $X_{A,r}$ the inductive limit of spaces $X_{\mu }$ as $\mu \to r,$ i.e.,

$$X_{A,r}=\underset{\mu \to r}{\mathrm{ind}-\lim }{X}_{\mu },$$

meaning that $X_{A,r}={\cup }_{0<\mu <r}{X}_{\mu }$ with the strongest topology. For basic notions of topological vector spaces including inductive and projective limits, we refer the reader to [33]. The space $X_{A,r}$ is called a space of exponential vectors of type r (see, e.g., [34,35]) associated with the operator $A.$

Let $A_{\lambda }=A-\lambda I,$ where $\lambda \in G,$ and denote by $X_{A,G}$ the space whose elements are locally finite sums of the elements in $X_{A_{\lambda },r},r<\mathrm{dist}(\lambda ,\partial G),$ with the corresponding topology. Here, $\mathrm{dist}(\lambda ,\partial G)$ is the minimal distance between the point $\lambda$ and the boundary of the domain $G.$ By definition, any $u\in X_{A,G}$ has a representation

$$u=\sum _{k=1}^{m_u}{u}_{{\lambda }_k},u_{{\lambda }_k}\in X_{A_{{\lambda }_k},r},$$

where ${\lambda }_k\in G,$ and $m_u$ is a finite number.

Now, we can define operators $f\left(A\right)$ with symbols $f\left(z\right)$ analytic in the domain $G.$ Recall that $f\left(z\right)$ may have singular points on the spectrum $\sigma \left(A\right),$ but G does not contain singularities of $f\left(z\right).$ As an analytic function in $G,$$f\left(z\right)$ has the Taylor expansion

$$f_{\lambda }\left(z\right)=\sum _{n=0}^{\infty }\frac{f^{\left(n\right)}\left(\lambda \right)}{n!}{(z-\lambda )}^n,\lambda \in G,$$

convergent in any open disc $|z-\lambda |<r,$ where $r<dist(\lambda ,\partial G).$ Therefore, the operator $f_{\lambda }\left(A\right)$ defined as

$$f_{\lambda }\left(A\right)u_{\lambda }=\sum _{n=0}^{\infty }\frac{f^{\left(n\right)}\left(\lambda \right)}{n!}{A}_{\lambda }^n{u}_{\lambda }$$

(42)

on elements $u_{\lambda }\in X_{A_{\lambda },r}$ is well defined. Indeed, we have

$$\begin{array}{cc}\hfill \parallel f_{\lambda }\left(A\right)u_{\lambda }\parallel & \le C\sum _{n=0}^{\infty }\frac{|f^{\left(n\right)}\left(\lambda \right)|}{n!}\parallel A_{\lambda }^n{u}_{\lambda }\parallel \hfill \\ \hfill & \le C\parallel u_{\lambda }\parallel \sum _{n=0}^{\infty }\frac{|f^{\left(n\right)}\left(\lambda \right)|}{n!}{\mu }^n<\infty ,\mu <r.\hfill \end{array}$$

(43)

Finally, for an arbitrary $u\in X_{A,G}$ with the representation

$$u=\sum _{\lambda \in G}{u}_{\lambda },u_{\lambda }\in X_{A_{\lambda },r},$$

(44)

the operator $f\left(A\right)$ is defined by the formula

$$f\left(A\right)u=\sum _{\lambda \in G}{f}_{\lambda }\left(A\right)u_{\lambda },$$

(45)

where $f_{\lambda }\left(A\right)u_{\lambda }$ is defined in (42). Using estimate (43) and representation (45), it is easy to show that the operator $f\left(A\right)$ is well defined on the space $X_{A,G}.$

Further, suppose that there exists a one-parameter family of bounded invertible operators $E_{\lambda }:X\to X$ such that

$$A_{\lambda }=E_{\lambda }A{E}_{\lambda }^{-1},\lambda \in G.$$

(46)

 Example 1. 

Let $X=L_2\equiv L_2\left(\mathbb{R}\right)$ and $A=-i\frac{d}{dx}:L_2\to L_2$ with domain $\mathcal{D}\left(A\right)=\{v\in L_2:Av\in L_2\}.$ Then, for operators $E_{\lambda }:v\left(x\right)\to e^{i\lambda x}v\left(x\right)$, we have

$$\begin{array}{cc}\hfill A{E}_{\lambda }v\left(x\right)& =-i\frac{d}{dx}\left(e^{i\lambda x}v\left(x\right)\right)=\lambda e^{i\lambda x}v\left(x\right)-i{e}^{i\lambda x}\frac{dv}{dx}\hfill \\ \hfill & =\lambda E_{\lambda }v\left(x\right)+E_{\lambda }Av\left(x\right),x\in \mathbb{R},\hfill \end{array}$$

obtaining (46).

It follows from (46) that

$$A_{\lambda }^n=E_{\lambda }{A}^n{E}_{\lambda }^{-1},$$

for all $n=1,2,\cdots ,$ yielding

$$f\left(A\right)u=\sum _{\lambda \in G}\sum _{n=0}^{\infty }\frac{f^{\left(n\right)}\left(\lambda \right)}{n!}{U}_{\lambda }{A}^n{U}_{\lambda }^{-1}{u}_{\lambda }.$$

(47)

Recall that, here, the sum with respect to $\lambda$ is finite.

The operator $f\left(A\right)$ defined in (45) maps $X_{A,G}$ to itself. Namely, the mapping

$$f\left(A\right):X_{A,G}\to X_{A,G}$$

is continuous. Indeed, let $u\in X_{A,G}$ have a representation $u={\sum }_{\lambda }{u}_{\lambda },u_{\lambda }\in X_{A_{\lambda },r}.$ Then, for $f\left(A\right)u$, we have the estimate

$$\begin{array}{cc}\hfill \parallel A_{\lambda }^k{f}_{\lambda }\left(A\right)u_{\lambda }\parallel & \le \sum _{n=0}^{\infty }\frac{|f^n\left(\lambda \right)|}{n!}\parallel {(A-\lambda I)}^n{A}_{\lambda }^k{u}_{\lambda }\parallel \hfill \\ \hfill & \le \underset{|z-\lambda |<r}{max}\left|f\left(z\right)\right|\parallel A_{\lambda }^k{u}_{\lambda }\parallel \le C{\mu }^k\parallel u_{\lambda }\parallel ,\hfill \end{array}$$

(48)

with some constant $C>0$ and $\mu <r.$ The latter means that $f_{\lambda }\left(A\right)u_{\lambda }\in X_{A_{\lambda },r}.$ Therefore, $f\left(A\right)u$ has a representation ${\sum }_{\lambda }{v}_{\lambda },$ where $v_{\lambda }=f_{\lambda }\left(A\right)u_{\lambda }\in X_{A_{\lambda },r},$ implying $f\left(A\right)u\in X_{A,G}.$ The estimate (48) also implies the continuity of the mapping $f\left(A\right)$ in the topology of $X_{A,G}.$

 Remark 1. 

If the spectrum of the operator A is discrete, then $X_{A_{\lambda },r}$ consists of all linear combinations of eigenvectors and associated eigenvectors corresponding to eigenvalues ${\lambda }_k$ in the disc $|\lambda -{\lambda }_k|<r,$ and the space $X_{A,G}$ is their locally finite sum.

Finally, it follows from the construction above that a matrix-valued operator $\mathcal{F}\left(A\right)$ with the matrix symbol $\mathcal{F}\left(z\right)=\{f_{kj}\left(z\right),k,j=1,\cdots ,m\},$ analytic in the domain $G,$ is well defined on elements of the direct product space

$${\mathcal{X}}_{A,G}=X_{A,G}\underset{m\mathrm{times}}{\underbrace{\otimes \cdots \otimes }}{X}_{A,G},$$

with the corresponding direct product topology. Moreover, the mapping

$$\mathcal{F}\left(A\right):{\mathcal{X}}_{A,G}\to {\mathcal{X}}_{A,G}$$

(49)

is continuous.

We note that the space ${\mathcal{X}}_{A,G}$ is relatively narrow. For example, if $A=(-i\frac{\partial }{\partial x_1},\cdots ,-i\frac{\partial }{\partial x_n})$ acting in the space $L_2\left({\mathbb{R}}^n\right),$ then the corresponding space ${\mathcal{X}}_{A,G}$ is the direct product of the space of functions analytic in $G\subset {\mathbb{R}}^n.$ However, the duality construction allows us to expand the introduced spaces and consider wider classes of fractional-order systems. Let $X^{*}$ denote the dual of $X,$ and $A^{*}:X^{*}\to X^{*}$ be the operator adjoint to A. We denote by $X_{A^{*},G^{*}}^{\prime }$ the space of linear continuous functionals defined on $X_{A,G},$ with respect to weak convergence. In other words, $X_{A^{*},G^{*}}^{\prime }$ is the projective limit of spaces $X_{A_{\lambda }^{*},r}^{\prime }$, which are dual to $X_{A_{\lambda },r}$ with the coarsest topology. Continuing the example $A=(-i\frac{\partial }{\partial x_1},\cdots ,-i\frac{\partial }{\partial x_n}),$ now, one can see that the corresponding space $X_{A^{*},G^{*}}^{\prime }$ gives rise to the space of analytic functionals (Sato’s hyperfunctions; see, e.g., [36]).

For an analytic matrix symbol $\mathcal{F}\left(z\right)$ defined on $G^{*}=\{z\in \mathbb{C}:\overline{z}\in G\}$, we define a matrix-valued operator $\mathcal{F}\left(A^{*}\right)$ as follows:

$$<\mathcal{F}\left(A^{*}\right)u^{*},v>=<u^{*},{\mathcal{F}}^T\left(A\right)v>,\forall v\in {\mathcal{X}}_{A,G},$$

(50)

where ${\mathcal{F}}^T\left(A\right)$ is the matrix-valued operator with the symbol $\mathcal{F}\left(z\right)$ analytic in $G,$ and $u^{*}$ is an element of the space ${\mathcal{X}}_{A^{*},G^{*}}^{\prime },$ dual to ${\mathcal{X}}_{A,G}.$ By construction, as a dual to the space of the direct product, the space ${\mathcal{X}}_{A^{*},G^{*}}^{\prime }$ represents the direct sum

$${\mathcal{X}}_{A^{*},G^{*}}^{\prime }=X_{A^{*},G^{*}}^{\prime }\underset{m\mathrm{times}}{\underbrace{\oplus \cdots \oplus }}{X}_{A^{*},G^{*}}^{\prime },$$

with the corresponding topology. It follows from (49) that the mapping

$$\mathcal{F}\left(A^{*}\right):{\mathcal{X}}_{A^{*},G^{*}}^{\prime }\to {\mathcal{X}}_{A^{*},G^{*}}^{\prime }$$

(51)

is continuous. Indeed, assume that a sequence $u_n^{*}\in {\mathcal{X}}_{A^{*},G^{*}}^{\prime }$ converges to 0 in the topology of ${\mathcal{X}}_{A^{*},G^{*}}^{\prime }.$ Then, for arbitrary $v\in {\mathcal{X}}_{A,G}$, we have

$$<\mathcal{F}\left(A^{*}\right)u_n^{*},v>=<u_n^{*},{\mathcal{F}}^T\left(A\right)v>=<u_n^{*},w>,$$

where $w={\mathcal{F}}^T\left(A\right)v\in {\mathcal{X}}_{A,G}$ due to (49). Hence, $\mathcal{F}\left(A^{*}\right)u_n^{*}\to 0,$ as $n\to \infty ,$ in the topology of ${\mathcal{X}}_{A^{*},G^{*}}^{\prime },$ obtaining the continuity of mapping (51).

3. Main Results

Below, we derive representation formulas for the solutions of fractional-order systems of differential-operator equations. We demonstrate the derivation in the case of the Caputo fractional derivative. For the sake of clarity, we start with the case $m=2$ and then the general case. The case of the Riemann–Liouville fractional derivative can be treated similarly (see Section 4).

3.1. Fractional Multi-Order Systems of Differential-Operator Equations: $m=2$

In this section, we demonstrate the formal method of obtaining the representation formula for the solution of time-fractional arbitrary multi-order systems of differential-operator equations in the particular case of two equations. Namely, consider the system

$$D_{*}^{\mathcal{B}}\mathcal{U}\left(t\right)=\mathbb{F}\left(A\right)\mathcal{U}\left(t\right)+\mathcal{H}\left(t\right),$$

(52)

where $\mathcal{B}=({\beta }_1,{\beta }_2),0<{\beta }_1<{\beta }_2\le 1,$$\mathcal{H}\left(t\right)=(h_1\left(t\right),h_2\left(t\right))$ is a given vector-valued function, and

$$\mathbb{F}\left(A\right)=\left[\begin{array}{cc}{f}_{11}\left(A\right)& f_{12}\left(A\right)\\ f_{21}\left(A\right)& f_{22}\left(A\right)\end{array}\right],$$

(53)

with the initial condition

$$\mathcal{U}\left(0\right)=\Phi =({\phi }_1,{\phi }_2),$$

(54)

where $\Phi \in {\mathcal{X}}_{A,G}.$ We assume that G does not contain the roots of the equation

$$\Delta \left(z\right)=f_{11}\left(z\right)f_{22}\left(z\right)-f_{21}\left(z\right)f_{12}\left(z\right))=0.$$

To find entries of the solution operator $\mathcal{S}(t,z)$, we consider the homogeneous counterpart of system (52), writing it in the explicit form

$$\begin{array}{c}\hfill \left\{\begin{array}{cc}{D}_{*}^{{\beta }_1}{u}_1\left(t\right)\hfill & =f_{11}\left(A\right)u_1\left(t\right)+f_{12}\left(A\right)u_2\left(t\right),\hfill \\ D_{*}^{{\beta }_2}{u}_2\left(t\right)\hfill & =f_{21}\left(A\right)u_1\left(t\right)+f_{22}\left(A\right)u_2\left(t\right).\hfill \end{array}\right.\end{array}$$

Applying the Laplace transform and replacing A with the parameter z, we have

$$\left\{\begin{array}{cc}(I{s}^{{\beta }_1}-f_{11}\left(z\right))\mathcal{L}\left[u_1\right]\left(s\right)-f_{12}\left(z\right)\mathcal{L}\left[u_2\right]\left(s\right)\hfill & =I{s}^{{\beta }_1-1}{\phi }_1,\hfill \\ -f_{21}\left(z\right)\mathcal{L}\left[u_1\right]\left(s\right)+(I{s}^{{\beta }_2}-f_{22}\left(z\right))\mathcal{L}\left[u_2\right]\left(s\right)\hfill & =I{s}^{{\beta }_2-1}{\phi }_2.\hfill \end{array}\right.$$

(55)

The solution of system (55) is

$$\mathcal{L}\left[u_1\right]\left(s\right)=\frac{1}{\Psi (s,z)}\left(p_1(s,z){\phi }_1+q_1(s,z){\phi }_2\right)z\in G,s>r_{*}\left(z\right)$$

(56)

$$\mathcal{L}\left[u_2\right]\left(s\right)=\frac{1}{\Psi (s,z)}\left(q_2(s,z){\phi }_1+p_2(s,z){\phi }_2\right),z\in G,s>r_{*}\left(z\right).$$

(57)

where

$$\begin{array}{cc}\hfill \Psi (s,z)& =s^{{\beta }_1+{\beta }_2}-s^{{\beta }_2}{f}_{11}\left(z\right)-s^{{\beta }_1}{f}_{22}\left(z\right)+\Delta \left(z\right),\hfill \end{array}$$

(58)

$$\begin{array}{cc}\hfill p_1(s,z)& =s^{{\beta }_1+{\beta }_2-1}-s^{{\beta }_1-1}{f}_{22}\left(z\right),q_1(s,z)=s^{{\beta }_2-1}{f}_{12}\left(z\right),\hfill \end{array}$$

(59)

$$\begin{array}{cc}\hfill p_2(s,z)& =s^{{\beta }_1+{\beta }_2-1}-s^{{\beta }_2-1}{f}_{11}\left(z\right),q_2(s,z)=s^{{\beta }_1-1}{f}_{21}\left(z\right),\hfill \end{array}$$

(60)

and $r_{*}\left(z\right)$ is the real part of the roots of the equation $\Psi (s,z)=0.$ This solution is uniquely defined, since, by assumption, $G\cap Q=\varnothing ,$ where $Q=\{z:\Psi (s,z)=0\}.$ We have

$$\begin{array}{cc}\hfill \frac{1}{\Psi (s,z)}& =\frac{1}{s^{{\beta }_2}\left(s^{{\beta }_1}-f_{11}\left(z\right)-f_{22}\left(z\right)s^{{\beta }_1-{\beta }_2}+\Delta \left(z\right)s^{-{\beta }_2}\right)}\hfill \\ \hfill & =\frac{1}{s^{{\beta }_2}\left(s^{{\beta }_1}-f_{11}\left(z\right)\right)\left(1-\frac{f_{22}\left(z\right)s^{{\beta }_1-{\beta }_2}-\Delta \left(z\right)s^{-{\beta }_2}}{s^{{\beta }_1}-f_{11}\left(z\right)}\right)}\hfill \\ \hfill & =\sum _{k=0}^{\infty }\frac{{\left(s^{{\beta }_1-{\beta }_2}{f}_{22}\left(z\right)-s^{-{\beta }_2}\Delta \left(z\right)\right)}^k}{s^{{\beta }_2}{\left(s^{{\beta }_1}-f_{11}\left(z\right)\right)}^{k+1}}\hfill \\ \hfill & =\sum _{k=0}^{\infty }\sum _{j=0}^k\left(\genfrac{}{}{0pt}{}{k}{j}\right)f_{22}^j\left(z\right){\left(-\Delta \left(z\right)\right)}^{k-j}\frac{s^{-k{\beta }_2+j{\beta }_1-{\beta }_2}}{{\left(s^{{\beta }_1}-f_{11}\left(z\right)\right)}^{k+1}}.\hfill \end{array}$$

(61)

For $s>r_{*}\left(z\right)$ large enough, the inequality

$$\left|\frac{s^{-k{\beta }_2+j{\beta }_1-{\beta }_2}}{s^{{\beta }_1}-f_{11}\left(z\right)}\right|<1$$

is verified, and, therefore, the series in (61) is convergent. Now, for the solution of system (55), we have

$$\mathcal{L}\left[u_1\right]\left(s\right)=\sum _{k=0}^{\infty }\sum _{j=0}^k\left(\genfrac{}{}{0pt}{}{k}{j}\right)f_{22}^j\left(z\right){\left(-\Delta \left(z\right)\right)}^{k-j}\frac{s^{-k{\beta }_2+j{\beta }_1-{\beta }_2}}{{\left(s^{{\beta }_1}-f_{11}\left(z\right)\right)}^{k+1}}\left[p_1(s,z){\phi }_1+q_1(s,z){\phi }_2\right],$$

(62)

$$\mathcal{L}\left[u_2\right]\left(s\right)=\sum _{k=0}^{\infty }\sum _{j=0}^k\left(\genfrac{}{}{0pt}{}{k}{j}\right)f_{22}^j\left(z\right){\left(-\Delta \left(z\right)\right)}^{k-j}\frac{s^{-k{\beta }_2+j{\beta }_1-{\beta }_2}}{{\left(s^{{\beta }_1}-f_{11}\left(z\right)\right)}^{k+1}}\left[q_2(s,z){\phi }_1+p_2(s,z){\phi }_2\right].$$

(63)

Consider the expressions

$$P_1(s,z)=\frac{s^{-k{\beta }_2+j{\beta }_1-{\beta }_2}{p}_1(s,z)}{{\left(s^{{\beta }_1}-f_{11}\left(z\right)\right)}^{k+1}},Q_1(s,z)=\frac{s^{-k{\beta }_2+j{\beta }_1-{\beta }_2}{q}_1(s,z)}{{\left(s^{{\beta }_1}-f_{11}\left(z\right)\right)}^{k+1}},$$

and

$$P_2(s,z)=\frac{s^{-k{\beta }_2+j{\beta }_1-{\beta }_2}{p}_2(s,z)}{{\left(s^{{\beta }_1}-f_{11}\left(z\right)\right)}^{k+1}},Q_2(s,z)=\frac{s^{-k{\beta }_2+j{\beta }_1-{\beta }_2}{q}_2(s,z)}{{\left(s^{{\beta }_1}-f_{11}\left(z\right)\right)}^{k+1}}.$$

Further, let

$${\nu }_{kj}=k{\beta }_2-j{\beta }_1.$$

Since ${\beta }_2>{\beta }_1$ and $k\ge j,$ we have ${\nu }_{kj}>0,$ if $k\ge 1,$ and ${\nu }_{00}=0.$ Taking this into account, we obtain

$$\begin{array}{cc}\hfill P_1(s,z)& =\frac{1}{s^{{\nu }_{kj}}}\frac{s^{{\beta }_1-1}}{{\left(s^{{\beta }_1}-f_{11}\left(z\right)\right)}^{k+1}}-\frac{f_{22}\left(z\right)}{s^{{\nu }_{kj}+{\beta }_2}}\frac{s^{{\beta }_1-1}}{{\left(s^{{\beta }_1}-f_{11}\left(z\right)\right)}^{k+1}}\hfill \end{array}$$

Now, taking the inverse Laplace transform, due to formula (21), we obtain

$$\begin{array}{cc}\hfill {\mathcal{L}}^{-1}\left[P_1(·,z)\right]\left(t\right)& =J^{{\nu }_{kj}}\frac{t^{k{\beta }_1}}{k!}{E}_{{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)-f_{22}\left(z\right)J^{{\nu }_{kj}+{\beta }_2}\frac{t^{k{\beta }_1}}{k!}{E}_{{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right).\hfill \end{array}$$

Similarly,

$$\begin{array}{cc}\hfill {\mathcal{L}}^{-1}\left[Q_1(·,z)\right]\left(t\right)& =f_{12}\left(z\right)J^{{\nu }_{kj}+1}\frac{t^{k{\beta }_1+{\beta }_1-1}}{k!}{E}_{{\beta }_1,{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right),\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\mathcal{L}}^{-1}\left[P_2(·,z)\right]\left(t\right)& =J^{{\nu }_{kj}}\frac{t^{k{\beta }_1}}{k!}{E}_{{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)-f_{11}\left(z\right)J^{{\nu }_{kj}+1}\frac{t^{k{\beta }_1+{\beta }_1-1}}{k!}{E}_{{\beta }_1,{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)].\hfill \end{array}$$

and

$$\begin{array}{cc}\hfill {\mathcal{L}}^{-1}\left[Q_2(·,z)\right]\left(t\right)& =f_{2,1}\left(z\right)J^{{\nu }_{kj}+{\beta }_2}\frac{t^{k{\beta }_1}}{k!}{E}_{{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right),\hfill \end{array}$$

It follows from (62) and (63) that the entries $S_{jl}(t,z),j,l=1,2,$ of the matrix symbol $\mathcal{S}(t,z)$ have representations

$$\begin{array}{cc}\hfill S_{11}(t,z)& =\sum _{k=0}^{\infty }\frac{1}{k!}\sum _{j=0}^k\left(\genfrac{}{}{0pt}{}{k}{j}\right)f_{22}^j\left(z\right){\left(-\Delta \left(z\right)\right)}^{k-j}[J^{{\nu }_{kj}}\left(t^{k{\beta }_1}{E}_{{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\right)\hfill \\ \hfill & -f_{22}\left(z\right)J^{{\nu }_{kj}+{\beta }_2}\left(t^{k{\beta }_1}{E}_{{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\right)]\hfill \\ \hfill & =\left(I-f_{22}\left(z\right)J^{{\beta }_2}\right)\sum _{k=0}^{\infty }{\left(f_{22}\left(z\right)J^{{\beta }_2-{\beta }_1}-\Delta \left(z\right)J^{{\beta }_2}\right)}^k\left[\frac{t^{k{\beta }_1}}{k!}{E}_{{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\right],\hfill \end{array}$$

(64)

$$\begin{array}{cc}\hfill S_{12}(t,z)& =f_{12}\left(z\right)\sum _{k=0}^{\infty }\frac{1}{k!}\sum _{j=0}^k\left(\genfrac{}{}{0pt}{}{k}{j}\right)f_{22}^j\left(z\right){\left(-\Delta \left(z\right)\right)}^{k-j}{J}^{{\nu }_{kj}+1}\left(t^{k{\beta }_1+{\beta }_1-1}{E}_{{\beta }_1,{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\right)\hfill \\ \hfill & =f_{12}\left(z\right)\sum _{k=0}^{\infty }{\left(f_{22}\left(z\right)J^{{\beta }_2-{\beta }_1}-\Delta \left(z\right)J^{{\beta }_2}\right)}^{k}J\left(\frac{t^{k{\beta }_1+{\beta }_1-1}}{k!}{E}_{{\beta }_1,{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\right),\hfill \end{array}$$

(65)

$$\begin{array}{cc}\hfill S_{21}(t,z)& =f_{21}\left(z\right)\sum _{k=0}^{\infty }\frac{1}{k!}\sum _{j=0}^k\left(\genfrac{}{}{0pt}{}{k}{j}\right)f_{22}^j\left(z\right){\left(-\Delta \left(z\right)\right)}^{k-j}{J}^{{\nu }_{kj}+{\beta }_2}\left(t^{k{\beta }_1}{E}_{{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\right)\hfill \end{array}$$

$$\begin{array}{cc}\hfill & =f_{21}\left(z\right)\sum _{k=0}^{\infty }{\left(f_{22}\left(z\right)J^{{\beta }_2-{\beta }_1}-\Delta \left(z\right)J^{{\beta }_2}\right)}^k{J}^{{\beta }_2}\left(\frac{t^{k{\beta }_1}}{k!}{E}_{{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\right),\hfill \\ \hfill S_{22}(t,z)& =\sum _{k=0}^{\infty }\frac{1}{k!}\sum _{j=0}^k\left(\genfrac{}{}{0pt}{}{k}{j}\right)f_{22}^j\left(z\right){\left(-\Delta \left(z\right)\right)}^{k-j}[J^{{\nu }_{kj}}\left(t^{k{\beta }_1}{E}_{{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\right)\hfill \\ \hfill & -f_{11}\left(z\right)J^{{\nu }_{kj}+1}\left(t^{k{\beta }_1+{\beta }_1-1}{E}_{{\beta }_1,{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\right)],\hfill \\ \hfill & =\sum _{k=0}^{\infty }{\left(f_{22}\left(z\right)J^{{\beta }_2-{\beta }_1}-\Delta \left(z\right)J^{{\beta }_2}\right)}^k[\frac{t^{k{\beta }_1}}{k!}{E}_{{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\hfill \end{array}$$

(66)

$$\begin{array}{cc}\hfill & -f_{11}\left(z\right)J\left(\frac{t^{k{\beta }_1+{\beta }_1-1}}{k!}{E}_{{\beta }_1,{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\right)].\hfill \end{array}$$

(67)

Thus, we prove the following theorem.

 Theorem 2. 

The formal solution to system (52), (54) has the representation

$$\mathcal{U}\left(t\right)=\mathcal{S}(t,A)\Phi +{\int }_0^t\mathcal{S}(t-\tau ,A)D_{+}^{1-\mathcal{B}}\mathcal{H}\left(\tau \right)d\tau$$

where $\mathcal{S}(t,A)$ is the matrix-valued solution operator with the matrix symbol $\mathcal{S}(t,z),$ the entries of which are defined in (64)–(67).

 Theorem 3. 

Let $f_{12}\left(z\right)=0.$ Then, the solution operator $\mathcal{S}(t,A)$ has the matrix symbol with entries

$$\begin{array}{cc}\hfill S_{11}(t,z)& =E_{{\beta }_1}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right),S_{12}(t,z)=0,\hfill \end{array}$$

(68)

$$\begin{array}{cc}\hfill S_{21}(t,z)& =f_{21}\left(z\right)\left(E_{{\beta }_1}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\right)*\left(t^{{\beta }_2-1}{E}_{{\beta }_2,{\beta }_2}\left(t^{{\beta }_2}{f}_{22}\left(z\right)\right)\right),\hfill \end{array}$$

(69)

$$\begin{array}{cc}\hfill S_{22}(t,z)& =E_{{\beta }_2}\left(t^{{\beta }_2}{f}_{22}\left(z\right)\right),\hfill \end{array}$$

(70)

where “*” is the convolution operation.

 Proof. 

The fact that $S_{12}(t,z)=0$ obviously follows from (65). Now, we show the equality for $S_{11}(t,z).$ First, we notice that $f_{12}\left(z\right)=0$ implies $\Delta \left(z\right)=f_{11}\left(z\right)f_{22}\left(z\right).$ Taking this fact into account and utilizing the semigroup property [3,10] of the fractional integration operator $J^{\beta }$, we can express $S_{11}(t,z)$ in the form

$$\begin{array}{cc}\hfill S_{11}(t,z)& =\left(I-f_{22}\left(z\right)J^{{\beta }_2}\right)\sum _{k=0}^{\infty }{\left(f_{22}\left(z\right)J^{{\beta }_2-{\beta }_1}-f_{11}\left(z\right)f_{22}\left(z\right)J^{{\beta }_2}\right)}^k\left[\frac{t^{k{\beta }_1}}{k!}{E}_{{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\right]\hfill \\ \hfill & =\left(I-f_{22}\left(z\right)J^{{\beta }_2}\right)\sum _{k=0}^{\infty }{\left(f_{22}\left(z\right)J^{{\beta }_2-{\beta }_1}\right)}^k{\left(I-f_{11}{J}^{{\beta }_1}\right)}^k\left[\frac{t^{k{\beta }_1}}{k!}{E}_{{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\right],\hfill \end{array}$$

(71)

where I is the identity operator. Now, due to Lemma 1 with $\nu =1$ and $\mu =f_{11}\left(z\right)$, one has

$${\left(I-f_{11}\left(z\right)J^{{\beta }_1}\right)}^k\left[\frac{t^{k{\beta }_1}}{k!}{E}_{{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\right]=J^{k{\beta }_1}{E}_{{\beta }_1}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right),$$

(72)

valid for all $k=0,1,\cdots .$ Thus, (71) reduces to

$$\begin{array}{cc}\hfill S_{11}(t,z)& =\left(I-f_{22}\left(z\right)J^{{\beta }_2}\right)\sum _{k=0}^{\infty }{\left(f_{22}\left(z\right)J^{{\beta }_2-{\beta }_1}\right)}^k{J}^{k{\beta }_1}{E}_{{\beta }_1}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\hfill \\ \hfill & =\left(I-f_{22}\left(z\right)J^{{\beta }_2}\right)\sum _{k=0}^{\infty }{\left(f_{22}\left(z\right)J^{{\beta }_2-{\beta }_1}{J}^{{\beta }_1}\right)}^k{E}_{{\beta }_1}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right),\hfill \end{array}$$

(73)

Since

$$\sum _{k=0}^{\infty }{\left(f_{22}\left(z\right)J^{{\beta }_2}\right)}^k={\left(I-f_{22}\left(z\right)J^{{\beta }_2}\right)}^{-1},$$

it follows from (73) the desired equality for $S_{11}(t,z)$ in (68).

Now, we show the validity of (69). Taking into account $\Delta \left(z\right)=f_{11}\left(z\right)f_{22}\left(z\right)$, we rewrite $S_{21}(t,z)$ in (66) in the form

$$\begin{array}{cc}\hfill S_{21}(t,z)& =f_{21}\left(z\right)\sum _{k=0}^{\infty }{\left(f_{22}\left(z\right)J^{{\beta }_2-{\beta }_1}-f_{11}\left(z\right)f_{22}\left(z\right)J^{{\beta }_2}\right)}^k{J}^{{\beta }_2}\left(\frac{t^{k{\beta }_1}}{k!}{E}_{{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\right)\hfill \\ \hfill & =f_{21}\left(z\right)\sum _{k=0}^{\infty }{\left(f_{22}\left(z\right)J^{{\beta }_2-{\beta }_1}\right)}^k{J}^{{\beta }_2}{\left(I-f_{11}{J}^{{\beta }_1}\right)}^k\left(\frac{t^{k{\beta }_1}}{k!}{E}_{{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\right),\hfill \end{array}$$

Using the relation (72), we have

$$\begin{array}{cc}\hfill S_{21}(t,z)=& f_{21}\left(z\right){\left(I-f_{22}\left(z\right)J^{{\beta }_2}\right)}^{-1}{J}^{{\beta }_2}{E}_{{\beta }_1}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right).\hfill \end{array}$$

Further, due to Lemma 2 (see Equation (27)) with ${\mu }_1=f_{11}\left(z\right)$ and ${\mu }_2=f_{22}\left(z\right),$ we obtain relation (69).

Similarly, $S_{22}(t,z)$ in (67) can be written as

$$\begin{array}{cc}\hfill S_{22}(t,z)& =\sum _{k=0}^{\infty }{\left(f_{22}\left(z\right)J^{{\beta }_2-{\beta }_1}-\Delta \left(z\right)J^{{\beta }_2}\right)}^k[\frac{t^{k{\beta }_1}}{k!}{E}_{{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\hfill \\ \hfill & -f_{11}\left(z\right)J\left(\frac{t^{k{\beta }_1}}{k!}{E}_{{\beta }_1,{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\right)]\hfill \\ \hfill & =\sum _{k=0}^{\infty }{\left(f_{22}\left(z\right)J^{{\beta }_2-{\beta }_1}\right)}^k{\left(I-f_{11}{J}^{{\beta }_1}\right)}^k(\frac{t^{k{\beta }_1}}{k!}{E}_{{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\hfill \\ \hfill & -f_{11}\left(z\right)J\frac{t^{k{\beta }_1+{\beta }_1-1}}{k!}{E}_{{\beta }_1,{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)).\hfill \end{array}$$

Finally, using Lemma 1, we obtain

$$\begin{array}{cc}\hfill S_{22}(t,z)& ={\left(I-f_{22}\left(z\right)J^{{\beta }_2}\right)}^{-1}\left(E_{{\beta }_1}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)-f_{11}\left(z\right)J{E}_{{\beta }_1,{\beta }_1}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\right)\hfill \\ \hfill & =E_{{\beta }_2}\left(t^{{\beta }_2}{f}_{22}\left(z\right)\right).\hfill \end{array}$$

In the last step, we used relation (27) with ${\mu }_1=f_{11}\left(z\right)$ and ${\mu }_2=f_{22}\left(z\right).$ □

 Remark 2. 

Theorem 3 states that the representation formula presented in Theorem 2 coincides with the representation formula obtained in [18] for the solution of fractional-order systems with a lower triangular matrix-valued operator.

3.2. Fractional Multi-Order Systems of Differential-Operator Equations: $m\ge 2$

The method demonstrated in the previous section for $m=2$ works, in fact, for an arbitrary number of equations. To derive the solution operator, consider the homogeneous system

$$D_{*}^{\mathcal{B}}\mathcal{U}\left(t\right)=\mathcal{F}\left(A\right)\mathcal{U}\left(t\right),t>0,$$

(74)

with the initial condition

$$\mathcal{U}\left(0\right)=\Phi \in {\mathcal{X}}_{A,G}.$$

(75)

Here, $\mathcal{B}=({\beta }_1,\cdots ,{\beta }_m),0<{\beta }_j\le 1,j=1,\cdots ,m,$ is an arbitrary vector order. We can assume, without loss of generality, that ${\beta }_1=min\{{\beta }_1,\cdots ,{\beta }_m\}.$ Applying the Laplace transform and replacing A with a parameter $z\in G$, we obtain

$$(I{s}^{\mathcal{B}}-\mathcal{F}\left(z\right))\mathcal{L}\left[\mathcal{U}\right]\left(s\right)=I{s}^{\mathcal{B}-\mathbf{1}}\Phi ,$$

(76)

where $I{s}^{\mathcal{B}}=\mathrm{diag}(s^{{\beta }_1},\cdots ,s^{{\beta }_m}).$ This is a system of linear algebraic equations dependent on parameters $s\in \mathbb{C}$ and $z\in G.$ The determinant of the matrix on the left has the structure

$$\Psi (s,z)=det(I{s}^{\mathcal{B}}-\mathcal{F}\left(z\right))=s^{\left|\beta \right|}+\mathcal{G}(s,z)+{(-1)}^m\Delta \left(z\right),$$

where $\left|\beta \right|={\beta }_1+\cdots +{\beta }_m,$$\Delta \left(z\right)=det\mathcal{F}\left(z\right)$ and $\mathcal{G}(s,z)$ has the form

$$\mathcal{G}(s,z)=g_1\left(z\right)s^{{\beta }_1}+\cdots +g_m\left(z\right)s^{{\beta }_m}+g_{12}{s}^{{\beta }_1+{\beta }_2}+g_{13}{s}^{{\beta }_1+{\beta }_3}+\cdots +g\left(z\right)s^{{\beta }_2+\cdots +{\beta }_m}.$$

(77)

In other words, $\mathcal{G}(s,z)$ is the sum of functions of the form

$$\sum _{\alpha }{g}_{\alpha }\left(z\right)s^{{\beta }_{{\alpha }_p}+\cdots +{\beta }_{{\alpha }_q}},$$

where $\alpha =({\alpha }_p,\cdots ,{\alpha }_q),1\le p<q\le m,$ is a multi-index taking values in the subsets of the set $\{1,\cdots ,m\}$ except $(1,\cdots ,m);$ the function $g_{\alpha }\left(z\right)$ is the sum and multiplication combination of entrees $f_{kj}\left(z\right)$ of the matrix symbol $\mathcal{F}\left(z\right).$ Let $r_{*}$ be the real part of the largest root of the equation $\Psi (s,z)=0.$ Then, for $s>r_{*}$, system (76) has a unique solution

$$\mathcal{L}\left[\mathcal{U}\right]\left(s\right)={(I{s}^{\mathcal{B}}-\mathcal{F}\left(z\right))}^{-1}I{s}^{\mathcal{B}-\mathbf{1}}\Phi ,$$

(78)

It follows that the solution operator has the matrix-valued symbol

$$\mathcal{S}(t,z)={\mathcal{L}}_{s\to t}^{-1}\left[{(I{s}^{\mathcal{B}}-\mathcal{F}\left(z\right))}^{-1}I{s}^{\mathcal{B}-\mathbf{1}}\right].$$

(79)

The components of the solution have the structure (as an implication of the well-known Cramer’s rule)

$$\mathcal{L}\left[u_j\right]\left(s\right)=\frac{{\mathcal{P}}_j(s,z)}{\Psi (s,z)},j=1,\cdots ,m,$$

where $u_j=u_j\left(t\right)$ is the j-th component of $\mathcal{U}\left(t\right)$ and ${\mathcal{P}}_j(s,z)$ is the determinant of the matrix obtained by replacing the j-th column of the matrix $I{s}^{\mathcal{B}}-\mathbb{F}\left(z\right)$ with the vector $I{s}^{\mathcal{B}-\mathbf{1}}\Phi .$ The latter can be rewritten in the form

$$\mathcal{L}\left[u_j\right]\left(s\right)=\sum _{l=1}^m\frac{p_{jl}(s,z)}{\Psi (s,z)}{\phi }_l,j=1,\cdots ,m,$$

(80)

where ${\phi }_l,l=1,\cdots ,m,$ are components of $\Phi ,$ and functions $p_{jl}(s,z)$ have form (77). Let ${\beta }_{*}={\beta }_2+\cdots +{\beta }_m.$ We have

$$\frac{1}{\Psi (s,z)}=\frac{1}{s^{{\beta }_{*}}\left(s^{{\beta }_1}+g\left(z\right)-g(s,z)s^{-{\beta }_{*}}+{(-1)}^m\Delta \left(z\right)s^{-{\beta }_{*}}\right)}$$

where $g\left(z\right)$ is the coefficient in the term $g\left(z\right)s^{{\beta }_2+\cdots +{\beta }_m}$ in (77) and

$$g(s,z)=-G(s,z)+g\left(z\right)s^{{\beta }_2+\cdots +{\beta }_m}.$$

Further, similar to the case $m=2,$ we represent $1/\Psi (s,z)$ in the infinite functional series form

$$\begin{array}{cc}\hfill \frac{1}{\Psi (s,z)}& =\frac{1}{s^{{\beta }_{*}}\left(s^{{\beta }_1}+g\left(z\right)\right)\left(1-\frac{g(s,z)s^{-{\beta }_{*}}+{(-1)}^m\Delta \left(z\right)s^{-{\beta }_{*}}}{s^{{\beta }_1}+g\left(z\right)}\right)}\hfill \\ \hfill & =\sum _{k=0}^{\infty }\frac{{\left(g(s,z)+{(-1)}^m\Delta \left(z\right)\right)}^k{s}^{-k{\beta }_{*}-{\beta }_{*}}}{{\left(s^{{\beta }_1}+g\left(z\right)\right)}^{k+1}}.\hfill \end{array}$$

(81)

For $s>r_{*}\left(z\right)$ large enough, the inequality

$$\left|\frac{g(s,z)s^{-{\beta }_{*}}+{(-1)}^m\Delta \left(z\right)s^{-{\beta }_{*}}}{s^{{\beta }_1}+g\left(z\right)}\right|<1$$

is valid, and, therefore, the series in (81) is convergent.

Further, it follows from (80) that

$$u_j\left(t\right)=\sum _{l=0}^m{\mathcal{L}}^{-1}\left[\frac{p_{jl}(s,A)}{\Psi (s,z)}\right]{\phi }_j,j=1,\cdots ,m.$$

Hence, the matrix symbol of the solution operator $\mathcal{S}(t,A)$ has entries

$$s_{jl}(t,z)={\mathcal{L}}_{s\to t}^{-1}\left[\frac{p_{jl}(s,z)}{\Psi (s,z)}\right]\left(t\right),j,l=1,\cdots ,m.$$

Now, using (81), we have

$$s_{jl}(s,z)=\mathcal{L}\left[s_{jl}(t,z)\right]\left(s\right)=\sum _{k=0}^{\infty }\frac{p_{jl}(s,z){\left(g(s,z)+{(-1)}^m\Delta \left(z\right)\right)}^k{s}^{-k{\beta }_{*}-{\beta }_{*}}}{{\left(s^{{\beta }_1}+g\left(z\right)\right)}^{k+1}}.$$

Taking into account the fact that $g(s,z)$ and functions $p_{jl}(s,z)$ can be represented in form (77), we can write the expressions $p_{jl}(s,z){(g(s,z)+{(-1)}^m\Delta \left(z\right))}^k,j,l=1,\cdots ,m,$ as

$$\sum _{\alpha }{Q}_{\alpha ,j,l,k}\left(z\right)s^{{\gamma }_{\alpha ,j,l,k}},$$

(82)

where $Q_{\alpha ,j,l,k}\left(z\right)$ are the sum and product combinations of $f_{j,k}\left(z\right)$ and exponents ${\gamma }_{\beta ,j,l,k}$ depend on the sum combinations of ${\beta }_1,\cdots ,{\beta }_m$ and their multiples. Therefore,

$$\begin{array}{c}\hfill s_{jl}(s,z)=\sum _{k=0}^{\infty }\sum _{\alpha }{Q}_{\alpha ,j,l,k}\left(z\right)\frac{s^{{\gamma }_{\alpha ,j,l,k}-(k+1){\beta }_{*}}}{{\left(s^{{\beta }_1}+g\left(z\right)\right)}^{k+1}}.\end{array}$$

Further, let ${\nu }_{\alpha ,j,l,k}=(k+1){\beta }_{*}+{\beta }_1-1-{\gamma }_{\alpha ,j,l,k}.$ By construction, ${\nu }_{\alpha ,j,l,k}\ge 0$ for all indices $\alpha ,j,l,k.$ Then,

$$\begin{array}{cc}\hfill s_{jl}(t,z)& =\sum _{k=0}^{\infty }\sum _{\alpha }{Q}_{\alpha ,j,l,k}\left(z\right){\mathcal{L}}_{s\to t}^{-1}\left[\frac{s^{{\beta }_1-1}}{s^{{\nu }_{\alpha ,j,l,k}}{\left(s^{{\beta }_1}+g\left(z\right)\right)}^{k+1}}\right]\hfill \\ \hfill & =\sum _{k=0}^{\infty }\sum _{\alpha }{Q}_{\alpha ,j,l,k}\left(z\right)J^{{\nu }_{\alpha ,j,l,k}}\left[\frac{t^{k{\beta }_1}}{k!}{E}_{{\beta }_1}^{\left(k\right)}\left(-t^{{\beta }_1}g\left(z\right)\right)\right],j,l=1,\cdots ,m.\hfill \end{array}$$

(83)

Hence, the solution to Cauchy problem (74), (75) has the form

$$\mathcal{U}\left(t\right)=\mathcal{S}(t,A)\Phi ,$$

(84)

where $\mathcal{S}(t,A)$ is the matrix-valued solution operator with the matrix symbol $\mathcal{S}(t,z)$ defined by (83).

 Theorem 4. 

Let $\mathcal{B}=({\beta }_1,\cdots ,{\beta }_m),$ where ${\beta }_j\in (0,1),j=1,\cdots ,m,$ arbitrary numbers and ${\beta }_1=min\{{\beta }_1,\cdots ,{\beta }_m\}$. Let A be a closed operator defined on a Banach space $X,$ and the set G satisfies the condition $G\cap Q_0=\varnothing ,$ where $Q_0=\{z:\Psi (s,z)=0\}$, $\Phi \in {\mathcal{X}}_{A,G},$$H\left(t\right)\in AC[{\mathbb{R}}_{+};{\mathcal{X}}_{A,G}],$ and $D_{+}^{1-\mathcal{B}}H(\tau ,x)\in C[{\mathbb{R}}_{+};{\mathcal{X}}_{A,G}].$

Then, for any$T>0$, Cauchy problem (1), (2) has a unique solution $U\left(t\right)\in C^{\infty }[(0,T];{\mathcal{X}}_{A,G}]\cap C[[0,T];{\mathcal{X}}_{A,G}],$ having the representation

$$U\left(t\right)=S(t,A)\Phi +\underset{0}{\overset{t}{\int }}S(t-\tau ,A)D_{+}^{1-\mathcal{B}}H\left(\tau \right)d\tau ,t>0,$$

(85)

where $S(t,A)$ is the solution matrix operator with the matrix symbol $\mathcal{S}(t,z)$ defined in (83).

 Proof. 

The representation (85) follows from (84) and the fractional Duhamel principle [10,37]. Let

$$\begin{array}{cc}\hfill V\left(t\right)& =S(t,A)\Phi ,\hfill \end{array}$$

(86)

$$\begin{array}{cc}\hfill W\left(t\right)& =\underset{0}{\overset{t}{\int }}S(t-\tau ,A)D_{+}^{1-\mathcal{B}}H\left(\tau \right)d\tau ,t\ge 0.\hfill \end{array}$$

(87)

It follows from (49) that $V\left(t\right)\in {\mathcal{X}}_{A,G}$ for every fixed $t\ge 0,$ continuous on $[0,T],$ and infinitely differentiable on $(0,T)$ in the topology of ${\mathcal{X}}_{A,G}$ due to the construction of the solution operator $S(t,A).$ Similarly, by virtue of the continuity in ${\mathcal{X}}_{A,G}$ of operators with symbols analytic in G (see (49)), for each fixed t, we have $W\left(t\right)\in {\mathcal{X}}_{A,G}$ for each fixed $t\in [0,T].$ The continuity of $W\left(t\right)$ on $[0,T]$ in the variable t and its infinite differentiability on $(0,T)$ follow from the construction of the solution operator $S(t,D)$ in the standard way. □

 Theorem 5. 

Let X be a reflexive Banach space with the conjugate $X^{*},$ A be a closed operator with a domain $\mathcal{D}\subset X,$ and $\mathcal{F}\left(A\right)$ be a matrix operator with the symbol $\mathcal{F}\left(z\right)$ continuous on G and satisfying condition $G\cup Q_0=\varnothing ,$ where $Q_0$ is defined in (115). Assume that $\Psi \in {\mathcal{X}}_{A^{*},G^{*}}^{\prime },$$H\left(t\right)\in AC[{\mathbb{R}}_{+};{\mathcal{X}}_{A^{*},G^{*}}^{\prime }],$ and $D_{+}^{1-\mathcal{B}}H\left(t\right)\in C[{\mathbb{R}}_{+};{\mathcal{X}}_{A^{*},G^{*}}^{\prime }].$ Then, for any $T>0$, Cauchy problem

$$\begin{array}{cc}\hfill D_{*}^{\mathcal{B}}V\left(t\right)& =\mathcal{F}\left(A^{*}\right)V\left(t\right)+H\left(t\right),t>0,\hfill \end{array}$$

(88)

$$\begin{array}{cc}\hfill V\left(0\right)& =\Psi ,\hfill \end{array}$$

(89)

has a unique solution $V\left(t\right)\in C^{\infty }[(0,T];{\mathcal{X}}_{A^{*},G^{*}}^{\prime }]\cap C[[0,T];{\mathcal{X}}_{A^{*},G^{*}}^{\prime }],$ having the representation

$$V\left(t\right)=S(t,A^{*})\Psi +\underset{0}{\overset{t}{\int }}S(t-\tau ,A^{*})D_{+}^{1-\mathcal{B}}H\left(\tau \right)d\tau ,t>0,$$

(90)

where $S(t,A^{*})$ is the operator with the matrix symbol $\mathcal{S}(t,z)$ defined in (158).

 Proof. 

We note that elements $D_{*}^{\mathcal{B}}V\left(t\right)$ and $\mathcal{F}\left(A^{*}\right)V\left(t\right)$ belong to the space ${\mathcal{X}}_{A^{*},G^{*}}^{\prime }$ if $V\left(t\right)\in {\mathcal{X}}_{A^{*},G^{*}}^{\prime }$ for each fixed $t\ge 0.$ This fact follows from the definition of the fractional derivative $D_{*}^{\mathcal{B}}$ and Theorem 4.

We show that $V\left(t\right)$ defined in (90) satisfies the following conditions:

$$\begin{array}{cc}\hfill \langle D_{*}^{\mathcal{B}}V\left(t\right),\Phi \rangle & =\langle V\left(t\right),{\mathcal{F}}^T\left(A\right)\Phi \rangle +\langle H\left(t\right),\Phi \rangle ,t>0,\hfill \end{array}$$

(91)

$$\begin{array}{cc}\hfill \langle V\left(0\right),\Phi \rangle & =\langle \Psi \left(x\right),\Phi \rangle ,\hfill \end{array}$$

(92)

where ${\mathcal{F}}^T\left(A\right)$ is the conjugate transpose of $\mathcal{F}\left(A^{*}\right),$ for an arbitrary element $\Phi$ in the space ${\mathcal{X}}_{A,G}.$ Indeed, to prove this fact, let us first assume that $H\left(t\right)=0$ (as an element of ${\mathcal{X}}_{A^{*},G^{*}}^{\prime }$) for all $t\ge 0.$ Then, (91) takes the form

$$〈\left[D_{*}^{\mathcal{B}}S(t,A^{*})-\mathcal{F}\left(A^{*}\right)\right]V\left(t\right),\Phi 〉=〈V\left(t\right),{\left[D_{*}^{\mathcal{B}}S(t,A)-\mathcal{F}\left(A\right)\right]}^T\Phi 〉=0,$$

(93)

for each fixed $t>0.$ The operator $S(t,A)$ is constructed so that $D_{*}^{\mathcal{B}}S(t,A)-\mathcal{F}\left(A\right)=0,$ which implies ${[D_{*}^{\mathcal{B}}S(t,A)-\mathcal{F}\left(A\right)]}^T=0,$ as well. Indeed, if $V\left(t\right)$ is a solution to Equation (74), then it follows from representation (84) that $D_{*}^{\mathcal{B}}V\left(t\right)=D_{*}^{\mathcal{B}}S(t,A)\Phi =\mathcal{F}\left(A\right)\Phi$ for any fixed $\Phi \in {\mathcal{X}}_{A,G}.$ This implies the equality $D_{*}^{\mathcal{B}}S(t,A)=\mathcal{F}\left(A\right).$ Thus, Equation (91) is valid for all $\Phi \in {\mathcal{X}}_{A,G}$.

Further, it follows from the construction of the operator $\mathcal{S}(t,A)$ that the symbol $\mathcal{S}(t,z)$ at $t=0$ reduces to the identity matrix. Therefore, the operator corresponding to the matrix symbol $\mathcal{S}(0,z)$ is the identity operator. Hence, $V\left(0\right)=S(0,A^{*})\Phi =\Phi .$ Thus, equality (92) is also verified.

In the general case, for non-zero $H\left(t\right),$ representation (90) is an implication of the fractional Duhamel principle [10,37]. □

 Remark 3. 

Obtaining closed-form representations for $Q_{\alpha ,j,l,k}$ and ${\nu }_{\alpha ,j,l,k}$ in the general case is possible, but it is very cumbersome. In the case of $m=2$, see (64)–(67).

3.3. Fractional Multi-Order Systems of Differential-Operator Equations with Triangular Matrix-Valued Operators

If the matrix symbol $\mathcal{F}\left(z\right)$ in system (1) is a lower or upper triangular matrix, then representation (83) is significantly simplified. See Theorem 3 in the case of a lower triangular matrix for $m=2.$ In this section, we derive representation formulas for the solution for arbitrary $m\ge 2.$ For fractional systems of pseudo-differential equations with lower or upper triangular matrix symbols, the representation formulas are presented in paper [18].

Assume that $\mathcal{B}$ is an arbitrary multi-order with components ${\beta }_k\in (0,1),k=1,\cdots ,m$ and $\mathcal{F}\left(z\right)$ is a lower triangular matrix symbol. Then, system (76) takes the form

$$\left[\begin{array}{cccc}{s}^{{\beta }_1}-f_{11}\left(z\right)& 0& \cdots & 0\\ -f_{21}\left(z\right)& s^{{\beta }_2}-f_{22}\left(z\right)& \cdots & 0\\ \cdots & \cdots & \cdots & \cdots \\ -f_{m1}\left(z\right)& -f_{m2}\left(z\right)& \cdots & s^{{\beta }_m}-f_{mm}\left(z\right)\end{array}\right]\left[\begin{array}{c}L\left[u_1\right]\left(s\right)\\ L\left[u_2\right]\left(s\right)\\ \cdots \\ L\left[u_m\right]\left(s\right)\end{array}\right]=\left[\begin{array}{c}{s}^{{\beta }_1-1}{\phi }_1\\ s^{{\beta }_2-1}{\phi }_2\\ \cdots \\ s^{{\beta }_m-1}{\phi }_m\end{array}\right].$$

The latter implies the following recurrent relations:

$$\begin{array}{cc}\hfill L\left[u_1\right]\left(s\right)& =\frac{s^{{\beta }_1-1}}{s^{{\beta }_1}-f_{11}\left(z\right)}{\phi }_1,\hfill \end{array}$$

(94)

$$\begin{array}{cc}\hfill L\left[u_k\right]\left(s\right)& =\frac{s^{{\beta }_k-1}}{s^{{\beta }_k}-f_{11}\left(z\right)}{\phi }_k+\sum _{j=1}^{k-1}\frac{f_{kj}\left(z\right)}{s^{{\beta }_k}-f_{kk}\left(z\right)}L\left[u_j\right]\left(s\right),k=2,\cdots ,m.\hfill \end{array}$$

(95)

In order to represent the solution (95) through ${\phi }_1,\cdots ,{\phi }_m,$ we introduce the following notations. Let $\mathcal{T}=\{k,k-1,\cdots ,k-j\},$ where k and j are integers satisfying conditions $1\le k\le m$ and $1\le j<k,$ respectively. By ${\mathcal{T}}_l,1\le l\le j-1,$ we denote the set of subsets of $\mathcal{T}$ such that, from $\mathcal{T}$, exactly l numbers except k and $k-j$ are removed. Then, for $L\left[u_k\right]\left(s\right),k=2,\cdots ,m,$ in (95), we have

$$L\left[u_k\right]\left(s\right)=\frac{s^{{\beta }_k-1}}{s^{{\beta }_k}-f_{11}\left(z\right)}{\phi }_k+\sum _{j=1}^{k-1}\sum _{l=1}^{j-1}\frac{P_{kjl}\left(z\right)s^{{\beta }_{k-j}-1}}{\prod _{\tau \in {\mathcal{T}}_l}\left(s^{{\beta }_{\tau }}-f_{\tau \tau }\left(z\right)\right)}{\phi }_{k-j},k=2,\cdots ,m,$$

(96)

where $P_{kjl},k=2,\cdots ,m,j=1,\cdots ,k-1,$ are the multiplication and sum combinations of functions $f_{\tau \mu },\tau =2,\cdots ,k,\mu =1,\cdots ,\nu -1.$ Now, making use of formula (19) and the convolution formula for the Laplace transform, it follows from (94) and (96) that

$$\begin{array}{cc}\hfill & u_1\left(t\right)=E_{{\beta }_1}\left(f_{11}\left(A\right)t^{{\beta }_1}\right){\phi }_1,\hfill \\ \hfill & u_k\left(t\right)=E_{{\beta }_k}\left(f_{kk}\left(A\right)t^{{\beta }_k}\right){\phi }_k\hfill \end{array}$$

(97)

$$\begin{array}{cc}\hfill & +\sum _{j=1}^{k-1}\sum _{l=1}^{j-1}\left[P_{kjl}\left(A\right)E_{{\beta }_{k-j}}\left(f_{k-jk-j}\left(A\right)t^{{\beta }_{k-j}}\right)*\left(*\prod _{\begin{array}{c}\tau \in {\mathcal{T}}_l\\ \tau \ne j\end{array}}{t}^{{\beta }_{\tau }-1}{E}_{{\beta }_{\tau },{\beta }_{\tau }}\left(f_{\tau \tau }\left(A\right)t^{{\beta }_{\tau }}\right)\right)\right]{\phi }_{k-j},\hfill \\ \hfill & k=2,\cdots ,m,\hfill \end{array}$$

(98)

where $J^{\gamma }$ is the fractional integration operator (see (11)) of order $\gamma >0,$ “*” is the convolution operation, and ”$*\prod$” is the convolution product. Thus, the solution of homogeneous Cauchy problem (74), (75) has the representation

$$\mathcal{U}\left(t\right)=\mathcal{S}(t,A)\Phi ,$$

(99)

where $\mathcal{S}(t,A)$ is the solution matrix operator with the matrix symbol $\mathcal{S}(t,z)$ with entries

$$s_{kj}(t,z)=\left\{\begin{array}{cc}0,\hfill & \mathrm{if}j>k,\hfill \\ E_{{\beta }_k}\left(f_{kk}\left(z\right)t^{{\beta }_k}\right),\hfill & \mathrm{if}j=k,\hfill \\ \sum _{l=1}^{j-1}{P}_{kjl}\left(z\right)E_{{\beta }_j}\left(f_{jj}\left(z\right)t^{{\beta }_j}\right)*\left(*\prod _{\begin{array}{c}\tau \in {\mathcal{T}}_l\\ \tau \ne k-j\end{array}}{t}^{{\beta }_{\tau }-1}{E}_{{\beta }_{\tau },{\beta }_{\tau }}\left(f_{\tau \tau }\left(z\right)t^{{\beta }_{\tau }}\right)\right),\hfill & \mathrm{if}j<k.\hfill \end{array}\right.$$

(100)

Similarly, if the matrix symbol $\mathcal{F}\left(z\right)$ is upper triangular, then the components of the solution $\mathcal{U}\left(t\right)$ take the form

$$\begin{array}{cc}\hfill u_m\left(t\right)& =E_{{\beta }_m}\left(f_{11}\left(A\right)t^{{\beta }_m}\right){\phi }_m,\hfill \\ \hfill u_k\left(t\right)& =E_{{\beta }_k}\left(f_{kk}\left(A\right)t^{{\beta }_k}\right){\phi }_k\hfill \end{array}$$

(101)

$$\begin{array}{cc}\hfill & +\sum _{j=k+1}^m\sum _{l=1}^{m-j-1}\left[Q_{kjl}\left(A\right)E_{{\beta }_j}\left(f_{jj}\left(A\right)t^{{\beta }_j}\right)*\left(*\prod _{\begin{array}{c}\nu \in {\mathcal{P}}_l\\ \nu \ne j\end{array}}{t}^{{\beta }_{\nu }-1}{E}_{{\beta }_{\nu },{\beta }_{\nu }}\left(f_{\nu \nu }\left(A\right)t^{{\beta }_{\nu }}\right)\right)\right]{\phi }_j,\hfill \\ \hfill & k=m-1,\cdots ,1,\hfill \end{array}$$

(102)

where $Q_{kj}\left(A\right)$ are operators obtained from $f_{\nu \mu }\left(A\right),\nu =k,\cdots ,m-1,\mu =k+1,\cdots ,m,$ via the product and sum combinations and ${\mathcal{P}}_l$ is the set of subsets of the set $\mathcal{P}=\{k,k+1,\cdots ,m\}$ such that exactly l ($1\le l\le m-k-1$) numbers except k and m are removed from $\mathcal{P}.$ In turn, the matrix symbol of the solution operator in representation formula (99) takes the form

$$s_{kj}(t,z)=\left\{\begin{array}{cc}0,\hfill & \mathrm{if}j<k,\hfill \\ E_{{\beta }_k}\left(f_{kk}\left(z\right)t^{{\beta }_k}\right),\hfill & \mathrm{if}j=k,\hfill \\ \sum _{l=1}^{m-j-1}{Q}_{kjl}\left(z\right)E_{{\beta }_j}\left(f_{jj}\left(z\right)t^{{\beta }_j}\right)*\left(*\prod _{\begin{array}{c}\nu \in {\mathcal{P}}_l\\ \nu \ne j\end{array}}{t}^{{\beta }_{\nu }-1}{E}_{{\beta }_{\nu },{\beta }_{\nu }}\left(f_{\nu \nu }\left(z\right)t^{{\beta }_{\nu }}\right)\right),\hfill & \mathrm{if}j>k.\hfill \end{array}\right.$$

(103)

3.4. Commensurate and Non-Commensurate Rational-Order Systems

If all components of the vector-order $\mathcal{B}$ are equal, then the transformation of the matrix symbol $\mathcal{F}\left(z\right)$ to the Jordan canonical form can be effectively utilized in the derivation of representation formulas for the solution. Theorem 1 serves as an important mathematical basis for such an approach. If all components of $\mathcal{B}$ are rational (not necessarily being equal), then this case can be reduced to the case with equal components, but at the cost of an increased number of equations (see [18]). We note that both these cases were presented in [18] for time-fractional systems of pseudo-differential equations. Below, applying the same technique presented in [18], but not providing explicit details, we generalize it for fractional-order systems of differential-operator equations, which significantly expands the scope of application.

Let $\mathcal{F}\left(A\right)$ be the matrix-valued operator with the matrix symbol $\mathcal{F}\left(z\right),z\in G,$ whose Jordan normal form is

$$M^{-1}\left(z\right)\mathcal{F}\left(z\right)M\left(z\right)=\Lambda \left(z\right)+N=\left[\begin{array}{cccc}{\mathbb{J}}_1\left(z\right)& 0& \cdots & 0\\ 0& {\mathbb{J}}_2\left(z\right)& \cdots & 0\\ \cdots & \cdots & \cdots & \cdots \\ 0& 0& \cdots & {\mathbb{J}}_L\left(z\right)\end{array}\right],$$

(104)

where $M\left(z\right)$ is a transformation matrix invertible at each $z\in G,$ and ${\mathbb{J}}_{\ell }\left(z\right),\ell =1,\cdots ,L,$ are Jordan blocks corresponding to eigenvalues ${\lambda }_1\left(z\right),\cdots ,{\lambda }_L\left(z\right)$ of the matrix

$$\mathcal{F}\left(z\right)=M\left(z\right)\left(\Lambda \left(z\right)+N\right)M^{-1}\left(z\right).$$

First, we derive a representation formula for the solution operator of the initial value problem for system (1) in the homogeneous case

$$\begin{array}{cc}\hfill D_{*}^{\mathcal{B}}U\left(t\right)& =\mathcal{F}\left(A\right)U\left(t\right),t>0,\hfill \end{array}$$

(105)

$$\begin{array}{cc}\hfill U\left(0\right)& =\Phi ,\hfill \end{array}$$

(106)

or due to (104) equivalently

$$\begin{array}{cc}\hfill D_{*}^{\mathcal{B}}U\left(t\right)& =M\left(A\right)\left(\Lambda \left(A\right)+N\right)M^{-1}\left(A\right)U\left(t\right),t>0,\hfill \end{array}$$

(107)

$$\begin{array}{cc}\hfill U\left(0\right)& =\Phi ,\hfill \end{array}$$

(108)

where $M\left(A\right)$ is the transformation matrix operator with the matrix symbol $M\left(z\right).$

In order to solve problem (107), (108), we use the operator approach, considering the following system of ordinary fractional-order differential equations dependent on the parameter $z\in G:$

$$\begin{array}{cc}\hfill D_{*}^{\mathcal{B}}U(t,z)& =M\left(z\right)\left(\Lambda \left(z\right)+N\right)M^{-1}\left(z\right)U(t,z),t>0,z\in G,\hfill \end{array}$$

(109)

$$\begin{array}{cc}\hfill U(0,z)& =\Psi ,\hfill \end{array}$$

(110)

assuming that $\Psi$ is a vector of length $m.$ Since all components of $\mathcal{B}$ are equal, the matrix-valued operator $I{D}_{*}^{\mathcal{B}}=diag(D_{*}^{\beta },\cdots ,D_{*}^{\beta })$ commutes with $M\left(z\right),$ and therefore system (109) can be expressed as

$$M\left(z\right)I{D}_{*}^{\mathcal{B}}{M}^{-1}\left(z\right)U(t,z)=M\left(z\right)\left(\Lambda \left(z\right)+N\right)M^{-1}\left(z\right)U(t,z),t>0,z\in G,$$

(111)

Denote $V(t,z)=M^{-1}\left(z\right)U(t,z).$ Then, we have the Cauchy problem

$$\begin{array}{cc}\hfill D_{*}^{\mathcal{B}}V(t,z)& =\left(\Lambda \left(z\right)+N\right)V(t,z),t>0,z\in G,\hfill \end{array}$$

(112)

$$\begin{array}{cc}\hfill V(0,z)& =M\left(z\right)\Psi .\hfill \end{array}$$

(113)

Now, applying the Laplace transform in the vector form (12) to both sides of system (112), we obtain

$$\begin{array}{cc}\hfill I{s}^{\mathcal{B}}\mathcal{L}\left[V\right]\left(s\right)& =I{s}^{\mathcal{B}-1}M\left(z\right)\Psi +\left(\Lambda \left(z\right)+N\right)\mathcal{L}\left[V\right]\left(s\right),s>0,\xi \in G.\hfill \end{array}$$

where $I{s}^{\mathcal{B}}$, $I{s}^{\mathcal{B}-1}$ are diagonal matrices with diagonal entries $s^{{\beta }_j},s^{{\beta }_j-1}j=1,\cdots ,m,$ respectively. The latter implies a system of algebraic equations with parameter $z\in G:$

$$\left[I{s}^{\mathcal{B}}-\left(\Lambda \left(z\right)-N\right)\right]L\left[V\right]\left(s\right)=I{s}^{\mathcal{B}-1}M\left(z\right)\Psi .$$

(114)

Let

$$Q_0=\{z\in \mathbb{C}:det\left[I{s}^{\mathcal{B}}-\left(\Lambda \left(z\right)-N\right)\right]=0,\forall s>0\}.$$

(115)

If $G\cap Q_0=\varnothing ,$ then system (114) has a unique solution

$$L\left[V\right]\left(s\right)=\mathcal{N}(s,z)M\left(z\right)\Psi ,$$

(116)

where

$$\begin{array}{cc}\hfill \mathcal{N}(s,z)& ={\left[I{s}^{\mathcal{B}}-\left(\Lambda \left(z\right)-N\right)\right]}^{-1}I{s}^{\mathcal{B}-1}.\hfill \end{array}$$

(117)

This matrix has the block diagonal form

$$\mathcal{N}(s,z)=\left[\begin{array}{cccc}{\mathbb{S}}_1(s,z)& 0& \cdots & 0\\ 0& {\mathbb{S}}_2(s,z)& \cdots & 0\\ \cdots & \cdots & \cdots & \cdots \\ 0& 0& \cdots & {\mathbb{S}}_L(s,z)\end{array}\right],$$

with the blocks ${\mathbb{S}}_{\ell }(s,z),\ell =1,\cdots ,L,$ of size $m_{\ell }$ corresponding to the eigenvalue ${\lambda }_{\ell }$ of multiplicity $m_{\ell }:$

$${\mathbb{S}}_{\ell }=\left[\begin{array}{cccc}\frac{s^{\beta -1}}{s^{\beta }-{\lambda }_{\ell }\left(z\right)}& \frac{s^{\beta -1}}{{(s^{\beta }-{\lambda }_{\ell }\left(z\right))}^2}& \cdots & \frac{s^{\beta -1}}{{(s^{\beta }-{\lambda }_{\ell }\left(z\right))}^{m_{\ell }}}\\ 0& \frac{s^{\beta -1}}{s^{\beta }-{\lambda }_{\ell }\left(z\right)}& \cdots & \frac{s^{\beta -1}}{{(s^{\beta }-{\lambda }_{\ell }\left(z\right))}^{m_{\ell }-1}}\\ \cdots & \cdots & \cdots & \cdots \\ 0& 0& \cdots & \frac{s^{\beta -1}}{s^{\beta }-{\lambda }_{\ell }\left(z\right)}\end{array}\right],\ell =1,\cdots L.$$

Further, applying the inverse Laplace transform, taking into account (19) and (21), and returning to $U(t,z)=M\left(z\right)V(t,z),$ in accordance with Theorem 1, we have

$$U(t,z)=E_{\mathcal{B}}\left(I{t}^{\mathcal{B}}\mathcal{F}\left(z\right)\right)\Phi =M\left(z\right){\mathbb{E}}_{\mathcal{B}}\left(\left(\Lambda \left(z\right)+N\right)t^{\mathcal{B}}\right)M^{-1}\left(z\right)\Phi ,t>0,$$

(118)

where ${\mathbb{E}}_{\mathcal{B}}\left(\left(\Lambda \left(z\right)+N\right)t^{\mathcal{B}}\right)$ is the block diagonal matrix of the form

$${\mathbb{E}}_{\mathcal{B}}\left(\left(\Lambda \left(z\right)+N\right)t^{\mathcal{B}}\right)=\left[\begin{array}{ccc}{\mathbb{E}}_{\beta }\left(t^{\beta }{J}_1\left(z\right)\right)& \cdots & 0\\ \cdots & \cdots & \cdots \\ 0& \cdots & {\mathbb{E}}_{\beta }\left(t^{\beta }{J}_L\left(z\right)\right)\end{array}\right],$$

(119)

with blocks

$$\begin{array}{cc}\hfill & {\mathbb{E}}_{\beta }\left(t^{\beta }{J}_{\ell }\left(z\right)\right)=\left[\begin{array}{cccc}{E}_{\beta }\left({\lambda }_{\ell }\left(z\right)t^{\beta }\right)& \frac{t^{\beta }{E}_{\beta }^{\prime }\left({\lambda }_{\ell }\left(z\right)t^{\beta }\right)}{1!}& \cdots & \frac{t^{(m_{\ell }-1)\beta }{E}_{\beta }^{(m_{\ell }-1)}\left({\lambda }_{\ell }\left(z\right)t^{\beta }\right)}{(m_{\ell }-1)!}\\ 0& E_{\beta }\left({\lambda }_{\ell }\left(z\right)t^{\beta }\right)& \cdots & \frac{t^{(m_{\ell }-2)\beta }{E}_{\beta }^{(m_{\ell }-2)}\left({\lambda }_{\ell }\left(z\right)t^{\beta }\right)}{(m_{\ell }-2)!}\\ \cdots & \cdots & \cdots & \cdots \\ \cdots & \cdots & \cdots & \cdots \\ 0& \cdots & 0& E_{\beta }\left({\lambda }_{\ell }\left(z\right)t^{\beta }\right)\end{array}\right],\hfill \end{array}$$

(120)

for $\ell =1,\cdots ,L.$

Thus, the solution of problem (105)–(106) has the representation

$$U\left(t\right)=S(t,A)\Phi ,t>0,$$

(121)

where $S(t,A)$ is the solution matrix operator with the matrix symbol

$$\mathcal{S}(t,z)=E_{\mathcal{B}}\left(I{t}^{\mathcal{B}}\mathcal{F}\left(z\right)\right)=M\left(z\right){\mathbb{E}}_{\mathcal{B}}\left(t^{\beta }\left(\Lambda \left(z\right)+N\right)\right)M^{-1}\left(z\right),t>0,z\in G.$$

(122)

Now, let us consider the incommensurate case $\mathcal{B}=({\beta }_1,\cdots ,{\beta }_m),$ with rational components ${\beta }_j=q_j/p_j\in (0,1),$ where $p_j,q_j$ are positive co-prime integers. Let p be the least common divisor of numbers $p_1,\cdots ,p_m.$ Then, one can write ${\beta }_j$ as ${\beta }_j=n_j/p,$ where $n_j=\left(q_{j}p\right)/p_j$ is an integer. Therefore, the operator $D_{*}^{\mathcal{B}}$ can be presented in the form

$$D_{*}^{\mathcal{B}}=(D_{*}^{{\beta }_1},\cdots ,D_{*}^{{\beta }_m})=\left({\left(D_{*}^{\frac{1}{p}}\right)}^{n_1},\cdots ,{\left(D_{*}^{\frac{1}{p}}\right)}^{n_m}\right).$$

It follows that, for each $j=1,\cdots ,m,$ we have

$$D_{*}^{{\beta }_j}{u}_j=D_{*}^{\frac{1}{p}}\underset{n_j\mathrm{times}}{\underbrace{\circ \cdots \circ }}{D}_{*}^{\frac{1}{p}}{u}_j.$$

Introduce a vector function $\mathbb{U}\left(t\right)$ of length $N=n_1+\cdots +n_m:$

$$\mathbb{U}\left(t\right)=(u_1\left(t\right),u_1^1\left(t\right),\cdots ,u_1^{n_1-1}\left(t\right),\cdots ,u_m\left(t\right),u_m^1\left(t\right),\cdots ,u_m^{n_m-1}),$$

where $u_j^1=D_{*}^{\frac{1}{p}}{u}_j,\cdots ,u_j^{n_j}=D_{*}^{\frac{1}{p}}{u}_j^{n_j-1},j=1,\cdots ,m.$ Now, system (105) can be reduced to a system of N equations with equal fractional-order $1/p$ derivatives on the left-hand side. The reduced system has the form

$$D_{*}^{\frac{1}{p}}\mathbb{U}\left(t\right)=\mathbb{F}\left(A\right)\mathbb{U}\left(t\right),$$

(123)

where $\mathbb{F}\left(A\right)$ is the matrix operator with the matrix symbol

$$\mathbb{F}\left(z\right)=\left[\begin{array}{cccc}{\mathbb{F}}_{11}\left(z\right)& {\mathbb{F}}_{12}\left(z\right)& \cdots & {\mathbb{F}}_{1m}\left(z\right)\\ {\mathbb{F}}_{21}\left(z\right)& {\mathbb{F}}_{22}\left(z\right)& \cdots & {\mathbb{F}}_{2m}\left(z\right)\\ \cdots & .\cdots & .\cdots & \\ {\mathbb{F}}_{m1}\left(z\right)& {\mathbb{F}}_{m2}\left(z\right)& \cdots & {\mathbb{F}}_{mm}\left(z\right)\end{array}\right]$$

whose diagonal block matrices are of sizes $n_j\times n_j$

$${\mathbb{F}}_{jj}\left(z\right)=\left[\begin{array}{ccccc}0& 1& 0& \cdots & 0\\ 0& 0& 1& \cdots & 0\\ \cdots & \cdots & \cdots & \cdots & \cdots \\ 0& 0& 0& \cdots & 1\\ f_{jj}\left(z\right)& 0& 0& \cdots & 0\end{array}\right],j=1,\cdots ,m,$$

and non-diagonal block matrices are of sizes $n_j\times n_k$

$${\mathbb{F}}_{jk}\left(z\right)=\left[\begin{array}{ccccc}0& 0& 0& \cdots & 0\\ 0& 0& 0& \cdots & 0\\ \cdots & \cdots & \cdots & \cdots & \cdots \\ 0& 0& 0& \cdots & 0\\ f_{jk}\left(z\right)& 0& 0& \cdots & 0\end{array}\right],j,k=1,\cdots ,m.$$

The initial condition for system (123) takes the form

$$\mathbb{U}\left(0\right)=({\phi }_1,\underset{n_1-1\mathrm{times}}{\underbrace{0,\cdots ,0}},{\phi }_2,\underset{n_2-1\mathrm{times}}{\underbrace{0,\cdots ,0}},\cdots ,{\phi }_m,\underset{n_m-1\mathrm{times}}{\underbrace{0,\cdots ,0}}).$$

(124)

Now, we derive a representation formula for the solution of Cauchy problem (105), (106). We notice that that the characteristic polynomial of $\mathbb{F}\left(z\right),$

$$P_N(\lambda ,z)=det(I\lambda -\mathbb{F}\left(z\right)),\lambda \in \mathbb{C},z\in G,$$

and the function $h(s,z)=det(I{s}^{\mathcal{B}}-\mathcal{F}\left(z\right))$ are connected through the relationship

$$h(s,z)=P_N(s^{\frac{1}{p}},z),z\in G.$$

(125)

Let ${\lambda }_1\left(z\right),\cdots ,{\lambda }_L\left(z\right)$ be eigenvalues of the matrix $\mathbb{F}\left(z\right)$ with respective multiplicities ${\mu }_1,\cdots ,{\mu }_L.$ Then,

$$P_N(\lambda ,z)=\prod _{\ell =1}^L{(\lambda -{\lambda }_{\ell }\left(z\right))}^{{\mu }_{\ell }},$$

which implies

$$det\left(I{s}^{\mathcal{B}}-\mathcal{F}\left(z\right)\right)=\prod _{\ell =1}^L{\left(s^{\frac{1}{p}}-{\lambda }_{\ell }\left(z\right)\right)}^{{\mu }_{\ell }}.$$

Similarly, we can write the determinant of the matrix ${\mathcal{F}}_j(s,z),$ obtained by replacing the j-th column of the matrix $I{s}^{\mathcal{B}}-\mathcal{F}\left(z\right)$ with the column vector $I{s}^{B-1}\Phi ,$ in the form

$$det\left({\mathcal{F}}_j(s,z)\right)=\sum _{k=1}^m{P}_{jk}(s^{\frac{1}{p}},z)s^{{\beta }_k-1}{\phi }_k,$$

where $P_{jk}(\lambda ,z)$ is a polynomial in the variable $\lambda$ of order $N-n_j.$ Hence, for the j-th component $u_j\left(t\right)$ of the Laplace transform of the solution vector $\mathcal{U}\left(t\right),$ we have

$$\begin{array}{cc}\hfill L\left[u_j\right]\left(s\right)& =\frac{det\left({\mathcal{F}}_j(s,z)\right)}{det\left(I{s}^{\mathcal{B}}-\mathcal{F}\left(z\right)\right)}\hfill \\ \hfill & =\sum _{k=1}^m\frac{P_{jk}(s^{\frac{1}{p}},z)}{{\prod }_{\ell =1}^L{\left(s^{\frac{1}{p}}-{\lambda }_{\ell }\left(z\right)\right)}^{{\mu }_{\ell }}}{s}^{{\beta }_k-1}{\phi }_k,\hfill \end{array}$$

(126)

Further, using the partial fraction decomposition

$$\frac{P_{jk}(s^{\frac{1}{p}},z)}{{\prod }_{\ell =1}^L{\left(s^{\frac{1}{p}}-{\lambda }_{\ell }\left(z\right)\right)}^{{\mu }_{\ell }}}=\sum _{\ell =1}^L\sum _{\nu =1}^{{\mu }_{\ell }}\frac{C_{\ell \nu }^{jk}\left(z\right)}{{\left(s^{\frac{1}{p}}-{\lambda }_{\ell }\left(z\right)\right)}^{\nu }},$$

where $C_{\ell \nu }^{jk}\left(z\right)$ do not depend on $s,$ Equation (126) can be expressed as

$$L\left[u_j\right]\left(s\right)=\sum _{k=1}^m\sum _{\ell =1}^L\sum _{\nu =1}^{{\mu }_L}{C}_{\ell \nu }^{jk}\frac{s^{{\beta }_k-1}}{{\left(s^{\frac{1}{p}}-{\lambda }_{\ell }\left(z\right)\right)}^{\nu }}{\phi }_k.$$

Inverting the latter and using formula (20), we obtain

$$u_j\left(t\right)=\sum _{k=1}^m\sum _{\ell =1}^L\sum _{\nu =1}^{{\mu }_L}\frac{C_{\ell \nu }^{jk}{t}^{\frac{\nu }{p}-{\beta }_k}}{(\nu -1)!}{E}_{\frac{1}{p},\frac{1}{p}-{\beta }_k+1}^{(\nu -1)}\left(t^{\frac{1}{p}}{\lambda }_{\ell }\left(z\right)\right){\phi }_k,j=1,\cdots ,m.$$

It follows that the solution operator $S(t,A)$ has the matrix symbol $\mathcal{S}(t,z)$, whose entries are

$$s_{jk}(t,z)=\sum _{\ell =1}^L\sum _{\nu =1}^{{\mu }_L}\frac{C_{\ell \nu }^{jk}{t}^{\frac{\nu }{p}-{\beta }_k}}{(\nu -1)!}{E}_{\frac{1}{p},\frac{1}{p}-{\beta }_k+1}^{(\nu -1)}\left(t^{\frac{1}{p}}{\lambda }_{\ell }\left(z\right)\right),j,k=1,\cdots ,m.$$

(127)

Summarizing, we obtain the following theorem on formal representations of the solutions.

 Theorem 6. 

Let the eigenvalues ${\lambda }_{\ell }\left(\xi \right),\ell =1,\cdots ,L,$ of the matrix symbol $\mathcal{F}\left(\xi \right)$ of the matrix-valued operator $\mathcal{F}\left(A\right)$ in system (1) have respective multiplicities $m_{\ell },\ell =1,\cdots ,L,$ where $m_1+\cdots +m_L=m.$ Then, the solution to system (1), (2) has the representation

$$\mathcal{U}\left(t\right)=\mathcal{S}(t,A)\Phi +{\int }_0^t\mathcal{S}(t-\tau ,A)D_{+}^{1-\mathcal{B}}\mathcal{H}\left(\tau \right)d\tau$$

where $\mathcal{S}(t,A)$ is the matrix-valued solution operator with the matrix symbol $\mathcal{S}(t,z)$ defined

 (a) 

in (122) if $\mathcal{B}=(\beta ,\cdots ,\beta )$ with equal components $\beta \in (0,1],$ and

 (b) 

in (127) if $\mathcal{B}=({\beta }_1,\cdots ,{\beta }_m)$ with rational components ${\beta }_j=q_j/p_j\in (0,1].$

4. The Riemann–Liouville Case

Similar results hold in the case that the fractional derivatives in system (1) are in the Riemann–Liouville sense. Therefore, below, we briefly formulate the corresponding assertions.

Consider the initial value problem

$$\begin{array}{cc}\hfill & D_{+}^{\mathcal{B}}\mathcal{U}\left(t\right)=\mathcal{F}\left(A\right)\mathcal{U}\left(t\right)+H\left(t\right),t>0,\hfill \end{array}$$

(128)

$$\begin{array}{cc}\hfill & \left({\mathcal{J}}^{1-\mathcal{B}}\mathcal{U}\right)\left(0\right)=\Phi ,\hfill \end{array}$$

(129)

where $D_{+}^{\mathcal{B}}\mathcal{U}\left(t\right)=(D_{+}^{{\beta }_1}{u}_1\left(t\right),\cdots ,D_{+}^{{\beta }_m}{u}_m\left(t\right)),$ and the matrix operator $\mathcal{F}\left(A\right),$ vector-valued elements $H\left(t\right)$, and $\Phi$ are specified below. Using the same technique that was used in the case of Caputo derivatives, one can show that, in the case of Riemann–Liouville derivatives, the solution matrix operator ${\mathcal{S}}_{+}(t,A)$ has the symbol

$$\begin{array}{cc}\hfill {\mathcal{S}}_{+}(t,z)& =L_{s\to t}^{-1}\left\{{\left[I{s}^{\mathcal{B}}-\mathcal{F}\left(z\right)\right]}^{-1}\right\},t\ge 0,z\in G\subset \mathbb{C}.\hfill \end{array}$$

(130)

The following theorems hold.

 Theorem 7. 

Let A be a closed operator defined on a Banach space $X,$ and the set G satisfies the condition $G\cap Q_0=\varnothing ,$ where $Q_0$ is defined in (115), $\Phi \in {\mathrm{Exp}}_{A,G},$ and $H\left(t\right)\in AC[{\mathbb{R}}_{+};{\mathrm{Exp}}_{A,G}].$

Then, for any $T>0$, Cauchy problem (128) and (129) has a unique solution $U\left(t\right)\in C^{\infty }[(0,T];{\mathrm{Exp}}_{A,G}]\cap C[[0,T];{\mathrm{Exp}}_{A,G}],$ having the representation

$$U\left(t\right)={\mathcal{S}}_{+}(t,A)\Phi +\underset{0}{\overset{t}{\int }}{\mathcal{S}}_{+}(t-\tau ,A)H\left(\tau \right)d\tau ,t>0,$$

(131)

where ${\mathcal{S}}_{+}(t,A)$ is the solution matrix operator with the matrix symbol ${\mathcal{S}}_{+}(t,z)$ defined in (130).

 Theorem 8. 

Let X be a reflexive Banach space with the conjugate $X^{*},$ A be a closed operator with a domain $\mathcal{D}\subset X,$ and $\mathcal{F}\left(A\right)$ be a matrix operator with the symbol $\mathcal{F}\left(z\right)$ continuous on G and satisfying condition $G\cup Q_0=\varnothing ,$ where $Q_0$ is defined in (115). Assume that $\Psi \in {\mathcal{E}}_{A^{*},G^{*}}^{\prime },$ and $H\left(t\right)\in AC[{\mathbb{R}}_{+};{\mathcal{E}}_{A^{*},G^{*}}^{\prime }].$

Then, for any $T>0$, Cauchy problem

$$\begin{array}{cc}\hfill D_{+}^{\mathcal{B}}V\left(t\right)& =\mathcal{F}\left(A^{*}\right)V\left(t\right)+H\left(t\right),t>0,\hfill \end{array}$$

(132)

$$\begin{array}{cc}\hfill {\mathcal{J}}^{1-\mathcal{B}}V\left(0\right)& =\Psi ,\hfill \end{array}$$

(133)

has a unique solution $V\left(t\right)\in C^{\infty }[(0,T];{\mathcal{E}}_{A^{*},G^{*}}^{\prime }]\cap C[[0,T];{\mathcal{E}}_{A^{*},G^{*}}^{\prime }],$ having the representation

$$V\left(t\right)={\mathcal{S}}_{+}(t,A^{*})\Psi +\underset{0}{\overset{t}{\int }}{\mathcal{S}}_{+}(t-\tau ,A^{*})H\left(\tau \right)d\tau ,t>0,$$

(134)

where ${\mathcal{S}}_{+}(t,A^{*})$ is the operator with the matrix symbol ${\mathcal{S}}_{+}(t,z)$ defined in (130).

Concerning representation formulas for the solution in the case of Riemann–Liouville derivatives, their derivation is similar to the Caputo derivative case. Therefore, we demonstrate the detailed derivation of the representation formula only in the case $m=2$ with arbitrary multi-order $\mathcal{B}$ and matrix symbol $\mathcal{F}\left(z\right)$, providing the final result for arbitrary $m\ge 2.$

4.1. The Case $m=2$ and ${\beta }_1\ne {\beta }_2$

Consider the system

$$D_{+}^{\mathcal{B}}\mathcal{U}\left(t\right)=\mathbb{F}\left(A\right)\mathcal{U}\left(t\right)+\mathcal{H}\left(t\right),$$

(135)

where $\mathcal{B}=({\beta }_1,{\beta }_2),0<{\beta }_1<{\beta }_2\le 1,$$\mathcal{H}\left(t\right)=(h_1\left(t\right),h_2\left(t\right))$ is a given vector function, and

$$\mathbb{F}\left(A\right)=\left[\begin{array}{cc}{f}_{11}\left(A\right)& f_{12}\left(A\right)\\ f_{21}\left(A\right)& f_{22}\left(A\right)\end{array}\right],$$

(136)

with the initial condition

$$\left(J^{1-\mathcal{B}}\mathcal{U}\right)\left(0\right)=\Phi =({\phi }_1,{\phi }_2),$$

(137)

where $\Phi \in {\mathcal{X}}_{A,G}.$ We assume that G does not contain the roots of the equation

$$\Delta \left(z\right)=f_{11}\left(z\right)f_{22}\left(z\right)-f_{21}\left(z\right)f_{12}\left(z\right))=0.$$

To find entries of the solution operator $\mathcal{S}(t,z)$, we consider the homogeneous counterpart of system (52), writing it in the explicit form

$$\begin{array}{c}\hfill \left\{\begin{array}{cc}{D}_{*}^{{\beta }_1}{u}_1\left(t\right)\hfill & =f_{11}\left(A\right)u_1\left(t\right)+f_{12}\left(A\right)u_2\left(t\right),\hfill \\ D_{*}^{{\beta }_2}{u}_2\left(t\right)\hfill & =f_{21}\left(A\right)u_1\left(t\right)+f_{22}\left(A\right)u_2\left(t\right).\hfill \end{array}\right.\end{array}$$

Applying the Laplace transform and replacing A with the parameter z, we have

$$\left\{\begin{array}{c}(I{s}^{{\beta }_1}-f_{11}\left(z\right))\mathcal{L}\left[u_1\right]\left(s\right)-f_{12}\left(z\right)\mathcal{L}\left[u_2\right]\left(s\right)={\phi }_1,\hfill \\ -f_{21}\left(z\right)\mathcal{L}\left[u_1\right]\left(s\right)+(I{s}^{{\beta }_2}-f_{22}\left(z\right))\mathcal{L}\left[u_2\right]\left(s\right)={\phi }_2.\hfill \end{array}\right.$$

(138)

The solution of system (55) is

$$\mathcal{L}\left[u_1\right]\left(s\right)=\frac{1}{\Psi (s,z)}\left(p_1(s,z){\phi }_1+q_1(s,z){\phi }_2\right)z\in G,s>r_{*}\left(z\right)$$

(139)

$$\mathcal{L}\left[u_2\right]\left(s\right)=\frac{1}{\Psi (s,z)}\left(q_2(s,z){\phi }_1+p_2(s,z){\phi }_2\right),z\in G,s>r_{*}\left(z\right).$$

(140)

where $\Psi$$(s,z)$ is defined in (58) and

$$\begin{array}{cc}\hfill p_1(s,z)& =s^{{\beta }_2}-f_{22}\left(z\right),q_1(s,z)=f_{12}\left(z\right),\hfill \end{array}$$

(141)

$$\begin{array}{cc}\hfill p_2(s,z)& =s^{{\beta }_1}-f_{11}\left(z\right),q_2(s,z)=f_{21}\left(z\right),\hfill \end{array}$$

(142)

and $r_{*}\left(z\right)$ is the real part of the roots of the equation $\Psi (s,z)=0.$ This solution is uniquely defined, since, by assumption, $G\cap Q=\varnothing ,$ where $Q=\{z:\Psi (s,z)=0\}.$

Introduce ${\rho }_{jk}=j({\beta }_2-{\beta }_1)+(k-j){\beta }_2.$ Obviously, ${\rho }_{00}=0$ and ${\rho }_{jk}>0$ if $k>0,0\le j\le k.$ The entries $s_{jl}^{+}(t,z),j,l=1,2,$ of the matrix symbol ${\mathcal{S}}_{+}(t,z)$ have representations

$$\begin{array}{cc}\hfill s_{11}^{+}(t,z)& =\left(I-f_{22}\left(z\right)J^{{\beta }_2}\right)\sum _{k=0}^{\infty }{\left(f_{22}\left(z\right)J^{{\beta }_2-{\beta }_1}-\Delta \left(z\right)J^{{\beta }_2}\right)}^k{\mathbb{W}}_{{\beta }_1,{\beta }_1}(t,z),\hfill \end{array}$$

(143)

$$\begin{array}{cc}\hfill s_{12}^{+}(t,z)& =f_{12}\left(z\right)\left(I-f_{22}\left(z\right)J^{{\beta }_2}\right)\sum _{k=0}^{\infty }{\left(f_{22}\left(z\right)J^{{\beta }_2-{\beta }_1}-\Delta \left(z\right)J^{{\beta }_2}\right)}^k{J}^{{\beta }_2}{\mathbb{W}}_{{\beta }_1,{\beta }_1}(t,z),\hfill \end{array}$$

(144)

$$\begin{array}{cc}\hfill s_{21}^{+}(t,z)& =f_{21}\left(z\right)\left(I-f_{22}\left(z\right)J^{{\beta }_2}\right)\sum _{k=0}^{\infty }{\left(f_{22}\left(z\right)J^{{\beta }_2-{\beta }_1}-\Delta \left(z\right)J^{{\beta }_2}\right)}^k{J}^{{\beta }_2}{\mathbb{W}}_{{\beta }_1,{\beta }_1}(t,z),\hfill \end{array}$$

(145)

$$\begin{array}{cc}\hfill s_{22}^{+}(t,z)& =\sum _{k=0}^{\infty }{\left(f_{22}\left(z\right)J^{{\beta }_2-{\beta }_1}-\Delta \left(z\right)J^{{\beta }_2}\right)}^k\left[{\mathbb{W}}_{{\beta }_1,{\beta }_2}(t,z)-f_{11}\left(z\right)J^{{\beta }_2}{\mathbb{W}}_{{\beta }_1,{\beta }_1}(t,z)\right],\hfill \end{array}$$

(146)

where

$${\mathbb{W}}_{{\beta }_1,{\beta }_j}(t,z)=\frac{t^{k{\beta }_i+{\beta }_j-1}}{k!}{E}_{{\beta }_1,{\beta }_j}^{\left(k\right)}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right),j=1,2.$$

 Theorem 9. 

The solution to system (128), (129) has the representation

$$\mathcal{U}\left(t\right)={\mathcal{S}}_{+}(t,A)\Phi +{\int }_0^t{\mathcal{S}}_{+}(t-\tau ,A)D_{+}^{1-\mathcal{B}}\mathcal{H}\left(\tau \right)d\tau$$

where ${\mathcal{S}}_{+}(t,A)$ is the matrix-valued solution operator with the matrix symbol ${\mathcal{S}}_{+}(t,z),$ the entries of which are defined in (143)–(146).

 Theorem 10. 

Let $f_{12}\left(z\right)=0.$ Then, the symbol of the solution operator has entries

$$\begin{array}{cc}\hfill s_{11}^{+}(t,z)& =t^{{\beta }_1-1}{E}_{{\beta }_1,{\beta }_1}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right),S_{12}(t,z)=0,\hfill \end{array}$$

(147)

$$\begin{array}{cc}\hfill s_{21}^{+}(t,z)& =f_{21}(t,z)\left(t^{{\beta }_1-1}{E}_{{\beta }_1}\left(t^{{\beta }_1}{f}_{11}\left(z\right)\right)\right)*\left(t^{{\beta }_2-1}{E}_{{\beta }_2,{\beta }_2}\left(t^{{\beta }_2}{f}_{22}\left(z\right)\right)\right),\hfill \end{array}$$

(148)

$$\begin{array}{cc}\hfill s_{22}^{+}(t,z)& =t^{{\beta }_2-1}{E}_{{\beta }_2,{\beta }_2}\left(t^{{\beta }_2}{f}_{22}\left(z\right)\right),\hfill \end{array}$$

(149)

where “*” is the convolution operation.

The proof is similar to the proof of Theorem 3.

4.2. The Case $m\ge 2$ and Arbitrary $\mathcal{B}$

In the case of arbitrary $m\ge 2,$ following the same approach demonstrated in Section 3.2, one can derive the representation formula. Namely, instead of Equation (76), one has

$$(I{s}^{\mathcal{B}}-\mathcal{F}\left(z\right))\mathcal{L}\left[\mathcal{U}\right]\left(s\right)=\Phi ,$$

(150)

and, therefore, instead of Equation (79), one obtains

$$\mathcal{S}(t,z)={\mathcal{L}}_{s\to t}^{-1}\left[{(I{s}^{\mathcal{B}}-\mathcal{F}\left(z\right))}^{-1}\right],$$

(151)

the symbol of the solution operator. The entries of the latter are

$$\begin{array}{cc}\hfill s_{jl}(t,z)& =\sum _{k=0}^{\infty }\sum _{\alpha }{R}_{\alpha ,j,l,k}\left(z\right){\mathcal{L}}_{s\to t}^{-1}\left[\frac{1}{s^{{\nu }_{\alpha ,j,l,k}}{\left(s^{{\beta }_1}+g\left(z\right)\right)}^{k+1}}\right]\hfill \\ \hfill & =\sum _{k=0}^{\infty }\sum _{\alpha }{R}_{\alpha ,j,l,k}\left(z\right)J^{{\nu }_{\alpha ,j,l,k}}\left[\frac{t^{k{\beta }_1+{\beta }_1-1}}{k!}{E}_{{\beta }_1,{\beta }_1}^{\left(k\right)}\left(-t^{{\beta }_1}g\left(z\right)\right)\right],j,l=1,\cdots ,m,\hfill \end{array}$$

(152)

where $R_{\alpha ,j,l,k}\left(z\right)$ are the sum and product combinations of the entries of $\mathcal{F}\left(z\right).$

4.3. The Case $m\ge 2$ and $\mathcal{B}=(\beta ,\cdots ,\beta )$

If the components of $\mathcal{B}$ are equal, then, again, we can use the Jordan normal form to derive a representation formula for the solution. In this case, following the method used in Section 3.4, we consider the system of ordinary fractional-order differential equations depending on the parameter $z\in G$

$$D_{+}^{\mathcal{B}}V(t,z)=\left(\Lambda \left(z\right)+N\right)V(t,z),t>0,$$

(153)

where the symbol $\Lambda \left(z\right)+N$ of the matrix operator $\Lambda \left(A\right)+N$ has a representation in the Jordan block form (104). Then, for the Laplace transform of $V\left(t\right)$, we obtain a linear system of algebraic equations

$$\left(I{s}^{\mathcal{B}}-\Lambda \left(z\right)-N\right)L\left[V\right]\left(s\right)=M^{-1}\Phi .$$

(154)

If $Q_0\cap G=\varnothing ,$ then the latter has a unique solution represented through the inverse matrix $\mathcal{N}(s,z)={\left(I{s}^{\mathcal{B}}-\Lambda \left(z\right)-N\right)}^{-1},$ which has the block diagonal form

$$\mathbb{S}(s,z)=\left[\begin{array}{cccc}{\mathbb{S}}_1(s,z)& 0& \cdots & 0\\ 0& {\mathbb{S}}_2(s,z)& \cdots & 0\\ \cdots & \cdots & \cdots & \cdots \\ 0& 0& \cdots & {\mathbb{S}}_L(s,z)\end{array}\right],$$

with the blocks ${\mathbb{S}}_{\ell }(s,z),\ell =1,\cdots ,L,$ of size $m_{\ell }$ corresponding to the eigenvalue ${\lambda }_{\ell }$ of multiplicity $m_{\ell }:$

$${\mathbb{S}}_{\ell }=\left[\begin{array}{cccc}\frac{1}{s^{\beta }-{\lambda }_{\ell }\left(z\right)}& \frac{1}{{(s^{\beta }-{\lambda }_{\ell }\left(z\right))}^2}& \cdots & \frac{1}{{(s^{\beta }-{\lambda }_{\ell }\left(z\right))}^{m_{\ell }}}\\ & & & \\ 0& \frac{1}{s^{\beta }-{\lambda }_{\ell }\left(z\right)}& \cdots & \frac{1}{{(s^{\beta }-{\lambda }_{\ell }\left(z\right))}^{m_{\ell }-1}}\\ \cdots & \cdots & \cdots & \cdots \\ 0& 0& \cdots & \frac{1}{s^{\beta }-{\lambda }_{\ell }\left(z\right)}\end{array}\right],\ell =1,\cdots L.$$

Now, using formula (22), one can find the inverse Laplace transform of each entry of matrices ${\mathbb{S}}_{\ell },\ell =1,\cdots ,L.$ Hence, the solution matrix operator has the block matrix representation

$$\mathcal{S}(t,A)=M\left(A\right){\mathbb{G}}_{\mathcal{B}}\left(\left(\Lambda \left(A\right)+N\right)t^{\mathcal{B}}\right)M^{-1}\left(A\right),$$

where the block matrix operator ${\mathbb{G}}_{\mathcal{B}}\left(\left(\Lambda \left(A\right)+N\right)t^{\mathcal{B}}\right)$ has the matrix symbol

$${\mathbb{G}}_{\mathcal{B}}\left(\left(\Lambda \left(z\right)+N\right)t^{\mathcal{B}}\right)=\left[\begin{array}{ccc}{\mathbb{G}}_{\beta }\left(t^{\beta }{J}_1\left(z\right)\right)& \cdots & 0\\ \cdots & \cdots & \cdots \\ 0& \cdots & {\mathbb{G}}_{\beta }\left(t^{\beta }{J}_L\left(z\right)\right)\end{array}\right],$$

(155)

with blocks

$$\begin{array}{cc}\hfill & {\mathbb{G}}_{\beta }\left(t^{\beta }{J}_{\ell }\left(z\right)\right)=\left[\begin{array}{cccc}{t}^{\beta -1}{E}_{\beta ,\beta }\left({\lambda }_{\ell }\left(z\right)t^{\beta }\right)& \frac{t^{2\beta -1}{E}_{\beta ,\beta }^{\prime }\left({\lambda }_{\ell }\left(z\right)t^{\beta }\right)}{1!}& \cdots & \frac{t^{(m_{\ell }-1)\beta -1}{E}_{\beta ,\beta }^{(m_{\ell }-1)}\left({\lambda }_{\ell }\left(z\right)t^{\beta }\right)}{(m_{\ell }-1)!}\\ 0& t^{\beta -1}{E}_{\beta ,\beta }\left({\lambda }_{\ell }\left(z\right)t^{\beta }\right)& \cdots & \frac{t^{(m_{\ell }-2)\beta -1}{E}_{\beta ,\beta }^{(m_{\ell }-2)}\left({\lambda }_{\ell }\left(z\right)t^{\beta }\right)}{(m_{\ell }-2)!}\\ \cdots & \cdots & \cdots & \cdots \\ \cdots & \cdots & \cdots & \cdots \\ 0& \cdots & 0& t^{\beta -1}{E}_{\beta ,\beta }\left({\lambda }_{\ell }\left(z\right)t^{\beta }\right)\end{array}\right],\hfill \end{array}$$

(156)

for $\ell =1,\cdots ,L.$

Concluding, the solution matrix operator has the representation

$$U\left(t\right)=S(t,A)\Phi ,t>0,$$

(157)

where $S(t,A)$ is the solution matrix operator with the matrix symbol

$$\mathcal{S}(t,z)=M\left(z\right){\mathbb{G}}_{\mathcal{B}}\left(\left(\Lambda \left(z\right)+N\right)t^{\mathcal{B}}\right)M^{-1}\left(z\right),t>0,z\in G.$$

(158)

5. Some Applications and Examples

 Example 2. 

Time-fractional systems of ordinary differential equations.

Consider the following initial-value problem for a time-fractional system of ordinary differential equations

$$\begin{array}{cc}\hfill D_{*}^{\mathcal{B}}U\left(t\right)& =\mathbb{A}U\left(t\right)+H\left(t\right),t>0,\hfill \\ \hfill U\left(0\right)& =U_0,\hfill \end{array}$$

where $\mathbb{A}$ is a (constant) $m\times m$ matrix, $U_0=(u_1^0,\cdots ,u_m^0)\in {\mathbb{R}}^m,$ and $H\left(t\right)$ is an absolute continuous vector function. The theorems obtained above are applicable to this case with the proper interpretation.

Let $\mathcal{B}=({\beta }_1,\cdots ,{\beta }_m),0<{\beta }_j\le 1,$ be arbitrary numbers, $a_{jk},j,k=1,\cdots ,m,$ be entries of the matrix $\mathbb{A},$ and $d=det\left(\mathbb{A}\right).$ Suppose that ${\beta }_1=min\{{\beta }_1,\cdots ,{\beta }_m\}.$ Consider first the corresponding homogeneous system

$$D_{*}^{\mathcal{B}}U\left(t\right)=\mathbb{A}U\left(t\right),U\left(0\right)=U_0.$$

Define the function

$$\Psi \left(s\right)=det(I{s}^{\beta }-\mathbb{F})=s^{{\beta }_1+\cdots +{\beta }_m}+g{s}^{{\beta }_2+\cdots +{\beta }_m}+\cdots .$$

The solution to the latter has the form $U\left(t\right)=S\left(t\right)U_0,$ where $S\left(t\right),t\ge 0,$ is the solution matrix. The components of $S\left(t\right)$ due to Theorem 4 have entries

$$\begin{array}{cc}\hfill s_{jl}\left(t\right)& =\sum _{k=0}^{\infty }\sum _{\alpha }{Q}_{\alpha ,j,l,k}{J}^{{\nu }_{\alpha ,j,l,k}}\left[\frac{t^{k{\beta }_1}}{k!}{E}_{{\beta }_1}^{\left(k\right)}\left(-g{t}^{{\beta }_1}\right)\right],j,l=1,\cdots ,m,\hfill \end{array}$$

(159)

where $Q_{\alpha ,j,l,k}$ are defined similarly to $Q_{\alpha ,j,l,k}\left(z\right)$ in (82), replacing $f_{kj}\left(z\right)$ with $a_{kj}.$ In particular, if $m=2,$ then

$$\begin{array}{cc}\hfill s_{11}\left(t\right)& =\left(I-a_{22}{J}^{{\beta }_2}\right)\sum _{k=0}^{\infty }{\left(a_{22}{J}^{{\beta }_2-{\beta }_1}-d{J}^{{\beta }_2}\right)}^k\left[\frac{t^{k{\beta }_1}}{k!}{E}_{{\beta }_1}^{\left(k\right)}\left(a_{11}{t}^{{\beta }_1}\right)\right],\hfill \end{array}$$

$$\begin{array}{cc}\hfill s_{12}\left(t\right)& =a_{12}\sum _{k=0}^{\infty }{\left(a_{22}{J}^{{\beta }_2-{\beta }_1}-d{J}^{{\beta }_2}\right)}^{k}J\left(\frac{t^{k{\beta }_1+{\beta }_1-1}}{k!}{E}_{{\beta }_1,{\beta }_1}^{\left(k\right)}\left(a_{11}{t}^{{\beta }_1}\right)\right),\hfill \end{array}$$

$$\begin{array}{cc}\hfill s_{21}\left(t\right)& =a_{21}\sum _{k=0}^{\infty }{\left(a_{22}{J}^{{\beta }_2-{\beta }_1}-d{J}^{{\beta }_2}\right)}^k{J}^{{\beta }_2}\left(\frac{t^{k{\beta }_1}}{k!}{E}_{{\beta }_1}^{\left(k\right)}\left(a_{11}{t}^{{\beta }_1}\right)\right),\hfill \end{array}$$

$$\begin{array}{cc}\hfill s_{22}\left(t\right)& =\sum _{k=0}^{\infty }{\left(a_{22}{J}^{{\beta }_2-{\beta }_1}-d{J}^{{\beta }_2}\right)}^k\left[\frac{t^{k{\beta }_1}}{k!}{E}_{{\beta }_1}^{\left(k\right)}\left(a_{11}{t}^{{\beta }_1}\right)-a_{11}J\left(\frac{t^{k{\beta }_1+{\beta }_1-1}}{k!}{E}_{{\beta }_1,{\beta }_1}^{\left(k\right)}\left(t^{{\beta }_1}{a}_{11}\right)\right)\right].\hfill \end{array}$$

Additionally, if $a_{12}=0,$ then

$$s_{11}\left(t\right)=E_{{\beta }_1}\left(a_{11}{t}^{{\beta }_1}\right),s_{12}\left(t\right)=0,$$

$$s_{21}\left(t\right)=a_{21}{E}_{{\beta }_1}\left(a_{11}{t}^{{\beta }_1}\right)*\left(t^{{\beta }_2-1}{E}_{{\beta }_1,{\beta }_2}\left(a_{2}2t^{{\beta }_2}\right)\right),s_{22}=E_{{\beta }_2}\left(a_{22}{t}^{{\beta }_2}\right).$$

 Example 3. 

Blood alcohol level problem.

The authors of paper [38] considered the following blood alcohol problem using fractional-order derivatives in the sense of Caputo–Djrbashian:

$$\left\{\begin{array}{c}{D}_{*}^{\alpha }A\left(t\right)=-{\kappa }_{1}A\left(t\right),\hfill \\ D_{*}^{\beta }B\left(t\right)={\kappa }_{1}A\left(t\right)-{\kappa }_{2}B\left(t\right),\hfill \end{array}\right.$$

(160)

where A represents the concentration of alcohol in the stomach and B is the concentration of alcohol in the blood, and ${\kappa }_1,{\kappa }_2$ are some real constants, which indicate transition rates. The initial conditions are given by

$$A\left(0\right)=A_0,B\left(0\right)=B_0.(B_0=0\mathrm{if}\mathrm{initially}\mathrm{there}\mathrm{is}\mathrm{no}\mathrm{alcohol}\mathrm{in}\mathrm{the}\mathrm{blood}.)$$

This problem can be presented as $D_{*}^{\mathcal{B}}\mathcal{U}\left(t\right)=\mathcal{F}\mathcal{U}\left(t\right),$ where $\mathcal{U}\left(t\right)=\left(A\right(t),B(t\left)\right),$$\mathcal{B}=(\alpha ,\beta )$ and

$$\mathcal{F}=\left[\begin{array}{cc}-{\kappa }_1& 0\\ {\kappa }_1& -{\kappa }_2\end{array}\right].$$

In accordance with Theorem 2, the solution $\mathcal{U}\left(t\right)$ has the representation

$$\begin{array}{cc}\hfill A\left(t\right)& =A_0{E}_{\alpha }(-{\kappa }_1{t}^{\alpha }),\hfill \end{array}$$

(161)

$$\begin{array}{cc}\hfill B\left(t\right)& ={\kappa }_1{A}_0\left(E_{\alpha }(-{\kappa }_1{t}^{\alpha })\right)*\left(t^{\beta -1}{E}_{\beta ,\beta }(-{\kappa }_2{t}^{\beta })\right)+B_0{E}_{\beta }(-{\kappa }_2{t}^{\beta }).\hfill \end{array}$$

(162)

We note that the authors of [38] found the solution in the form $A\left(t\right)=A_0{E}_{\alpha }(-{\kappa }_1{t}^{\alpha })$ and (with $B_0=0$)

$$B\left(t\right)=\beta {\int }_0^t{\kappa }_1{A}_0{E}_{\alpha }(-{\kappa }_1{(t-s)}^{\alpha })s^{\beta -1}{E}_{\beta }^{\prime }(-{\kappa }_2{s}^{\beta })ds,$$

which is the same as (161), (162), due to the equality $\beta E_{\beta }^{\prime }\left(z\right)=E_{\beta ,\beta }\left(z\right).$

 Example 4. 

Fractional-order systems for a relativistically free particle.

The wave function of a relativistically free particle of mass m is described by the Klein–Gordon equation

$$\left(\frac{1}{c^2}\frac{{\partial }^2}{\partial t^2}-{\nabla }^2+\frac{m^2{c}^2}{{\hslash }^2}\right)\Psi (t,x)=0,x\in {\mathbb{R}}^3,$$

where c is the speed of light, ℏ is Planck’s constant, and $\nabla =(\frac{\partial }{\partial x_1},\frac{\partial }{\partial x_2},\frac{\partial }{\partial x_3}),$ the gradient operator. Dirac’s equation for relativistically free particles, in fact, is a system of the form

$$i\hslash \frac{\partial \Psi (x,t)}{\partial t}=(ic\hslash \alpha ·\nabla +\beta m{c}^2)\Psi (x,t),$$

where $\alpha$ and $\beta$ are $4\times 4$ matrices satisfying certain conditions, and $\Psi (x,t)$ is a multi-component wave function. Using the adopted units $c=\hslash =1,$ the latter can be written in the explicit form [39]

$$i\left[\begin{array}{c}\frac{\partial {\psi }_1}{\partial t}\\ \frac{\partial {\psi }_2}{\partial t}\\ \frac{\partial {\psi }_3}{\partial t}\\ \frac{\partial {\psi }_4}{\partial t}\end{array}\right]=\left[\begin{array}{cccc}m& 0& -i\frac{\partial }{\partial x_3}& i\frac{\partial }{\partial x_1}+\frac{\partial }{\partial x_2}\\ 0& m& -i\frac{\partial }{\partial x_1}+\frac{\partial }{\partial x_2}& \frac{\partial }{\partial x_3}\\ -i\frac{\partial }{\partial x_3}& -i\frac{\partial }{\partial x_1}-\frac{\partial }{\partial x_2}& -m& 0\\ -i\frac{\partial }{\partial x_1}+\frac{\partial }{\partial x_2}& i\frac{\partial }{\partial x_3}& 0& -m\end{array}\right]\left[\begin{array}{c}{\psi }_1\\ {\psi }_2\\ {\psi }_3\\ {\psi }_4\end{array}\right]$$

(163)

Multiplying this by $-i,$ we can rewrite system (163) in the form (1)

$$\frac{\partial \Psi (t,x)}{\partial t}=\mathcal{F}\left(A\right)\Psi (t,x),t>0,x\in {\mathbb{R}}^3,$$

(164)

where $\mathcal{F}\left(A\right),A=-i\nabla =-i(\frac{\partial }{\partial x_1},\frac{\partial }{\partial x_2},\frac{\partial }{\partial x_3}),$ is the matrix-valued operator with the symbol

$$\mathcal{F}\left(\xi \right)=\left[\begin{array}{cccc}-im& 0& {\xi }_3& i{\xi }_1+{\xi }_2\\ 0& -im& -i{\xi }_1+{\xi }_2& {\xi }_3\\ -i{\xi }_3& -i{\xi }_1-{\xi }_2& im& 0\\ -i{\xi }_1+{\xi }_2& i{\xi }_3& 0& im\end{array}\right],\xi =({\xi }_1,{\xi }_2,{\xi }_3)\in {\mathbb{R}}^3.$$

(165)

Replacing $\partial /\partial t$ on the left of (164) with $D_{*}^{\gamma }$, we obtain a Dirac-like fractional-order system. Note that some Dirac-like systems are considered in papers [27,28,40,41].

Thus, consider the system

$$D_{*}^{\gamma }\Psi (t,x)=\mathcal{F}(-i\nabla )\Psi (t,x),$$

where $1/2<\gamma \le 1$ and $\mathcal{F}(-i\nabla )$ has the symbol $\mathcal{F}({\xi }_2,{\xi }_2,{\xi }_3)$ defined in (165). The matrix $\mathcal{F}\left(z\right)$ has eigenvalues

$${\lambda }_{1-4}\left(\xi \right)=\pm \sqrt{-m^2\pm i\sqrt{{({\xi }_1^2+{\xi }_2^2)}^2+{\xi }_3^4}}.$$

If $\xi \ne 0,$ then all eigenvalues are of multiplicity one, and hence diagonalizable. Consequently, there exists an invertible matrix $M\left(\xi \right),$ such that $\mathcal{F}\left(\xi \right)=M\left(\xi \right)\Lambda \left(\xi \right)M^{-1}\left(\xi \right),$ with $\Lambda \left(\xi \right)=diag({\lambda }_1\left(\xi \right),\cdots ,{\lambda }_4\left(\xi \right)).$ Thus, in accordance with Theorem 6, the solution is represented in the form $\Psi (t,x)=\mathcal{S}(t,-i\nabla )\Psi (0,x),$ where the solution pseudo-differential operator $\mathcal{S}(t,-i\nabla )$ has the matrix symbol

$$\mathcal{S}(t,\xi )=M\left(\xi \right)diag\left(E_{\gamma }\left(t^{\gamma }\right){\lambda }_1\left(\xi \right)),\cdots ,E_{\gamma }\left(t^{\gamma }{\lambda }_4\left(\xi \right)\right)\right)M^{-1}\left(\xi \right),$$

and components ${\psi }_k\left(x\right),k=1,\cdots ,4,$ of $\Psi (0,x)$ have Fourier transforms with compact supports in $G={\mathbb{R}}^3\setminus \left\{0\right\}.$

 Example 5. 

A commensurate system of pseudo-differential equations.

Let the matrix-valued operator $\mathcal{F}\left(A\right)$ be given by the matrix symbol

$$\mathcal{F}\left(z\right)=\left[\begin{array}{cc}-{\left|z\right|}^2& a^2\overline{z}\\ z& -{\left|z\right|}^2\end{array}\right],z\ne 0.$$

Consider the system with the matrix-valued operator on the right corresponding to the symbol $\mathcal{F}\left(z\right):$

$$D_{*}^{\mathcal{B}}\mathcal{U}\left(t\right)=\left[\begin{array}{cc}-A^2& a^2{A}^{*}\\ A& -A^2\end{array}\right]\mathcal{U}\left(t\right),t>0,$$

(166)

with $\mathcal{B}=(\beta ,\beta ),0<\beta \le 1,$$A^{*}$ as the adjoint of $A,$ and the initial condition

$$\mathcal{U}\left(0\right)=({\phi }_1,{\phi }_2).$$

(167)

Assume that $a\ne 0.$ Then, one can easily verify that the eigenvalues of $\mathcal{F}\left(z\right)$ are $\lambda \left(z\right)={\left|z\right|}^2\pm a\left|z\right|.$ Therefore, $\mathcal{F}\left(z\right)=M\left(z\right)\Lambda \left(z\right)M^{-1}\left(z\right),$ where

$$\Lambda \left(z\right)=\left[\begin{array}{cc}{\left|z\right|}^2-a\left|z\right|& 0\\ 0& {\left|z\right|}^2+a\left|z\right|\end{array}\right],M\left(z\right)=\left[\begin{array}{cc}a\overline{z}& a\overline{z}\\ -\left|z\right|& \left|z\right|\end{array}\right].$$

Then, due to Theorem 6, the solution operator $\mathcal{S}(t,A)$ has the matrix symbol

$$\begin{array}{cc}\hfill \mathcal{S}(t,z)& =\left[\begin{array}{cc}a\overline{z}& a\overline{z}\\ -\left|z\right|& \left|z\right|\end{array}\right]\left[\begin{array}{cc}{E}_{\beta }\left(\right(-{\left|z\right|}^2-a\left|z\right|)t^{\beta -1})& 0\\ 0& E_{\beta }\left(\right(-{\left|z\right|}^2+a\left|z\right|)t^{\beta -1})\end{array}\right]\left[\begin{array}{cc}\frac{1}{2a\overline{z}}& -\frac{1}{2\left|z\right|}\\ \frac{1}{2a\overline{z}}& \frac{1}{2\left|z\right|}\end{array}\right]\hfill \\ \hfill \\ \hfill & =\left[\begin{array}{cc}\frac{1}{2}\left(E^{-}(z,t)+E^{+}(z,t)\right)& -\frac{a\overline{z}}{2\left|z\right|}\left(E^{-}(z,t)-E^{+}(z,t)\right)\\ -\frac{\left|z\right|}{2a\overline{z}}\left(E^{-}(z,t)-E^{+}(z,t)\right)& \frac{1}{2}\left(E^{-}(z,t)+\frac{1}{2}{E}^{+}(z,t)\right)\end{array}\right],\hfill \end{array}$$

where $E^{\pm }(z,t)=E_{\beta }\left({(-|z|}^2\pm a\left|z\right|)t^{\beta -1}\right).$

Suppose that $A=\sqrt{-\Delta },$ where $\Delta$ is the Laplace operator, with the domain

$$Dom\left(A\right)=H^1({\mathbb{R}}^n)=\{f\in L_2({\mathbb{R}}^n):\underset{({\mathbb{R}}^n)}{\int }{(1+|\xi |}^2{)}^{1/2}{\left|F\left[f\right]\left(\xi \right)\right|}^{2}d\xi <\infty \}.$$

Here, $F\left[f\right]$ is the Fourier transform of $f\left(x\right).$ It is known that the spectrum of A is the positive semi-axis, and hence we can accept $G=[0,\infty )$. Then, the symbol $\mathcal{S}(t,z)$ simplifies to

$$\begin{array}{cc}\hfill \mathcal{S}(t,z)& =\left[\begin{array}{cc}\frac{1}{2}\left(E^{-}(z,t)+E^{+}(z,t)\right)& -\frac{a}{2}\left(E^{-}(z,t)-E^{+}(z,t)\right)\\ -\frac{1}{2a}\left(E^{-}(z,t)-E^{+}(z,t)\right)& \frac{1}{2}\left(E^{-}(z,t)+\frac{1}{2}{E}^{+}(z,t)\right)\end{array}\right],\hfill \end{array}$$

If $a=0,$ then $\mathcal{F}\left(z\right)$ has a double eigenvalue $\lambda \left(z\right)={\left|z\right|}^2$ and has the Jordan form $\mathcal{F}\left(z\right)=M\left(z\right)\left(\Lambda \left(z\right)+N\right)M^{-1}\left(z\right),$ where

$$\Lambda \left(z\right)=\left[\begin{array}{cc}{\left|z\right|}^2& 0\\ 0& {\left|z\right|}^2\end{array}\right],N\left(z\right)=\left[\begin{array}{cc}0& 1\\ 0& 0\end{array}\right],M\left(z\right)=\left[\begin{array}{cc}0& 1/z\\ 1& 1\end{array}\right].$$

Assume for simplicity that $\mathcal{B}=(1/2,1/2).$ Then, in accordance with Theorem 6, the solution operator $S(t,A)$ has the matrix symbol

$$\begin{array}{cc}\hfill \mathcal{S}(t,z)& =\left[\begin{array}{cc}0& 1/z\\ 1& 1\end{array}\right]\left[\begin{array}{cc}{E}_{1/2}{(-|z|}^2{t}^{1/2})& t^{1/2}{E}_{1/2}^{\prime }{(-|z|}^2{t}^{1/2})\\ 0& E_{1/2}{(-|z|}^2{t}^{1/2})\end{array}\right]\left[\begin{array}{cc}-z& 1\\ z& 0\end{array}\right]\hfill \\ \hfill & =\left[\begin{array}{cc}{E}_{1/2}{(-|z|}^2{t}^{1/2})& 0\\ z{t}^{1/2}{E}_{1/2}^{\prime }{(-|z|}^2{t}^{1/2})& E_{1/2}{(-|z|}^2{t}^{1/2})\end{array}\right].\hfill \end{array}$$

Thus, the solution $\mathcal{U}\left(t\right)$ has components

$$\begin{array}{cc}\hfill u_1\left(t\right)& =E_{1/2}(t^{1/2}\Delta ){\phi }_1,\hfill \end{array}$$

(168)

$$\begin{array}{cc}\hfill u_2\left(t\right)& =t^{1/2}\sqrt{-\Delta }{E}_{1/2}^{\prime }(t^{1/2}\Delta ){\phi }_1+E_{1/2}(t^{1/2}\Delta ){\phi }_2.\hfill \end{array}$$

(169)

 Example 6. 

An incommensurate system of pseudo-differential equations.

Now, assume that $\mathcal{B}=(1/2,1/3),$$A=\sqrt{-\Delta },$ and $\mathcal{F}\left(z\right)$ is as in Example 5 with $a=0.$ Then, since ${\beta }_1=1/2$ and ${\beta }_2=1/3$ are rational numbers, we can use the technique described in Section 3.4 and reduce problem (166), (167) to a system of five equations with equal orders ${\beta }_j^{*}=1/6,j=1,\cdots ,5.$ The reduced system has the form

$$\left[\begin{array}{c}{D}_{*}^{1/6}{U}_1(t,x)\\ D_{*}^{1/6}{U}_2(t,x)\\ D_{*}^{1/6}{U}_3(t,x)\\ D_{*}^{1/6}{U}_4(t,x)\\ D_{*}^{1/6}{U}_5(t,x)\end{array}\right]=\left[\begin{array}{ccccc}0& 1& 0& 0& 0\\ 0& 0& 1& 0& 0\\ \Delta & 0& 0& 0& 0\\ 0& 0& 0& 0& 1\\ \sqrt{-\Delta }& 1& 0& \Delta & 0\end{array}\right]\left[\begin{array}{c}{U}_1(t,x)\\ U_2(t,x)\\ U_3(t,x)\\ U_4(t,x)\\ U_5(t,x)\end{array}\right],t>0,x\in {\mathbb{R}}^n,$$

(170)

with the initial condition

$$\left(U_1(0,x),U_2(0,x),U_3(0,x),U_4(0,x),U_5(0,x)\right)=\left({\phi }_1\left(x\right),0,0,{\phi }_2\left(x\right),0\right).$$

The components $U_1(t,x)=u_1(t,x)$ and $U_4(t,x)=u_2(t,x)$ correspond to the solution of (166), (167) with $\mathcal{B}=(1/2,1/3)$. Applying the Fourier and Laplace transforms, we can transform system (170) into the following algebraic equations:

$$\begin{array}{cc}\hfill s^{1/6}L\left[F\left[U_1\right]\right](s,z)& =L\left[F\left[U_2\right]\right](s,z)+s^{-5/6}F\left[{\phi }_1\right]\left(z\right),\hfill \\ \hfill s^{1/6}L\left[F\left[U_2\right]\right](s,z)& =L\left[F\left[U_3\right]\right](s,z),\hfill \\ \hfill s^{1/6}L\left[F\left[U_3\right]\right](s,z)& =-{\left|z\right|}^{2}L\left[F\left[U_1\right]\right](s,z),\hfill \\ \hfill s^{1/6}L\left[F\left[U_4\right]\right](s,z)& =L\left[F\left[U_5\right]\right](s,z)+s^{-5/6}F\left[{\phi }_2\right]\left(z\right),\hfill \\ \hfill s^{1/6}L\left[F\left[U_5\right]\right](s,z)& =zL\left[F\left[U_1\right]\right](s,z)-{\left|z\right|}^{2}L\left[F\left[U_4\right]\right](s,z).\hfill \end{array}$$

It follows that

$$L\left[F\left[U_1\right]\right](s,z)=\frac{s^{-1/2}F\left[{\phi }_1\right]\left(z\right)}{s^{1/2}+{\left|z\right|}^2},$$

and

$$L\left[F\left[U_4\right]\right](s,z)=z\frac{s^{-1/2}F\left[{\phi }_1\right]\left(z\right)}{(s^{1/2}+{\left|z\right|}^2\left)\right(s^{1/3}+{\left|z\right|}^2)}+\frac{s^{-2/3}F\left[{\phi }_2\right]\left(z\right)}{s^{1/3}+{\left|z\right|}^2}.$$

Thus, the solution $\mathcal{U}(t,x)$ of problem (166), (167) in accordance with Theorem 6 has the following components:

$$\begin{array}{cc}\hfill u_1(t,x)& =E_{1/2}(\Delta t^{1/2}){\phi }_1\left(x\right),\hfill \\ \hfill u_2(t,x)& =\sqrt{-\Delta }\left(E_{1/2}(\Delta t^{1/2})*t^{-2/3}{E}_{1/3,1/3}(\Delta t^{1/3})\right){\phi }_1\left(x\right)+E_{1/3}(\Delta t^{1/3}){\phi }_2\left(x\right).\hfill \end{array}$$

Note that Theorem 3 is applicable to this problem as well, resulting in the same solution.

6. Discussion

In this paper, the representation formula for the solution of the Cauchy problem for arbitrary time-fractional multi-order linear systems of differential-operator equations is obtained. Heretofore, the representation formulas were known in particular cases of commensurate multi-order and in incommensurate multi-order cases with rational components. The latter can be reduced to the former. The results obtained in this paper are new, even in the case of linear time-fractional multi-order ordinary differential equations with a constant matrix. The existence of a solution and its uniqueness is proven in some appropriate topological vector spaces. Examples illustrating the obtained results are provided.