Abstract
A new method called the modification of step variational iteration method (MoSVIM) is introduced and used to solve the fractional biochemical reaction model. The MoSVIM uses general Lagrange multipliers for construction of the correction functional for the problems, and it runs by step approach, which is to divide the interval into subintervals with time step, and the solutions are obtained at each subinterval as well adopting a nonzero auxiliary parameter to control the convergence region of series' solutions. The MoSVIM yields an analytical solution of a rapidly convergent infinite power series with easily computable terms and produces a good approximate solution on enlarged intervals for solving the fractional biochemical reaction model. The accuracy of the results obtained is in a excellent agreement with the Adam Bashforth Moulton method (ABMM).
1. Introduction
The mathematical modelling of numerous phenomena in various areas of science and engineering using fractional derivatives naturally leads, in most cases, to what is called fractional differential equations (FDEs). Although the fractional calculus has a long history and has been applied in various fields in real life, the interest in the study of FDEs and their applications has attracted the attention of many researchers and scientific societies beginning only in the last three decades [1, 2]. Since the exact solutions of most of the FDEs cannot be found easily, thus analytical and numerical methods must be used. For example, the ABMM is one of the most used methods to solve fractional differential equations [3–5]. Several of the other numerical analytical methods for solving fractional problems are the Adomian decomposition method (ADM), the homotopy perturbation method (HPM) and the homotopy analysis method (HAM). For example, Ray [6] and Abdulaziz et al. [7] used ADM to solve fractional diffusion equations and solve linear and nonlinear fractional differential equations, respectively. Hosseinnia et al. [8] presented an enhanced HPM to obtain an approximate solution of FDEs, and Abdulaziz et al. [9] extended the application of HPM to systems of FDEs. The HAM was applied to fractional KDV-Burgers-Kuromoto equations [10], systems of nonlinear FDEs [11], and fractional Lorenz system [12].
Another powerful method which can also give explicit form for the solution is the variational iteration method (VIM). It was proposed by He [13, 14], and other researchers have applied VIM to solve various problems [15–17]. For example, Song et al. [18] used VIM to obtain approximate solution of the fractional Sharma-Tasso-Olever equations. Yulita Molliq et al. [19, 20] solved fractional Zhakanov-Kuznetsov and fractional heat-and wave-like equations using VIM to obtain the approximate solution have shown the accuracy and efficiently of VIM. Nevertheless, VIM is only valid for short-time interval for solving the fractional system.
In this paper, we propose a modification of VIM to overcome this weakness of VIM. In particular, motivated by the work of [12] the procedure of dividing the time interval of solution in VIM to subintervals with the same step size and the solution at each subinterval must necessary to satisfy the initial condition at each of the subinterval has been considered. Unfortunately, this idea does not give a good approximate solution when compared to the ABMM. Therefore, to obtain a good approximate solution which has a good agreement with ABMM, another idea is used: motivated by HAM, a nonzero auxiliary parameter is considered into the correction functional in VIM. This parameter was inserted to adjust and control the convergence region of the series solutions. In general, it is straightforward to choose a proper value of from the so-called -curve. We call this modification involving time step and auxiliary parameter the MoSVIM. Strictly speaking MoSVIM is a modification of our earlier proposed method—step variational iteration method—which is still under review [21].
As an application, this paper investigates for the first time the applicability and effectiveness of MoSVIM to obtain the approximate solutions of the fractional version of the biochemical reaction model as studied in [22] for interval . The fractional biochemical reaction model (shortly called FBRM) is considered in the following form: subject to initial conditions where is a parameter describing the order of the fractional derivative , , , and are dimensionless parameters.
Our objective is to provide an alternative analytical method to achieve the solution and also highlight the limitations of solutions using VIM, MoVIM, and SVIM for solving the fractional biochemical reaction model when compared to ABMM.
2. Basic Definitions
Fractional calculus unifies and generalizes the notions of integer-order differentiation and -fold integration [1, 2]. We give some basic definitions and properties of fractional calculus theory which will be used in this paper.
Definition 2.1. A real function , , is said to be in the space , if there exists a real number , such that , where , and it is said to be in the space if and only if , .
The Riemann-Liouville fractional integral operator is defined as follows.
Definition 2.2. The Riemann-Liouville fractional integral operator of order , of a function , , is defined as
In this paper only real and positive values of will be considered.
Properties of the operator can be found in [2], and we mention only the following:
For , , , and ,(1), (2), (3).
The Reimann-Liouville derivative has certain disadvantages when trying to model real-world phenomena with FDEs. Therefore, we will introduce a modified fractional differential operator proposed by Caputo in his work on the theory of viscoelasticity [23].
Definition 2.3. The fractional derivative of in Caputo sense is defined as
In addition, we also need the following property.
Lemma 2.4. If , , and , , then
The Caputo differential derivative is considered here because the initial and boundary conditions can be included in the formulation of the problems [1]. The fractional derivative is taken in the Caputo sense as follows.
Definition 2.5. For to be the smallest integer that exceeds , the Caputo fractional derivative operator of order is defined as
For more information on the mathematical properties of fractional derivatives and integrals, one can consult [1, 2].
3. Step Variational Iteration Method
The approximate solutions of fractional biochemical reaction model will be obtained in this paper. A simple way of ensuring validity of the approximations is solving under arbitrary initial conditions. In this case, is regarded as interval. From idea of Alomari et al. [12], the interval is divided to subintervals with time step , and the solution at each subinterval was obtained. So it is necessary to satisfy the initial condition at each of the subinterval. Thus the step technique can describe as the following formula: where , for , is a general Lagrange multiplier, is linear operator, is nonlinear operator, and is inhomogeneous term. As knowledge, the optimal general Lagrange multiplier is obtained by constructing the correction functional as in VIM which is is considered as restricted variations, that is, .
Accordingly, the initial values will be changed for each subinterval, that is, , , and it should be satisfied through the initial conditions for all , so where starting from until , is number of subinterval. To carry out the solution on every subinterval of equal length , the values of the following initial conditions are shown below:
In general, we do not have this information at our clearance except at the initial point , but these values can be obtained by assuming that the new initial condition is the solution in previous interval (i.e., if the solution in interval is necessary, then the initial conditions of this interval will be as follows: where , are the initial conditions in the interval ).
4. Modified Step Variational Iteration Method
Furthermore, to implement the modification of SVIM, we consider , a nonzero auxiliary parameter. Multiply by correction functional in (3.1), yield where , and is the convergence-control parameter which ensures that this assumption can be satisfied. The subscript denotes the th iteration.
Accordingly, the successive approximations , of the solution will be readily obtained by selecting initial approximation that at least satisfies the initial conditions. The computations and plotting of figures for the algorithm, has been done using Maple package.
5. Application
In this section, we demonstrate the efficiency of MoSVIM od fractional biochemical reaction model in (1.1). The correction functionals for the system (1.1) can be approximately constructed as used by VIM and (2.4) to find the general Lagrange multiplier in the following forms: where and are general Lagrange multipliers which can be identified optimally via variational theory. denotes the th iteration. , , and denote restricted variations, that is, , , and . In this case, the general Lagrange multiplier can be easily determined by choosing the number of order , that is, . Thus, the following sets of stationary conditions was obtained as follows: Therefore, the general Lagrange multipliers can be easily identified as Here, the general Lagrange multiplier in (5.3) is expanded by Taylor series and is chosen only one term in order to calculate, the general Lagrange multiplier can write as follows Substituting the general Lagrange multipliers in (5.4) into the correction functional in (5.1) results in the following iteration formula: Furthermore, we multiply the nonzero auxiliary parameter by (5.5) which yields: Then, the interval is divided into subintervals with time step , and we get the solution at each subinterval. In this case, the initial condition is regarded as initial approximation, which is necessary satisfied at each of the subinterval, that is, , , and the initial conditions should be satisfied , for all , so Here, the iteration was chosen from previously research by Goh et al. [24]. Thus, the solution will be as follows: where start from until . To carry out the solution on every subinterval of equal length , the values of the following initial conditions is presented below: In general, we do not have this information at our clearance except at the initial point , but we can obtain these values by assuming that the new initial condition is the solution in the previous interval (i.e., If we need the solution in interval then the initial conditions of this interval will be as where are the initial conditions in the interval ).
6. Result and Discussion
To investigate the influence of on convergence of the solution series, we plot the -curves of and using the fifth iteration of MoSVIM when , and as shown in Figure 1. We found that the range of values for is between 0.1 and 0.7. Because the accuracy and efficiency, was chosen as the benchmark for comparison between MoSVIM and ABMM. The constants , , were fixed, as was chosen by Hashim et al. [25]. In this case, the computational algorithms for the system in (1.1) are written using the Maple software. A good solutions of fractional biochemical reaction model when and and was presented in Tables 1 and 2, respectively. From the tables, MoSVIM is more accurate than SVIM in different value of , that is, and . Figure 2 shows comparison of MoSVIM and SVIM. From the figure, MoSVIM solution is more closer to ABMM solution if it compare to SVIM solution. The comparison of MoSVIM, VIM and MoVIM is shown to exhibit the accuracy of MoSVIM, see Figure 3. From the figure, MoSVIM solutions is more accurate than the VIM and MoVIM solutions, and also is in good agreement with that of ABMM with .
(a)
(b)
(a)
(b)
(a)
(b)
7. Conclusions
In this paper, an algorithm of fractional biochemical reaction model (FBRM) using step modified variational iteration method (MoSVIM) was developed. For computations and plots, the Maple package were used. We found that MoSVIM is a suitable technique to solve the fractional problem. This modified method yields an analytical solution in iterations of a rapid convergent infinite power series with enlarged intervals. Comparison between MoSVIM, MoVIM and ABMM were made; the MoSVIM was found to be more accurate than the MoVIM. MoSVIM is easier in calculation yet powerful method and also is readily applicable to the more complex cases of fractional problems which arise in various fields of pure and applied sciences.
Acknowledgment
The financial support received from UKM Grant UKM-OUP-ICT-34-174/2010 is gratefully acknowledged.