Evolutionary Hirota Type (2+1)-Dimensional Equations: Lax Pairs, Recursion Operators and Bi-Hamiltonian Structures
|
|
- Julius O’Connor’
- 5 years ago
- Views:
Transcription
1 Symmetry, Integrability and Geometry: Methods and Applications Evolutionary Hirota Type +-Dimensional Equations: Lax Pairs, Recursion Operators and Bi-Hamiltonian Structures Mikhail B. SHEFTEL and Devrim YAZICI Department of Physics, Boğaziçi University, Bebek, 3434 Istanbul, Turkey SIGMA 4 08, 07, 9 pages Department of Physics, Yıldız Technical University, Esenler, 340 Istanbul, Turkey yazici@yildiz.edu.tr Received December 06, 07, in final form March 0, 08; Published online March 07, 08 Abstract. We show that evolutionary Hirota type Euler Lagrange equations in + dimensions have a symplectic Monge Ampère form. We consider integrable equations of this type in the sense that they admit infinitely many hydrodynamic reductions and determine Lax pairs for them. For two seven-parameter families of integrable equations converted to two-component form we have constructed Lagrangians, recursion operators and bi-hamiltonian representations. We have also presented a six-parameter family of tri- Hamiltonian systems. Key words: Lax pair; recursion operator; Hamiltonian operator; bi-hamiltonian system 00 Mathematics Subject Classification: 35Q75; 37K05; 37K0 Introduction We study recursion operators, Lax pairs and bi-hamiltonian representations for + -dimensional equations of the evolutionary Hirota type u tt = fu t, u t, u, u, u.. Here u = ut, z, z and the subscripts denote partial derivatives of u, namely, u ij = u/ z i z j, u ti = u/ t z i. Equations of this type arise in a wide range of applications including non-linear physics, general relativity, differential geometry and integrable systems. Some examples are the Khokhlov Zabolotskaya dkp equation in non-linear acoustics and the theory of Einstein Weyl structures and the Boyer Finley equation in the theory of self-dual gravity. A lot of work has been done by E. Ferapontov et al. for studying integrability of equation. which is understood as the existence of infinitely many hydrodynamic reductions see [, 3, 4, 5, 6] and references therein. Ferapontov et al. in [3] derived integrability condition which is equivalent to the property of equation. to be linearizable by contact transformations. This does not mean that there is a straightforward way to obtain bi-hamiltonian structures of the nonlinear equations. by a direct transfer of such structures from the linear equation, because an arbitrary transformation in the space of second partial derivatives of the unknown will not preserve the bi-hamiltonian structure of the equation. Our goal here is to study bi-hamiltonian structures of the integrable equations of the form. together with Lax pairs and recursion operators. We utilize the method which we used earlier [3, 7, 8] for constructing a degenerate Lagrangian for two-component evolutionary form of the equation and using Dirac s theory of constraints [] in order to obtain Hamiltonian form of the system.
2 M.B. Sheftel and D. Yazıcı Our approach here starts with description of all equations. which have the Euler Lagrange form [4]. We do not consider here the equations of the form. which become Lagrangian only after multiplication by an integrating factor of variational calculus, postponing the appropriate generalization for a further publication. We find that the Lagrangian evolutionary Hirota-type equations have a symplectic Monge Ampère form and we determine their Lagrangians. Then we study recursion relations for symmetries and Lax pairs for the Lagrangian equations. Here our starting point is to convert the symmetry condition into a skew-factorized form. This approach extends the method of A. Sergyeyev [6] for constructing recursion operators. According to [6] one constructs the recursion operator from a certain Lax pair which, in turn, is typically built from the original Lax pair for the equation under study. On the other hand, below we construct such a special Lax pair using the skew-factorized form of the linearized equation symmetry condition rather than a previously known Lax pair, and then apply the construction from [6] to obtain the recursion operator. The next step is to transform Lagrangian equations converted into a two-component form to a Hamiltonian system. Finally, composing a recursion operator with a Hamiltonian operator we obtain the second Hamiltonian operator and also find the corresponding Hamiltonian density. Thus, we end up with a bi-hamiltonian representation of an integrable equation. in a twocomponent form. In this way, we obtain two seven-parameter families of bi-hamiltonian systems and a six-parameter family of tri-hamiltonian systems. The paper is organized as follows. In Section, we show that all equations. of the Euler Lagrange form have the symplectic Monge Ampère form and we derive a Lagrangian for such equations. In Section 3, we analyze the symmetry condition for the Lagrangian equations. In Section 4, using an integrability condition, we convert the symmetry condition into a skewfactorized form and immediately extract Lax pair and recursion relations for symmetries from the symmetry condition in this form. In Section 5, we convert our equation in a two-component form and derive a degenerate Lagrangian for this system. In Section 6, we transform the Lagrangian system into Hamiltonian system using the Dirac s theory of constraints. We obtain the Hamiltonian operator J 0 and corresponding Hamiltonian density H. In Section 7, we derive a recursion operator R in a matrix form using recursion relations for the two-component form of the equation. In Section 8, by composing the recursion operator with the Hamiltonian operator J 0 we obtain the second Hamiltonian operator J = RJ 0 and the corresponding Hamiltonian density H 0 with one additional Hamiltonian constraint for coefficients. Thus, we obtain a seven-parameter family of bi-hamiltonian systems because of the two constraints on nine coefficients: integrability condition and Hamiltonian condition. We consider also an alternative skew-factorized representation of the symmetry condition which implies different Lax pair, another recursion operator and a different seven-parameter family of bi-hamiltonian systems under a different additional constraint on the coefficients. If, in addition, we require that both additional constraints coincide and are compatible with the integrability condition, we obtain a six-parameter family of tri-hamiltonian systems. In Sections 4, 7, and 8, we treat separately each of the two generic cases of equation. when none of the coefficients, c, c 3 vanishes, particular cases when either = 0 or c = 0 which are obtained as a specialization of one of the generic cases, and the special case c 3 = 0 which cannot be obtained from the generic cases but should be treated independently. Lagrangian equations of evolutionary Hirota type We start with equation. in the form F u tt + fu t, u t, u, u, u = 0..
3 Evolutionary Hirota Type +-Dimensional Bi-Hamiltonian Equations 3 The Fréchet derivative operator linearization of equation. reads D F = D t + f ut D t D + f ut D t D + f u D + f u D D + f u D, where D i D zi, D t denote operators of total derivatives. The adjoint Fréchet derivative operator has the form D F = D t + D t D f ut + D t D f ut + D f u + D D f u + D f u. According to Helmholtz conditions [4], equation. is an Euler-Lagrange equation for a variational problem iff its Fréchet derivative is self-adjoint, D F = D F, or explicitly, equating to zero coefficients of D t, D, D and the term without operators of total derivatives, we obtain four equations on f D [f ut ] + D [f ut ] = 0, D t [f ut ] + D [f u ] + D [f u ] = 0, D t [f ut ] + D [f u ] + D [f u ] = 0, D t D [f ut ] + D t D [f ut ] + D [f u ] + D D [f u ] + D [f u ] = 0. The general solution of these equations for f implies the Lagrangian evolutionary Hirota equation. to have symplectic Monge Ampère form u tt = u t u u t u + c u t u u t u + c 3 u u u + c4 u t + c 5 u t + c 6 u + c 7 u + c 8 u + c 9.. A Lagrangian for the equation. is readily obtained by applying the homotopy formula [4] for F = u tt + f L[u] = with the result 0 u F [λu]dλ L = uu tt + u [ c u t u u t u + c u t u u t u + c 3 u u u ] 3 + u c 4u t + c 5 u t + c 6 u + c 7 u + c 8 u + c 9 u..3 3 Symmetry condition In the following it will be useful to introduce operator of derivative in the direction of the vector c =, c : c = c = D + c D, so that equation. may be written as u tt = u t c u u t c u + c 3 u u u + c 4 u t + c 5 u t + c 6 u + c 7 u + c 8 u + c Symmetry condition is the differential compatibility condition of. and the Lie equation u τ = ϕ, where ϕ is the symmetry characteristic and τ is the group parameter. It has the form of Fréchet derivative linearization of equation 3. ϕ tt = c u ϕ t + u t c ϕ c u ϕ t u t c ϕ + c 3 u ϕ + u ϕ u ϕ + c 4 ϕ t + c 5 ϕ t + c 6 ϕ + c 7 ϕ + c 8 ϕ. 3.
4 4 M.B. Sheftel and D. Yazıcı It is convenient to introduce the following differential operators L = u D u D, L = u D u D, L t = u t D u t D = v D v D, v = u t, so that the symmetry condition 3. becomes c D t L D L t + c D t L D L t + c 3 D L D L D t + c 4 D D t + c 5 D D t + c 6 D + c 7 D D + c 8 D ϕ = Recursion relations and Lax pairs E. Ferapontov et al. in [3] have derived an integrability condition for the symplectic Monge Ampère equation of the following general form equation in [3] u u u 3 ɛ det u u u 3 + h u u 33 u 3 + h u u 33 u 3 + h3 u u u u 3 u 3 u 33 + g u u 3 u u 3 + g u u 3 u u 3 + g 3 u 33 u u 3 u 3 + s u + s u + s 3 u 33 + τ u 3 + τ u 3 + τ 3 u + ν = 0 4. with constant coefficients. Here integrability means that the equation 4. admits infinitely many hydrodynamic reductions [5]. For our evolutionary equation. the coefficients in 4. are h = h = h 3 = g 3 = 0, g =, g = c, s = c 6, s = c 8, s 3 =, τ = c 5, τ = c 4, τ 3 = c 7, ν = c The integrability condition given in [3, formula ] for the equation 4. has the form h s + h s + h 3s 3 + g s s 3 + g s s 3 + g 3s s h h s s + h h 3 s s 3 + h h 3 s s 3 + 4ɛs s s 3 + 4νh h h 3 + ɛτ τ τ 3 νg g g 3 ɛ ν ν g h + g h + g 3h 3 g τ + g τ + g 3 τ 3 + ɛνh s + h s + h 3 s 3 ɛν + g h s τ + g h s τ + g 3 h 3 s 3 τ 3 + τ h h 3 + τ h h 3 + τ 3 h h ɛτ s + τ s + τ 3 s 3 + s τ g g 3 + s τ g g 3 + s 3 τ 3 g g g h τ τ 3 + g h τ τ 3 + g 3 h 3 τ τ = For the equation. due to identifications 4., the integrability condition 4.3 becomes c c 7 c c 6 + c 3 c 4 = c 8 + c 3 c 5 c We show explicitly that any equation of the form. satisfying 4.4 is also integrable in the traditional sense by constructing Lax pair for such an equation. 4. Generic case In the integrability condition 4.4 we assume c c 3 0.
5 Evolutionary Hirota Type +-Dimensional Bi-Hamiltonian Equations 5 The following procedure extends A. Sergyeyev s method for constructing recursion operators [6]. Namely, unlike [6], we start with the skew-factorized form of the symmetry condition and extract from there a Lax pair for symmetries instead of building it from a previously known Lax pair. After that we construct a recursion operator from this newly found Lax pair using Proposition from [6]. The linear operator of the symmetry condition 3.3 for integrable equations of the form. can be presented in the skew-factorized form A B A B ϕ = If we introduce two-dimensional vector operators R = A, A and S = B, B, then the skew-factorized form 4.5 becomes the cross vector product R Sϕ = 0. Here differential operators A i and B i are defined as A = D t c 3 D, A = c D t + c 3 D, B = c3 L L t + c c 6 D + c 7 c c 6 + c 3 c 4 D, B = c3 L + c L t + c3 c 4 c c 6 D c 8 D c 3 D t. 4.6 These operators satisfy the commutator relations [A, A ] = 0, [A, B ] [A, B ] = 0, [B, B ] = 0, 4.7 where the last equation is satisfied on solutions of the equation.. It immediately follows that the following two operators also commute on solutions X = λa + B, X = λa + B, [X, X ] = 0, 4.8 and therefore constitute Lax representation for equation. with λ being a spectral parameter. Symmetry condition in the form 4.5 not only provides the Lax pair for equation. but also leads directly to recursion relations for symmetries A ϕ = B ϕ, A ϕ = B ϕ, 4.9 where ϕ is a potential for ϕ. This follows from a special case of Proposition of [6] which we recapitulate here together with its proof for the readers convenience. Indeed, equations 4.9 together with 4.7 imply A B A B ϕ = [A, A ] ϕ = 0, so ϕ is a symmetry characteristic. Moreover, due to 4.9 A B A B ϕ = [A, B ] [A, B ] + B A B A ϕ = [B, B ]ϕ = 0, which shows that ϕ satisfies the symmetry condition 4.5 and hence is also a symmetry. Thus, ϕ is a symmetry whenever so is ϕ and vice versa. The equations 4.9 define an auto-bäcklund transformation between the symmetry conditions written for ϕ and ϕ. Hence, the auto-bäcklund transformation for the symmetry condition is nothing else than a recursion operator. Finally, we must remark that this approach to recursion operators originated from the much older work published in 90th [8,, 5]. The skew-factorized form of the symmetry condition is by no means unique. We can derive another version by using the discrete symmetry transformation c, c 4 c 5, c 6 c 8, D D, D t D t, v v, L L, 4.0
6 6 M.B. Sheftel and D. Yazıcı while the operator L t is not changed. Applying 4.0 to operators 4.6 we obtain a new set of operators A = c D t + c 3 D, A = c 3 D D t, B = c c3 L + c L t + c c 7 c 8 c 3 c 5 D + c c 8 D, B = c c L t c 3 L c c 6 D c 8 + c 3 c 5 D + c 3 D t, 4. which also satisfy the skew-factorized form 4.5 of the symmetry condition 3.3 and the same commutator relations 4.7. Using these operators in 4.8 and 4.9 we obtain the second Lax pair and another set of recursion relations for symmetries, respectively. It may be interesting to note algebraic relations between the two recursion operators, namely, determined by the set 4.6, marked below with the superscript, and by the set 4., marked with the superscript A = A, A = A, c B + B = c 3 A, c B + B = c 3 A. 4. Particular cases We now consider particular cases = 0, c 0 and c = 0, 0. In the first case integrability condition 4.4 reads = 0, c 0 = c c c 6 c 3 c 4 = c If we set = 0 in our first set of operators 4.6 from the generic case, these operators become linearly dependent and the skew-factorized representation 4.5 does not reproduce the symmetry condition 3.. Therefore, we have to put = 0 in the second set of operators 4. with the result A = c D t + c 3 D, A = c 3 D, B = c c3 L + c L t + c c 7 c 3 c 5 D + c c 8 D, B = c 3 D t c c 3 L c c 6 D c 3 c 5 D. 4.3 Operators 4.3 satisfy skew-factorized form 4.5 of the symmetry condition 3.3 and the commutator relations 4.7. Therefore, as is shown above, equations 4.9 yield the recursion relations for symmetries c D t + c 3 D ϕ = c c3 L + c L t + c c 7 c 3 c 5 D + c c 8 D ϕ, c 3 D ϕ = c 3 D t c c 3 L c c 6 D c 3 c 5 D ϕ, and the operators X = λc D t + c 3 D c c 3 L + c L t + c c 7 c 3 c 5 D + c c 8 D, X = λc 3 D + c 3 D t c c 3 L + c c 6 D + c 3 c 5 D commute on solutions and so constitute Lax pair for the equation. at = 0. In the second case c = 0, integrability condition 4.4 has the form c = 0, 0 = c 8 + c 3 c 5 = c We set c = 0 in our first set of operators 4.6 in the generic case to obtain A = D t c 3 D, A = c 3 D,
7 Evolutionary Hirota Type +-Dimensional Bi-Hamiltonian Equations 7 B = c3 L L t + c c 6 D + c 7 + c 3 c 4 D, B = c 3 L + c 3 c 4 D c 8 D c 3 D t. 4.5 Operators 4.5 also satisfy skew-factorized form 4.5 of the symmetry condition 3.3 and the commutator relations 4.7. Therefore, as is shown above, using these operators in 4.8 and 4.9 we obtain the Lax pair and recursion relations for symmetries in this case. We could not use the second family of operators 4. at c = 0 because skew-factorized form 4.5 would give identical zero instead of reproducing the symmetry condition. We note again that the skew-factorized form of the invariance condition 4.5 is still not unique. One could obtain such a form at c = 0 with a different choice of the operators A i and B i A = D, A = c 3 D D t, B = c L + c 5 c 3 D D t, B = c3 L L t + c 4 D t + c 6 D + c 7 D. 4.6 Recursion relations and the Lax pair are still valid with the new definitions 4.6. Since the latter choice leads to more complicated recursion operator and second Hamiltonian operator, we stick to our previous definitions 4.5. Finally, the case = 0 together with c = 0 implies c 3 = 0 from the integrability condition 4.4 and hence corresponds to linear equation Special case c 3 = 0 In the integrability condition 4.4 we assume c 0, c 3 = 0 = c c 7 = c c 8 + c c 6. Then the linear operator of the symmetry condition 3.3 can be presented in the skew-factorized form 4.5 with the following operators A i and B i A = D t, A = D + c D = c, B = c L t c c 6 D c 8 D, B = c c L + c L + c 4 D + c 5 D D t. 4.7 Operators 4.7 satisfy the commutator relations 4.7 and hence, as is shown above, the equations 4.9 produce the recursion relations for symmetries D t ϕ = c L t c c 6 D c 8 D ϕ, c ϕ = c L + c L + c 4 D + c 5 D D t ϕ, 4.8 and the operators X = λ D t + c L t c c 6 D c 8 D, X = λ c + c c L + c L + c 4 D + c 5 D D t. commute on solutions and so constitute Lax representation for the equation. at c 3 = 0. We note that if we considered this case as a particular case at c 3 = 0 of the operators 4.6 or 4. of the generic case, then operators A i, B i would be linearly dependent and the skewfactorized form 4.5 would not yield the symmetry condition 3.3.
8 8 M.B. Sheftel and D. Yazıcı 5 Two-component form Introducing the additional dependent variable v = u t, we convert equation 3. into the evolutionary system u t = v, v t = v c u v c u + c 3 u u u + c 4 v + c 5 v + c 6 u + c 7 u + c 8 u + c Lie equations become u τ = ϕ, v τ = ψ, so that u t = v implies the first invariance condition ϕ t = ψ. The second invariance condition is obtained by differentiating the second equation in 5. with respect to the group parameter τ ψ t = c u ψ + v c ϕ c u ψ v c ϕ + c 3 u ϕ + u ϕ u ϕ + c 4 ψ + c 5 ψ + c 6 ϕ + c 7 ϕ + c 8 ϕ. The Lagrangian for system 5. is obtained by a suitable modification of the Lagrangian.3 of the one-component equation., skipping some total derivative terms L = u t v v + u t 3 u u u u + c u u u u u t c 4u + c 5 u + c 3 3 u u u u 6 Hamiltonian representation + u c 6u + c 7 u + c 8 u + c 9 u. 5. To transform from Lagrangian to Hamiltonian description, we define canonical momenta π u = L = v + c u u u u + c u u u u u t 3 c 4u + c 5 u, π v = L = 0, v t 6. which satisfy canonical Poisson brackets [ πi z, u k z ] = δ k i δz z, where u = u, u = v, z = z, z, the only nonzero Poisson bracket being [π u, u] = δz z δz z. The Lagrangian 5. is degenerate because the momenta cannot be inverted for the velocities. Therefore, following the theory of Dirac s constraints [], we impose 6. as constraints Φ u = π u v 3[ c u u u u + c u u u u ] + c 4u + c 5 u, Φ v = π v, and calculate Poisson bracket for the constraints K = [Φ u z, z, Φ u z, z ], K = [Φ u z, z, Φ v z, z ], K = [Φ v z, z, Φ u z, z ], K = [Φ v z, z, Φ v z, z ].
9 Evolutionary Hirota Type +-Dimensional Bi-Hamiltonian Equations 9 We obtain the following matrix of Poisson brackets, which for convenience we multiply by the overall factor K K =, 6. 0 where K = u D u D + c u D u D c 4 D c 5 D. The Hamiltonian operator is the inverse to the symplectic operator J 0 = K 0 0 J 0 = =. 6.3 K L + c L + c 4 D + c 5 D Operator J 0 is Hamiltonian if and only if its inverse K is symplectic [7], which means that the volume integral Ω = V ωdv of ω = /dui K ij du j should be a symplectic form, i.e., at appropriate boundary conditions dω = 0 modulo total divergence. Another way of formulation is to say that the vertical differential of ω should vanish [9]. In ω summations over i, j run from to and u = u, u = v. Using 6., we obtain ω = [ c u du du u du du + c u du du u du du c 4 du du c 5 du du du dv ]. 6.4 Taking exterior derivative of 6.4 and skipping total divergence terms, we have checked that dω = 0 which proves that operator K is symplectic and hence J 0 defined in 6.3 is indeed a Hamiltonian operator. The first Hamiltonian form of this system is ut δu H = J v 0, t δ v H where we still need to determine the corresponding Hamiltonian density H. from 5. to the form We convert L L = u t π u v + c 3 3 u u u u u + c 6u + c 7 u + c 8 u + c 9 u, and apply the formula H = π u u t + π v v t L, where π v = 0, with the final result H = v c 3 3 u u u u uc 6u + c 7 u + c 8 u c 9 u. 7 Recursion operators in matrix form 7. Generic case: c c 3 0 We define two-component symmetry characteristic ϕ, ψ T where T means transposed matrix with ψ = ϕ t and ϕ, ψ T with ψ = ϕ t for the original and transformed symmetries, respectively. The recursion relations 4.9 with the use of 4.6 for the operators A i, B i take the form ψ c3 D ϕ = B ϕ c 3 L L t + c 6 D + c 3 c 4 + c 7 c c 6 D ϕ, 7. c ψ c3 D ϕ = B ϕ c 3 L + c L t + c 3 c 4 c c 6 D c 8 D ϕ c3 ψ.
10 0 M.B. Sheftel and D. Yazıcı Combining these two equations to eliminate first ψ and then ϕ, we obtain c ϕ = c u ϕ c u ϕ c c 4 ϕ c 5 c 3 ϕ + ψ, c ψ = c v ϕ v ϕ + c 3 u ϕ + u ϕ u ϕ + c 6 ϕ + c 7 ϕ + c 8 ϕ + c3 ψ, where the subscripts of ϕ and ψ denote partial derivatives. Applying the inverse operator c, which is defined to satisfy the relations c c =, we obtain the explicit form of recursion relations ϕ = c c c u ϕ c u ϕ c 4 ϕ c 5 ϕ + c3 ϕ + ψ, ψ = v ϕ v ϕ + c c c3 u ϕ + u ϕ u ϕ + c 6 ϕ + c 7 ϕ + c 8 ϕ + c3 ψ. 7. Here an important remark is due. The operator c can make sense merely as a formal inverse of c. Thus, the relations 7. are formal as well. The proper interpretation of the quantities like c and of 7. requires the language of differential coverings, see the original papers [8, ] and the recent survey [9]. In a two component form, the recursion relations 7. read ϕ ψ ϕ = R 7.3 ψ with the recursion operator R in the matrix form R c R = c R c 3 c D with the matrix elements 7.4 R = c c c u D c u D c 4 D c 5 D + c3 D, R = v D v D + c c3 u D + u D u D D + c 6 D + c 7 D D + c 8 D. 7.5 Next, we use the alternative set 4. of operators A i, B i in the recursion relations 4.9 presented in a two-component form c ψ + c3 D ϕ = B ϕ c c 3 L + c L t + c c 7 c 8 c 3 c 5 D + c c 8 D ϕ, c 3 D ϕ ψ = B ϕ c L t c 3 L c c 6 D c 8 + c 3 c 5 D ϕ + c3 ψ. Combining these two equations to eliminate first ψ and then ϕ, we obtain the explicit form of recursion relations ϕ = c c L + c L c c 4 + c 3 D c c 5 D ϕ + c c ψ, ψ = c 3 c D L + c L + c 4 + c 3 D + c 5 D c + c 3 L + c L t + c c c 7 c 8 c 3 c 5 D + c 8 D ϕ c 3 c D ψ, and we immediately extract the second recursion operator R in the matrix form R R = c c c 3, 7.6 c D R
11 Evolutionary Hirota Type +-Dimensional Bi-Hamiltonian Equations where R = c c L + c L + R = c 3 c D L + c L + c 4 + c 3 D + c 5 D, c c 4 + c 3 D + c 5 D c c 3 L + c L t + c c c 7 c 8 c 3 c 5 D + c 8 D Particular cases We consider again particular cases = 0, c 0 and c = 0, 0. As we know from Section 4, the first case, = 0, c 0 should be considered as a particular case of the second recursion operator R from 7.6 and 7.7 with the result where c R D = R = c 3 D D L + c 6 c 3 D c 5, D R, c 3 c D D, L + c 6 D c 3 L + c L t + c7 D + c 8 D 3 and the integrability condition 4. has been used. The second case, c = 0, 0 should be considered as a particular case of the first recursion operator R from 7.4 and 7.5 with the result R = R D R c 3 D D with the matrix elements R = D c L + c 5 c 3 D c c 4, R = L t + c 6 D + c 7 D + D 7.3 Special case: c 0, c 3 = 0 Recursion relations 4.8 in a two-component form become ψ = c c v ϕ v ϕ c c 6 ϕ c 8 ϕ, c3 u D + u D u D D + c8 D. c ϕ = c c u ϕ c u ϕ + c 4 ϕ + c 5 ϕ ψ. 7.8 The explicit two-component form of the recursion relations 7.8 is ϕ = c c c u ϕ c u ϕ + c 4 ϕ + c 5 ϕ ψ, ψ = c v ϕ v ϕ c c 6 ϕ c 8 ϕ. 7.9 In the matrix form 7.3, the recursion operator arising from 7.9 reads R = c c c u D c u D + c 4 D + c 5 D, c c c v D v D c c D c 8 D, 0
12 M.B. Sheftel and D. Yazıcı 8 Bi-Hamiltonian systems 8. Generic case 8.. First family of bi-hamiltonian systems The second Hamiltonian operator J is obtained by composing the recursion operator 7.4 with the first Hamiltonian operator J = RJ 0 J 0 J J J = R c R c 3 c D c u D c u D + c 4 D + c 5 D where we have used an alternative equivalent expression for the matrix element J0, with the final result c J = c c 3 c D c 3 c D J, 8. where J = c 3 L L t + c c c6 D + c 7 D D + c 8 D + c3 D c 4 D + c 5 D. Here operator J is manifestly skew symmetric. A check of the Jacobi identities and compatibility of the two Hamiltonian structures J 0 and J is straightforward but too lengthy to be presented here. The method of the functional multi-vectors for checking the Jacobi identity and the compatibility of the Hamiltonian operators is developed by P. Olver in [4, Chapter 7] and has been applied recently for checking bi-hamiltonian structure of the general heavenly equation [8] and the first heavenly equation of Plebański [7] under the well-founded conjecture that this method is applicable for nonlocal Hamiltonian operators as well. The next problem is to derive the Hamiltonian density H 0 corresponding to the second Hamiltonian operator J such that implies the bi-hamiltonian representation of the system 5. ut v t δu H = J δu H 0 = J 0 δ v H = δ v H 0 v, 8. v t where v t should be replaced by the right-hand side of the second equation in 5.. Then we could conclude that our system 5. is also integrable in the sense of Magri [0, ]. Proposition 8.. Bi-Hamiltonian representation 8. of the system 5. is valid under the constraint c 9 = c c6 c 3 c 5 + c 4 c 7 c c 6 + c 3 c 4 8.3, with the following Hamiltonian density H 0 = v c u + c 4 z + c 3 c 5 c z + s 0 c 3 c u c u + c 3c 4 c u. 8.4 Proof. We will need the following simple relation between J and the operator B from 4.6, which is involved in the recursion relations 4.9 and Lax pair 4.8 J = B + c c 3D. 8.5
13 Evolutionary Hirota Type +-Dimensional Bi-Hamiltonian Equations 3 Acting by the first row of J on the column of variational derivatives of H 0 in 8. and applying c we obtain c J δ u H 0 + J δ v H 0 c3 D δ v H 0 δ u H 0 = c v = v + c v. 8.6 On account of the relation 8.5, the second row of the last equation in 8. reads J δ u H 0 + J δ v H 0 B δ v H 0 + c 3 D c c 3 D δ v H 0 δ u H 0 = v t, which with the use of 8.6 becomes B δ v H 0 + c 3 v = v t B δ v H 0 = v t c 3 v. 8.7 We assume a linear dependence of H 0 on v H 0 = b[u]v + c[u] = δ v H 0 = H 0 v = b[u], 8.8 where b and c depend only on u and its derivatives. We note that adding to H 0 the term av with constant a does not contribute to the Hamiltonian flow J δu H 0 δ v H 0 and hence this is unnecessary. Plugging 8.8 into equation 8.7 and using the definition of B from 4.6, we obtain c3 u D [b] u D [b] + v D [b] v D [b] + c 6 D [b] + c 7 c c 6 + c 3 c 4 D [b] = v c u v c u + c 3 u u u + c 4 v + c 5 v + c 6 u + c 7 u + c 8 u + c 9 c3 v. 8.9 Splitting equation 8.9 with respect to v and v and collecting separately terms with v and v implies the following two equations D [b] = c u + c 3 c 5, D [b] = c u + c Integrating these two equations we obtain b = c u + c 4 z + c 3 c 5 z + s 0, 8. c where s 0 is a constant of integration. Plugging 8.0 into the remaining terms in 8.9, we note that the terms c 3 u u u and all terms proportional to u and u are canceled identically while the terms proportional to u cancel due to integrability condition 4.4. The remaining constant terms in 8.9 imply the relation 8.3 which is an additional Hamiltonian condition for integrable system 5. to have bi-hamiltonian form. Using the result 8. for b in our ansatz 8.8 for H 0 yields H 0 = v c u + c 4 z + c 3 c 5 z + s 0 + c[u]. 8. c
14 4 M.B. Sheftel and D. Yazıcı From 8.6 we have δ u H 0 δ u b[u]v + δ u c[u] = c3 D [b] c v, 8.3 where 8. implies that δ u bv = c v. After cancelations, equation 8.3 yields δ u c[u] = c 3 D [b] c 3 c c u + c 4, 8.4 where D [b] from 8.0 is used. This result obviously suggests c[u] to be of the form c[u] = αu u + βu + γu 8.5 with constant α and β, so that δ u c = D αu D αu + βu + γ u. Plugging the latter expression in the equation 8.4 we find the coefficients in 8.5 to be α = c 3, β = c c 3 c, γu = c 3c 4 c u + γ 0 with the constant of integration γ 0, so that c[u] in 8.5 becomes c[u] = c 3 c u c u + c 3c 4 c u + γ 0. We have now completely determined the Hamiltonian density H 0 in 8. to be 8.4, where we have skipped the additive constant γ 0. With the Hamiltonian density H 0 from 8.4, corresponding to the second Hamiltonian operator J, the system 5. admits bi-hamiltonian representation 8., provided that the integrability condition 4.4 and bi-hamiltonian constraint 8.3 are satisfied in the generic case. Thus, we obtain the first seven-parameter family of bi-hamiltonian systems. 8.. Second family of bi-hamiltonian systems Composing an alternative recursion operator R, determined by 7.6 and 7.7, with the first Hamiltonian operator J 0 we obtain an alternative second Hamiltonian operator J = R J 0 with the resulting expression J = c c c 3 c D c 3 c D c c 3 c D + B, 8.6 where B is defined in 4.. Next task is to determine the Hamiltonian density H 0 corresponding to J in the bi-hamiltonian representation δu H J 0 = J δu H 0 v δ v H δ v H 0 =. 8.7 v t A check of the Jacobi identities for J and compatibility of the two Hamiltonian structures J 0 and J is straightforward and too lengthy to be presented here.
15 Evolutionary Hirota Type +-Dimensional Bi-Hamiltonian Equations 5 Proposition 8.. Bi-Hamiltonian representation 8.7 of the system 5. is valid under the constraint c 9 = c c8 c c 4 + c 3 + c 5 c 8 c c 7 + c 3 c with the following Hamiltonian density H 0 = v c u c 5 z + c 4 + c 3 z + s 0 v + c 3 c c c u c u + c 5 u. 8.9 Proof. Acting by the first row of J on the column of variational derivatives of H 0 in 8.7 and applying c we obtain δ u H 0 = c c3 D δ v H 0 + c v. 8.0 The second row of equation 8.7 becomes c 3 c D δ u H 0 + c c 3 c D + B δv H 0 = v t, which with the use of 8.0 becomes B δ v H 0 = c v t + c 3 v. 8. We again assume H 0 to be linear in v H 0 = b[u]v + c[u] = δ v H 0 = H 0 v = b[u], 8. where b and c depend only on u and its derivatives. Plugging 8. into equation 8., using the expression for B from 4. and v t from our equation 5., we obtain the equation linear in v and v, similar to 8.9. Equating the coefficients of v and v in this linear equation on both sides, we obtain D [b] = c c u c 5, D [b] = c c u + c 4 + c 3 c. 8.3 Integrating these equations we obtain b = c u c 5 z + c 4 + c 3 z + s c c Plugging the expressions 8.3 in remaining terms of the equation linear in v and v, we find that all variable terms cancel and we end up with the relation 8.8 among constant terms. This is again an additional condition for integrable system 5. to have bi-hamiltonian form which is in general different from 8.3 obtained for our first choice of the operators A i, B i. Thus, we obtain two different families of seven-parameter bi-hamiltonian systems. Plugging the expression 8.4 for b into the formula 8. for H 0, calculating δ uh 0 and using equation 8.0, we obtain δ u c[u] = c 3 c u + c u c 5, which implies c[u] = c 3 c u c u + c 5 u + γ Using our results 8.4 for b and 8.5 for c[u] in the formula 8., we obtain the Hamiltonian density H 0 to be 8.9 for the alternative bi-hamiltonian system 8.7 in the generic case. Here again we have skipped the additive constant γ 0.
16 6 M.B. Sheftel and D. Yazıcı 8..3 A family of tri-hamiltonian systems If we impose an additional condition on the coefficients such that both constraints 8.3 and 8.8 coincide, we eliminate c 9 and consider the resulting condition together with the integrability condition 4.4 and the constraint 8.3. With these three conditions, we obtain a six-parameter family of tri-hamiltonian systems ut δu H = J δu H v 0 = J 0 t δ v H = J δu H 0 δ v H 0 δ v H 0 with compatibility of the three Hamiltonian operators J 0, J, J been checked. An explicit solution of the two constraints together with the integrability condition 4.4 for the tri-hamiltonian system has the form c 4 = c c 3 c c 6 c c 8 c 3 c 5, c7 = c 9 = c 3c 5 + c 8 c c 3 c3 c 3 c 5 c c 8 + c 6 c 8 c 3 with the six free parameters, c, c 3, c 5, c 6, c Particular cases J = c c 8 + c 3 c 5 c 3, The first case = 0, c 0 we should treat as a particular case of the second bi-hamiltonian family. Therefore, we put = 0 in the second Hamiltonian operator J from 8.6 D c 3 D c D c 3 c D D c 3 c D D +, B c where B is defined in 4.3, so that explicitly we have J = c 3 L + c L t + c 7 c 3c 5 D + c 8 D. c The corresponding Hamiltonian density is a particular case of the density H 0 = 0 H 0 = v u c 5 z + c 6 z + s 0 v + c 3 u u + c 3c 5 u, c c 3 c c from 8.9 at where the integrability condition c 3 c c 4 +c 3 = c c 6 has been used and an additional constraint has the form c 9 = c c 8 c c 4 + c 3 + c 5 c 3 c 5 c c 7. The second case c = 0, 0 is treated as a particular case of the first bi-hamiltonian family, so we put c = 0 in the second Hamiltonian operator J from 8. J = D c 3 D D c 3 c c 3 D D D D + B,
17 Evolutionary Hirota Type +-Dimensional Bi-Hamiltonian Equations 7 where B is defined in 4.5, so that we have explicitly J = c 3 c D D + c 3 L L t + c 6 D + c 7 + c 3c 4 D. The corresponding Hamiltonian density is a particular case of the density H 0 from 8.4 at c = 0 H 0 = v u + c 4 z + c 8 z + s 0 c 3 u u + c 3c 4 u, c 3 where integrability condition 4.4 has been used, with the additional constraint c 9 = c c6 c 3 c 5 + c 4 c 7 + c 3 c 4. c 8.3 Special case c 3 = 0 The second Hamiltonian operator is a composition J = RJ 0 of the recursion operator 7.0 for this special case with the first Hamiltonian operator J 0. Multiplication of these two matrices yields J = c c 0, 0 B where J = c v D v D + c 6 D + c 8 D c = B with B defined in 4.7. The remaining problem is to obtain the Hamiltonian density H 0 corresponding to the second Hamiltonian operator J according to 5. δu H J 0 v =. 8.6 δ v H 0 v t Proposition 8.3. Bi-Hamiltonian representation 8.6 of the system 5. is valid under the constraint c 9 = c 4 c 8 c c 5 c 6 c with the following Hamiltonian density 8.7 H 0 = v c c u + c 5 z c 4 z + s Proof. The equation following from the first row of the matrix equation 8.6 is c c δ u H 0 = v or equivalently δ u H 0 = c c v = c v + v. 8.9 The second row of 8.6 yields B δ v H 0 = v t. 8.30
18 8 M.B. Sheftel and D. Yazıcı We assume again a linear dependence of H 0 on v H 0 = b[u]v + c[u] = δ v H 0 = b[u], 8.3 where b and c may depend on u and its partial derivatives. Using 8.3 and also using the definition of B and v t, given by 5., on the left-hand side and right-hand side of 8.30, respectively, we obtain c v D [b] v D [b] + c c 6 D [b] + c 8 D [b] = v c u v c u + c 4 v + c 5 v + c 6 u + c 7 u + c 8 u + c Splitting this equation with respect to v and v we obtain two equations D [b] = c c u + c 5 c, D [b] = c c u c 4 c, which are integrated in the form b = c c u + c 5 z c 4 z + s Using 8.33, we check that all the remaining nonconstant terms in 8.3 cancel and we obtain an additional relation 8.7 between coefficients. Plugging the expression 8.33 for b into 8.3 for H 0 we obtain H 0 = v c c u + c 5 z c 4 z + s 0 + c[u] Computing δ u H 0 from 8.34 and plugging the result into 8.9, we conclude that δ u c[u] = 0 and hence we may choose c[u] = 0. Thus, we end up with the formula Conclusion We have shown that all the Euler Lagrange equations of the evolutionary Hirota type in + dimensions have the symplectic Monge Ampère form. The symmetry condition for such an equation is converted to a skew-factorized form. Then recursion relations and Lax pairs are obtained as immediate consequences of this representation. We have converted the equation into a two-component evolutionary form and obtained Lagrangian and recursion operator for this two-component system. The Lagrangian is degenerate because the momenta cannot be inverted for the velocities. Applying to this degenerate Lagrangian the Dirac s theory of constraints, we have obtained a symplectic operator and its inverse, the latter being a Hamiltonian operator J 0. We have found the corresponding Hamiltonian density H, thus presenting our system in a Hamiltonian form. Composing the recursion operator R with J 0, we have obtained the second Hamiltonian operator J = RJ 0. We have found the Hamiltonian density H 0 corresponding to J and thereby obtained bi-hamiltonian representation of our system under one constraint on the coefficients, which is additional to the integrability condition. Thus, we end up with a seven-parameter class of bi-hamiltonian systems in + dimensions. Representation of symmetry condition in an alternative skew-factorized form produces another seven-parameter family of bi-hamiltonian systems which satisfy another constraint, additional to the integrability condition. This constraint is different from the additional constraint for the first family of bi-hamiltonian systems. If we require both constraints to coincide, then, accounting also for the integrability condition, we end up with a six-parameter family of tri- Hamiltonian systems. We apply similar methods to Hirota equations in 3 + dimensions with similar results. This work is in progress and will be published elsewhere.
19 Evolutionary Hirota Type +-Dimensional Bi-Hamiltonian Equations 9 Acknowledgments The authors are grateful to an anonymous referee for important remarks which contributed to the improvement of our paper. The research of M.B. Sheftel is partly supported by the research grant from Boğaziçi University Scientific Research Fund BAP, research project No References [] Dirac P.A.M., Lectures on quantum mechanics, Belfer Graduate School of Science Monographs Series, Vol., Belfer Graduate School of Science, New York, 967. [] Doubrov B., Ferapontov E.V., On the integrability of symplectic Monge Ampère equations, J. Geom. Phys , , arxiv: [3] Ferapontov E.V., Hadjikos L., Khusnutdinova K.R., Integrable equations of the dispersionless Hirota type and hypersurfaces in the Lagrangian Grassmannian, Int. Math. Res. Not , , arxiv: [4] Ferapontov E.V., Khusnutdinova K.R., Hydrodynamic reductions of multidimensional dispersionless PDEs: the test for integrability, J. Math. Phys , , nlin.si/0305. [5] Ferapontov E.V., Khusnutdinova K.R., On the integrability of + -dimensional quasilinear systems, Comm. Math. Phys , 87 06, nlin.si/ [6] Ferapontov E.V., Kruglikov B., Novikov V., Integrability of dispersionless Hirota type equations in 4D and the symplectic Monge Ampère property, arxiv: [7] Fuchssteiner B., Fokas A.S., Symplectic structures, their Bäcklund transformations and hereditary symmetries, Phys. D 4 98, [8] Guthrie G.A., Recursion operators and non-local symmetries, Proc. Roy. Soc. London Ser. A , [9] Krasil shchik J., Verbovetsky A., Geometry of jet spaces and integrable systems, J. Geom. Phys. 6 0, , arxiv: [0] Magri F., A simple model of the integrable Hamiltonian equation, J. Math. Phys , [] Magri F., A geometrical approach to the nonlinear solvable equations, in Nonlinear Evolution Equations and Dynamical Systems Proc. Meeting, Univ. Lecce, Lecce, 979, Lecture Notes in Phys., Vol. 0, Springer, Berlin-New York, 980, [] Marvan M., Another look on recursion operators, in Differential Geometry and Applications Brno, 995, Masaryk University, Brno, 996, [3] Neyzi F., Nutku Y., Sheftel M.B., Multi-Hamiltonian structure of Plebanski s second heavenly equation, J. Phys. A: Math. Gen , , nlin.si/ [4] Olver P.J., Applications of Lie groups to differential equations, Graduate Texts in Mathematics, Vol. 07, Springer-Verlag, New York, 986. [5] Papachristou C.J., Potential symmetries for self-dual gauge fields, Phys. Lett. A , [6] Sergyeyev A., A simple construction of recursion operators for multidimensional dispersionless integrable systems, J. Math. Anal. Appl , , arxiv: [7] Sheftel M.B., Yazıcı D., Recursion operators and tri-hamiltonian structure of the first heavenly equation of Plebański, SIGMA 06, 09, 7 pages, arxiv: [8] Sheftel M.B., Yazıcı D., Malykh A.A., Recursion operators and bi-hamiltonian structure of the general heavenly equation, J. Geom. Phys. 6 07, 4 39, arxiv:
Dispersionless integrable systems in 3D and Einstein-Weyl geometry. Eugene Ferapontov
Dispersionless integrable systems in 3D and Einstein-Weyl geometry Eugene Ferapontov Department of Mathematical Sciences, Loughborough University, UK E.V.Ferapontov@lboro.ac.uk Based on joint work with
More informationThe geometry of hydrodynamic integrability
1 The geometry of hydrodynamic integrability David M. J. Calderbank University of Bath October 2017 2 What is hydrodynamic integrability? A test for integrability of dispersionless systems of PDEs. Introduced
More informationAbout Integrable Non-Abelian Laurent ODEs
About Integrable Non-Abelian Laurent ODEs T. Wolf, Brock University September 12, 2013 Outline Non-commutative ODEs First Integrals and Lax Pairs Symmetries Pre-Hamiltonian Operators Recursion Operators
More informationarxiv:nlin/ v1 [nlin.si] 25 Sep 2006
Remarks on the conserved densities of the Camassa-Holm equation Amitava Choudhuri 1, B. Talukdar 1a and S. Ghosh 1 Department of Physics, Visva-Bharati University, Santiniketan 73135, India Patha Bhavana,
More informationCanonical Forms for BiHamiltonian Systems
Canonical Forms for BiHamiltonian Systems Peter J. Olver Dedicated to the Memory of Jean-Louis Verdier BiHamiltonian systems were first defined in the fundamental paper of Magri, [5], which deduced the
More information3 F c ijk = k where F is the free energy [3]. One of the independent variables, say t, is singled out to serve in the denit
Altenative bi-hamiltonian structures for WDVV equations of associativity J. Kalayc y and Y. Nutku Feza Gursey Institute, P. K. 6 C engelkoy 8220 Istanbul, Turkey y Istanbul Technical University Department
More informationarxiv: v1 [math-ph] 13 Feb 2008
Bi-Hamiltonian nature of the equation u tx = u xy u y u yy u x V. Ovsienko arxiv:0802.1818v1 [math-ph] 13 Feb 2008 Abstract We study non-linear integrable partial differential equations naturally arising
More informationA Lax Representation for the Born-Infeld Equation
A Lax Representation for the Born-Infeld Equation J. C. Brunelli Universidade Federal de Santa Catarina Departamento de Física CFM Campus Universitário Trindade C.P. 476, CEP 88040-900 Florianópolis, SC
More informationThe symmetry structures of ASD manifolds
The symmetry structures of ASD manifolds 1 1 School of Mathematics University of the Witatersrand, Johannesburg South Africa African Institute of Mathematics Outline 1 Introduction 2 3 The dispersionless
More informationGLASGOW Paolo Lorenzoni
GLASGOW 2018 Bi-flat F-manifolds, complex reflection groups and integrable systems of conservation laws. Paolo Lorenzoni Based on joint works with Alessandro Arsie Plan of the talk 1. Flat and bi-flat
More informationA MULTI-COMPONENT LAX INTEGRABLE HIERARCHY WITH HAMILTONIAN STRUCTURE
Pacific Journal of Applied Mathematics Volume 1, Number 2, pp. 69 75 ISSN PJAM c 2008 Nova Science Publishers, Inc. A MULTI-COMPONENT LAX INTEGRABLE HIERARCHY WITH HAMILTONIAN STRUCTURE Wen-Xiu Ma Department
More informationGauge Fixing and Constrained Dynamics in Numerical Relativity
Gauge Fixing and Constrained Dynamics in Numerical Relativity Jon Allen The Dirac formalism for dealing with constraints in a canonical Hamiltonian formulation is reviewed. Gauge freedom is discussed and
More informationDuality between constraints and gauge conditions
Duality between constraints and gauge conditions arxiv:hep-th/0504220v2 28 Apr 2005 M. Stoilov Institute of Nuclear Research and Nuclear Energy, Sofia 1784, Bulgaria E-mail: mstoilov@inrne.bas.bg 24 April
More informationarxiv:gr-qc/ v2 6 Apr 1999
1 Notations I am using the same notations as in [3] and [2]. 2 Temporal gauge - various approaches arxiv:gr-qc/9801081v2 6 Apr 1999 Obviously the temporal gauge q i = a i = const or in QED: A 0 = a R (1)
More informationA Method for Constructing a Lax Pair for the Ernst Equation
A Method for Constructing a Lax Pair for the Ernst Equation C. J. Papachristou *, B. Kent Harrison ** *Department of Physical Sciences, Naval Academy of Greece, Piraeus 8539, Greece E-mail: papachristou@snd.edu.gr
More informationGlobal Lie-Tresse theorem
Global Lie-Tresse theorem Boris Kruglikov University of Tromsø, Norway (in part joint with: V.Lychagin, O. Morozov, E. Ferapontov) Group actions and classical Invariants The classical problem in invariant
More informationarxiv:hep-th/ v1 1 Mar 2000
February 2000 IUT-Phys/00-02 arxiv:hep-th/0003010v1 1 Mar 2000 Classification of constraints using chain by chain method 1 F. Loran, 2 A. Shirzad, 3 Institute for Advanced Studies in Basic Sciences P.O.
More informationLecture I: Constrained Hamiltonian systems
Lecture I: Constrained Hamiltonian systems (Courses in canonical gravity) Yaser Tavakoli December 15, 2014 1 Introduction In canonical formulation of general relativity, geometry of space-time is given
More informationA new integrable system: The interacting soliton of the BO
Phys. Lett., A 204, p.336-342, 1995 A new integrable system: The interacting soliton of the BO Benno Fuchssteiner and Thorsten Schulze Automath Institute University of Paderborn Paderborn & Germany Abstract
More informationElementary maths for GMT
Elementary maths for GMT Linear Algebra Part 2: Matrices, Elimination and Determinant m n matrices The system of m linear equations in n variables x 1, x 2,, x n a 11 x 1 + a 12 x 2 + + a 1n x n = b 1
More informationThe Complete Set of Generalized Symmetries for the Calogero Degasperis Ibragimov Shabat Equation
Proceedings of Institute of Mathematics of NAS of Ukraine 2002, Vol. 43, Part 1, 209 214 The Complete Set of Generalized Symmetries for the Calogero Degasperis Ibragimov Shabat Equation Artur SERGYEYEV
More informationarxiv: v1 [nlin.si] 11 Jul 2007
arxiv:0707.1675v1 [nlin.si] 11 Jul 2007 Dunajski generalization of the second heavenly equation: dressing method and the hierarchy L.V. Bogdanov, V.S. Dryuma, S.V. Manakov November 2, 2018 Abstract Dunajski
More informationOne can specify a model of 2d gravity by requiring that the eld q(x) satises some dynamical equation. The Liouville eld equation [3] ) q(
Liouville Field Theory and 2d Gravity George Jorjadze Dept. of Theoretical Physics, Razmadze Mathematical Institute Tbilisi, Georgia Abstract We investigate character of physical degrees of freedom for
More informationOn universality of critical behaviour in Hamiltonian PDEs
Riemann - Hilbert Problems, Integrability and Asymptotics Trieste, September 23, 2005 On universality of critical behaviour in Hamiltonian PDEs Boris DUBROVIN SISSA (Trieste) 1 Main subject: Hamiltonian
More informationOn recursion operators for elliptic models
On recursion operators for elliptic models D K Demskoi and V V Sokolov 2 School of Mathematics and Statistics, University of New South Wales, Sydney, NSW 2052, Australia E-mail: demskoi@maths.unsw.edu.au
More informationPseudo-Hermiticity and Generalized P T- and CP T-Symmetries
Pseudo-Hermiticity and Generalized P T- and CP T-Symmetries arxiv:math-ph/0209018v3 28 Nov 2002 Ali Mostafazadeh Department of Mathematics, Koç University, umelifeneri Yolu, 80910 Sariyer, Istanbul, Turkey
More informationHamiltonian partial differential equations and Painlevé transcendents
The 6th TIMS-OCAMI-WASEDA Joint International Workshop on Integrable Systems and Mathematical Physics March 22-26, 2014 Hamiltonian partial differential equations and Painlevé transcendents Boris DUBROVIN
More informationPaolo Lorenzoni Based on a joint work with Jenya Ferapontov and Andrea Savoldi
Hamiltonian operators of Dubrovin-Novikov type in 2D Paolo Lorenzoni Based on a joint work with Jenya Ferapontov and Andrea Savoldi June 14, 2015 Paolo Lorenzoni (Milano-Bicocca) Hamiltonian operators
More informationLagrangian Description for Particle Interpretations of Quantum Mechanics Single-Particle Case
Lagrangian Description for Particle Interpretations of Quantum Mechanics Single-Particle Case Roderick I. Sutherland Centre for Time, University of Sydney, NSW 26 Australia rod.sutherland@sydney.edu.au
More informationMatrices. Chapter Definitions and Notations
Chapter 3 Matrices 3. Definitions and Notations Matrices are yet another mathematical object. Learning about matrices means learning what they are, how they are represented, the types of operations which
More informationarxiv:nlin/ v1 [nlin.si] 23 Jul 2003
Deformed Harry Dym and Hunter-Zheng Equations J. C. Brunelli a, Ashok Das b and Ziemowit Popowicz c arxiv:nlin/0307043v1 [nlin.si] 3 Jul 003 a Departamento de Física, CFM Universidade Federal de Santa
More informationarxiv: v1 [nlin.si] 25 Mar 2009
Linear quadrilateral lattice equations and multidimensional consistency arxiv:0903.4428v1 [nlin.si] 25 Mar 2009 1. Introduction James Atkinson Department of Mathematics and Statistics, La Trobe University,
More informationCompatible Hamiltonian Operators for the Krichever-Novikov Equation
arxiv:705.04834v [math.ap] 3 May 207 Compatible Hamiltonian Operators for the Krichever-Novikov Equation Sylvain Carpentier* Abstract It has been proved by Sokolov that Krichever-Novikov equation s hierarchy
More informationarxiv: v2 [math-ph] 24 Feb 2016
ON THE CLASSIFICATION OF MULTIDIMENSIONALLY CONSISTENT 3D MAPS MATTEO PETRERA AND YURI B. SURIS Institut für Mathemat MA 7-2 Technische Universität Berlin Str. des 17. Juni 136 10623 Berlin Germany arxiv:1509.03129v2
More informationGeneralization of the Hamilton-Jacobi approach for higher order singular systems
1 arxiv:hep-th/9704088v1 10 Apr 1997 Generalization of the Hamilton-Jacobi approach for higher order singular systems B. M. Pimentel and R. G. Teixeira Instituto de Física Teórica Universidade Estadual
More informationA Lie-Group Approach for Nonlinear Dynamic Systems Described by Implicit Ordinary Differential Equations
A Lie-Group Approach for Nonlinear Dynamic Systems Described by Implicit Ordinary Differential Equations Kurt Schlacher, Andreas Kugi and Kurt Zehetleitner kurt.schlacher@jku.at kurt.zehetleitner@jku.at,
More informationSymmetry Reductions of (2+1) dimensional Equal Width. Wave Equation
Authors: Symmetry Reductions of (2+1) dimensional Equal Width 1. Dr. S. Padmasekaran Wave Equation Asst. Professor, Department of Mathematics Periyar University, Salem 2. M.G. RANI Periyar University,
More informationExact Solutions of Nonlinear Partial Dif ferential Equations by the Method of Group Foliation Reduction
Symmetry, Integrability and Geometry: Methods and Applications Exact Solutions of Nonlinear Partial Dif ferential Equations by the Method of Group Foliation Reduction SIGMA 7 (2011), 066, 10 pages Stephen
More informationSymmetry and Integrability of a Reduced, 3-Dimensional Self-Dual Gauge Field Model
EJTP 9, No. 26 (2012) 119 134 Electronic Journal of Theoretical Physics Symmetry and Integrability of a Reduced, 3-Dimensional Self-Dual Gauge Field Model C. J. Papachristou Department of Physical Sciences,
More informationRESEARCH STATEMENT YUHAO HU
RESEARCH STATEMENT YUHAO HU I am interested in researching in differential geometry and the geometry of partial differential equations. Earlier in my PhD studies, I learned the theory of exterior differential
More informationarxiv:nlin/ v2 [nlin.si] 9 Oct 2002
Journal of Nonlinear Mathematical Physics Volume 9, Number 1 2002), 21 25 Letter On Integrability of Differential Constraints Arising from the Singularity Analysis S Yu SAKOVICH Institute of Physics, National
More informationA NONLINEAR GENERALIZATION OF THE CAMASSA-HOLM EQUATION WITH PEAKON SOLUTIONS
A NONLINEAR GENERALIZATION OF THE CAMASSA-HOLM EQUATION WITH PEAKON SOLUTIONS STEPHEN C. ANCO 1, ELENA RECIO 1,2, MARÍA L. GANDARIAS2, MARÍA S. BRUZÓN2 1 department of mathematics and statistics brock
More informationON THE SYMMETRIES OF INTEGRABLE PARTIAL DIFFERENCE EQUATIONS
Proceedings of the International Conference on Difference Equations, Special Functions and Orthogonal Polynomials, World Scientific (2007 ON THE SYMMETRIES OF INTEGRABLE PARTIAL DIFFERENCE EQUATIONS ANASTASIOS
More informationSoliton surfaces and generalized symmetries of integrable equations
Soliton surfaces and generalized symmetries of integrable equations Sarah Post, joint with Michel Grundland Centre de Recherches Mathématques Université de Montreal Symmetries in Science, Bregenz August
More informationGroup Actions and Cohomology in the Calculus of Variations
Group Actions and Cohomology in the Calculus of Variations JUHA POHJANPELTO Oregon State and Aalto Universities Focused Research Workshop on Exterior Differential Systems and Lie Theory Fields Institute,
More informationBäcklund transformation and special solutions for Drinfeld Sokolov Satsuma Hirota system of coupled equations
arxiv:nlin/0102001v1 [nlin.si] 1 Feb 2001 Bäcklund transformation and special solutions for Drinfeld Sokolov Satsuma Hirota system of coupled equations Ayşe Karasu (Kalkanli) and S Yu Sakovich Department
More informationHamiltonian partial differential equations and Painlevé transcendents
Winter School on PDEs St Etienne de Tinée February 2-6, 2015 Hamiltonian partial differential equations and Painlevé transcendents Boris DUBROVIN SISSA, Trieste Cauchy problem for evolutionary PDEs with
More informationDUAL HAMILTONIAN STRUCTURES IN AN INTEGRABLE HIERARCHY
DUAL HAMILTONIAN STRUCTURES IN AN INTEGRABLE HIERARCHY RAQIS 16, University of Geneva Somes references and collaborators Based on joint work with J. Avan, A. Doikou and A. Kundu Lagrangian and Hamiltonian
More informationMaxwell s equations. based on S-54. electric field charge density. current density
Maxwell s equations based on S-54 Our next task is to find a quantum field theory description of spin-1 particles, e.g. photons. Classical electrodynamics is governed by Maxwell s equations: electric field
More informationOn the Linearization of Second-Order Dif ferential and Dif ference Equations
Symmetry, Integrability and Geometry: Methods and Applications Vol. (006), Paper 065, 15 pages On the Linearization of Second-Order Dif ferential and Dif ference Equations Vladimir DORODNITSYN Keldysh
More informationarxiv: v1 [math-ph] 5 May 2015
FERMIONIC NOVIKOV ALGEBRAS ADMITTING INVARIANT NON-DEGENERATE SYMMETRIC BILINEAR FORMS ARE NOVIKOV ALGEBRAS ZHIQI CHEN AND MING DING arxiv:155967v1 [math-ph] 5 May 215 Abstract This paper is to prove that
More informationarxiv:nlin/ v1 [nlin.si] 17 Jun 2006
Integrable dispersionless KdV hierarchy with sources arxiv:nlin/0606047v [nlin.si] 7 Jun 2006 Zhihua Yang, Ting Xiao and Yunbo Zeng Department of Mathematical Sciences, Tsinghua University, Beijing 00084,
More informationOn Local Time-Dependent Symmetries of Integrable Evolution Equations
Proceedings of Institute of Mathematics of NAS of Ukraine 2000, Vol. 30, Part 1, 196 203. On Local Time-Dependent Symmetries of Integrable Evolution Equations A. SERGYEYEV Institute of Mathematics of the
More informationJournal of Algebra 226, (2000) doi: /jabr , available online at on. Artin Level Modules.
Journal of Algebra 226, 361 374 (2000) doi:10.1006/jabr.1999.8185, available online at http://www.idealibrary.com on Artin Level Modules Mats Boij Department of Mathematics, KTH, S 100 44 Stockholm, Sweden
More informationLagrangian Approach to Dispersionless KdV Hierarchy
Symmetry, Integrability and Geometry: Methods and Applications Lagrangian Approach to Dispersionless KdV Hierarchy SIGMA 3 (2007), 096, 11 pages Amitava CHOUDHURI 1, B. TALUKDAR 1 and U. DAS 2 1 Department
More informationMaxwell s equations. electric field charge density. current density
Maxwell s equations based on S-54 Our next task is to find a quantum field theory description of spin-1 particles, e.g. photons. Classical electrodynamics is governed by Maxwell s equations: electric field
More informationAPPENDIX A. Background Mathematics. A.1 Linear Algebra. Vector algebra. Let x denote the n-dimensional column vector with components x 1 x 2.
APPENDIX A Background Mathematics A. Linear Algebra A.. Vector algebra Let x denote the n-dimensional column vector with components 0 x x 2 B C @. A x n Definition 6 (scalar product). The scalar product
More informationLECTURE 1: LINEAR SYMPLECTIC GEOMETRY
LECTURE 1: LINEAR SYMPLECTIC GEOMETRY Contents 1. Linear symplectic structure 3 2. Distinguished subspaces 5 3. Linear complex structure 7 4. The symplectic group 10 *********************************************************************************
More informationSolutions of M3-4A16 Assessed Problems # 3 [#1] Exercises in exterior calculus operations
D. D. Holm Solutions to M3-4A16 Assessed Problems # 3 15 Dec 2010 1 Solutions of M3-4A16 Assessed Problems # 3 [#1] Exercises in exterior calculus operations Vector notation for differential basis elements:
More informationThe only global contact transformations of order two or more are point transformations
Journal of Lie Theory Volume 15 (2005) 135 143 c 2005 Heldermann Verlag The only global contact transformations of order two or more are point transformations Ricardo J. Alonso-Blanco and David Blázquez-Sanz
More informationQueens College, CUNY, Department of Computer Science Numerical Methods CSCI 361 / 761 Spring 2018 Instructor: Dr. Sateesh Mane.
Queens College, CUNY, Department of Computer Science Numerical Methods CSCI 361 / 761 Spring 2018 Instructor: Dr. Sateesh Mane c Sateesh R. Mane 2018 8 Lecture 8 8.1 Matrices July 22, 2018 We shall study
More informationIntroduction to the Mathematics of the XY -Spin Chain
Introduction to the Mathematics of the XY -Spin Chain Günter Stolz June 9, 2014 Abstract In the following we present an introduction to the mathematical theory of the XY spin chain. The importance of this
More informationSymmetries and solutions of field equations of axion electrodynamics
Symmetries and solutions of field equations of axion electrodynamics Oksana Kuriksha Petro Mohyla Black Sea State University, 10, 68 Desantnukiv Street, 54003 Mukolaiv, UKRAINE Abstract The group classification
More informationB.7 Lie Groups and Differential Equations
96 B.7. LIE GROUPS AND DIFFERENTIAL EQUATIONS B.7 Lie Groups and Differential Equations Peter J. Olver in Minneapolis, MN (U.S.A.) mailto:olver@ima.umn.edu The applications of Lie groups to solve differential
More informationSolitary Wave Solutions for Heat Equations
Proceedings of Institute of Mathematics of NAS of Ukraine 00, Vol. 50, Part, 9 Solitary Wave Solutions for Heat Equations Tetyana A. BARANNYK and Anatoly G. NIKITIN Poltava State Pedagogical University,
More informationBenjamin Bona Mahony Equation with Variable Coefficients: Conservation Laws
Symmetry 2014, 6, 1026-1036; doi:10.3390/sym6041026 OPEN ACCESS symmetry ISSN 2073-8994 www.mdpi.com/journal/symmetry Article Benjamin Bona Mahony Equation with Variable Coefficients: Conservation Laws
More informationThe generalized Kupershmidt deformation for integrable bi-hamiltonian systems
The generalized Kupershmidt deformation for integrable bi-hamiltonian systems Yuqin Yao Tsinghua University, Beijing, China (with Yunbo Zeng July, 2009 catalogue 1 Introduction 2 KdV6 3 The generalized
More informationarxiv: v1 [nlin.si] 7 Oct 2013
A four-component Camassa-Holm type hierarchy arxiv:1310.1781v1 [nlin.si] 7 Oct 2013 Abstract Nianhua Li 1, Q. P. Liu 1, Z. Popowicz 2 1 Department of Mathematics China University of Mining and Technology
More informationarxiv: v1 [gr-qc] 15 Jul 2011
Comment on Hamiltonian formulation for the theory of gravity and canonical transformations in extended phase space by T P Shestakova N Kiriushcheva, P G Komorowski, and S V Kuzmin The Department of Applied
More informationarxiv: v1 [math-ph] 14 Mar 2013
arxiv:303.3438v [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
More informationNumerical Analysis Lecture Notes
Numerical Analysis Lecture Notes Peter J Olver 3 Review of Matrix Algebra Vectors and matrices are essential for modern analysis of systems of equations algebrai, differential, functional, etc In this
More informationOn a class of second-order PDEs admitting partner symmetries
On a class of second-order PDEs admitting partner symmetries M. B. Sheftel 1,2 and A. A. Malykh 2 arxiv:0904.2909v2 math-ph] 28 Jul 2009 1 Department of Physics, Boğaziçi University 34342 Bebek, Istanbul,
More informationCurves in the configuration space Q or in the velocity phase space Ω satisfying the Euler-Lagrange (EL) equations,
Physics 6010, Fall 2010 Hamiltonian Formalism: Hamilton s equations. Conservation laws. Reduction. Poisson Brackets. Relevant Sections in Text: 8.1 8.3, 9.5 The Hamiltonian Formalism We now return to formal
More informationOn bosonic limits of two recent supersymmetric extensions of the Harry Dym hierarchy
arxiv:nlin/3139v2 [nlin.si] 14 Jan 24 On bosonic limits of two recent supersymmetric extensions of the Harry Dym hierarchy S. Yu. Sakovich Mathematical Institute, Silesian University, 7461 Opava, Czech
More informationSYMMETRIES OF SECOND-ORDER DIFFERENTIAL EQUATIONS AND DECOUPLING
SYMMETRIES OF SECOND-ORDER DIFFERENTIAL EQUATIONS AND DECOUPLING W. Sarlet and E. Martínez Instituut voor Theoretische Mechanica, Universiteit Gent Krijgslaan 281, B-9000 Gent, Belgium Departamento de
More information1 Quantum fields in Minkowski spacetime
1 Quantum fields in Minkowski spacetime The theory of quantum fields in curved spacetime is a generalization of the well-established theory of quantum fields in Minkowski spacetime. To a great extent,
More informationarxiv:math-ph/ v1 25 Feb 2002
FROM THE TODA LATTICE TO THE VOLTERRA LATTICE AND BACK arxiv:math-ph/0202037v1 25 Feb 2002 (1) PANTELIS A DAMIANOU AND RUI LOJA FERNANDES Abstract We discuss the relationship between the multiple Hamiltonian
More informationSnyder noncommutative space-time from two-time physics
arxiv:hep-th/0408193v1 25 Aug 2004 Snyder noncommutative space-time from two-time physics Juan M. Romero and Adolfo Zamora Instituto de Ciencias Nucleares Universidad Nacional Autónoma de México Apartado
More informationKac-Moody Algebras. Ana Ros Camacho June 28, 2010
Kac-Moody Algebras Ana Ros Camacho June 28, 2010 Abstract Talk for the seminar on Cohomology of Lie algebras, under the supervision of J-Prof. Christoph Wockel Contents 1 Motivation 1 2 Prerequisites 1
More informationLax Representations for Matrix Short Pulse Equations
Lax Representations for Matrix Short Pulse Equations Z. Popowicz arxiv:1705.04030v1 [nlin.si] 11 May 017 May 1, 017 Institute of Theoretical Physics, University of Wrocław, Wrocław pl. M. Borna 9, 50-05
More informationLECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)
LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) IVAN LOSEV Introduction We proceed to studying the representation theory of algebraic groups and Lie algebras. Algebraic groups are the groups
More informationA dispersionless integrable system associated to Diff(S 1 ) gauge theory
DAMTP-2005-26 A dispersionless integrable system associated to Diff(S 1 gauge theory Maciej Dunajski Department of Applied Mathematics and Theoretical Physics University of Cambridge Wilberforce Road,
More informationCoupled KdV Equations of Hirota-Satsuma Type
Journal of Nonlinear Mathematical Physics 1999, V.6, N 3, 255 262. Letter Coupled KdV Equations of Hirota-Satsuma Type S.Yu. SAKOVICH Institute of Physics, National Academy of Sciences, P.O. 72, Minsk,
More informationFlat Bi-Hamiltonian Structures and Invariant Densities
Lett Math Phys (2016) 106:1415 1427 DOI 10.1007/s11005-016-0875-1 Flat Bi-Hamiltonian Structures and Invariant Densities ANTON IZOSIMOV Department of Mathematics, University of Toronto, 40 St. George Street,
More informationGroup analysis, nonlinear self-adjointness, conservation laws, and soliton solutions for the mkdv systems
ISSN 139-5113 Nonlinear Analysis: Modelling Control, 017, Vol., No. 3, 334 346 https://doi.org/10.15388/na.017.3.4 Group analysis, nonlinear self-adjointness, conservation laws, soliton solutions for the
More information(1)(a) V = 2n-dimensional vector space over a field F, (1)(b) B = non-degenerate symplectic form on V.
18.704 Supplementary Notes March 21, 2005 Maximal parabolic subgroups of symplectic groups These notes are intended as an outline for a long presentation to be made early in April. They describe certain
More informationCanonicity of Bäcklund transformation: r-matrix approach. I. arxiv:solv-int/ v1 25 Mar 1999
LPENSL-Th 05/99 solv-int/990306 Canonicity of Bäcklund transformation: r-matrix approach. I. arxiv:solv-int/990306v 25 Mar 999 E K Sklyanin Laboratoire de Physique 2, Groupe de Physique Théorique, ENS
More informationA Note on Poisson Symmetric Spaces
1 1 A Note on Poisson Symmetric Spaces Rui L. Fernandes Abstract We introduce the notion of a Poisson symmetric space and the associated infinitesimal object, a symmetric Lie bialgebra. They generalize
More informationThe Helically Reduced Wave Equation as a Symmetric Positive System
Utah State University DigitalCommons@USU All Physics Faculty Publications Physics 2003 The Helically Reduced Wave Equation as a Symmetric Positive System Charles G. Torre Utah State University Follow this
More informationMatrix Algebra Lecture Notes. 1 What is Matrix Algebra? Last change: 18 July Linear forms
Matrix Algebra Lecture Notes Last change: 18 July 2017 1 What is Matrix Algebra? 1.1 Linear forms It is well-known that the total cost of a purchase of amounts (in kilograms) g 1, g 2, g 3 of some goods
More informationHamilton-Jacobi Formulation of A Non-Abelian Yang-Mills Theories
EJTP 5, No. 17 (2008) 65 72 Electronic Journal of Theoretical Physics Hamilton-Jacobi Formulation of A Non-Abelian Yang-Mills Theories W. I. Eshraim and N. I. Farahat Department of Physics Islamic University
More informationLECTURE 3. RATIONAL NUMBERS: AN EXAMPLE OF MATHEMATICAL CONSTRUCT
ANALYSIS FOR HIGH SCHOOL TEACHERS LECTURE 3. RATIONAL NUMBERS: AN EXAMPLE OF MATHEMATICAL CONSTRUCT ROTHSCHILD CAESARIA COURSE, 2011/2 1. Rational numbers: how to define them? Rational numbers were discovered
More informationRepresentations of Sp(6,R) and SU(3) carried by homogeneous polynomials
Representations of Sp(6,R) and SU(3) carried by homogeneous polynomials Govindan Rangarajan a) Department of Mathematics and Centre for Theoretical Studies, Indian Institute of Science, Bangalore 560 012,
More information2. Examples of Integrable Equations
Integrable equations A.V.Mikhailov and V.V.Sokolov 1. Introduction 2. Examples of Integrable Equations 3. Examples of Lax pairs 4. Structure of Lax pairs 5. Local Symmetries, conservation laws and the
More informationWeek 1. 1 The relativistic point particle. 1.1 Classical dynamics. Reading material from the books. Zwiebach, Chapter 5 and chapter 11
Week 1 1 The relativistic point particle Reading material from the books Zwiebach, Chapter 5 and chapter 11 Polchinski, Chapter 1 Becker, Becker, Schwartz, Chapter 2 1.1 Classical dynamics The first thing
More informationA Very General Hamilton Jacobi Theorem
University of Salerno 9th AIMS ICDSDEA Orlando (Florida) USA, July 1 5, 2012 Introduction: Generalized Hamilton-Jacobi Theorem Hamilton-Jacobi (HJ) Theorem: Consider a Hamiltonian system with Hamiltonian
More informationarxiv: v1 [math-ph] 4 May 2016
arxiv:1605.01173v1 [math-ph] 4 May 2016 On the Classifications of Scalar Evolution Equations with Non-constant Separant Ayşe Hümeyra BİLGE Faculty of Engineering and Natural Sciences, Kadir Has University,
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationarxiv:nlin/ v2 [nlin.si] 22 Sep 2006
Classification of integrable Hamiltonian hydrodynamic chains associated with Kupershmidt s brackets E.V. Ferapontov K.R. Khusnutdinova D.G. Marshall and M.V. Pavlov arxiv:nlin/0607003v2 [nlin.si] 22 Sep
More informationBreaking soliton equations and negative-order breaking soliton equations of typical and higher orders
Pramana J. Phys. (2016) 87: 68 DOI 10.1007/s12043-016-1273-z c Indian Academy of Sciences Breaking soliton equations and negative-order breaking soliton equations of typical and higher orders ABDUL-MAJID
More information