Abstract
The main objective of this paper is to improve the optimal homotopy analysis method to find the approximate solutions for the linear and nonlinear partial fractional differential equations. The fractional derivatives are described in the Caputo sense. The optimal homotopy analysis method in applied mathematics can be used for obtaining the analytic approximate solutions for some nonlinear partial fractional differential equations such as the time and space fractional nonlinear Schrödinger partial differential equation and the time and space fractional telegraph partial differential equation. The optimal homotopy analysis method contains the h parameter which controls the convergence of the approximate solution series. Also, this method determines the optimal value of h as the best convergence of the series of solutions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction
In recent years, there has been a great deal of interest in fractional differential equations. First there were almost no practical applications of fractional calculus, and it was considered by many as an abstract area containing only mathematical manipulations of little or no use. Nearly 30 years ago, the paradigm began to shift from pure mathematical formulations to applications in various fields, during the last decade, such as fractional systems, astrophysics [1–11]. Historical summaries of the Calculus have been applied to almost every field of science, engineering, and mathematics. Several fields of application of fractional differentiation and fractional integration are already well established; some others have just started. Many applications of fractional calculus can be found in turbulence and fluid dynamics, stochastic dynamical system, plasma physics and controlled thermonuclear fusion, nonlinear control theory, image processing; nonlinear biological developments of fractional calculus can be found in [1–3]. There has been some attempt to solve linear problems with multiple fractional derivatives (the so-called multi-term equations) [2, 12]. Not much work has been done for nonlinear problems and only a few numerical schemes have been proposed to solve nonlinear fractional differential equations. More recently, applications have included classes of nonlinear equation with multi-order fractional derivative and this motivates us to develop a numerical scheme for their solutions [13]. Numerical and analytical methods have included Adomian decomposition method (ADM) [14–17], variational iteration method (VIM) [18–20], homotopy analysis method [21–23], and the fractional complex transformation [24] to get some special exact solutions for nonlinear partial fractional differential equations. The optimal homotopy analysis approach contains convergence control parameters that are rather efficient to nonlinear differential equations [25]. As the main objective of this paper, we will use the optimal homotopy analysis method for calculating the analytic approximate solutions for some nonlinear partial fractional differential equations via the nonlinear Schrödinger partial fractional differential equation and the telegraph partial fractional differential equation. Also, we make the figures to compare between the approximate solutions and the exact for nonlinear partial fractional differential equations when α, β → 1.
Preliminaries and notations
We give some basic definitions and properties of the fractional calculus theory which are used further in this paper [2, 3]. For the finite derivative \( \left[ {a,b} \right] \), we define the following fractional integral and derivatives.
Definition 2.1
If \( f(t) \in L_{1} (a,\,b) \), the set of all integrable functions, and \( \alpha > 0 \) then the Riemann–Liouville fractional integral of order \( \alpha \), denoted by \( I_{\alpha + }^{\alpha } \) is defined by
Definition 2.2
For \( \alpha > 0, \) the Caputo fractional derivative of order \( \alpha \), denoted by \( {}^{C}D_{a + }^{\alpha } \), is defined by
where \( n \) is such that \( n - 1 < \alpha < n \) and \( D = \tfrac{d}{d\tau } \)
If \( \alpha \) is an integer, then this derivative takes the ordinary derivative
Finally the Caputo fractional derivative on the whole space \( \Re \) is defined by,
Definition 2.3
For \( \alpha > 0 \) the Caputo fractional derivative of order \( \alpha \) on the whole space, denoted by \( ^{C} D_{ + }^{\alpha } \), is defined by
Basic idea of the optimal homotopy analysis method (OHAM)
To describe the basic ideas of the HAM, we consider the following differential equation:
where \( N \) is a nonlinear operator for this problem, \( D_{t}^{\alpha } \) stands for the fractional derivative, \( \;x \), \( t \) denotes the independent variables, and \( u(x,\,t) \) is an unknown function.
By means of the HAM, one first constructs zero-order deformation equation
where \( q \in [0,\,1] \) is the embedding parameter, \( h \ne 0 \) is an auxiliary parameter, \( H(t) \ne 0 \) is an auxiliary function, \( \ell \) is an auxiliary linear operator, and \( u_{0} \left( {x,t} \right) \) is an initial guess. Obviously, when \( q = 0 \) and \( q = 1 \), it holds
Liao [22, 23] expanded \( \phi \left( {x,t;q} \right) \) in Taylor series with respect to the embedding parameter \( q \), as follows:
where
Assume that the auxiliary linear operator, the initial guess, the auxiliary parameter \( h, \) and the auxiliary function \( H(t) \) are selected such that the series (3.4) is convergent at \( q = 1 \), then we have from (3.4)
Let us define the vector
Differentiating (3.2) \( m \) times with respect to \( q \), then setting \( q = 0 \) and dividing then by \( m! \), we have the \( m \)th-order deformation equation
where
and
Applying the Riemann–Liouville integral operator \( I^{\alpha } \) on both sides of (3.8), we have
the \( m \)th-order deformation Eq. (3.8) which is linear and thus can be easily solved, especially by means of symbolic computation softwares such as Mathematica, Maple, and MathLab. For the convergence of the above method we refer the reader to Liao’s work.
Liao [25], Yabushita et al. [26] and Abbasbandy et al. [27] applied the homotopy analysis method to nonlinear ODE’s and suggested the so-called optimization method to find out the optimal convergence control parameters by minimum of the square residual error integrated in the whole region having physical meaning. Their approach is based on the square residual error
of a nonlinear Eq. (3.1), where \( \mathop \sum \nolimits_{i = 0}^{M} u_{i} (\tau ) \) gives the \( M \)th-order homotopy analysis method approximation. Obviously \( \Delta (h) \to 0,\, \) as \( M \to \infty \) corresponds to a convergent series solution. For given order \( M \) of approximation, the optimal value of \( h \) is given by a nonlinear algebraic equation
Approximate solution for the time–space fractional nonlinear Schrodinger equation with the trapping potential equation
In this section, to demonstrate the effectiveness of our approach, we will apply the OHAM to construct approximate solutions for the time–space fractional nonlinear Schrodinger equation with the trapping potential equation
where \( i = \sqrt { - 1} . \) The fractional Schorodinger equations can be represented some dynamical system in quantum mechanics especially in exact solutions for nonlinear Schrodinger equations of motion, also in fluid and nonlinear dynamical system [17]. When \( \beta \to 1,\alpha \to 1, \) the exact solution for the nonlinear partial Schorodinger equation takes the following form [28]:
By means of the OHAM, we choose the linear operator
with property \( {\mathcal{L}}[c] = 0 \), where c is a constant. We define a nonlinear operator as
We construct the zeroth-order deformation equation
For \( q = 0 \) and \( q = 1 \) it holds
Thus, we obtain the mth-order deformation equations
where
and
To obey both the rule of solution expression and the rule of the coefficient ergodicity [22, 23], having the freedom to choose the auxiliary parameter h, the auxiliary function \( H(t) \), the initial approximate \( u_{0} \left( {x,t} \right), \) and the auxiliary linear operator \( { \mathcal{L}} \), we can assume that all of them are properly chosen so that the solution \( \phi \left( {x,t;q} \right) \) exists for \( 0 \le q \le 1 \). \( H\left( t \right) = 1 \) is properly chosen so that the power series (3.4) is convergent at \( q = 1 \). The convergence of the homotopy analysis method for solving the Schordinger equations is discussed in [29]. Now the solution of the mth-order deformation Eq. (4.7) for \( m \ge 1 \) becomes
and so on, we substitute the initial condition in (4.1) into the system (4.10) with the aid of Maple; the approximate solutions of Eq. (4.1) take the following form
and
and so on.
In this case the approximate solution to the time–space fractional nonlinear Schrodinger equation with the trapping potential of Eq. (5.1) takes the following form
Abbasbandy et al. [30] have proved in the general case that the h-curve is the main trait of the homotopy analysis method and plays an important role in obtaining the convergence of the series solutions. Moreover, the h curve can be used in predicting multiple solutions for Boundary value problems. Abbasbandy et al. [30] have shown why the line property is important in the graph of the h-curve, which is the plot of the series solution via convergence control parameter.
So that to investigate the influence of \( h \) on the convergence of the solution series given by the HAM, we first plot the so-called h-curves of (4.12) when \( x = 0.5,t = 0.5,\alpha = 0.6,\beta = 0.5 \). According to the h-curves, it is easy to discover the valid region of \( h \). We use the first three terms in evaluating the approximate solution (4.12). Note that the solution series contains the auxiliary parameter \( h \) which provides us with a simple way to adjust and control the convergence of the solution series [27]. In general, by means of the so-called \( h \)-curve, i.e., a curve of a versus \( h \). As pointed by Liao [22, 23, 25], the valid region of \( h \) is a horizontal line segment. Therefore, it is straightforward to choose an appropriate range for \( h \) which ensures the convergence of the solution series. We stretch the \( h \)-curve of \( u(0.7, 0.3) \) in Fig. 1, which shows that the solution series is convergent when −0.5 < h < −1.5.
As mentioned in Sect. 2 the optimal value of \( h \) is determined by the minimum of \( \Delta_{4} \), corresponding to the nonlinear algebraic equation \( \frac{{d\Delta_{4} }}{dh} = 0 \). Our calculations showed that \( \Delta_{4} \) has its minimum value at −1.021628429.
In this case, we compare between the approximate solution (4.12) and the exact solution (4.2) at the optimal value of h (h = −1.021628429).
Remark 1
Figures 2, 3, and 4 present the behavior of the approximate solution which is similar to the exact solution for some different values. Consequently, the approximate solutions are rabidly convergence as the exact solution.
Approximate solution for the time–space fractional telegraph equation
In this section, to demonstrate the effectiveness of our approach, we will apply the OHAM to construct approximate solutions for the time–space fractional telegraph equation
The fractional telegraph equations investigate several efforts to better understand the anomalous diffusion processes observed in blood flow experiments [31]. When \( \beta \to 1,\alpha \to 1 \) the exact solution for the nonlinear partial Telegraph equation takes the following form [32]:
By means of the HAM, we choose the linear operator
with property \( {\mathcal{L}}[{\text{c}}] = 0 \), where c is a constant. We define a linear operator as
We construct the zeroth-order deformation equation
For \( q = 0 \) and \( q = 1 \) it holds
Thus, we obtain the mth-order deformation equations
where
and
To obey both the rule of solution expression and the rule of the coefficient ergodicity [22, 23], the auxiliary function can be determined uniquely \( H(t) = 1 \). Now the solution of the mth-order deformation Eq. (5.6) for \( m \ge 1 \) becomes
and so on; we substitute the initial condition in (5.1) into the system (5.9) then approximate solutions of Eq. (5.1) take the following form
In this case, the approximate solution to the time–space fractional telegraph equation takes the following form
To investigate the influence of h on the convergence of the solution series given by the HAM, we first plot the so-called h-curves of (5.11) when \( x = t = \alpha = 0.5, \beta = 0.3 \) According to the h-curves, it is easy to discover the valid region of \( h \). We use the first three terms in evaluating the approximate solution (5.11). Note that the solution series contains the auxiliary parameter \( h \) which provides us with a simple way to adjust and control the convergence of the solution series [25]. In general, by means of the so-called \( h \)-curve, i.e., a curve of a versus \( h \). As pointed by Liao [22, 23], the valid region of \( h \) is a horizontal line segment. Therefore, it is straightforward to choose an appropriate range for \( h \) which ensure the convergence of the solution series. We stretch the \( h \)-curve of \( u(0.5, 0.5) \) in Fig. 5, which shows that the solution series is convergent when −0.5 < h < −1.5.
As mentioned in Sect. 2 the optimal value of \( h \) is determined by the minimum of \( \Delta_{4} \), corresponding to the nonlinear algebraic equation \( \frac{{d\Delta_{4} }}{dh} = 0 \). Our calculations showed that \( \Delta_{4} \) has its minimum value at −0.902644.
In this case, we compare between the approximate solution (5.11) and the exact solution (5.2) at the optimal value of h (h = −0.902644).
Remark 2
Figure 6 presents the behavior of the approximate solution using the optimal homotopy analysis method which is similar to that of the exact solution to some different values of partial fractional Telegraph equation when \( \alpha \) = 1 and \( \beta \) = 1. Consequently, the approximate solutions are rapidly convergent as the exact solution.
Conclusion
In this paper, we used the one-step homotopy analysis method to obtain the analytic approximate solutions for linear and nonlinear partial fractional differential equations. The optimal homotopy analysis method investigates the influence of \( h \) on the convergence of the approximate solution. The solution series contains the auxiliary parameter \( h \) which provides us with a simple way to adjust and control the convergence of the solution series [25]. In general, by means of the so-called \( h \)-curve, i.e., a curve of a versus \( h \). As pointed by Liao [22, 23], the valid region of \( h \) is a horizontal line segment. Therefore, it is straightforward to choose an appropriate range for \( h \) which ensures the convergence of the solution series. This method determined the optimal value of h as the best convergence of the series of solutions.
References
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and applications of fractional differential equations (north-holland mathematical studies), vol. 204. Elsevier, Amsterdam (2006)
Podlubny, I.: Fractional differential equation. Academic Press, San Diego (1999)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional integrals and derivatives: theory and applications. Gordon and Breach, Langhorne (1993)
El-Sayed, A.M.A.: Int. J. Theor. Phys. 35, 311 (1996)
Gepreel, K.A.: Appl. Math. Lett. 24, 1428 (2011)
Herzallah, M.A.E., Muslih, S., Baleanu, D., Rabei, E.M.: Nonlinear Dyn. 66, 459 (2012)
Magin, R.L.: Fractional Calculus in Bioengineering. Begell House Publisher, Inc., Connecticut (2006)
West, B.J., Bologna, M., Grigolini, P.: Physics of Fractal operators. Springer, New York (2003)
Jesus, I.S., Machado, J.A.T.: Nonlinear Dyn. 54, 263 (2008)
Agrawal, O.P., Baleanu, D.: J. Vibr. Contr. 13, 1269 (2007)
Tarasov, V.E.: Ann. Phys. 323, 2756 (2008)
He, J.H.: Bull. Sci. Tecknol. 15, 86 (1999)
Erturk, V.S., Momani, Sh, Odibat, Z.: Commun. Nonlinear Sci. Numer. Simulat. 13, 1642 (2008)
Daftardar-Gejji, V., Bhalekar, S.: Appl. Math. Comput. 202, 113 (2008)
Daftardar-Gejji, V., Jafari, H.: Appl. Math. Comput. 189, 541 (2007)
Zayed, E.M.E., Nofal, T.A., Gepreel, K.A.: Commu. Appl. Nonlinear Anal. 15, 57 (2008)
Herzallah, M.A.E., Gepreel, K.A.: Appl. Math. Model. 36, 5678 (2012)
Sweilam, N.H., Khader, M.M., Al-Bar, R.F.: Phys. Lett. A 371, 26 (2007)
He, J.H.: Int. J. Nonlinear Mech. 34, 699 (1999)
Wu, G., Lee, E.W.M.: Phys. Lett. A 374, 2506 (2010)
Gepreel, K.A., Mohamed, S.M.: Chin. Phys. B 22, 010201 (2013)
Liao, S.J.: The proposed homotopy analysis technique for the solution of nonlinear problem (Ph.D. thesis, Shanghai Jiao Tong University) (1992)
Liao, S.J.: Int J Nonlinear Mech 30, 371 (1995)
Gepreel, K.A., Omran, S.: Chin. Phys. B 21, 110204 (2011)
Liao, S.J.: Commun. Nonlinear Sci. Numer. Simul. 15, 2016 (2010)
Yabushita, K., Yamashita, M., Tsuboi, K.: J. Phys. A: Math. Gen. 40, 8403 (2007)
Abbasbandy, S., Jalili, M.: Determination of optimal convergence control parameter value in homotopy analysis method. Numer. Algor. doi:10.1007/s11075-012-9680-9 (in press) (2013)
Kanth, A.S.V., Aruna, K.: Chaos Solitons Fract. 41, 2277 (2009)
Faribozi, M., Fallahzhed, A.: J. Basic Appl. Sci. Res. 2, 6076 (2012)
Abbasbandy, S., Shivanian, E., Varjarvelu, K.: Commun. Nonliear Sci. Numer. Simul. 16, 4268 (2012)
Cascaral, R., Eckstein, E., Frota, C., Goldstein, J.: J. Math. Anal. Appl. 276, 145 (2002)
Biazar, J., Eslami, M.: Phys. Lett. A 374, 2904 (2010)
Author contribution statement
Khaled A. Gepreel and T. A. Nofal carried out the computational analysis of this method and wrote the manuscript. Khaled A. Gepreel and T. A. Nofal made helpful suggestions to the Manuscript. Khaled A. Gepreel made a figure to show the comparison between solutions and T. A. Nofal made a discussion between solutions. Khaled A. Gepreel and T. A. Nofal designed, led and coordinated the entire study.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Gepreel, K.A., Nofal, T.A. Optimal homotopy analysis method for nonlinear partial fractional differential equations. Math Sci 9, 47–55 (2015). https://doi.org/10.1007/s40096-015-0147-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40096-015-0147-8