---
abstract: 'Based on a recent classification of subalgebras of the symmetry algebra of the Zabolotskaya-Khokhlov equation, all similarity reductions of this equation into ordinary differential equations are obtained. Large classes of group invariant solutions of the equation are also determined, and some properties of these solutions are discussed.'
address: |
    PO Box 2446 Bellville 7535\
    South Africa\
author:
- J C Ndogmo
title: Group classification of a nonlinear sound wave model
---

Introduction {#s:intro}
============

The Zabolotskaya-Khokhlov equation, which is a sound wave propagation model derived from the incompressible Navier-Stokes equation  @zk [@kostin2; @kostin3] has been studied from the Lie group approach in a number of papers in which similarity  @vinograd [@chowdhu; @zabol08] and other types of reductions  @zhu were obtained. A variant of different order of this equation was also discussed in  @wafmomo. However, as far as reductions to ordinary differential equations (ODEs) are concerned, all the results obtained in these papers were severely limited by a number of anzatz, and generally by the lack of classification into subalgebras of the symmetry algebra of the equation. Although a complete group classification of the symmetry algebra for the $(2+1)$-dimensional version of this equation was recently given in  @zabol08, this only led, due to space limitations, to the determination of all similarity reductions to $(1+1)$-dimensional models of the equation in that paper.

In this paper, we consider the $(2+1)$-dimensional version of the Zabolotskaya-Khokhlov (ZK) equation, which is given by $$\label{eq:zk}
\Delta (t,x,y,u) \equiv u_{xt}- (u u_x)_x - u_{y y}= 0.$$ Using the complete classification of two-dimensional subalgebras of the symmetry algebra of this equation recently proposed in  @zabol08, all similarity reductions of this equation to ODEs are obtained. These ODEs have the advantage of being much easier to solve compared the $(1+1)$-dimensional models obtained in similarity reductions by one-dimensional subalgebras, and thus new exact similarity solutions are obtained, and some of their properties are discussed. It is shown in particular that all nonlinear reduced ODEs are non linearizable.

Classification of two-dimensional subalgebras {#s:subalgebras}
=============================================

We wish to recall in this section a result on the classification of two-dimensional subalgebras of the symmetry algebra of the ZK equation obtained in a recent paper  @zabol08. The Lie symmetry algebra $L$ of the ZK equation itself is well-known  @schw [@hereman]. It is an infinite dimensional algebra with generators

\[eq:zabolgn\] $$\begin{aligned}
\mathbf{v}_0 \; &= \; 2 x \partial_x + y \partial_y + 2 u \partial_u \\
\mathbf{x}(g) \; &=\; g \partial_x - g' \partial_u \\
\mathbf{y}(h) \; &=\;  \frac{1}{2} y h'\partial_x + h\partial_y
-\frac{1}{2} y
h'' \partial_u \\
\mathbf{z} (f) \;&=\; f \partial_t + \frac{1}{6} \left(2 x f' + y^2
f''\right) \partial_x + \frac{2 y}{3}  f' \partial_y + \frac{1}{6}
\left(- 4 u f' - 2 x f'' - y^2 f'''\right) \partial_u\end{aligned}$$

where $f, g, h$ are arbitrary functions of the time variable $t,$ and where a prime represents a derivative with respect to $t.$ It is easy to see that for the Lie algebra $L,$ the commutation relations are given by

\[eq:com\] $$\begin{aligned}
{2}
[\mathbf{v}_0, \mathbf{x}(g)]\;  &= \; -2 \mathbf{x}(g),\quad &
[\mathbf{x}(g), \mathbf{y}(h)]\; &= \;
0  \\
[\mathbf{v}_0, \mathbf{y}(h)]\;  &= \; - \mathbf{y}(h),\quad  &
[\mathbf{x}(g), \mathbf{z}(f)]\;
&= \; \mathbf{x}(f' g/3 - f g')   \\
[\mathbf{v}_0, \mathbf{z}(f)]\; &= \;0, \quad & [\mathbf{y}(h), \mathbf{z}(f)]\; &=
\;\mathbf{y}( \frac{2}{3} f'h - f h') \\
[\mathbf{x}(g_1), \mathbf{x}(g_2)] \; &= \; 0  \quad &
[\mathbf{y}(h_1), \mathbf{y}(h_2)]
\; &= \; \mathbf{x} \left((h_1 h_2'- h_1' h_2)/2 \right) \\
[\mathbf{z}(f_1), \mathbf{z}(f_2)]\; &= \; \mathbf{z} (f_1 f_2'
-f_1' f_2 ). \quad & &\end{aligned}$$

These commutation relations show that a Kac-Moody-Virasoro (<span>kmv</span>) structure can be associated with an infinite dimensional subalgebra of $L$  @zabol08, and the latter property tends to associate with integrability the $(2+1)$-dimensional ZK equation  @pavkp [@pavpre1; @gungor], which, as is well-known, can be linearized by a generalized hodograph transformation  @gibbons.

In order to classify subalgebras of $L$ under the adjoint action of its Lie group $\mathcal{G},$ we need to have an explicit expression for $\mathbf{w}(\epsilon) =\operatorname{Ad}(\exp (\epsilon
\mathbf{v})) \mathbf {w}_0,$ for every pair of generators $\mathbf{v}, \mathbf{w}_0$ of $L.$ However, using the commutation relations   such an expression can easily be obtained either by interpreting $\mathbf{w}(\epsilon)$ as the flow of $\operatorname{Ad}$ through $\mathbf{w}_0$ of the one-parameter subgroup generated by $\mathbf{v},$ or again by rewriting $\mathbf{w}(\epsilon)$ in terms of the Lie series (see  @olv1 [P. 205]). The required classification of subalgebras of $L$ under the adjoint action of $\mathcal{G}$ can henceforth be achieved by applying known techniques  @pav-crm93 [@olv1]. In this way, all one-dimensional and two-dimensional subalgebras of $L$ were classified in a recent paper  @zabol08 and the corresponding list of canonical forms of non-equivalent two-dimensional subalgebras of $L$ can be represented in terms of their generators as follows, where $k_0,
k_1, c_1, c_2,$ and $c_3$ are free parameters, unless otherwise stated.

1.  <span>$\mathsf{ Abelian\; subalgebras}$</span>

    1.  = ${\left\{{\mathbf{v}_0, k_0 \mathbf{v}_0 + \mathbf{z}_{(1)}}\right\}}$

    2.  = ${\left\{k_1 \mathbf{v}_0 + \mathbf{z}_{(1)},
        k_0 \mathbf{v}_0 + \mathbf{x}_{(c_1 e^{2 k_1 t})} + \mathbf{y}_{(c_2 e^{k_1 t})}+
        \mathbf{z}_{(c_3)}\right\}}$

    3.  = ${\left\{\mathbf{x}_{(1)}, \mathbf{x}_{g}\right\}}, \qquad (g' \neq 0)$

    4.  = ${\left\{\mathbf{x}_{(1)}, \mathbf{y}_{h}  \right\}} $

    5.  = ${\left\{\mathbf{x}_{(1)}, k_0 \mathbf{v}_0 +
        \mathbf{z}_{(6 k_0t+ c_3)}\right\}}, \qquad k_0^2+ c_3^2 \neq 0$

    6.  = ${\left\{\mathbf{y}_{(1)},  \mathbf{x}_{g}+
        \mathbf{y}_{(c_2)}  \right\}}$

    7.  = ${\left\{\mathbf{y}_{(1)}, k_0 \mathbf{v}_0+ \mathbf{y}_{(c_2)}
        + \mathbf{z}_{\left((-3/2)(k_0 t + c_3)\right)}\right\}}, \qquad k_0^2 + c_3^2 \neq 0$

2.  <span>$\mathsf{ Non\!-\!abelian\; subalgebras}$</span>

    1.  = ${\left\{\mathbf{z}_{(1)}, k_0 \mathbf{v}_0
        + \mathbf{x}_{(c_1)} + \mathbf{y}_{(c_2)} + \mathbf{z}_{(t+ c_3)}\right\}}$

    2.  = ${\left\{\mathbf{x}_{(1)}, \mathbf{v}_0\right\}}$

    3.  = ${\left\{\mathbf{x}_{(1)}, k_0 \mathbf{v}_0
        + \mathbf{z}_{((3- 6 k_0)t +
        c_3)}\right\}},  \qquad (k_0 - \frac{1}{2})^2 + c_3^2 \neq 0 $

    4.  = ${\left\{\mathbf{y}_{(1)}, \mathbf{v}_0 + \mathbf{y}_{(c_2)}\right\}}$

    5.  = ${\left\{\mathbf{y}_{(1)}, k_0 \mathbf{v}_0 + \mathbf{y}_{(c_2)}
        + \mathbf{z}_{((3/2)(1-k_0)t + c_3)}\right\}},\qquad  (k_0-1)^2+ c_3^2 \neq 0$

In this list, $\mathscr{L}_{2,j}$ represents the $j$th canonical form of a two-dimensional subalgebra of $L.$

Similarity reductions to ODEs
=============================

Similarity reductions of the ZK equation by symmetry subgroups whose actions are semi-regular with orbits of dimension $s,$ where $0 \leq
s <p,$ and where $p=3$ is the number of independent variables, will yield equations in $s$ fewer independent variables. Each of the canonical forms $\mathscr{L}_{2,j}$ of two dimensional subalgebras of $L$ turns out to have two dimensional orbits, and hence allow a reduction of the equation into an ODE, provided certain regularity conditions are satisfied. The usual procedure for this reduction is well known and consists in this case in finding a pair of invariants $z= z(t,x,y,u)$ and $w=w(t,x,y,u)$ of the corresponding subgroup action and to consider one of them, say $z,$ as the new independent variable and the other one as the new dependent variable for the reduced equation.

To find the required similarity reductions, we shall treat each of the twelve canonical forms $\mathscr{L}_{2,j}$ separately. In each case, we will indicate a reduction formula which will consist in an expression for the solution $u$ of the ZK equation in terms of $w=w(z),$ and an expression for $z,$ and then the corresponding reduced equations. The parameters $k_0, k_1, c_1, c_2, c_3$ are the same as those appearing in the list of classification of canonical forms $\mathscr{L}_{2,j}$ given in the previous section.

Reduction by abelian subalgebras {#s:redbyab}
--------------------------------

###  Reduction by $\mathscr{L}_{2,1}$ 

The reduction formula is $$\label{eq:fml21}
u= x w(z), \qquad z= y^2/x,$$ and the reduced equation is $$\label{eq:red21}
-w^2+ 2(w z-1)w' -z^2 w'^{\,2} - (4z+ w z^2)w''=0.$$

###  Reduction by $\mathscr{L}_{2,2}$ 

The reduction formula is

\[eq:fml22\] $$\begin{aligned}
z&= - \frac{(4 c_1 c_2 e^{t k_1} y + 2 c_1 y^2 (k_0 - c_3 k_1) +
c_2^2 (-4 x+ y^2 k_1))}{2(c_2 e^{t k_1} + y (k_0 -
c_3 k_1))}\\
u&= \frac{-y k_1(c_2^2 y k_1 + 4 c_1 (2 c_2 e^{t k_1} + y (k_0 - c_3
k_1))) + 4 (c_2 e^{t k_1} + y (k_0 - c_3 k_1))^2 w(z) } {4 c_2^2},\end{aligned}$$

and the reduced equation which includes the case $c_2=0$ is given by $$\label{eq:red22}
\begin{split}& -8 w z^3  (k_0 - c_3 k_1)^2 + 2 z^3 k_1 (4 c_1 k_0 c_2^2 k_1 - 4
c_1 c_3 k_1)\\
& + (c_1^2+ c_2^2 w + 8 z^4 (k_0 - c_3 k_1)^2 + 3 z^2 (c_2^2 k_1 + 2
c_1
(k_0-c_3 k_1))) w' - c_2^2 z w'^{\,2}\\
&+ \left( (-c_1^2 - c_2^2 w) z -4z^5 (k_0-c_3 k_1)^2 - 2 z^3 (2 c_1
k_0 + c_2^2 k_1 - 2 c_1 c_3 k_1)\right) w''=0
\end{split}$$

###  Reduction by $\mathscr{L}_{2,3}$ 

In this case, the similarity variables $z$ and $w$ are given by $z=t,\; w=y.$ Hence the corresponding Lie point transformation does not satisfy the transversality condition, since the equation $w(z)=y$ cannot be solved for $u,$ and there is no reduced equation in this case.

###  Reduction by $\mathscr{L}_{2,4}$ 

The reduction formula is $$\label{eq:fml24}
z=t, \qquad u= (w(z)-y^2)h''/4 h.$$ In this case the reduced equation degenerates simply into the condition $h''=0,$ which in turn yields only the trivial solution $u=0.$

###  Reduction by $\mathscr{L}_{2,5}$ 

The reduction formula is

\[eq:fml25\] $$\begin{aligned}
{3}
z&= \frac{(c_3+ 6 k_0 t)^5}{y^6},& \qquad u &= \frac{w(z)}{(c_3+ 6
k_0
t)^{(1/3)}},& \quad &\text{ for $k_0 \neq 0$}\\
z&=y,&\qquad  u&=w(z),& \qquad &\text{ for $k_0=0$}\end{aligned}$$

and the corresponding reduced equation is

\[eq:red25\] $$\begin{aligned}
 7 w' + 6 z w''&=0, \qquad \text{ for $k_0 \neq 0$}\\
 w'' &=0, \qquad \text{ for $k_0=0.$}\end{aligned}$$

###  Reduction by $\mathscr{L}_{2,6}$ 

The reduction formula is $$\label{eq:fml26}
 z= t, \qquad u= g'(w(z)- x/g).$$ Here again the reduced equation is simply a degenerated condition of the form $g''=0,$ which gives rise to a solution of the form $$\label{eq:solu26}
u= \alpha \left(w(t) -\frac{x}{\alpha t + \beta}\right)$$ where $\alpha$ and $\beta$ are arbitrary constants, while $w(t)$ is an arbitrary function of $t.$

###  Reduction by $\mathscr{L}_{2,7}$ 

The reduction formula is $$\label{eq:fml27}
z= x (c_3 + k_0 t), \qquad u= w(z)/ (c_3+ k_0 t)^2,\qquad (k_0^2 +
c_3^2 \neq 0),$$ and this leads to the reduced equation $$\label{eq:red27}
k_0 w' + w'^{\,2} + (w- z k_0) w''=0.$$

Reduction by non abelian subalgebras {#s:redbynoab}
------------------------------------

###  Reduction by $\mathscr{L}_{2,8}$ 

The reduction formula in this case is

\[eq:fml28\] $$\begin{aligned}
{3}
z &=\frac{(6 k_0 +1)x+ 3 c_1}{\left( (3 k_0 + 2)y + 3 c_2 \right)^s
},& \qquad u&= ((6 k_0 +1)x + 3 c_1)^r w(z),& \quad &{\small
\left(k_0\neq -\frac{1}{6},
- \frac{2}{3}\right)}\notag \\
z &= \frac{e^{x/c_1}}{ (y+ 2 c_2)^2},& \qquad u&= \frac{w(z)}{
e^{x/c_1}},& \quad &\left(k_0 \neq -1/6\right)\\ z &= (c_1-x) e^{y/c_2},& \qquad u&= (c_1-x)^2 w(z),& \quad
&\left(k_0= -2/3 \right) $$

where $s= (6 k_0+1)/(3 k_0+2)$ and $r= (6 k_0-2)/(6 k_0+1).$ This leads to the following reduced equation when $k_0 \neq -1/6$ and $k_0 \neq -2/3.$ $$\label{eq:red28a}
\begin{split}
& -r (-1+ 2r) w^2 z^r (1+ 6 k_0)^2+ (-s (1+s)z^3 (2+ 3 k_0)^2 -4 r
w z^{r+1} (1+ 6 k_0)^2 )w'\\
& - z^{r+2} (1+ 6 k_0)^2 w'^{\,2} + (-s^2 z^{4} (2+ 3 k_0)^2 -w
z^{r+2} (1+6 k_0)^2)w''=0.
\end{split}$$

The other reduced equations for $k_0=-1/6$ and $k_0=-2/3$ are respectively given by

\[eq:red28b\] $$\begin{aligned}
-2 w^2 + (3 w z - 6 c_1^2 z^2) w' - z^2 w'^{\, 2}+ (-w z^2 - 4 c_1^2
z^3) w''&=0,\label{eq:red28b1} \\
 - 6 c_2^2 w^2 - (z+ 8 c_2^2 w z)w' - c_2^2 z^2 w'^{\,2}- (z^2+ c_2^2 w
 z^2)w'' &=0, \label{eq:red28b2}\end{aligned}$$

###  Reduction by $\mathscr{L}_{2,9}$ 

The reduction formula is

$$\label{eq:fml29}
 z=t, \qquad u= y^2 w(z),$$

which only results in the trivial equation $w=0,$ and solution $u=0.$

###  Reduction by $\mathscr{L}_{2,10}$ 

The reduction formula is

$$\begin{aligned}
{3}
z&= \frac{ c_3+ (3-6 k_0)t }{y^r},& \qquad u&= (c_3+ (3-6 k_0)t)^s w
(z),&\qquad &\text{ for $k_0 \neq 1/2$}\\
z&= e^{(-t/2c_3)}y,& \qquad u&= e^{t/c_3}w(z),& \qquad &\text{ for
$k_0=1/2.$}\end{aligned}$$

where $r= (3-6 k_0)/(2-3 k_0)$ and $s= (6 k_0-2)/(3-6 k_0),$ and the corresponding reduced equation is

\[eq:red210\] $$\begin{aligned}
(-5 + 9 k_0)w' + 3 z (-1 + 2 k_0)w''&=0, \qquad \text{for $k_0 \neq
1/2$}\\
w''&=0, \qquad \text{for $k_0=1/2$}\end{aligned}$$

###  Reduction by $\mathscr{L}_{2,11}$ 

The reduction formula is $$\label{eq:fml211}
z=t, \qquad u= x w(z),$$ and this gives rise to the reduced equation $$\label{eq:red211}
    w^2- w'=0.$$

###  Reduction by $\mathscr{L}_{2,12}$ 

The reduction formula is

\[eq:fml212\] $$\begin{aligned}
{3}
z &= (3 (1- k_0)t + 2 c_3) x^{s},& \qquad u&= (3 (1- k_0)t + 2
c_3)^{r} w(z),& \qquad &\text{ for $k_0 \neq 1, -1/3$} \\
z &=  e^{(2 t/c_3)} / x,& \qquad u&= e^{(2 t/c_3)} w(z),& \qquad
&\text{ for $k_0=1$}\\
z&=x, & \qquad u&= w(z)/(c_3+ 2t),& \qquad &\text{ for $k=-1/3$}\end{aligned}$$

where $s= 3(k_0-1)/(1+ 3 k_0)$ and $r= (2(3 k_0-1))/(3(1-k_0)).$ This yields for $k_0 \neq 1, -1/3,$ the reduced equation

$$\label{eq:red212a}
 \begin{split}  & \left( (-1-s) w z^{1+r} + 3 (1+r)(k_0-1) \right)
w'- s z^{2+r}
w'^{\,2}\\
& + (-s w z^{2+r} + 3 z (k_0-1)) w''=0,   \end{split}$$

while the other reduced equations are

\[eq:red212b\] $$\begin{aligned}
{2}
(4 + 2 c_3 w z) w' + c_3 z^2 w'^{\,2} + z (2 + c_3 w z) w''
&=0,& \qquad &\text{ for $k_0=1$} \label{eq:red212b1}\\
2 w' + w'^{\,2} + w w'' &=0, & \qquad &\text{ for $k_0= -1/3$}
\label{eq:red212b2}\end{aligned}$$

All of the reduced ODEs that we have thus obtained for the ZK equation belong to a more general family of differential equations of the form $$\label{eq:classgn}
A_1 + A_2 w'+ A_3 w'^{\,2}+ A_4 w''=0$$ where the $A_j$ are polynomials in $w$ whose coefficients are functions of $z,$ and of the form

$$\begin{aligned}
A_1 &= \alpha_1 w^2+ \alpha_2 w z^r + \alpha_3 w z^3 +  \alpha_4
z^3\\
A_2 &= \beta_1 w z^{r+1} + \beta_2 w z + \beta_3 w + P_4(z)\\
A_3 &= \gamma_1 z^{r+2} + P_2(z)\\
A_4 &= \delta_1 w z^{r+2} + \delta_2 w z^2 + \delta_3 w z + \delta_4
w + P_5(z),\end{aligned}$$

where the $\alpha_j, \beta_j, \gamma_j, \delta_j$ and $r$ are free constants, while $P_n(z)$ represents a polynomial of degree $n$ in $z.$ These equations are generally nonlinear, except in the case of reductions by $\mathscr{L}_{2,5}$ and $\mathscr{L}_{2,10}$ where the corresponding equations of the form   turn out to be genuine linear equations of the simple form $$\label{eq:classlin}
a_1 w' + a_2 z w''=0,$$ where $a_1$ and $a_2$ are constants.

Exact solutions and their properties
====================================

Although explicit expressions for solutions of the ZK Equation   can be obtained from the reduced equations of the previous section, we shall also be interested in the physical relevance of these solutions. In the ZK model  @zk, physically relevant solutions must be bounded functions of the spatial variable $x,$ aligned with the primary direction of propagation, and the time-like variable $t.$

In this sense, not all solutions of the ZK equation are physically relevant, and this is the case with the solution given for example by  . It is also easy to verify that for reduced ODEs which are linear, relevant solutions occur only in the case of Eq.  , while none occurs for the other general case given by  . Thanks to the reduction formulas, and the fact that the integration of linear equations of the form   poses no problem, explicit expressions of solutions are not necessary in the case of linear reduced equations.

For nonlinear reduced equations, the simplest and most frequent equations of the form   are equations in which the coefficients $A_j$ are simple polynomial functions in $w$ and $z.$ More precisely, these are given by $A_1= \alpha w^2,$ and $A_3=
\beta z^2,$ where $\alpha$ and $\beta$ are constants, while $A_2$ and $A_4$ are linear in $w.$ We call Type $A$ this class of simpler reduced nonlinear ODEs, and Type $B$ its complement among the nonlinear reduced ODEs. Type $A$ equations often correspond to subcases of Type $B$ equations which in turn correspond to general cases of reductions by $\mathscr{L}_{2,2}, \mathscr{L}_{2,8}$ and $\mathscr{L}_{2,12}.$ We can partition Type $A$ into Type $A_1$ consisting of equations admitting only one symmetry, and Type $A_2,$ consisting of equations admitting two or more symmetries. All Type $A$ equations can generally be reduced to an Abel equation of the first kind, which as is well-known are generally difficult to solve  @polya [@liouv-ab]. However, when any such equation has two known symmetries, it is possible to obtain solutions of the nonlinear equation at least in an implicit or parametric form. It will be sufficient to illustrate this point by treating a number of examples.

If we consider for instance Type $A$ reduced equation   corresponding to the subalgebra $\mathscr{L}_{2,1},$ we observe that this equation has only a one-dimensional symmetry algebra generated by $$\label{eq:sred21}
\mathbf{v}= z {\,\partial}_z -w {\,\partial}_w,$$ with rectifying coordinates $r= w z$ and $W= - \ln (w).$ In terms of these new variables, Eq.   takes the form $$\label{eq:red21t1}
-1 + (2-5r)W' + (-8r+11r^2)W'^{\,2}- 6 r^2 (1+r)W'^{\,3} +
r(4+r)W''=0,$$ which is clearly an equation of Abel of the first kind for $Z=W'.$ However, even the transformed equation   also has only one symmetry, and thus it is difficult to find its solutions by Lie groups methods. Similar results apply to all other Type $A_1$ reduced ODEs such as   and  .

Among Type $A_2$ equations the simplest is Eq.  , which is of the first order and corresponds to a reduction by $\mathscr{L}_{2,11},$ but the corresponding solution is of no physical interest as already mentioned. In all other Type $A_2$ cases, the equation is of order two and can also be reduced to an Abel equation of the first kind. A simple example for this case is Eq.  . It admits the symmetry $\mathbf{v}=
{\,\partial}_z,$ in terms of whose rectifying variables $r= w, W=z,$ the equation takes the form $$\label{eq:red212b1t1}
2 W'^{\,2} + W'- r W''=0,$$ and thus reduces to a Riccati equation for $Z=W',$ which is just a degenerated form of an Abel equation. However, Eq.   can be solved directly, and gives rise to a a bounded solution $$\label{eq:sore212b1}
u=\frac{A}{2(c_3+ 2t)}\left[1+
\operatorname{ProductLog}\left(\frac{\exp(-1-\frac{4(B+x)}{A})}{A}\right) \right],$$ where $A$ and $B$ are arbitrary constants, and where $\operatorname{ProductLog}(z)$ is the principal solution for $w$ in the equation $z= we^w.$ Equation   has the same properties, although it is less obvious to solve. It has two symmetries $\mathbf{v}= z^2 {\,\partial}_z+ (2/c_3){\,\partial}_w$ and $\mathbf{w}= z{\,\partial}_z-w
{\,\partial}_w$ satisfy a commutation relation of the form $[\mathbf{w},
\mathbf{v}]= \mathbf{v}.$ Thus by the well-know procedure of  @olv1, the equation should first be reduced by the normal symmetry subalgebra generated by $\mathbf{v}.$ Before trying to solve  , we notice that in terms of the rectifying coordinates $r= 2/z + c_3 w$ and $W= 3 c_3 w /2 + 2/z$ of $\mathbf{v},$ Eq.   takes the form $$\label{eq:abred212b1}
\frac{6}{r} - \frac{16}{r} W' + \frac{14}{r} W'^{\,2} - \frac{4}{r}
W'^{\,3} + W''=0,$$ which is clearly an Abel equation for $Z= W'.$ On the other hand, in terms of the invariants $\xi= 2/z + c_3 w$ and $X= z^2 w'$ of the first prolongation of $\mathbf{v},$ Eq.   reduces to the first order equation $$\label{eq:red212b1t1}
- c_3 X^2 + \xi (2- c_3 X )X'=0.$$ In terms of the new variables $\xi$ and $X,$ $\mathbf{w}$ reduces in a quotient space to a symmetry $\tilde{\mathbf{w}}= -\xi
{\,\partial}_{\xi}$ of the reduced equation. Finally, when expressed in terms of the rectifying coordinates $v= X$ and $Q= - \ln(\xi) + X$ of $\tilde{\mathbf{w}},$ Eq.   reduces to

\[eq:red212b1t2\] $$\begin{aligned}
-2 c_3 v (1+v)- c_3 v^2 Q'&=0,\\
 \intertext{ with easy solution }
Q= A+ \frac{2}{c_3 v} + v \ln(v), \label{eq:sol212a}\end{aligned}$$

where $A$ is an arbitrary constant of integration. However, trying to revert back to the solution $w(z)$ to the original equation   only leads to an implicit expression for $w(z)$ of the form

\[eq:so212afn\] $$\begin{aligned}
w &-\frac{2 + c_3 z w}{c_3 z \operatorname{ProductLog}(f(z,w))}= B\\
\intertext{ where }
 f(z,w)&= -2 \exp(-A/ c_3)(2 + c_3 z w)/ (c_3 z),\end{aligned}$$

and where $A$ and $B$ are the two arbitrary constants of integration. Consequently, it is not obvious how to determine the corresponding solution $u$ to the ZK equation and its properties from Eq.  . Similar difficulties are encountered with all Type $B$ reduced equations, which turn out to have only zero- or one-dimensional symmetry algebras, and which by essence are more complicated then the Type $A$ ones we have considered.

Linearizability
---------------

Our analysis in this section revealed that in general all nonlinear reduced ODEs were not readily integrable. Most often this is due to the fact that their solutions is not expressible in terms of algebraic or elementary functions. Before attempting to solve nonlinear ODEs obtained by similarity reductions, it is customary to perform a painlevé test  @ablow [@pav-leve] that determines whether these equations satisfy certain necessary conditions for having the so-called Painlevé property, because Painlevé-type equations are generally perceived to be easier to solve than general nonlinear ODEs. For a given differential equation, the Painlevé property is the property that all solutions of the equation are free from movable essential singularities, and for second order ODEs a list of fifty canonical forms of all such equations exists  @ince.

However, since we have attempted to solve all the nonlinear reduced ODEs without performing any Painlevé test on them, we will simply contempt ourselves with checking whether the nonlinear reduced equations obtained, each of which may be put into the form $$\label{eq:nlodegn}
\Delta \equiv w''+ F(z,w, w')=0,$$ for a certain function $F,$ are linearizable by a transformation of the form $$\label{eq:lintr1}
z= f(Q, r), \qquad w= g(Q, r).$$ This will give a better insight into the integrability of the ZK equation, because linear equations are by essence integrable. Indeed, in the modern era of integrability, the Painlevé approach has had an immense success by leading in particular to the discovery of a wealth of new integrable systems, to the extent that various conjectures almost intimately associated the Painlevé property with integrability @ramani2. However, it has become clear that although many linearizable equations (both ordinary and partial) possess the Painlevé property, many other linearizable equations do not possess this property @ramani1 [@ramani2]. By a result of Lie, the linearization test is easy to perform. Indeed, Lie  @lielint showed that a necessary condition for an equation of the form   to be linearizable is that it be of the form $$\label{eq:lincond2}
\Delta \equiv w'' + A(z,w) w'^{\,3}+ B(z,w) w'^{\,2}+ C(z,w) w'+
D(z,w)=0,$$ that is, a polynomial in $w'$ of degree at most $3.$ If for a given equation of the above form   we consider the two expressions $$\begin{aligned}
    \Psi_1(\Delta)&=  3 A_{z,z} -2 B_{z,w} + C_{w,w} - 3(C A)_z + 3(D A)_{w}+(B^2)_z + 3 A D_w - B (C)_w\\
    \Psi_2(\Delta)&=  3 D_{w,w}-2 C_{z,w}+ B_{z,z}- 3(D A)_{z}+3(D B )_w- (C^2)_w - 3 DA_z+ C
    B_z,\end{aligned}$$ then Lie also showed  @lielint [@ibralin] that an equation of the form   is linearizable if and only if $$\label{eq: zerolinco}
\Psi_1(\Delta)=0, \qquad \text{ and } \qquad  \Psi_2(\Delta)=0,$$ and he also provided a method for finding the linearizing transformations of the form  .

All the nonlinear ODEs obtained for the ZK equation by similarity reductions are clearly of the form   required for the necessary condition of linearization. However, we have found that none of them is linearizable in general, except in some few cases where linearization is possible for a special value of the set of parameters. Indeed, if for every equation $\Delta$ of the form   we set $\Psi (\Delta)= \left( \Psi_1 (\Delta),
\Psi_2 (\Delta) \right),$ then it is readily seen that in the case of Eq.   for instance, we have $\Psi (\Delta)=0$ if and only if $k_0=0,$ and for this value of $k_0$ the equation reduces to $$w'^2+ w w''=0,$$ which transforms into the linear equation $Z''=0$ for $Z=w^2.$ A similar observation is made about other Type $A$ equations containing parameters. Indeed, the test reveals that Eqs.    , and   are linearizable if and only if $c_1=~0,\; c_2=~0$ and $c_3=0,$ respectively, in which case the equation is already linear. However, in the latter case  , the equation is in reality not linearizable because the value $c_3=0$ is not allowed.

On the other hand none of the Type $A$ equations without parameters is linearizable. For instance for Eq.   we have $$\Psi(\Delta)= \left(  \frac{54 z}{(4+ w z)^3}, -\frac{72(-2 + w z)}{z (4+ w z)^3} \right).$$ Similarly, none of the Type $B$ equations, generally represented by  ,   and   is linearizable. For instance, for Eq.   it is found that $\Psi_1(\Delta)=0$ if and only if $k_0= 1/9,$ and for this value of $k_0$ we have $$\Psi_2(\Delta)= \frac{18 z^{4/5}}{25 (w+ z^{14/5})^2}.$$ For Eq.  ,$\Psi_1(\Delta)=0$ if and only if $k_0=-1/15,$ while $\Psi_2(\Delta)=0$ if and only if $k_0=1/21.$ The linearization test thus shows that all nonlinear ODEs obtained by similarity reductions of the ZK equation are essentially non linearizable.

Concluding remarks
==================

Based on the classification list of all two-dimensional subalgebras of the $(2+1)$-dimensional ZK equation recently proposed in  @zabol08, we have obtained for the first time in this paper all possible similarity reductions to ODEs of the ZK equation. In this way, new exact solutions of this equation which are larger in number and different from those obtained in  @chowdhu [@vinograd] have been obtained. In general, all nonlinear reduced equations were not readily integrable, and instead of performing the usual Painlevé test on these equations, we have rather shown the nonlinear reduced equations are essentially non linearizable.

<span>99</span> Zabolotskaya E.A., Khokhlov R.V., Quasi plane waves in the nonlinear acoustics of confined beams, <span>*Soviet Phys. Acoust.*</span> <span>**15**</span> (1969), 35-40.

Sarvazyan A.P., Rudenko O.V., Swanson S.D., Fowlkes J.B., Emelianov S.Y., Shear wave elasticity imaging: A new ultrasonic technology of medical diagnostics, <span>*Ultrasound Med. Biol.*</span> <span>**24**</span> (1999), 1419-1435.

Vinogradov A.M., Vorob'yev E.M., Applications of symmetries to finding exact solutions of the Zabolotskaya-Khokhlov equation, <span>*Akust. Zh.*</span> <span>**22**</span> (1976), 23.

Soh Wafo C., Momoniat E., Lie group investigation of exact weakly nonlinear quasi-planar sound wave, <span>*IMA journal of Applied Mathemtics*</span> <span>**69**</span> (2004), 219-232.

Bakhvalov N.S., Zhileikin Y.M., Zabolotskaya, E.A., Nonlinear Theory of Sound Beams, Amer. Inst. of Phys, New York 1987.

Chowdhury A.R., Nasker, M., Towards the conservation laws and Lie symmetries for the Khokhlov-Zabolotskaya equation in three dimensions, <span>*J. Phys. A: Math. Gen.*</span> <span>**19**</span> (1986), 1775-1782.

Ndogmo J.C., Symmetries of a nonlinear acoustic model, arXiv:0710.0071, Nonlinear Dyn. (2008), In press.

Schwarz F., Symmetries of the Khokhlov-Zabolotskaya equation, <span>*J. Phys. A: Math. Gen.*</span> <span>**20**</span> (1987), 1613-1614

Hereman W., Steeb W.H., Euler N., Towards the conservation laws and Lie symmetries for the Khokhlov-Zabolotskaya equation in three dimensions, <span>*J. Phys. A: Math. Gen.*</span> <span>**25**</span> (1992), 2417-2418.

Zhang J.F., Zhu Y.J., Lin J., Similarity reductions of the Khokhlov-Zabolotskaya Equation, <span>*Commun. Theor. Phys.*</span> <span>**24**</span> (1995), 69-74.

Olver P.J., Applications of Lie Groups to Differential Equations, Springer, New York 1986.

David D., Kamran N., Levi D., Winternitz P., Symmetry reduction for the Kadomtsev-Petviashvili equation using a loop algebra, <span>*J. Math. Phys.*</span> <span>**27**</span> (1986), 1225-1237

Winternitz P., Kac-Moody-Virasoro, symmetries of integrable nonlinear partial differential equations, Preprint, CRM 1548, 1988.

Gungor F., On the Virassoro structure of symmetry algebras of nonlinear partial differential equations, <span>*SIGMA*</span> <span>**2**</span> (2006), 014, 7 pp.

Winternitz P., Lie groups and solutions of nonlinear partial differential equations, Preprint CRM-1841, 1993.

Gibbons J., Kodama Y., Integrable quasilinear systems, generalized hodograph transformation, in Nonlinear evolutions, World Sci. Publ., Teaneck, 1987, 97-107.

Polyanin A.D., and Zaitsev V.F., Hanbook of Exact solutions for ordinary differential Equations, CRC Press, Boca Raton FL 1995.

Liouville R., Sur une equation différentielle du premier ordre, <span>*Acta Math.*</span> <span>**27**</span> (1903), 55-78.

Ablowitz M.J., Ramani A, Segur H., A connection between nonlinear evolution equations and ordinary differential equations of $P$-type. I, <span>*J. Math. Phys.*</span> <span>**21**</span> (1980), 715-721.

Rand D. W., Winternitz P., Odepainleve - A Macsyma package for Painlevé analysis of ordinary differential equations, <span>*Computer Physics Communications*</span> <span>**42**</span> (1986), 359-383.

Ince E.L., Ordinary differential equations, Dover, New York, 1956.

Ramani A., Grammaticos B., Tremblay S., Integrable system without the painlevé property, <span>J. Phys. A: Math. Gen</span> <span>**33**</span> (2000), 3045-3052.

Tamizhmani K.M., Gammaticos B., Ramani A., Do all integrable evolution equations have the Painlevé property?, <span>*SIGMA*</span> <span>**3**</span> (2007) 073, 6pp.

Lie S., Klassification und Integration von gewöhnlichen Differentialgleichugen zwischen $x, y,$ die eine Gruppe von Transformationen gestatten, III. <span>*Archiv for Mathematik og Naturvidenskrab*</span> <span>**8**</span> (1883), 371-458.

Ibragimov N. H., Magri F., Geometric Proof of Lie Linearization Theorem, Nonlinear Dynamics <span>**36**</span> (2004), 41-46.

{'source': 'arXiv_out/0806'}