An approximate solution of fractional cable equation by homotopy analysis method

Abstract

In this article, the homotopy analysis method (HAM) is applied to solve the fractional cable equation by the Riemann-Liouville fractional partial derivative. This method includes an auxiliary parameter h which provides a convenient way of adjusting and controlling the convergence region of the series solution. In this study, approximate solutions of the fractional cable equation are obtained by HAM. We also give a convergence theorem for this equation. A suitable value for the auxiliary parameter h is determined and results obtained are presented by tables and figures.

1 Introduction

Fractional calculus has a very long history. However, this field lagged behind classic analysis. In fact, the basis of fractional calculus depended on classic analysis. Especially, in recent years fractional differential equations were used in fluid mechanics, viscoelasticity, biology, pharmacy, physics, chemistry and biochemistry, hydrology, medicine, finance, and engineering. The fractional-order models are more useful than integer-order models in many cases. Structures having fractional order are more useful in the studies that have been done by developing technology.

However, the analytic solutions of most fractional differential equations generally cannot be obtained. Thus, fractional differential equations have been solved by many approximate methods. Examples are the homotopy perturbation method [1, 2], the method of separating variables [3], the iteration method [4], the decomposition method [5], and the homotopy analysis method [6].

In this study, we will consider the cable equation that has been used in modeling the ion electro diffusion at the neurons. The cable equation occurred due to anomalous diffusion and this equation is one of the most fundamental equations for modeling neuronal dynamics [7]. The cable equation can be derived from the Nernst-Planck equation for electrodiffusion in smooth homogeneous cylinders [8]. In recent years, studies were conducted on various biological and physical systems. In this equation, the diffusion rate of species cannot be characterized by the single parameter of the diffusion constant [7]. The anomalous diffusion is characterized by a scaling parameter γ as well as the diffusion constant D and the mean square displacement of diffusing species $〈r^2(t)〉$ scales as a nonlinear power law in time, i.e., $〈r^2(t)〉\sim t^{\gamma }$ [7–9]. Henry et al. derived a fractional cable equation from the fractional Nernst-Planck equations to model anomalous electrodiffusion of ions in spiny dentrites [9]. They subsequently found a fractional cable equation by treating the neuron and its membrane as two separate materials governed by separate fractional Nernst-Planck equations. As a result, the fractional cable equation includes two Riemann-Liouville fractional derivatives.

Consider the following fractional cable equation:

$$\frac{\partial u(x,t)}{\partial t}={}_0{D}_t^{1-{\gamma }_1}\left(K\frac{{\partial }^{2}u(x,t)}{\partial x^2}\right)-{\mu }_0^2{}_0{D}_t^{1-{\gamma }_2}u(x,t)+f(x,t),$$

(1.1)

$$u(x,0)=g(x),0\le x\le L,$$

(1.2)

$$u(0,t)=\phi (t),u(L,t)=\psi (t),0\le t\le T,$$

(1.3)

where $0<{\gamma }_1,{\gamma }_2<1$, $K>0$ and ${\mu }_0^2$ are constants, and ${}_{0}D_t^{1-{\gamma }_1}u(x,t)$ is the Riemann-Liouville fractional partial derivative of order $1-\gamma$ [9].

In the literature, there are few treatments of approximate solutions of the fractional cable equation in terms of (1.1). Equation (1.1) has been solved by implicit numerical methods (INM) [9], the implicit compact difference scheme (ICFDS) [10], and explicit numerical methods [11].

Here, we will use the HAM, which is an approximate solution to solve this equation. The HAM method was developed in 1992 by Liao in [12]. This method has been successfully applied by many authors [13–17]. The HAM contains the auxiliary parameter h which provides us with a simple way to adjust and control the convergence region of solution series for large or small values of x and t.

2 Preliminaries and notations

We give some basic definitions and properties of the fractional calculus theory, which are used further in this paper.

Definition 2.1 The Euler Gamma function $\mathrm{\Gamma }(z)$ is defined by the so-called Euler integral of the second kind,

$$\mathrm{\Gamma }(z)={\int }_0^{\mathrm{\infty }}{t}^{z-1}{e}^{-t}dt(R(z)>0),$$

(2.1)

where $t^{z-1}=e^{(z-1)logt}$. This integral is convergent for all complex $z\notin \mathbb{C}$ [18].

Definition 2.2 The Riemann-Liouville fractional integral operator of order $\alpha \ge 0$ of a function $f\in C_{\mu }$, $\mu \ge -1$, is defined as

$$D_t^{-\alpha }u(x,t)=\frac{1}{\mathrm{\Gamma }(\alpha )}{\int }_0^t{(t-\tau )}^{\alpha -1}u(x,\tau )d\tau ,\alpha >0,t>0,$$

(2.2)

and properties of the operator $D^{-\alpha }$ can be found in [19, 20]. Also, some of properties of operator $D^{-\alpha }$ are as follows:

$$\begin{array}{c}(\mathrm{i})D_t^{-\alpha }f(t)=f(t),\hfill \\ (\mathrm{ii})D_x^{-\alpha }\left(x^{\gamma }\right)=\frac{\mathrm{\Gamma }(\gamma +1)}{\mathrm{\Gamma }(\alpha +\gamma +1)}{x}^{\alpha +\gamma },\hfill \\ \phantom{(\mathrm{ii})}{D}_t^{-\alpha }\left(t^{\gamma }\right)=\frac{\mathrm{\Gamma }(\gamma +1)}{\mathrm{\Gamma }(\alpha +\gamma +1)}{t}^{\alpha +\gamma },\hfill \\ (\mathrm{iii})D_t^{-\alpha }{D}_t^{-\beta }f(t)=D_t^{-(\alpha +\beta )}f(t),\hfill \\ (\mathrm{iv})D_t^{-\alpha }{D}_t^{-\beta }f(t)=D_t^{-\beta }{D}_t^{-\alpha }f(t).\hfill \end{array}$$

3 Homotopy analysis method

We consider the following differential equation:

$$N[u(x,t)]=0,$$

(3.1)

where N is a nonlinear differential operator, x and t denote independent variable; $u(x,t)$ is an unknown function. By means of the HAM, one first constructs a zeroth-order deformation equation

$$(1-q)L[\varphi (x,t;q)-u_0(x,t)]=qhH(t)N[\varphi (x,t;q)],$$

(3.2)

where $q\in [0,1]$ is the embedding parameter, $h\ne 0$ is a non-zero auxiliary parameter, $H(t)\ne 0$ is an auxiliary function, L is an auxiliary linear operator, $u_0(x,t)$ is an initial guess of $u(x,t)$, and $\varphi (x,t;q)$ is an unknown function. It is important that one has great freedom to choose auxiliary things in the HAM. Obviously, when $q=0$ and $q=1$, we have

$$\varphi (x,t;0)=u_0(x,t),\varphi (x,t;1)=u(x,t),$$

(3.3)

respectively. The solution $\varphi (x,t;q)$ varies from the initial guess $u_0(x,t)$ to the solution $u(x,t)$. Expanding $\varphi (x,t;q)$ in a Taylor series about the embedding parameter, we have

$$\varphi (x,t;q)=u_0(x,t)+\sum _{m=1}^{\mathrm{\infty }}{u}_m(x,t)q^m,$$

(3.4)

where

$$u_m(x,t)=\frac{1}{m!}\frac{{\partial }^m\varphi (x,t;q)}{\partial q^m}{|}_{q=0},m=1,2,3,\dots .$$

(3.5)

The convergence of the series (3.4) depends upon the auxiliary parameter h. If it is convergent at $q=1$, one has

$$u(x,t)=u_0(x,t)+\sum _{m=1}^{\mathrm{\infty }}{u}_m(x,t).$$

(3.6)

According to (3.6), the governing equation can be deduced from the zeroth-order deformation equation (3.2). Define the vector

$${\overrightarrow{u}}_n=\{u_0(x,t),u_1(x,t),u_2(x,t),\dots ,u_n(x,t)\}.$$

Differentiating (3.2) m times with respect to the embedding parameter q and then setting $q=0$ and finally dividing by m!, we have the so-called m th-order deformation equation

$$L[u_m(x,t)-{\chi }_m{u}_{m-1}(x,t)]=hH(t)R_m({\overrightarrow{u}}_{m-1},x;t),$$

(3.7)

where

$$R_m({\overrightarrow{u}}_{m-1},x;t)=\frac{1}{(m-1)!}\frac{{\partial }^{m-1}N[\varphi (x,t;q)]}{\partial q^{m-1}}{|}_{q=0},$$

(3.8)

and

$${\chi }_m=\{\begin{array}{ll}0,& m\le 1,\\ 1,& m>1.\end{array}$$

(3.9)

It should be emphasized that $u_m(x,t)$ for $m\ge 1$ is governed by the nonlinear equation (3.7) with the linear boundary conditions that come from the original problem, which can easily be solved by symbolic computation software such as Maple and Mathematica.

4 Numerical applications and comparison

Consider the following initial and boundary problem of the fractional cable equation:

$$\frac{\partial u(x,t)}{\partial t}={}_0{D}_t^{1-{\gamma }_1}\frac{{\partial }^{2}u(x,t)}{\partial x^2}-{}_0{D}_t^{1-{\gamma }_2}u(x,t)+f(x,t),$$

(4.1)

$$u(x,0)=0,0\le x\le 1,$$

(4.2)

$$u(0,t)=0,u(1,t)=0,0\le t\le T,$$

(4.3)

where $f(x,t)=2(t+\frac{{\pi }^2{t}^{1+{\gamma }_1}}{\mathrm{\Gamma }(2+{\gamma }_1)}+\frac{t^{1+{\gamma }_2}}{\mathrm{\Gamma }(2+{\gamma }_2)})sin\pi x$. The exact solution of (4.1)-(4.3) is $u(x,t)=t^{2}sin\pi x$ [9].

We choose the linear operator

$$L[\varphi (x,t;q)]=\frac{\partial }{\partial t}\varphi (x,t;q),$$

(4.4)

with the property $L[C]=0$ where C is a constant. We define a nonlinear operator by

$$N[\varphi (x,t,q)]=D_t\varphi (x,t,q)-{}_0{D}_t^{1-{\gamma }_1}\frac{{\partial }^2\varphi (x,t,q)}{\partial x^2}+{}_0{D}_t^{1-{\gamma }_2}\varphi (x,t,q)-f(x,t).$$

(4.5)

Therefore we establish the zeroth-order deformation equation

$$(1-q)L[\varphi (x,t,q)-u_0(x,t)]=qhH(t)N[\varphi (x,t,q)].$$

(4.6)

In (4.6), $q=0$ and $q=1$, we can write

$$\varphi (x,t,0)=u_0(x,t),\varphi (x,t,1)=u(x,t).$$

(4.7)

So we obtain the m th-order deformation equation

$$L[u_m(x,t)-{\chi }_m{u}_{m-1}(x,t)]=hH(t)R_m({\overrightarrow{u}}_{m-1}(x,t)),$$

(4.8)

where

$$R_m({\overrightarrow{u}}_{m-1}(x,t))=\frac{\partial u_{m-1}(x,t)}{\partial t}-{}_0{D}_t^{1-{\gamma }_1}\frac{{\partial }^2{u}_{m-1}(x,t)}{\partial x^2}+{}_0{D}_t^{1-{\gamma }_2}{u}_{m-1}(x,t)-f(x,t)$$

(4.9)

and

$${\chi }_m=\{\begin{array}{ll}0,& m\le 1,\\ 1,& m>1.\end{array}$$

(4.10)

Now the solution of the m th-order deformation equation (4.8) for $m\ge 1$ becomes

$$u_m(x,t)={\chi }_m{u}_{m-1}(x,t)+hH(t)L^{-1}\left[R_m({\overrightarrow{u}}_{m-1}(x,t))\right].$$

(4.11)

Instead of $R_m({\overrightarrow{u}}_{m-1})$,

$$\begin{array}{rcl}{u}_m(x,t)& =& {\chi }_m{u}_{m-1}(x,t)+hH(t){\int }_0^t(\frac{\partial u_{m-1}(x,t)}{\partial t}-{}_0{D}_t^{1-{\gamma }_1}\frac{{\partial }^2{u}_{m-1}(x,t)}{\partial x^2}\\ +{}_0{D}_t^{1-{\gamma }_2}{u}_{m-1}(x,t)-f(x,t))dt\end{array}$$

(4.12)

can be written. The auxiliary function $H(t)$ can be chosen in the form $H(t)=1$.

Rearrangement of (4.12) gives the m th-order deformation equation

$$u_m(x,t)={\chi }_m{u}_{m-1}(x,t)+h{\int }_0^t\left(R_m({\overrightarrow{u}}_{m-1}(x,t))\right)dt.$$

(4.13)

Therefore, some of the symbolically computed components are found as

$$\begin{array}{c}{u}_0(x,t)=0,\hfill \\ u_1(x,t)=h{t}^{2}sin\pi x(-1-\frac{2{\pi }^2{t}^{{\gamma }_1}}{\mathrm{\Gamma }(3+{\gamma }_1)}-\frac{2t^{{\gamma }_2}}{\mathrm{\Gamma }(3+{\gamma }_2)}),\hfill \\ \begin{array}{rl}{u}_2(x,t)=& u_1(x,t)+h(-(t^{2}sin\pi x\left(2\right(2(1+2h){\pi }^2{t}^{{\gamma }_1}\mathrm{\Gamma }(3+2{\gamma }_1)\mathrm{\Gamma }(3+{\gamma }_2)\\ \times \mathrm{\Gamma }(2+{\gamma }_1+{\gamma }_2)\mathrm{\Gamma }(3+2{\gamma }_2)+\mathrm{\Gamma }(3+{\gamma }_1)(2h{\pi }^4{t}^{2{\gamma }_1}\mathrm{\Gamma }(3+{\gamma }_2)\\ \times \mathrm{\Gamma }(2+{\gamma }_1+{\gamma }_2)\mathrm{\Gamma }(3+2{\gamma }_2)+\cdots ,\end{array}\hfill \\ \begin{array}{rl}{u}_3(x,t)=& u_2(x,t)+h(-t^{2}sin\pi x-\frac{1}{3}h{t}^{3}sin\pi x-\frac{2t^{2+{\gamma }_2}sin\pi x}{\mathrm{\Gamma }(3+{\gamma }_2)}-\frac{2h{t}^{3+{\gamma }_2}sin\pi x}{\mathrm{\Gamma }(4+{\gamma }_2)}\\ -\frac{4h^2{\pi }^2{t}^{3+{\gamma }_1+{\gamma }_2}sin\pi x}{\mathrm{\Gamma }(4+{\gamma }_1+{\gamma }_2)}-\frac{h{\pi }^4{t}^{2+2{\gamma }_1}{\gamma }_1}{\mathrm{\Gamma }(3+2{\gamma }_1)(1+{\gamma }_1)}+\frac{(2+{\gamma }_1)}{(1+{\gamma }_1)}\frac{{\pi }^2{t}^{2+2{\gamma }_1}\mathrm{\Gamma }({\gamma }_1)}{\mathrm{\Gamma }(3+2{\gamma }_1)}sin\pi x\\ +(3+2ht+2h^{2}t+{\gamma }_1)\frac{2{\pi }^2{t}^{2+{\gamma }_1}sin\pi x}{\mathrm{\Gamma }(4+{\gamma }_1)}+\frac{2t^{2+{\gamma }_1}sin\pi x}{{\gamma }_1(2+3{\gamma }_1+{\gamma }_1^2)}-\cdots ,\end{array}\hfill \\ ⋮\hfill \end{array}$$

and so on.

As a result, the m th-order approximation of $u(x,t)$ is given by

$$\sum _{m=0}^{\mathrm{\infty }}{u}_m(x,t).$$

(4.14)

Theorem 4.1 (Convergence Theorem)

As long as the series $u(x,t)=u_0(x,t)+{\sum }_{m=1}^{\mathrm{\infty }}{u}_m(x,t)$ converges, where $u_m(x,t)$ is governed by (4.13) under the definitions (4.9) and (4.10), it must be a solution of the fractional cable equation (4.1).

Proof If the series

$$\sum _{m=0}^{+\mathrm{\infty }}{u}_m(x,t)$$

converges, then we can write

$$S(x,t)=\sum _{m=0}^{+\mathrm{\infty }}{u}_m(x,t)$$

and we have

$$\underset{n\to \mathrm{\infty }}{lim}{u}_n(x,t)=0.$$

(4.15)

Using definition (4.13), we get

$$\begin{array}{rcl}h\sum _{m=1}^{\mathrm{\infty }}{R}_m({\overrightarrow{u}}_m(x,t))& =& \sum _{m=1}^{\mathrm{\infty }}L[u_m(x,t)-{\chi }_m{u}_{m-1}(x,t)]\\ =& \underset{n\to \mathrm{\infty }}{lim}\sum _{m=1}^{\mathrm{\infty }}L[u_m(x,t)-{\chi }_m{u}_{m-1}(x,t)]\\ =& L\left[\underset{n\to \mathrm{\infty }}{lim}\sum _{m=1}^{\mathrm{\infty }}(u_m(x,t)-{\chi }_m{u}_{m-1}(x,t))\right]\\ =& L[\underset{n\to \mathrm{\infty }}{lim}{u}_n(x,t)]=0.\end{array}$$

Since $h\ne 0$, ${\sum }_{m=1}^{\mathrm{\infty }}{R}_m({\overrightarrow{u}}_m(x,t))=0$.

From (4.9), we have

$$\begin{array}{rcl}\sum _{m=1}^{\mathrm{\infty }}{R}_m({\overrightarrow{u}}_m(x,t))& =& \sum _{m=1}^{\mathrm{\infty }}[D_t{u}_{m-1}(x,t)-{}_0{D}_t^{1-{\gamma }_1}{u}_{m-1}{(x,t)}_{xx}+{}_0{D}_t^{1-{\gamma }_2}{u}_{m-1}(x,t)-F(x,t)]\\ =& \sum _{m=0}^{\mathrm{\infty }}{D}_t{u}_m(x,t)-\sum _{m=0}^{\mathrm{\infty }}{}_0{D}_t^{1-{\gamma }_1}{u}_m{(x,t)}_{xx}+\sum _{m=0}^{\mathrm{\infty }}{}_0{D}_t^{1-{\gamma }_2}{u}_m(x,t)-F(x,t)\\ =& D_t\sum _{m=0}^{\mathrm{\infty }}{u}_m(x,t)-{}_0{D}_t^{1-{\gamma }_1}\sum _{m=0}^{\mathrm{\infty }}{u}_m{(x,t)}_{xx}+{}_0{D}_t^{1-{\gamma }_2}\sum _{m=0}^{\mathrm{\infty }}{u}_m(x,t)-F(x,t)\\ =& D_{t}S(x,t)-{}_0{D}_t^{1-{\gamma }_1}S{(x,t)}_{xx}+{}_0{D}_t^{1-{\gamma }_2}S(x,t)-F(x,t)\\ =& 0.\end{array}$$

From the initial $u(x,0)=0$ and $u_m(x,0)=0$, we have

$$S(x,0)=\sum _{m=0}^{\mathrm{\infty }}{u}_m(x,0)=u_0(x,t)+\sum _{m=1}^{\mathrm{\infty }}{u}_{m-1}(x,0)=0.$$

(4.16)

Therefore, according to the above expressions, $S(x,t)$ must be the exact solution of (4.1) and (4.2). □

We get the following tables and figures by using a series solution obtained with HAM of (4.1).

5 Conclusion

In this paper, we have achieved approximate solutions of the fractional cable equation that involve two Riemann-Liouville fractional derivatives by means of the homotopy analysis method. We tried to find an approximate solution of this equation by HAM, which is a semi-analytical method. It is not possible to find the analytical solutions of fractional partial differential equations in most cases. In addition, there is an approximate solution of the fractional cable equation that we have considered just with the finite difference method. The HAM results were given by Tables 1-4 and Figures 1-5.

Table 1 Absolute errors obtained when ${\mathit{\gamma }}_{\mathbf{1}}\mathbf{=}{\mathit{\gamma }}_{\mathbf{2}}\mathbf{=}\mathbf{0.5}$ , $\mathit{x}\mathbf{=}{\mathbf{10}}^{\mathbf{-}\mathbf{4}}$ , and $\mathit{h}\mathbf{=}\mathbf{1}\mathbf{/}{\mathbf{10}}^{\mathbf{8}}$

Table 2 Comparison of the HPM, HAM, exact solution (ES) and absolute errors results of $\mathit{u}\mathbf{(}\mathit{x}\mathbf{,}\mathit{t}\mathbf{)}$ when ${\mathit{\gamma }}_{\mathbf{1}}\mathbf{=}{\mathit{\gamma }}_{\mathbf{2}}\mathbf{=}\mathbf{0.5}$ , $\mathit{t}\mathbf{=}\mathbf{0.1}$ , and $\mathit{h}\mathbf{=}\mathbf{-}\mathbf{0.0395}$ for 5th-order approximation

Table 3 Comparison of the HPM, HAM, exact solution (ES) and absolute errors results of $\mathit{u}\mathbf{(}\mathit{x}\mathbf{,}\mathit{t}\mathbf{)}$ when ${\mathit{\gamma }}_{\mathbf{1}}\mathbf{=}{\mathit{\gamma }}_{\mathbf{2}}\mathbf{=}\mathbf{0.25}$ , $\mathit{t}\mathbf{=}\mathbf{0.1}$ , and $\mathit{h}\mathbf{=}\mathbf{-}\mathbf{0.004}$ for 10th-order approximation

Table 4 Comparison of the HPM, HAM, exact solution (ES) and absolute errors results of $\mathit{u}\mathbf{(}\mathit{x}\mathbf{,}\mathit{t}\mathbf{)}$ when ${\mathit{\gamma }}_{\mathbf{1}}\mathbf{=}\mathbf{0.25}$ , ${\mathit{\gamma }}_{\mathbf{2}}\mathbf{=}\mathbf{0.75}$ , $\mathit{t}\mathbf{=}\mathbf{0.1}$ , and $\mathit{h}\mathbf{=}\mathbf{-}\mathbf{0.0043}$ for 10th-order approximation

Figure 1

The h curves of 5th-order and 10th-order approximate solutions obtained by the HAM for ${\mathit{\gamma }}_{\mathbf{1}}\mathbf{=}{\mathit{\gamma }}_{\mathbf{2}}\mathbf{=}\mathbf{0.5}$ , respectively.

Figure 2

The 10th-order approximate solution of $\mathit{u}\mathbf{(}\mathit{x}\mathbf{,}\mathit{t}\mathbf{)}$ with different values of h for ${\mathit{\gamma }}_{\mathbf{1}}\mathbf{=}{\mathit{\gamma }}_{\mathbf{2}}\mathbf{=}\mathbf{0.5}$ and $\mathit{t}\mathbf{=}\mathbf{0.1}$ .

Figure 3

The 10th-order approximate solution of $\mathit{u}\mathbf{(}\mathit{x}\mathbf{,}\mathit{t}\mathbf{)}$ with different values of h for ${\mathit{\gamma }}_{\mathbf{1}}\mathbf{=}\mathbf{0.8}$ , ${\mathit{\gamma }}_{\mathbf{2}}\mathbf{=}\mathbf{0.3}$ and $\mathit{t}\mathbf{=}\mathbf{0.5}$ .

Figure 4

Comparison of the HPM, HAM and Exact solution for 5th-order approximate when $\mathit{t}\mathbf{=}\mathbf{0.1}$ , $\mathit{h}\mathbf{=}\mathbf{-}\mathbf{0.0395}$ and ${\mathit{\gamma }}_{\mathbf{1}}\mathbf{=}{\mathit{\gamma }}_{\mathbf{2}}\mathbf{=}\mathbf{0.5}$ .

Figure 5

Comparison of the HPM, HAM and Exact solution for 10th-order approximate when $\mathit{t}\mathbf{=}\mathbf{0.1}$ , $\mathit{h}\mathbf{=}\mathbf{-}\mathbf{0.004}$ and ${\mathit{\gamma }}_{\mathbf{1}}\mathbf{=}{\mathit{\gamma }}_{\mathbf{2}}\mathbf{=}\mathbf{0.25}$ .

The range of convergence control parameter h was determined by taking a different number of terms of the series solution in Figure 1. We showed that convergent results can be obtained by selecting the appropriate values of x and t of the convergence parameter $h\ne 0$.

An approximate solution that was obtained for different values of the parameter h, the fractional-order derivatives ${\gamma }_1$, ${\gamma }_2$ of the analytical solution and some comparisons for some values of t were presented in Figures 2-3.

A comparison between HPM, HAM, and the analytical solution, when $t=0.1$ for some values of the auxiliary parameter $h\ne 0$ and partial-order derivatives $0<{\gamma }_1,{\gamma }_2\le 1$, was made in Figures 4-5. As can be seen from the figures, HAM and the analytical solution coincided and the HPM solution diverged from the analytical solution.

The absolute errors that were obtained by the implicit numerical method [9], implicit compact finite difference method [10], and HAM can be seen in Table 1. In this table ${\gamma }_1={\gamma }_2=0.5$ and $0.1\le t\le 1.0$. As can be seen from this table when the convergent control parameter h takes a value close to zero, this method gave better results than the other two methods.

A comparison between HPM, HAM, and the analytical solution for ${\gamma }_1$, ${\gamma }_2$ and some values of the auxiliary parameter $h\ne 0$ were presented in Tables 2-4. As can be seen from the tables, the HPM solution diverged from the analytical solution but the HAM solution approached the analytical solution.

Although convergent results for almost every value of the independent variables and convergent control parameter h have been obtained in HAM; the approximate solution diverged at some small and large values of independent variables in HPM. Namely, it is possible to find results that converge rapidly to the analytical solution by HAM.

Consequently HAM is a recommended method for obtaining an approximate solution of the fractional cable equation with ${\gamma }_1$ and ${\gamma }_2$ Riemann-Liouville derivatives.