New Neumann System Associated with a 3 × 3 Matrix Spectral Problem

The nonlinearization approach of Lax pair is applied to the case of the Neumann constraint associated with a 3 × 3 matrix spectral problem, from which a new Neumann system is deduced and proved to be completely integrable in the Liouville sense. As an application, solutions of the first nontrivial equation related to the 3 × 3 matrix spectral problem are decomposed into solving two compatible Hamiltonian systems of ordinary differential equations.


Introduction
Soliton equations are nonlinear partial differential equations described by infinite-dimensional integrable systems and have various beautiful algebraic and geometric properties [1][2][3][4][5].It has been shown that the nonlinearization of spectral problems (NSPs) approach is a powerful tool to study soliton equations.According to this method which was first introduced by Cao [6], each (1 + 1)-dimensional soliton equation is decomposed into two ordinary differential equations: one is spatial and the other is temporal.The resulting decomposition not only inherits many integrable properties from soliton equations such as possessing Lax pairs, but also provides an effective way to derive explicit solutions of soliton equations.
During the 1990s, the method of NSPs has attracted great interest in the soliton field and has been applied to a large number of soliton equations associated with 2 × 2 matrix spectral problems [7][8][9][10][11][12][13][14].Furthermore, based on the Cao's nonlinearization technique, the work by Zhou and Qiao is the first time to develop the nonlinearization approach to find the algebrogeometric solutions for integrable systems in both continuous and discrete cases [15][16][17][18][19][20].However, due to the complexity of higher-order matrix spectral problems, there is not much research on NSPs for soliton equations associated with higher-order matrix spectral problems [21][22][23][24][25][26][27].In addition, because of the limitation of the Riemann theory, the algebrogeometric solutions of the soliton equations associated with 3 × 3 matrix spectral problems cannot be obtained with the aid of the nonlinearization technique.
In this paper, we will study the following soliton equation with the help of the method of NSPs: Equation ( 1) is first proposed in [28] and associated with the 3 × 3 matrix spectral problem In [28], Geng and Du have obtained some explicit solutions, which include soliton and periodic solutions.If  = 0, (1) can be reduced to a couple of equations in  and V, which can be presented as 2

Advances in Mathematical Physics
The corresponding Lax pair for the reduced system is as follows: The aim of the present paper is to derive the corresponding finite-dimensional Hamiltonian system associated with the 3 × 3 matrix spectral problem, which is proved to be completely integrable in the Liouville sense.As an application, solutions of (1) are decomposed into solving two compatible Hamiltonian systems of ordinary differential equations.
The paper is organized as follows.In Section 2, we will introduce the Neumann constraint between the potentials and eigenfunctions of the 3 × 3 matrix spectral problem (2).Under this constraint, we obtain a new Neumann system and a generating function of integrals of motion.In Section 3, the generating function approach is used to calculate the involutivity of integrals of motion, by which the Neumann system is further proved to be completely integrable in the Liouville sense.In Section 4, we will reveal the relation between the Neumann system and (1).Solutions of (1) are decomposed into solving two compatible Hamiltonian systems of ordinary differential equations.

A New Neumann System
In this section, we first consider the stationary zero-curvature equation of the spectral problem (2) and its auxiliary problem; that is, where Substituting ( 6) into (5) yields the Lenard equation: where  and  are two skew-symmetric operators defined by in which we denote  by   for convenience.Expanding entries , , and  as the Laurent expansions in then (7) leads to where  −1 = (  ,   ,   )  .We can choose the first two members as In order to calculate the functional gradient of the eigenvalue with regard to the potentials, we introduce the spectral problem where . .,   be  distinct nonzero eigenvalues; then the systems associated with ( 12) can be written in the form where A direct calculation gives rise to the functional gradient of the eigenvalue   with regard to the potentials , V, and : Now we consider the Neumann constraint which can be written as where ⟨⋅, ⋅⟩ is the standard inner-product in R  ,   = (  1 , . . .,    )  ,   = (  1 , . . .,    )  .From ( 13) and the third expression of ( 16), it is easy to see that where Λ = diag( 1 , . . .,   ).Substituting ( 16) and ( 17) into (13), we obtain the following new Neumann system on a (6− 2)-dimensional manifold : with the manifold  being defined by Consider the following function : Through a direct calculation we have in which the poisson bracket of two functions is defined as Introduce a modified function Ĥ: where  and  are two Lagrangian multipliers: This means that Ĥ is tangent to the manifold .Therefore, (18) can be represented as the standard canonical equation on : On the other hand, through tedious calculations we obtain where Then the solution of the Lenard equation  =  with parameter  can be written as where , and   satisfies ( − )  = 0 under the Neumann constraint (16).

The Liouville Integrability
Now we introduce a Lax matrix by Through a direct calculation we can prove that V  and  − V  are two solutions of   = [, ], where  is a 3 × 3 unit matrix and  is a parameter.Then F (2)  = det V  and F  = det( − V  ) are independent of .It is easy to see that where In order to generate the Hamiltonians, we take the following notations Substituting the Laurent expansion of    into (32) we have where We can prove the following assertion.
In order to guarantee that the Hamiltonians are tangent to the constrained manifold , we calculate that The Lagrangian multipliers are given by Thus the modified functions are tangent to the manifold  and are in involution in pairs on ; that is Proposition 2. The 3 1-forms  (0)  ,  (1)   ,  (2)   (0 ≤  ≤  − 1, 0 ≤  ≤ , 1 ≤  ≤  − 1) are linearly independent.
Proposition 3. The Neumann system defined by (18) is completely integrable in the Liouville sense on .

The Representation of Solutions
In this section, we will give the representation of solutions for (1).To this end, we denote the variable of Ĥ1 -flow by , where and  1 is the Lagrangian multiplier Then the canonical equation of the Ĥ1 -flow on  is (59) On the other hand, combining ( 18), (16), and ( 17 (60) Then we arrive at which is (1).Therefore we obtain the following result.