Abstract
In this article, the first part is concerned with the important questions related to the existence and uniqueness of solutions for nonlinear reaction-diffusion systems. Secondly, an efficient positivity-preserving operator splitting nonstandard finite difference scheme (NSFD) is designed for such a class of systems. The presented formulation is unconditionally stable as well as implicit in nature and even time efficient. The proposed NSFD operator splitting technique also preserves all the important properties possessed by continuous systems like positivity, convergence to the fixed points of the system, and boundedness. The proposed algorithm is implicit in nature but more efficient in time than the extensively used Euler method.
Similar content being viewed by others
1 Introduction
Reaction-diffusion equations generally arise in different chemical and biological models which describe the physical phenomena like concentration, density, population sizes, and many more. The negative solution of these systems is meaningless because the solutions describe the concentration, density, and population sizes, and similar type of quantities cannot be negative. Therefore the behavior of the numerical method used to solve such systems must be the same as the behavior of continuous systems. The NSFD method proposed by Mickens [1] is an efficient way to design structure-preserving finite difference (FD) schemes. Various writers proposed NSFD and positivity preserving FD schemes for the solution of differential equations. Many authors used the NSFD technique to find the solution of ordinary differential equations arising in chemical and biological models, for the readers, some of the references are presented [2–8]. In a similar way, different NSFD and positivity preserving FD methods are introduced in the literature to solve reaction-diffusion equations [9–17]. Also, various techniques are used to solve a similar type of diffusion systems [18–23].
Many numerical methods have gained considerable attention, as exact solution of many chemical and biological models involving partial differential equations is an uphill task. Therefore many authors proposed different numerical techniques to find the numerical solution of ordinary, partial, and fractional differential equations arising in the models of chemistry, physics, biology, engineering, and many other fields of different sciences [24–36]. The proposed NSFD method introduced in this work is concerned with time efficiency as well as preserving of the properties possessed by the continuous reaction-diffusion models. The proposed method is an operator splitting NSFD method. The operator splitting FD technique introduced by Yanenko and his collaborators is a remarkable achievement for the numerical solution to the problems in theoretical mechanics [37]. An explicit forward Euler FD method is compared with the proposed method. The proposed operator splitting NSFD method maintains the same numerical accuracy and reduces the computation time efficiently. Reflecting numerically, more accuracy requires less CPU time; furthermore, easy implementation enhances the applicability of the proposed NSFD scheme.
The major motivation for the current research is to construct the solutions under special physical traits that lead to the computational difficulties. The developed algorithm not only preserves the necessary properties of the solution, but also reduces computational cost. Furthermore, the existence of solutions of the underlying problem is assured.
2 Existence of solution
The goal of the paper is to solve the following system in a square domain:
subject to the initial conditions
and the homogeneous Neumann boundary conditions
where \(d_{w_{i}}\) are the diffusion coefficients and are constants, while \(g_{i}(x,y)\) are continuous in Ω̅. The conventional integration leads to the inversion of the partial differential operator \(\partial _{t}\) by simple integration in the following new analytic form:
In the operator form we can write
where
Clearly the solutions \(w_{i}\) of system (1) are twice continuously differentiable in the domain Ω and continuously differentiable in the time domain \([0,T]\), \(T>0\). Hence \(\mathcal{F}\) in (6) is continuous and bounded, i.e., \(|\mathcal{F}|< M\), M is a positive real number. For the existence of the solution of system (1)–(2),
Hence \(T_{i}\) are bounded, and further if we consider a closed and convex subset \(B_{r}(\varTheta )\) (centered at zero element) in the space of continuous functions with radius r, thus
which gives restriction on the bounds \(\kappa _{i}\) of the initial values.
Now consider the family of images \(T_{i}^{j}\) of pre-images \(w_{i}^{j}\), then from (5) we get the following difference:
This implies that \(T_{i}^{j}\) is equicontinuous, so by the Arzela–Ascoli theorem there exists a subsequence \(T_{i}^{j_{l}}\) of \(T_{i}^{j}\) which is uniformly convergent, and hence the operator T in (5) turns out to be relatively compact, so the Schauder fixed point theorem is applicable. Summing up the above arguments, the following theorems have been proved.
Theorem 1
Suppose that the functions\(w_{i}(x,y,t)\)are twice continuously differentiable in\(\varOmega =a < x,y < b\), continuously differentiable with respect to the time domain\([0,T]\)along with continuous initial values, then problem (1)–(2) is equivalent to the fixed point operator (5).
Theorem 2
Let\(w_{i}(x,y,t)\)be\(C^{2}(\varOmega )\)and\(C^{1}[0,T]\), then the initial boundary value problem for (1) and (2) is solvable for a Schauder fixed point theorem and consequently possesses the solution.
Suppose the right-hand side of \(\mathcal{F}(w_{i})\) of (1) satisfies the following condition:
Suppose that f is Lipschitz continuous in \(w_{i}\),
where
which is a necessary condition to show the unique existence under condition (7). Further,
The operator T will be a contraction provided
Finally, we establish the following important theorem for the unique existence of the solution of (1)–(2), i.e., we have the following.
Theorem 3
Suppose that the right-hand side of (1) satisfies the Lipschitz condition of the form (8), then problem (1)–(2) is uniquely solvable provided conditions (7) and (9) are satisfied.
3 Numerical methods
Firstly, divide \([a,b ]^{2} \times [0,T ]\) into \(M^{2} \times N\) with space step size \(h=(b-a)/M\) and time step size \(\tau =T/N\). Grid points are
The notation \({w_{i}}_{l,m}^{n}\) is used for the finite difference approximations of \(w_{i}(lh,mh,n\tau )\). We present two different FD techniques, the forward Euler FD technique and the operator splitting NSFD technique. We propose the positivity preserving NSFD operator splitting technique for the solution of two-dimensional reaction-diffusion systems. In order to verify all the attributes of the proposed NSFD technique, we also use the forward Euler FD technique for the purpose of comparison. The forward Euler FD technique is explicit in nature, time efficient, and easy to implement. But the forward Euler FD technique has the conditional stability. The proposed operator splitting NSFD scheme is implicit in nature and has unconditional stability. The splitting techniques are very efficient numerical techniques for the solution of differential equations. The splitting techniques are widely used numerical techniques for the solution of different nonlinear physical problems [38–43].
3.1 Forward Euler FD method
In the forward Euler FD method, time derivative is approximated by the forward difference, and space derivatives are approximated by central differences. The forward Euler FD scheme for system (1) is given as follows:
where
The stability region of the forward Euler FD scheme after linearizing the nonlinear reaction-diffusion is approximately \(d_{w_{i}} (\tau /h^{2}) \leq 1/4\).
3.2 Operator splitting FD method
In this method, we split system (1) into three steps as follows:
and apply the finite difference approximations on the above equations:
where \((n + 1/3 )\) means the time step \(t_{n+1/3}= t_{n} + (1/3)\tau \), \((n + 2/3 )\) means the time step \(t_{n+ 2/3} = t_{n} + (2/3)\tau \), and \((n + 1)\) means the time step \(t_{n+1} = t_{n} + \tau \).
3.3 NSFD method
The NSFD schemes give numerical approximations to differential equations by constructing discrete models. These schemes preserve the important physical properties of the continuous model and consequently give reliable results. The following are the rules defined by Mickens in [1] for designing the NSFD scheme:
Rule 1. The discrete derivative should be of the same order as the order of continuous derivative appearing in the model.
Rule 2. The step sizes h and τ can be replaced with the functions \(\varPhi (h)\) and \(\varPsi (\tau )\) with the conditions that if \(h\rightarrow 0\), \(\tau \rightarrow 0\) then \(\varPhi (h)\rightarrow 0\), \(\varPsi (\tau ) \rightarrow 0\), respectively. Rule 3. Nonlinear terms should, in general, be replaced with nonlocal discrete representations. For example, \({w_{1}}_{l,m}^{n}{w_{2}}_{l,m}^{n}\) is replaced with \({w_{1}}_{l,m}^{n}{w_{2}}_{l,m}^{n+1}\).
Rule 4. Any property P demonstrated by the continuous system should be preserved by the numerical method.
After applying these rules, equations (11)–(13) become an NSFD operator splitting scheme.
3.4 Stability and accuracy of the proposed NSFD method
The stability and consistency of operator splitting schemes depend on the split solutions [38, 44]. The time derivative has \(O(\tau )\) accuracy, and the reaction step is exactly solved so it is unconditionally stable. In the similar way, the space derivative has \(O(h^{2})\) accuracy, and the diffusion step is also unconditionally stable.
In the next sections we consider two different chemical reaction models for the application of the positivity-preserving NSFD operator splitting method and the forward Euler method.
4 Brusselator reaction-diffusion model
The Brusselator model is an auto-catalytic chemical reaction developed by Prigogine [45]. This Brusselator reaction-diffusion system plays a significant role in the application of cooperative processes of chemical kinetics. This system arises in a large number of physical problems. The Brusselator reaction-diffusion system appears in the formation of ozone by atomic oxygen through a triple collision as well as in enzymatic reactions, and in plasma and laser physics. The system of two-dimensional Brusselator model is
with the initial condition
and the homogeneous Neumann boundary conditions. Here, \(w_{1}=w_{1}(x,y,t)\) and \(w_{2}=w_{2}(x,y,t)\) are the concentrations of the chemical substances. C and D are constant concentrations. The equilibrium point of system (14)–(15) is \((w_{1}^{*}, w_{2}^{*})=(D,C/D)\). Twizell et al. [49] concluded that system (14)–(15) has a stable equilibrium point \((w_{1}^{*}, w_{2}^{*})\) under the condition \(1-C+D^{2} \geq 0\) and unstable if \(1-C+D^{2} < 0\). Now we apply the forward Euler FD scheme (10) on equations (14)–(15), we have
Now we apply the NSFD operator splitting technique (11)–(13) on equation (14). At the first time step, the reaction term is solved:
After simplification, we have
At the second time step, the space derivative w.r.t. x is approximated
Similarly, at the third time step the space derivative w.r.t. y is approximated as follows:
In a similar way, the NSFD operator splitting scheme for equation (15) at all steps is
4.1 Matrix representation
Let \(\mathbf{w_{1}^{n+\frac{2}{3}}}= ( w_{1_{0,m}}^{n+\frac{2}{3}}, \ldots , w_{1_{M,m}}^{n+\frac{2}{3}} )^{t}\) and \(\mathbf{w_{2}^{n+\frac{2}{3}}}= ( w_{2_{0,m}}^{n+\frac{2}{3}}, \ldots , w_{2_{M,m}}^{n+\frac{2}{3}} )^{t}\), where \((\cdot )^{t}\) represents the transposition of a vector. Along with the homogeneous Neumann boundary conditions, equations (21) and (24) are equivalent to the matrix form
where \(B_{1}\) and \(B_{3}\) are real matrices of size \((M+1)\times (M+1)\)
Again let \(\mathbf{w_{1}^{n+1}}= ( w_{1_{l,0}}^{n+1},\ldots , w_{1_{l,M}}^{n+1} )^{t}\) and \(\mathbf{w_{2}^{n+1}}= ( w_{2_{l,0}}^{n+1},\ldots , w_{2_{l,M}}^{n+1} )^{t}\), where \((\cdot )^{t}\) represents the transposition of a vector. Along with the homogeneous Neumann boundary conditions, equations (22) and (25) are equivalent to the matrix form
where \(B_{2}\) and \(B_{4}\) are real matrices of size \((M+1)\times (M+1)\)
Lemma 1
The matrices\(B_{i}\), \(i=1,2,3,4\), given in equations (28), (29), (32), and (33) are M-matrices.
Proof
The values of \(\eta _{1}=d_{w_{1}} \frac{\tau }{h^{2}}>0\) and \(\eta _{2}=d_{w_{2}} \frac{\tau }{h^{2}}>0\) because \(d_{w_{1}}\), \(d_{w_{2}}\), h, and τ are positive constants. It follows that the matrices \(B_{i}\), \(i=1,2,3,4\), are strictly diagonally dominant. Also entries in the diagonal are positive and off diagonal entries are nonpositive. Therefore, \(B_{i}\), \(i=1,2,3,4\), are M-matrices. □
Remark 1
The solutions \(w_{i}\) appearing in the left-hand side of Eqs. (26), (27), (30), and (31) can be recovered using the inversion of the matrices \(B_{i}\), \(i=1,2,3,4\). Since these are M-matrices, by Lemma 1 these, in general, are nonsingular. Therefore these matrices are invertible, and the inverse can be obtained by computational software such as MATLAB.
4.2 Positivity of the NSFD operator splitting method
In order to discuss the positivity of the NSFD operator splitting scheme, we use M-matrix theory. A matrix which is real and strictly diagonally dominant is called M-matrix if it has nonpositive off diagonal entries and positive diagonal entries. If a matrix is M-matrix, then it is nonsingular and its inverse matrix has entries of positive numbers [46].
Lemma 2
Equations (20) and (23) guarantee the solutions to be positive under the assumptions of nonnegative initial functions, i.e.,
Remark 2
The verification of a positive solution is demonstrated from equation (20) and (23) as \(g_{1}(x,y)\geq 0\), \(g_{2}(x,y)\geq 0\), and all the terms involved in the right-hand sides of (20) and (23) are positive.
Theorem 4
Suppose that the vectors\(\mathbf{w_{1}^{n+\frac{1}{3}}}\)and\(\mathbf{w_{2}^{n+\frac{1}{3}}}\)in matrix representations are positive, then\(\mathbf{w_{1}^{n+\frac{2}{3}}}\)and\(\mathbf{w_{2}^{n+\frac{2}{3}}}\)are likewise positive. If the vectors\(\mathbf{w_{1}^{n+\frac{2}{3}}}\), \(\mathbf{w_{2}^{n+\frac{2}{3}}}\)are positive, then\(\mathbf{w_{1}^{n+1}}\)and\(\mathbf{w_{2}^{n+1}}\)are likewise positive.
Proof
According to Lemma 2, the vectors \(\mathbf{w_{1}^{n+\frac{1}{3}}}\) and \(\mathbf{w_{2}^{n+\frac{1}{3}}}\) are positive. Also Lemma 1 shows that the matrices \(B_{1}\), \(B_{2}\), \(B_{3}\), and \(B_{4}\) are M-matrices. Therefore entries in the inverse matrices of \(B_{1}\), \(B_{2}\), \(B_{3}\), and \(B_{4}\) are all positive. It follows that \(\mathbf{w_{1}^{n+\frac{2}{3}}}\) and \(\mathbf{w_{2}^{n+\frac{2}{3}}}\) are positive. Consequently, \(\mathbf{w_{1}^{n+1}}\) and \(\mathbf{w_{2}^{n+1}}\) are also positive. □
From the above theorem, it is clear that the proposed method preserves the positivity property, unconditionally.
4.3 Numerical example
Simulations of the example are performed by selecting different values of parameters involved in designing the two-dimensional Brusselator chemical reaction model. Different numerical parametric values are chosen for the better illustration and understanding of the claimed discrepancies about the widely used existing numerical scheme and salient features of the proposed numerical scheme. The following example is considered for system (14)–(15) in two dimensions with initial conditions [47, 48]:
and homogeneous Neumann boundary conditions.
4.3.1 Simulations of the forward Euler FD scheme
In this section we present numerical simulations of Brusselator reaction-diffusion system (14)–(15) with initial conditions (34)–(35) and homogeneous Neumann boundary conditions using the forward Euler FD scheme. The values of parameters C and D are taken as \(C=1\) and \(D=3.5\) and the values of \(d_{w_{1}}\) and \(d_{w_{2}}\) are \(d_{w_{1}}=d_{w_{2}}=0.002\).
Figure 1 (a) and (b) shows the mesh graph of concentration profile \(w_{1}\) and \(w_{2}\) at the grid point \((0.9, :)\) along z-direction vs time t using the forward Euler FD scheme. Figure 1 (c) and (d) depicts the two-dimensional plots of profile \(w_{1}\) and \(w_{2}\) at \(x=y=1\) vs time t. It is clear from Fig. 1 (b) and (d) that \(w_{2}\) demonstrates the negative solution of concentration, which is useless.
As system (14)–(15) converges to the equilibrium point \((w_{1}^{*}, w_{2}^{*})=(D,C/D)=(3.4, 0.2941)\) if \(1-C+D^{2} \geq 0\) [49], therefore numerical method must converge towards the point of equilibrium of system (14)–(15) at all step sizes of its stable region. All the parts of Fig. 2 tell that the forward Euler numerical scheme cannot find the convergence towards the equilibrium point of Brusselator system (14)–(15) and diverges.
4.3.2 Simulations of the proposed NSFD operator splitting method
This section is devoted to the numerical simulation of the Brusselator model with the same values as given in the above section using the proposed NSFD operator splitting method.
Figure 3 (a) and (b) shows the mesh graph of concentration profile \(w_{1}\) and \(w_{2}\) at the grid point \((0.9, :)\) along z-direction vs time t using the proposed NSFD operator splitting method. Figure 3 (c) and (d) depicts the plot of concentration profile \(w_{1}\) and \(w_{2}\) at \(x=y=1\) vs time t. These graphs verify that the proposed NSFD operator splitting technique preserves the positive solution of the continuous system and also exhibits the convergence towards the point of equilibrium of continuous system (14)–(15).
In Fig. 4, all parts of the figure clearly describe that the proposed NSFD operator splitting method shows the convergence of the system towards the equilibrium point \((w_{1}^{*},w_{2}^{*})\) compared with the forward Euler FD scheme.
In addition, we chose \(C = 3.4\) and \(D = 1.0\) and see the behavior of the solution using the proposed NSFD operator splitting method.
It is clearly observed from Figs. 5(a), 5(b) and 6(a), 6(b) that the solutions found using the proposed NSFD operator splitting method are oscillatory and did not converge to the equilibrium point \((w_{1}^{*},w_{2}^{*})\) with the combination of \(C = 3.4\) and \(D = 1.0\) so that \(1-C+{D^{2} < 0}\). This result agrees with the conclusion made by Twizzel et al. in [49].
The comparison of the proposed method and the forward Euler method is presented in Table 1. In this table we show that the exec. (execution) time of NSFD operator splitting technique is better than that of the forward Euler technique.
5 Glycolysis reaction-diffusion model
A classic and representative system in the biochemical reaction is glycolysis model. It is a basic biochemical reaction appearing in living cells. The fundamental model was presented by Sel’kov [50] and is represented by two coupled first-order differential equations [51, 52]. We consider the following two-dimensional glycolysis reaction-diffusion system:
with the initial condition
and homogeneous Neumann boundary conditions. The equilibrium point of system (36)–(37) is \((w_{1}^{*},w_{1}^{*})=(D, D/(C+D^{2}))\). Define
Strogatz[52] and Mickens[51] discussed that the equilibrium point has the following stability properties:
Again, after applying the forward Euler FD scheme (10) on system (36)–(37), we have
The process of the NSFD operator splitting method for equation (36) at the reaction step is
The NSFD operator splitting method for the space derivative at the second step is
Similarly, at the third time step the space derivative w.r.t. y is approximated as
and the NSFD method for equation (37)
The procedure for the verification of unconditional positivity is similar as given in Sects. 4.1 and 4.2.
5.1 Example
In this section, we consider a suitable example of two-dimensional glycolysis model of auto-catalytic chemical reactions. This example elucidates all the attributes and essential features about the proposed scheme and system. The example is given as follows:
and nonnegative initial conditions
with homogeneous Neumann boundary conditions.
5.1.1 Simulations of the forward Euler FD scheme
This section is devoted to the numerical simulations of glycolysis reaction-diffusion system (36)–(37) with initial conditions (51)–(52) and homogeneous Neumann boundary conditions using the forward Euler FD scheme. The values of parameters C and D are taken as \(C=3.5\) and \(D=0.25\) and the values of \(d_{w_{1}}\) and \(d_{w_{2}}\) are \(d_{w_{1}}=d_{w_{2}}=0.001\).
Figure 7 (a) and (b) depicts the mesh graph of concentration profile \(w_{1}\) and \(w_{2}\) at the grid point \((0.6, :)\) along z-direction vs time t using the forward Euler FD scheme. Figure 7 (c) and (d) depicts the plot of concentration profile \(w_{1}\) and \(w_{2}\) at \(x=y=1\) vs time t. It is clear from Fig. 7 (b) and (d) that the concentration profile \(w_{2}\) gives the negative solution of concentration profile, which is meaningless.
As system (36)–(37) converges to the equilibrium point \((w_{1}^{*}, w_{2}^{*})=(D,D/(C+D)^{2})=(3.4,0.2941)\) if \(\xi < 0\) [51, 52], therefore numerical method must converge to the equilibrium point of glycolysis system (36)–(37) at all step sizes of its stable region. All the parts of Fig. 8 illustrate that the forward Euler numerical scheme fails to find the convergence towards the equilibrium point of glycolysis system (36)–(37) and diverges.
5.1.2 Simulations of the proposed NSFD operator splitting method
This section is devoted to the numerical simulation of glycolysis model with the same values as given in the above section using the proposed NSFD operator splitting method.
Figure 9 (a) and (b) shows the mesh graph of the concentration profile \(w_{1}\) and \(w_{2}\) at the grid point \((0.6, :)\) along z-direction vs time t using the proposed NSFD operator splitting method. Figure 9 (c) and (d) depicts the plot of concentration profile \(w_{1}\) and \(w_{2}\) at \(x=y=1\) vs time t. These graphs show that the proposed NSFD splitting scheme preserves the positivity property of the solution of the continuous system and also converges to the equilibrium points of glycolysis continuous system (36)–(37).
In Fig. 10, all parts of the figure clearly describe that the proposed NSFD operator splitting method shows the convergence of system towards the equilibrium point \((w_{1}^{*},w_{2}^{*})\) comparative to the forward Euler FD scheme.
In addition, we chose \(C = 0.008\) and \(D = 0.6\) and see the behavior of the solution using the proposed NSFD operator splitting method.
It is clearly observed from Figs. 11(a), 11(b) and 12(a), 12(b) that the solutions found using the proposed NSFD operator splitting method were oscillatory and did not to converge to the equilibrium point \((w_{1}^{*},w_{2}^{*})\) with the combination of \(C = 0.008\) and \(D = 0.6\) so that \(\xi > 0\). Table 2 demonstrates the efficiency of the proposed technique in various aspects for the glycolysis model.
6 Susceptible-infected-recovered (SIR) epidemic model with saturated incident rate
In this section, we present an SIR epidemic reaction-diffusion model in two space dimensions, and both techniques are applied on this model. Epidemic models depict the spread of communicable diseases in population through mathematical modeling and give future ideas to control the infection. In these models, an important term is incidence rate which has been considered to ensure that the system of differential equations demonstrates understandable qualitative explanation of the transmission dynamics of diseases [53–56]. A commonly used incidence rate is the bilinear incidence rate defined as the rate at which susceptible population gains infection. These days various modifications of the standard bilinear incidence rate have been used; for instance, saturation incidence rate. In this section, the SIR epidemic model with saturated incidence rate proposed by Suryato [57] is extended to the following reaction-diffusion system:
Here, \(w_{1}\), \(w_{2}\), and \(w_{3}\) represent the susceptible, infected, and recovered individuals. The infection force is measured by \(\beta w_{2}\) and the inhibition effect is measured by \(\frac{1}{1+\sigma w_{2}}\). The death rate and the birth rate are demonstrated by the parameter μ, the recovery rate from infection is denoted by γ, and the inhibition parameter is assumed by σ. All the parameters involved in system (53)–(55) are positive. Since \(w_{3}\) is not present in the first two equations, the above system (53)–(55) can be written as
with the initial condition
and homogeneous Neumann boundary conditions.
System (56)–(57) possesses two steady states, disease-free steady state (DFSS) and endemic steady state (ESS). DFSS of system (56)–(57) is \((1,0)\) and ESS is \((w_{1}^{*},w_{2}^{*})\), where \(w_{1}^{*}= \frac{\mu \sigma +\gamma +\mu }{\mu \sigma +\mathcal{R}_{0}(\gamma +\mu )}\) and \(w_{2}^{*}= \frac{\mu (\mathcal{R}_{0}-1)}{\mu \sigma +\mathcal{R}_{0}(\gamma +\mu )}\). The quantity \(\mathcal{R}_{0}\) is the reproductive value that concludes that the disease is erased if \(\mathcal{R}_{0}\) is less than one and disease is presented in population if \(\mathcal{R}_{0}\) is greater than one.
A similar procedure is adopted for the forward Euler FD scheme (10) on system (56)–(57), we get
The procedure of the NSFD operator splitting method for equation (56) at reaction step is
The NSFD operator splitting method for space derivative at the second step is
Similarly, at the third time step the space derivative w.r.t. y is approximated as
and the NSFD method for equation (57)
The procedure for the verification of unconditional positivity is similar as given in Sects. 4.1 and 4.2.
6.1 Example
In this section, we consider system (56)–(57) with the following initial conditions:
The values of the parameters involved in this experiment are \(\mu =0.04\), \(\gamma =24\), \(d_{w_{1}}=d_{w_{2}}=0.001\), and \(\sigma =1\).
6.1.1 Simulations of the forward Euler FD scheme
In this section, we present the behavior of forward Euler method graphically. First we take \(\beta =20\) so that the value \(\mathcal{R}_{0}=0.83195\), which is less than one, and the system is stable at DFSS.
Figure 13 shows the graphs of forward Euler method at DFSS. In this figure, the graph of infected population describes the negative solution, which is meaningless. For the next figure (Fig. 14), we consider the value \(\beta =40\) such that the reproductive value \(\mathcal{R}_{0}=1.66389\), which is greater than one. Therefore the system is stable at ESS. But graphs clearly depict that the forward Euler method cannot retain the stability of EES and diverges.
6.1.2 Simulations of NSFD operator splitting scheme
This section is devoted to the presentation of simulations for the proposed method. Initially we consider \(\beta =20\) so that the value \(\mathcal{R}_{0}=0.83195\), which is less than one, and the system is stable at DFSS.
Figure 15 shows the graphs of the proposed splitting method at DFSS. This figure clearly demonstrates that the proposed technique preserves the positive solution of the system under study. For the next figure (Fig. 16), we take the value \(\beta =40\) such that the reproductive value \(\mathcal{R}_{0}=1.66389\), which is greater than one. Therefore the system is stable at ESS. The NSFD operator splitting method sustains the stability of ESS and converges to the ESS \((w_{1}^{*},w_{2}^{*})=(0.6013,0.000663)\).
Table 3 also validates the efficacy of the NSFD operator splitting technique in many ways for this model.
7 Conclusion
In this work, we design a novel numerical method. This method preserves all the essential conditions demonstrated by the continuous reaction-diffusion systems. The proposed method is the operator splitting NSFD scheme that is unconditionally convergent. The proposed NSFD scheme is implicit in nature but efficient in computation time as compared to the forward Euler FD explicit scheme. For the applications, we take three reaction-diffusion models in two space dimensions and observe that the proposed method shows good agreement with the positivity property and convergence to the stable equilibrium points of reaction-diffusion systems. On the other hand, the forward Euler numerical method fails to retain the property of positivity as well as convergence towards equilibrium points of the given reaction-diffusion system. The figures and tables are presented in this work to verify all the attributes of the proposed NSFD operator splitting method.
References
Mickens, R.E.: Nonstandard Finite Difference Models of Differential Equations. World Scientific, Singapore (1994)
Fatima, U., Ali, M., Ahmed, N., Rafiq, M.: Numerical modeling of susceptible latent breaking-out quarantine computer virus epidemic dynamics. Heliyon 4, e00631 (2018)
Zegeling, P.A., Iqbal, S.: Nonstandard finite differences for a truncated Bratu–Picard model. Appl. Math. Comput. 324, 266–284 (2018)
Ali, J., Saeed, M., Rafiq, M., Iqbal, S.: Numerical treatment of nonlinear model of virus propagation in computer networks: an innovative evolutionary Pade approximation scheme. Adv. Differ. Equ. 2018, 214 (2018)
Obaid, H.A., Ouifki, R., Patidar, K.C.: A nonstandard finite difference method for solving a mathematical model of HIV-TB co-infection. J. Differ. Equ. Appl. 23(2), 1–28 (2017)
Rafiq, M.: Numerical modeling of infectious diseases dynamics. PhD thesis, University of Engineering and Technology, Lahore, Pakistan (2016)
Zafar, Z.A., Rehan, K., Mushtaq, M., Rafiq, M.: Numerical treatment for nonlinear Brusselator chemical model. J. Differ. Equ. Appl. 23(3), 521–538 (2016)
Ahmed, N., Shahid, N., Iqbal, Z., Jawaz, M., Rafiq, M., Tahira, S.S., Ahmad, M.O.: Numerical modeling of SEIQV epidemic model with saturated incidence rate. J. Appl. Environ. Biol. Sci. 8(4) 67–82 (2018)
Ahmed, N., Rafiq, M., Rehman, M.A., Iqbal, M.S., Ali, M.: Numerical modelling of three dimensional Brusselator reaction diffusion system. AIP Adv. 9, 015205 (2019)
Ahmed, N., Tahira, S.S., Rafiq, M., Rehman, M.A., Ali, M., Ahmad, M.O.: Positivity preserving operator splitting nonstandard finite difference methods for SEIR reaction diffusion model. Open Math. 17, 313–330 (2019)
Namjoo, M., Zeinadini, M., Zibaei, S.: Nonstandard finite-difference scheme to approximate the generalized Burgers–Fisher equation. Math. Methods Appl. Sci. 41(17), 8212–8228 (2018)
Ahmed, N., Rafiq, M., Rehman, M.A., Ali, M., Ahmad, M.O.: Numerical modeling of SEIR measles dynamics with diffusion. Commun. Math. Appl. 9(3), 315–326 (2018)
Ahmed, N., Jawaz, M., Rafiq, M., Rehman, M.A., Ali, M., Ahmad, M.O.: Numerical treatment of an epidemic model with spatial diffusion. J. Appl. Environ. Biol. Sci. 8(6), 17–29 (2018)
Chinviriyasit, S., Chinviriyasit, W.: Numerical modeling of SIR epidemic model with diffusion. Appl. Math. Comput. 216, 395–409 (2010)
Mickens, R.E.: A nonstandard finite difference scheme for a Fisher PDE having nonlinear diffusion. Comput. Math. Appl. 45, 429–436 (2003)
Mickens, R.E.: A nonstandard finite difference scheme for an advection-reaction equation. J. Differ. Equ. Appl. 10, 1307–1312 (2004)
Al-Showaikh, F., Twizell, E.: One-dimensional measles dynamics. Appl. Math. Comput. 152, 169–194 (2004)
Turkyilmazoglu, M.: Accelerating the convergence of decomposition method of Adomian. J. Comput. Sci. 31, 54–59 (2019)
Turkyilmazoglu, M.: Convergence accelerating in the homotopy analysis method: a new approach. Adv. Appl. Math. Mech. 10(4), 925–947 (2018)
Turkyilmazoglu, M.: Is homotopy perturbation method the traditional Taylor series expansion. Hacet. J. Math. Stat. 44, 651–657 (2015)
Turkyilmazoglu, M.: Hyperbolic partial differential equations with nonlocal mixed boundary values and their analytic approximate solutions. Int. J. Comput. Methods 15(1), 1850003 (2018)
Turkyilmazoglu, M.: High-order nonlinear Volterra–Fredholm–Hammerstein integro-differential equations and their effective computation. Appl. Math. Comput. 247, 410–416 (2014)
Turkyilmazoglu, M.: Parabolic partial differential equations with nonlocal initial and boundary values. Int. J. Comput. Methods 12(5), 121550024 (2015)
Korkmaz, A.: Stability satisfied numerical approximates to the non-analytical solutions of the cubic Schrodinger equation. Appl. Math. Comput. 331, 210–231 (2018)
Korkmaz, A., Akmaz, H.K.: Numerical simulations of linear transport problem. TWMS J. Appl. Eng. Math. 8(1a), 667–677 (2018)
Korkmaz, A.: Simulations of transport in one dimension. Comput. Methods Differ. Equ. 5(3), 189–200 (2017)
Korkmaz, A., Ersoy, O., Dag, I.: Motion of patterns modeled by the Gray–Scott autocatalysis system in one dimension. MATCH Commun. Math. Comput. Chem. 77(2), 507–526 (2017)
Korkmaz, A., Akmaz, H.K.: Numerical simulations for transport of conservative pollutant. Selçuk J. Appl. Math. 16(1) (2015)
Dag, I., Korkmaz, A., Saka, B.: Cosine expansion-based differential quadrature algorithm for numerical solution of the RLW equation. Numer. Methods Partial Differ. Equ. 26(3), 544–560 (2010)
Korkmaz, A.: Numerical algorithms for solutions of Korteweg–de Vries equation. Numer. Methods Partial Differ. Equ. 26(6), 1504–1521 (2010)
Dag, I., Sahin, A., Korkmaz, A.: Numerical investigation of the solution of Fisher equation via the B-spline Galerkin method. Numer. Methods Partial Differ. Equ. 26, 1483–1503 (2010)
Baleanu, D., Jassim, H.K.: A modification fractional homotopy perturbation method for solving Helmholtz and coupled Helmholtz equations on Cantor sets. Fractal Fract. 3, 30 (2019)
Baleanu, D., Jassim, H.K.: Approximate solutions of the damped wave equation and dissipative wave equation in fractal strings. Fractal Fract. 3, 26 (2019)
Baleanu, D., Shiri, B., Srivastava, H.M., Qurashi, M.A.: A Chebyshev spectral method based on operational matrix for fractional differential equations involving non-singular Mittag-Leffler kernel. Adv. Differ. Equ. 2018, 353 (2018)
Ersoy, O., Dag, I.: Numerical solutions of the reaction-diffusion system by using exponential cubic B-spline collocation algorithms. Open Phys. 13, 414–427 (2015)
Mittal, R.C., Rohila, R.: Numerical simulation of reaction-diffusion systems by modified cubic B-spline differential quadrature method. Chaos Solitons Fractals 92(1), 1339–1351 (2016)
Yanenko, N.N.: The Method of Fractional Steps. Springer, Berlin (1971)
Harwood, R.C.: Operator splitting method and applications for semilinear parabolic partial differential equations (Ph.D. dissertation, Pullman; Dept. Math., Washington State Univ (2011)
Zharnitsky, V.: Averaging for split-step scheme. Nonlinearity 16, 1359–1366 (2003)
Chakrabrty, A., Singh, M., Lucy, B., Ridland, P.: Predator-prey model with pry- taxis and diffusion. Math. Comput. Model. 46, 482–498 (2007)
Ansarizadeh, F., Singh, M., Richards, D.: Modelling of tumor cells regression in response to chemotherapeutic treatment. Appl. Math. Model. 48, 96–112 (2017)
Naheed, A.: A study of spatio-temporal spread of infectious disease: SARS. Ph.D. thesis, Swinburne University of Technology, Australia (2015)
Wang, H.Q.: Numerical studies on the split-step finite difference method for nonlinear Schrodinger equations. Appl. Math. Comput. 170, 17–35 (2005)
Harwood, R.C., Manoranjan, V.S., Edwards, D.B.: Lead-acid battery model under discharge with a fast splitting method. IEEE Trans. Energy Convers. 26(4), 1109–1117 (2011)
Prigogine, I., Lefever, R.: Symmetry-breaking instabilities in dissipative systems. J. Chem. Phys. 48, 1695–1700 (1968)
Fujimoto, T., Ranade, R.: Two characterizations of inverse-positive matrices: the Hawkins–Simon condition and the Le Chatelier–Braun principle. Electron. J. Linear Algebra 11, 59–65 (2004)
Zegeling, P.A., Kok, H.P.: Adaptive moving mesh computations for reaction-diffusion systems. J. Comput. Appl. Math. 168, 519–528 (2004)
Hu, G., Qiao, Z., Tang, T.: Moving finite element simulations for reaction-diffusion systems. Adv. Appl. Math. Mech. 4(3), 365–381 (2012)
Twizell, E.H., Gumel, A.B., Cao, Q.: A second order scheme for the Brusselator reaction-diffusion system. J. Math. Chem. 26, 297–316 (1999)
Sel’kov, E.E.: Self-oscillations in glycolysis. A simple model. Eur. J. Biochem. 4, 79–86 (1968)
Mickens, R.E.: Positivity preserving discrete model for the coupled ODES modeling glycolysis. In: Proceedings of the Fourth International Conference on Dynamical Systems and Differential Equations, May 24–27 Wilmington, NC, pp. 623–629 (2002)
Strogatz, S.H.: Nonlinear Dynamics and Chaos with Applications to Physics, Biology, Chemistry, and Engineering, pp. 205–209. Addison-Wesley, New York (1994)
Ahmed, N., Wei, Z., Baleanu, D., Rafiq, M., Rehman, M.A.: Spatio-temporal numerical modeling of reaction-diffusion measles epidemic system. Chaos 29, 103101 (2019)
Macias-Diaz, J.E., Ahmed, N., Rafiq, M.: Analysis and nonstandard numerical design of a discrete three-dimensional Hepatitis B epidemic model. Mathematics 7(12), 1157 (2019)
Korobeinikov, A., Maini, P.: Nonlinear incidence and stability of infectious disease model. Math. Med. Biol. 22, 113–128 (2005)
Xiao, D., Ruan, S.: Global analysis of an epidemic model with nonmonotone incidence rate. Math. Biosci. 208, 419–429 (2007)
Suryanto, A.: A dynamically consistent nonstandard numerical scheme for epidemic model with saturated incidence rate. Int. J. Math. Comput. 13, D11 (2011)
Acknowledgements
The authors wish to thank the anonymous reviewers for their comments and criticism. All of their comments were taken into account in the revised version of the paper, resulting in a substantial improvement with respect to the original submission.
Availability of data and materials
Not applicable.
Funding
No funding.
Author information
Authors and Affiliations
Contributions
NA, AK, MR, DB, ASA, MAR, and MSI designed the study, developed the methodology, collected the data, performed the analysis, and wrote the manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ahmed, N., Korkmaz, A., Rafiq, M. et al. A novel time efficient structure-preserving splitting method for the solution of two-dimensional reaction-diffusion systems. Adv Differ Equ 2020, 197 (2020). https://doi.org/10.1186/s13662-020-02659-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02659-0