An Unconventional Finite Difference Scheme for Modified Korteweg-de Vries Equation
A numerical solution of the modified Korteweg-de Vries (MKdV) equation is presented by using a nonstandard finite difference (NSFD) scheme with theta method which includes the implicit Euler and a Crank-Nicolson type discretization. Local truncation error of the NSFD scheme and linear stability analysis are discussed. To test the accuracy and efficiency of the method, some numerical examples are given. The numerical results of NSFD scheme are compared with the exact solution and a standard finite difference scheme. The numerical results illustrate that the NSFD scheme is a robust numerical tool for the numerical integration of the MKdV equation.
This paper is concerned with the nonstandard integration of modified Korteweg-de Vries (MKdV) equationwith initial conditionand boundary conditions where The analytical solution of the MKdV equation (1) can be expressed as It plays an important role in the study of nonlinear physics such as fluid physics and quantum field theory. It is a model equation for the weakly nonlinear long waves which occur in many different physical systems. It is an integrable equation and admits soliton solution obtained by means of the inverse scattering method and Hirota’s direct method and by using Backlund transformations [2, 3]. It is well known that (1) has a solitary wave solution of the formAlthough the MKdV equation has been extensively studied by many authors in soliton theory, the solution (4) is never considered before in the literature. For the purpose of nonstandard integration, the kink soliton solution (4) will be used throughout the study. A nonstandard finite difference scheme can be constructed from the exact finite difference scheme . An exact finite difference scheme can be constructed for any ordinary differential equation (ODE) or partial differential equation (PDE) from the analytical solution of the differential equation [5–7]. Among the various numerical techniques such as classical finite difference, finite volume, adaptive mesh, finite element, and spectral method for solving ODEs and PDEs, NSFD schemes have been proved to be one of the most efficient approaches in recent years. The authors in  proposed a nonstandard finite volume method for the numerical solution of a singularly perturbed Schrödinger equation. They have shown that the proposed nonstandard finite volume method is capable of reducing the computational cost associated with most classical schemes. They have highlighted that NSFD schemes have been efficient in tackling the deficiency of classical finite difference scheme for the approximation of solutions of several differential equation models. A nonstandard symplectic Runge-Kutta method is applied to Hamiltonian systems in . In , it has been shown that nonstandard schemes are better than standard finite difference schemes in long time computations. Compared with some other methods, NSFD method is more stable .
Up to the author’s knowledge, a NSFD scheme for the numerical solution of the MKdV equation (1) is never studied before. The aim of this paper is to designed a robust NSFD scheme for the numerical solution of the MKdV equation (1) that is better than the standard scheme in the numerical precision for large spatial step size which reduces the computational cost associated with most classical schemes. This paper is organized as follows. In the next section we begin with proposing the NSFD scheme for the MKdV equation (1). Stability and local truncation error of the NSFD scheme are examined in Section 3. In Section 4 some numerical experiments for the NSFD scheme are presented to show that our proposed method is efficient and accurate. Finally, we summarize our observation in Section 5.
2. Nonstandard Discretization
In this section, we will propose the NSFD model for the numerical solution of the MKdV equation (1). Firstly, we give three basic definitions and properties of the NSFD discretization proposed by Mickens [11, 12] to construct a NSFD scheme.(1)The orders of the discrete derivatives must be exactly equal to the orders of the corresponding derivatives of the differential equations.(2)Denominator functions for the discrete derivatives must, in general, be expressed in terms of more complicated functions of the step sizes than those conventionally used. For example, the discrete derivatives and are generalized as(3)Nonlinear terms must, in general, be modeled nonlocally on the computational grid or lattice; for example,It is well known that a NSFD method is constructed from the exact finite difference schemes. But Mickens  discussed some difficulties of applying the nonstandard modeling rules in the actual construction of exact finite difference scheme for the MKdV equation. Some pitfalls in the procedures for constructing an exact finite difference schemes in terms of basic rules of the NSFD methods are investigated . For the MKdV equation (1) two nonstandard finite difference models are proposed , namely, the explicit schemeand the implicit schemewhere is the approximation to the exact solution at the mesh point and , , and The above construction processes do not give functional relation between the space and time step sizes which is not known yet (see Mickens , p: 228). The step sizes for exact schemes must satisfy some fixed conditions. In order to release these conditions for step size, we follow the way of Zhang et al.  and construct the following nonstandard-theta scheme for the numerical integration of the MKdV equation (1). Here is the time step function and and are the space step functions; is an approximation to the exact solution at the mesh point . A standard finite difference scheme for the MKdV equation (1) can be proposed as
According to (10), we can writewhere When , we select and hence Then substituting and into (12), we can rewrite aswhere . If when , , after tedious calculation we obtainSimilarly, for and , if is selected to bewe obtain the same “denominator function” We note that , , and as
3. Stability and Local Truncation Error
In this section, stability and local truncation error of the nonstandard scheme (10) are examined. For stability analysis we use the von Neumann method. Since the method is applicable only for linear PDE, we consider the linearized MKdV equationwhere in the domain The application of the nonstandard-theta scheme (10) to the linear equation (18) yieldsWe take the difference between the exact solution at the mesh point and the approximate solution and define the error Substituting into the difference equation (19), we see that the error satisfies the same discrete equationThe von Neumann stability analysis uses the fact that every linear constant coefficient difference equation has a solution of the formThe function is determined from the difference equation by substituting the Fourier mode (21) into (20), and we obtainwhere Canceling the exponential term, we have , whereis the amplification factor of the method. If the method is to be stable, the stability requirement should be satisfied. Now we consider the following cases.
The Explicit Scheme. When , the amplification factor is simplified towhere It is well known that the explicit methods are conditionally stable. Numerical experiments show that the amplification factor when (or ) for the parameters and
Now, we will discuss the local truncation error of the nonstandard scheme (10). In theory, we can approximate the original problem as accurately as we wish by making the time step and small enough. It is said in this case that the approximation is consistent. The local truncation error and the stability play important roles in the convergence of the numerical method. In a convergent method, the order of the error is determined by the order of the local truncation error. The local truncation error of the nonstandard scheme (10) is defined bywhereand is the approximate solution for the MKDV equation (1) obtained from the nonstandard scheme (10) and is the exact solution at the mesh point . For , the principal part of the local truncation error isIt is clear that as Thus, we get the local truncation error Similarly, one can show that the local truncation error for is first-order in time and space. The principal part of the local truncation error for isIt is clear that as Thus, we get the local truncation error We deduce that the nonstandard scheme (10) is consistent since the local truncation tends to zero as and tend to zero. The centerpiece for the theory of convergence of linear difference approximations of time-dependent partial differential equations is the Lax Equivalence Theorem . Since the proposed scheme (10) is consistent and stable, it is convergent according to the Lax theorem.
4. Numerical Results
In this section we present some numerical experiments to test the accuracy and efficiency of the proposed NSFD scheme (10) for the numerical solution of the MKdV equation (1) over the solution domains and . The solution domain is divided into equal intervals with length in the direction of the spatial variable and in the direction of time such that , , , and The initial condition and boundary conditions are taken from the exact solution (4)respectively, where , We use the following error norms:to assess the performance of the NSFD scheme. Here is the exact solution obtained from (4) and is the approximate solution obtained from the NSFD scheme (10).
Table 1 represents and errors of the NSFD scheme (10) and the standard finite difference scheme (11) at different times for the MKdV equation (1) with , , and in the spatial domain with and . From the table we see that the NSFD scheme (10) is more accurate than standard finite difference scheme (11) in all cases. We obtained similar results for and The absolute error is defined by for the standard scheme (11) and the nonstandard scheme (10) are provided in Table 2 at various and values. From the experiments it is readily seen that our method is more accurate than the standard method.
Table 3 also measures the accuracy and the versatility of the NSFD scheme (10) with by using the absolute error at the mesh point . From the table we see that the nonstandard scheme is very accurate and efficient. In addition, we notice that increasing the value of the nonlinear term does not affect the accuracy for large spatial step sizes. Similar results are obtained for and
It is well known that numerical instabilities occur in many discrete models unless certain numerical conditions on spatial and temporal step sizes are satisfied. For examples, forward and backward Euler and central difference for decay equations produce numerical instability for large step sizes . Figure 1 compares the numerical solution of nonstandard scheme (10) and the exact wave solution (4). This picture represents the result of an integration with , , and , over the spatial domain and temporal interval with spatial step size and temporal step size From the figure we see that nonstandard scheme well simulates the exact solution without showing any numerical instabilities. Figures 2 and 3 represent the and errors and Figures 4 and 5 represent the absolute errors for various spatial step sizes of the NSFD scheme (10) and the standard finite difference scheme (11) for the MKdV equation (1) with the same set of parameters of Figure 1. From the figures it is obvious that the NSFD scheme is better than the standard scheme in the numerical precision for large spatial step size, but it is inferior for small spatial step size. We obtained similar results for and
A final issue to consider is the effect of the third-order dispersion coefficient in (1). We see that for various values of , as shown in Table 4, dispersion-dominated solution demonstrated that the error is increased at the place where the shock wave occurs. Both Tables 3 and 4 show that the errors are concentrated in the spatial region where there are steep solutions.
It is well known that explicit finite difference models for solution of differential equation require restriction on step size to prevent the numerical instabilities. For this reason, small step sizes are used to ensure the numerical stability. This causes many grid points and hence round-off errors in numerical computations. Moreover the use of small step size is computationally expensive. In this study a nonstandard finite difference (NSFD) model is proposed for the numerical solution of the modified Korteweg-de Vries (MKdV) equation based on kink soliton solution. Local truncation error is discussed. Linear stability analysis is performed for the linearized equation. The numerical results obtained by the NSFD scheme is compared to the exact solution and a standard finite difference scheme. Proposed scheme indicates that NSFD scheme shows better performance for large step sizes. The effect of nonlinear term and the dispersive term is also studied numerically. The numerical results that have been obtained in this paper exhibit that the coefficient of the nonlinear term does not change the numerical results much. Tables and figures illustrate that the NSFD scheme can be a robust tool for numerical solution of various nonlinear problems such as 2D-KdV.
Conflicts of Interest
The authors declare that there are no conflicts of interest regarding the publication of this paper.
G. L. Lamb Jr., Elements of Soliton Theory, John Wiley & Sons, Inc, New York, NY, USA, 1980.View at: MathSciNet
V. E. Zakharov, S. V. Manakov, S. P. Novikov, and L. P. Pitaevski, Consultants Bureau, New York, NY, USA, 1980.
P. M. Manning and G. F. Margrave, “Introduction to non-standard finite-difference modelling,” CREWES Research Report 18, 2006.View at: Google Scholar
A. A. Aderogba, M. Chapwanya, J. Djoko Kamdem, and J. M. Lubuma, “Coupling finite volume and nonstandard finite difference schemes for a singularly perturbed Schr\"odinger equation,” International Journal of Computer Mathematics, vol. 93, no. 11, pp. 1833–1844, 2016.View at: Publisher Site | Google Scholar | MathSciNet
R. E. Mickens, Nonstandard finite difference models of differential equations, World Scientific, 1994.View at: MathSciNet