Dynamical systems on Leibniz algebroids

Similar documents
Geometrical mechanics on algebroids

The dynamical rigid body with memory

Symplectic and Poisson Manifolds

Hamilton-Jacobi theory on Lie algebroids: Applications to nonholonomic mechanics. Manuel de León Institute of Mathematical Sciences CSIC, Spain

A MARSDEN WEINSTEIN REDUCTION THEOREM FOR PRESYMPLECTIC MANIFOLDS

On local normal forms of completely integrable systems

LIE ALGEBROIDS AND POISSON GEOMETRY, OLIVETTI SEMINAR NOTES

Poisson Manifolds Bihamiltonian Manifolds Bihamiltonian systems as Integrable systems Bihamiltonian structure as tool to find solutions

EXERCISES IN POISSON GEOMETRY

arxiv:math/ v2 [math.dg] 14 Mar 2003

Research Article Numerical Integration and Synchronization for the 3-Dimensional Metriplectic Volterra System

Dirac Structures on Banach Lie Algebroids

ON CONTRAVARIANT PRODUCT CONJUGATE CONNECTIONS. 1. Preliminaries

J.F. Cari~nena structures and that of groupoid. So we will nd topological groupoids, Lie groupoids, symplectic groupoids, Poisson groupoids and so on.

THE MODULAR CLASS OF A LIE ALGEBROID COMORPHISM

The Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria

NAMBU-LIE GROUP ACTIONS. 1. Introduction

Lecture I: Constrained Hamiltonian systems

Lie groupoids and Lie algebroids

Deformations of coisotropic submanifolds in symplectic geometry

Integrating exact Courant Algebroids

Chern characters via connections up to homotopy. Marius Crainic. Department of Mathematics, Utrecht University, The Netherlands

On the geometry of coisotropic submanifolds of Poisson manifolds

Definition 5.1. A vector field v on a manifold M is map M T M such that for all x M, v(x) T x M.

Chap. 1. Some Differential Geometric Tools

Dierential geometry for Physicists

Poisson Structures. concerning their singularities

AN EXTENSION OF HAMILTONIAN SYSTEMS TO THE THERMODYNAMIC PHASE SPACE: TOWARDS A GEOMETRY OF NONREVERSIBLE PROCESSES. and A. J.

Lie theory of multiplicative structures.

Hamiltonian flows, cotangent lifts, and momentum maps

ISOMORPHISMS OF POISSON AND JACOBI BRACKETS

SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction

Reduction of Symplectic Lie Algebroids by a Lie Subalgebroid and a Symmetry Lie Group

Contact manifolds and generalized complex structures

Representing Representations up to Homotopy

QUEER POISSON BRACKETS DANIEL BELTITA TOMASZ GOLIŃSKI ALICE-BARBARA TUMPACH

Doubled Aspects of Vaisman Algebroid and Gauge Symmetry in Double Field Theory arxiv: v1 [hep-th] 15 Jan 2019

A star product for the volume form Nambu-Poisson structure on a Kähler manifold.

Atiyah classes and homotopy algebras

Archivum Mathematicum

HOLONOMY GROUPOIDS OF SINGULAR FOLIATIONS

Tulczyjew triples: from statics to field theory

INTEGRATION OF TWISTED POISSON STRUCTURES ALBERTO S. CATTANEO AND PING XU

Vector fields in the presence of a contact structure

GEOMETRIC QUANTIZATION

The Erwin Schrodinger International Pasteurgasse 6/7. Institute for Mathematical Physics A-1090 Wien, Austria

De Lecomte Roger à Monge Ampère From Lecomte Roger to Monge Ampère

THEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)

On implicit Lagrangian differential systems

Multiplicative geometric structures

MODULAR VECTOR FIELDS AND BATALIN-VILKOVISKY ALGEBRAS

Derivations and differentials

DIRAC STRUCTURES FROM LIE INTEGRABILITY

Hamiltonian Dynamics

Hamiltonian Systems of Negative Curvature are Hyperbolic

Stability Subject to Dynamical Accessibility

Quasi-Poisson structures as Dirac structures

INTRODUCTION TO POISSON GEOMETRY LECTURE NOTES, WINTER 2017

Constant symplectic 2-groupoids

The Lie bialgebroid of a Poisson-Nijenhuis manifold. Yvette Kosmann-Schwarzbach

LECTURE 3 MATH 261A. Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.

The Toda Lattice. Chris Elliott. April 9 th, 2014

0.1 Diffeomorphisms. 0.2 The differential

Locally conformal Dirac structures and infinitesimal automorphisms

arxiv: v2 [math-ph] 2 Oct 2008

The Erwin Schrodinger International Pasteurgasse 6/7. Institute for Mathematical Physics A-1090 Wien, Austria

M3-4-5 A16 Notes for Geometric Mechanics: Oct Nov 2011

A BRIEF INTRODUCTION TO DIRAC MANIFOLDS

Homogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky

The Erwin Schrödinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria

Non-associative Deformations of Geometry in Double Field Theory

HAMILTONIAN ACTIONS IN GENERALIZED COMPLEX GEOMETRY

Unimodularity and preservation of measures in nonholonomic mechanics

PREQUANTIZATION OF SYMPLECTIC SUPERMANIFOLDS

[#1] R 3 bracket for the spherical pendulum

Higher order Koszul brackets

Poisson CIRM, juin Organisateurs : Jean-Paul Dufour et Yvette Kosmann-Schwarzbach

COMPUTING THE POISSON COHOMOLOGY OF A B-POISSON MANIFOLD

COURANT ALGEBROIDS FROM CATEGORIFIED SYMPLECTIC GEOMETRY: DRAFT VERSION

arxiv:math/ v1 [math.dg] 10 Jan 2002

R-flux string sigma model and algebroid duality on Lie 3-algebroids

Integrability and Associativity

On a Hamiltonian version of a 3D Lotka-Volterra system

Deformations of Coisotropic Submanifolds of Jacobi Manifolds

A Crash Course of Floer Homology for Lagrangian Intersections

UNIVERSIDADE FEDERAL DO PARANÁ Luiz Henrique Pereira Pêgas THE HOCHSCHILD-KOSTANT-ROSENBERG THEOREM FOR SMOOTH MANIFOLDS. Curitiba, 2010.

Del Pezzo surfaces and non-commutative geometry

Lie algebra cohomology

POISSON-LIE T-DUALITY AND INTEGRABLE SYSTEMS

C 0 -rigidity of Poisson brackets

MANIN PAIRS AND MOMENT MAPS

Deformation Quantization

TANGENT VECTORS. THREE OR FOUR DEFINITIONS.

The best-known Poisson bracket is perhaps the one defined on the function space of R 2n by: p i. q i

Recent Progress in the Integration of Poisson Systems via the Mid Point Rule and Runge Kutta Algorithm

On the Geometry of Multi-Dirac Structures and Gerstenhaber Algebras

DIRAC COTANGENT BUNDLE REDUCTION HIROAKI YOSHIMURA JERROLD E. MARSDEN. (Communicated by Juan-Pablo Ortega)

Acta Mathematica Academiae Paedagogicae Nyíregyháziensis 24 (2008), ISSN

Solutions of M3-4A16 Assessed Problems # 3 [#1] Exercises in exterior calculus operations

arxiv: v1 [math.dg] 5 Jan 2016

Transcription:

Dynamical systems on Leibniz algebroids Gheorghe Ivan and Dumitru Opriş Abstract. In this paper we study the differential systems on Leibniz algebroids. We introduce a class of almost metriplectic manifolds as a special case of Leibniz manifolds. Also, the notion of almost metriplectic algebroid is introduced. These types of algebroids are used in the presentation of associated differential systems. We give some interesting examples of differential systems on algebroids and the orbits of the solutions of corresponding systems are established. M.S.C. 2: 7B66, 53C5, 58F5. Key words: almost Leibniz manifold, almost metriplectic manifold, Leibniz algebroid, almost metriplectic algebroid. Introduction Lie algebroids have been introduced repeatedly into differential geometry since the early 95 s, and also into physics and algebra, under a wide variety of names. It is well known that there exists a one-to-one correspondence between Lie algebroid structures on a vector bundle π : E M and linear Poisson structures on the dual vector bundle π : E M. This correspondence can be extended to much wider class of binary operations (brackets) on sections of π on one side, and linear 2 - contravariant tensor field on E on the other side. It is not necessary for these operations to be antisymmetric or to satisfy the Jacoby identity. The vector bundle π togheter with a bracket operation, or the equivalent 2 - contravariant tensor field, will be called an algebroid. We mention the concept of Loday algebras, i.e. Leibniz algebras in the sense of Loday which are non antisymmetric Lie algebras. Weinstein s paper on Lagrangian mechanics and groupoids (see [6]) roused new interest into the field of algebroids and groupoids. Weinstein introduces Lagrangian systems on a Lie algebroid by means of a Legendre-type map from E to E associated to a given function L on E. The local coordinate expression of such equations reads ẋ i = ρ i a(x)y a d dt ( L y a ) = L ρi a x i Cd aby b L y d Differential Geometry - Dynamical Systems, Vol.8, 26, pp. 27-37. c Balkan Society of Geometers, Geometry Balkan Press 26.

28 Gheorghe Ivan and Dumitru Opriş where the (x i ) are coordinates on M, (y a ) are fibre coordinates on E and the Cab d are structure functions coming from the Lie algebroid structure. Note that, more generally, the equations of the form ẋ i = ρ i a(x)y a ẏ a = f a (x, y) were called second - order equations on a Lie algebroid by Weinstein. This paper shows that various relevant dynamical systems can be described as vector fields associated to smooth functions via a bracket that defines a Leibniz structure, defined of Leibniz algebroid. In this paper we go all the way in this direction and we work with a bracket, first introduced in (Grabowski and Urbanski, [2]), that is just required to be linear and a derivation on each its entres. The derivation property, also known as the Leibniz rule, justifies why we refer to this structure as Leibniz bracket. This construction should not be mistaken with the Leibniz structures (also called Loday algebras) introduced by Loday ([ 4 ]) in the algebraic context. The notion of Leibniz algebra is a certain noncommutative version of a Lie algebra. Leibniz algebroids are bundles with a local Leibniz algebra structure on its sections and a bundle map to the tangent bundle (called, anchor), which maps the bracket into the usual Lie bracket of vector fields. 2 Leibniz systems. Almost Leibniz systems Let M be a smooth manifold of dimension n and let C (M) be the ring of smooth functions on it. A Leibniz bracket on M is a bilinear map [, ] : C (M) C (M) C (M) such that it is a derivation on each entry, that is, for all f, g, h C (M) the following relations hold: (2.) [fg, h] = [f, h]g + f[g, h] and [f, gh] = g[f, h] + [f, g]h. We will say that the pair (M, [, ]) is a Leibniz manifold. If the bracket [, ] is antisymmetric, that is [f, g] = [g, f], ( )f, g C (M), then we say that (M, [, ]) is an almost Poisson manifold. Let (M, [, ]) be a Leibniz manifold and let h be a smooth function of M. From the fact that a Leibniz structure is a derivation there exists the vector field X h on M uniquely characterized by the relation : (2.2) X h (f) = [f, h] for any f C (M). We will call X h the Leibniz vector field associated to the Hamiltonian function h C (M). Note that since [, ] is a derivation on each their arguments, they only depend on the first derivatives of the functions and thus, we can define the 2- contravariant tensor field B on M given by: (2.3) B(df, dg) = [f, g], for all f, g C (M). We call dynamical Leibniz system, the dynamical system associated to the vector field X h.

Dynamical systems on Leibniz algebroids 29 If (x i ), i =, n is a system of local coordinates on M, in a local chart the dynamical Leibniz system is given by: (2.4) ẋ i = [x i, h], where [x i, h] = Xh i = B(dx i ij h, dh) = B x j. Note that the symplectic and Poisson manifolds are particular cases of Leibniz manifolds. We now briefly present other non trivial examples. Example. (i) Pseudometric bracket and gradient dynamical systems. Let g be a 2 - contravariant non degenerate symmetric tensor field on M. Let [, ] : C (M) C (M) C (M) be the Leibniz bracket defined by: (2.5) [f, h] = g(df, dh), for all f, h C (M). The bracket given by (5) is called the pseudometric bracket associated to g. This bracket is clearly symmetric and non degenerate and the Leibniz vector field X h associated to any function h C (M) is such that X h f = g(df, dh). These brackets are also called Beltrami brackets. Let on R 3 the constant 2 - contravariant tensor field g = (g ij ) given by: (2.6) g = s γ s 2 γ 2 s 3 γ 3 where the parameters s, s 2, s 3 {, } and γ, γ 2, γ 3 are real numbers satisfying the relation γ + γ 2 + γ 3 =. This system happens to be a particular of pseudometric bracket and the differential system for h = x x 2 x 3 is given by: (2.7) ẋ = s γ x 2 x 3, ẋ 2 = s 2 γ 2 x x 3, ẋ 3 = s 3 γ 3 x x 2. (ii) The almost metriplectic systems. Let P be a 2 - contravariant antisymmetric tensor field on M and g be a 2 - contravariant non degenerate symmetric tensor field on M. We define the bracket [, ] : C (M) C (M) C (M) by: (2.8) [f, h] = P (df, dh) + g(df, dh), for all f, h C (M). This bracket is clearly a Leibniz bracket. We will say that (M, P, g, [, ]) is an almost metriplectic manifold. If the tensor field P is Poisson, then (M, P, g, [, ]) is a metriplectic manifold, see []. The differential system associated to the bracket (8) is given by: (2.9) ẋ i = [x i, h], where [x i, h] = P (dx i, dh) + g(dx i, dh) = P ij h h + gij xj x j. Let be the 2 - contravariant tensors fields P = (P ij ), g = (g ij ) on R 3 and the function h C (R 3 ) given by: x 3 x 2 (2.) P = x 3 x x 2 x

3 Gheorghe Ivan and Dumitru Opriş (2.) g = a2 2(x 2 ) 2 a 2 3(x 3 ) 2 a a 2 x x 2 a a 3 x x 3 a a 2 x x 2 a 2 (x ) 2 a 2 3(x 3 ) 2 a 2 a 3 x 2 x 3 a a 3 x x 3 a 2 a 3 x 2 x 3 a 2 (x ) 2 a 2 2(x 2 ) 2 (2.2) h = 2 (a + )(x ) 2 + 2 (a 2 + )(x 2 ) 2 + 2 (a 3 + )(x 3 ) 2. (2.3) The differential system associated to the bracket (9) is given by: ẋ = (a 3 a 2 )x 2 x 3 + a 2 (a a 2 )x (x 2 ) 2 + a 3 (a a 3 )x (x 3 ) 2 ẋ 2 = (a a 3 )x x 3 + a 3 (a 2 a 3 )x 2 (x 3 ) 2 + a (a 2 a )x 2 (x ) 2 ẋ 3 = (a 2 a )x x 2 + a (a 3 a )x 3 (x ) 2 + a 2 (a 3 a 2 )x 3 (x 2 ) 2 The differential system (3) is the revised system of the rigid body, see []. Let M be a smooth manifold and P and g be two 2 - contravariant tensors fields on M. We define the bracket [, (, )] : C (M) C (M) C (M) C (M) by: (2.4) [f, (h, h 2 )] = P (df, dh ) + g(df, dh 2 ), for all f, h, h 2 C (M). Proposition. The bracket (4) satisfy the following relations: (2.5) [f f, (h, h 2 )] = f [f, (h, h 2 )] + f[f, (h, h 2 )] (2.6) [[f, l(h, h 2 )] = l[f, (h, h 2 )] + h P (df, dl) + h 2 g(df, dl 2 ) for all f, f, h, h 2, l C (M). The bracket given by (4) is called the almost Leibniz bracket, and we say that (M, P, g, [, (, )]) is an almost Leibniz manifold. By direct calculation we obtain the following result. Proposition 2. If the tensor field P is antisymmetric and the tensor field g is symmetric and there exist h, h 2 C (M) such that P (dh 2, df) =, g(dh, df) = for all f C (M), then the bracket (4) satisfies the relation: (2.7) [f, (h, h 2 )] = [f, (h, h)], for h = h + h 2. From the fact that the almost Leibniz structure (4) satisfies the relation (5), there exists the vector field X hh 2 on M uniquelly characterized by the relation : (2.8) X hh 2 (f) = [f, (h, h 2 )] for any f C (M). We will call an almost Leibniz dynamical system, the dynamical system associated of the vector field X h h 2 given by (8). In system of local coordinates (x i ), i =, n on M, the almost Leibniz dynamical system is given by: (2.9) ẋ i = [x i, (h, h 2 )] where (2.2) [x i, (h, h 2 )] = X i h h 2 = P ij h x j + gij h 2 x j.

Dynamical systems on Leibniz algebroids 3 Example 2. Let be the 2 - contravariant tensors fields P = (P ij ), g = (g ij ) on R 3 and the functions h, h 2 C (R 3 ) given by: (2.2) P = x x, g = (x 3 ) 2 (x 2 ) 2 (2.22) h = 2 (x2 ) 2 + 2 (x3 ) 2, h 2 = 2 (x ) 2 + x 3. The almost Leibniz dynamical system associated to structure (R 3, P, g, [, (, )]) for the above tensors fields and functions is given by: (2.23) ẋ = x 2, ẋ 2 = x x 3, ẋ 3 = x x 2 (x 2 ) 2. Example 3. If we take the tensors fields P = (P ij ) and g = (g ij ) on R 3 and the functions h, h 2 C (R 3 ) given by: P = x3 x 2 x 3, g = x3 (2.24) x 2 x (2.25) h = 2 (x ) 2 + x 3, h 2 = 2 (x2 ) 2 + 2 (x3 ) 2 then the almost Leibniz dynamical system associated to (R 3, P, g, [, (, )]) for the above tensors fields and functions is given by: (2.26) ẋ = x 2, ẋ 2 = x x 3, ẋ 3 = x x 2 x x 3. 3 Leibniz algebroids Let M be a smooth manifold of dimension n, let π : E M be a vector bundle and π : E M the dual vector bundle. By Σ = Γ(M, E) we denote the sections of π. A Leibniz algebroid structure (pseudo - Lie algebroid structure ) on a vector bundle π : E M is given by a bracket ( bilinear operation ) [, ] on the space of sections Σ and two vector bundle morphisms ρ, ρ 2 : E T M (called the left and the right anchor, respectively) such that (3.) [fσ, gσ 2 ] = fρ (σ )(g)σ 2 gρ 2 (σ 2 )(f)σ + fg[σ, σ 2 ] for all σ, σ 2 Σ and f, g C (M). A vector bundle π : E M endowed with a Leibniz algebroid structure ([, ], ρ, ρ 2 ) on E, is called Leibniz algebroid over M and denoted by (E, [, ], ρ, ρ 2 ). A Leibniz algebroid with an antisymmetric bracket [, ] ( in this case we have ρ = ρ 2 ) is called pre - Lie algebroid. A Leibniz algebroid with a symmetric bracket [, ] ( in this case we have ρ 2 = ρ ) is called symmetric algebroid.

32 Gheorghe Ivan and Dumitru Opriş In the following, we establish a correspondence between Leibniz algebroid structures on the vector bundle π : E M and the 2- contravariant tensor fields on bundle manifold E of the dual vector bundle π : E M. For a given section σ Σ, we define a function i E σ on E by the relation: (3.2) i E σ(a) =< σ(π (a)), a >, for a E, where <, > is the canonical pairing between E and E. Let Λ be a 2 - contravariant tensor field on E and the bracket [, ] Λ of functions given by the relation : (3.3) [f, g] Λ = Λ(df, dg) for all f, g C (E ). For a given 2 - contravariant tensor field Λ on E, we say that Λ is linear, if for each pair (µ, µ 2 ) of sections of π, the function Λ(di E µ, di E µ 2 ) defined on E is linear. Theorem. (Grabowski and Urbanski, 997, [2]) For every Leibniz algebroid structure on π : E M with the bracket [, ] and the anchors ρ, ρ 2, there exists an unique 2 - contravariant tensor field Λ on E such that the following relations hold: (3.4) i E [σ, σ 2 ] = [i E σ, i E σ 2 ] Λ (3.5) π (ρ (σ)(f)) = [i E σ, π f] Λ, π (ρ 2 (σ)(f)) = [π f, i E σ] Λ for all σ, σ, σ 2 Σ and f C (M). Conversely, every 2 - contravariant linear tensor field Λ on E defines a Leibniz algebroid on E by the relations (3) and (3). Let (x i ), i =, n be a local coordinate system on M and let {e,..., e m } be a basis of local sections of E ( dim M = n, dim E = m ). We denote by {e,..., e m } the dual basis of local sections of E and (x i, y a ) ( resp., (x i, ξ a ) ) the corresponding coordinate system on E ( resp., E ). It is easy to see that every linear 2 - contravariant tensor field Λ on E has the form: Λ = Cabξ d d + ρ i a ξ a ξ b ξ a x i (3.6) ρi 2a x i, ξ a where C d ab, ρi a, ρ i 2a C (M) are functions of (x i ). The correspondence between Λ and a Leibniz algebroid structure is given by the following relations: (3.7) [e a, e b ] = Cabe d d, ρ (e a ) = ρ i a x i, ρ 2(e a ) = ρ i 2a x i. We call a dynamical system on Leibniz algebroid π : E M, the dynamical system associated to vector field X h with h C (M) given by: (3.8) X h (f) = Λ(df, dh), for all f C (M). In a system of local coordinates, the dynamical system (34) is given by: (3.9) ξ a = [ξ a, h] Λ, ẋ i = [x i, h] Λ

Dynamical systems on Leibniz algebroids 33 where (3.) [ξ a, h] Λ = Cabξ d h d + ρ i h a ξ b x i, [x i, h] Λ = ρ i h 2a. ξ a If the Leibniz algebroid is a pre - Lie algebroid, then the dynamical system (35) and (36) is given by: (3.) ξ a = Cabξ d h d + ρ i h a ξ b x i, ẋ i = ρ i h a, Cab d = C ξ ba. d a If the Leibniz algebroid is a symmetric algebroid, then the dynamical system (35) and (36) is given by: (3.2) ξ a = Cabξ d h d + ρ i h a ξ b x i, ẋ i = ρ i h a, Cab d = C ξ ba. d a Example 4. Let the vector bundle π : E = R 3 R 3 R 3 and π : E = R 3 (R 3 ) R 3 the dual vector bundle. We consider on E the 2 - contravariant linear tensor field Λ, the anchors ρ, ρ 2 and the function h given by: (3.3) (3.4) P = ξ 3x 3 ξ 2 x 2 ξ 3 x 3 ξ x ξ 2 x 2 ξ x ρ 2 = x x, ρ = x 3 x3 x 2 x 2, and h(x, ξ) = x 2 ξ 2 + x 3 ξ 3. The dynamical system (35) and (36) associated to Leibniz algebroid (R 3 R 3, P, g, ρ, ρ 2 ) for h = x 2 ξ 2 + x 3 ξ 3 is given by: (3.5) ξ = x 3 (x 2 )ξ 2 x 2 x 3 ξ 3 ξ 2 = x 3 x ξ, ξ 3 = x x 2 ξ ẋ = x 2 ẋ 2 = x x 3 ẋ 3 = x x 2 The dynamical system (4) is the dynamical system associated to the Maxwel- Bloch system. The orbits of the system (4) represented in the coordinate systems Ox x 2 x 3 and Oξ ξ 2 ξ 3 are given in the figures Fig. and Fig. 2..5.3.25 x 3.5.5 ξ3.2.5..5.5.5.5.25.25.2.2.5.5.25..95.2.5.9.85.5.95 x2 x ξ2.8 ξ Fig. Fig. 2..5.

34 Gheorghe Ivan and Dumitru Opriş 4 Almost metriplectic algebroids Let π : E M be a vector bundle, an antisymmetric bracket [, ] on E and [, ] 2 a symmetric bracket on E. A Leibniz algebroid endowed with the brackets [, ] and [, ] 2 is called almost metriplectic algebroid. Let Λ and Λ 2 the 2 - contravariant tensors fields on the bundle manifold E associated with brackets [, ] and [, ] 2. We consider the bracket [, (, )] : C (E ) (C (E ) C (E )) C (E ) given by: (4.) [f, (h, h 2 )] = Λ (df, dh ) + Λ 2 (df, dh 2 ), for all f, h, h 2 C (E ). It is not hard to prove the following proposition. Proposition 3. The bracket given by (42) satisfy the relations: (4.2) [f f, (h, h 2 )] = f [f, (h, h 2 )] + f[f, (h, h 2 )] (4.3) [f, l(h, h 2 )] = l[f, (h, h 2 )] + h Λ (df, dl) + h 2 Λ 2 (df, dl) for all f, f, h, h 2, l C (E ). From (43) it follows that X h h 2 : C (E ) C (E ) C (E ) given by: (4.4) X h h 2 (f) = [f, (h, h 2 )], for all f C (E ) is a vector field on E associated to the functions h, h 2 C (E ). We will call an almost metriplectic dynamical system, the dynamical system associated to the vector field X h h 2 given by (45) with the bracket defined by (42). In a system of local coordinates on E, the almost metriplectic dynamical system (45) is given by: (4.5) ξ a = X hh 2 (ξ a ), ẋ i = X hh 2 (x i ). where (4.6) X h h 2 (ξ a ) = Λ (dξ a, dh ) + Λ 2 (dξ a, dh 2 ), X h h 2 (x i ) = Λ (dx i, dh ) + Λ 2 (dx i, dh 2 ) Then the almost metriplectic dynamical system (46) and (47) is given by: (4.7) { ξa = C d ab ξ d h ξ b + C d 2ab ξ d h2 ξ b ẋ i = ρ i a h ξ a + ρ i 2a h 2 + ρ i a h x + ρ i i 2a h2 x i ξ a. Proposition 4. Let Λ and Λ 2 be two 2 - contravariant tensors fields on E for an almost metriplectic algebroid. (i) If there exist h, h 2 C (E ) such that Λ (dh 2, df) = and Λ 2 (dh, df) = for all f C (E ), then for h = h + h 2 we have [f, (h, h)] = [f, (h, h 2 )]. (ii) If the function h is linear on the fibre of the vector bundle π : E M, then there exists Λ 2 with property that it is determined by h. Proof. (i) From hypothesis Λ (dh 2, df) = and Λ 2 (dh, df) = for all f C (E ) and from (42) it follows that [f, (h, h)] = Λ (df, dh) + Λ 2 (df, dh) = Λ (df, dh ) + Λ 2 (df, dh 2 ) = [f, (h, h 2 )].

Dynamical systems on Leibniz algebroids 35 (ii) From Λ 2 (df, dh ) = for all f C (E ), we obtain: (4.8) C2abξ d h d + ρ i h 2a ξ b x i =, h ρi 2a =. ξ a If h (x, ξ) = ξ a h a (x) from (49) follows (4.9) C2abh d b + ρ i h d 2a x i =, ρi 2ah a =. Then, it is easy to verify that ρ i 2a = ha x if a i, ρ a i 2i = n h i k= k i C2ab d = if a b, Cd 2ab = h b satisfy the relations (5). ( ha x k ) 2, ρ i 2a hd x i, if a = i if a = b Example 5. The dynamical system of the rigid body on the Leibniz algebroid π : R 3 R 3 R 3. The dynamical system of the rigid body on R 3 is given by: where ẋ i = p ij h, i, j =, 2, 3 xj h = 2 (a (x ) 2 + a 2 (x 2 ) 2 + a 3 (x 3 ) 2 ), a > a 2 > a 3 > and p = (p ij ) = x 3 x x3 x 2 x 2 x. Let π : E = R 3 (R 3 ) R 3 the dual vector bundle of π : E R 3 and (x i, ξ i ) be a coordinate system on E. Let the 2- contravariant tensor field Λ on E given by (C, ρ, ρ ) where ρ = p and (4.) C = ξ 3x 3 ξ 2 x 2 ξ 3 x 3 ξ x ξ 2 x 2 ξ x The dynamical system for Λ and h (x, ξ) = a x ξ + a 2 x 2 ξ 2 + a 3 x 3 ξ 3 is given by:. ξ = a 2 ξ 3 x 2 x 3 a 3 ξ 2 x 2 x 3 a 2 ξ 2 x 3 + a 3 ξ 3 x 2 ξ 2 = a 3 ξ x x 3 a ξ 3 x x 3 a 3 ξ 3 x + a ξ x 3 ξ 3 = a ξ 2 x x 2 a 2 ξ x x 2 a ξ x 2 + a 2 ξ 2 x ẋ = (a 3 a 2 )x 2 x 3 ẋ 2 = (a a 3 )x x 3 ẋ 3 = (a 2 a )x x 2 The orbits of the dynamical system (5) represented in the coordinate systems Ox x 2 x 3 and Oξ ξ 2 ξ 3 are given in the figures Fig. 3 and Fig. 4.

36 Gheorghe Ivan and Dumitru Opriş.5 2 2.5 4 x 3 3 ξ3 6.5 8.5 2 2. x2.2.5.2.2.2.2.95.95.2 2.2.9.9 x ξ2 Fig. 3 Fig. 4 ξ.5. The tensor field Λ satisfies the relation Λ (dh 2, df) = for all f C (E ) and h 2 (x, ξ) = x ξ + x 2 ξ 2 + x 3 ξ 3. Applying the Proposition 4, it follows that there exists the 2 - contravariant tensor field Λ 2 with property Λ 2 (dh, df) =, for all f C (E ). The 2 - contravariant tensor field Λ 2 on E is given by: (C 2, ρ 2, ρ 2 ), where C 2 = V x ξ W V 2 x ξ 2 2 W 2 V 3 x ξ 3 3 W 3 and ρ 2 = V a a 2 x x 2 a a 2 x x 2 V 2 a a 3 x x 3 a 2 a 3 x 2 x 3 a a 3 x x 3 a 2 a 3 x 2 x 3 V 3 with V = (a 2 ) 2 (x 2 ) 2 + (a 3 ) 2 (x 3 ) 2, W = (a 2 ) 2 x 2 ξ 2 + (a 3 ) 2 x 3 ξ 3, V 2 = (a ) 2 (x ) 2 + (a 3 ) 2 (x 3 ) 2, W 2 = (a ) 2 x ξ + (a 3 ) 2 x 3 ξ 3, V 3 = (a ) 2 (x ) 2 + (a 2 ) 2 (x 2 ) 2, W 3 = (a ) 2 x ξ + (a 2 ) 2 x 2 ξ 2. The dynamical system (46) and (47) is the following: ξ = (a 2 (a a 2 )x x 2 a 3 x 2 x 3 a 2 x 3 )ξ 2 + (a 3 (a a 3 )x x 3 + a 2 x 2 x 3 + a 3 x 2 )ξ 3 ξ 2 = (a (a 2 a )x x 2 + a 3 x x 3 + a x 3 )ξ + (a 3 (a 2 a 3 )x 2 x 3 a x x 3 a 3 x )ξ 3 ξ 3 = (a 2 (a 3 a 2 )x 2 x 3 + a x x 2 + a 2 x )ξ 2 + (a (a 3 a )x x 3 a 2 x x 2 a x 2 )ξ ẋ = (a 3 a 2 )x 2 x 3 + a 2 (a a 2 )x (x 2 ) 2 + a 3 (a a 3 )x (x 3 ) 2 ẋ 2 = (a a 3 )x x 3 + a 3 (a 2 a 3 )x 2 (x 3 ) 2 + a (a 2 a )x 2 (x ) 2 ẋ 3 = (a 2 a )x x 2 + a (a 3 a )x 3 (x ) 2 + a 2 (a 3 a 2 )x 3 (x 2 ) 2 (4.) The orbits of the dynamical system (52) represented in the coordinate systems Ox x 2 x 3 and Oξ ξ 2 ξ 3 for a =.6, a 2 =.4, a 3 =.2 are given in the figures Fig.5 and Fig. 6.

Dynamical systems on Leibniz algebroids 37.8.4.2.8..7999.8.6 x 3.7999 ξ3.4.2.7998..98.7998.2.96.2. x2..5...5.5....2.5.2 x ξ2.5 Fig. 5 Fig. 6.5 ξ.5..5 Conclusion. In this paper are presented differential systems on Leibniz algebroids. The analysis of these systems realizes by studying the behavior of its solutions in the neighborhood of equilibria points. This analysis will be enterprised in the future papers. References [] D. Fish, Metriplectic systems, Dissertation - Portland State University, 25. [2] J. Grabowski, P. Urbanski, Lie algebroids and Poisson - Nijenhuis structures, Rep. Math. Phys. 4 (997), 95-28. [3] J. Grabowski, P. Urbanski, Tangent and cotangent lifts and graded Lie algebras associated with Lie algebroids, Ann. Global Anal. Geom. 5, 5 (997), 447-486. [4] J.L. Loday, Une version non-commutative des algebrès de Lie, L Einseignement Mathé matique 39 (993), 269-293. [5] J. - P. Ortega, V. Planas -Bielsa, Dynamics on Leibniz manifolds, preprint arxiv:math. DS/39263, 23. [6] A. Weinstein, In : Mechanics day (Waterloo, ON,992), Fields Institute Communications 7, American Mathematical Society, 996, 27. Authors address: Gheorghe Ivan and Dumitru Opriş West University of Timişoara, Department of Mathematics, 4 Bd. V. Pârvan, 3223, Timişoara, Romania email: ivan@hilbert.math.uvt.ro and opris@math.uvt.ro