Research  Open  Published:
Numerical solution of diffusive HBV model in a fractional medium
SpringerPlusvolume 5, Article number: 1643 (2016)
Abstract
Evolution systems containing fractional derivatives can result to suitable mathematical models for describing better and important physical phenomena. In this paper, we consider a multicomponents nonlinear fractionalinspace reaction–diffusion equations consisting of an improved deterministic model which describe the spread of hepatitis B virus disease in areas of high endemic communities. The model is analyzed. We give some useful biological results to show that the diseasefree equilibrium is both locally and globally asymptotically stable when the basic reproduction number is less than unity. Our findings of this paper strongly recommend a combination of effective treatment and vaccination as a good control measure, is important to record the success of HBV disease control through a careful choice of parameters. Some simulation results are presented to support the analytical findings.
Background
In this paper, we consider in one dimensional space the multicomponent fractional reaction–diffusion system. The fractional derivative equation is obtained by replacing the secondorder derivatives in classical nvariable reaction–diffusion systems, with order α in the interval 0 < α < 2. A coupled system of n (for n ≥ 1, n integer) species (population densities or concentrations of chemicals) which interact in a nonlinear fashion and diffuse may be modelled by the n system of equations
with the initial condition
Subject to any of the boundary conditions:

In the case of an infinite system, x ∈ (−∞,∞), here R is a subset of (−∞,∞).

\(x \in [0,L],\frac{{\partial u_{i} }}{\partial x}(0,t) = \frac{{\partial u_{i} }}{\partial x}(L,t) = 0,i = 1,2, \ldots ,n,\) noflux or Neumann boundary condition for a finite system, and

\(x \in [0,L],u(0,t) = u(L,t) = u_{\alpha } ,i = 1,2, \ldots ,n,\) called the Dirichlet or fixed concentration boundary condition, also for a fixed system where \(u(x,t) \in R^{n} ,F_{i} :R^{n} \to R\).
The fractional derivative operator
(with similar expressions for u _{ i }, i = 1, 2, … , n) is the Riemann–Liouville fractional gradient of order α. The diffusion matrix is defined as a diagonal matrix D = diag(D _{1}, D _{2}, … , D _{ n }), and the diffusion coefficients D _{ i } which do not depend on u must be positive. u(x,t) is a community of species density. Function F accounts for the local kinetics of the system.
For the purpose of simplicity, we may write,
where \(\gamma_{im} > 0\) for \(i \ne m\). The reaction kinetics in (1) is expected to satisfy the following conditions:

1.
In \(R_{ + }^{n}\) = {(u _{1} , u _{2}, … , u _{ n })u _{ i } > 0}, the vector field (F _{1}(u), F _{2}(u), … , F _{ n }(u)) has unstable equilibrium state at 0 = (0, 0, … , 0) and asymptotically stable at A = (A _{1}, A _{2}, … , A _{ n }) with A _{ i } > 0 for i = 1, 2, … , n.

2.
The coefficients
$$r_{i} = c_{ii} (0) = \mathop {\sup }\limits_{{0 \le u_{i} \le A_{i} ;\forall i = 1,2, \ldots ,n}} [c  ii(u)]$$must be finite.
Fractional differential equations known as the differentiation and integration of noninteger order of the form (1) are becoming increasingly used as a modelling tool for diffusive processes associated with subdiffusion, diffusion and superdiffusion scenarios, and have been applied to an increasing number of situations in biochemistry (Yuste et al. 2004), control (Wang and Zhou 2011; Wang et al. 2012), medicine (Erturk et al. 2011; Hall and Barrick 2008; Otte et al. 2016) and mathematical biology or physics (Atangana 2015; Barkari et al. 2000; Tomovski et al. 2012; Wang and Du 2013). In literature, many definitions of fractional derivatives have been given among which are the definitions by Caputo, Grnwald–Letnikov, Hadamard, Marchaud and Riemann–Liouville are regarded as the most useful definitions (Haghighi et al. 2014; Podlubny et al. 2009; Polyanin and Zaitsev 2004; Yang et al. 2010; Zeng et al. 2014, 2015; Zheng et al. 2015; Zhou 2014). Quite Unfortunate that, similar usages of different definitions give rise to different results (Podlubny 1999).
Over the years, several numerical and analytical methods of solution have been adopted to solve both linear and nonlinear equations. Among which are the homotopy analysis method (Alomari et al. 2009), homotopy perturbation method (He 2005; Yildirim and Sezer 2010), Adomian decomposition method (Hassan 2008; Ray 2009), multistep differential transform method (Li Ding and LinJiang 2013; Erturk et al. 2011; Jiang et al. 2012), Kansa method (Chen et al. 2010), finite difference and tau methods (Celik and Duman 2012; Pang and Sun 2012; Saadatmandi and Dehghan 2011; Sausa 2009; Su et al. 2010) to mention a few. In the context of this paper, the spatial complexity of the domain imposes geometric constraints on the transport processes on all length scales, which can be measured as temporal correlations on all the time scales. Hence, we propose the study of fractional hepatitis B Virus (HBV) reaction–diffusion system in subdiffusive (0 < α < 1), diffusive (α = 1) and superdiffusive (1 < α < 2) scenarios, using the Fourier spectral method in space to remove the stiffness issue associated with the spatial fractional derivative in a finite but large domain size L. For the temporal discretization, we employ higherorder exponential time differencing scheme.
In “Basic definitions and numerical techniques for fractional diffusion problems” section, we provide some required basic information and definitions of fractional calculus, we also formulate Fourier spectral method for multicomponents fractionalinspace reactiondiffusion system. We present fractional HBV model, and examine the main system for both local and global stability in “Main model” section. Numerical experiment of the full nontrivial result is provided in “Numerical simulations” section. The final section concludes the paper.
Basic definitions and numerical techniques for fractional diffusion problems
Two important tasks are done in this section. The first one is to present some of the basic required information and definitions that guide the solution of fractional diffusion equations. The second task is centered on the introduction of Fourier spectral methods as an efficient and easytoimplement for the integration of fractionalinspace reaction–diffusion systems.
Basics definitions of fractional calculus
Definition 1
If f(x) ∈ [a, b] and a < x < b, then the Riemann–Liouville fractional integral is given as:
Definition 2
For α ∈ (0, 1),
is known as the Riemann–Liouville fractional integral of order α (Pindza and Owolabi 2016; Saadatmandi and Dehghan 2011; Zeng et al. 2014; Zheng et al. 2015) where
Definition 3
For −1 < α < n, n ∈ N, x > 0, and \(f \in C_{  1}^{n}\), is the Caputo fractional derivative of order α is defined as:
Definition 4
For n − 1 < α < n (Haghighi et al. 2014; Ortigueira 2006; Samko et al. 1993)
Is the Riesz fractional derivative, where \(\alpha \ne 1,C_{\alpha } = \frac{1}{{2\cos \left( {\frac{\pi \alpha }{2}} \right)}}\) and
Primarily, the Caputo fractional differential equation computes an ordinary differential equation (ODE), followed by a fractional integral to obtain the desired order of fractional derivative, but in the reverse order we compute the Riemann–Liouville fractional differential system. The Caputo fractional differential equation permits the inclusion of traditional initial and boundary conditions in the problem formulation. These two operators coincide in the case of homogeneous initial condition. For details geometric and physical interpretation for fractional calculus for both the Riemann–Liouville and Caputo types, readers are referred to the classical books (Kilbas et al. 2005; Podlubny 1999).
Theorem 1
Consider a onecomponent fractional reaction–diffusion model
where μ, t > 0, x ∈ R , α, η, \(\sigma\), ν are real and positive parameters subject to the constraints 0 < α ≤ 2, ϑ < min(α, 2 − α), and \(D_{t}^{\eta ,v}\) is the generalized Riemann–Liouville fractional derivative operator given by
with the conditions
where 1 < η ≤ 2, 0 ≤ ν ≤ 1, ρ > 0 is a constant with the kinetic (or reaction) term. \({}_{x}D_{\vartheta }^{\alpha }\) is called the Riesz–Feller space fractional derivative of order α, skewness ϑ is symmetry given in terms of the Fourier transform
where \(\varpi_{\vartheta }^{\alpha } (k) = \left k \right^{\alpha } e^{i(signk)} \frac{\vartheta \pi }{2}\), 0 < α ≤ 2, ϑ, min(α, 2 − α), μ is the diffusion coefficient and \(\sigma\)(x, t) is a term that belongs to the area of reaction–diffusion function. The solution of (4) govern by the above conditions is
Proof
For the time variable, we apply Laplace transform w.r.t. time t, also for the space variable, we find the Fourier transform w.r.t. x using Laplace parameter s and Fourier parameter k, subject to the initial conditions and Eq. (6) with the Laplace transform of (5) given as
for n − 1 < η ≤ n, n ∈ u, 0 ≤ ν ≤ 1, we then transform the given equation into the form
where * is the Fourier transform w.r.t. x with Laplace and Fourier parameters s and k. By convention we use (.) to denote the Laplace transform of (·). So, solving for \(\bar{u}^{*} (k,s)\) we obtain
We take the inverse Laplace transform of Eq. (8) and following the result of Saxena et al. (2006), we have
where the real part of the parameters are positive, bear in mind that
which by inverse Fourier transform, Eq. (9) becomes
as the required result. □
Numerical techniques for fractional reaction–diffusion equations
Spectral algorithms are considered to be extremely valuable for generating numerical schemes in almost every areas of applied mathematics, because it has no excuse to differentiate poorly but possesses the ability to yield spectrally accurate fractional or spatial derivatives. We can always guarantee of getting good and efficient working codes, when spectral methods is coupled with Fast Fourier transforms and implement with highlevel language like Matlab. In one component, we use the integrating factor technique to Fourier transform of (1) to get
where U is the Fourier transform of species u(x, t). This implies that,
We let \(\varOmega^{\alpha } = (X_{x}^{\alpha } )\) to explicitly remove the issue of stiffness in the fractional derivative term, and set \(U = e^{{  \varOmega^{\alpha } t}} \bar{U}\), so that
Now, in practice, we discretize spatial domain by considering N _{ x } the equispaced points direction of x. We employ the discrete fast Fourier transform (DFFT; Owolabi and Patidar 2015) so that (12) becomes a system of ODEs
where u _{ i } = u(x _{ i }) and \(\varOmega_{i}^{\alpha } = X_{x}^{\alpha } (i)\). The boundary conditions can be clamped at extremes of the domain. At this point, we have transformed the system to ODEs, more importantly, the spatial derivative and the associated stiffness are gone. We can employ any higherorder explicit solver.
By using the standard notation of order s Runge–Kutta (RK) schemes, with time step Δt, we can advance from t _{ n } = nΔt to t _{ n+1} = (n + 1)Δt for the ODE
where
Here, we apply the general explicit Runge–Kutta scheme to (13) for \(\bar{U}_{i}\). For brevity, we denote μ _{ i } as k′ in \(\overline{{U_{i} }}\) and set the replacement variable as
Finally, we write the sstage RK scheme as
with modified term
and U values at intermediate step
This implies that we work entirely in the spectral domain and invert a transform to recover u. It should be mentioned that once the stiffness is removed, one can rapidly and accurately advance in time with any explicit higherorder timesolvers, see for instance (Kassam and Trefethen 2005; Owolabi and Patidar 2014) for details.
For the second time stepping solver, we formulate and utilize the modified Krogstad (2005) version of the Cox and Matthews scheme (Cox and Matthews 2002), which we denoted here for brevity as ETDRK4.
with the stages μ _{ i } given as
The functions φ _{ i }, are given as
where L = \(\frac{{\partial^{\alpha } u}}{{\partial x^{\alpha } }}\) is the fractional derivative operator with order α, and N is the Fourier transform that accounts for the nonlinear reaction functions. Readers are referred to Cox and Matthews (2002) and Owolabi and Patidar (2016a, b) for details derivation and stability of the family of exponential time differencing schemes.
At this point, we need to check the performance of the fractional Fourier transform technique in conjunction with both the classical fourthorder Runge–Kutta (Owolabi and Patidar 2014) and the fourthorder exponential timedifferencing Runge–Kutta schemes. Here we consider (1) in one component and set the reaction term to zero, so that the given multicomponents system reduces to fractional diffusion equation.
In Fig. 1, we report the L^{∞}norm error defined as
where \(\bar{u}\) and u are the approximate and exact solutions, and N represents the computational grids number, on x ∈ [0, 0.5] at t = 1 and initial condition u _{0}(x) = exp[− 10x ^{2} /(1 − x ^{2})]. The reference solution is taken by evaluating the fractional diffusion equation using 212 Fourier modes. It is proper to say that regardless of fractional power α, our approach (Fourier transform) is able to attain a spectral convergence up to machine precision.
Timing results (independent of fractional power α) are given in Table 1 for comparison between both schemes. Indication here is that, the ETDRK4 displays a better performance when used in conjunction with the Fourier spectral method, especially when N is large. In terms of efficiency and accuracy, Fourier methods when compared to loworder methods have proven to be advantageous relative to memory requirement, computationally efficient and fast in execution times. The result obtained in Table 1 justifies the reason for abandoning the RK4 scheme in the main computations.
Main model
Over the years, mathematical modelling has become an important tool in the application areas medical and life sciences to address some of the health challenging problems that are not approachable experimentally. Hepatitis B is commonly referred to as a life threatening infectious disease caused by the hepatitis B virus (HBV) which leads to inflammation or causing serious damage to the liver. According to World Health Organization’s (WHO) 2002 data report, over 2000 million people have been effected, more than 350 million individuals remain chronically infected and carriers of the virus. An estimated population of 4 million people are considered as acute clinical cases of the virus.
Research have shown that children and adolescents are most vulnerable to the disease than adults due to exposure which may show some clinical symptom and have a higher percentage chance of being acutely infected. Based on report, about a quarter of chronic infected individuals die of liver cancer annually. As a result, hepatitis B is known to be one of the most common viral source of cancer in the world nowadays. Hence, HBV infection is a disease of global health and its prevalence varies from one region to the other.
A lot of researchers have worked on HBV in the past, among which are the notable papers of Medley et al. (2001) where compartmentalized model was used to describe the spread of the disease. Almost a decade later, Zou et al. (2010) worked on the modified version of the model (Medley et al. 2001). They develop a model to explore the impact of vaccination and other controlling measures of HBV infection. Their model has simple dynamical behavior which has a globally asymptotically stable diseasefree equilibrium when the basic reproduction number R _{0} < 1, and a globally asymptotically stable endemic equilibrium when R _{0} > 1. In the year 2014, Kimbir et al. (2014) give an extension to the earlier report in Zou et al. (2010) by including the treatment of chronically infected HBV carriers, it was also suggested in their report that the acute infected individuals are not subjected to antiviral treatment due to natural recovery. Wiah et al. (2015) employed a nonlinear extended deterministic model to address the impact of immigration on the population spread of HBV infection with acute and chronic infected carriers.
In this work, we present a deterministic model consisting of coupled nonlinear fractional partial differential equations of order α. This new model provides an extension of the models discussed earlier by Zou et al. (2010, 2015). The model population consists of five local kinetics broken into the susceptible individuals (U _{1}), exposed class (U _{2}) which are infected but yet to be infectious, acute infection individuals (U _{3}), chronic HBV class (U _{4}) and temporary protective immunity referred to as the recovered individuals (U _{5}). The fractional reaction–diffusion system is given as
where u = (u _{1}, u _{2}, … , u _{ n }) is a vector of concentration or density for interacting species at position x and time t, and F _{ i }, i = 1, … , 5, are the local reaction terms. The terms D _{ i } > 0, i = 1, … , 5 are the diffusion coefficients. The initial densities are expected to be nonnegative and the problem (17) is confined by imposing the appropriate choice of boundary conditions. The boundary conditions are taken as zero flux
with similar relations for the U _{ i }, i = 2, … , 5. The initial data are taken as in Eq. (2) in the form of some small perturbations from the uniform solution *:
with analogous expressions for the remaining species. Subject to the following coupled reaction kinetics
where γ represents the rate of recruitment into a susceptible individuals, ω stands for the transmission rate of disease from one infection class to another. The HBV induced rate is given by β, while τ is the natural death rate. Parameters δ, σ are the progressive rate from the exposed (U _{2}) to acute (U _{3}) infection individuals and acute to chronic infection class (U _{4}) respectively. The natural recovery rate for the exposed individuals for the latent HBV is denoted by ϵ, while ψ ≫ 1 is the transmission rate multiplier. Finally, ϕ and φ are the respective vaccination success rate for the class U _{1} and treatment success rate for (U _{3}) infected class.
Stability analysis of the disease free equilibrium (DFE) point
In this section, we analyze the local stability of the diseasefree equilibrium (DFE). It is the stability of at DFE that can guarantee a biologically meaningful results. Here we assume that the disease variables U _{2} = U _{3} = U _{4} = 0. If otherwise, the disease will persist and put the whole population of susceptible individuals into serious danger.
The basic reproduction number, commonly denoted as R _{0}, gives the total number of secondary infections that an average infectious class will induce given that the rest of the population is susceptible. By using the notation in Pang et al. (2010), we denote the emergence of new infection by F, and the transfer of individual from one class to another by V. The endemic equilibrium dynamics in the region \((U_{1} > 0,U_{2} > 0,U_{3} > 0,U_{4} > 0,U_{5} > 0) = (\hat{U}_{1} ,\hat{U}_{2} ,\hat{U}_{3} ,\hat{U}_{4} ,\hat{U}_{5} )\), do not correspond to biologically meaningful results since it encourages the spread of HBV disease. Hence, we do not capture the endemic equilibrium results in the analysis. For all possible parameter values, the spatially homogeneous stationary solution of model (17) with kinetics (20) has a disease free equilibrium point \(\hat{E} = (\gamma /(\tau + \phi ),0,0,0,\tau \phi /(\tau + \phi )\tau )\), we define the reproduction number as R _{0} = (FV ^{−1}), where
After some algebraic manipulations, we obtain the average value of the expected number of secondary cases produced by a single infected individuals
Theorem 2
The disease free equilibrium point \(\hat{E} = (\gamma /(\tau + \phi ),0,0,0,\tau \phi /(\tau + \phi )\tau )\) is locally asymptotically stable for the spatially homogeneous stationary solution of model (17) with kinetics (20) if R _{0} < 1, and unstable if otherwise.
Proof
The Jacobian matrix of the spatially homogeneous stationary solution of model (17) with kinetics (20) at point \(\hat{E}\) is given by
From the characteristics equation of (22), we have two negative eigen values \(\lambda_{1} =  \tau ,\lambda_{2} =  (\tau + \phi )\). After substitution, we have the rest of the characteristic polynomial given as
where A _{ ij }, i, j = 1, 2, 3 is a 3 × 3 matrix, and I identity matrix. From (23), we obtain the characteristic equation \(X(\lambda ) = \lambda_{3}  (a_{11} a_{22} a_{33} )\lambda_{2} + (a_{11} a_{22} + a_{11} a_{33} + a_{22} a_{33} + a_{12} a_{21} )\lambda  a_{12} a_{21} a_{33}  a_{12} a_{22} a_{33}  a_{13} a_{21} a_{32} = 0\).By adopting the Routh–Hurwitz stability conditions of the linear differential equations, system (17) with kinetics (20) is stable for the disease free equilibrium point \(\hat{E}\) if: (1) the roots r _{0}, r _{1}, r _{2}, r _{3} are positive with negative real parts, where r _{3} = 1, r _{2} = a _{11} a _{22} + a _{11} a _{33}, r _{1} = (a _{11} a _{22} + a _{11} a _{33} + a _{22} a _{33} + a _{12} a _{21}), r _{0} = a _{12} a _{21} a _{33} − a _{12} a _{22} a _{33} − a _{13} a _{21} a _{32} (2) r _{1} r _{2} − r _{0} a _{3} > 0. We verified from the coefficients that r _{0} > 0, r _{1} > 0, r _{2} > 0, r _{3} > 0 and r _{1} r _{2} − r _{0} a _{3} = − R _{0} > 1 which implies that R _{0} < 1. Hence we complete the proof since R _{0} < 1 which shows that the disease free equilibrium point is locally asymptotically stable. □
Global stability of the diseases free equilibrium point
Here, we are concerned with the global stability of DFE point. We adopt a similar technique to the proof of Theorem 2.
Theorem 3
The disease free equilibrium point \(\hat{E} = (\gamma /(\tau + \phi ),0,0,0,\tau \phi /(\tau + \phi )\tau )\) is globally asymptotically stable for the spatially homogeneous stationary solution of model (17) with kinetics (20), if R _{0} < 1.
Proof
Let G be a Lyapunov function given in the form
On differentiating (24) and substitute the spatially homogeneous version of model (17) with kinetics (20) into it at \(\hat{E}\), we have
on substituting for \(P = \frac{\delta }{\tau \varepsilon \delta }\) and \(Q = \frac{\psi \omega \tau \delta }{(\tau \varepsilon \delta )(\tau + \beta )(\varphi + \tau )}\) in (15) we get
It follows from the point \(\hat{E} = (\gamma /(\tau + \phi ),0,0,0,\tau \phi /(\tau + \phi )\tau )\) that G = 0 since the derivatives of Ui = 0, i = 2, 3, 4. This implies that as U _{ i } → 0, i = 2, 3, 4, also U _{1} → γ/(τ + ϕ) and U _{5} → τϕ/(τ + ϕ)τ as t → ∞. So the DFE point is globally asymptotically stable if the inequality is satisfies the condition R _{0} < 1, but unstable if R _{0} > 1. The proof is completed. □
Numerical simulations
In this section, we start to simulate numerically the solution of the spatially homogeneous system (17) with kinetics (20) using the numerical techniques formulated in “Basic definitions and numerical techniques for fractional diffusion problems” section above to substantiate our analytical findings.
Nondiffusive example
We consider the set of parameters
with reasonable initial populations (millions)
For the set of ecological parameters, we realized that the conditions given in Theorems 2 and 3 for nondiffusive system are satisfied for the disease freeequilibrium state.
In Fig. 2, we simulate the nondiffusive system numerically at different instances of tau to study the behaviour of the species with time (year) t = 1. It was observed only the class of individuals U _{1}, U _{2}, U _{5} could actually be free of HBV as time is progressed. Clearly, those in the classes U _{3} and U _{4} which corresponds to the number of acute and chronic individuals will continue to live and spread the virus as years rollby until the entire population is endermic. Similarly in Fig. 3, we fixed all parameters and initial conditions as in (26) and (27), and simulate with different instances of ϵ. It is obvious, despite the necessary measures such as treatments and lots of sensitization programs put in place for those in the acute and chronic class to get recovered with increasing time t = 3, the number of casualties is increasing. This is evident on the axis containing the population profiles of U _{3} and U _{4}. Species attractor at t = 3 and instances of ϵ is given in panel (f).
Since it is not possible to completely wipe out both U _{3} and U _{4} classes in model (or in the population). Then, the question of ‘what can be done?’ sets in. In the context of this paper, we came out with the opinion of varying some of the parameters, the correct choice of parameters that will put control to the spread of HBV is attained by reducing the values of τ from 1.5 to 0.5 and that of β from 2.5 → 0.05 to enable the class of individuals U _{4} respond to treatment over time. To checkmate the spread of HBV for the group U _{3}, we need to increase parameter value δ from 1.5 to 10.5 and above. These assertion is evident in Fig. 4.
Fractional reaction–diffusion example
Here, we simulate the whole system in the presence of diffusion with fractional power index α. We now illustrate through numerical experiments with Neumann boundary conditions, a multiple coexistence steady states in the fractionalinspace reaction–diffusion model (17) with kinetics (20). The boundary conditions are clamped the the extreme points of spatial domain of size [0, L], L = 20. We compute the initial conditions as:
where N is the number of discretization.
We fixed parameters as:
to obtain the surface plots displayed in Fig. 5. Obviously, the behaviour of the species correspond to those in Figs. 2 and 3, though the amplitudes differ.
We repeat the parameter values used in Fig. 4 to obtain the surface plots displayed in Fig. 6 for the superdiffusive case, when α = 1.5. Clearly, all the species are disease free when necessary vaccinations and treatments (drugs) are administered over time. The risen amplitudes indicating high cases of HBV dropdown or tend to zero to show that the spread of HBV has significantly reduced, as shown in Fig. 6. By the computer simulation of the fractional reaction–diffusion system, we have given evidence that hepatitis B virus model and control can be studied in fractional scenarios. Our findings in this paper strongly recommend a combination of effective treatment and vaccination as a good control measure is important to record the success of HBV disease control as done via parameters τ, β and δ.
Conclusion
In this paper, a mathematical model for investigating the hepatitis B virus disease in fractional medium is derived. The model disease free equilibrium state is analyzed. We established via theorems that the model diseasefree equilibrium is both locally and globally asymptotically stable, if the basic reproduction number is less than unity. Our aim is to examine the behaviour of diffusive fractional reaction–diffusion model in subdiffusive and superdiffusive scenarios, derive efficient and reliable numerical techniques. By the computer experiment of the fractional reaction–diffusion system we have given enough evidence that numerical solution in the diffusive (fractional) scenario, at 0 < α < 2 is practicably the same as in the case of nondiffusive case when applied to model Hepatitis B virus system. Our findings in this work strongly recommend a combination of effective treatment and vaccination as a good control measure is important to record the success of HBV disease control. It should be noted that the methodology presented in this paper can be applied to model other physical phenomena in higher dimensions.
References
Alomari AK, Noorani MSM, Nazar R (2009) Explicit series solutions of some linear and nonlinear Schrodinger equations via the homotopy analysis method. Commun Nonlinear Sci Numer Simul 14:1196–1207
Atangana A (2015) On the stability and convergence of the timefractional variable order telegraph equation. J Comput Phys 293:104–114
Barkari E, Metzler R, Klafter J (2000) From continuous time random walks to the fractional Fokker–Planck equation. Phys Rev E 61:132–138
Celik C, Duman M (2012) CrankNicolson method for the fractional diffusion equation with the Riesz fractional derivative. J Comput Phys 231:1743–1750. doi:10.1016/j.jcp.2011.11.008
Chen W, Ye L, Sun H (2010) Fractional diffusion equations by Kansa method. Comput Math Appl 59:1614–1620
Cox SM, Matthews PC (2002) Exponential time differencing for stiff systems. J Comput Phys 176:430–455
Erturk V, Odibat Z, Momani S (2011) An approximate solution of a fractional order differential equation model of human Tcell lymphotropic virus (HTLVI) infection of CD4 Tcells. Comput Math Appl 62:996–1002
Haghighi AR, Dadvand A, Ghejlo HH (2014) Solution of the fractional diffusion equation with the Riesz fractional derivative using McCormack method. Commun Adv Comput Sci Appl 2014:1–11. doi:10.5899/2014/cacsa00024
Hall MG, Barrick TR (2008) From diffusionweighted MRI to anomalous diffusion imaging. Magn Reson Med 59:447–455. doi:10.1002/mrm.21453
Hassan IH (2008) Comparison differential transformation technique with Adomian decomposition method for linear and nonlinear initial value problems. Chaos Solitons Fractals 36:53–65. doi:10.1016/j.chaos.2006.06.040
He JH (2005) Application of homotopy perturbation method to nonlinear wave equations. Chaos Solitons Fractals 26:695–700. doi:10.1016/j.chaos.2005.03.006
Jiang H, Liu F, Turner I, Burrage K (2012) Analytical solutions for the multiterm time–space Caputo–Rieze fractional advectiondiffusion equations on a finite domain. J Math Anal Appl 389:1117–1127. doi:10.1016/j.jmaa.2011.12.055
Kassam AK, Trefethen LN (2005) Fourthorder time stepping for stiff PDEs. SIAM J Sci Comput 26:1214–1233
Kilbas AA, Srivastava HM, Trujillo JJ (2005) Theory and applications of fractional differential equations. Elsevier, New York
Kimbir AR, Aboiyar T, Abu O, Onah ES (2014) Simulation of a mathematical model of hepatitis B virus transmission dynamics in the presence of vaccination and treatment. Math Theory Model 4:44–59
Krogstad S (2005) Generalized integrating factor methods for stiff PDEs. J Comput Phys 203:72–88
Li Ding X, LinJiang Y (2013) Analytical solutions for the multiterm time–space fractional advection–diffusion equations with mixed boundary conditions. Nonlinear Anal Real World Appl 14:1026–1033
Medley GF, Lindop NA, Edmunds WJ, Nokes DJ (2001) HepatitisB virus endemicity: heterogeneity, catastrophic dynamics and control. Nat Med 7:619–624
Ortigueira MD (2006) Riesz potential operators and inverses via fractional centred derivatives. Int J Math Math Sci. doi:10.1155/IJMMS/2006/48391
Otte S, Berg S, Luther S, Parlitz U (2016) Bifurcations, chaos, and sensitivity to parameter variations in the Sato cardiac cell model. Commun Nonlinear Sci Numer Simul 37:265–281. doi:10.1016/j.cnsns.2016.01.014
Owolabi KM, Patidar KC (2014) Higherorder timestepping methods for time dependent reaction–diffusion equations arising in biology. Appl Math Comput 240:30–50. doi:10.1016/j.amc.2014.04.055
Owolabi KM, Patidar KC (2015) Existence and permanence in a diffusive KiSS model with robust numerical simulations. Int J Differ Equ. doi:10.1155/2015/485860
Owolabi KM, Patidar KC (2016a) Numerical simulations of multicomponent ecological models with adaptive methods. Theor Biol Med Model. doi:10.1186/s1297601600274
Owolabi KM, Patidar KC (2016b) Effect of spatial configuration of an extended nonlinear Kierstead Slobodkin reaction transport model with adaptive numerical scheme. Springer Plus 5:303. doi:10.1186/s400640161941y
Pang HK, Sun HW (2012) Multigrid method for fractional diffusion. J Comput Phys 231:693–703
Pang J, Cui J, Zhou X (2010) Dynamical behavior of a hepatitis B virus transmission model with vaccination. J Theor Biol 265:572–578
Pindza E, Owolabi KM (2016) Fourier spectral method for higher order space fractional reaction–diffusion equations. Commun Nonlinear Sci Numer Simul 40:112–128. doi:10.1016/j.cnsns.2016.04.020
Podlubny I (1999) Fractional differential equations. Academic Press, San Diego
Podlubny I, Chechkin A, Skovranek T, Chen YQ, Jara BB (2009) Matrix approach to discrete fractional calculus II: partial fractional differential equations. J Comput Phys 228:3137–3153
Polyanin AD, Zaitsev VF (2004) Handbook of nonlinear partial differential equations. Chapman & Hall/CRC, Boca Raton
Ray SS (2009) Analytical solution for the space fractional diffusion equation by twostep Adomian Decomposition Method. Commun Nonlinear Sci Numer Simul 14:1295–1306
Saadatmandi A, Dehghan M (2011) A tau approach for solution of the space fractional diffusion equation. Comput Math Appl 62:1135–1142. doi:10.1016/j.camwa.2011.04.014
Samko SG, Kilbas AA, Marichev OI (1993) Fractional integrals and derivatives: theory and applications. Gordon and Breach, Amsterdam
Sausa E (2009) Finite difference approximations for a fractional advection diffusion problem. J Comput Phys 228:4038–4054
Saxena RK, Mathai AM, Haubold HJ (2006) Fractional reaction–diffusion equations. Astrophys Space Sci 305:289–296
Su L, Wang W, Xu Q (2010) Finite difference methods for fractional dispersion equations. Appl Math Comput 216:3329–3334. doi:10.1016/j.amc.2010.04.060
Tomovski Z, Sandev T, Metzler R, Dubbeldam J (2012) Generalized spacetime fractional diffusion equation with composite fractional time derivative. Phys A 391:2527–2542
Wang H, Du N (2013) A super fastpreconditioned iterative method for steadystate space fractional diffusion equations. J Comput Phys 240:49–57
Wang JR, Zhou Y (2011) A class of fractional evolution equations and optimal controls. Nonlinear Anal Real World Appl 12:262–272. doi:10.1016/j.nonrwa.2010.06.013
Wang JR, Zhou Y, Wei W (2012) Fractional Schrodinger equations with potential and optimal controls. Nonlinear Anal Real World Appl 13:2755–2766. doi:10.1016/j.nonrwa.2012.04.004
Wiah EN, Makinde OD, Adetunde IA (2015) Optimal control of hepatitis B virus disease in a population with infected immigrants. Eng Math Lett 2015:8
Yang Q, Liu F, Turner I (2010) Numerical methods for fractional partial differential equations with Riesz space fractional derivatives. Appl Math Model 34:200–218. doi:10.1016/j.apm.2009.04.006
Yildirim A, Sezer SA (2010) Analytical solution of linear and nonlinear spacetime fractional reaction–diffusion equations. Int J Chem Reactor Eng 8:1–21
Yuste SB, Acedo L, Lindenberg K (2004) Reaction front in an A + BC reactionsubdiffusion process. Phys Rev E 69:036126
Zeng F, Liu F, Li C, Burrage K, Turner I, Anh V (2014) A Crank–Nicolson ADI spectral method for a twodimensional riesz space fractional nonlinear reaction–diffusion equation. SIAM J Numer Anal 52:2599–2622
Zeng F, Li C, Liu F, Turner I (2015) Numerical algorithms for timefractional subdiffusion equation with secondorder accuracy. SIAM J Sci Comput 37:A55–A78
Zheng M, Liu F, Turner I, Anh V (2015) A novel high order spacetime spectral method for the time fractional Fokker–Planck equation. SIAM J Sci Comput 37:A701–A724
Zhou Y (2014) Basic theory of fractional differential equations. World Scientific, New Jersey
Zou L, Zhang W, Ruan S (2010) Modelling the transmission dynamics and control of hepatitis B virus in China. J Theor Biol 262:330–338
Zou L, Ruan S, Zhang W (2015) On the sexual transmission dynamics of hepatitis B virus in China. J Theor Biol 369:1–12
Competing interests
The author declares that he has no competing interests.
Author information
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
Keywords
 Disease free equilibrium
 Fourier spectral method
 Exponential integrator
 Fractional reaction–diffusion
 Nonlinear PDEs
 Numerical simulations
 Reproduction number
Mathematics Subject Classification
 34A34
 35A05
 35K57
 65L05
 65M06
 93C10