## Services on Demand

## Journal

## Article

## Indicators

- Cited by SciELO
- Access statistics

## Related links

- Cited by Google
- Similars in SciELO
- Similars in Google

## Share

## Computational & Applied Mathematics

##
*On-line version* ISSN 1807-0302

### Comput. Appl. Math. vol.31 no.1 São Carlos 2012

#### http://dx.doi.org/10.1590/S1807-03022012000100001

**An integrable decomposition of the Manakov equation**

**Shouting Chen ^{I}; Ruguang Zhou^{II,} ^{*}**

^{I}School of Mathematics and Physical Sciences, Xuzhou Institute of Technology, Xuzhou, 221018, China

^{II}School of Mathematical Sciences, Jiangsu Normal University, Xuzhou, 221116, China E-mail: rgzhou@public.xz.js.cn

**ABSTRACT**

An integrable decomposition of the Manakov equation is presented. A pair of new finite-dimensional integrable Hamiltonian systems which constitute the integrable decomposition of the Manakov equation are obtained.

**Mathematical subject classification: **37K10.

**Key words: **binary nonlinearization of the spectral problem, the 4-component AKNS equation, the Manakov equation, integrable decomposition.

**1 Introduction **

The Manakov equation

where *q*_{1}, *q*_{2} are potentials, is nothing but the 2-component vector nonlinear Schrödinger equation and sometimes is referred to as the coupled nonlinear Schrödinger equation. Manakov first examined equation (1) as an asymptotic model for the propagation of the electric field in a waveguide [1]. Subsequently, the system (1) was derived as a key model for lightwave propagation in optical fibers [2]. The system admits vector-soliton solutions, the solution collision is elastic and the dynamics of soliton interactions can be explicitly computed [3].

The nonlinearization of spectral problem (NSP), which was put forward by Cao [4, 5], is a powerful tool to study integrable systems in (1+1)-dimensions. With it we can generate new finite-dimensional integrable Hamiltonian systems, decompose (1+1) dimensional integrable systems into a pair of compatible finite-dimensional integrable Hamiltonian systems, and thus construct explicit or numerical solutions of the (1+1) dimensional integrable systems. During the past two decades, many powerful techniques of generalizations of the NSP havebeen obtained. For example, the binary NSP, which was presented for the first time by Ma and Strampp [6], has been studied [7, 8]. After that the higher-order symmetry constraint method [9] and binary nonlinearization of spectral problems under higher-order symmetry constraints [10] were discussed. The nonlinearization and binary nonlinearization of the discrete eigenvalue problem were introduced [11, 12], respectively. And then Ma and Zhou proposed the adjoint symmetry constraint method [13, 14]. The adjoint symmetry constraint can be used to solve the multicomponent AKNS equations associated with degenerate spectral problems. Because the spectral matrix of the Manakov equation is degenerate, general methods of the NSPs are impossible for the success of making integrable decompositions. Therefore, the introduction of the adjoint symmetry is very crucial for the integrable decomposition of the Manakov equation.

In this paper, we will present an integrable decomposition of the Manakov equation. As is well known, equation (1) can be reduced from the 4-component AKNS equation by imposing the reality condition *r = -q*^{†}. Therefore, we can make the integrable decomposition of equation (1) through the following procedure: couple the spectral problems of equation (1) with their complex conjugates and then reduce these problems to that of the 4-component AKNS equation by introducing new variables. The paper is organized as follows. Firstly, we recall the integrable decomposition of the 4-component AKNS equation with the help of the adjoint symmetry constraints and the binary NSP. Secondly, on the basis of section 2, we study the integrable decomposition of the Manakov equation and finally obtain a pair of finite-dimensional completely integrable Hamiltonian systems.

**2 An integrable decomposition of the 4-component AKNS equation **

In Ref. [15] the multi-wave interaction equations associated with the 3 × 3 matrix AKNS spectral problem were decomposed into finite-dimensional Liouville integrable Hamiltonian systems by carrying out binary Bargmann symmetry constraints. As a special case, in this section, following [13, 15] we review the integrable decomposition of the 4-component AKNS equation.

*2.1 The 4-component AKNS hierarchy of equations*

It is well known that the 4-component AKNS hierarchy of equations is associated with the following spectral problem

where λ is a spectral parameter and *q*_{1}, *q*_{2}, *r*_{1}, *r*_{2} are four potentials,

Φ = (ϕ_{1}, ϕ_{2}, ϕ_{3})^{T}, *u* = (*q*_{1}, *q*_{2}, *r*_{1}, *r*_{2})^{T}, *q* = (*q*_{1}, *q*_{2}), *r* = (*r*_{1}, *r*_{2})^{T}.

From the adjoint representation equation

with

and then through a tedious and straightforward calculation, we work out

where 1 __<__ *i, j* __<__ 2.

Consider the following auxiliary problem

From the compatibility condition of (2) and (4)

we obtain the 4-component AKNS hierarchy of equations

The first nontrivial equation or the 4-component AKNS equation is

which admits spectral problem (2) and

where

*2.2 Adjoint symmetry constraint*

In order to preform the binary NSPs of the 4-component AKNS hierarchy, we take N distinct eigenvalue parameters λ_{j}, 1 __<__ *j* __<__ *N*, and *N* copies of the 3 × 3 matrix spectral problem for AKNS hierarchy (2) and their adjoint spectral problems as follows

which can be written as the following compact form

where

ϕ_{j} = (ϕ_{j1}, ..., ϕ_{jN})^{T}, ψ_{j} = (ψ_{j1}, ..., ψ_{jN})^{T} , *A* = diag(λ_{1}, ..., λ_{N}).

Following [13], we consider the following Bargmann adjoint symmetry constraint

where < ·,· > refers to the standard inner product of the Euclidian space and γ_{1}, γ_{2}, γ_{3} are distinct parameters.

*2.3 Completely integrable Hamiltonian system*

Substituting (11) and (12) into (10), then we get the finite-dimensional Hamiltonian system

where

Under the control of (11), (12) and (13), we can get the following Hamiltonian system

where

Hamiltonian systems (13) and (14) allow Lax representations

respectively, where

λ_{1},λ_{2},...,λ_{N} are *N* distinct parameters, and *U*(, λ), ^{(2)}(, λ) are the constraint spectral matrices generated from *U, V*^{(2)} under constraint (11) and (12).

To analyze the integrability of (13) and (14), we define a symplectic structure

The corresponding Poisson bracket is given by

Furthermore, it has been shown that Lax matrix (16) satisfies an *r*-matrix relation [13]. Therefore, we can get 3N conserved integrals

A direct check shows that

*F _{ik}*, 1

__<__

*i*

__<__3, 1

__<__

*k*

__<__

*N*,

are in involution and functionally independent. Thus Hamiltonian systems (13) and (14) are completely integrable in the sense of Liouville. Bringing these together, we arrive at the following proposition.

**Proposition 1. ***If *ϕ_{1}, ϕ_{2}, ϕ_{3}, ψ_{1}, ψ_{2}, ψ_{3} *satisfy both *(13)* and *(14)*, then *

*solve the 4-component AKNS equation *(6).

**3 An integrable decomposition of the Manakov equation **

This section is devoted to an integrable decomposition of the Manakov equation. It is known that equation (1) may be reduced from the 4-component AKNS equation by imposing the reality condition *r = -q*^{†}. Moreover, the Manakov equation associates with the following spectral problems

and the adjoint spectral problems

where *U*(*q, r*, λ), *V*^{(2)}(*q, r*, λ) are defined by (2), (8).

On the basis of the reality condition *r = -q*^{†} we have the following lemma.

**Lemma 1. ***Let r = -q*^{†},(ϕ_{1}, ϕ_{2}, ϕ_{3})* ^{T} solves *(22), (23)

*, and*(ψ

_{1}, ψ

_{2}, ψ

_{3})

*(24), (25),*

^{T}solves(i)

If parameterλis nonreal complex, then solves(22)and(23)with parameterλ*.In the same time, solves(24)and(25)with parameterλ*.(ii)

If parameterλis real, then solves the adjoint spectral problems(24)and(25)with parameterλ.

Now let us carry out the binary NSPs of the Manakov equation. We take *N* parameters: λ_{1}, ..., λ_{r}, λ_{r}_{+1}, ..., λ* _{N}*, where λ

_{1}, ..., λ

*are distinct nonreal complex numbers, λ*

_{r}_{i}≠ , 1

__<__

*i, j*

__<__

*r*, and λ

_{r}_{+1}, ..., λ

*are*

_{N}*N - r*distinct real numbers.

Guided by Lemma 1, we introduce new variables and notation

where

and then we can get the following vector form of spectral problem (22) and (24) coupling with their complex conjugates

which is just a compact form of special 3 × 3 matrix spectral problems for AKNS hierarchy and their adjoint spectral problems. Therefore, we only need to modify the procedure of the binary NSPs of the 4-component AKNS hierarchyby replacing variables ϕ_{1}, ϕ_{2}, ϕ_{3}, ψ_{1}, ψ_{2}, ψ_{3} with such that the reality condition *r = -q*^{†} holds.

Now we consider the constraint of the Manakov equation

which solves

*r = -q*^{†}, 1 __<__ *j* __<__ 2.

Substituting (29) into (28), then we get the finite-dimensional Hamiltonian system

where

Similarly, we can get the temporal Hamiltonian system

where

Hamiltonian systems (30) and (31) are completely integrable systems. In fact, first of all, it is not difficult to check that (30) and (31) allow the following Lax matrix

Introducing symplectic structure

The corresponding Poisson bracket is given by

By a direct check, we come to a conclusion that *L*(λ) satisfies the *r*-matrix relation

{*L*_{1}(λ), *L*_{2}(µ)} = [*r*_{12}(λ, µ), *L*_{1}(λ)] + [*r*_{21}(λ, µ), *L*_{2}(µ)],

where *L*_{1}(λ) = *L*(λ)⊗*I, L*_{2}(µ) = *I*⊗*L*(µ), *I* is the 3 × 3 unit matrix,

and *e _{ij}* is the matrix with the element 1 at the (

*i, j*) position and zeros elsewhere.

We can expand (19), (20), (21) as follows

where 1 __<__ *k* __<__ *N + r*,

It can be checked that , 1 __<__ *k* __<__ *N + r*, are 3(*N + r*) integrals in involution. To establish the completely integrability of Hamiltonian systems (30) and (31), it is essential to prove the functional independence of the above 3(*N + r*) integrals by making use of a small epsilon technique [16].

In fact, let *P*_{0} be a point of ^{3(N+r)} satisfying = ε, 1 __<__ *i* __<__ 3, 1 __<__ *s* __<__ *N + r*, where ε is a small constant, and , , 1 __<__ *i* __<__ 3, 1 __<__ *s* __<__ *N + r*, are defined by (26). At this point *P*_{0}, by a direct calculation, we have

where

Since the Jacobian is a polynomial function of ϕ* _{is}*, ψ

*, , , 1*

_{is}__<__

*i*

__<__3, 1

__<__

*s*

__<__

*N + r*, it is not zero over a dense open subset of

^{3(N+r)}. Therefore, the functions , 1

__<__

*i*

__<__3, 1

__<__

*k*

__<__

*N + r*, are functionally independent over that dense open subset of

^{3(N+r)}.

Moreover, a direct computation shows that the following proposition holds.

**Theorem 1. ***If , *1 __< __* j *__<__ 3*, satisfy both *(30)* and *(31)*, then *

*solve the Manakov equation *(1)*. This means that *(30)* and *(31)* constitute an integrable decomposition of the Manakov equation. *

**4 Concluding remarks**

In this paper, we have presented the integrable decomposition of the Manakov equation. The main idea of this method is to couple the spectral problems of the Manakov equation with their complex conjugates and then reduce these problems to that of 4-component AKNS equation by introducing new variables. Finally, the integrable decompositions of the Manakov equation are obtained by applying the corresponding results of the 4-component AKNS equation.

As indicated in [17], usually it is very complicated to deal with the soliton equation with reduction conditions or reality conditions. In [18, 19], one of the author (Zhou) proposed an approach to construct integrable decompositions of soliton equations with reality conditions such as the nonlinear Schrödinger equation, real-valued mKdV equation and the nonlinear derivative Schrödinger equation. But the approach can only be used to the cases that all the eigenvalue parameters λ_{1}, ..., λ_{N} are nonreal complex. In the present paper, such restrictions are released by using binary nonlinearizations of spectral problem, instead of mono-nonlinearization of spectral problem. Viewing from (33), we can easily find that whether the eigenvalue parameters are real or not leads tocompletely different symplectic structures.

**Acknowledgments. ** This work has been supported by the National Natural Science Foundation of China under Grant No. 10871165.

**REFERENCES**

[1] S.V. Manakov, *On the theory of two-dimensional stationary self-focusing of electromagnetic waves*. Sov. Phys. JETP, **38** (1974), 248-253. [ Links ]

[2] C.R. Menyuk, *Nonlinear pulse propagation in birefringent optical fibers*. IEEE J. Quant. Electr., **23** (1987), 174-176. [ Links ]

[3] M.J. Ablowitz, B. Prinari and A.D. Trubatch, *Discrete and Continuous Nonlinear Schrödinger Systems*. Cambridge Univ. Press (2004). [ Links ]

[4] C.W. Cao, *A cubic system which generates Bargmann potential and N-gap potential*. Chin. Quart. J. Math., **3** (1988), 90-96. [ Links ]

[5] C.W. Cao, *Nonlinearization of the Lax system for AKNS hierarchy*. Sci. Chin. A, **33** (1990), 528-536. [ Links ]

[6] W.X. Ma and W. Strampp, *An explicit symmetry constraint for the Lax pairs and the adjoint Lax pairs of AKNS systems*. Phys. Lett. A, **185** (1994), 277-286. [ Links ]

[7] W.X. Ma, *Symmetry constraint of MKdV equations by binary nonlinearization*. Physica A, **219** (1995), 467-481. [ Links ]

[8] W.X. Ma, Q. Ding, W.G. Zhang and B.Q. Lu, *Binary nonlinearization of Lax pairs of Kaup-Newell soliton hierarchy*. II Nuovo Cimento B, **111** (1996), 1135-1149. [ Links ]

[9] Y.B. Zeng and Y.S. Li, *On a general approach from infinite-dimensional integrable Hamiltonian systems to finite-dimensional ones*. Adv. in Math., **24** (1995), 111-130. [ Links ]

[10] Y.S. Li and W.X. Ma, *Binary nonlinearization of AKNS spectral problem under higher-order symmetry constraints*. Chaos Solitons and Fractals, **11**(5) (2000), 697-710. [ Links ]

[11] X.G. Geng, *Finite-dimensional discrete-systems and integrable systems through nonlinearization of the discrete eigenvalue problem*. J. Math. Phys., **34** (1993), 805-817. [ Links ]

[12] W.X. Ma and X.G. Geng, *Bäcklund transformations of soliton systems from symmetry constraints*. CRM Proc. Lect. Notes, **29** (2001), 313-323. [ Links ]

[13] W.X. Ma and R.G. Zhou, *Adjoint symmetry constraints leading to binary nonlinearization*. J. Nonlinear Math. Phys., **9** (2002), 106-126. [ Links ]

[14] W.X. Ma and R.G. Zhou, *Adjoint symmetry constraints of multicomponent AKNS equations*. China Ann. Math. Ser. B, **23** (2002), 373-384. [ Links ]

[15] W.X. Ma, *Binary Bargmann symmetry constraints of soliton equations*. Nonlin. Anal., **47** (2001), 5199-5211. [ Links ]

[16] W.X. Ma and Z.X. Zhou, *Binary symmetry constraints of N-wave interactionequations in 1+1 and 2+1 dimensions*. J. Math. Phys., **42** (2001), 4345-4382. [ Links ]

[17] J.M. Alberty, T. Koikawa and R. Sasaki, *Canonical structure of soliton equations*. Physica D, **5** (1982), 43-65. [ Links ]

[18] R.G. Zhou, *Nonlinearizations of spectral problems of the nonlinear Schrödinger equation and the real-valued mKdV equation*. J. Math. Phys., **48** (2007), 013510-1-9. [ Links ]

[19] R.G. Zhou, *An integrable decomposition of the derivative Schrödinger equation*. Chin. Phys. Letts., **24** (2007), 589-591. [ Links ]

Received: 23/IV/10.

Accepted: 10/XI/11.

#CAM-208/10.

* Corresponding author.