Symmetry , Pulson Solution , and Conservation Laws of the Holm-Hone Equation

In this paper, we focus on the Holm-Hone equation which is a fifth-order generalization of the Camassa-Holm equation. It was shown that this equation is not integrable due to the nonexistence of a suitable Lagrangian or bi-Hamiltonian structure and negative results from Painlevé analysis and the Wahlquist-Estabrook method. We mainly study its symmetry properties, travelling wave solutions, and conservation laws.The symmetry group and its one-dimensional optimal system are given. Furthermore, preliminary classifications of its symmetry reductions are investigated. Alsowe derive some solitary pattern solutions andnonanalytic first-order pulson solution via the ansatz-based method. Finally, some conservation laws for the fifth-order equation are presented.


Introduction
In the study of shallow water waves, Camassa and Holm derived a nonlinear dispersive shallow water wave equation [1] which is called Camassa-Holm (CH) equation now.The (, ) here denotes the fluid velocity at time  in the  direction [2].Eq. ( 1) admits bi-Hamiltonian structure and it is completely integrable [3,4].What is more, the equation has infinite conservation laws [5] as well as a spike solitary wave solution where  is an arbitrary constant.The solitary wave curve of the solution has a cusp at the peak, and the first derivative of the cusp is not continuous.Accordingly, it is called a peakon [6,7].
With the further researches on the CH equation, a lot of findings about the equation have been obtained and it is impossible to give a comprehensive overview here.For example, Eq. ( 1) represents the equation for geodesics on the Bott-Virasoro group and owns the geometric interpretation [8].The CH equation possesses both global solutions and solutions developing singularities in finite time and the blowup happens in a way which resembles wave breaking to some extent [9,10].The well-developed inverse scattering theory can also be used to integrate the CH flow [11].In [12], it was shown that the well-known CH equation is included in the negative order CH hierarchy and a class of new algebro-geometric solutions of the CH equation was presented.Moreover, the time evolution of traveling-wave solutions and the interaction of peaked and cusped waves were numerically studied [13].
Recently, one of the latest trends is that researchers are trying to generalize the CH equation to higher order, which is also the subject of this paper.In fact, some higher-order CH equations are well considered.For example, Wazwaz studied the nonlinear fourth-order dispersive variants of the generalized CH equation by using sine-cosine method [14].The existence of global weak solutions was established for a higher-order CH equation describing exponential curves of the manifold of smooth orientation-preserving diffeomorphisms of the unit circle in the plane [15].Nonsmooth travelling wave solutions of a generalized fourth-order nonlinear which is a generalization of the integrable CH equation [18].We will call it the Holm-Hone equation in the following.This fifth-order PDE admits exact solutions in terms of an arbitrary number of superposed pulsons.The pulsons of Eq. ( 3) are weak solutions with discontinuous second derivatives at isolated points.Numerical simulations show that the pulsons are stable and they dominate the initial value problem and scatter elastically [19].These characteristics are reminiscent of solitons in integrable systems.However, after demonstrating the nonexistence of a suitable Lagrangian or bi-Hamiltonian structure [20] and obtaining negative results from Painlevé analysis [21] and the Wahlquist-Estabrook method [22], they asserted that the Holm-Hone equation is not integrable.Consequently, most effective methods for integrable systems are not applicable to this equation.However, the Lie symmetry approach originated from Norwegian mathematician Sophus Lie [23] systematically unifies and extends well-known ad hoc techniques to construct explicit solutions for differential equations, no matter the equations are integrable or not.Actually, there are several important applications of symmetry analysis in the investigation of differential equations [24][25][26][27].Since some solutions of partial differential equations asymptotically tend to solutions of lower-dimensional equations obtained by symmetry reduction, some of these special solutions illustrate important physical phenomena.In particular, the exact solutions arising from symmetry methods can often be used effectively to study properties such as asymptotics and blow-up.Besides, the explicit solutions found by symmetry methods can play important roles in the design and testing of numerical integrators, and these solutions provide an important practical check on the accuracy and reliability of such integrators.
This paper is organized as follows.We first present the common form of the infinitesimal generators of the Holm-Hone equation.Then we establish the optimal system of one-dimensional subalgebras and consider the similarity reductions of the equation.Furthermore, the travelling wave solutions are investigated.At last, some conservation laws of the equation are also derived.

Lie Symmetries for the Holm-Hone Equation
In this section, we investigate the Lie symmetries and similarity reductions of the Holm-Hone equation through the classical methods.The infinitesimal generators corresponding to the one-parameter transformation group are presented.
Furthermore, the one-dimensional optimal system of the group is derived with the help of the adjoint representation among the vector fields.Finally, the reduced equations are given through the similarity transformation.
. .Infinitesimal Generators.We introduce the infinitesimal form of the single parameter transformation group where  is the infinitesimal group parameter and , ,  are the infinitesimals of the transformation for the independent and dependent variables, respectively.The vector field associated with the above group of transformations can be written as Using the software package GeM [28], we obtain where  1 ,  2 ,  3 are arbitrary constants.The infinitesimal generators of the corresponding Lie algebra are given by In order to obtain the group transformation which is generated by the infinitesimal generators   for  = 1, 2, 3, we need to solve the first-order ordinary differential equations Exponentiating the infinitesimal symmetries we get the oneparameter groups   () generated by   for  = 1, 2, 3 as . .One-Dimensional Optimal System.In general, the Lie group has infinite subgroups; it is not usually feasible to list all possible group invariant solutions to the system.We need an effective systematic approach to classify these solutions, so the optimal 1-dimensional subalgebras of group invariant solutions can be derived.In this section, the optimal system is obtained by computing the adjoint representation of the vector fields [25].We use the Lie series where [  ,   ] is the commutator for the Lie algebra,  is a parameter, and ,  = 1, 2, 3.The commutator table of the Lie point symmetries for Eq. ( 3) and the adjoint representation of the symmetry group on its Lie algebra are presented in Tables 1 and 2, respectively.Given a nonzero vector our task is to simplify as many of the coefficients   as possible through judicious applications of adjoint maps to .Firstly, we suppose that  3 ̸ = 0. Scaling  if necessary, we can assume that  3 = 1.Referring to Table 2, if we act on such a  by (exp( 2  2 )), we can make the coefficient of  2 vanish and the coefficients of  1 ,  3 cannot be eliminated further, so we can make the coefficient of  1 either +1, −1, or 0. Thus any one-dimensional subalgebra spanned by  with  3 ̸ = 0 is equivalent to one spanned by either The remaining one-dimensional subalgebras are spanned by vectors of the above form with  3 = 0.If  2 ̸ = 0, we scale to make  2 = 1, and then no coefficient vanishes by any action on , so that  is equivalent to  1  1 +  2 .
The remaining case,  3 =  2 = 0, is equivalent to  1 .And it is impossible to make further simplification.
Until now, we have found the optimal system of onedimensional subalgebras spanned by The list can be reduced slightly if we admit the discrete symmetry (, , )  → (−, −, ), which maps  3 −  1 to  3 +  1 , and thereby the number of inequivalent subalgebras is reduced to four.
. .Similarity Reductions.The Holm-Hone equation is expressed in the coordinates (, , ), so we try to reduce this equation in order to search for its form in specific coordinates which can be constructed by solving the characteristic equation Based on the optimal system presented before, we obtain the following four kinds of reductions: Reduction .For  1 =   , we get the reduction  = ,  = () = .

Travelling Wave Solutions of the Holm-Hone Equation
The appearance of nonanalytic peakon-type solutions has increased the menagerie of solutions appearing in nonlinear partial differential equations, both integrable and nonintegrable.The pulson solutions for Eq. ( 3) have a finite jump in second derivative of the solutions.In a series of papers, Wazwaz proposed some schemes to determine new sets of soliton solutions, in addition to the peakon solutions obtained before, for the family of CH equations [29,30].
The method rests mainly on some ansatzes that use one hyperbolic function or combine two hyperbolic functions as follows: or ( ) e Exponential Peakon Ansatz where , , , and  are parameters that will be determined.By this method, solitons, solitary patterns solutions, periodic solutions, compactons, and peakons solutions for a family of CH equations with distinct parameters are obtained.However, we should modify the first ansatz and combine it into the second one since cosh 2 () − sinh() 2 = 1 and cosh 2 () + sinh() 2 = cosh(2).In what follows, we try to describe some specific travelling wave solutions for the Holm-Hone equation via this modified method.Firstly, we obtain the travelling wave solutions with  = ±1 or ±2 and ,  are arbitrary constants.Moreover, it can be easily verified that there is no effective result for the third ansatz for the Holm-Hone equation.And in order to take the last exponential peakon ansatz, we are advised to rewrite Eq. ( 3) as with Supposing that  = () = ( − ), then Eq. ( 24) becomes where Let us find all possible nonconstant solutions satisfying  = 0 and (±∞) = 0. Since  (4) − 5  + 4 = 0, the corresponding characteristic equation is  4 − 5 2 + 4 = 0.
Then the characteristic values are ±1 and ±2, which yield It is easy to see that if and only if Nevertheless, when Then the solution can be reduced to Considering the continuity of solution at  −  = 0, we look for a solution of the following form: where  1 ,  2 are arbitrary constants.Next we explore the relationship between the coefficients  1 and  2 .Substituting Eq. ( 32) into Eq.( 27) and using the property ()() = ()(0) we get the travelling wave solution of the original equation This solution is called the first-order pulson solution which is different from the peakons of CH equation.Its first derivative is continuous and the second derivative of the cusp is not continuous.

Conservation Laws for the Holm-Hone Equation
Conservation laws are widely applied in the analysis of PDEs, particularly in the study of existence, uniqueness, and stability of solutions.The concept of conservation laws and the relationship between symmetries and conservation laws arise in a wide variety of applications and contexts [25,26].
A conservation law for (3) is of the form where   and   denote the total derivatives as and the subscripts denote partial derivatives.The vector  = ( 1 ,  2 ) is a conserved vector for the partial differential equation.It was shown that Eq. ( 3) has the conservation law where  =  4 − 5  + 4 and it does not own bi-Hamiltonian structure [18].In this section, we mainly solve the conservation laws of the Holm-Hone equation by multiplier method [31][32][33].
A multiplier ∧ has the property that for all solutions (, ).Generally speaking, each multiplier is a function as ∧(, , , . . .,   ), where    denotes all th order derivatives of  with respect to all independent variables , .Here we only consider multipliers of the form ∧ = ∧(, , ), although multipliers which depend on the firstorder and higher-order partial derivatives of  could also be considered, but the calculations become more complicated and we fail to find any result.The right-hand side of (38) is a divergence expression which leads to the determining equation for the multiplier ∧ as where   is the standard Euler operator.
From the system (39), we can obtain the solution ∧ (, , ) =  1  +  2 , (40 where  1 and  2 are arbitrary constants.Therefore we get that any conserved vector of the Holm-Hone equation with multiplier of the form ∧(, , ) is a linear combination of the two conserved vectors (1) :  1 = 2 (41)

Conclusions
In summary, we have found the most general Lie point symmetries group for the nonintegrable Holm-Hone equation which is a fifth-order generalization of the CH equation.Meanwhile, we constructed the optimal system of one-dimensional subalgebras.Afterwards, we created the preliminary classifications of similarity reductions.The Lie invariants and similarity reduced equations corresponding to infinitesimal symmetries have been obtained.In order to obtain the traveling wave solutions of the equation, we adopted the method of ansatz.We also found some conservation laws from the multiplier method.