Skip to main content

Lie symmetry and μ-symmetry methods for nonlinear generalized Camassa–Holm equation

Abstract

In this paper, a Lie symmetry method is used for the nonlinear generalized Camassa–Holm equation and as a result reduction of the order and computing the conservation laws are presented. Furthermore, μ-symmetry and μ-conservation laws of the generalized Camassa–Holm equation are obtained.

Introduction

Partial differential equations (PDEs) with suitable solutions are among the most important topics in various branches of mathematical physics [16]. The most accurate methods for order reduction and computation conservation rules are the classical Lie theory [79], the general theorem [7], the direct method [10], the μ-symmetries method [11], and the Noether theorem [7, 12].

Using Lie transformation group theory for order reduction and constructing solutions of nonlinear PDEs with integer order [8, 9] or fractional order partial differential equations [6, 1320] and ordinary differential equations is one of the most efficient fields of research in the theory of nonlinear PDEs. The λ-symmetry method has been presented by Muriel and Romero, which is a modern method to order reduction of ODEs [21]. Gaeta and Morando have extended the λ-symmetries approach for ODEs to the μ-symmetries method for PDEs [22, 23].

The concepts of variational problem and conservation law in the case of symmetry have been developed by Muriel, Romero and Olver to λ-symmetries of ODEs via proper formulation of Noether’s theorem for λ-symmetry of ODEs [12, 24]. These results have been generalized by Cicogna and Gaeta to the framework of μ-symmetries for PDEs. Also, the conservation law called the μ-conservation law in μ-symmetry of the Lagrangian topic has been addressed [12].

The nonlinear generalized Camassa–Holm equation (gC-H) equation with the nonlinearity parameter p is discussed in this article,

$$\begin{aligned} \Delta _{u} \equiv & u_{t}- u_{txx}-\frac{1}{2}(p+1) (p+2)u^{p}u_{x}+ \frac{1}{2}p(p-1)u^{p-2}u^{3}_{x} \\ &{}+2pu^{p-1}u_{x}u_{xx}+u^{p}u_{xxx}=0. \end{aligned}$$
(1)

In the case that \(p=1\), the above equation reduces to the Camassa–Holm equation. In the case that \(p=2\), we have the case generalized of the Camassa–Holm equation possesses bi-Hamiltonian structure [25]. This Camassa–Holm equation is a mathematical model for shallow water waves that explains wave breaking for a major class of solutions in which the wave inclination blows up in a limited time while the amplitude of wave is confined [26, 27]. Integrity, possessing a Lax pair, bi-Hamiltonian structure property and infinite hierarchy of symmetries are important features of the Camassa–Holm equation [26, 28].

The outline of this paper is as follows: Lie symmetry analysis, reduction, optimal system of one-dimensional subalgebras and differential invariant of Eq. (1) are presented in Sect. 2. Some conservation laws for Eq. (1) will be found in Sect. 3. In Sect. 4, we calculate the μ-symmetry and order reduction of Eq. (1) and Sect. 5 deals with Lagrangian of Eq. (1) in potential form and we will apply it to obtain μ-conservation laws of Eq. (1).

Lie symmetries of gC-H equation

r independent variables \(x = (x^{1},\ldots, x^{r})\) and s dependent variables \(u = (u^{1},\ldots, u^{s})\) construct the total space \(M = X \times U\), and the kth order jet space \(M^{(k)}\), including M and the derivatives of dependent variables up to order k. Let \(\Delta (x,u^{k})=0\) be a PDE on M and G be a local group transformation that acts on M. Suppose \(\nu =\sum_{i=1}^{r}\eta ^{i}(x,u)\partial _{x^{i}} + \sum_{\alpha =1}^{s} \psi ^{\alpha }(x,u)\partial _{u^{\alpha }}\) is an infinitesimal transformation of G in g that acts on \(X \times U \times U^{(1)} \). Now, to calculate the symmetry group via an infinitesimal symmetry condition, the kth prolongation of ν must acts on \(\Delta (x,u^{k})\), i.e.,

$$ \operatorname{Pr}^{(k)}{\nu } \bigl[\Delta \bigl(x,u^{(k)}\bigr) \bigr] \equiv 0, \mod \Delta \bigl(x,u^{(k)}\bigr), $$

where

$$ \operatorname{Pr}^{(k)}{\nu }= {\nu }+\sum^{s}_{\alpha =1} \sum_{J=(j_{1}, \ldots ,j_{k})}\Biggl[ \mathrm{D}_{J}\Biggl( \psi _{\alpha }- \sum_{h=1}^{r} \eta ^{h}u_{h}^{\alpha }\Biggr) + \sum _{h=1}^{r}\eta ^{h}u^{\alpha }_{J,h} \Biggr]\partial _{u^{\alpha }_{J}}, \quad 1\leq k\leq p. $$

(See for more details [7].) The symmetry group of \(\Delta (x,u^{k})\) is obtained by solving these system [7, 9]. Let \(\mathrm{v}=\eta (x, t, u)\partial _{x} +\gamma (x, t, u)\partial _{t} +\psi (x, t, u)\partial _{u}\) be an infinitesimal generator of the classical Lie point symmetry groups for the gC-H equation, To calculation of the symmetry group for the gC-H equation, first applying the \(\Pr ^{(3)}\mathrm{v}\) on Eq. (1), we have \(\Pr ^{(3)}\mathrm{v}[\Delta _{u}]=0\), then substituting

$$ u_{txx}+(1/2) (p+1) (p+2)u^{p}u_{x}-(1/2)p(p-1)u^{p-2}u^{3}_{x} -2pu^{p-1}u_{x}u_{xx}-u^{p}u_{xxx} $$

for \(u_{t}\), whatever remains is a polynomial equation involving the various derivatives of \(u(x,t)\), whose coefficients are certain derivatives of η, γ and ψ. By solving this multivariate system, we will have

$$\begin{aligned}& \eta =b_{3}, \\& \gamma =b_{1}t+b_{2}, \\& \psi =-\frac{b_{1}}{p}u, \end{aligned}$$

where \(b_{1}\), \(b_{2}\) and \(b_{3}\) are arbitrary constants.

Corollary 1

The Lie algebras of infinitesimal projectable symmetries of the gC-H equation is spanned by the vector fields

$$\begin{aligned}& \nu _{1} =\partial _{x}, \\& \nu _{2} =\partial _{t}, \\& \nu _{3} = t\partial _{t} -\frac{u}{p} \partial _{u}. \end{aligned}$$

The one-parameter groups \(B_{i}\), generated by the vector fields \({\nu }_{1}\), \({\nu }_{2}\) and \({\nu }_{3}\), each of them giving the transformed point \(\exp (\kappa {\nu }_{i})(x,t,u)\), are

$$\begin{aligned}& {B_{1}}:(x,t,u) \mapsto (x+\kappa , t ,u), \\& {B_{2}}:(x,t,u) \mapsto (x,t+\kappa , u), \\& {B_{3}}:(x,t,u) \mapsto \bigl(x, te^{\kappa }, ue^{-\kappa /p}\bigr). \end{aligned}$$

If \(u=f(x,t)\) is a solution of Eq. (1), since each group \({G_{i}}\) is a symmetry group, we conclude that the functions \(u_{1}=f(x-\epsilon ,t)\), \(u_{2}=f(x,t-\epsilon )\) and \(u_{3}=f(x,t/e^{\varepsilon })e^{-\varepsilon /p}\), are solutions of Eq. (1).

Invariant solutions are a family of solutions that all correspond to the one-parameter subgroup of the symmetry group of a PDE, and for computing an optimal system of subalgebras, an optimal system of subgroups must be calculated. Usually, to solve the classification problem of one-dimensional subalgebras, the same problem of classifying the orbits is considered [7]. Table 1 shows the commutation table of Lie algebra g for the gC-H equation. The solubility property of g is significant.

Table 1 The commutator table of Eq. (1)

Table 2 shows adjoint representation of the gC-H equation, such that

$$ \operatorname{Ad}\bigl(\exp (\varepsilon {\nu }_{i})\bigr){\nu }_{j} = {\nu }_{j} - \varepsilon [{ \nu }_{i}, {\nu }_{j} ] + \frac{\varepsilon ^{2}}{2}\bigl[{\nu }_{i}, [{\nu }_{i}, {\nu }_{j} ]\bigr] - \cdots . $$
Table 2 Adjoint representation table of Eq. (1)

Theorem 1

An optimal system of one-dimensional Lie algebras of Eq. (1) is provided by \(a_{1}\nu _{1}+\nu _{3}\), \(a_{1}\nu _{1}+ \nu _{2}\) and \(a_{1}\nu _{1}\).

Proof

Suppose the symmetry algebra g of the gC-H equation is spanned by the vector fields \({\nu }_{1}\), \({\nu }_{2}\) and \({\nu }_{3}\). A linear map

$$ \textstyle\begin{cases} F_{i}^{\varepsilon }:g\longrightarrow g \quad (i=1,2,3), \\ \nu \mapsto \operatorname{Ad}(\exp (\varepsilon {\nu }_{i})){\nu }, \end{cases} $$

is assumed. The matrices \(B^{\varepsilon }_{i}\) of \(F^{\varepsilon }_{i}\), with respect to basis \(\{{\nu }_{1},{\nu }_{2},{\nu }_{3}\}\) are

$$ B^{\varepsilon }_{1}= \begin{pmatrix} 1&0&0 \\ 0&1&0 \\ 0&0&1 \end{pmatrix}, \qquad B^{\varepsilon }_{2}= \begin{pmatrix} 1&0&0 \\ 0&1&\varepsilon \\ 0&0&1 \end{pmatrix} , \qquad B^{\varepsilon }_{1}= \begin{pmatrix} 1&0&0 \\ 0&e^{-\varepsilon }&0 \\ 0&0&1 \end{pmatrix}. $$

Every one-dimensional subalgebra of g is determined by a nonzero vector \({\nu }=c_{1}{\nu }_{1}+c_{2}{\nu }_{2}+c_{3}{\nu }_{3}\), where \(c_{i}\) are arbitrary constants. We will make coefficients \(c_{i}\) as simple as possible through acting with these matrices on ν.

Case 1. Suppose that \(c_{3}\neq 0\). So, we can assume that \(c_{3}=1\). Acting with \(B^{\varepsilon }_{1}\) and \(B^{\varepsilon }_{2}\) on ν, the coefficient of \({\nu }_{2}\) vanishes and the coefficient of \({\nu }_{1}\) does not change. Then ν is reduced to \({\nu }=a_{1}\nu _{1}+\nu _{3}\).

Case 2. Suppose that \(c_{3}=0\) and \(c_{2}\neq 0\). So, we can assume that \(c_{2}=1\). Acting with \(B^{\varepsilon }_{i}\) on ν, the coefficient of \({\nu }_{1}\) does not change and ν is reduced to \({\nu }=c_{1}\nu _{1}+\nu _{2}\).

Case 3. Suppose that \(c_{3}=0\) and \(c_{2}=0\). Acting with \(B^{\varepsilon }_{i}\) on ν, the coefficient of \({\nu }_{1}\) does not change. Then \({\nu }=c_{1}\nu _{1} \). □

Invariants associated with the symmetry operators can be computed, which are calculated by integrating the characteristic equations. For example, the characteristic equation of the operator \(\alpha \mathrm{v}_{1}=\alpha \partial _{x}\) is \(\frac{dx}{\alpha }=\frac{dt}{0}=\frac{du}{0}\), and the corresponding invariants are \(y=t\) and \(w=u\). The derivatives of u are given in terms of y and \(w(y)\) as \(u_{t}=w_{y}\), \(u_{txx}=0\), \(u_{x}=0\), \(u_{xx}=0\), \(u_{xxx}=0\). Substituting them into Eq. (1), the ordinary differential equation \(w_{y}=0\) is obtained. Tables 3 and 4 show all results in this step.

Table 3 Invariant of Eq. (1)
Table 4 Reduction of Eq. (1)

Conservation laws of the gC-H equation

A conservation law in physics describes a measured property of an isolated system that does not alter over time. The following divergence expression shows a local conservation law of a system \(\Delta (x,u^{k})=0\):

$$ \operatorname{Div} \vartheta =D_{1} \vartheta ^{1} \bigl(x,u^{(k)}\bigr)+\cdots +D_{r} \vartheta ^{r}\bigl(x,u^{(k)}\bigr)=L.\Delta ,\quad L=(L_{1}, \ldots ,L_{n}), $$

where \(\vartheta =(\vartheta ^{1}, \ldots , \vartheta ^{r})\) is a r-tuple of smooth functions on \(M^{(k)}\), and \(\vartheta ^{i}s\) and L are the fluxes and characteristic of conservation law. Also,

$$ E_{\alpha ^{j}}=\frac{\partial }{\partial {\alpha ^{j}}}-D_{i} \frac{\partial }{\partial {\alpha ^{j}}}+\cdots +(-1)^{s}D_{i_{1}} \cdots D_{i_{s}} \frac{\partial }{\partial {\alpha ^{j}_{i_{1}\cdots i_{s}}}}+\cdots $$

is the Euler operator with respect to \(\alpha ^{j}\). The equations

$$ E_{\alpha ^{j}}F\bigl(x,\alpha ,\partial _{\alpha },\ldots ,\partial ^{s}_{\alpha }\bigr)\equiv 0, \quad j=1,\ldots ,s, $$

hold for arbitrary \(\alpha (x)\) if and only if \(F(x,\alpha ,\partial _{\alpha },\ldots ,\partial ^{s}_{\alpha }) \in \operatorname{Div}\) [10]. Suppose

$$ E_{\alpha ^{j}}\bigl(\Lambda _{\nu }\bigl(x,\alpha ,\partial _{\alpha },\ldots , \partial ^{r}_{\alpha }\bigr)\Delta _{\nu }\bigl(x,u^{(k)}\bigr)\bigr)\equiv 0, \quad j=1, \ldots q. $$

Finally, this set of equations holds for arbitrary functions \(\alpha (x)\) and \(\{\Lambda _{\nu }\}^{l}_{\nu =1}\) yields a local conservation law for the system [10].

Now, all the rules in the form \(\Lambda =\Lambda (x, t, u, u_{x}, u_{t}, u_{xx}, u_{xt}, u_{tt})\) of Eq. (1) are obtained, and the solution of the determining system is

$$ \Lambda _{1} = 1, \qquad \Lambda _{2} = u, $$

where Λ determines a pair of nontrivial local conservation law of \((\rho ,\varrho )\), where

$$ \begin{aligned} &D_{t}\rho + D_{x}\varrho \\ &\quad \equiv \Lambda \biggl(u_{t}- u_{txx}-\frac{1}{2}(p+1) (p+2)u^{p}u_{x}+ \frac{1}{2}p(p-1)u^{p-2}u^{3}_{x}+2pu^{p-1}u_{x}u_{xx}+u^{p}u_{xxx} \biggr). \end{aligned} $$

To calculate \((\rho ,\varrho )\), we can use the strong 2-dimensional homotopy operator

$$ D_{t}\rho + D_{x}\varrho = D_{t} \mathsf{H}_{u(x,t)}^{(t)}f+ D_{x} \mathsf{H}_{u(x,t)}^{(x)}f = 0. $$

Definition 1

The homotopy operator is a pair vector operator of \((\mathsf{H}_{u(x,t)}^{(x)}f, \mathsf{H}_{u(x,t)}^{(t)}f )\), where

$$ \mathsf{H}_{u(x,t)}^{(x)}f = \int _{0}^{1} \Biggl(\sum _{j=1}^{q} \Upsilon _{u^{j}}^{(x)}f \Biggr)[\kappa u]\frac{d\kappa }{\kappa },\qquad \mathsf{H}_{u(x,t)}^{(t)}f = \int _{0}^{1} \Biggl(\sum _{j=1}^{q} \Upsilon _{u^{j}}^{(t)}f \Biggr)[\kappa u]\frac{d\kappa }{\kappa }. $$

The x-integrand, \(\Upsilon _{u^{j}(x,t)}^{(x)}f \) and the t-integrand, \(\Upsilon _{u^{j}(x,t)}^{(t)}f\) are

$$\begin{aligned}& \Upsilon _{u^{j}}^{(x)}f=\sum_{\iota _{1}=1}^{N_{1}^{j}} \sum_{ \iota _{2}=0}^{N_{2}^{j}} \Biggl( \sum _{r_{1}=0}^{\iota _{1}-1} \sum_{r_{2}=0}^{ \iota _{2}} \mathbf{J}^{(x)}u^{j}_{x^{r_{1}}t^{r_{2}}} (-D_{x})^{ \iota _{1}-r_{1}-1}(-D_{t})^{\iota _{2}-r_{2}} \Biggr) \frac{\partial f}{\partial u^{j}_{x^{\iota _{1}}t^{\iota _{2}}}}, \\& \Upsilon _{u^{j}}^{(t)}f=\sum_{\iota _{1}=0}^{N_{1}^{j}} \sum_{ \iota _{2}=1}^{N_{2}^{j}} \Biggl( \sum _{r_{1}=0}^{\iota _{1}} \sum_{r_{2}=0}^{ \iota _{2}-1} \mathbf{J}^{(x)}u^{j}_{x^{r_{1}}t^{r_{2}}} (-D_{x})^{ \iota _{1}-r_{1}}(-D_{t})^{\iota _{2}-r_{2}-1} \Biggr) \frac{\partial f}{\partial u^{j}_{x^{\iota _{1}}t^{\iota _{2}}}}, \end{aligned}$$

where \(N_{1}^{j}\), \(N_{2}^{j}\) are the orders of the derivatives u in x and t and

$$ \mathbf{J}^{(x)}= \mathbf{J}(r_{1}, r_{2}, \iota _{1}, \iota _{2}) = \frac{C( r_{1}+r_{2} , r_{1})C(\iota _{1}+\iota _{2}-r_{1}-r_{2}-1, \iota _{1}-r_{1}-1)}{C(\iota _{1}+\iota _{2} , \iota _{1})}. $$

Also, \(\mathbf{J}^{(t)} = \mathbf{J}(r_{2}, r_{1}, \iota _{2}, \iota _{1})\). Table 5 shows the local conservation law multipliers for the gC-H equation.

Table 5 Conservation laws for Eq. (1)

μ-Symmetry method for the gC-H equation

Suppose that \(\lambda _{i} : J^{(1)}M\longrightarrow \mathbb{R}\) and \(\mu = \lambda _{i} \,dx^{i}\) is a horizontal one-form on \((M^{(1)},\pi ,M) \) which is compatible, i.e., \(D_{i} \lambda _{j} -D_{j} \lambda _{i} =0\) [22]. Let \(\Delta (x,u^{(k)})=0 \) be a scalar PDE of order n, involving r independent variables \(x=(x^{1},\ldots ,x^{r}) \) and one dependent variable \(u=u(x^{1},\ldots ,x^{r}) \). Suppose that \(X= \sum_{i=1}^{p} \phi ^{i}(x,u)\partial _{x^{i}}+ \varphi (x,u) \partial _{u} \) is a vector field. Then the vector field \(Y=X+\sum_{ J =1}^{n} \chi ^{J} \partial _{u_{J}}\) is a μ-prolongation of X on \(M^{(k)}\), if for \(\chi ^{0}=\varphi \), its coefficient satisfies the μ-prolongation formula, i.e.,

$$ \chi ^{J,i}=(D_{i}+\lambda _{i})\chi ^{J} -u_{J,m}(D_{i}+\lambda _{i}) \phi ^{m}. $$
(2)

Let the solution manifold for Δ be denoted by \(\mathcal{S}\). If \(Y:\mathcal{S} \longrightarrow T\mathcal{S}\), we say that X is a μ-symmetry for Δ. In general, if \(\mu =0\), ordinary prolongation and ordinary symmetry are one and the calculation of both is similar. Now to obtain μ-symmetry of a system, apply Y to Δ, and restrict the obtained results to the solution manifold \(\mathcal{S}_{\Delta }\subset M^{(k)}\) that will be up to ϕ, φ and \(\lambda _{i}\). If we consider the \(\lambda _{i}\) as functions on \(M^{(k)}\) and compatibility conditions between the \(\lambda _{i}\), a system of all the dependence on \(u_{J}\) form the determining equation [22]. If X is a vector field on M, then \(V=e^{(\int \mu )}X\) is an exponential vector field. X is a μ-symmetry for Δ if and only if V is a general symmetry for Δ.

Theorem 2

(Order reduction of PDEs under μ-symmetry method)

\(\Delta (x,u^{k})\) be a scalar PDE and \(X= \eta ^{i}(x,u)\partial _{x^{i}}+ \psi (x,u) \partial _{u} \) be a vector field on M, with characteristic \(Q=\psi -u_{i}\eta ^{i} \), and let Y be the μ-prolong of order n of X. If X is a μ-symmetry for Δ, then \(Y:\mathcal{S}_{X} \longrightarrow T\mathcal{S}_{X}\), where \(\mathcal{S}_{X}\subset M^{(k)}\) is the solution manifold for the system \(\Delta _{X}\) made of Δ and \(E_{J}:=D_{J}Q=0 \) for all J with \(| J | =0,1,\ldots ,n-1 \) [22].

To calculate the μ-symmetry of Eq. (1), suppose we have a horizontal one-form \(\mu =\lambda _{1} \,dx+\lambda _{2} \,dt\) such that \(D_{t}\lambda _{1}=D_{x}\lambda _{2} \) when \(\Delta _{u}=0\). Let \(X=\eta \partial _{x}+\tau \partial _{t} +\psi \partial _{u}\) be a vector field on total space and Y be a μ-prolongation of order 3 of X. So,

$$ Y=X+\Psi ^{x} \partial _{u_{x}}+\Psi ^{t} \partial _{u_{t}}+\Psi ^{xx} \partial _{u_{xx}}+ \cdots+\Psi ^{ttt} \partial _{u_{ttt}}, $$

where the coefficients Y are

$$\begin{aligned}& \Psi ^{x} =(D_{x}+\lambda _{1})\psi -u_{x}(D_{x}+\lambda _{1})\eta -u_{t}(D_{x}+ \lambda _{1})\tau , \\& \Psi ^{t} =(D_{t}+\lambda _{2})\psi -u_{x}(D_{t}+\lambda _{2})\eta -u_{t}(D_{t}+ \lambda _{2})\tau, \\& \quad\ldots . \end{aligned}$$
(3)

Applying Y to Eq. (1) and combining terms, we obtain the following system:

$$ \begin{aligned} & -3\xi _{u} u^{p}=0, \\ & 2\tau _{u}=0, \\ & 4 \tau _{uu}=0, \\ & -3u^{p}\tau _{u}+3\xi _{u}=0. \end{aligned} $$
(4)

Suppose that \(\lambda _{1}\) and \(\lambda _{2}\) are any choice of the type

$$ \lambda _{1}=D_{x}\bigl[M(x,t)\bigr]+N(x), \qquad \lambda _{2}=D_{t}\bigl[M(x,t)\bigr]+P(t), $$

and \(M(x,t)\), \(N(x)\) and \(P(t)\) are arbitrary functions. For example, taking \(N(x)=0\), \(P(t)=0\) and \(M(x,t)=-\ln (G(x,t))\) into \(\lambda _{1}\) and \(\lambda _{2}\), then substituting \(\lambda _{1}=-G_{x}(x,t)/G(x,t)\) and \(\lambda _{2}=-G_{t}(x,t)/G(x,t)\) and solving (4), we deduce that \(\eta = G(x,t)\), \(\tau =0\), \(\psi =0\), where \(G(x,t) \) is an arbitrary positive function. Hence, the vector field \(X=G(x,t)\partial _{x}\) is a μ-symmetry of Eq. (1) and the vector field \(V=\exp (\int \lambda _{1}\,dx+\lambda _{2}\,dt)X=\exp (\int - \frac{G_{x}(x,t)}{G(x,t)}\,dx-\frac{G_{t}(x,t)}{G(x,t)}\,dt)X \), is a general symmetry of exponential type corresponds to X. Now, using Theorem 2, the order reduction of Eq. (1) is \(Q=\psi -\eta u_{x} -\tau u_{t}=-G(x,t)u_{x}\). Other modes are presented in Tables 6 and 7.

Table 6 μ-symmetry of Eq. (1)
Table 7 Order reduction of Eq. (1)

μ-Conservation laws of the gC-H equation

Let \(\mu =\lambda _{i}\,dx^{i}\) be a horizontal one-form such that \(D_{i}\lambda _{j}=D_{j}\lambda _{i}\). A μ-conservation law is

$$ (D_{i}+\lambda _{i}) P^{i}=0, $$

where the μ-conserved vector \(P^{i}\) is a matrix-valued M-vector.

Theorem 3

([12])

Let \(\mathcal{L}(x,u^{n})\) represent the nth order Lagrangian. X is a μ-symmetry for \(\mathcal{L}\), in other words, \(Y[\mathcal{L}]=0\) if and only if there exists M-vector \(P^{i}\) such that \((D_{i}+\lambda _{i}) P^{i}=0\).

To calculate the \(P^{i}\), let \(\mathcal{L}(x,u^{2})\) be a second order Lagrangian, and the vector field \(X=\psi (\partial /\partial u)\) be a μ-symmetry for \(\mathcal{L}\). Then the M-vector \(P^{i}\) is obtained as follows [12]:

$$ P^{i}:=\psi \frac{\partial \mathcal{L}}{\partial u_{i}}+ \bigl((D_{j}+ \lambda _{j})\psi \bigr) \frac{\partial \mathcal{L}}{\partial u_{ij}} - \psi D_{j} \frac{\partial \mathcal{L}}{\partial u_{ij}}. $$
(5)

The Frechet derivative of a system is self-adjoint, i.e., \(D^{*}_{\Delta }=D_{\Delta }\) iff the system accepts a variational formulation [7].

Theorem 4

Let \(\Delta =0\) be a PDE and \(\mathfrak{L}=\int L \,dx\) is a variational problem. Then \(\Delta =E(L)\), i.e., Δ is the Euler–Lagrange expression for L, iff the Frechet derivative \(D_{\Delta }\) is self-adjoint. Also, using the homotopy formula \(L[u]=\int _{0}^{1} u.\Delta (\kappa u)\,d\kappa \), the Lagrangian for Δ can be precisely constructed.

The gC-H equation \((\Delta _{u})\) is of odd order and its Frechet derivative is

$$\begin{aligned} D_{\Delta _{u}} =&-\frac{1}{2}(p+1) (p+2)u^{p-1}u_{x}+ \frac{1}{2}p(p-1)u^{p-3}u^{3}_{x} +2pu^{p-2}u_{x}u_{xx} \\ &{}+u^{p-1}u_{xxx}+ \biggl(\frac{-1}{2}(p+1) (p+2)u^{p}+\frac{1}{2}p(p-1)u^{p-2}u_{x}^{2}+2pu^{p-1}u_{xx} \biggr)D_{x} \\ &{}+2pu^{p-1}u_{x}D_{x}^{2}+u^{p}D_{x}^{3}+D_{t}-D_{x}^{2}D_{t}. \end{aligned}$$

Note that \(D^{*}_{\Delta _{u}} \neq D_{\Delta _{u}}\). So, \(\Delta _{u}\) does not admit a variational problem. The gC-H equation in potential form \(\Delta _{v}\) obtained by the well-known differential substitution \(u=v_{x}\) and its Frechet derivative are

$$\begin{aligned}& \begin{aligned} \Delta _{v} &= v_{xt}- v_{txxx}- \frac{1}{2}(p+1) (p+2)v_{x}^{p}v_{xx}+ \frac{1}{2}p(p-1)v_{x}^{p-2}v^{3}_{xx} \\ &\quad {}+2pv_{x}^{p-1}v_{xx}v_{xxx}+v_{x}^{p}v_{xxxx}=0, \end{aligned} \\& \begin{aligned} D_{\Delta _{v}}&=D_{x} D_{t}-D_{x}^{3}D_{t}+ \biggl( - \frac{1}{2}(p+1) (p+2)v_{x}^{p-1}v_{xx} +\frac{1}{2}p(p-1)v_{x}^{p-3}v^{3}_{xx} \\ &\quad {}+2pv_{x}^{p-2}v_{xx}v_{xxx} +v_{x}^{p-1}v_{xxxx} \biggr)D_{x} + \biggl( - \frac{1}{2}(p+1) (p+2)v_{x}^{p} \\ &\quad {}+\frac{1}{2}p(p-1)v_{x}^{p-2}v^{2}_{xx} +2pv_{x}^{p-1}v_{xxx} \biggr)D^{2}_{x}+2pv_{x}^{p-1}v_{xx}D_{x}^{3}+v_{x}^{p}D_{x}^{4}, \end{aligned} \end{aligned}$$

which is self-adjoint and the Lagrangian of \(\Delta _{v}\) is

$$\begin{aligned} \mathcal{L}[v] =& \int _{0}^{1} v. \Delta _{v}( \kappa v)\,d\kappa =- \frac{1}{2} \bigl(v_{x} v_{t}+v_{xx}v_{xt}-v_{x}^{p}v_{xx}^{2} -v_{x}^{p+2} \bigr)+\operatorname{Div}P. \\ =&-\frac{1}{2} \bigl(v_{x} v_{t}+v_{xx}v_{xt}-v_{x}^{p}v_{xx}^{2}-v_{x}^{p+2} \bigr). \end{aligned}$$

For calculation of the μ-conservation law of \(\Delta _{v} =E(\mathcal{L}[v])\), let \(X=\psi \partial _{v}\) be a vector field for \(\mathcal{L}[v]\), and \(\mu =\lambda _{1} \,dx+\lambda _{2} \,dt\) be a horizontal one-form such that \(D_{t}\lambda _{1}=D_{x}\lambda _{2}\) when \(\Delta _{v}=0\). Now, using (2), Y and its coefficients are

$$\begin{aligned}& Y =\psi \partial _{v}+\Psi ^{x} \partial _{v_{x}}+\Psi ^{t} \partial _{v_{t}}+ \Psi ^{xx} \partial _{v_{xx}}+\Psi ^{xt} \partial _{v_{xt}} /+\Psi ^{tt} \partial _{v_{tt}}, \\& \Psi ^{x} =(D_{x}+\lambda _{1})\psi , \\& \Psi ^{t} =(D_{t}+\lambda _{2})\psi , \\& \Psi ^{xx} =(D_{x}+\lambda _{1}) \Psi ^{x}, \\& \Psi ^{xt} =(D_{t}+\lambda _{2}) \Psi ^{x}, \\& \Psi ^{tt} =(D_{t}+\lambda _{2}) \Psi ^{t}. \end{aligned}$$

Applying the μ-prolongation Y on the \(\mathcal{L}[v]\), and substituting \((-v_{xx}v_{xt}+v_{x}^{p}v_{xx}^{2}+v_{x}^{p+2})/v_{x}\) for \(v_{t}\) into it, we obtain the system

$$ \begin{aligned} &(1/2)p\psi _{v}=0, \\ & -(1/2) \psi _{vv}=0, \\ &(1/2) (\lambda _{1}\psi +\psi _{x} ) =0, \\ & \ldots . \end{aligned} $$
(6)

Consider \(\varphi =G(x,t)\), where \(G(x,t) \) is an arbitrary positive function and \(\mathcal{L}[v]=0\). Now, a special solution of system (6) is

$$ \lambda _{1}=-\frac{G_{x}(x,t)}{G(x,t)} ,\qquad \lambda _{2}=- \frac{G_{t}(x,t)}{G(x,t)}. $$
(7)

Therefore, \(X=G(x,t)\partial _{v}\) is a μ-symmetry for \(\mathcal{L}[v]\) and there exists an M-vector \(P^{i}\) which is μ-conservation law, i.e., \((D_{i}+\lambda _{i})P^{i}=0\). The M-vector \(P^{i}\) for \(\mathcal{L}[v]\) is obtained:

$$\begin{aligned}& P^{1} = -\frac{1}{2} \bigl(v_{t}-2v_{txx}-(p+2)v_{x}^{p+1}+pv_{x}^{p-1}v_{xx}^{2}+2v_{x}^{p}v_{xxx} \bigr)G(x,t), \\& P^{2} = -\frac{1}{2}v_{x}G(x,t). \end{aligned}$$
(8)

So, μ-conservation law for second order Lagrangian \(\mathcal{L}[v]\) is the form \((D_{x}+\lambda _{1})P^{1}+ (D_{t}+\lambda _{2})P^{2}=0\).

Corollary 2

The μ-conservation law for the gC-H equation in potential form \(\Delta _{v} = E(\mathcal{L}[v])\) is \(D_{x} P^{1}+ D_{t} P^{2} + \lambda _{1} P^{1} +\lambda _{2} P^{2} =0 \), where \(P^{1}\) and \(P^{2}\) are the M-vectors \(P^{i}\) of (8).

Remark 1

The gC-H equation in potential form \(\Delta _{v}\) satisfies Noether’s theorem for μ-symmetry and μ-conservation law, i.e.

$$\begin{aligned} (D_{i}+\lambda _{i})P^{i} =& (D_{x}+\lambda _{1})P^{1}+ (D_{t}+ \lambda _{2})P^{2} \\ =& G(x,t) \biggl(v_{xt}- v_{txxx}-\frac{1}{2}(p+1) (p+2)v_{x}^{p}v_{xx} \\ &{}+\frac{1}{2}p(p-1)v_{x}^{p-2}v^{3}_{xx} +2pv_{x}^{p-1}v_{xx}v_{xxx}+v_{x}^{p}v_{xxxx} \biggr) \\ =&Q E\bigl(\mathcal{L}[v]\bigr) . \end{aligned}$$

To compute the μ-conservation law of the gC-H equation \(\Delta _{u}\), we can use the gC-H equation in potential form \(\Delta _{v}\). The \(\Delta _{v}\) corresponds to \(D_{x}(v_{t}-v_{txx}-(1/2)(p+2) v^{p+1}_{x}+(1/2)pv_{x}^{p-1}v_{xx}^{2}+v_{x}^{p}v_{xxx})=0\), or equivalently \(v_{t}-v_{txx}-(1/2)(p+2) v^{p+1}_{x}+(1/2)pv_{x}^{p-1}v_{xx}^{2}+v_{x}^{p}v_{xxx}=h(t)\), where \(h(t)\) is an arbitrary function. If we substitute

$$ h(t)+v_{txx}+(1/2) (p+2) v^{p+1}_{x} - (1/2)pv_{x}^{p-1}v_{xx}^{2}-v_{x}^{p}v_{xxx} $$

for \(v_{t}\) and substitute u for \(v_{x}\) into (8), then we obtain the M-vectors \(P^{1}\) and \(P^{2}\) as follows:

$$\begin{aligned}& P^{1} = -\frac{1}{2} \biggl(h(t)-u_{tx}-\frac{1}{2}(p+2)u^{p+1}+ \frac{1}{2}pu^{p-1}u_{x}^{2}+u^{p}u_{xx} \biggr)G(x,t) , \\& P^{2} = -\frac{1}{2}uG(x,t) . \end{aligned}$$
(9)

Corollary 3

The μ-conservation law for the gC-H equation \(\Delta _{u}\) is \(D_{x} P^{1}+ D_{t} P^{2} + \lambda _{1} P^{1} +\lambda _{2} P^{2} =0\), where \(P^{1}\) and \(P^{2}\) are the M-vectors \(P^{i}\) of (9).

Remark 2

The gC-H equation \(\Delta _{u}\) satisfies the characteristic form, i.e.,

$$\begin{aligned} (D_{i}+\lambda _{i})P^{i} =& (D_{x}+\lambda _{1})P^{1}+ (D_{t}+ \lambda _{2})P^{2} \\ =& F(x,t) \biggl(u_{t}- u_{txx}-\frac{1}{2}(p+1) (p+2)u^{p}u_{x} \\ &{}+\frac{1}{2}p(p-1)u^{p-2}u^{3}_{x} +2pu^{p-1}u_{x}u_{xx}+u^{p}u_{xxx} \biggr) \\ =&Q \Delta _{u}. \end{aligned}$$

Conclusion

We attempted to study the generalized Camassa–Holm equation using the symmetry approach in this paper. The general form of an infinitesimal generator admitted for the generalized Camassa–Holm equation and transformed solutions are calculated. Then the optimal system, one-dimensional subalgebras, Lie invariants, reduced equations, differential invariants and the conservation laws corresponding to the infinitesimal symmetries of the gC-H equation are obtained. In the second part, μ-symmetry and order reduction, Lagrangian of generalized Camassa–Holm equation in potential form and μ-conservation laws of the gC-H equation are calculated. In [29], by defining the new variable, the symmetries of the generalized Camassa–Holm equation are obtained. Also in [3032], the equations derived from the generalized Camassa–Holm equation are discussed in several ways.

Availability of data and materials

Not applicable.

References

  1. 1.

    Farlow, S.J.: Partial Differential Equations for Scientists and Engineers. Dover, New York (1993)

    MATH  Google Scholar 

  2. 2.

    Pinchover, Y., Rubinstein, J.: An Introduction to Partial Differential Equations. Cambridge University Press, Cambridge (2005). https://doi.org/10.1017/CBO9780511801228

    Book  MATH  Google Scholar 

  3. 3.

    Yang, X.J.: General Fractional Derivatives: Theory, Methods and Applications. CRC Press, Boca Raton (2019). https://doi.org/10.1201/9780429284083

    Book  MATH  Google Scholar 

  4. 4.

    Yel, G., Baskonus, H.M., Gao, W.: New dark–bright soliton in the shallow water wave model. AIMS Math. 5(4), 4027–4044 (2019)

    MathSciNet  Article  Google Scholar 

  5. 5.

    Yel, G., Baskonus, H.M., Gao, W.: New numerical simulations for some real world problems with Atangana–Baleanu fractional derivative. Chaos Solitons Fractals 128, 34–43 (2019)

    MathSciNet  Article  Google Scholar 

  6. 6.

    Liu, J.G., Yang, X.-J., Feng, Y.-Y., Zhang, H.-Y.: Analysis of the time fractional nonlinear diffusion equation from diffusion process. J. Appl. Anal. Comput. 10(3), 1060–1072 (2020)

    MathSciNet  MATH  Google Scholar 

  7. 7.

    Olver, P.J.: Applications of Lie Groups to Differential Equations, New York (1986)

    Book  Google Scholar 

  8. 8.

    Khorshidi, M., Goodarzi, H.: Complete symmetry and μ-symmetry analysis of the Kawahara–KdV type equation. Nonlinear Dyn. Syst. Theory 19(1), 170–177 (2019)

    MathSciNet  MATH  Google Scholar 

  9. 9.

    Nadjafikhah, M., Shirvani, V.: Lie symmetries and conservation laws of the Hirota Ramani equation. Commun. Nonlinear Sci. Numer. Simul. 17, 4064–4073 (2012)

    MathSciNet  Article  Google Scholar 

  10. 10.

    Bluman, W., Cheviakov, F., Anco, C.: Construction of conservation law: how the direct method generalizes Noether’s theorem. In: Group Analysis of Differential Equations and Integrability, pp. 1–23 (2009)

    Google Scholar 

  11. 11.

    Cicogna, G., Gaeta, G., Morando, P.: On the relation between standard and μ-symmetries for PDEs. J. Phys. A 37, 9467–9486 (2004)

    MathSciNet  Article  Google Scholar 

  12. 12.

    Cicogna, G., Gaeta, G.: Noether theorem for μ-symmetries. J. Phys. A 40, 11899–11921 (2007)

    MathSciNet  Article  Google Scholar 

  13. 13.

    Jafari, H., Kadkhoda, N., Baleanu, D.: Fractional Lie group method of the time-fractional Boussinesq equation. Nonlinear Dyn. 81(3), 2091–2094 (2105)

    MathSciNet  MATH  Google Scholar 

  14. 14.

    Jafari, H., Sun, H.G., Azadi, M.: Lie symmetry reductions and conservation laws for fractional order coupled KdV system. Adv. Differ. Equ. 2020, 700 (2020)

    MathSciNet  Article  Google Scholar 

  15. 15.

    Jafari, H., Kadkhoda, N., Azadi, M., Yaghobi, M.: Group classification of the time-fractional Kaup–Kupershmidt equation. Sci. Iran. 24(1), 302–307 (2017)

    Google Scholar 

  16. 16.

    Azadi, M., Jafari, H.: Lie symmetry reductions of a coupled KdV system of fractional order. Nonlinear Dyn. Syst. Theory 18(1), 22–28 (2018)

    MathSciNet  MATH  Google Scholar 

  17. 17.

    Liu, J.G., Yang, X.J., Feng, Y.Y., Zhang, H.Y.: On the generalized time fractional diffusion equation: symmetry analysis, conservation laws, optimal system and exact solutions. Int. J. Geom. Methods Mod. Phys. 17(1), 2050013 (2020)

    MathSciNet  Article  Google Scholar 

  18. 18.

    Liu, J.G., Yang, X.J., Feng, Y.Y., Cui, P.: On group analysis of the fractional extended \((2+1)\)-dimentional Zakharov–Kuznetsov equation in quantum magneto-plasmas. Math. Comput. Simul. 178, 407–421 (2020)

    Article  Google Scholar 

  19. 19.

    Wang, Z.-L., Liu, X.-Q.: Symmetry reductions and exact solutions of the \((2+ 1)\)-dimensional Camassa–Holm Kadomtsev–Petviashvili equation. Pramana J. Phys. 85, 3–16 (2015)

    Article  Google Scholar 

  20. 20.

    Jafari, H., Kadkhoda, N., Baleanu, D.: Lie group theory for nonlinear fractional \(K (m, n)\) type equation with variable coefficients (2020). arXiv:2006.08014v1

  21. 21.

    Muriel, C., Romero, J.L.: New methods of reduction for ordinary differential equation. IMA J. Appl. Math. 66, 111–125 (2001)

    MathSciNet  Article  Google Scholar 

  22. 22.

    Gaeta, G., Morando, P.: On the geometry of lambda-symmetries and PDEs reduction. J. Phys. A 37, 6955–6975 (2004)

    MathSciNet  Article  Google Scholar 

  23. 23.

    Gaeta, G.: Lambda and mu-symmetries. In: SPT2004. World Scientific, Singapore (2005)

    Google Scholar 

  24. 24.

    Muriel, C., Romero, J.L., Olver, P.J.: Variationl \(C^{\infty }\)-symmetries and Euler–Lagrange equations. J. Differ. Equ. 222, 164–184 (2006)

    Article  Google Scholar 

  25. 25.

    Novikov, V.: Generalizations of the Camassa–Holm equation. J. Phys. A, Math. Theor. 42(34), 342002 (2009)

    MathSciNet  Article  Google Scholar 

  26. 26.

    Camassa, R., Holm, D.D.: An integrable shallow water equation with peaked solitons. Phys. Rev. Lett. 71, 1661–1664 (1993)

    MathSciNet  Article  Google Scholar 

  27. 27.

    Baskonus, H.M., Bulut, H.: A comparison between NTDM and VIM for modified Camassa–Holm and modified Degasperis–Procesi equations. Nonlinear Stud. 22(4), 601–611 (2015)

    MathSciNet  MATH  Google Scholar 

  28. 28.

    Fuchssteiner, B., Fokas, A.S.: Symplectic structures, their Backlund transformations and hereditary symmetries. Physica D 4, 47–66 (1981/1982)

  29. 29.

    Anco, S.C., Recio, E., Gandarias, M.L., Bruzón, M.S.: A nonlinear generalization of the Camassa–Holm equation with peakon solutions. In: Dynamical Systems, Differential Equations and Applications. AIMS Proceedings, pp. 29–37 (2015)

    Google Scholar 

  30. 30.

    Salas, A.H., Lugo, J.G.E.: New solutions for the modified generalized Degasperis–Procesi equation. J. Appl. Math. Comput. (2009). https://doi.org/10.1016/j.amc.2009.08.064

    MathSciNet  Article  Google Scholar 

  31. 31.

    Anco, S.C., da Silva, P., Freire, I.L.: A family of wave-breaking equations generalizing the Camassa–Holm and Novikov equations. J. Math. Phys. 56, 091506 (2015)

    MathSciNet  Article  Google Scholar 

  32. 32.

    Lu, J., Hong, X.: Exact traveling wave solutions for generalized Camassa–Holm equation by polynomial expansion methods. Appl. Math. 7, 1599–1611 (2016)

    Article  Google Scholar 

Download references

Acknowledgements

We would like thank the editor and reviewers for their thoughtful and detailed comments on our paper.

Funding

Not applicable.

Author information

Affiliations

Authors

Contributions

All authors have read and approved the final manuscript.

Corresponding author

Correspondence to M. Khorshidi.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Jafari, H., Goodarzi, K., Khorshidi, M. et al. Lie symmetry and μ-symmetry methods for nonlinear generalized Camassa–Holm equation. Adv Differ Equ 2021, 322 (2021). https://doi.org/10.1186/s13662-021-03471-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-021-03471-0

MSC

  • 58D19
  • 58J70
  • 76M60

Keywords

  • Symmetry
  • μ-symmetry
  • Conservation law
  • μ-conservation law
  • Variational problem
  • Order reduction