Search

In this paper, we investigate multidimensional first-order quasi-linear systems and find necessary conditions for them to admit Hamiltonian formulation. The insufficiency of the conditions is related to the Poisson cohomology of the admissible Hamiltonian operators. We present in detail the examples of two-dimensional, two-components systems of hydrodynamic type and of a real reduction of the 3-waves system.

In a recent series of papers by Lou et al., it was conjectured that higher dimensional integrable equations may be constructed by utilizing some conservation laws of (1 + 1)-dimensional systems. We prove that the deformation algorithm introduced in arXiv:2211.06844, applied to Lax integrable $(1+1)$-dimensional systems, produces Lax integrable higher imensional systems. The same property is enjoyed by the generalized deformation algorithm introduced in [Lou,Jia,Hao. Chinese Phys. Lett. 2023]; we present a novel example of a $(2+1)$-dimensional deformation of KdV equation obtained by generalized deformation. The deformed systems obtained by such procedure, however, pose a serious challenge because most of the mathematical structures that the $(1+1)$-dimensional systems possess is lost., Comment: 9 pages

We implement an algorithm for the computation of Schouten bracket of weakly nonlocal Hamiltonian operators in three different computer algebra systems: Maple, Reduce and Mathematica. This class of Hamiltonian operators encompass almost all the examples coming from the theory of (1+1)-integrable evolutionary PDEs, Comment: 30 pages. Keywords: Poisson bracket, Hamiltonian operator, Schouten bracket, partial differential equations, integrable systems

In this paper we extensively study the notion of Hamiltonian structure for nonabelian differential-difference systems, exploring the link between the different algebraic (in terms of double Poisson algebras and vertex algebras) and geometric (in terms of nonabelian Poisson bivectors) definitions. We introduce multiplicative double Poisson vertex algebras (PVAs) as the suitable noncommutative counterpart to multiplicative PVAs, used to describe Hamiltonian differential-difference equations in the commutative setting, and prove that these algebras are in one-to-one correspondence with the Poisson structures defined by difference operators, providing a sufficient condition for the fulfilment of the Jacobi identity. Moreover, we define nonabelian polyvector fields and their Schouten brackets, for both finitely generated noncommutative algebras and infinitely generated difference ones: this allows us to provide a unified characterisation of Poisson bivectors and double quasi-Poisson algebra structures. Finally, as an application we obtain some results towards the classification of local scalar Hamiltonian difference structures and construct the Hamiltonian structures for the nonabelian Kaup, Ablowitz-Ladik and Chen-Lee-Liu integrable lattices., Comment: 66 pages - final version

In this paper, we carry out the algebraic study of integrable differential-difference equations whose field variables take values in an associative (but not commutative) algebra. We adapt the Hamiltonian formalism to nonabelian difference Laurent polynomials and describe how to obtain a recursion operator from the Lax representation of an integrable nonabelian differential-difference system. As an application, we propose a novel family of integrable equations: the nonabelian Narita-Itoh-Bogoyavlensky lattice, for which we construct their recursion operators and Hamiltonian operators and prove the locality of infinitely many commuting symmetries generated from their highly nonlocal recursion operators. Finally, we discuss the nonabelian version of several integrable difference systems, including the relativistic Toda chain and Ablowitz-Ladik lattice., Comment: 32 pages. Version accepted for publication in Nonlinearity (2020)

In this paper we extend to the difference case the notion of Poisson-Lichnerowicz cohomology, an object encapsulating the building blocks for the theory of deformations of Hamiltonian operators. A local scalar difference Hamiltonian operator is a polynomial in the shift operator and its inverse, with coefficients in the algebra of difference functions, endowing the space of local functionals with the structure of a Lie algebra. Its Poisson-Lichnerowicz cohomology carries the information about the center, the symmetries and the admissible deformations of such algebra. The analogue notion for the differential case has been widely investigated: the first and most important result is the triviality of all but the lowest cohomology for first order Hamiltonian differential operators, due to Getzler arXiv:math/0002164 . We study the Poisson-Lichnerowicz cohomology for the operator $K_0 = \mathcal{S} - \mathcal{S}^{-1}$, which is the normal form for $(-1,1)$ order scalar difference Hamiltonian operators; we obtain the same result as Getzler did, namely $H^p(K_0)=0$ $\forall p > 1$, and explicitly compute $H^0(K_0)$ and $H^1(K_0)$. We then apply our main result to the classification of lower order scalar Hamiltonian operators recently obtained by De Sole, Kac, Valeri and Wakimoto arXiv:1806.05536, Comment: 32 pages

The theory of multidimensional Poisson vertex algebras (mPVAs) provides a completely algebraic formalism to study the Hamiltonian structure of PDEs, for any number of dependent and independent variables. In this paper, we compute the cohomology of the PVAs associated with two-dimensional, two-components Poisson brackets of hydrodynamic type at the third differential degree. This allows us to obtain their corresponding Poisson-Lichnerowicz cohomology, which is the main building block of the theory of their deformations. Such a cohomology is trivial neither in the second group, corresponding to the existence of a class of not equivalent infinitesimal deformation, nor in the third, corresponding to the obstruction to extend such deformations, Comment: 28 pages. This version includes an explicit example of 2d biHamiltonian equation and a better Introduction

We classify the dispersive Poisson brackets with one dependent variable and two independent variables, with leading order of hydrodynamic type, up to Miura transformations. We show that, in contrast to the case of a single independent variable for which a well known triviality result exists, the Miura equivalence classes are parametrised by an infinite number of constants, which we call numerical invariants of the brackets. We obtain explicit formulas for the first few numerical invariants., Comment: 19 pages

We give an introduction to the Mathematica packages "MasterPVA" and "MasterPVAmulti used to compute lambda-brackets in Poisson vertex algebras, which play an important role in the theory of infinite-dimensional Hamiltonian systems. As an application, we give an introduction to the Mathematica package "WAlg" aimed to compute the lambda-brackets among the generators of classical affine W-algebras. The use of these packages is shown by providing some explicit examples., Comment: 29 pages, 31 figures. Revised structure and better title, improved the W(G2,f) example

We compute the Poisson cohomology of a scalar Poisson bracket of Dubrovin-Novikov type with $D$ independent variables. We find that the second and third cohomology groups are generically non-vanishing in $D>1$. Hence, in contrast with the $D=1$ case, the deformation theory in the multivariable case is non-trivial., Comment: 23 pages. Typos corrected, add explicit form of homotopy contraction operator

Euler's equations for a two-dimensional system can be written in Hamiltonian form, where the Poisson bracket is the Lie-Poisson bracket associated to the Lie algebra of divergence free vector fields. We show how to derive the Poisson brackets of 2d hydrodynamics of ideal fluids as a reduction from the one associated to the full algebra of vector fields. Motivated by some recent results about the deformations of Lie-Poisson brackets of vector fields, we study the dispersive deformations of the Poisson brackets of Euler's equation and show that, up to the second order, they are trivial., Comment: 11 pages

The theory of Poisson Vertex Algebras (PVAs) is a good framework to treat Hamiltonian partial differential equations. A PVA consists of a pair $(\mathcal{A},\{\cdot_\lambda\cdot\})$ of a differential algebra $\mathcal{A}$ and a bilinear operation called the $\lambda$-bracket. We extend the definition to the class of algebras $\mathcal{A}$ endowed with $d\geq1$ commuting derivations. We call this structure a \emph{multidimensional PVA}: it is a suitable setting to study Hamiltonian PDEs with $d$ spatial dimensions. We apply this theory to the study of deformations of the Poisson brackets of hydrodynamic type for $d=2$., Comment: Revision with shorter exposition of the content of Sec 2 and new results about first cohomology groups. 50 pages. Reference and equation numbers fixed with respect to version 3