1. Introduction
Boussinesq equation
(1)
is one of the difficult soliton equations, which has been paid common attention in physical and mathematical fields [1] - [6]. In 1983, H. Flaschka put forward a problem of the third order differential operator associated with the Boussinesq Neumann system [7]. Some works focus on the decomposition and the structures of the Modified Boussinesq equation [8] [9] [10] [11]. The decomposition of the Boussinesq Neumann system has not been done thoroughly for a long time. A Neumann system of the Boussinesq equation associated with the third order differential operator is obtained in this paper, which is the extension of the famous KdV Neumann system associated with the second order differential operator. There are many methods to deal with the integrability and involutivity [12] [13] [14]. A generating function method starting from the Lax-Moser matrix [15] - [20] is used to give an effective way to prove the involutivity of integrals.
2. The Generating Function of Integrals
Let be the phase space. The canonical coordinates are
Write
for short. Take , where are distinct spectral constants. We denote:
where X and Y are two N dimensional vectors.
For any matrix , the element of its adjoint is , where is the cofactor of the element in M.
In order to proof the Liouville integrability of the Hamiltonian system, consider the Lax-Moser matrix defined as:
(2)
where
Let . Then we have the generating function of integrals:
(3)
where
A series of polynomials , are defined as the coefficients of the power series expansions as :
The first few are expressed as :
By comparing the coefficients of the same power of , general explicit formulas are obtained:
Expand in non-negative power of :
as . By comparing the coefficients of the same power of , we have:
3. The Involutivity of Integrals
The involutivity is critical to the integrability of the Hamiltonian system, which is defined as the Poisson bracket of two conserved integrals being zero. A direct calculation gives:
Proposition 1. The Hamiltonian system for the -flow is expressed as:
(4)
where
Proof. From the Equation (3) and the property of Hamiltonian system, we calculate the partial derivatives of and with respect to , then the results are obtained.
Lemma 2. satisfies the Lax equation along the -flow:
Proof.
Proposition 3. satisfies the Lax equation along the -flow:
(5)
Proof. can be expressed by as:
Resorting to Lemma 2, we have:
Lemma 4. The two determinants are true as :
(6)
(7)
From (6) and (7), we have:
(8)
(9)
(10)
where , and are polynomials of degree . From (8)-(10), another group of conserved integrals is obtained:
From the definition of involutivity of two conserved integrals and direct calcultion, we have:
Proposition 5. The integrals
are involutive in pairs:
(11)
(12)
(13)
(14)
(15)
4. Hamiltonian Systems
By direct calculations, the canonical equations of the Hamiltonian systems and can be expressed as:
(16)
where are matrices:
Proposition 6. Let be compatible solution of the and flow on the level set . Then the Boussinesq Equation (1) has a finite-parameter solution given as:
(17)
Proof. A direct calculation gives:
So from the above calculations and (16), we have:
and
which is exactly the “good” Boussinesq Equation (1).
5. Conclusion
The third order differential operator associated with the Boussinesq Neumann system is a critical point in researching problems of integrable system. In this paper, we obtain a Neumann system of the Boussinesq equation associated with the third order differential operator, which is the extension of the famous KdV Neumann system associated with the second order differential operator. By means of generating function from the Lax-Moser matrix, we prove the involutivity of integrals successfully. Meanwhile, a finite-parameter solution to the Boussinesq equation is obtained naturally.
Acknowledgements
This work is supported by the Foundation (Grant No. 11601123 and 202010463050).
[1] Tu, G.Z. (1981) The Backlund Transformation and Conserved Law for the Boussinesq Equation. Acta Mathematicae Applicatae Sinica, 1, 63-68.
[2] Deift, P., Tomei, C. and Trubowitz, E. (1982) Inverse Scattering and the Boussinesq Equation. Communications on Pure and Applied Mathematics, 35, 567-628.
https://doi.org/10.1002/cpa.3160350502
[3] Ortega, T. and Sanz-Serna, J.M. (1990) Nonlinear Stability and Convergence of Finite-Difference Methods for the “Good” Boussinesq Equation. Numerische Mathematik, 58, 215-229.
https://doi.org/10.1007/BF01385620
[4] Schaffer, H.A., Madsen, P.A. and Deigaard, R. (1993) A Boussinesq Model for Waves Breaking in Shallow Water. Coastal Engineering, 20, 185-202.
https://doi.org/10.1016/0378-3839(93)90001-O
[5] Hu, X.B., Li, Y. and Liu, Q.M. (1993) Nonlinear Superposition Formula of the Boussinesq Hierarchy. Acta Mathematicae Applicatae Sinica, 1, 17-27.
[6] Ma, W.X. (1993) On the Complete Integrability of Nonlinearized Lax Systems for the Classical Boussinesq Hierarchy. Acta Mathematicae Applicatae Sinica, 1, 92-96.
[7] Flaschka, H. (1983) Relations between Infinite-Dimensional and Finite-Dimensional Isospectral Equations. Proceedings of RIMS Symposium on Nonlinear Integrable Systems, Kyoto, Japan, World Sci. Pub., Singapore, 219-239.
[8] Zeng, Y.B. (1995) The Variable Separation of the Modified Boussinesq. Annual Mathematics, 1, 50-59.
[9] Conte, R., Musette, M. and Pickering, A. (1995) The Two-Singular Manifold Method: II. Classical Boussinesq System. Journal of Physics A: Mathematical and General, 28, 179-187.
https://doi.org/10.1088/0305-4470/28/1/020
[10] Dai, H.H. and Geng, X.G. (2003) Finite-Dimensional Integrable Systems through the Decomposition of a Modified Boussinesq Equation. Physics Letters A, 317, 389-400.
https://doi.org/10.1016/j.physleta.2003.08.049
[11] Dougalis, V.A., Durn, A., Lpez-Marcos, M.A. and Mitsotakis, D.E. (2007) A Numerical Study of the Stability of Solitary Waves of the Bona-Smith Family of Boussinesq Systems. Journal of Nonlinear Science, 17, 569-607.
https://doi.org/10.1007/s00332-007-9004-8
[12] Lax, P.D. (1968) Integrals of Nonlinear Equations of Evolution and Solitary Waves. Communications on Pure and Applied Mathematics, 21, 467-490.
https://doi.org/10.1002/cpa.3160210503
[13] Ma, W.X. (1990) The Confocal Involutive Systems and the Integrability of the Nonlinearized Lax Systems of AKNS Hierarchy. In: Gu, C., Li, Y., Tu, G. and Zeng, Y., Eds., Nonlinear Physics, Research Reports in Physics, Springer-Verlag, Berlin, 79-84.
https://doi.org/10.1007/978-3-642-84148-4_10
[14] Wang, X., Cao, J.L. and Chen, Y. (2015) Higher-Order Rogue Wave Solutions of the Three-Wave Resonant Interaction Equation via the Generalized Darboux Transformation. Physica Scripta, 90, 10.
https://doi.org/10.1088/0031-8949/90/10/105201
[15] Cao, C.W. (1990) Nonlinearization of the Lax System for AKNS Hierarchy. Science China A, 33, 528-536.
[16] Cao, C.W. and Cao, J.L. (2006) On an Integrable (2+1) Dimensional Korteweg-de Vries Equation with a Discrete Variable. Il Nuovo Cimento B, 121, 675-687.
[17] Cao, C.W. and Cao, J.L. (2007) An Integrable (2+1)-Dimensional Toda Equation with Two Discrete Variables. Physics Letters A, 365, 301-308.
https://doi.org/10.1016/j.physleta.2007.01.028
[18] Cao, J.L. (2007) Finite Parameter Solutions to the Manakov and the Derivative Manakov Equations. Chinese Quarterly Journal of Mathematics, 22, 236-244.
[19] Cao, J.L., Zhang, H. and Jiao, W.T. (2008) Coupled KdV Equations and Their Explicit Solutions Through Two-Dimensional Hamiltonian System with a Quartic Potential. Communications in Theoretical Physics, 49, 1379-1382.
https://doi.org/10.1088/0253-6102/49/6/04
[20] Cao, J.L. and Shi, W. (2013) A New Integrable Generalized Neumann System Related to Soliton Hierarchy. Chaos, Solitons and Fractals, 47, 13-17.
https://doi.org/10.1016/j.chaos.2012.11.005