Group Invariant Solutions and Conserved Quantities of a (3+1)-Dimensional Generalized Kadomtsev–Petviashvili Equation

Abstract

In this work, we investigate a (3+1)-dimensional generalised Kadomtsev–Petviashvili equation, recently introduced in the literature. We determine its group invariant solutions by employing Lie symmetry methods and obtain elliptic, rational and logarithmic solutions. The solutions derived in this paper are the most general since they contain elliptic functions. Finally, we derive the conserved quantities of this equation by employing two approaches—the general multiplier approach and Ibragimov’s theorem. The importance of conservation laws is explained in the introduction. It should be pointed out that the investigation of higher dimensional nonlinear partial differential equations is vital to our perception of the real world since they are more realistic models of natural and man-made phenomena.

1. Introduction

The study of nonlinear partial differential equations (NLPDEs) and their solutions has become a subject of much interest in the past few decades. Modelling natural phenomena such as the behaviour of water waves is often an interdisciplinary research area connecting such areas as mathematics, physics and engineering. Along with the progress in modelling nonlinear phenomena came a myriad of methods designed to derive the exact solutions of these models. Some of these methods are Lie group analysis [1,2,3,4,5], homogeneous balance technique [6], the ansatz method [7], the Hirota bilinear method [8], the $(G^{\prime }/G)$-expansion technique [9,10], the Kudryashov method [11,12], the simplest equation method [13], the Jacobi elliptic function expansion technique [14], and the F-expansion method [15], bifurcation method [16] just to mention a few.

The (3+1)-dimensional Kadomtsev–Petviashvili (KP) equations [17]

$${(u_t+6u{u}_x+u_{xxx})}_x\pm 3u_{yy}\pm 3u_{zz}=0$$

(1)

have their origins in the classic 1970 work of two Soviet physicists Kadomtsev and Petviashvili [18]. It models waves in scenarios where the ratio between the depth of water and the wavelength is very small coupled with insubstantial nonlinear restoring forces. It is also a generalisation of the Korteweg–de Vries (KdV) equation, named after the Dutch mathematicians Korteweg and de Vries [19]. The highest order term $u_{xxx}$ caters for weak dispersion, while the term $u{u}_x$ describes the nonlinearity aspect of a wave and the last two terms of (1) describe diffractive divergence [20]. The sign “±" in the last two terms corresponds to either positive or negative dispersion. Since then, several researchers have studied equations of the form (1), see for instance [21,22,23,24,25,26]. Investigations into (1) have ranged from establishing the stability of their solitons [23], determining their integrability properties [24], Painlevé analysis [25] and deriving their exact multiple wave solutions [26]. The (3+1)-dimensional generalised KP equation

$$u_{tx}+u_{ty}+3u_x{u}_{xy}+3u_{xx}{u}_y+u_{xxxy}-u_{zz}=0$$

(2)

to the best of our knowledge was introduced in [27], where the Plücker relation for determinants was used to obtain one Wronskian solution. Furthermore, in the same work, the Jacobi identity for determinants was used to establish a Grammian solution for (2). Multiple solitons and multiple singular solitons for Equation (2) were derived in [28] using a simplified form of Hirota’s method. In their work, the researchers in [28] contrast their results with those obtained in [27] in terms of the spatial variable z. Later in [29], an extra term $u_{tz}$, was added to (2), thus introducing a new form of the (3+1)-dimensional generalised KP equation, which we denote here by (3+1)-D gKPe, and it reads

$$u_{tx}+u_{ty}+u_{tz}+3u_x{u}_{xy}+3u_{xx}{u}_y+u_{xxxy}-u_{zz}=0.$$

(3)

In their work [29], the authors showed that addition of the new term affects the dispersion relations significantly. Furthermore, they applied Hirota’s direct method to determine the multiple soliton solutions of (3). In [30], the Equation (3) was studied and exact solutions were obtained through the use of Hirota’s bilinear method and an extended homoclinic test approach.

In this work, we seek to derive the exact solutions of the (3+1)-D gKPe (3) by making use of its Lie point symmetries and direct integration. We will not employ adhoc methods as often is the case when treating NLPDEs of this nature. Furthermore, we will for the first time derive the conserved quantities of Equation (3) by invoking two approaches.

Lie group theory was discovered by a Norwegian mathematician, Marius Sophus Lie (1842–1899), around the middle of nineteenth century. Lie perceived that the seemingly different methods for finding exact solutions of differential equations were, in reality, all special cases of a broad integration approach; the theory of transformation groups. This theory is an analog of Galois theory and has an enormous impact on mathematics and mathematical physics today. It is contemplated to be one of the most significant techniques to determine the exact solutions of differential equations [1,2,3,4,5].

Conservation laws are essential to our comprehension of the physical world and are considered to be basic laws of nature, with wide application in physics, and in other fields for instance chemistry, engineering, and so on. In classical physics, three types of such laws are conservation of energy, linear momentum and angular momentum. Conservation laws are used in establishing the integrability of differential equations (DEs) and are also used in determining whether the solution of a DE exists and is unique. Moreover, one can also use conservation laws in checking the authenticity of numerical solution methods [31,32,33,34,35,36,37,38,39,40,41,42,43,44].

We want to emphasize here that a study of higher dimensional NLPDEs is critical to our understanding of the world around us since they are more realistic models of natural and man-made phenomena [45].

2. Exact Solutions of the (3+1)-D gKPe

In this section, we determine the exact solutions of the (3+1)-D gKPe (3) by utilizing its Lie point symmetries and direct integration. Roughly speaking, a Lie point symmetry of a PDE is a local group of transformations acting on the independent and dependent variables of the PDE that maps every solution of the PDE to another solution of the same PDE. That is to say, it maps the solution set of the PDE to itself.

It can be seen, using for example, MathLie package [46], that Equation (3) has a finite-dimensional Lie subalgebra $L_6$, which is generated by the vector fields

$$\begin{array}{cc}\hfill X_1=& {\displaystyle \frac{\partial }{\partial t}},X_2={\displaystyle \frac{\partial }{\partial x}},X_3={\displaystyle \frac{\partial }{\partial y}},X_4={\displaystyle \frac{\partial }{\partial z}},\hfill \\ \hfill X_5=& -t{\displaystyle \frac{\partial }{\partial t}}+z{\displaystyle \frac{\partial }{\partial x}}+z{\displaystyle \frac{\partial }{\partial y}}+(2t+z){\displaystyle \frac{\partial }{\partial z}},\hfill \\ \hfill X_6=& 15t{\displaystyle \frac{\partial }{\partial t}}+3(4t+x){\displaystyle \frac{\partial }{\partial x}}+3(3y-2z){\displaystyle \frac{\partial }{\partial y}}-3(4t-z){\displaystyle \frac{\partial }{\partial z}}\hfill \\ \hfill & +(4x+4y-3u){\displaystyle \frac{\partial }{\partial u}},\hfill \end{array}$$

(4)

and the two infinite-dimensional subalgebras generated by

$$\begin{array}{c}\hfill X_{F_1}=F_1\left(t\right){\displaystyle \frac{\partial }{\partial u}},X_{F_2}=F_2(t+z){\displaystyle \frac{\partial }{\partial u}},\end{array}$$

(5)

where $F_1$ and $F_2$ are arbitrary functions of their arguments.

2.1. Invariant Solutions under the Symmetries $X_1$, ⋯, $X_4$

Firstly, we invoke the translation symmetries and reduce the (3+1)-D gKPe (3) to a fourth order ordinary differential equation (ODE). Thus, using the four translation symmetries $X_1$, $X_2$, $X_3$ and $X_4$ of Equation (3), we can obtain the following invariant solution:

$$\begin{array}{c}\hfill u(t,x,y,z)=U\left(p\right),p=\gamma x+\alpha y+\beta z-\nu t,\end{array}$$

(6)

where $\gamma$, $\alpha$, $\beta$ and $\nu$ are constants. This reduces the Equation (3) to

$$\alpha {\gamma }^3{U}^{″″}+6\alpha {\gamma }^2{U}^{\prime }{U}^{″}-(\alpha \nu +{\beta }^2+\beta \nu +\gamma \nu )U^{″}=0.$$

(7)

Integrating (7) once with respect to p yields

$$\alpha {\gamma }^3{U}^{‴}+3\alpha {\gamma }^2{U\prime }^2-(\alpha \nu +{\beta }^2+\beta \nu +\gamma \nu )U^{\prime }+K_0=0$$

(8)

with $K_0$ a constant. Now letting

$$U^{\prime }\left(p\right)=\gamma \varphi \left(p\right),\omega =-\frac{\alpha \nu +{\beta }^2+\beta \nu +\gamma \nu }{\alpha {\gamma }^3}\mathrm{and}{K}_1=\frac{K_0}{\alpha {\gamma }^4},$$

Equation (8) becomes

$${\varphi }^{″}+3{\varphi }^2-\omega \varphi +K_1=0.$$

(9)

This ODE can be integrated easily. Multiplying (9) by ${\varphi }^{\prime }$ and integrating once with respect to p gives

$${\varphi \prime }^2=-(2{\varphi }^3-\omega {\varphi }^2+2K_1\varphi +2K_2)$$

(10)

with $K_2$ an integration constant. If the algebraic equation ${\varphi }^3-\frac{1}{2}\omega {\varphi }^2+K_1\varphi +K_2=0$ has the roots ${\lambda }_1\ge {\lambda }_2\ge {\lambda }_3$, then we have

$${\varphi \prime }^2=-2(\varphi -{\lambda }_1)(\varphi -{\lambda }_2)(\varphi -{\lambda }_3).$$

(11)

Equation (11) has the well-known solution expressed in terms of the Jacobi elliptic function, that is,

$$\varphi \left(p\right)={\lambda }_2+({\lambda }_1-{\lambda }_2){\mathrm{cn}}^2\left(\sqrt{\frac{{\lambda }_1-{\lambda }_3}{2}}p\left|M^2\right.\right),M^2=\frac{{\lambda }_1-{\lambda }_2}{{\lambda }_1-{\lambda }_3}.$$

(12)

Here $\mathrm{cn}\left(p\right|M^2)$ is the Jacobi elliptic cosine function. Furthermore, pertinent to note is that when $M^2$→ 1, $\mathrm{cn}\left(p\right|M^2)$$\to$$\mathrm{sech}\left(p\right)$ and when $M^2$→ 0, $\mathrm{cn}\left(p\right|M^2)$$\to$$\cos \left(p\right)$ [47]. A comparison of Equations (9) and (10) reveals that

$$\begin{array}{c}\hfill \omega =2({\lambda }_1+{\lambda }_2+{\lambda }_3),K_1={\lambda }_1{\lambda }_2+{\lambda }_2{\lambda }_3+{\lambda }_1{\lambda }_3,K_2=-{\lambda }_1{\lambda }_2{\lambda }_3.\end{array}$$

Reverting to original variables, the solution of the (3+1)-D gKPe (3) is thus

$$u(t,x,y,z)=\frac{\{{\lambda }_2-(1-M^2){\lambda }_1\}p}{M^2}+\frac{\left({\lambda }_1-{\lambda }_2\right)\mathrm{dn}\left(Ap|M^2\right)E\left(\mathrm{am}\left(Ap|M^2\right)|M^2\right)}{A{M}^2\sqrt{\mathrm{dn}\left(Ap|M^2\right){}^2}},$$

(13)

where $E\left(p\right|M^2)$ is the elliptic integral of the second kind, $\mathrm{am}\left(p\right|M^2)$ is the amplitude function, $\mathrm{dn}\left(p\right|M^2)$ is the delta amplitude function, $\mathrm{cn}\left(p\right|M^2)$ is the Jacobi cosine function and $A=\sqrt{({\lambda }_1-{\lambda }_3)/2}$ [47,48]. Figure 1 depicts the profile of solution (13) for suitable parameter values.

Figure 1 depicts the coexistence of bright and dark solitons. It is well-known that bright soliton profile are characterized by hyperbolic secant. The bright soliton solution usually takes a bell-shaped figure and propagate undistorted without any change in shape for arbitrarily long distances. However, dark soliton solutions, configured also as topological optical solitons, are given by hyperbolic tangent.

Important to note is that Equation (10) is reminiscent of the ODE obtained in the quintessential work of Korteweg and de Vries in [49]. This ODE is associated with long waves propagating along a rectangular canal. The ODE (10) describes stationary waves and by imposing certain constraints such as having the fluid undisturbed at infinity, Korteweg and de Vries obtained negative and positive solitary waves as well as cnoidal wave solutions [49,50].

2.2. Invariant Solution under the Symmetry $X_5$

We now turn our attention to the point symmetry $X_5$. The usual computations yield the group invariant solution $u(t,x,y,z)=U\left(\xi \right)$, where $\xi =t(t+z)$. This, substituted into (3) gives the ODE

$$\xi U^{″}+U^{\prime }=0,$$

(14)

whose solution is $U\left(\xi \right)=C_1+C_{2}ln\left(\xi \right)$, and hence the group invariant solution of the (3+1)-D gKPe (3) under the symmetry $X_5$ is

$$u(t,x,y,z)=C_1+C_{2}ln\left\{t(t+z)\right\}$$

(15)

with $C_1$, $C_2$ integration constants. The corresponding graphical representation of solution (15) is given in Figure 2.

The profiles portrayed in Figure 2 are typical of a grey singular soliton solution, more so the distinctive asymptotic form observable for ${lim}_{t\to 0}u(t,x,y,z)=-\infty$.

2.3. Invariant Solution under the Symmetry $X_6$

Finally, we compute the group invariant solution under $X_6$. By following the ususal procedure we obtain the group invariant solution

$$\begin{array}{c}\hfill u(t,x,y,z)=t^{-\frac{1}{5}}U\left(\xi \right)-\frac{2}{9}t+\frac{2}{3}x+\frac{1}{3}y+\frac{1}{3}z,\end{array}$$

(16)

where $\xi =t^{-1/5}(x-t)$. Substituting (16) into (3) and simplifying ultimately yields the second-order ODE

$$\xi U^{″}+2U^{\prime }=0.$$

(17)

Equation (17) can be solved much like Equation (14), which in turn gives the invariant solution of the (3+1)-D gKPe (3) under the group generated by $X_6$:

$$u(t,x,y,z)=C_1+C_2{t}^{1/5}{(x-t)}^{-1}$$

(18)

with $C_1$, $C_2$ integration constants. In Figure 3, solution (18) is depicted.

The density plot coupled with the two dimensional profile in Figure 3 depicts a singular soliton-like wave with a singularity in the spatial domain at $0\le x\le 20.$

3. Conserved Quantities of the (3+1)-D gKPe

In this section, we compute the conserved quantities of the (3+1)-D gKPe (3). In our work we use the multiplier approach and the conservation theorem due to Ibragimov to derive the conserved quantities of (3). However, first we provide salient features on both these approaches.

3.1. Multiplier Approach

The multiplier method is one of the most robust and preferred methods for deriving conserved quantities of DEs [4,36,37,38,39,40,41]. This method attempts to mitigate the shortcomings of Noether’s theorem [31], which requires amongst other things, the existence of a variational principle or a Lagrangian before the theorem can be applied. We begin by providing a concise basis of the method.

3.1.1. Preliminaries

Let G be a system of m PDEs of order k, having n independent variables $x=(x^1,x^2,\cdots ,x^n)$ and m field variables $\Phi =\left(({\Phi }^1,{\Phi }^2,\cdots ,{\Phi }^m)\right)$:

$$G=(G^1(x,\Phi ,{\Phi }_{\left(1\right)},{\Phi }_{\left(2\right)},\cdots ,{\Phi }_{\left(k\right)}),\cdots ,G^m(x,\Phi ,{\Phi }_{\left(1\right)},{\Phi }_{\left(2\right)},\cdots ,{\Phi }_{\left(k\right)})),$$

(19)

where ${\Phi }_{\left(1\right)},{\Phi }_{\left(2\right)},\cdots ,{\Phi }_{\left(k\right)}$ denote the derivatives of $\Phi$ with respect to the variables x up to the k-th derivative. A local conserved quantity $T^i(x,\Phi ,{\Phi }_{\left(1\right)},{\Phi }_{\left(2\right)},\cdots ,{\Phi }_{\left(l\right)})$ of system (19) is a continutity equation

$$D_i{T}^i{|}_{\epsilon }=0,$$

(20)

valid for the solution space $\epsilon$ of system (19).

In general, local nontrivial conserved quantities emanate from the divergence identity

$$D_{x^1}{T}^1+D_{x^2}{T}^2+\cdots +D_{x^n}{T}^n={\Lambda }_{\alpha }(x,\Phi ,{\Phi }_{\left(1\right)},{\Phi }_{\left(2\right)},\cdots ,{\Phi }_{\left(r\right)})G(\Phi ).$$

(21)

Here, ${\Lambda }_{\alpha }(x,\Phi ,{\Phi }_{\left(1\right)},{\Phi }_{\left(2\right)},\cdots ,{\Phi }_{\left(r\right)})$ is a series of conservation law multipiers which are dependent on x, $\Phi$ and the derivatives of $\Phi$, up to some arbitrary order $r<k$. The relationship (21) brings to light the pre-eminent interrelation between conserved quantities $T^i$ and multipliers ${\Lambda }_{\alpha }$. A determining condition to derive a set of multipliers ${\Lambda }_{\alpha }(x,\Phi ,{\Phi }_{\left(1\right)},{\Phi }_{\left(2\right)},\cdots ,{\Phi }_{\left(r\right)})$ for system (19) is that

$$\frac{\delta }{\delta {\Phi }^{\alpha }}\left({\Lambda }_{\alpha }G\right)=0,\alpha =1,\cdots ,m,$$

(22)

where $\delta /\delta {\Phi }^{\alpha }$ is the Euler–Lagrange operator given by

$$\begin{array}{c}\hfill \frac{\delta }{\delta {\Phi }_i^{\alpha }}=\frac{\partial }{\partial {\Phi }_i^{\alpha }}+\sum _{s\ge 1}{(-1)}^s{D}_{j_1}\cdots D_{j_s}\frac{\partial }{\partial {\Phi }_{i{j}_1{j}_2\cdots j_s}^{\alpha }},i=1,\cdots ,n,\alpha =1,\cdots ,m.\end{array}$$

(23)

The condition (22) is requisite and adequate for $\Lambda$ to be a multiplier. A more rigorous and detailed treatment of the theoretical justification of the multiplier approach including proofs of the formulas utilised in this section can be found in [33].

3.1.2. Application of the Method

In order to determine conserved quantities of Equation (3), we begin by computing the first order multipliers

$$\Lambda =\Lambda (t,x,u,u_x,u_y,u_z),$$

by utilising condition (22), that is,

$$\frac{\delta }{\delta u}\left(\Lambda E\right)=0,$$

(24)

where

$$E\equiv u_{tx}+u_{ty}+u_{tz}+3u_x{u}_{xy}+3u_{xx}{u}_y+u_{xxxy}-u_{zz}=0.$$

The Euler operator (23) is given by

$$\begin{array}{cc}\hfill \frac{\delta }{\delta u}=& \frac{\partial }{\partial u}-D_x\frac{\partial }{\partial u_x}-D_y\frac{\partial }{\partial u_y}+D_t{D}_x\frac{\partial }{\partial u_{tx}}+D_t{D}_y\frac{\partial }{\partial u_{ty}}+D_t{D}_z\frac{\partial }{\partial u_{tz}}\hfill \\ \hfill & +D_x^2\frac{\partial }{\partial u_{xx}}+D_x{D}_y\frac{\partial }{\partial u_{xy}}+D_z^2\frac{\partial }{\partial u_{zz}}+D_x^3{D}_y\frac{\partial }{\partial u_{xxxy}}\hfill \end{array}$$

and $D_t$, $D_x$, $D_y$ and $D_z$ are total derivative operators [4]. Expanding (24) and splitting on derivatives of u, we obtain the following system of nine multiplier determining equations:

$$\begin{array}{l}{\Lambda }_{ty}+{\Lambda }_{tz}-{\Lambda }_{zz}=0,{\Lambda }_{t{u}_x}=0,{\Lambda }_{y{u}_x}=0,{\Lambda }_{z{u}_x}=0,{\Lambda }_{u_x{u}_x}=0,\\ {\Lambda }_x=0,{\Lambda }_u=0,{\Lambda }_{u_y}=0,{\Lambda }_{u_z}=0.\end{array}$$

(25)

The solution algorithm of system (25) is simliar to that of obtaining Lie point symmetries. However, with the aid of Gem, a Maple based package [44], this can be expedited. We thus have the multiplier

$$\Lambda =C{u}_x$$

(26)

with C an integration constant. The conserved quantities of (3) are obtained via the divergence identity

$$\begin{array}{c}\hfill D_t{T}^t+D_x{T}^x+D_y{T}^y+D_z{T}^z=E\Lambda ,\end{array}$$

where $T^t$ is a conserved density and $T^x,T^y,T^z$ are spatial fluxes [36]. Thus, after some calculations, we obtain the following conservation law:

$$\begin{array}{cc}\hfill T^t=& \frac{1}{2}{u_x}^2+\frac{1}{2}{u}_y{u}_x+\frac{1}{2}{u}_z{u}_x,\hfill \\ \hfill T^x=& u{u}_x{u}_{xy}+2{u_x}^2{u}_y+\frac{1}{2}{u}_y{u}_{xxx}-\frac{1}{2}{u}_{xy}{u}_{xx}+\frac{1}{2}{u}_{xxy}{u}_x+\frac{1}{2}u{u}_{ty}+\frac{1}{2}u{u}_{tz}\hfill \\ \hfill & +\frac{1}{2}u{u}_{xxxy}-\frac{1}{2}u{u}_{zz},\hfill \\ \hfill T^y=& -u{u}_x{u}_{xx}-\frac{1}{2}u{u}_{tx}-\frac{1}{2}u{u}_{xxxx},\hfill \\ \hfill T^z=& -\frac{1}{2}u{u}_{tx}+\frac{1}{2}u{u}_{xz}-\frac{1}{2}uz{u}_x.\hfill \end{array}$$

Since the derivatives of u in the multiplier (26) are of a lower order than both leading derivatives of Equation (3), that is, $u_{tx}$ and $u_{xxxy}$, the conserved quantities derived here are low-order conservation laws [36].

3.2. Ibragimov’s Approach

We now determine the conservation laws of (3) by applying a theorem due to Ibragimov [42,43]. As in the case of multiplier method, this theorem does not demand availability of a Lagrangian and is established on a concept of an adjoint equation. Thus, it applies to an arbitrary differential equation, irrespective of whether or not it comes from a variational principle.

3.2.1. Preliminaries

The gist of Ibragimov’s method is that every infinitesimal generator is associated with a conserved quantity, notwithstanding the absence of traditional Lagrangians which are envisaged in Noether’s theorem [31]. Below we outline the method in detail.

Consider a system of NLPDEs (19) and its adjoint equations given by

$$G^{*}(x,\Phi ,\Psi ,{\Phi }_{\left(1\right)},{\Psi }_{\left(1\right)},{\Phi }_{\left(2\right)},{\Psi }_{\left(2\right)},\cdots ,{\Phi }_{\left(k\right)},{\Psi }_{\left(k\right)})=\frac{\delta }{\delta {\Phi }^{\alpha }}(\Psi G_{\beta })$$

(27)

where $\delta /\delta {\Phi }^{\alpha }$ is the Euler–Lagrange operator (23) and m novel field variables $\Psi =({\Psi }^1,\dots ,{\Psi }^m)$.

Theorem 1.

Consider a system of m Equations (19). The adjoint system given by (27), inherits the symmetries of the system (19). Namely, if the system (19) admits a point transformation group with a generator $X={\xi }^i\partial /\partial t+\eta \partial /\partial {\Phi }^{\alpha }$, then the adjoint system (27) admits the operator X extended to the variables ${\Psi }^{\alpha }$ by the formula

$$\begin{array}{c}\hfill {\displaystyle Y={\xi }^i\frac{\partial }{\partial x^i}+{\eta }^{\alpha }\frac{\partial }{\partial {\Phi }^{\alpha }}+{\eta }_{*}^{\alpha }\frac{\partial }{\partial {\Psi }^{\alpha }}}\end{array}$$

(28)

with appropriately chosen ${\eta }_{*}^{\alpha }={\eta }_{*}^{\alpha }(x,\Phi ,\Psi )$.

The functions ${\xi }^i$ and ${\eta }^{\alpha }$ are infinitiesimal generator coefficients dependent on x and $\Phi$. In [43], the coefficients ${\eta }_{*}^{\alpha }$ in (28) are given by

$${\eta }_{*}^{\alpha }=-\left[{\lambda }_{\beta }^{\alpha }{\Psi }^{\beta }+{\Psi }^{\alpha }{D}_i\left({\xi }^i\right)\right],$$

(29)

where ${\lambda }_{\beta }^{\alpha }$ can be computed by utilising the equation

$$X\left(G_{\alpha }\right)={\lambda }_{\alpha }^{\beta }{G}_{\beta }.$$

(30)

We can obtain a conserved vector, for instance, for a third-order Lagrangian by applying the formula

$$\begin{array}{l}{C}^i={\xi }^i\mathcal{L}+W^{\alpha }\left[\frac{\partial \mathcal{L}}{\partial {\Phi }_i^{\alpha }}-D_j\frac{\partial \mathcal{L}}{\partial {\Phi }_{ij}^{\alpha }}+D_j{D}_k\left(\frac{\partial \mathcal{L}}{\partial {\Phi }_{ijk}^{\alpha }}\right)+\cdots \right]\\ +D_j\left(W^{\alpha }\right)\left[\frac{\partial \mathcal{L}}{\partial {\Phi }_{ij}^{\alpha }}-D_k\frac{\partial \mathcal{L}}{\partial {\Phi }_{ijk}^{\alpha }}+\dots \right]+D_j{D}_k\left(W^{\alpha }\right)\frac{\partial \mathcal{L}}{\partial {\Phi }_{ijk}}+\cdots ,\end{array}$$

(31)

where $\mathcal{L}$ is the Lagrangian of the system $G\mathrm{and}{G}^{*}$ that is defined as

$$\mathcal{L}={\Psi }^{\alpha }{G}_{\alpha }$$

(32)

and $W^{\alpha }$ is the Lie characteristic function given by

$$W^{\alpha }={\eta }^{\alpha }-{\xi }^j{\Phi }_j^{\alpha },\alpha =1,\dots ,m.$$

(33)

The reader is referred to [42,43] for a more comprehensive discussion of this method.

3.2.2. Application of the Method

To begin, we define the adjoint equation of (3) as [43]

$$\begin{array}{ll}{F}^{*}& =\frac{\delta }{\delta u}\left\{v(u_{tx}+u_{ty}+u_{tz}+3u_x{u}_{xy}+3u_{xx}{u}_y+u_{xxxy}-u_{zz})\right\}\\ & =\left(\frac{\partial }{\partial u}-D_x\frac{\partial }{\partial u_x}-D_y\frac{\partial }{\partial u_y}+D_t{D}_x\frac{\partial }{\partial u_{tx}}+D_t{D}_y\frac{\partial }{\partial u_{ty}}+D_t{D}_z\frac{\partial }{\partial u_{tz}}\right.\\ & \left.+D_x^2\frac{\partial }{\partial u_{xx}}+D_x{D}_y\frac{\partial }{\partial u_{xy}}+D_z^2\frac{\partial }{\partial u_{zz}}+D_x^3{D}_y\frac{\partial }{\partial u_{xxxy}}\right)\left\{v\left(u_{tx}+u_{ty}\right.\right.\\ & \left.\left.+u_{tz}+3u_x{u}_{xy}+3u_{xx}{u}_y+u_{xxxy}-u_{zz}\right)\right\}\\ & =v_{tx}+v_{ty}+v_{tz}+6v_x{u}_{xy}+3u_x{v}_{xy}+3u_y{v}_{xx}+v_{xxxy}-v_{zz}=0.\end{array}$$

(34)

We have introduced a new variable $v=v(t,x,y,z)$. According to [43], the Equation (3) considered together with its adjoint (34) has a Lagrangian $\mathcal{L}$, given by

$$\mathcal{L}=vF=v(u_{tx}+u_{ty}+u_{tz}+3u_x{u}_{xy}+3u_{xx}{u}_y+u_{xxxy}-u_{zz}).$$

(35)

Notice how $\delta \mathcal{L}/\delta u=F^{*}$ and $\delta \mathcal{L}/\delta v=F$. The Lagrangian (35) is equivalent to the second order Lagrangian

$$\mathcal{L}=v(u_{tx}+u_{ty}+u_{tz}+3u_x{u}_{xy}+3u_{xx}{u}_y-u_{zz})+v_{xx}{u}_{xy}.$$

(36)

Now, Equation (34) admits all the symmetries (4) and (5) of (3) extended to the new variable $v(t,x,y,z)$. That is, the generators (4) and (5) become

$$Y={\displaystyle {\xi }^1\frac{\partial }{\partial t}+{\xi }^2\frac{\partial }{\partial x}+{\xi }^3\frac{\partial }{\partial y}+{\xi }^4\frac{\partial }{\partial z}+\eta \frac{\partial }{\partial u}+{\eta }^{*}\frac{\partial }{\partial v}}$$

(37)

with

$${\eta }^{*}={\eta }^{*}(t,x,y,z,u,v)=-\left\{\lambda +D_t\left({\xi }^1\right)+D_x\left({\xi }^2\right)+D_y\left({\xi }^3\right)+D_z\left({\xi }^4\right)\right\}v.$$

(38)

The parameter $\lambda$ is determined by using

$$X^{\prime }\left(F\right)=\lambda F,$$

(39)

where $X^{\prime }$ is the generator (4) prolonged to all the derivatives in (3), that is,

$$\begin{array}{ll}{X}^{\prime }=& X+{\zeta }_x{\displaystyle \frac{\partial }{\partial u_x}}+{\zeta }_y{\displaystyle \frac{\partial }{\partial u_y}}+{\zeta }_{tx}{\displaystyle \frac{\partial }{\partial u_{tx}}}+{\zeta }_{ty}{\displaystyle \frac{\partial }{\partial u_{ty}}}+{\zeta }_{tz}{\displaystyle \frac{\partial }{\partial u_{tz}}}+{\zeta }_{xx}{\displaystyle \frac{\partial }{\partial u_{xx}}}\\ & +{\zeta }_{xy}{\displaystyle \frac{\partial }{\partial u_{xy}}}+{\zeta }_{zz}{\displaystyle \frac{\partial }{\partial u_{zz}}}+{\zeta }_{xxxy}{\displaystyle \frac{\partial }{\partial u_{xxxy}}}.\end{array}$$

(40)

Here $X={\xi }^1\partial /\partial t+{\xi }^2\partial /\partial x+{\xi }^3\partial /\partial y+{\xi }^4\partial /\partial z+\eta \partial /\partial u$ and ${\xi }^1,\cdots ,$ ${\xi }^4$, and $\eta$ are functions of $(t,x,y,z,u)$. Furthermore, ${\zeta }_x,{\zeta }_y,{\zeta }_{tx},{\zeta }_{ty},{\zeta }_{tz},{\zeta }_{xx},{\zeta }_{xy},{\zeta }_{zz}$ and ${\zeta }_{xxxy}$ are coefficient functions, each given by the following formulae:

$$\begin{array}{cc}\hfill {\zeta }_x=& D_x\left(\eta \right)-u_t{D}_x\left({\xi }^1\right)-u_x{D}_x\left({\xi }^2\right)-u_y{D}_x\left({\xi }^3\right)-u_z{D}_x\left({\xi }^4\right),\hfill \\ \hfill {\zeta }_y=& D_y\left(\eta \right)-u_t{D}_y\left({\xi }^1\right)-u_x{D}_y\left({\xi }^2\right)-u_y{D}_y\left({\xi }^3\right)-u_z{D}_y\left({\xi }^4\right),\hfill \\ \hfill {\zeta }_{tx}=& D_x\left({\zeta }_t\right)-u_{tt}{D}_x\left({\xi }^1\right)-u_{tx}{D}_x\left({\xi }^2\right)-u_{ty}{D}_x\left({\xi }^3\right)-u_{tz}{D}_x\left({\xi }^4\right),\hfill \\ \hfill {\zeta }_{ty}=& D_y\left({\zeta }_t\right)-u_{tt}{D}_y\left({\xi }^1\right)-u_{tx}{D}_y\left({\xi }^2\right)-u_{ty}{D}_y\left({\xi }^3\right)-u_{tz}{D}_y\left({\xi }^4\right),\hfill \\ \hfill {\zeta }_{tz}=& D_z\left({\zeta }_t\right)-u_{tt}{D}_z\left({\xi }^1\right)-u_{tx}{D}_z\left({\xi }^2\right)-u_{ty}{D}_z\left({\xi }^3\right)-u_{tz}{D}_z\left({\xi }^4\right),\hfill \\ \hfill {\zeta }_{xx}=& D_x\left({\zeta }_x\right)-u_{xt}{D}_x\left({\xi }^1\right)-u_{xx}{D}_x\left({\xi }^2\right)-u_{xy}{D}_x\left({\xi }^3\right)-u_{xz}{D}_x\left({\xi }^4\right),\hfill \\ \hfill {\zeta }_{xy}=& D_y\left({\zeta }_x\right)-u_{xt}{D}_y\left({\xi }^1\right)-u_{xx}{D}_y\left({\xi }^2\right)-u_{xy}{D}_y\left({\xi }^3\right)-u_{xz}{D}_y\left({\xi }^4\right),\hfill \\ \hfill {\zeta }_{zz}=& D_z\left({\zeta }_x\right)-u_{zt}{D}_z\left({\xi }^1\right)-u_{zx}{D}_z\left({\xi }^2\right)-u_{zy}{D}_z\left({\xi }^3\right)-u_{zz}{D}_z\left({\xi }^4\right),\hfill \\ \hfill {\zeta }_{xxx}=& D_x\left({\zeta }_{xx}\right)-u_{xxt}{D}_x\left({\xi }^1\right)-u_{xxx}{D}_x\left({\xi }^2\right)-u_{xxy}{D}_z\left({\xi }^3\right)-u_{xxz}{D}_x\left({\xi }^4\right),\hfill \\ \hfill {\zeta }_{xxxy}=& D_y\left({\zeta }_{xxx}\right)-u_{xxxt}{D}_y\left({\xi }^1\right)-u_{xxxx}{D}_y\left({\xi }^2\right)-u_{xxxy}{D}_y\left({\xi }^3\right)-u_{xxxz}{D}_y\left({\xi }^4\right).\hfill \end{array}$$

(41)

See the full expansions of (41) in Appendix A. Now using Equations (3), (39) and (40) we compute the values of the parameter $\lambda$ corresponding to each of the vector fields in (4) and (5).

Cases$X_1$, ⋯, $X_4$

For the time translation symmetry $X_1$, we have ${\xi }^1=1$ and ${\xi }^2={\xi }^3={\xi }^4=\eta =0.$ Thus, it is easy to see that

$$\begin{array}{c}\hfill {\zeta }_x={\zeta }_y={\zeta }_{tx}={\zeta }_{ty}={\zeta }_{tz}={\zeta }_{xx}={\zeta }_{xy}={\zeta }_{zz}={\zeta }_{xxxy}=0.\end{array}$$

Consequently, we have $X_1^{\prime }\left(F\right)=0F,$ that is $\lambda =0$. From (38), we obtain ${\eta }^{*}=0$ and the new generator (4) retains the form of $X_1$, i.e., $Y_1=\partial /\partial t$. Since the generator coefficients are all constants, the translation symmetries will retain their form and this leads us to conclude that $Y_2=\partial /\partial x$, $Y_3=\partial /\partial y$ and $Y_4=\partial /\partial z$.

Case$X_5$

Here, we have the generator coefficients ${\xi }^1=-t$, ${\xi }^2=x$, ${\xi }^3=z$, ${\xi }^4=2t+z$ and $\eta =0$ from which we can establish the following:

$$\begin{array}{cc}\hfill & {\zeta }_x=0,{\zeta }_y=0,{\zeta }_{tx}=u_{tx}-2u_{xz},{\zeta }_{ty}=u_{ty}-2u_{yz},{\zeta }_{tz}=-2u_{zz}-u_{tx}-u_{ty},\hfill \\ \hfill & {\zeta }_{xx}=0,{\zeta }_{xy}=0,{\zeta }_{zz}=-2u_{xz}-2u_{yz}-2u_{zz},{\zeta }_{xxxy}=0.\hfill \end{array}$$

Consequently, we can verify that $X_5^{\prime }\left(F\right)=0F$, that is, $\lambda =0.$ From (38), we can further establish that ${\eta }^{*}=0$. The generator for the adjoint Equation (34) is thus $Y_5=-t\partial /\partial t+z\partial /\partial x+z\partial /\partial y+(2t+z)\partial /\partial z$.

Case$X_6$

The vector field $X_6$ has the coefficients ${\xi }^1=15t$, ${\xi }^2=12t+3x$, ${\xi }^3=9y-6z$, ${\xi }^4=-12t+3z$ and $\eta =4x+4y-3u$. The reckoning of the coefficient functions (41) yields

$$\begin{array}{cc}\hfill & {\zeta }_x=4-6u_x,{\zeta }_y=4-12u_y,{\zeta }_{tx}=-21u_{tx}-12u_{xx}+12u_{xz},\hfill \\ \hfill & {\zeta }_{ty}=-27u_{ty}-12u_{xy}+12u_{yz},{\zeta }_{tz}=-21u_{tz}-12u_{xz}+12u_{zz}+6u_{ty},\hfill \\ \hfill & {\zeta }_{xx}=-9u_{xx},{\zeta }_{xy}=-15u_{xy},{\zeta }_{zz}=-9u_{zz}+12u_{yz},{\zeta }_{xxxy}=-21u_{xxxy}.\hfill \end{array}$$

Now, from Equations (39)–(41), we have

$$\begin{array}{cc}\hfill X_6^{\prime }\left(F\right)=& -21u_{tx}-21u_{ty}-21u_{tz}-63u_x{u}_{xy}-63u_{xx}{u}_y-21u_{xxxy}+21u_{zz}\hfill \\ \hfill =& -21(u_{tx}+u_{ty}+u_{tz}+3u_x{u}_{xy}+3u_{xx}{u}_y+u_{xxxy}-u_{zz})\hfill \\ \hfill =& -21F.\hfill \end{array}$$

We can thus see that $\lambda =-21$. Consequently,

$$\begin{array}{cc}\hfill {\eta }^{*}=& -\left(-21+D_t\left(15t\right)+D_x(12t+3x)+D_y(9y-6z)+D_z(-12t+3z)\right)v\hfill \\ \hfill =& -7v.\hfill \end{array}$$

We now have the vector field:

$Y_6=15t\partial t+(12t+3x)\partial x+(9y-6z)\partial y+(3z-12t)\partial z+(4x+4y-3u)\partial u-9v\partial v,$ corresponding to (34).

Cases$X_7$, $X_8$

Finally, considering the infinite-dimensional vector fields $X_7$ and $X_8$ we have, for (34), $Y_7=F\left(t\right)\partial u$ and $Y_8=F(t+z)\partial u$, respectively.

To compute the conservation laws of (3), we utilise the formula [43]

$$C^i={\xi }^i\mathcal{L}+W^{\alpha }\left(\frac{\partial \mathcal{L}}{\partial u_i^{\alpha }}-D_k\frac{\partial \mathcal{L}}{\partial u_{ik}^{\alpha }}\right)+D_k\left(W^{\alpha }\right)\frac{\partial \mathcal{L}}{\partial u_{ik}^{\alpha }},$$

(42)

where $W^{\alpha }$ is the Lie characteristic function given by $W^{\alpha }={\eta }^{\alpha }-{\xi }^j{u}_j^{\alpha }$. The reckoning of (42) gives the following conserved quantities:

$$\begin{array}{cc}\hfill T_1=& -v{u}_{zz}+3v{u}_x{u}_{xy}+3v{u}_y{u}_{xx}+v{u}_{xxxy}+\frac{1}{2}{v}_z{u}_t+\frac{1}{2}{v}_y{u}_t+\frac{1}{2}{v}_x{u}_t+\frac{1}{2}v{u}_{tz}\hfill \\ \hfill & +\frac{1}{2}v{u}_{ty}+\frac{1}{2}v{u}_{tx},\hfill \\ \hfill X_1=& \frac{3}{2}{v}_y{u}_x{u}_t+3u_y{v}_x{u}_t+\frac{3}{2}v{u}_{xy}{u}_t+\frac{3}{4}{v}_{xxy}{u}_t+\frac{1}{2}{v}_t{u}_t-\frac{3}{2}v{u}_x{u}_{ty}-\frac{1}{4}{v}_{xx}{u}_{ty}\hfill \\ \hfill & -3v{u}_y{u}_{tx}-\frac{1}{2}{v}_{xy}{u}_{tx}+\frac{1}{2}{v}_x{u}_{txy}+\frac{1}{4}{v}_y{u}_{txx}-\frac{3}{4}v{u}_{txxy}-\frac{1}{2}v{u}_{tt},\hfill \\ \hfill Y_1=& \frac{3}{2}{u}_x{v}_x{u}_t-\frac{3}{2}v{u}_{xx}{u}_t+\frac{1}{4}{v}_{xxx}{u}_t+\frac{1}{2}{v}_t{u}_t-\frac{3}{2}v{u}_x{u}_{tx}-\frac{1}{4}{v}_{xx}{u}_{tx}+\frac{1}{4}{v}_x{u}_{txx}\hfill \\ \hfill & -\frac{1}{4}v{u}_{txxx}-\frac{1}{2}v{u}_{tt},\hfill \\ \hfill Z_1=& -v_z{u}_t+\frac{1}{2}{v}_t{u}_t+v{u}_{tz}-\frac{1}{2}v{u}_{tt};\hfill \\ \hfill T_2=& -\frac{1}{2}{u}_{xz}v-\frac{1}{2}{u}_{xy}v-\frac{1}{2}{u}_{xx}v+\frac{1}{2}{u}_x{v}_y+\frac{1}{2}{u}_x{v}_z+\frac{1}{2}{u}_x{v}_x,\hfill \\ \hfill X_2=& 3u_x{u}_{xy}v-u_{zz}v+\frac{1}{4}{u}_{xxxy}v+u_{tz}v+u_{ty}v+\frac{1}{2}{u}_{tx}v+\frac{1}{2}{v}_t{u}_x+\frac{3}{2}{u}_x^2{v}_y+3u_x{u}_y{v}_x\hfill \\ \hfill & +\frac{3}{4}{u}_x{v}_{xxy}-\frac{1}{2}{u}_{xx}{v}_{xy}-\frac{1}{4}{v}_{xx}{u}_{xy}+\frac{1}{2}{v}_x{u}_{xxy}+\frac{1}{4}{u}_{xxx}{v}_y,\hfill \\ \hfill Y_2=& -3u_{xx}{u}_{x}v-\frac{1}{4}{u}_{xxxx}v-\frac{1}{2}{u}_{tx}v+\frac{1}{2}{v}_t{u}_x+\frac{3}{2}{u}_x^2{v}_x+\frac{1}{4}{u}_x{v}_{xxx}-\frac{1}{4}{u}_{xx}{v}_{xx}\hfill \\ \hfill & +\frac{1}{4}{u}_{xxx}{v}_x,\hfill \\ \hfill Z_2=& u_{xz}v-\frac{1}{2}{u}_{tx}v+\frac{1}{2}{v}_t{u}_x-u_x{v}_z;\hfill \end{array}$$

$$\begin{array}{cc}\hfill T_3=& -\frac{1}{2}{u}_{yz}v-\frac{1}{2}{u}_{yy}v-\frac{1}{2}{u}_{xy}v+\frac{1}{2}{u}_y{v}_x+\frac{1}{2}{u}_y{v}_z+\frac{1}{2}{u}_y{v}_y,\hfill \\ \hfill X_3=& -\frac{3}{2}{u}_y{u}_{xy}v-\frac{3}{2}{u}_x{u}_{yy}v-\frac{3}{4}{u}_{xxyy}v-\frac{1}{2}{u}_{ty}v+\frac{1}{2}{v}_t{u}_y+3u_y^2{v}_x+\frac{3}{2}{u}_x{u}_y{v}_y+\frac{3}{4}{u}_y{v}_{xxy}\hfill \\ \hfill & -\frac{1}{2}{u}_{xy}{v}_{xy}+\frac{1}{2}{v}_x{u}_{xyy}-\frac{1}{4}{u}_{yy}{v}_{xx}+\frac{1}{4}{v}_y{u}_{xxy},\hfill \\ \hfill Y_3=& -u_{zz}v+\frac{3}{2}{u}_x{u}_{xy}v+\frac{3}{2}{u}_{xx}{u}_{y}v+\frac{3}{4}{u}_{xxxy}v+u_{tz}v+\frac{1}{2}{u}_{ty}v+u_{tx}v+\frac{1}{2}{v}_t{u}_y+\frac{3}{2}{u}_x{u}_y{v}_x\hfill \\ \hfill & -\frac{1}{4}{v}_{xx}{u}_{xy}+\frac{1}{4}{v}_x{u}_{xxy}+\frac{1}{4}{u}_y{v}_{xxx},\hfill \\ \hfill Z_3=& u_{yz}v-\frac{1}{2}{u}_{ty}v+\frac{1}{2}{v}_t{u}_y-u_y{v}_z;\hfill \\ \hfill T_4=& \frac{1}{2}{u}_z{v}_z-\frac{1}{2}v{u}_{zz}+\frac{1}{2}{u}_z{v}_y-\frac{1}{2}v{u}_{yz}+\frac{1}{2}{u}_z{v}_x-\frac{1}{2}v{u}_{xz},\hfill \\ \hfill X_4=& \frac{3}{2}{u}_z{v}_y{u}_x-\frac{3}{2}v{u}_{yz}{u}_x+3u_z{u}_y{v}_x-3v{u}_y{u}_{xz}+\frac{3}{2}v{u}_z{u}_{xy}-\frac{1}{2}{u}_{xz}{v}_{xy}+\frac{1}{2}{v}_x{u}_{xyz}-\frac{1}{4}{u}_{yz}{v}_{xx}\hfill \\ \hfill & +\frac{1}{4}{v}_y{u}_{xxz}+\frac{3}{4}{u}_z{v}_{xxy}-\frac{3}{4}v{u}_{xxyz}+\frac{1}{2}{u}_z{v}_t-\frac{1}{2}v{u}_{tz},\hfill \\ \hfill Y_4=& \frac{3}{2}{u}_z{u}_x{v}_x+\frac{1}{4}{u}_{xxz}{v}_x-\frac{3}{2}v{u}_x{u}_{xz}-\frac{3}{2}v{u}_z{u}_{xx}-\frac{1}{4}{u}_{xz}{v}_{xx}+\frac{1}{4}{u}_z{v}_{xxx}-\frac{1}{4}v{u}_{xxxz}+\frac{1}{2}{u}_z{v}_t\hfill \\ \hfill & -\frac{1}{2}v{u}_{tz},\hfill \\ \hfill Z_4=& -u_z{v}_z+3v{u}_x{u}_{xy}+3v{u}_y{u}_{xx}+v{u}_{xxxy}+\frac{1}{2}{u}_z{v}_t+\frac{1}{2}v{u}_{tz}+v{u}_{ty}+v{u}_{tx};\hfill \\ \hfill T_5=& -\frac{1}{2}v{u}_z+t{v}_z{u}_z+\frac{1}{2}z{v}_z{u}_z+t{v}_y{u}_z+\frac{1}{2}z{v}_y{u}_z+t{v}_x{u}_z+\frac{1}{2}z{v}_x{u}_z-\frac{1}{2}zv{u}_{zz}-\frac{1}{2}v{u}_y\hfill \\ \hfill & +\frac{1}{2}z{v}_z{u}_y+\frac{1}{2}z{u}_y{v}_y-tv{u}_{yz}-zv{u}_{yz}-\frac{1}{2}zv{u}_{yy}-\frac{1}{2}v{u}_x+\frac{1}{2}z{v}_z{u}_x+\frac{1}{2}z{v}_y{u}_x+\frac{1}{2}z{u}_y{v}_x\hfill \\ \hfill & +\frac{1}{2}z{u}_x{v}_x-tv{u}_{xz}-zv{u}_{xz}-zv{u}_{xy}-3tv{u}_x{u}_{xy}-\frac{1}{2}zv{u}_{xx}-3tv{u}_y{u}_{xx}-tv{u}_{xxxy}\hfill \\ \hfill & -\frac{1}{2}t{v}_z{u}_t-\frac{1}{2}t{v}_y{u}_t-\frac{1}{2}t{v}_x{u}_t-\frac{1}{2}tv{u}_{tz}-\frac{1}{2}tv{u}_{ty}-\frac{1}{2}tv{u}_{tx},\hfill \\ \hfill X_5=& 3z{v}_x{u}_y^2+\frac{3}{2}z{v}_y{u}_x{u}_y+6t{u}_z{v}_x{u}_y+3z{u}_z{v}_x{u}_y+3z{u}_x{v}_x{u}_y-6tv{u}_{xz}{u}_y-3zv{u}_{xz}{u}_y\hfill \\ \hfill & -\frac{3}{2}zv{u}_{xy}{u}_y+\frac{3}{4}z{v}_{xxy}{u}_y-3t{v}_x{u}_t{u}_y+\frac{1}{2}z{v}_t{u}_y+3tv{u}_{tx}{u}_y+\frac{3}{2}z{v}_y{u}_x^2-v{u}_z-zv{u}_{zz}\hfill \\ \hfill & +3t{u}_z{v}_y{u}_x+\frac{3}{2}z{u}_z{v}_y{u}_x-3tv{u}_{yz}{u}_x-\frac{3}{2}zv{u}_{yz}{u}_x-\frac{3}{2}zv{u}_{yy}{u}_x+3tv{u}_z{u}_{xy}+\frac{3}{2}zv{u}_z{u}_{xy}\hfill \\ \hfill & +3zv{u}_x{u}_{xy}-t{u}_{xz}{v}_{xy}-\frac{1}{2}z{u}_{xz}{v}_{xy}-\frac{1}{2}z{u}_{xy}{v}_{xy}+t{v}_x{u}_{xyz}+\frac{1}{2}z{v}_x{u}_{xyz}+\frac{1}{2}z{v}_x{u}_{xyy}\hfill \\ \hfill & -\frac{1}{2}z{v}_{xy}{u}_{xx}-\frac{1}{2}t{u}_{yz}{v}_{xx}-\frac{1}{4}z{u}_{yz}{v}_{xx}-\frac{1}{4}z{u}_{yy}{v}_{xx}-\frac{1}{4}z{u}_{xy}{v}_{xx}+\frac{1}{2}t{v}_y{u}_{xxz}\hfill \\ \hfill & +\frac{1}{4}z{v}_y{u}_{xxz}+\frac{1}{4}z{v}_y{u}_{xxy}+\frac{1}{2}z{v}_x{u}_{xxy}+\frac{3}{2}t{u}_z{v}_{xxy}+\frac{3}{4}z{u}_z{v}_{xxy}+\frac{3}{4}z{u}_x{v}_{xxy}-\frac{3}{2}tv{u}_{xxyz}\hfill \\ \hfill & -\frac{3}{4}zv{u}_{xxyz}-\frac{3}{4}zv{u}_{xxyy}+\frac{1}{4}z{v}_y{u}_{xxx}+\frac{1}{4}zv{u}_{xxxy}+\frac{1}{2}v{u}_t-\frac{3}{2}t{v}_y{u}_x{u}_t-\frac{3}{2}tv{u}_{xy}{u}_t\hfill \\ \hfill & -\frac{3}{4}t{v}_{xxy}{u}_t+t{u}_z{v}_t+\frac{1}{2}z{u}_z{v}_t+\frac{1}{2}z{u}_x{v}_t-\frac{1}{2}t{u}_t{v}_t-tv{u}_{tz}+\frac{1}{2}zv{u}_{tz}+\frac{1}{2}zv{u}_{ty}\hfill \\ \hfill & +\frac{3}{2}tv{u}_x{u}_{ty}+\frac{1}{4}t{v}_{xx}{u}_{ty}+\frac{1}{2}zv{u}_{tx}+\frac{1}{2}t{v}_{xy}{u}_{tx}-\frac{1}{2}t{v}_x{u}_{txy}-\frac{1}{4}t{v}_y{u}_{txx}+\frac{3}{4}tv{u}_{txxy}+\frac{1}{2}tv{u}_{tt},\hfill \end{array}$$

$$\begin{array}{cc}\hfill Y_5=& \frac{3}{2}z{v}_x{u}_x^2+3t{u}_z{v}_x{u}_x+\frac{3}{2}z{u}_z{v}_x{u}_x+\frac{3}{2}z{u}_y{v}_x{u}_x-3tv{u}_{xz}{u}_x-\frac{3}{2}zv{u}_{xz}{u}_x\hfill \\ \hfill & +\frac{3}{2}zv{u}_{xy}{u}_x-3zv{u}_{xx}{u}_x+\frac{1}{4}z{v}_{xxx}{u}_x-\frac{3}{2}t{v}_x{u}_t{u}_x+\frac{1}{2}z{v}_t{u}_x+\frac{3}{2}tv{u}_{tx}{u}_x\hfill \\ \hfill & -v{u}_z-zv{u}_{zz}-3tv{u}_z{u}_{xx}-\frac{3}{2}zv{u}_z{u}_{xx}+\frac{3}{2}zv{u}_y{u}_{xx}-\frac{1}{2}t{u}_{xz}{v}_{xx}-\frac{1}{4}z{u}_{xz}{v}_{xx}\hfill \\ \hfill & -\frac{1}{4}z{u}_{xy}{v}_{xx}-\frac{1}{4}z{u}_{xx}{v}_{xx}+\frac{1}{2}t{v}_x{u}_{xxz}+\frac{1}{4}z{v}_x{u}_{xxz}+\frac{1}{4}z{v}_x{u}_{xxy}+\frac{1}{4}z{v}_x{u}_{xxx}\hfill \\ \hfill & +\frac{1}{2}t{u}_z{v}_{xxx}+\frac{1}{4}z{u}_z{v}_{xxx}+\frac{1}{4}z{u}_y{v}_{xxx}-\frac{1}{2}tv{u}_{xxxz}-\frac{1}{4}zv{u}_{xxxz}+\frac{3}{4}zv{u}_{xxxy}\hfill \\ \hfill & -\frac{1}{4}zv{u}_{xxxx}+\frac{1}{2}v{u}_t+\frac{3}{2}tv{u}_{xx}{u}_t-\frac{1}{4}t{v}_{xxx}{u}_t+t{u}_z{v}_t+\frac{1}{2}z{u}_z{v}_t+\frac{1}{2}z{u}_y{v}_t\hfill \\ \hfill & -\frac{1}{2}t{u}_t{v}_t-tv{u}_{tz}+\frac{1}{2}zv{u}_{tz}+\frac{1}{2}zv{u}_{ty}+\frac{1}{2}zv{u}_{tx}+\frac{1}{4}t{v}_{xx}{u}_{tx}-\frac{1}{4}t{v}_x{u}_{txx}\hfill \\ \hfill & +\frac{1}{4}tv{u}_{txxx}+\frac{1}{2}tv{u}_{tt},\hfill \\ \hfill Z_5=& -2t{u}_z{v}_z-z{u}_z{v}_z-z{u}_y{v}_z-z{u}_x{v}_z+t{u}_t{v}_z+v{u}_y+zv{u}_{yz}+v{u}_x+zv{u}_{xz}\hfill \\ \hfill & +6tv{u}_x{u}_{xy}+3zv{u}_x{u}_{xy}+6tv{u}_y{u}_{xx}+3zv{u}_y{u}_{xx}+2tv{u}_{xxxy}+zv{u}_{xxxy}\hfill \\ \hfill & +\frac{1}{2}v{u}_t+t{u}_z{v}_t+\frac{1}{2}z{u}_z{v}_t+\frac{1}{2}z{u}_y{v}_t+\frac{1}{2}z{u}_x{v}_t-\frac{1}{2}t{u}_t{v}_t+\frac{1}{2}zv{u}_{tz}+2tv{u}_{ty}\hfill \\ \hfill & +\frac{1}{2}zv{u}_{ty}+2tv{u}_{tx}+\frac{1}{2}zv{u}_{tx}+\frac{1}{2}tv{u}_{tt};\hfill \\ \hfill T_6=& -3v{u}_z-9t{u}_{zz}v-\frac{3}{2}z{u}_{zz}v-3u_{y}v+6t{u}_{yz}v-\frac{9}{2}y{u}_{yz}v+\frac{3}{2}z{u}_{yz}v-\frac{9}{2}y{u}_{yy}v\hfill \\ \hfill & +3zv{u}_{yy}-3u_{x}v-\frac{3}{2}x{u}_{xz}v-\frac{3}{2}z{u}_{xz}v-6t{u}_{xy}v-\frac{3}{2}x{u}_{xy}v-\frac{9}{2}y{u}_{xy}v+3z{u}_{xy}v\hfill \\ \hfill & +45t{u}_x{u}_{xy}v-6t{u}_{xx}v-\frac{3}{2}x{u}_{xx}v+45t{u}_y{u}_{xx}v+15t{u}_{xxxy}v+\frac{15}{2}t{u}_{tz}v+\frac{15}{2}t{u}_{ty}v\hfill \\ \hfill & +\frac{15}{2}tv{u}_{tx}+4v-2x{v}_z-2y{v}_z+\frac{3}{2}u{v}_z-6t{u}_z{v}_z+\frac{3}{2}z{u}_z{v}_z+\frac{9}{2}y{v}_z{u}_y-3z{v}_z{u}_y\hfill \\ \hfill & -2x{v}_y-2y{v}_y+\frac{3}{2}u{v}_y-6t{u}_z{v}_y+\frac{3}{2}z{u}_z{v}_y+\frac{9}{2}y{u}_y{v}_y-3z{u}_y{v}_y+6t{v}_z{u}_x\hfill \\ \hfill & +\frac{3}{2}x{v}_z{u}_x+6t{v}_y{u}_x+\frac{3}{2}x{v}_y{u}_x-2x{v}_x-2y{v}_x+\frac{3}{2}u{v}_x-6t{u}_z{v}_x+\frac{3}{2}z{u}_z{v}_x\hfill \\ \hfill & +\frac{9}{2}y{u}_y{v}_x-3z{u}_y{v}_x+6t{u}_x{v}_x+\frac{3}{2}x{u}_x{v}_x+\frac{15}{2}t{v}_z{u}_t+\frac{15}{2}t{v}_y{u}_t+\frac{15}{2}t{v}_x{u}_t,\hfill \end{array}$$

$$\begin{array}{cc}\hfill X_6=& 27y{v}_x{u}_y^2-18z{v}_x{u}_y^2+12v{u}_y-36v{u}_x{u}_y+\frac{27}{2}y{v}_y{u}_x{u}_y-9z{v}_y{u}_x{u}_y-12x{v}_x{u}_y\hfill \\ \hfill & -12y{v}_x{u}_y+9u{v}_x{u}_y-36t{u}_z{v}_x{u}_y+9z{u}_z{v}_x{u}_y+36t{u}_x{v}_x{u}_y+9x{u}_x{v}_x{u}_y\hfill \\ \hfill & +36tv{u}_{xz}{u}_y-9zv{u}_{xz}{u}_y-\frac{27}{2}yv{u}_{xy}{u}_y+9zv{u}_{xy}{u}_y-3v_{xx}{u}_y+\frac{27}{4}y{v}_{xxy}{u}_y\hfill \\ \hfill & -\frac{9}{2}z{v}_{xxy}{u}_y+45t{v}_x{u}_t{u}_y+\frac{9}{2}y{v}_t{u}_y-3z{v}_t{u}_y-45tv{u}_{tx}{u}_y+18t{v}_y{u}_x^2+\frac{9}{2}x{v}_y{u}_x^2\hfill \\ \hfill & +6v{u}_z-12tv{u}_{zz}-3xv{u}_{zz}-6x{v}_y{u}_x-6y{v}_y{u}_x+\frac{9}{2}u{v}_y{u}_x-18t{u}_z{v}_y{u}_x\hfill \\ \hfill & +\frac{9}{2}z{u}_z{v}_y{u}_x+18tv{u}_{yz}{u}_x-\frac{9}{2}zv{u}_{yz}{u}_x-\frac{27}{2}yv{u}_{yy}{u}_x+9zv{u}_{yy}{u}_x-6xv{u}_{xy}\hfill \\ \hfill & -6yv{u}_{xy}+\frac{9}{2}uv{u}_{xy}-18tv{u}_z{u}_{xy}+\frac{9}{2}zv{u}_z{u}_{xy}+36tv{u}_x{u}_{xy}+9xv{u}_x{u}_{xy}\hfill \\ \hfill & +\frac{15}{2}{v}_x{u}_{xy}-3u_x{v}_{xy}+6t{u}_{xz}{v}_{xy}-\frac{3}{2}z{u}_{xz}{v}_{xy}-\frac{9}{2}y{u}_{xy}{v}_{xy}+3z{u}_{xy}{v}_{xy}+2v_{xy}\hfill \\ \hfill & -6t{v}_x{u}_{xyz}+\frac{3}{2}z{v}_x{u}_{xyz}+\frac{9}{2}y{v}_x{u}_{xyy}-3z{v}_x{u}_{xyy}+\frac{9}{4}{v}_y{u}_{xx}-6t{v}_{xy}{u}_{xx}-\frac{3}{2}x{v}_{xy}{u}_{xx}\hfill \\ \hfill & +3t{u}_{yz}{v}_{xx}-\frac{3}{4}z{u}_{yz}{v}_{xx}-\frac{9}{4}y{u}_{yy}{v}_{xx}+\frac{3}{2}z{u}_{yy}{v}_{xx}-3t{u}_{xy}{v}_{xx}-\frac{3}{4}x{u}_{xy}{v}_{xx}+v_{xx}\hfill \\ \hfill & -3t{v}_y{u}_{xxz}+\frac{3}{4}z{v}_y{u}_{xxz}-\frac{27}{2}v{u}_{xxy}+\frac{9}{4}y{v}_y{u}_{xxy}-\frac{3}{2}z{v}_y{u}_{xxy}+6t{v}_x{u}_{xxy}\hfill \\ \hfill & +\frac{3}{2}x{v}_x{u}_{xxy}-3x{v}_{xxy}-3y{v}_{xxy}+\frac{9}{4}u{v}_{xxy}-9t{u}_z{v}_{xxy}+\frac{9}{4}z{u}_z{v}_{xxy}+9t{u}_x{v}_{xxy}\hfill \\ \hfill & +\frac{9}{4}x{u}_x{v}_{xxy}+9tv{u}_{xxyz}-\frac{9}{4}zv{u}_{xxyz}-\frac{27}{4}yv{u}_{xxyy}+\frac{9}{2}zv{u}_{xxyy}+3t{v}_y{u}_{xxx}\hfill \\ \hfill & +\frac{3}{4}x{v}_y{u}_{xxx}+3tv{u}_{xxxy}+\frac{3}{4}xv{u}_{xxxy}-9v{u}_t+\frac{45}{2}t{v}_y{u}_x{u}_t+\frac{45}{2}tv{u}_{xy}{u}_t+\frac{45}{4}t{v}_{xxy}{u}_t\hfill \\ \hfill & -2x{v}_t-2y{v}_t+\frac{3}{2}u{v}_t-6t{u}_z{v}_t+\frac{3}{2}z{u}_z{v}_t+6t{u}_x{v}_t+\frac{3}{2}x{u}_x{v}_t+\frac{15}{2}t{u}_t{v}_t+18tv{u}_{tz}\hfill \\ \hfill & +3xv{u}_{tz}-\frac{3}{2}zv{u}_{tz}+12tv{u}_{ty}+3xv{u}_{ty}-\frac{9}{2}yv{u}_{ty}+3zv{u}_{ty}-\frac{45}{2}tv{u}_x{u}_{ty}\hfill \\ \hfill & -\frac{15}{4}t{v}_{xx}{u}_{ty}+6tv{u}_{tx}+\frac{3}{2}xv{u}_{tx}-\frac{15}{2}t{v}_{xy}{u}_{tx}+\frac{15}{2}t{v}_x{u}_{txy}+\frac{15}{4}t{v}_y{u}_{txx}\hfill \\ \hfill & -\frac{45}{4}tv{u}_{txxy}-\frac{15}{2}tv{u}_{tt},\hfill \end{array}$$

$$\begin{array}{cc}\hfill Y_6=& -9v{u}_x^2+18t{v}_x{u}_x^2+\frac{9}{2}x{v}_x{u}_x^2-6x{v}_x{u}_x-6y{v}_x{u}_x+\frac{9}{2}u{v}_x{u}_x-18t{u}_z{v}_x{u}_x\hfill \\ \hfill & +\frac{9}{2}z{u}_z{v}_x{u}_x+\frac{27}{2}y{u}_y{v}_x{u}_x-9z{u}_y{v}_x{u}_x+18tv{u}_{xz}{u}_x-\frac{9}{2}zv{u}_{xz}{u}_x+\frac{27}{2}yv{u}_{xy}{u}_x\hfill \\ \hfill & -9zv{u}_{xy}{u}_x-36tv{u}_{xx}{u}_x-9xv{u}_{xx}{u}_x-\frac{3}{2}{v}_{xx}{u}_x+3t{v}_{xxx}{u}_x+\frac{3}{4}x{v}_{xxx}{u}_x\hfill \\ \hfill & +\frac{45}{2}t{v}_x{u}_t{u}_x+6t{v}_t{u}_x+\frac{3}{2}x{v}_t{u}_x-\frac{45}{2}tv{u}_{tx}{u}_x+6v{u}_z-9yv{u}_{zz}+6zv{u}_{zz}\hfill \\ \hfill & +6xv{u}_{xx}+6yv{u}_{xx}-\frac{9}{2}uv{u}_{xx}+18tv{u}_z{u}_{xx}-\frac{9}{2}zv{u}_z{u}_{xx}+\frac{27}{2}yv{u}_y{u}_{xx}\hfill \\ \hfill & -9zv{u}_y{u}_{xx}+\frac{9}{4}{v}_x{u}_{xx}+3t{u}_{xz}{v}_{xx}-\frac{3}{4}z{u}_{xz}{v}_{xx}-\frac{9}{4}y{u}_{xy}{v}_{xx}+\frac{3}{2}z{u}_{xy}{v}_{xx}\hfill \\ \hfill & -3t{u}_{xx}{v}_{xx}-\frac{3}{4}x{u}_{xx}{v}_{xx}+v_{xx}-3t{v}_x{u}_{xxz}+\frac{3}{4}z{v}_x{u}_{xxz}+\frac{9}{4}y{v}_x{u}_{xxy}-\frac{3}{2}z{v}_x{u}_{xxy}\hfill \\ \hfill & -3v{u}_{xxx}+3t{v}_x{u}_{xxx}+\frac{3}{4}x{v}_x{u}_{xxx}-x{v}_{xxx}-y{v}_{xxx}+\frac{3}{4}u{v}_{xxx}-3t{u}_z{v}_{xxx}\hfill \\ \hfill & +\frac{3}{4}z{u}_z{v}_{xxx}+\frac{9}{4}y{u}_y{v}_{xxx}-\frac{3}{2}z{u}_y{v}_{xxx}+3tv{u}_{xxxz}-\frac{3}{4}zv{u}_{xxxz}+\frac{27}{4}yv{u}_{xxxy}\hfill \\ \hfill & -\frac{9}{2}zv{u}_{xxxy}-3tv{u}_{xxxx}-\frac{3}{4}xv{u}_{xxxx}-9v{u}_t-\frac{45}{2}tv{u}_{xx}{u}_t+\frac{15}{4}t{v}_{xxx}{u}_t-2x{v}_t\hfill \\ \hfill & -2y{v}_t+\frac{3}{2}u{v}_t-6t{u}_z{v}_t+\frac{3}{2}z{u}_z{v}_t+\frac{9}{2}y{u}_y{v}_t-3z{u}_y{v}_t+\frac{15}{2}t{u}_t{v}_t+6tv{u}_{tz}\hfill \\ \hfill & +9yv{u}_{tz}-\frac{15}{2}zv{u}_{tz}+\frac{9}{2}yv{u}_{ty}-3zv{u}_{ty}-6tv{u}_{tx}-\frac{3}{2}xv{u}_{tx}+9yv{u}_{tx}\hfill \\ \hfill & -6zv{u}_{tx}-\frac{15}{4}t{v}_{xx}{u}_{tx}+\frac{15}{4}t{v}_x{u}_{txx}\hfill \\ \hfill & -\frac{15}{4}tv{u}_{txxx}-\frac{15}{2}tv{u}_{tt},\hfill \\ \hfill Z_6=& 12v{u}_z+12t{v}_z{u}_z-3z{v}_z{u}_z-6t{v}_t{u}_z+\frac{3}{2}z{v}_t{u}_z+4x{v}_z+4y{v}_z-3u{v}_z\hfill \\ \hfill & -6v{u}_y-9y{v}_z{u}_y+6z{v}_z{u}_y+9yv{u}_{yz}-6zv{u}_{yz}-6v{u}_x-12t{v}_z{u}_x\hfill \\ \hfill & -3x{v}_z{u}_x+12tv{u}_{xz}+3xv{u}_{xz}-36tv{u}_x{u}_{xy}+9zv{u}_x{u}_{xy}-36tv{u}_y{u}_{xx}\hfill \\ \hfill & +9zv{u}_y{u}_{xx}-12tv{u}_{xxxy}+3zv{u}_{xxxy}-9v{u}_t-15t{v}_z{u}_t-2x{v}_t-2y{v}_t\hfill \\ \hfill & +\frac{3}{2}u{v}_t+\frac{9}{2}y{u}_y{v}_t-3z{u}_y{v}_t+6t{u}_x{v}_t+\frac{3}{2}x{u}_x{v}_t+\frac{15}{2}t{u}_t{v}_t+9tv{u}_{tz}+\frac{3}{2}zv{u}_{tz}\hfill \\ \hfill & -12tv{u}_{ty}-\frac{9}{2}yv{u}_{ty}+6zv{u}_{ty}-18tv{u}_{tx}-\frac{3}{2}xv{u}_{tx}+3zv{u}_{tx}-\frac{15}{2}tv{u}_{tt};\hfill \\ \hfill T_{F_1}=& \frac{1}{2}{F}_1\left(t\right)v_x-\frac{1}{2}{F}_1\left(t\right)v_y-\frac{1}{2}{F}_1\left(t\right)v_z,\hfill \\ \hfill X_{F_1}=& -\frac{3}{2}{F}_1\left(t\right)u_{xy}v+\frac{1}{2}{F}_1^{\prime }v-\frac{3}{2}{F}_1\left(t\right)u_x{v}_y-3F_1\left(t\right)u_y{v}_x-\frac{3}{4}{F}_1\left(t\right)v_{xxy}-\frac{1}{2}{F}_1\left(t\right)v_t,\hfill \\ \hfill Y_{F_1}=& \frac{3}{2}{F}_1\left(t\right)u_{xx}v+\frac{1}{2}{F}_1^{\prime }v-\frac{3}{2}{F}_1\left(t\right)u_x{v}_x-\frac{1}{4}{F}_1\left(t\right)v_{xxx}-\frac{1}{2}{F}_1\left(t\right)v_t,\hfill \\ \hfill Z_{F_1}=& \frac{1}{2}{F}_1^{\prime }v+F_1\left(t\right)v_z-\frac{1}{2}{F}_1\left(t\right)v_t;\hfill \end{array}$$

$$\begin{array}{cc}\hfill T_{F_2}=& \frac{1}{2}{F}_2^{\prime }v-\frac{1}{2}{v}_x{F}_2(t+z)-\frac{1}{2}{v}_y{F}_2(t+z)-\frac{1}{2}{v}_z{F}_2(t+z),\hfill \\ \hfill X_{F_2}=& -\frac{3}{2}{F}_2(t+z)u_{xy}v+\frac{1}{2}{F}_2^{\prime }v-\frac{3}{2}{u}_x{v}_y{F}_2(t+z)-3u_y{v}_x{F}_2(t+z)\hfill \\ \hfill & -\frac{3}{4}{F}_2(t+z)v_{xxy}-\frac{1}{2}{v}_t{F}_2(t+z),\hfill \\ \hfill Y_{F_2}=& \frac{3}{2}{u}_{xx}{F}_2(t+z)v+\frac{1}{2}{F}_2^{\prime }v-\frac{3}{2}{u}_x{v}_x{F}_2(t+z)-\frac{1}{4}{v}_{xxx}{F}_2(t+z)-\frac{1}{2}{v}_t{F}_2(t+z),\hfill \\ \hfill Z_{F_2}=& -\frac{1}{2}{F}_2^{\prime }v+v_z{F}_2(t+z)-\frac{1}{2}{v}_t{F}_2(t+z).\hfill \end{array}$$

4. Concluding Remarks

In this work, we used Lie symmetry methods to obtain analytical solutions of the (3+1)-dimensional generalised KP Equation (3). The first solution contains an elliptic integral of the second kind, an amplitude function, a delta amplitude function and a Jacobi cosine function. It is common knowlegde that these functions degenerate to trigonometric or hyperbolic functions depending on the behaviour of the parameter $M^2$. Thus, the solution (13) is to our knowledge the most general solution of (3) that has been obtained to date. Some of the solutions obtained were presented graphically. Furthermore, we obtained logarithmic and rational solutions. Finally, we computed the conserved quantities of Equation (3) using the multiplier method as well as Ibragimov’s conservation theorem. The former method yielded a local low-order conserved quantity, while the later method yielded eight conservation laws with each conserved vector corresponding to an infinitesimal generator.