|
Abdon Atangana* and Alabaraoye E |
Institute for Groundwater Studies, Faculty of Natural and Agricultural Sciences, University of the Free State, South Africa |
*Corresponding author: |
Abdon Atangana
Institute for Groundwater Studies
Faculty of Natural and Agricultural Sciences
University of the Free State, South Africa
E-mail: abdonatangana@yahoo.fr |
|
|
Received October 23, 2012; Published January 28, 2013 |
|
Citation: Atangana A, Alabaraoye E (2013) Exact Solutions Fractional Heat- Like and Wave-Like Equations with Variable Coefficients. 2:633 doi:10.4172/scientificreports.633 |
|
Copyright: © 2013 Atangana A, et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. |
|
Abstract |
|
A relatively new analytical method, the homotopy decomposition method (HDM) was applied to derive exact and approximate analytical solutions of nonlinear Fractional heat-like and wave-like equations. In all examples, in the limit of infinitely many terms yields the exact solution. A comparison with the exact solution reveals that HDM is simple, efficient and reliable. In addition, the calculations involved in HDM are very simple and straight forward. It is demonstrated that HDM is a powerful and efficient tool for Fractional heat-like and wave-like equations. It was also demonstrated that HDM is more efficient than the ADM (Adomian decomposition method), VIM (Variational Iteration method), HAM (Homotopy analysis method) and HPM (Homotopy decomposition method). |
|
Keywords |
|
Fractional heat-like and wave-like equations; Homotopy decomposition method; Fractional derivative order |
|
Introduction |
|
Fractional Calculus has been used to model physical and engineering processes, which are found to be best described by fractional differential equations. It is worth nothing that the standard mathematical models of integer-order derivatives, including nonlinear models, do not work adequately in many cases. In the recent years, fractional calculus has played a very important role in various fields such as mechanics, electricity, chemistry, biology, economics, notably control theory signal, image processing and groundwater problems. In the past several decades, the investigation of travelling-wave solutions for nonlinear equations has played an important role in the study of nonlinear physical phenomena .An excellent literature of this can be found in fractional differentiation and integration operators were also used for extensions of the diffusion and wave equations [1-11]. |
|
The solutions of Fractional heat-like and wave-like equations with variable coefficients have attracted attention of many authors in mathematics community. Recently, Shou and He [12] used the variational iteration method (VIM) to solve various kinds of heat-like and wave-like equations. However with VIM one needs first to obtain, the Lagrange multiplier and the correctional function. In addition of this, sometime, the solutions obtained via the VIM are noisy [13,14] one therefore needs to cancel the noisy term to obtain the correct solution. |
|
Xu and Cang [15] solved the fractional heat-like and wave-like equations with variable coefficients using Homotopy Analysis Method (HAM). The disadvantage of HAM is that, it is very much depended on choosing auxiliary parameter. Momani [13] applied the Adomian Decomposition method to the time fractional heat-like and wavelike equations with variable coefficients. The main disadvantage of the Adomian method is that the solution procedure for calculation of Adomian polynomials is complex and difficulty as pointed out by many researchers [16-20]. |
|
In this paper, we extend the application of the Homotopy Decomposition Method (HDM) in order to derive analytical approximate solutions to nonlinear time Fractional heat-like and wave-like equations with variable coefficients. |
|
The HDM was recently applied to solve: Fractional modified Kawahara equation, fractional model of HIV infection of CD4+T cells, attractor fractional one-dimensional Keller-Segel equations, fractional Jaulent-Miodek and Whitham-Broer-Kaup equations; Fractional Riccati Differential Equation, fractional nonlinear predator-prey population, fractional nonlinear system predator-prey population. The relatively new approached the HDM is a promising analytical technique to solve nonlinear fractional partial and ordinary differentials equations. The fractional partial differential equation under investigation here is given below as [21]: |
|
(1.1) |
|
Subject to the initial conditions: |
|
(1.2) |
|
The remaining of this paper is structured as follows: In section 2 we present a brief history of the fractional derivative order and theirs properties. We present the basic ideal of the homotopy decomposition method for solving high order nonlinear fractional partial differential equations. We present the application of the HDM for fractional nonlinear differential equations (1.1) and (1.2) and numerical results in Section 4. The conclusions are then given in the final Section 5. |
|
Fractional Derivative Order |
|
Brief history |
|
There exists a vast literature on different definitions of fractional derivatives. The most popular ones are the Riemann–Liouville and the Caputo derivatives. For Caputo we have |
|
(2.1) |
|
For the case of Riemann-Liouville we have the following definition |
|
(2.2) |
|
Each fractional derivative presents some advantages and disadvantages [22,23]. The Riemann–Liouville derivative of a constant is not zero while Caputo’s derivative of a constant is zero but demands higher conditions of regularity for differentiability: to compute the fractional derivative of a function in the Caputo sense, we must first calculate its derivative. Caputo derivatives are defined only for differentiable functions while functions that have no first order derivative might have fractional derivatives of all orders less than one in the Riemann–Liouville sense [22]. Recently, Jumarie [21,22] proposed a simple alternative definition to the Riemann–Liouville derivative. |
|
(2.3) |
|
His modified Riemann–Liouville derivative seems to have advantages of both the standard Riemann–Liouville and Caputo fractional derivatives: it is defined for arbitrary continuous (nondifferentiable) functions and the fractional derivative of a constant is equal to zero. However from it definition we do not actually give a fractional derivative of a function says f(x) but the fractional derivative of f(x)-f(0) and can sometime leads to fractional derivative that is not defined at the origin for some function [21]. |
|
Caputo and Riemann-Liouville may have their disadvantages, but they still remain the best definition of the fractional derivative. Every definition must be used accordingly [22]. |
|
Properties and definitions |
|
Definition 1: A real function f(x),x>0, is said to be in the space Cμ, μ∈ââÂif there exists a real number p>μ, such that f(x)=xph(x), where h(x) ∈ C [0,∞]), and it is said to be in space |
|
Definition 2: The Riemann-Liouville fractional integral operator of order α ≥ 0, of a function f∈Cμ, μ ≥ -1, is defined as |
|
(2.4) |
|
J0 f(x)=f(x) |
|
Properties of the operator can be found in [22] we mention only the following: |
|
(2.5) |
|
|
|
Lemma 1: |
|
(2.6) |
|
Definition 3: Partial Derivatives of Fractional order |
|
Assume now that f(x) is a function of n variables xi i=1,……, n also of class C on . As an extension of definition 3 we define partial derivative of order α for f respect to xi the function |
|
(2.7) |
|
If it exists, where is the usual partial derivative of integer order m. |
|
Basic Idea of the HDM |
|
To illustrate the basic idea of this method we consider a general nonlinear non-homogeneous fractional partial differential equation with initial conditions of the following form |
|
(3.1) |
|
Subject to the initial condition |
|
|
|
|
|
Where, denotes the Caputo or Riemann-Liouville fraction derivative operator, f is a known function, N is the general nonlinear fractional differential operator and L represents a linear fractional differential operator. The method first step here is to transform the fractional partial differential equation to the fractional partial integral equation by applying the inverse operator of on both sides of equation (3.1) to obtain: In the case of Riemann-Liouville fractional derivative |
|
(3.2) |
|
In the case of Caputo fractional derivative |
|
|
|
Or in general by putting |
|
|
|
We obtain: |
|
(3.3) |
|
In the homotopy decomposition method, the basic assumption is that the solutions can be written as a power series in p |
|
(3.4a) |
|
(3.4b) |
|
and the nonlinear term can be decomposed as |
|
(3.5) |
|
Where p ε (0,1) is an embedding parameter. is the He’s polynomials that can be generated by |
|
(3.6) |
|
The homotopy decomposition method is obtained by the graceful coupling of homotopy technique with Abel integral and is given by |
|
(3.7) |
|
Comparing the terms of same powers of p gives solutions of various orders with the first term: |
|
(3.8) |
|
Complexity and convergence of the homotopy decomposition method. |
|
It is very important to test the computational complexity of a method or algorithm. Complexity of an algorithm is the study of how long a program will take to run, depending on the size of its input and long of loops made inside the code. We compute a numerical example which is solved by the homotopy decomposition method. The code has been presented with Mathematica 8 according to the following code. |
|
Step 1: Set m ← 0 |
|
Step 2: Calculated the recursive relation after the comparison of the terms of the same power is done. |
|
Step 3: If with r the ratio of the neighbourhood of the exact solution [2] then go to step 4, else m←m+1 and go to step 2. |
|
Step 4: Print out: |
|
|
|
as the approximate of the exact solution. |
|
Lemma 1: If the exact solution of the fractional partial differential equation (3.1) exists, then |
|
|
|
Proof: Let (x,t)∈ X ×T , then since the exact solution exists, then we have that following: |
|
|
|
The last inequality follows from [21]. |
|
Lemma 2: The complexity of the homotopy decomposition method is of order O(n) |
|
Proof: The number of computations including product, addition, subtraction and division are |
|
In step 2 |
|
U0: 0 because, obtains directly from the initial guess [23] |
|
U1: 3 |
|
|
|
Un: 3 |
|
Now in step 4 the total number of computations is equal to |
|
Theorem 1 [23]: Assuming that is a Banach space with a well defined norm || ||, over which the series sequence of the approximate solution of (1.1) is defined, and the operator defining the series solution of (1.4b) satisfies the Lipschitzian conditions that is for all , then series solution obtained (1.5) is unique. |
|
Proof: Assume that U(x,t) and U*(x,t) is the series solution satisfying equation (1.1) then: |
|
with initial guess T(x,t) also with initial guess T(x,t) therefore |
|
By the recurrence for assume that . Then |
|
|
|
This completes the proof. |
|
Application |
|
In learning science examples are useful than rules’’ (Isaac Newton). In this section we apply this method for solving fractional differential equation in form of equation (1.1) together with (1.2). |
|
Example 1: Consider the following three-dimensional fractional heat-like equation |
|
(4.1) |
|
Subject to the initial condition: |
|
(4.2) |
|
Following carefully the steps involved in the HDM, we arrive at the following equations |
|
(4.3) |
|
Now comparing the terms of the same power of p yields: |
|
(4.4) |
|
|
|
|
|
Thus the following components are obtained as results of the above integrals |
|
|
|
|
|
|
|
|
|
|
|
(4.5) |
|
Therefore the approximate solution of equation for the first n is given below as: |
|
(4.6) |
|
Now when N→∞ we obtained the follow solution |
|
|
|
Where Eα(tα) is the generalized Mittag-Leffler function. Note that in the case α=1 |
|
(4.7) |
|
This is the exact solution for this case. |
|
Example 2: we consider the three-dimensional fractional wave-like equation: |
|
|
|
Subject to the initial condition: |
|
(4.8) |
|
Following carefully the steps involved in the HDM, we arrive at the following series solutions: |
|
|
|
Therefore the approximate solution of equation for the first n is given below as: |
|
(4.9) |
|
Now when N→∞ we obtained the follow solution |
|
(4.10) |
|
In the case of α=2 we obtain: |
|
|
|
This is the exact solution for this case. |
|
Example 3: we consider the one-dimensional fractional wave-like equation: |
|
(4.11) |
|
With the initial conditions as |
|
|
|
Following carefully the steps involved in the HDM, we arrive at the following series solutions: |
|
|
|
Therefore the approximate solution of equation for the first n is given below as: |
|
|
|
Now when N→∞ we obtained the follow solution |
|
|
|
Where Eα(tα) is the generalized Mittag-Leffler function. Note that in the case α=1 |
|
|
|
This is the exact solution for this case. |
|
Example 4: In this example we consider the two-dimensional fractional heat-like equation |
|
(4.13) |
|
Subject to the initial condition: |
|
(4.14) |
|
Following carefully the steps involved in the HDM, we arrive at the following series solutions: |
|
|
|
Therefore the approximate solution of equation for the first n is given below as: |
|
(4.15) |
|
Now when N→∞ we obtained the follow solution |
|
|
|
Note that in the case α=1 |
|
u(x,y,z,t)=sin(x)sin(y)exp(-2t) |
|
This is the exact solution for this case. |
|
Conclusion |
|
We derived approximated solutions of Fractional heat-like and wave-like equations with variable coefficients using the relatively new analytical technique the HDM. We presented the brief history and some properties of fractional derivative concept. It is demonstrated that HDM is a powerful and efficient tool of FPDEs. In addition, the calculations involved in HDM are very simple and straightforward. Comparing the methodology HDM to HPM, ADM, VIM and HAM have the advantages. Disparate the ADM, the HDM is free from the need to use Adomian polynomials. In this method we do not need the Lagrange multiplier, correction functional, stationary conditions, or calculating heavy integrals, the solution obtained are noise free, which eliminate the complications that exist in the VIM. In contrast to the HAM, this method is not required to solve the functional equations in iteration each the efficiency of HAM is very much depended on choosing auxiliary parameter. In contract to HPM, we do not need to continuously deform a difficult problem to another that is easier to solve. We can easily conclude that the Homotopy Decomposition method is an efficient tool to solve approximate solution of nonlinear fractional partial differential equations. |
|
|
References |
|
- Oldham KB, Spanier J (1974)
- Podlubny I (1999) Fractional Differential Equations, Academic Press, New York, NY, USA.
- Kilbas AA, Srivastava HH, Trujillo JJ (2006)
- Caputo M (1967)
- Miller KS, Ross B (1993)
- Samko SG, Kilbas AA, Marichev OI (1993)
- Zaslavsky GM (2005)
- Atangana A (2012) Numerical solution of space-time fractional derivative of groundwater flow equation, International conference of algebra and applied analysis, June 20-24 Istanbul, pp 20.
- Schneider WR, Wyss W (1989)
- Atangana A (2012)
- Odibat ZM, Momani S (2008)
- Shou DH, He JH (2008)
- Momani Shaher (2005)
- Bildik N, Konuralp A (2006)
- Xu H, Cang J (2008)
- Sweilam NH, Khader MM (2007)
- Momani S, Odibat Z (2007)
- Soliman AA (2006)
- Miller KS, Ross B (1993)
- Samko SG, Kilbas AA, Marichev OI (1993) Fractional integrals and derivatives, Translated from the 1987 Russian original, Gordon and Breach.
- Jumarie G (2005)
- Jumarie G (2006)
- Atangana A (2012) Homotopy decomposition for solving high order fractional nonlinear partial differential equation and its convergence. Paper submitted for publication in Applied Mathematics and Computation.
|
|
|