Research Article  Open Access
Optimal System and Group Invariant Solutions of the WhithamBroerKaup System
Abstract
From the nonlocal symmetries of the WhithamBroerKaup system, an eightdimensional Lie algebra is found and the corresponding onedimensional optimal system is constructed to provide an inequivalent classification. Six types of inequivalent group invariant solutions are demonstrated, some of which reflect the interactions between soliton and other nonlinear waves.
1. Introduction
For a given nonlinear evolution equation, whether it is integrable or not, the Lie group theory is one of the most effective methods for seeking exact and analytic solutions. Due to the Lie point symmetries, one can obtain new solutions from the old one through the symmetry group and acquire the group invariant solutions by the similar reductions. With the development of symmetry theory, a variety of nonlocal symmetries have been intensely investigated in the literature, which may come from the Darboux transformation [1–5], Bäcklund transformation [6, 7], and Painlevé analysis [8–10]. Using these kinds of nonlocal symmetries, one can obtain new analytic solutions, especially the exact interaction solutions between soliton and cnoidal periodic waves.
Another interesting and important problem about the group invariant solutions is to find those inequivalent branches of solutions, which leads to the concept of the optimal system. A method of constructing optimal system was firstly established by Ovsiannikov [11], using a global matrix for the adjoint transformation. Hereafter, the method has received extensive development by authors in [12–19] and others. Chou and Qu [20–22] offer many numerical invariants to address the inequivalences among the elements in the optimal system. More recently, a direct and systematic algorithm that can guarantee both the comprehensiveness and the inequivalence of the optimal system is proposed in [23] to find onedimensional optimal system.
The WhithamBroerKaup (WBK) system [24–26]is derived from the Hamiltonian theory of water waves and has been said to be “the oldest, simplest and most widely known set of equations…". Here is the amplitude of a surface wave, propagating along the axis with the horizontal velocity . A good understanding of the WBK system is very helpful for coastal and civil engineers to apply the nonlinear water wave model in a harbor and coastal design. The multisoliton solutions and the scattering problem are presented by Kaup [26]. A large class of almost periodic solutions are found algebrogeometrically by Matveev and Yavor [27]. Some soliton excitations and periodic waves solutions without dispersion relation are obtained in [28, 29]. The classical symmetries and corresponding onedimensional optimal system of (1)(2) are performed in [30]. Recently, Zhou and Lu have obtained the nonlocal symmetries of (1)(2) in [31]. So a question arises: can we construct the onedimensional optimal system based on the nonlocal symmetries? The purpose of this paper is to answer this question. Thus, Section 2 is devoted to constructing the corresponding onedimensional optimal system. To show the interactions between soliton and other nonlinear waves, six types of inequivalent group invariant solutions are demonstrated in Section 3. The last section contains a summary.
Here let us give a brief account of the nonlocal symmetries, which are somewhat different from [31], where six dependent variables were considered. We point out that five dependent variables are just enough to constitute a closed prolonged system. By direct calculations, we know that if the function satisfieswiththenis just the solution of the WBK system (1)(2). Thus one can verify that the WBK system (1)(2) possesses the following nonlocal symmetries:That is to say, if satisfy (1)(2), so do . Because (6) is nonlocal for , we need to extend the original system by introducing two other new dependent variables:Furthermore, the compatibility conditions of and require
In the following, we investigate the prolonged system including five dependent variables and eight equations (i.e., (1), (2), (5), (7), (8), and (9)), instead of the two original equations, (1) and (2).
2. OneDimensional Optimal System
For the original WBK system (1)(2), its Lie point symmetries are provided in the following:with
For the whole prolonged system, we need to consider the following oneparameter Lie group of infinitesimal transformations with a small parameter ,and the vector field associated with the above group of transformations
Applying the standard Lie symmetry approach [12–19] to the prolonged system, we have Thus we can obtain an eightdimensional Lie algebra represented by the following eight generators:
Clearly seen from (15), all are point symmetries to the eight equations of the prolonged system, while is a nonlocal symmetry of the WBK system (1)(2). The corresponding transformation groups of (15) are obtained directly by solving the initial value problems, sayingThe general Lie point symmetries of the prolonged system read
A meaningful and interesting job is to list those inequivalent group invariant solutions, which can be reduced to give a classification of the corresponding Lie algebra. We concentrate on constructing an optimal system of the eightdimensional Lie algebra spanned by the basis in (15). Denote the symmetry algebra generated by as and the corresponding group as . The commutation relations between and are shown in Table 1, where the entry in row and column represents . Then the adjoint representation relations between and , that is,are directly provided in Table 2 with the help of Table 1.

A real function on the Lie algebra is called an invariant if for all and all . If two vectors and are equivalent to each other under the adjoint action, it is necessary that for any invariant . To compute the invariants of , applying any to it yieldswithFor any , it requiresExtracting the coefficients of all in (21) and setting them to be zeros, two basic invariants of are obtained, sayingMoreover, applying the separate adjoint actions of to , respectively, and with the help of Table 2, the corresponding adjoint matrices are obtained: Then the general adjoint transformation matrix is selected asThat is to say, after the adjoint action of is transformed into , shown byNow, by virtue of (26) and all the invariants, one can start to construct the optimal system of step by step. Since the degrees of and are both two, we just need to consider the following five cases:For each case, select a corresponding representative element in the simplest form named and solve (26). If (26) has the solution with respect to , it signifies that the selected representative element is right. If the chosen representative element makes (26) be incompatible, we need to adopt a new proper one. Repeat the process until all the cases in (27) are finished. Omitting the tedious but regular operational processes, the onedimensional optimal system of eightdimensional Lie algebra (15) is found to be
3. Group Invariant Solutions
For any given subgroup, an original nonlinear system can be reduced to a system with fewer independent variables, which may be easily solved to provide group invariant solutions. As Olver said, since there is almost always an infinite amount of such subgroups, it is usually not feasible to list all possible group invariant solutions to the system. In this section, some types of inequivalent group invariant solutions which correspond to the elements in the optimal system (28) are listed.
For with , we consider an equivalent case , where is an arbitrary constant. The group invariant solution isHere , , , , and are all group invariant functions of . Substituting the group invariant solutions (29) into the prolonged system leads to the symmetry reduction equations for , , , , and :withHere, and in the latter of the paper, the primes on the functions with only one independent variable denote derivatives. Thus by the transformation(31) becomesFor different values of , (33) is exactly solvable. For example, if we take , this equation has a solutionThen, by solving (30), one can directly obtain an exact solution of the WBK system (1)(2):
One equivalent case of is and the group invariant solution in this case isHere , , , , and are all group invariant functions of , which should satisfyAndThus by means of the transformationwe can transform (38) intoOn differentiation, (40) becomes linear and of the fourth order:Thus, the general solution of (38) is a rational function of the constants of integration [32].
Remark 1. It is known that the solitary wave is a very important phenomenon in the nature and physics. In fact, these solitary waves must interact with other waves or spread on some nonconstant background. Here, the forms of solutions (29) and (36) directly embody this kind of interactions between the soliton and other nonlinear waves.
For and , it is not difficult to obtain the following group invariant solutions:
Instead of studying , consider an equivalent case: . The corresponding group invariant solution of the WBK system readswhereHere, and are the Airy wave functions, which are linearly independent solutions for .
For , it is equivalent to with being an arbitrary constant. The group invariant solution is presented aswith
By solving , one can easily give a simple exact solution:
4. Summary
In the beginning of [31], the authors also discussed the nonlocal symmetry (6) of the WBK system. To realize the localization of the nonlocal symmetry, they referred to six dependent variables. In fact, we point that five dependent variables are enough in this paper. Based on a Bäcklund transformation, [31] constructed some special exact solutions, which have no direct connection with the given nonlocal symmetry. The purpose of our article is to give a classification of the eightdimensional Lie algebra (15) and then to find out some inequivalent group invariant solutions with respect to the nonlocal symmetry (6).
In this paper, we firstly localize the nonlocal symmetries of the (1+1)dimensional WBK system (1)(2) to Lie point symmetries by prolonging the original system to a larger one. Then, all the Lie point symmetries of the whole prolonged system are presented, which constitute an eightdimensional Lie algebra (15). The onedimensional optimal system (28) is constructed to give a classification of the elements in the Lie algebra. The adjoint transformation matrix and all the invariants of the Lie algebra are also displayed. Finally, we demonstrate six kinds of inequivalent group invariant solutions, some of which reflect the interactions between soliton and other nonlinear waves.
Data Availability
No data were used to support this study.
Conflicts of Interest
The authors declare that there are no conflicts of interest regarding the publication of this paper.
Acknowledgments
The project is supported by the Zhejiang Provincial Natural Science Foundation of China (Grants nos. LY14A010016, LY18A010033, and LY18A010034) and the National Natural Science Foundation of China (Grant no.11771395).
References
 S. Y. Lou and X. B. Hu, “Nonlocal symmetries via Darboux transformations,” Journal of Physics A: Mathematical and Theoretical, vol. 30, no. 5, pp. L95–L100, 1997. View at: Publisher Site  Google Scholar
 X.R. Hu, S.Y. Lou, and Y. Chen, “Explicit solutions from eigenfunction symmetry of the kortewegde vries equation,” Physical Review E, vol. 85, no. 5, Article ID 056607, 8 pages, 2012. View at: Publisher Site  Google Scholar
 X.P. Cheng, S. Y. Lou, C.L. Chen, and X.Y. Tang, “Interactions between solitons and other nonlinear Schrödinger waves,” Physical Review E, vol. 89, Article ID 043202, 2014. View at: Publisher Site  Google Scholar
 J. Chen, X. Xin, and Y. Chena, “Nonlocal symmetries of the HirotaSatsuma coupled Kortewegde Vries and their applications: Exact interaction solutions and integrable hierarchy system,” Journal of Mathematical Physics, vol. 55, no. 5, Article ID 053508, 2014. View at: Publisher Site  Google Scholar
 Y. Li, J. Chen, Y. Chen, and S. Lou, “Darboux transformations via lie point symmetries: kdv equation,” Chinese Physics Letters, vol. 31, no. 1, Article ID 010201, 2014. View at: Google Scholar
 S. Y. Lou, X. Hu, and Y. Chen, “Nonlocal symmetries related to Bäcklund transformation and their applications,” Journal of Physics A: Mathematical and Theoretical, vol. 45, no. 15, Article ID 155209, 2012. View at: Publisher Site  Google Scholar
 X. Hu and C. Yong, “Nonlocal symmetries and negative hierarchies related to bilinear Bäcklund transformation,” Chinese Physics B, vol. 24, no. 3, Article ID 030201, 2015. View at: Google Scholar
 R. Conte, “Invariant painlevé analysis of partial differential equations,” Physics Letters A, vol. 140, pp. 383–390, 1989. View at: Publisher Site  Google Scholar  MathSciNet
 A. Pickering, “A new truncation in Painlevé analysis,” Journal of Physics A: Mathematical and General, vol. 26, pp. 4395–4405, 1993. View at: Google Scholar  MathSciNet
 S. Y. Lou, “Residual symmetries and Bäcklund transformations,” 2013, https://arxiv.org/abs/1308.1140. View at: Google Scholar
 L. V. Ovsiannikov, Group Analysis of Differential Equations, Academic, New York, NY, USA, 1982. View at: MathSciNet
 J. Patera, P. Winternitz, and H. Zassenhaus, “Continuous subgroups of the fundamental groups of physics. I. General method and the Poincaré group,” Journal of Mathematical Physics, vol. 16, pp. 1597–1615, 1975. View at: Google Scholar  MathSciNet
 J. Patera, R. T. Sharp, P. Winternitz, and H. Zassenhaus, “Invariants of real low dimension Lie algebras,” Journal of Mathematical Physics, vol. 17, no. 6, pp. 986–994, 1976. View at: Publisher Site  Google Scholar  MathSciNet
 F. Galas and E. W. Richter, “Exact similarity solutions of ideal MHD equations for plane motions,” Physica D: Nonlinear Phenomena, vol. 50, no. 2, pp. 297–307, 1991. View at: Google Scholar  MathSciNet
 P. J. Olver, Applications of Lie Groups to Differential Equations, Springer, New York, NY, USA, 2nd edition, 1993. View at: MathSciNet
 N. H. Ibragimov, Transformation Groups Applied to Mathematical Physics, Reidel, Dordrecht, Netherlands, 1985. View at: MathSciNet
 N. H. Ibragimov, Lie Group Analysis of Differential Equations, CRC Press, Boca Raton, Fla, USA, 1994.
 G. W. Bluman and S. Kumei, Symmetries and Differential Equations, SpringerVerlag, New York, NY, USA, 1989. View at: MathSciNet
 G. Bluman, A. Cheviakov, and S. Anco, Applications of Symmetry Methods to Partial Differential Equations, SpringerVerlag, New York, NY, USA, 2010. View at: MathSciNet
 K.S. Chou, G.X. Li, and C. Qu, “A note on optimal systems for the heat equation,” Journal of Mathematical Analysis and Applications, vol. 261, no. 2, pp. 741–751, 2001. View at: Publisher Site  Google Scholar  MathSciNet
 K.S. Chou and C. Qu, “Optimal systems and group classification of (1+2)dimensional heat equation,” Acta Applicandae Mathematicae, vol. 83, no. 3, pp. 257–287, 2004. View at: Google Scholar  MathSciNet
 K.S. Chou and G.X. Li, “Optimal systems and invariant solutions for the curve shortening problem,” Communications in Analysis and Geometry, vol. 10, no. 2, pp. 241–274, 2002. View at: Publisher Site  Google Scholar  MathSciNet
 X. Hu, Y. Li, and Y. Chen, “A direct algorithm of onedimensional optimal system for the group invariant solutions,” Journal of Mathematical Physics, vol. 56, Article ID 053504, 2015. View at: Google Scholar  MathSciNet
 G. B. Whitham, “Variational methods and applications to water waves,” Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences, vol. 299, pp. 6–25, 1967. View at: Google Scholar
 L. J. Broer, “Approximate equations for long water waves,” Applied Scientific Research, vol. 31, no. 5, pp. 377–395, 1975. View at: Publisher Site  Google Scholar  MathSciNet
 D. J. Kaup, “A higherorder waterwave equation and the method for solving it,” Progress of Theoretical and Experimental Physics, vol. 54, no. 2, pp. 396–408, 1975. View at: Publisher Site  Google Scholar  MathSciNet
 V. B. Matveev and M. I. Yavor, “Solutions presque périodiques eta Nsolitons de l’équation hydrodynamique non tinéaire de Kaup,” Annales de l'Institut Henri Poincaré. Section A, no. 1, pp. 25–41, 2009. View at: Google Scholar  MathSciNet
 C.l. Chen and S.y. Lou, “Soliton excitations and periodic waves without dispersion relation in shallow water system,” Chaos, Solitons and Fractals, vol. 16, no. 1, pp. 27–35, 2003. View at: Publisher Site  Google Scholar  MathSciNet
 A. Wazwaz, “Multiple soliton solutions for the WhithamBroerKaup model in shallow water smallamplitude regime,” Physica Scripta, vol. 88, Article ID 035007, 2013. View at: Google Scholar
 Z. Zhang, X. Yong, and Y. Chen, “Symmetry analysis for whithamBroerKaup equations,” Journal of Nonlinear Mathematical Physics, vol. 15, no. 4, pp. 383–397, 2008. View at: Publisher Site  Google Scholar  MathSciNet
 W. Zhou and B. Lu, “Nonlocal symmetry, CTE solvability and interaction solutions of WhithamBroer Kaup equations,” Communications in Theoretical Physics, vol. 67, no. 2, pp. 143–146, 2017. View at: Publisher Site  Google Scholar
 B. Gambier, “Sur les équations différentielles du second ordre et du premier degré dont l’intégrale générale est a points critiques fixes,” Acta Mathematica, vol. 33, no. 1, pp. 1–55, 1910. View at: Google Scholar
Copyright
Copyright © 2019 Xiaorui Hu et al. 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.