Hidden Symmetries of Lax Integrable Nonlinear Systems

Recently devised new symplectic and differential-algebraic approaches to studying hidden symmetry properties of nonlinear dynamical systems on functional manifolds and their relationships to Lax integrability are reviewed. A new symplectic approach to constructing nonlinear Lax integrable dynamical systems by means of Lie-algebraic tools and based upon the Marsden-Weinstein reduction method on canonically symplectic manifolds with group symmetry, is described. Its natural relationship with the well-known Adler-Kostant-Souriau-Berezin-Kirillov method and the associated R-matrix method [1,2] is analyzed in detail. A new modified differential-algebraic approach to analyzing the Lax integrability of generalized Riemann and Ostrovsky-Vakhnenko type hydrodynamic equations is suggested and the corresponding Lax representations are constructed in exact form. The related bi-Hamiltonian integrability and compatible Poissonian structures of these generalized Riemann type hierarchies are discussed by means of the symplectic, gradientholonomic and geometric methods.


Introduction
It is well known that hidden symmetry properties, related to symplectic, differential-geometric, differential-algebraic (D-A) or analytical structures of nonlinear Hamiltonian dynamical systems on functional manifolds, such as an infinite hierarchy of conservation laws and compatible Poissonian structures, often give rise to their Lax integrability.This fact was extensively worked out by many researchers during the past half century and a very powerful so called inverse Lie-algebraic orbit method [1,[3][4][5][6] of constructing hierarchies of a priori Lax integrable nonlinear dynamical systems was devised.A related direct problem of retrieving these hidden intrinsic symmetries for a priori given well posed nonlinear dynamical system, which are suspected to be Lax integrable, proved to be a very complicated task, whose solution is still far from being solved.Among different approaches to coping with it one can mention, for instance, the classical Kowalewskaya-Painlevé method and its modifications, the Mikhaylov-Shabat [7] recursion operator method, based on analyzing the Lie-Backlund symmetries and some other techniques, which appeared to be reasonably effective in diverse applications, especially for classifying nonlinear integrable dynamical systems possessing special structure.Recently, when studying integrability properties of infinite so called Riemann type hydrodynamical hierarchies, a new direct approach to testing the Lax integrability of a priori given nonlinear dynamical systems with special structure, based on treating the related symplectic and differential-algebraic structures of differentiations, was suggested [8] and devised in [9].By means of this technique the direct integrability problem was effectively reduced to the classical one of finding the corresponding compatible representations in suitably constructed differential rings.
Concerning the inverse Lie-algebraic orbit method, as its name suggests, it consists [1,3,6,[10][11][12] in studying invariant orbits of the coadjoint group action on a specially chosen element where is the conjugate space to the Lie algebra of a suitably chosen, in general formal, group In other words, the main Lie-algebraic essence of this approach consists in considering functional invariance and related symplectic properties of these extended orbits in generated by Ĝ   ,  , l the given element and inherited from the standard Lie algebra structure of l    . From this point of view, subject to this extension scheme of constructing a priori Lax integrable dynamical systems, it was natural to search for another way of constructing such systems, but based on a suitably chosen reduction construction of the corresponding coadjoint group action on the general element Ĝ .l   Happily, in modern symplectic geometry such a reduction method was well developed many years ago by Marsden and Weinstein [13,14] and effectively applied to studying integrability properties of some nonlinear dynamical systems [15,16] on finite-dimensional symplectic manifolds.Thus, a next step, consisting in developing this Marsden-Weinstein reduction method and applying it to the case of infinite-dimensional dynamical systems on functional manifolds, was quite natural and effectively realized in [17].The latter, in particular, made it possible to substantially generalize results of [18] and apply them to studying a new physically feasible and important model in modern quantum physics.As all of the topics, mentioned above and recently studied in our publications, are closely connected to each other, we tried in this work to review those main essentially used analytical, Lie-algebraic and differential-algebraic structures which proved to be algorithmically effective for studying Lax integrability of nonlinear dynamical systems on functional manifolds.
As an important example of applying these recently devised techniques, a new generalized Riemann type hydrodynamic system is studied by means of a novel combination of symplectic and differential-algebraic tools.A compatible pair of polynomial Poissonian structures, a Lax representation and a related infinite hierarchy of conservation laws are constructed.Also analyzed is the complete Lax integrability of the important (for applications) Ostrovsky-Vakhnenko Equation, studied by means of symplectic, gradient-holonomic and differential-algebraic tools.A compatible pair of polynomial Poissonian structures, Lax representations and related infinite hierarchies of conservation laws are also presented.

Lax Integrability via Marsden-Weinstein Reduction and the AKS-BK and R-Matrix Approaches Loop Group, Canonically Symplectic Manifold and Hamiltonian Action
As it is well-known [1,6,13,14], the most popular canonically symplectic manifolds are supplied by cotangent spaces   : M T   P to some "coordinates" phase spaces , which can often possess additional symmetry properties.If this symmetry can be identified with a Lie group P G  action on the phase space and its natural extension on the whole manifold P M proves to be symplectic and even more, Hamiltonian, the Marsden-Weinstein reduction method [10,13]

 G 
As the corresponding Hamiltonian flows on the reduced phase space M  often possess very interesting properties important for applications in many branches of mathematics and physics, they were topics of many investigations during the past decades.As a result of our interest in the mathematical properties of the Lax integrable flows, we observed that their modern Lie algebraic description by means of the Hamiltonian group action classical Lie-Poisson-Adler-Kostant-Berezin-Kirillov scheme on the adjoint space to the Lie algebra of a suitably chosen group is a natural consequence of applying the Marsden-Weinstein reduction method to the canonical symplectic phase space . The basis space , has to be a specially chosen Lie algebra with the naturally related Hamiltonian group action on the symplectic phase space P  G  .M Moreover, such classical integrability theory ingredients as -structures [19] and the related commutation properties of the related transfer matrices are also naturally retrieved from the Marsden-Weinstein reduction method via the scheme specified above.  , its Lie algebra , and a related [1,4,6] formal loop group ; Ho  of G-valued functions on the circle , meromorphically depending on the complex parameter    .Its Lie algebra can be viewed as the completion By the standard procedure [1,10] one can construct the centrally extended current algebra , on which the adjoint loop group G -action is defined: for any Here   , T c   and   , : is the following nondegenerate symmetric scalar product on : for any elements , A B and .C    Define now the canonically symplectic phase space whose exterior derivative gives the symplectic structure on the functional manifold M : Similarly to (2) one can naturally extend the group -action on the whole phase space G  M , having for any   as the corresponding co-adjoint action of the current group to the adjoint linear space The following lemma is almost selfevident.
The -group action (2) and (7) on the symplectic phase space M is symplectic and Hamiltonian.
It is easy to check that the canonical Liouville 1-form (5) on the manifold M is -invariant: ,d d = , ; , .

T c l k M 
To define the Hamiltonian G-action on the symplectic manifold M we take the group flow     by a Hamiltonian function owing to the : As a consequence of (11), one obtains for any point   is linear with respect to the generator element .X    This means that the loop group action on the symplectic manifold    M is Hamiltonian by definition [12,13]. The corresponding mapping where : is called the momentum mapping [10,12,13] which can be constrained to be fixed for further applications to the phase space M in the Marsden-Weinstein reduction procedure [13].
Let us describe in detail the related symplectic structure on the  -level submanifold for a fixed element .
As a more natural case we take that 0 To proceed further, we need some additional properties of the submanifold , M M   which we describe next.
X for , , and find the generated vector field t   : on the phase space M :

Marsden-Weinstein Reduction and Poisson Brackets
In this section we shall be interested in describing the submanifold M M   parameterized by the points of the reduced phase space : It is known [13,14] 2) and (7).The last property makes it possible [10,13,14,20] to define on the phase space G  M  the reduced nondegenerate symplectic structure on the phase space M  by means of the appropriate symplectic structure on the sub- where the elements T    , , k   according to the definition (15), satisfy the differential expressions: , 0 , for all Consider now a Hamiltonian vector field 1 .
From (17) it follows that the equality d d d dx


 holds on the reduced phase space .M  Let us also compute the evolution of the element c   with respect to this vector field d d on : , , , , 0 coinciding with the a priori assumed condition d d 0 c x  for any This, in particular, means that the flows d dt and d dx on the reduced phase space M  possess the countable set tion lows, where by definition, the element   for all From the Equation (20) one easily finds that upon the reduced phase space 1 Thus, from the t -evolution (21) of the parameter c   one finds that the constraint holds on the reduced phase space M  subject to the vector field d dt generated by the element   .
q l    Moreover, as it is easy to observe, these two vector fields d d and d dt on the reduced phase space M  commute: This is very promising, since the condition (23) results in a differential relationships on the components of the reduced matrix , l     for which the related evolution equation and the differential Equation for the matrix F G   are compatible.These Equations ( 24) and ( 25) realize the well-known [1,[4][5][6]10,12] generalized Lax spectral problem, allowing to integrate the above differential relationships by means of either the inverse scattering or the spectral transform methods [1,4,5,21] and algebraic geometry methods [4,5], or their modern generalizations [6].
To make this aim more constructive, it is necessary to describe the evolution of the vector field d dt on the reduced phase space M  in more detail subject to its dependence on the phase space element .l     Taking into account that the vector fields d dt and d dx satisfy the commutation condition (23) on the reduced manifold M  , we will apply Marsden-Weinstein reduction theory to our symplectic manifold M with the fixed value of the moment mapping 0 of the functions   , T X and  , T Y  on the reduced phase space M  for arbitrary It can be shown [10,20,22] that this Poisson bracket on where, by definition, the mappings , : X Y V V M     denote the solutions to the relationship where we made use of the property    ,  This holds owing to the definitions ( 29) and (7): x x a l ala ka a a g l lg l kg l g l a ka a ag l l ag l kag l g l a ka a ag l l ag l k ag l ag l g a l lg a l kg a l g a l which holds for all The functions .
should be extended to the whole phase space   M in such a way that their restrictions on the submanifold M M  x l g l l l g l kg l g l Returning to the Poisson bracket (27), we can replace holds and satisfies the normalization condition   with their one can observe that and, by con- In fact, for any .
is the vector field generated on M by the element we need to calculate the action Just as with the calculations from [22], one finds that on the submanifold Thus, on the reduced phase space M  the general expression (34) implies Therefore, the Poisson bracket (33), in view of the relationships   , becomes where we take into account that owing to (28) and (35), the expression Now one can rewrite the Poisson bracket (36) as where, by definition, we have introduced the classical -matrix structure in the Lie algebra : where and the linear homomorphism is defined as The mapping (39) should satisfy [23] the well-known condition for any and ,  satisfies the relationship ( 29), which implies [24] the following differential expression for any where ,  is the derivative mapping depending on the chosen reduction .l l The mapping (39) satisfies an additional relationship, which can be obtained from the group -action on the element following naturally from (29).Differentiation of (42) with respect to at the point for an arbitrary .Moreover, since the matrix (42) satisfies the relationship (20), its differentiation with respect to which holds for any .The above results can be formulated as the following proposition.
The Poisson bracket (26) on the reduced phase space M  represented as a -structure (37) on the linear space , naturally generated by the gauge transformation (29), which reduces the arbitrary element As a consequence of representation (37) we find that there exists an another infinite hierarchy of mutually commuting functionals with respect to the Poisson bracket on the phase space M  .The latter follows from the tensor form of the Poisson bracket (26) in the space : which holds for arbitrary ,     and where

 
, : denotes the tensor form of the structure The trace operation in (45) causes the Poisson bracket to vanish on the phase space M  for the functionals    

Monodromy, R-Structure and Lie-Poisson Brackets
Next we analyze possible forms of the -mapping (39) as a function on the reduced phase space Thus, taking into account the definition (39), the determining -structure Equation ( 41) takes the form: for any element .
The corresponding normalized monodromy matrix for 1 x   and arbitrary    satisfies , exactly coinciding with (20).Thus, if by the co-adjoint transformation (7) this chosen matrix l  then the corresponding monodromy matrix of ( 24) transforms into the monodromy matrix of (47), which satisfies (50).
In view of the relationships ( 47), ( 48) and ( 50), one can recalculate the Poisson bracket (37) as It yields the following tensor expression for the reduced phase space 1 .

 
, where , The local functional matrices for all , and the permutation operator : acts as for any satisfy the antisymmetry property:

  
, ; , , ; , , ; , where the matrix which holds for any , X Y    , where we denoted , ; ; ; ; ; , ; The result (59) can be used for rewriting the Poisson bracket (56) as if the tensor -matrix satisfies for and If we define the mapping as where for any , then the relationship (57) can be easily presented in the following operator form: and we defined the gradients for any smooth functional and It is easy to observe that under the antisymmetry condition the right-hand side of (61) equals the Lie-Poisson bracket [1,2,4,6,10] for the functionals Here the adjoint space on is given by the expression (60). 

D-Structure and Generalized R-Structure
As stated above, the reduced Poisson bracket on the phase space where for any the corresponding -struc-ture on the Lie algebra is defined by the classical expression (38) and the mapping (39).It is natural to assume that there exists a relationship between the D-structure and the R-structure described above in Section 3.
Then it is easy to check that the following algebraic relationship Now, substituting (66) into (37), one obtains that , which coincides exactly with (67).
It is convenient to rewrite the operator relationship (46) in the tensor form as where the tensor , owing to the action (66), equals Substituting the expression (70) into the Equation (69) and taking into account the determining Equation (57) one obtains the relationship for the tensor with    being a complex spectral parameter and and matrices This makes two -and -structures on the Lie algebra compatible.Observe that the -structure (66) is not antisymmetric even though the -structure was assumed to be antisymmetric.Concerning the -structure determining Equation (69) one can anticipate that a study of its solutions would describe a set of nonlinear dynamical systems on the reduced phase space M  possessing an infinite hierarchy of mutually commuting conservation laws.
Here, by definition, and the differentiations satisfy on the manifold N M the following commutation relationship: , .

Generalized Riemann Systems: Lax Integrability and D-A Structures
In particular, for N   the following result [8,41] was recently obtained.

Setting the Problem Proposition 3 The Lax representation for the generalized Riemann type hydrodynamical system
Recently, new mathematical approaches based on differential-algebraic [27][28][29][30][31] and differential geometric methods and techniques, were applied in [8,32,33] for studying the Lax integrability of nonlinear differential equations of the Korteweg-de Vries and Riemann type.In particular, many analytical studies [32,[34][35][36][37][38][39][40] have been devoted to finding the corresponding Lax representations of the infinite Riemann type hydrodynamical hierarchy, suggested recently by M. Pavlov and D. Holm in the form , , , , is given for any arbitrary by a set of linear compatibility equations (see Equation ( 79)), and    is an arbitrary complex parameter.Moreover, the relationships (79) realize a linear matrix representation of the commutator condition (77).
In our work we study the complete integrability of a new dispersive Riemann type hydrodynamic flow where the differentiation : , on a 2 -periodic functional manifold .


It was found that the related dynamical system   where N   is an arbitrary natural number, the vector , , , , 0, , , , , , [8,37] for an arbitrary integer a suitable Lax representation satisfy as above the Lie-algebraic commutator relationship (77) and t is an evolution parameter.This system can be considered as a slight generalization of the dispersive Riemann hydrodynamic system (73), extensively studied by means of different mathematical tools in [8,9,32,35,37,41].For the case it is well known [10,12] that the system (80) is a smooth Lax integrable bi-Hamiltonian flow on the -periodic functional manifold M whose Lax representation is given by the compatible linear system   0 , 0 0 , where and For the dynamical system (80) is equivalent to that on a -periodic functional manifold This can be easily rewritten by means of the change of variables or in the form of the flow defining a standard smooth dynamical system on the infinite-dimensional functional manifold , : possessing an infinite hierarchy of mutually commuting conservation laws and a non-autonomous Lax representation of the form (see Equation ( 86)).
where    is an arbitrary spectral parameter and We demonstrate the effectiveness of the devised differential-algebraic tools and methods by means of application to the very interesting [42][43][44][45][46][47] nonlinear Ostrovsky-Vakhnenko hydrodynamic equation on the 2 -periodic functional manifold   subject to which the following proposition is proved.
Proposition 5 The Ostrovsky-Vakhnenko dynamical system (79) allows the standard differential Lax representation and defines on the functional manifold M an integrable bi-Hamiltonian flow with two compatible Poisson structures.In particular, this dynamical system possesses an infinite hierarchy of mutually commuting nonlocal conservation laws.
In particular, we construct by means of the differential-algebraic tools a differential Lax representation, coinciding with that found in [43], and given in the equivalent matrix Zakharov-Shabat form as is the corresponding vector field on 3 M We succeeded in proving the following result based on symplectic gradient-holonomic and differential where matrices (see Equation ( 89)) and    is an arbitrary spectral parameter.We also find a related pair of compatible polynomial Poissonian structures with and : which the Ostrovsky-Vakhnenko hydrodynamic equation ( 87) is equivalent to a suitable bi-Hamiltonian flow on the functional manifold .M Also analyzed by means of the devised differential-algebraic tools is the Lax integrability of the interesting generalized Ostrovsky-Vakhnenko type system of evolution equations

Integrability of a Generalized Riemann
Hydrodynamic System

New Generalization of the Riemann Hydrodynamic Hierarchy
In this section we shall study the complete integrability of the dispersiveness Riemann type hydrodynamic flow (80 where is an arbitrary natural number, the vector , , , , , for N   and extensively studied in [8,9,32,35,37,41], where it was proved that it is a Lax integrable bi-Hamiltonian flow on the manifold N M and possesses an infinite hierarchy of mutually commuting dispersive Lax integrable Hamiltonian flows. For 2 N  it is well known [10,12] that the system (92) is a smooth Lax integrable bi-Hamiltonian flow on the -periodic functional manifold 2π 2 , M whose Lax representation is given by the compatible linear system   0 , 0 0 , where and    is an arbitrary spectral parameter.
Our focus here is an investigation of the Lax integrability of the Riemann type hydrodynamic system (92) for 3 N  on a 2 -periodic functional manifold We treat this problem in the following extended form: 2 , , The flow (95) can be recast as a one on a 2 -periodic functional manifold for a vector as where, for further convenience, we have made the change of variables: 2 : .
x z z  We will also use the form of the flow (96): defining a standard smooth dynamical system on the infinite-dimensional functional manifold 3 , M where is the corresponding vector field on 3

M
In the sequel, we shall prove by means of gradientholonomic and differential algebraic tools Proposition 4, stating the Lax integrability of the dynamical system (97), in particular, we will devise an effective approach for constructing its exact Lax representation and related compatible Poissonian structures.
x satisfy, as above, the Lie-algebraic commutator relationship (77) and t   is an evolution parameter.The system can be considered as a slight generalization of the dispersiveness Riemann hydrodynamic system suggested recently by M. Pavlov and D. Holm in the form

Symplectic Gradient-Holonomic Integrability
Analysis: Poissonian Structure on M 3 Our first steps in proving Proposition 4 are fashioned using the symplectic gradient-holonomic method, which takes us a long way towards the desired result.
By employing the symplectic gradient-holonomic approach [10,12,48] to study the integrability of smooth nonlinear dynamical systems on functional manifolds, one can find a set of conservation laws for (97) by constructing analytical solutions where , , is a suitable Lagrangian functional and the linear operator : is the adjoint with respect to the standard convolution on of the Fréchet derivative of a nonlinear mapping The Lax gradient Equation ( 98) can be, owing to (80), rewritten as

 
, , grad , where the matrix operator is The first vector elements as can be easily checked, are solutions of the functional Equation (100).From an application of the standard Volterra homotopy formula one finds the conservation laws for (80); namely, It is now quite easy, making use of the conservation : , , , , : 2, 2, 2 it follows that the vector satisfies the Lax gradient Equation (100): where the Lagrangian function one readily obtains the linear co-symplectic operator on the manifold 3 : which is the corresponding Poissonian operator for the dynamical system (80).It is also important to observe that the dynamical system (80) is a Hamiltonian flow on the functional manifold 3 M with respect to the Poissonian structure (108).

Poissonian Structure on M 3
In what follows, we shall find it convenient to construct other Poissonian structures for dynamical system (95) on the manifold 3 , M rewritten in the equivalent form where is the corresponding vector field on 3 .M To proceed, we need to obtain additional solutions to the Lax gradient Equation (100) on the functional manifold where the matrix operator is Copyright © 2013 SciRes.AM and which we may rewrite in the component form where the vector As a simple consequence of (113), one obtains the following system of differential relationships: Here we have defined , , : , , and made use of the commutator relationship for differentiations and which holds for the function : 1 ,   x z   where 0.
t D z  It therefore follows that after solving the first equation of system (114), and one can recursively solve the remaining two equations.In particular, it is easy to see that the three vector elements , , are solutions of the system (114).The first two elements of (116) lead to the Volterra symmetric vectors entailing the trivial conservation laws The third element of (116) gives rise to the Volterra asymmetric vector , : : Correspondingly, the Poissonian operator subject to which the following Hamiltonian representation holds on the manifold 3 M .

Hamiltonian Integrability Analysis
Next, we return to our integrability analysis of the dynamical system (97) on the functional manifold 3 .M It is easy to recalculate the form of the Poissonian operator (118) on the manifold 3 M to that acting on the manifold 3 , M giving rise to the second Hamiltonian representation of (97): where is the corresponding Poissonian operator.As a next important point, the Poissonian operators (108) and (118) are compatible [1,3,10,12] on the manifold  In the course of the above analysis and observations, we have proved the following result.
Proposition 6 The Riemann hydrodynamic system (97) is a bi-Hamiltonian dynamical system on the functional manifold with respect to the compatible Poissonian structures Since the Lax representation for the dynamical system (97) can be interpreted [8,10] as the existence of a finite-dimensional invariant ideal  u realizing the corresponding finite-dimensional representation of the Lie-algebraic commutator relationship (127), this ideal can be constructed as : :

Concerning the existence of an additional infinite and parametrically
-ordered hierarchy of conservation laws for the dynamical system (92), it is instructive to consider the dispersive nonlinear dynamical system u and next to check its invariance with respect to the x D -differentiation.It is easy to show that . ( where the matrix is given as for an element in a suitably chosen asymptotic form, one can construct an infinite ordered hierarchy of conservation laws for (92), which we will not delve into here.This hierarchy and the existence of an infinite and parametrically hierarchy of conservation laws for the Riemann type dynamical system (92) provided compelling indications that it is completely integrable in the sense of Lax on the functional manifold 3 M .We shall study the complete integrability in the next section using rather powerful differentialalgebraic tools that were devised recently in [8,9,37].
To obtain the corresponding representation of the x D -differentiation in the space it suffices to find a 3 ,  matrix that and the related ideal is x D -invariant with respect to the differentiation (131).Straightforward calculations using this invariance condition then yield the following matrix

D-A Integrability Analysis for N 3 
Consider a polynomial differential ring Remark 1 Simple analogs of the above differentialalgebraic calculations for the case lead readily to the corresponding Riemann type hydrodynamic system on the functional manifold 2 M , which possesses the following matrix Lax representation: is an arbitrary spectral parameter and   . f C  As one can readily see, these differential-algebraic results provide a direct proof of Proposition 4 describing the integrability of system (97) for The matrices (133) are not of standard form since they depend explicitly on the temporal evolution parameter Nonetheless, the matrices (130) and ( 133) satisfy for all which follows from the Lax type relationships (129) and (131) and the commutator condition (127).Moreover, taking into account that the dynamical system (97) has a compatible Poissonian pair (108) and (118) depending only on the variables and not depending on the temporal variable one can certainly assume that it also possesses a standard autonomous Lax representation, which can possibly be found by means of a suitable gauge transformation of (137).We plan to pursue this line of analysis in a forthcoming paper.

An Introduction and Problem Description
In 1998 V. O. Vakhnenko investigated high-frequency perturbations in a relaxing barotropic medium.He discovered that this phenomenon is described by a new non-linear evolution equation.Later it was proved that this equation is equivalent to the reduced Ostrovsky equation [44], which describes long internal waves in a rotating ocean.The nonlinear integro-differential Ostrovsky-Vakhnenko equation on the real axis for a smooth function    [45] as a special case of the Whitham type equation   Here the generalized kernel and t   is an evolution parameter.Various analytical properties of (138) and related Equations were analyzed in articles [44][45][46]49], the corresponding Lax integrability was proved in [43].Recently, J. C. Brunelli and S. Sakovich [42] demonstrated that the Ostrovsky-Vakhnenko Equation is a reduction of the well known Camassa-Holm Equation making it possible to construct the corresponding compatible Poisson structures for (138), but in a complicated nonpolynomial form.
In the present work we will reanalyze the integrability of Equation ( 138) from the gradient-holonomic [10,12,48], symplectic and formal differential-algebraic points of view.As a result, we will re-derive the Lax representation for the Ostrovsky-Vakhnenko Equation (138) and construct the related simple compatible polynomial Poisson structures and an infinite hierarchy of conservation laws.

Gradient-Holonomic Integrability Analysis
Consider the nonlinear Ostrovsky-Vakhnenko Equation (138) as a a nonlinear dynamical system   1 d d : on the smooth -periodic functional manifold 2π is the corresponding well-defined smooth vector field on .M We shall first show that the dynamical system (140) on manifold M possesses an infinite hierarchy of conservation laws as a necessary condition for its integrability.For this we need to construct a solution to the Lax gradient equation , 0, in the special asymptotic form where, by definition, a linear operator

  
, : is adjoint with respect to the standard convolution   and, respectively, as    with some local functionals By substituting (143) into (142), one easily obtains the following recurrent sequence of functional relationships for all modulo the Equation (140).By means of standard calculations one finds that this recurrent sequence is solvable and ) and so on.It is easy check that all of functionals  


 for with respect to the dynamical system (140).For instance, if one obtains: and since, owing to the constraint (141), the integrals The result above suggests that the dynamical system (140) on the functional manifold M is an integrable Hamiltonian system.
First, we will show that this dynamical system is a Hamiltonian flow   Using on the standard symplectic techniques [1,3,10,12], consider the conservation law (149) and present it in the scalar "momentum" form     : or the Poissonian structure .
As a result of (155), one readily infers that where the Hamiltonian function is an additional conservation law of the dynamical system (140).Thus, one can formulate the following proposition.Proposition 7 The Ostrovsky-Vakhnenko dynamical system (140) possesses an infinite hierarchy of nonlocal, in general, conservation laws (148) and is a Hamiltonian flow (157) on the manifold M with respect to the Poissonian structure (154).
Remark 2 It is useful to remark here that the existence of an infinite ordered (by  -powers) hierarchy of conservations laws (148) is a typical property [1,3,10,12] of Lax integrable Hamiltonian systems that are simultaneously bi-Hamiltonian flows with respect to a corre-sponding pair of compatible Poissonian structures (cf.[50]).
As is well known [1,3,10,12], the second Poissonian structure on the manifold  M for (140), if it exists, can be calculated as where a covector is a second solution to the determining Equation (155): for some Lagrangian functional  .
It can be easily shown by means of simple but cumbersome analytical calculations based, for example, on the asymptotic small parameter method [10,12,48] and on which we will not dwell upon here.
Instead of this, we shall apply the direct differential-algebraic approach to dynamical system (140) and reveal its Lax representation both in the differential scalar and canonical matrix Zakharov-Shabat forms.Moreover, we will construct the naturally related compatible polynomial Poissonian structures for the Ostrovsky-Vakhnenko dynamical system (140) and generate an infinite hierarchy of mutually commuting nonlocal conservation laws.

Lax Representation and Poisson Structures: A D-A Approach
We will start by constructing of the polynomial differential ring generated by a fixed functional variable and invariant with respect to two differentiations satisfying the Lie-algebraic commutator relationship (77).Since the Lax representation for the dynamical system (140) can be interpreted [8,10] as the existence of a finitedimensional invariant differential ideal  realizing the corresponding finite-dimensional representation of the Lie-algebraic commutator relationship (77), this ideal can be presented as where an element     f u   u and are fixed.The for some coefficients but its -invariance strongly depends on the element   which can be found from the functional relationship (142) on the element rewritten in the following form: .
From the right-hand side it follows that there exists an element Upon substituting (164) into the left hand side of (163) one finds that where for a suitably chosen den- u As an evident result of (165) one concludes that there exists an element Turning back to the relationships (164) and (166), one concludes that the differential representation As a further step, we can try to realize the differential ideal (161) by means of the generating element defined by the relationship (167).But, as it is easy to check, this differential ideal is not finite-dimensional.So, for future calculating convenience, we will represent the element     u    u in the following natural factorized form: satisfy the adjoint pairs of the following differential relationships: for some elements

and check
Copyright © 2013 SciRes.AM the finite-dimensional x D -and t -invariance of the corresponding ideal (161) generated by the element Now it is easy to check by means of straightforward calculations, based on the relationship (163) and (167), that the following differential equalities and their consequences hold.Taking into account the independence of the sets of functional elements and where is an arbitrary complex parameter.Moreover, they exactly coincide with those found before in [43].The above differential relationships (173) and (174) can be equivalently rewritten in the following matrix Zakharov-Shabat type form: where the matrices and , Furthermore, it follows from the differential relationships ( 173) and (174) that the compatibility condition (163) gives rise to the following important relationship where the polynomial integro-differential operator is skew-symmetric on the functional manifold M and comprises the second compatible Poisson structure for the Ostrovsky-Vakhnenko dynamical system (140).Now by virtue of the recurrent relationships following from substitution of the asymptotic expansion   2 , : 1 3 , into (177), one can determine a new infinite hierarchy of conservations laws for dynamical system (140): and the recursion operator The above results can be formulated as follows.[42], which contains rational power factors.
Making use of the differential Expressions (173) and (174), it is easy to construct a slightly different from (175) matrix Lax representation of the Zakharov-Shabat form for the dynamical system (138).
In fact, if one defines the "spectral" parameter and new basis elements of the invariant differential ideal (161): : 3 , : , : 9 then relationships ( 173) and ( 174) can be rewritten as follows: where the matrices ; : coincide with those of [42,43] and satisfy the Zakharov-Shabat type compatibility condition: Remark 5 As already mentioned above, the Lax representation (185) of the Ostrovsky-Vakhnenko dynamical system (138) was obtained in [43] by means of a suitable limiting reduction of the Degasperis-Processi equation 4 3 For convenience, let us rewrite this in the following form: where differentiations : we find that solutions to the Burgers type equation are also solutions to the Degasperis-Processi Equation (187).This means, in particular, that the reduction procedure in [43] can also be applied to the Lax integrable Riemann type hydrodynamic system (189), giving rise to a related Lax representation for the Ostrovsky-Vakhnenko dynamical system (138).

Conclusions
We have considered the standard canonically symplectic phase space , generated by the centrally extended basis manifold to be an affine loop Lie algebra on the circle Subject to the standard Hamiltonian Lie algebra -action on   , M with respect which the symplectic structure on M is invariant, we have constructed the corresponding momentum mapping and carried out the standard Marsden-Weinstein reduction of the manifold M upon the reduced phase space M  endowed with the reduced Poisson bracket   ,    .This allows to construct on the phase space M  mutually commuting vector fields which are equivalent to nonlinear dynamical systems possessing an infinite hierarchy of commuting conservation laws.Moreover, these commuting vector fields on M  realize exactly their corresponding Lax representations.
In addition, we have detailed analysis of commutation properties for the related flows on the basis manifold making it possible to define a suitable -structure on the Lie algebra intimately related to the corresponding classical -structure on , generated by the reduced Poisson bracket on the phase space As a by-product of our analysis we proved that these -and -structures are completely equivalent to a suitably generalized classical Lie-Poisson-Adler-Kostant-Symes-Kirillov-Berezin structure on the adjoint space . We also derived the determining Equation for the -structure, classifying the generalized Lax integrable nonlinear dynamical systems on the reduced phase space M  , whose respectively defined R-structures are not necessary both antisymmetric and local, as shown in [22,24] by means of another approach.It is also worth mentioning that the reduction scheme devised in this work can be applied to the centrally extended algebra of pseudo-differential operators and affine loop algebras on the circle .A new differential-algebraic approach, elaborated in [9] for revisiting the integrability analysis of generalized Riemann type hydrodynamical Equation (73), made it possible to prove the Lax integrability of new nonlinear Hamiltonian dynamical systems representing Riemann type hydrodynamic Equations (80), (87) and (91).In particular, the integrability prerequisites of these dynamical system, such as compatible Poissonian structures, an infinite hierarchy of conservation laws and related Lax representation have been constructed by means of both the symplectic gradient-holonomic approach [10,12,48] and innovative differential-algebraic tools devised recently [8,9,35] for analyzing the integrability of a special infinite hierarchy of Riemann type hydrodynamic systems.It is also quite clear from recent research in this area and our work in this paper that the dynamical system (80) is a Lax integrable bi-Hamiltonian flow for arbitrary integers .This is perhaps most readily verified by means of the differential-algebraic approach, which was devised and successfully applied here for the cases Making use of the differential-algebraic approach, we have also re-derived the Lax representation for the Ostrovsky-Vakhnenko Equation (138) and constructed the related simple compatible polynomial Poisson structures.
As we have seen in the course of this investigation, perhaps the most important lesson that one can derive from this approach is the following: If an investigation of a given nonlinear Hamiltonian dynamical system via the gradient-holonomic method indicates (but does not necessarily prove) that the system is Lax integrable, then its Lax representation can often be shown to exist and then successfully derived by means of a suitably constructed invariant differential ideal   u  of the ring   u  in accordance with the differential-algebraic approach developed here for the integrability analysis of the Riemann hydrodynamical system.Consequently, when it comes applying this lesson to the investigation of other nonlinear dynamical systems, it is natural to start with systems that are known to be Lax integrable and to try to identify and characterize those algebraic structures responsible for the existence of a related finite-dimensional matrix representation for the basic x D -and -differentiations in a vector space t D p  for some finite .  p  It seems plausible that if one could do this for several classes of Lax integrable dynamical systems, certain patterns in the algebraic structures may be detected that can be used to assemble a more extensive array of symplectic and differential-algebraic tools capable of resolving the question of complete integrability for many other types of nonlinear Hamiltonian dynamical systems.Moreover, if the integrability is established in this manner, the approach should also serve as a means of constructing associated artifacts of the integrability such as Lax representations and hierarchies of mutually commuting invariants.As a particular differential-algebraic problem of interest concerning these matrix representations, one can seek to develop a scheme for the effective construction of functional generators of the corresponding invariant finite-dimensional ideals    u     u under given differential-algebraic constraints imposed on the x D -and -differentiations.We have also demonstrated here that an approach combining the gradient-holonomic method with some recently devised differential-algebraic techniques can be a very effective and efficient way of investigating integrability for a particular class of infinite-dimensional Hamiltonian dynamical systems (generalized Riemann hydrodynamical systems).But a closer look at the specific details of the approach employed here reveals, we believe, that this combination of methods can be adapted to perform effective integrability analysis of a much wider range of dynamical systems.


makes it possible to construct new Hamiltonian flows on the smaller invariant reduced phase space : is the adjoint space to the Lie algebra of the group Lie .

Proposition 4 3 M
The Riemann type hydrodynamic flow (97) is a bi-Hamiltonian dynamical system on the functional manifold

3 Mall n   is Poissonian on the manifold 3 M
. Using now the homotopy formula (103) and recursion property of the Poissonian pair (109) and (118), it is easy to construct the related infinite hierarchy of mutually commutfollowing inverse co-symplectic functional expression:

3
that this parametrization uniquely determines the is the corresponding recursion operator, which satisfies the so called associated Lax commutator relationship generated by a fixed functional variable x and :