arxiv: v2 [math-ph] 11 Mar 2017

Transcription

1 arxiv: v [math-ph] 11 Mar 017 POISSON-LIE GROUPS, BI-HAMILTONIAN SYSTEMS AND INTEGRABLE DEFORMATIONS ANGEL BALLESTEROS, JUAN C. MARRERO, AND ZOHREH RAVANPAK Abstract. Given a Lie-Poisson completely integrable bi-hamiltonian system on R n, we present a method which allows us to construct, under certain conditions, a completely integrable bi-hamiltonian deformation of the initial Lie-Poisson system on a non-abelian Poisson- Lie group G of dimension n, where R is the deformation parameter. Moreover, we show that from the two multiplicative Poisson-Lie Hamiltonian structures on G that underly the dynamics of the deformed system by making use of the group law on G, one may obtain two completely integrable Hamiltonian systems on G G. By construction, both systems admit reduction, via the multiplication in G, to the deformed bi-hamiltonian system in G. The previous approach is applied to two relevant Lie-Poisson completely integrable bi-hamiltonian systems: the Lorenz Euler top systems. 1. Introduction It is well-known that a Hamiltonian system on a symplectic manifold M of dimension r is Liouville completely integrable if there exist r first integrals that pairwise commute which are functionally independent in a dense open subset U of M. In such a case, U admits a Lagrangian foliation the solutions of the Hamiltonian dynamics live in the leaves of this foliation see [1]. The previous notion may be extended, in a natural way, for the more general case when the phase space M is a Poisson manifold P, not necessarily symplectic for more details, see [17]. Following this approach, a dynamical system on a manifold P is said to be bi-hamiltonian if admits two Hamiltonian descriptions with respect to two compatible Poisson structures on P. Bi-hamiltonian completely integrable Hamiltonian systems are closely related since, under certain conditions, a bi-hamiltonian system is completely integrable see, for instance, [16]. We also recall that for a multiplicative Poisson structure on a Lie group G, the multiplication is a Poisson epimorphism. In these conditions, the dual space g of the Lie algebra g of G admits a Lie algebra structure in such a way that the couple g, g is a Lie bialgebra. In fact, the Lie algebra structure on g is defined by the dual map of an adjoint 1-cocycle on g with values in Λ g. Conversely, an adjoint 1-cocycle on a Lie algebra g with values in Λ g whose dual map satisfies the Jacobi identity, induces a unique multiplicative Poisson structure on a connected 010 Mathematics Subject Classification. 37K10, 53D17, 37J35, 34A6, 34C14, 17B6, 17B63. Key words phrases. Lie-Poisson structures, Poisson-Lie groups, Hamiltonian systems, bi-hamiltonian systems, completely integrable systems, integrable deformations, coalgebras. A.B. has been partially supported by Ministerio de Economía y Competitividad MINECO, Spain under grants MTM P MTM P AEI/FEDER, UE, by Junta de Castilla y León Spain under grants BU78U14 VA057U16. J.C.M. has been partially supported by Ministerio de Economía y Competitividad MINECO, Spain under grant MTM C-P. Z.R. has been partially supported by Ministry of Science Research Technology MSRT, Iran under grant

2 A. BALLESTEROS, J. C. MARRERO, AND Z. RAVANPAK simply connected Lie group with Lie algebra g see [9]. Lie groups which are endowed with multiplicative Poisson structures are called Poisson-Lie groups Lie-Poisson structures on the dual space of a Lie algebra g are examples of abelian Poisson-Lie groups for more details see, for instance, [3]. Poisson-Lie groups are instances of Poisson coalgebras for which the comultiplication map is given by the group law, the quantization of the former are the so-called quantum groups, which are the underlying symmetries of many relevant quantum integrable models see, for instance, [8, 10]. As it was shown in [6], Poisson coalgebras can be systematically used in order to construct completely integrable Hamiltonian systems with an arbitrary number of degrees of freedom. Moreover, under this approach, deformations of Poisson coalgebras provide integrable deformations of the previous systems, all constants of the motion can be explicitly obtained. Since then, this approach has been extensively used in order to construct different types of finite-dimensional integrable systems see [, 3, 4, 7] references therein several closely related constructions relying on the modification of the underlying Poisson coalgebra symmmetry have been also proposed in [5, 1, 19]. Nevertheless, the generalization of the Poisson coalgebra approach to bi-hamiltonian systems was still lacking, the aim of this paper is to fill this gap by presenting a systematic approach for the construction of integrable deformations of bi-hamiltonian systems, which will be based on the theory of multiplicative Poisson structures on Lie groups. To achieve this goal, we will firstly need an appropriate geometric interpretation of the results recently presented in [3]. In particular, from a Lie-Poisson completely integrable Hamiltonian system defined on the dual space g of a Lie algebra g in the presence of an arbitrary uniparametric family {Ψ } R of adjoint 1-cocycles whose dual maps satisfy the Jacobi identity, we will show that a Hamiltonian deformation of the initial system can be constructed on a connected simply connected Lie group with Lie algebra g. When approaches to zero, one recovers the initial system on g, under certain conditions, the deformed system is also completely integrable. Now, by using that the multiplication in G is associative a Poisson epimorphism, one may obtain new Hamiltonian systems with more degrees of freedom on N copies of G, by coupling of the integrable Hamiltonian deformation in G. We will show that, by construction, these systems admit reduction, via the multiplication, to the deformed system in G. Moreover, under certain conditions, they are also completely integrable. Secondly, if we want to generalize the previous construction when the initial completely integrable Hamiltonian system is bi-hamiltonian with respect to two compatible Lie-Poisson structures Π 0 Π 1 on R n, this implies that we have to deal with two compatible Lie algebra structures [, ] 0 [, ] 1 on R n which induce the two compatible Poisson structures Π 0 Π 1. As we will show in this paper, the following important considerations findings arise as a consequence of the bi-hamiltonian approach: In order to stay within the category of bi-hamiltonian systems, we will have to impose that the integrable deformation of the initial system has to be bi-hamiltonian with respect to two compatible multiplicative Poisson structures Π 0 Π 1 on the same Lie group G. So, we should be able to find a common uni-parametric family of adjoint 1-cocycles {Ψ } R for the Lie algebra structures [, ] 0 [, ] 1. When comparing with the prescriptions given by the generic Poisson coalgebra method used in [3, 6], now we have more constraints in choosing the two Hamiltonian functions H 0 H 1 for the bi-hamiltonian system on G. The reason is that H 0 H 1

3 POISSON-LIE GROUPS, BI-HAMILTONIAN SYSTEMS AND INTEGRABLE DEFORMATIONS 3 must be commuting functions for the Poisson structures Π 0 Π 1. This, in some cases, fixes uniquely the definition of the Hamiltonians H 0 H 1. The dynamics of the completely integrable Hamiltonian systems Π 0, H 0 Π 1, H 1 on G coincide. However, the coupling, on one h, of the system H 0, Π 0 on G G the coupling, on the other h, of the system H 1, Π 1 on G G can be used to produce two completely integrable Hamiltonian systems on the Lie group G G which do not have, in general, the same dynamics. In other words, the method does not provide, in general, a bi-hamiltonian system on the phase space G G. Nevertheless, the two completely integrable Hamiltonian systems on G G admit reduction, via the multiplication, to the deformed bi-hamiltonian system on G. So, for this reason, we can say that the Hamiltonian systems on G G are quasi-bi- Hamiltonian. Moreover, in the same way as in the general method [6] by using the associativity of the multiplication in G, one may extend this construction in order to obtain two multiplicative completely integrable Hamiltonian systems on N copies of G, with N. By construction, these systems admit reduction via the multiplication to the deformed bi-hamiltonian system on G will preserve for any N its quasi-bi-hamiltonian nature. The method here presented is fully constructive it could be applied to any Lie- Poisson completely integrable bi-hamiltonian system such that both Lie algebra structures [, ] 0 [, ] 1 have a common 1-cocycle. Indeed, if this cocycle is found to be multiparametric, then we would obtain a multiparametric integrable deformation of the initial bi-hamiltonian system. The paper is structured as follows. In Section, we will review some definitions basic results on Poisson structures, Poisson-Lie groups Poisson bi-hamiltonian systems. In Section 3, we will present the systematic method to obtain integrable deformations of Lie-Poisson bi-hamiltonian systems. For the sake of clarity, we will exemplify the method to the particular case when our initial dynamical system is a specific Lie-Poisson completely integrable bi-hamiltonian system on R 4. Our motivation for considering this system lies in the fact that its restriction to a submanifold of codimension 1 is just an integrable limit of the well-known Lorenz dynamical system see [3, 18]. In Section 4 we will face the problem of the construction of the two completely integrable quasi-bi-hamiltonian systems on R n = R n R n, which will admit a reduction to the bi-hamiltonian systems on R n that have been presented in the previous section. The deformed counterpart of this construction leading to coupled systems on G G is presented in Section 5. In order to show the fully constructive nature of the approach here introduced, in Section 6 we apply it to another relevant Lie-Poisson completely integrable bi-hamiltonian system: an Euler top on R 3. Finally, a concluding section closes the paper.. Bi-Hamiltonian systems Poisson-Lie groups In this section, we will review some definitions an basic results on Poisson-Lie groups bi-hamiltonian systems on Poisson manifolds for more details, see [3]..1. Poisson manifolds Lie-Poisson structures. We recall that a Poisson structure on a manifold M is a bivector field Π on M such that the Schouten-Nijenhuis bracket [Π, Π] = 0.

4 4 A. BALLESTEROS, J. C. MARRERO, AND Z. RAVANPAK This is equivalent to defining a Lie algebra structure on C M, whose bracket {, } is called the Poisson bracket. The relation between the two definitions is given by the formula: {f, g} = Πdf, dg, f, g C M. A Poisson structure Π on M determines in a natural way a vector bundle morphism Π : T M T M from the cotangent bundle T M of M to the tangent bundle T M. We also denote by Π the corresponding morphism between the space Ω 1 M of 1-forms on M the space XM of vector fields. The rank of the Poisson structure at the point x M is just the rank of the linear map Π x : T x M T x M. Since this linear map is skew-symmetric, the rank is always an even number. It is clear that Π x : T x M T x M is not, in general, an isomorphism. In fact, a real C -function on M is said to be a Casimir if Π df = 0 or, equivalently, {f, g} = 0, g C M. If the rank of a Poisson structure Π on a manifold M is maximum equal to the dimension of M then the structure is symplectic. This means that the manifold M has even dimension n it admits a closed -form Ω which is non-degenerate, i.e., the vector bundle morphism Ω : T M T M, induced by Ω, is an isomorphism. In fact, in such a case, we have that Π is just the inverse morphism of Ω. Another interesting class of Poisson structures are the so-called Lie-Poisson structures on R n. A Poisson structure on R n is said to be Lie-Poisson if the bracket of two linear functions is again a linear function. So, if x 1,..., x n are the stard coordinates on R n, it follows that where c k ij R. {x i, x j } = c k ijx k, for i, j {1,..., n},.1 In fact, there exists a one-to-one correspondence between Lie-Poisson structures on R n Lie algebra structures on the same space. In fact, the Lie algebra structure [, ] on R n associated with the Lie-Poisson structure characterized by.1 is given by [x i e i, x j e j ] = x i x j c k ije k... Poisson bi-hamiltonian systems. Let Π be a Poisson structure on a manifold M. Then, a smooth real function H the Hamiltonian function induces a vector field X H = Π dh the Hamiltonian vector field. Hamilton s equations of motion for H are: ẋ = Π dh {x, H}. So, solutions of the Hamilton equations are just the integral curves of X H. The pair {, }, H is said to be a Poisson Hamiltonian system. Let {, } 0, H 0 be a Hamiltonian system. This system is said to be bi-hamiltonian if there exists another compatible Poisson structure {, } 1 a Hamiltonian function H 1 such that the corresponding Hamiltonian vector fields X H0 X H1 coincide. This means that ẋ = {x, H 0 } 0 = {x, H 1 } 1. We recall that two Poisson structures Π Π are said to be compatible if the sum Π Π is also a Poisson structure or, equivalently, if the Schouten-Nijenhuis bracket [Π, Π ] is zero. There exist different notions of completely integrable Poisson Hamiltonian systems. In this paper, we will adopt the following definition. Let Π be a Poisson structure, with Poisson bracket {, }, on a manifold M of dimension n such that the rank of Π is constant equal to r n

5 POISSON-LIE GROUPS, BI-HAMILTONIAN SYSTEMS AND INTEGRABLE DEFORMATIONS 5 in a dense open subset of M. A Poisson Hamiltonian system {, }, H is said to be completely integrable if there exist ϕ 1,..., ϕ r 1 C M satisfying the two following conditions: i The functions H ϕ 1,..., ϕ r 1 are functionally independent in a dense open subset of M, that is, dh dϕ 1 dϕ r 1 0, in a dense open subset of M. ii They are first integrals of the Hamiltonian system that pairwise commute, i.e., {ϕ j, H} = 0 {ϕ j, ϕ k } = 0, for j, k {1,..., r 1}..3. Poisson-Lie groups. A multiplicative Poisson structure Π on a Lie group G is a Poisson structure such that the multiplication m : G G G is a Poisson epimorphism or, equivalently, Πgh = T g r h Πg T h l g Πh, g, h G. where r h : G G l g : G G are the right left translation by h g, respectively. In this case, G is called a Poisson-Lie group. Note that R n endowed with a linear Poisson structure is an abelian Poisson-Lie group. For a multiplicative Poisson structure Π on a Lie group G, the linear map ψ = d e Π : g g is a 1-cocycle, i.e. [ξ, ψ] [, ψξ] ψ[ξ, ] = 0, ξ, g the dual map ψ : Λ g g is a Lie bracket on g. In other words, the couple g, g is a Lie bialgebra. Note that if Π is a multiplicative Poisson structure on G then Πe = 0, e being the identity element in G. On the other h, if g, [, ], g, [, ] is a Lie bialgebra G is a connected simplyconnected Lie group with Lie algebra g, then G admits a multiplicative Poisson structure Π [, ] = d eπ. 3. Bihamiltonian deformations integrability In this section, we will present a systematic method in order to obtain integrable deformations of Lie-Poisson bi-hamiltonian systems we will use the Lorenz system as a guiding example. We recall that our initial data is a dynamical system D on R n, which is bi-hamiltonian with respect to two compatible linear Poisson structures. In fact, in the examples here presented, the system D is completely integrable. The aim of this construction is two-fold: Firstly, to construct a bi-hamiltonian deformation D of the dynamical system on R n, whose bi-hamiltonian structure will be provided by a pair of multiplicative Poisson- Lie structures on a non-abelian Lie group G. We will see that, under certain conditions for every R, this method is fully constructive systematic, guarantees that the limit 0 of D is just the initial dynamical system on R n. Secondly, under the assumption that the bi-hamiltonian system on G is completely integrable, we will try to construct two completely integrable Hamiltonian systems on the product Lie group G G whose projection, via the multiplication : G G G in G, is just the bi-hamiltonian completely integrable system on G. In the sequel we will make this construction explicit by splitting it into several steps.

6 6 A. BALLESTEROS, J. C. MARRERO, AND Z. RAVANPAK 3.1. The system D its bi-hamiltonian structure. The Lorenz dynamical system see [18] is given by the differential equations ẋ = σy x, ẏ = ρx xz y, ż = βz xy, where σ ρ are the Prtl Rayleigh numbers, respectively, β is the aspect ratio. In [1, ] see also [13], the authors consider the conservative limit of the previous equations, which is obtained through the following rescalling t ɛt, x 1 ɛ x, y 1 σɛ y, z 1 σɛ z, ɛ = 1 σρ In the limit ɛ 0, the system 3.1 reduces to Furthermore, the transformation carries 3. into: ẋ = y, ẏ = x1 z, ż = xy. x = x 1, y = x, z = x 3 1 = x, = x 1 x 3, 3 = x 1 x. It is straightforward to check that the previous system is bi-hamiltonian with respect to the Poisson structures {, } 0 {, } a in R 3 which are characterized by {x 1, x } 0 = x 3, {x 1, x 3 } 0 = x, {x, x 3 } 0 = 0, {x 1, x } a = 1 4, {x 1, x 3 } a = 0, {x, x 3 } a = x 1. The corresponding Hamiltonian functions are respectively for more details, see [13] H 0 = x 3 x 1 H 1 = x x 3, 3.3 Note that the Poisson structure {, } a on R 3 is affine the corresponding linear Poisson structure {, } l on R 3 is given by {x 1, x } l = 0, {x 1, x 3 } l = 0, {x, x 3 } l = x 1. So, we can consider the extension {, } 1 to R 4 of {, } l {x 1, x } 1 = x 4 4, {x 1, x 3 } 1 = 0, {x, x 3 } 1 = x 1, {, x 4} 1 = 0, 3.4 which is a Lie-Poisson structure. In this way, the affine subspace A defined by the equation x 4 = 1 is a Poisson submanifold, the induced Poisson structure on A is just {, } a. In the same manner, we also denote by {, } 0 the trivial extension to R 4 of the Poisson structure {, } 0, namely {x 1, x } 0 = x 3, {x 1, x 3 } 0 = x, {x, x 3 } 0 = 0, {, x 4 } 0 = 0, 3.5

7 POISSON-LIE GROUPS, BI-HAMILTONIAN SYSTEMS AND INTEGRABLE DEFORMATIONS 7 the Casimir functions for the Poisson bracket {, } 0 are C 0 = x x 3, C 0 = x 4. The linear Poisson structures {, } 0 {, } 1 on R 4 turn out to be compatible, in the sense that we can define a one-parametric family of Lie-Poisson structures a Poisson pencil whose explicit brackets are given by {.,.} α = 1 α{.,.} 0 α{.,.} 1, with α R {x 1, x } α = αx αx 3, {x 1, x 3 } α = 1 α x, {x, x 3 } α = α x 1, {., x 4} α = 0. Obviously, if {X 1, X, X 3, X 4 } is the canonical basis of R 4 then the corresponding Lie bracket [, ] α on R 4 is given by 3.6 [X 1, X ] α = αx α X 3, [X 1, X 3 ] α = 1 α X, [X, X 3 ] α = α X 1, [, X 4] α = 0. Therefore, we can say that the dynamical system D = x x 4, = x 1 x 3, 3 = x 1 x, 4 = 0, 3.8 is bi-hamiltonian with respect to the Lie-Poisson structures {, } 0 {, } 1 with Hamiltonian functions given by H 0 = x 3 x 4 x 1 H 1 = x x 3. From the previous considerations, we also deduce that this bi-hamiltonian system is completely integrable. Note that the original Lorenz system is recovered within the submanifold x 4 = 1. In general, starting from a dynamical system D on R n, the first task consists in finding two compatible linear Poisson structures {, } 0 {, } 1 such that our dynamical system is bi-hamiltonian with respect to these two Poisson structures. This means that there exist two Hamiltonian functions H 0 : R n R H 1 : R n R the evolution of an observable ϕ C R n is given by ϕ = {ϕ, H 0 } 0 = {ϕ, H 1 } 1. In fact, in the Lorenz system that we have just described we observe that: The Hamiltonian H 0 respectively, H 1 is a Casimir function C 1 respectively, C 0 for {, } 1 respectively, {, } 0. The rank of the Poisson structures {, } 0 {, } 1 satisfies the following condition rank{, } 0 = rank{, } 1 = r in a dense open subset of R n. In the previous example r = 1 n = 4. The Hamiltonian systems {, } 0, H 0 {, } 1, H 1 are completely integrable. In general, we will denote by {C i, C j i } j=1,...,n r 1 the Casimir functions for {, } i, with i = 0, 1, by {ϕ j } j=1,,r 1 the set of common first integrals for the Hamiltonian systems {, } 0, H 0 {, } 1, H 1.

8 8 A. BALLESTEROS, J. C. MARRERO, AND Z. RAVANPAK 3.. Construction of the bi-hamiltonian system D. Let [, ] 0 respectively, [, ] 1 be the Lie algebra structure on R n associated with the linear Poisson bracket {, } 0 respectively, {, } 1. Then, we have to find a non-trivial common adjoint 1-cocycle ψ : R n R n, with R, for the Lie algebras R n, [, ] 0 R n, [, ] 1 with the initial condition ψ 0 = 0. In doing so, we deduce the following result. Proposition 3.1. Let ψ : R n Λ R n be a common adjoint 1-cocycle for the compatible Lie algebras R n, [, ] 0 R n, [, ] 1 G a connected simply-connected Lie group with Lie algebra R n, [, ] = ψ. If {, } 0 {, } 1 are the multiplicative Poisson brackets on G associated with the 1-cocycle ψ : R n Λ R n then {, } 0 {, } 1 are compatible. Proof. It is a consequence of the following general result. If H is a connected Lie group with Lie algebra h {, } 0, {, } 1 are two multiplicative Poisson brackets on H then the Poisson brackets are compatible if only if the dual Lie algebras h, [, ] 0 h, [, ] 1 are compatible. Next, we have to find a Casimir function C 0 resp., C 1 for the Poisson bracket {, } 0 resp., {, } 1 on G in such a way that: i The Hamiltonian systems {, } 0, H 0 := C 1 {, } 1, H 1 := C 0 coincide, that is, we have a bi-hamiltonian system D on the Lie group G. ii This system is a -deformation of the original bi-hamiltonian system D, i.e., lim {, } 0 = {, } 0, 0 lim H 0 = H 0, 0 lim 0 {, } 1 = {, } 1 lim H 1 = H 1. 0 Moreover, in our examples, the Hamiltonian systems {, } 0, H 0 {, } 1, H 1 are completely integrable the ranks of {, } 0 {, } 1 are again r within a dense open subset of G. We will denote by {C i, C j i } j=1,...,n r 1 the Casimir functions for the multiplicative Poisson bracket {, } i, with i = 0, 1, by {ϕ j } j=1,...,r 1 the common first integrals for the Hamiltonian systems {, } i, H i, with i = 0, 1. In fact, we have that lim 0 Cj i = Cj i, with j = 1,..., n r 1, lim 0 ϕj = ϕ j, with j = 1,..., r The Lorenz 1-cocycle its associated non-abelian group G. A straightforward computation shows that a non-trivial admissible cocycle for the family of Lie algebras g α see 3.7 is: ψ X 1 = 0, ψ X = X 3 X 4, ψ X 3 = X X 4, ψ X 4 = 0. So, we have the family of Lie bialgebras g α, ψ. The Lie bracket [, ] on R 4 R 4 obtained from the dual cocommutator map is: the rest of basic Lie brackets being zero. [X, X 4 ] = X 3, [X 3, X 4 ] = X,

9 POISSON-LIE GROUPS, BI-HAMILTONIAN SYSTEMS AND INTEGRABLE DEFORMATIONS 9 Now, let G be the connected simply-connected Lie group with Lie algebra R 4, [, ]. Then, one may prove that G is diffeomorphic to R 4 the multiplication of two group elements g = x 1, x, x 3, x 4 g = x 1, x, x 3, x 4 reads g g = x 1 x 1, x x cosx 4 x 3 sinx 4, x 3 x sinx 4 x 3 cosx 4, x 4 x 4. Note that G 0 is the abelian Lie group G, with 0, is isomorphic to the special euclidean group SE. A basis { X 1, X, X 3, X 4 } resp., { X 1, X, X 3, X 4 } of left-invariant resp., right-invariant vector fields for G is found to be {, cosx 4 sinx 4, sinx 4 cosx 4, } x 1 x x 3 x x 3 x 4 resp., {,,, x 3 x }. x 1 x x 3 x x 3 x 4 Finally, the adjoint action Ad : G g g for the Lie group G can be straightforwardly computed: Ad g X 1 = X 1, Ad g X = cosx 4 X sinx 4 X 3, Ad g X 3 = sinx 4 X cosx 4 X 3, Ad g X 4 = x 3 X x X 3 X A Poisson-Lie group structure on G. By construction, the following family of non-trivial admissible 1-cocycles for the Lie algebra R 4, [, ] is obtained as the dual of the commutator map 3.7, namely ψ α X 1 = α X X 3, ψ α X = ψ α X 3 = 1 α X 1 X, ψ α X 4 = 1 α X 1 X 3, α 4 X1 X. Denote by Π α the unique multiplicative Poisson structure on G which is induced by the 1-cocycle ψ α. In order to obtain Π α, we consider the 1-form γ ψα on G with values in Λ g which is characterized by the following relation γ ψα Xg = Ad g ψ α X, for X g g G. As we know see the proof of Theorem 10.9 in [3], γ ψα is an exact 1-form. So, there exists a unique function π : G Λ g satisfying πe = 0 dπ = γ ψα, where e = 0, 0, 0, 0 is the identity element in G. If we suppose that πg = π ij gx i X j, for g G, then the multiplicative Poisson structure Π α is given by see the proof of Theorem 10.9 in [3]. Π α g = π ij g X i X j

10 10 A. BALLESTEROS, J. C. MARRERO, AND Z. RAVANPAK Applying the previous process, we deduce that the corresponding compatible multiplicative Poisson brackets {, } α on G are given by {x 1, x } α = α 4 sinx 4 {x 1, x 3 } α = 1 α x α 4 1 α x 3, {x, x 3 } α = α x 1, cosx 4 1, {., x 4 } α = 0. As we expected, lim 0 {.,.} α = {.,.} α. Thus, we have constructed an -deformation 3.9 of the Lie-Poisson bracket 3.6. We stress that 3.9 is just a multiplicative Poisson-Lie structure on the noncommutative group G, while 3.6 can be thought of as a multiplicative structure on the abelian Lie group R Casimir functions deformed bi-hamiltonian structure. In the particular cases when α = 0 α = 1, the -deformations {, } 0 {, } 1 of the Lie-Poisson brackets {, } 0 {, } 1 have the form {x 1, x } 1 = sinx {x 1, x } 0 = x 3, {x 1, x 3 } 0 = x, {x, x 3 } 0 = 0, 3.10, {x 1, x 3 } 1 = cosx 4 1, {x, x 3 } 1 = x The function x 4 is a Casimir for both Poisson structures. Other Casimir functions for these two multiplicative Poisson structures are found to be C 0 = x x 3, C 1 = sinx 4 x 3 cosx 4 1 x x 1, where it becomes clear that lim 0 C 0 = H 1 lim 0 C 1 = H 0. In fact, if we denote the Casimir functions C 0 C 1 by H 1 H 0, respectively, then the dynamical systems associated with the Hamiltonian systems G, {, } 0, H 0 G, {, } 1, H 1 coincide define the deformed dynamical system D given by 1 = 1 sinx 4 x 1 cosx 4 1 x 3, = x 1 x 3, 3 = x 1 x, 4 = In other words, this dynamical system D on the Lie group G is bi-hamiltonian with respect to the compatible multiplicative Poisson structures {, } 0 {, } 1. Indeed, this deformed bi-hamiltonian system is completely integrable the 0 limit is just the D system 3.8. The preservation of the closed nature of the trajectories under deformation is clearly appreciated in Figure 1, where the trajectories have been found by numerical integration. 4. Coupled integrable deformations non-abelian reduction In this last step, we present how to construct two coupled completely integrable Hamiltonian systems on the product Lie group G G which admit reduction, via the multiplication : G G G, to the same bi-hamiltonian system on G that we denoted D see Section 3.. For this purpose, we will consider the product {, } i {, } i of the multiplicative Poisson structure {, } i on G with itself, i = 0, 1. Then, we will obtain two multiplicative Poisson

11 POISSON-LIE GROUPS, BI-HAMILTONIAN SYSTEMS AND INTEGRABLE DEFORMATIONS x x x3 0.0 x x1 0 x1 1-1 b a Figure 1. A Closed trajectories of the Lorenz system 3.8 for x4 = 1 the initial data x1 0 = 1, x 0 =, x3 0 = 3 black line of the deformed Lorenz system 3.1 with the same initial data, x4 = 1, = π4 green, = π4 blue, = π8 red, = π8 yellow. B The same figure as A but with initial data x1 0 = 1, x 0 = 1, x3 0 = 0.5. structures on G G which, if there is not risk of confusion, we also denote by {, }0 by {, }1, respectively. Note that rank{, }0 = rank{, }1 = 4r in a dense open subset of G G. Moreover, {Ci pr1, Cji pr1, Ci pr, Cji pr }j=1,...,n r 1 are Casimir functions for {, }i, with i = 0, 1. Here, pr1 : G G G pr : G G G are the canonical projections. In addition, we also consider the coproduct of the Hamiltonian functions H0 H1, that is, the Hamiltonian functions on G G defined by H0 H1, where : G G G is the multiplication in G. If there is not risk of confusion, we will use the same notation H0 H1 for the previous functions. We remark that H0 respectively, H1 is a Casimir function for the Poisson bracket {, }1 respectively, {, }0 on G G. Furthermore, we have that the multiplication : G G G is a Poisson epimorphism between the Poisson manifolds G G, {, }0 {, }0 respectively, G G, {, }1 {, }1 G, {, }0 respectively, G, {, }1. This implies the following result. Proposition 4.1. The Hamiltonian systems {, }0 {, }0, H0 {, }1 {, }1, H1 on G G admit reduction, via the multiplication : G G G, to the bi-hamiltonian system D on G. From the previous result, the dynamical systems on G G are said to be quasi bihamiltonian systems. We also remark that lim {, }0 {, }0 = {, }0 {, }0, 0 lim {, }1 {, }1 = {, }1 {, }1 0

12 1 A. BALLESTEROS, J. C. MARRERO, AND Z. RAVANPAK lim H 0 = H 0, 0 limh 1 = H 1. 0 Therefore, the Hamiltonian systems {, } i {, } i, H i, i = {0, 1}, may be considered as -deformations of the quasi bi-hamiltonian systems {, } i {, } i, H i, i = {0, 1}, on R n R n. Note that these last systems admit reduction, via the sum : R n R n R n, to the initial bi-hamiltonian system on R n. Moreover, we have that {H 1, H 0, ϕ k } k=1,...,r 1 are functionally independent first integrals of the Hamiltonian system {, } 0 {, } 0, H 0 that pairwise commute, the same holds for {H 0, H 1, ϕ k } k=1,...,r 1 the Hamiltonian system {, } 1 {, } 1, H 1. So, we conclude that Proposition 4.. If r = 1 the Hamiltonian systems {, } 0 {, } 0, H 0 {, } 1 {, } 1, H 1 in G G are completely integrable. Proof. It follows using that {H 0, H 1 } are functionally independent first integrals for both Hamiltonian systems, in addition, they pairwise commute. We remark that in the two examples presented in this paper, r = Deformed coupled Lorenz systems. Denote by Π 0 Π 1 the multiplicative Poisson structures on the Lie group G associated with the Poisson brackets {, } 0 {, } 1 given by , respectively, by y, z = y 1, y, y 3, y 4, z 1, z, z 3, z 4 the stard coordinates on G G R 4 R 4. Then, we can consider two multiplicative Poisson structures on G G : The product of Π 0 with itself, that is, the Poisson bracket on G G, which we also denote by {, } 0, defined by {y 1, y } 0 = y 3, {y 1, y 3 } 0 = y, {z 1, z } 0 = z 3, {z 1, z 3 } 0 = z, the rest of the Poisson brackets of the coordinate functions being zero The product of Π 1 with itself, that is, the Poisson bracket on G G, which we also denote by {, } 1, given by the non-vanishing Poisson brackets {y 1, y } 1 = siny 4 4 {z 1, z } 1 = sinz 4 4, {y 1, y 3 } 1 = cosy 4 1, {y, y 3 } 1 = y 1 4,, {z 1, z 3 } 1 = cosz 4 1, {z, z 3 } 1 = z 1 4. If pr i : G G G, with i {1, }, are the canonical projections then the Casimir functions for the Poisson brackets {, } 0 {, } 1 are C 0 pr 1 = y y 3, C 0 pr = z z 3, C 0 pr 1 = y 4, C 0 pr = z 4,

13 POISSON-LIE GROUPS, BI-HAMILTONIAN SYSTEMS AND INTEGRABLE DEFORMATIONS 13 respectively. C 1 pr 1 = siny 4 y 3 cosy 4 1 y y 1, C 1 pr = sinz 4 z 3 cosz 4 1 z z 1, C 1 pr 1 = y 4, C 1 pr = z 4, Now, we consider on G G the coproduct of the Hamiltonian functions H 0 H 1 on G, which we also denote by H 0 H 1, 1 cosy4 z 4 H 0 := C 1 = y siny 4 z 4 y 3 cosy4 cosz 4 siny4 sinz 4 z z 3 y 1 z 1, H 1 := C 0 = y y 3 z z 3 y z y 3 z 3 cosy 4 y z 3 y 3 z siny 4. The Hamiltonian system G G, {, } 0, H 0 can be straightforwardly computed reads siny4 z 4 y ẏ 1 = cosy4 z 4 1 y3, ẏ = y 3 y 1 z 1, ẏ 3 = y y 1 z 1, ẏ 4 = 0, siny4 sinz 4 cosz4 cosy 4 ż 1 = z z 3, ż = z 3 y 1 z 1, ż 3 = z y 1 z 1, ż 4 = 0, while G G, {, } 1, H 1 gives rise to the dynamical system siny4 cosy4 1 siny4 cosy4 1 ẏ 1 = y y 3 z z 3, ẏ = y 1 y 3 z siny 4 z 3 cosy 4, ẏ 3 = y 1 y z cosy 4 z 3 siny 4, ẏ 4 = 0, siny4 z 4 siny 4 cosy4 z 4 cosy 4 ż 1 = y y 3 sinz4 cosz4 1 z z 3 ż = z 1 siny 4 y cosy 4 y 3 z 3, ż 3 = z 1 cosy 4 y siny 4 y 3 z, ż 4 = 0. As we know, both systems are completely integrable they admit reduction, via the multiplication : G G G, to the bi-hamiltonian system D on G in Section 3.. This last result becomes apparent if we consider the new coordinates x, z = x 1, x, x 3, x 4, z 1, z, z 3, z 4 on G G, with x = y z.

14 14 A. BALLESTEROS, J. C. MARRERO, AND Z. RAVANPAK It is straightforward to prove that in these new coordinates, we have the following expressions for the Poisson structures Π 0 Π 1 on G G : Π 0 x, z = x 3 x z 3 z x 1 x x 1 x 3 x 1 z x 1 z 3 cosx 4 z 4 z 3 sinx 4 z 4 z z x z 1 z 1 z 3 cosx 4 z 4 z sinx 4 z 4 z 3 z 3, x 3 z 1 z 1 z Π 1 x, z = sinx 4 cosx4 1 x 1 4 x 1 x 4 x 1 x 3 x x 3 sinz 4 cosz4 1 z 1 4 x 1 z 4 x 1 z 3 z z 3 sinx4 z 4 sinx 4 sinz 4 4 x z 1 4 z 1 z z 1 sinx 4 z 4 z 1 x z cosx 4 z 4 x z 3 cosx4 z 4 cosx 4 z 1 4 x 3 z 1 cosx 4 z 4 x 3 z cosz4 1 z 1 sinx 4 z 4 x 3 z 3 The Casimir functions of the Poisson bracket {, } 0 are 4 z 1 z 3. C 0 pr 1 = x x 3 z z 3 x z x 3 z 3 cosx 4 z 4 x 3 z x z 3 sinx 4 z 4, C 0 pr = z z 3, C 0 pr 1 = x 4 z 4, C 0 pr = z 4, for {, } 1 we have C 1 pr 1 = sinx 4 z 4 cosx4 z 4 1 x 3 z 3 x z x 1 z 1, C 1 pr = sinz 4 cosz4 1 z 3 z z 1, C 1 pr 1 = x 4 z 4, C 1 pr = z 4. On the other h, the Hamiltonian functions H 0 H 1 read H 0 = sinx 4 cosx4 1 x 3 x x 1, H 1 = x x 3. In these coordinates, the two completely integrable Hamiltonian systems G G, {, } 0, H 0 G G, {, } 1, H 1 become 1 = 1 sinx 4 cosx4 1 x x 3, = x 1 x 3, 3 = x 1 x, 4 = 0, sinx4 z 4 sinz 4 cosz4 cosx 4 z = z z 3, = x 1 z 3, 3 = x 1 z, 4 = 0,

15 POISSON-LIE GROUPS, BI-HAMILTONIAN SYSTEMS AND INTEGRABLE DEFORMATIONS 15 1 = 1 1 = sinx 4 x sinx 4 sinx 4 z 4 cosx4 1 x 3, = x 1 x 3, 3 = x 1 x, 4 = 0, cosx4 cosx 4 z 4 x x 3, = z 1 x sinx 4 z 4 x 3 cosx 4 z 4, 3 = z 1 x cosx 4 z 4 x 3 sinx 4 z 4, 4 = 0, respectively. Again, the multiplication : G G G leads to the projection 4. x 1, x, x 3, x 4, z 1, z, z 3, z 4 = x 1, x, x 3, x So, by recalling 3.1, 4.1, , we directly deduce that the two completely integrable Hamiltonian systems G G, {, } 0, H 0 G G, {, } 1, H 1 admit reduction, via the multiplication : G G G, to the bi-hamiltonian system D on G considered in Section Another example: an Euler top system In this section, we will discuss another example: an Euler top system. We will follow the same steps as in the Lorenz system. So, first of all, we will present the dynamical system its bi-hamiltonian structure The system D its bi-hamiltonian structure. We consider the following completely integrable system D on R 3 1 = x x 3, = x 1 x 3 x, 3 = x 1 x 3 x. This system is equivalent to a particular case of the so3 Euler top, which is a well-known three dimensional bi-hamiltonian system see [13] belonging to the realm of classical mechanics [0]. In fact, the previous system is bi-hamiltonian with respect to the Lie-Poisson structures {, } 0 {, } 1 in R 3 which are characterized by {x 1, x } 0 = x 3, {x 1, x 3 } 0 = x, {x, x 3 } 0 = x 1, {x 1, x } 1 = x, {x 1, x 3 } 1 = x 3, {x, x 3 } 1 = x 1. The Casimirs for these Poisson structures are C 0 = 1 x 1 x x 3 C 1 = x 1 x x 3. It is straightforward to prove that the Hamiltonian systems {, } 0, H 0 := C 1 {, } 1, H 1 := C 0 coincide with the system D. The real Lie algebras corresponding to {.,.} 0 {.,.} 1 are so3 sl; R, respectively. The structure equations for so3 sl, R are [X 1, X ] 0 = X 3, [X 1, X 3 ] 0 = X, [X, X 3 ] 0 = X 1, [X 1, X ] 1 = X, [X 1, X 3 ] 1 = X 3, [X, X 3 ] 1 = X

16 16 A. BALLESTEROS, J. C. MARRERO, AND Z. RAVANPAK We consider the family of compatible Lie-Poisson structures: which are characterized by {, } α = 1 α{, } 0 α{, } 1, with α R {x 1, x } α = α 1x 3 αx, {x 1, x 3 } α = 1 αx αx 3, {x, x 3 } α = 1 αx If {X 1, X, X 3 } is the canonical basis of R 3 then the corresponding Lie bracket [, ] α on R 3 is given by [X 1, X ] α = α 1X 3 αx, [X 1, X 3 ]α = 1 αx αx 3, [X 1, X 3 ] α = 1 αx 1. So, we have a family of Lie algebras g α, [, ] α. 5.. Construction of the bi-hamiltonian system D. First of all, we will consider a family of non-trivial admissible 1-cocycles for the previous Lie algebras g α, [, ] α given by: ψ X 1 = 0, ψ X = X X 1, ψ X 3 = X 3 X 1. Therefore, we have an -parametric family of Lie bialgebras g α, ψ. The Lie bracket [, ] on R 3 R 3 obtained from the dual cocommutator map is: [X 1, X ] = X, [X 1, X 3 ] = X 3, [X, X 3 ] = 0. So, R 3, [, ] is just the so-called book Lie algebra. Now, let G be a connected simply-connected Lie group with Lie algebra R 3, [, ]. Then, one may prove that G is diffeomorphic to R 3 the multiplication of two elements g = x 1, x, x 3 g = x 1, x, x 3 of R 3 is given by g. g = x 1 x 1, x x e x1, x 3 x 3e x1. A basis { X 1, X, X 3 } resp., { X 1, X, X 3 } of left-invariant resp., right-invariant vector fields is {, e x1, e x1 } x 1 x x 3 resp., { x x 3,, }. x 1 x x 3 x x 3 The adjoint action Ad : G g g for Lie group G is as follows: Ad g X 1 = x X x 3 X 3 X 1, Ad g X = e x1 X, Ad g X 3 = e x1 X 3. Next, as in the case of the Lorenz system, we will introduce a Poisson-Lie group structure on G. As we know, a family of non-trivial admissible 1-cocycles for the Lie algebra R 3, [, ] is ψ α X 1 = 1 αx 1 X 3, ψ α X = αx 1 X 1 αx 1 X 3, ψ α X 3 = α 1X 1 X αx 1 X 3.

17 POISSON-LIE GROUPS, BI-HAMILTONIAN SYSTEMS AND INTEGRABLE DEFORMATIONS 17 Applying the same process as in the previous example see Section 3.., we deduce that the corresponding compatible multiplicative Poisson brackets {, } α on G are characterized by {x 1, x } α = α 1x 3 αx, {x 1, x 3 } α = 1 αx αx 3, {x, x 3 } α = α 1 x x 3 αx x 3 1 α e x1 1. As expected, lim 0 {.,.} α = {.,.} α this means that we have a -deformation of the Lie-Poisson bracket 5.3. In the cases when α = 0 α = 1, the -deformations {, } 0 {, } 1 of the Lie-Poisson brackets {, } 0 {, } 1 have the form {x 1, x } 0 = x 3, {x 1, x 3 } 0 = x, {x, x 3 } 0 = x x 3 1 e x1. {x 1, x } 1 = x, {x 1, x 3 } 1 = x 3, 1 {x, x 3 } 1 = x x 3 e x1. Casimir functions for the previous two multiplicative Poisson structures are: C 0 = e x1 x x 3 e ex1 x1, e C 1 = e x1 x x 3 ex1 x1. It is clear that lim 0 C 0 = C 0 lim 0 C 1 = C 1. If we denote the Casimir functions C 0 C 1 by H 1 H 0, respectively, then the dynamical systems associated with the Hamiltonian systems R 3, {, } 0, H 0 R 3, {, } 1, H 1 coincide. In other words, the dynamical system on the Lie group G 1 = e x1 x x 3, = e x1 x x 3 1 ex1 x 3 x x e 3 ex1 x1 x 3 x, 3 = e x1 x x 3 1 ex1 x x 3 x 3 3 ex1 e x1 x 3 x. is bi-hamiltonian with respect to the compatible multiplicative Poisson structures {, } 0 {, } 1. From the previous considerations, we also deduce that the bi-hamiltonian system is completely integrable. Finally, as we expected, the limit when approaches to zero of 5.6 is just the bi-hamiltonian system Deformed coupled Euler top systems. Denote by Π 0 Π 1 the multiplicative Poisson structures on the Lie group G associated with the Poisson brackets {, } 0 {, } 1 given by , respectively, by y, z = y 1, y, y 3, z 1, z, z 3 the stard coordinates on G G R 3 R 3. Then, we can consider the multiplicative Poisson structures on G G :

18 18 A. BALLESTEROS, J. C. MARRERO, AND Z. RAVANPAK The product of Π 0 with itself, that is, the Poisson bracket on G G, which we also denote by {, } 0, characterized by {y 1, y } 0 = y 3, {y 1, y 3 } 0 = y, {y, y 3 } 0 = y y 3 e y1 1, {z 1, z } 0 = z 3, {z 1, z 3 } 0 = z, {z, z 3 } 0 = z z 3 e z1 1. The product of Π 1 with itself, that is, the Poisson bracket on G G, which we also denote by {, } 1, characterized by {y 1, y } 1 = y, {y 1, y 3 } 1 = y 3, 1 {y, y 3 } 1 = y y 3 e y1, {z 1, z } 1 = z, {z 1, z 3 } 1 = z 3, 1 {z, z 3 } 1 = z z 3 e z1. If pr i : G G G, with i {1, }, are the canonical projections then the Casimir functions for the Poisson brackets {, } 0 {, } 1 are respectively. C 0 pr 1 = e y1 y y 3 C 0 pr = e z1 z z 3 ey1 e y1, ez1 e z1, C 1 pr 1 = e y1 y y 3 ey1 e y1, C 1 pr = e z1 z z 3 ez1 e z1, Now, we consider on G G the coproduct of the Hamiltonian functions H 0 H 1 on G, which we also denote by H 0 H 1, H 0 := C 1 = e z1 y z 3 y 3 z e y1z1 y y 3 e z1 y1 z z 3 ey1z1 e y1z1, y H 1 := C 0 = e z1 y z y 3 z 3 e y1z1 y 3 ey1z1 e y1z1. z e z1 y1 z 3

19 POISSON-LIE GROUPS, BI-HAMILTONIAN SYSTEMS AND INTEGRABLE DEFORMATIONS 19 Then, the Hamiltonian systems G G, {, } 0, H 0 G G, {, } 1, H 1 are given by ẏ 1 = y 3 y 3 e y1z1 z 3 e z1 y y e y1z1 z e z1, ẏ = y 3 y y 3 e y1z1 z z 3 e z1 y1 ey1z1 e y1z1 y e y1z1 e y1 1 z e z1 y y 3, ẏ 3 = y y y 3 e y1z1 z z 3 e z1 y1 ey1z1 e y1z1 y 3 e y1z1 z 3 e z1 y y 3 1 e y1 ż 1 = z 3 y 3 e z1 z 3 e z1 y1 z y e z1 z e z1 y1, ż = z 3 y y 3 e y1z1 y z 3 y 3 z e z1 z z 3 e z1 y1 ey1z1 e y1z1 y e z1 z e z1 y1 e z1 1 z z 3, ż 3 = z y y 3 e y1z1 y z 3 y 3 z e z1 z z 3 e z1 y1 ey1z1 e y1z1 y 3 e z1 z 3 e z1 y1 z z 3 1 e z1,, ẏ 1 = y y e y1z1 z e z1 y 3 y 3 e y1z1 z 3 e z1, ẏ = y y y 3 ey1z1 z z 3 y 3 e y1z1 e y1 1 z 3 e z1 y y 3, ez1 y1 ey1z1 e y1z1 ẏ 3 = y 3 y y 3 ey1z1 z z 3 ez1 y1 ey1z1 e y1z1 y e y1z1 z e z1 y y 3 e y1 1, ż 1 = z y e z1 z e z1 y1 z 3 y 3 e z1 z 3 e z1 y1, ż = z y y 3 ey1z1 z z 3 e z1 y z y 3 z 3 z ż 3 = z 3 y y 3 ey1z1 z z 3 e z1 y z y 3 z 3 z 3 ez1 y1 ey1z1 e y1z1 y 3 e z1 z 3 e z1 y1 e z1 1 z z 3, ez1 y1 ey1z1 e y1z1 y e z1 z e z1 y1 z z 3 e z1 1, respectively.

20 0 A. BALLESTEROS, J. C. MARRERO, AND Z. RAVANPAK As we know, these systems are completely integrable they admit reduction, via the multiplication : G G G, to the bi-hamiltonian system on G in Section 5.. This last result can be straightforwardly shown by considering the new coordinates x, z = x 1, x, x 3, z 1, z, z 3 on G G, with x = y z. In these new coordinates, the Poisson structures Π 0 Π 1 on G G are given by Π 0 x, z = x 3 x e x 1 1 x x 1 x x 1 x 3 x 3 x x 3 z 3 z z 3 e x1 z1 z e x1 z1 x 1 z x 1 z 3 x z 1 x 3 z 1 e x 1z 1 e x1 z1 e x1 z1 z z 3 x z 3 e x 1 z 1 e x1z1 e x1 z1 z z 3 x 3 z z 3 z e z 1 1 z z 1 z z 1 z 3 z 3, z z 3 Π 1 x, z = x x 3 e x 1 1 x x 3 x 1 x x 1 x 3 x x 3 z z 3 z e x1 z1 z 3 e x1 z1 x 1 z x 1 z 3 x z 1 x 3 z 1 e x 1z 1 e x1 z1 e x1 z1 z z 3 x z 3 e x 1 z 1 e x1z1 e x1 z1 z z 3 x 3 z z z 3 e z 1 1 z z 3. z 1 z z 1 z 3 z z 3 The Casimir functions of the Poisson brackets {, } 0 {, } 1 are: C 0 pr 1 = 1 ex1 z1 x x 3 1 e x1 z1 z z 3 x z x 3 z 3 C 0 pr = e z1 z z 3 ex1 z1 e x1 z1, ez1 e z1, C 1 pr 1 = e x1 z1 x x 3 x z 3 x 3 z e x1 z1 z z 3 respectively. ex1 z1 e x1 z1, C 1 pr = e z1 z z 3 ez1 e z1,

21 POISSON-LIE GROUPS, BI-HAMILTONIAN SYSTEMS AND INTEGRABLE DEFORMATIONS 1 On the other h, the Hamiltonian functions H 0 H 1 read H 0 = e x1 x x 3 ex1 e x1, H 1 = e x1 x x 3 ex1 e x1. In the new coordinates x, z, the two completely integrable Hamiltonian systems G G, {, } 0, H 0 G G, {, } 1, H 1 become 1 = e x1 x x 3, = e x1 x x 3 1 ex1 x 3 x x 3 ex1 e x1 x 3 x, 3 = e x1 x x 3 1 ex1 x x 3 x 3 3 ex1 e x1 x 3 x, 1 = e z1 x z x 3 z 3, e = e x1 x x 3 ex1 x1 e z1 e z1 z 3 x e 3 = e x1 x x 3 ex1 x1 1 = e x1 x x 3, x e z1 z z 3, e z1 e z1 z x 3 x 3 e z1 z z 3, = e x1 x x 3 1 x 3 ex1 x x 3 ex1 e x1 x 3 x, 3 = e x1 x x 3 1 ex1 x x 3 x 3 e 3 ex1 x1 x 3 x, 1 = e z1 x z x 3 z 3, = e x1 x x 3 e ex1 x1 3 = respectively. e x1 x x 3 e ex1 x1 e z1 e z1 z x 3 e z1 x 3 z z 3 e z1 e z1 z 3 x e z1 x z z 3, Finally, as in the Lorenz system, the multiplication : G G G in the new variables is just the first projection, that is, x 1, x, x 3, z 1, z, z 3 = x 1, x, x So, using 5.6, 5.7, , we directly deduce that the two completely integrable Hamiltonian systems G G, {, } 0, H 0 G G, {, } 1, H 1 admit reduction, via the multiplication : G G G, to the bi-hamiltonian system on G considered in Section Concluding remarks In this paper we have presented the generalization of the Poisson coalgebra construction of integrable deformations of Hamiltonian systems to the case when the initial system is bi- Hamiltonian under a pair of Lie-Poisson structures. Moreover, the method here presented allows the systematic construction, under certain conditions, of pairs of coupled completely integrable Hamiltonian systems on Poisson-Lie groups. In this way, integrable deformations of the Lorenz Euler top systems have been explicitly constructed.

22 A. BALLESTEROS, J. C. MARRERO, AND Z. RAVANPAK It is worth recalling that a complete classification of the Lie-Poisson completely integrable bi- Hamiltonian systems on R 3, which have non-transcendental integrals of motion, may be found in [14] see also [13]. In fact, the Euler top system is labeled with the number 6 in Table 1 of [14]. On the other h, a complete classification of non-equivalent adjoint 1-cocycles on Lie algebras of dimension 3, whose dual maps satisfy the Jacobi identity i.e. a complete classification of non-equivalent Lie bialgebras of dimension 3 may be found in [11]. By using the results in [14] [11], it can be easily proven by direct inspection that the method here presented could be also straightforwardly applied to the Lie-Poisson completely integrable bi-hamiltonian systems on R 3 which are labelled as, 4 5 in Table 1 of [14], since these are the only cases for which a common 1-cocycle does exist. Therefore, for all these cases we could obtain pairs of completely integrable systems on the product of a certain Lie-Poisson group G with itself, whose projection, via the group multiplication, leads to a completely integrable bi-hamiltonian system on G. The search for other Lie-Poisson bi- Hamiltonian systems on R N with N 4 their compatible 1-cocycles is currently under investigation. Finally, we stress that it would be interesting to get a deeper insight into the underlying geometric structure of the quasi bi-hamiltonian systems on Poisson-Lie groups that have arised in the present paper. Work on this line is also in progress will be presented elsewhere. References [1] V. I. Arnol d, Mathematical methods of classical mechanics, Translated from the Russian by K. Vogtmann A. Weinstein. Second edition. Graduate Texts in Mathematics 60. Springer-Verlag, New York [] A. Ballesteros, A. Blasco, F.J. Herranz, F. Musso, O. Ragnisco, Superintegrability from coalgebra symmetry: Formalism applications, J. Phys. Conf. Series [3] A. Ballesteros, A. Blasco, F. Musso, Integrable deformations of Rössler Lorenz systems from Poisson-Lie groups, J. Differential Equations, [4] A. Ballesteros, J.F. Cariñena, J. de Lucas, F.J. Herranz, C. Sardón, From constants of motion to superposition rules for Lie-Hamilton systems, J. Phys. A: Math. Gen [5] A. Ballesteros, F. Musso, O. Ragnisco, Comodule algebras integrable systems, J. Phys. A: Math. Gen [6] A. Ballesteros, O. Ragnisco, A systematic construction of completely integrable Hamiltonians from coalgebras, J. Phys. A: Math. Gen [7] A. Ballesteros, O. Ragnisco, Classical dynamical systems from q-algebras: Cluster variables explicit solutions, J. Phys. A: Math. Gen [8] V. Chari, A. Pressley, A Guide to Quantum Groups, Cambridge University Press, Cambridge [9] V.G. Drinfel d, Hamiltonian structures on Lie groups, Lie bialgebras, the geometrical meaning of classical Yang-Baxter equations, Soviet Math. Dokl [10] V.G. Drinfel d, Quantum Groups, in: Gleason A V Ed., Proc. Int. Cong. Math. Berkeley 1986, Providence: AMS p [11] X. Gomez, Classification of three-dimensional Lie bialgebras, J. Math. Phys [1] J. Grabowski, G. Marmo, P.W. Michor, Construction of completely integrable systems by Poisson mappings, Mod. Phys. Lett. A [13] H. Gumral, Y. Nutku, Poisson structure of dynamical systems with three degrees of freedom, J. Math. Phys [14] A.N. Hone, M Petrera, Three-dimensional discrete systems of Hirota-Kimura type deformed Lie-Poisson algebras, J. Geom. Mech [15] B. Karasozen, Composite Integrators for Bi-Hamiltonian Systems, Computers Math. Applic., [16] Y. Kosmann-Schwarzbach, F Magri, Poisson-Nijenhuis structures, Ann. Inst. H. Poincaré Phys. Theor [17] C. Laurent-Gengoux, E. Mira, P. Vanhaecke, Action-angle coordinates for integrable systems on Poisson manifolds, Int. Math. Res. Not. IMRN 011, no. 8, 1839.

23 POISSON-LIE GROUPS, BI-HAMILTONIAN SYSTEMS AND INTEGRABLE DEFORMATIONS 3 [18] E.N. Lorenz, Deterministic nonperiodic flow, J Atmos Sci [19] F. Musso, Gaudin models Poisson coalgebras, J. Phys. A: Math. Theor ; Integrable systems loop coproducts, J. Phys. A: Math. Theor [0] A.G. Reyman, M.A. Semenov-Tian-Shansky, Group theoretical method in the theory of finite-dimensional integrable systems, in Dynamical systems VII, Springer [1] H. Steeb, N. Euler, Nonlinear Evolution Equations Painlevé Test, World Scientific, Singapore [] M. Tabor, J. Weiss, Analytical structure of the Lorenz system, Phys. Rev. A [3] I. Vaisman, Lectures on the geometry of Poisson manifolds, Progress in Mathematics 118, Birkhäuser Verlag, Basel A. Ballesteros: Departamento de Física, Universidad de Burgos, Burgos, Spain address: angelb@ubu.es Juan C. Marrero: ULL-CSIC Geometría Diferencial y Mecánica Geométrica, Departamento de Matemáticas, Estadística e IO, Sección de Matemáticas, Universidad de La Laguna, La Laguna, Tenerife, Canary Isls, Spain address: jcmarrer@ull.edu.es Z. Ravanpak: Department of Mathematics, Faculty of Science, Azarbaijan Shahid Madani University, Tabriz, Iran address: z.ravanpak@azaruniv.edu