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: 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 which for all values of describes a hump of invariable shape moving to the right with velocity . The amplitude of the hump is given by .
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 are cancelled by terms in the component , even through contains further terms, then the remaining noncancelled terms of 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 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: The divergence-free condition on the velocity field implies that the velocity potential satisfies the Laplace's equation: On a solid fixed boundary, the normal velocity of the fluid must vanish: which dictates that there is no flow perpendicular to the bottom.
The boundary conditions at the free surface are given by
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: 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 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 . Since at , Substituting (3.2) into (I), we find the Laplace equation for the velocity potential : leading to the recursion relation: From the boundary condition (II), we get implying . From the recursion relation (3.4), we hence find for all . The velocity potential may therefore be expressed entirely in terms of and its derivatives with the so far undetermined function .
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 It is convenient to differentiate (VI) with respect to and to introduce the -component of the velocity potential . We then find the final set of equations to determine and
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 and let where represents a small parameter characterizing the steepness ratio of the wave. Also, for the derivative, we write Therefore, referring to as variable appropriate for fast variation, 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
Both and satisfy the wave equations as arbitrary functions of and . The solutions are traveling waves of d'Alembert form:
Thus, on the fastest time scale , 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
These inhomogeneous equations involve again the set of unknown functions and . Let as change variables in these two equations, to express them in characteristic variables:
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
Adding and subtracting (3.15) and (3.16) and integrating the result of two equations with respect to and , respectively, we obtain
where and 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
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 and from (3.17) and (3.18), we get after some algebra:
where and .
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: with the following initial condition: 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) Using the differentiation property of Laplace transform, we get Now, we will define the solution by the series in the following form: and the nonlinear operator represented by an infinite series of the so-called Adomian's polynomials: where are the components of that will be elegantly determined and are called Adomian's polynomials and defined by Using (4.5) and (4.6) in (4.4), we get On comparing both sides of (4.8), we have in general, the recursive relation is given by From the above considerations, and applying inverse Laplace transform, the components for can be obtained by the following recursive relationship: 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 that 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, and ; therefore, we get Under this assumption, we propose a slight variation only in the components . The variation we propose is that only the part be assigned to , whereas the remaining part be combined with the other terms given in (4.12) to define . In view of these suggestion, the components for , can obtain by the following recursive relationship: The solution through the modified Adomian decomposition method is highly dependent upon the choice of and .
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: First, we apply the Laplace transform of (3.19)-(3.20) and use the given initial condition as follows: Applying inverse Laplace transform, we get The second step of the proposed method suggests that the solution can be decomposed by an infinite series of components in the following form: and the nonlinear terms which appeared in (5.3), , decomposed by the infinite series: where and , , are the components of that will be elegantly determined and and 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:
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: where .
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: 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: 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 as a set of all applications: Let us consider ; then we can rewrite (3.19) in the following operator form:
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), for all ; (H2) there exist , , such that for all with , , we have for all .
Proof. To verify (H1) for the operator , we have
Then we claim that
Since is differential operator in , then there exist constant such that
and according to the Schwartz inequality, we can obtain
Now, using the mean value theorem, we have
where and . Therefore,
Substituting from (6.5)β(6.8) into (6.4), we get
where . Hence, we verified (H1).
To verify (H2) for the operator , we have
therefore,
where . 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:
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 term approximation.
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 , , , , , and . The water wave gradually splits into two solitary waves with increasing in Figures 2(a)β2(d), which are in excellent agreement with the exact solution which were represented in Figures 5(a)β5(d).
(a)
(b)
(c)
(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).
(a)
(b)
(c)
(d)
(a)
(b)
(a)
(b)
(c)
(d)
(a)
(b)
(c)
(d)
(a)
(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.