Study of composite fractional relaxation differential equation using fractional operators with and without singular kernels and special functions

Abstract

Our aim in this article is to solve the composite fractional relaxation differential equation by using different definitions of the non-integer order derivative operator $D_{t}^{\alpha }$, more specifically we employ the definitions of Caputo, Caputo–Fabrizio and Atangana–Baleanu of non-integer order derivative operators. We apply the Laplace transform method to solve the problem and express our solutions in terms of Lorenzo and Hartley’s generalised G function. Furthermore, the effects of the parameters involved in the model are graphically highlighted.

1 Introduction

In these days, fractional calculus (FC) modelling of dynamical setups is getting popular due to the ability of non-integer order derivatives (NIOD) to explain well the complex behaviour of several phenomena, for example the heredity and memory characteristics of materials and processes [1]. Moreover, NIOD models have the potential of adequate correlation with experimental data [2]. So, FC has attracted the scientists and investigators to renew their research for accurate modelling of dynamical systems in the framework of fractional calculus. For details, see [3–8]. It is pertinent to mention here that the most commonly used fractional derivative operators in dynamical model problems are Riemann–Liouville and Caputo derivative operators [9], but they have a singular kernel. In 2015 Caputo and Fabrizio [10], and later in 2016 Atangana and Baleanu [11], proposed modern definitions of NIOD operator with non-singular kernel. Interestingly, these nascent derivative operators hold all the properties of Caputo and Riemann–Liouville operators but have smooth kernels. The Caputo and Fabrizio derivative operator is suitable for both temporal and spatial variables, while the Atangana and Baleanu derivative operator, defined in terms of the Mittag-Leffler function [12], is useful in material and thermal sciences. During the past few years, the main properties of these operators have been explored and their advantages have been extensively investigated for various practical cases [13–18].

The motion of the sphere dipped in an in-compressible viscous fluid poses a classical problem, which has many practical implications in flows of geophysical and engineering interest [19, 20]. In order to linearise the Navier–Stokes equations characterising the motion of fluid, the low Reynolds number limit or slow motion assumption is considered. The problem of a sphere under the influence of gravity was first discussed independently by Boussinesq [19] in 1885 and by Basset [20] in 1888, who further introduced a special hydrodynamic force, regarding the history of the relative acceleration of the sphere, later known as Basset force. Practically, for the case when a body is immersed in a fluid, the acceleration of that body with respect to the fluid gives rise to an unsteady force that can be divided into two parts, namely the virtual mass effect and the Basset force. The Basset force deals with the viscous effects and explains the temporal-delay-in-boundary-layer-development as the relative velocity changes with time [21]. It is also acknowledged as the history term.

The fractional differential equation

$$ \frac{du}{dt} +aD_{t}^{\alpha } u (t )+u (t )=f (t ),\quad t\ge 0, $$

(1)

along with the initial conditions $u (0^{+} )=u_{0}$ is referred to as composite fractional relaxation equation (CFRE).

Here, $D_{t}^{\alpha }$ is an NOID operator of order $\alpha \in (0,1 )$. Moreover, in the equation a is a positive constant and $a= (\frac{9\rho _{f} }{2\rho _{p} +\rho _{f} } )^{ \alpha }$, where $\rho _{p}$ and $\rho _{f}$ denote the densities of particle and fluid respectively, $u (t )$ is the field variable, whereas the given function $f (t )$ is presumed to be continuous.

The composite fractional relaxation equation with $\alpha =1/2$ is called Basset problem in fluid dynamics. For $\alpha =1/4,3/4$, it is referred to as the generalised Basset problem [22, 23]. Furthermore, the well-posedness of Eq. (1) is discussed in [24].

Considering the NIOD operator in the sense of Caputo, this problem was discussed by Basset and was first solved by Boggio [25] for $\alpha =1/2$ in terms of Gauss and Fresnel integrals. Further, the solutions of the Basset problem are found in [26, 27]. Moreover, Mainardi [22] solved the problem by using the Laplace transform method and expressed the solution in terms of Mittag-Leffler functions. Later on, in 2014 Anjara and Solofoniaina [28] solved the Basset problem by Adomian’s method.

In solving non-integer order differential equations (DEs) using the Laplace transform method, the inverse Laplace transform is not trivial. In this regard we have to introduce some special functions. For example, Mittag-Leffler function, Robotnov and Hartley’s function, Lorenzo and Hartley’s generalised R function, generalised G functions etc. Such functions produce a direct solution and give important interpretations for the fundamental linear non-integer order DEs and corresponding IVPs. These functions are helpful in the solutions of the FC problems and more notably in the solution of fractional differential equations. Our aim in this article is to solve the composite fractional relaxation equation by using different definitions of NIOD operators, more specifically we employ the definitions of Caputo, Caputo–Fabrizio and Atangana–Baleanu of NIOD operators. We apply the Laplace transform method to solve the problem and express our solutions in terms of Lorenzo and Hartley’s generalised G function. Moreover, to get some understanding regarding the influence of the two parameters α and a on the generalised as well as classical Basset problem, we present some diagrams for the particle’s velocity, analogous to the solution of (1). For the sake of clarity, we assume a diminishing initial velocity condition and $f (t )=H (t )$ and $\sin (\omega t )$.

The manuscript is structured in six sections. Following this short introductory section, Sect. 2 describes some mathematical preliminaries. Section 3 discusses the solution of the problem employing various definitions of NIOD operators, while some special cases derived from the obtained results are reported in Sect. 4. Section 5 is devoted to the parametric analysis, and finally the useful conclusions are recorded in Sect. 6.

2 Mathematical preliminaries

In this section we present some basic definitions and properties of some important special functions and Caputo, CF and AB-time fractional derivative operators [29–31].

2.1 Special functions

As already mentioned in the introduction, for solving the NIOD DEs using the Laplace transform method, the inverse Laplace transform is not trivial. In this regard we have to introduce some special functions [32]. For example, Mittag-Leffler function [33], Robotnov and Hartley’s function [34] and Lorenzo and Hartley’s functions [35]. Such functions contribute a direct solution and critical insight for the fundamental linear fractional-order DEs and associated IVPs. Moreover, they are appropriate in the solutions of the problems related to FC and more importantly in the solution of NOIDEs.

In the following, we present some special functions together with their definitions, Laplace transforms and some examples.

• 1. Mittag-Leffler function. It is a significant function and has many applications in the field of FC. Analogous to the exponential function that arises in a natural way from the solutions of differential equations of integer order, the Mittag-Leffler function plays a similar role in the solution of non-integer order differential equations [36, 37]. As a matter of fact, the exponential function is a special form of it. The Mittag-Leffler function is defined as [33]

  $$ E_{\alpha } (t )=\sum_{k=0}^{\infty } \frac{t^{k} }{\Gamma (k\alpha +1 )} ;\quad \alpha >0. $$

  It is not difficult to observe that, for $\alpha =1$, we get

  $$ E_{1} (t )=\sum_{k=0}^{\infty } \frac{t^{k} }{\Gamma (k +1 )}=e^{t}. $$

  Moreover,

  $$ L \bigl\{ E_{\alpha } \bigl(-at^{\alpha } \bigr) \bigr\} =L \Biggl\{ \sum_{k=0}^{\infty } \frac{ (-a )^{k} t^{k\alpha } }{\Gamma (k\alpha +1 )} \Biggr\} = \frac{q^{\alpha } }{q (q^{\alpha } +a )} ; \quad \alpha >0. $$

• 2. Erdelyi’s function. It is the generalisation of Mittag-Leffler function and is defined as [38]

  $$ E_{\alpha ,\beta } (t )=\sum_{k=0}^{\infty } \frac{t^{k} }{\Gamma (k\alpha +\beta )} ;\quad \alpha ,\beta >0. $$

  Setting $\beta =1$, we have

  $$ E_{\alpha ,1 } (t )=\sum_{k=0}^{\infty } \frac{t^{k} }{\Gamma (k\alpha +1 )}=E_{\alpha } (t ). $$

  For $\alpha =1$ and $\beta =2$, we have

  $$ E_{1 ,2} (t )=\frac{e^{t}-1}{t}. $$

  Similarly, we have

  $$ E_{\frac{1}{2} ,1} (t )=e^{t^{2}} erfc (-t ) $$

  and

  $$ E_{2 ,2} \bigl(t^{2} \bigr)=\frac{\sinh (t )}{t}, $$

  where $erfc$ denotes the complementary error function and is defined as [32] $erfc (t )=\frac{2}{\sqrt{\pi }}\int _{t}^{\infty }e^{-u^{2}}\,du$.

  Further,

  $$ L \bigl\{ E_{\alpha ,\beta } (t ) \bigr\} =\sum_{k=0}^{ \infty } \frac{\Gamma (k+1 )}{\Gamma (k\alpha +1 )} \frac{1}{q^{k+1} } ;\quad \alpha ,\beta >0. $$

• 3. Robotnov and Hartley function. This function was introduced by Hartley and Lorenzo [34] and was studied by Robotnov for application to solid mechanics. It is defined as

  $$ F_{\alpha } (-at )=t^{\alpha -1} \sum_{k=0}^{\infty } \frac{ (-a )^{k} t^{k\alpha } }{\Gamma (k\alpha +1 )} ;\quad \alpha >0. $$

  As

  $$ E_{\alpha } \bigl(-at^{\alpha } \bigr)= \sum _{k=0}^{\infty } \frac{ (-a )^{k} t^{k\alpha } }{\Gamma (k\alpha +1 )}, \quad\quad F_{\alpha } (-at )=t^{\alpha -1}E_{\alpha } \bigl(-at^{ \alpha } \bigr), $$

  so

  $$ L \bigl\{ F_{\alpha } (-at ) \bigr\} = \frac{1}{q^{\alpha } +a} ;\quad \alpha >0. $$

• 4. Miller and Ross’ function. This function was introduced by Miller and Ross [39]. It is defined as

  $$\begin{aligned}& E_{t} (v,a )=t^{v} \sum_{k=0}^{\infty } \frac{ (at )^{k} }{\Gamma (v+k+1 )} ;\quad Re (v )>1, \\& L \bigl\{ E_{t} (v,a ) \bigr\} =\frac{q^{-v} }{q-a} ;\quad Re (v )>1. \end{aligned}$$

• 5. Generalised R-function. This function was introduced by Lorenzo and Hartley [35] and is defined as

  $$ R_{\alpha ,\beta } (a,t )=\sum_{k=0}^{\infty } \frac{a^{k} t^{ (k+1 )\alpha -\beta -1} }{\Gamma ( (k+1 )\alpha -\beta )} ;\quad Re (\alpha -\beta )>0. $$

  It is easy to see that $R_{1 ,0 } (a,t )=e^{at}$, $a R_{2 ,0 } (-a^{2},t )=\sin (at )$ and $R_{2 ,1 } (-a^{2},t )=\cos (at )$.

  For $a=1$, $\beta =\alpha -1$, we have

  $$ R_{\alpha ,\alpha -1 } (1,t )=\sum_{k=0}^{\infty } \frac{ (t^{\alpha } )^{k} }{\Gamma (k \alpha +1 )}= E_{\alpha } \bigl(t^{\alpha } \bigr). $$

  Similarly, setting $a=1$, $\beta =\alpha -\nu$ yields

  $$ R_{\alpha ,\alpha -\nu } (1,t )=t^{\nu -1}\sum_{k=0}^{ \infty } \frac{ (t^{\alpha } )^{k} }{\Gamma (k \alpha +\nu )}= t^{\nu -1}E_{\alpha , \nu } \bigl(t^{\alpha } \bigr). $$

  Moreover,

  $$ L \bigl\{ R_{\alpha ,\beta } (a,t ) \bigr\} = \frac{q^{\beta } }{q^{\alpha } -a} ;\quad Re (\alpha -\beta )>0,Re (q )>0.$$

• 6. Generalised G-function. This function was also introduced by Lorenzo and Hartley [35], it is the generalisation of the R-function. It is defined as follows:

  $$ G_{\alpha ,\beta ,\gamma } (a,t )=\sum_{k=0}^{\infty } \frac{a^{k} \Gamma (\gamma +k )}{\Gamma (\gamma )\Gamma (k+1 )} \frac{t^{ (\gamma +k )\alpha -\beta -1} }{\Gamma ( (k+1 )\alpha -\beta )} ;\quad Re (\alpha \gamma -\beta )>0. $$

  Setting $\gamma =1$, we get

  $$ G_{\alpha ,\beta ,1 } (a,t )=\sum_{k=0}^{\infty } \frac{a^{k} \Gamma (1 +k )}{\Gamma (1 )\Gamma (k+1 )} \frac{t^{ (1+k )\alpha -\beta -1} }{\Gamma ( (k+1 )\alpha -\beta )}=R_{ \alpha ,\beta } (a,t ). $$

  Also

  $$ \begin{aligned} \int _{0}^{s}G_{\alpha ,\beta ,\gamma } (a,t ) \,dt&=\sum _{k=0}^{ \infty } \frac{a^{k} \Gamma (\gamma +k )}{\Gamma (\gamma )\Gamma (k+1 )} \frac{s^{ (\gamma +k )\alpha -\beta } }{ ({}^{ (\gamma +k )\alpha -\beta } )\Gamma ( (k+1 )\alpha -\beta )} \\ &=\sum_{k=0}^{\infty } \frac{a^{k} \Gamma (\gamma +k )}{\Gamma (\gamma )\Gamma (k+1 )} \frac{s^{ (\gamma +k )\alpha -\beta } }{\Gamma ( (k+1 )\alpha -\beta +1 )} =G_{\alpha ,\beta -1,\gamma } (a,s ). \end{aligned} $$

  Moreover,

  $$ L \bigl\{ G_{\alpha ,\beta ,\gamma } (a,t ) \bigr\} = \frac{q^{\beta } }{ (q^{\alpha } -a )^{\gamma } } ;\quad Re (\alpha \gamma -\beta )>0,Re (q )>0, \biggl\vert \frac{a}{q^{\alpha } } \biggr\vert < 1. $$

Definition 2.1

Let $h\in H^{1} (a,b)$, $a< b$, $p\in \mathopen[0, 1\mathclose)$, then the Caputo fractional derivative is given by [9]

$$ {}^{C} D_{t}^{p} h (t )= \textstyle\begin{cases} \frac{1}{\Gamma (1-p )} \int _{0}^{t} \frac{h' (\tau )\,d\tau }{ (t-\tau )^{p} }, &0< p< 1, \\ \frac{dh (t )}{dt}, &p=1, \end{cases} $$

(2)

or

$$ {}^{C} D_{t}^{p} h(t) =k_{C} (p,t)*h'(t);\quad 0< p< 1, $$

where $k_{C} (p,t)=\frac{1}{\Gamma (1-p )} \frac{1}{t^{p}}$ is the kernel of the derivative, “*” denotes the convolution, and Laplace transform of ${}^{C} D_{t}^{p} h (t )$ is defined as

$$ L \bigl\{ {}^{C} D_{t}^{p} h (t ) \bigr\} =q^{p} \tilde{h}(q)-q^{p-1} f (0 ). $$

(3)

Definition 2.2

Let $h\in H^{1} (a,b)$, $a< b$, $p\in \mathopen [0, 1\mathclose )$, then the CF-fractional derivative is given by [10, 29]

$$ \begin{gathered} {}^{CF} D_{t}^{p} h (t )= \textstyle\begin{cases} \frac{1}{ (1-p )} \int _{0}^{t}h' (\tau ) \exp (-\frac{p (t-\tau )}{1-p} )\,d\tau , &0< p< 1, \\ \frac{dh (t )}{dt}, &p=1, \end{cases}\displaystyle \end{gathered} $$

(4)

or

$$ {}^{CF} D_{t}^{p} \bigl\{ h(t) \bigr\} =k_{CF} (p,t)*h'(t);\quad 0< p< 1, $$

where $k_{CF} (p,t)=\exp (-\frac{pt}{1-p} )$, the kernel of the derivative.

Moreover,

$$ L \bigl\{ {}^{CF} D_{t}^{p} h (t ) \bigr\} = \frac{q\tilde{h}(q)-h (0 )}{ (1-p )q+p} $$

(5)

and

$$ \begin{gathered} {}^{CF} D_{t}^{\alpha } h (t )=\frac{1}{1-\alpha } \int _{0}^{t}e^{- \frac{\alpha (t-\tau )}{1-\alpha } } h' (\tau ) \,d\tau , \\ L \bigl\{ {}^{CF} D_{t}^{\alpha } h (t ) \bigr\} = \frac{qH (q )-h (0 )}{ (1-\alpha )q+\alpha }, \\ \lim_{\alpha \to 1} L \bigl\{ {}^{CF} D_{t}^{ \alpha } h (t ) \bigr\} =qH (q )-h (0 )=L \bigl\{ h' (t ) \bigr\} , \\ {}^{CF} D_{t}^{1} h (t )=h' (t ). \end{gathered} $$

(6)

Definition 2.3

Let $h\in H^{1} (a,b)$, $a< b$, $p\in [0,1]$, then the ABC-NOID is given by [11, 31]

$$ \begin{gathered} {}_{a}^{ABC} D_{t}^{p} h(t) =\frac{N(p)}{1-p} \int _{a}^{t}h'(\tau )E_{p} \biggl[-\frac{p}{1-p} (t-\tau )^{p} \biggr] \,d\tau =k_{ABC} (p,t)*h'(t), \end{gathered} $$

(7)

where $N(p)$ is a normalisation function fulfilling the condition $N(0)=N(1)=1$, $k_{ABC} (p,t)$ is the kernel of the derivative

$$ k_{ABC} (p,t)=\frac{N(p)}{1-p} E_{p} \biggl[-\frac{pt^{p} }{1-p} \biggr], $$

(8)

and $E_{p} (\cdot )$ is a one-parametric form of the Mittag-Leffler function [12].

Also

$$ L \bigl\{ {}_{0}^{ABC} D_{t}^{p} h(t) \bigr\} = \frac{N(p)q^{p} \tilde{h}(q)}{(1-p)q^{p} +p} - \frac{N(p)q^{p-1} h(0)}{(1-p)q^{p} +p} . $$

Furthermore, the normalisation function can be any function fulfilling the condition $N(0)=N(1)=1$. For example, it could be chosen as $N (p )=1-p +\frac{p }{\Gamma (p )}$ [40]. In the present work we choose $N(p)$ to be identically one.

Again

$$ L \bigl\{ {}_{0}^{ABC} D_{t}^{p} h(t) \bigr\} = \frac{N(p)q^{p} L\{ h(t)\} }{(1-p)q^{p } +p } - \frac{N(p )q^{p -1} h(0)}{(1-p )q^{p } +p } . $$

(9)

Taking the Laplace transform of (8), we get

$$ L \bigl\{ k_{ABC} (p ,t) \bigr\} =\frac{N(p )}{1-p } \frac{q^{p -1} }{q^{p } +p } , $$

(10)

also

$$ \begin{gathered} L \bigl\{ k_{ABC} (0,t) \bigr\} =\frac{1}{q} ,\quad \quad L \bigl\{ k_{ABC} (1,t) \bigr\} =1, \\ k_{ABC} (0,t)=1,\quad \quad \lim_{p \to 1} k_{ABC} (p ,t)= \delta (t ), \end{gathered} $$

(11)

where $\delta (t )$ is Dirac’s delta function.

Moreover,

$$ {}_{a}^{ABC} D_{t}^{1} \bigl\{ h (t )\bigr\} =k_{ABC} (1,t )*h' (t )= \bigl(\delta *h' \bigr) (t )=h' (t ) $$

(12)

and

$$ {}_{a}^{ABC} D_{t}^{0} \bigl\{ h (t )\bigr\} =k_{ABC} (0,t )*h' (t )= \bigl(I*h' \bigr) (t )= \int _{0}^{t}h' (u )\,du= h (t )-h (0 ). $$

(13)

Equation (12) and Eq. (13) represent the relation between the ABC-fractional derivative and the classical derivative.

3 Solution of the problem

In this part, we solve Eq. (1) by customising the operator $D_{t}^{\alpha } (\cdot )$ according to Caputo, Caputo–Fabrizio and Atangana–Baleanu.

3.1 Solution of the problem using Caputo NIOD operator

Replace the operator $D_{t}^{\alpha } (\cdot )$ in Eq. (1) by using Definition 2.1, Eq. (9). Basset equation in the sense of Caputo derivative operator becomes

$$ \frac{du}{dt} +a {}^{C} D_{t}^{\alpha } +u (t )=f (t ),\quad u \bigl(0^{+} \bigr)=u_{0} ,0< \alpha < 1. $$

(14)

Employing Laplace transform [41] to Eq. (14) and making use of the initial conditions lead to

$$ \widetilde{U} (q )= \frac{1+aq^{\alpha -1} }{q+aq^{\alpha } +1} u_{0} + \frac{\widetilde{f} (q )}{ (q+aq^{\alpha } +1 )} $$

(15)

or

$$ \begin{aligned} \widetilde{U} (q )={}& \Biggl(\sum _{k=0}^{\infty } \frac{ (-1 )^{k} a^{k} q^{\alpha k} }{ (1+q )^{k+1} } +a\sum _{k=0}^{\infty } \frac{ (-1 )^{k} a^{k} q^{\alpha k+\alpha -1} }{ (1+q )^{k+1} } \Biggr)u_{0} \\ &{}+\sum_{k=0}^{\infty } \frac{ (-1 )^{k} a^{k} q^{\alpha k} }{ (1+q )^{k+1} } \widetilde{f} (q ). \end{aligned} $$

(16)

Taking an inverse Laplace transform, we get

$$ \begin{aligned} u (t )={}&{}\sum _{k=0}^{\infty } (-1 )^{k} a^{k} \bigl(G_{1,\alpha k,k+1} (-1,t )+G_{1,\alpha (k+1 )-1,k+1} (-1,t ) \bigr) u_{0} \\ &{}+\sum_{k=0}^{\infty } (-1 )^{k} a^{k} \int _{0}^{t}{f (t-\tau )G_{1,\alpha k,k+1} (-1,\tau )}\,d \tau , \end{aligned} $$

(17)

where G is the Lorenzo–Hartley generalised G function [35].

3.2 Solution of the problem using CF-NIOD operator

Replacing the operator $D_{t}^{\alpha } (\cdot )$ in Eq. (1) by using Definition 2.2, Eq. (11), we get

$$ \frac{du}{dt} +a {}^{CF} D_{t}^{\alpha } +u (t )=f (t ),\quad u \bigl(0^{+} \bigr)=u_{0} ,0< \alpha < 1. $$

(18)

Employing LT [41] to Eq. (18) and making use of the initial conditions, we get

$$\begin{aligned}& \begin{gathered} \widetilde{U} (q )= \frac{ (1-\alpha )q+\alpha -a}{ (1-\alpha )q^{2} + (a+1 )q+\alpha } u_{0} + \frac{ (1-\alpha )q+\alpha }{ (1-\alpha )q^{2} + (a+1 )q+\alpha } \widetilde{f} (q ) , \end{gathered} \end{aligned}$$

(19)

$$\begin{aligned}& \begin{gathered} \widetilde{U} (q )= \frac{q+\frac{\alpha -a}{1-\alpha } }{q^{2} + (\frac{a+1}{1-\alpha } )q+\frac{\alpha }{1-\alpha } } u_{0}+ \frac{q+\frac{\alpha }{1-\alpha } }{q^{2} + (\frac{a+1}{1-\alpha } )q+\frac{\alpha }{1-\alpha } } \widetilde{f} (q ) , \end{gathered} \end{aligned}$$

(20)

$$\begin{aligned}& \widetilde{U} (q )= \frac{q+\frac{\alpha -a}{1-\alpha } }{ (q+a_{1} ) (q+a_{2} )} u_{0} + \frac{q+\frac{\alpha }{1-\alpha } }{ (q+a_{1} ) (q+a_{2} )} \widetilde{f} (q ) , \end{aligned}$$

(21)

where

$$ \begin{gathered} a_{1} = \frac{ (\frac{a+1}{1-\alpha } )+\sqrt{ (\frac{a+1}{1-\alpha } )^{2} -\frac{4\alpha }{1-\alpha } } }{2},\quad\quad a_{2} = \frac{ (\frac{a+1}{1-\alpha } )-\sqrt{ (\frac{a+1}{1-\alpha } )^{2} -\frac{4\alpha }{1-\alpha } } }{2}. \end{gathered} $$

Employing the inverse LT, after long but straightforward computation, leads to

$$ \begin{aligned} u (t )={}& \frac{1-\alpha }{\sqrt{ (a+1 )^{2} -4\alpha (1-\alpha )}} \biggl( \biggl(\frac{\alpha -a}{1-\alpha }-a_{2} \biggr)e^{-a_{2} t}- \biggl( \frac{\alpha -a}{1-\alpha }-a_{1} \biggr)e^{-a_{1} t} \biggr) \\ &{}+ \frac{1-\alpha }{\sqrt{ (a+1 )^{2} -4\alpha (1-\alpha )}} \\ &{}\times\int _{0}^{t} f (t-\tau ) \biggl( \biggl( \frac{\alpha -a}{1-\alpha }-a_{2} \biggr)e^{-a_{2} \tau } - \biggl( \frac{\alpha -a}{1-\alpha }-a_{1} \biggr)e^{-a_{1} \tau } \biggr)\,d \tau . \end{aligned} $$

(22)

3.3 Solution of the problem using ABC-NIOD operator

Replacing the operator $D_{t}^{\alpha } (\cdot )$ in Eq. (1) by using Definition 2.3, Eq. (13), we get

$$ \frac{du}{dt} +a {}^{ABC} D_{t}^{\alpha } +u (t )=f (t ),\quad u \bigl(0^{+} \bigr)=u_{0} ,0< \alpha < 1. $$

(23)

Application of LT [41] to Eq. (23) and making use of the initial conditions lead to

$$\begin{aligned}& \begin{aligned} \widetilde{U} (q )={}& \frac{ (1-\alpha )q^{\alpha } +aq^{\alpha -1} +\alpha }{ (1-\alpha )q^{\alpha +1} +\alpha q+ (a+1-\alpha )q^{\alpha } +\alpha } u_{0} \\ &{}+ \frac{ (1-\alpha )q^{\alpha } +1}{q ( (1-\alpha )q^{\alpha +1} +\alpha q+ (a+1-\alpha )q^{\alpha } +\alpha )}, \end{aligned} \end{aligned}$$

(24)

$$\begin{aligned}& \begin{aligned} \widetilde{U} (q )={}&\sum _{k=0}^{\infty }\sum_{m=0}^{k} \frac{ (-1 )^{k} k!}{ (k-m )!m!} \biggl( \frac{a \gamma +\alpha }{\alpha } \biggr)^{k-m} \biggl( \gamma ^{k} \frac{q^{ (1+\alpha )k-\alpha m+\alpha } }{ (q^{\alpha +1} +\gamma )^{k+1} } \\ &{}+\frac{\gamma ^{k+1} }{\alpha } \frac{q^{ (1+\alpha )k-\alpha m+\alpha -1} }{ (q^{\alpha +1} +\gamma )^{k+1} } +\gamma ^{k+1} \frac{q^{ (1+\alpha )k-\alpha m} }{ (q^{\alpha +1} +\gamma )^{k+1} } \biggr)u_{0} \\ &{}+\sum_{k=0}^{\infty }\sum _{m=0}^{k} \frac{ (-1 )^{k} k!}{ (k-m )!m!} \biggl( \frac{a \gamma +\alpha }{\alpha } \biggr)^{k-m} \\ &{}\times \biggl(\gamma ^{k} \frac{q^{ (1+\alpha )k-\alpha m+\alpha } }{ (q^{\alpha +1} +\gamma )^{k+1} } +\frac{\gamma ^{k+1} }{\alpha } \frac{q^{ (1+\alpha )k-\alpha m} }{ (q^{\alpha +1} +\gamma )^{k+1} } \biggr)\widetilde{f} (q ), \end{aligned} \end{aligned}$$

(25)

where $\gamma =\frac{\alpha }{1-\alpha }$.

Finally, employing the inverse LT, we get

$$\begin{aligned} u (t )={}&\sum _{k=0}^{\infty }\sum_{m=0}^{k} \frac{ (-1 )^{k} k!}{ (k-m )!m!} \biggl( \frac{a \gamma +\alpha }{\alpha } \biggr)^{k-m} \biggl( \gamma ^{k} G_{ \alpha +1, (1+\alpha )k-\alpha m,k+1} (-\gamma ,t ) \\ &{}+\frac{\gamma ^{k+1} }{\alpha } G_{\alpha +1, (1+\alpha )k- \alpha m+\alpha -1,k+1} (-\gamma ,t ) \\ &{}+\gamma ^{k+1} G_{\alpha +1, (1+\alpha )k-\alpha m,k+1} (-\gamma ,t ) \biggr)u_{0} \\ &{}+\sum_{k=0}^{\infty }\sum _{m=0}^{k} \frac{ (-1 )^{k} k!}{ (k-m )!m!} \biggl( \frac{a \gamma +\alpha }{\alpha } \biggr)^{k-m} \int _{0}^{t} f (t- \tau ) \biggl(\gamma ^{k} G_{\alpha +1, (1+\alpha )k- \alpha m+\alpha ,k+1} (-\gamma ,\tau ) \\ &{}+\frac{\gamma ^{k+1} }{\alpha } G_{\alpha +1, (1+\alpha )k- \alpha m,k+1} (-\gamma ,\tau ) \biggr)\,d\tau . \end{aligned}$$

(26)

4 Special cases

In this section, from our general solutions, we discuss two cases, namely when excitation function is $H(t)$ and $\sin (\omega t)$.

For the first case, we take $f(t)=H(t)$ in (17), (22) and (26), we get

$$\begin{aligned}& \begin{aligned} u_{C} (t )={}&\sum _{k=0}^{\infty } (-1 )^{k} a^{k} \bigl(G_{1,\alpha k,k+1} (-1,t )+G_{1,\alpha (k+1 )-1,k+1} (-1,t ) \bigr) u_{0} \\ &{}+\sum_{k=0}^{\infty } (-1 )^{k} a^{k} {G_{1,\alpha k-1,k+1} (-1,t )}, \end{aligned} \end{aligned}$$

(27)

$$\begin{aligned}& \begin{aligned} u_{CF} (t )={}&1+ \frac{1-\alpha }{\sqrt{ (a+1 )^{2} -4\alpha (1-\alpha )}} \biggl( \frac{2\alpha -a-1-{\sqrt{ (a+1 )^{2} -4\alpha (1-\alpha )}}}{a+1+{\sqrt{ (a+1 )^{2} -4\alpha (1-\alpha )}}} \\ &{}- \bigl(2\alpha -3a-1-{\sqrt{ (a+1 )^{2} -4\alpha (1- \alpha )}} \bigr)u_{0} \biggr)e^{-a_{1}t} \\ &{}- \frac{1-\alpha }{\sqrt{ (a+1 )^{2} -4\alpha (1-\alpha )}} \biggl( \frac{2\alpha -a-1-{\sqrt{ (a+1 )^{2} -4\alpha (1-\alpha )}}}{2 (1-\alpha )} \\ &{}- \bigl(2\alpha -3a-1-{\sqrt{ (a+1 )^{2} -4\alpha (1- \alpha )}} \bigr)u_{0} \biggr) e^{-a_{1}t}, \end{aligned} \end{aligned}$$

(28)

$$\begin{aligned}& \begin{aligned} u_{ABC} (t )={}&\sum _{k=0}^{\infty }\sum_{m=0}^{k} \frac{ (-1 )^{k} k!}{ (k-m )!m!} \biggl( \frac{a \gamma +\alpha }{\alpha } \biggr)^{k-m} \biggl( \gamma ^{k} G_{ \alpha +1, (1+\alpha )k-\alpha m,k+1} (-\gamma ,t ) \\ &{}+\frac{\gamma ^{k+1} }{\alpha } G_{\alpha +1, (1+\alpha )k- \alpha m+\alpha -1,k+1} (-\gamma ,t ) \\ &{}+\gamma ^{k+1} G_{\alpha +1, (1+\alpha )k-\alpha m,k+1} (-\gamma ,t ) \biggr)u_{0} \\ &{}+\sum_{k=0}^{\infty }\sum _{m=0}^{k} \frac{ (-1 )^{k} k!}{ (k-m )!m!} \biggl( \frac{a \gamma +\alpha }{\alpha } \biggr)^{k-m} \biggl(\gamma ^{k} G_{ \alpha +1, (1+\alpha )k-\alpha m+\alpha -1 ,k+1} (- \gamma ,t ) \\ &{}+\frac{\gamma ^{k+1} }{\alpha } G_{\alpha +1, (1+\alpha )k- \alpha m-1,k+1} (-\gamma ,t ) \biggr), \end{aligned} \end{aligned}$$

(29)

where $u_{C}$, $u_{CF}$ and $u_{ABC}$ denote the solutions obtained by employing Caputo, Caputo–Fabrizio and Atangana–Baleanu NIOD operators respectively.

Similarly, for the second case (sinusoidal excitation), we take $f(t)=\sin (\omega t)$ in (17), (22), (26) and get

$$\begin{aligned}& \begin{aligned} u_{C} (t )={}&\sum _{k=0}^{\infty } (-1 )^{k} a^{k} \bigl(G_{1,\alpha k,k+1} (-1,t )+G_{1,\alpha (k+1 )-1,k+1} (-1,t ) \bigr) u_{0} \\ &{}+\sum_{k=0}^{\infty } (-1 )^{k} a^{k} \int _{0}^{t}{\sin \bigl(\omega (t-\tau ) \bigr)G_{1,\alpha k,k+1} (-1, \tau )}\,d\tau , \end{aligned} \end{aligned}$$

(30)

$$\begin{aligned}& \begin{aligned} u_{CF} (t )={}& \frac{1-\alpha }{\sqrt{ (a+1 )^{2} -4\alpha (1-\alpha )}} \biggl( \biggl(\frac{\alpha -a}{1-\alpha }-a_{2} \biggr)e^{-a_{2} t}- \biggl( \frac{\alpha -a}{1-\alpha }-a_{1} \biggr)e^{-a_{1} t} \biggr) \\ &{} + \frac{1-\alpha }{\sqrt{ (a+1 )^{2} -4\alpha (1-\alpha )}} \\&{}\times \int _{0}^{t} \sin \bigl(\omega (t-\tau ) \bigr){ \biggl( \biggl(\frac{\alpha -a}{1-\alpha }-a_{2} \biggr)e^{-a_{2} \tau }- \biggl( \frac{\alpha -a}{1-\alpha }-a_{1} \biggr)e^{-a_{1} \tau } \biggr)}\,d \tau \end{aligned} \end{aligned}$$

(31)

and

$$ \begin{aligned} u (t )={}&\sum_{k=0}^{\infty } \sum_{m=0}^{k} \frac{ (-1 )^{k} k!}{ (k-m )!m!} \biggl( \frac{a \gamma +\alpha }{\alpha } \biggr)^{k-m} \biggl(\gamma ^{k} G_{ \alpha +1, (1+\alpha )k-\alpha m,k+1} (-\gamma ,t ) \\ &{}+\frac{\gamma ^{k+1} }{\alpha } G_{\alpha +1, (1+\alpha )k- \alpha m+\alpha -1,k+1} (-\gamma ,t ) \\ &{}+\gamma ^{k+1} G_{\alpha +1, (1+\alpha )k-\alpha m,k+1} (-\gamma ,t ) \biggr)u_{0} \\ &{}+\sum_{k=0}^{\infty }\sum _{m=0}^{k} \frac{ (-1 )^{k} k!}{ (k-m )!m!} \biggl( \frac{a \gamma +\alpha }{\alpha } \biggr)^{k-m} \int _{0}^{t} \sin \bigl( \omega (t-\tau ) \bigr) \\ &{}\times \biggl(\gamma ^{k} G_{\alpha +1, (1+\alpha )k- \alpha m+\alpha ,k+1} (-\gamma ,\tau ) \\ &{}+\frac{\gamma ^{k+1} }{\alpha } G_{\alpha +1, (1+\alpha )k- \alpha m,k+1} (-\gamma ,\tau ) \biggr)\,d\tau . \end{aligned} $$

(32)

5 Analysis of the influence of parameters on the Basset problem

With the aim to have proper understanding associated with the influence of the parameters α and a on the classical as well generalised Basset problem, we prepare some diagrams for the velocity of the particle, analogous to the solution of (1). Further, for the sake of clarity, we assume $u (0 )=0$, i.e. vanishing initial velocity and $f(t)=H(t)$. We will discuss three scenarios for α, namely $\alpha =1/2$ (the classical Basset problem) and $\alpha =1/4, 3/4$ (the generalised Basset problem). For every α, we choose these values of a relating to $\chi =\frac{\rho _{p}}{\rho _{f}}=0.5,5,20,50$. From Figs. 1–3, we compare velocities for each pair $\{\alpha , \frac{\rho _{p}}{\rho _{f}}\}$ using different definitions of NIOD operators in the composite fractional relaxation equation. From Fig. 1, when the Caputo NOID operator is used, it is observed that velocities increase for increasing values of α, and after some time they attain a constant value for large times. Moreover, time to achieve that constant value is getting small for increasing values of the ratio $\frac{\rho _{p}}{\rho _{f}}$. For the case when the Caputo–Fabrizio derivative is used in the fractional relaxation equation (see Fig. 2), the same trend is observed as in the case when the Caputo derivative operator is employed. Additionally, it is reported that all velocities converge to the same constant value showing that the influence of the fractional order parameter diminishes with time. From Fig. 3, it is noticed that when the Atangana–Baleanu definition of NIOD is used for increasing values of α, velocity increases, and the range of velocity is larger as compared to the case when Caputo or Caputo–Fabrizio derivative operators are employed. In Fig. 4, the comparison of velocities with three definitions of fractional derivatives is presented. It is noted that, for $\alpha = 1/4$ and $\alpha = 3/4$, the behaviour of velocity when Caputo and Caputo–Fabrizio derivative operators are employed is the same. On the other hand, for $\alpha =1/2$, the trend of velocities is significantly different for the case when the Atangana–Baleanu derivative operator is used.

Figure 1

Profiles of velocity versus time for the case of Caputo derivative operator with $\frac{\rho _{p}}{\rho _{t}}=0.5,5,20,50$

Figure 2

Profiles of velocity versus time for the case of Caputo–Fabrizio derivative operator with $\frac{\rho _{p}}{\rho _{t}}=0.5,5,20,50$

Figure 3

Profiles of velocity versus time for the case of Atangana–Baleanu derivative operator with $\frac{\rho _{p}}{\rho _{t}}=0.5,5,20,50$

Figure 4

Comparison of profiles of velocity versus time for three definitions of fractional derivative operators with $\alpha =0.25,0.5,0.75$

6 Conclusions

In this article, we have solved the composite fractional relaxation equation by using different definitions of NIOD operators. More specifically, we have employed the definitions NIOD operators proposed by Caputo, Caputo–Fabrizio and Atangana–Baleanu. The solution of the non-integer order differential equation is obtained by applying the Laplace transform method. Moreover, the solutions of the problem are expressed in terms of Lorenzo and Hartley’s generalised G-function that is the generalisation of many special functions that arise in the solution of non-integer order differential equations. Furthermore, the effects of the parameters involved in the model of generalised and classical Basset problem are shown, and the comparison of these model in terms of different definitions of NIOD operators is done by graphical analysis. The useful conclusions are as follows:

• 1. When Caputo, Caputo–Fabrizio as well as Atangana–Baleanu fractional order derivative operators are used, velocities increase for increasing values of α, and after some time they attain a constant value for large times. Moreover, time to achieve that constant value is getting small for increasing values of the ratio $\frac{\rho _{p}}{\rho _{f}}$.

• 2. For the case when the Caputo–Fabrizio derivative is used in the fractional relaxation equation, the same trend is observed as in the case when the Caputo derivative operator is employed. Additionally, it is reported that, for the case when the Caputo–Fabrizio derivative is used, all velocities converge to the same constant value showing that the influence of the fractional order parameter diminishes with time.

• 3. The velocity attains a constant value after its initiation, and time to reach this constant value is smaller for a large value of $\frac{\rho _{p}}{\rho _{f}}$.

• 4. The velocity attains higher values when the Atangana–Baleanu derivative operator is used in comparison to the case when Caputo and Caputo–Fabrizio derivative operators are employed.

• 5. As the Atangana–Baleanu derivative operator has a non-singular and smooth kernel and has shown better velocity response, it is preferable to be employed in the composite fractional relaxation equation model.