 Research
 Open Access
 Published:
Finite difference approach for variable order reaction–subdiffusion equations
Advances in Difference Equations volume 2018, Article number: 406 (2018)
Abstract
The fractional reaction–subdiffusion equation is one of the most famous subdiffusion equations. These equations are widely used in recent years to simulate many physical phenomena. In this paper, we consider a new version of such equations, namely the variable order linear and nonlinear reaction–subdiffusion equation. A numerical study is introduced using the weighted average methods for the variable order linear and nonlinear reaction–subdiffusion equations. A stability analysis of the proposed method is given by a recently proposed procedure similar to the standard John von Neumann stability analysis. The paper is ended with the results of numerical examples that support the theoretical analysis.
Introduction
Fractional calculus is a very hot area of research due to its ability to study many applications in physics and engineering, which cannot be studied by the ordinary calculus. There are many applications of this important type of calculus [1–4]. The approximate and numerical techniques must be used [5–9] because most fractional differential equations (FDEs) do not have exact solutions. Recently, several numerical methods to solve fractional differential equations have been proposed, such as variational iteration method [10], homotopy perturbation method [11], Adomian decomposition method [12], homotopy analysis method [13], finite difference method (FDM) [14, 15], and spectral methods [5, 6].
Many physical processes appear to exhibit fractional order behavior that may vary with time or space. This fact enables us to consider the order of the fractional integrals and derivatives to be a function of time or some other variables. The objective of this work is to identify the most appropriate definition of a variableorder operator for modeling dynamic systems and to assign the order of the derivative to give a physical meaning that will facilitate the understanding of its use in problems of vibration and control. However, until now, only few researchers have considered the numerical analysis of variableorder differential equations; see, for example, [16–20].
In this paper, we study the following variable order linear and nonlinear reaction–subdiffusion equation:
where we assume Dirichlet boundary conditions as follows:
with an initial condition
On a finite domain \(a < x < b, 0 \leq t \leq T\), where f is the source term, which may be linear (\(g(x,t)\)) or nonlinear (\(g(x,t,y(x,t))\)), \(0<\gamma(x,t)<1\), ε is a positive constant and \(D_{t}^{1\gamma(x,t)}\) is the variable order fractional derivative defined by the Riemann–Liouville operator of order \(1\gamma\), which is defined for a function \(f(x,t)\) by (see [18, 20])
And we use the weighted average FDM to solve this model.
Fractional reaction–subdiffusion equation
The standard meanfield model for the evolution of the concentrations \(a(x,t)\) and \(b(x,t)\) of A and B particles is given by the reaction–diffusion equations:
where D is the diffusion coefficient assumed in this paper to be equal for species and ε is the rate constant for the bimolecular reaction.
In order to generalize the reaction–diffusion problem to a reaction–subdiffusion problem, we must deal with the subdiffusive motion of the particles. Seki et al. [21] and Yuste et al. [22] replaced Eqs. (5) and (6) with the set of reaction–subdiffusion equations, in which both the motion and the reaction terms are affected by the subdiffusive character of the process:
where \(k_{\alpha}\) is the generalized diffusion coefficient and \(D_{t}^{1\alpha}\) is the Riemann–Liouville fractional partial derivative of order \(1\alpha\). The fractional reaction–subdiffusion equations (7) and (8) are decoupled, which is equivalent to solving the following fractional reaction–subdiffusion equation:
where \(0 < \alpha< 1\) and ε is a positive constant. We assume Dirichlet boundary conditions for this problem as follows:
with an initial condition
In the last few years, many papers studied the proposed model (1)–(3) (see [21–27]).
Finite difference scheme for a variable order fractional reaction–subdiffusion equation
In this section, we will use the weighted average FDM to obtain a discretization finite difference formula of the variable order linear and nonlinear reaction–subdiffusion equation (1). For some positive constants M and N, we use Δt and Δx to denote the timestep length and spacestep length, respectively. The coordinates of the mesh points are \(x_{j}=j\Delta x\) \((j=0,1,2,\dots,N)\), and \(t_{m}=m \Delta t\), \((m=0,1,2,\dots,M)\) and the values of the solution \(y(x, t)\) on these grid points are \(y(x_{j}, t_{m})\equiv y_{j}^{m}\simeq Y_{j}^{m}\), where \(\Delta x =\frac{L}{N}\), and \(\Delta t=\frac{T}{M}\).
In the first step, the ordinary differential operators are discretized as follows [28]:
and
In the second step, the Riemann–Liouville operator is discretized as follows:
where p is the order of the approximation which depends on the choice of \(\rho_{k}^{(1\alpha_{j}^{m})}\), and
where \([\frac{t_{m}}{\Delta t}]\) means the integer part of \(\frac{t_{m}}{\Delta t}\). There are many choices of the weights \(\rho_{k}^{(\alpha_{j}^{m})}\) (see [4, 29]), so the above formula is not unique. Let us denote the generating function of the weights \(\rho_{k}^{(\beta)}\) by \(\rho(z,\beta)\), i.e.,
If
then (14) gives the backward difference formula of the first order, which is called the Grünwald–Letnikov formula. The coefficients \(\rho_{k}^{(\beta)}\) can be evaluated by the following formula:
For \(\alpha=1\), the operator \(D_{t}^{1\alpha}\) becomes the identity operator so that the consistency of Eqs. (14) and (15) requires \(\rho_{0}^{(0)}=1\), and \(\rho_{k}^{(0)}=0\) for \(k\geq1\), which in turn means that \(\rho(z,0)=1\).
Now, we are going to obtain a finite difference scheme of the linear and nonlinear variable order reaction–subdiffusion equation (1). In our study we take \(k_{\alpha}=\varepsilon=1\).
To achieve this aim, we evaluate this equation at the points of the grid \((x_{j},t_{m})\) by
Then, we replace the first order timederivative by the forward difference formula (12) and replace the second order spacederivative by the threepoint centered formula (13) with respect to the weighed average formula (14) at the times \(t_{m}\) and \(t_{m+1}\) as
with \(\lambda\in [0,1]\) being the weight factor and \(T_{j}^{m}\) is the resulting truncation error. The standard difference formula is given by
Now, by substituting for the difference operators given by (12), (13) and (15), we can obtain the following scheme:
where
and
The boundary conditions were treated using the backward difference formula. Equation (17) is the variable order weighted average finite difference scheme considered in this paper. Fortunately, Eq. (17) is a tridiagonal system. In the case of \(\lambda=1\) and \(\lambda=\frac{1}{2}\), we have the forward Euler fractional quadrature method and the Crank–Nicolson fractional quadrature methods, respectively, which have been studied, e.g., in [30], but at \(\lambda=0\) the scheme is called fully implicit.
Now, to study the solvability of the proposed FDM, let
respectively. Therefore, the explicit difference approximation scheme (17) can be written in matrix from as
where
and \(b^{m}=R\).
Remark 1
It is worthy to report here that the number of arithmetic operations required to solve the system of equations (20) is approximately \(\frac{2}{3}(m+1)^{3} \), see [31].
Theorem 1
The difference equations (20) are uniquely solvable.
Proof
Because \(\phi> 0\), the coefficient matrix of the difference equations (20) is a strictly diagonally dominant matrix. Therefore, A is a nonsingular matrix, which proves the theorem. □
Lemma 1
The coefficients \(\rho_{k}^{1\alpha}\), \((k=0,1,\dots)\), satisfy:

(1)
\(\rho_{0}^{1\alpha}=1\); \(\rho_{1}^{1\alpha}=\alpha1\); \(\rho _{k}^{1\alpha}<0\), \(k=2,3,\dots\);

(2)
\(\sum_{k=0}^{\infty}\rho_{k}^{1\alpha}=1\); \(\forall n \in N^{+}\), \(\sum_{k=1}^{n}\rho_{k}^{1\alpha}<1\).
Proof
See [32]. □
Stability analysis
In this section, we use the John von Neumann method in the stability analysis of the weighted average scheme (17). In our study we neglected the source term (i.e., \(g(x,t)=0\)).
Proposition 1
Assuming that \(Y_{j}^{m}=\xi_{m}e^{{i}qj \Delta x}\),
Proposition 2
Assuming in Proposition 1 that \(\xi_{m+1}=\eta\xi_{m}\), the scheme will be stable as long as
Proposition 3
Assuming in Proposition 2 that \(\psi=\bar{S}\sin^{2} (\frac{q\Delta x}{2})\) and that
the scheme will be stable when
Theorem 2
The variable order fractional weighted average finite difference scheme (derived in (17)) is stable under the following stability criterion:
Proof
Since \(L_{m}\) depends on m, it turns out that \(L_{m}\) tends towards its limit value
In this limit the stability condition is
but from Eq. (16) with \(z=1\) one can see that \(\sum_{r=0}^{\infty} (1)^{r}\rho_{r}^{(1\alpha _{j}^{m})}=2^{1\alpha _{j}^{m}}\), so that
and by replacing \(\sin^{2} (\frac{q\Delta x}{2})\) by its highest value, one gets \(\psi\rightarrow\bar{S}\) as \(\sin^{2} (\frac {q\Delta x}{2})\rightarrow1\) and \(\lim_{m\rightarrow\infty}(1)^{m}(1\lambda)\rho_{m+1}^{(1\alpha _{j}^{m})}=0\), therefore we find a sufficient condition for the presented method to be stable and this completes the proof of the theorem. □
Numerical results
In this section we present a numerical example to illustrate the efficiency and the validation of the proposed numerical method when applied to solve numerically the variable order linear and nonlinear reaction–subdiffusion equation. In the second example our results are compared with those obtained in [33] under the same conditions listed in Table 1.
Example 5.1
Consider the following initial–boundary problem of the variable fractional reaction–subdiffusion equation:
on a finite domain \(0 < x < 1\), with \(0 \leq t \leq T\), \(0<\alpha<1\) and the following source term:
Under the boundary conditions \(y(0,t) = y(1, t) = 0\), and the initial condition \(y(x,0)=0\), the exact solution is \(y(x,t)=t^{2}\sin(\pi x)\).
We will compare the numerical with the exact solution for some different values of \(\alpha (x,t)\), Δt, Δx, λ and the final time T (see Figures 1–5). Then in Table 2, we will show the dependency of the maximum absolute error on Δx and Δt.
According to Remark 1, the number of arithmetic operations required to solve the system in this case is approximately \(\frac{2}{3}(91+1)^{3} \simeq519{,}125\).
Example 5.2
Consider the following variableorder nonlinear reaction–subdiffusion equation
with the initial and boundary conditions:
where
The exact solution is
Conclusion and remarks
This paper presents a class of numerical methods for solving the variable order linear and nonlinear reaction–subdiffusion equation. The contribution in this paper is a generalization of the work done by Sweilam et al. [3]. This class of methods is very close to the weighted average FDM. Special attention is given to the stability of the fractional finite weighted average FDM. For this we have resorted to a kind of fractional John von Neumann stability analysis. From the theoretical study we can conclude that this procedure is suitable for the fractional finite weighted average FDM and leads to very good predictions for the stability bounds. The stability of the fractional finite weighted average FDM presented strongly depends on the value of the weighting parameter λ. Numerical solutions and exact solutions of the proposed problem are compared and the derived stability condition is checked numerically. From this comparison, we can conclude that the numerical solutions are in excellent agreement with the exact solutions. By comparing the results in this paper with the results in [33], we found that the same order of maximum error was obtained under the same values of \(\alpha(x,t)\), Δx and Δt.
All computations in this paper were performed using MATLAB software.
References
 1.
Bagley, R.L., Calico, R.A.: Fractionalorder state equations for the control of viscoelastic damped structures. J. Guid. Control Dyn. 14(2), 304–311 (1999)
 2.
Cuesta, E., Finat, J.: Image processing by means of a linear integrodifferential equations. In: International Association of Science and Technology for Development, Spain, pp. 438–442 (2003)
 3.
Sweilam, N.H., Khader, M.M., Adel, M.: Weighted average finite difference methods for fractional reactionsubdiffusion equation. Walailak J. Sci. Technol. 11(4), 361–377 (2014)
 4.
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
 5.
Abdelhameed, W., Youssri, Y.H.: Generalized Lucas polynomial sequence approach for fractional differential equations. Nonlinear Dyn. 89(2), 1341–1355 (2017)
 6.
Doha, E., Abdelhameed, W., Elkot, N., Youssri, Y.H.: Integral spectral Tchebyshev approach for solving space Riemann–Liouville and Riesz fractional advection–dispersion problems. Adv. Differ. Equ. 2017, 284 (2017)
 7.
Hu, X., Liao, H.L., Liu, F., Turner, I.: A center box method for radially symmetric solution of fractional subdiffusion equation. Appl. Math. Comput. 257, 467–486 (2015)
 8.
Sweilam, N.H., Khader, M.M., Adel, M.: Numerical simulation of fractional cable equation of spiny neuronal dendrites. J. Adv. Res. (JAR) 5, 253–259 (2014)
 9.
Zheng, M., Liu, F., Liu, Q., Burrage, K., Simpson, M.J.: Numerical solution of the time fractional reaction–diffusion equation with a moving boundary. J. Comput. Phys. 338, 493–510 (2017)
 10.
Sweilam, N.H., Khader, M.M., AlBar, R.F.: Numerical studies for a multiorder fractional differential equation. Phys. Lett. A 371, 26–33 (2007)
 11.
Khader, M.M.: Introducing an efficient modification of the homotopy perturbation method by using Chebyshev polynomials. Arab J. Math. Sci. 18, 61–71 (2012)
 12.
Yu, Q., Liu, F., Anh, V., Turner, I.: Solving linear and nonlinear spacetime fractional reactiondiffusion equations by Adomian decomposition method. Int. J. Numer. Methods Eng. 47(1), 138–153 (2008)
 13.
Hashim, I., Abdulaziz, O., Momani, S.: Homotopy analysis method for fractional IVPs. Commun. Nonlinear Sci. Numer. Simul. 14, 674–684 (2009)
 14.
Khader, M.M., Adel, M.: Numerical solutions of fractional wave equations using an efficient class of FDM based on the Hermite formula. Adv. Differ. Equ. (2012). https://doi.org/10.1186/s1366201507310
 15.
Sweilam, N.H., Khader, M.M., Adel, M.: On the stability analysis of weighted average finite difference methods for fractional wave equation. Fract. Differ. Calc. 2(1), 17–29 (2012)
 16.
Chen, C.M., Liu, F., Anh, V., Turner, I.: Numerical schemes with high spatial accuracy for a variableorder anomalous subdiffusion equation. SIAM J. Sci. Comput. 32(4), 1740–1760 (2010)
 17.
Chen, C.M., Liu, F., Anh, V., Turner, I.: Numerical simulation for the variableorder Galilei invariant advection diffusion equation with a nonlinear source term. Appl. Math. Comput. 217, 5729–5742 (2011)
 18.
Lin, R., Liu, F., Anh, V., Turner, I.: Stability and convergence of a new explicit finitedifference approximation for the variableorder nonlinear fractional diffusion equation. Appl. Math. Comput. 212, 435–445 (2009)
 19.
Sweilam, N.H., Adel, M., Saadallah, A.F., Soliman, T.M.: Numerical studies for variable order linear and nonlinear fractional cable equation. J. Comput. Theor. Nanosci. 12, 1–8 (2015)
 20.
Zhuang, P., Liu, F., Anh, V., Turner, I.: Numerical methods for the variableorder fractional advection–diffusion equation with a nonlinear source term. SIAM J. Numer. Anal. 47, 1760–1781 (2009)
 21.
Seki, K., Wojcik, M., Tachiya, M.: Fractional reaction–diffusion equation. J. Chem. Phys. 119, 2165–2174 (2003)
 22.
Yuste, S.B., Acedo, L., Lindenberg, K.: Reaction front in an \(A+B\rightarrow C\) reaction–subdiffusion process. Phys. Rev. E 69, 036126 (2004)
 23.
Gorenflo, R., Mainardi, F.: Random walk models for spacefractional diffusion processes. Fract. Calc. Appl. Anal. 1, 167–191 (1998)
 24.
Liu, Q., Liu, F., Turner, I., Anh, V.: Approximation of the Lévy–Feller advection–dispersion process by random walk and finite difference method. J. Comput. Phys. 222, 57–70 (2007)
 25.
Liu, F., Zhuang, P., Anh, V., Turner, I., Burrage, K.: Stability and convergence of the difference methods for the spacetime fractional advection–diffusion equation. Appl. Math. Comput. 191(1), 12–20 (2007)
 26.
Zhuang, P., Liu, F.: Implicit difference approximation for the time fractional diffusion equation. J. Appl. Math. Comput. 22(3), 87–99 (2006)
 27.
Zhuang, P., Liu, F., Anh, V., Turner, I.: New solution and analytical techniques of the implicit numerical methods for the anomalous subdiffusion equation. SIAM J. Numer. Anal. 46(2), 1079–1095 (2008)
 28.
Morton, K.W., Mayers, D.F.: Numerical Solution of Partial Differential Equations. Cambridge University Press, Cambridge (1994)
 29.
Lubich, C.: Discretized fractional calculus. SIAM J. Numer. Anal. 17, 704–719 (1986)
 30.
Yuste, S.B., Acedo, L.: An explicit finite difference method and a new von Neumanntype stability analysis for fractional diffusion equations. SIAM J. Numer. Anal. 42, 1862–1874 (2005)
 31.
Farebrother, R.W.: Linear Least Square Computations. Marcel Dekker, New York (1988)
 32.
Chang Chen, M., Liu, F., Turner, I., Anh, V.: A Fourier method for the fractional diffusion equation describing subdiffusion. J. Comput. Phys. 227(2), 886–897 (2007)
 33.
Chang Chen, M., Liu, F., Turner, I., Anh, V.: Numerical approximation for a variableorder nonlinear reaction–subdiffusion equation. Numer. Algorithms 63, 265–290 (2013)
Acknowledgements
The author is very grateful for the editor’s and the referee’s careful reading and comments on this paper, which greatly improved the presentation of the paper.
Availability of data and materials
All data and material are available for everyone.
Funding
This work is supported by Faculty of Science, Cairo University.
Author information
Affiliations
Contributions
The author read and approved the final manuscript.
Corresponding author
Correspondence to M. Adel.
Ethics declarations
Competing interests
The author declares that he has no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Received
Accepted
Published
DOI
MSC
 65N12
 65M60
 41A30
Keywords
 Weighted average finite difference approximations
 Variable order linear and nonlinear reaction–subdiffusion equation
 Stability analysis
 Numerical example