Theory and Modern Applications

A semi-analytic method with an effect of memory for solving fractional differential equations

Abstract

In this paper, we propose a new modification of the multistage generalized differential transform method (MsGDTM) for solving fractional differential equations. In MsGDTM, it is the key how to impose an initial condition in each sub-domain to obtain an accurate approximate solution. In several literature works (Odibat et al. in Comput. Math. Appl. 59:1462-1472, 2010; Alomari in Comput. Math. Appl. 61:2528-2534, 2011; Gökdoğan et al. in Math. Comput. Model. 54:2132-2138, 2011), authors have updated an initial condition in each sub-domain by using the approximate solution in the previous sub-domain. However, we point out that this approach is hard to apply an effect of memory which is the basic property of fractional differential equations. Here we provide a new algorithm to impose the initial conditions by using the integral operator that enhances accuracy. Several illustrative examples are demonstrated, and it is shown that the proposed technique is robust and accurate for solving fractional differential equations.

1 Introduction

In recent years, fractional differential equations have been considered as an important mathematical modeling in various fields of applied sciences and engineering because of describing memory properties. Several numerical methods for solving fractional differential equations have been introduced. Authors in [1, 2] presented the predictor-corrector approach based on the Adams-Bashforth-Moulton type numerical method that has been successful to obtain the stable approximate solutions for many fractional differential equations. Some of semi-analytic methods for solving fractional problems such as the Adomian decomposition method (ADM) [35], homotopy analysis method (HAM) [68], homotopy perturbation method (HPM) [9, 10], variational iteration method (VIM) [1115] and generalized differential transform method (GDTM) [1618] have been introduced to provide analytic or numeric approximations. In this paper, we propose a new modification of multistage generalized differential transform method (MsGDTM) to obtain an accurate approximate solution for solving fractional differential equation. The new proposed method gives an algorithm to impose an accurate initial condition in each sub-domain which contains the effect of memory. The paper is organized as follows. Section 2 introduces some definitions and notations of fractional calculus that we shall use. In Section 3, we present the basic ideas and some properties of GDTM. Difference between the standard MsGDTM and the proposed MsGDTM are described in Section 4. Several numerical illustrations are demonstrated, and they show the effectiveness of the proposed method in Section 5. Finally, we give a conclusion.

2 Preliminary

In this section we give some basic definitions and properties of the fractional calculus presented in this work.

Definition A real-valued function $f\left(t\right)$, $t>0$, is said to be in the space ${C}_{\mu }$, $\mu \in \mathbb{R}$ if there exists a real number p, $p<\mu$ such that $f\left(t\right)={t}^{p}{f}_{1}\left(t\right)$, where ${f}_{1}\left(t\right)\in C\left[0,\mathrm{\infty }\right)$, and it is said to be in the space ${C}_{\mu }^{m}$ if and only if ${f}^{\left(m\right)}\in {C}_{\mu }$, $m\in \mathbb{N}$.

Definition The Riemann-Liouville fractional integral operator of order $\alpha \ge 0$ of a function $f\left(t\right)\in {C}_{\mu }$, $t>a\ge 0$, $\mu \ge -1$, is defined by

${J}_{a}^{\alpha }f\left(t\right)=\left\{\begin{array}{ll}\frac{1}{\mathrm{\Gamma }\left(\alpha \right)}{\int }_{a}^{t}{\left(t-s\right)}^{\alpha -1}f\left(s\right)\phantom{\rule{0.2em}{0ex}}ds,& \alpha >0,\\ f\left(t\right),& \alpha =0.\end{array}$

The operator ${J}_{a}^{\alpha }$ satisfies the following properties: For $f\left(t\right)\in {C}_{\mu }$, $t>a\ge 0$, $\mu \ge -1$, $\alpha ,\beta \ge 0$ and $\gamma >-1$,

1. 1.

${J}_{a}^{\alpha }{J}_{a}^{\beta }f\left(t\right)={J}_{a}^{\beta }{J}_{a}^{\alpha }f\left(t\right)={J}_{a}^{\alpha +\beta }f\left(t\right)$,

2. 2.

${J}_{a}^{\alpha }{\left(t-a\right)}^{\gamma }=\frac{\mathrm{\Gamma }\left(\gamma +1\right)}{\mathrm{\Gamma }\left(\gamma +\alpha +1\right)}{\left(t-a\right)}^{\gamma +\alpha }$.

The Riemann-Liouville fractional derivative is defined by

${D}_{a}^{\alpha }f\left(t\right)=\frac{{d}^{m}}{d{t}^{m}}\left({J}_{a}^{m-\alpha }f\left(t\right)\right),$

where $m-1<\alpha \le m$ and $m\in \mathbb{N}$. The Riemann-Liouville fractional derivative has been studied by many mathematicians. However, it is not suitable to model real world physical phenomena because it has difficulties to define the fractional order physical conditions such as initial condition. Here, we shall introduce a modified fractional differential operator ${D}_{a}^{\alpha }$ proposed by Caputo [19].

Definition The fractional derivative in the Caputo sense of $f\left(t\right)$, $f\left(t\right)\in {C}_{-1}^{m}$, $t>a\ge 0$, $m\in \mathbb{N}$, $t>0$ is defined by

${D}_{a}^{\alpha }f\left(t\right)=\left\{\begin{array}{ll}{J}_{a}^{m-\alpha }\left(\frac{{d}^{m}}{d{t}^{m}}f\left(t\right)\right),& m-1<\alpha

Lemma 2.1 If $m-1<\alpha \le m$, $m\in \mathbb{N}$ and $f\left(t\right)\in {C}_{\mu }^{m}$, $t>a\ge 0$, $\mu \ge -1$, then

1. 1.

${D}_{a}^{\alpha }{J}_{a}^{\alpha }f\left(t\right)=f\left(t\right)$,

2. 2.

${J}_{a}^{\alpha }{D}_{a}^{\alpha }f\left(t\right)=f\left(t\right)-{\sum }_{k=0}^{m-1}\frac{{d}^{k}}{d{t}^{k}}f\left(a\right)\frac{{\left(t-a\right)}^{k}}{k!}$.

3 Generalized differential transform method

The differential transform method (DTM) that is based on the Taylor series has been successful to achieve accurate approximate solutions for the linear and nonlinear problems [2024]. It differs from the traditional Taylor series in calculating coefficients. In DTM, all coefficients in Taylor series can be determined by solving the recursive equation that is induced from the given differential equation. In order to apply the DTM to solve fractional problems, we adopt the generalized Taylor formula that was introduced in [17]. In what follows we describe the basic idea of the generalized differential transform method (GDTM) and its properties. Let us introduce the generalized Taylor series formula with the Caputo fractional derivative.

Theorem 3.1 (Generalized mean value theorem [17])

Suppose that $f\left(t\right)\in C\left[a,b\right]$ and ${D}_{a}^{\alpha }f\left(t\right)\in C\left(a,b\right]$, for $0<\alpha \le 1$, we have

$f\left(t\right)=f\left(a\right)+\frac{1}{\mathrm{\Gamma }\left(\alpha \right)}{D}_{a}^{\alpha }f\left(\eta \right){\left(t-a\right)}^{\alpha }$

with $a\le \eta \le t$ for all $t\in \left(a,b\right]$.

Let us define ${\left({D}_{a}^{\alpha }\right)}^{n}$ by

${\left({D}_{a}^{\alpha }\right)}^{n}={D}_{a}^{\alpha }\cdot {D}_{a}^{\alpha }\cdot \cdot \cdot {D}_{a}^{\alpha }\phantom{\rule{0.25em}{0ex}}\left(n\text{-times}\right).$

Theorem 3.2 (Generalized Taylor’s formula [17])

Suppose that ${\left({D}_{a}^{\alpha }\right)}^{k}f\left(t\right)\in C\left(a,b\right]$ for $k=0,1,\dots ,n+1$, where $0<\alpha \le 1$, then we have

$f\left(t\right)=\sum _{i=0}^{n}\frac{{\left(t-a\right)}^{i\alpha }}{\mathrm{\Gamma }\left(i\alpha +1\right)}\left({\left({D}_{a}^{\alpha }\right)}^{i}f\right)\left(a\right)+\frac{\left({\left({D}_{a}^{\alpha }\right)}^{n+1}f\right)\left(\eta \right)}{\mathrm{\Gamma }\left(\left(n+1\right)\alpha +1\right)}{\left(t-a\right)}^{\left(n+1\right)\alpha }$

with $a\le \eta \le t$, for all $t\in \left(a,b\right]$.

Let us define the generalized differential transform (GDT) of the k th derivative of $f\left(t\right)$ at $t={t}_{0}$ as follows:

$F\left(k\right)=\frac{1}{\mathrm{\Gamma }\left(\alpha k+1\right)}{\left[{\left({D}_{{t}_{0}}^{\alpha }\right)}^{k}f\left(t\right)\right]}_{t={t}_{0}},$

where $0<\alpha \le 1$, $k=0,1,2,\dots$ , and the generalized differential inverse transform of $F\left(k\right)$ is defined as follows:

$f\left(t\right)=\sum _{k=0}^{\mathrm{\infty }}F\left(k\right){\left(t-{t}_{0}\right)}^{\alpha k}.$

In case of $\alpha =1$, the GDT reduces to the classical differential transform.

Theorem 3.3 Several fundamental properties of the GDT are listed below [18].

1. 1.

If $f\left(t\right)=g\left(t\right)±h\left(t\right)$, then $F\left(k\right)=G\left(k\right)±H\left(k\right)$.

2. 2.

If $f\left(t\right)=ag\left(t\right)$, then $F\left(k\right)=aG\left(k\right)$, where a is a constant.

3. 3.

If $f\left(t\right)=g\left(t\right)h\left(t\right)$, then $F\left(k\right)={\sum }_{r=0}^{k}G\left(r\right)H\left(k-r\right)$.

4. 4.

If $f\left(t\right)={D}_{{t}_{0}}^{\alpha }g\left(t\right)$, then $F\left(k\right)=\frac{\mathrm{\Gamma }\left(\alpha \left(k+1\right)+1\right)}{\mathrm{\Gamma }\left(\alpha k+1\right)}G\left(k+1\right)$.

5. 5.

If $f\left(t\right)={\left(t-{t}_{0}\right)}^{n\alpha }$, then $F\left(k\right)=\delta \left(k-n\right)$, where

6. 6.

If $f\left(t\right)={D}_{{t}_{0}}^{\beta }g\left(t\right)$, $m-1<\beta \le m$, then

$F\left(k\right)=\frac{\mathrm{\Gamma }\left(\alpha k+\beta +1\right)}{\mathrm{\Gamma }\left(\alpha k+1\right)}G\left(k+\frac{\beta }{\alpha }\right).$

4 The multistage generalized differential transform method with an effect of memory

4.1 The standard generalized multistage differential transform method

The basic idea of multistage generalized differential transform method (MsGDTM) is to apply the standard GDTM to the given problem in each sub-domain. In order to describe the MsGDTM, let us consider the following fractional initial value problem:

${D}_{{t}_{0}}^{\alpha }y\left(t\right)=f\left(t,y\left(t\right)\right),\phantom{\rule{1em}{0ex}}t>0,y\left({t}_{0}\right)={y}_{0}.$
(1)

In order to apply the GDTM, we assume that the solution $y\left(t\right)$ is expanded by the generalized Taylor series at $t={t}_{0}$

$y\left(t\right)=\sum _{k=0}^{\mathrm{\infty }}Y\left(k\right){\left(t-{t}_{0}\right)}^{\alpha k},$

where

$Y\left(k\right)=\frac{1}{\mathrm{\Gamma }\left(\alpha k+1\right)}{\left[{\left({D}_{{t}_{0}}^{\alpha }\right)}^{k}f\left(t\right)\right]}_{t={t}_{0}}.$

Some fundamental properties in Theorem 3.3 give the following recursive relation for the differential transform:

$\frac{\mathrm{\Gamma }\left(\alpha \left(k+1\right)+1\right)}{\mathrm{\Gamma }\left(\alpha k+1\right)}Y\left(k+1\right)=F\left(k\right),\phantom{\rule{1em}{0ex}}k=0,1,2,\dots ,$
(2)

where $F\left(k\right)$ is the generalized differential transform of $f\left(t,y\left(t\right)\right)$ at $t={t}_{0}$. Combined with $Y\left(0\right)$, that is, the initial condition $y\left({t}_{0}\right)$, the recursive equation (2) can be easily solved. Recalling that GDTM is based on the generalized Taylor series, an approximate solution can be obtained in a radius of convergence R

$R={|t-{t}_{0}|}^{\alpha }\underset{n\to \mathrm{\infty }}{lim}|\frac{\mathrm{\Gamma }\left(n\alpha +1\right)}{\mathrm{\Gamma }\left(\left(n+1\right)\alpha +1\right)}\cdot \frac{{\left({D}_{{t}_{0}}^{\alpha }\right)}^{n+1}f\left(t\right)}{{\left({D}_{{t}_{0}}^{\alpha }\right)}^{n}f\left(t\right)}{|}_{t={t}_{0}}.$

In other words, it is impractical to achieve an accurate approximation by using the GDTM outside the radius of convergence R. To overcome this difficulty, the standard GDTM is applied in each sub-domain, which is called the MsGDTM.

For the equally spaced partition P: $0={t}_{0}<{t}_{1}<\cdots <{t}_{N-1}<{t}_{N}=T$, where the nodes ${t}_{i}=i\cdot h$, $h=T/N$. On the i th sub-domain ${\mathrm{\Omega }}_{i}\equiv \left({t}_{i},{t}_{i+1}\right)$, $i=0,1,\dots ,N-1$, we define $y\left(t\right){|}_{{\mathrm{\Omega }}_{i}}\equiv {y}_{i}\left(t\right)$ and $f\left(t\right){|}_{{\mathrm{\Omega }}_{i}}\equiv {f}_{i}\left(t\right)$. The generalized differential transform ${Y}_{i}\left(k\right)$ of ${y}_{i}\left(t\right)$ at $t={t}_{i}$ is defined by

${Y}_{i}\left(k\right)=\frac{1}{\mathrm{\Gamma }\left(\alpha k+1\right)}{\left[{\left({D}_{{t}_{i}}^{\alpha }\right)}^{k}{y}_{i}\left(t\right)\right]}_{t={t}_{i}}.$

The generalized differential inverse transform of ${Y}_{i}\left(k\right)$ is defined by

${y}_{i}\left(t\right)=\sum _{k=0}^{\mathrm{\infty }}{Y}_{i}\left(k\right){\left(t-{t}_{i}\right)}^{\alpha k}.$

Then the generalized differential transform ${Y}_{i}\left(k\right)$ is obtained by solving the following recursive relation:

$\frac{\mathrm{\Gamma }\left(\alpha \left(k+1\right)+1\right)}{\mathrm{\Gamma }\left(\alpha k+1\right)}{Y}_{i}\left(k+1\right)={F}_{i}\left(k\right),\phantom{\rule{1em}{0ex}}k=0,1,2,\dots ,$
(3)

where ${F}_{i}\left(k\right)$ is the generalized differential transform of $f\left(t,y\left(t\right)\right)$ at $t={t}_{i}$. Suppose that ${s}_{i,{n}_{i}}$ is the ${n}_{i}$-partial sum of ${y}_{i}\left(t\right)$ in ${\mathrm{\Omega }}_{i}$, that is,

${y}_{i}\left(t\right)\approx \sum _{k=0}^{{n}_{i}}{Y}_{i}\left(k\right){\left(t-{t}_{i}\right)}^{\alpha k}\equiv {s}_{i,{n}_{i}}\left(t\right).$

Then the solution $y\left(t\right)$ in (1) can be approximated by

$y\left(t\right)\approx \sum _{i=0}^{N-1}{\chi }_{{\mathrm{\Omega }}_{i}}\left(t\right){s}_{i,{n}_{i}}\left(t\right),$

where

In order to solve (3), it is necessary to have the initial condition ${y}_{i}\left({t}_{i}\right)$ in each sub-domain ${\mathrm{\Omega }}_{i}$, $i\ge 0$. For $i=0$, the initial condition gives ${Y}_{0}\left(0\right)=y\left(0\right)$. However, there are no given initial conditions ${y}_{i}\left({t}_{i}\right)$, $i\ge 1$. In the standard multistage differential transform method (MsDTM) for solving differential equations with integer order, the initial condition ${y}_{i}\left({t}_{i}\right)$ can be approximated by computing ${s}_{i-1,{n}_{i-1}}\left({t}_{i}\right)$. In other words, ${Y}_{i}\left(0\right)={s}_{i-1,{n}_{i-1}}\left({t}_{i}\right)$, $i\ge 1$. This approach has been successful to obtain accurate approximate solutions [25]. In the MsGDTM for solving fractional differential equations the same technique has been employed in [26, 27].

4.2 Effect of memory in the standard multistage generalized differential transform method

Suppose that ${y}_{i}\left(t\right)$ is a solution of the following problem:

${D}_{{t}_{i}}^{\alpha }{y}_{i}\left(t\right)={f}_{i}\left(t,{y}_{i}\left(t\right)\right),\phantom{\rule{1em}{0ex}}t\in {\mathrm{\Omega }}_{i}=\left({t}_{i},{t}_{i+1}\right),i\ge 1.$
(4)

The analytical solution of (4) with an initial condition ${y}_{i}\left({t}_{i}\right)$ can be obtained by taking the Riemann-Liouville integral operator as follows:

${y}_{i}\left(t\right)={y}_{i}\left({t}_{i}\right)+\frac{1}{\mathrm{\Gamma }\left(\alpha \right)}{\int }_{{t}_{i}}^{t}{\left(t-\tau \right)}^{\alpha -1}{f}_{i}\left(\tau ,{y}_{i}\left(\tau \right)\right)\phantom{\rule{0.2em}{0ex}}d\tau .$
(5)

Lemma 4.1 Suppose ${y}_{i}\left(t\right)={\sum }_{k=0}^{\mathrm{\infty }}{Y}_{i}\left(k\right){\left(t-{t}_{i}\right)}^{\alpha k}$ and ${f}_{i}\left(t\right)={\sum }_{k=0}^{\mathrm{\infty }}{F}_{i}\left(k\right){\left(t-{t}_{i}\right)}^{\alpha k}$. Then Eq. (5) has the following recursive relation:

$\frac{\mathrm{\Gamma }\left(\alpha \left(k+1\right)+1\right)}{\mathrm{\Gamma }\left(\alpha k+1\right)}{Y}_{i}\left(k+1\right)={F}_{i}\left(k\right),\phantom{\rule{1em}{0ex}}k=0,1,2,\dots .$

Proof Since ${J}_{{t}_{i}}^{\alpha }{\left(t-{t}_{i}\right)}^{\gamma }=\frac{\mathrm{\Gamma }\left(\gamma +1\right)}{\mathrm{\Gamma }\left(\gamma +\alpha +1\right)}{\left(t-{t}_{i}\right)}^{\gamma +\alpha }$, substituting the generalized Talyor series of ${y}_{i}\left(t\right)$ and ${f}_{i}\left(t\right)$ into (5) gives

$\sum _{k=0}^{\mathrm{\infty }}{Y}_{i}\left(k\right){\left(t-{t}_{i}\right)}^{\alpha k}={y}_{i}\left({t}_{i}\right)+\sum _{k=0}^{\mathrm{\infty }}\frac{\mathrm{\Gamma }\left(\alpha k+1\right)}{\mathrm{\Gamma }\left(\alpha k+\alpha +1\right)}{F}_{i}\left(k\right){\left(t-{t}_{i}\right)}^{\alpha k+\alpha }.$

Since ${Y}_{i}\left(0\right)={y}_{i}\left({t}_{i}\right)$, it completes the proof. □

This gives that Eq. (5) has the same recursive relation (3) with ${Y}_{i}\left(0\right)={y}_{i}\left({t}_{i}\right)$. Thus, the standard MsGDTM finds an approximate solution of (5) with an initial condition ${y}_{i}\left({t}_{i}\right)\approx {s}_{i-1,{n}_{i-1}}\left({t}_{i}\right)$. Solving the recursive relation, the solution ${y}_{i}\left(t\right)$ can be approximated by ${y}_{i}\left(t\right)\approx {s}_{i,{n}_{i}}\left(t\right)$. Therefore it is easy to see that the standard MsGDTM approximates the value of ${y}_{i}\left({t}_{i+1}\right)$ as follows:

$\begin{array}{rl}{y}_{i}\left({t}_{i+1}\right)& \approx {y}_{i}\left({t}_{i}\right)+\frac{1}{\mathrm{\Gamma }\left(\alpha \right)}{\int }_{{t}_{i}}^{{t}_{i+1}}{\left({t}_{i+1}-\tau \right)}^{\alpha -1}\stackrel{˜}{{f}_{i}}\left(\tau ,{y}_{i}\left(\tau \right)\right)\phantom{\rule{0.2em}{0ex}}d\tau \\ \approx {s}_{i-1,{n}_{i-1}}\left({t}_{i}\right)+\frac{1}{\mathrm{\Gamma }\left(\alpha \right)}{\int }_{{t}_{i}}^{{t}_{i+1}}{\left({t}_{i+1}-\tau \right)}^{\alpha -1}\stackrel{˜}{{f}_{i}}\left(\tau ,{y}_{i}\left(\tau \right)\right)\phantom{\rule{0.2em}{0ex}}d\tau \\ ={s}_{i,{n}_{i}}\left({t}_{i+1}\right),\end{array}$
(6)

where $\stackrel{˜}{{f}_{i}}\left(t\right)={\sum }_{k=0}^{{n}_{i}}{F}_{i}\left(k\right){\left(t-{t}_{i}\right)}^{\alpha k}$.

In what follows we describe that the value of ${y}_{i}\left({t}_{i+1}\right)$ in the analytical approach does have an addition term compared to Eq. (6). This term results from the effect of memory for the fractional derivative operator. Taking the Riemann-Liouville integral operator to (1), the solution $y\left(t\right)$ can be computed at $t={t}_{i+1},{t}_{i}$ by

$y\left({t}_{i+1}\right)=y\left({t}_{0}\right)+\frac{1}{\mathrm{\Gamma }\left(\alpha \right)}{\int }_{{t}_{0}}^{{t}_{i+1}}{\left({t}_{i+1}-\tau \right)}^{\alpha -1}f\left(\tau ,y\left(\tau \right)\right)\phantom{\rule{0.2em}{0ex}}d\tau ,$

and

$y\left({t}_{i}\right)=y\left({t}_{0}\right)+\frac{1}{\mathrm{\Gamma }\left(\alpha \right)}{\int }_{{t}_{0}}^{{t}_{i}}{\left({t}_{i}-\tau \right)}^{\alpha -1}f\left(\tau ,y\left(\tau \right)\right)\phantom{\rule{0.2em}{0ex}}d\tau .$

Thus, for $i\ge 1$, the value of $y\left({t}_{i+1}\right)$ can be rewritten by

$\begin{array}{rl}y\left({t}_{i+1}\right)=& y\left({t}_{i}\right)+\frac{1}{\mathrm{\Gamma }\left(\alpha \right)}{\int }_{{t}_{i}}^{{t}_{i+1}}{\left({t}_{i+1}-\tau \right)}^{\alpha -1}f\left(\tau ,y\left(\tau \right)\right)\phantom{\rule{0.2em}{0ex}}d\tau \\ +\frac{1}{\mathrm{\Gamma }\left(\alpha \right)}{\int }_{{t}_{0}}^{{t}_{i}}\left\{{\left({t}_{i+1}-\tau \right)}^{\alpha -1}-{\left({t}_{i}-\tau \right)}^{\alpha -1}\right\}f\left(\tau ,y\left(\tau \right)\right)\phantom{\rule{0.2em}{0ex}}d\tau .\end{array}$
(7)

Hence the value of $y\left({t}_{i+1}\right)$ can be approximated by

$\begin{array}{rl}y\left({t}_{i+1}\right)\approx & y\left({t}_{i}\right)+\frac{1}{\mathrm{\Gamma }\left(\alpha \right)}{\int }_{{t}_{i}}^{{t}_{i+1}}{\left({t}_{i+1}-\tau \right)}^{\alpha -1}{\stackrel{˜}{f}}_{i}\left(\tau ,y\left(\tau \right)\right)\phantom{\rule{0.2em}{0ex}}d\tau \\ +\frac{1}{\mathrm{\Gamma }\left(\alpha \right)}\sum _{k=0}^{i-1}{\int }_{{t}_{k}}^{{t}_{k+1}}\left\{{\left({t}_{i+1}-\tau \right)}^{\alpha -1}-{\left({t}_{i}-\tau \right)}^{\alpha -1}\right\}{\stackrel{˜}{f}}_{k}\left(\tau ,y\left(\tau \right)\right)\phantom{\rule{0.2em}{0ex}}d\tau .\end{array}$
(8)

As seen in (6) and (8), it is clear that the standard MsGDTM is missing the memory term:

$\text{memory}\equiv \frac{1}{\mathrm{\Gamma }\left(\alpha \right)}\sum _{k=0}^{i-1}{\int }_{{t}_{k}}^{{t}_{k+1}}\left\{{\left({t}_{i+1}-\tau \right)}^{\alpha -1}-{\left({t}_{i}-\tau \right)}^{\alpha -1}\right\}{\stackrel{˜}{f}}_{k}\left(\tau ,y\left(\tau \right)\right)\phantom{\rule{0.2em}{0ex}}d\tau .$

Thus it is difficult to obtain an accurate approximation by using the standard MsGDTM for solving the fractional differential equations.

In order to avoid this difficulty, it is necessary to introduce a new algorithm to impose the memory term at each sub-domain ${\mathrm{\Omega }}_{i}$. Here, as described in [1], we apply the piecewise linear interpolation of $f\left(\tau ,y\left(\tau \right)\right)$ in ${\mathrm{\Omega }}_{k}$ at $k=0,1,\dots ,i+1$ to obtain the value of $y\left({t}_{i+1}\right)$ as follows:

$\begin{array}{rcl}y\left({t}_{i+1}\right)& =& y\left({t}_{0}\right)+\frac{1}{\mathrm{\Gamma }\left(\alpha \right)}{\int }_{{t}_{0}}^{{t}_{i+1}}{\left({t}_{i+1}-\tau \right)}^{\alpha -1}f\left(\tau ,y\left(\tau \right)\right)\phantom{\rule{0.2em}{0ex}}d\tau \\ \approx & y\left({t}_{0}\right)+\frac{1}{\mathrm{\Gamma }\left(\alpha \right)}\sum _{k=0}^{i}{\int }_{{t}_{k}}^{{t}_{k+1}}{\left({t}_{i+1}-\tau \right)}^{\alpha -1}\stackrel{ˆ}{{f}_{k}}\left(\tau ,y\left(\tau \right)\right)\phantom{\rule{0.2em}{0ex}}d\tau \\ =& y\left({t}_{0}\right)+\frac{{h}^{\alpha }}{\mathrm{\Gamma }\left(\alpha +2\right)}\sum _{k=0}^{i+1}{a}_{k,i+1}f\left({t}_{k},y\left({t}_{k}\right)\right),\end{array}$

where

Since the approximation of ${y}_{i}\left(t\right)$ in each sub-interval ${\mathrm{\Omega }}_{i}$ can be obtained by using the GDTM, ${y}_{i}\left(t\right)\approx {s}_{i,{n}_{i}}\left(t\right)$, the initial condition $y\left({t}_{i+1}\right)$ can be evaluated by

$y\left({t}_{i+1}\right)\approx y\left({t}_{0}\right)+\frac{{h}^{\alpha }}{\mathrm{\Gamma }\left(\alpha +2\right)}\sum _{k=0}^{i}{a}_{k,i+1}f\left({t}_{k},{s}_{k,{n}_{k}}\left({t}_{k}\right)\right).$
(9)

5 Numerical illustrations

In this section we demonstrate numerical results of several examples by using the standard MsGDTM and the proposed MsGDTM (P-MsGDTM) in (9) for various fractional order α. To confirm the numerical accuracy, we also present the numerical results obtained by the fractional Adams-Bashforth-Moulton method (FABM) [1]. To apply the GDTMs, we assume that the solution $y\left(t\right)$ belongs to ${\left({D}^{\alpha }\right)}^{k}y\left(t\right)\in C\left(0,T\right)$, where $k>5$ and $T>1$. On both the standard MsGDTM and the P-MsGDTM, the approximate solutions are obtained by using five generalized differential transforms. That is, ${y}_{i}\left(t\right)\approx {\sum }_{k=0}^{5}{Y}_{i}\left(k\right){\left(t-{t}_{0}\right)}^{\alpha k}$. All solutions are computed up to time $t=1.0$ when the fractional order α varies from 0.5 to 0.9.

Example 1 Consider the fractional Riccati equation [7]

${D}^{\alpha }y\left(t\right)=2y\left(t\right)-{y}^{2}\left(t\right)+1,\phantom{\rule{1em}{0ex}}st>0,$

where $0<\alpha \le 1$, subject to the initial condition $y\left(0\right)=0$.

Table 1 shows a comparison of the numerical results obtained by the standard MsGDTM, the P-MsGDTM and the FABM for the fractional order $\alpha =0.9$. The time step is chosen as $h=0.001$ in the standard MsGDTM and the FABM, and $h=0.01$ in the P-MsGDTM. The numerical results in the P-MsGDTM are in a good agreement with the ones in FABM at each time $t=0.1,\dots ,0.9$. However, the standard MsGDTM gives inaccurate approximate solutions. For $\alpha =0.5,0.6,0.7$ and 0.8, the comparisons of the numerical results are shown in Figure 1. It is easy to see that the P-MsGDTM gives accurate numerical solutions for all α, but the standard MsGDTM does not. As the fractional order α is getting smaller, the standard MsGDTM gives an inaccurate approximate solution in a shorter range of time.

Example 2 Consider the fractional differential equation [6]

${D}^{\alpha }y\left(t\right)=-y\left(t\right),$

where $0<\alpha \le 1$, subject to the initial conditions $y\left(0\right)=1$.

The exact solution can be written analytically, $y\left(t\right)={E}_{\alpha }\left(-{t}^{\alpha }\right)$, where ${E}_{\alpha }\left(z\right)$ is the one-parameter Mittag-Leffler function as follows:

${E}_{\alpha }\left(z\right)=\sum _{k=0}^{\mathrm{\infty }}\frac{{\left(z\right)}^{k}}{\mathrm{\Gamma }\left(\alpha k+1\right)}.$

The numerical results obtained by the standard MsGDTM, the P-MsGDTM are compared with the exact solution for the fractional order $\alpha =0.9$ in Table 2. It is shown that the numerical approximations by the P-MsGDTM agree with the exact solution in three decimal places for all t. However, the standard MsGDTM gives only reliable approximations when the time is close to zero and the error is getting larger as the time increases. Figure 2 presents the comparisons of the numerical results by the standard MsGDTM and P-MsGDTM and the exact solutions for the fractional order $\alpha =0.5,0.6,0.7$ and 0.9.

Example 3 Consider the following fractional differential equation:

${D}^{\alpha }y\left(t\right)=exp\left[y\left(t\right)\right]-2y\left(t\right),$

where $0<\alpha \le 1$, subject to the initial conditions $y\left(0\right)=0$.

In order to obtain a recursive relation for the nonlinear term $exp\left[y\left(t\right)\right]$, we adopted the method in [28] using the Adomian polynomials. Let us assume $g\left(t\right)=exp\left[y\left(t\right)\right]={\sum }_{k=0}^{\mathrm{\infty }}{G}_{i}\left(k\right){\left(t-{t}_{i}\right)}^{k}$, then the Adomian polynomial gives the differential transforms ${G}_{i}\left(k\right)$ in Table 3. Numerical results by the standard MsGDTM, the P-MsGDTM and the FABM for $\alpha =0.9$ are shown in Table 4. It is shown that the numerical approximations by the P-MsGDTM agree well with the results by the FABM for all t. Here, the time step $h=0.1$ is used to obtain the approximation in the P-MsGDTM, whereas the FABM employs the time step $h=0.001$. For $\alpha =0.5,0.6,0.7$ and 0.8, the numerical comparisons are shown in Figure 3. In the standard MsGDTM the numerical results are dramatically increasing as the fractional order is getting smaller.

Example 4 Consider the following fractional differential equation:

${D}^{\alpha }y\left(t\right)=2y\left(t\right)-4y\left(t\right)ln\left[y\left(t\right)\right],$

where $0<\alpha \le 1$, subject to the initial conditions $y\left(0\right)=0.5$.

For the nonlinear term $ln\left[y\left(t\right)\right]$, we obtained the differential transforms by using the Adomian polynomials in [28]. Assuming $g\left(t\right)=y\left(t\right)ln\left[y\left(t\right)\right]={\sum }_{k=0}^{\mathrm{\infty }}{G}_{i}\left(k\right){\left(t-{t}_{i}\right)}^{k}$, the differential transforms ${G}_{i}\left(k\right)$ are listed in Table 5. For the fractional order for $\alpha =0.9$, the numerical results by the standard MsGDTM ($h=0.01$), the P-MsGDTM ($h=0.01$) and the FABM ($h=0.001$) are shown in Table 6. For $\alpha =0.5,0.6,0.7$ and 0.8, the approximate solutions are depicted in Figure 4. Even if the numerical results by the P-MsGDTM with small fractional order have some difference with the results by the FABM, it will be overcome with a small time step. In fact, if we consider the numerical error for $\alpha =0.5$ at $t=1$, the error is about 0.066 for $h=0.01$ but 0.047 for $h=0.005$.

6 Conclusion

In this paper, we proposed a new modified multistage generalized differential transform method for solving fractional differential equations. We have pointed out that the standard MsGDTM has difficulty to handle the effect of memory in solving fractional differential equations. However, the proposed MsGDTM (P-MsGDTM) can deal with the memory effectively. Several illustrative examples showed that the P-MsGDTM obtained accurate numerical approximations, but the standard MsGDTM failed to get robust approximations for all examples. It is concluded that the proposed MsGDTM is very simple and effective for solving fractional problems. Here, all numerical results were performed by using Mathematica 8.0.

References

1. Diethelm K, Ford NJ, Freed D: A predictor-corrector approach for the numerical solution of fractional differential equation. Nonlinear Dyn. 2009, 29: 2-22.

2. Baleanu D, Diethelm K, Scalas E, Trujillo J: Fractional Calculus Models and Numerical Methods. World Scientific, Boston; 2012.

3. Saha Ray S, Bera RK: An approximate solution of a nonlinear fractional differential equation by Adomian decomposition method. Appl. Math. Comput. 2005, 167: 561-571. 10.1016/j.amc.2004.07.020

4. Hu Y, Luo Y, Lu Z: Analytical solution of the linear fractional differential equation by Adomian decomposition method. J. Comput. Appl. Math. 2008, 215: 220-229. 10.1016/j.cam.2007.04.005

5. Duan J-S, Rach R, Baleanu D, Wazwaz A-M: A review of the Adomian decomposition method and its applications to fractional differential equations. Commun. Fract. Calc. 2012, 3: 73-99.

6. Hashim I, Abdulaziz O, Momani S: Homotopy analysis method for fractional IVPs. Commun. Nonlinear Sci. Numer. Simul. 2009, 14: 674-684. 10.1016/j.cnsns.2007.09.014

7. Odibat Z, Momani S, Xu H: A reliable algorithm of homotopy analysis method for solving nonlinear fractional differential equations. Appl. Math. Model. 2010, 34: 593-600. 10.1016/j.apm.2009.06.025

8. Elsaid A: Homotopy analysis method for solving a class of fractional partial differential equations. Commun. Nonlinear Sci. Numer. Simul. 2011, 16: 3655-3664. 10.1016/j.cnsns.2010.12.040

9. Abdulaziz O, Hashim I, Momani S: Application of homotopy-perturbation method to fractional IVPs. J. Comput. Appl. Math. 2008, 216: 574-584. 10.1016/j.cam.2007.06.010

10. Abdulaziz O, Hashim I, Momani S: Solving systems of fractional differential equations by homotopy-perturbation method. Phys. Lett. A 2008, 372: 451-459. 10.1016/j.physleta.2007.07.059

11. Das S: Analytical solution of a fractional diffusion equation by variational iteration method. Comput. Math. Appl. 2009, 57: 483-487. 10.1016/j.camwa.2008.09.045

12. Guo S, Mei L: The fractional variational iteration method using He’s polynomials. Phys. Lett. A 2011, 375: 309-313. 10.1016/j.physleta.2010.11.047

13. Wu G-c: A fractional variational iteration method for solving fractional nonlinear differential equations. Comput. Math. Appl. 2011, 61: 2186-2190. 10.1016/j.camwa.2010.09.010

14. Wu GC, Baleanu D: Variational iteration method for the Burgers flow with fractional derivatives-New Lagrange multipliers. Appl. Math. Model. 2012, 37: 6183-6190.

15. Wu GC, Baleanu D: Variational iteration method for fractional calculus - a universal approach by Laplace transform. Adv. Differ. Equ. 2013., 2013: Article ID 18

16. Arikoglum A, Ozkol I: Solution of fractional differential equations by using differential transform method. Chaos Solitons Fractals 2007, 34: 1473-1481. 10.1016/j.chaos.2006.09.004

17. Odibat Z, Shawagfeh N: Generalized Talyor’s formula. Appl. Math. Comput. 2007, 186: 286-293. 10.1016/j.amc.2006.07.102

18. Odibat Z, Momani S, Erturk VS: Generalized differential transform method: application to differential equations of fractional order. Appl. Math. Comput. 2008, 197: 467-477. 10.1016/j.amc.2007.07.068

19. Caputo M: Linear models of dissipation whose Q is almost frequency independent. Part II. Geophys. J. R. Astron. Soc. 1967, 13: 529-539. 10.1111/j.1365-246X.1967.tb02303.x

20. Jang MJ, Chen CL, Liu YC: On solving the initial-value problems using the differential transformation method. Appl. Math. Comput. 2000, 115: 145-160. 10.1016/S0096-3003(99)00137-X

21. Jang MJ, Chen CL, Liu YC: Two-dimensional differential transform for partial differential equations. Appl. Math. Comput. 2001, 121: 261-270. 10.1016/S0096-3003(99)00293-3

22. Ravi Kanth ASV, Aruna K: Differential transform method for solving the linear and nonlinear Klein-Gordon equation. Comput. Phys. Commun. 2009, 180: 708-711. 10.1016/j.cpc.2008.11.012

23. Jang B: Comments on ‘Solving a class of two-dimensional linear and nonlinear Volterra integral equations by the differential transform method’. J. Comput. Appl. Math. 2009, 233: 224-230. 10.1016/j.cam.2009.07.012

24. Jang B: Solving linear and nonlinear initial value problems by the projected differential transform method. Comput. Phys. Commun. 2010, 181: 848-854. 10.1016/j.cpc.2009.12.020

25. Odibat Z, Bertelle C, Aziz-Alaoui MA, Duchamp GHE: A multi-step differential transform method and application to non-chaotic or chaotic systems. Comput. Math. Appl. 2010, 59: 1462-1472. 10.1016/j.camwa.2009.11.005

26. Alomari AK: A new analytic solution for fractional chaotic dynamical systems using the differential transform method. Comput. Math. Appl. 2011, 61: 2528-2534. 10.1016/j.camwa.2011.02.043

27. Gökdoğan A, Yildirim A, Merdan M: Solving a fractional order model of HIV infection of CD4+ T cells. Math. Comput. Model. 2011, 54: 2132-2138. 10.1016/j.mcm.2011.05.022

28. Elsaid A: Fractional differential transform method combined with the Adomian polynomials. Appl. Math. Comput. 2012, 218: 6899-6911. 10.1016/j.amc.2011.12.066

Acknowledgements

This research was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (No. 2011-0004869).

Author information

Authors

Corresponding author

Correspondence to Bongsoo Jang.

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

BJ established the scheme, performed all the numerical examples in Section 5 and drafted the manuscript. KK helped to inspect the manuscript and designed the figures. All authors read and approved the final manuscript.

Authors’ original submitted files for images

Below are the links to the authors’ original submitted files for images.

Rights and permissions

Reprints and Permissions

Kim, K., Jang, B. A semi-analytic method with an effect of memory for solving fractional differential equations. Adv Differ Equ 2013, 371 (2013). https://doi.org/10.1186/1687-1847-2013-371

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1687-1847-2013-371

Keywords

• Fractional Order
• Fractional Derivative
• Recursive Relation
• Fractional Differential Equation
• Homotopy Analysis Method