1 Introduction

Usually fractional differential equations are considered as a generalization of ordinary differential equations, and they have been applied as more appropriate models of real world problems in engineering, physics, finance, etc. [9, 22]. The applications of fractional calculus have been growing, including anomalous diffusion [5], viscoelastic mechanics [6], control system [12], petroleum engineering [19], multi-strain tuberculosis model [23], and many other branches of physics and engineering. A good collection of different fractional models applied to thermodiffusion, thermodynamics, mechanics, and viscoelasticity is given in the book [24].

In many processes, such as chemical processes (behaviors in chemical kinetics), technical processes (electric, pneumatic, and hydraulic networks), biosciences (heredity in population dynamics), economics (dynamics of business cycles), a delay is observed. With the combination of both fractional derivative and time delay, the topic of fractional order delay differential equations is enjoying growing interest among mathematicians and physicists (see, for example, [11] for delayed feedback control).

One of the main qualitative problems is connected with obtaining explicit formulas for the solutions, especially in the case of linear equations. The generalized Mittag-Leffler function with matrix arguments is applied for systems of linear Caputo fractional differential equations (see [8]). Recently, there have been developments on seeking the explicit formula of solutions to delay Caputo fractional differential equations. Li and Wang [13] studied the linear homogenous Caputo fractional delay differential equations and gave a representation of the solution. Also, in [15, 17] representations of the solution of linear non-homogeneous Caputo fractional delay differential equations are provided.

However, little is known regarding Riemann–Liouville (RL) fractional differential equations with delays. For some related contributions about RL factional differential equations, one can refer to previous works [1, 3]. Note that linear systems of RL fractional differential equations without any delay are studied in [18] and explicit formulas for the solutions are obtained. RL fractional differential equations with delays are not well studied. We mention the papers [14, 16] where the lower bound of the RL fractional derivative coincides with the left side end of the initial interval, but we note that this does not correspond to the idea in the case of delay differential equations with ordinary derivatives and the idea of the initial value problem of RL fractional differential equations.

In this paper we study initial value problems of systems of linear RL fractional differential equations with constant delay of the type

$$ {}_{0}^{\mathrm{RL}}D_{t}^{q}X(t)=AX(t)+ BX(t-\tau )+F(t) \quad \mbox{for } t\in (0,T], $$

where A, B are constant matrices, \(\tau >0\) is a constant delay, and \(T\leq \infty \). Similar to the case of the ordinary derivative, the differential equation is given to the right of the initial time interval. It requires the lower bound of the RL fractional derivative to coincide with the right side end of the initial interval (usually this point is zero). Note that in this case any solution of an initial problem (IVP) with RL fractional derivatives is not continuous at the initial point. That is why RL fractional delay differential equations are convenient for modeling a process with impulsive types of initial conditions. These types of processes can be found in physics, chemistry, engineering, biology, and economics. To determine the law of the initial impulsive reaction, we need to add to the usual initial condition (for example, \(x(t)=\phi (t)\) on the initial interval \([-\tau ,0]\), \(\tau >0\) is the delay) a fractional condition. This conclusion is based on the results obtained in [9] and [21] concerning the physical interpretation of RL fractional derivatives and initial conditions which include derivatives of the same kind. Based on the above, we set up appropriate IVPs for RL linear fractional differential equations with the lower limit of the RL derivative equal to the right side point of the initial interval, i.e., we study initial conditions of the type

$$ X(t)=G(t)\quad \mbox{for } t\in [-\tau ,0] $$

and

$$ _{0}I^{1-q}_{t}X(t)|_{t=0} =\lim _{t\to 0+} \frac{1}{\varGamma (1-q)} \int _{0}^{t}\frac{X(s)}{( t-s) ^{q}}\,ds={C}, $$

where C is a constant vector.

Explicit formulas for the solutions of initial value problems with both zero and nonzero initial functions are obtained. Also, the cases of homogeneous as well as non-homogeneous equations are studied. In the case \(A=0\) the explicit formulas are comparatively easy to be applied, and in the case \(A\neq0\) the q-matrix functions (or the matrix Mittag-Leffler functions) are used. The scalar case of the linear RL fractional differential equations with the above mentioned initial conditions is studied in [2] and explicit solutions are obtained. Note that in [2] the Mittag-Leffler function is applied in all formulas for the explicit solutions. In the case of systems and vector functions, the Mittag-Leffler function is not applicable and it is replaced with the q-matrix exponential function defined and used in [4]. The application of this function not only leads to more complicated calculations but also to new formulas for the exacts solutions.

2 Preliminary notes on fractional derivatives and equations

Let \(m\in L^{\mathrm{loc}}_{1}([t_{0},T],\mathbb{R})\) and \(t_{0},T\geq 0: t_{0}< T\leq \infty \) (in the case \(T=\infty \) the intervals \((t_{0} ,T]\) and \([t_{0},T]\) are \((t_{0},T)\) and \([t_{0},T)\), respectively). In this paper we use the following definitions for fractional derivatives and integrals:

  • Riemann–Liouville fractional integral of order \(q\in (0,1)\) [7, 20]

    $$ {}_{t_{0}}I^{q}_{t}m(t)= \frac{1}{\varGamma ( q)} \int _{t_{0}}^{t} \frac{m(s)}{( t-s) ^{1-q}}\,ds,\quad t\in [t_{0},T], $$

    where \(\varGamma (\cdot)\) is the gamma function.

    Note that sometimes the notation \({}_{t_{0}}D^{-q}_{t}m(t)={}_{t_{0}}I^{q}_{t}m(t)\) is used.

  • Riemann–Liouville fractional derivative of order \(q\in (0,1)\) [7, 20]

    $$ {}_{t_{0}}^{\mathrm{RL}}D^{q}_{t}m(t)= \frac{d}{dt} \bigl({}_{t_{0}}I^{1-q}_{t}m(t) \bigr)=\frac{1}{\varGamma ( 1-q )}\frac{d}{dt} \int _{t_{0}}^{t} ( t-s ) ^{-q}m(s)\,ds, \quad t \in [t_{0},T]. $$

We give fractional integrals and RL fractional derivatives of some elementary functions which will be used later.

Proposition 1

For\(t>t_{0}\)and\(\beta >0\), the following equalities are true:

$$\begin{aligned}& {}_{t_{0}}^{\mathrm{RL}}D^{q}_{t}(t-t_{0})^{\beta }= \frac{\varGamma (1+\beta )}{\varGamma (1+\beta -q)} (t-t_{0})^{\beta -q}, \\& {}_{t_{0}}I_{t}^{1-q}(t-t_{0})^{\beta -1}= \frac{\varGamma (\beta )}{\varGamma (1+\beta -q)}(t-t_{0})^{\beta -q}, \\& {}_{t_{0}}I_{t}^{1-q}(t-t_{0})^{q-1}= \varGamma (q), \\& {}_{t_{0}}^{\mathrm{RL}}D^{q}_{t}(t-t_{0})^{q-1}=0. \end{aligned}$$

For \(m\in L^{\mathrm{loc}}_{1}([t_{0},T],\mathbb{R}^{n})\), \(m=(m_{1},m_{2},\ldots ,m_{n})^{T}\), we use

$$ {}_{t_{0}}^{\mathrm{RL}}D^{q}_{t}m(t)= \bigl({}_{t_{0}}^{\mathrm{RL}}D^{q}_{t}m_{1}(t), {}_{t_{0}}^{\mathrm{RL}}D^{q}_{t}m_{2}(t), \ldots , {}_{t_{0}}^{\mathrm{RL}}D^{q}_{t}m_{n}(t) \bigr)^{T} $$

and

$$ {}_{t_{0}}I^{q}_{t}m(t)=\bigl({}_{t_{0}}I^{q}_{t}m_{1}(t),{}_{t_{0}}I^{q}_{t}m_{2}(t), \ldots ,{}_{t_{0}}I^{q}_{t}m_{n}(t) \bigr)^{T}. $$

Let \(M_{n\times n}(\mathbb{R})\) be the set of all matrices \(A=\{a_{ij}\}_{i,j=1}^{n}\) with \(a_{ij}\in \mathbb{R}\). We will use the notation I for the unit matrix from \(M_{n\times n}(\mathbb{R})\). For any matrix \(A\in M_{n\times n}(\mathbb{R})\), we will use the notation \(A^{0}=I\) and define the q-matrix exponential function [4] by

$$ e_{q}^{A(t-t_{0})}=(t-t_{0})^{q-1}\sum _{k=0}^{\infty }A^{k} \frac{(t-t_{0})^{kq}}{\varGamma ((k+1)q)}, \quad t\geq t_{0}, $$

and the Mittag-Leffler matrix function by

$$ E_{q}\bigl(A(t-t_{0})^{q}\bigr)=\sum _{k=0}^{\infty }A^{k} \frac{(t-t_{0})^{kq}}{\varGamma ((k+1)q)}. $$

Therefore,

$$ e_{q}^{A(t-t_{0})}=(t-t_{0})^{q-1}E_{q} \bigl(A(t-t_{0})^{q}\bigr). $$

The definitions of the initial condition for systems of fractional differential equations with RL-derivatives are based on the following result for the linear RL matrix fractional equation:

$$ {}_{t_{0}}^{\mathrm{RL}}D^{q}_{t}X(t)=AX(t),\quad t\in (t_{0},T],$$
(1)

with \(X\in L^{\mathrm{loc}}_{1}([t_{0},T],\mathbb{R}^{n})\) and \(A\in M_{n\times n}(\mathbb{R})\).

Proposition 2

(Theorem 3.1 [25])

Let\(q\in (0,1)\). Then problem (1) with the initial condition

$$ {}_{t_{0}}I^{1-q}_{t}X(t)|_{t=t_{0}}:= \lim_{t\to t_{0}+}{}_{t_{0}}I^{1-q}_{t}m(t) =C,\quad C\in M_{n\times n}(\mathbb{R})$$
(2)

is equivalent to problem (1) with the initial condition

$$ \lim_{t\to t_{0}+}\bigl[(t-t_{0})^{q-1}X(t) \bigr]=\frac{C}{\varGamma (q)}.$$
(3)

Remark 1

According to Proposition 2, it is enough to study one of the initial conditions (2) or (3). Following this result, we will study only the initial condition of type (2).

The explicit formula of the initial value problem (IVP) (1), (2) is given by (see Theorem 3.2 [25])

$$ X(t)=e_{q}^{A(t-t_{0})}C.$$
(4)

In the case of a system of non-homogeneous fractional differential equations with RL-derivatives

$$ {}_{t_{0}}^{\mathrm{RL}}D^{q}_{t}X(t)=AX+F(t) (t), \quad t\in (t_{0},T],$$
(5)

with \(F\in C([t_{0},T],\mathbb{R}^{n})\), the explicit formula of IVP (5), (2) is given by (see Theorem 3 and Remark 1 [18])

$$ X(t)=e_{q}^{A(t-t_{0})}C+ \int _{t_{0}}^{t}e_{q}^{A(t-s)}F(s)\,ds\quad \mbox{for } t\in (t_{0},T].$$
(6)

In the case of a scalar linear RL fractional differential equation, we have the following result.

Proposition 3

(Example 4.1 [10])

The solution of the Cauchy type problem

$$ \begin{aligned} &{}_{t_{0}}^{\mathrm{RL}}D_{t}^{q}x(t)= \lambda x(t)+f(t) \quad \textit{for } t\in (t_{0},T], \\ &{}_{t_{0}}I^{1-q}_{t}x(t)|_{t=t_{0}}=b \end{aligned} $$

with\(b\in \mathbb{R}\), \(f\in ([t_{0},T],\mathbb{R})\)has the following form (formula 4.1.14 [10]):

$$ x(t)=\frac{b}{(t-t_{0})^{1-q}}E_{q,q}\bigl(\lambda (t-t_{0})^{q}\bigr)+ \int _{t_{0}}^{t}(t-s)^{q-1}E_{q,q} \bigl( \lambda (t-s)^{q}\bigr)f(s)\,ds, $$
(7)

where\(E_{p,q}(z)=\sum_{j=0}^{\infty }\frac{z^{j}}{\varGamma (jp+q)} \)is the Mittag-Leffler function with two parameters (see, for example, [20]).

In the case of a system of RL fractional differential equations with constant coefficients, we have the following result, which is a special case of Theorem 3 [18].

Proposition 4

([18])

The solution to the initial value problem for the system

$$ \begin{aligned} &{}_{t_{0}}^{\mathrm{RL}}D_{t}^{q}X(t)=A X(t)+F(t)\quad \textit{for } t\in (t_{0},T], \\ & {}_{t_{0}}I^{1-q}_{t}X(t)|_{t=t_{0}}=C \end{aligned} $$

with\(A\in M_{n\times n}(\mathbb{R})\), \(F\in ([t_{0},T],\mathbb{R}^{n})\)has the following form:

$$ X(t)=e_{q}^{A(t-t_{0})}C+ \int _{t_{0}}^{t} e_{q}^{A(t-s)}F(s)\,ds,\quad t \in (t_{0},T], $$
(8)

or its equivalent form

$$ X(t)=(t-t_{0})^{q-1}E_{q} \bigl(A(t-t_{0})^{q}\bigr)C+ \int _{t_{0}}^{t} (t-s)^{q-1}E_{q} \bigl(A(t-s)^{q}\bigr) F(s)\,ds,\quad t\in (t_{0},T]. $$
(9)

3 Explicit formula for the solutions of scalar linear RL fractional equations with delays and zero initial values

Throughout the paper we assume \(\sum_{i=n}^{l}(*)=0\) for the integers \(n,l, n>l\).

3.1 Homogeneous linear RL fractional differential equation

Consider the system of linear Riemann–Liouville fractional differential equations with constant delay (HFrDE):

$$ {}_{0}^{\mathrm{RL}}D_{t}^{q}X(t)= BX(t-\tau ) \quad \mbox{for } t \in (0,T], $$
(10)

where \(q\in (0,1)\), \(B\in M_{n\times n}(\mathbb{R})\), \(B=\{b_{ij}\}\), \(\tau >0\) is a real constant, \(X=(X_{1},X_{2},\ldots ,X_{n})^{T}\), \(X_{k}\in \mathbb{R}\), \(k=1,2,\ldots ,n\).

Remark 2

Without loss of generality we assume that there exists a natural number \(N\leq \infty \) such that \(T=(N+1)\tau \).

We will consider the zero initial value

$$ X(t)=0 \quad \mbox{for } t\in [-\tau ,0],$$
(11)

and

$$ _{0}I^{1-q}_{t}X(t)|_{t=0} =\lim_{t\to 0+} \frac{1}{\varGamma (1-q)} \int _{0}^{t}\frac{X(s)}{( t-s) ^{q}}\,ds={ \mathbf{1}},$$
(12)

with \({\mathbf{1}}=(1,1,\ldots ,1)^{T}\).

Remark 3

Note that the IVP for HFrDE (10), (11) with the zero fractional initial condition, i.e., \(\lim_{t\to 0+} (t^{1-q}X(t) )=0\), has only a zero solution.

Theorem 1

The solution of IVP (10), (11), (12) is given by

$$ X(t)=\sum_{i=0}^{n} \frac{B^{i}}{\varGamma ((i+1)q)}(t-i\tau )^{(i+1)q-1}{ \mathbf{1}},\quad t\in \bigl(n\tau ,(n+1)\tau \bigr], n=0,1,2,\ldots ,N.$$
(13)

Proof

Let \(t\in (0,\tau ]\). Then from (10) we have RL fractional differential equations \({}_{0}^{\mathrm{RL}}D_{t}^{q}x X_{i}(t)= 0\) for \(t\in (0,\tau ]\), \(i=1,2, \ldots ,n\), whose solution is given by

$$ X(t)=\frac{t^{q-1}}{\varGamma (q)}{\mathbf{1}},\quad t\in (0,\tau ],$$
(14)

since from Proposition 1 we have \({}_{0}I^{1-q}t^{q-1}=\varGamma (q)\), i.e., \({}_{0}I^{1-q}_{t}X(t)|_{t=0}={\mathbf{1}}\) and

$$ {}_{0}^{\mathrm{RL}}D^{q}_{t} \frac{t^{q-1}}{\varGamma (q)}=0. $$
(15)

Let \(t\in (\tau ,2\tau ]\). Then from (10), (14) we have the following system of RL fractional equations:

$$ {}_{0}^{\mathrm{RL}}D_{t}^{q}X(t)=B \frac{(t-\tau )^{q-1}}{\varGamma (q)}{\mathbf{1}}\quad \mbox{for } t\in (\tau ,2 \tau ]. $$
(16)

Then the solution of IVP (10), (11), (12) is given by

$$ X(t)=\frac{t^{q-1}}{\varGamma (q)}{\mathbf{1}}+\frac{B}{\varGamma (2q)}(t- \tau )^{2q-1}{ \mathbf{1}}, \quad t\in (\tau ,2\tau ].$$
(17)

Indeed, from Proposition 1 with \(\beta =2q-1\), we have for \(t\in (\tau ,2\tau ]\) that

$$\begin{aligned} {}_{0}^{\mathrm{RL}}D^{q}_{t} X(t) =& \frac{1}{\varGamma ( 1-q )}\frac{d}{dt} \biggl( \int _{0}^{ \tau } ( t-s ) ^{-q}X(s)\,ds+ \int _{\tau }^{t} ( t-s ) ^{-q}X(s)\,ds \biggr) \\ =&\frac{1}{\varGamma ( 1-q )}\frac{d}{dt} \int _{0}^{ \tau } ( t-s ) ^{-q} \frac{s^{q-1}}{\varGamma (q)}\,ds {\mathbf{1}} \\ &{} +\frac{1}{\varGamma ( 1-q )}\frac{d}{dt} \int _{\tau }^{t} ( t-s ) ^{-q} \biggl( \frac{s^{q-1}}{\varGamma (q)}{\mathbf{1}}+ \frac{B}{\varGamma (2q)}(s-\tau )^{2q-1}{ \mathbf{1}} \biggr)\,ds \\ =&\frac{1}{\varGamma ( 1-q )}\frac{d}{dt} \int _{0}^{ t} ( t-s ) ^{-q} \frac{s^{q-1}}{\varGamma (q)}\,ds{\mathbf{1}} \\ &{}+ \frac{B}{\varGamma (2q)\varGamma ( 1-q )}\frac{d}{dt} \int _{\tau }^{t} ( t-s ) ^{-q}(s-\tau )^{2q-1}\,ds{\mathbf{1}} \\ =&\frac{B}{\varGamma (q)}(t-\tau )^{q-1}{\mathbf{1}}. \end{aligned}$$
(18)

Therefore, \(X(t)\) satisfies (16) for \(t\in (\tau ,2\tau ]\).

Let \(t\in (2\tau ,3\tau ]\). Then from (10), (14), (17) we have

$$ {}_{0}^{\mathrm{RL}}D_{t}^{q}X(t)=B \frac{(t-\tau )^{q-1}}{\varGamma (q)}{\mathbf{1}}+\frac{B^{2}}{\varGamma (2q)}(t-2 \tau )^{2q-1}{\mathbf{1}}\quad \mbox{for } t\in (2\tau ,3\tau ]. $$
(19)

Then the solution of IVP (10), (11), (12) is given by

$$ X(t)=\frac{t^{q-1}}{\varGamma (q)}{\mathbf{1}}+\frac{B}{\varGamma (2q)}(t- \tau )^{2q-1}{ \mathbf{1}}+\frac{B^{2}}{\varGamma (3q)}(t-2\tau )^{3q-1}{\mathbf{1}}, \quad t\in (2 \tau ,3\tau ],$$
(20)

since from Proposition 1 with \(\beta =2q-1\) and the equality

$$ \frac{d}{dt} \int _{a}^{t}(t-s)^{-q}(s-a)^{kq-1}\,ds= \frac{(t-a)^{ (k-1) q-1}\varGamma (1-q) \varGamma (k q)}{\varGamma ( (k-1) q)}$$
(21)

we have for \(t\in (2\tau ,3\tau ]\) that

$$\begin{aligned} {} _{0}^{\mathrm{RL}}D^{q}_{t} X(t) =& \frac{1}{\varGamma ( 1-q )}\frac{d}{dt} \biggl( \int _{0}^{ \tau } ( t-s ) ^{-q}X(s)\,ds+ \int _{\tau }^{2\tau } ( t-s ) ^{-q}X(s)\,ds \\ &{}+ \int _{2\tau }^{t} ( t-s ) ^{-q}X(s)\,ds \biggr) \\ =&\frac{1}{\varGamma ( 1-q )}\frac{d}{dt} \int _{0}^{ \tau } ( t-s ) ^{-q} \frac{s^{q-1}}{\varGamma (q)}\,ds{\mathbf{1}} \\ &{} +\frac{1}{\varGamma ( 1-q )}\frac{d}{dt} \int _{ \tau }^{2\tau } ( t-s ) ^{-q} \biggl( \frac{s^{q-1}}{\varGamma (q)}{ \mathbf{1}}+\frac{B}{\varGamma (2q)}(s-\tau )^{2q-1}{ \mathbf{1}} \biggr)\,ds \\ &{} +\frac{1}{\varGamma ( 1-q )}\frac{d}{dt} \int _{2 \tau }^{t} ( t-s ) ^{-q} \\ &{}\times\biggl( \frac{s^{q-1}}{\varGamma (q)}{ \mathbf{1}}+\frac{B}{\varGamma (2q)}(s-\tau )^{2q-1}{ \mathbf{1}}+ \frac{B^{2}}{\varGamma (3q)}(s-2\tau )^{3q-1} {\mathbf{1}} \biggr)\,ds \\ =&\frac{1}{\varGamma ( 1-q )}\frac{d}{dt} \int _{0}^{ t} ( t-s ) ^{-q} \frac{s^{q-1}}{\varGamma (q)}\,ds{\mathbf{1}} \\ &{}+ \frac{B}{\varGamma (2q)\varGamma ( 1-q )}\frac{d}{dt} \int _{\tau }^{t} ( t-s ) ^{-q}(s-\tau )^{2q-1}{\mathbf{1}}\,ds \\ &{} +\frac{B^{2}}{\varGamma (3q)\varGamma ( 1-q )} \frac{d}{dt} \int _{2\tau }^{t} ( t-s ) ^{-q}(s-2 \tau )^{3q-1}{\mathbf{1}}\,ds \\ =&\frac{B}{\varGamma (q)}(t-\tau )^{q-1}{\mathbf{1}}+ \frac{B^{2}}{\varGamma (2q)}(t-2 \tau )^{2q-1}{\mathbf{1}}. \end{aligned}$$
(22)

Therefore, \(X(t)\), defined by (19), satisfies (19) for \(t\in (2\tau ,3\tau ]\).

Continue this process and the claim is established. □

Remark 4

In the scalar case \(n=1\) the system of RL delay fractional equations (10) is reduced to a scalar linear delay RL fractional equation, the vector 1 is reduced to the constant 1, and formula (13) coincides with equation (7) [2].

3.2 Non-homogeneous linear RL fractional differential equation

Consider non-homogeneous scalar linear Riemann–Liouville fractional differential equations with constant delay (NFrDE):

$$ {}_{0}^{\mathrm{RL}}D_{t}^{q}X(t)= BX(t-\tau )+F(t) \quad \mbox{for } t\in (0,T], $$
(23)

with the zero initial condition (11) and fractional condition

$$ {}_{0}I^{1-q}_{t}X(t)|_{t=0}=0,$$
(24)

where \(F\in C(\mathbb{R}_{+},\mathbb{R}^{n})\), \(F=(F_{1},F_{2},\ldots ,F_{n})^{T}\), \(\tau >0\) is a real constant, and \(B\in M_{n\times n}\).

Using a direct proof, we will obtain an explicit formula for the solution of IVP (23), (11), (24).

Theorem 2

The solution of IVP (23), (11), (24) is given by

$$\begin{aligned}& X(t)=\sum_{i=0}^{n} \frac{B^{i}}{\varGamma ((i+1)q)} \int _{i\tau }^{t}(t-s)^{(i+1)q-1}F(s-i \tau ) \,ds, \\& \quad t\in \bigl(n\tau ,(n+1)\tau \bigr], n=0,1,\ldots ,N. \end{aligned}$$
(25)

Proof

Let \(t\in (0,\tau ]\). Use the variation of constants method and we will search for solutions in the form

$$ X(t)= \int _{0}^{t} \frac{(t-s)^{q-1}}{\varGamma (q)}K(s) \,ds,$$
(26)

where \(K\in C([0,\tau ],\mathbb{R}^{n})\), \(K=(K_{1},K_{2},\ldots ,K_{n})^{T}\) is the unknown function to be obtained. According to the initial condition (11), we have \(X(t-\tau )=0\) for \(t\in [0,\tau ]\) and

$$ {}_{0}^{\mathrm{RL}}D_{t}^{q}X_{i}(t)=F_{i}(t)\quad \mbox{for } t \in (0,\tau ], i=1,2,\ldots ,n. $$
(27)

Then, applying \(\int _{\xi }^{t} (t-s)^{-q} (s-\xi )^{q-1}\,ds=\varGamma (1-q) \varGamma (q)\), we obtain for \(t\in (0,\tau ]\) that

$$ \begin{aligned}[b] {}_{0}^{\mathrm{RL}}D_{t}^{q}X_{i}(t)&= \frac{1}{\varGamma (1-q)} \frac{d}{dt} \int _{0}^{t}(t-s)^{-q} \int _{0}^{s} \frac{(s-\xi )^{q-1}}{\varGamma (q)}K_{i}( \xi ) \,d\xi \,ds \\ &= \frac{1}{\varGamma (1-q)}\frac{d}{dt} \int _{0}^{t} \int _{\xi }^{t} (t-s)^{-q} \frac{(s-\xi )^{q-1}}{\varGamma (q)}K(\xi ) \,ds \,d\xi \\ &= \frac{d}{dt} \int _{0}^{t}K_{i}(\xi ) \biggl( \frac{1}{\varGamma (1-q)} \int _{\xi }^{t} (t-s)^{-q} \frac{(s-\xi )^{q-1}}{\varGamma (q)}\,ds \biggr)\,d\xi \\ &= \frac{d}{dt} \int _{0}^{t} K_{i}(\xi ) \,d\xi =K_{i}(t). \end{aligned} $$
(28)

From (27) and (28) we get \(K_{i}(t)\equiv F_{i}(t)\), \(i=1,2,\ldots ,n\), i.e., the solution \(X(t)\) of IVP (23), (11), (24) for \(t\in (0,\tau ]\) is given by

$$ X(t)= \int _{0}^{t} \frac{(t-s)^{q-1}}{\varGamma (q)}F(s) \,ds,\quad t\in (0, \tau ].$$
(29)

Note that it is easy to check the validity of condition (24) for the solution \(X(t)\) defined by (29).

Let \(t\in (\tau , 2\tau ]\). Use the variation of constants method and we will search for solutions in the form

$$ X(t)= \int _{0}^{t} \frac{(t-s)^{q-1}}{\varGamma (q)}F(s)\,ds+ \frac{B}{\varGamma (2q)} \int _{\tau }^{t}(t-s)^{2q-1}K(s) \,ds\quad \mbox{for } t\in (\tau ,2\tau ],$$
(30)

where \(K\in C([\tau ,2\tau ],\mathbb{R}^{n})\), \(K=(K_{1},K_{2},\ldots ,K_{n})^{T}\) is the unknown function to be obtained.

Then, according to (23), (2), and \(X(t-\tau )=\int _{0}^{t-\tau } \frac{(t-\tau -s)^{q-1}}{\varGamma (q)}F(s) \,ds\), for \(t\in (2\tau ,3\tau ]\), we have

$$ \begin{aligned}[b] {}_{0}^{\mathrm{RL}}D_{t}^{q}X(t)&=B \int _{0}^{t-\tau } \frac{(t-\tau -s)^{q-1}}{\varGamma (q)}F(s) \,ds+F(t) \\ &=B \int _{\tau }^{t} \frac{(t-s)^{q-1}}{\varGamma (q)}F(s-\tau ) \,ds+F(t)\quad \mbox{for } t\in (\tau ,2\tau ]. \end{aligned} $$
(31)

Also, applying \(-q\varGamma (-q)=\varGamma (1-q)\), equality \(_{0}I_{t-\xi }^{1-(q+1)}(t-\xi )^{2q-1}= \frac{\varGamma (2q)}{\varGamma (q)}(t-\xi )^{q-1}\) (see Proposition 1), (21) with \(a=\xi \), \(k=2\), and

$$ \begin{aligned}[b] &\frac{d}{dt} \int _{\tau }^{t}K(\xi ) \biggl( \int _{\xi }^{t } (t -s)^{-q}(s-\xi )^{2q-1} \,ds \biggr)\,d\xi \\ &\quad = \int _{\tau }^{t}K(\xi ) \frac{d}{dt} \biggl( \int _{\xi }^{t} (t -s)^{-q}(s-\xi )^{2q-1} \,ds \biggr)\,d\xi \\ &\quad = \frac{\varGamma (1-q)\varGamma (2q)}{\varGamma (q)} \int _{\tau }^{t}K(\xi ) (t- \xi )^{q-1} \,d\xi , \end{aligned} $$
(32)

from (2) and (30) we obtain for \(t\in (\tau , 2\tau ]\) that

$$\begin{aligned} {}_{0}^{\mathrm{RL}}D_{t}^{q}X(t) =& \frac{1}{\varGamma (1-q)} \frac{d}{dt} \biggl( \int _{0}^{\tau }(t-s)^{-q}X(s)\,ds+ \int _{\tau }^{t}(t-s)^{-q}X(s)\,ds \biggr) \\ =& \frac{1}{\varGamma (1-q)}\frac{d}{dt} \biggl( \int _{0}^{\tau }(t-s)^{-q} \int _{0}^{s} \frac{(s-\xi )^{q-1}}{\varGamma (q)}F(\xi )\,d\xi \,ds \\ &{} + \int _{\tau }^{t}(t-s)^{-q} \int _{0}^{s} \frac{(s-\xi )^{q-1}}{\varGamma (q)}F(\xi )\,d\xi \,ds \\ &{}+ \int _{\tau }^{t}(t-s)^{-q} \frac{B}{\varGamma (2q)} \int _{\tau }^{s}(s -\xi )^{2q-1}K(\xi ) \,d\xi \,ds \biggr) \\ =& \frac{1}{\varGamma (1-q)}\frac{d}{dt} \biggl( \int _{0}^{t}(t-s)^{-q} \int _{0}^{s} \frac{(s-\xi )^{q-1}}{\varGamma (q)}F(\xi )\,d\xi \,ds \\ &{} +\frac{B}{\varGamma (2q)} \int _{\tau }^{t} K(\xi ) \int _{\xi }^{t} (t-s)^{-q}(s- \xi )^{2q-1} \,ds \,d\xi \biggr) \\ =& F(t)+\frac{B}{\varGamma (2q)\varGamma (1-q)}\frac{d}{dt} \int _{\tau }^{t}K( \xi ) \biggl( \int _{\xi }^{t} (t -s)^{-q}(s-\xi )^{2q-1} \,ds \biggr)\,d\xi \\ =& F(t)+B \int _{\tau }^{t}K(\xi )\frac{(t-\xi )^{q-1}}{\varGamma (q)}\,d\xi . \end{aligned}$$
(33)

From (31) and (33) we get \(K(s)=F(s-\tau )\), \(s\in [\tau ,t]\), and

$$ X(t)= \int _{0}^{t} \frac{(t-s)^{q-1}}{\varGamma (q)}F(s)\,ds+ \frac{B}{\varGamma (2q)} \int _{\tau }^{t}(t-s)^{2q-1}F(s-\tau ) \,ds\quad \mbox{for } t\in (\tau ,2\tau ] .$$
(34)

Let \(t\in (2\tau , 3\tau ]\). Use the variation of constants method and we will search for solutions in the form

$$ \begin{aligned}[b] X(t)&= \int _{0}^{t} \frac{(t-s)^{q-1}}{\varGamma (q)}f(s)\,ds+ \frac{B}{\varGamma (2q)} \int _{\tau }^{t}(t-s)^{2q-1}F(s-\tau ) \,ds \\ &\quad {} +\frac{B^{2}}{\varGamma (3q)} \int _{2\tau }^{t}(t-s)^{3q-1}K(s) \,ds\quad \mbox{for } t\in (2\tau ,3\tau ], \end{aligned} $$
(35)

where \(K\in C([2\tau ,3\tau ],\mathbb{R}^{n})\), \(K=(K_{1},K_{2},\ldots ,K_{n})^{T}\) is the unknown function to be obtained.

Then, according to (23), (2), and (34), we have for \(t\in (2\tau , 3\tau ]\) that

$$ \begin{aligned}[b] {}_{0}^{\mathrm{RL}}D_{t}^{q}x(t)&=B \int _{0}^{t-\tau } \frac{(t-\tau -s)^{q-1}}{\varGamma (q)}F(s)\,ds \\ &\quad {} +\frac{B^{2}}{\varGamma (2q)} \int _{\tau }^{t-\tau }(t-\tau -s)^{2q-1}F(s- \tau ) \,ds +F(t) \\ &=B \int _{\tau }^{t} \frac{(t -s)^{q-1}}{\varGamma (q)}F(s-\tau )\,ds+ \frac{B^{2}}{\varGamma (2q)} \int _{2\tau }^{t}(t-s)^{2q-1}F(s-2\tau ) \,ds +F(t). \end{aligned} $$
(36)

Similar to (33) we obtain

$$ \begin{aligned}[b] {}_{0}^{\mathrm{RL}}D_{t}^{q}X(t)&= \frac{1}{\varGamma (1-q)} \frac{d}{dt} \biggl( \int _{0}^{t}(t-s)^{-q} \int _{0}^{s} \frac{(s-\xi )^{q-1}}{\varGamma (q)}F(\xi )\,d\xi \,ds \\ &\quad {}+\frac{B}{\varGamma (2q)} \int _{\tau }^{t}(t-s)^{-q} \int _{\tau }^{s}(s -\xi )^{2q-1}F( \xi -\tau ) \,d\xi \,ds \\ &\quad {}+\frac{B^{2}}{\varGamma (3q)} \int _{2\tau }^{t} (t-s)^{-q} \int _{2\tau }^{s}(s- \xi )^{3q-1}K(\xi ) \,d\xi \,ds \biggr) \\ &= F(t)+B \int _{\tau }^{t} \frac{(t-\xi )^{q-1}}{\varGamma (q)}F(\xi -\tau )\,d\xi \\ &\quad {}+\frac{B^{2}}{\varGamma (3q)\varGamma (1-q)} \int _{2\tau }^{t}K(\xi ) \frac{d}{dt} \biggl( \int _{\xi }^{t } (t-s)^{-q}(s-\xi )^{3q-1} \,ds \biggr)\,d\xi \\ &= F(t)+B \int _{\tau }^{t} \frac{(t-\xi )^{q-1}}{\varGamma (q)}F(\xi -\tau )\,d\xi +B \int _{2\tau }^{t}K(\xi )\frac{(t-\xi )^{2q-1}}{\varGamma (2q)}\,d\xi , \end{aligned} $$
(37)

i.e., from (36) and (37) we get \(K(s)=F(s-2\tau )\), \(s\in [2\tau ,t]\), and

$$ \begin{aligned}[b] X(t)&= \int _{0}^{t} \frac{(t-s)^{q-1}}{\varGamma (q)}F(s)\,ds+ \frac{B}{\varGamma (2q)} \int _{\tau }^{t}(t-s)^{2q-1}F(s-\tau ) \,ds \\ &\quad {} +\frac{B^{2}}{\varGamma (3q)} \int _{2\tau }^{t}(t-s)^{3q-1}F(s-2\tau ) \,ds\quad \mbox{for } t\in (2\tau ,3\tau ] . \end{aligned} $$
(38)

Continue this process and the claim is established. □

Remark 5

Note that the formula for the solution in the homogeneous case does not follow from the one in the non-homogeneous case because of fractional conditions (12), respectively, (24).

Remark 6

The explicit formula (25) of solution in Theorem 2 is a generalization of formula (20) [2] for the scalar case \(n=1\).

4 Explicit formula for the solutions of scalar linear RL fractional equations with delays and non-zero initial values

Consider the linear non-homogeneous RL fractional differential equation (23) with nonzero initial value:

$$ \begin{aligned} &X(t)=G(t) \quad \mbox{for } t\in [-\tau ,0], \\ & _{0}I^{1-q}_{t}X(t)|_{t=0}:= \lim_{t\to 0+}{}_{0}I^{1-q}_{t}X(t) = \lim_{t\to 0+} \frac{1}{\varGamma (1-q)} \int _{0}^{t} \frac{X(s)}{( t-s) ^{q}}\,ds=G(0), \end{aligned} $$
(39)

where \(G\in C([-\tau ,0],\mathbb{R}^{n})\), \(\max_{i=1,2,\ldots ,n}|G_{i}(0)|<\infty \).

Remark 7

Note that the function \(G(t)=t^{q-1}{\mathbf{1}}\) is not applicable in this case as an initial function.

Theorem 3

The solution of IVP (23), (39) is given by

$$ X(t)= \textstyle\begin{cases} G(t), \quad t\in [-\tau ,0], \\ \sum_{k=0}^{n}\frac{B^{k} G(0)}{\varGamma ((k+1)q)}(t-k\tau )^{(k+1)q-1} \\ \quad {} +\sum_{k=0}^{n}\frac{B^{k}}{\varGamma ((k+1)q)}\int _{k\tau }^{t}(t-s)^{(k+1)q-1}F(s-k \tau )\,ds \\ \quad {}+\sum_{k=0}^{n-1}\frac{B^{k+1}}{\varGamma ((k+1)q)}\int _{k\tau }^{(k+1) \tau }(t-s)^{(k+1)q-1}G(s-(k+1)\tau )\,ds \\ \quad {} +\frac{B^{n}}{\varGamma ((n+1)q)}\int _{n\tau }^{t}(t-s)^{(n+1)q-1}G(s-(n+1) \tau )\,ds, \\ \quad t\in (n\tau ,(n+1)\tau ], n=3,4,\ldots ,N. \end{cases} $$

Proof

Define the function \(P\in C([0,T],\mathbb{R}^{n})\), \(P=(P_{1},P_{2},\ldots ,P_{n})\), by

$$ P(t)= \textstyle\begin{cases} BG(t-\tau )+F(t), \quad t\in [0,\tau ], \\ \frac{ (t-\tau )^{q-1}}{\varGamma (q)}BG(0)+ \frac{B}{\varGamma (q)}\int _{\tau }^{t}(t -s)^{q-1} (BG(s-2\tau )+F(s-\tau ) )\,ds+F(t), \quad t \in (\tau ,2\tau ], \\ \frac{ (t-\tau )^{q-1}}{\varGamma (q)}BG(0)+ \frac{(t-2\tau )^{2q-1} }{\varGamma (2q)}B^{2}G(0) +\frac{B}{\varGamma (q)} \int _{\tau }^{t}(t-s)^{q-1}F(s-\tau )\,ds \\ \quad {} +\frac{B^{2}}{\varGamma (q)}\int _{\tau }^{2\tau }(t-s)^{q-1}G(s-2 \tau )\,ds \\ \quad {} +\frac{B^{2}}{\varGamma (2q)}\int _{2\tau }^{t} (BG(s-3\tau )+ F(s-2\tau ) ) (t-s)^{2q-1} \,ds+F(t), \quad t\in (2\tau ,3\tau ], \\ \ldots, \\ \sum_{k=1}^{n+1}\frac{B^{k} G(0)}{\varGamma (kq)}(t-k\tau )^{kq-1} + \sum_{k=1}^{n}\frac{B^{k}}{\varGamma (kq)}\int _{k\tau }^{t}(t-s)^{kq-1}F(s-k \tau )\,ds \\ \quad {}+\sum_{k=1}^{n-1}\frac{B^{k+1}}{\varGamma (kq)}\int _{k\tau }^{(k+1)\tau }(t-s)^{kq-1}G(s-k \tau )\,ds \\ \quad {} +\frac{B^{n+1}}{\varGamma (nq)}\int _{n\tau }^{t-\tau }(t -s)^{nq-1}G(s-n \tau )\,ds+F(t), \\ \quad t\in (n\tau ,(n+1)\tau ], n=0,1,2, \ldots ,N. \end{cases} $$

Let \(t\in (0,\tau ]\). Then, from system (23) and initial condition (39), we have

$$ \begin{aligned} &{}_{0}^{\mathrm{RL}}D_{t}^{q}X(t)=B G(t-\tau )+F(t)\quad \mbox{for } t\in (0,\tau ], \\ &{}_{0}I^{1-q}_{t}X(t)|_{t=0}=G(0). \end{aligned} $$
(40)

Therefore, we have

$$ \begin{aligned} &{}_{0}^{\mathrm{RL}}D_{t}^{q}X_{i}(t)=P_{i}(t)\quad \mbox{for } t \in (0,\tau ], \\ &{}_{0}I^{1-q}_{t}X_{i}(t)|_{t=0}=G_{i}(0),\quad i=1,2,\ldots ,n. \end{aligned} $$
(41)

According to Proposition 3 with \(\lambda =0\) and the equality \(E_{q,q}(0)=\frac{1}{\varGamma (q)}\), the solution of (41) on \((0,\tau ]\) is

$$ \begin{aligned}[b] X_{i}(t)&= \frac{G_{i}(0)}{\varGamma (q)}t^{q-1}+ \frac{1}{\varGamma (q)} \int _{0}^{t}(t-s)^{q-1}P_{i}(s)\,ds \\ &=\frac{G_{i}(0)}{\varGamma (q)}t^{q-1}+ \frac{\sum_{j=1}^{n} b_{ij}}{\varGamma (q)} \int _{0}^{t}(t-s)^{q-1} G_{j}(s- \tau )\,ds+\frac{1}{\varGamma (q)} \int _{0}^{t}(t-s)^{q-1}F_{i}(s)\,ds. \end{aligned} $$
(42)

Therefore, the solution of IVP (23), (39) on \((0,\tau ]\) is given by

$$ X(t)=\frac{G(0)}{\varGamma (q)}t^{q-1}+ \frac{1}{\varGamma (q)} \int _{0}^{t}(t-s)^{q-1} \bigl(BG(s- \tau )+F(s) \bigr)\,ds,\quad t\in (0,\tau ]. $$
(43)

Let \(t\in (\tau ,2\tau ]\). Then from (23), (39), and (42) we have the system

$$ {}_{0}^{\mathrm{RL}}D_{t}^{q}X_{i}(t)=P_{i}(t),\quad t\in (\tau ,2\tau ], i=1,2, \ldots ,n.$$
(44)

According to Proposition 3 with \(\lambda =0\), the equality \(E_{q,q}(0)=\frac{1}{\varGamma (q)}\), and \(\int _{\xi }^{t}(t-s)^{q-1}(s-\xi )^{q-1} \,ds= \frac{\varGamma ^{2}(q)}{\varGamma (2q)}(t-\xi )^{2q-1}\), the solution of (44) on \((\tau ,2\tau ]\) is

$$\begin{aligned} X_{i}(t) =& \frac{G_{i}(0)}{\varGamma (q)}t^{q-1}+ \frac{1}{\varGamma (q)} \int _{0}^{\tau }(t-s)^{q-1}P_{i}(s)\,ds+ \frac{1}{\varGamma (q)} \int _{\tau }^{t}(t-s)^{q-1}P_{i}(s)\,ds \\ =&\frac{G_{i}(0)}{\varGamma (q)}t^{q-1}+\frac{1}{\varGamma (q)} \int _{0}^{t}(t-s)^{q-1}F_{i}(s)\,ds +\frac{1}{\varGamma (q)} \int _{0}^{\tau }(t-s)^{q-1}\sum _{j=1}^{n}b_{ij}G_{j}(s- \tau )\,ds \\ &{} +\frac{1}{\varGamma (q)} \int _{\tau }^{t}(t-s)^{q-1} \frac{ \sum_{j=1}^{n}b_{ij}G_{j}(0)}{\varGamma (q)}(s-\tau )^{q-1}\,ds \\ &{} +\frac{1}{\varGamma (q)} \int _{\tau }^{t}(t-s)^{q-1}\sum _{j=1}^{n}b_{ij} \frac{\sum_{k=1}^{n}b_{jk}}{\varGamma (q)} \int _{\tau }^{s}(s -\xi )^{q-1} G_{k}( \xi -2\tau )\,d\xi \,ds \\ &{} +\frac{1}{\varGamma (q)} \int _{\tau }^{t}(t-s)^{q-1} \frac{ \sum_{j=1}^{n}b_{ij}}{\varGamma (q)} \int _{\tau }^{s}(s-\xi )^{q-1}F_{j}( \xi -\tau )\,d\xi \,ds \\ =&\frac{G_{i}(0)}{\varGamma (q)}t^{q-1}+\frac{1}{\varGamma (q)} \int _{0}^{t}(t-s)^{q-1}F_{i}(s)\,ds+ \frac{1}{\varGamma (q)} \int _{0}^{\tau }(t-s)^{q-1}\sum _{j=1}^{n}b_{ij}G_{j}(s- \tau )\,ds \\ &{} +\frac{ \sum_{j=1}^{n}b_{ij}G_{j}(0)}{\varGamma ^{2}(q)} \int _{\tau }^{t}(t-s)^{q-1} (s-\tau )^{q-1}\,ds \\ &{} +\frac{1}{\varGamma ^{2}(q)} \int _{\tau }^{t} \Biggl(\sum _{j=1}^{n}b_{ij} \sum _{k=1}^{n}b_{jk}G_{k}( \xi -2\tau )\Biggr) \int _{\xi }^{t}(t-s)^{q-1}(s - \xi )^{q-1}\,ds \,d\xi \\ &{} +\frac{ 1}{\varGamma ^{2}(q)} \int _{\tau }^{t}\Biggl(\sum _{j=1}^{n}b_{ij} F_{j}( \xi -\tau )\Biggr) \int _{\xi }^{t}(t-s)^{q-1}(s-\xi )^{q-1}\,ds \,d\xi \\ =&\frac{G_{i}(0)}{\varGamma (q)}t^{q-1}+\frac{1}{\varGamma (q)} \int _{0}^{t}(t-s)^{q-1}F_{i}(s)\,ds+ \frac{1}{\varGamma (q)} \int _{0}^{\tau }(t-s)^{q-1}\sum _{j=1}^{n}b_{ij}G_{j}(s- \tau )\,ds \\ &{} +\frac{1}{\varGamma (2q)} \sum_{j=1}^{n}b_{ij}G_{j}(0) (t-\tau )^{2q-1} \\ &{} +\frac{1}{\varGamma (2q)} \int _{\tau }^{t} \Biggl(\sum _{j=1}^{n}b_{ij} \sum _{k=1}^{n}b_{jk} G_{k}( \xi -2\tau )+\sum_{j=1}^{n}b_{ij}F_{j}( \xi -\tau ) \Biggr) (t-\xi )^{2q-1}\,d\xi . \end{aligned}$$
(45)

Therefore, from equation (45), \(i=1,2,\ldots ,n\), the solution of system (23) on \((\tau , 2 \tau ]\) is

$$ \begin{aligned}[b] X(t)&=\frac{G(0)}{\varGamma (q)}t^{q-1}+ \frac{ BG(0)}{\varGamma (2q)}(t-\tau )^{2q-1} \\ &\quad {} +\frac{1}{\varGamma (q)} \int _{0}^{t}(t-s)^{q-1}F(s)\,ds+ \frac{B}{\varGamma (2q)} \int _{\tau }^{t} (t-s)^{2q-1} F(s-\tau ) \,ds \\ &\quad {} +\frac{B}{\varGamma (q)} \int _{0}^{\tau }(t-s)^{q-1}G(s-\tau )\,ds+ \frac{B^{2}}{\varGamma (2q)} \int _{\tau }^{t} (t-s)^{2q-1}G(s-2\tau ) \,ds, \\ &\quad t\in (\tau , 2 \tau ]. \end{aligned} $$
(46)

Continue this process and the claim is established. □

Special case: In the homogeneous case when \(F(t)\equiv 0\), the solution of IVP (10), (39) is given by

$$ X(t)= \textstyle\begin{cases} G(t), \quad t\in [-\tau ,0], \\ \sum_{k=0}^{n}\frac{B^{k} G(0)}{\varGamma ((k+1)q)}(t-k\tau )^{(k+1)q-1} \\ \quad {}+\sum_{k=0}^{n-1}\frac{B^{k+1}}{\varGamma ((k+1)q)}\int _{k\tau }^{(k+1) \tau }(t-s)^{(k+1)q-1}G(s-(k+1)\tau )\,ds \\ \quad {} +\frac{B^{n}}{\varGamma ((n+1)q)}\int _{n\tau }^{t}(t-s)^{(n+1)q-1}G(s-(n+1) \tau )\,ds, \\ \quad t\in (n\tau ,(n+1) \tau ], n=0,1,2,\ldots ,N. \end{cases} $$

5 Explicit formula for the solutions of the general scalar linear RL fractional equations with delays and non-zero initial values

5.1 Zero initial function

Consider the system of non-homogeneous linear Riemann–Liouville fractional differential equations with constant delay:

$$ {}_{0}^{\mathrm{RL}}D_{t}^{q}X(t)= AX(t)+ BX(t-\tau )+F(t)\quad \mbox{for } t\in (0,T], $$
(47)

with the initial conditions

$$\begin{aligned}& X(t)=0, \quad t\in [-\tau ,0], \end{aligned}$$
(48)
$$\begin{aligned}& {}_{0}I^{1-q}_{t}X(t)|_{t=0}=C, \end{aligned}$$
(49)

where \(X\in \mathbb{R}^{n}\), \(F\in C(\mathbb{R}_{+},\mathbb{R}^{n})\), \(A, B\in M_{n\times n}(\mathbb{R})\), \(\tau >0\) is a real constant, \(C\in \mathbb{R}^{n}\).

Theorem 4

The solution of IVP (47), (48), (49) is given by

$$ X(t)= \textstyle\begin{cases} 0 \quad \textit{for } t\in (-\tau ,0], \\ e_{q}^{At}C+\int _{0}^{t}e_{q}^{A(t-s)}F(s)\,ds, \quad \textit{for } t\in (0,\tau ], \\ e_{q}^{At}C+\int _{0}^{t} e_{q}^{A(t-s)}F(s)\,ds \\ \quad {} +\sum_{k=1}^{n} \int _{k\tau }^{t} e_{q}^{A(t -s_{1})} B \int _{k \tau }^{s_{1}} e_{q}^{A(s_{1} -s_{2})} B\int _{k\tau }^{s_{2}} e_{q}^{A(s_{2} -s_{3})} B \\ \quad {}\times \cdots\times \int _{k\tau }^{s_{k}} e_{q}^{A(s_{k-1} -s_{k})} B (e_{q}^{A(s_{k}-k\tau )}C \\ \quad {} + \int _{k\tau }^{s_{k-1} }e_{q}^{A(s_{k} -\xi )}F( \xi -k\tau )\,d\xi )\,ds_{k}\,ds_{k-1}\cdots \,ds_{3}\,ds_{2} \,ds_{1} \\ \quad \textit{for } t\in (n\tau ,(n+1)\tau ], n=1,2, \ldots ,N. \end{cases} $$

Proof

Define the function \(P\in C([0,T],\mathbb{R}^{n})\), \(P=(P_{1},P_{2},\ldots ,P_{n})\), by

$$ P(t)= \textstyle\begin{cases} F(t),\quad t\in [0,\tau ], \\ B e_{q}^{A(t-\tau )}C+B\int _{\tau }^{t}e_{q}^{A(t -s)}F(s-\tau )\,ds +F(t), \quad t\in (\tau ,2\tau ], \\ Be_{q}^{A(t-\tau )}C+\int _{\tau }^{t} Be_{q}^{A(t-s)}F(s-\tau )\,ds \\ \quad {} +\int _{2\tau }^{t } Be_{q}^{A(t -s)}B e_{q}^{A(s-2\tau )}C\,ds \\ \quad {} +\int _{2\tau }^{t} \int _{2\tau }^{s} Be_{q} ^{A(t-s)}Be_{q}^{A(s- \xi )}F(\xi -2\tau )\,d\xi \,ds +F(t),\quad t\in (2\tau ,3\tau ], \\ \ldots, \\ Be_{q}^{A(t-\tau )}C+\int _{0}^{t} e_{q}^{A(t-\tau -s)}F(s)\,ds \\ \quad {} +\sum_{k=1}^{n} \int _{k\tau }^{t-\tau } e_{q}^{A(t-\tau -s_{1})} B \int _{k\tau }^{s_{1}} e_{q}^{A(s_{1} -s_{2})} B\int _{k\tau }^{s_{2}} e_{q}^{A(s_{2} -s_{3})} B \\ \quad {} \times \cdots \times\int _{k\tau }^{s_{k}} e_{q}^{A(s_{k-1} -s_{k})} B (e_{q}^{A(s_{k}-k\tau )}C \\ \quad {} + \int _{k\tau }^{s_{k-1} }e_{q}^{A(s_{k} -\xi )}F( \xi -k\tau )\,d\xi )\,ds_{k}\,ds_{k-1}\cdots \,ds_{3}\,ds_{2} \,ds_{1}+F(t), \\ \quad t\in (n\tau ,(n+1)\tau ], n=3,4, \ldots ,N. \end{cases} $$

Let \(t\in (0,\tau ]\). Then from equation (47) we have for \(t\in (0,\tau ]\) the equation

$$ {}_{0}^{\mathrm{RL}}D_{t}^{q}X(t)=AX(t)+P(t), $$
(50)

with initial condition (49).

According to Proposition 4, the solution of (50), (49) is

$$ X(t)=e_{q}^{At}C+ \int _{0}^{t}e_{q}^{A(t-s)}F(s)\,ds,\quad t\in (0, \tau ]. $$
(51)

Let \(t\in (\tau ,2\tau ]\). Then from (47), (48), (49), and (51) we have that system (50) is satisfied on \((\tau ,2\tau ]\), and therefore, the solution of (50), (49) according to Proposition 4 is

$$\begin{aligned} X(t) =&e_{q}^{At}C+ \int _{0}^{t}e_{q}^{A(t-s)}P(s)\,ds \\ =&e_{q}^{At}C+ \int _{0}^{\tau }e_{q}^{A(t-s)}P(s)\,ds+ \int _{\tau }^{t}e_{q}^{A(t-s)}P(s)\,ds \\ =&e_{q}^{At}C+ \int _{0}^{t} e_{q}^{A(t-s)}F(s)\,ds \\ &{} + \int _{\tau }^{t} e_{q}^{A(t-s)}B \biggl(e_{q}^{A(s-\tau )}C + \int _{\tau }^{s} e_{q}^{A(s -\xi )}F( \xi -\tau )\,d\xi \biggr) \,ds. \end{aligned}$$
(52)

Let \(t\in (2\tau ,3\tau ]\). Then from (47), (48), (49), and (52) we have that system (50) is satisfied on \((2\tau ,3\tau ]\), and therefore, the solution of (50), (49) according to Proposition 4 is

$$ \begin{aligned}[b] X(t)&=e_{q}^{At}C+ \int _{0}^{\tau }e_{q}^{A(t-s)}P(s)\,ds+ \int _{\tau }^{2\tau }e_{q}^{A(t-s)}P(s)\,ds+ \int _{2\tau }^{t}e_{q}^{A(t-s)}P(s)\,ds \\ &=e_{q}^{At}C+ \int _{0}^{t} e_{q}^{A(t-s)}F(s)\,ds \\ &\quad {} + \int _{\tau }^{2\tau } e_{q}^{A(t-s)}B e_{q}^{A(s-\tau )}C\,ds+ \int _{\tau }^{2\tau } \int _{\tau }^{s} e_{q} ^{A(t-s)}Be_{q}^{A(s -\xi )}F(\xi - \tau )\,d\xi \,ds \\ &\quad {}+ \int _{2\tau }^{t}e_{q}^{A(t-s)}Be_{q}^{A(s-\tau )}C\,ds+ \int _{2\tau }^{t} \int _{\tau }^{s} e_{q}^{A(t-s)}Be_{q}^{A(s-\sigma )}F( \sigma -\tau )\,d\sigma \,ds \\ &\quad {} + \int _{2\tau }^{t} \int _{2\tau }^{s } e_{q}^{A(t-s)} Be_{q}^{A(s -\sigma )}B e_{q}^{A(\sigma -2\tau )}Cd\sigma \,ds \\ &\quad {} + \int _{2\tau }^{t} \int _{2\tau }^{s} \int _{2\tau }^{\sigma } e_{q}^{A(t-s)}Be_{q} ^{A(s-\sigma )}Be_{q}^{A(\sigma -\xi )}F(\xi -2\tau )\,d\xi \,d\sigma \,ds \\ &=e_{q}^{At}C+ \int _{0}^{t} e_{q}^{A(t-s)}F(s)\,ds \\ &\quad {} + \int _{\tau }^{t} e_{q}^{A(t-s)}B \biggl(e_{q}^{A(s-\tau )}C+ \int _{\tau }^{s} e_{q}^{A(s -\xi )}F( \xi -\tau )\,d\xi \biggr)\,ds \\ &\quad {} + \int _{2\tau }^{t} \int _{2\tau }^{s } e_{q}^{A(t-s)} Be_{q}^{A(s -\sigma )}B \biggl( e_{q}^{A(\sigma -2\tau )}C+ \int _{2\tau }^{\sigma }e_{q}^{A(\sigma - \xi )}F( \xi -2\tau )\,d\xi \biggr) \,d\sigma \,ds. \end{aligned} $$
(53)

Continue this process. □

Remark 8

In the case \(\tau =0\) (no delay), \(B=0\), and \(F\equiv 0\), the system of RL fractional differential equations (47) is reduced to the one studied in [25] with initial condition (49), and the formula obtained in Theorem 4 reduces to the formula obtained in Theorem 3.2 [25].

Remark 9

In the case \(\tau =0\) (no delay), \(B=0\), the system of RL fractional differential equations (47) is reduced to the studied system (34) in [4] with initial condition (49), and the formula obtained in Theorem 4 reduces to the formula obtained in Theorem 3 [4].

Special case: In the homogeneous case when \(F(t)\equiv 0\), the solution of IVP (47), (48), (49) is given by

$$ X(t)= \textstyle\begin{cases} 0 \quad \mbox{for } t\in (-\tau ,0], \\ e_{q}^{At}C, \quad \mbox{for } t\in (0,\tau ], \\ e_{q}^{At}C+\sum_{k=1}^{n} \int _{k\tau }^{t} e_{q}^{A(t -s_{1})} B \int _{k\tau }^{s_{1}} e_{q}^{A(s_{1} -s_{2})} B\int _{k\tau }^{s_{2}} e_{q}^{A(s_{2} -s_{3})} B \\ \quad {} \times \cdots \times\int _{k\tau }^{s_{k-1}} e_{q}^{A(s_{k-1} -s_{k})} B e_{q}^{A(s_{k}-k\tau )}\,ds_{k}\,ds_{k-1}\cdots \,ds_{3}\,ds_{2} \,ds_{1} C \\ \quad \mbox{for } t\in (n\tau ,(n+1)\tau ], n=1,2, \ldots ,N. \end{cases} $$

5.2 Non-zero initial function

Consider non-homogeneous scalar linear Riemann–Liouville fractional differential equations with constant delay (47) with the initial conditions

$$\begin{aligned}& X(t)=G(t),\quad t\in [-\tau ,0], \end{aligned}$$
(54)
$$\begin{aligned}& {}_{0}I^{1-q}_{t}X(t)|_{t=0}=G(0), \end{aligned}$$
(55)

where \(G\in C([-\tau ,0],\mathbb{R}^{n})\).

Theorem 5

The solution of IVP (47), (54), (55) is given by

$$ X(t)= \textstyle\begin{cases} G(t) \quad \textit{for } t\in (-\tau ,0], \\ e_{q}^{At}G(0)+\int _{0}^{t}e_{q}^{A(t-s)}F(s)\,ds, \quad \textit{for } t\in (0,\tau ], \\ e_{q}^{At}G(0)+\int _{0}^{t} e_{q}^{A(t-s)}F(s)\,ds \\ \quad {} +\sum_{k=1}^{n} \int _{k\tau }^{t} e_{q}^{A(t -s_{1})} B \int _{k \tau }^{s_{1}} e_{q}^{A(s_{1} -s_{2})} B\int _{k\tau }^{s_{2}} e_{q}^{A(s_{2} -s_{3})} B \\ \quad {}\times \cdots \times\int _{k\tau }^{s_{k-1}} e_{q}^{A(s_{k-1} -s_{k})} B (e_{q}^{A(s_{k}-k\tau )}G(s_{k}-k\tau ) \\ \quad {} + \int _{k\tau }^{s_{k} }e_{q}^{A(s_{k} -\xi )}F( \xi -k\tau )\,d\xi )\,ds_{k}\,ds_{k-1}\cdots \,ds_{3}\,ds_{2} \,ds_{1} \\ \quad \textit{for } t\in (n\tau ,(n+1)\tau ], n=1,2, \ldots ,N. \end{cases} $$

Proof

The proof is similar to the one of Theorem 4, so we omit it. □

Special case: In the homogeneous case when \(F(t)\equiv 0\), the solution of IVP (47), (54), (55) is given by

$$ X(t)= \textstyle\begin{cases} G(t) \quad \mbox{for } t\in (-\tau ,0], \\ e_{q}^{At}G(0), \quad \mbox{for } t\in (0,\tau ], \\ e_{q}^{At}G(0)+\sum_{k=1}^{n} \int _{k\tau }^{t} e_{q}^{A(t -s_{1})} B \int _{k\tau }^{s_{1}} e_{q}^{A(s_{1} -s_{2})} B\int _{k\tau }^{s_{2}} e_{q}^{A(s_{2} -s_{3})} B \\ \quad {} \times \cdots\times \int _{k\tau }^{s_{k-1}} e_{q}^{A(s_{k-1} -s_{k})} B e_{q}^{A(s_{k}-k\tau )}G(s_{k}-k\tau )\,ds_{k}\,ds_{k-1}\cdots \,ds_{3}\,ds_{2} \,ds_{1} \\ \quad \mbox{for } t\in (n\tau ,(n+1)\tau ], n=1,2, \ldots ,N. \end{cases} $$

Remark 10

Note that in the case the initial time 0 is replaced with arbitrary \(t_{0}\), all the results in the paper are true with slight changes.

6 Conclusions

The formulas for the exact solutions are important tools in fractional models. Often it is quite complicated to find the exact solution for RL fractional differential equations even in the linear scalar case. In this paper we study various types of systems of linear RL fractional differential equations with constant delays. We set up an initial value problem in an appropriate way based on the physical meaning to initial conditions expressed in terms of Riemann–Liouville fractional derivatives or integrals [9]. Explicit formulas for the solutions of initial value problems with both zero and nonzero initial functions are obtained, and systems with homogeneous and non-homogeneous equations are studied. The q-matrix exponential function is successfully applied in explicit solutions [4].

The obtained formulas will be very helpful in the theoretical study of fractional models with RL fractional derivative, for linearization of multi-dimensional nonlinear models, for the monotone-iterative technique, and for systems of RL fractional differential equations with delays.