A Numerical Solution for Hirota-Satsuma Coupled KdV Equation
A Petrov-Galerkin method and product approximation technique are used to solve numerically the Hirota-Satsuma coupled Korteweg-de Vries equation, using cubic -splines as test functions and a linear -spline as trial functions. The implicit midpoint rule is used to advance the solution in time. Newton’s method is used to solve the block nonlinear pentadiagonal system we have obtained. The resulting schemes are of second order accuracy in both directions, space and time. The von Neumann stability analysis of the schemes shows that the two schemes are unconditionally stable. The single soliton solution and the conserved quantities are used to assess the accuracy and to show the robustness of the schemes. The interaction of two solitons, three solitons, and birth of solitons is also discussed.
In 1981, Hirota and Satsuma  introduced the coupled Korteweg-de Vries equation (CKdV) as follows: where and are arbitrary constants. The CKdV equation describes interactions of two long waves with different dispersion relations. Namely, it is connected with most types of long waves with weak dispersion, internal, acoustic, and planetary waves in geophysical hydrodynamics [2, 3]. By using Hirota method [1, 4], the single solitary wave solution of this system is where is an arbitrary constant. The two and three solitons solutions for can be found in . The CKdV system has three conserved quantities
The CKdV equation has been discussed analytically by many authors; Kaya and Inan  used Adomian decomposition method to solve this system. Fan used tanh method to find some traveling wave solution . Assas  solved this system using variational iteration method. Abbasbandy  used homotopy analysis method to solve the generalized CKdV system.
The numerical solutions of coupled nonlinear systems are very interesting and important in applied science, for example, the coupled nonlinear Schrödinger equation which admits soliton solution and it has many applications in communication and optical fibers; this system has been solved numerically by Ismail using finite difference and finite element methods [11–13]. The CKdV has been also considered numerically by some researchers; Halim et al. [2, 3] have introduced a numerical scheme for general CKdV systems. The scheme is valid for solving an arbitrary number of equations with arbitrary constant coefficients; the method is applied to the Hirota system and compared with its known explicit solution investigating the influence of initial conditions and grid sizes on accuracy. Wazwaz  produced a finite difference scheme for the periodic initial boundary problem of the CKdV system. Ismail  solved this system using collocation method and quintic splines; Kutluay and Ucar  solved this system using a quadratic -spline Galerkin approach.
In this work, we are going to solve the CKdV equation using Petrov-Galerkin method . We choose the cubic -spline as test functions and the linear -spline as trial (basis) functions. Implicit midpoint rule is used in the time direction. Newton’s method is used to solve the nonlinear block pentadigonal system obtained from the schemes we have derived. The von Neumann stability analysis shows that the scheme is unconditionally stable. Regarding the accuracy, the scheme is of second order in space and time.
The paper is organized as follows. In Section 2, Petrov-Galerkin method is used to derive a numerical method for the CKdV equation; a coupled nonlinear pentadigonal system is obtained. Analysis of the method is given in Section 3. In Section 4, product approximation technique is used to derive a second method for solving the CKdV equation. Numerical results of various tests are contained in Section 5. We recap and sum up our conclusions in Section 6.
2. Numerical Method
To derive numerical method for the CKdV system, we consider the initial boundary value problem subject to the initial conditions and the boundary conditions A standard weak formulation is obtained by multiplying (4) by a twice differentiable test function and integrating by parts to obtain where denotes the usual inner product
The space interval is discretized by uniform grid points. Consider where the grid spacing is given by . We introduce finite elements in space in (7). Approximate the exact solutions of and by where the trial functions , , are the piecewise linear functions. Consider
The unknown functions , , , are determined from the ordinary differential system. Consider where the test functions , , are the cubic -spline with compact support. Consider
Direct calculation of the inner products given in (12) will lead us to the following system of first order ordinary differential system (ODES): where
Now to the ODES, we assume and to be the fully discrete approximation to the exact solutions and , where and is the time step size. By using the finite difference approximation the ODES (14) will be reduced to the implicit nonlinear finite difference scheme
3. Analysis of the Method
In this section we will discuss the stability and the accuracy of Scheme 1.
3.1. Stability of the Scheme
To study the stability of Scheme 1, von Neumann stability analysis will be used and this can be only applied for linear finite difference schemes; accordingly, we consider the linear version of the proposed method where
, , and . and are assumed to be constant on the whole range. We assume the solution of the linearized scheme (20) to be of the form where is a real constant. Direct substitution of (22) into (20) will lead us to the following system: where
The system (23) can be written in a matrix vector form as where and is the matrix. Consider where von Neumann stability condition for the system (25) states that, for the scheme to be stable, the maximum modulus of the eigenvalues of the amplification matrix should be less than or equal to one. The eigenvalues of the matrix are which has modulus equal to one, and hence the scheme under consideration is unconditionally stable in the linearized sense.
3.2. Accuracy of the Scheme
In order to study the accuracy of the scheme, we replace the numerical solution and in (17) and (18) by the exact solutions and . By making use of the following Taylor series expansions at the point and the CKdV system (1), we obtain the local truncation error (LTE) for the proposed scheme and hence the scheme is of second order in both directions space and time.
4. Product Approximation Technique
A modified Petrov-Galerkin method for solving the CKdV system (1) can be achieved by using the product approximation technique, where we used special approximation to the nonlinear terms in the differential system. In order to apply this technique, we rewrite the CKdV in the following form:
The product approximation technique is used to approximate the nonlinear terms in (34) in the following manner:
By using the same procedure in deriving Scheme 1 and the approximation (37), we can obtain after some manipulations the following scheme: where
Again, the method is unconditionally stable according to von Neumann stability analysis, and it is of second order in both directions. The scheme produced a nonlinear block pentadiagonal system and its solution obtained using Newton’s method. We have noticed that the accuracy has been improved in the first equation (38) as we will see in the next section. We will denote the scheme obtained by using the product approximation technique by Scheme 2.
5. Numerical Results
To gain insight into the performance of the proposed schemes, we perform different numerical tests, like single soliton, two and three solitons interaction, and birth of solitons. The conservation properties of the proposed schemes are examined by calculating , and using the trapezoidal rule. The and error norms are defined as are used to examine the accuracy of the proposed schemes.
5.1. Single Soliton
In the first test, we choose the initial conditions which represents a single soliton solution at . To study the behavior of numerical solution using Scheme 1 and Scheme 2, we choose the set of parameters as , , , , , , , and . The conserved quantities and the error norms , are displayed in Tables 1 and 2 for Scheme 1 and Scheme 2, respectively. It is clear from these tables that our schemes are highly accurate. In addition, the schemes preserve the conserved quantities exactly during the evolution of the numerical solution from to . The execution time required to produce Table 1 is second and second to produce Table 2. We have noticed that Scheme 2 has an upper hand over Scheme 1 with respect to accuracy and CPU time. In Figures 1 and 2, we display the numerical solution of and for .
By choosing the set of values , , , , and , we perform a comparison of Scheme 1 and Scheme 2 with Ismail  and we display this in Table 3, we can easily see that the three methods produce highly accurate results with some credits for collocation method.
5.2. Two Solitons Interaction
To study the interaction of two solitons, we choose the initial conditions as where which represents the sum of two single solitons, we assign the value of the parameters , , , , , , , , , and . In Table 4, we present the conserved quantities during the interaction scenario and show that our numerical methods achieved the goal of conserving these quantities. The interaction scenario is presented in Figures 3 and 4. The contours of the interaction process are given in Figure 5. We have noticed that the taller (faster) wave collides with the shorter (slower) wave and leaves the interaction region without any disturbance in their identities. This phenomenon indicates the interaction scenario is elastic .
To examine the interaction scenario for , we use the set of parameters , , , , , , , , , and . Our results are demonstrated in Figures 6 and 7; the amplitudes of the two solitons have changed after the interaction, which indicates that the interaction scenario is inelastic. We have tested other values of ; in all cases we have found that the interaction is inelastic and this in agreement with , which they claim the CKdV equation, is integrable only for .
5.3. Three Solitons Interaction
To study the interaction of three solitons, we choose the initial condition as a sum of three well separated single solitons in the following form: where
In this test we choose the set of parameters , , , , , , , , , , , and .
The simulation of the three solitons interaction scenario is given in Figures 8 and 9, respectively, for the time duration . It is very clear to see how the soliton with the largest amplitude interacts with the other two solitons and leaves the interaction region unchanged in shape. The three solitons appear after the interaction in the reverse order compared to the initial state. In Table 5, we display the conserved quantities during the interaction scenario.
5.4. Birth of Solitons
In this test we choose the initial condition with the following set of parameters , , , , and . We have noticed as time evolves, a birth of four solitons with different amplitudes and this can be easily seen in Figure 10. The conserved quantities are given in Table 6 which is almost conserved.
In this work, we have derived two numerical schemes for solving the Hirota-Satsuma CKdV system. The resulting schemes are nonlinear, implicit, and unconditionally stable. The schemes show almost similar results. Single soliton solution and conserved quantities are used to assess the accuracy and the efficiency the derived schemes. We have noticed that the schemes accomplished the aim of preserving the conserved quantities, while maintaining small errors norm during the simulation. The features of an elastic interaction have been shown in the simulation of two and three solitons interaction using the proposed schemes for and inelasticity occurs for .
To sum up, the derived methods are qualified and can be adopted for solving any CKdV like systems successfully due to their effective performance.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
L. Debenath, Nonlinear Partial Differential Equations, Birkhäuser, Boston, Mass, USA, 1997.