Finite Difference Implicit Schemes to Coupled Two-Dimension Reaction Diffusion System
Abstract: In this research article, two finite difference implicit numerical schemes are described to approximate the numerical solution of the two-dimension modified reaction diffusion Fisher’s system which exists in coupled form. Finite difference implicit schemes show unconditionally stable and second-order accurate nature of computational algorithm also the validation and comparison of analytical solution, are done through the examples having known analytical solution. It is found that the numerical schemes are in excellent agreement with the analytical solution. We found, second-implicit scheme is much faster than the first with good rate of convergence also we used NVIDA devices to accelerate the computations and efficiency of the algorithm. Numerical results show our proposed schemes with use of HPC (High performance computing) are very efficient and reliable.

1. Introduction

Reaction diffusion (RD) equations rise up naturally in systems consisting of many interacting factors, such as chemical reactions and are widely used to identify pattern formation phenomena in diverseness of biological and physical systems  . The primary ingredients of all these models are in the form of mathematical balance equation  which is in two dimensions

${\partial }_{t}u=\beta \left({\nabla }^{2}u\right)+R\left(u\right),$ (1)

where $u=u\left(x,y,t\right)$ is a vector of concentration variables, R(u) describes a local reaction kinetics and the Laplace operator ${\nabla }^{2}$ acts on the vector u component wise, also b denotes a diagonal diffusion coefficient matrix  . Noted that we suppose the system to be isotropic and uniform, so b is represented by a scalar matrix, independent on coordinates of the system  . Research in this field starts form the classical papers of    , incited by population dynamics issues, where researchers made modified diffusion equation:

${\partial }_{t}u\left(x,y,t\right)=\beta \left({u}_{xx}+{u}_{yy}\right)+R\left(u\right)$ (2)

with a nonlinear source term $R\left(u\right)=u-{u}^{2}$    . A typical solution of the Equation (1), a propagating front, separating two non-equilibrium homogeneous states, one of which $\left(u=1\right)$ is stable and another one $\left(u=0\right)$ is unstable, such fronts behavior is often said to be propagation into stable state and also other referred to as waves (or fronts) of transition from an unstable state    . The interest in these fronts was stimulated in the early 1980s, such as these fronts can be found in various physical, chemical as well as biological systems   .

The reaction diffusion Equation (2) represents a model equation for the evolution of a neutron population in a nuclear reactor and also arises in chemical engineering applications, such equation allows for the effects of linear diffusion by means of ${u}_{xx}+{u}_{yy}$ and nonlinear local multiplication or reaction through $R\left(u\right)$   .

Researchers have studied these model problems such as the stability of symmetric traveling waves in the Cauchy problem for a more general case than Equation (2); also some researchers explained perturbation method and found an approximate solution by expanding the solution in terms of a power series and in terms of some small parameters  .

In this paper, we suggest a reaction diffusion system, which agree to several physical phenomena, the most common is the change in space and time of the concentration of one or more chemical substances. Local chemical reactions in which the metamorphosed into each other, and diffusion which causes the substances to spread out over a surface in space. Reaction diffusion systems are naturally applied in chemistry. However, the system can also describe dynamical processes of non-chemical nature. Mathematically, reaction diffusion systems take the form of semilinear parabolic partial differential equations. The general form of our proposed reaction diffusion system in two dimension, is

${u}_{t}=\beta \left({u}_{xx}+{u}_{yy}\right)+{u}^{2}v-\alpha u,\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\left(x,y\right)\in \left(-\infty ,\infty \right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}t\ge 0$ (3)

${v}_{t}=\beta \left({v}_{xx}+{v}_{yy}\right)-{v}^{2}u,\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\left(x,y\right)\in \left(-\infty ,\infty \right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}t\ge 0$ (4)

where b is diffusion coefficient and a is a reactive factor, and $u\left(x,t\right)$ is concentration and $v\left(x,t\right)$ is the velocity of the chemical reaction. The aim of this work is to look into the viability of finite difference schemes for the numerical solution of two-dimension coupled reaction diffusion system. The proposed finite difference schemes show good agreement with analytical solution along efficiency in time. Comparison of two finite difference (FD) schemes is also mentioned with CPU efficiency.

The outlook of the paper is in Section 2 analytical solution, Section 3 smoothness and uniqueness, Section 4 numerical methods, Section 5 numerical results and Section 6 discussion.

2. Analytical Solution

To derive the analytical solution of the given system in (3), (4), we assume the solution of the two dimension coupled reaction diffusion system, in the following form

$u\left(x,y,t\right)={\text{e}}^{\alpha \frac{t}{2}-x-y}$ (5)

$v\left(x,y,t\right)={\text{e}}^{-\alpha \frac{t}{2}+x+y}$ (6)

3. Smoothness and Uniqueness of the Reaction Diffusion System

In order to guarantee the smoothness and uniqueness of a positive solution and to obtain upper and lower bounds of the solution, it is necessary to impose some general assumptions on the various physical parameters and the reaction function   . Throughout this paper, we always assume that the diffusion coefficient b is positive in domain W also at $t=0$ the initial values ${u}_{0},{v}_{0}$ are non-negative, where the smoothness hypothesis is used only for the existence problem of the corresponding linear system, and the non-negative hypothesis on the data is to obtain non-negative solutions   . Let us consider the system,

$\begin{array}{l}\begin{array}{l}{u}_{t}-\nabla \cdot \left(\beta \nabla u\right)=-{u}^{m}f\left(u,v\right)\\ {v}_{t}-\nabla \cdot \left(\beta \nabla v\right)={u}^{m}g\left(u,v\right)\end{array}\right\}\\ \text{where}\text{\hspace{0.17em}}m\ge 1,f\left(u,v\right)=uv-\alpha \text{\hspace{0.17em}}\text{ }\text{and}\text{\hspace{0.17em}}\text{ }g\left(u,v\right)={v}^{2}\\ \begin{array}{l}{B}_{1}\left[u\right]={h}_{1}\left(x,y\right)\\ {B}_{2}\left[v\right]={h}_{2}\left(x,y\right)\end{array}\right\}\\ \text{Boundary}\text{\hspace{0.17em}}\text{Conditions},\text{\hspace{0.17em}}t>0,\left(x,y\right)\in \Omega \\ \begin{array}{l}u\left(0,x,y\right)={u}_{0}\left(x,y\right)\\ v\left(0,x,y\right)={v}_{0}\left(x,y\right)\end{array}\right\}\\ \text{Initial}\text{\hspace{0.17em}}\text{Conditions},\left(x,y\right)\in \Omega \end{array}\right\}$ (7)

motivated by the nonlinear reaction functions given by Equation (7), we make the following basic assumption on functions f and g   .

3.1. Assumption or Hypothesis (H)

$\partial f/\partial v$ exists and is bounded subsets of domain W and there exists a function with ${c}_{o}\left(x,y\right)\ge 0$ , such that $0\le f\left(u,{v}_{1}\right)\le f\left(u,{v}_{2}\right)\le {c}_{o}\left(x,y\right)$ for $0\le {v}_{1}\le {v}_{2}\le \infty$   . This definition implies that the function f is monotone non-decreasing in v and is uniform bounded for $v\ge 0$   . Clearly this condition is satisfied by both functions f and g, thus this property leads to

$\begin{array}{l}{F}_{1}\left(x,y,u,v\right)=-{u}^{m}f\left(u,v\right)\\ {F}_{2}\left(x,y,u,v\right)=+{u}^{m}g\left(u,v\right),\end{array}\right\}$ (8)

where above Equation (8) represents ${F}_{1},{F}_{2}$ are quasi monotone non-increasing and quasi monotone non-decreasing functions in W respectively   . According to classification of the reaction functions, ${F}_{1},{F}_{2}$ are typed III functions   , which leads to the following definition of the solutions.

3.2. Definition

A smooth pair of two vector functions $\left(\stackrel{⌣}{u},\stackrel{⌣}{v}\right)$ , $\left(\stackrel{¯}{u},\stackrel{¯}{v}\right)$ defined in ${R}^{+}×\Omega$ are called upper and lower solutions respectively, if they satisfy the following inequalities

$\begin{array}{l}\begin{array}{l}{\stackrel{⌣}{u}}_{t}-\nabla \cdot \left(\beta \nabla \stackrel{⌣}{u}\right)+{\stackrel{⌣}{u}}^{m}f\left(x,\stackrel{¯}{v}\right)\ge 0\ge {\stackrel{¯}{u}}_{t}-\nabla \cdot \left(\beta \nabla \stackrel{¯}{u}\right)+{\stackrel{¯}{u}}^{m}f\left(x,y,\stackrel{⌣}{v}\right)\\ {\stackrel{⌣}{v}}_{t}-\nabla \cdot \left(\beta \nabla \stackrel{⌣}{v}\right)-{\stackrel{⌣}{u}}^{m}g\left(x,\stackrel{⌣}{v}\right)\ge 0\ge {\stackrel{¯}{v}}_{t}-\nabla \cdot \left(\beta \nabla \stackrel{¯}{v}\right)-{\stackrel{⌣}{u}}^{m}g\left(x,y,\stackrel{¯}{v}\right)\end{array}\right\}\\ \text{where}\text{\hspace{0.17em}}m\ge 1,f\left(x,y,v\right)=u\stackrel{⌣}{v}-\alpha \text{\hspace{0.17em}}\text{ }\text{and}\text{\hspace{0.17em}}\text{ }g\left(x,y,v\right)={\stackrel{¯}{v}}^{2}\\ \begin{array}{l}{B}_{1}\left[\stackrel{⌣}{u}\right]\ge {h}_{1}\left(x,y\right)\ge {B}_{1}\left[\stackrel{¯}{u}\right]\\ {B}_{2}\left[\stackrel{⌣}{v}\right]\ge {h}_{2}\left(x,y\right)\ge {B}_{2}\left[\stackrel{¯}{u}\right]\end{array}\right\}\\ \text{Boundary}\text{\hspace{0.17em}}\text{Conditions},t>0,\left(x,y\right)\in \Omega \\ \begin{array}{l}\stackrel{⌣}{u}\left(0,x,y\right)\ge {u}_{0}\left(x,y\right)\ge \stackrel{¯}{u}\left(0,x,y\right)\\ \stackrel{⌣}{v}\left(0,x,y\right)\ge {v}_{0}\left(x,y\right)\ge \stackrel{¯}{v}\left(0,x,y\right)\end{array}\right\}\\ \text{Initial}\text{\hspace{0.17em}}\text{Conditions},\left(x,y\right)\in \Omega \end{array}\right\}$ (9)

In the above definitions the smoothness of $\left(\stackrel{⌣}{u},\stackrel{⌣}{v}\right)$ , $\left(\stackrel{¯}{u},\stackrel{¯}{v}\right)$ is in the sense that these functions are continuously differentiable to the order appeared in Equations (7) and (8) respectively   . Hypothesis and above definition leads to the following theorem.

3.3. Theorem

Let f and g satisfy above hypothesis (H). If there exist upper and lower solutions $\left(\stackrel{⌣}{u},\stackrel{⌣}{v}\right)$ , $\left(\stackrel{¯}{u},\stackrel{¯}{v}\right)$ of system 7, such that $\stackrel{⌣}{u}\le \stackrel{¯}{u}$ and $\stackrel{⌣}{v}\le \stackrel{¯}{v}$ in ${R}^{+}×\Omega$ , then the sequence $\left\{{\stackrel{˙}{u}}^{k},{\stackrel{˙}{v}}^{k}\right\}$ , $\left\{{\underset{_}{u}}^{k},{\underset{_}{v}}^{k}\right\}$ converges monotonically from above and below, respectively, to a unique solution (u, v) of system (7)   . Moreover

$\begin{array}{l}\stackrel{⌣}{u}\left(t,x,y\right)\le u\left(t,x,y\right)\le \stackrel{¯}{u}\left(t,x,y\right)\\ \stackrel{⌣}{v}\left(t,x,y\right)\le v\left(t,x,y\right)\le \stackrel{¯}{v}\left(t,x,y\right)\end{array}\right\}\text{\hspace{0.17em}}\text{\hspace{0.17em}}t>0,\left(x,y\right)\in \Omega$ (10)

The usefulness of the above theorem is that through suitable construction of upper and lower solutions, not only can the existence problem be ensured, but the stability and the asymptotic behavior of the time dependent solution can also be established from the behavior of the upper and lower solutions   . Thus, the definition of stability of a steady state solution is in the usual sense of Lyapunov function   . Unlike scalar systems or coupled systems with quasi-monotone increasing function, the upper and lower solutions for the present system are interconnected and to be determined simultaneously from relations in Equation (9). This makes the determination of these functions more delicate, especially in relation to the stability property of non-homogeneous systems   . Nevertheless, for the global existence problem or the stability problem with homogeneous boundary conditions the construction of those functions is not very difficult  .

4. Numerical Methods

We consider the numerical solution of the nonlinear system in (5), (6) and (7) in a finite domain $\Omega =\left\{\left(x,y\right)|a , where the first step is to choose integers n and m to define step sizes $h=\left(b-a\right)/n$ and $k=\left(d-c\right)/m$   . Partition the interval [a, b] into n equal parts of width h and the interval [c, d] into m equal parts of width k and place a grid on the rectangle R by drawing vertical and horizontal lines through the points with coordinates $\left({x}_{i},{y}_{j}\right)$ , where ${x}_{i}=a+ih$ for each $i=0,1,2,\cdots ,n$ and ${y}_{j}=c+jk$ for each $j=0,1,2,\cdots ,m$ also the lines $x={x}_{i}$ and $y={y}_{j}$ are grid lines, and their intersections are the mesh points of the grid      . For each mesh point in the interior of the grid, $\left({x}_{i},{y}_{j}\right)$ , for $i=1,2,\cdots ,n-1$ and $j=1,2,\cdots ,m-1$ , also we assume ${t}_{n}=nt,n=0,1,\cdots$ where t is the time grid step size  . We denote the analytical and numerical solutions at the grid point $\left({x}_{m},{t}_{n}\right)$ by ${u}_{m}^{n}$ and ${U}_{m}^{n}$ respectively.

4.1. Second Order Implicit Scheme

The Crank Nicolson scheme for the system in (3) and (4) can be displayed as follows:

$\begin{array}{l}\stackrel{^}{u}=\frac{{u}_{l,m}^{n+1}+{u}_{l,m}^{n}}{2}\\ \stackrel{^}{v}=\frac{{v}_{l,m}^{n+1}+{v}_{l,m}^{n}}{2}\\ {\delta }_{x}^{2}\stackrel{^}{u}=\frac{{\stackrel{^}{u}}_{l+1,m}-2{\stackrel{^}{u}}_{l,m}+{\stackrel{^}{u}}_{l-1,m}}{{h}^{2}}\\ {\delta }_{y}^{2}\stackrel{^}{u}=\frac{{\stackrel{^}{u}}_{l,m+1}-2{\stackrel{^}{u}}_{l,m}+{\stackrel{^}{u}}_{l,m-1}}{{h}^{2}}\\ {\delta }_{x}^{2}\stackrel{^}{v}=\frac{{\stackrel{^}{v}}_{l+1,m}-2{\stackrel{^}{v}}_{l,m}+{\stackrel{^}{v}}_{l-1,m}}{{h}^{2}}\\ {\delta }_{y}^{2}\stackrel{^}{v}=\frac{{\stackrel{^}{v}}_{l,m+1}-2{\stackrel{^}{v}}_{l,m}+{\stackrel{^}{v}}_{l,m-1}}{{h}^{2}}\\ {u}_{l,m}^{n+1}-{u}_{l,m}^{n}-{R}_{1}\left({\delta }_{x}^{2}+{\delta }_{y}^{2}\right)\stackrel{^}{u}-\frac{k}{8}\left(\stackrel{^}{v}{\stackrel{^}{u}}^{2}\right)+0.5k\left(\stackrel{^}{u}\right)=0\\ {v}_{l,m}^{n+1}-{v}_{l,m}^{n}-{R}_{1}\left({\delta }_{x}^{2}+{\delta }_{y}^{2}\right)\stackrel{^}{v}+\frac{k}{8}\left({\stackrel{^}{v}}^{2}\stackrel{^}{u}\right)=0,\end{array}\right\}$ (11)

where ${R}_{1}=\frac{k\beta }{{h}^{2}}$   . The scheme in Equation (11) is a nonlinear implicit

scheme with block linear penta diagonal structure   . The Newton's iterative method is used to solve this linear system, such scheme is of second order accuracy in both directions, space and time respectively   . The scheme is unconditionally stable using the von Neumann stability analysis  .

4.2. Computationally Efficient Implicit Scheme

In search of a time efficient alternate, we analyzed the naive version of the Crank Nicolson scheme for the two dimensional equation, and find out that that scheme is not time efficient such that to get time efficiency, the common name of Alternating Direction Implicit (ADI) method can be used   . In ADI scheme, the two steps are as follows:

$\begin{array}{l}\begin{array}{l}\left(1-\frac{r}{2}{\delta }_{x}^{2}\right){\stackrel{^}{u}}_{l,m}=\left(1+\frac{r}{2}{\delta }_{y}^{2}\right){u}_{l,m}^{n}+\Delta t{f}_{l,m}^{n}\\ \left(1-\frac{r}{2}{\delta }_{y}^{2}\right){u}_{l,m}^{n+1}=\left(1+\frac{r}{2}{\delta }_{x}^{2}\right){\stackrel{^}{u}}_{l,m}+\Delta t{\stackrel{^}{f}}_{l,m}\end{array}\right\}{f}_{l,m}^{n}={u}_{l,m}^{n}\left({u}_{l,m}^{n}{v}_{l,m}^{n}-\alpha \right)\\ \begin{array}{l}\left(1-\frac{r}{2}{\delta }_{x}^{2}\right){\stackrel{^}{v}}_{l,m}=\left(1+\frac{r}{2}{\delta }_{y}^{2}\right){v}_{l,m}^{n}+\Delta t{g}_{l,m}^{n}\\ \left(1-\frac{r}{2}{\delta }_{y}^{2}\right){v}_{l,m}^{n+1}=\left(1+\frac{r}{2}{\delta }_{x}^{2}\right){\stackrel{^}{v}}_{l,m}+\Delta t{\stackrel{^}{g}}_{l,m}\end{array}\right\}{g}_{l,m}^{n}=-{u}_{l,m}^{n}\left({v}_{l,m}^{n}{v}_{l,m}^{n}\right)\end{array}\right\}$ (12)

The trick used in constructing of ADI scheme, is to split time step into two sweeps and apply two different stencils in each half time step, therefore to increment time by one time step in grid point , we first compute both of these stencils, such that the resulting linear system is block tridiagonal    . The scheme in Equation (12) is a nonlinear implicit scheme of second order accuracy in space and time. According to Von Neumann stability analysis, such scheme is also unconditionally stable     .

4.3. Algorithm

The nonlinear system of Equation (12), can be written in the form:

$R\left(W\right)=0,$ (13)

where $R={\left({r}_{1},{r}_{2},{r}_{3},\cdots ,{r}_{2n}\right)}^{t}$ , $W=\left({u}_{1}^{n+1},{v}_{1}^{n+1},{u}_{2}^{n+1},{v}_{2}^{n+1},\cdots ,{u}_{m}^{n+1},{v}_{m}^{n+1}\right)$ and ${r}_{1},{r}_{2},{r}_{3},\cdots ,{r}_{2n}$ are the nonlinear equations obtained from the system in Equation (12). The system of Equations in (12) is solved by Newton's iterative method using the following steps:

1) Specify ${W}^{\left(0\right)}$ as an initial approximation.

2) For $k=0,1,2,\cdots$ until convergence achieve.

- Solve the linear system $A\left({W}^{\left(k\right)}\right)\Delta {W}^{\left(k\right)}=-R\left({W}^{\left(k\right)}\right)$

- Specify ${W}^{\left(k+1\right)}={W}^{\left(k\right)}+\Delta {W}^{\left(k\right)}$ ,

where $A\left({W}^{\left(k\right)}\right)$ is $\left(m×m\right)$ Jacobian matrix, which is computed analytically and $\Delta {W}^{\left(k\right)}$ is the correction vector   . In the iteration method solution at the previous time step is taken as the initial guess. Iteration at each time step is

stopped when ${‖R\left({W}^{\left(k\right)}\right)‖}_{\infty }\le Tol$ with Tol is a very small prescribed value. The

linear system obtained from Newton's iterative method, is solved by Gauss elimination method with partial pivoting also convergence done with iterations along less CPU time    .

4.4. Norms

The accuracy and consistency of the schemes is measured in terms of error norms specially ${L}_{2}$ and ${L}_{\infty }$ which are defined as:

$\begin{array}{l}{L}_{\infty }={‖{u}^{\text{ecact}}-{u}^{\text{Approximation}}‖}_{\infty }=\underset{1\le i\le m}{\mathrm{max}}\underset{j=1}{\overset{m}{\sum }}|{u}_{j}^{\text{ecact}}-{u}_{j}^{\text{Approximation}}|\\ {L}_{2}={‖{u}^{\text{ecact}}-{u}^{\text{Approximation}}‖}_{2}=\sqrt{\underset{j=1}{\overset{m}{\sum }}|{u}_{j}^{\text{ecact}}-{u}_{j}^{\text{Approximation}}|}\\ \text{Rate}=\frac{\mathrm{log}\left({\text{Error}}_{h}/{\text{Error}}_{h/2}\right)}{\mathrm{log}\left(h/\left(h/2\right)\right)}\end{array}\right\}$ (14)

Two more interesting error are listed below,

$\begin{array}{l}{\text{Error}}_{\text{relative}}=\sqrt{\frac{\underset{i}{\sum }\underset{j}{\sum }{|{u}_{i,j}^{\text{ecact}}-{u}_{i,j}^{\text{Approximation}}|}^{2}}{\underset{j}{\sum }{|{u}_{i,j}^{\text{exact}}|}^{2}}}\\ \text{RMS}=\sqrt{\frac{\underset{i}{\sum }\underset{j}{\sum }{\left({u}_{i,j}^{\text{ecact}}-{u}_{i,j}^{\text{Approximation}}\right)}^{2}}{{M}^{2}}},\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{where}\text{\hspace{0.17em}}M=\text{Total}\text{\hspace{0.17em}}\text{terms}\end{array}\right\}$ (15)

5. Numerical Results

Numerical computations have been performed using the uniform grid, for the test problem, the approximated and analytical solutions such as $u\left(x,y,t\right)$ and $U\left(x,y,t\right)$ have been given in Table 1, Table 2 at different grids with some fixed parameters such as $\alpha =1$ , $\beta =1/4$ and $k=0.0001$ and $t=1$ using implicit Crank Nicolson scheme. Graphically, Figures 1-2 explain Crank Nicolson scheme with different parameters while Figures 3-4 indicate ADI scheme with error profile in Figures 5-6. Also in Tables 3-8, we analyzed some more feathers using ADI scheme at different grids along the same parameters as we mentioned above. We discussed some interesting feathers regarding computer system using ADI scheme in Table 9, Table 10, along Self time which is the time spent in a function excluding the time spent in its child functions     . Self time, includes overhead resulting from the process of profiling, such as Child functions are involved in coding of such problems     . Thus later scheme works very fine for half spacing as we improve accuracy, which is lead by Richardon extrapolation method, see from Table 10.

Table 1. Error comparison by crank nicolson scheme at different grid sizes, at t = 1 and time step = k = 0.0001.

Table 2. Rate of convergence comparison by crank nicolson scheme at different grid sizes at t = 1 and time step = k = 0.0001.

Table 3. Solution by ADI scheme at different locations at t = 1, time step = k = 0.0001 and grid size = 25 ´ 25.

Table 4. Error comparison by ADI scheme at different grid sizes, at t = 1 and time step = k = 0.0001.

Table 5. Error comparison by ADI scheme at different time with time steps = k = 0.0001.

Table 6. Error comparison by ADI scheme at different time steps.

Table 7. Rate of Convergence Comparison by ADI scheme at different grid sizes.

Table 8. Error Comparison by ADI scheme at different space step sizes.

Table 9. Interesting feathers of ADI scheme at different grid sizes.

Table 10. Interesting feathers of ADI scheme at different grid sizes.

6. Discussion

In this research article, Crank Nicolson scheme has been successfully applied to find the solutions of two-dimension nonlinear reaction diffusion system. The accuracy and stability of the scheme demonstrated by test problem with data tables and figures. According to T Lakoba  , implicit CN scheme is not efficient in term of computational time, as we see, the linear algebraic system from Jacobean matrix which is Penta block diagonal    , with two block diagonals adjacent and two are unpaired at the distance of L from main diagonal    . During simulation, unpaired block diagonals increase

Figure 1. Shows results using Crank Nicolson scheme with t = 0.1 and Grid = 25 × 25.

Figure 2. Shows results using Crank Nicolson scheme t = 0.3 and Grid = 53 × 53.

computational time and increase memory capacity    . Solving such a linear system is not practical due to extremely high time complexity of solving a linear system by the means of Gaussian Elimination method or residual technique    . Hence an Alternating Direction Implicit (ADI) scheme can be implemented to solve the numerical PDE whereby one dimension is treated implicitly and other dimension explicitly for half of the assigned time step and vice versa for the remainder half of the time step   . The benefit of this strategy

Figure 3. Shows results using ADI scheme with t = 0.1 and Grid = 53 × 53.

Figure 4. Shows results using ADI scheme with $t=0.1$ and $Grid=53×53$ with log scaling in xy plane of $u\left(x,y\right)$ and only y log scaling in $v\left(x,y\right)$ .

is that the implicit solver only requires a tridiagonal matrix algorithm to be solved, so that the difference between the true Crank Nicolson solution and ADI approximated solution has an order of accuracy of $O\left({k}^{2}\right)$ and hence can be ignored with a sufficiently small time-step  -  . The ADI method is a predictor corrector scheme where part of the difference operator is implicit in the initial (prediction) step and another part is implicit in the final (correction) step, whereas in ADI scheme two diagonals are paired with main diagonal and no other diagonals as in Crank Nicolson, thus these schemes reduce the computational time and increase efficiency  -  . The following diagrams indicate the

Figure 5. Shows results using CN scheme at $t=0.5$ and $Grid=101×101$ with log scaling in xy plane for $u\left(x,y\right)$ and $v\left(x,y\right)$ by Crank Nicolson.

Figure 6. Shows results at different grids, for simple error in the concentration of the diffusion reaction system, with step up in grid sizes, make significant change in error but incremental in time, increase error as we see from Figure 6.

Figure 7. Shows simulations with capacity of the system along CPU usage and performance. Also processor calls and threads, by Crank Nicolson. Specification of the system is mentioned in computer applications header.

performance of the CPU for two different schemes. The derivation of our ADI scheme for a nonlinear PDE system relies on a few key observations. Most importantly, using the solution at time levels previous to $t={t}^{n+1}$ , the algorithm converts the nonlinear spatial operator into an implicit but linear operator with variable coefficients. The resulting approximately-factored equation is solved in sweeps along each of the Cartesian directions, including, as is common in ADI approaches, an intermediate ${t}^{n+1/2}$ step, so that all of the proposed algorithms are embodied in the two steps formula that every iteration updated the block tridiagonal linear algebraic system  -  .

Computer Applications

Since last two decades, there is a challenging hasting among vendors and software development communities to bring improvement in performance for

Figure 8. Shows simulations with ADI. CPU usage increase from 9% to 13% with efficiency.

Figure 9. Shows GPU CPU collaboration.

High performance computing system, by halting the traditional development to increase the clock rate, number of cores that are being increased in the system, however, many cores architecture based different powerful devices such GPU (Graphics Processing Unit) and GPGPU (General Purpose Graphics Processing Unit) by NIVIDA, MIC (Many Integrated Core) by Intel and FPGA (Field programmable Gate Array) have been introduced recently that outperform the conventional CPU processing by thousand folds    . In order to utilize these powerful devices, new software stacks, algorithms and frameworks have been introduced, ehereas the modern computing system provides massive parallelism through inter node and intra node computation where inter node processing is performed by MPI (Message Passing Interface), most popular programming model and intra node by OpenMP directive programing model    .

Keeping in view, the advantages of this emerging technology, we have introduced Crank Nicolson and ADI schemes with the help of this application by using FUJITSU Primergy RX 350 S7 HPC computer having Intel Xeon E5-2667 processor of 2.80 GHz processing power which contained 16 physical cores and 32 logical cores, main memory size of 32 GB and HDD 4 TB inside it    , see from Figures 7-9. Moreover, we used 2 Tesla k-80 accelerated NVIDA devices that are capable to deliver not only graphical processing purpose but also for general purpose processing    . However, our application structure is designed for MATLAB based on hybrid of tri-hierarchy level tightly coupled programming model containing CUDA (Compute Uniform Device Architecture) for accelerated computation    .

Acknowledgements

The authors are gratefully acknowledged Dr. Muhammad Faheem Afzaal, Department of Chemical Engineering, Imperial College London, UK and Muhammad Usman Ashraf, Department of Computer Science, King Abdulaziz University, Saudi Arabia.

Conflict of Interest

The authors do not have any conflict of interest in this research paper.

Cite this paper: Hasnain, S. , Saqib, M. and Al-Harbi, N. (2018) Finite Difference Implicit Schemes to Coupled Two-Dimension Reaction Diffusion System. Journal of Applied Mathematics and Physics, 6, 737-753. doi: 10.4236/jamp.2018.64066.
References

   Fisher, R.A. (1937) The Wave of Advance of Advantageous Genes. Annals of Eugenics, 7, 355-369.
https://doi.org/10.1111/j.1469-1809.1937.tb02153.x

   Canosa, J.C. (1973) On a Nonlinear Diffusion Equation Describing Population Growth. IBM Journal of Research Development, 17, 307-313.
https://doi.org/10.1147/rd.174.0307

   Arnold, A.R., Showalter, K.S. and Tyson, J.J. (1987) Propagation of Chemical Reactions in Space. Journal of Chemical Education, 64, 740-743.
https://doi.org/10.1021/ed064p740

   Tuckwell, H.C. (1988) Introduction to Theoretical Neurobiology. Cambridge University Press, Cambridge, UK.

   Gazdag, G.J. and Canosa, J.C. (1974) Numerical Solutions of Fisher’s Equation. Journal of Applied Probability, 11, 445-457.
https://doi.org/10.2307/3212689

   Abdullaev, U.G. (1994) Stability of Symmetric Traveling Waves in the Cauchy Problem for the KPP Equation. Journal of Differential Equations, 30, 377-386.

   Logan, D.J. (1994) An Introduction to Nonlinear Partial Differential Equations. Wiley, New York.

   Evans, D.J. and Sahimi, M.S. (1989) The Alternating Group Explicit (AGE) Iterative Method to Solve Parabolic and Hyperbolic Partial Differential Equations. Annals of Numerical Fluid Mechanics and Heat Transfer, 2, 283-389.

   Segel, L.A. (1984) Chapter 8: Modelling Dynamic Phenomena in Molecular and Cellular Biology. Cambridge University Press, Cambridge.

   Pao, C.V. (1981) Asymptotic Stability of Reaction-Diffusion Systems in Chemical Reactor and Combustion Theory. Journal of Mathematical Analysis and Applications, 82, 503-526.
https://doi.org/10.1016/0022-247X(81)90213-4

   Schiesser, W.E. and Griffiths, G.W. (2009) A Compendium of Partial Differential Equation Models. Cambridge University Press, Cambridge.
https://doi.org/10.1017/CBO9780511576270

   Argyris, J.A., Haase, M.H. and Heinrich, J.C. (1991) Finite Approximation to Two-Dimensional Sine Gordon Equations. Computer Methods in Applied Mechanics and Engineering, 86, 1-26.
https://doi.org/10.1016/0045-7825(91)90136-T

   Aronson, D.G. and Weinberger, H.F. (1978) Multidimensional Non-Linear Diffusion Arising in Population Genetics. Advance in Mathematics, 30, 33-76.
https://doi.org/10.1016/0001-8708(78)90130-5

   Hilborn, R.H. (1975) The Effect of Spatial Heterogeneity on the Persistence of Predator-Prey Interactions. Theoretical Population Biology, 8, 346-355.
https://doi.org/10.1016/0040-5809(75)90051-9

   Hans, L.P. (1999) Computational Partial Differential Equations. Springer Verlag, Berlin.

   Hayhoe, M.N. (1978) Numerical Study of Quasi-Analytic and Finite Difference Solutions of the Soil-Water Transfer Function. Soil Science, 125, 68-79.

   Linker, P.L. (1990) Numerical Methods for Solving the Reactive Diffusion Equation in Complex Geometries. Technische Universitat Darmstadt, Darmstadt, Hessen.

   Tang, T.S. and Weber, R.O. (1991) Numerical Study of Fisher’s Equations by a Petrov-Galerkin Finite Element Method. The ANZIAM Journal, 33, 27-38.
https://doi.org/10.1017/S0334270000008602

   Khaled, K.A. (2001) Numerical Study of Fisher’s Diffusion-Reaction Equation by the Sinc Collocation Method. Journal of Computational and Applied Mathematics, 137, 245-255.
https://doi.org/10.1016/S0377-0427(01)00356-9

   Ames, W.F. (1965) Nonlinear Partial Differential Equations in Engineering. Academic Press, New York.

   Ames, W.F. (1969) Numerical Methods for Partial Differential Equations. Barnes and Noble, Inc., New York.

   Noye, J.N. (1989) Finite Difference Methods for Partial Differential Equations. North-Holland Publishing Comp. Conference in Queen’s College, University of Melbourne, Australia, 23-87.

   Mittal, R.C. and Kumar, S.K. (2009) Numerical Study of Fisher’s Equation by Wavelet Galerkin Method. International Journal of Computer Mathematics, 83, 287-298.

   Dhawam, S.D., Kapoor, S.K. and Kumar, S.K. (2012) Numerical Method for Advection Diffusion Equation Using FEM and B-Splines. Journal of Computer Science, 3, 429-437.
https://doi.org/10.1016/j.jocs.2012.06.006

   Tamseer, M.T., Srivastava, V.K. and Mishra, P.D. (2016) Numerical Simulation of Three Dimensional Advection-Diffusion Equations by Using Modified Cubic B-Spline Differential Quadrature Method. Asia Pacific Journal of Engineering Science and Technology, 2, 1-13.

   Fletcher, C.A. (2016) Generating Exact Solutions of the Two-Dimensional Burgers Equations. International Journal for Numerical Methods in Fluids, 3, 213-216.
https://doi.org/10.1002/fld.1650030302

   Hill, M.D. and Michael, R.M. (2008) Amdahl’s Law in the Multicore Era. Computer, 41, 33-38.
https://doi.org/10.1109/MC.2008.209

   Heath, M.T. (1997) Scientific Computing, an Introductory Survey. University of Illinois at Urbana-Champaign, Urbana and Champaign, IL.

   Ashraf, M.U., Fouz, F.F. and Fathy, A.E. (2016) Empirical Analysis of HPC Using Different Programming Models. International Journal of Modern Education and Computer Science, 6, 27-34.

   Busenberg, S.N. and Travis, C.C. (1983) Epidemic Models with Spatial Spread Due to Population Migration. Journal of Mathematical Biology, 16, 181-198.
https://doi.org/10.1007/BF00276056

   Crank, J.C. and Nicolson, P.N. (1947) A Practical Method for the Numerical Evaluation of Solutions of Partial Differential Equations of the Heat-Conduction Type. Mathematical Proceedings of the Cambridge Philosophical Society, 43, 50-67.
https://doi.org/10.1017/S0305004100023197

   Lakoba, T.L. (2015) The Heat Equation in 2 and 3 Spatial Dimensions. In: MATH 337, University of Vermont.

   Srivastava, V.K. and Tamsir, M.T. (2012) Crank-Nicolson Semi-Implicit Approach for Numerical Solutions of Two-Dimensional Coupled Nonlinear Burgers’ Equations. International Journal of Applied Mechanics and Engineering, 17, 571-581.

   Smith, G.D. (1986) Numerical Solution of Partial Differential Equations: Finite Difference Methods. 3rd Edition, Oxford University Press, Oxford.

   Saber, E.N. (1999) An Introduction to Differential Equations. 2nd Edition, Springer Verlag, New York.

   Shalf, J.S., Sundip, D.S. and John, M.J. (2010) Exascale Computing Technology Challenges. In: Palma, J.M.L.M., Daydé, M., Marques, O. and Lopes, J.C., Eds., High Performance Computing for Computational Science—VECPAR 2010, Lecture Notes in Computer Science, Vol. 6449, Springer, Berlin, Heidelberg, 1-25.

   Shekhar, B.S. (2007) Thousand Core Chips: A Technology Perspective. Proceedings of the 44th annual Design Automation Conference, San Diego, CA, 4-8 June 2007, 746-749.

   Bajellan, A.A.A.F. (2015) Computation of the Convection-Diffusion Equation by the Fourth-Order Compact Finite Difference Method. Izmir Institute of Technology, January 2015.

   Ge, Y., Tian, Z.F. and Zhang, J. (2013) An Exponential HO Compact ADI Method for 3D Unsteady Convection Diffusion Problems. Numerical Methods for Partial Differential Equations, 29, 186-205.
https://doi.org/10.1002/num.21705

Top