Euler equations on solvable Lie algebras

THEOREM 2.4.2 (A. V. Brailov). Let (G0,ffR)be a split simple Lie algebra; let G o = K + L be the Cartan decomposition indicated above; letias be an arbitrary element; let G~ be the centralizer of a in Go; let Cent G~ be the center of the Lie algebra G~; let the element bGLnCent O$; let D:Ka-+K a be a symmetric operator invariant relative to all inner automorphisms of the Lie algebra Ka; let Iz,...,l r be collection of homogeneous, algebraically independent invariants of the Lie algebra G O of degrees m I + l,...,m r + I, where ml,...,m r are the exponents of the Weyl group. Then for the operaterlqa,~,D, defined by the matrix ~ a , b, D --~i

relative to the decomposition A"~--[a, LI.-}-ffa , the Euler equation A~[X, ~a,b,D(X)], XEK, has the following integrals: the integrals I{,a(X), which are by definition the functional coefficients of ~2 in the polynomialP~,a(%, X)~-f~(X@%a), and the integrals[g(X)= (g, X>, where gGK a. All integrals of the formll[,w commute pairwise with each integral s From the integrals I{.~ and i it is possible to select a number of independent integrals equal to q + dimK a, where q is the number of integrals selected here of the form l{,a. For the number q we have the following expression: q = i/2(dimK/Ka + r k K - rkKa). The rank of the reductive Lie algebra K is equal to the number of odd exponents of the series ml,...,m r. Remark. In a manner similar to the way in which Theorem 2.4ol augments Theorem 2.1.1 of A. S. Mishchenko and A. T. Fomenko on the independence of integrals of the so-called "compact" series, Theorem 2.4.2 augments Theorem 2.1.1 on the independence of integrals of the "normal" series for the case of singular operators ~a,b,D3.

Euler Equations on Solvable Lie Algebras 3.1.

Euler Equations on Borel Subalgebras of Semisimple Lie Algebras.

Let G be a c o m -

plex simple Lie algebra, let H be its Cartan subalgebra, let G-----f-f@~G=be the Caftan de~0

composition, and let {hi, e~} be the Chevallier basi~.

We consider the Borel subalgebra

in

~>0

to it there corresponds the Lie group ~G. In the Weyl group W(G, H) of the Lie algebra G there exists an element w 0 of greatest length. A complete involutive family of functions on Borel subalgebras BG in simple Lie algebras was constructed in the works of Trofimov [88, 90]. THEOREM 3.1..1 (see [4]). Let d i be semiinvariants of the representation Ad* of the Lie g r o u p ~An. There exists an open, dense subset U c B A ~ * such that if a function f on BA~ depends in polynomial fashion on the functions ~i(X~-~a),i= 1..... n,%6R, a6U, then the system of equations x = {x,dfx} is completely integrable in the Liouville sense on orbits of general position of the representation Ad* of the Lie group ~Anl An analogous construction can be carried out for ~Sp(n)(see [88]). THEOREM 3.1.2 (see [88]). Let d i be semiinvariants of the representation Ad* of the Lie group ~Sp(n). There exists an open, dense subset~UcBSp(n) * such that if a function f on BSp(n)* depends functionally on the functions di(x+%a), i=l,..., n, %ER, a~U, then the system of equations x = {x, d[x} is completely integrable in the Liouville sense on orbits of general position of the representation Ad* of the group!~Sp(n). An explicit description of the semiinvariants for'~An can be found in the work of Arkhangel'skii [4] and for ~Sp(n) in the work of Trofimov [88]. In the work [90] a description is given of the semiinvariants and, in particular, the invariants for all Borel subalgebras BG in simple Lie algebras G. Let A~(X) be the lower-left-corner minor of order i of the matrix X, and let Oij(s) be the border of the minor As(X) corresponding to the element xij. THEOREM 3.1.3 (see [88]). Suppose a function f on BSO(n) ~ depends functionally on the semiinvariants of the representation Ad* of the Lie group ~SO(n) and, further, in the case n = 2k on the coordinates of the maximal Abelian subalgebra of BSO(n), i.e., on Yi,j+n (i + j < n), in the case BSO(4k + l) on the shifts Ak+l and the coordinates Yi,j+k (i + j < k) of

2722

the Abelian subalgebra, and in the case BSO(4s + 3) on the shifts Ok+1,~+~(k--l) and the coordinates Yi,j+k (i + j < k) of the Abelian subalgebra [SO(N)is realized by matrices which are skew-symmetric with respect to the secondary diagonal]. Then the s y s t e m o f equations i = {x, dfx} is completely integrable in the Liouville sense on orbits of general position of the representation Ad* of the Lie group ~SO(n). The method of chains of subalgebras makes it possible to construct a complete, family of functions also on BG for special Lie algebras.

involutive

THEOREM 3.1.4 (see [88]). If a function f on BG~ depends functionally on the semiinvariants of the coadjoint representation Ad* of the Lie group ~G2 and on the coordinates of the maximal Abelian subalgebra in BG 2, then the system of equations i = {x, dfx} is completely integrable in the Liouville sense on orbits of general position of the representation Ad~o,. The generalized shift method of the work [90] can be applied to construct a complete, involutive family of functions on the space BF~, BE~. THEOREM 3.1.5 (see [90]). In the space of polynomials on BF~ and BE~ a finite-dimensional subspace can be explicitly produced which is invariant with respect to the representation Ad* of the Lie group ~F4 or ~E6 and such that if a function f depends functionally on the shifts of the basis functions of the space W, then the system of equations i = {x, dfx} is completely integrable in the Liouville sense on orbits of general position of the representation Ad* of the Lie group ~F4 or ~E6. To construct a complete, involutive family of functions on BG it is necessary to know the index of the Lie algebra BG. This problem is solved by the following theorem due tO v. V. Trofimov. THEOREM 3.1.6~(see [90])~ Let G be a simple Lie algebra, let BG be the real form of the Borel subalgebra in G ffescribed above, and let w0Elg/(G, ff) be an element of the Weyl group of maximal" length. If ~ is an orbit of maxlmaI dimension of the representatlon Ad~o, then 1

codim~----~cardA , where A = { ~ @ A l ( - - w 0 ) a ~ s A ~ } , gebra G, and cardS

5 is the system of simple roots of the Lie al-

is the power-of the set S.

In the work [89] section operators of "rigid-body" type are defined for Borel subalgebras BG. Let G be a semisimple, complex Lie algebra and let H be its Cartan subalgebra; we define operators ~a.o:BG*-+BG by the equality ~a,b(x)=ad~adbo(x), where xEBG*, aEH, and for any root ~ of the algebra G relative to H we have a(a)@O, b@BG, and o is the involution of the compact form in G; here BG* is identified with the subalgebra @ R h ~ @ ~ R e = . then

If xCBG ,

x-~h+~x=ea, hEH, where e~ is the root vector corresponding to the root ~.

We define

~>0

the height ht x of an element x: the height of x is equal to the height of a, where a is the minimal root for which x~ ~ 0. THEOREM 3.1.7 (see [89]).

Let G be a simple Lie algebra of type An, Cn, D n or G 2.

b~BG is an element such that the inequalities i ) h t b ~ ] the case Cn, 3 ) ; h t b ~ n

in the case Dn, 4) h t b ~ 3

in the case An, 2 ) h t b ~ n

in the case G 2 are satisfied,

If in

then the Euler

equations x={X,~a,b(X)} on BG* with the "rigid-body" operators ~a,~ are completely integrable in the classical Liouville sense on all orbits of general position of the representation Ad* of the Lie g r o u p ~ G . THEOREM 3.1.8 (see [89]). Let G he a simple Lie algebra of type An, C n, D n or G2, and let O@BO be an element as in Theorem 3.1.7; then a Hamiltonian flow on T*~O, corresponding to quadratic forms with operators of "solid-body" type ~a,~,is completely integrable in the classical Liouville sense. 3.2. Euler Equations on Some Suba!gebras in BG. Chains of subalgebras can be used to construct complete, involutive collections of functions on semidirect s~m~s of Lie algebras. If G = G o + H, then G~ and H* are subspaces in G*. THEOREM 3.2.1 (see [50]). Let G be a Lie algebra which decomposes into a direct sum of an ideal G o and an Abelian subalgebra H: G = G o + He Let F~,...,F m be a complete, involutive collection of functions on G~. Then the collection FI .... ,Fm on G* is complete and commutative, where F~(f)=F~(fo+h)----F~(fo), i = l , 2 . . . . . m , f~G*, f----fo+& fo~Go*, h ~ H * . 2723

THEOREM 3.2.2 (see [50]). Suppose the Lie algebra G decomposes into a direct sum of an ideal G O and an Abelian subalgebra H: G = Go + H. Let I~, 12 be a complete collection of invariants of G relative to the coadjoint representation A d ~ ; let FI,...,F m be a complete, involutive collection of functions on G~. Then FI, F2,...,Fm, Ii, I2,...,I r form a complete, involutive collection of functions for G, where Fz, F2,...,F m is the natural extension of the functions FI, F2, .... Fm to G*. As an application of these constructions due to Le Ngok T'euen; see [50]. THEOREM 3.2.3.

Let L be any subalgebra in the Lie algebra T n of all upper triangular

formL==V~-

matrices of the

it is possible to obtain the following result

RE~, where Eij is the elementary matrix of order n • n and 1 ... >an-t, ~ln~AO, bl, b2..... bn be some numbers. the d~fferential equations i = ad~(x)x, xCE(n)* with the quadratic function n--2 n--1

n--I

2 H = ~'~, "~ b~--bi, x~i__ 2 ~--_lj=~+la~-aJ .=

Then

n--1

yiXin--~L

yi-i'~n Yn

are completely integrable in the Liouville sense on an orbit ~ of the representation Ad* of the group ~(n) in E(n)* for an orbit 0' of general position in E(n)*, A complete collection of commuting integrals is formed by the functional coefficients hk,s (k = 2,...,n + I; s = 0 ..... k) of Xs~-2 in the polynomial hk(~,~-!)=A~(XI~%A~t2(X_~-[-~A_~)), where 5k is the sum of all syrmmetric minors of k-th order. 4.2. Cases of Complete Integrability of th_e Equation of Inertial Motion of a Multidimensional Rigid Body in an Incompressible, Ideally Conducting Fluid. The method of tensor extensions makes it possible to construct complete, com~nutative collections of first integrals for finite-dimensional analogues of the equation of magnetohydrodynamics described above. Let G be a complex, semisimple Lie algebra, and let ~a(G) be the set of functions on G* which are shifts of the invariants F of the coadjoint representation Ad* of the Lie algebra G,

2726