- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Mathematical Problems in Engineering
Volume 2013 (2013), Article ID 845843, 4 pages
Lie Group Analysis of a Forced KdV Equation
1Department of Mathematical Sciences, International Institute for Symmetry Analysis and Mathematical Modelling, North-West University, Mafikeng Campus, Private Bag X 2046, Mmabatho 2735, South Africa
2Department of Mathematics and Computer Science, National University of Lesotho, P.O. Roma 180, Lesotho
Received 26 January 2013; Accepted 26 February 2013
Academic Editor: Fazal M. Mahomed
Copyright © 2013 Motlatsi Molati and Chaudry Masood Khalique. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
The Korteweg-de Vries (KdV) equation considered in this work contains a forcing term and is referred to as forced KdV equation in the sequel. This equation has been investigated recently as a mathematical model for waves on shallow water surfaces under the influence of external forcing. We employ the Lie group analysis approach to specify the time-dependent forcing term.
Many studies in mathematical physics, engineering, life sciences, and in all other sciences use mathematical models to describe certain phenomenon. Such models are represented by the nonlinear evolution equations. The existence of analytical solutions to these equations becomes a basis for a better understanding of the dynamics involved. The KdV equation  being a nonlinear evolution equation models the nonlinear wave phenomena on the shallow water surfaces, and its various forms have been proposed depending upon the applications in diverse fields of science and engineering. To date, a lot of solution procedures, both analytical and numerical, have been developed to solve these types of differential equations. However, some of these approaches may involve approximation of solutions. The current work is based upon the Lie group theory approach as a solution procedure.
The Lie point or higher-order symmetries of a differential equation enable one to obtain the solutions invariant under a particular symmetry or a linear combination of symmetries. The invariant solutions are a basis to finding exact solutions or numerical solutions. In most real-life applications, the differential equations, which are used to model a certain situation, contain arbitrary functions of dependent variable or its derivatives and independent variables. Instead of assuming the forms of these model parameters, the method of group classification can be employed to systematically specify their forms. There are various approaches to solving a group classification problem, namely, the direct analysis or the approach based upon the equivalence transformations.
We consider the forced KdV equation where represents the elevation of free water surface and and are arbitrary constants which depend upon the long wave speed, . The arbitrary smooth function is the forcing term. The variables and represent time and space, respectively. This equation was proposed in  and the Hirota's bilinear approach was used to obtain the multiple soliton solutions. However, it is worth mentioning that remained unspecified. In  the generalized wave transformation was used to transform a forced KdV equation with time-dependent coefficients into a homogeneous equation, and the soliton solutions were obtained by making use of the solitary wave ansatz. Likewise, the time-dependent coefficients remained arbitrary. The symmetry-based approach is given in [4–6]; the investigations in these references include approximate symmetry classification, derivation of some conservation laws, and the construction of the solutions. As mentioned earlier, the arbitrary functions assume their forms in a systematic fashion via the method of group classification. This approach has been utilized on similar equations [7, 8] to the underlying equation.
This work is organized as follows. The next section deals with the generation of the determining equations for Lie point symmetries and includes the classifying relation for the forcing term. The functional forms of the forcing term are specified via the direct analysis of the classifying relation. In Section 3, some results of the Lie group analysis are utilized for symmetry reductions and exact solutions. Finally, we summarize our investigations in Section 4.
2. Lie Group Analysis
In Lie's algorithm (see [9–11] for more details), a vector field is a generator of Lie point symmetries of (1) if and only if where is the third prolongation of the vector field . The variables 's are given by the formulae where are the total derivative operators .
The invariance conditions (3) are separated with respect to the powers of the derivatives of , and this yields the determining equations, which are a system of linear partial differential equations of homogeneous type in , , and . It is easy but tedious to generate the determining equations manually. Nowadays there are many computer software packages for symbolic computation, which have been developed to find symmetries interactively or automatically. However, we are yet to develop the software package which solves the group classification problem whether complete or partial group classification.
The coefficients of the generator of Lie point symmetries (2), namely, , , and , satisfy the determining equations where the subscripts denote partial differentiation with respect to the indicated variables, and a “prime” represents total derivative with respect to .
The manipulation of (7) leads to the coefficients of Lie point symmetry generator given by where , are arbitrary constants, and is an arbitrary function which satisfies the classifying relation Assume that is an arbitrary smooth function of ; then from the classifying (9) we obtain where and are arbitrary constants. Thus, we have a two-dimensional principal Lie algebra, which is spanned by the operators Our goal is to obtain the functional forms of the forcing term, , for which the principal Lie algebra is extended. Therefore, the analysis of the classifying relation (9) considering the cases and yields the various forms of , and their corresponding extensions of the principal Lie algebra are given in Table 1. It is worth mentioning that some of the obtained symmetry classification results are comparable with those found in [4, 5]. It is, however, noted that in  a more general case is considered.
3. Symmetry Reductions and Exact Solutions
It can be seen from Table 1 that the symmetry Lie algebra is three-dimensional for the first three cases and four-dimensional in the last case. We consider Case 3 to illustrate the procedure involved in performing similarity reductions. Since the symmetry Lie algebra is three-dimensional, we look for solutions invariant under the linear combination of the operators which are the symmetries of the equation In order to obtain all the possible invariant solutions, the most systematic procedure is to determine the optimal system of one-dimensional subalgebras [10, 11] for (13). We follow the approach given in  by firstly computing the commutators of the symmetry Lie algebra (12) and thereafter obtaining the adjoint representations (the calculations are summarized in Tables 2 and 3, resp.).
Next we let (). We take , and from (14) we have If (i.e., or ), then we obtain , where .
Finally, we let . The operator (14) reduces to for .
Therefore, an optimal system of one-dimensional subalgebras is given by .
Next we utilize the optimal system to construct the invariant solutions of (13). However, the invariance under space translation, that is, , is trivial hence, it is not considered. The other cases are presented as follows.
Case 1. Invariance under : the corresponding characteristic system is given by the solution of which leads to the invariants Therefore, the invariant solution takes the form where satisfies the reduced equation Now solving (21) for and substituting into (20), we obtain the exact solution where is an arbitrary constant.
Case 2. The invariance under yields the invariant solution where is an arbitrary smooth function of its argument. Upon substitution of (23) into (13) and solving the resulting ordinary differential equation (ODE), we have for an arbitrary contant . Therefore, we obtain the exact solution
Case 3. Invariance under : in this case, the invariant solution assumes the form where is the similarity variable. The function is an arbitrary function which satisfies the third-order ODE
In this work, the KdV equation with a forcing term was investigated using the Lie symmetry approach. The direct analysis of the classifying equation was employed to obtain the functional forms of the forcing term, which include power law and linear and constant time dependence. The three-and four-dimensional symmetry Lie algebras were obtained, respectively, for these forms of the forcing term. The optimal system of one-dimensional subalgebras of the Lie algebra of the invariant equation with the forcing term having the power law nonlinearity was obtained. As a result, for the same invariant equation, exact solutions were derived and the symmetry reduction was performed in the case where exact solutions were not obtained.
M. Molati thanks the North-West University, Mafikeng Campus, for the Postdoctoral Fellowship.
- D. J. Korteweg and G. de Vries, “On the change of form of long waves advancing in a rectangular canal, and on a new type of long stationary waves,” Philosophical Magazine, vol. 39, no. 240, pp. 422–443, 1895.
- A. H. Salas, “Computing solutions to a forced KdV equation,” Nonlinear Analysis: Real World Applications, vol. 12, no. 2, pp. 1314–1320, 2011.
- A.-M. Wazwaz, “A study on KdV and Gardner equations with time-dependent coefficients and forcing terms,” Applied Mathematics and Computation, vol. 217, no. 5, pp. 2277–2281, 2010.
- G. F. Jefferson, “On the second-order approximate symmetry classification and optimal systems of subalgebras for a forced Korteweg–de Vries equation,” Communications in Nonlinear Science and Numerical Simulation, 2013.
- M. L. Gandarias and M. S. Bruzón, “Some conservation laws for a forced KdV equation,” Nonlinear Analysis: Real World Applications, vol. 13, no. 6, pp. 2692–2700, 2012.
- V. Listopadova, O. Magda, and V. Pobyzh, “How to find solutions, Lie symmetries, and conservation laws of forced Korteweg-de Vries equations in optimal way,” Nonlinear Analysis: Real World Applications, vol. 14, no. 1, pp. 202–205, 2013.
- A. G. Johnpillai and C. M. Khalique, “Group analysis of KdV equation with time dependent coefficients,” Applied Mathematics and Computation, vol. 216, no. 12, pp. 3761–3771, 2010.
- M. Molati and M. P. Ramollo, “Symmetry classification of the Gardner equation with time-dependent coefficients arising in stratified fluids,” Communications in Nonlinear Science and Numerical Simulation, vol. 17, no. 4, pp. 1542–1548, 2012.
- G. W. Bluman and S. Kumei, Symmetries and Differential Equations, vol. 81, Springer, New York, NY, USA, 1989.
- P. J. Olver, Applications of Lie Groups to Differential Equations, vol. 107, Springer, New York, NY, USA, 1986.
- L. V. Ovsiannikov, Group Analysis of Differential Equations, Academic Press, New York, NY, USA, 1982.