- Research
- Open Access
- Published:

# Laplace homotopy analysis method for solving linear partial differential equations using a fractional derivative with and without kernel singular

*Advances in Difference Equations*
**volume 2016**, Article number: 164 (2016)

## Abstract

In this work, we present an analysis based on a combination of the Laplace transform and homotopy methods in order to provide a new analytical approximated solutions of the fractional partial differential equations (FPDEs) in the Liouville-Caputo and Caputo-Fabrizio sense. So, a general scheme to find the approximated solutions of the FPDE is formulated. The effectiveness of this method is demonstrated by comparing exact solutions of the fractional equations proposed with the solutions here obtained.

## 1 Introduction

Fractional equations have enabled the investigation of the nonlocal response of multiple phenomena such as diffusion processes, electrodynamics, fluid flow, elasticity and many more [1–5]; fractional derivatives are memory operators which usually represent dissipative effects or damage. Some fundamental definitions of fractional derivatives were given by Coimbra, Davison and Essex, Riesz, Riemann-Liouville, Hadamard, Weyl, Jumarie, Grünwald-Letnikov, and Liouville-Caputo [6–8], and the properties of these derivatives are reviewed in [9]. The use of Caputo and Caputo-Fabrizio fractional derivatives is gaining importance in physics because of their specific properties, in both definitions, for a constant the derivative is zero and the initial conditions used in the fractional differential equations having a direct physical interpretation [10, 11]; however, the Liouville-Caputo fractional operator presents a singularity in its kernel. With the purpose to describe in a better way the memory effect, Caputo and Fabrizio presented a novel definition with an exponential kernel named the Caputo-Fabrizio fractional operator [10], this novel fractional operator is considered as a fractional filter. Applications of this fractional operator are given in [12–15].

The constructions of the exact and explicit solutions of the partial differential equations are very important to understand better the mechanisms of complex physical phenomena. Several methods have been proposed for studying the analytical solutions of fractional partial differential equations. Among these are the variational iteration method [16–18], the Adomian descomposition method [19, 20], the fractional sub-equation method [21–23], the homotopy perturbation technique [24–27]. The searching of new analytical solutions for fractional partial differential equations is an important topic, which can also provide valuable reference for other related research. The homotopy analysis method (HAM), [28–31] transforms a problem into an infinite number of linear problems without using the perturbation techniques, this method employs the concept of the homotopy from topology to generate a convergent series solution. The HAM was applied to solving the fractional heat-like partial differential equations subject to the Neumann boundary conditions [32] and fractional diffusion-wave equations [33]. The authors in [34] solved different linear and nonlinear systems of fractional partial differential equations, using the HAM. The Laplace homotopy perturbation method (LHPM) is a combination of the homotopy analysis method proposed by Liao in 1992 and the Laplace transform [35, 36].

Various authors have proposed several schemes to solve fractional partial differential equations with Liouville-Caputo and Caputo-Fabrizio fractional operators. Dehghan in [37] applied the HAM to solve linear partial differential equations, in this work, fractional derivatives are described in the Liouville-Caputo sense. Xu in [38] studied analytically the time fractional wave-like differential equation with a variable coefficient, the author reduced the governing equation to two fractional ordinary differential equations. Jafari in [39] used the HAM to obtain the solution of multi-order fractional differential equation studied by Diethelm and Ford [40]. Goufo *et al.* [41] developed a mathematical analysis of a model of rock fracture in the ecosystem and applied the CF fractional derivative, where analytical and computational approaches are obtained. Other analytical approaches that could be of interest are presented in [42–47].

In this paper, we use the Laplace homotopy analysis method (LHAM) to solved linear fractional partial differential equations using fractional operators of Liouville-Caputo and Caputo-Fabrizio type. The basic definitions of fractional calculus are given in Section 2, several test problems to show the effectiveness proposed method are given in Section 3, and finally the conclusion is given in Section 4.

## 2 Definitions

Let \(f\in{L}_{1}(a,b)\), and \(n<\alpha\leq n+1\), then the expression

is the Liouville-Caputo fractional derivative of order *α*. The validity of this definition is limited to functions *f* such that \(f^{(n)}\in{L}_{1}(a,b)\).

If \(f^{(n)}\in{L}(\mathbb{R^{+}})\) and if \(f^{(n)}(t)\) is of exponential order \(\nu_{n}\), with \(\nu_{n}>0\), \(\forall n=0,1,2,\ldots,m-1\), then the Laplace transform for this definition has the form proposed by the authors in [11],

for \(Re(s)> k\), \(k=\max\{ \nu_{n} | n=0,1,2,\ldots,m-1\}\).

From the above results it follows that

Now, if the kernel \((t-s)^{n-\alpha-1}\) is changed for the function \(\exp(-\alpha(t-s)/(1-\alpha))\), and \(\frac{1}{\Gamma(n-\alpha)}\) for \(\frac{(2-\alpha)M(\alpha)}{2(1-\alpha)}\) in equation (1), we have the new definition of fractional operator proposed by Caputo and Fabrizio (CF) [10, 11], which is expressed as follows:

where \(M(\alpha)\) is a normalization function such that \(M(0)=M(1)=1\). This new definition does not have singularities at \(t=s\).

If \(0<\alpha\leq1\) and \(n\in\mathbb{N}\), then we define the Laplace transform in the CF sense as follows [10, 11]:

From this expression we have the special cases

The Liouville-Caputo fractional derivative is more affected by the past compared with the Caputo-Fabrizio fractional derivative.

### 2.1 General description of the method using the operator of Liouville-Caputo (\(n-1<\alpha\leq n\))

Consider the following equation in the Liouville-Caputo sense:

where \((x,t )\in [0,1 ]\times [0,T ]\), the initial conditions are

and boundary conditions

and, considering the case where the Laplace transform satisfies

where \(\mathcal{L} [f(x,t) ] (s )=\Theta (x,s )\), equation (7), can be written

The homotopy for equation (11) is constructed as follows:

where \(\Theta (x,s )=\mathcal{L} [u(x,t) ]\), \(\widetilde{\kappa} (x,s )=\mathcal{L} [\kappa(x,t) ]\), and

The solution of equation (12) is obtained by applying the hypothesis that the solution \(\Theta (x,s )\) is expressed as

substituting (14) into (12), we get

which, on comparing the coefficients of powers of *z*, yields

and when \(z\rightarrow1\), equation (16) becomes the approximate solution of (11) and (12), and this solution implies that

applying the inverse of the Laplace transform of (17), we have the approximate solution of equation (18),

### 2.2 Description of the method using the operator of Caputo-Fabrizio (\(m-1<\alpha+n\leq m\))

Consider the following equation in the Caputo-Fabrizio sense:

where \((x,t )\in [0,1 ]\times [0,T ]\), and the initial conditions are

and the boundary conditions

For the Caputo-Fabrizio fractional derivative, the Laplace transform satisfies

defining \(\mathcal{L} [f(x,t) ] (s )=\Theta (x,s )\), for equation (19), we can write

The homotopy for equation (23) can be constructed as follows:

where \(\Theta (x,s )=\mathcal{L} [u(x,t) ]\), \(\widetilde{\kappa} (x,s )=\mathcal{L} [\kappa(x,t) ]\), and

the solution of equation (24) is obtained by applying the hypothesis that the solution \(\Theta (x,s )\) is expressed as

and substituting (26) into (24), we get

and comparing the coefficients of powers of *z* yields

in the limit \(z\rightarrow1\), equation (28) becomes the approximate solution of (23) and (24), and this solution implies that

applying the inverse of the Laplace transform of (29), we obtain the approximate solution of equation (19),

In the next section, we will demonstrate the effectiveness of the LHAM described in Sections 2.1 and 2.2, by considering several illustrative examples. Let us define \(S_{n}(x,t)=\mathcal{L}^{{-1}} [\sum_{i=0}^{n}\varPhi_{i} (x,s ) ]\), which is the *n*th partial sum of the infinite series of approximate solution [28], so the relative error \(RE (\% )\) is calculated as

## 3 Examples

In this section, some test problems are presented using the Liouville-Caputo and Caputo-Fabrizio fractional operators, also the convergence and stability of the method are discussed.

### Example 1

Consider the following equation in the Liouville-Caputo sense:

with the initial conditions

and boundary conditions

The exact solution is given by

Now, using the LHAM, we have

the approximate solution is

Considering \(t=x/s\) and \(dt=dx/s\), we have

applying the inverse of the Laplace transform of (37) and using equation (38), we have

and, when \(n \longrightarrow\infty\), this becomes the following solution:

Figure 1 shows the numerical evaluation of equation (40).

### Example 2

Consider the following equation in the Caputo sense:

with the initial condition

and boundary conditions

The exact solution is given by

By applying the LHAM, we have

the approximate solution is

considering \(t=x/s\) and \(dt=dx/s\), we have

applying the inverse of the Laplace transform of (46) and using equation (47) yield

and, when \(n \longrightarrow\infty\), this becomes the following solution:

Figure 2 shows the numerical evaluation of equation (49).

### Example 3

Consider the following equation in the Caputo-Fabrizio sense:

with the initial conditions

The exact solution is given by

Therefore, applying the LHAM yields

the approximate solution is

Applying the inverse of the Laplace transform of (54), the approximate solution of equation (50), with the initial conditions (51), is given by

and, when \(n\rightarrow\infty\) and \(\alpha=1\), this yields

but in general, if only the limit \(n\rightarrow\infty\) is taken, this yields

Figure 3 shows the numerical evaluation of equation (56).

### Example 4

Consider the following non-homogeneous equation in the Caputo-Fabrizio sense:

with the initial condition

the exact solution is given by

According to the solution obtained by the inversion of the Laplace transform of the exact problem, this yields

therefore we can applied the LHAM, which yields

and so on. By constructing the *n*th order approximated solution, we get

and, applying the inverse of the Laplace transform of (62), the approximate solution of (57)-(58) is given by

and, when \(n\rightarrow\infty\) and \(\alpha=1\), yields

but in general, if only the limit \(n\rightarrow\infty\) is taken, this yields

where the function \(f (x,t,\alpha ) \), is the analytical solution (59). Figure 4 shows the numerical evaluation for equation (65).

### 3.1 Convergence and stability analysis

If the series (17) and (29) converges (\(i=0,1,2,\ldots, n\)) where \(\Theta (x,s )\) is governed by equation (14) and (26), it must be the solution of equation (7) and (19), respectively. Overall, the results show that the proposed approach is stable and convergent. The method provides an excellent convergence region of the solution by introducing the auxiliary functions (15) and (27) and the perturbative approximate results obtained are in good agreement with the exact solutions and the numerical ones.

In order to investigate the convergence and validity of the LHAM described in Sections 2.1 and 2.2, the relative errors \(RE (\% )\), \(n \approx10\), for some value of the position *x*, \(0\le x\le 1\), obtained in a wide range of *t* (\(0\le t\le1\)), when the LHAM solution (54) is compared with the exact solution. The \(RE(\%)\) in the LHAM when we are taking only few terms in the approximated solution (54) \(n\approx10\) for the example 3 considered in the previous section is depicted in Figure 5. The convergence and accuracy of the numerical solution (54) can be seen in Figure 5, this figure shows the error \(RE(\%)\) between the exact solution (55) and the series solutions (54). We notice that the series solutions converge rapidly; the absolute error was obtained with only a few perturbative terms, so we say that a good approximation has been achieved, the validity range applies to the entire domain of equation (49) and there is no restriction to a smaller domain.

Madani in [48] has compared the approximate solutions obtained by means of LHAM in a wide range of the problem’s domain with those results obtained from the exact analytical solutions and the HAM. This comparison shows a precise agreement between the LHAM and exact results. The LHAM solution is valid for a large wide range of time and this suggests that the LHAM can solve non-homogeneous equations with a high degree of accuracy by considering only a few terms in the perturbed solution. On the other hand the relative error for the HAM is dramatically increased as the time value *t* increases, so the HAM solution validity range is restricted to a short region.

Therefore the LHAM is a powerful new method which needs less computation time and is much easier and more convenient than the HPM, because the Laplace transform allows one in many situations to overcome the deficiency mainly caused by unsatisfied boundary or initial conditions that appear in other semi-analytical methods such as the HAM [48].

## 4 Conclusions

In this work, the LHAM is proposed to solve linear fractional partial differential equations considering the Liouville-Caputo and Caputo-Fabrizio fractional operators. Based on this method, a general scheme for the estimation of approximate analytical solutions of fractional equations was developed, considering fractional derivatives with and without singular kernel. The methodology presented has become an important mathematical tool, motivated by the potential usefulness for physics and engineers working in various areas of the natural sciences. The Liouville-Caputo representation has the disadvantage that its kernel has singularities, meaning this kernel includes memory effects and therefore this definition cannot accurately describe the full effect of the memory. Due to this inconvenience, Caputo and Fabrizio in [10] have presented a new definition of the fractional operator without a singular kernel. The two definitions of fractional operators must apply conveniently depending on the nature of the system. The choice of the fractional derivative depends upon the problem studied and in the phenomenological behavior of the system. This work shows that the LHAM is a very efficient tool for solving linear fractional partial differential equations considering fractional operators of Liouville-Caputo and Caputo-Fabrizio type. The LHAM yields a rapidly convergent series solution by using a few iterations [48, 49]. In this paper a Mathematica program has been used for computations and programming.

## References

Baleanu, D, Günvenc, ZB, Tenreiro Machado, JA: New Trends in Nanotechnology and Fractional Calculus Applications. Springer, Berlin (2010)

Buyukkilic, F, Bayrakdar, ZO, Demirhan, D: Investigation of the cumulative diminution process using the Fibonacci method and fractional calculus. Phys. A, Stat. Mech. Appl.

**444**, 336-344 (2016)Gómez-Aguilar, JF, Miranda-Hernández, M, López-López, MG, Alvarado-Martínez, VM, Baleanu, D: Modeling and simulation of the fractional space-time diffusion equation. Commun. Nonlinear Sci. Numer. Simul.

**30**(1), 115-127 (2016)Sahoo, S, Ray, SS: Solitary wave solutions for time fractional third order modified KdV equation using two reliable techniques \((G'/G)\)-expansion method and improved \((G'/G)\)-expansion method. Phys. A, Stat. Mech. Appl.

**448**, 265-282 (2016)Spasic, DT, Kovincic, NI, Dankuc, DV: A new material identification pattern for the fractional Kelvin-Zener model describing biomaterials and human tissues. Commun. Nonlinear Sci. Numer. Simul.

**37**, 193-199 (2016)Cattani, C, Srivastava, HM, Yang, XJ: Fractional Dynamics. de Gruyter, Berlin (2016)

Baleanu, D, Diethelm, K, Scalas, E, Trujillo, JJ: Fractional Calculus Models and Numerical Methods. Series on Complexity, Nonlinearity and Chaos. World Scientific, Singapore (2012)

Podlubny, I: Fractional Differential Equations. Academic Press, New York (1999)

Atangana, A, Secer, A: A note on fractional order derivatives and table of fractional derivatives of some special functions. Abstr. Appl. Anal.

**2013**, 279681 (2013)Caputo, M, Fabricio, M: A new definition of fractional derivative without singular kernel. Prog. Fract. Differ. Appl.

**1**(2), 73-85 (2015)Atangana, A, Alkahtani, BST: New model of groundwater flowing within a confine aquifer: application of Caputo-Fabrizio derivative. Arab. J. Geosci.

**9**(1), 1-6 (2016)Gómez-Aguilar, JF, Yépez Martínez, H, Calderón Ramón, C, Cruz-Orduña, I, Escobar-Jiménez, RF, Olivares-Peregrino, VH: Modeling of a mass-spring-damper system by fractional derivatives with and without a singular kernel. Entropy

**17**(9), 6289-6303 (2015)Alsaedi, A, Nieto, JJ, Venktesh, V: Fractional electrical circuits. Adv. Mech. Eng.

**7**(12), 1-7 (2015)Gómez-Aguilar, JF, López-López, MG, Alvarado-Martínez, VM, Reyes-Reyes, J, Adam-Medina, M: Modeling diffusive transport with a fractional derivative without singular kernel. Phys. A, Stat. Mech. Appl.

**447**, 467-481 (2016)Alsaedi, A, Baleanu, D, Eternad, S, Rezapour, S: On coupled systems of time-fractional differential problems by using a new fractional derivative. J. Funct. Spaces

**2016**, 4626940 (2016)Das, N, Singh, R, Wazwaz, AM, Kumar, J: An algorithm based on the variational iteration technique for the Bratu-type and the Lane-Emden problems. J. Math. Chem.

**54**(2), 527-551 (2016)Mistry, PR, Pradhan, VH: Approximate analytical solution of non-linear equation in one dimensional instability phenomenon in homogeneous porous media in horizontal direction by variational iteration method. Proc. Eng.

**127**, 970-977 (2015)Duan, JS, Rach, R, Wazwaz, AM: Higher order numeric solutions of the Lane-Emden-type equations derived from the multi-stage modified Adomian decomposition method. Int. J. Comput. Math. (2015). doi:10.1080/00207160.2015.1100299

Duan, JS, Rach, R, Wazwaz, AM: Steady-state concentrations of carbon dioxide absorbed into phenyl glycidyl ether solutions by the Adomian decomposition method. J. Math. Chem.

**53**(4), 1054-1067 (2015)Lu, L, Duan, J, Fan, L: Solution of the magnetohydrodynamics Jeffery-Hamel flow equations by the modified Adomian decomposition method. Adv. Appl. Math. Mech.

**7**(5), 675-686 (2015)Ma, HC, Yao, DD, Peng, XF: Exact solutions of non-linear fractional partial differential equations by fractional sub-equation method. Therm. Sci.

**19**(4), 1239-1244 (2015)Guo, S, Mei, L: Exact solutions of space-time fractional variant Boussinesq equations. Adv. Sci. Lett.

**10**(1), 700-702 (2012)Mohyud-Din, ST, Nawaz, T, Azhar, E, Akbar, MA: Fractional sub-equation method to space-time fractional Calogero-Degasperis and potential Kadomtsev-Petviashvili equations. J. Taibah Univ. Sci. 1-6 (2015)

Jafari, H, Ghorbani, M, Ghasempour, S: A note on exact solutions for nonlinear integral equations by a modified homotopy perturbation method. New Trends Math. Sci.

**1**(2), 22-26 (2013)Nino, UF, Leal, HV, Khan, Y, Díaz, DP, Sesma, AP, Fernández, VJ, Orea, JS: Modified nonlinearities distribution homotopy perturbation method as a tool to find power series solutions to ordinary differential equations. Nova Sci.

**12**, 13-38 (2014)Cuce, E, Cuce, PM: A successful application of homotopy perturbation method for efficiency and effectiveness assessment of longitudinal porous fins. Energy Convers. Manag.

**93**, 92-99 (2015)Sayevand, K, Jafari, H: On systems of nonlinear equations: some modified iteration formulas by the homotopy perturbation method with accelerated fourth-and fifth-order convergence. Appl. Math. Model.

**40**(2), 1467-1476 (2016)Liao, S: Homotopy Analysis Method in Nonlinear Differential Equations. Springer, Berlin (2012)

Rahimi, J, Esboee, MR, Ganji, DD, Rahimi-Petrodi, I, Mohammadyari, R: Implementation of homotopy analysis method on circular permeable slider containing of incompressible Newtonian fluid. Bol. Soc. Parana. Mat.

**34**(1), 21-31 (2014)Yu, JS, Yu, JJ: Homotopy analysis method for a prey-predator system with Holling IV functional response. Appl. Mech. Mater.

**687**, 1286-1291 (2014)Khader, MM, Sweilam, NH: An application of homotopy analysis method for estimation the diaphragm deflection in MEMS capacitive microphone. Int. J. Nonlinear Sci.

**17**(1), 3-13 (2014)Xu, H, Liao, SJ, You, XC: Analysis of nonlinear fractional partial differential equations with the homotopy analysis method. Commun. Nonlinear Sci. Numer. Simul.

**14**(4), 1152-1156 (2009)Jafari, H, Seifi, S: Homotopy analysis method for solving linear and nonlinear fractional diffusion-wave equation. Commun. Nonlinear Sci. Numer. Simul.

**14**(5), 2006-2012 (2009)Jafari, H, Seifi, S: Solving a system of nonlinear fractional partial differential equations using homotopy analysis method. Commun. Nonlinear Sci. Numer. Simul.

**14**(5), 1962-1969 (2009)Mohamed, MS, Gepreel, KA, Al-Malki, FA, Al-Humyani, M: Approximate solutions of the generalized Abel’s integral equations using the extension Khan’s homotopy analysis transformation method. J. Appl. Math.

**2015**, 357861 (2015)Gupta, VG, Kumar, P: Approximate solutions of fractional linear and nonlinear differential equations using Laplace homotopy analysis method. Int. J. Nonlinear Sci.

**19**(2), 113-120 (2015)Dehghan, M, Manafian, J, Saadatmandi, A: The solution of the linear fractional partial differential equations using the homotopy analysis method. Z. Naturforsch. A

**65**(11), 935-949 (2010)Xu, H, Cang, J: Analysis of a time fractional wave-like equation with the homotopy analysis method. Phys. Lett. A

**372**(8), 1250-1255 (2008)Jafari, H, Das, S, Tajadodi, H: Solving a multi-order fractional differential equation using homotopy analysis method. J. King Saud Univ., Sci.

**23**(2), 151-155 (2011)Diethelm, K, Ford, NJ: Multi-order fractional differential equations and their numerical solution. Appl. Math. Comput.

**154**, 621-640 (2004)Goufo, EF, Doungmo, MKP, Mwambakana, JN: Duplication in a model of rock fracture with fractional derivative without singular kernel. Open Math.

**13**(1), 839-846 (2015)Yousefi, SA, Dehghan, M, Lotfi, A: Generalized Euler-Lagrange equations for fractional variational problems with free boundary conditions. Comput. Math. Appl.

**62**(3), 987-995 (2011)Arqub, OA, El-Ajou, A: Solution of the fractional epidemic model by homotopy analysis method. J. King Saud Univ., Sci.

**25**(1), 73-81 (2013)Vong, S, Wang, Z: A compact difference scheme for a two dimensional fractional Klein-Gordon equation with Neumann boundary conditions. J. Comput. Phys.

**274**, 268-282 (2014)Atangana, A: On the new fractional derivative and application to nonlinear Fisher’s reaction-diffusion equation. Appl. Math. Comput.

**273**, 948-956 (2016)Atangana, A, Alkahtani, BST: Analysis of the Keller-Segel model with a fractional derivative without singular kernel. Entropy

**17**(6), 4439-4453 (2015)Mohebbi, A, Abbaszadeh, M, Dehghan, M: High-order difference scheme for the solution of linear time fractional Klein-Gordon equations. Numer. Methods Partial Differ. Equ.

**30**(4), 1234-1253 (2014)Madani, M, Fathizadeh, M, Khan, Y, Yildirim, A: On the coupling of the homotopy perturbation method and Laplace transformation. Math. Comput. Model.

**53**(9-10), 1937-1945 (2011)Liao, S: Beyond Perturbation: Introduction to the Homotopy Analysis Method. CRC Press, Boca Raton (2003)

## Acknowledgements

We would like to thank to Mayra Martínez for the interesting discussions. Victor Fabian Morales Delgado acknowledges the support provided by CONACYT-FOMIX, fortalecimiento de la maestría en matemáticas aplicadas de la universidad autónoma de Guerrero. José Francisco Gómez Aguilar acknowledges the support provided by CONACYT: cátedras CONACYT para jovenes investigadores 2014.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

### Authors’ contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## About this article

### Cite this article

Morales-Delgado, V.F., Gómez-Aguilar, J.F., Yépez-Martínez, H. *et al.* Laplace homotopy analysis method for solving linear partial differential equations using a fractional derivative with and without kernel singular.
*Adv Differ Equ* **2016**, 164 (2016). https://doi.org/10.1186/s13662-016-0891-6

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13662-016-0891-6

### Keywords

- fractional calculus
- fractional differential equations
- Caputo fractional operator
- Caputo-Fabrizio fractional operator
- homotopy analysis method
- approximate solution