Abstract

This paper is devoted to consider the approximate solutions of the nonlinear water wave problem for a fluid layer of finite depth in the presence of gravity. The method of multiple-scale expansion is employed to obtain the Korteweg-de Vries (KdV) equations for solitons, which describes the behavior of the system for free surface between air and water in a nonlinear approach. The solutions of the water wave problem split up into two wave packets, one moving to the right and one to the left, where each of these wave packets evolves independently as the solutions of KdV equations. The solution of KdV equations is obtained analytically by using a reliable modification of Laplace decomposition method (LDM), namely, the modified Laplace decomposition method (MLDM) is presented. This procedure is a powerful tool for solving large amount of nonlinear problems. The proposed method provides the solution as a series which may converge to the exact solution of the problem. Also, the convergence analysis of the proposed method is given. Finally, we observe that the elevation of the water waves is in form of traveling solitary waves. The horizontal and vertical of the velocity components have nonlinear characters.

1. Introduction

We are concerned with a two-dimensional, irrotational flow of an incompressible ideal fluid with a free surface under the gravitational field. The domain occupied by the fluid is bounded from below by a solid bottom. The upper surface is a free boundary and we take the influence of the gravitational field into account on the free surface. Our main interest is motion of the free surface, which is called a gravity wave.

The KdV equation was originally derived by Korteweg and de Vries [1] from the model surface waves in a canal. The key to a soliton's behavior is a robust balance between the effects of dispersion and nonlinearity. When one grafts these two effects onto the wave equation for shallow water waves; then at leading order in the strengths of the dispersion and nonlinearity one gets the KdV equation for solitons [2].

The KdV equation was obtained by Benjamin [2] and Benney [3], for example, who assume that the waves are weakly nonlinear and weakly dispersive. In other words, the wave amplitude is much smaller than, for example, the upper layer thickness, and the water depth is much smaller than the typical wavelength. Solitons are among the most interesting structures in nature. Being configurations of continuous fields, they retain their localized shape even after interactions and collisions. Observed originally long ago as stable moving humps in shallow water channels, they have been established since then in various physical systems including optical wave guides, crystal lattices, Josephson junctions, plasmas, and spiral galaxies [4]. Long lasting efforts to theoretically describe their intriguing properties have culminated in the development of the inverse scattering technique [5] which is among the most powerful methods to obtain exact solutions of nonlinear partial differential equations [6, 7]. Particularly popular examples for solitons in hydrodynamic systems are the solutions of KdV equation: 𝑍𝑇(𝑋,𝑇)+𝑍(𝑋,𝑇)𝑍𝑋(𝑋,𝑇)+𝑍𝑋𝑋𝑋(𝑋,𝑇)=0,(1.1) where 𝑋 stands for a space coordinate, 𝑇 denotes time, and 𝑍 represents the surface elevation of a liquid in a shallow duct. This equation can be derived perturbatively from the Euler equation for the motion of an incompressible and inviscid fluid [1, 8]. The one-soliton solution of (1.1) is given by𝑐𝑍(𝑋,𝑇)=2sech2ξƒ©βˆšπ‘2ξƒͺ(π‘‹βˆ’π‘π‘‡),(1.2) which for all values of 𝑐>0 describes a hump of invariable shape moving to the right with velocity 𝑐. The amplitude of the hump is given by 𝑐/2.

Concerning the KdV approximation for water waves, we refer to Craig [9], Schneider and Wayne [10, 11], and Iguchi [12, 13] for the approximation of the solution, and Craig et al. [14] for the approximation of the Hamiltonian. We remark that the KdV equation is a model of water waves in the long wave regime. The dynamics of the free surface is approximately translation of two waves without change of the shape, one moving to the right and the other to the left, for a short time interval. The dynamics of each wave is very slow so that it is invisible for the short time interval. Craig [9] gave the justification in the framework of Sobolev spaces. Schneider and Wayne gave the justification without assuming the one-directional motion of the wave in [10] and extended it to the capillary-gravity waves in [11]. They showed that the interactions between two waves are negligible so that the solution of the full water wave problem is approximated by a sum of the solutions, which are appropriately scaled, of the decoupled KdV equations for the long time interval. However, they treated the problem in unscaled variables, whereas Craig treated it in the scaled variables called Boussinesq ones.

The nonlinear surface water waves in perturbed problem are discussed by [15, 16] in the presence of the effect of surface tension. Based on the method of multiple-scale expansion for a small amplitude, they derived two KdV equations and discussed the two-soliton solution for KdV equations by using analytical methods.

Many different methods have been recently introduced to solve nonlinear problems, such as, Adomian decomposition method [17–23], variational iteration method [24–29], and homotopy perturbation method [26, 30].

While dealing with nonlinear ordinary differential or partial differential equations, the nonlinearity is replaced by a series of what are called Adomian polynomials [31]. The evaluation of these polynomials is necessary, as they contribute to the solutions series components. Recently, Adomian [18] introduced the phenomena of the so-called β€œnoise terms”. The β€œnoise terms” were defined in [31, 32] as the identical terms with opposite signs that appear in the components of the series solution of 𝑒(π‘₯). In [18], it is concluded that if terms in the component 𝑒0 are cancelled by terms in the component 𝑒1, even through 𝑒1 contains further terms, then the remaining noncancelled terms of 𝑒0 provide the exact solution. It was suggested in [18] that the noise terms appear always for inhomogeneous equations.

The main aim in this work is to effectively derive the KdV equations and employ the modified form of Laplace decomposition method introduced by Khuri [33] to establish approximate solutions of waves propagating along the interface between air-water. The proposed modification will accelerate the rapid convergence of a series solution when compared with Laplace decomposition method and therefore provides major progress. This numerical technique basically illustrates how the Laplace transform may be used to approximate the solutions of the nonlinear partial differential equations (PDEs) by manipulating the decomposition method. Hussain and Khan [34] applied Laplace decomposition method to solve the nonlinear PDEs.

The structure of the paper is organized as follows: in Section 2, we collect the basic equations and boundary conditions. In Section 3, we derive the KdV equations by multiple scale perturbation theory. In Section 4, we introduce the modified Laplace decomposition method. In Section 5, we present, solution procedure using MLDM. In Section 6 we discuss the convergence analysis of the standard Adomian decomposition method. In Section 7, numerical study using MLDM is presented to investigate the two-soliton solution for KdV equations. The last section gives a discussion of our results.

2. The Physical Problem and Basic Equations

We consider the unsteady two-dimensional flow of inviscid, incompressible fluid in a constant gravitational field. The space coordinates are (π‘₯,𝑦) and the gravitational acceleration 𝑔 is in the negative 𝑦 direction. Let β„Ž be the undisturbed depth of the fluid. The bottom of the fluid is assumed to have no topography at 𝑦=βˆ’β„Ž. This problem describes the interface dynamics, between air and water waves, under the gravity 𝑔, see Figure 1.

The equation for the surface of water is 𝑦=πœ‚(π‘₯,𝑑) where 𝑦=0 represents the equilibrium situation. We assume that the motion is irrotational within the wave. Therefore, we can describe the wave inside the water by a velocity potential Ξ¦(π‘₯,𝑦,𝑑) whose gradient is the velocity field:𝑣=(𝑒,𝑣)=βˆ‡Ξ¦=πœ•Ξ¦,πœ•π‘₯πœ•Ξ¦ξ‚Άπœ•π‘¦.(2.1) The divergence-free condition on the velocity field implies that the velocity potential Ξ¦ satisfies the Laplace's equation:πœ•2Ξ¦πœ•π‘₯2+πœ•2Ξ¦πœ•π‘¦2=0,forβˆ’β„Ž<𝑦<πœ‚(π‘₯,𝑑).(2.2) On a solid fixed boundary, the normal velocity of the fluid must vanish:πœ•Ξ¦πœ•π‘¦=0,at𝑦=βˆ’β„Ž,(2.3) which dictates that there is no flow perpendicular to the bottom.

The boundary conditions at the free surface 𝑦=πœ‚(π‘₯,𝑑) are given byπœ•πœ‚+πœ•π‘‘πœ•πœ‚πœ•π‘₯πœ•Ξ¦=πœ•π‘₯πœ•Ξ¦,πœ•π‘¦πœ•Ξ¦1πœ•π‘‘+π‘”πœ‚+2||||βˆ‡Ξ¦2=0.(2.4)

3. Derivation of Korteweg-de Vries Equations

In this section, we show that it is indeed possible to derive KdV equations [35] for the free surface πœ‚(π‘₯,𝑑) by using a multiple-scale perturbation theory. We introduce a small parameter, πœ–, and consider the following dimensionless forms:𝑦=β„Žπ‘¦β‹†β„Ž,π‘₯=βˆšπœ–π‘₯⋆,𝑑=β„Žπ‘‘πœ–π‘”β‹†,πœ‚=πœ–β„Žπœ‚β‹†βˆš,Ξ¦=β„Žπœ–π‘”β„ŽΞ¦β‹†.(3.1) The superposed stars refer to the dimensionless quantities, from now on, it will be omitted for simplicity.

To derive the KdV equations, we will substitute the new variables from (3.1) into (2.2)–(2.4), we get the system equations up to order πœ–2πœ€πœ•2Ξ¦πœ•π‘₯2+πœ•2Ξ¦πœ•π‘¦2=0,forβˆ’1<𝑦<πœ–πœ‚,(I)πœ•Ξ¦πœ–πœ•π‘¦=0,at𝑦=βˆ’1,(II)πœ•πœ‚πœ•π‘‘+πœ–2πœ•πœ‚πœ•π‘₯πœ•Ξ¦=πœ•π‘₯πœ•Ξ¦πœ•π‘¦,at𝑦=πœ–πœ‚,(III)πœ•Ξ¦1πœ•π‘‘+πœ‚+2πœ•2Ξ¦πœ•π‘¦2+πœ–2πœ•2Ξ¦πœ•π‘₯2=0,at𝑦=πœ–πœ‚.(IV) To get a suitable expansion for the velocity potential Ξ¦, we note that from the Laplace equation (I) and the boundary condition (II), we may derive the following representation for Ξ¦(π‘₯,𝑦,𝑑) as a series in 𝑦+1. Since πœ•Ξ¦/πœ•π‘¦=0 at 𝑦=βˆ’1, Ξ¦(π‘₯,𝑦,𝑑)=βˆžξ“π‘›=0(𝑦+1)𝑛Φ𝑛(π‘₯,𝑑).(3.2) Substituting (3.2) into (I), we find the Laplace equation for the velocity potential Ξ¦: βˆžξ“π‘›=0(𝑦+1)π‘›ξ€Ίπœ–πœ•2π‘₯Φ𝑛(π‘₯,𝑑)+(𝑛+1)(𝑛+2)Φ𝑛+2(ξ€»π‘₯,𝑑)=0,(3.3) leading to the recursion relation:Φ𝑛+2=βˆ’πœ–πœ•2π‘₯Φ𝑛.(𝑛+1)(𝑛+2)(3.4) From the boundary condition (II), we getβˆžξ“π‘›=1𝑛(𝑦+1)π‘›βˆ’1Φ𝑛=0,(3.5) implying Ξ¦1(π‘₯,𝑑)=0. From the recursion relation (3.4), we hence find Ξ¦2𝑛+1=0 for all 𝑛. The velocity potential may therefore be expressed entirely in terms of Ξ¦0 and its derivativesΞ¦(π‘₯,𝑦,𝑑)=βˆžξ“π‘›=0(𝑦+1)2π‘›πœ–π‘›(βˆ’1)π‘›πœ•(2𝑛)!π‘₯2𝑛Φ0(π‘₯,𝑑),(3.6) with the so far undetermined function Ξ¦0(π‘₯,𝑑).

Using this expansion for Ξ¦ in (III) and (IV) and observing that both equations hold at the interface, that is, for 𝑦=πœ–πœ‚, we get the desired order in πœ–πœ•π‘‘πœ‚+πœ•2π‘₯Ξ¦0=πœ–6πœ•4π‘₯Ξ¦0βˆ’πœ–πœ•π‘₯Ξ¦0πœ•π‘₯πœ‚βˆ’πœ–πœ‚πœ•2π‘₯Ξ¦0,πœ•(V)𝑑Φ0πœ–+πœ‚=2πœ•π‘‘πœ•2π‘₯Ξ¦0βˆ’πœ–2ξ€·πœ•π‘₯Ξ¦0ξ€Έ2.(VI) It is convenient to differentiate (VI) with respect to π‘₯ and to introduce the π‘₯-component of the velocity potential 𝑒=πœ•π‘₯Ξ¦0. We then find the final set of equations to determine πœ‚ and π‘’πœ•π‘‘πœ‚+πœ•π‘₯ξ‚€1𝑒=πœ–6πœ•3π‘₯π‘’βˆ’π‘’πœ•π‘₯πœ‚βˆ’πœ‚πœ•π‘₯𝑒,πœ•π‘‘π‘’+πœ•π‘₯ξ‚€1πœ‚=πœ–2πœ•π‘‘πœ•2π‘₯π‘’βˆ’π‘’πœ•π‘₯𝑒.(3.7)

Now we will solve these equations perturbatively, by using the method of multiple scale [15, 16, 36]. To employ this method, we introduce the variableπ‘‘π‘š=πœ–π‘šπ‘‘,(π‘š=0,1),(3.8) and let𝑒(π‘₯,𝑑)=𝑒0+πœ–π‘’1ξ€·πœ–+𝑂2ξ€Έ,πœ‚(π‘₯,𝑑)=πœ‚0+πœ–πœ‚1ξ€·πœ–+𝑂2ξ€Έ,(3.9) where πœ– represents a small parameter characterizing the steepness ratio of the wave. Also, for the derivative, we writeπœ•=πœ•πœ•π‘‘πœ•π‘‘0πœ•+πœ–πœ•π‘‘1ξ€·πœ–+𝑂2ξ€Έ.(3.10) Therefore, referring to 𝑑0 as variable appropriate for fast variation, 𝑑1 corresponds to the slow one. On substituting (3.8)–(3.10) into (3.7) and equating the coefficients of equal powers of πœ–, we obtain the linear and the successive nonlinear partial differential equations of various orders.

(i) The Zeroth Order of πœ–
πœ•2πœ‚0πœ•π‘‘20βˆ’πœ•2πœ‚0πœ•π‘₯2πœ•=0,2𝑒0πœ•π‘‘20βˆ’πœ•2𝑒0πœ•π‘₯2=0.(3.11) Both πœ‚0 and 𝑒0 satisfy the wave equations as arbitrary functions of π‘₯ and 𝑑0. The solutions are traveling waves of d'Alembert form: πœ‚0ξ€·=𝑝π‘₯+𝑑0,𝑑1ξ€Έξ€·+π‘žπ‘₯βˆ’π‘‘0,𝑑1ξ€Έ,𝑒0ξ€·=𝑝π‘₯+𝑑0,𝑑1ξ€Έξ€·βˆ’π‘žπ‘₯βˆ’π‘‘0,𝑑1ξ€Έ.(3.12) Thus, on the fastest time scale 𝑑0, all initial data splits into two directions, with one part 𝑝 propagating to the right and the other one π‘ž propagating to the left. On this time scale, no solitons are observed, as the main phenomenon is wave propagation, according to the wave equation.

(ii) The First Order of πœ–
πœ•πœ‚1πœ•π‘‘0+πœ•π‘’1ξƒ¬πœ•π‘₯=βˆ’πœ•πœ‚0πœ•π‘‘1+𝑒0πœ•πœ‚0πœ•π‘₯+πœ‚0πœ•π‘’0βˆ’1πœ•π‘₯6πœ•3𝑒0πœ•π‘₯3ξƒ­,πœ•π‘’1πœ•π‘‘0+πœ•πœ‚1ξƒ¬πœ•π‘₯=βˆ’πœ•π‘’0πœ•π‘‘1+𝑒0πœ•π‘’0βˆ’1πœ•π‘₯2πœ•3𝑒0πœ•π‘‘0πœ•π‘₯2ξƒ­.(3.13) These inhomogeneous equations involve again the set of unknown functions πœ‚1 and 𝑒1. Let as change variables in these two equations, to express them in characteristic variables: β„“=π‘₯βˆ’π‘‘0,π‘Ÿ=π‘₯+𝑑0,(3.14) where β„“ is the characteristic variable for a left-moving wave and π‘Ÿ is the characteristic variable for a right-moving wave. On substituting (3.14) into (3.13), we obtain πœ•πœ‚1βˆ’πœ•β„“πœ•πœ‚1+πœ•π‘Ÿπœ•π‘’1+πœ•π‘Ÿπœ•π‘’1ξ‚Έπœ•β„“=βˆ’πœ•π‘πœ•π‘‘1+πœ•π‘žπœ•π‘‘1+2π‘πœ•π‘πœ•π‘Ÿβˆ’2π‘žπœ•π‘žβˆ’1πœ•β„“6ξ‚΅πœ•3π‘πœ•π‘Ÿ3βˆ’πœ•3π‘žπœ•β„“3,ξ‚Άξ‚Ή(3.15)πœ•πœ‚1+πœ•β„“πœ•πœ‚1+πœ•π‘Ÿπœ•π‘’1βˆ’πœ•β„“πœ•π‘’1ξ‚Έπœ•π‘Ÿ=βˆ’πœ•π‘πœ•π‘‘1βˆ’πœ•π‘žπœ•π‘‘1ξ‚΅+π‘πœ•π‘βˆ’πœ•π‘Ÿπœ•π‘žξ‚Άξ‚΅πœ•β„“+π‘žπœ•π‘žβˆ’πœ•β„“πœ•π‘ξ‚Ά+1πœ•π‘Ÿ2ξ‚΅πœ•3π‘πœ•π‘Ÿ3+πœ•3π‘žπœ•β„“3.ξ‚Άξ‚Ή(3.16) Adding and subtracting (3.15) and (3.16) and integrating the result of two equations with respect to β„“ and π‘Ÿ, respectively, we obtain 2ξ€·πœ‚1+𝑒1ξ€Έξ‚Έ2=βˆ’πœ•π‘πœ•π‘‘1+3π‘πœ•π‘+1πœ•π‘Ÿ3πœ•3π‘πœ•π‘Ÿ3ξ‚Ήβ„“+π‘π‘ž+πœ•π‘ξ€œ1πœ•π‘Ÿπ‘žπ‘‘β„“+2π‘ž2βˆ’23πœ•2π‘žπœ•β„“2+𝑐1,2ξ€·πœ‚(3.17)1βˆ’π‘’1ξ€Έ=ξ‚Έ2πœ•π‘žπœ•π‘‘1βˆ’3π‘žπœ•π‘žβˆ’1πœ•β„“3πœ•3π‘žπœ•β„“3ξ‚Ήπ‘Ÿ+π‘π‘ž+πœ•π‘žξ€œ1πœ•β„“π‘π‘‘π‘Ÿ+2𝑝2βˆ’23πœ•2π‘πœ•π‘Ÿ2+𝑐2,(3.18) where 𝑐1 and 𝑐2 may depend on all variables but not β„“ and π‘Ÿ. All the terms on the right-hand sides are bounded, except for the first terms, which are secular. This growth is unphysical, as the quantities on the left-hand side are bounded. Thus we impose that the secular terms vanish. This gives 2πœ•π‘πœ•π‘‘1+3π‘πœ•π‘+1πœ•π‘Ÿ3πœ•3π‘πœ•π‘Ÿ32=0,(3.19)πœ•π‘žπœ•π‘‘1βˆ’3π‘žπœ•π‘žβˆ’1πœ•β„“3πœ•3π‘žπœ•β„“3=0.(3.20) Equation (3.19) is for the right-going wave and (3.20) for the left-going wave. These are KdV-type equations. Therefore, to obtain πœ‚1 and 𝑒1 from (3.17) and (3.18), we get after some algebra: πœ‚1=14ξ‚Έ2π‘π‘ž+πœ•π‘ξ€œπœ•π‘Ÿπ‘žπ‘‘β„“+πœ•π‘žξ€œ1πœ•β„“π‘π‘‘π‘Ÿ+2𝑝2+π‘ž2ξ€Έβˆ’23ξ‚΅πœ•2π‘žπœ•β„“2+πœ•2π‘πœ•π‘Ÿ2ξ‚Ά+𝑐3ξ‚Ή,𝑒1=14ξ‚Έπœ•π‘ξ€œπœ•π‘Ÿπ‘žπ‘‘β„“βˆ’πœ•π‘žξ€œ1πœ•β„“π‘π‘‘π‘Ÿ+2ξ€·π‘ž2βˆ’π‘2ξ€Έβˆ’23ξ‚΅πœ•2π‘žπœ•β„“2βˆ’πœ•2π‘πœ•π‘Ÿ2ξ‚Ά+𝑐4ξ‚Ή,(3.21) where 𝑐3=𝑐1+𝑐2 and 𝑐4=𝑐1βˆ’π‘2.

Now we try to find the solutions of (3.19) and (3.20) by using the following approximate method.

4. Fundamentals of Modified Laplace Decomposition Method

In this section, a brief outline of MLDM is explained. For this, we consider the general nonlinear partial differential equation of first order (without loss of generality) in the following form:𝐿𝑒(π‘₯,𝑑)+𝑅𝑒(π‘₯,𝑑)+𝑁(𝑒(π‘₯,𝑑))=β„Ž(π‘₯,𝑑),(4.1) with the following initial condition:𝑒(π‘₯,0)=𝑓(π‘₯),(4.2) where 𝐿 is the first-order differential operator, 𝐿=πœ•/πœ•π‘‘, 𝑅 is linear differential operator, 𝑁(𝑒) presents the nonlinear term, and β„Ž(π‘₯,𝑑) is the source term. The methodology consists of applying Laplace transform first on both sides of   (4.1)Β£[][][][].𝐿𝑒(π‘₯,𝑑)+£𝑅𝑒(π‘₯,𝑑)+£𝑁(𝑒(π‘₯,𝑑))=Β£β„Ž(π‘₯,𝑑)(4.3) Using the differentiation property of Laplace transform, we get[][][][].𝑠£𝑒(π‘₯,𝑑)βˆ’π‘“(π‘₯)+£𝑅𝑒(π‘₯,𝑑)+£𝑁(𝑒(π‘₯,𝑑))=Β£β„Ž(π‘₯,𝑑)(4.4) Now, we will define the solution 𝑒(π‘₯,𝑑) by the series in the following form:𝑒(π‘₯,𝑑)=βˆžξ“π‘›=0𝑒𝑛(π‘₯,𝑑),(4.5) and the nonlinear operator 𝑁(𝑒) represented by an infinite series of the so-called Adomian's polynomials:𝑁(𝑒)=βˆžξ“π‘›=0𝐴𝑛,(4.6) where 𝑒𝑛(π‘₯,𝑑),𝑛β‰₯0 are the components of 𝑒(π‘₯,𝑑) that will be elegantly determined and 𝐴𝑛 are called Adomian's polynomials and defined by𝐴𝑛=1𝑑𝑛!π‘›π‘‘πœ†π‘›π‘ξƒ©βˆžξ“π‘–=0πœ†π‘–π‘’π‘–ξƒͺξƒ­πœ†=0,𝑛β‰₯0.(4.7) Using (4.5) and (4.6) in (4.4), we getΒ£ξƒ¬βˆžξ“π‘›=0𝑒𝑛=1(π‘₯,𝑑)𝑠1𝑓(π‘₯)+𝑠£[]βˆ’1β„Ž(π‘₯,𝑑)π‘ Β£ξƒ¬π‘…βˆžξ“π‘›=0𝑒𝑛+1(π‘₯,𝑑)π‘ Β£ξƒ¬βˆžξ“π‘›=0𝐴𝑛.(4.8) On comparing both sides of (4.8), we have£𝑒0ξ€»=1(π‘₯,𝑑)𝑠1𝑓(π‘₯)+𝑠£[],Β£ξ€Ίπ‘’β„Ž(π‘₯,𝑑)1ξ€»1(π‘₯,𝑑)=βˆ’π‘ Β£ξ€Ίπ‘…π‘’0ξ€»+1(π‘₯,𝑑)𝑠£𝐴0ξ€»,£𝑒2ξ€»1(π‘₯,𝑑)=βˆ’π‘ Β£ξ€Ίπ‘…π‘’1ξ€»+1(π‘₯,𝑑)𝑠£𝐴1ξ€»,(4.9) in general, the recursive relation is given by£𝑒𝑛+1ξ€»1(π‘₯,𝑑)=βˆ’π‘ Β£ξ€Ίπ‘…π‘’π‘›ξ€»+1(π‘₯,𝑑)𝑠£𝐴𝑛,𝑛β‰₯0.(4.10) From the above considerations, and applying inverse Laplace transform, the components 𝑒𝑛(π‘₯,𝑑) for 𝑛β‰₯0 can be obtained by the following recursive relationship:𝑒0𝑒(π‘₯,𝑑)=𝐾(π‘₯,𝑑),(4.11)𝑛+1(π‘₯,𝑑)=βˆ’Β£βˆ’11𝑠£𝑅𝑒𝑛+1(π‘₯,𝑑)𝑠£𝐴𝑛,𝑛β‰₯0,(4.12) where 𝐾(π‘₯,𝑑) represents the term arising from source term and prescribe initial conditions. This will enable us to determine the components 𝑒𝑛(π‘₯,𝑑) recurrently. However, in many cases the exact solution in a closed form may be obtained. For numerical comparisons purpose, we construct the solution 𝑒(π‘₯,𝑑) such thatlimπ‘›β†’βˆžπ‘ˆπ‘›(π‘₯,𝑑)=𝑒(π‘₯,𝑑),whereπ‘ˆπ‘›(π‘₯,𝑑)=π‘›βˆ’1𝑖=0𝑒𝑖(π‘₯,𝑑),𝑛β‰₯0.(4.13) For more details about LDM and its convergence, see for example, [33, 34].

Now, to modify this method, we assume that 𝐾(π‘₯,𝑑) can be divided into the sum of two parts namely, 𝐾0(π‘₯,𝑑) and 𝐾1(π‘₯,𝑑); therefore, we get𝐾(π‘₯,𝑑)=𝐾0(π‘₯,𝑑)+𝐾1(π‘₯,𝑑).(4.14) Under this assumption, we propose a slight variation only in the components 𝑒0,𝑒1. The variation we propose is that only the part 𝐾0(π‘₯,𝑑) be assigned to 𝑒0, whereas the remaining part 𝐾1(π‘₯,𝑑) be combined with the other terms given in (4.12) to define 𝑒1. In view of these suggestion, the components 𝑒𝑛(π‘₯,𝑑) for 𝑛β‰₯0, can obtain by the following recursive relationship:𝑒0(π‘₯,𝑑)=𝐾0𝑒(π‘₯,𝑑),1(π‘₯,𝑑)=𝐾1(π‘₯,𝑑)βˆ’Β£βˆ’11𝑠£𝑅𝑒0ξ€»+1(π‘₯,𝑑)𝑠£𝐴0ξ€»ξ‚„,𝑒𝑛+1(π‘₯,𝑑)=βˆ’Β£βˆ’11s£𝑅𝑒𝑛+1(π‘₯,𝑑)𝑠£𝐴𝑛,𝑛β‰₯1.(4.15) The solution through the modified Adomian decomposition method is highly dependent upon the choice of 𝐾0(π‘₯,𝑑) and 𝐾1(π‘₯,𝑑).

5. Solution Procedure Using MLDM

In this section, we will implement MLDM to the problem of the nonlinear water wave, KdV equations (3.19)-(3.20), with the initial conditions: 1𝑝(π‘Ÿ,0)=9π‘˜2ξ€Ί7βˆ’12tanh2ξ€»1π‘˜π‘Ÿ,π‘ž(β„“,0)=9π‘˜2ξ€Ί7βˆ’12tanh2ξ€».π‘˜β„“(5.1) First, we apply the Laplace transform of (3.19)-(3.20) and use the given initial condition as follows:1𝑠𝑝(π‘Ÿ,𝑠)βˆ’9π‘˜2ξ€Ί7βˆ’12tanh2ξ€»+1π‘˜π‘Ÿ6Β£ξ‚Έπœ•3π‘πœ•π‘Ÿ3ξ‚Ήξ‚Έ3+Β£2π‘πœ•π‘Β£ξ‚Ή1πœ•π‘Ÿ=0,π‘ π‘ž(β„“,𝑠)βˆ’9π‘˜2ξ€Ί7βˆ’12tanh2ξ€»βˆ’1π‘˜β„“6Β£ξ‚Έπœ•3π‘žπœ•β„“3ξ‚Ήξ‚Έ3βˆ’Β£2π‘žπœ•π‘žΒ£ξ‚Ήπœ•β„“=0.(5.2) Applying inverse Laplace transform, we getπ‘ξ€·π‘Ÿ,𝑑1ξ€Έ=19π‘˜2ξ€Ί7βˆ’12tanh2ξ€»π‘˜π‘Ÿβˆ’Β£βˆ’1ξ‚Έ1Β£ξ‚Έπœ•6𝑠3π‘πœ•π‘Ÿ3ξ‚Ήξ‚Ήβˆ’Β£βˆ’1ξ‚Έ3£𝑝2π‘ πœ•π‘,π‘žξ€·πœ•π‘Ÿξ‚Ήξ‚Ήβ„“,𝑑1ξ€Έ=19π‘˜2ξ€Ί7βˆ’12tanh2ξ€»π‘˜β„“+Β£βˆ’1ξ‚Έ1Β£ξ‚Έπœ•6𝑠3π‘žπœ•β„“3ξ‚Ήξ‚Ή+Β£βˆ’1ξ‚Έ3Β£ξ‚Έπ‘ž2π‘ πœ•π‘ž.πœ•β„“ξ‚Ήξ‚Ή(5.3) The second step of the proposed method suggests that the solution can be decomposed by an infinite series of components in the following form:π‘ξ€·π‘Ÿ,𝑑1ξ€Έ=βˆžξ“π‘›=0π‘π‘›ξ€·π‘Ÿ,𝑑1ξ€Έξ€·,π‘žβ„“,𝑑1ξ€Έ=βˆžξ“π‘›=0π‘žπ‘›ξ€·β„“,𝑑1ξ€Έ,(5.4) and the nonlinear terms which appeared in (5.3), 𝑁1(𝑝)=𝑝(πœ•π‘/πœ•π‘Ÿ),𝑁2(π‘ž)=π‘ž(πœ•π‘ž/πœ•β„“), decomposed by the infinite series:𝑁1(𝑝)=βˆžξ“π‘›=0𝐴𝑛,𝑁2(π‘ž)=βˆžξ“π‘›=0𝐡𝑛,(5.5) where 𝑝𝑛(π‘Ÿ,𝑑1) and π‘žπ‘›(β„“,𝑑1), 𝑛β‰₯0, are the components of that will be elegantly determined and 𝐴𝑛 and 𝐡𝑛,𝑛β‰₯0 are called Adomian's polynomials defined by (4.7). Now, by substituting from (5.4), (5.5) in (5.3), we can obtain the following recurrence relations:𝑝0ξ€·π‘Ÿ,𝑑1ξ€Έ=79π‘˜2,π‘ž0ξ€·β„“,𝑑1ξ€Έ=79π‘˜2,𝑝1ξ€·π‘Ÿ,𝑑1ξ€Έ=βˆ’129π‘˜2ξ€Ίtanh2ξ€»π‘˜π‘Ÿβˆ’Β£βˆ’11Β£ξƒ¬πœ•6𝑠3𝑝0πœ•π‘Ÿ3ξƒ­ξƒ­βˆ’Β£βˆ’13£𝐴2𝑠0ξ€»ξ‚„,π‘ž1ξ€·β„“,𝑑1ξ€Έ=βˆ’129π‘˜2ξ€Ίtanh2ξ€»π‘˜β„“+Β£βˆ’11Β£ξƒ¬πœ•6𝑠3π‘ž0πœ•β„“3ξƒ­ξƒ­+Β£βˆ’13£𝐡2𝑠0ξ€»ξ‚„,𝑝𝑛+1ξ€·π‘Ÿ,𝑑1ξ€Έ=βˆ’Β£βˆ’1ξ‚Έ1Β£ξ‚Έπœ•6𝑠3π‘π‘›πœ•π‘Ÿ3ξ‚Ήξ‚Ήβˆ’Β£βˆ’13£𝐴2π‘ π‘›ξ€»ξ‚„π‘ž,𝑛β‰₯1,𝑛+1ξ€·β„“,𝑑1ξ€Έ=Β£βˆ’1ξ‚Έ1Β£ξ‚Έπœ•6𝑠3π‘žπ‘›πœ•β„“3ξ‚Ήξ‚Ή+Β£βˆ’13£𝐡2𝑠𝑛,𝑛β‰₯1.(5.6)

This will enable us to determine the components recurrently. However, in many cases the exact solution in a closed form may be obtained. For numerical comparison purpose, we construct the solutions such that:limπ‘›β†’βˆžΞ˜π‘›ξ€·π‘Ÿ,𝑑1ξ€Έξ€·=π‘π‘Ÿ,𝑑1ξ€Έ,limπ‘›β†’βˆžΞ©π‘›ξ€·β„“,𝑑1ξ€Έξ€·=π‘žβ„“,𝑑1ξ€Έ,(5.7) where Ξ˜π‘›(π‘Ÿ,𝑑1βˆ‘)β‰ƒπ‘›βˆ’1𝑖=0𝑝𝑖(π‘Ÿ,𝑑1),Ω𝑛(β„“,𝑑1βˆ‘)β‰ƒπ‘›βˆ’1𝑖=0π‘žπ‘–(β„“,𝑑1),𝑛β‰₯0.

To find the first components of the solution of (3.19)-(3.20) using MLDM, we calculate the first Adomian's polynomials using (4.7) as follows: 𝐴0=𝑝0πœ•π‘0πœ•π‘Ÿ,𝐡0=π‘ž0πœ•π‘ž0,π΄πœ•β„“1=𝑝1πœ•π‘0πœ•π‘Ÿ+𝑝0πœ•π‘1πœ•π‘Ÿ,𝐡1=π‘ž1πœ•π‘ž0πœ•β„“+π‘ž0πœ•π‘ž1,π΄πœ•β„“2=𝑝2πœ•π‘0πœ•π‘Ÿ+𝑝0πœ•π‘2πœ•π‘Ÿ+𝑝1πœ•π‘1πœ•π‘Ÿ,𝐡2=π‘ž2πœ•π‘ž0πœ•β„“+π‘ž0πœ•π‘ž2πœ•β„“+π‘ž1πœ•π‘ž1.πœ•β„“(5.8)Other polynomials can be obtained in a like manner. Then by using the recurrence relations (5.6), we can obtain directly the first components of the solution in the following form:𝑝0ξ€·π‘Ÿ,𝑑1ξ€Έ=79π‘˜2,π‘ž0ξ€·β„“,𝑑1ξ€Έ=79π‘˜2,𝑝1ξ€·π‘Ÿ,𝑑1ξ€Έ=βˆ’129π‘˜2ξ€Ίtanh2ξ€»,π‘žπ‘˜π‘Ÿ1ξ€·β„“,𝑑1ξ€Έ=βˆ’129π‘˜2ξ€Ίtanh2ξ€»,π‘π‘˜β„“2ξ€·π‘Ÿ,𝑑1ξ€Έ=𝑑149π‘˜5sech2ξ€·(π‘˜π‘Ÿ)tanh(π‘˜π‘Ÿ)7βˆ’12tanh2ξ€Έ+2(π‘˜π‘Ÿ)9π‘˜2ξ€·βˆ’16π‘˜3sech4(π‘˜π‘Ÿ)tanh(π‘˜π‘Ÿ)+8π‘˜3sech2(π‘˜π‘Ÿ)tanh3ξ€Έξ‚„,π‘ž(π‘˜π‘Ÿ)2ξ€·β„“,𝑑1ξ€Έ=𝑑1ξ‚ƒβˆ’49π‘˜5sech2(ξ€·π‘˜β„“)tanh(π‘˜β„“)7βˆ’12tanh2(ξ€Έβˆ’2π‘˜β„“)9π‘˜2ξ€·βˆ’16π‘˜3sech4(π‘˜β„“)tanh(π‘˜β„“)+8π‘˜3sech2(π‘˜β„“)tanh3ξ€Έξ‚„.(π‘˜π‘Ÿ)(5.9) Other solutions can be obtained in a like manner.

6. Convergence Analysis of Standard ADM

In this section, we study the convergence analysis of ADM to the solution when applied to the problem (3.19). Let us define the Hilbert space 𝐻=𝐿2((𝛼,𝛽)Γ—[0,𝑇]) as a set of all applications:[]ξ€œπ‘βˆΆ(𝛼,𝛽)Γ—0,π‘‡βŸΆβ„œwith[](𝛼,𝛽)Γ—0,𝑇||||𝑝(π‘Ÿ,𝑠)2π‘‘π‘ π‘‘πœ<∞.(6.1) Let us consider 𝐿(𝑝)=πœ•π‘/πœ•π‘‘1; then we can rewrite (3.19) in the following operator form:πœ•π‘πœ•π‘‘13=βˆ’2π‘πœ•π‘βˆ’1πœ•π‘Ÿ6πœ•3π‘πœ•π‘Ÿ3.(6.2)

Theorem 6.1. The ADM applied to the nonlinear equation (3.19) converges towards a particular solution if the following two hypotheses are satisfied. (H1)(𝐿(𝑝)βˆ’πΏ(𝑒),π‘βˆ’π‘’)β‰₯π‘šβ€–π‘βˆ’π‘’β€–2,π‘š>0, for all 𝑝,π‘’βˆˆπ»; (H2) there exist 𝐢(𝐾)>0, 𝐾>0, such that for all 𝑝,π‘’βˆˆπ» with ‖𝑝‖≀𝐾, ‖𝑒‖≀𝐾, we have (𝐿(𝑝)βˆ’πΏ(𝑒),𝑀)≀𝐢(𝐾)β€–π‘βˆ’π‘’β€–β€–π‘€β€– for all π‘€βˆˆπ».

Proof. To verify (H1) for the operator 𝐿(𝑝), we have 3𝐿(𝑝)βˆ’πΏ(𝑒)=βˆ’2ξ‚΅π‘πœ•π‘πœ•π‘Ÿβˆ’π‘’πœ•π‘’ξ‚Άβˆ’1πœ•π‘Ÿ6πœ•3πœ•π‘Ÿ33(π‘βˆ’π‘’)=βˆ’4πœ•ξ€·π‘πœ•π‘Ÿ2βˆ’π‘’2ξ€Έβˆ’16πœ•3πœ•π‘Ÿ3(π‘βˆ’π‘’).(6.3) Then we claim that 3(𝐿(𝑝)βˆ’πΏ(𝑒),π‘βˆ’π‘’)=4ξ‚€βˆ’πœ•ξ€·π‘πœ•π‘Ÿ2βˆ’π‘’2+1,π‘βˆ’π‘’6ξ‚΅βˆ’πœ•3πœ•π‘Ÿ3ξ‚Ά(π‘βˆ’π‘’),π‘βˆ’π‘’.(6.4) Since πœ•3/πœ•π‘Ÿ3 is differential operator in 𝐻, then there exist constant 𝑐1 such that ξ‚΅βˆ’πœ•3πœ•π‘Ÿ3ξ‚Ά(π‘βˆ’π‘’),π‘βˆ’π‘’β‰₯𝑐1β€–π‘βˆ’π‘’β€–2,(6.5) and according to the Schwartz inequality, we can obtain ξ‚€πœ•ξ€·π‘πœ•π‘Ÿ2βˆ’π‘’2,π‘βˆ’π‘’β‰€π‘2‖‖𝑝2βˆ’π‘’2β€–β€–β‹…β€–π‘βˆ’π‘’β€–.(6.6) Now, using the mean value theorem, we have ξ‚€πœ•ξ€·π‘πœ•π‘Ÿ2βˆ’π‘’2,π‘βˆ’π‘’β‰€π‘2‖‖𝑝2βˆ’π‘’2β€–β€–β‹…β€–π‘βˆ’π‘’β€–=2𝑐2πœ‡β€–π‘βˆ’π‘’β€–2≀2𝑐2πΎβ€–π‘βˆ’π‘’β€–2,(6.7) where 𝑝<πœ‡<𝑒 and ‖𝑝‖<𝐾,‖𝑒‖<𝐾. Therefore, ξ‚€βˆ’πœ•ξ€·π‘πœ•π‘Ÿ2βˆ’π‘’2,π‘βˆ’π‘’β‰₯2𝑐2πΎβ€–π‘βˆ’π‘’β€–2.(6.8) Substituting from (6.5)–(6.8) into (6.4), we get ξ‚€3(𝐿(𝑝)βˆ’πΏ(𝑒),π‘βˆ’π‘’)β‰₯2𝑐21πœ‡πΎ+6𝑐1ξ‚β€–π‘βˆ’π‘’β€–2=π‘šβ€–π‘βˆ’π‘’β€–2,(6.9) where π‘š=(3/2)𝑐2πœ‡πΎ+(1/6)𝑐1. Hence, we verified (H1).
To verify (H2) for the operator 𝐿(𝑝), we have 3(𝐿(𝑝)βˆ’πΏ(𝑒),𝑀)=4ξ‚€βˆ’πœ•ξ€·π‘πœ•π‘Ÿ2βˆ’π‘’2+1,𝑀6ξ‚΅βˆ’πœ•3πœ•π‘Ÿ3ξ‚Ά(π‘βˆ’π‘’),𝑀,(6.10) therefore, ξ‚€3(𝐿(𝑝)βˆ’πΏ(𝑒),𝑀)≀2πΎξ‚β€–π‘βˆ’π‘’β€–β€–π‘€β€–+β€–π‘βˆ’π‘’β€–β€–π‘€β€–=𝐢(𝐾)β€–π‘βˆ’π‘’β€–β€–π‘€β€–,(6.11) where 𝐢(𝐾)=1+(3/2)𝐾. Hence, we verified (H2) and the end of the proof.

7. Numerical Study

Returning to dimensional variables, we obtain the components of the solution of MLDM as follows:𝑝07(π‘₯,𝑑)=9π‘˜2,π‘ž07(π‘₯,𝑑)=9π‘˜2,𝑝1(π‘₯,𝑑)=βˆ’129π‘˜2tanh2π‘˜ξƒ©βˆšπœ–β„Žξ‚™π‘₯+π‘”πœ–β„Žπ‘‘,π‘žξƒͺξƒ­1(π‘₯,𝑑)=βˆ’129π‘˜2tanh2π‘˜ξƒ©βˆšπœ–β„Žξ‚™π‘₯βˆ’π‘”πœ–β„Žπ‘‘,𝑝ξƒͺξƒ­2ξ‚™(π‘₯,𝑑)=πœ–π‘”πœ–β„Žπ‘‘ξƒ¬49π‘˜5sech2ξƒ©π‘˜ξƒ©βˆšπœ–β„Žξ‚™π‘₯+π‘”πœ–β„Žπ‘‘ξƒ©π‘˜ξƒ©βˆšξƒͺξƒͺtanhπœ–β„Žξ‚™π‘₯+π‘”πœ–β„Žπ‘‘Γ—ξƒ©ξƒͺξƒͺ7βˆ’12tanh2ξƒ©π‘˜ξƒ©βˆšπœ–β„Žξ‚™π‘₯+π‘”πœ–β„Žπ‘‘+2ξƒͺξƒͺ9π‘˜2ξƒ©βˆ’16π‘˜3sech4ξƒ©π‘˜ξƒ©βˆšπœ–β„Žξ‚™π‘₯+π‘”πœ–β„Žπ‘‘ξƒ©π‘˜ξƒ©βˆšξƒͺξƒͺtanhπœ–β„Žξ‚™π‘₯+π‘”πœ–β„Žπ‘‘ξƒͺξƒͺ+8π‘˜3sech2ξƒ©π‘˜ξƒ©βˆšπœ–β„Žξ‚™π‘₯+π‘”πœ–β„Žπ‘‘ξƒͺξƒͺΓ—tanh3ξƒ©π‘˜ξƒ©βˆšπœ–β„Žξ‚™π‘₯+π‘”πœ–β„Žπ‘‘,π‘žξƒͺξƒͺξƒͺξƒͺξƒ­2ξ‚™(π‘₯,𝑑)=πœ–π‘”πœ–β„Žπ‘‘ξƒ¬βˆ’49π‘˜5sech2ξƒ©π‘˜ξƒ©βˆšπœ–β„Žξ‚™π‘₯βˆ’π‘”πœ–β„Žπ‘‘ξƒ©π‘˜ξƒ©βˆšξƒͺξƒͺtanhπœ–β„Žξ‚™π‘₯+π‘”πœ–β„Žπ‘‘Γ—ξƒ©ξƒͺξƒͺ7βˆ’12tanh2ξƒ©π‘˜ξƒ©βˆšπœ–β„Žξ‚™π‘₯βˆ’π‘”πœ–β„Žπ‘‘βˆ’2ξƒͺξƒͺ9π‘˜2ξƒ©βˆ’16π‘˜3sech4ξƒ©π‘˜ξƒ©βˆšπœ–β„Žξ‚™π‘₯βˆ’π‘”πœ–β„Žπ‘‘ξƒ©π‘˜ξƒ©βˆšξƒͺξƒͺtanhπœ–β„Žξ‚™π‘₯βˆ’π‘”πœ–β„Žπ‘‘ξƒͺξƒͺ+8π‘˜3sech2ξƒ©π‘˜ξƒ©βˆšπœ–β„Žξ‚™π‘₯βˆ’π‘”πœ–β„Žπ‘‘ξƒͺξƒͺΓ—tanh3ξƒ©π‘˜ξƒ©βˆšπœ–β„Žξ‚™π‘₯βˆ’π‘”πœ–β„Žπ‘‘.ξƒͺξƒͺξƒͺξƒͺξƒ­(7.1)

In the same manner, we can obtain other components of the solution. In order to verify numerically whether the proposed methodology leads to higher accuracy, we can evaluate the numerical solutions using 𝑛=2 term approximation.𝑝(π‘₯,𝑑)≃𝑝0(π‘₯,𝑑)+𝑝1(π‘₯,𝑑)+𝑝2π‘ž(π‘₯,𝑑),(π‘₯,𝑑)β‰ƒπ‘ž0(π‘₯,𝑑)+π‘ž1(π‘₯,𝑑)+π‘ž2(π‘₯,𝑑).(7.2)

We achieved a very good approximation with the actual solution of (3.19)-(3.20) by using two terms only of the iteration equations derived above. It is evident that the overall errors can be made smaller by adding new terms of the iteration formula. The numerical approximation shows a high degree of accuracy and in most cases 𝑝𝑛(π‘₯,𝑑),π‘žπ‘›(π‘₯,𝑑), the 𝑛-term approximations are accurate for quite low values of 𝑛, and the solutions are very rapidly convergent by utilizing MLDM. The numerical results we obtained justify the advantage of this method, even in the few terms approximation is accurate. It must be noted that MLDM used here gives the possibility of obtaining an analytical satisfactory solution for which the other techniques of calculation are more laborious and the results contain a great complexity.

From the above solution process, we can see clearly that the approximate solutions converge to its exact solution. After returning to dimensional variables and substitution from (7.2) into (3.21), (3.12), (3.9), (3.6), and (2.1), we get the elevation of the water surface, the horizontal velocity, and the vertical velocity, which describes the physical situation of the system, where π‘˜=0.4, 𝜎=0.072N/m, 𝑔=9.8m/sec2, β„Ž=0.5m, πœ–=0.01, and 𝑦=β„Ž. The water wave gradually splits into two solitary waves with increasing 𝑑>1 in Figures 2(a)–2(d), which are in excellent agreement with the exact solution which were represented in Figures 5(a)–5(d).

In Figures 3(a) and 3(b), the elevation of the water waves πœ‚(π‘₯,𝑑) is always less than depth and acquires nonlinear solitary characters. We observe that the elevation of the water waves is in the form of traveling solitary waves; it increases in amplitude as the wave number increases π‘˜, as shown in Figures 3(a)–3(d), also the interaction of two equal-amplitude solitary waves by head-on collision is illustrated in Figures 3(a)–3(d) at different wave numbers, which are in excellent agreement with the exact solution which was represented in Figures 6(a)–6(d). The parts of the velocity components 𝑒 and 𝑣 also bring a nonlinear solitary characters as shown in Figures 4(a)–4(b), which are in excellent agreement with the exact solution which represented in Figures 7(a)–7(b).

8. Conclusions and Discussion

In this study, we present model equations for surface water waves by using a new method of multiple-scale technique. Multiple-scale technique is used to estimate the KdV equations for the nonlinear theory, describing the behaviour of the perturbed system. We observe that the method of multiple scale is one of the modern methods which were used to obtain the KdV equations because it is relatively short in mathematical calculation, more effective, and more enlightening. While the Hamiltonian expansions and the Dirichlet-Neumann operator expansions are complex in mathematical calculation and relatively a long method when compared with the method of multiple scale.

Special attention is given to derive the solutions for the KdV equations, which describe the water waves propagation by using the MLDM, and then analyzed and discussed theoretically and computationally.

The diagrams that are drawn to illustrate the elevation of the water waves show a solitary character. We observe that the elevation of the water waves is in form of traveling solitary waves, which increases in amplitude as the wave number increases.

Finally, the horizontal and vertical velocities have a nonlinear characters, which describe the physical situation of the system for free surface between air and water.

The presented examples show that the results of the proposed method MLDM are in excellent agreement with exact solution. An interesting point about MLDM is that only few iterations or, even in some special cases, one iteration, lead to exact solutions or solutions with high accuracy. Special attention to prove the convergence analysis of the method is given. The main merits of MLDM are as follows: (1)MLDM does not require small parameters which are needed in perturbation method; (2)it is fast convergent; (3)no linearization is needed; the method is very promising for solving wide application in nonlinear differential equations.

In our work, we use the Mathematica Package.