 Research
 Open access
 Published:
Highaccuracy quasivariable mesh method for the system of 1D quasilinear parabolic partial differential equations based on offstep spline in compression approximations
Advances in Difference Equations volume 2017, Article number: 212 (2017)
Abstract
In this article, we propose a new twolevel implicit method of accuracy two in time and three in space based on spline in compression approximations using two offstep points and a central point on a quasivariable mesh for the numerical solution of the system of 1D quasilinear parabolic partial differential equations. The new method is derived directly from the continuity condition of the firstorder derivative of the spline function. The stability analysis for a model problem is discussed. The method is directly applicable to problems in polar systems. To demonstrate the strength and utility of the proposed method, we solve the generalized BurgersFisher equation, generalized BurgersHuxley equation, coupled Burgersequations and heat equation in polar coordinates. We demonstrate that the proposed method enables us to obtain high accurate solution for high Reynolds number.
1 Introduction
We consider the onespace dimensional quasilinear parabolic partial differential equation (PDE) of the form
The initial and boundary conditions are given by
where we assume that the functions f, \(u_{0}(x)\), \(g_{0}(t)\) and \(g_{1}(t)\) are sufficiently smooth and their required higherorder derivatives exist.
The quasilinear parabolic equation describes a wide class of physical phenomenon such as the interaction between reaction mechanism, convection, effects and diffusion transports. It is used in many fields such as chemistry, biology, metallurgy and engineering. The onedimensional viscous generalized BurgersFisher equation (GBFE) and generalized BurgersHuxley equation (GBHE) are famous examples of quasilinear parabolic equations.
The GBFE is given by
where \(\alpha, \beta\) are real parameters, δ is a positive integer and \(0 < \varepsilon \le 1\).
The GBHE is given by
where \(\alpha,\beta \ge 0\), \(\gamma \in (0,1)\), \(\delta > 0\) and \(0 < \varepsilon \le 1\) are the parameters.
In both cases, equations describe the interaction between diffusion, convection and reaction.
The GBFE has wide applications in the fields such as gas dynamics, fluid mechanics, elasticity, heat conduction and plasma physics. The wellknown equation (1.4) was first used by Fisher [1] to describe the propagation of gene in a habitat. In his memory, it is generally referred as Fisher’s equation. When \(\alpha = 0\) and \(\delta = 1\), equation (1.4) reduces to the classical Fisher equation. Kolmogorov et al. [2] independently wrote down the same equation to describe the dynamic spread of a combustion front. This equation has been found in various contexts in which a perturbation spreads in an excitable medium.
The GBHE was investigated by Satsuma et al. [3] in 1987. When \(\varepsilon = 1\), \(\alpha = 0\), \(\delta = 1\), equation (1.5) reduces to the Huxley equation and describes nerve pulse propagation in nerve fibers and wall motion in liquid crystals. For \(\varepsilon = 1\), \(\beta = 0\), equation (1.5) reduces to the generalized Burgers equation, which describes the far field of wave propagation in nonlinear dissipative systems. When \(\varepsilon = 1\), \(\alpha = 0\), \(\beta = 1\) and \(\delta = 1\), equation (1.5) becomes the FitzHughNagumo (FHN) equation which is the reaction diffusion equation used in circuit theory and biology. When \(\alpha \ne 0\), \(\beta \ne 0\) and \(\delta = 1\), equation (1.5) turns into the BurgersHuxley equation (BHE) and shows a prototype model for describing the interaction between diffusion transports, convection and reaction mechanisms.
There has been vast variety of numerical methods, such as finite element methods, finite difference methods, spectral techniques and finite volume methods for quasilinear parabolic initialboundary value problems. In recent years, various numerical methods were used by the researchers to solve GBHE and GBFE. A fourthorder scheme for GBHE was proposed by Bratsos [4]. Mohammadi [5] has discussed a spline method for GBFE. Zhang et al. [6] solved GBFE using the local discontinuous Galerkin method. Diaz [7] analysed the solitary wave solution of the BHE through Cardano’s method. Mittal and Tripathi [8] discussed the schemes using collocation of cubic Bsplines for numerical solutions of GBFE and GBHE. A twolevel implicit compact operator method of order two in time and four in space was discussed for the approximate solution of time dependent BHE by Mohanty et al. [9].
Higherorder finite difference methods on a uniform mesh for the solution of nonlinear parabolic equations were proposed by Jain et al. [10]. Mittal and Jiwari [11] developed differential quadrature method for numerical solution of coupled viscous Burgers’ equations. Mohanty et al. [12] used compact operator technique to solve coupled Burgers’ equations. In recent past, Talwar et al. [13] proposed spline in compression method based on three fullstep grid points for the solution of 1D quasilinear parabolic equations and in those methods the consistency equation is only secondorder accurate and the method is not directly applicable to singular problems, which is a main drawback of those methods. To the best of the authors’ knowledge, no numerical method of order two in time and three in space, directly obtained from the consistency condition, for the solution of parabolic equation (1.1) on a quasivariable mesh has been discussed in the literature so far.
In this paper, using a central point and two offstep points in xdirection, we propose a new twolevel implicit method of accuracy two in time and three in space, based on spline in compression approximations for the solution of differential equation (1.1). The proposed method is obtained directly from the consistency condition and is of order three in space. Difficulties were experienced in the past for the higherorder spline solution of parabolic equation in polar coordinates. The solution usually deteriorates in the vicinity of the singularity. A special technique is required to handle such problems, whereas the proposed method is directly applicable to solve singular problems without any modification, which is the main attraction of our work. Our paper is arranged as follows: In Section 2, we discuss the nonpolynomial spline in compression function and its properties on a quasivariable mesh. In Section 3, we give derivation of the method. In Section 4, we generalize the proposed method for the system of quasilinear parabolic PDEs. Stability analysis for model problem is discussed and it is shown that the linear scheme is unconditionally stable in Section 5. In this section, we also discuss the stability analysis for a fourthorder parabolic equation which is consistent with system of 1D quasilinear parabolic PDEs. In Section 6, numerical results are presented for some benchmark problems with tabular and graphical illustrations and compare the results with the results obtained by other researchers. Final remarks are given in Section 7.
2 Spline in compression approximations and its properties
For the approximate solution of the initialboundary value problems (1.1)(1.3), we discretize the space interval \([0,1]\) as \(0 = x_{0} < x_{1} <\cdots < x_{N} < x_{N + 1} = 1\), where N is a positive integer. The spline approximation consists of two offstep points \(x_{l \pm 1/2}\) and a central point \(x_{l}\), \(l = 0,1,2,\ldots,N\) with two end points \(x_{0}\) and \(x_{N + 1}\), where \(h_{l} = x_{l}  x_{l  1}\), \(l = 1,2,\ldots,N + 1\), be the mesh size in xdirection and \(k = t_{j + 1}  t_{j} > 0\), \(j = 0,1,2,\ldots \) be the mesh spacing in tdirection. Spatial grid points are defined by \(x_{l} = x_{0} + \sum_{i = 1}^{l} h_{i}\), \(l = 1(1)N + 1\), and the time steps are given by \(t_{j} = jk\), \(j = 0(1)J\), where J is a positive integer. The mesh ratio is denoted by \(\sigma_{l} = (h_{l + 1}/h_{l}) > 0\), \(l = 1(1)N\). The neighboring offstep points are defined as \(x_{l  1/2} = x_{l}  \frac{h_{l}}{2}\) and \(x_{l + 1/2} = x_{l} + \frac{\sigma_{l}h_{l}}{2}\), \(l = 1(1)N\). For \(\sigma_{l} = 1\), it reduces to the uniform mesh case. Let \(U_{l}^{j} = u(x_{l},t_{j})\) be the exact solution value of \(u(x,t)\) and is approximated by \(u_{l}^{j}\). For simplicity, we consider \(\sigma_{l} = \sigma\) (a constant ≠1), \(l = 1(1)N\). For \(\sigma>1\) or \(\sigma<1\), the mesh sizes are either increasing or decreasing in order. Such a mesh is called a quasivariable mesh.
A nonpolynomial spline function of degree 3 which interpolate \(u_{l}^{j}\) at jth level is given by
which satisfy the following conditions at jth time level:

(i)
\(P_{j}(x) \in C^{2}[0,1]\), and

(ii)
\(P_{j}(x_{l}) = U_{l}^{j}\), \(P_{j}(x_{l  1}) = U_{l  1}^{j}\), where w is an arbitrary parameter and \(P''_{j}(x_{l}) = M_{l}^{j} = U_{xxl}^{j}\), \(P''_{j}(x_{l \pm 1}) = M_{l \pm 1}^{j} = U_{xxl \pm 1}^{j}\), \(P''_{j}(x_{l \pm 1/2}) = M_{l \pm 1/2}^{j} = U_{xxl \pm 1/2}^{j}\), \(l = 0(1)N + 1\), \(j > 0\).
The derivatives of nonpolynomial spline function \(P_{j}(x)\) for \(x \in [x_{l  1},x_{l}]\) are given by
Using the conditions described above with algebraic calculations, we obtain the coefficients
Here \(\mu_{l} = \frac{wh_{l}}{2}\).
Substituting the coefficients \(a_{l}^{j}\), \(b_{l}^{j}\), \(c_{l}^{j}\), \(d_{l}^{j}\), in equation (2.1), we obtain the nonpolynomial spline in compression function
Similarly, we get
On differentiating equations (2.4) and (2.5), we get
and
Using the continuity of the first derivative, that is, \(P'_{j}(x_{l}  ) = P'_{j}(x_{l} + )\),we obtain the consistency condition
where
and \(T_{l}^{j} = O ( h_{l}^{3} )\).
On equating the coefficients of \(M_{l}^{j}\) in (2.8), we obtain the condition
Using (2.9a)(2.9d) in equation (2.8), we get the consistency condition in the following form:
Since the term \(\frac{\sigma h_{l}^{2}\mu_{l}^{2}}{90} [ \sigma^{3}M_{l + 1/2}^{j} + M_{l  1/2}^{j}  ( 1 + \sigma^{3} )M_{l}^{j} ]\) is of \(O ( h_{l}^{5} )\), simplifying (2.11), we obtain the consistency condition
Further, substituting the values of (2.9a)(2.9d) in (2.10) and neglecting \(O(\mu_{l}^{4})\) terms, we get
The above equation has an infinite number of roots, the smallest positive nonzero root being given by \(\mu_{l} = \mu = 8.986818916\). When \(w \to 0\), then \(( \alpha_{l},\beta_{1l},\beta_{2l},\gamma_{l} ) \to ( \frac{\sigma}{3},\frac{\sigma}{6},\frac{1}{6},\frac{1}{3} )\), and equation (2.8) reduces to a cubic spline relation.
Further, from equations (2.6)(2.7), we get
and
Simplifying (2.14) and (2.15), we obtain
Equations (2.16) and (2.17) are two important properties of nonpolynomial spline in compression function \(P_{j}(x)\).
3 Derivation of the numerical method
For the derivation of the method, we simply follow the approaches given by Mohanty [14].
At the grid point \((x_{l},t_{j})\), let us denote
Differentiating the differential equation (1.1) partially with respect to ‘t’ at the grid point \((x_{l},t_{j})\), we obtain a relation
At the grid point \((x_{l},t_{j})\), we can write the differential equation as
Similarly,
Since \(M_{l}^{j}\) and \(M_{l \pm 1/2}^{j}\)contain the first derivative terms, from the consistency condition (2.12), the nonpolynomial spline in compression method for the parabolic equation (1.1) can be written as
where \(\hat{T}_{l}^{j} \equiv O ( kh_{l}^{3} + h_{l}^{5} )\), provided \(\sigma \ne 1\) and we use the following approximations:
where ‘θ’ is a parameter to be determined.
With the help of the approximations (3.7)(3.21), we can simplify the following approximations:
From the properties of spline function given by (2.16) and (2.17), we define the approximations:
With the help of the approximations (3.8)(3.10), (3.22)(3.24), and simplifying (3.25) and (3.26), we obtain
Now, we need \(O ( kh_{l} + h_{l}^{3} + k^{2} )\)approximations for \(U_{l}^{j}\), \(U_{xl}^{j}\) and \(O ( k^{2} + h_{l}^{3} )\)approximation for \(\bar{U}_{tl}^{j}\). Let
where ‘a’, ‘b’ and ‘c’ are parameters to be determined.
With the help of the approximation (3.18), (3.23), (3.24), from (3.30) we obtain
Equating the coefficient of \(h_{l}^{2}\) to zero in equation (3.32), we obtain \(b = \frac{  \sigma}{3(1 + \sigma )}\) and equation (3.32) reduces to
Similarly, simplifying (3.29) and (3.31), we obtain
Further, we define
With the help of the approximations (3.7), (3.11)(3.12), (3.16)(3.17), (3.33)(3.35), from (3.36)(3.37), we obtain
Using the approximation (3.8)(3.10), (3.38)(3.40), from (3.6), we obtain
Now with the help of the consistency condition (2.12) and equation (3.2), and from (3.41), we obtain the local truncation error
The proposed nonpolynomial spline in compression method (3.6) to be of \(O ( kh_{l} + h_{l}^{3} )\), the coefficients of \(kh_{l}^{2}\) and \(h_{l}^{4}\) in (3.42) must be zero.
Thus we obtain \(\theta = \frac{1}{2}\), \(a = \frac{  (1  \sigma + \sigma^{2})}{4}\), \(c = \frac{  (1  \sigma + \sigma^{2})}{2\sigma (1 + \sigma )}\) and the local truncation error given by (3.42) reduces to \(\hat{T}_{l}^{j} = O ( kh_{l}^{3} + h_{l}^{5} )\).
4 Method extended to a system of quasilinear parabolic equations
We now extend our method to the system of quasilinear parabolic PDEs of the form
where \(\mathbf {u} = [ u^{(1)},u^{(2)},\ldots,u^{(n)} ]^{T}\), \(\mathbf {F} = [ f^{(1)},f^{(2)},\ldots,f^{(n)} ]^{T}\), T denotes the transpose of the matrix.
Throughout this section, we consider
The initial and boundary conditions are given by
where we assume that the functions \(u_{0}^{(i)}(x)\), \(g_{0}^{(i)}(t)\), \(g_{1}^{(i)}(t)\) are sufficiently smooth.
Let \(U_{l}^{(i)j}\) and \(u_{l}^{(i)j}\) be the exact and approximate solution of the ith PDE of the system (4.1) at each grid point \((x_{l},t_{j})\). At the grid point \((x_{l},t_{j})\), we define the following approximations:
Further, we define
where the values of \(\alpha_{l}\), \(\beta_{1l}\), \(\beta_{2l}\) and \(\gamma_{l}\) are already defined in Section 2.
Finally, let
Then at each grid point \((x_{l},t_{j})\), each differential equation of the system (4.1) is discretized by
where \(\hat{T}_{l}^{(i)j} = O ( kh_{l}^{3} + h_{l}^{5} )\), provided \(\sigma \ne 1\).
5 Application and stability analysis
Now let us consider the onedimensional Burgers equation in polar coordinates
where \(R_{e} > 0\) denotes the Reynolds number. For \(p = 1\) and 2, the above equation represents Burgers’ equation in cylindrical and spherical coordinates, respectively. It is the simplest model for the differential equations of fluid flow. It is used in fluid dynamics as a simplified model for turbulence, boundary layer behavior and shock wave formation. The viscous Burgers equation in polar coordinates is a useful test equation for investigating various numerical schemes, which are then applied to more complicated systems of partial differential equations. It shows a structure roughly similar to that of NavierStokes equations due to the form of the nonlinear convection term and the occurrence of the viscosity term. So it can be considered as a simplified form of the onespace dimensional NavierStokes equation. If we suppress the variables θ, z and θ, φ from the NavierStokes equations of motion in cylindrical polar coordinates (\(r,\theta,z,t\)) and spherical polar coordinates (\(r,\theta,\varphi,t\)), respectively (see [15]), we obtain Burgers’ equation (5.1) in polar coordinates. The highaccuracy numerical solution of Burgers’ equation in polar coordinates plays an important role for viscous fluid flow. It has been experienced in the past that the highaccuracy numerical solution usually deteriorates in the vicinity of the singular point say \(r=0\), whereas the proposed spline method is applicable to 1D nonlinear parabolic equations irrespective of coordinates, that is, the proposed spline method is directly applicable to solve equation (5.1). We do not require any modification in the spline scheme unlike other methods discussed in [16, 17]. Thus the numerical schemes for problems in polar coordinates are of importance in this discussion.
Rewrite equation (5.1) as
where \(R_{e} = \varepsilon^{  1} > 0\) represents a Reynolds number and \(Q(r) = \frac{  p\varepsilon}{r}\), \(S(r) = \frac{p\varepsilon}{ r^{2}}\).
Replacing the variable ‘x’ by ‘r’ and applying the method (3.6) to the differential equation (5.2), we obtain
where
where \(\bar{U}_{l \pm 1/2}^{j}\), \(\bar{U}_{tl \pm 1/2}^{j}\), \(\hat{U}_{l}^{j}\), \(\hat{U}_{rl}^{j}\), \(\hat{U}_{rl \pm 1/2}^{j}\) and \(\hat{U}_{tl}^{j}\) are defined in Section 3 and \(Q_{l} = Q(r_{l})\), \(Q_{l \pm 1/2} = Q(r_{l \pm 1/2})\), \(S_{l} = S(r_{l})\), \(S_{l \pm 1/2} = S(r_{l \pm 1/2})\), \(\bar{g}_{l} = g ( r_{l},t_{j} + \frac{k}{2} )\), \(\bar{g}_{l \pm 1/2} = g ( r_{l \pm 1/2},t_{j} + \frac{k}{2} )\).
Note that the scheme (5.3) is of \(O(kh_{l} + h_{l}^{3})\) for the solution of differential equation (5.1) and is free from the terms \(1/(r_{l \pm 1})\), thus, it is very easily solved for \(l = 1(1)N\); \(j = 0,1,2,\ldots \) , in the solution region without any modification. We do not require any fictitious point to solve the singular problem.
For stability, we consider the 1D linear parabolic equation with variable coefficients
where \(\nu > 0\) and D and f are sufficiently smooth functions. Applying the method (3.6) to the differential equation (5.4) on a uniform mesh (that is, when \(h_{l + 1} = h_{l} = h\)), we obtain the following scheme for the solution of the above differential equation:
where
where
and \(\bar{f}_{l}^{j} = f ( x_{l},t_{j} + \frac{k}{2} )\), … .
The approximations associated with (5.6)(5.8) are already defined in Section 3. In order to discuss the stability, we require the following approximations:
With the help of the approximations (5.6)(5.8) and (5.9)(5.12), neglecting higherorder terms, from (5.5), we obtain
where \(\delta_{x}U_{l}^{j} = ( U_{l + 1/2}^{j}  U_{l  1/2}^{j} )\) and \(\mu_{x}U_{l}^{j} = \frac{1}{2} ( U_{l + 1/2}^{j} + U_{l  1/2}^{j} )\).
Multiplying (5.13) throughout by \(\lambda = (k/h^{2})\) and neglecting the local truncation error term, we have
where
To study the stability of scheme (5.14), we apply the von Neumann linear stability analysis. Let \(\varepsilon_{l}^{j} = \xi^{j}e^{i\eta l}\) be the error at the grid point \((x_{l},t_{j})\), where ξ is a complex number and η is a real number. Substituting \(\varepsilon_{l}^{j} = \xi^{j}e^{i\eta l}\) into the homogeneous part of the error equation of (5.14), we obtain the amplification factor ξ as
where
For stability, it is required that \(\vert \xi \vert ^{2} \le 1\). Imposing this condition on (5.15), we get
Above inequality is satisfied for all values of η and, \(D(x) = \frac{  \alpha \nu}{x}\), \(\alpha = 1\) and 2. Hence the scheme (5.14) is unconditionally stable.
Next, we consider the fourthorder parabolic equations
where \(\varepsilon > 0\) and f is sufficiently smooth function.
The initial values of \(u, u_{t}\) are prescribed at \(t = 0\) and boundary values of \(u, u_{xx}\) are prescribed at \(x = 0\) and \(x = 1\). Since the grid lines are parallel to the coordinate axes and the values of \(u, u_{xx}\) are exactly known on the boundary, the values of successive tangential partial derivatives of \(u, u_{xx}\), i.e., the values of \(u_{t}\),\(u_{\mathit{xxt}}\), …, are also known on the boundary \(x = 0\) and \(x = 1\). Similarly, the values of \(u_{x}\), \(u_{xx}\), \(u_{tx}\), … are also known at \(t = 0\). Hence the values of \(u_{xx}(x,0)  u_{t}(x,0)\), \(u_{xx}(0,t)  u_{t}(0,t)\) and \(u_{xx}(1,t)  u_{t}(1,t)\) are known exactly on the boundary.
Now, equation (5.16) can be rewritten as
Applying the numerical method (4.28) to the above system of equations and neglecting local truncation errors, we obtain the following nonpolynomial spline in compression schemes in coupled form:
Using the approximations defined in Section 4, and multiplying (5.18a) and (5.18b) throughout by \(\lambda = (k/h^{2})\), we get
Neglecting the homogeneous part, the above system in matrix form may be written as
or
where \(\mathbf {A}_{ij}\) and \(\mathbf {B}_{ij}\), \(i,j = 1,2\) are \(N \times N\) tridiagonal matrices are given by
and
Assume that the matrix A is nonsingular. Premultiplying both sides of (5.20) by \(\mathbf{A} ^{1}\), we get
The eigenvalues of \(N \times N\) tridiagonal matrix \([ a, b, c ]\) are defined by
Using equation (5.22), the eigenvalues of the tridiagonal matrices \(\mathbf {A}_{11}, \mathbf {A}_{12}, \mathbf {B}_{11}\) and \(\mathbf {B}_{12}\) are given by
respectively.
The characteristic equations of the matrices A and B are given by
and
respectively. Hence the eigenvalues of A are given by \(\xi = 12  4\sin^{2}\psi + 24\lambda \varepsilon \sin^{2}\psi\), and the eigenvalues of B are given by \(\eta = 12  4\sin^{2}\psi  24\lambda \varepsilon \sin^{2}\psi\).
Since \(\mathbf {A}^{  1}\) and B commute with each other, the eigenvalues of \(\mathbf {A}^{  1}\mathbf {B}\) are given by
For stability, it is required that \(\vert \rho \vert \le 1\) for all values of ψ. Imposing this condition on (5.25) yields
Both inequalities of (5.26) are true for all values of ψ. Hence the scheme (5.19a)(5.19b) is unconditionally stable.
6 Numerical illustrations
In this section, we have solved several benchmark problems using the proposed method based on spline in compression and compared the results with the results obtained by other researchers. The exact solutions are provided in each case. The right hand side homogeneous functions, initial and boundary conditions are obtained using the exact solution as a test procedure. The linear equations are solved using a tridiagonal solver, whereas nonlinear equations are solved using the NewtonRaphson method. While using the NewtonRaphson method, we choose 0 as the initial guess. All the computations are carried out using MATLAB codes.
From equation (2.13), we have obtained the value \(\mu_{l} = \mu_{l + 1} = 8.986818916\). In order to compute the proposed method (3.6), we have evaluated the values of
using the values of \(\mu_{l}\) and \(\mu_{l + 1}\).
The given interval \([0,1]\) is divided into \((N+1)\) parts with \(0 = x_{0} < x_{1} <\cdots<x_{N} < x_{N + 1} = 1\), where \(h_{l} = x_{l}  x_{l  1}\), \(l = 1,2,\ldots,N + 1\) and \(\sigma = h_{l + 1}/h_{l} > 0\), \(l = 1,2,\ldots,N\).
We can write
Thus,
Alternatively, (6.2) can be rewritten as
By prescribing the total number of mesh points \((N+2)\), we can compute the value of \(h_{1}\) from (6.2) or (6.3). This is the first mesh spacing on the left and remaining mesh is determined by \(h_{l + 1} = \sigma h_{l}\), \(l = 1,2,\ldots,N\).
Example 1
The onedimensional GBFE is given by the following form:
where the real valued function \(u = u(x,t)\) is a sufficiently smooth function of the space and time variables; \([a,b]=[0,1]\), and \(\alpha, \beta\) are real parameters and δ is a positive integer.
The initial condition associated with differential equation (6.4) is given by
and the boundary conditions associated with (6.4) are given by
The exact solution [6] of (6.4) is given by
where
This problem is solved with N= 10, 16, k = 0.0001 and mesh ratio \(\sigma = 0.9\) by present method. The following cases have been discussed for different values of the parameters \(\alpha, \beta, \gamma\) and δ, which are involved in equation (6.4).
Case 1.1: We choose \(\alpha = 0.001\), \(\beta = 0.001\).
Case 1.1(a): In this case, results are computed for different time levels and \(\delta = 1, 4\). The maximum absolute errors are tabulated for \(x = 0.1, 0.5, 0.9\) in Tables 12.
Case 1.1(b): In this case, results are computed for different time levels and \(\delta = 1, 4,8\). The maximum absolute errors are tabulated for \(t = 1,2,3,4,5\) in Table 3.
Case 1.2: We consider \(\alpha = 1\), \(\beta = 1\), \(N = 10\). In this case, results are computed for different time levels \(t = 0.2, 0.4, 0.6, 0.8, 1.0\) and \(\delta = 1, 2, 4\). The maximum absolute errors are tabulated in Tables 46.
Case 1.3: We consider \(\alpha = 1\), \(\beta = 0\), \(N = 10\). In this case, results are computed for different time levels and \(\delta = 1, 2, 8\). The maximum absolute errors are tabulated for \(x = 0.1, 0.5, 0.9\) in Tables 79.
Example 2
Consider equation (6.4) with \(\alpha = 1\), \(\beta = 0\), \(\delta = 1\) initial and boundary conditions as given in Mittal and Jiwari [18], namely
In this example, we have computed solutions for \(\varepsilon = 2^{  3}\) and 2^{−9} at \(t = 0.1, 0.3, 0.6, 0.9\) with step size \(k = 0.001\) and mesh ratio \(\sigma = 0.9\). The computed numerical solutions as presented in Figure 1(a)(b) are consistent with the dynamics of the corresponding differential equations. Similar patterns have been presented in [8, 18, 19] also.
Example 3
Consider equation (6.4) with \(\alpha = 0\), \(\delta = 1\) initial and boundary conditions as given in Zhao et al. [20], namely
The computed numerical solutions for this example are presented in Figure 2(a)(f) for different value of the parameters. In our first computation, we compute the results for a fixed value of β and different value of ε at different time levels. We take \(\beta = 1\), \(t = 0.0, 0.5, 1.0, 1.5\) and \(\varepsilon = 0.005, 0.05, 0.5\), respectively. The corresponding graphical solutions are presented in Figure 2(a)(c). In our second computation, we compute the results for a fixed value of ε and different valued of β at different time levels. We choose \(\varepsilon = 0.2\), \(t = 0.0, 0.5, 1.0, 1.5\) and \(\beta = 1.5, 2.5, 5.0\), respectively. The corresponding graphical results are presented in Figure 2(d)(f). The numerical solutions, as presented in Figure 2(a)(f), are consistent with those illustrated in [8, 20]. In Figure 2(a)(c), the results exhibit that the numerical diffusion is dominated with the increasing diffusion coefficient ε, whereas the reaction is gradually dominant with the increasing coefficient β as shown in Figure 2(d)(f). Thus, the computed and numerical solutions are in good agreement with the solution in the literature and the physical behavior of the differential equation.
Example 4
The onedimensional GBHE is given by the following form:
where \(u = u(x,t)\) is sufficiently differentiable function, \([a,b]=[0,1]\), \(\varepsilon > 0\) is a small positive parameter, αis real parameter, \(\beta \ge 0\), \(\delta > 0\), \(\gamma \in (0,1)\) and \(\gamma_{0} =  (1 + \gamma )\). When \(\alpha = 1\), \(\beta = 0\), \(\delta = 1\) and \(0 < \varepsilon \ll 1\), (6.11) is the wellknown Burgers equation [21], where ε is the coefficient of viscosity and \(R_{e} = \varepsilon^{  1} > 0\) is the Reynolds Number.
The initial condition associated with differential equation (6.11) is given by
and the boundary condition associated with the (6.11) are given by
the exact solution [7] of (6.11) is given by
where
The following cases have been discussed for different values of the parameters \(\alpha, \beta, \gamma\) and δ which are involved in Eq. (6.11).
Case 4.1: In this case, we consider \(\alpha = 1\), \(\beta = 1\), \(\gamma = 0.001\) and mesh ratio \(\sigma = 0.85\). We have computed the numerical results for different time levels, namely \(t = 0.1, 0.5, 1.0\) with step size \(k = 0.0001\) and \(\delta = 1, 2, 4\), respectively. Maximum absolute errors have been presented for \(x = 0.1, 0.5, 0.9\) in Table 10.
Case 4.2: In this case, we consider \(\alpha = 1\), \(\delta = 8\), \(\gamma = 10^{  4}\) and mesh ratio \(\sigma = 0.9\). We have computed the numerical results for fixed time level \(t = 1.0\) with step size \(k = 0.0001\) and \(\beta = 10, 100, 200\). Maximum absolute errors have been presented for \(x = 0.1, 0.2, 0.3,0.4,0.5\) in Table 11.
Case 4.3: In this case, we consider \(\alpha = 5\), \(\beta = 10\), \(\delta = 4\). and mesh ratio \(\sigma = 0.9\). We have computed the numerical results for fixed time level \(t = 0.5\) with step size \(k = 0.0001\) and \(\gamma = 10^{  2}, 10^{  3}, 10^{  4}\). Maximum absolute errors have been presented for \(x = 0.1, 0.2, 0.3,0.4,0.5\) in Table 12.
Case 4.4: In this case, we consider \(\alpha = 1\), \(\beta = 0\) and mesh ratio \(\sigma = 0.9\). We consider the initial and boundary conditions are given by
The exact solution [9] is given by
Results are computed for fixed time level \(t = 1.0\) and for \(\delta = 1\). Maximum absolute errors have been presented for \(R_{e} = \varepsilon^{  1} = 10^{2}, 10^{4}, 10^{6}\) in Table 13.
Example 5
We consider equation (6.11) with initial and boundary conditions are given in Mittal and Jiwari [18], namely
In our computation, we find solutions at different time levels for various decreasing values of ε. We take \(t = 0.1, 0.3, 0.6, 0.9\) with step size \(k = 0.001\) and \(\varepsilon = 2^{  1}, 2^{  4}, 2^{  6}\), respectively. The computed solutions are interpreted graphically in Figure 3(a)(c) for \(\alpha = 1\), \(\beta = 1\), \(\delta = 1\) and \(\gamma = 0.5\). We notice that, for a fixed value of ε as time t increases, the solutions curves fall to zero. Thus, the obtained solutions explain the nature of equation (6.11) faithfully in terms of diffusivity versus time. The approximate numerical solutions obtained by the present method exhibit correct physical behavior for several values of ε and t. Similar patterns have been depicted in [8].
Example 6
We consider equation (6.11) with initial and boundary conditions as given in Kaushik [19], namely
We computed numerical solutions for different time levels for various decreasing values of ε. We take \(t = 0.2, 0.4, 0.6, 0.8\) with step size \(k = 0.001\) and \(\varepsilon = 2^{  4}, 2^{  6}, 2^{  7}\), respectively. The obtained solutions have been plotted in Figure 4(a)(c) for \(\alpha = 3\), \(\beta = 9.8\), \(\delta = 1\) and \(\gamma = 0.7\). The graphs obtained in Figure 4(a)(c) capture the nature of equation (6.11) faithfully in terms of diffusivity versus time. As the time increases, solution curves decreases to zero. For the decreasing value of ε, curves become steeper and propagate to the right which is the behavior of shocks waves. Similar patterns have been presented in [8, 19] also.
Example 7
The coupled viscous nonlinear Burgers equation is given by the following form:
Here \(0 < \varepsilon \ll 1\) is the viscosity, \(R_{e} = \varepsilon^{  1} > 0\) is the Reynolds number, \(\alpha_{1}\) and \(\beta_{1}\) are real constants, \(\alpha_{2}\) and \(\beta_{2}\) are arbitrary constants depending on the system parameters [12]. The coupled Burgers equations (6.21) and (6.22) represent a system of onespace dimensional quasilinear parabolic equations with two unknown variables u and v.
The initial condition associated with differential equations (6.21) and (6.22) is given by
and the boundary conditions associated with (6.21), (6.22) are given by
The values of parameters are given by \(\alpha_{1} = \beta_{1} =  2\) and \(\alpha_{2} = \beta_{2} = 1\). The exact solutions of equations (6.21), (6.22) are \(u(x,t) = e^{  t}\sin x\) and \(v(x,t) = e^{  t}\sin x\) (see [22]).
In this example, we choose a uniform mesh \((\sigma = 1)\) to compute the numerical solutions for different values of the parameters \(\varepsilon, \alpha_{1}, \alpha_{2}, \beta_{1}\) and \(\beta_{2}\) with different values of h and k. In our first computation, we choose \(\varepsilon = 1\), \(\alpha_{1} = \beta_{1} =  2\), \(\alpha_{2} = \beta_{2} = 1\), \(h = \frac{2\pi}{100}\), \(k = 0.01\) and maximum absolute errors are computed at various time levels from \(t = 0.5\) to 3.0. The corresponding results are tabulated in Table 14. In our second computation, the maximum absolute errors are computed at \(t = 1.0\) and \(t = 2.0\) for a fixed \(\lambda = \frac{1.6}{4\pi^{2}}\), \(\varepsilon = 1\), \(\alpha_{1} = \beta_{1} =  2\), \(\alpha_{2} = \beta_{2} = 1\). Numerical results are presented in Table 15.
Example 8
We consider the coupled Burgers equations (6.21), (6.22) with the following initial and boundary conditions:
and
In this example, we choose a uniform mesh size to compute the numerical solution for different parameters \(\alpha_{1} = \beta_{1} = 2\) and \(\alpha_{2} = \beta_{2} =  1\), the exact solutions of equations (6.21), (6.22) are \(u(x,t) = e^{  \varepsilon \pi^{2}t}\cos (\pi x)\) and \(v(x,t) = e^{  \varepsilon \pi^{2}t}\cos (\pi x)\).
We computed the maximum absolute errors at time \(t = 1\) for a fixed \(\lambda = 3.2\) and the parameters \(\alpha_{1} = \beta_{1} = 2\), \(\alpha_{2} = \beta_{2} =  1\) with the decreasing values of h and k, and different values of \(R_{e} = \varepsilon^{  1}\). The numerical results are reported in Table 16. The graphs of numerical and exact solutions at \(t = 1\) are plotted in Figure 5(a)(c).
Example 9
Equation (5.1) is solved, for which an exact solution is \(u(r,t) = e^{  t}\sinh r\). In this example, we choose uniform mesh to compute the maximum absolute errors at time \(t = 1\) for a fixed \(k = 0.01\), \(p = 1\) and 2 and for various values of \(R_{e} = \varepsilon^{  1}\). The corresponding numerical results are reported in Table 17. The graphs of numerical and exact solutions at \(t = 1\) are plotted in Figure 6.
7 Final remarks
In this article, we have presented a new twolevel implicit method based on spline in compression approximations of accuracy \(O(kh_{l} + h_{l}^{3})\) for the numerical solution of quasilinear parabolic partial differential equation in one spatial dimension. Mathematical formulation of the proposed scheme using three spatial grid points is discussed in detail. We have extended the proposed scheme to the system of quasilinear parabolic equations. The stability analysis of the present numerical approach for onedimensional linear convectiondiffusion equation and fourthorder parabolic equation is presented. We have solved several benchmark problems using proposed method and it successfully provides highly accurate solutions in different settings of parameters. For different values of the parameters involved in GBFE, we have computed maximum absolute errors in Example 1 and we observe that our method is giving more accurate results than the results obtained by [5, 23–25]. In Examples 2 and 3, we have plotted the graphs (Figure 1(a)(b) and Figure 2(a)(f)) at different time levels and for different values of parameters in GBFE, which exhibits that the numerical diffusion is dominated with the increasing diffusion coefficient ε, whereas the reaction is gradually dominant with the increasing coefficient β. Similar patterns of graphs have been presented in [8, 18–20]. We have compared the computed numerical solutions with the exact solutions of GBHE in Example 4. Maximum absolute errors have been tabulated. The results obtained are quite good and competent with exact solution available in the literature. In Examples 5 and 6, we have plotted the graphs (Figure 3(a)(c) and Figure 4(a)(c)) at different time levels and different values of parameters involved in GBHE which describes that solution curves decreases to zero as time increases and for small value of ε, solution curves behave like a shocks waves. We have computed maximum absolute errors for coupled viscous nonlinear Burgers’ equation in Examples 7 and 8. On comparing the nature of computed solution with the computed solutions available in [10, 11], we obtained better results by our scheme. Also we have plotted graphs (Figure 5(a)(c)) of exact versus numerical solution \(t = 1\). In Example 9, we have solved singular parabolic partial differential equation in polar coordinates and obtained maximum absolute errors for cylindrical and spherical case. At \(t = 1\), we have plotted graph (Figure 6) of numerical versus exact solution for Example 9. It can be observed that the approximate solution computed with our scheme and exact solutions are identical.
References
Fisher, RA: The wave of advance of advantageous genes. Annu. Eugen. 7, 353369 (1937)
Kolmogorov, AN, Petrovskii, IG, Piskunov, NS: A study of the equation of diffusion with increase in the quantity of matter, and its application to a biological problem. Bjul. Moskovskogo Gos. Univ. 1(7), 126 (1937)
Satsuma, J, Ablowitz, M, Fuchssteiner, B, Kruskal, M: Topics in Soliton Theory and Exactly Solvable Nonlinear Equations. World Scientific, Singapore (1987)
Bratsos, AG: A fourth order improved numerical scheme for the generalized BurgersHuxley equation. Am. J. Comput. Math. 1, 152158 (2011)
Mohammadi, R: Spline solution of the generalized Burgers’Fisher equation. Appl. Anal. 91(12), 21892215 (2011)
Zhang, R, Yu, X, Zhao, G: The local discontinuous Galerkin method for BurgersHuxley and BurgersFisher equations. Appl. Math. Comput. 218, 87738778 (2012)
MaciasDiaz, JE: On an exact numerical simulation of solitary wavesolutions of the BurgersHuxley equation through Cardano’s method. BIT Numer. Math. 54, 763776 (2014)
Mittal, RC, Tripathi, A: Numerical solutions of generalized BurgersFisher and generalized BurgersHuxley equations using collocation of cubic Bsplines. Int. J. Comput. Math. 92(5), 10531077 (2015)
Mohanty, RK, Dai, W, Liu, D: Operator compact method of accuracy two in time and four in space for the solution of time independent BurgersHuxley equation. Numer. Algorithms 70, 591605 (2015)
Jain, MK, Jain, RK, Mohanty, RK: High order difference methods for system of 1D nonlinear parabolic partial differential equations. Int. J. Comput. Math. 37, 105112 (1990)
Mittal, RC, Jiwari, R: Differential quadrature method for numerical solution of coupled viscous Burgers’ equations. Int. J. Comput. Methods Eng. Sci. Mech. 13, 8892 (2012)
Mohanty, RK, Dai, W, Han, F: Compact operator method of accuracy two in time and four in space for the numerical solution of coupled viscous Burgers’ equations. Appl. Math. Comput. 256, 381393 (2015)
Talwar, J, Mohanty, RK, Singh, S: A new spline in compression approximation for one space dimensional quasilinear parabolic equations on a variable mesh. Appl. Math. Comput. 260, 8296 (2015)
Mohanty, RK: An implicit high accuracy variable mesh scheme for 1D nonlinear singular parabolic partial differential equations. Appl. Math. Comput. 186, 219229 (2007)
Mohanty, RK, Setia, N: A new high order compact offstep discretization for the system of 3D quasilinear elliptic partial differential equations. Appl. Math. Model. 37, 68706883 (2013)
Mohanty, RK, Jain, MK: Highaccuracy cubic spline alternating group explicit methods for 1D quasilinear parabolic equations. Int. J. Comput. Math. 86, 15561571 (2009)
Mohanty, RK: A variable mesh CSPLAGE method of accuracy \(O(k^{2}h^{1}+kh+h^{3})\) for 1D nonlinear parabolic equations. Appl. Math. Comput. 213, 7991 (2009)
Mittal, RC, Jiwari, R: Numerical study of BurgersHuxley equation by differential quadrature method. Int. J. Appl. Math. Mech. 5, 19 (2009)
Kaushik, A: Pointwise uniformly convergent numerical treatment for the nonstationary BurgersHuxley using grid equidistribution. Int. J. Comput. Math. 84(10), 15271546 (2007)
Zhao, T, Li, C, Zang, Z, Wu, Y: ChebyshevLegendre pseudospectral method for generalized BurgersFisher equation. Appl. Math. Model. 36(3), 10461056 (2012)
Burgers, JM: A mathematical model illustrating the theory of turbulence. Adv. Appl. Mech. 1, 171199 (1948)
Kaya, D: An explicit solution of coupled viscous Burgers’ equations by the decomposition method. Int. J. Math. Math. Sci. 27, 675680 (2001)
Sari, M, Gürarslan, G, Zeytinoglu, A: Highorder finite difference schemes for the solution of the generalized Burgers’Fisher equation. Commun. Numer. Methods Eng. 27(8), 12961308 (2011)
Zhu, CG, Kang, WS: Numerical solution of Burgers’Fisher equation by cubic Bspline quasiinterpolation. Appl. Math. Comput. 216, 26792686 (2010)
Sari, M, Gürarslan, G, Dag, I: A compact finite difference method for the solution of the generalized Burgers’Fisher equation. Numer. Methods Partial Differ. Equ. 26, 125134 (2010)
Acknowledgements
The authors thank the reviewers for their valuable comments and suggestions, which substantially improved the standard of the paper. This research work is supported by CSIRSRF, Grant No: 09/045(1161)/2012EMRI.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interest.
Authors’ contributions
All authors drafted the manuscript, and they read and approved the final version.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Mohanty, R., Sharma, S. Highaccuracy quasivariable mesh method for the system of 1D quasilinear parabolic partial differential equations based on offstep spline in compression approximations. Adv Differ Equ 2017, 212 (2017). https://doi.org/10.1186/s1366201712743
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201712743