 Research
 Open Access
 Published:
Some new exact solutions of \((3+1)\)dimensional Burgers system via Lie symmetry analysis
Advances in Difference Equations volume 2021, Article number: 60 (2021)
Abstract
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 3dimensional optimal system of the Burger system and then by applying the 3dimensional 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 threedimensional 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.
Introduction
The Burgers system describes the propagation processes for nonlinear waves in fluid mechanics such as diverse nonequilibrium, nonlinear phenomena in turbulence, and interface 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 spacetime being \((3+1)\)dimensional, researchers have been attempting to detect higherdimensional 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 tanhfunction method (Duffy and Parkes [15]). In [13], ChaoQieg 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 selfadjointness were explained that widely implemented to find conservation laws of equations (for example see [1, 5]). Especially In [3], the nonlinear selfadjointness and conservation laws of the \((3 + 1)\)dimensional Burgers equation has been obtained by the aid of Ibragimovs method,
This equation describes the propagation processes for nonlinear waves in fluid mechanics such as diverse nonequilibrium, nonlinear phenomena in turbulence and interface 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 1subalgebras of the BS which is useful for classifying of group invariant solutions and to construct an optimal system of 2subalgebras for the BS, also for 3subalgebra 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 selfsimilar 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 coauthors 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 spacetime Carleman equation (STCE) in nonlinear dynamical system [49]. Also, some researchers utilized the Lie symmetry analysis for various nonlinear PD equations. See references [2–5]. 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 twosex population considering counseling and antiretroviral 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 tanhfunction 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:
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:
Therefore, the Lie symmetry group of BS includes a Lie algebra generator in the form of the vector field υ having these functional coefficients:
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
where \(f(t), g(t), h(t)\) are arbitrary smooth functions.
Having functional coefficients, these vector fields produce a Lie pseudogroup \(L(G) \). This Lie pseudoalgebra \(L(G) \) has a 5subalgebra 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 pseudogroup 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,
and if \(\Psi _{h}, \Xi _{g}, \Theta _{f}\) are the 1parameter group generated by \(A_{h}, B_{g}, C_{f}\), respectively, then
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)\):
Furthermore, if \(\Psi _{h}\), \(\Xi _{g}\), \(\Theta _{f}\) are the 1parameter 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)\):
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 tanhsolutions for BS as
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
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 1subalgebras
In this part, we take the advantage of symmetry group in order to obtain the OS (optimal system) of 1subalgebras of BS. Regarding the fact that every linear combination of symmetries is a symmetry, there will be an endless number of 1subgroups 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 1subalgebra 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]:
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 1subalgebras for BS is
[20].
Proof
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
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
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 2subalgebras
Here, we get OS of 2subalgebras for BS, choose \(X^{1}\) or \(X^{2}\), as an element of the OS of 2subalgebras 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:
The elements of the OS of 2subalgebras are reached by solving the system of linear equations for each choice of the OS of 1subalgebras from the Theorem 3.1. When these elements are in the combination form, they could be simplified as a 1dim case by acting the adjoint matrices to each of them and the following theorem is suggested.
Theorem 5.1
An OS of 2subalgebras from the BS is
Proof
Each 2subalgebra needs two generators. By choosing one of the generators of the OS of 1subalgebras that have explained in the previous theorem and the second one arbitrary, 2subalgebras can be classified. let \({\mathbf{h}}={\mathbf{Span}}\lbrace X, Y\rbrace \) is a 2subalgebra where X is a 1subalgebra that is selected from the 1subalgebra 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
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 twodimensional 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 twodimensional 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, twodimensional algebras can be obtained for other states. □
OS of 3subalgebras
In this section, we get OS of 3subalgebras for BS. To find 3subalgebras, we must consider one 3subalgebra 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 3subalgebras, we need to be chosen two of the generators from the OS of 2subalgebras, 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 3subalgebra from the BS are
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.
Then we can reduce some equations obtained in the previous section to ODEs,
Therefore, \(\varphi =0\), \(\psi =\psi (z/x)\), \(\eta =\eta (z/x)\). We have a nontrivial solution of equation BS:
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
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]:
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:
A ndimensional 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
to the system. Then we must add the invariant surface conditions of these equations:
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:
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:
According to Eq. (7), we can find the variables \(u_{t}, \ldots, v_{t}, \ldots, w_{t}\) from (BS) and (4):
By using nonclassical methods for the BS, we have the following determining equations:
Therefore we have the solutions
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 tanhfunction 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:
Finally, we obtain three sets of exact solutions, with linear algebra and required simplifications:
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. 1–12, when \(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.
References
 1.
AbdelGawad, 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)
 2.
Abdullahi, Y., Bayram, M.: Invariant and simulation analysis to the time fractional Abrahams–Tsuneto reaction diffusion system. Phys. Scr. 94(12), 125005 (2019)
 3.
Abdulwahhab, M.A.: Nonlinear selfadjointness and conservation laws of the \((3+1)\)dimensional Burgers equation. Wave Motion 57, 34–43 (2015)
 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)
 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)
 6.
Baleanu, D., et al.: Competitive analysis for stochastic influenza model with constant vaccination strategy. IET Syst. Biol. 13(6), 316–326 (2019)
 7.
Bayat, M., Pakar, I.: Nonlinear free vibration analysis of tapered beams by Hamiltonian approach. J. Vibroeng. 13(4), 654–661 (2011)
 8.
Bluman, G.W., Cole, J.D.: The general similarity solution of the heat equation. J. Math. Mech. 18, 1025–1042 (1968/69)
 9.
Bluman, G.W., Kumei, S.: Symmetries and Differential Equations. Springer, New York (1989)
 10.
Broadbridge, P.: Classical and Quantum Burgers Fluids: A Challenge for Group Analysis. Symmetry 7(4), 1803–1815 (2015)
 11.
Cantwell, B.J.: Introduction to Symmetry Analysis. Cambridge University Press, Cambridge (2002)
 12.
ChaoQieg, D., FangBo, Y.: Special solitonic localized structures for the \((3+1)\)dimensional Burgers equation in water waves. Wave Motion 51(1), 52–59 (2014)
 13.
ChaoQieg, D., Yue, W.Y.: New exact solutions of the \((3+1)\)dimensional Burgers system (2008)
 14.
Clarkson, K.L.: An algorithm for geometric minimum spanning trees requiring nearly linear expected time. Algorithmica 4(4), 461–469 (1989). https://doi.org/10.1007/BF01553902
 15.
Duffy, B.R., Parkes, E.J.: Travelling solitary wave solutions to a seventhorder generalized KdV equation. Phys. Lett. A 214(5–6), 271–272 (1996)
 16.
Fan, E., Hona, Y.C.: Generalized tanh method extended to special types of nonlinear equations. Z. Naturforsch. A 57(8), 692–700 (2002)
 17.
Galaktionov, V.A.: On new exact blowup solutions for nonlinear heat conduction equations with source and applications. Differ. Integral Equ. 3(5), 863–874 (1990)
 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)
 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)
 20.
Ibragimov, N.H.: Transformation Groups Applied to Mathematic Physics. Reidel, Dordrecht (1985)
 21.
Ibragimov, N.H.: Handbook of Lie Group Analysis of Differential Equations, vol. 3 (1995)
 22.
Ibragimov, N.H.: A new conservation theorem. J. Math. Anal. Appl. 333(1), 311–328 (2007)
 23.
Ibragimov, N.H.: Nonlinear selfadjointness and conservation laws. J. Phys. A, Math. Theor. 44, Article ID 432002 (2011)
 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)
 25.
Kudryashov, N.A., Demina, M.V.: Traveling wave solutions of the generalized nonlinear evolution equations. Appl. Math. Comput. 210(2), 551–557 (2009)
 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)
 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)
 28.
Lie, S.: Uber die integration durch bestimmte integrale von einer klasse partieller differentialgleichang. 6, 328–368 (1881)
 29.
Lou, S.: Higher dimensional integrable models with a common recursion operator. Commun. Theor. Phys. 28, 41–50 (1997)
 30.
Lv, N., JianQin, M., HongQing, Z.: Symmetry reductions and explicit solutions of \((3+1)\)dimensional Burgers system. Int. J. Mod. Phys. B 25(26), 3473–3484 (2011)
 31.
Ma, M., Min, C.: Direct search for exact solutions to the nonlinear Schrodinger equation. Appl. Math. Comput. 215(8), 2835–2842 (2009)
 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)
 33.
Malfliet, W.: Solitary wave solutions of nonlinear wave equations. Am. J. Phys. 60(7), 650–654 (1992)
 34.
Malfliet, W.: The tanh method: I. Exact solutions of nonlinear evolution and wave equations. Phys. Scr. 54, 563–568 (1996)
 35.
Nadjafikhah, M.: Lie symmetries of inviscid Burgers equation. Adv. Appl. Clifford Algebras 19(1), 101–112 (2009)
 36.
Nadjafikhah, M., Ahangari, F.: Symmetry reduction of twodimensional damped Kuramoto Sivashinsky equation. Commun. Theor. Phys. 56(2), 211–217 (2011)
 37.
Nadjafikhah, M., BakhshandehChamazkoti, R.: Symmetry group classification for general Burgers equation. Commun. Nonlinear Sci. Numer. Simul. 9, 2303–2310 (2010)
 38.
Nadjafikhah, M., Jafari, M.: Some general new Einstein Walker manifolds. Adv. Math. Phys. 2013, Article ID 591852 (2013)
 39.
Nadjafikhah, M., ShirvaniSh, V.: Lie symmetry analysis of Kudryashov–Sinelshchikov equation. Math. Probl. Eng. 2011, Article ID 457697 (2011)
 40.
Olver, P.J.: Applications of Lie Groups to Differential Equations. Springer, New York (1993)
 41.
Olver, P.J.: Equivalence in Variants and Symmetry. Cambridge University Press, Cambridge (1995)
 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)
 43.
Ovsiannikov, L.V.: Group Analysis of Differential Equations. Academic Press, New York (1982)
 44.
Pakar, I., Bayat, M.: Analytical study on the nonlinear vibration of Euler–Bernoulli beams. Methods 14(1), 216–224 (2012)
 45.
Pakar, I., Bayat, M.: On the approximate analytical solution for parametrically excited nonlinear oscillators. J. Vibroeng. 14(1), 423–429 (2012)
 46.
Raza, A., et al.: Competitive numerical analysis for stochastic HIV/AIDS epidemic model in a twosex population. IET Syst. Biol. 13(6), 305–315 (2019)
 47.
Raza, A., Rafiq, M., Baleanu, D., Arif, M.S.: Numerical simulations for stochastic meme epidemic model. Adv. Differ. Equ. 2020, 176 (2020)
 48.
Stavros, K., Popovych, R.O., Sophocleous, C.: Enhanced symmetry analysis of twodimensional Burgers system. arXiv preprint (2017). arXiv:1709.02708
 49.
Tchier, F., Inc, M., Yusuf, A.: Symmetry analysis, exact solutions and numerical approximations for the spacetime Carleman equation in nonlinear dynamical systems. Eur. Phys. J. Plus 134(6), 250 (2019)
 50.
Wazwaz, A.M.: Partial Differential Equations: Methods and Applications. Balkema, Leiden (2002)
 51.
Yang, J., Ma, M., Qin, Z.: Lump and lumpsoliton solutions to the \((2+1)\)dimensional Ito equation. Anal. Math. Phys. 8, 427–436 (2018)
Acknowledgements
Not applicable.
Funding
This work was not supported by any specific funding.
Author information
Affiliations
Contributions
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. 4–6 in the paper. Also, Sects. 7–9 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
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 http://creativecommons.org/licenses/by/4.0/.
About this article
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). https://doi.org/10.1186/s13662021032203
Received:
Accepted:
Published:
Keywords
 Analysis burgers equation
 Symmetry group
 Optimal system
 Nonclassical symmetries
 Tanh method