Skip to main content

Some new exact solutions of \((3+1)\)-dimensional Burgers system via Lie symmetry analysis


In this paper, by using the Lie symmetry analysis, all of the geometric vector fields of the \((3+1)\)-Burgers system are obtained. We find the 1, 2, and 3-dimensional optimal system of the Burger system and then by applying the 3-dimensional optimal system reduce the order of the system. Also the nonclassical symmetries of the \((3+1)\)-Burgers system will be found by employing nonclassical methods. Finally, the ansatz solutions of BS equations with the aid of the tanh method has been presented. The achieved solutions are investigated through two- and three-dimensional plots for different values of parameters. The analytical simulations are presented to ensure the efficiency of the considered technique. The behavior of the obtained results for multiple cases of symmetries is captured in the present framework. The outcomes of the present investigation show that the considered scheme is efficient and powerful to solve nonlinear differential equations that arise in the sciences and technology.


The Burgers system describes the propagation processes for nonlinear waves in fluid mechanics such as diverse non-equilibrium, nonlinear phenomena in turbulence, and inter-face dynamics [12]. Also, this system is used in solitary wave theory to expand integrable models with the extending of famous physical equations. The physicists and mathematicians are looking to study the \((1+1)\)-dimensional and the \((2+1)\)-dimensional integrable models. Because of the real physical space-time being \((3+1)\)-dimensional, researchers have been attempting to detect higher-dimensional models in some ways [29, 31, 32, 51]. Researchers have used many effective techniques to discover the different solution of the Burgers system [10, 48]. One of the Sophus Lie’s significant discoveries in differential equation is to indicate that transforming nonlinear conditions is possible by through infinitesimal invariants which can correspond to the generators of the symmetry group of the system [28]. Having the symmetry group of a system of differential equations has many advantages including the ability to classify the solutions of the differential equations system. This classification is such that we consider both answers in a category that can be converted by some transformational equation. Researchers interested in further reading may refer to recently published articles, including [4, 16, 24, 49]. Another use of these groups is that the differential equations can be classified according to the desired parameter or function. Ovsiannikov [43] gave the strategy for halfway invariant solutions. His technique depends on the idea of an equivalence group, which is a Lie symmetry group working in the extended space of free variables, functions and their subordinates, and saving the class of incomplete differential conditions. The investigation of the correct arrangements has a noteworthy influence in the perusing of nonlinear physical frameworks [37]. Probably the main strategies are the inverse scattering method [18], the Hirota bilinear method [19, 27], Lie symmetry analysis [11, 40], Darboux and Bäcklund transformations [27], the tanh-function method (Duffy and Parkes [15]). In [13], Chao-Qieg and Yue have obtained a new analytical solution of the \((3+1)\)-dimensional Burgers system relied on the Riccati equation. And In [12] another mapping equation is utilized to find variable separation solutions of the \((3+1)\)-dimensional Burgers system and three class of variable separation solutions are driven. Also in [22, 23], Ibragimovs new technique for finding conservation laws and the idea of nonlinear self-adjointness were explained that widely implemented to find conservation laws of equations (for example see [1, 5]). Especially In [3], the nonlinear self-adjointness and conservation laws of the \((3 + 1)\)-dimensional Burgers equation has been obtained by the aid of Ibragimovs method,

$$\begin{aligned} \textrm{BS}: u_{t}=2uu_{y}+2vu_{x}+2w u_{z} + u_{xx}+u_{yy}+u_{zz},\qquad u_{x}= v_{y}, u_{z} = w_{y}. \end{aligned}$$

This equation describes the propagation processes for nonlinear waves in fluid mechanics such as diverse non-equilibrium, nonlinear phenomena in turbulence and inter-face dynamics. Lie symmetries of BS will present some additional results which are also obtained from the Lie algebra structure of Lie symmetry group. We, therefore, plan to make an optimal system of 1-subalgebras of the BS which is useful for classifying of group invariant solutions and to construct an optimal system of 2-subalgebras for the BS, also for 3-subalgebra of the BS which are effectively helping to classify the group invariant solutions. After that, the reduced equation for each element of the optimal system is obtained. Then, using the method of Lie symmetry group a solution will be presented for reduced equations. Afterward, the group invariant solutions of BS is achieved. In [30], the Lie point symmetries of \((3 + 1)\)-dimensional Burgers system is obtained and the system is reduced by them. Finally, we found the nonclassical symmetries that were first discussed in Bluman and Cole [8] in their treatment of generalized self-similar solutions of the linear heat equation [42]. This method and its correlation to direct reduction methods of Clarkson [14] and Galaktionov [17] have become the focus of much research and many applications to physically significant partial differential equations. Obviously, other related points, such as partially invariant solutions differentially partially invariant solutions of group foliation, will give rise to effective and delicate methods of treating differential equations. In [33, 50], they have been able to find a powerful solution method, By using the tanh method for the computation of traveling wave solutions. First an ansatz of power series in tanh was used to obtain solutions of traveling wave of certain nonlinear evolution equations [34]. Recently, Fan and Hon [16] introduced a generalized tanh method to investigate special types of nonlinear equations.

Hereafter, the symmetry reductions, explicit solutions, convergence analysis and conservation laws to the Chen–Lee–Liu model in nonlinear optics were been studied by the authors in [4]. Inc and co-authors surveyed the time fractional generalized Burgers–Huxley equation with Riemann–Liouville derivative via Lie symmetry analysis and the power series expansion method [24]. Tchier and et al. presented an investigation and analysis for the space-time Carleman equation (STCE) in nonlinear dynamical system [49]. Also, some researchers utilized the Lie symmetry analysis for various nonlinear PD equations. See references [25]. Some authors studied the stochastic influenza model with constant vaccination strategy [6], the stochastic meme epidemic model with investigate effect of threshold number [47], a reliable numerical analysis of a stochastic HIV/AIDS model in a two-sex population considering counseling and anti-retroviral therapy [46]. Some research as regards nonlinear study of equations has been made covering nonlinear vibrations of Euler–Bernoulli beams [44], parametrically excited nonlinear oscillators [45], and nonlinear free vibration analysis of tapered beams [7]. This article is organized as follows. In Sect. 2, the Lie symmetries of BS equations have been obtained. By the aid of obtained symmetries, the invariant groups of BS equations are given in Sect. 3. In Sects. 4, 5, and 6 the optimal systems of order one, two, and three of BS equations are presented, respectively. By considering the new coordinates the BS equations are reduced in Sect. 7. In Sect. 8, the nonclassical symmetries of the BS equation are driven. In Sect. 9, by implementing of tanh-function method ansatz solution of BS equations has been found and plotted. Also, in Sect. 10 the results and discussion of graphs and their behavior are given.

Lie symmetry of BS

The method which is conventionally applied to determine the classical symmetries of a partial differential equation is standard and is explained in [9, 40, 41] we consider an infinitesimal generator of Lie symmetry from the following form in order to get the Lie symmetry:

$$ {X}=\xi _{t}\partial _{t}+\xi _{x} \partial _{x}+\xi _{y} \partial _{y}+ \xi _{z} \partial _{z}+\eta _{1} \partial _{u}+\eta _{2} \partial _{v}+ \eta _{3} \partial _{w}, $$

where \(\xi ^{t}, \xi ^{x}, \xi ^{y}, \xi ^{z}\) are functions of \(t, x, y, z\), and \(\eta ^{u}, \eta ^{v}, \eta ^{w}\) are functions of \(t, x, y, z, u, v, w\). By using the invariant condition, such as applying \(\mathrm{pr}^{(2)}{X}\) the second prolongation of X to BS, we have the following system of equations:

$$\begin{aligned} &\eta _{zt}^{3}= \eta ^{3}_{z}= \eta ^{2}_{z}= \eta ^{3}_{wz}= \eta ^{2}_{wz}= \eta ^{3}_{w}= \eta ^{2} _{w}=\eta ^{1}_{x}= \eta ^{2}_{y}= \eta ^{3}_{y}=0, \\ &\eta ^{1}_{w} =\xi ^{1}_{x} =\xi ^{3}_{x} =\xi ^{1}_{y} =\xi ^{2}_{y}= \xi ^{4}_{y}= \xi ^{1}_{z}=\xi ^{3}_{z} =\xi ^{1}_{u} =\xi ^{2}_{u}= \eta ^{1}_{v} =\eta ^{3}_{u}=0, \\ &\xi ^{3}_{u} =\xi ^{4}_{u} =\xi ^{1}_{v} =\xi ^{2}_{v} =\xi ^{3}_{v}= \xi ^{4}_{v} =\xi ^{1}_{w} =\xi ^{2}_{w} =\xi ^{3}_{w}=\xi ^{4}_{w}= \eta ^{1}_{z}=\eta ^{2}_{u}=0, \\ &\eta ^{3}_{wt}=2\eta ^{3}_{z},\qquad \eta ^{2}_{wt}=-2\eta ^{2}_{z},\qquad \xi ^{1}_{t}=-2\eta ^{3}_{w},\qquad \xi ^{2}_{t}-2\eta ^{2}_{w} w-2 \eta ^{3}_{w}v+2\eta ^{2}=0, \\ &\xi ^{3}_{t}-2\eta ^{3}_{w} u=2 \eta ^{1},\qquad \eta ^{1}_{t}=2 \eta ^{3}_{z}u =0,\qquad \xi ^{4}_{t}+2 \eta ^{3}_{w}v=2 \eta ^{3}_{w} w-2\eta ^{3}, \\ & \xi ^{2}_{x}=-\eta ^{3}_{w},\qquad \xi ^{3}_{y}=-\eta ^{3}_{w},\qquad \xi ^{4}_{z}=-\eta ^{3}_{w},\qquad \xi ^{2}_{z}=\eta ^{2}_{w},\qquad \eta ^{2}_{x}=\eta ^{2}_{z},\qquad \eta ^{3}_{x}=-\eta ^{2}_{z}, \\ &\eta ^{1}_{u}=\eta ^{3}_{w},\qquad \eta ^{2}_{v}=\eta ^{3}_{w}, \qquad\eta ^{3}_{v}=-\eta ^{2}_{w},\qquad \eta ^{1}_{y}=-\eta ^{3}_{z},\qquad \eta ^{3}_{x}=-\eta ^{2}_{z}. \end{aligned}$$

Therefore, the Lie symmetry group of BS includes a Lie algebra generator in the form of the vector field υ having these functional coefficients:

$$\begin{aligned} & \xi _{1}=\frac{c_{1}}{2} t^{2} + c_{2} t + c_{3}, \qquad\eta _{1} = - \frac{c_{1} t + c_{2}}{2} u - \frac{c_{1}}{4}y-\frac{c_{4}}{2}, \\ &\xi _{2}=- F_{1}z+F_{3} + \frac{c_{1} t + c_{2}}{2}x, \qquad \eta _{2} = -\frac{1}{2} \bigl( F_{1}'+ F_{3}' \bigr)- F_{1}'w - \frac{c_{1} t+c_{2}}{2} v-\frac{c_{1}}{4}x, \\ &\xi _{3}= \frac{c_{1}y+2c_{4}}{2} t+ \frac{c_{2}}{2} y + c_{5}, \qquad \eta _{3}= -\frac{1}{2} \bigl(F_{1}'+F_{2}' \bigr)+F_{1}'v+ \frac{c_{1} t+c_{2}}{2} w - \frac{c_{1}}{4}z, \\ &\xi _{4}= F_{1}+F_{2} + \frac{c_{1} t + c_{2}}{2}z, \end{aligned}$$

where \(c_{i}\), \(i=1, \ldots, 5\) are arbitrary constants and \(F_{i}(t)\), \(i=1, 2, 3\) are arbitrary smooth functions. In the case the above system is solved, the following theorem is introduced.

Theorem 2.1

The Lie algebra \(L(G)\) of projectable Lie symmetries of BS is spanned by

$$\begin{aligned} &X_{1}= \frac{t}{2} (t\partial _{t} + x\partial _{x} + y \partial _{y} + z\partial _{z} ) - \frac{1}{4}(2tu + y) \partial _{u} - \frac{1}{4}(2tv + x) \partial _{v} - \frac{1}{4}(2tw + z)\partial _{w}, \\ &X_{2}=\partial _{t},\qquad X_{3}= t\partial _{t}+\frac{1}{2} (x \partial _{x}+y\partial _{y}+z\partial _{z}-u\partial _{u}-v\partial _{v}-w \partial _{w} ), \\ &X_{4}=t \partial _{y}-\frac{1}{2} \partial _{u},\qquad X_{5}= \partial _{y},\qquad A_{f}= f \partial _{x}-\frac{1}{2}f' \partial _{v},\qquad B_{g}=g \partial _{z}- \frac{1}{2}g' \partial _{v}, \\ &C_{h}=h (-z\partial _{x}+x\partial _{z} )+ \frac{1}{2} \bigl(zh'-wh \bigr) \partial _{w}- \frac{1}{2} \bigl(xh'-vh \bigr)\partial _{w}, \end{aligned}$$

where \(f(t), g(t), h(t)\) are arbitrary smooth functions.

Having functional coefficients, these vector fields produce a Lie pseudo-group \(L(G) \). This Lie pseudo-algebra \(L(G) \) has a 5-subalgebra h generated by \({\mathbf{v}}_{1}, \ldots, {\mathbf{v}}_{5}\), and an infinite dimensional ideal i generated by \(A_{f}\), \(B_{g}\), \(C_{h}\). Therefore \({L(G)}\simeq {\mathbf{h}}\times {\mathbf{i}}\). To having a reduction in BS, a Lie subgroup of the above pseudo-group is chosen. For executing this chose, simpler forms for every one of the coefficients in the previously mentioned vector fields are chosen.

Group invariant solutions of BS

In order to have the group of transformations which are generated by vector fields \({\mathbf{v}}_{i}\), \(i=1, \ldots, 5\), we need to at first solve first order system including the first order equation which is in agreement whit each of the same generators. If \(\Phi _{k}(s)\) is the parametric group represented by \({\mathbf{v}}_{k}\), \(k=1, \ldots, 5\), then \(P_{k}=\Phi _{k}(s)(t, x, y, z, u, v, w)\) are, respectively,

$$\begin{aligned} &P_{1}= \biggl[at, ax, ay, az, \frac{u}{a}+\frac{sy}{4}, \frac{v}{a}+ \frac{sx}{4}, \frac{w}{a}+\frac{sz}{4} \biggr],\qquad a=\frac{2}{st+2}; \\ &P_{2}=[t+s, x, y, z, u, v, w];\qquad P_{3}= \bigl[e^{s/2}t, x, y, z, e^{-s}u, e^{-s}v, e^{-s}w \bigr]; \\ &P_{4}= \biggl[t, x, y+st, z, u-\frac{s}{2}, v, w \biggr]; \qquad P_{5}=[t, x, y+s, z, u, v, w]; \end{aligned}$$

and if \(\Psi _{h}, \Xi _{g}, \Theta _{f}\) are the 1-parameter group generated by \(A_{h}, B_{g}, C_{f}\), respectively, then

$$\begin{aligned} \Psi _{h}= {}& \biggl[t, x+sh, y, z, u, v-\frac{s}{2}h', w \biggr];\qquad \Xi _{g}= \biggl[t, x, y, z+sg, u, v, w- \frac{s}{2}g' \biggr]; \\ \Theta _{g}={}& \biggl[t, x-szf, y+sxf-\frac{s^{2}}{2}zf^{2}, z, u, \\ & \cos (sf) v -\sin (sf) w +\frac{g}{2f} \bigl(z(z+1)\sin (sf)-x \cos (sf) +x-szf \bigr), \\ & \sin (sf) v +\cos (sf) w + \frac{g}{2f} \bigl( -x \sin (sf)+z(1-z) \cos (sf)+z^{2}+z \bigr) \biggr]. \end{aligned}$$

It should be mentioned that, generally, for each, a parameter of the subgroup of complete symmetry group’s system offers a set of invariant solutions [35, 40, 41].

Theorem 3.1

If s be a small real number, \((u(t, x, y, z), v(t, x, y, z), w(t, x, y, z))\) be a solution of the BS and \(i=1, \ldots, 5\), there are the functions \(\varphi _{i}:=(U, V, W)=\Phi _{k}(s)(u, v, w)\):

$$\begin{aligned} &\varphi _{1}=a. (u, v, w) (at, ax, ay, az)-\frac{as}{2}. (x, y, z),\qquad a=\frac{2}{st+2}, \\ &\varphi _{2}=(u, v, w) (t-s, x, y, z), \qquad \varphi _{3}=e^{-s/2}. (u, v, w) \bigl(te^{3s/2}, x, y, z \bigr), \\ &\varphi _{4}=(u, v, w) (t, x, y-st, z)+\frac{s}{2}. (1, 0, 0), \qquad \varphi _{5}=(u, v, w) (t, x, y-s, z). \end{aligned}$$

Furthermore, if \(\Psi _{h}\), \(\Xi _{g}\), \(\Theta _{f}\) are the 1-parameter group generated by \(A_{f}\), \(B_{g}\), \(c_{h}\), respectively, and \(u=u(t, x, y, z)\), \(v=v(t, x, y, z)\) and \(w=w(t, x, y, z)\) are a solution of the BS, so are the functions \(\phi _{h}:=(U, V, W)=\Psi _{h}(u, v, w)\), \(\xi _{g}:=(U, V, W)=\Xi _{g}(u, v, w)\) and \(\theta _{f}:=(U, V, W)=\theta _{f}(u, v, w)\):

$$\begin{aligned} \psi _{h}={}&(u, v, w) \bigl(t, x+sh(t), y, z \bigr)+ \frac{sh'(t)}{2}. (0, 1, 0), \\ \xi _{g}={}&(u, v, w) \bigl(t, x, y, z+sg(t) \bigr)+ \frac{sg'(t)}{2}. (0, 0, 1), \\ \theta _{f} ={}& \bigl(u, \cos \bigl(sf(t) \bigr)v+\sin \bigl(sf(t) \bigr)w, -\sin \bigl(sf(t) \bigr)v+ \cos \bigl(sf(t) \bigr)w \bigr) \\ &{} \biggl(t, x-szf(t), y+sf(t)x-\frac{s^{2}}{2}zf(t)^{2}, z \biggr) \\ &{} + \frac{g(t)}{2f(t)}. \bigl(0, -z(z+1)\sin \bigl(sf(t) \bigr)+x\cos \bigl(sf(t) \bigr) \\ &{} +x+sf(t)z, x \sin \bigl(sf(t) \bigr)+z(1-z) \cos \bigl(sf(t) \bigr)+z^{2}+z \bigr). \end{aligned}$$

This theorem has several useful consequences. For example, by using the command PDETools[TWSolutions] of MAPLE 2016© for the system BS, we find a seven parametrized set of tanh-solutions for BS as

$$\begin{aligned} &u = a_{3}\tanh ( a_{2}x+a_{3}y+a_{4}z+2a_{5}t+a_{1} )+a_{6}, \\ &v = a_{2}\tanh ( a_{2}x+a_{3}y+a_{4}z+2a_{5}t+a_{1} )+a_{7}, \\ &w = a_{4} \tanh ( a_{2}x+a_{3}y+a_{4}z+2a_{5}t+a_{1} ) -\frac{a_{2}a_{7}+a_{3}a_{6}-a_{5}}{a_{4}}, \end{aligned}$$

where \(c_{1}, \ldots, c_{7}\in {I R}\) are arbitrary numbers with \(c_{4}\neq 0\). Now, we find a large set of solutions of BS by using Theorem 3.1. For example, by the \(\psi _{h}\) of Theorem 3.1 for (1), we find

$$\begin{aligned} &u=a_{3} \tanh \bigl( a_{2}h(t)+2{a_{5}}t+{a_{2}}x+{a_{3}}y+{a_{4}}z+{a_{1}} \bigr) + {a_{6}}, \\ &v= a_{2} \tanh \bigl( a_{2}h(t)+2{a_{5}}t+{a_{2}}x+{a_{3}}y+{a_{4}}z+{a_{1}} \bigr) +{a_{7}}-\frac{h'(t)}{2}, \\ &w= a_{4} \tanh \bigl( a_{2}h(t)+2{a_{5}}t+{a_{2}}x+{a_{3}}y+{a_{4}}z+{a_{1}} \bigr) -\frac{{a_{2}}{a_{7}}+{a_{3}}{a_{6}}-{a_{5}}}{a_{4}}, \end{aligned}$$

where \(c_{1}, \ldots, c_{7}\in {\mathbb{R} }\) are arbitrary numbers with \(c_{4}\neq 0\), and h is an arbitrary smooth function of t.

Optimal system of 1-subalgebras

In this part, we take the advantage of symmetry group in order to obtain the OS (optimal system) of 1-subalgebras of BS. Regarding the fact that every linear combination of symmetries is a symmetry, there will be an endless number of 1-subgroups for G. Therefore, determining the subgroups which give different types of solutions is emphasized. So, we need to look symmetry transformations for invariant solutions which are unable to be to convert to each other in the full symmetry groups. This, in turn, leads to the notional of an OS of subalgebra. The problem of classifying this 1-subalgebra is identical to the problem which exists in the classification of the orbits of the adjoint representation [36, 40]. The optimal set of subalgebras is achieved by selecting just one representative from any class of equivalent subalgebras.

By using a general member in the Lie algebra and simplifying it via diverse adjoint transformations, it is possible to solve the problem of orbits classifications. The following Lie series are considered to include the adjoint representation [38]:

$$\begin{aligned} \mathrm{Ad} \bigl(\exp (s. X_{i}). X_{j} \bigr)=X_{j}-s. [X_{i}, X_{j}]+ \frac{s^{2}}{2}.[X_{i}, [X_{i}, X_{j}])+ \cdots, \end{aligned}$$

where s is the group parameter and \(\mathrm{ad}_{{\mathbf{X}}_{i}}{\mathbf{X}}_{j}=[{\mathbf{X}}_{i}, {\mathbf{X}}_{j}]\) is the Lie algebra communicator and \(i, j=1, \ldots, 9\) An adjoint action is considered for Lie algebra \(L(G)\) so we consider the following theorem,

Theorem 4.1

The OS of 1-subalgebras for BS is

$$\begin{aligned} &(1)\quad \langle {\mathbf{X}}_{4} \rangle,\qquad (2)\quad \langle { \mathbf{X}}_{1}+ {\mathbf{X}}_{2} \rangle, \qquad (3)\quad \langle { \mathbf{X}}_{2}- {\mathbf{X}}_{4} \rangle,\qquad (4)\quad \langle { \mathbf{X}}_{1}+{\mathbf{X}}_{5} \rangle,\qquad \\ & (5)\quad \langle { \mathbf{X}}_{5} \rangle,\qquad (6)\quad \langle {\mathbf{X}}_{1}- {\mathbf{X}}_{2} \rangle,\qquad (7)\quad \langle {\mathbf{X}}_{2}+ {\mathbf{X}}_{4} \rangle,\qquad (8)\quad \langle {\mathbf{X}}_{1} \rangle, \\ & (9)\quad \langle { \mathbf{X}}_{3} \rangle,\qquad (10)\quad \langle {\mathbf{X}}_{2} \rangle. \end{aligned}$$



Let \(F^{s}_{i}:L(G)\rightarrow L(G)\) be the linear map, by \(X\longmapsto {\mathbf{Ad}}(\exp (sX_{i})X)\), \(i=1, \ldots, 5\). The matrix \(M^{s}_{i}\) of \(F^{s}_{i}\), \(i=1, \ldots, 5\), with respect to the basis \(\{X_{1}, \ldots, X_{5}\}\) is

$$\begin{aligned} &M^{s}_{1}=I+\frac{s_{1}^{2}}{2} E_{12}-s_{1}E_{13}-s_{1}E_{32}+ \frac{s_{1}}{2} E_{45},\qquad M^{s}_{4}=I - \frac{s_{4}}{2} E_{43}- s_{4}E_{52}, \\ &M^{s}_{2}=I+2 s^{2}_{2}E_{22}+s_{2}E_{23}+s_{2}E_{31}+s_{2}E_{54}, \qquad M^{s}_{5}=I +\frac{s_{5}}{4}(2E_{41}-s_{5} E_{53}), \\ &M^{s}_{3}=e^{-s3}(E_{11}-E_{66})+e^{s_{3}/2}(E_{44}-E_{55}), \end{aligned}$$

respectively. Let \(X= \sum^{5}_{i=1} a_{i} X_{i}\), then \((F^{s_{5}}_{5} \circ F^{s_{4}}_{4} \circ \cdots \circ F^{s_{1}}_{1})(X)\) is

$$\begin{aligned} & \biggl[ \biggl(1+\frac{1}{4} s^{2}_{1} s^{2}_{2}-s_{1} s_{2} \biggr) e^{s_{3}} a_{1} + \frac{1}{2} s^{2}_{1} e^{-s_{3}} a_{6}+ \biggl(\frac{1}{2} s^{2}_{1} s_{2} - s_{1} \biggr) a_{3} \biggr] X_{1}+\cdots \\ &\quad{} + \biggl[((\frac{1}{2} s_{4} s_{2} e^{-s_{3}/2}a_{5}a_{1}-e^{s_{6}/2}s_{4}a_{2} + \biggl(- \frac{1}{2} s_{2} e^{s_{3}/2} s_{4}+ \frac{1}{2} e^{-s_{3}/2} s_{5} \biggr) a_{3} \\ &\quad{} +s_{2} e^{s_{3}/2}a_{4}+ e^{-s_{3}/2}a_{5} \biggr]X_{5}. \end{aligned}$$

We can simplify X as follows:

  • If \(a_{5}=a_{3}=a_{2}=a_{1}=0\), then X is decreased to the case (1).

  • If \(a_{5}=a_{2}=a_{1}=0\) and \(a_{3}\neq 0\), so we can get the coefficient of \(X_{4}\) vanish by using \(F^{2a_{4}/a_{3}}_{4}\). In this case is reduced to the case (9).

  • If \(a_{5}=a_{3}=a_{2}=0\) and \(a_{1}\neq 0\), so we can get the coefficient of \(X_{4}\) vanish by using \(F^{2a_{4}/a_{1}}_{5}\). In this case is reduced to the case (8).

  • If \(a_{5}=a_{4}=a_{3}=0\) and \(a_{2}=1\), then coefficient of \(X_{1}\) can be vanished or be ±1 by \(F^{s_{3}}_{3}\) for \(s_{3}=-\ln \vert 1/a_{1}\vert \). So X is reduced to the case (2, 6).

  • If \(a_{5}=a_{3}=a_{1}=0\), then we can make the coefficient of \(X_{4}\) vanish or be ±1 by using \(F^{s_{3}}_{3}\) for \(s_{3}=(2/3)\ln \vert a_{2}/a_{4}\vert \). In this case is reduced to the case (3, 7).

  • If \(a_{1}=a_{3}=a_{2}=0 \) and \(a_{5}\neq 0\), then we can assume that \(a_{5} =1\) so we can get the coefficient of \(X_{4}\) vanish by using \(F^{2a_{4}}_{1}\). In this case it is reduced to the case (5).

  • If \(a_{5}=a_{2}=a_{1}\neq 0\), then we can suppose that \(a_{1}=a_{5}=1\), so we can get the coefficient of \(X_{4}\) and \(X_{3}\) vanish by using \(F^{2a_{4}}_{1}\) and \(F^{-a_{3}}_{2}\). In this case is to the case (4).

  • If \(a_{1}=a_{3}=0 \) and \(a_{5}=a_{2}\neq 0\), then we can make the coefficient of \(X_{4}\) vanish by using \(F^{2a_{4}}_{1}\), and \(X_{5}\) vanish by using \(F^{1/a_{2}}_{4}\). In this case is decreased to the case (10).  □

OS of 2-subalgebras

Here, we get OS of 2-subalgebras for BS, choose \(X^{1}\) or \(X^{2}\), as an element of the OS of 2-subalgebras in Theorem 3.1 and regard \(X=c_{1} {\mathbf{v}}_{1}+\cdots +c_{5} {\mathbf{v}}_{5} \) as an optimal vector field where \(c_{i}^{5}s\) are smooth functions of \((t, x, y, z, u, v, w)\). By such selection, we have \([{\mathbf{v}}_{i}, X]=\lambda X^{1} + MX\). The following system (2) is a computation of both sides of these equations:

$$\begin{aligned} C^{i}_{jk} a_{j} a_{k} = \lambda a_{i} + \mu a_{i},\quad i=1, \ldots, 5. \end{aligned}$$

The elements of the OS of 2-subalgebras are reached by solving the system of linear equations for each choice of the OS of 1-subalgebras from the Theorem 3.1. When these elements are in the combination form, they could be simplified as a 1-dim case by acting the adjoint matrices to each of them and the following theorem is suggested.

Theorem 5.1

An OS of 2-subalgebras from the BS is

$$\begin{aligned} &(1)\quad\langle X_{1}, X_{2} +X_{3} \rangle, \qquad (2)\quad \langle X_{1}, X_{3} - X_{4} \rangle,\qquad (3)\quad \langle X_{1}, X_{3} + X_{4} \rangle, \\ &(4)\quad\langle X_{3}, X_{5} - X_{2} \rangle, \qquad (5)\quad \langle X_{3}, X_{1} - X_{5} \rangle,\qquad (6)\quad \langle X_{3}, X_{1} + X_{5} \rangle, \\ &(7)\quad\langle X_{3}, X_{4} + X_{2} \rangle, \qquad (8)\quad \langle X_{1}, X_{3} +X_{4} \rangle,\qquad (9)\quad \langle X_{2}, X_{3} + X_{5} \rangle, \\ &(10)\quad\langle X_{3}, X_{4} - X_{2} \rangle, \qquad (11)\quad \langle X_{1}, X_{3} -X_{4} \rangle,\qquad (12)\quad \langle X_{3}, X_{5} \rangle, \\ &(13)\quad\langle X_{4}, X_{2} + X_{5} \rangle, \qquad (14)\quad \langle X_{3}, X_{1} + X_{4} \rangle,\qquad (15)\quad \langle X_{1}, X_{4} \rangle, \\ &(16)\quad\langle X_{4}, X_{2} -X_{5} \rangle, \qquad (17)\quad \langle X_{3}, X_{1} -X_{4} \rangle,\qquad (18)\quad \langle X_{2}, X_{5} \rangle, \\ &(19)\quad\langle X_{3}, X_{5} +X_{2} \rangle, \qquad (20)\quad \langle X_{4}, X_{3} \rangle, \qquad (21) \quad \langle X_{4}, X_{5} \rangle, \\ &(22)\quad\langle X_{3}, X_{2} \rangle, \qquad (23)\quad \langle X_{3}, X_{1} \rangle. \end{aligned}$$


Each 2-subalgebra needs two generators. By choosing one of the generators of the OS of 1-subalgebras that have explained in the previous theorem and the second one arbitrary, 2-subalgebras can be classified. let \({\mathbf{h}}={\mathbf{Span}}\lbrace X, Y\rbrace \) is a 2-subalgebra where X is a 1-subalgebra that is selected from the 1-subalgebra list and Y is an arbitrary vector described by \(Y=b_{1}{\mathbf{v}}_{1}+\cdots b_{5}{\mathbf{v}}_{5}\). Now, we need to simplify h as much as possible by implementing various adjoint transformations on it and proceed algebraically [38].

Every adjoint transformation is a linear map \({Fl}^{s}_{i}:L(G)\rightarrow L(G)\) defined by \(X\longmapsto {\mathbf{Ad}}(\exp (s{\mathbf{v}}_{i}) X) \) for \(i=1, \ldots, 5\), we only illustrate one of the cases in the following: If \(X={\mathbf{v}}_{1}+a{\mathbf{v}}_{2}\) then

$$\begin{aligned} {\mathbf{h}} &= \langle X, Y\rangle = \Biggl\langle X_{1}+aX_{2}, \sum_{i=1}^{5}b_{i}X_{i} \Biggr\rangle \\ &= \langle X_{1}+aX_{2}, b_{1}X_{1}+b_{2}X_{2}+b_{3}X_{3}+b_{4}X_{4}+b_{5}X_{5} \rangle \end{aligned}$$

So, we have:

  • If \(b_{3}=b_{4}=b_{5}=0\) then we have \({\mathbf{h}}=\langle X_{1}, b_{2}X_{2}\rangle =\langle X_{1}, X_{2} \rangle \) and \([X_{1}, b_{2}X_{2}]=b_{3}X_{3} \neq rX_{1}+ s(b_{2}X_{2})\) for any \(r, s\in {R R}\). Since h, is not closed under the Lie bracket, So there are no two-dimensional subalgebras in this case.

  • If \(b_{5}=0 \) and \(b_{4} \neq 0\) so we can get the coefficient of \(X_{2}\) vanish by \(F^{s_{2}}_{2}\); By setting \(s_{3}=(-2/3)\ln \vert b_{4}/b_{2}\vert \). Then we have \({\mathbf{h}}=\langle X_{1}, b_{3}X_{3}+b_{4}X_{4}\rangle \) and \([X_{1}, b_{3}X_{3}+ b_{4}X_{4}]=-b_{3}X_{1}\). Therefore h is closed under the Lie bracket and we have the case \(\langle X_{1}, X_{3} \pm X_{4} \rangle \).

  • If \(b_{5}, b_{4}=0\) and \(a_{3}\neq 0\). Then we have \({\mathbf{h}}=\langle X_{1}, b_{2}X_{2}+b_{3}X_{3}\rangle \) and \([X_{1}, b_{2}X_{2}+b_{3}X_{3}]=b_{2}X_{3}+b_{1}X_{1} \) So h is closed under the Lie bracket and we have the case \(\langle X_{1}, X_{2}+X_{3}\rangle \).

  • If \(b_{3}=0 \) and \(b_{5} \neq 0\) and \(b_{5}=1\) so we can get the coefficient of \(X_{4}\) vanish by \(F^{s_{5}}_{5}\); By setting \(s_{5}=-2a_{4} \) also, we have scaling if necessary, we can assume that \(b_{5}=1\). Then we have \({\mathbf{h}}=\langle X_{1}, b_{2}X_{2}+X_{5}\rangle \) and \([X_{1}, b_{2}X_{2}+X_{5}]=b_{2}X_{3}+b_{5}X_{4} \). So, h is not closed under the Lie bracket and we have no two-dimensional subalgebras in this case.

It should be noted that there is no other way to check, and in each case the h is simplified as much as possible. In the same way, two-dimensional algebras can be obtained for other states. □

OS of 3-subalgebras

In this section, we get OS of 3-subalgebras for BS. To find 3-subalgebras, we must consider one 3-subalgebra as \({\mathrm{h}}=\langle X, Y, Z\rangle \) of symmetry group, so that \(Z=\sum_{i=1}^{5}c_{i}{\mathbf{v}}_{i}\).

To classify 3-subalgebras, we need to be chosen two of the generators from the OS of 2-subalgebras, and another generator should be taken arbitrary, then we should check that \([X,Z]\) and \([Y,Z]\) are closed under the Lie bracket.

Theorem 6.1

The OS of 3-subalgebra from the BS are

$$\begin{aligned} &(1)\quad \langle X_{2}, X_{3}, X_{5}\rangle, \qquad (2)\quad \langle X_{2}, X_{3}+X_{5}, X_{1} \rangle,\qquad (3)\quad\langle X_{2}, X_{3}, X_{4}\rangle, \\ &(4)\quad \langle X_{2}, X_{3}+X_{5}, X_{4}\rangle, \qquad (5)\quad\langle X_{5}, X_{2}, X_{1}\rangle,\qquad (6) \quad\langle X_{3}, X_{1}, X_{4}+X_{5}\rangle, \\ &(7)\quad \langle X_{2}, X_{3}+X_{5}, X_{1}+X_{4}\rangle,\qquad (8)\quad \langle X_{3}, X_{1}+X_{5}, X_{4}\rangle, \qquad (9)\quad \langle X_{3}, X_{1}+X_{5}, X_{2} \rangle, \\ &(10)\quad \langle X_{1}, X_{3}+X_{4}, X_{5}\rangle,\qquad (11)\quad\langle X_{3}, X_{1}, X_{5}\rangle, \qquad (12)\quad\langle X_{3}, X_{4}+X_{2}, X_{1}\rangle, \\ &(13)\quad \langle X_{3}, X_{1}, X_{2}\rangle, \qquad (14)\quad \langle X_{3}, X_{4}+X_{2}, X_{5} \rangle,\qquad (15)\quad \langle X_{3}, X_{4}, X_{5} \rangle, \\ &(16)\quad \langle X_{3}, X_{1}+X_{4}, X_{2}\rangle,\qquad (17)\quad\langle X_{3}, X_{1}, X_{4}\rangle, \qquad(18) \quad\langle X_{3}, X_{1}+X_{4}, X_{5}\rangle, \\ &(19)\quad \langle X_{1}, X_{3}+X_{4}, X_{2}\rangle,\qquad (20)\quad \langle X_{3}, X_{5}+X_{2}, X_{1}\rangle, \qquad (21)\quad \langle X_{1}, X_{4}, X_{2}\rangle, \\ &(22)\quad \langle X_{3}, X_{5}+X_{2}, X_{4}\rangle. \end{aligned}$$

Similarity reduction of BS

If expressed in the new coordinates, BS is reduced. The BS is presented in the coordinates of \((t, x, y, z, u, v, w)\) and we have to look for this equation’s form in the appropriate coordinates in order to make it reduced. These new coordinates will come in hand by searching independent invariants \((p, \varphi, \psi, \eta )\) which correspond to the generators of the symmetry group. Hence, If we use the new coordinates and apply chain derivative role into account, we can have the reduced equation. We introduce the present procedure for one of the infinitesimal generators in the OS of Theorem 6.1 and provide the list of results for some other instances.

This equation has an independent variable, named p, and three dependent variables labeled as \((\varphi, \psi, \eta )\). Similarly, it is possible to compute all of the identically reduced equation which correspond to the infinitesimal symmetries that were mentioned in Theorem 6.1. Some of them are listed in Tables 1 and 2.

Table 1 Some similarity reduced equations
Table 2 The commutator table of \(L(G)\)

Then we can reduce some equations obtained in the previous section to ODEs,

$$\begin{aligned} \varphi ''+p^{2}\varphi ''+2p\varphi '(\eta -\psi +2)+2\varphi (1- \psi )=0,\qquad p\varphi '+\varphi =0,\qquad \varphi '=0. \end{aligned}$$

Therefore, \(\varphi =0\), \(\psi =\psi (z/x)\), \(\eta =\eta (z/x)\). We have a non-trivial solution of equation BS:

$$\begin{aligned} u=0, \qquad v=\frac{1}{x}\psi \biggl(\frac{z}{x} \biggr),\qquad w= \frac{1}{x} \eta \biggl(\frac{z}{x} \biggr). \end{aligned}$$

By applying Theorem 3.1 we are able to obtain a new solution of the equation as follows.

Theorem 7.1

Let \(h, g, \varphi, \psi \) are arbitrary smooth functions and s be a real number. Then, each of the sets

$$\begin{aligned} &(1)\quad u=0,\qquad v=\frac{1}{x}\varphi \biggl( \frac{z}{x} \biggr),\qquad w=\frac{1}{x} \psi \biggl( \frac{z}{x} \biggr), \\ &(2)\quad u=\frac{-sy}{2st+4},\qquad v=\frac{-sx+(4/x)\varphi (z/x)}{2st+4},\qquad w= \frac{-sz+4(x\psi (z/x))^{-1}}{2st+4}; \\ &(3)\quad u=\frac{s}{2},\qquad v=\frac{1}{x}\varphi \biggl( \frac{z}{x}\biggr),\qquad w=\frac{1}{x}\psi \biggl( \frac{z}{x} \biggr); \\ &(4)\quad u=0,\qquad v=\frac{1}{x+sh(t)}\varphi \biggl(\frac{z}{x+sh(t)} \biggr)+\frac{sh'(t)}{2},\qquad w=\frac{1}{x}\psi \biggl( \frac{z+sg(t)}{x} \biggr)+ \frac{sg'(t)}{2}, \end{aligned}$$

are solutions of the equation BS.

Nonclassical symmetries of BS

A kth order system of differential equations is naturally treated as a submanifold \(E \subset J^{k}\) of the kth order jet space on the space of independent and dependent variables. Consider a kth order system E of differential equations [21]:

$$\begin{aligned} \Delta _{\nu } \bigl(x, u, u^{(k)} \bigr)=0, \quad\nu =1,\ldots, l, \end{aligned}$$

involving \(x=(x^{1}, \ldots, x^{n})\) and \(u=(u^{1}, \ldots, u^{q})\) as independent and dependent variables, respectively, and with \(u^{(k)}\) denoting the derivatives of the \(u^{, }s\) with respect to the \(x^{, }s\) up to order k. Suppose that V is a vector field on the space \(R^{n} \times R^{q}\) of independent and dependent variables:

$$\begin{aligned} V = \sum_{i = 1}^{n} \xi ^{i}(x, u)\partial _{x^{i}}+\sum _{j=1}^{q}\phi _{j}(x, u)\partial _{u^{j}}. \end{aligned}$$

A n-dimensional submanifold of \({R R}^{n} \times {R R}^{q}\) of the space of independent and dependent variables is defined by a map of the solution

$$\begin{aligned} u^{\alpha }=f^{\alpha }(x_{1}, \ldots, x_{n})=0,\quad \alpha =1, \ldots, q, \end{aligned}$$

to the system. Then we must add the invariant surface conditions of these equations:

$$\begin{aligned} Q^{\alpha } \bigl(x, u, u^{(1)} \bigr)= \varphi ^{\alpha }(x, u)-\sum_{i=1}^{n} \xi ^{i}(x, u) \frac{\partial u^{\alpha }}{\partial x_{i}}=0,\quad \alpha =1, \ldots, q, \end{aligned}$$

where \(Q=(Q^{1}, \ldots, Q^{n}) \) is known as the characteristic of the vector field (5). The kth prolongation of the invariant surface condition (6) will be denoted by \(E^{k}_{Q}\). If the kth prolongation of the \(V^{(k)} \) vector field V is tangent to the intersection \(E \cap E^{k}_{Q}\) then the system (3) and (6) are compatible:

$$\begin{aligned} V^{k}(\bigtriangleup _{\nu })\mid _{E \cap E^{k}_{Q}}=0,\quad \nu =1, \ldots, l. \end{aligned}$$

The vector field (4) is called a nonclassical infinitesimal symmetry of the system (3) If Eqs. (7) are satisfied [30].

For finding the nonclassical symmetries, according to the system E of BS we do as follows.

Case 1:

If we suppose that the coefficient of \(\partial _{t}\) in the (4) is not equal to zero, we can set coefficient of ∂t equal to 1 without changing the totality, then for the vector field \(V=\partial _{t}+\xi \partial _{x}+\eta \partial _{y}+\zeta \partial _{z}+ \phi \partial _{u}+\psi \partial _{v}+\theta \partial _{w}\), the invariant surface conditions are as follows:

$$\begin{aligned} \begin{aligned} (\phi, \psi, \theta )={}& (u_{t}+\xi u_{x}+\eta u_{y}+ \zeta u_{z}, \\ & v_{t}+\xi v_{x}+\eta v_{y}+ \zeta v_{z}, w_{t}+ \xi w_{x}+ \eta w_{y}+\zeta w_{z} ). \end{aligned} \end{aligned}$$

According to Eq. (7), we can find the variables \(u_{t}, \ldots, v_{t}, \ldots, w_{t}\) from (BS) and (4):

$$\begin{aligned} & u_{t} = \frac{-2\zeta u w_{y}+2\eta v v_{y}+2\eta w w_{y}-2\xi u v_{y}+\eta u_{xx}+\eta u_{yy}+\eta u_{zz}+2\phi u}{\eta +2 u}, \\ & u_{x} = v_{y},\qquad u_{y}= \frac{\zeta w_{y}+\xi v_{y}+2 v v_{y}+2 w w_{y}-\phi +u_{xx}+u_{yy}+u_{zz}}{\eta +2 u}, \\ & u_{z} = w_{y},\qquad v_{t} = -\zeta v_{z}- \eta v_{y}-\xi v_{x}+ \psi,\qquad w_{t} = -\zeta w_{z}-\eta w_{y}-\xi w_{x}+\theta. \end{aligned}$$

By using nonclassical methods for the BS, we have the following determining equations:

$$\begin{aligned} &\eta _{x}=\eta _{z}=\eta _{u}=\eta _{v}=\eta _{w}=0,\qquad \psi _{y}= \psi _{u}= \psi _{wz}=\psi _{ww}= \psi _{zz}=0, \\ &\zeta _{y}=\zeta _{u}=\zeta _{w}=0, \qquad\theta _{y}=\theta _{u}= \theta {zz}=\theta _{ww}=\theta _{wz}=0, \\ &\phi _{x}=\phi _{z}=\phi _{v}=\phi _{w}=0, \qquad\xi _{y}=\xi _{u}= \xi _{v}=\xi _{w}=0,\qquad \psi _{v}=\theta _{w}, \\ &\psi _{x}=\theta _{z},\qquad \theta _{v}=-\psi _{w}, \theta _{x}=- \psi _{z},\qquad \eta _{y}=-\theta _{w}, \qquad\phi _{u}=\theta _{w}, \\ &\phi _{y}=\theta _{z}, \qquad\xi _{z}=\psi _{w}, \qquad\xi _{x}=- \theta _{w},\qquad \zeta _{z}=-\theta _{w},\qquad \zeta _{x}=-\psi _{w}, \\ &\theta _{zt}=2\theta _{w}\theta _{z}, \qquad \theta _{wt}=2 \bigl(\theta ^{2}_{w}+ \theta _{z} \bigr),\qquad \psi _{wt}=2(\theta _{w}\psi _{w}-\psi _{z}), \\ &\xi _{t}=2(w\psi _{w}+\xi \theta _{w}+v\theta _{w}-\psi ), \qquad\eta _{t}=2(\eta \theta _{w}+u \theta _{w}-\phi ), \\ &\zeta _{t}=2 (\zeta \theta _{w}+w\theta _{w}-v \psi _{w}-\theta ),\qquad \phi _{t}=2(\phi \theta _{w}+u \theta _{z}). \end{aligned}$$

Therefore we have the solutions

$$\begin{aligned} (\xi, \eta, \zeta, \phi, \psi, \theta )={}&\frac{1}{2t^{2}+1} \biggl(2tx-z+1,-1+(2y-1)t, 2tx-z+1, \\ &\frac{1}{2}-2tu-y, -2tv-x-w, -2tw-z+v \biggr). \end{aligned}$$

Case 2:

Now we suppose that the coefficient of \(\partial _{t}\) in (4) is equal to zero and try to obtain the infinitesimal nonclassical symmetries of the form \(V=\partial _{x}+\eta \partial _{y}+\zeta \partial _{z}+\phi \partial _{x}+\psi \partial _{v}+\theta \partial _{w}\). So we have the category of solutions \(\eta =1\), \(\phi =\psi =-1/2\) and \(\theta =\zeta =0\).

Case 3:

Again we suppose that the coefficient of \(\partial _{x}\) in (4) is equal to zero and try to obtain the infinitesimal nonclassical symmetries of the form \(V=\partial _{y}+\zeta \partial _{z}+\phi \partial _{x}+\psi \partial _{v}+\theta \partial _{w}\). So we obtain the solutions \(\phi =-1/2\) and \(\psi =\theta =\zeta =0\).

Case 4:

In the end, we assume that the coefficient of \(\partial _{y}\) in (4) is equal to zero and try to obtain the infinitesimal nonclassical symmetries of the form \(V=\partial _{z}+\phi \partial _{x}+\psi \partial _{v}+\theta \partial _{w}\). Then we have \(\phi =\psi =0\), and \(\theta =F(t, x, z, w)\), where F is an arbitrary function.

Ansatz solutions of BS

Now we consider the most important ansatz method (specially, the tanh-function method, [16, 34, 50]) for constructing exact traveling wave solutions of this nonlinear system of PDEs. For this, we introduce a new variable \(\tau =\tanh (c_{0}+c_{1}t+c_{2}x+c_{3}y+c_{4}z)\) and the ansatz \(u=A_{1,0}+A_{1,1}\tau \), \(v=A_{2,0}+A_{2,1}\tau \) and \(w=A_{3,0}+A_{3,1}\tau \), where \(A_{i, k}\) and \(c_{i}\) are arbitrary constants. Substituting expansions into the BS equations, we obtain the following system of algebraic equations:

$$\begin{aligned} &c_{3}v'(\tau )-c_{2}u'(\tau )=0,\qquad c_{3}w'(\tau )-c_{4}u'( \tau )=0, \\ & \bigl(c_{2}^{2}+c_{3}^{2}+c_{4}^{2} \bigr) \bigl(\tau ^{2}+2\tau -1 \bigr)u''( \tau )=0, \\ & \bigl(2c_{3}u(\tau )-2c_{2}v(\tau )+2c_{4}w( \tau ) -c_{1} \bigr)u'(\tau )=0. \end{aligned}$$

Finally, we obtain three sets of exact solutions, with linear algebra and required simplifications:

$$\begin{aligned} &(1)\quad u=a_{1},\qquad v=a_{2},\qquad w=a_{3}, \\ &(2)\quad u=a_{3}\tanh \theta +a_{4}a_{5},\qquad v=a_{2}\tanh \theta +a_{4}a_{7}, \\ &\phantom{(2)\quad } w=a_{4}\tanh \theta +a_{1}-a_{2}a_{7}-a_{3}a_{5}, \\ &(3)\quad u= a_{5}a_{6}+ \frac{a_{7}\sinh (2\theta )}{\sinh ^{2}\theta +\cos ^{2}(\alpha x)}, \qquad v= a_{8}+ \frac{a_{7}\alpha \sinh (2\alpha x)}{\sinh ^{2}\theta + a_{4}\cos ^{2}(\alpha x)}, \\ &\phantom{(2)\quad } w= a_{2}-a_{4}a_{6}+ \frac{a_{5}a_{7} \sinh \theta }{\sinh ^{2}\theta +a_{4}\cos ^{2}(\alpha x)}, \end{aligned}$$

where \(\alpha =\sqrt{a_{4}^{2}+a_{5}^{2}}\), \(\theta =a_{1}+2a_{2}a_{5} t+a_{4}y+a_{5}z\) and the \(a_{i}\) are constants.

Results and discussion

The graphical representation of BS equations produces the substantial information to interpret the phenomena physically. This section deals with a physical interpretation of the solutions given via choosing the appropriate amounts of parameters, the graphic display of traveling wave solution is presented in Figs. 1 to 12 including 3D plot, density plot, and 2D plot when three spaces arise at spaces \(z=-10\), \(z=0\), and \(z=10\) for \(u, v\) and \(z=-20\), \(z=0\), and \(z=20\) for w. The solutions contain various arbitrary constants and functions and their appropriate choices are crucial to describe the significant behavior of the phenomena. The simulation is performed on MATLAB for Figs. 112, when \(x=-3,0,3\).

Figure 1

For solution of (2) \(u,v\), \(c_{i}=1 \), \(t=1\), \(z=-10\), (f1) 3D plot (f2) density plot and (f3) 2D plot with spaces \(x=-3, 0, 3\)

Figure 2

For solution of (2) \(u,v\), \(c_{i}=1 \), \(t=1\), \(z=0\), (f1) 3D plot (f2) density plot and (f3) 2D plot with spaces \(x=-3, 0, 3\)

Figure 3

For solution of (2) \(u,v\), \(c_{i}=1 \), \(t=1\), \(z=10\), (f1) 3D plot (f2) density plot and (f3) 2D plot with spaces \(x=-3, 0, 3\)

Figure 4

For solution of (2) w, \(c_{i}=1 \), \(t=1\), \(z=-20\), (f1) 3D plot (f2) density plot and (f3) 2D plot with spaces \(x=-3, 0, 3\)

Figure 5

For solution of (2) w, \(c_{i}=1 \), \(t=1\), \(z=0\), (f1) 3D plot (f2) density plot and (f3) 2D plot with spaces \(x=-3, 0, 3\)

Figure 6

For solution of (2) w, \(c_{i}=1 \), \(t=1\), \(z=20\), (f1) 3D plot (f2) density plot and (f3) 2D plot with spaces \(x=-3, 0, 3\)

Figure 7

For solution of (3) \(u,v,w\), \(c_{i}=1 \), \(t=1\), \(z=-10\), (f1) 3D plot (f2) density plot and (f3) 2D plot with spaces \(x=-3, 0, 3\)

Figure 8

For solution of (3) \(u,v,w\), \(c_{i}=1 \), \(t=1\), \(z=0\), (f1) 3D plot (f2) density plot and (f3) 2D plot with spaces \(x=-3, 0, 3\)

Figure 9

For solution of (3) \(u,v,w\), \(c_{i}=1 \), \(t=1\), \(z=10\), (f1) 3D plot (f2) density plot and (f3) 2D plot with spaces \(x=-3, 0, 3\)

Figure 10

For solution of (3) \(u,v,w\), \(c_{i}=0 \), \(t=1\), \(z=10\), (f1) 3D plot (f2) density plot and (f3) 2D plot with spaces \(x=-3, 0, 3\)

Figure 11

For solution of (3) \(u,v,w\), \(c_{i}=0 \), \(t=1\), \(z=10\), (f1) 3D plot (f2) density plot and (f3) 2D plot with spaces \(x=-3, 0, 3\)

Figure 12

For solution of (3) \(u,v,w\), \(c_{i}=0 \), \(t=1\), \(z=10\), (f1) 3D plot (f2) density plot and (f3) 2D plot with spaces \(x=-3, 0, 3\)

Availability of data and materials

The data sets supporting the conclusions of this article are included within the article and its additional file.


  1. 1.

    Abdel-Gawad, H.I., et al.: Construction of rogue waves and conservation laws of the complex coupled Kadomtsev–Petviashvili equation. Int. J. Mod. Phys. B 34(12), 2050115 (2020)

    MathSciNet  Article  Google Scholar 

  2. 2.

    Abdullahi, Y., Bayram, M.: Invariant and simulation analysis to the time fractional Abrahams–Tsuneto reaction diffusion system. Phys. Scr. 94(12), 125005 (2019)

    Article  Google Scholar 

  3. 3.

    Abdulwahhab, M.A.: Nonlinear self-adjointness and conservation laws of the \((3+1)\)-dimensional Burgers equation. Wave Motion 57, 34–43 (2015)

    MathSciNet  Article  Google Scholar 

  4. 4.

    Aliyu, A.I., et al.: Symmetry reductions, explicit solutions, convergence analysis and conservation laws via multipliers approach to the Chen–Lee–Liu model in nonlinear optics. Mod. Phys. Lett. B 33(04), 1950035 (2019)

    MathSciNet  Article  Google Scholar 

  5. 5.

    Baleanu, D., et al.: Lie symmetry analysis and conservation laws for the time fractional simplified modified Kawahara equation. Open Phys. 16(1), 302–310 (2018)

    Article  Google Scholar 

  6. 6.

    Baleanu, D., et al.: Competitive analysis for stochastic influenza model with constant vaccination strategy. IET Syst. Biol. 13(6), 316–326 (2019)

    Article  Google Scholar 

  7. 7.

    Bayat, M., Pakar, I.: Nonlinear free vibration analysis of tapered beams by Hamiltonian approach. J. Vibroeng. 13(4), 654–661 (2011)

    Google Scholar 

  8. 8.

    Bluman, G.W., Cole, J.D.: The general similarity solution of the heat equation. J. Math. Mech. 18, 1025–1042 (1968/69)

    MathSciNet  Google Scholar 

  9. 9.

    Bluman, G.W., Kumei, S.: Symmetries and Differential Equations. Springer, New York (1989)

    Google Scholar 

  10. 10.

    Broadbridge, P.: Classical and Quantum Burgers Fluids: A Challenge for Group Analysis. Symmetry 7(4), 1803–1815 (2015)

    MathSciNet  Article  Google Scholar 

  11. 11.

    Cantwell, B.J.: Introduction to Symmetry Analysis. Cambridge University Press, Cambridge (2002)

    Google Scholar 

  12. 12.

    Chao-Qieg, D., Fang-Bo, Y.: Special solitonic localized structures for the \((3+1)\)-dimensional Burgers equation in water waves. Wave Motion 51(1), 52–59 (2014)

    MathSciNet  Article  Google Scholar 

  13. 13.

    Chao-Qieg, D., Yue, W.Y.: New exact solutions of the \((3+1)\)-dimensional Burgers system (2008)

  14. 14.

    Clarkson, K.L.: An algorithm for geometric minimum spanning trees requiring nearly linear expected time. Algorithmica 4(4), 461–469 (1989).

    MathSciNet  Article  Google Scholar 

  15. 15.

    Duffy, B.R., Parkes, E.J.: Travelling solitary wave solutions to a seventh-order generalized KdV equation. Phys. Lett. A 214(5–6), 271–272 (1996)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Fan, E., Hona, Y.C.: Generalized tanh method extended to special types of nonlinear equations. Z. Naturforsch. A 57(8), 692–700 (2002)

    Article  Google Scholar 

  17. 17.

    Galaktionov, V.A.: On new exact blow-up solutions for nonlinear heat conduction equations with source and applications. Differ. Integral Equ. 3(5), 863–874 (1990)

    MathSciNet  Google Scholar 

  18. 18.

    Gardner, C.S., Greene, J.M., Kruskal, M.D., Miura, R.M.: Method for solving the Korteweg–de Vries equation. Phys. Rev. Lett. 19, 10951097 (1967)

    Article  Google Scholar 

  19. 19.

    Hirota, R., Satsuma, J.: A variety of nonlinear network equations generated from the Backlund transformation for the Tota lattice. Prog. Theor. Phys. Suppl. 59, 64100 (1976)

    Article  Google Scholar 

  20. 20.

    Ibragimov, N.H.: Transformation Groups Applied to Mathematic Physics. Reidel, Dordrecht (1985)

    Google Scholar 

  21. 21.

    Ibragimov, N.H.: Handbook of Lie Group Analysis of Differential Equations, vol. 3 (1995)

    Google Scholar 

  22. 22.

    Ibragimov, N.H.: A new conservation theorem. J. Math. Anal. Appl. 333(1), 311–328 (2007)

    MathSciNet  Article  Google Scholar 

  23. 23.

    Ibragimov, N.H.: Nonlinear self-adjointness and conservation laws. J. Phys. A, Math. Theor. 44, Article ID 432002 (2011)

    Article  Google Scholar 

  24. 24.

    Inc, M., et al.: Lie symmetry analysis and explicit solutions for the time fractional generalized Burgers–Huxley equation. Opt. Quantum Electron. 50(2), 94 (2018)

    Article  Google Scholar 

  25. 25.

    Kudryashov, N.A., Demina, M.V.: Traveling wave solutions of the generalized nonlinear evolution equations. Appl. Math. Comput. 210(2), 551–557 (2009)

    MathSciNet  Google Scholar 

  26. 26.

    Kudryashov, N.A., Sinelshchikov, D.I.: Nonlinear evolution equation for describing waves in a viscoelastic tube. Commun. Nonlinear Sci. Numer. Simul. 16(6), 2390–2396 (2011)

    MathSciNet  Article  Google Scholar 

  27. 27.

    Li, Y.S.: Soliton and Integrable Systems. Advanced Series in Nonlinear Science, Shanghai Scientific and Technological. Education Publishing House, Shang Hai (1999) (in Chinese)

    Google Scholar 

  28. 28.

    Lie, S.: Uber die integration durch bestimmte integrale von einer klasse partieller differentialgleichang. 6, 328–368 (1881)

  29. 29.

    Lou, S.: Higher dimensional integrable models with a common recursion operator. Commun. Theor. Phys. 28, 41–50 (1997)

    MathSciNet  Article  Google Scholar 

  30. 30.

    Lv, N., Jian-Qin, M., Hong-Qing, Z.: Symmetry reductions and explicit solutions of \((3+1)\)-dimensional Burgers system. Int. J. Mod. Phys. B 25(26), 3473–3484 (2011)

    MathSciNet  Article  Google Scholar 

  31. 31.

    Ma, M., Min, C.: Direct search for exact solutions to the nonlinear Schrodinger equation. Appl. Math. Comput. 215(8), 2835–2842 (2009)

    MathSciNet  Google Scholar 

  32. 32.

    Ma, W., Yong, X., Zhang, H.: Diversity of interaction solutions to the \((2+1)\)-dimensional Ito equation. Comput. Math. Appl. 75, 289–295 (2018)

    MathSciNet  Article  Google Scholar 

  33. 33.

    Malfliet, W.: Solitary wave solutions of nonlinear wave equations. Am. J. Phys. 60(7), 650–654 (1992)

    MathSciNet  Article  Google Scholar 

  34. 34.

    Malfliet, W.: The tanh method: I. Exact solutions of nonlinear evolution and wave equations. Phys. Scr. 54, 563–568 (1996)

    MathSciNet  Article  Google Scholar 

  35. 35.

    Nadjafikhah, M.: Lie symmetries of inviscid Burgers equation. Adv. Appl. Clifford Algebras 19(1), 101–112 (2009)

    MathSciNet  Article  Google Scholar 

  36. 36.

    Nadjafikhah, M., Ahangari, F.: Symmetry reduction of two-dimensional damped Kuramoto Sivashinsky equation. Commun. Theor. Phys. 56(2), 211–217 (2011)

    Article  Google Scholar 

  37. 37.

    Nadjafikhah, M., Bakhshandeh-Chamazkoti, R.: Symmetry group classification for general Burgers equation. Commun. Nonlinear Sci. Numer. Simul. 9, 2303–2310 (2010)

    MathSciNet  Article  Google Scholar 

  38. 38.

    Nadjafikhah, M., Jafari, M.: Some general new Einstein Walker manifolds. Adv. Math. Phys. 2013, Article ID 591852 (2013)

    MathSciNet  Google Scholar 

  39. 39.

    Nadjafikhah, M., Shirvani-Sh, V.: Lie symmetry analysis of Kudryashov–Sinelshchikov equation. Math. Probl. Eng. 2011, Article ID 457697 (2011)

    MathSciNet  Article  Google Scholar 

  40. 40.

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

    Google Scholar 

  41. 41.

    Olver, P.J.: Equivalence in Variants and Symmetry. Cambridge University Press, Cambridge (1995)

    Google Scholar 

  42. 42.

    Olver, P.J., Vorobev, E.M.: Nonclassical and conditional symmetries. In: CRC Handbook of Lie Group Analysis of Differential Equations, vol. 3, pp. 291–328 (1995)

    Google Scholar 

  43. 43.

    Ovsiannikov, L.V.: Group Analysis of Differential Equations. Academic Press, New York (1982)

    Google Scholar 

  44. 44.

    Pakar, I., Bayat, M.: Analytical study on the non-linear vibration of Euler–Bernoulli beams. Methods 14(1), 216–224 (2012)

    Google Scholar 

  45. 45.

    Pakar, I., Bayat, M.: On the approximate analytical solution for parametrically excited nonlinear oscillators. J. Vibroeng. 14(1), 423–429 (2012)

    Google Scholar 

  46. 46.

    Raza, A., et al.: Competitive numerical analysis for stochastic HIV/AIDS epidemic model in a two-sex population. IET Syst. Biol. 13(6), 305–315 (2019)

    Article  Google Scholar 

  47. 47.

    Raza, A., Rafiq, M., Baleanu, D., Arif, M.S.: Numerical simulations for stochastic meme epidemic model. Adv. Differ. Equ. 2020, 176 (2020)

    MathSciNet  Article  Google Scholar 

  48. 48.

    Stavros, K., Popovych, R.O., Sophocleous, C.: Enhanced symmetry analysis of two-dimensional Burgers system. arXiv preprint (2017). arXiv:1709.02708

  49. 49.

    Tchier, F., Inc, M., Yusuf, A.: Symmetry analysis, exact solutions and numerical approximations for the space-time Carleman equation in nonlinear dynamical systems. Eur. Phys. J. Plus 134(6), 250 (2019)

    Article  Google Scholar 

  50. 50.

    Wazwaz, A.M.: Partial Differential Equations: Methods and Applications. Balkema, Leiden (2002)

    Google Scholar 

  51. 51.

    Yang, J., Ma, M., Qin, Z.: Lump and lump-soliton solutions to the \((2+1)\)-dimensional Ito equation. Anal. Math. Phys. 8, 427–436 (2018)

    MathSciNet  Article  Google Scholar 

Download references


Not applicable.


This work was not supported by any specific funding.

Author information




The authors equally made contributions to this work. EA and MN made the numerical simulations and wrote the article. JM and EA provided the group invariant solutions of BS and solved the problem with it in Sect. 3. MN and JM provided Sects. 46 in the paper. Also, Sects. 79 have been provided by EA and MN. The remain sections have been written by all authors. The authors read and approved the final manuscript.

Corresponding author

Correspondence to Mehdi Nadjafikhah.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Conflict of interest

The authors declare that they have no conflict of interest.

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

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Alimirzaluo, E., Nadjafikhah, M. & Manafian, J. Some new exact solutions of \((3+1)\)-dimensional Burgers system via Lie symmetry analysis. Adv Differ Equ 2021, 60 (2021).

Download citation


  • Analysis burgers equation
  • Symmetry group
  • Optimal system
  • Nonclassical symmetries
  • Tanh method