## Study of Integrability and Exact Solutions for Nonlinear Evolution Equations

View this Special IssueResearch Article | Open Access

# Consecutive Rosochatius Deformations of the Garnier System and the Hénon-Heiles System

**Academic Editor:**Weiguo Rui

#### Abstract

An algorithm of constructing infinitely many symplectic realizations of generalized sl(2) Gaudin magnet is proposed. Based on this algorithm, the consecutive Rosochatius deformations of integrable Hamiltonian systems are presented. As examples, the consecutive Rosochatius deformations of the Garnier system and the Hénon-Heiles system as well as their Lax representations, are obtained.

#### 1. Introduction

Usually the integrability of a Hamiltonian system is destroyed even with a very small perturbation. As early as in 1877, Rosochatius first discovered that it would keep the integrability to add a potential of the sum of inverse squares of the coordinates to that of the Neumann system [1, 2]. This provides an interesting example of integrable perturbation. Nowadays, the resulting system is called the Neumann-Rosochatius system [3–7]. In 1985, Wojciechowski gained an analogy system (called Garnier-Rosochatius system) for the Garnier system [8, 9]. Later in 1999, based on the Deift technique and a well-known theorem that the Gauss map transforms the Neumann system to the Jacobi system, Kubo et al. constructed the analogy system for the Jacobi system or the geodesic flow equation on the ellipsoid [10–12]. In 2007, one of the authors (Zhou) generalized the Rosochatius deformations of the constrained soliton flows [13], and then the method has been extended to construct the integrable deformations of the symplectic maps [14] and the soliton equations with self-consistent sources [15].

There appear some important physical and mathematical applications of Rosochatius deformed integrable systems. For example, the Neumann-Rosochatius system can be used to describe the dynamics of a rotating closed string and the membranes [16, 17], the Garnier-Rosochatius system can be used to solve the multicomponent coupled nonlinear Schödinger equation [18, 19], and the Rosochatius deformation of the KdV equation with self-consistent sources can be used to establish the bi-Hamiltonian structure of the KdV6 equation [20].

Recently, we proposed an approach to generate integrable Rosochatius deformations of the Neumann system consecutively [21]. The Lax matrix of the -copies of Neumann system is of the form of classical sl(2) Gaudin magnet defined on the -dimensional submanifold. In this paper, we would like to show that the approach can be applied to the integrable Hamiltonian systems whose Lax matrices are of the form of the generalized Gaudin magnet. We first present an algorithm of constructing infinitely many realizations of generalized sl(2) Gaudin magnet model. Then, we describe how to generate integrable Hamiltonian systems based on the realizations of sl(2) Gaudin magnet. The Rosochatius deformation of an integrable Hamiltonian system is explained as a special case of the realizations of generalized sl(2) Gaudin magnet model. Thus, such an algorithm enables us to construct Rosochatius deformations of the integrable Hamiltonian systems consecutively. As applications, we obtain the consecutive Rosochatius deformations of the Garnier system and the Hénon-Heiles system as well as their Lax representations.

The plan of the paper is as follows. In Section 2, we propose infinitely many symplectic realizations of sl(2) Gaudin magnet and describe how to generate the integrable Hamiltonian systems based on these realizations. In Sections 3 and 4, we pay attention to studying the integrable deformations of the Garnier system and Hénon-Heiles system, respectively. Some concluding remarks are drawn in Section 5.

#### 2. The Generalized sl(2) Gaudin Magnet and Its Realizations

##### 2.1. The Realizations of the Generalized sl(2) Gaudin Magnet

We consider the Lax matrix of the form of the generalized Gaudin magnet [22, 23] where is a traceless matrix whose entries are polynomials of or and satisfy copies of the standard sl algebra with Casimirs

It is well known that the sl algebra (2) has a symplectic realization: where , are canonical coordinates on the standard symplectic space . Under the realization of (4), the Lie-Poisson brackets (2) are recovered by computing the standard Poisson bracket where , , , and are arbitrary smooth functions about and .

With a direct calculation, we observe the following proposition.

Proposition 1. *If , , and is a realization of (2), so are
**
where are arbitrary constants.*

This proposition provides us with two kinds of new realizations of sl(2) algebra (2) from a known one. Moreover, applying such two kinds of realizations in turn, we can construct an infinitely many realizations of sl(2) algebra (2). For example, from (4), we obtain the following realizations of (2):

##### 2.2. A Recipe for Generating Integrable Hamiltonian Systems Based on Realizations of sl(2) Gaudin Magnet

Now, we describe how to generate an integrable Hamiltonian system based on a symplectic realization of sl(2) Gaudin magnet. We suppose that the Lax matrix (1) satisfies an -matrix relation [24] where , , is identity matrix, is an arbitrary parameter, and denotes the commutator of the matrices, such as . According to the general theory of the -matrix [24, 25], we have

First, we expand as From (10), we have which implies that ’s are in involution in pairs. Usually, we can single out functionally independent among . Choosing a Hamiltonian , which is composed of some of ’s, we have Functionally independent and involutive pairwise integrals, , ensure that the Hamiltonian system is completely integrable in the sense of Liouville [26].

Further, substituting a realization of (2) into the Lax matrix (1) and the corresponding ’s and defined above, we finally obtain an integrable Hamiltonian system with the Hamiltonian expressed in canonical coordinates :

The above recipe shows that, once having a symplectic realization of sl(2) algebra (2), we may obtain an integrable Hamiltonian system. In the next sections, we will take the Garnier system and the Hénon-Heiles system as examples to show that the Rosochatius deformations and second Rosochatius deformations of integrable systems can be generated from the realizations of (7) and (8), respectively, according to the above recipe. Thus, applying Proposition 1 in turn enables us to consecutively construct Rosochatius deformations of the integrable Hamiltonian systems.

#### 3. Consecutive Rosochatius Deformations of the Garnier System

We take in (1) as then, the Lax matrix (1) becomes Direct calculations yield that which is equivalent to the -matrix algebra.

Proposition 2. * satisfies the -matrix relation
**
where
*

Expand as follows: where Then, we have the involutive relation

Under the realization of (4), we obtain the following Lax matrix Then, (21) becomes Here and after, and stands for the standard inner product in the Euclidean space. The Hamiltonian system with Hamiltonian reads which is nothing but the Garnier system [27, 28]. We can check directly that the Garnier system (25) allows the Lax representation: where is given by (23), and

*Example 3 (The Garnier-Rosochatius System). *From the realization of (7), we arrive at the Lax matrix
and (21) becomes
where . Choosing a Hamiltonian , we arrive at
which is just the Garnier-Rosochatius system [8, 9, 13, 29]. It can be checked easily that (30) allows the Lax representation:
where is given by (28) and is given by (27).

*Example 4 (The Second Rosochatius Deformation of the Garnier System). *Based on the realization of (8), we obtain the Lax matrix
and the integrals of motion
Choosing a Hamiltonian , we obtain an integrable Hamiltonian system
which is the second Rosochatius deformation of the Garnier system. With direct calculations, we find that (35) admits the Lax representation:
where

There is no doubt that we can consecutively construct Rosochatius deformations of the Garnier system by applying the two kinds of realizations in Proposition 1 in turn and the recipe we described in Section 2.2. Here, we only present the above two examples.

#### 4. Consecutive Rosochatius Deformations of the Hénon-Heiles System

Now, we begin with the Lax matrix of the form Defining a generating function we have We may check directly that (38) satisfies the same -matrix relation as (18). Thus, we have the involutive relation:

Now, we discuss the integrable Hamiltonian system generated by the Lax matrix (38) and its realizations. Firstly, with the realization of (4), we arrive at the following Lax matrix: and (40) becomes

The Hamiltonian system with Hamiltonian reads which is just the Hénon-Heiles system [30–32], and it allows the Lax representation: where is given by (42), and

*Example 5 (The Rosochatius Deformation of the Hénon-Heiles System). *Under realization of (7), we arrive at the Lax matrix
and (40) becomes
Taking the Hamiltonian as , we have
which is exactly the Rosochatius deformation of Hénon-Heiles system [12, 15]. It can be checked directly that (49) allows the Lax representation:
where is given by (47) and is given by (46).

*Example 6 (The Second Rosochatius Deformation of the Hénon-Heiles System). *Based on the realization of (8), we obtain the Lax matrixThe integrals of motion , , and , , can be generated from . In particular, we have
Choosing a Hamiltonian as , we arrive at an integrable Hamiltonian system
which is the second Rosochatius deformation of Hénon-Heiles system. Again, we may check that (53) allows the Lax representation:
where is given by (51) and is given by (46).

#### 5. Concluding Remarks

We have shown how to consecutively generate integrable Rosochatius deformations of the integrable Hamiltonian systems whose Lax matrices are of the form of the generalized Gaudin magnet. As applications, we obtained the consecutive Rosochatius deformations of the Garnier system and the Hénon-Heiles system together with their Lax representations. Our method is performed in a unified way. There is no doubt that our method can be applied to other constrained soliton flows [28, 32] whose Lax matrices are of the form of the generalized Gaudin magnet or the generalized Gaudin magnet with boundary. Also, we remark that our method can be used to construct consecutive Rosochatius deformations of the integrable symplectic maps and the soliton equations with self-consistent sources.

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgments

This work was partially supported by the National Natural Science Foundation of China (Grant nos. 11301229 and 11271168), the Natural Science Foundation of the Jiangsu Province (Grant no. BK20130224), and the Natural Science Foundation of the Jiangsu Higher Education Institutions of China (Grant no. 13KJB110009).

#### References

- E. Rosochatius, “Uber die Bewegung eines Punktes,”
*[Ph.D. dissertation]*, University of Gotingen, 1877. View at: Google Scholar - C. Neumann, “De problemate quodam mechanico, quod ad primam integralium ultraellipticorum classem revocatur,”
*Journal für die Reine und Angewandte Mathematik*, vol. 56, pp. 46–63, 1859. View at: Publisher Site | Google Scholar - J. Moser, “Geometry of quadrics and spectral theory,” in
*The Chern Symposium 1979*, pp. 147–188, Springer, New York, NY, USA, 1980. View at: Publisher Site | Google Scholar - M. R. Adams, J. Harnad, and E. Previato, “Isospectral hamiltonian flows in finite and infinite dimensions. I: generalized Moser systems and moment maps into loop algebras,”
*Communications in Mathematical Physics*, vol. 117, no. 3, pp. 451–500, 1988. View at: Publisher Site | Google Scholar - J. Harnad and P. Winternitz, “Classical and quantum integrable systems in 263-1263-1263-1 and separation of variables,”
*Communications in Mathematical Physics*, vol. 172, no. 2, pp. 263–285, 1995. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - C. Bartocci, G. Falqui, and M. Pedroni, “A geometric approach to the separability of the Neumann-Rosochatius system,”
*Differential Geometry and Its Application*, vol. 21, no. 3, pp. 349–360, 2004. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - C.-W. Cao and B.-Q. Xia, “From Rosochatius system to KdV equation,”
*Communications in Theoretical Physics*, vol. 54, no. 4, pp. 619–624, 2010. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - S. Wojciechowski, “Integrability of one particle in a perturbed central quartic potential,”
*Physica Scripta*, vol. 31, no. 6, pp. 433–438, 1985. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - G. Tondo, “On the integrability of stationary and restricted flows of the KdV hierarchy,”
*Journal of Physics A*, vol. 28, no. 17, pp. 5097–5115, 1995. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - R. Kubo, W. Ogura, T. Saito, and Y. Yasui, “The Gauss-Knörrer map for the Rosochatius dynamical system,”
*Physics Letters A*, vol. 251, no. 1, pp. 6–12, 1999. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Y. B. Suris, “Discrete-time analogues of some nonlinear oscillators in the inverse-square potential,”
*Journal of Physics A*, vol. 27, no. 24, pp. 8161–8169, 1994. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - A. N. W. Hone, V. B. Kuznetsov, and O. Ragnisco, “Bäcklund transformations for many-body systems related to KdV,”
*Journal of Physics A*, vol. 32, no. 27, pp. L299–L306, 1999. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - G. Zhou, “Perturbation expansion and $N$th order Fermi golden rule of the nonlinear Schrödinger equations,”
*Journal of Mathematical Physics*, vol. 48, no. 5, Article ID 053509, 23 pages, 2007. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - B. Xia and R. Zhou, “Integrable deformations of integrable symplectic maps,”
*Physics Letters A*, vol. 373, no. 47, pp. 4360–4367, 2009. View at: Publisher Site | Google Scholar - Y. Q. Yao and Y. B. Zeng, “Integrable rosochatius deformations of higher-order constrained flows and the soliton hierarchy with self-consistent sources,”
*Journal of Physics A*, vol. 41, no. 29, Article ID 295205, 2008. View at: Publisher Site | Google Scholar - H. Dimov and R. C. Rashkov, “A note on spin chain/string duality,”
*International Journal of Modern Physics A*, vol. 20, no. 18, pp. 4337–4353, 2005. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - P. Bozhilov, “Neumann and Neumann-Rosochatius integrable systems from membranes on Ad S
_{4}× S^{7},”*Journal of High Energy Physics*, no. 8, article 073, 21 pages, 2007. View at: Publisher Site | Google Scholar | MathSciNet - N. A. Kostov, “Quasi-periodic solutions of the integrable dynamical systems related to Hill's equation,”
*Letters in Mathematical Physics A*, vol. 17, no. 2, pp. 95–108, 1989. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - P. L. Christiansen, J. C. Eilbeck, V. Z. Enolskii, and N. A. Kostov, “Quasi-periodic and periodic solutions for coupled nonlinear Schrödinger equations of Manakov type,”
*Proceedings of the Royal Society of London A*, vol. 456, no. 2001, pp. 2263–2281, 2000. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Y. Yao and Y. Zeng, “The Bi-hamiltonian structure and new solutions of KdV6 equation,”
*Letters in Mathematical Physics*, vol. 86, no. 2-3, pp. 193–208, 2008. View at: Publisher Site | Google Scholar - B. Q. Xia and R. G. Zhou, “Consecutive Rosochatius deformations of the Neumann system,”
*Journal of Mathematical Physics*, vol. 54, no. 10, Article ID 103514, 2013. View at: Publisher Site | Google Scholar - V. B. Kuznetsov, “Quadrics on real Riemannian spaces of constant curvature: separation of variables and connection with Gaudin magnet,”
*Journal of Mathematical Physics*, vol. 33, no. 9, pp. 3240–3254, 1992. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - J. C. Eilbeck, V. Z. Ènolskiĭ, V. B. Kuznetsov, and A. V. Tsiganov, “Linear $r$-matrix algebra for classical separable systems,”
*Journal of Physics A*, vol. 27, no. 2, pp. 567–578, 1994. View at: Publisher Site | Google Scholar | MathSciNet - O. Babelon and C.-M. Viallet, “Hamiltonian structures and Lax equations,”
*Physics Letters B*, vol. 237, no. 3-4, pp. 411–416, 1990. View at: Publisher Site | Google Scholar | MathSciNet - Z. Qiao, “Generalized $r$-matrix structure and algebro-geometric solution for integrable system,”
*Reviews in Mathematical Physics A*, vol. 13, no. 5, pp. 545–586, 2001. View at: Publisher Site | Google Scholar | MathSciNet - V. I. Arnold,
*Mathematical Methods of Classical Mechanics*, Springer, Berlin, Germany, 1978. View at: MathSciNet - R. Garnier, “Sur une classe de systèmes différentiels abéliens déduits de la théorie des équations linéaires,”
*Rendiconti del Circolo Matematico di Palermo*, vol. 43, no. 1, pp. 155–191, 1919. View at: Publisher Site | Google Scholar - C. W. Cao and X. G. Geng, “Classical integrable systems generated through nonlinearization of eigenvalue problems,” in
*Nonlinear Physics*, C. H. Gu, Y. S. Li, and G. Z. Tu, Eds., Research Reports in Physics, pp. 66–78, Springer, Berlin, Germany, 1990. View at: Publisher Site | Google Scholar - B. Xia, “A hierarchy of Garnier-Rosochatius systems,”
*Journal of Mathematical Physics*, vol. 52, no. 6, Article ID 063506, 11 pages, 2011. View at: Publisher Site | Google Scholar | MathSciNet - M. Hénon and C. Heiles, “The applicability of the third integral of motion: some numerical experiments,”
*Astronomical Journal*, vol. 69, p. 73, 1964. View at: Publisher Site | Google Scholar - Y. F. Chang, M. Tabor, and J. Weiss, “Analytic structure of the Hénon-Heiles Hamiltonian in integrable and nonintegrable regimes,”
*Journal of Mathematical Physics*, vol. 23, no. 4, pp. 531–538, 1982. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - M. Antonowicz and S. Rauch-Wojciechowski, “Bi-Hamiltonian formulation of the Hénon-Heiles system and its multidimensional extensions,”
*Physics Letters A*, vol. 163, no. 3, pp. 167–172, 1992. View at: Publisher Site | Google Scholar | MathSciNet

#### Copyright

Copyright © 2014 Baoqiang Xia and Ruguang Zhou. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.