arxiv: v1 [math-ph] 14 Mar 2013

Transcription

1 arxiv: v [math-ph] 4 Mar 203 A new approach to the Lenard-Magri scheme of integrability Alberto De Sole, Victor G. Kac and Refik Turhan February 6, 204 Abstract We develop a new approach to the Lenard-Magri scheme of integrability of bi-hamiltonian PDE s, when one of the Poisson structures is a strongly skew-adjoint differential operator. Introduction There have been a number of papers on classification and study of integrable PDE s in the past few decades. As a result, the -component integrable PDE s have been to a large extent classified. In the 2-component case there have been only partial results, see the survey [MNW09] and references there. In the present paper we prove integrability of the 2-component PDE s (6.), (6.2),(6.4),(6.7). All these equations enter in the same bi-hamiltonian hierarchy of PDE s. The corresponding two compatible Poisson structures given by (4.2) and (4.3) are local and have order 3 and 5. Equation (6.4) appeared in [MNW07]. The proof of integrability (i.e. existence of integrals of motion in involution with the associated Hamiltonian vector fields of arbitrarily high order), uses the Lenard-Magri scheme. Unfortunately (or fortunately) the existing methods, developed in [Dor93], [BDSK09], [Wan09], do not quite work Dipartimento di Matematica, Università di Roma La Sapienza, 0085 Roma, Italy and IHES, Bures sur Yvette, France desole@mat.uniroma.it Supported in part by PRIN and FIRB grants. Department of Mathematics, M.I.T., Cambridge, MA 0239, USA. and IHES, Bures sur Yvette, France kac@math.mit.edu Supported in part by Simons Fellowship. Department of Engineering Physics, Ankara University, 0600 Tandogan, Ankara Turkey. turhan@eng.ankara.edu.tr

2 here. We therefore develop a new method based on the notion of strongly skew-adjoint differential operators, using the Lie superalgebra of variational polyvector fields. We show that the Lenard-Magri scheme almost always works provided that one of the Poisson structures H 0 is a non-degenerate strongly skewadjoint operator. Namely, we are able to show, by a general argument, that the Poisson brackets of conserved densities are Casimir elements for H 0, but then we need to check by simple differential order considerations that these brackets are actually zero. Throughout the paper, unless otherwise specified, all vector spaces are considered over a field F of characteristic zero. 2 A Lemma on Z-graded Lie superalgebras Let W = W W 0 W... be a Z-graded Lie superalgebra such that elements in W j, j, have parity j mod 2 Z/2Z. Given H W, we define the following skew-symmetric bracket {, } H on W considered as an even space: (2.) {f,g} H = [[H,f],g], f,g W. Recall that if [H,H] = 0, then {, } H is actually a Lie bracket on W, considered as an even space (see e.g. [DSK3]). We also define the space of Casimirs for H as (2.2) C (H) := { f W [H,f] = 0 } W. Lemma 2.. (a) Let H 0,H W. Denote by {, } 0 and {, } the corresponding brackets on W given by (2.). Let f 0,f,...,f N+ W satisfy the equations (2.3) [H,f n ] = [H 0,f n+ ] for all n = 0,...,N. Then we have {f m,f n } 0 = {f m,f n } = 0 for all m,n = 0,...,N +. (b) Let H 0,H W. Let f 0,f,...,f N+ W, with f 0 C (H 0 ), satisfy equations (2.3), and let {g n } n Z+ W satisfy [H,g n ] = [H 0,g n+ ] for all n Z +. Then we have {f m,g n } 0 = {f m,g n } = 0 for all m = 0,...,N +, n Z +. 2

3 (c) If H W is such that [H,H] = 0, then adh defines a Lie algebra homomorphisms (W,{, } H ) (W 0,[, ]), i.e. [H,{f,g} H ] = [[H,f],[H,g]] for all f,g W. (d) Let H 0,H W be such that [H 0,H ] = 0. Then C (H 0 ) V is a closed with respect to the bracket {, }. (e) Let H 0,H W be such that [H 0,H ] = [H,H ] = 0. Suppose that f 0,f,...,f N+ W satisfy equations (2.3). Then {f n+,g} C (H 0 ) for all n = 0,...,N and g C (H 0 ). Proof. First, we prove part (a). By skew-symmetry, we have {f n,f n } 0 = {f n,f n } = 0 for every n. Assuming that n > m, we prove, by induction on n m that {f m,f n } 0 = {f m,f n } = 0. We have {f m,f n } = [[H,f m ],f n ] = [[H 0,f m+ ],f n ] = {f m+,f n } 0, which is zero by inductive assumption. Similarly, {f m,f n } 0 = {f n,f m } 0 = [[H 0,f n ],f m ] = [[H,f n ],f m ] = {f n,f m } = {f m,f n }, which again is zero by induction. Next, we prove part (b). Since, by assumption, f 0 C (H 0 ), we have {f 0,g n } 0 = [[H 0,f 0 ],g n ] = 0 for all n. Furthermore, {f 0,g n } = {g n,f 0 } = [[H,g n ],f 0 ] = [[H 0,g n+ ],f 0 ] = {f 0,g n+ } 0, which is zero by the previous case. We next prove, by induction on m, that {f m,g n } 0 = {f m,g n } = 0 for every n Z +. We have {f m,g n } 0 = [[H 0,f m ],g n ] = [[H,f m ],g n ] = {f m,g n }, which is zero by inductive assumption, and {f m,g n } = {g n,f m } = [[H,g n ],f m ] = [[H 0,g n+ ],f m ] = [[H 0,f m ],g n+ ] = {f m,g n+ } 0, which is zero by the previous case, completing the proof of part (b). For H W and f,g W, we have, by the Jacobi identity, [H,{f,g} H ] = [H,[[H,f],g]] = [[H,[H,f]],g] +[[H,f],[H,g]]. 3

4 If [H,H] = 0, we have [H,[H,f]] = 0, since H is odd, proving part (c). Next, we prove part (d). If f,g C (H 0 ), we have [H 0,{f,g} ] = [H 0,[[H,f],g]], and this is zero since, by assumption, H 0 commutes with all elements H, f and g. Finally, we prove part (e). Since, by assumption, H 0 commutes with both H and g, we have, by the Jacobi identity, [H 0,{f n+,g} ] = [H 0,[[H,f n+ ],g]] = [[H 0,[H,f n+ ]],g] = [[H,[H 0,f n+ ]],g] = [[H,[H,f n ]],g], and this is zero since (adh ) 2 = 0. 3 Application to the theory of Hamiltonian PDE s In the present paper we will use Lemma 2. in the special case when W is the Lie superalgebra of variational polyvector fields over an algebra of differential functions V. Recall from [BDSK09] that an algebra of differential function V in the variables u i, i I = {,...,l}, is a differential algebra extension of the algebra of differential polynomials R l = F[u (n) i i I,n Z + ], with the total derivative defined on generators by u (n) = u (n+), and endowed with commuting derivations u (n) i derivatives on R l, such that for every f V we have i : V V extending the usual partial i f u (n) i = 0 for all but finitely many values of i and n, and satisfying the commutation relation [, ] = for every i I,n Z + (the RHS is considered to be 0 u (n) i u (n ) i for n = 0). Recall from [DSK3] some properties of the Lie superalgebra W of variational polyvector fields over V that we will need. It is a Z-graded Lie superalgebra W = W W 0 W..., with the parity compatible with the Z-grading. Furthermore, W = V/ V is the space of local functionals, W 0 = V l is the Lie algebra of evolutionary vector fields, i.e. derivations of V commuting with, which have the form X P = i I,n Z + ( n P i ) u (n) i P V l. Thebracket of two evolutionary vector fieldsis given by the formula [X P,X Q ] = X [P,Q], where [P,Q] = D Q ( )P D P ( )Q,, 4

5 and D P ( ) Mat l l V[ ] is the Frechet derivative of P: (3.) D P ( ) ij = u (n) j n Z + P i n. The Lie bracket between elements P W 0 and f W is given by (3.2) [P, f] = X P (f) = P δf, where δf = ( δf δu i )i I Vl denotes the vector of variational derivatives of f V/ V: (3.3) δf = δu i u (n) i n Z + ( ) n f. Finally, W is the space of skew-adjoint l l matrix differential operators over V, the Lie bracket between H W and f V/ V = W is given by (3.4) [H, f] = H( )δf, and a Poisson structure on V is an element H W such that [H,H] = 0. For H W, the corresponding skew-symmetric bracket (2.) on W = V/ V is given by the usual formula (3.5) { f, g} H = δg H( )δf, and this bracket defines a Lie algebra structure on V/ V if and only if H is a Poisson structure on V. In this context, the space (2.2) of Casimir elements for H is { f } H( )δf (3.6) C (H) = V/ V = 0. Recall that the Hamiltonian partial differential equation for the Poisson structure H W and the Hamiltonian functional h V/ V is the following evolution equation in the variables u,...,u l : (3.7) du i l dt = H ij ( ) δh. δu j j= An integral of motion for the Hamiltonian equation (3.7) is a local functional f V/ V such that { h, f}h = 0. Equation (3.7) is said to be integrable 5

6 if there is an infinite sequence of linearly independent integrals of motion h0 = h, h, h 2,... in involution: { h m, h n } H = 0 for all m,n Z +. One of the main techniques for proving integrability of a Hamiltonian equation is based on the so called Lenard-Magri scheme of integrability. This applies when a given evolution equation has a bi-hamiltonian form, i.e. it can be written in Hamiltonian form in two ways: (3.8) du dt = H ( )δh 0 = H 0 ( )δh, where H 0,H are compatible Poisson structures on V, namely they satisfy [H 0,H 0 ] = [H 0,H ] = [H,H ] = 0. In this situation, the Lenard-Magri scheme consists in finding a sequence of local functionals h 0, h, h 2,... satisfying the recursive conditions (3.9) H ( )δh n = H 0 ( )δh n+, for all n Z +. Lemma 2.(a) and (c) guarantees that, in this situation, all local functionals h n, n Z + are integrals of motion in involution with respect to both Poisson brackets {, } 0 and {, }, and the higher symmetries P n = H 0 ( )δh n commute. Indeed, we have the following immediate consequences of Lemma 2.. Corollary 3.. Let H 0,H be compatible Poisson structures on V, and let {, } 0 and {, } be the corresponding brackets on V/ V given by (3.5). Let { h n } n Z+ V/ V be a sequence of local functionals satisfying the Lenard- Magri recursive equations (3.9). Then all elements h n are integrals of motion for the bi-hamiltonian equation (3.8) in involution with respect to both Poisson brackets for H 0 and H : { h m, h n } 0 = { h m, h n } = 0, and all Hamiltonian vector fields P n = H( )δh n commute: [P m,p n ] = 0, for all m,n Z +. Proof. The first statement is a special case of Lemma 2.(a), and the second statement follows by Lemma 2.(c). The main problem in applying the Lenard-Magri scheme of integrability is to show that at each step n the recursive equation (3.9) can be solved for h n+ V/ V. This problem is split in three parts. First, under the assumption that V is a domain and the Poisson structure H 0 is nondegenerate (cf. Definition 3.2 below), Theorem 3.3 below guarantees that, if an element F V l exists such that H ( )δh n = H 0 ( )F, then F is closed, i.e. it has self-adjoint Frechet derivative: D F ( ) = D F ( ). Next, Theorem 6

7 3.5 below shows that, if F V l is closed, then it is exact in a normal extension Ṽ of the algebra of differential algebra function V: F = δ h for some h Ṽ. Hence, we reduced our problem to proving that H ( )δh n H 0 ( )V l. There is no universal technique to solve this problem, but there are various approaches which work in specific examples (see e.g. [BDSK09], [DSK3], [DSK2], [Dor93], [Olv93], [Wan09]). In Proposition 3.8 below we propose an ansatz for solving this problem, under the assumption that the Poisson structure H 0 is strongly skew-adjoint (cf. Definition 3.6 below), and that the given finite Lenard-Magri sequence h 0,..., h n starts with a Casimir element for H 0 : H 0 ( )δ( h 0 ) = 0. In the following sections we will be able to apply successfully this ansatz to prove integrability of the compatible bi-hamiltonian PDE s in two variables (6.), (6.2), (6.4) and (6.7). Definition 3.2. Assume that V is a domain. A matrix differential operator H Mat l l V[ ] is non-degenerate if it is not a left (or right) zero divisor in Mat l l V[ ] (equivalently, if its Dieudonné determinant in non-zero). Theorem 3.3 (see e.g. [BDSK09, Thm.2.7]). Let H 0, H Mat l l V[ ] be compatible Poisson structures on the algebra of differential functions V, which is assumed to be a domain, and suppose that H 0 is non-degenerate. If h 0, h V/ V and F V l are such that H ( )δh 0 = H 0 ( )δh and H ( )δh = H 0 ( )F, then F is closed: D F ( ) = D F ( ). V: Consider the following filtration of the algebra of differential functions V m,i = { f V f u (n) j } = 0 for all (n,j) > (m,i), where > denotes lexicographic order. By definition, u (n) j (n,j) > (m,i), and it is contained in V m,i for (n,j) (m,i). (V m,i ) is zero for Definition 3.4. The algebra of differential functions V is called normal if (V m,i ) = V m,i for all i I,m Z +. u (m) i Note that any algebra of differential function can be extended to a normal one (see [DSK3a]). Theorem 3.5 ([BDSK09, Prop..9]). If F V l is exact, i.e. F = δf for some f V/ V, then it is closed, i.e. D F ( ) = D F ( ). Conversely, if V is a normal algebra of differential functions and F V l is closed, then it is exact. 7

8 Note that if H Mat l l V[ ] is a skew-adjoint operator, then H( )V l Ker H( ), where the orthogonal complement is with respect to the pairing V l V l V/ V given by (F,P) F P. Definition 3.6. A skew-adjoint operator H Mat l l V[ ] is called strongly skew-adjoint if the following conditions hold: (i) Ker H( ) δ(v/ V), (ii) ( KerH( ) ) = H( )V l. Let h 0 C (H 0 ), and let h 0,..., h N V/ V be a finite sequence satisfying the Lenard-Magri recursive equations (3.9). Lemma 2.(d) and (e), in this context, imply the following result: Corollary 3.7. H 0 ( )δ{ h n, g} = 0 for all n = 0,...,N and for all g C (H 0 ). If H 0 is non-degenerate, its kernel in V l is finite-dimensional. Therefore it is reasonable to hope that, by computing explicitly KerH 0 and C (H 0 ), and carefully looking at the recursive equation (3.9) one can prove that, in fact, { h n, g} = 0 for all g C (H 0 ). In this case, assuming that H 0 is strongly skew-adjoint, the following proposition guarantees that we can successfully apply the Lenard-magri scheme. Proposition 3.8. Suppose that H 0 is a strongly skew-adjoint operator and that { h, g} = 0 for all g C (H 0 ), Then H ( )δh H 0 ( )V l. Proof. By assumption, we have δg H ( )δh = 0 for all g C (H 0 ), i.e. H ( )δh δc (H 0 ). By condition (i) of the strong skew-adjointness assumption on H 0 this implies that H ( )δh KerH 0 ( ), and therefore, by the condition (ii), we conclude that H ( )δh H 0 ( )V l, proving the claim. To conclude the section, we state the following result, which will be used in the following sections. Corollary 3.9. Let H 0,H be compatible Poisson structures on V. Let { f n } N n=0 V/ V be a finite sequence satisfying the Lenard-Magri recursive equations (3.9), with f 0 C (H 0 ), and let { g n } n=0 V/ V be an infinite sequence also satisfying the Lenard-Magri recursive equations (3.9). Then the two Lenard-Magri sequences are compatible, in the sense that { f m, g n } 0 = { f m, g n } = 0 for all m = 0,...,N, n Z +. Proof. It is a special case of Lemma 2.(b). 8

9 4 The bi-poisson structure (H 0,H ) Consider the following algebra of differential functions in two variables u, v: (4.) V = F[u,v ±,u,v,u,v,...]. It is contained in the normal extension Ṽ = V[logv], see [DSK3a, Ex.4.5]. Theorem 4.. The following is a compatible pair of Poisson structures (H 0,H ) Mat 2 2 V[ ]: ( (4.2) H 0 ( ) = 3 ) + u+u v, v 0 and (4.3) H ( ) = where ( 0 v 2 Q( ) v 2 v 2 v 2 ), Q( ) = 5 +3 ( u+u ) +2( 3 u+u 3 )+8( u 2 +u 2 ). Proof. H 0 is a well known Poisson structure, see e.g. [Ito82, Dor93]. A simple proof of this fact can be found in [BDSK09]. H is obviously skewadjoint. The proof that H satisfies Jacobi identity and is compatible with H 0 is a rather lengthy computation (one has to verify equation (.49) from [BDSK09]). This has been checked with the use of the computer. 5 Casimirs for H 0 and H In this paper we will apply the Lenard-Magri scheme for the bi-poisson structure(h 0,H )tofindintegrablehierarchiesofbi-hamiltonianequations. As explained in Section, in order to do so it is convenient to find the Casimir elements for H 0 and H. Proposition 5.. (a) The kernel of H 0 ( ) is spanned by ( ) ( (5.) ξ 0,0 0 =, ξ 0, v = u 3 v 2 2 (v ) 2 + v v 4 v 3 ). (b) We have ξ 0,0 = δ( h 0,0 ) and ξ 0, = δ( h 0, ), where h 0,0 = v and h 0, = ( u v (v ) 2 ) 2 v 3. 9

10 (c) The matrix differential operator H 0 ( ) is strongly skew-adjoint. (d) The kernel of H ( ) is spanned by ( ) ( (5.2) ξ,0 u =, ξ, +4u 2 = 0 v 2 2 ). (e) We have ξ,0 = δ( h,0 ) and ξ, = δ( h, ), where h,0 = u and h, = ( 2 uu u3 + 6 v3). (f) The matrix differential operator H ( ) is strongly skew-adjoint. Proof. Recall that the dimension (over the field of constants) of the kernel of a non-degenerate matrix differential operator is at most the degree of its Dieudonné determinant, see e.g. [DSK3]. Clearly, the Dieudonné determinants of both H 0 and H have degree 2, therefore their kernels have dimensions (over F) at most 2. On the other hand, obviously ξ 0,0 KerH 0 ( ), and ξ,0 KerH ( ). Moreover, the following straightforward identities (5.3) ( 3 + u+u ) v +v ( u v 2 3 (v ) 2 2 v 2 (u +4u 2 ) v 2Q( ) 2 = 0, v 4 + v v 3 ) = 0, imply respectively that ξ 0, KerH 0 ( ), and ξ, KerH ( ), proving parts (a) and (d). Parts (b) and (e) follow by straightforward computations. Note that parts (b) and (e) exactly say, respectively, that the operators H 0 and H satisfy condition (i) of Definition 3.6 of strong skew-adjointness. We ( p0 ) are left to prove condition (ii) for both H 0 and H. Take P 0 = q 0 KerH 0. Since P 0 ξ 0,0 = 0 (and since v is invertible in V), we have that q 0 = (vα 0 ), for some α 0 V. Denote r 0 = v (p 0 α 0 (uα 0) uα 0 ) V, so that p 0 = ( 3 + u+u )α 0 +vr 0. The condition P 0 ξ 0, = 0 then reads ( r 0 + v ( 3 + u+u )α 0 + ( u v 2 3 (v ) 2 2 v 4 + v ) (vα0 v 3 ) ) = 0. After integration by parts, the last two terms under integration cancel by the firstidentity in(5.3), hencetheaboveequationimpliesthatr 0 = β 0 V. In ( α0 ) conclusion, P 0 = H 0 ( ), provingcondition (ii) for H β 0. Similarly, take 0 0

11 ( p ) P = KerH q. Since P ξ,0 = 0 (and since v is invertible in V), we have that p = ( β ), v for some 2 β V. Denote r = v 2 q +Q( ) β v V, 2 so that q = r Q( ) β v 2 v 2. The condition P v 2 ξ, = 0 then reads ( ( β ) (u v 2 +4u 2 ) 2 Q( )β v 2 + r ) = 0. 2 After integration by parts, the first two terms under integration cancel by the secondidentity in(5.3), hencetheaboveequation impliesthatr = α ( V. α ) In conclusion, P = H ( ), proving condition (ii) for H β. By Proposition 5.(b)-(e), the space of Casimir elements for H 0 and H are respectively C (H 0 ) = Span F { h 0,0, h 0,} and C (H ) = Span F { h,0, h,}. Let, as before, {, } 0 and {, } be the Poisson brackets (3.5) associated to the Poisson structures H 0 and H respectively. Proposition 5.2. The spaces C (H 0 ) and C (H ) are abelian subalgebras with respect to both Poisson brackets {, } 0 and {, }. Proof. By definition of Casimir elements, the space C (H 0 ) is in the kernel of the bracket {, } 0, and C (H ) is in the kernel of the bracket {, }. Hence, we only need to prove that C (H 0 ) is an abelian subalgebra w.r.t. {, }, namely, by (3.5) and Proposition (5.)(b), that (5.4) ξ 0,0 H ( )ξ 0, = 0, and that C (H ) is an abelian subalgebra w.r.t. {, } 0, namely (5.5) ξ,0 H 0 ( )ξ, = 0. We have ξ,0 H 0 ( )ξ, = ( 3 + u+u )(u +4u 2 )+ ( 2 v v2 = (u +4u 2 ) + 2uu 2 (u ) u3) + 3 (v3 ), hence (5.5) holds. A similar, but longer computation, shows that (5.4) holds as well.

12 6 The four integrable bi-hamiltonian equations of lowest order Let us start computing the first Hamiltonian equations associated to each element in the kernel of H 0 and H. Starting with ξ 0,0 Ker(H 0 ) we get the Hamiltonian vector field P 0,0 = H ( )ξ 0,0, and the corresponding Hamiltonian equation (of order 5): (6.) du dt = ( v 2 ) ( ( ) (5) ) ) ) ) dv dt = v 2 v +3 2 v (u 2 v +3 2 v (u 2 v ( ) 2 ( ) ( ) +2 u v 2 v +2 u 2 v 2 v +8 u 2 ( ) 2 v 2 v +8 u 2. 2 v 2 v 2 ( Starting with ξ 0, Ker(H 0 ) we get the Hamiltonian vector field P 0, = H ( )ξ 0,, and the corresponding Hamiltonian equation (of order 7): (6.2) du dt = ( ) u + v 3 (v ) 2 v 4 v 5 2 v 6 dv dt = v v 4 v 2 ( u +3 u u+2u 3 +8 u 2 +8u 2 )( u v 4 + v v (v ) 2 v 6 ) Starting with ξ,0 Ker(H ) we get the Hamiltonian vector field P,0 = H 0 ( )ξ,0, and the corresponding Hamiltonian equation:. (6.3) du dt = u dv dt = v. Finally, starting with ξ, Ker(H 0 ) we get the Hamiltonian vector field P, = H 0 ( )ξ,, and the corresponding Hamiltonian equation (of order 5): (6.4) du dt = u (5) +0uu +25u u +20u 2 u +v 2 v dv dt = u v +u v +8uu v +4u 2 v. We want to prove that, for ǫ = 0,, each element ξ ǫ,α,α = 0, in the kernel of H ǫ produces an infinite Lenard-Magri scheme starting with ξ ǫ,α 0 = 2

13 ξ ǫ,α : (6.5) 0 P ǫ,α 0 P ǫ,α... V H ǫ H 2 ǫ H ǫ H ǫ H ǫ ξ ǫ,α 0 ξ ǫ,α... V 2 δ h ǫ,α 0 δ h ǫ,α... Ṽ/ Ṽ This will easily imply that all by-hamiltonian equations (6.), (6.2), (6.4) and (6.7) are integrable, and they are compatible with each other. Namely, we will prove the following result. Theorem 6.. (a) For ǫ,α {0,} there is a sequence { h ǫ,α n } n Z+ Ṽ/ Ṽ, such that δ( h ǫ,α 0 ) = ξǫ,α and δ( h ǫ,α n ) V 2 for every n Z +, satisfying the Lenard-Magri recurrence relations (6.5), i.e. (6.6) H ǫ ( )δ( h ǫ,α n ) = H ǫ ( )δ( h ǫ,α n+ ) =: Pǫ,α n. (b) The four Lenard-magri schemes are compatible, in the sense that { h ǫ,α m, h δ,β } n ζ = 0 for all ǫ,δ,ζ,α,β = 0,, m,n Z +, [P ǫ,α m,p δ,β n ] = 0 for all ǫ,δ,α,β = 0,, m,n Z +. (c) The differential orders of the higher symmetries Pn ǫ,α tend to infinity as n. = H ǫ ( )δ( h ǫ,α n ) Remark 6.2. Proposition 5. gives the integrals of motion h ǫ,α n for n = 0 and arbitrary ǫ,α = 0,. One can use the Lenard-Magri relations (6.6) to find recursively all other integrals of motions h ǫ,α n for arbitrary n Z. For example, we have h,0 = ( 3 uv u4 + 2 uu(4) 6u(u ) 2). The next higher symmetry is P,0 = H 0 ( )δ( h,0 ), and the corresponding Hamiltonian equation (of order 7) is: (6.7) du dt = ( 3 +2u +u )(u (4) +2uu +6(u ) u3 + 3 v3 )+v (uv 2 ) dv dt = (vu (4) +2vuu +6v(u ) vu3 + 3 v4 ). 3

14 7 Proof of Theorem 6. Let ǫ,α {0,} and let (7.) { ( ξn ǫ,α f ǫ,α n = gn ǫ,α ) } N n=0 V 2 be a finite sequence satisfying the Lenard-Magri recursive relations (7.2) H ǫ ( )ξ ǫ,α n = H ǫ( )ξn ǫ,α for every n = 0,...,N, where ξ ǫ,α = 0 and ξǫ,α 0 = ξ ǫ,α. The main task in the proof of Theorem 6. is to show that, when α =, this sequence can be extended by one step. This is the content of Corollary 7.6 below, which is a consequence of the following five lemmas. Lemma 7.. (a) For ǫ = 0, the Lenard-Magri recursive relations (7.2) translate in the following identities for the entries of ξ 0,α n for n N: (7.3) (vf 0,α n ) = v 2(f0,α v(g 0,α n ) = n ) 2Q( )g0,α n v v 2, ( g 0,α ) n (f 0,α v 2 n ) (ufn 0,α ) u(fn 0,α ). (b) For ǫ =, equations (7.2) translate in the following identities for the entries of ξ,α n for n N: (7.4) ( g,α n v 2 ) = (f,α n ) +(uf,α (f,α n ) = v 2 (vf,α n ) +Q( ) n ) +u(f,α n ) +v(g,α n ), ( g,α ) n v 2 Proof. It follows immediately from the definitions(4.2)-(4.3) of the operators H 0 and H. The algebra of differential functions V, defined by (4.), admits the following two differential subalgebras: (7.5) V + = R 2 = F[u,v,u,v,u,v,...], V = F [ u, v,u,v,u,v,... ], whose intersection is the differential subalgebra (7.6) V 0 = F[u,u,v,u,v,...].. 4

15 Lemma 7.2. (a) We have V V + = V +. (b) We have V V = (Fv V ), (c) For every k, we have V ( F v k V ) = ( F v k v k V ). Proof. Any element f V admits a unique decomposition f = N j=m vj c j, where M N Z, c j V 0 for all j and c M,c N 0. Its derivative is then f = N j=m (j +)v j c j+ v + N v j c j. j=m If f V +, then M must be non-negative, i.e. f V +, proving part (a). Suppose next that f V. If N 2, then c N = 0, c N + Nc Nv = 0, namely 0 c N F and c N + Nc N v F, which is impossible since, by assumption, c N V 0. If N =, then c = 0, namely c F, and therefore f Fv V. Finally, if N 0, then f V. This completes the proof of part (b). A similar argument can be used to prove part (c). Indeed, let k and assume that f F V. If N k + 2, then c v k N = 0, c N +Nc Nv = 0 (when N = 0 or we are using the fact that F V = 0), namely 0 c N F and c N + Nc N v F. This is impossible since, by assumption, c N V 0. If N = k+, then c k+ = 0, namely c k+ F, and therefore f F V. Finally, if N k, then f V. v k v k v k Lemma 7.3. (a) If ǫ = 0, we have fn 0,α v V and gn 0,α every n = 0,...,N. F v V for (b) If ǫ =, we have f,α n V + and g,α n v 2 V + for every n = 0,...,N. Proof. First, let us prove part (a) by induction on n 0. The claim clearly holds for n = 0 by (5.). The inductive assumption, together with the first equation in (7.3), implies that (vfn 0,α ) v V. Therefore fn 0,α v V thanks to Lemma 7.2(c) for k =. Furthermore, the second equation in (7.3) implies that (gn 0,α ) v V, so that, by Lemma 7.2(c) with k =, we get that gn 0,α F v V. Similarly, we prove part (b) again by induction on n 0. For n = 0 the claim holds by (5.2). The first equation in (7.4) and Lemma 7.2(a) imply that gn,α v 2 V +, while the second equation in (7.4) and Lemma 7.2(a) imply that fn,α V +. Lemma 7.4. For every n = 0,...,N we have (7.7) ξ ǫ, α H ǫ ( )ξ ǫ,α n C (H ǫ ). 5

16 Proof. By Proposition 5.(b) and (e) and by Theorem 3.3, all elements ξn ǫ,α are closed, and therefore, by Theorem 3.5, they are exact in Ṽ, i.e. there exist h ǫ,α n Ṽ/ Ṽ such that ξǫ,α n = δ( h ǫ,α n ) for all n = 0,...,N. In the Lie superalgebra W of variational polyvector fields we have (cf. equations (3.2) and (3.4)): ξ ǫ, α H ǫ ( )ξ ǫ,α n = [[H ǫ, h ǫ,α n ], h ǫ, α ], and the assumption (7.2) reads [H ǫ, h ǫ,α n ] = [H ǫ, h ǫ,α n ], for all n = 0,...,N (where we let h ǫ,α = 0). Condition (7.7) then holds by Lemma 2.(e). Lemma 7.5. If ǫ {0,} and α =, we have, for every n = 0,...,N, (7.8) ξ ǫ,0 H ǫ ( )ξn ǫ, = 0. Proof. For n = 0 the claim holds by Proposition 5.2. For arbitrary n we will prove that equation (7.8) holds separately for ǫ = 0 and ǫ =. Let us consider first the case ǫ = 0. By Lemma 7.4, we have that (7.9) δ ξ 0,0 H ( )ξ 0, n Ker(H 0 ( )). Recalling Proposition 5.(a), condition (7.9) says that there exist α, β F such that: (7.0) δ ξ 0,0 H ( )ξ 0, n = αξ0,0 +βξ 0,. In other words, recalling the definition (4.3) of H, we have (7.) δ ( δu v 2(f0, n ) 2Q( )g0, ) n v v 2 = β v, δ ( δv v 2(f0, n ) 2Q( )g0, ) n v v 2 = α+β ( u v 2 + v v 3 3 (v ) 2 ) 2 v 4. ByLemma7.3(a)bothelementsfn 0, andgn 0, lie in the differential subalgebra V. Note that the space V is preserved by both δ v 2 δu and δ δv. It follows that the LHS s of both equations (7.) lie in V. It immediately follows v 2 that, necessarily, β = 0 (looking at the first equation), and α = 0 (looking at the second equation). We thus have so far, by equation (7.0), that δ ξ 0,0 H ( )ξ 0, n = 0. Recalling that Kerδ = F, this means that (7.2) ξ 0,0 H ( )ξ 0, n = γ, 6

17 for some γ F, and we need to prove that γ = 0. By writing explicitly equation (7.2), we have that (7.3) v 2(f0, n ) 2Q( )g0, n v γ V. v2 Lemma 7.2(c) with k = 2 then implies that the LHS of (7.3) lies in (F v v V ) 2 v V, and therefore γ = 0. 2 For the case ǫ = we will use a similar argument. By Lemma 7.4, we have (7.4) δ ξ,0 H 0 ( )ξ, n Ker(H ( )). Recalling Proposition 5.(d), condition (7.4) is saying that there exist α,β F such that: (7.5) δ ξ,0 H 0 ( )ξ, n = αξ,0 +βξ,. In other words, recalling the definition (4.2) of H 0, we have (7.6) δ δu δ δv ( u(f, n ) +v(g, n ) ) = α+β(u +4u 2 ), ( u(f, n ) +v(g, n ) ) = 2 βv2. For h V, denote by D h, ( ) = h n Z + n, D u (n) h,2 ( ) = h n Z + n, v (n) its Frechet derivatives, and by D h, ( ) and D h,2 ( ) the corresponding adjoint operators. Recalling the definition of the variational derivatives, equations (7.6) can be equivalently rewritten as follows: (7.7) (fn, ) D fn,, ( )u D gn,, ( )v = α+β(u +4u 2 ), (gn, ) D fn,,2 ( )u D gn,,2 ( )v = 2 βv2. Note that ξn, is a closed element of V 2, namely it has self-adjoint Frechet derivative. This means that D ( ) = D fn,, fn,, ( ), D ( ) = D gn,,2 gn,,2 ( ), and D ( ) = D fn,,2 gn, ( ). Hence, equations (7.7) give, (7.8) (fn, ) D f, n, ( )u D f, n,2 ( )v = α+β(u +4u 2 ), (gn, ) D g, n, ( )u D g, n,2 ( )v = 2 βv2. The polynomial ring V + = F[u,v,u,v,u,v,...] admits the polynomial degree decomposition V + = V + [k], where V + consists of homogeneous 7

18 polynomials of degree k. For h V +, denote by h = k Z + h[k] its decomposition in homogeneous components. Note that V + [0] = F and V F = 0. It follows, by looking at the homogenous components of degree 0 in both sides of the first equation of (7.8), that α = 0. Furthermore, by looking at the homogenous components of degree 2 in both sides of the second equation of (7.8), we get (7.9) (g, n [2]) D g, n [2], ( )u D g, n [2],2 ( )v = 2 βv2. On the other hand, by looking at the homogenous components of degree 0 in both sides of the first equation of (7.4), we get that gn,α [2] Fv 2. But then the LHS of equation (7.9) is equal to zero, and therefore β = 0. We thus have so far, by equation (7.5), that (7.20) ξ,0 H 0 ( )ξ, n = γ, for some γ F, and we need to prove that γ = 0. By writing explicitly equation (7.20), we get (7.2) γ = u(f, n ) +v(g, n ) +r, forsomer V. ByLemma7.3wehavethatu(f, n ) +v(g, n ) k V+ [k]. Moreover, by Lemma 7.2(a) we can assume r V +, and therefore r k V+ [k]. It follows by equation (7.2) that γ = 0. Corollary 7.6. If α =, there exists ξ ǫ, N+ V2 solving the equation H ǫ ( )ξ ǫ, N = H ǫ( )ξ ǫ, N+. Proof. By the usual inductive argument, based on the recursive relations (7.2) and the fact that H 0 and H are skew-adjoint (as in the proof of Lemma 2.(a)), we know that H ǫ ( )ξ ǫ, N ξǫ, 0. Moreover, Lemma 7.5 says that H ǫ ( )ξ ǫ, N ξǫ,0 0. Therefore, H ǫ( )ξ ǫ, N Ker(H ǫ), which, by the strong skew-adjointness property of H ǫ (cf. Proposition 5.(c) and (f)), implies that H ǫ ( )ξ ǫ, N lies in the image of H ǫ( ), proving the claim. Proof of Theorem 6.. For ǫ {0,}, by Corollary 7.6 there exists an infinite sequence {ξn ǫ, } n Z+ starting with ξ ǫ, 0 = ξ ǫ, and satisfying the Lenard- Magri recursive relations H ǫ ( )ξ ǫ, n = H ǫ( )ξn ǫ, for all n Z + (where ξ ǫ, = 0). Next, we want to prove that the statement of Corollary 7.6 also holds for α = 0. Let {ξn ǫ,0 } N n=0 be a finite sequence starting with ξǫ,0 0 = ξ ǫ,0 8

19 andsatisfyingthelenard-magrirecursiverelationsh ǫ ( )ξ ǫ,0 n = H ǫ( )ξn ǫ,0 for all n = 0,...,N (where ξ ǫ,α = 0). By the usual inductive argument we know that H ǫ ( )ξ ǫ,0 N ξǫ,0 0. Moreover, we have, by the Lenard-Magri relations and skew-adjointness of H 0 and H, ξ ǫ, 0 H ǫ ( )ξ ǫ,0 N = ξ ǫ,0 N H ǫ( )ξ ǫ, 0 = ξ ǫ,0 N H ǫ( )ξ ǫ, = ξ ǫ, H ǫ( )ξ ǫ,0 N = ξ ǫ, H ǫ( )ξ ǫ,0 N =... = ξ N+ H ǫ, ǫ( )ξ ǫ,0 = 0. Hence, H ǫ ( )ξ ǫ,0 n Ker(H ǫ), and therefore, by the same argument as in the proof of Corollary 7.6, there exists ξ ǫ,0 N+ V2 solving the equation H ǫ ( )ξ ǫ,0 N = H ǫ( )ξ ǫ,0 N+. Therefore, the given finite sequence can be extended to an infinite sequence {ξn ǫ,0 } n Z+ satisfying the Lenard-Magri recursive relations. So far, for each ǫ,α {0,}, we have an infinite sequence {ξn ǫ,α } n Z+ satisfying the Lenard-Magri recursive relations (7.2). By Theorems 3.3 and 3.5 we know that all theelements of thesesequences are exact in Ṽ, i.e. there are elements h ǫ,α n Ṽ/ Ṽ such that δhǫ,α n = ξn ǫ,α for all ǫ,α {0,}, n Z +. and the relations (7.2) on the elements ξn ǫ,α s translate to the equations (6.6) on the elements h ǫ,α n s. Part (a) of the theorem is then proved, and part (b) is an immediate consequence of Lemma 2.(a), (b) and (c). We are left to prove part (c). By looking at the recursive equations (7.3) it is not hard to compute the differential orders fn ǫ,α and gn ǫ,α of all the entries of each element of the four sequences. We have for every n : f 0,0 n = 6n 2, g0,0 n = 6n, f0, n = 6n, g0, n = 6n+2, f,0 n = 6n 2, g,0 n = 6(n ), f, n = 6n+2, g, n = 6n 2. Hence, the differential orders of the higher symmetries are Pn 0,0 = 6n + 5, Pn 0, = 6n+7, Pn,0 = 6n+, Pn, = 6n+5. Claim (c) follows. Remark 7.7. Since the algebra of differential polynomials V + is normal, it follows from Lemma 7.3(b) that all integrals of motion h,α n lie in V + / V +. Remark 7.8. From equation (7.3) and Lemma 7.2(c) it is easy to see that, for every α {0,} and n 0, we have fn 0,α F v V, g 0,α v 2 n V. v 2 It follows from the arguments in the proof of [BDSK09, Thm.3.2] that all integrals of motion h 0,α n lie in V / V. 9

20 References [BDSK09] Barakat A., De Sole A., Kac V.G., Poisson vertex algebras in the theory of Hamiltonian equations, Jpn. J. Math. 4, (2009), no. 2, [DSK2] De Sole A., Kac V.G., Essential variational Poisson cohomology, Comm. Math. Phys. 33 (202), no. 3, [DSK3] De Sole A., Kac V.G., The variational Poisson cohomology, Jpn. J. Math. 8, (203), -45. [DSK3a] De Sole A., Kac V.G., Non-local Poisson structures and applications to the theory of integrable systems, arxiv: [Dor93] Dorfman I., Dirac structures and integrability of nonlinear evolution equations, Nonlinear Science: Theory and Applications. John Wiley & Sons, Ltd., Chichester, 993. [Ito82] Ito M.,Symmetries and conservation laws of a coupled nonlinear wave equation, Phys. Lett. A 9 (982), no. 7, [Mag78] Magri F., A simple model of the integrable Hamiltonian equation, J. Math. Phys. 9 (978), no. 5, [MNW07] Mikhailov A.V., Novikov V.S., Wang J.P., On classification of integrable nonevolutionary equations, Stud. Appl. Math. 8 (2007), no. 4, [MNW09] Mikhailov A.V., Novikov V.S., Wang J.P., Symbolic representation and classification of integrable systems, in Algebraic theory of differential equations, pp 56-26, London Math. Soc. Lecture Note Ser., 357, Cambridge Univ. Press, Cambridge, [Olv93] Olver P. Applications of Lie groups to differential equations, Second edition, Graduate Texts in Mathematics, 07. Springer-Verlag, New York, 993. [Wan09] Wang J.P., Lenard scheme for two-dimensional periodic Volterra chain, J. Math. Phys. 50 (2009), no. 2,