_{1}

^{*}

In this short note, a particular realization of the vector fields that form a Lie Algebra of symmetries for the Calogero-Bogoyavleskii-Schiff equation is found. The Lie Algebra is examined and the result is a semidirect product of two Lie Groups. The structure of the semidirect product is examined through the table of commutation rules. Two reductions are made with the help of two sets of generators and the final outcome for the solution is related to the elliptic Painlevé P( ξ)-function.

The Calogero-Bogoyavleskii-Schiff Nonlinear Partial can be written as [

u x t + u x u x y + 1 2 u x x u y + 1 4 u x x x y = 0

The study of the integrability of this equation has been the subject of a large body of literature concerning specially the solutions obtained by means of a wealth of methods. For instance the interested reader may wish to check the references [

The vector fields of the CBS equation take the following form in x , y , t and the field u ( x , y ; t ) coordinates:

X 1 = ∂ ∂ t + f 1 ( t ) ∂ ∂ x + { 2 y f ′ 1 ( t ) + f 2 ( t ) } ∂ ∂ u

X 2 = f 3 ( t ) ∂ ∂ x + ∂ ∂ y + { 2 y f ′ 3 ( t ) + f 4 ( t ) } ∂ ∂ u

X 3 = f 5 ( t ) ∂ ∂ x + t ∂ ∂ y + { 2 y f ′ 5 ( t ) + f 6 ( t ) + x } ∂ ∂ u

X 4 = t ∂ ∂ t + { f 7 ( t ) + x 2 } ∂ ∂ x + { 2 y f ′ 7 ( t ) + f 8 ( t ) − u 2 } ∂ ∂ u

X 5 = { f 9 ( t ) − x 2 } ∂ ∂ x + y ∂ ∂ y + { 2 y f ′ 9 ( t ) + f 10 ( t ) + u 2 } ∂ ∂ u

X 6 = t 2 2 ∂ ∂ t + { f 11 ( t ) + x t 4 } ∂ ∂ x + y t 2 ∂ ∂ y + { 2 y f ′ 11 ( t ) + f 12 ( t ) − u t 4 + x y 2 } ∂ ∂ u

To find the form of the arbitrary functions f i ( t ) where i = 1 , 2 , 3 , ⋯ , 12 , we have to minimize the number of vector fields by using the commutators of

f ′ 4 ( t ) = 2 f ′ 1 ( t ) ; f ′ 5 ( t ) = f 3 ( t ) ; 2 t f ′ 1 ( t ) − f 1 ( t ) = f ′ 6 ( t ) − f 4 (t)

t f ′ 2 ( t ) + 3 2 f 2 ( t ) = t f ′ 8 ( t ) f ′ 1 ( t ) + 1 2 f 1 = f ′ 7 ( t ) ; f ′ 9 ( t ) = 1 2 f 1 (t)

f ′ 10 ( t ) + 1 2 f 2 ( t ) = 0 ; 1 2 { t f ′ 2 ( t ) + 1 2 f 2 ( t ) } = f ′ 12 ( t ) − f 8 − 1 2 f 10 (t)

1 2 t { t f ′ 1 ( t ) − 1 2 f 1 ( t ) } = f ′ 11 ( t ) − f 7 − 1 2 f 9 ( t ) ; t f ′ 4 ( t ) + 1 2 f 4 = 2 f ′ 7 (t)

Lie Algebra | G_{1} | G_{2} | G_{3} | D_{1} | D_{2} | D_{3} |
---|---|---|---|---|---|---|

G_{1} | 0 | 0 | G_{2} | G_{1} | 0 | D 1 + 1 2 D 2 |

G_{2} | 0 | 0 | 0 | 0 | G_{2} | 1 2 G 3 |

G_{3} | −G_{2} | 0 | 0 | −G_{3} | G_{3} | 0 |

D_{1} | −G_{1} | 0 | G_{3} | 0 | 0 | D_{3} |

D_{2} | 0 | −G_{2} | −G_{3} | 0 | 0 | 0 |

D_{3} | − ( D 1 + 1 2 D 2 ) | − 1 2 G 3 | 0 | -D_{3} | 0 | 0 |

{ t f ′ 4 ( t ) + 1 2 f 4 ( t ) } = 2 f ′ 11 ( t ) − 1 2 f 6 ( t ) ; 2 f ′ 9 ( t ) − 1 2 f 4 ( t ) = 0

{ t f ′ 6 ( t ) − 1 2 f 6 ( t ) } = 2 t f ′ 7 ( t ) − f 7 ( t ) ; { t f ′ 6 ( t ) + 1 2 f 6 ( t ) } = 4 f ″ 11 (t)

2 t f ′ 8 ( t ) − f 8 ( t ) = 1 2 f 6 ( t ) ; 2 t f ′ 9 ( t ) − f 9 ( t ) = f 7 ( t ) ; 2 t f ′ 10 ( t ) + f 10 ( t ) + f 8 ( t ) = 0

t f ′ 11 ( t ) − 32 f 11 ( t ) = t 4 { 2 t f ′ 7 ( t ) − f 7 ( t ) } ; 2 t f ′ 12 ( t ) − f 12 ( t ) = t { t f ′ 8 ( t ) + 1 2 f 8 ( t ) }

t 2 { 2 t f ′ 9 ( t ) − f 9 ( t ) } = f 11 ( t ) ; t 2 { 2 t f ′ 10 ( t ) + f 10 ( t ) } = − f 12 (t)

The following functions form a non-unique solution of the above system of Ordinary Differential Equations:

f 1 ( t ) = 1 2 f 4 ( t ) = f 10 ( t ) = t − 1 2 ; f 2 ( t ) = t − 3 2 ; f 9 ( t ) = t 1 2

f 3 ( t ) = f 5 ( t ) = f 6 ( t ) = f 7 ( t ) = f 8 ( t ) = f 11 ( t ) = f 12 ( t ) = 0

With these solutions the vector fields are easily shown to be:

G 1 = ∂ ∂ t + t − 1 2 ∂ ∂ x + t − 3 2 ( 1 − y ) ∂ ∂ u

G 2 = ∂ ∂ y + 2 t − 1 2 ∂ ∂ u

G 3 = t ∂ ∂ y + x ∂ ∂ u

D 1 = t ∂ ∂ t + x 2 ∂ ∂ x − u 2 ∂ ∂ u

D 2 = { t 1 2 − x 2 } ∂ ∂ x + y ∂ ∂ y + { t − 1 2 ( 1 + y ) + u 2 } ∂ ∂ u

D 3 = t 2 2 ∂ ∂ t + x t 4 ∂ ∂ x + y t 2 ∂ ∂ y + 1 4 { 2 x y − u t } ∂ ∂ u

As can easily be seen the Invariants [

[ G 1 , G 2 ] = 0 ; [ G 2 , G 3 ] = 0 ; [ G 3 , G 1 ] = − G 2

[ D 1 , D 2 ] = 0 ; [ D 2 , D 3 ] = 0 ; [ D 3 , D 1 ] = − D 3

Although the form of the Lie Algebras seems at the first sight to be the same, this conclusion is wrong as the first one is isomorphic to a sort of Non-Extended Galilei Lie Algebra G [

G = G ⊘ D

Te rest of the entire Goup of Symetries has the following Lie Algebra that contains the rest of the information on the Semi-Direct Product:

[ G 1 , D 1 ] = G 1 ; [ G 1 , D 2 ] = 0 ; [ G 1 , D 3 ] = D 1 + 1 2 D 2

[ G 2 , D 1 ] = 0 ; [ G 2 , D 2 ] = G 2 ; [ G 2 , D 3 ] = 1 2 G 3

[ G 3 , D 1 ] = − G 3 ; [ G 3 , D 2 ] = G 3 ; [ G 3 , D 3 ] = 0

As is well known each symmetry and its correspondent differential invariant are related to a solution of the CBS Equation. Also any linear combination of the Invariants corresponds to a given change of variables (often called “reduction”) which lowers the number of variables from three to one and/or from three to two, depending of the form of the generator.

1) An interesting and trivial combination of Invariants is to consider only G_{1} as the invariant that leads just to the reduction that we shall analyze below [

G 1 = ∂ ∂ t + t − 1 2 ∂ ∂ x + t − 3 2 ( 1 − y ) ∂ ∂ u

that gives as a result the change of independent and dependent variables in the form: η = x − 2 y 1 2 − 2 t 1 2 and W ( z , y ) = u ( x , y , t ) + 2 t − 1 2 ( 1 − y ) and the CBS equations is then reduced to the Ordinary Nonlinear Differential Equation written below with one variable which has been found through the method of characteristics [

W ′ ′ ′ ′ + 6 W ′ W ′ ′ = 0

where the primes indicate the derivatives with respect to the η independent variable.

To solve this equation we first consider the following ODE:

1 2 ψ ′ 2 + ψ 3 = c 1 ψ + c 2

Deriving twice this new equation we easily find:

ψ ‴ + 6 ψ ψ ′ = 0

The initial function W ( η ) is related to ψ ( η ) simply by ψ = W ′ where the prime denotes derivative with respect to the independent variable η as can be trivially checked. Now let us look for a solution of the equation for ψ. In order to solve the equation for ψ we should consider the following identity involving the Weierstrass P -Function:

1 2 P ′ 2 = 4 P 3 − g 2 P − g 3

that coincides with:

1 2 ψ ′ 2 + ψ 3 = c 1 ψ + c 2

if and only if:

ψ ( η ) = P ( i 2 η )

and g 2 = 4 c 1 and g 3 = 4 c 2 . The symbol η stands for the independent variable with respect to which we have performed all the derivatives. The last step is to find W ( η ) . Due to the fact that W ′ = ψ we obtain trivially:

W ( η ) = ∫ − ∞ η P ( i 2 η ) d η = i 2 ∫ − ∞ η P ( ξ ) d ξ

where ξ = i 2 η . The integral of the Weierstrass P -Function cannot be expressed as a closed function but rather as a series of powers in the independent variable ξ. The interest reader can learn about this integral in the book: In particular one can find there the expression of the integral of P ( ξ ) (see [

∫ − ∞ η P ( ξ ) d ξ = − 1 ξ + g 2 60 ξ 3 + g 3 140 ξ 5 + g 2 2 8400 ξ 7 + g 2 g 3 18480 ξ 9 + ⋯ | − ∞ η

The result for our case using the expression for the argument ξ = i 2 η and the fact that g 2 = 4 c 1 and g 3 = 4 c 2 is:

W ( η ) = 4 η − c 1 60 η 3 + c 2 560 η 5 − c 1 2 33600 η 7 + c 1 c 2 295680 η 9 − 196 c 1 3 + 375 c 2 2 2627625 η 11 + c 1 2 c 2 38438400 η 13 − { 2 c 1 4 1243125 + 8 c 1 c 2 2 595595 } ( η 2 ) 15 + ⋯

The solution becomes a pure real function for all η ∈ R . One interesting property of the solution given as an expansion of the Weierstrass P ( ξ ) -Function is that the initial conditions are inserted in the expansion. The set of the two arbitrary constants the any second order differential equation is included in the own definition of the function. One is still used to see the initial conditions as independent of the function in the realm of linear differential equations. In the nonlinear case this is not always the case and the first example is provided by the nonlinear but integrable of the Elliptic Functions. Beyond these functions we have to deal with nonlinear but integrable second order differential equations as the Painlevé Transcendents that also enjoy the same property of expansions containing the initial conditions. They are functions whose the movable singularities are only poles.

2) An apparent generalization of the invariant giving rise to the above W-equation (remember that W ′ = ψ ) can be written as:

1 2 ψ ′ 2 + ψ 3 = a 0 ψ 2 + c 1 ψ + c 2

After deriving twice the invariant this becomes:

ψ ‴ + 6 ψ ψ ′ = 2 a 0 ψ

Indeed the case a 0 = 0 yields the case fully discussed in (1). For a 0 = 2 and a 0 = 3 we recover (26) and (31) of [

In this note, we have shown the power of the method of the symmetries for extracting all the information in a Non Linear Partial Differential equations; not only for finding the analytical solutions as it is usually used but also the algebraic structure: The Lie Algebra and the subgroups of the Invariants are explicitly shown as well as its relations to well known kinematical Lie Algebras. Also the connection with Elliptic Functions given in the last paragraph is interesting in its own. Other solutions can also be found with the help of Painlevé Transcendents, but this research which is now in progress will be postponed for a future publication.

This research has been carried out with the partial support of MINECO under the project MAT2013-46308-C2-1-R and JCyL Project Number SA226U13.

Cerveró, J.M. (2018) A Note on the Lie Algebra of the Invariants in the CBS Nonlinear Equation. Journal of Modern Physics, 9, 1297-1303. https://doi.org/10.4236/jmp.2018.96078