Lax Pairs for Edge-constrained Boussinesq Systems of Partial Difference Equations

TL;DR

This paper applies an existing method to derive minimal Lax pairs for edge-constrained Boussinesq systems of partial difference equations, revealing gauge equivalences and extending computational tools for integrability analysis.

Contribution

It adapts the Nijhoff and Bobenko & Suris method to edge-constrained systems, deriving minimal 3x3 Lax matrices and 4x4 matrices, and explores gauge transformations and software implementation.

Findings

Derived minimal 3x3 Lax matrices for Boussinesq systems.

Established gauge equivalence among different Lax matrices.

Extended software capabilities for Lax pair computation.

Abstract

The method due to Nijhoff and Bobenko & Suris to derive Lax pairs for partial difference equations (PDeltaEs) is applied to edge constrained Boussinesq systems. These systems are defined on a quadrilateral. They are consistent around the cube but they contain equations defined on the edges of the quadrilateral. By properly incorporating the edge equations into the algorithm, it is straightforward to derive Lax matrices of minimal size. The 3 by 3 Lax matrices thus obtained are not unique but shown to be gauge-equivalent. The gauge matrices connecting the various Lax matrices are presented. It is also shown that each of the Boussinesq systems admits a 4 by 4 Lax matrix. For each system, the gauge-like transformations between Lax matrices of different sizes are explicitly given. To illustrate the analogy between continuous and lattice systems, the concept of gauge-equivalence of Lax pairs of nonlinear partial differential equations is briefly discussed. The method to find Lax pairs of PDeltaEs is algorithmic and is being implemented in Mathematica. The Lax pair computations for this chapter helped further improve and extend the capabilities of the software under development.