# Abstract

This article presents a new method of solving partial differential equations. The method is an improvement of the previously reported compact finite difference quasilinearization method (CFDQLM) which is a combination of compact finite difference schemes and quasilinearization techniques. Previous applications of compact finite difference (FD) schemes when solving parabolic partial differential equations has been solely on discretizing the spatial variables and another numerical technique used to discretize temporal variables. In this work we attempt, for the first time, to use the compact FD schemes in both space and time. This ensures that the rich benefits of the compact FD schemes are carried over to the time variable as well, which improves the overall accuracy of the method. The proposed method is tested on four nonlinear evolution equations. The method produced highly accurate results which are portrayed in tables and graphs.

## 1 Introduction

Many researchers are now using higher order compact finite difference schemes in place of the conventional second order finite difference to solve differential equations [1,2,3,4,5]. This is because significant improvements to the accuracy of numerical solutions have been obtained by using fourth or sixth order compact FD schemes. Another advantage is that the high accuracy is obtained on coarser grids which ensures greater computational efficiency. Lele [6] presented various compact finite difference schemes for applications such as evaluating high order derivatives, interpolation and filtering.

A number of researchers have used compact FD schemes to solve partial differential equations arising in various fields. In all the previous work the compact FD schemes were only applied on space variables and other discretization techniques are used for the time variables. Quite a number of numerical techniques have been paired with the compact FD schemes in order to discretize time. For example [7] used a two-step predictor-corrector algorithm called McCormack method to find the solution of Burgers equation. Li and Visbal [3] used the classical fourth-order four-stage Runge-Kutta method (RK4). A lot of of researchers have combined the compact FD schemes with the third order total variation diminishing Runge-Kutta (TVD-RK3) scheme (see [4, 8,9,10]). Dlamini et al [11] combined the compact FD schemes with the Crank-Nicolson technique in time to solve unsteady boundary layer flow problems. However these techniques limit the accuracy of the difference scheme to fourth order or less in time which means small mesh sizes have to be used in order to get desirable accuracy, and thus much more computational work is involved. The aim is to try the compact FD schemes (sixth order) on the time variable as well which will allow us to archive greater accuracy with a rough step size.

The purpose of this investigation is to explore the possibility of applying sixth order compact FD schemes in both space and time variables. We consider this on a few examples of nonlinear evolution PDEs. These are important equations arising in a number of fields of science and engineering. They are used to describe many complex nonlinear settings in applications such as vibration and wave propagation, fluid mechanics, plasma physics, quantum mechanics, nonlinear optics, solid state physics, chemical kinematics, physical chemistry, population dynamics, and many other areas of mathematical modelling. Understanding the behavior of these problems requires finding solutions of the differential equations and analyzing them. Most of the evolution equations are very complex to solve analytically and so we rely on approximate solutions. So the development of numerical solutions to solve such problems continues to be an active area of research.

Numerical experiments show that implementing the compact FD schemes on both space and time yield highly accurate results. This was experimented on the Fisher’s, Burgers-Fisher, Burgers-Huxley and Fitzhugh-Nagumo equations. Before using the compact FD schemes we first linearize the PDEs using a quasilinearization technique developed by Bellman and Kalaba. The method is therefore called the compact finite difference quasilinearization method (CFDQLM). The rest of the paper can be summarized as follows, in section 2 we give a description of how to use the sixth order compact finite differences to discretize in space and in time as well as giving a description of how the CFDQLM is used to solve evolution partial differential equations. In section 3 we outline the examples considered in this work. We then present and discuss results in section 4 and in the last section we conclude.

## 2 Compact finite difference schemes

In this section we introduce the compact finite difference schemes and illustrate how we use them to solve nonlinear evolution partial differential equations. We consider nonlinear PDEs of the form

defined on the the region

with boundary condition

In the derivation of the compact FD schemes we consider the function *u*(*x*, *t*) that depends on space variable *x* and temporal variable *t*. We consider one-dimensional uniform meshes on the regions [*a*, *b*] and [0, *T*], with nodes *x _{i}* (

*i*= 1, 2, …,

*N*) and

_{x}*t*(

_{j}*j*= 1, 2, …,

*N*) respectively, where

_{t}and

The distance between any two successive nodes is a constant Δ *x* = *x _{i}* –

*x*

_{i–1}for the space variable and Δ

*t*=

*t*–

_{j}*t*

_{j–1}for the temporal variable. We first show how we approximate the derivatives with respect to

*x*using the compact FD schemes. Sixth order approximations of the first and second derivatives with respect to

*x*, at interior nodes can be obtained using the following schemes (see [6] for details)

where *u*_{i,j} = *u*(*x _{i}*,

*t*) and the primes denote differentiation with respect to

_{j}*x*. We apply the compact FD approximation for the first and second derivatives given by (4) and (5) respectively, at the interior nodes (

*i*= 2, …,

*N*− 1). Since we know boundary conditions at

_{x}*i*= 1 and

*i*=

*N*, the compact FD schemes must be adjusted for the nodes near the boundary points. In order to maintain the order

_{x}*O*(

*h*

^{6}) accuracy at the boundary points as in the interior points and to maintain the same tridiagonal format, we use the following one sided scheme at

*i*= 2,

and when *i* = *N _{x}* − 1 we use

Similarly, for the second derivatives, we use

at *i* = 2 and

at *i* = *N _{x}* − 1. Using the above equations, the equations for approximating the first and second order derivatives can be expressed as

where

From equations (10) and (11), *U*′ and *U*″ can be expressed as;

where

Next we show how we use the compact FD schemes to approximate the time derivatives. Approximation of the first derivative at interior points is given by

where the dots denote differentiation with respect to time and Δ *t* is the distance between successive nodes. We adjust the schemes for *i* = 1, 2, *N _{t}* − 1 and

*N*with the following one sided schemes respectively.

_{t}The equation for approximating the first time derivative is obtained by combining equations (15)-(19) and is given by

where **A**_{t} = **A**_{x} and

From equation (20), *U̇* can be expressed as

where
*e _{jk}* are the elements of

**E**

_{t}and

**U**

_{i,⋅}= [

*u*

_{i,1},

*u*

_{i,2}, …,

*u*

_{i,Nt}].

To solve the PDE (1) we start by linearizing it by using the quasilinearization method which was proposed by Bellman and Kalaba [12]. It is convenient to split the function *G* in (1) into its linear and nonlinear components and rewrite the governing equation in the form,

where the dot and primes denote the time and space derivatives, respectively. *L* is a linear operator and *N* is a non-linear operator. If we assume that the difference *u*_{r+1} − *u _{r}* and all its space derivatives is small, then we can approximate the non-linear operator

*N*using the linear terms of the Taylor series and hence

where *r* and *r* + 1 denote previous and current iterations respectively.

Equation (23) can be expressed as

where

Substituting equation (24) into equation (22), we get

where

Substituting (21) into (26) we get

for *j* = 1, 2, 3, …, *N _{t}*, where

and

Since the initial condition is known, then we express equation (27) as

where

Equation (30) can be expressed as the following (*N _{t}* − 1)(

*N*− 1)×(

_{x}*N*− 1)(

_{t}*N*− 1) matrix system

_{x}where

and **I** is the identity matrix of size (*N _{x}* − 1) × (

*N*− 1). Solving equation (28) gives

_{x}*u*(

*x*,

_{i}*t*).

_{j}## 3 Numerical experiments

We apply the proposed algorithm to well-known nonlinear PDEs of the form (1) with exact solutions. In order to determine the level of accuracy of the CFDQLM approximate solution, at a particular time level, in comparison with the exact solution we report maximum error which is defined by

where *ũ*(*x _{r}*,

*t*) is the approximate solution and

*u*(

*x*,

_{r}*t*) is the exact solution at the time level

*t*.

## Example 3.1

(Fisher’s equation). *We consider the Fisher’s equation which represents a reactive-diffusive system and is encountered in chemical kinetics andpopulation dynamics applications*. *The equation is given by*

*subject to the initial condition*

*and exact solution [13]*

*where α* *is a constant*. *For this example*, *the appropriate linear operator L and nonlinear operator N are chosen as*

*We linearize the nonlinear operator N by expanding using the Taylor series expansion*. *We assume that the difference u*_{r+1}−*u _{r}*

*and it’s derivatives is very small*.

*The coefficients are obtained by taking only the linear terms of the Taylor expansion and they are given as*

*and*

*which is consistent with the quasilinearization discussed in the previous section*.

*Therefore*, *the linearized equation can be expressed as*

*Applying the compact FD schemes both in x and t*, *and initial condition*, *weget*

*Equation (47) can be expressed as*

*where*

*The approximate solution is obtained by solving (48)*. *The rest of the examples are solved in a similar manner*.

## Example 3.2

(Burgers-Fisher equation). *We consider the generalized Burgers-Fisher equation [14]*

*with initial condition*

*and exact solution*

*where* *α*, *β* *and* *δ* *are parameters*. *In this work the parameters are chosen to be* *α* = *β* = *δ* = 1.

## Example 3.3

(Burgers-Huxley equation). *We consider the Burgers-Huxley equation*

*where* *α*, *β*≥0 *are constant parameters*, *δ* *is a positive integer (set to be* *δ* = 1 *in this study) and* *γ*∈(0,1) . *The exact solution subject to the initial condition*

*is*

*where*

## Example 3.4

(Fitzhugh-Nagumo equation). *The Fitzhugh-Nagumo equation is given by*

*with initial condition*

*This equation has the exact solution [17]*

*where* *α* *is a parameter*.

## 4 Results and discussion

In this section we present the results of the implementation of the CFDQLM on the nonlinear evolution equations mentioned above. In Tables 1 - 4 we show the maximum errors between the exact solutions and the CFDQLM results for the Fisher’s, Fishers-Burger, Burgers-Huxely and Fitzhugh-Nagumo equations respectively. The results were obtained with grid points *N _{X}* = 30 for the space variable

*x*. As shown in the tables, for the time variable

*t*, the number of grid points

*N*varied from 10 to 50. It can be seen that after

_{t}*N*= 40 there is a small change in the error. This means that

_{t}*N*= 40 is sufficient to give sufficient accuracy. As shown by the results, the method gives highly accurate results of at least 10

_{t}^{−12}which is achieved with remarkably few grid points in both

*x*and

*t*. The same observation is seen in Figure 5 which shows the errors for each of the equations considered. It can be seen that the average error is around 10

^{−12}for the values of

*t*considered. Another remarkable observation is that the method gives accurate results even for

*t*> 1. A lot of methods loose significant accuracy when

*t*> 1.

t\N_{t} |
10 | 20 | 30 | 40 | 50 |
---|---|---|---|---|---|

0.2 | 3.396e-007 | 1.086e-009 | 3.592e-011 | 2.725e-012 | 2.734e-013 |

0.4 | 2.605e-008 | 1.951e-010 | 7.812e-012 | 7.934e-013 | 1.291e-013 |

0.6 | 8.689e-009 | 7.175e-011 | 3.761e-012 | 7.182e-013 | 1.475e-013 |

0.8 | 3.480e-009 | 6.084e-011 | 4.795e-012 | 8.085e-013 | 2.018e-013 |

1.0 | 3.342e-009 | 5.979e-011 | 2.542e-012 | 7.814e-013 | 1.212e-013 |

1.2 | 1.376e-009 | 5.649e-011 | 4.247e-012 | 6.779e-013 | 1.575e-013 |

1.4 | 2.766e-009 | 5.487e-011 | 1.562e-012 | 5.637e-013 | 2.598e-014 |

1.6 | 3.614e-009 | 6.219e-011 | 3.941e-012 | 5.197e-013 | 9.348e-014 |

1.8 | 6.478e-009 | 8.894e-011 | 7.390e-012 | 6.311e-013 | 2.415e-013 |

2.0 | 2.625e-008 | 5.748e-010 | 3.641e-011 | 4.902e-012 | 1.015e-012 |

t\N_{t} |
10 | 20 | 30 | 40 | 50 |
---|---|---|---|---|---|

0.2 | 8.512e-007 | 1.357e-008 | 9.097e-010 | 1.249e-010 | 2.632e-011 |

0.4 | 7.122e-008 | 2.127e-009 | 1.448e-010 | 2.060e-011 | 4.494e-012 |

0.6 | 1.655e-008 | 4.160e-010 | 2.949e-011 | 4.601e-012 | 1.080e-012 |

0.8 | 1.678e-008 | 6.381e-011 | 3.567e-012 | 5.065e-013 | 1.065e-013 |

1.0 | 3.027e-008 | 7.375e-011 | 1.006e-011 | 1.684e-012 | 4.735e-013 |

1.2 | 2.395e-008 | 9.651e-011 | 1.218e-011 | 2.303e-012 | 6.368e-013 |

1.4 | 5.896e-008 | 4.515e-011 | 1.330e-011 | 2.010e-012 | 5.536e-013 |

1.6 | 6.942e-008 | 6.562e-011 | 4.527e-012 | 1.202e-012 | 3.662e-013 |

1.8 | 1.183e-007 | 2.337e-010 | 9.879e-012 | 5.163e-013 | 1.923e-013 |

2.0 | 4.251e-007 | 1.529e-009 | 5.956e-011 | 6.207e-012 | 1.095e-012 |

t\N_{t} |
10 | 20 | 30 | 40 | 50 |
---|---|---|---|---|---|

0.2 | 3.247e-009 | 1.403e-011 | 6.778e-013 | 1.793e-014 | 1.066e-013 |

0.4 | 2.054e-010 | 2.187e-012 | 7.661e-014 | 6.317e-014 | 8.055e-014 |

0.6 | 1.191e-010 | 4.759e-013 | 3.342e-014 | 7.988e-014 | 6.156e-014 |

0.8 | 2.602e-011 | 1.812e-013 | 6.134e-014 | 5.929e-014 | 5.534e-014 |

1.0 | 1.151e-010 | 6.362e-014 | 3.586e-014 | 3.625e-014 | 4.829e-014 |

1.2 | 9.804e-011 | 9.576e-014 | 3.125e-014 | 4.452e-014 | 4.186e-014 |

1.4 | 2.114e-010 | 3.592e-013 | 5.662e-014 | 2.798e-014 | 5.851e-014 |

1.6 | 2.506e-010 | 9.730e-013 | 2.920e-014 | 2.542e-014 | 3.930e-014 |

1.8 | 4.486e-010 | 1.959e-012 | 1.222e-013 | 4.019e-014 | 2.298e-014 |

2.0 | 1.721e-009 | 1.364e-011 | 8.060e-013 | 1.065e-013 | 3.186e-014 |

t\N_{t} |
10 | 20 | 30 | 40 | 50 |
---|---|---|---|---|---|

0.2 | 3.872e-009 | 2.016e-011 | 1.180e-012 | 1.693e-013 | 3.142e-014 |

0.4 | 2.486e-010 | 3.313e-012 | 1.953e-013 | 3.686e-014 | 2.287e-014 |

0.6 | 1.230e-010 | 8.290e-013 | 6.362e-014 | 2.059e-014 | 2.010e-014 |

0.8 | 6.523e-012 | 4.283e-013 | 5.429e-014 | 2.759e-014 | 3.003e-014 |

1.0 | 9.432e-011 | 3.036e-013 | 7.488e-014 | 2.803e-014 | 2.587e-014 |

1.2 | 6.756e-011 | 1.702e-013 | 6.334e-014 | 2.942e-014 | 3.675e-014 |

1.4 | 1.609e-010 | 4.746e-014 | 6.606e-014 | 3.830e-014 | 2.831e-014 |

1.6 | 1.924e-010 | 4.236e-013 | 3.775e-014 | 2.681e-014 | 4.013e-014 |

1.8 | 3.477e-010 | 1.222e-012 | 9.048e-014 | 4.147e-014 | 4.041e-014 |

2.0 | 1.355e-009 | 9.256e-012 | 5.085e-013 | 6.395e-014 | 2.986e-014 |

A graphical comparison between the CFDQLM results and the exact solutions is shown in Figures 1-4 for the Fisher’s, Burgers-Fisher, Burgers-Huxely, Fitzhugh-Nagumo equations respectively. A good agreement is observed between the two sets of results.

### Fig. 1

### Fig. 2

### Fig. 3

### Fig. 4

### Fig. 5

Figure 6 shows the convergence plots of the CFDQLM for the the four equations. It can be seen that the method reaches full convergence after 4 iterations. The convergence criteria is defined as the infinity norm of the difference between the solution at current iteration and previous iteration, ie,

where *r* and *r*+1 denote previous and current iterations. This shows that the method quickly converges to the true solution.

### Fig. 6

## 5 Conclusion

In this paper, we have extended the use of compact finite difference schemes to both space and time variable when solving parabolic differential equations. This idea was tested on nonlinear evolution equations, namely Fisher’s, Burgers-Fisher, Burgers-Huxley and Fitzhugh-Nagumo equations. The quasilinearization technique was used to first linearize the equations. The results obtained show that the method is highly accurate. A noteworthy result is that the high accuracy is obtained using few grid points on both space and time variables. This makes the method more computationally efficient.

For future work, we plan to extend the application of the method to:

- –
systems of PDEs

- –
PDEs with higher spatial domains

- –
hyperbolic PDEs

### References

[1] Dlamini P.G., Motsa S.S., Khumalo M., On the comparison between compact finite difference and pseudospectral approaches for solving similarity boundary layer problems, Mathematical Problems in Engineering, 2013, Article ID 746489, 15 pages. Search in Google Scholar

[2] During B., Fournie M., Jungel A., High order compact finite difference schemes for a nonlinear Black-Scholes equation, International Journal of Theoretical and Applied Finance, 2003, 6, 767-789. Search in Google Scholar

[3] Li J. and Visbal M. R., High-order compact schemes for nonlinear dispersivewaves, Journal of Scientific Computing, 2006, 26, 1-23. Search in Google Scholar

[4] Sari M., Solution of the porous media equation by a compact finite difference method, Mathematical Problems in Engineering, 2009, Article ID 912541, 13 pages. Search in Google Scholar

[5] Shah A., Yuan L., and Khan A., Upwind compact finite difference scheme for time-accurate solution of the incompressible Navier-Stokes equations, Applied Mathematics and Computation, 2010, 215, 3201-3213. Search in Google Scholar

[6] Lele S. K., Compact finite difference schemes with spectral-like resolution, Journal of Computational Physics, 1992, 103, 16-42. Search in Google Scholar

[7] Zhang P.G., Wang J.P., A predictor-corrector compact finite difference scheme for Burgers’ equation, Applied Mathematics and Computation, 2012, 219, 892-898 Search in Google Scholar

[8] Bastani M. and Salkuyeh D. K., A highly accurate method to solve Fisher’s equation, Journal of Physics, 2012, 78, 335-346. Search in Google Scholar

[9] Sari M. and Gurarslan G., A sixth-order compact finite difference scheme to the numerical solutions of Burgers’ equation, Applied Mathematics and Computation, 2009, 208, 475-483. Search in Google Scholar

[10] Sari M. and Gurarslan G., A sixth-order compact finite difference method for the one-dimensional sine-Gordon equation, International Journal for Numerical Methods in Biomedical Engineering, 2011, 27, 1126-1138. Search in Google Scholar

[11] Dlamini P.G., Motsa S.S., Khumalo M., Higher order compact finite difference schemes for unsteady boundary layer flow problems, Advances in Mathematical Physics, 2013, Article ID 941096, 10 pages. Search in Google Scholar

[12] Bellman R. E. and Kalaba R. E., Quasilinearization and Nonlinear Boundary-Value Problems, Elsevier, New York, NY, USA, 1965. Search in Google Scholar

[13] Wazwaz A.M. and Gorguis A., An analytic study of Fisher’s equation by using Adomian decomposition method, Applied Mathematics and Computation, 2004, 154, 609-620. Search in Google Scholar

[14] Golbabai A., Javidi M., A spectral domain decomposition approach for the generalized Burger’s-Fisher equation, Chaos, Solitons and Fractals, 2009, 39, 385-392. Search in Google Scholar

[15] Hashim I., Noorani M.S.M., Said Al-Hadidi M.R., Solving the generalized Burgers-Huxley equation using the Adomian decomposition method, Math. Comput. Model., 2006, 43, 1404-1411. Search in Google Scholar

[16] Wang X.Y., Zhu Z.S. and Lu Y.K., Solitary wave solutions of the generalised Burgers-Huxley equation, J. Phys. A: Math., 1990, 23, 271-274. Search in Google Scholar

[17] H.Li, Y.Guo, New exact solutions to the Fitzhugh-Nagumo equation, Applied Mathematics and Computation, 2006, 180, 524-558. Search in Google Scholar

**Received:**2016-4-20

**Accepted:**2017-6-13

**Published Online:**2017-12-16

© 2017 Dlamini and Khumalo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.