• No results found

Bargmann and Neumann System of the Second- Order Matrix Eigenvalue Problem

N/A
N/A
Protected

Academic year: 2020

Share "Bargmann and Neumann System of the Second- Order Matrix Eigenvalue Problem"

Copied!
8
0
0

Loading.... (view fulltext now)

Full text

(1)

Bargmann and Neumann System of the

Second-Order Matrix Eigenvalue Problem

Shujuan Yuan

Qinggong College, Hebei United University, Tangshan, China Email: yuanshujuan1980@163.com

Shuhong Wang

College of Mathematics, Inner Mongolia University for Nationalities, Tong Liao, China Email: shuhong7682@126.com

Wei Liu

Department of Mathematics and Physics, Shijiazhuang TieDao University, Shijiazhuang, China Email: Lwei_1981@126.com

Xiaohong Liu, Li Li

Qinggong College, Hebei United University, Tangshan, China Email: lily130203@126.com, lili2064@163.com

Abstract—This paper discusses the second-order matrix eigenvalue problem by means of the nonlinearization of the Lax pairs, then the author gives the Bargmann and Neumann constraints of this problem. The relation between the potentials and the eigenfunction is set up based on these constraints. By means of the nonlinearization of the Lax pairs, the author found these systems of the eigenvalue problem can be equal to the Hamilton canonical system in real symplectic space. In the end, the infinite-dimensions Dynamical systems can be transformed into the finite-dimensions Hamilton canonical systems in the symplectic space. As well, this paper obtains the representations of the solutions for the evolution equations.

Index Terms—eigenvalue problem, integrable system, evolution equation, lax representation

I.INTRODUCTION

The understanding of completely integrable Hamilton system experienced a tortuous process. To plot out the kinematic equations is the highest goal of the early classical mechanics.With the rise of the solitary, a lot of nonlinear evolution equations have been proven restricted submanifold in completely integrable system. Thus the investigation for them is one of the most highlighted subjects in mathematical physics. The integrable system is widely used in fluid mechanics, nonlinear optics and a series of nonlinear science. To find as much as possible of the integrable system and study its algebra, geometry and other properties can judge whether a system is completely integrable or not, and it can be applied to nonlinear evolution equation. As everyone knows, the famous Liouville theorem has laid a finite dimensional Hamilton completely integrable system beautiful geometric theory. According to Liouville theorem, if a 2n

dimensional Hamilton system has n of independent and dual involution on the conservation integral [1, 2], then for the infinite dimension the situation is dimensional completely integrable has an infinite number of independent and dual involution on the conservation integral.In the past, systematic methods were developed to study soliton equations such as the inverse scattering, Darboux transformation, etc. Finitedimensional completely integrable systems are closely connected with infinite dimensional completely integrable systems described by soliton equations. For instance, when studying of pole solutions of soliton equations, one found that the equations of motion of poles are finite-dimensional integrable systems. More examples are that the stationary equations of soliton equations are finite-dimensional integrable systems. Initial finite-dimensional integrable systems can generate from finite dimensional integrable systems. The resulting infinite dimensional integrable systems are mainly divided into two kinds: one is the Bargmann type in the freedom, and the other is the Neumann type with an additional constraint. The former has been investigated by many authors in a series of papers. By the contrast, the later is more difficult to be treated owning to an additional constraint, and few examples were discussed such as the cKDV. To our opinion, the Dirac bracket and the Moser’s constraint are effective in exploring the Neumann type finite dimensional integrable systems, so-called Lax pairs or nonlinearization of eigenvalue problems.

(2)

II. LAX REPRESENTATION AND THE EVOLUTION EQUATION HIERARCHY RELATED TO EIGENVALUE PROBLEM

TABLE I. Note symbols

NO

NOTE SYMBOLS

symbols note

1 x

∂ ∂ =

∂ Partial derivative of x

2 Λ Diagonal line of matrix is(λ ,λ1 2Lλn)

3 ϕT

Vector transformation of ϕ 4

1 , n k k

k

ϕ ϕ

=

Ψ =∑ Ψ N dimensional vector inner-product

ofϕandΨ

5 [W L, ]=WLLW Differential operator of the lie algebra

of transposition operation 6 ∇λ Functional gradient of λ

Figure1. The Jacobi fields

Figure2. The period of unit mass in the potentials plotted versus energy

This paper considers the second order matrix eigenvalue problem:

q

r q x

⎛ ⎞

⎛ ⎞ ⎛ ⎞

⎜ ⎟ ⎜ ⎟

⎜ ⎟

⎜ ⎟ ⎜ ⎟

⎝ ⎠ ⎝ ⎠⎝ ⎠

1 1

2 2

ϕ = λ− λ ϕ

ϕ λ+ −λ ϕ (1)

,

M

= ϕ

r u

q

⎛ ⎞ ⎜ ⎟ ⎜ ⎟ ⎝ ⎠

= ,Let 11 12

0 21 22

j

j

W W

W

W W λ

=

⎛ ⎞

= ∑ ⎜ ⎟

⎝ ⎠ ,

from Wx=

[

M W,

]

,

11x 21 12 12 0

w − λw + λw +rw =

12x 2 12 2 12 22 11 0

w − λw + qw − λw + λw =

21x 2 21 2 21 22 11 11 22 0

w + λwqw + λw − λwrw +rw =

22x 21 12 12 0

w + λwrw − λw =

It can get the following result:

11 1 1 1

1 2

j j x j

w = −qaa + λa ,

12 j 1

w = λa− ,

21 1 1 1

1 2

j j x j

w = −qab + λa

22 1 1 1

1 2

j j x j

w =qa− + a− − λa− ,

Definition:

1 1 12

21 22

K K

K

K K

⎛ ⎞

= ⎜ ⎟

⎝ ⎠

11

K = ∂ + ∂r r , 2 12

1 2

K = ∂ − ∂q 2

21

1 2

K = ∂ + ∂q ,K22=0 2

1 2 J

− ∂ ∂

⎛ ⎞

⎜ ⎟

= ⎜

⎝ ⎠

, KGj−1=JGj, j=0,1, 2, 3,... (2)

1, 0,1, 2, j

j j a

G j

b

⎛ ⎞ =⎜ ⎟ = −

⎝ ⎠ L (3)

Note: Operators K J, are double Hamiltonoperator [3] it is that K J, have the Properties of antisymmetry, bilinear, non-degeneracy, and satisfy theJacobi equation.

The definition of second-order matrix as follows

1 1 1 1

0

1 1 1 1 1 1

1 2

1 1

2 2

m

j j x j j

m

j

j j x j j j x j

W

qa a a a

qa b a qa a a

λ λ

λ λ

− − − −

=

− − − − − −

=

+

⎜ ⎟

⎜ ⎟

+ +

⎜ ⎟

⎝ ⎠

m j

λ −

This paper has the following proposition:

Proposition 2.1: The Evolution Equation [4] Hierarchy

related to eigenvalue problem is ( ( , )T u= r q ):

tm tm m, 0,1, 2,

tm r

u JG m

q

⎛ ⎞

= = =

⎝ ⎠ L… (4)

Mtm =(

w

m)x+

w

mMM

w

m (5) In other words, (4) is consistency condition of spectrum-preserving for the following two linear equations:

(

m m

xt t x

ϕ = ϕ , 0

m t

(3)

1 1

2 2

1 1

2 2

x

m tm

M

W

ϕ ϕ

ϕ ϕ

ϕ ϕ

ϕ ϕ

⎛ ⎞ ⎛ ⎞

=

⎜ ⎟ ⎜ ⎟

⎝ ⎠ ⎝ ⎠

⎛ ⎞ ⎛ ⎞

=

⎜ ⎟ ⎜ ⎟

⎝ ⎠ ⎝ ⎠

(6)

Let

1 0

JG− = ,

so 1 4

0 G

⎛ ⎞ = ⎜ ⎟

⎝ ⎠ , from KGm−1=JGm,

0 2

4 2

q r G

q r

⎛ ⎞

= ⎜ +

⎝ ⎠ (7)

1

4 4 3 4 2

1

4 ( )

2

x x x x xx xx

x xx xx x

rq qr rr qq r q

G

qq r q qr

+ − + − −

⎛ ⎞

⎜ ⎟

= ⎜ +

⎝ ⎠

Then this paper has the evolution equation:

0 0

0

4 4

t x

t

t x

r r

u

q q

⎛ ⎞ ⎛ ⎞ = ⎟ ⎜=

⎝ ⎠ ⎝ ⎠ (8)

1 1

1

t t

t r u

q

⎛ ⎞ = ⎜ ⎟ ⎝ ⎠

4 4 3 2

1

4 ( )

2

x x x xx xx

x x xx xx

qr rq rr r q

qq qr q r

+ − − −

⎛ ⎞

⎜ ⎟

= ⎜ + +

⎝ ⎠

(9)

2 2

2

t t

t r u

q

⎛ ⎞ = ⎜ ⎟ ⎝ ⎠

2

2 3 3 6

t x x x

r = qq rr qqrr 3 15 2

2rqxx 8 r rx

+ +

2 2 2

3 3 3

6

2q rx 4rx q q xx 2qrxx

+ + + −

2 3 1 1

3 3

4 2 2

xx x xx xxx xxx

qq q rr r q

− − + + −

2 2

2

3 3

3

2 2

t x x x

q = − qq r+ q qq r +

2 2

3 3 3

4qrrx+2qx +8r qx

3 3 3

4q rxx 2q rx x 4qrxx

− − −

2

1 3 3

2qxxx 8rx 8rrxx

+ + +

Figure3. Sample results

Proposition 2.2: Let ϕ

=

( ,

ϕ ϕ1 2

)

T

If the trace [5] of the second- ordermatricesM over the real is0,

so

1

1 2

2

0 1

( , ) 0

1 0 M dx

ϕ ϕ ϕ

ϕ

Ω

− ⎛ ⎞

⎛ ⎞

=

∫ ⎜ ⎟ ⎜ ⎟

⎝ ⎠ &⎝ ⎠

the Functional derivation is denoted by Symbol•.

Let Ω be an open relatively compact subset. We assume that I and J are intervals. See Figure 3.

Proposition 2.3: If ϕ ϕ1, 2 is the eigenfunction of the

eigenvalue problem (1) relates to

λ

, so the functional gradient [6, 7] as follows:

2 1

1 2 2 r grad

q

δλ ϕ δ

λ δλ

ϕ ϕ δ

⎛ ⎞

⎟ ⎛ ⎜ ⎟

= = ⎜ ⎟ ⎜ ⎟ ⎝ ⎜ ⎟

⎝ ⎠

,

Proof: q

r q x

⎛ ⎞

⎛ ⎞ ⎛ ⎞

⎜ ⎟ ⎜ ⎟

⎜ ⎟

⎜ ⎟ ⎜ ⎟

⎝ ⎠ ⎝ ⎠⎝ ⎠

1 1

2 2

ϕ = λ− λ ϕ ϕ λ+ −λ ϕ

,

M

= ϕ

1

1 2

2

0 1

( , ) 0

1 0 M dx

ϕ ϕ ϕ

ϕ

Ω

− ⎛ ⎞

⎛ ⎞

=

∫ ⎜ ⎟ ⎜ ⎟

⎝ ⎠ & ⎝ ⎠ ,

1 2

0 1

( , ) 0

1 0

q

dx

r q

δλ δ δλ

ϕ ϕ ϕ

δλ δ δλ δ

Ω

− −

⎛ ⎞⎛ ⎞

=

∫ ⎜ ⎟⎜ + +

⎝ ⎠⎝ ⎠

2 2 2

1 2 1 2 1 2 1

[(2ϕ ϕ ϕ ϕ δλ) 2ϕ ϕ δ ϕ δq r dx] 0

Ω − + − − =

The eigenfunction is standard,

2 2 1

1 2 1 2

(∫Ω(2ϕ ϕ ϕ− +ϕ )dx)− =1, so conclusion correct.

Proposition 2.4: Functional gradient satisfying the

following equations

K∇ =λ λJ∇λ. Proof: K∇ =λ

2 2 1

2 1 2

1 2

1 2

0 2

r r q

q

ϕ ϕ ϕ ⎛ ∂ + ∂ ∂ − ∂

⎟ ⎛

=

⎜ ⎟ ⎜ ⎟

∂ + ⎟ ⎝ ⎠

⎜ ⎟

⎝ ⎠

2 2 2 2 2 2 2

1 1 1 2 1 2

2 2 2 2 2 2

1 1 2 2 1

2 4 4 2 2

2 2 3 4

r q

q

λ ϕ λ ϕ λ ϕ ϕ λ ϕ λ ϕ

λ ϕ λ ϕ ϕ λ ϕ λ ϕ

⎛ + − − + ⎞

⎜ ⎟

− + + +

⎝ ⎠

J

λ ∇ =λ

2 1

1 2

2 1

2 2

ϕ ϕ ϕ

− ∂ ∂

⎞ ⎛

⎜ ⎟ =

⎜ ⎟ ⎝ ⎠

⎝ ⎠

2 2 2 2 2 2 2

1 1 1 2 1 2

2 2 2 2 2 2

1 1 2 2 1

2 4 4 2 2

2 2 3 4

r q

q

λ ϕ λ ϕ λ ϕ ϕ λ ϕ λ ϕ

λ ϕ λ ϕ ϕ λ ϕ λ ϕ

⎛ + − − + ⎞

⎜ ⎟

− + + +

⎝ ⎠

soK∇ =λ λJ∇λ

III.THE HAMILTON EQUATION AND ITS COMPLETE INTEGRABILITY UNDER THE BARGMANN CONSTRAINT

Suppose that λ < λ < λ1 2 L N is N different eigenvalues of (5). ϕ ϕ1j, 2j are characteristic function of

j

λ ( j=1, 2,L,N), so

j

( )

u, j j

j j

M x

1 1

⎛ ⎞ ⎛ ⎞

⎜ ⎟ λ ⎜ ⎟ ⎜ 2 ⎟ ⎜ 2

⎝ ⎠ ⎝ ⎠

ϕ ϕ

=

(4)

( )

, [5] j j u j m j j m w t 1 1 ⎛ ⎞ ⎛ ⎞ ⎜ ⎟ λ ⎜ ⎟ ⎜ 2 ⎟ ⎜ 2

⎝ ⎠ ⎝ ⎠

ϕ ϕ

=

ϕ ϕ , (11)

Let Λ =diag(λ λ1, 2,L,λN),

1 ( 11,..., 1 ) T

j N

ϕ = ϕ ϕ ,

T

=( ,..., )

2j 21 2N

ϕ ϕ ϕ ,

FromKgradλ = λJgradλ, the result:

1

1 1 1 1

1

1 2 1 2

, , , , k k k k K J ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ + + ⎛ Λ ⎞ ⎛ Λ ⎞ ⎜ ⎟= ⎜ ⎟ ⎜ Λ ⎟ ⎜ Λ ⎟ ⎝ ⎠ ⎝ ⎠ (12)

From (7) and (11),

1 1

1 2

,

, 0,1, 2, ,

j

j j

G ϕ ϕ j

ϕ ϕ ⎛ Λ ⎞

⎜ ⎟

= =

Λ

⎝ ⎠ L

1 1 1

1 1 2

,

, 1, 2, , j j j j a j b ϕ ϕ ϕ ϕ − − ⎛ Λ ⎞ ⎧⎪ = = ⎪ Λ

L (13)

The constraint condition is Bargmann constraint condition: 0 2 4 2 q r G q r − ⎛ ⎞ = ⎜ + ⎟ ⎝ ⎠ 1 1 1 2 , , ϕ ϕ ϕ ϕ ⎛ ⎞ = ⎜ ⎟ ⎝ ⎠,

1 2 1 1

1 2 1 1

1 1 , , 4 4 1 1 , , 2 2 q r ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ ⎛ + ⎞ ⎜ ⎟ ⎛ ⎞= ⎜ ⎜ ⎟ ⎜ ⎟ ⎝ ⎠ ⎝ ⎠ (14)

The Poisson bracket [8]of Smooth Function H andF in symplectic space 2

2 1

1

( N,N )

k k

k

R dϕ dϕ

= Λ

∑ is defined as

followed:

{

}

1

2 1 1 2

, N

k

k k k k

H F H F

H F ϕ ϕ ϕ ϕ = ⎛ ∂ ∂ ∂ ∂ ⎞ =∑ ⎜ ∂ ∂ ∂ ∂ ⎝ ⎠

Proposition 3.1: (10) and (11) can be written as a

finite-dimensional system: 1 1m x m t H H 2 2 ∂ ⎧ϕ = ⎪ ∂ϕ ⎪ ⎨ ⎪ϕ = ⎪ ∂ϕ ⎩ 2 2m x m t H H 1 1 ∂ ϕ = − ∂ϕ ∂ ϕ = − ∂ϕ 1, 2,

m= L (15) H and Hmare Hamilton function here.

1 2

1

, ,

4

H= − Λϕ ϕ1 ϕ ϕ1 2 2

1

, ,

8 1 1

− Λϕ ϕ ϕ ϕ

2

, 1

+ Λϕ ϕ + 2

1 ,

2 Λϕ ϕ2 + 1 1

1

, ,

8 Λϕ ϕ1 ϕ ϕ1

1

1 ,

2 1

− Λϕ ϕ (16)

1 1 2 2

1

, ,

2

m m

H = − Λ ϕ ϕ ϕ ϕ − Λ ϕ ϕ2 m+1 1, 1

1 1 1 1

1

, ,

2

m

+ Λ ϕ ϕ ϕ ϕ 4 1, 2

m+1

+ Λ ϕ ϕ

2 2

2 m+1 ,

+ Λ ϕ ϕ 1, 1 1, 2 m

− Λ ϕ ϕ ϕ ϕ

2 2 1

0 2 1 1 1

, ,

1

2 , ,

j j

m

m j m j

j 2 − − = Λ ϕ ϕ Λ ϕ ϕ + Λ ϕ ϕ Λ ϕ ϕ

(17)

The generatorEkis as followed: 2

1 1 2

1

2 ,

k k k

E = λκΓ −ϕ ϕ ϕ +

2

1 2 1 1 1

1 2

4λκϕ ϕk k+ ϕk ϕ ϕ,

2 2

2 1 2 2

1 2 2 , k k κ + λϕ − ϕ ϕ ϕ

a

mong them

,

1 2 2 1 2

1

( )

N

k j k j

k

j k j

j k ϕ ϕ ϕ ϕ λ λ = ≠ − Γ = −

.

Proposition 3.2: (1)

{

E kk, =1, 2,...N

}

is involutive

system: so that

{

E Ek, j

}

= ∀0, k j, =1, 2,...N ,

And {dEk} has nothing to do with the gradient;

(2) 1

1 0

1

N

m

k m

k k m

Hλ E λ H

λ λ ∞ − − = = = = −

1

[9], 1, 2,

N m

m k

k

H κ E m

=

=

λ = L

Proof (1): From the define of Poisson bracket define, 1k, 1l 2k, 2l 0

ϕ ϕ = ϕ ϕ =

1 2

1 ,

0

k l kl

k l

k l

ϕ ϕ =δ = ⎨⎧ =

(

ϕ ϕ1, 1 ,Bkj

) (

= ϕ ϕ1, 2 ,Bkj

)

=

(

ϕ ϕ2, 2 ,Bkj

)

=0

(

)

2 2

1 2 2 1 1 2 2 1

1 1

,

( ) ( )

( , ) 0

k l

N k j k j N l j l j

j j

k j l j

j k j l

ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ λ λ λ λ = = ≠ ≠ Γ Γ − − = ∑ ∑ = − − ,

(

)

(

)

2

1 2 2 1

2 2 1 1 1 1 1 1 ( ) , ( , ) 4

N l j l j

k l k

j

l j j l

k l k lBlk

ϕ ϕ ϕ ϕ ϕ ϕ λ λ λ λ ϕ ϕ = ≠ − − Γ = ∑ − = −

(

)

(

)

2

1 2 2 1

2 2 2 2 1 1 2 2 ( ) , ( , ) 4

N l j l j

k l k

j l j

j l

k l k lBkl

ϕ ϕ ϕ ϕ ϕ ϕ λ λ λ λ ϕ ϕ = ≠ − − Γ = ∑ = − −

(

) (

) (

1

)

1k 2k, l 2 k l 2k 1l 1k 2l Blk

ϕ ϕ

λ λ

ϕ ϕ ϕ ϕ

Γ = − +

so

(

E Ek, l

)

=0 Proof (2): 1 n k k k E λ λ = ∑ − 1 1 1 n k k k k E E λ λ λ = = ∑

− 1 0

1 m n k k k m E λ λ λ ∞ = = ⎛ ⎞ = ∑ ∑ ⎜ ⎟ ⎝ ⎠

( )

1 0 1 m n m k k m k E λ λ ∞ − − = =

= ∑ ∑ 1

0 m m m H λ ∞ − − =

= ∑ [10]

Proposition 3.3: (1)

{

H E, k

}

=0,k=1, 2,... .N

(5)

( 4) 2 1 1 1

( n, n k k, ) k

R dϕ dϕ H

= Λ

∑ ,

2

1 1

1

( n, n , )

k k

k

R dϕ dϕ H

= Λ

is

the completely integrable system in the Liouville sense. Proof:

{

H E, k

}

=0,k=1, 2,... .N can be proved by calculation.

{

H H, m

}

=0,m=0,1, 2,... ;

{

H Hn, m

}

=0, ,m n=0,1, 2,... can be proved by the

previous proposition. 2

1 1

1

( n, n , )

k k

k

R dϕ dϕ H

= Λ

∑ , 2

1 1

1

( n, n , )

k k

k

R dϕ dϕ H

= Λ

∑ is

proved by Liouville theorem. Hence the proposition is concluded.

Figure4. Solition solution

Figure5 Solition solution

Proposition 3.4: if ϕ ϕ1, 2 are involutive solution of

the Hamilton regular

system

[11],

so

⎟⎟ ⎟ ⎟

⎠ ⎞

⎜⎜ ⎜ ⎜

⎝ ⎛

ϕ ϕ + ϕ ϕ

ϕ ϕ − ϕ ϕ = ⎟⎟ ⎠ ⎞ ⎜⎜ ⎝ ⎛

1 1 2 1

1 1 2 1

4 1 4

1

2 1 2

1

, ,

, ,

q r

is the solution of evolution equation hierarchy

, 0,1, 2, tm

tm m

tm r

u JG m

q

⎛ ⎞ ⎜ ⎟

= = =

⎜ ⎟

⎝ ⎠ L

IV.THE HAMILTON EQUATION AND ITS COMPLETE INTEGRABILITY UNDER THE NEUMANN CONSTRAINT

Suppose that λ < λ <1 2Ν is N different

eigenvalues of Equation (2.5). ϕ ϕ1j, 2j are characteristic function[12] of λj(j=1, 2,L,N), so

j

( )

u, j j

j M j

x

1 1

⎛ ⎞ ⎛ ⎞

⎜ ⎟ λ ⎜ ⎟

2 ⎟ ⎜ 2

⎝ ⎠ ⎝ ⎠

ϕ ϕ

=

ϕ ϕ (18)

( )

,

j j

u j

m

j j

m

w t

1 1

⎛ ⎞ ⎛ ⎞

⎜ ⎟ λ ⎜ ⎟

2 ⎟ ⎜ 2

⎝ ⎠ ⎝ ⎠

ϕ ϕ

=

ϕ ϕ , (19)

1

( , ,.. N)

diag 2

Λ = λ λ λ ,

T

,

=( ,... )

1 11 1

2 21 2

( ,..., )T

j N

j N

ϕ = ϕ ϕ

ϕ ϕ ϕ

Kgradλ = λJgradλ, we can get the result:

1

1 1 1 1

1

1 2 1 2

, ,

, ,

k k

k k

K J

ϕ ϕ ϕ ϕ

ϕ ϕ ϕ ϕ

+

+

⎛ Λ ⎞ ⎛ Λ ⎞

⎜ ⎟= ⎜ ⎟

Λ ⎟ ⎜ Λ

⎝ ⎠ ⎝ ⎠

(20)

From (14) and (19), we have

1

1 1

1

1 2

,

1, 0,1, 2, ,

j

j j

G ϕ ϕ j

ϕ ϕ

+

+

⎛ Λ ⎞

⎜ ⎟

= = −

⎜ Λ ⎟

⎝ ⎠ L

1

( ,... N)

diag

Λ = λ λ

; At the same time,

1 1

1

1 1 2

,

, 1, 2, ,

j j

j j

a

j b

ϕ ϕ ϕ ϕ

⎛ Λ ⎞ ⎧⎪ = =

⎪ Λ

L

(21)

1

4 0

G

⎛ ⎞ = ⎜ ⎟ ⎝ ⎠

1 1

1 2

,

2 ,

ϕ ϕ ϕ ϕ

⎛ ⎞

= ⎜

⎝ ⎠

Neumann constraint condition [13, 14] is :

1 1

1 2

, 4

:

, 0

ϕ ϕ ϕ ϕ

⎧ =

Γ

=

⎪⎩ (22)

Then 1 1 1 2

1 1 2 2

1 1

, ,

4 4

1 1

, ,

4 4

q

r

ϕ ϕ ϕ ϕ

ϕ ϕ ϕ ϕ

⎧ = Λ + Λ ⎪⎪

⎪ = Λ + Λ ⎪⎩

The Poisson bracket [15] of Smooth Function H and F [16] in symplectic space [17] 2

2 1

1

( , )

N N

k k

k

R dϕ dϕ

=

Λ

is

defined as followed:

{

}

1 2 1 1 2

,

N

k k k k k

H F H F

H F

ϕ ϕ ϕ ϕ

=

⎛ ∂ ∂ ∂ ∂ ⎞

= ⎜

⎝ ⎠

Proposition 4.1: (18) and (19) can be written as a

finite-dimensional system:

1

1m x

m t

H

H

2

2

∂ ⎧ϕ =

∂ϕ

⎪ϕ =

⎪ ∂ϕ

2

2m x

m t

H

H

1

1

∂ ϕ = −

∂ϕ ∂ ϕ = −

∂ϕ

(23)

. H and Hmare Hamiltonfunctions here

1 1 1 2

1

, ,

4

H = − Λϕ ϕ ϕ ϕ 1 2 1 2

1

, ,

4 ϕ ϕ ϕ ϕ

(6)

1, 2

ϕ ϕ

+ Λ + 1 1 1 1 1

, ,

8 Λϕ ϕ ϕ ϕ − Λϕ ϕ1, 1

2 2 1 1

1

, ,

8 ϕ ϕ ϕ ϕ

+ Λ (24)

1

1 1 2 2

1

, ,

2

m m

H =− Λ+ϕ ϕ ϕ ϕ 4 1 1, 1 m+ϕ ϕ

− Λ +

1

1, 1 1, 2 m+ϕ ϕ ϕ ϕ

Λ 1

1 1 1 1

1

, ,

2

m+ϕ ϕ ϕ ϕ

+ Λ

1

1

2 2 1 1

0

1

, ,

2

m

j m j

j ϕ ϕ ϕ ϕ + − + = + ∑ Λ Λ 1 1

2 1 2 1

0

1

, ,

2

m

j m j

j

ϕ ϕ ϕ ϕ

+ − +

− ∑ Λ Λ (25)

The generator [18]Ekis as followed: 2

1 1 2

1

, 2

k k k k

E = λΓ −ϕ ϕ ϕ +4ϕ ϕ1k 2k−4ϕ1k2 2

1 1 1

1

, 2ϕk ϕ ϕ

+ 2

1 2 2

1

, 2ϕk ϕ ϕ − (Let 2 2 1 1 2 1, ( ) N j j k k k

j k j

j k = ≠ ϕ ϕ − ϕ ϕ Γ = λ − λ

),

Proposition4.2: (1)

{

E kk, =1, 2,...N

}

is involutive

system [19]: so that

{

E Ek, j

}

= ∀0, k j, =1, 2,...N, and {dEk} has nothing relation with the gradient[20].

(2) 1

1 0

n

m k

m

k k m

E

Hλ λ λ λ G

− − = = =∑ =∑ − 1 n m k m k k k E G λ λ λ = = ∑ − 1 m m

H =G +

Among them, 1

1

, 1,2, .

n m

m k k

k

H λ +E m

=

=∑ = L

Proof (1): From the define of Poisson bracket, 1k, 1n 2k, 2n 0

ϕ ϕ = ϕ ϕ =

1 2

1 ,

0

k n kn

k n

k n

ϕ ϕ =δ = ⎨⎧ =

(

ϕ ϕ1, 1 ,Bkn

) (

= ϕ ϕ2, 2 ,Bkn

)

(

ϕ ϕ1, 2 ,Bkn

)

0

= =

(

)

2 2

2 1 1 2 2 1

1 2 1, 1, , , 0 ( ) ( ) k n N N

j j n j n j

k k

j k j j n j

j n j k=≠ =≠

Γ Γ = ⎛ ⎞ ⎜ ⎟ = ⎜ ⎟ ⎝ ⎠ ϕ ϕ −ϕ ϕ ϕ ϕ −ϕ ϕ ∑ λ −λλ −λ

(

)

(

)

2 2 1 1 1 1 1 2

1 2 2 1

1,

, ( , )

4

(

)

k n k

k n k n nk

N n j n j

j n j

j n B ϕ ϕ λ λ − ϕ ϕ = ≠ Γ = = −

ϕ ϕ −ϕ ϕ

λ −λ

(

)

(

)

2 2 2 2 1 2 2 2

1 2 2 1

1,

, ( , )

4

( )

k n k

k n k n nk

N

n j n j

j n j

j n B ϕ ϕ λ λ −ϕ ϕ = ≠ Γ = = − ϕ ϕ −ϕ ϕ ∑ λ −λ

(

)

(

) (

)

1 2 1 2

1

2 1 1 2

2

1 2 2 1

1,

, ( , )

2

(

)

k k n k k

k n k n k n nk

N n j n j

j n j

j n B

ϕ ϕ

ϕ ϕ

λ λ

ϕ ϕ

ϕ ϕ

= ≠ Γ = = − +

ϕ ϕ −ϕ ϕ

λ −λ

Therefore,

(

E Ek, n

)

=0 Proof (2): 1 n k k k E λ λ = ∑ − 1 1 1 n k k k k E E λ λ λ = = ∑

− 1 0

1 m n k k k m E λ λ λ ∞ = = ⎛ ⎞ = ∑ ∑ ⎜ ⎟ ⎝ ⎠

( )

1 0 1 m n m k k m k E λ λ ∞ − − = =

= ∑ ∑ 1

0 m m m G λ ∞ − − = = ∑

Proposition 4.3: letf1=ϕ ϕ1,1 −4,f2 = ϕ ϕ1, 2 , then the

solutions as follows on

Γ

:

(1)

{

H f, j

}

=0,j=1, 2

(2)

{

f Ej, k

}

=0,j=1, 2 k=1,2,Ln

(3)det

{

f fi, j

}

≠0, i j, =1, 2

(4)

{

H E, k

}

=0,k=1,2,... .N

(5)

{

H H, m

}

=0,m=0,1,2,...

(6)

{

H Hn, m

}

=0, ,m n=0,1,2,...

(7) 2

1 1

1

( n, n , )

k k

k

R dϕ dϕ H

= Λ

∑ ,

2

1 1

1

( n, n , )

k k

k

R dϕ dϕ H

= Λ

∑ is the completely integrable

system in the Liouville sense [21]. Proof:

{

H f, j

}

=0,j=1, 2

{

f Ej, k

}

=0,j=1, 2 k=1, 2,Ln

{

}

det f fi, j ≠0, i j, =1, 2;

{

H E, k

}

=0,k=1,2,... .N can be proved by calculation.

{

H Hn, m

}

=0, ,m n=0,1,2,...

can be proved by the previous proposition. 2

1 1

1

( n, n k k, )

k

R dϕ dϕ H

= Λ

∑ , 2 1 1

1

( n, n k k, )

k

R dϕ dϕ H

= Λ

∑ are

proved by Liouville theorem. Hence the proposition is concluded.

Proposition 4.4: if ϕ ϕ1, 2 are involutive solutions of

the Hamilton regular system, so

1 2 1 1

1 2 1 1

1 1 , , 2 2 1 1 , , 4 4 r q ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ ⎛ ⎞ ⎜ ⎟ ⎛ ⎞ = ⎜ ⎟ ⎜ ⎟ ⎜ ⎟ ⎝ ⎠ + ⎝ ⎠

is the solution of evolution

equation hierarchy , 0,1, 2, m m t r KG m q ⎛ ⎞ = = ⎜ ⎟

(7)

Figure6 Solition solution

Figure7 Solition solution

V.CONCLUSIONS

The results of this paper have been algebraic in nature. We have considered the second order matrix eigenvalue problem (1). In the first part of section 2, we gave Lax representation and evolution equation hierarchy which related to eigenvalue problem. In section 3, Hamilton equation and its complete integrability under the Bargmann constraint are given. In section 4, Hamilton equation and its complete integrability under the Neumann constraint are given.

ACKNOWLEDGMENT

The authors are grateful to Prof. Baocai Zhang and Prof. Zhuquan Gu for their valuable suggestions.

REFERENCES

[1] O. J. Peter, Applications of Lie Groups to Differential Equations, 2nd ed., Spring-Verlag, New York Berlin

Heidelberg, 1999, pp. 13–53, 452–462.

[2] C. W. Cao, “Confocal involutive system and a class of AKNS eigenvalue problem,” Henan Science, vol.5, 1987, pp.1-10.

[3] Z. Q. Gu,,“Two finite-dimensional completely integrable Hamiltonian systems associated with the solutions of the MKDV hierarchy,” Math.Phys.vol.32.

[4] V. I. Arnold, Mathematical Methods of Classical Mechanics, 2nd ed., Spring-Verlag, New York Berlin Heidelberg, 1999.

[5] C. W. Cao, “A classical integrable system and involutive representation of solutions of the KdV equation,” Acta Math. Sinia, 1991, pp. 436–440.

[6] D. Y. Chen, Soliton Theory, Science Press, 2006, pp.194-199.

[7] Z. Q. Gu, “The Neumann system for 3rd-order eigenvalue problems related to the Boussinesq equation,” IL Nuovo Cimento, vol. 117B, (6) 2002, pp. 615–632.

[8] C. Y. Fu, T. C. Xia, “Integrable couplings of the generalized AKNS hierarchy with an arbitrary function and its bi-Hamiltonian structure,” International Journal of Theoretical Physics, vol.46, 2007.

[9] D. Y. Chen, D. J. Zhang, J. B. Bi, “New double Wronskian solutions of the AKNS equation,” Science in China Series A: Mathematics, vol.51, 2008.

[10]F. C. Long , “Nonlinear integrable systems and related topics,” CNKI:CDMD:125.2009.

[11]C. G. Shi , F. S. Wu, “Research on a class of solitons to KDV equations in mathematica,” Journal of Shanghai University of Electric Power, Vol.23, 2007.

[12]Q.L.S.R.D.R.J. ZHA , “Exact periodic wave solutions for the (2+1)-dimensional breaking soliton system,” Journal of Inner Mongolia Normal University (Natural Science Edition), February 2006.

[13]L. Jiang, “Exact solution of nonlinear partial differential equations and solitary wave interaction research,” Beijing University of Posts and Telecommunications, 2007 [14]H. M. Fu,and Z. D. Dai, “Two dimensional S-K equation

periodic solitary wave solution,” Journal of Xuzhou Normal University (Natural Science Edition), April 2009 [15]Q.L.ZHA, “Integrable system multiple soliton solutions

and symbolic computation research,” Journal of East China Normal University, 2009.

[16]W. J. Liu and B. Sang, “The first integral method and its applications to nonlinear evolution equations,” Journal of Liaocheng University (Natural Science Edition), February 2011.

[17]X. P. Xin and L. L. Zhang, “A structure of Burgers and KP equation of soliton and periodic solutions method,” Journal of Liaocheng University (Natural Science Edition), April 2009.

[18]S. Q. Cai and S. J. Gan, “Progress in the study of the internal solition in the northern south china sea,” Advances in Earth Science, vol.16, 2001.

[19]Y. He, “Some exact solutions to nonlinear evolution equations,” Northwest University, 2011.

[20]X. C. Zhu, “Nonlinear evolution equation solution method study,” Beijing University of Posts and Telecommunications, 2009.

[21]B. Lu, “Nonlinear differential equation in the constructive method and symbolic computation,” Dalian University of Technology, 2010.

Shujuan Yuan was born in Tangshan, Hebei September,1980. She graduated from Hebei Normal University. She received M.S. degree in 2007 from School of Sciences, Hebei University of Technology, Tianjin, China. Current research interests include integrable systems and computational geometry. She is a lecturer in department of Qinggong College, Hebei United University.

(8)

University of Technology, Tianjin, China. She is mainly engaged in domain of differential equations, inequality and so on.

Wei Liu was born in Shijiazhuang, Hebei/ January, 1981, Received M.S. degree in 2007 from School of Sciences, Hebei University of Technology, Tianjin, China. His mainly engaged in control and application of differential equations. Current research interests include integrable systems and computational geometry. She is a lecturer in department of mathematics and physics, Shijiazhuang Tiedao Uuiversity.

Xiaohong Liu was born in Tangshan, HeiBei province, China, in 1976. She graduated from Beijing Normal University, got the master of Science degree at the same school. And the major

field of study is mathematical Statistics and the application of wavelet transform.

She has been a secondary school teacher for seven years. After graduated from Beijing Normal University, She became a lecturer in department of Qinggong College, Hebei United University.

Figure

TABLE I.  Note symbols

References

Related documents

She graduated from Aledo High School in Aledo, Illinois, attended Sterling College in Kansas from 1966 to 1968, and then graduated from Iowa State University with a degree in

She graduated from R ē zekne University College/ Faculty of Humanities, Fordham University Graduate School of Religion and Religious Education (NY/USA) and University of Latvia

He graduated from Guangxi University Preparatory High School in 1940 and then entered the Private Jinling University (orig. Nanking University), Department of

- Assessing the Sustainability of Business and CSR, 2004, (Earthscan: UK), A Savitz &amp; K Weber, The Triple Bottom Line: How Today's Best-run Companies Are Achieving

1) Only a few companies formulate and effectively implement succession plan for the key positions in their organization structure. 2) This was confirmed by 75% of the

Dr Soon also sits on the board for various non-profit organisations that include being the Vice President of Singapore Metal and Machinery Association, the Vice Chairman

A system includes a server and multiple structural sensors, signal conditioning modules, and wireless sensing units (Fig. The server is used to organize and collect data from

In cooperation with EPA, DOI, and the Commonwealth, and in accordance with applicable guidance, the Navy performed investigations and munitions removal at UXOs 12 and