The algebraic structure of the non-commutative nonlinear Schrodinger and modified Korteweg-de Vries hierarchy

Gordon Blower,Simon J.A. Malham
2023-03-14
Abstract:We prove that each member of the non-commutative nonlinear Schrodinger and modified Korteweg--de Vries hierarchy is a Fredholm Grassmannian flow, and for the given linear dispersion relation and corresponding equivalencing group of Fredholm transformations, is unique in the class of odd-polynomial partial differential fields. Thus each member is linearisable and integrable in the sense that time-evolving solutions can be generated by solving a linear Fredholm Marchenko equation, with the scattering data solving the corresponding linear dispersion equation. At each order, each member matches the corresponding non-commutative Lax hierarchy field which thus represent odd-polynomial partial differential fields. We also show that the cubic form for the non-commutative sine--Gordon equation corresponds to the first negative order case in the hierarchy, and establish the rest of the negative order non-commutative hierarchy. To achieve this, we construct an abstract combinatorial algebra, the Poppe skew-algebra, that underlies the hierarchy. This algebra is the non-commutative polynomial algebra over the real line generated by compositions, endowed with the Poppe product -- the product rule for Hankel operators pioneered by Ch. Poppe for classical integrable systems. Establishing the hierarchy members at non-negative orders, involves proving the existence of a `Poppe polynomial' expansion for basic compositions in terms of `linear signature expansions' representing the derivatives of the underlying non-commutative field. The problem boils down to solving a linear algebraic equation for the polynomial expansion coefficients, at each order.
Exactly Solvable and Integrable Systems,Mathematical Physics,Analysis of PDEs
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove that each member in the non - commutative nonlinear Schrödinger equation and the modified Korteweg - de Vries (mKdV) hierarchy is a Fredholm Grassmannian flow, and is unique in the class of odd - polynomial partial differential fields under a given linear dispersion relation and the corresponding equivalent group of Fredholm transformations. In addition, the paper also aims to show the linearization and integrability of these hierarchy members, that is, solutions evolving with time can be generated by solving the linear Fredholm Marchenko equation, where the scattering data satisfy the corresponding linear dispersion equation. To achieve this goal, the author constructs an abstract combinatorial algebra - the Pöppe skew - algebra, which is a non - commutative polynomial algebra composed of combinations generated on the real line and equipped with the Pöppe product - the multiplication rule of Hankel operators pioneered by Ch. Pöppe for classical integrable systems. By establishing this algebra, the paper solves the construction problem of the non - commutative hierarchy of negative orders, in particular, it is proved that the cubic form of the non - commutative sine - Gordon equation corresponds to the first negative - order case in the hierarchy. Specifically, the key contributions of the paper are as follows: 1. **Introduction and development of new abstract non - commutative algebras**: These algebras are algebras \(C\langle Z_0\rangle\) in the form of non - negative integer monomials, equipped with a quasi - Leibniz - type multiplication based on the Pöppe product, and its skew - form sub - algebra \(C[Z_0]\). 2. **Constructive proof**: For the non - commutative nonlinear Schrödinger and modified Korteweg - de Vries hierarchies, there exists a unique hierarchy member in the class of odd - polynomial partial differential fields at each non - negative order. The proof also establishes that the solution flow of each member is a Fredholm Grassmannian flow and is thus linearized in this sense. 3. **Simple proof of the non - commutative Lax hierarchy**: A simple proof of the non - commutative Lax hierarchy is given in this context, and it is immediately established that at each non - negative order, the unique hierarchy member in (ii) is consistent with the corresponding Lax hierarchy member. 4. **Establishment of non - commutative Lax hierarchy members of negative orders**: It is proved that the first negative - order non - commutative Lax hierarchy member is the cubic form of the non - commutative sine - Gordon equation, and it is shown how to generate the remaining non - commutative hierarchies of negative orders. These results not only deepen the understanding of non - commutative integrable systems but also provide a new method for dealing with and analyzing such systems.