# Conservation Laws and Travelling Wave Solutions for Double Dispersion Equations in (1+1) and (2+1) Dimensions

^{1}

^{2}

^{3}

^{4}

^{*}

*Keywords:*conservation laws; lie symmetries; travelling wave solutions

Next Article in Journal

Next Article in Special Issue

Next Article in Special Issue

Previous Article in Journal

Previous Article in Special Issue

Previous Article in Special Issue

Departamento de Matemáticas, Universidad de Cádiz, P.O. Box 40, 11510 Puerto Real, Cádiz, Spain

International Institute for Symmetry Analysis and Mathematical Modelling, Department of Mathematical Sciences, North-West University, Mafikeng Campus, Private Bag X 2046, Mmabatho 2735, South Africa

College of Mathematics and Systems Science, Shandong University of Science and Technology, Qingdao 266590, Shandong, China

Department of Mathematics and Informatics, Azerbaijan University, Jeyhun Hajibeyli str., 71, AZ1007 Baku, Azerbaijan

Author to whom correspondence should be addressed.

Received: 31 January 2020
/
Revised: 16 March 2020
/
Accepted: 18 March 2020
/
Published: 4 June 2020

(This article belongs to the Special Issue Conservation Laws and Symmetries of Differential Equations)

In this article, we investigate two types of double dispersion equations in two different dimensions, which arise in several physical applications. Double dispersion equations are derived to describe long nonlinear wave evolution in a thin hyperelastic rod. Firstly, we obtain conservation laws for both these equations. To do this, we employ the multiplier method, which is an efficient method to derive conservation laws as it does not require the PDEs to admit a variational principle. Secondly, we obtain travelling waves and line travelling waves for these two equations. In this process, the conservation laws are used to obtain a triple reduction. Finally, a line soliton solution is found for the double dispersion equation in two dimensions.

In this work, we study two equations of double dispersion in one and two dimensions. The double dispersion (DD) equation arises in several physical applications. For instance, it is used in analyzing non-linear wave distribution in waveguide, interplay of waveguide and exterior medium, and, therefore, likelihood of energy interchange through lateral coverings of waveguide.

The author of [1] concentrated on the theory, generation, simulation, and propagation of strain solitary waves in a non-linearly elastic, straight cylindrical rod under finite distortions. For this, the general theory of wave propagation in non-linearly elastic solids was introduced, in which a new approach was developed to solve the corresponding DD equation with dissipative terms, which leads to new exact explicit solutions.

In physics of condensed matter, experiments dedicated to lucrative observation of solitary strain wave in solids are not mentioned. Undoubtedly, the description of long wave propagation in solids and liquids is to a certain extent analogous, which provides good estimate of soliton existence in solids [2].

Just after a forceful strain wave inseminates in the non-linearly bounded and elastic solid, curving of wave front can escalate swiftly up to changeless deformation appearance. This sensation could be evened alongside the dispersion of wave inside the wave guide [3,4,5].

In [6], the authors studied a multidimensional double dispersion equation
with $n=3$, $f\left(u\right)={\left|u\right|}^{l}$ for $l>1$, a real constant, or $f\left(u\right)={u}^{2m}$, $m=1,2,\cdots $. In [7], the authors investigated the Cauchy problem of Equation (1) and derived the existence (both locally and globally in time) and the blow-up of its solutions.

$${u}_{tt}-\Delta u-\Delta {u}_{tt}+{\Delta}^{2}u+k\Delta {u}_{t}=\Delta f\left(u\right),\phantom{\rule{1.em}{0ex}}x\in {\mathbb{R}}^{n},\phantom{\rule{1.em}{0ex}}t>0,$$

The DD equation in $(1+1)$ dimensions is given by
which describes non-linear dispersive waves [1]. Here, $f\left(u\right)$ is an arbitrary function of u and $a,\phantom{\rule{0.166667em}{0ex}}b>0$ are real numbers.

$${u}_{tt}-{u}_{xx}+a{u}_{xxxx}-b{u}_{xxtt}-f{\left(u\right)}_{xx}=0,$$

The DD equation in two dimensions is of the form
where $f\left(u\right)$ is an arbitrary function of u.

$${u}_{tt}-{u}_{xx}-{u}_{yy}-a({u}_{ttxx}+{u}_{ttyy})+b({u}_{xxxx}+{u}_{yyyy})+{D}_{xx}f\left(u\right)+{D}_{yy}f\left(u\right)=0,$$

The Boussinesq equation reads
where $\beta $ is a constant. It arises in various physical applications. For example, it is used in the propagation of long waves in shallow water [8]. Researchers have developed many generalizations of Boussinesq equation. One of such generalizations is the modified Boussinesq equation. In [9], generalization of Equation (4) of the form
was studied and classical and nonclassical symmetries were investigated in [10]. Here, $f\left(u\right)$ is an arbitrary function of u.

$${u}_{tt}-{u}_{xx}+\alpha {u}_{xxxx}-\beta {\left({u}^{2}\right)}_{xx}=0,$$

$${u}_{tt}-{u}_{xx}+{u}_{xxxx}+{\left(f\left(u\right)\right)}_{xx}=0$$

Conservation laws have various utilizations in investigation of PDEs, for instance the determination of conserved quantities and also the constants of motion. These can also be applied to identify integrability and linearization and moreover in verifying the correctness of numerical methods.

The celebrated theorem by Noether [11] can be used to derive conservation laws for variational problems. For any PDE, whether it comes from variational problem or non-variational problem, conservation laws can be determined by a direct method [12,13,14,15,16].

Recently, double reduction of PDEs was performed by using the interrelation between symmetries and conservation laws [17,18,19]. Lately, non-linear $p-$power generalizations of the Kadomtsev–Petviashvili and Boussinesq equations were studied and line soliton solutions were constructed for $p>0$ [20].

This paper is arranged as follows: In Section 3 and Section 4, conservations laws for the double dispersion Equations (2) and (3) are obtained, respectively. Finally, travelling waves $u=U(x-\nu t)$, $u=U(x+\mu y-\nu t)$ are, respectively, determined for DD Equations (2) and (3), where $\mu $ determines direction and $\nu $ represents speed of travelling wave. The associated fourth-order non-linear ODEs for U are reduced to first-order variables separable equations by the application of conservation laws derived here for DD equations.

Symmetries are a basic structure of nonlinear PDEs and they can be used to find invariant solutions and yield transformations that map the set of solutions into itself. A general discussion of symmetries and their applications to differential equations can be found in Refs. [15,21,22].

To apply the Lie symmetry method to Equation (3), we consider a one-parameter Lie group of infinitesimal transformations on $(x,y,t,u)$:
where $\epsilon $ is the group parameter. For this transformation to be a symmetry, it must leave invariant the set of solutions of Equation (3). This invariance condition yields an overdetermined linear system of equations for the infinitesimals ${\xi}^{x}(x,y,t,u)$, ${\xi}^{y}(x,y,t,u)$, $\tau (x,y,t,u)$, and $\eta (x,y,t,u)$. Each set of infinitesimals corresponds to an infinitesimal symmetry with the generator

$$\begin{array}{c}\hfill {x}^{\ast}=x+\epsilon {\xi}^{x}(x,y,t,u)+\mathcal{O}\left({\epsilon}^{2}\right),\\ \hfill {y}^{\ast}=y+\epsilon {\xi}^{y}(x,y,t,u)+\mathcal{O}\left({\epsilon}^{2}\right),\\ \hfill {t}^{\ast}=t+\epsilon \tau (x,y,t,u)+\mathcal{O}\left({\epsilon}^{2}\right),\\ \hfill {u}^{\ast}=u+\epsilon \eta (x,y,t,u)+\mathcal{O}\left({\epsilon}^{2}\right),\end{array}$$

$$\mathbf{v}={\xi}^{x}\phantom{\rule{0.166667em}{0ex}}{\partial}_{x}+{\xi}^{y}\phantom{\rule{0.166667em}{0ex}}{\partial}_{y}+\tau \phantom{\rule{0.166667em}{0ex}}{\partial}_{t}+\eta \phantom{\rule{0.166667em}{0ex}}{\partial}_{u}.$$

The symmetry generator can be used to find invariant solutions $u(t,x,y)$ of Equation (3) determined by solving the invariant surface condition whose form is

$${\xi}^{x}\phantom{\rule{0.166667em}{0ex}}{u}_{x}+{\xi}^{y}\phantom{\rule{0.166667em}{0ex}}{u}_{y}+\tau \phantom{\rule{0.166667em}{0ex}}{u}_{t}-\eta =0.$$

We write the point symmetries admitted by the DD equation in (2+1) dimensions in Equation (3) in Table 1.

We point out that, for $a=0$, Lie classical symmetries were derived for the DD equation in (1+1) dimensions (1.2) in [10], where, for $a\ne 0$, Equation (1.2) only admits translations in t and x.

We obtain conservation laws for DD Equation (2) by using the general multiplier method [12,13,14,22]. We recall that a conservation law for Equation (2) is a continuity equation
that holds for all solutions $u(x,t)$ of Equation (2). $(T,X)$ is called a conserved current, where T is the conserved density and X is the spatial flux. Both $T,X$ are functions of t, x, and u and derivatives of u [21]. The operators ${D}_{t}$ and ${D}_{x}$ are the usual total derivative operators [15].

$${D}_{t}T+{D}_{x}X=0$$

Two conservation laws are equivalent [22] provided they vary by a trivial conservation law $T={D}_{x}\mathsf{\Theta}$, $X=-{D}_{t}\mathsf{\Theta}$. Here, T and X are calculated on solutions of Equation (2), and $\mathsf{\Theta}$ is some function which depends on t, x, and u and derivatives of u.

Firstly, we note that Equation (2) has a Cauchy–Kovalevskaya form, which tells us that all non-trivial conservation laws arise from multipliers [13,14]. Especially, when one moves off of the solution set of Equation (2), every non-trivial conservation law in Equation (9) is identical to one that can be expressed as
where $Q=Q(x,t,u,{u}_{x},{u}_{t},{u}_{xx},{u}_{tt},{u}_{xt},{u}_{xxx},{u}_{xxt},{u}_{xtt})$ is a conservation law multiplier, and $\tilde{T}$ and $\tilde{X}$ vary from $(T,X)$ by a trivial conserved current. On the solutions set $u(x,t)$ of Equation (2), the characteristic form in Equation (10) curtails to the conservation law in Equation (9).

$${D}_{t}\tilde{T}+{D}_{x}\tilde{X}=\left[{u}_{tt}-{u}_{xx}+a{u}_{xxxx}-b{u}_{xxtt}-f{\left(u\right)}_{xx}\right]Q,$$

For our problem, the determining equation for determining all multipliers is
which must hold off of the solutions set of Equation (2). As soon as the multipliers are determined, the associated non-trivial conservation laws are derived using a homotopy formula [12,13,14] or else by integrating Equation (10) [21].

$$\frac{\delta}{\delta u}\left[\left\{{u}_{tt}-{u}_{xx}+a{u}_{xxxx}-b{u}_{xxtt}-f{\left(u\right)}_{xx}\right\}Q\right]=0,$$

We look for low-order multipliers [19,22] as these provide us with physically interesting conservation laws. The determining Equation (11) splits with respect to the remaining variables. We use Maple to solve the determining system with the conditions that $f\ne \mathrm{linear}$, and $a,b\ne 0$.

This classification yields the following four cases:

**Case 1**: ${Q}_{1}=x$. This case gives the following corresponding conserved density and flux:$$\begin{array}{ccc}\hfill {T}_{1}& =& b{u}_{xt}+x{u}_{t},\hfill \end{array}$$$$\begin{array}{ccc}\hfill {\displaystyle {X}_{1}}& =& {f}^{\prime}\left(u\right)x{u}_{x}-f\left(u\right)+(a{u}_{xxx}-b{u}_{ttx}-c{u}_{x})x-a{u}_{xx}+u.\hfill \end{array}$$**Case 2**: ${Q}_{2}=t$. For this case, we obtain conserved density and flux as$$\begin{array}{ccc}\hfill {T}_{2}& =& t{u}_{t}-u,\hfill \end{array}$$$$\begin{array}{ccc}\hfill {\displaystyle {X}_{2}}& =& t({u}_{x}{f}^{\prime}\left(u\right)+a{u}_{xxx}-b{u}_{ttx}-c{u}_{x}).\hfill \end{array}$$**Case 3**: ${Q}_{3}=1$. We get conserved density and flux as$$\begin{array}{ccc}\hfill {T}_{3}& =& {u}_{t},\hfill \end{array}$$$$\begin{array}{ccc}\hfill {\displaystyle {X}_{3}}& =& {u}_{x}(-c+{f}^{\prime}\left(u\right))+a{u}_{xxx}-b{u}_{ttx}.\hfill \end{array}$$**Case 4**: ${Q}_{4}=tx$. For this last case, the corresponding conserved density and flux are$$\begin{array}{ccc}\hfill {T}_{4}& =& b(t{u}_{xt}-{u}_{x})+x(t{u}_{t}-u),\hfill \end{array}$$$$\begin{array}{ccc}\hfill {\displaystyle {X}_{4}}& =& t({f}^{\prime}\left(u\right)x{u}_{x}-f\left(u\right))+(a{u}_{xxx}-b{u}_{ttx}-{u}_{x})x-a{u}_{xx}+cu).\hfill \end{array}$$

For the (2+1) dimensions Equation (3), a local conservation law is the continuity equation
which holds for all solutions $u(x,y,t)$ of Equation (3). Here, as before, T is conserved density and X and Y are spatial fluxes. Thus, every conservation law can be expressed as

$${D}_{t}T+{D}_{x}X+{D}_{y}Y=0,$$

$$\begin{array}{c}\hfill {D}_{t}T+{D}_{x}X+{D}_{y}Y=({u}_{tt}-{u}_{xx}-{u}_{yy}-a({u}_{ttxx}+{u}_{ttyy})\\ \hfill \phantom{\rule{2.em}{0ex}}+b({u}_{xxxx}+{u}_{yyyy})+{D}_{xx}f\left(u\right)+{D}_{yy}f\left(u\right))Q.\end{array}$$

In this case, we seek low order multipliers (as these are physically interesting), namely $Q=Q(x,t,y,u,{u}_{x},{u}_{t},{u}_{y},{u}_{xx},{u}_{tt},{u}_{yy},{u}_{tx},{u}_{ty},{u}_{xxx},{u}_{txx},{u}_{ttx})$. Consequently, the determining equation is given by

$${E}_{u}\left[\left({u}_{tt}-{u}_{xx}-{u}_{yy}-a({u}_{ttxx}+{u}_{ttyy})+b({u}_{xxxx}+{u}_{yyyy})+{D}_{xx}f\left(u\right)+{D}_{yy}f\left(u\right)\right)Q\right]=0.$$

Here,
is the Euler operator [15,21,22]. The determining equation, after splitting, yields (with $a,b\ne 0$ and $f\left(u\right)\ne \mathrm{linear}$):

$${E}_{u}={\partial}_{u}-{D}_{x}{\partial}_{{u}_{x}}-{D}_{y}{\partial}_{{u}_{y}}-{D}_{t}{\partial}_{{u}_{t}}+{D}_{x}^{2}{\partial}_{{u}_{xx}}+{D}_{x}{D}_{t}{\partial}_{{u}_{xt}}+{D}_{x}{D}_{y}{\partial}_{{u}_{xy}}-\cdots $$

$$\begin{array}{c}\hfill {Q}_{u}=0,\phantom{\rule{1.em}{0ex}}\\ \hfill -a({Q}_{xxtt}+{Q}_{yytt})+b({Q}_{xxxx}+{Q}_{yyyy})+{Q}_{tt}\end{array}$$

$$\begin{array}{c}\hfill +{Q}_{xx}({f}^{\prime}\left(u\right)-1)+{Q}_{yy}({f}^{\prime}\left(u\right)-1)=0.\end{array}$$

Using Maple, we obtain the following eight cases. In each case, we provide the multiplier and corresponding low-order conservation law.

**Case 1**: For ${Q}_{1}=1$,$$\begin{array}{c}{T}_{1}={u}_{t},\hfill \\ {X}_{1}=b{u}_{xxx}-a{u}_{ttx}+a{u}_{tt}+({f}^{\prime}\left(u\right)-1){u}_{x},\hfill \\ {Y}_{1}=b{u}_{yyy}.\hfill \end{array}$$**Case 2**: For ${Q}_{2}=x$,$$\begin{array}{c}{T}_{2}=x{u}_{t},\hfill \\ {X}_{2}=xb{u}_{xxx}-b{u}_{xx}-xa{u}_{ttx}+a{u}_{tt}+(x{f}^{\prime}\left(u\right)-x){u}_{x}+u-f\left(u\right),\hfill \\ {Y}_{2}=xb{u}_{yyy}-xa{u}_{tty}+(x({f}^{\prime}\left(u\right)-x){u}_{y}.\hfill \end{array}$$**Case 3**: For ${Q}_{3}=y$,$$\begin{array}{c}{T}_{3}=y{u}_{t},\hfill \\ {X}_{3}=yb{u}_{xxx}-ya{u}_{ttx}+(y{f}^{\prime}\left(u\right)-y){u}_{x},\hfill \\ {Y}_{3}=yb{u}_{yyy}-b{u}_{yy}-ya{u}_{tty}+a{u}_{tt}+(y{f}^{\prime}\left(u\right)-y){u}_{y}+u-f\left(u\right).\hfill \end{array}$$**Case 4**: For ${Q}_{4}=t$,$$\begin{array}{c}{T}_{4}=t{u}_{t}-u,\hfill \\ {X}_{4}=tb{u}_{xxx}-at{u}_{ttx}+(t{f}^{\prime}\left(u\right)-t){u}_{x},\hfill \\ {Y}_{4}=tb{u}_{yyy}-at{u}_{tty}+(t{f}^{\prime}\left(u\right)-t){u}_{y}.\hfill \end{array}$$**Case 5**: For ${Q}_{5}=xy$,$$\begin{array}{c}{T}_{5}=xy{u}_{t},\hfill \\ {X}_{5}=xyb{u}_{xxx}-yb{u}_{xx}-xya{u}_{ttx}+ya{u}_{tt}+(xy({f}^{\prime}\left(u\right)-xy){u}_{x}+yu-yf\left(u\right),\hfill \\ {Y}_{5}=xyb{u}_{yyy}-xya{u}_{tty}-xb{u}_{yy}+xa{u}_{tt}+(xy{f}^{\prime}\left(u\right)-xy){u}_{y}+xu-xf\left(u\right).\hfill \end{array}$$**Case 6**: For ${Q}_{6}=tx$,$$\begin{array}{c}{T}_{6}=tx{u}_{t}-xu,\hfill \\ {X}_{6}=txb{u}_{xxx}-tb{u}_{xx}-txa{u}_{ttx}+ta{u}_{tt}+(tx({f}^{\prime}\left(u\right)-tx){u}_{x}+tu-tf\left(u\right),\hfill \\ {Y}_{6}=txb{u}_{yyy}-txa{u}_{tty}+(tx({f}^{\prime}\left(u\right)-tx){u}_{y}.\hfill \end{array}$$**Case 7**: For ${Q}_{7}=ty$,$$\begin{array}{c}{T}_{7}=ty{u}_{t}-yu,\hfill \\ {X}_{7}=tyb{u}_{xxx}-tya{u}_{ttx}+(ty({f}^{\prime}\left(u\right)-ty){u}_{x},\hfill \\ {Y}_{7}=txb{u}_{yyy}-tya{u}_{tty}+tb{u}_{yy}+ta{u}_{tt}+(ty({f}^{\prime}\left(u\right)-ty){u}_{y}+tu-tf\left(u\right).\hfill \end{array}$$**Case 8**: For ${Q}_{8}=txy$,$$\begin{array}{c}{T}_{8}=txy{u}_{t}-xyu,\hfill \\ {X}_{8}=txyb{u}_{xxx}-tyb{u}_{xx}-txya{u}_{ttx}+tya{u}_{tt}+(txy({f}^{\prime}\left(u\right)-txy){u}_{x}+ytu-ytf\left(u\right),\hfill \\ Y8=txyb{u}_{yyy}-txya{u}_{tty}-txb{u}_{yy}+txa{u}_{tt}+(txy({f}^{\prime}\left(u\right)-txy){u}_{y}+txu-txf\left(u\right).\hfill \end{array}$$

In this section, we present travelling waves solutions for the DD Equations (2) in one dimension and line travelling waves for the DD Equation (3) in two dimensions. It is common knowledge that, if a differential equation has a Noether symmetry, then corresponding to this symmetry there exists a conservation law and moreover a double reduction can be performed on the differential equation [15,17]. For instance, in [17,18,19], the connection between symmetries and conservation laws was utilized to perform double reduction of PDEs.

In [19,23], an association between symmetries and conservation laws was further explored by concentrating on conservation laws which were invariant under a given set of symmetries. Furthermore, a few applications of determining symmetry-invariant conservation laws and determining symmetry-invariant solutions of PDEs were presented.

We derive travelling waves for Equation (2) and use the travelling wave variable, namely $z=x-\lambda t$. A travelling wave solution is of the form
and substituting this expression into Equation (2), we get the reduced nonlinear fourth-order ODE

$$\begin{array}{cc}u(x,t)=U\left(z\right),\hfill & z=x-\lambda t\hfill \end{array}$$

$$(a-b{\lambda}^{2}){U}^{\u2057}+(-{\lambda}^{3}+{f}^{\prime}\left(U\right)-1){U}^{\u2033}+{f}^{\u2033}\left(U\right){U}^{\prime 2}=0.$$

We observe that these travelling wave solutions arise from invariance under the translation symmetry

$$\mathbf{v}=\lambda {\partial}_{x}+{\partial}_{t}.$$

Suppose a conservation law ${D}_{t}T+{D}_{x}X=0$ does not contain the variables t and x explicitly. Then, it gives rise to a reduction of order of travelling wave ODE by the reductions
yielding

$${D}_{t}{|}_{u=U\left(z\right)}=-\lambda \frac{d}{dz},\phantom{\rule{1.em}{0ex}}{D}_{x}{|}_{u=U\left(z\right)}=\frac{d}{dz},$$

$$\frac{d}{dz}\left((X-\lambda T){|}_{u=U\left(z\right)}\right)=0.$$

Thus, the first integral is
and the corresponding symmetry-invariant conservation law is the first integral of Equation (32) as ${D}_{t}\left({T}_{3}\right)+{D}_{x}\left({X}_{3}\right)=0$ does not contain the variables t and x explicitly. Then, the conservation law gives rise to a first integral that yields the following reduced form of the travelling wave ODE

$$X-\lambda T=C$$

$$(a-b{\lambda}^{2}){U}^{\u2034}+(-{\lambda}^{3}+{f}^{\prime}\left(U\right)-1){U}^{\prime}={C}_{1}.$$

Moreover, although conservations laws ${D}_{t}\left({T}_{1}\right)+{D}_{x}\left({X}_{1}\right)=0$ and ${D}_{t}\left({T}_{2}\right)+{D}_{x}\left({X}_{2}\right)=0$ contain explicitly the variables x and t, however, the linear combination
is invariant under the generator ${\partial}_{x}-\lambda {\partial}_{t}$, yielding a functionally independent second first integral

$${D}_{t}({T}_{1}-\lambda {T}_{2})+{D}_{x}({X}_{1}-\lambda {X}_{2})=0$$

$$(-b{\lambda}^{2}+a){U}^{\u2034}+(b{\lambda}^{2}-a){U}^{\u2033}+(-{\lambda}^{3}+{f}^{\prime}\left(U\right)-1)z{U}^{\prime}+({\lambda}^{3}+1)U-{f}^{\prime}\left(U\right)={C}_{2}.$$

In [20], line soliton solutions of generalized KP and Boussinesq equations with p-power nonlinearities in two dimensions were derived. In [24], line soliton solutions were derived for a family of modified KP equations, whereas, in [25], line soliton solutions were constructed for a family of modified KP equations with p-power nonlinearities. In [26], the authors derived conserved vectors for a double dispersion equation.

We now derive the explicit line travelling waves for Equation (3) and use the travelling wave variable $z=-\mu y-\nu x+t$ for this derivation. A line travelling wave in two-dimensions is

$$\begin{array}{cc}u(x,y,t)=U\left(z\right),\hfill & z=-\mu y-\nu x+t.\hfill \end{array}$$

The substitution of Equation (39) into Equation (3) gives the fourth-order non-linear DE for $U\left(\zeta \right)$, namely

$$\begin{array}{c}\left(b{\mu}^{4}-a{\mu}^{2}+{\nu}^{2}\left(b{\nu}^{2}-a\right)\right){U}^{\u2057}+\left(\left({\mu}^{2}+{\nu}^{2}\right){f}^{\prime}\left(U\right)+\left(-{\mu}^{2}-{\nu}^{2}+1\right)\right){U}^{\u2033}\hfill \\ +\left({\mu}^{2}+{\nu}^{2}\right){f}^{\u2033}\left(U\right){U}^{\prime 2}=0.\hfill \end{array}$$

We observe that a travelling wave solution remains invariant with respect to three-parameter group of translations, namely $t\to t-{\u03f5}_{1}$, $x\to x+{\u03f5}_{2}\nu $, $y\to y+{\u03f5}_{3}\mu $, with ${\u03f5}_{1},{\u03f5}_{2},{\u03f5}_{3}\in \mathrm{I}\phantom{\rule{-1.99997pt}{0ex}}\mathrm{R}\phantom{\rule{1.99997pt}{0ex}}$.

Assume that a conservation law ${D}_{t}T+{D}_{x}X++{D}_{y}Y$ does not contain the variables t, x, and y explicitly. Subsequently, the conservation law gives rise to a reduction of order of travelling wave ODE by the reductions
yielding

$${D}_{t}{|}_{u=U\left(z\right)}=\frac{d}{dz},\phantom{\rule{1.em}{0ex}}{D}_{x}{|}_{u=U\left(z\right)}=-\nu \frac{d}{dz},\phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}{D}_{y}{|}_{u=U\left(z\right)}=-\mu \frac{d}{dz},$$

$$\frac{d}{dz}\left((\nu X+\mu Y-T){|}_{u=U\left(z\right)}\right)=0.$$

Thus, the first integral is given by
and the corresponding symmetry-invariant conservation law will be a first integral of Equation (40) as ${D}_{t}\left({T}_{1}\right)+{D}_{x}\left({X}_{1}\right)+{D}_{y}\left({Y}_{1}\right)=0$ that does not contain t, x, and y explicitly. Hence, the conservation law gives rise to the following reduction of order of travelling wave ODE:

$$\nu X+\mu Y-T=C$$

$$(b{\mu}^{4}+b{\nu}^{4}-a{\mu}^{2}-a{\nu}^{2}){U}^{\u2034}+(1-{\mu}^{2}-{\nu}^{2}){U}^{\prime}+{f}^{\prime}\left(U\right)({\mu}^{2}+{\nu}^{2})={C}_{1}.$$

Moreover, although conservations laws ${D}_{t}\left({T}_{2}\right)+{D}_{x}\left({X}_{2}\right)+{D}_{y}\left({Y}_{2}\right)=0$, ${D}_{t}\left({T}_{3}\right)+{D}_{x}\left({X}_{3}\right)+{D}_{y}\left({Y}_{3}\right)=0$, and ${D}_{t}\left({T}_{4}\right)+{D}_{x}\left({X}_{4}\right)+{D}_{y}\left({Y}_{4}\right)=0$ contain explicitly the variables x, y, and t. However, the linear combination
is invariant under the generator $\lambda {\partial}_{x}+\gamma {\partial}_{y}-{\partial}_{t}$ yielding a second functionally independent first integral

$${D}_{t}({T}_{2}-\lambda {T}_{3}-\gamma {T}_{4})+{D}_{x}({X}_{2}-\lambda {X}_{3}-\gamma {X}_{4})+{D}_{y}({Y}_{2}-\lambda {Y}_{3}-\gamma {Y}_{4})=0$$

$$\begin{array}{c}(b({\mu}^{4}+{\nu}^{4})z-a({\mu}^{2}-{\nu}^{2})z){U}^{\u2034}+(a({\mu}^{2}+{\nu}^{2})-b({\mu}^{4}+{\nu}^{4})){U}^{\u2033}\hfill \\ +({\mu}^{2}+{\nu}^{2}-1)U+z(({f}^{\prime}\left(U\right)-1)({\mu}^{2}+{\nu}^{2})+1){f}^{\prime}\left(U\right)-({\mu}^{2}+{\nu}^{2})f\left(U\right)={C}_{2}.\hfill \end{array}$$

These two first integrals in Equations (44) and (45) can be combined to obtain a second-order ODE

$${U}^{\u2033}-\frac{({\mu}^{2}+{\nu}^{2})f\left({U}_{}\right)-({\mu}^{2}+{\nu}^{2}){U}_{}-{\mathit{C}}_{\mathit{2}}\phantom{\rule{0.166667em}{0ex}}z+{\mathit{C}}_{\mathit{1}}+{U}_{}}{a({\mu}^{2}+{\nu}^{2})-b({\mu}^{4}+{\nu}^{4})}=0.$$

Setting ${C}_{2}=0$, we get a separable ODE that can be integrated once, yielding the following first-order ODE:

$$\begin{array}{c}{\displaystyle {{U}^{\prime}}^{2}+\frac{\left({\mu}^{2}+{\nu}^{2}-1\right){{U}_{}}^{2}}{a({\mu}^{2}+{\nu}^{2})-b({\mu}^{4}+{\nu}^{4})}-\frac{2{\mathit{C}}_{\mathit{1}}\phantom{\rule{0.166667em}{0ex}}{U}_{}}{a({\mu}^{2}+{\nu}^{2})-b({\mu}^{4}+{\nu}^{4})}}\hfill \\ {\displaystyle \phantom{\rule{2.em}{0ex}}-\frac{2\left({\mu}^{2}+{\nu}^{2}\right)\int \phantom{\rule{-0.166667em}{0ex}}f\left({U}_{}\right)\phantom{\rule{0.166667em}{0ex}}\mathrm{d}{U}_{}}{a({\mu}^{2}+{\nu}^{2})-b({\mu}^{4}+{\nu}^{4})}={C}_{3}.}\hfill \end{array}$$

We remark that the double reduction method applied to a fourth-order PDE yields one third-order ODE, while we are getting a triple reduction to a second-order ODE [14].

Setting $f\left(U\right)$ as a polynomial, the solutions can be given in terms of Jacobi elliptic functions, in particular, hyperbolic and trigonometric functions. However, in the special case, when $f\left(U\right)={U}^{2}$, we get the following solution:
with $z=-\mu y-\nu x+t$. In Figure 1, we plot this solution for Equation (46) for ${C}_{2}=0$, $\mu =1$, $\nu =1$, $a=-\frac{1}{4}$, and $b=-\frac{1}{8}$.

$$\begin{array}{c}{\displaystyle U\left(z\right)=-{\displaystyle \frac{3}{4}}{\mathrm{tanh}}^{2}\left(z\right)+\frac{3}{4}}\hfill \end{array}$$

In this paper, we study the (1+1)-dimensional and (2+1)-dimensional double dispersion equations, namely Equations (2) and (3). Firstly, we determine all low-order conservation laws by using the multiplier method for Equations (2) and (3). For the double dispersion Equation (2), we obtain four multipliers and, consequently, four conserved densities and fluxes are constructed. On the other hand, the double dispersion Equation (3) provides eight multipliers, which result in eight low-order conservation laws. Secondly, we derive the symmetry invariant conservation laws. In the case of translation symmetries, we show how conservation laws that explicitly contain the independent variables can nevertheless be used to obtain a triple reduction. This is done by obtaining two functionally independent first integrals yielding to a first-order ODE, which gives rise to travelling wave solutions. In particular, we find a line soliton solution for Equation (3).

All authors made an equal contribution to the preparing the manuscript. All authors have read and agreed to the published version of the manuscript.

The authors warmly thank S. Anco for his help. The support of Junta de Andalucía FQM-201 group and University of Cádiz is gratefully acknowledged. CMK thanks North-West University for its continued support.

The authors declare no conflict of interest.

- Samsonov, A.M. Strain Solitons in Solids and How to Construct Them; Chapmanan d Hall: BocaRaton, FL, USA, 2001. [Google Scholar] [CrossRef]
- Bell, J.F. Experimental foundation of solid mechanics. In Encyclopaedia of Physics; Truesdell, C., Ed.; Springer: Berlin, Germany, 1973. [Google Scholar]
- Samsonov, A.M. Structural optimization in nonlinear elastic wave propagation problems. In Structural Optimization Under Dynamical Loading; Seminar andWorkshop of Junior Scientists; Lepik, U., Ed.; Tartu University Press: Tartu, Estonia, 1982; pp. 75–76. [Google Scholar]
- Samsonov, A.M. Soliton evolution in a rod with variable cross section. Sov. Phys. Dokl.
**1984**, 29, 586–587. [Google Scholar] - Samsonov, A.M. Nonlinear strain waves in elastic waveguides. In Nonlinear Waves in Solids; Jeffrey, A., Engelbrecht, J., Eds.; Nonlinear Waves in Solids, CISM Courses and Lectures (International Centre for Mechanical Sciences); Springer: Vienna, Austria, 1994; Volume 341, pp. 349–382. [Google Scholar]
- Yu, J.; Li, F.; She, L. Lie Symmetry Reductions and Exact Solutions of a Multidimensional Double Dispersion Equation. Appl. Math.
**2017**, 8, 712–723. [Google Scholar] [CrossRef] - Polat, N.; Ertas, A. Existence and Blow-Up of Solution of Cauchy Problem for the Generalized Damped Multidimensional Boussinesq Equation. J. Math. Anal. Appl.
**2009**, 349, 10–20. [Google Scholar] [CrossRef] - Boussinesq, J. Théorie des ondes et des remous qui se propagent le long d’ un canal rectangulaire horizontal en communiquant au liquide contenudans ce canal des vitesses sensiblement pareilles de la surface au fond. J. Math. Pures Appl.
**1872**, 17, 55–108. [Google Scholar] - Liu, Y. Instability and blow-up of solutions to a generalized Boussinesq equation. SIAM J. Math. Anal.
**1995**, 26, 1527–1546. [Google Scholar] [CrossRef] - Gandarias, M.L.; Bruzón, M.S. Classical and Nonclassical Symmetries of a Generalized Boussinesq Equation. J. Nonlinear Math. Phys.
**1998**, 5, 8–12. [Google Scholar] [CrossRef] - Noether, E. Invariante Variationsprobleme, Nachrichten von der Königlichen. Gesellschaft der Wissenschaften zu Göttingen. 1918, pp. 234–257. Available online: https://eudml.org/doc/59024 (accessed on 30 January 2020).
- Anco, S.C.; Bluman, G. Direct Construction of Conservation Laws from Field Equations. Phys. Rev. Lett.
**1997**, 78, 2869–2873. [Google Scholar] [CrossRef] - Anco, S.C.; Bluman, G. Direct constrution method for conservation laws for partial differential equations Part I: Examples of conservation law classifications. Eur. J. Appl. Math.
**2002**, 13, 545–566. [Google Scholar] [CrossRef] - Anco, S.C.; Bluman, G. Direct constrution method for conservation laws for partial differential equations Part II: General treatment. Eur. J. Appl. Math.
**2002**, 41, 567–585. [Google Scholar] [CrossRef] - Olver, P.J. Applications of Lie Groups to Differential Equations; Springer: Berlin, Germany, 1986. [Google Scholar]
- Bluman, G.W.; Kumei, S. Symmetries and Differential Equations; Springer: Berlin, Germany, 1989. [Google Scholar]
- Sjöberg, A. Double reduction of PDEs from the association of symmetries with conservation laws with applications. Appl. Math. Comput.
**2007**, 184, 608–616. [Google Scholar] [CrossRef] - Kara, A.H.; Mahomed, F.M. Relationship between symmetries and conservation laws. Int. J. Theor. Phys.
**2000**, 39, 23–40. [Google Scholar] [CrossRef] - Anco, S.C. Symmetry properties of conservation laws. Int. J. Mod. Phys. B
**2016**, 30, 1640003. [Google Scholar] [CrossRef] - Anco, S.C.; Gandarias, M.L.; Recio, E. Conservation laws, symmetries, and line soliton solutions of generalized KP and Boussinesq equations with p-power nonlinearities in two dimensions. Theor. Math. Phys.
**2018**, 197, 1393–1411. [Google Scholar] [CrossRef] - Bluman, G.; Cheviakov, A.F.; Anco, S.C. Applications of Symmetry Methods to Partial Differential Equations; Springer: Berlin, Germany, 2010; pp. 119–182. [Google Scholar]
- Anco, S.C. Generalization of Noether’s theorem in modern form to non-variational partial differential equations. In Recent Progress and Modern Challenges in Applied Mathematics, Modeling and Computational Science; Springer: Berlin, Germany, 2017; pp. 119–182. [Google Scholar]
- Anco, S.C.; Kara, A.H. Symmetry invariance of conservation laws of partial differential equations. Eur. J. Appl. Math.
**2018**, 29, 78–117. [Google Scholar] [CrossRef] - Anco, S.C.; Gandarias, M.L.; Recio, E. Conservation laws and line soliton solutions of a family of modified KP equations. Discret. Contin. Dyn. Syst. S
**2019**. [Google Scholar] [CrossRef] - Anco, S.C.; Gandarias, M.L.; Recio, E. Line solitons and conservation laws of a modified KP equation with p-power nonlinearities. arXiv
**2019**, arXiv:1908.03962. [Google Scholar] - Gandarias, M.L.; Khalique, M.C. Conserved vectors for a double dispersion equation. AIP Conf. Proc.
**2019**, 2116, 190002. [Google Scholar] [CrossRef]

i | a | b | f(u) | ${\mathbf{v}}_{\mathit{k}}$ |
---|---|---|---|---|

1 | $\forall $ | $\forall $ | $\forall $ | ${\mathbf{v}}_{1}={\mathit{\partial}}_{\mathit{x}},\phantom{\rule{0.277778em}{0ex}}{\mathbf{v}}_{2}={\partial}_{y},\phantom{\rule{0.277778em}{0ex}}{\mathbf{v}}_{3}={\partial}_{t}$ |

2 | $\forall $ | 0 | $\forall $ | ${\mathbf{v}}_{1},\phantom{\rule{0.277778em}{0ex}}{\mathbf{v}}_{2},\phantom{\rule{0.277778em}{0ex}}{\mathbf{v}}_{3},\phantom{\rule{0.277778em}{0ex}}{\mathbf{v}}_{4}=y{\partial}_{x}-x{\partial}_{y}$ |

3 | 0 | $\forall $ | ${k}_{1}{({k}_{2}-u)}^{n}+u-{k}_{3}$ | ${\mathbf{v}}_{1},\phantom{\rule{0.277778em}{0ex}}{\mathbf{v}}_{2},\phantom{\rule{0.277778em}{0ex}}{\mathbf{v}}_{3},\phantom{\rule{0.277778em}{0ex}}{\mathbf{v}}_{5}=x{\partial}_{x}+y{\partial}_{y}+2t{\partial}_{t}+{\displaystyle \frac{2{k}_{2}-2u}{n-1}}{\partial}_{u}$ |

$(\mathrm{with}\phantom{\rule{0.166667em}{0ex}}n\ne 1,\phantom{\rule{0.166667em}{0ex}}{k}_{1}\ne 0)$ | ||||

4 | 0 | $\forall $ | ${k}_{1}{e}^{nu}+u+{k}_{2}$ | ${\mathbf{v}}_{1},\phantom{\rule{0.277778em}{0ex}}{\mathbf{v}}_{2},\phantom{\rule{0.277778em}{0ex}}{\mathbf{v}}_{3},\phantom{\rule{0.277778em}{0ex}}{\mathbf{v}}_{6}=x{\partial}_{x}+y{\partial}_{y}+2t{\partial}_{t}-{\displaystyle \frac{2}{n}}{\partial}_{u}$ |

$(\mathrm{with}\phantom{\rule{0.166667em}{0ex}}n\ne 0)$ | ||||

5 | 0 | $\forall $ | ${k}_{1}ln({k}_{2}-u)+u-{k}_{3}$ | ${\mathbf{v}}_{1},\phantom{\rule{0.277778em}{0ex}}{\mathbf{v}}_{2},\phantom{\rule{0.277778em}{0ex}}{\mathbf{v}}_{3},\phantom{\rule{0.277778em}{0ex}}{\mathbf{v}}_{7}=x{\partial}_{x}+y{\partial}_{y}+2t{\partial}_{t}-(2{k}_{2}-2u){\partial}_{u}$ |

© 2020 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).