A Compact-Type CIP Method for General Korteweg-de Vries Equation
We proposed a hybrid compact-CIP scheme to solve the Korteweg-de Vries equation. The algorithm is based on classical constrained interpolation profile (CIP) method, which is coupled with high-order compact scheme for the third derivatives in Korteweg-de Vries equation. Several numerical examples are presented to confirm the high resolution of the proposed scheme.
The Korteweg-de Vries (KdV) equation, developed by Korteweg and de Vries  in 1895 to model weakly nonlinear waves, has been used in many different fields to model various physical phenomena of interest. In recent years, a number of numerical methods are proposed for solving KdV equations. In , Zabusky and Kruskal proposed a finite difference method for KdV equations. A local discontinuous Galerkin method was developed for solving KdV type equations containing third derivative terms in one and two space dimensions in . Numerical solutions for general KdV equation with Crank Nicolson method and B-spline FEM were compared with those obtained with Adomian decomposition method (ADM) in [4, 5]. Based on the multisymplectic theory, lots of numerical schemes were proposed for KdV equations [6–8]. Ascher and McLachlan developed a simplified 8-point box scheme . By adding an artificial numerical condition to the periodic boundary, Wang et al. derived some new schemes and proved that they were more efficient than the Preissman scheme in . A completely explicit 6-point multisymplectic scheme is derived in . Recently many other numerical methods have been proposed for solving KdV type equations in [12–18].
In recent years, the less diffusive CIP scheme developed by Takewaki et al.  for solving hyperbolic equation has become very popular. However, the original CIP method [19–22] utilizing both the point values and its spatial gradients needs auxiliary boundary conditions for the spatial gradient information. Usually, it has to differentiate the equation with spatial variable to get the values of derivation on the node. For the simple case, where the velocity is constant, the procedure is not difficult, but it is not easy for complex equations. In 1992, Lele  developed high-order compact (HOC) difference schemes based on implicit interpolations for first and second derivatives. The implicit schemes are very accurate in smooth regions and have spectral-like resolution properties by using the global grid. High-order compact finite difference schemes coupled with high-order low-pass filter are applied to simulate KdV equations in .
In this paper, a new numerical scheme based on classical CIP and HOC schemes is proposed to solve KdV type equations. The new scheme is based on CIP scheme; as a new ingredient, the classical high-order compact scheme  is employed to obtain the derivatives rather than differentiate the equation with spatial variable to construct CIP scheme. By comparing with classical compact scheme for solving KdV equations, no filter is used to formulate the present scheme.
The paper is organized as follows. In Section 2, we give a brief description of CIP and high-order compact schemes. The numerical arithmetic of the present scheme is also discussed in the last part of this section. The implementation of our present method for KdV type equations is shown in Section 3, and the capability of the method for nonlinear dispersive equations can be observed from the comparison of numerical solutions with exact solutions. A short discussion for the present method is given in Section 4.
2. Descriptions of Methods
In this paper, we consider the following generalized KdV equation : The equation can be split into two parts: where are real constants. We only consider the advective phase (2) to review CIP method.
2.1. The CIP Method
The CIP method in  uses cubic-polynomial interpolation to get the values of a function on nodes. The time evolution of spatial derivation is also required (4). We differentiate the advective phase of (2) with the spatial variable, and then the equation for derivatives of can be obtained . Consider where stands for the spatial derivatives of . The computational domain can be divided into cells, and the cells are denoted by . We only consider a uniform grid and the size of the cell by . The cubic polynomial and the first-order derivative at the th step can be written as where , and coefficients , , , and will be obtained with the following constrains: where , the sign stands for the sign of . Then, the coefficients of the cubic polynomial are given as follows: where . Thus, the values of and at the )th step can be obtained as follows:
We define , and then the formulas are rewritten as
It can be seen that only two points are used in CIP schemes to get . Then, the advantages of this method can be shown while the computational boundary is complex since less boundary points need to be handled. The CIP method uses only two neighboring stencils but maintains third-order accuracy. In this sense, high order accuracy is obtained though less computational stencils are used. More details for advantages of the CIP schemes can be found in .
2.2. High-Order Compact Scheme
A series finite difference scheme to evaluate the spatial derivatives is presented in . The finite difference approximation to the derivative of the function is expressed as a linear combination of the given function values, and then the derivatives of the function are obtained by solving a tridiagonal or pentadiagonal system. Formulas for the first-order and the third-order derivatives are reviewed as below. More results for the approximation to derivatives can be found in [23, 27].
2.2.1. The Derivatives at Interior Nodes
In this paper, we consider the KdV equation on a uniform mesh, the spatial variable at the nodes is for and the functions and the derivatives are denoted by , . The first-order derivatives for interior nodes are derived by writing approximations of the form . Consider If the schemes are restricted to and , a one-parameter -family of fourth-order tridiagonal scheme is obtained. Consider
A simple sixth-order tridiagonal scheme for first-order derivatives is given with , , , , and :
For the third derivatives at interior nodes, the following formula is given in :
The fourth-order tridiagonal schemes can be obtained with the coefficients and . The compact tridiagonal scheme is given with , , and . And the sixth-order tridiagonal scheme is given with , , and .
2.2.2. Nonperiodic Boundaries
For those near boundary nodes, approximation formulas for the first-order derivatives of nonperiodic boundary problems are given by one-side formulation as follows : The coefficients for schemes of the third and fourth order are given by
The sixth-order scheme also be given, for those near boundary nodes, six order approximation formulas for the first-order derivatives can be written as follows: where
For the second point, the formula is where
The dissymmetry condition is used for the th and th points.
2.3. The Present Compact-Type CIP Method
In this section, a new compact-type CIP scheme is proposed for (1). For simplicity, the following equation is considered to introduce the method. Consider where and are constants. We split the solution of equation into two phases:
We consider a 1D mesh, consisting of points: , , , , ; the values of on these nodes at the th step are denoted by , , , . At first, (21) is considered and CIP method is applied to the equation. The cubic polynomial at the th time stage is where and the coefficient , , and are given by (7), where and denote the derivative of at the th node. The predictor-corrector scheme is employed to calculate the value .
In the present method, the values , are expressed as a linear combination of the given values , . On the other hand, the HOC method is employed to evaluate the derivatives , . A simple sixth-order tridiagonal scheme for interior points and boundary points is used in this paper.
Temporal discretization for (22) can be solved by using third-order Runge-Kutta method:
The HOC scheme (13) is used to solve the third derivatives in (24). The sixth-order tridiagonal scheme with the periodic boundary condition is used in this paper.
The essential ingredients of the computational algorithm for (20) are presented below. Suppose we have got the values . The values are given as follows.(1)CIP method is used to obtain .(a)The values of the first derivative on the all nodes are obtained by using the HOC scheme (12).(b)Predictor-corrector CIP scheme is as follows:(i)predictor step: where . We also get at the ()th time stage by using linear interpolation or QUICK scheme based on the value ;(ii)corrector step (CIP method): where ;(iii)the predictor and corrector step are employed again to get .(2)HOC scheme and Runge-Kutta method for (22) are as follows.(a)The HOC scheme (13) is used to obtain third-order derivatives.(b)Temporal discretization for (22) can be solved by using third-order Runge-Kutta method.
The predictor-corrector scheme is an important step in the present method. Periodic boundary condition is applied to (22).
3. Numerical Results
In this section, some numerical tests for KdV and general KdV equations are carried out. The discrete and error norms are defined as follows: where and are exact and numerical solution, respectively. For KdV equations, there are an infinite number of conservation laws . We will focus our analysis on the following three conservation laws: where , , and represent mass, momentum, and energy.
The nonperiodic boundary formulation is applied to (21) (HOC approximation formulas for the third-order derivatives are used) and periodic boundary conditions for third-order derivatives are used in the following examples.
Example 1. In this example, we consider the following classical KdV equation:
The analytical solution for (29) is
The time-steps are set by the relation . The and errors, orders, invariants, and time costs at time are illustrated in Table 2. It can be observed that the proposed scheme is third-order accurate in the spatial dimension. It is well known that high-order TVD Runge-Kutta methods suffer from small time-step restrictions. In this case, we observe that numerical errors are still not dominated by the spatial discretization with the relation .
Table 1 indicates and errors and invariants with at time . The present method can also be shown to have the conservative property.
Example 2. In this example, we consider the following classical KdV equation:
with initial condition
The numerical solutions are obtained with and ; numerical and exact solutions at times are presented in Figure 1; the figure shows that the numerical dissipation of soliton is very small.
Example 3. The general KdV equation is presented by the following equation :
Consider the initial value problem associated with (33) using the initial condition for :
where . The numerical solutions for are obtained with and for . The progress of the numerical and analytical solutions at times and the absolute error at are shown in Figure 2. The and error estimates for the case are given in Table 3.
For the case with the initial condition  and the analytical solution is
The and error estimates with are given in Table 4 for , from which it is not difficult to see that the present results are comparable with those present in . The numerical and the analytical solutions at times and the absolute error for are shown in Figure 3.
Example 4. In this example, another type of general KdV equation is considered: with the initial value problem  where , . The single soliton solutions for are computed in with space step and time step and are shown in Figure 4. The numerical and analytical solutions for with and are shown in Figure 4. The and error estimates for at times are given in Table 5. We can observe that the present results are slightly more accurate than those present in . Table 6 shows the and error estimates for the case of .
Example 5. We also consider the equation 
The double soliton collision case has the initial condition where , , , , and . The solution is computed in and is shown in Figure 5. We can observe that nonoscillate numerical solutions can be obtained by using the present method.
The triple soliton collision case has the initial condition with . The numerical solution is computed in and is shown in Figure 6. From the figure we can conclude that the numerical algorithm captures the numerical solutions without oscillations.
In this paper, we have presented a new scheme based on the traditional CIP and HOC scheme. A conclusion can be drawn from the comparison between the numerical and the exact solutions that the present compact-type CIP method provides highly accurate numerical solutions of KdV type equations. The numerical results also show that the present method works well for some nonlinear problems.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
The work was partly supported by the Fundamental Research Funds for the Central Universities (2010QNA39, 2012QNB07) and the Natural Science Foundation of Anhui Province (1408085MA14).
D. J. Korteweg and G. de Vries, “XLI. On the change of form of long waves advancing in a rectangular canal, and on a new type of long stationary waves,” Philosophical Magazine Series 5, vol. 39, no. 240, pp. 422–443, 1895.View at: Publisher Site | Google Scholar
N. J. Zabusky and M. D. Kruskal, “Interaction of “solitons” in a collisionless plasma and the recurrence of initial states,” Physical Review Letters, vol. 15, no. 6, pp. 240–243, 1965.View at: Publisher Site | Google Scholar
J. Yan and C.-W. Shu, “A local discontinuous Galerkin method for KdV type equations,” SIAM Journal on Numerical Analysis, vol. 40, no. 2, pp. 769–791, 2002.View at: Publisher Site | Google Scholar | MathSciNet
M. A. Helal and M. S. Mehanna, “A comparison between two different methods for solving KdV-Burgers equation,” Chaos, Solitons and Fractals, vol. 28, no. 2, pp. 320–326, 2006.View at: Publisher Site | Google Scholar | Zentralblatt MATH
T. Geyikli and D. Kaya, “Comparison of the solutions obtained by B-spline FEM and ADM of KdV equation,” Applied Mathematics and Computation, vol. 169, no. 1, pp. 146–156, 2005.View at: Publisher Site | Google Scholar | MathSciNet
Z.-Q. Lv, M. Xue, and Y.-S. Wang, “A new multi-symplectic scheme for the KdV equation,” Chinese Physics Letters, vol. 28, no. 6, Article ID 060205, 2011.View at: Publisher Site | Google Scholar
H.-P. Wang, Y.-S. Wang, and Y.-Y. Hu, “An explicit scheme for the KdV equation,” Chinese Physics Letters, vol. 25, no. 7, pp. 2335–2338, 2008.View at: Publisher Site | Google Scholar
P. F. Zhao and M. Z. Qin, “Multisymplectic geometry and multisymplectic preissmann scheme for the KdV equation,” Journal of Physics A: Mathematical and General, vol. 33, no. 18, pp. 3613–3626, 2000.View at: Publisher Site | Google Scholar | MathSciNet
U. M. Ascher and R. I. McLachlan, “Multisymplectic box schemes and the Korteweg-de Vries equation,” Applied Numerical Mathematics, vol. 48, no. 3-4, pp. 255–269, 2004.View at: Publisher Site | Google Scholar | MathSciNet
Y. Wang, B. Wang, and M. Qin, “Numerical implementation of the multisymplectic Preissman scheme and its equivalent schemes,” Applied Mathematics and Computation, vol. 149, no. 2, pp. 299–326, 2004.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
Y. Wang, B. Wang, and X. Chen, “Multisymplectic Euler box scheme for the KdV equation,” Chinese Physics Letters, vol. 24, no. 2, article 312, 2007.View at: Publisher Site | Google Scholar
E. N. Aksan and A. Özdeş, “Numerical solution of Korteweg-de Vries equation by Galerkin B-spline finite element method,” Applied Mathematics and Computation, vol. 175, no. 2, pp. 1256–1265, 2006.View at: Publisher Site | Google Scholar | MathSciNet
I. Dağ and Y. Dereli, “Numerical solutions of KdV equation using radial basis functions,” Applied Mathematical Modelling, vol. 32, no. 4, pp. 535–546, 2008.View at: Publisher Site | Google Scholar | MathSciNet
M. Dehghan and A. Shokri, “A numerical method for KdV equation using collocation and radial basis functions,” Nonlinear Dynamics. An International Journal of Nonlinear Dynamics and Chaos in Engineering Systems, vol. 50, no. 1-2, pp. 111–120, 2007.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
S.-Y. Hao, S.-S. Xie, and S.-C. Yi, “The Galerkin method for the KdV equation using a new basis of smooth piecewise cubic polynomials,” Applied Mathematics and Computation, vol. 218, no. 17, pp. 8659–8671, 2012.View at: Publisher Site | Google Scholar | MathSciNet
G. Lin, L. Grinberg, and G. E. Karniadakis, “Numerical studies of the stochastic Korteweg-de Vries equation,” Journal of Computational Physics, vol. 213, no. 2, pp. 676–703, 2006.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
R.-X. Liu and L.-L. Wu, “Small-stencil Padé schemes to solve nonlinear evolution equations,” Applied Mathematics and Mechanics, vol. 26, no. 7, pp. 872–881, 2005.View at: Publisher Site | Google Scholar | MathSciNet
R.-G. Yu, R.-H. Wang, and C.-G. Zhu, “A numerical method for solving KdV equation with multilevel B-spline quasi-interpolation,” Applicable Analysis, vol. 92, no. 8, pp. 1682–1690, 2013.View at: Publisher Site | Google Scholar | MathSciNet
H. Takewaki, A. Nishiguchi, and T. Yabe, “Cubic interpolated pseudoparticle method (CIP) for solving hyperbolic-type equations,” Journal of Computational Physics, vol. 61, no. 2, pp. 261–268, 1985.View at: Publisher Site | Google Scholar | MathSciNet
H. Takewaki and T. Yabe, “The cubic-interpolated pseudo particle (CIP) method: application to nonlinear and multi-dimensional hyperbolic equations,” Journal of Computational Physics, vol. 70, no. 2, pp. 355–372, 1987.View at: Publisher Site | Google Scholar | Zentralblatt MATH
T. Yabe and T. Aoki, “A universal solver for hyperbolic equations by cubic-polynomial interpolation. I. One-dimensional solver,” Computer Physics Communications, vol. 66, no. 2-3, pp. 219–232, 1991.View at: Publisher Site | Google Scholar | MathSciNet
T. Ishikawa, T. Yabe, P. Y. Wang, T. Aoki, and F. Ikeda, “A universal solver for hyperbolicequations by cubic-polynomial interpolation. 2. 2-dimensional and 3-dimensional solvers,” Computer Physics Communications, vol. 66, no. 2-3, pp. 233–242, 1991.View at: Publisher Site | Google Scholar | MathSciNet
S. K. Lele, “Compact finite difference schemes with spectral-like resolution,” Journal of Computational Physics, vol. 103, no. 1, pp. 16–42, 1992.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
J. Li and M. R. Visbal, “High-order compact schemes for nonlinear dispersive waves,” Journal of Scientific Computing, vol. 26, no. 1, pp. 1–23, 2006.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
M. M. Hassan, “Exact solitary wave solutions for a generalized KdV-Burgers equation,” Chaos, Solitons and Fractals, vol. 19, no. 5, pp. 1201–1206, 2004.View at: Publisher Site | Google Scholar | Zentralblatt MATH
T. Yabe, R. Tanaka, T. Nakamura, and F. Xiao, “An exactly conservative semi-lagrangian scheme (CIP-CSL) in one dimension,” Monthly Weather Review, vol. 129, no. 2, pp. 332–344, 2001.View at: Publisher Site | Google Scholar
D. V. Gaitonde and M. R. Visbal, “High-order schemes for navier-stokes equations: algorithm and implementation into fdl3di,” Tech. Rep., DTIC Document, 1998.View at: Google Scholar
R. M. Miura, C. S. Gardner, and M. D. Kruskal, “Korteweg-de Vries equation and generalizations: II. Existence of conservation laws and constants of motion,” Journal of Mathematical Physics, vol. 9, pp. 1204–1209, 1968.View at: Publisher Site | Google Scholar | MathSciNet
M. A. Helal and M. S. Mehanna, “A comparative study between two different methods for solving the general Korteweg-de Vries equation (GKdV),” Chaos, Solitons and Fractals, vol. 33, no. 3, pp. 725–739, 2007.View at: Publisher Site | Google Scholar | Zentralblatt MATH
H. N. A. Ismail, K. R. Raslan, and G. S. E. Salem, “Solitary wave solutions for the general KDV equation by Adomian decomposition method,” Applied Mathematics and Computation, vol. 154, no. 1, pp. 17–29, 2004.View at: Publisher Site | Google Scholar | MathSciNet