Newton representation of nonlinear ordinary differential equations

Newton representation of nonlinear ordinary differential equations

Physica A 197 (1993) 191-203 North-Holland SDZ: 0378_4371(93)EOO41-c Newton representation differential equations of nonlinear ordinary Maciej Bla...

NAN Sizes 0 Downloads 87 Views

Physica A 197 (1993) 191-203 North-Holland SDZ: 0378_4371(93)EOO41-c

Newton representation differential equations

of nonlinear

ordinary

Maciej Blaszakl Departamento

de FGca,

Universidade da Beira Interior, 6200 CovilhG, Porhqa12

Stefan Rauch-Wojciechowski Department

of Mathematics, Linkiiping

University, 581 83 Linkijping,

Sweden

Received 5 January 1993

A new parametrization for higher order ODE’s is introduced. It turns them into a set of Newton equations. When applied to stationary flows of soliton equations, this parametrization leads to new integrable mechanical systems. In the KdV case we find a new Poisson bracket of 3rd order.

1. Introduction

We consider here 2nth order ordinary differential equations (ODE’s) of the form Uanx +

Y”+lbl= c >

c = conk

,

(1.1)

where uZnx means the 2nth derivative and y,,+,[u] = ~,,+~(u, u,, . . . , u~~,_~~~) is a differential polynomial. We assume that eq. (1.1) is homogeneous with respect to the scaling transformation u+Au,

x+

h-1’2X,

c--f

A”+lc.

For these equations we introduce a new parametrization

(1.2) which turns them into

1 Partially supported by KBN Research Grant No. 2 2442 92 03 and a stipendy AdTlMLH ref. 304131 from the Swedish Institute. ’ On leave of absence from the Physics Department of A. Mickiewin University, 60-769 Poznan, Poland. 0378-4371193/$06.00 @ 1993 - Elsevier Science Publishers B.V. All rights reserved

192

M. Biaszak, S. Rauch-Wojciechowski I Newton representation of ODE’s

a set of Newton equations of the form ‘k,,

=

‘k+l

+fk+lkl,

‘.

.

9

‘k)

k=l,...,n-1,

7

(1.3) r “xx = c +fn+1(rr,

* . . 9 m) 7

where each variable rk scales as rk + Akrk and functions fk+lare homogeneous polynomials of the order k + 1 with respect to this scaling transformation. Notice that in (1.3) we use the notation rkx, which means only the 2nd derivative of rk. It should not lead to confusion since rk always mean Newton variables. If eqs. (1.3) are Lagrangian then its Lagrangian function 9 has an indefinite kinetic energy term and scales as 55’4 h”+*d;P. We apply parametrization (1.3) to higher order stationary flows of soliton equations and derive this way new completely integrable systems of Newton equations. In section 2 we consider the case of 4th order ODE’s and its Newton representation. As particular examples we present a new representation for stationary flows of the Korteweg-de Vries (KdV), of the SawadaKotera (SK) and of the Kaup-Kupersmidt (KK) soliton equations. In section 3 we consider the case of 6th order ODE’s and provide for them a Newton representation. This is illustrated by the 7th order KdV stationary flow. Finally, in section 4 we discuss the general case of 2nth order ODE’s of homogeneity An+’ and formulate a conjecture that they all admit the Newton representation (1.3).

2. 4th order equations A general 4th order equation which is homogeneous to the scaling (1.2), has the form U& + &.Ul, + but + du’ = c )

of order A3 with respect

fi, 6, d = const.

(2.1)

We seek for a Newton representation

rLX= r2 +

iirf ,

rL

=c+b;r,+&i,

- d” = const. a”,b,

If rl = u then r2 = u,, - a”u2and eqs. (2.2) are equivalent a=-2a”-b”, Thus every equation

L5=-2z,

(2.2)

to (2.1) if

2Z;g-d”.

(2.1) admits the Newton representation

(2.3) (2.2), where

193

M. Biaszak, S. Rauch-Wojciechowski I Newton representation of ODE’s

If we assume that eq. (1.1) is Lagrangian with 3?[U] = $US, + auuf + bu4 - cu , (homogeneous

a, b = const. ,

(2.5)

of the order h4) then its Euler-Lagrange

equation

W?

0=-=u4x-2auu,,-au~+4bu3-c

(2.6)

6l.4

is equivalent

to

rlXX= r2 + $ari ,

T2, = c + ar1r2 + ($a” - 4b)rT ,

(2.7)

which also follows from the Lagrangian _T?[r]= ri,~~, + iarfr,

+ (ka’ - b)r: + $rz + crl .

(2.8)

Notice that 5?[r] = -Z[ u ] modulo total derivative. Hamiltonian with the Hamiltonian function

System

(2.7)

X(r, s, c) = sls2 - tarfr, + (b - ta2)r: - $rt - crl , where‘ s1 = r2, and s2 = rl, are conjugate

is also

(2.9)

momenta.

Examples The equation

[u4* + (8A - 2B)uu,,

- 2(A + B)u; - yABu3],

is known [1,2] to be equivalent %X = Bq: - Aq; , under the substitution three cases (a) A=$,B=-3

= 0

to the Henon-Heiles

qz,, = -2&q,

+ ‘y/q: >

(HH) system a = const. ,

u = q1 and i u,, - 4 Bu2 = - 4Aqi.

(b) A=$,B=-$

(2.10)

(c) A=

(2.11)

It is integrable

in

a, B=-4, (2.12)

which correspond to the KdV, SK and KK hierarchies, respectively. tion of (2.2) provides for (2.10) a new physical representation dynamically equivalent to (2.11).

Applicawhich is

194

M. Blaszak, S. Rauch-Wojciechowski I Newton representation of ODE’s

(i) The 5th order Korteweg-de Wes stationary equation This is case (a), so the once integrated equation (2.10) reads Udx

lOUU,, + 5u; + 1ou3 = c *

+

It is Lagrangian L?[u] =

with

$& - 5uz.4~ + $u” -

The Newton representation

rLx= r2

(2.13)

5

2

- Zr,

,

cu.

(2.14)

for (2.2) is

r2,x = c - 5r,r, + $r: ,

(2.15)

where rl = u and r2 = u,, + 3~‘. Eqs. (2.15) follow from the Lagrangian

z[rl = r1,r2,

- grfr,

+ $rf + ar: + cr,

and have the standard Hamiltonian r2 , s2 = rl and x .z Wr, s) =slsz+

$rfr,-

ir,“-

formulation

(2.16) in term of variables rl , r2, s1 =

jjrf-cr,.

(2.17)

A bi-Hamiltonian formulation for (2.15) has been found in [3] by using its (non-canonical) equivalence with the HH system (2.11), case (a). The map connecting variables (r, s, c) and (q, p, cx) has the form

r1 =

41

7

r2=-1

242

hi>

s1= -41P1-

42P2

7

sz=p19

(2.18)

c-pf-p;_

2q:- WI; - ‘y/q:>

and it yields r1

s2

r2

Sl c - Sr,r, + $rf

ill I S1

=

c

where

5 2 zrl

r2 -

s2

x

0

= n, vslp, = n, vxO )

(2.19)

195

M. Biaszak, S. Rauch-Wojciechowski I Newton representation of ODE’s

i-L1 1 0 0 0000, -10 0 0

0

0

0 -1 0 0

II,=

0 1

0 0

0 0

0 0

2s2

i Ill =

00

0 0 -2r,

-r1

\ -2s, 1

-2s, -ri

2r2 r1

-1 r1

0

s2

lOr,r, --s25rt - 2c

- 2r, 0 + 5rf

2%

1

-lOr,rz + 5rf + 2c 2r2 - 5r: 0

.

(2.20)

The vectorfield

(2.19) belongs to the bi-Hamiltonian

ladder

(2.21) l7, VR2 = l7, vslp, ,

0=4vslr;,

where

Xl =

sls2

+

$rir,

- $rf -

ir;

-

crl ,

(2.22)

%f2= - isi - rlsls2 - 2r,r: + $r: + c(r2 + $r:) . The Poisson operator n, naturally leads to a whole family of integrable potentials if the last column in n, is substituted with Q, VS? for X = s1s2 + W(r) - crl. Potentials W(r) then satisfy a linear, 2nd order partial differential equation which follows from the Jacobi identity for II, [3]. (ii) The Sawada-Kotera stationary equation This is the case (2.10), (2.12b) which, after single integration, equation uqx+5uu2x+~u3=c. Its Newton representation 5,

= r2 ,

leads to the

(2.23) has the form

r2.u =c-5r,r,-

fri,

where rl = u and r2 = ux,, and has not any obvious Lagrangian

(2.24) formulation.

M. Btaszak, S. Rauch-Wojciechowski ! Newton representation of ODE’s

196

However system (2.24) admits a non-canonical the form

i.H I s2 s1 r2 r1 c

x =

c -

Hamiltonian

representation

of

5r,r,82 12 Sl 0 - 5r3 3 1

0

0

rl

-1

2s2

0

0

2r2

r1

23,

-s2

0

2:22

-

1 = 1 -2s, -rl x WC)

-r1 -2s -2r,

1

10r 12r +‘Or3-2c 0 31

-2r, s2

0r

2c-10r

1

@r3 3 I

(2.25)

7

where s, = r2 and s2 = rI are conjugate momenta. It follows from the standard Hamilton forxmulation of’the Henon-Heiles system and the map

r1 Sl

=

u

=

=

u3x

q1 ) =

-41P1-

r2 =

u,,

=

2

-$41-

Cl2P2 7

1 2

zq2

9

s2 = u,=p17

(2.26)

which connects the (q, p, a) and the (r, s, c) variables. (iii)

The Kaup-Kupershmidt

stationary equation

Our last example is the case of the system (2.10), (2.12~) which, after single integration, leads to the system t.L&

+

This system also does not have any obvious Newton representation has the form

rL

=

(2.27)

lOUU,, + $uf + Yu’ = c .

1.5 2 rz - arI ,

Lagrangian

formulation.

65 3 r2,X= c - $r,r2 + arl ,

where rl = u and r2 = u,, + yu”, formulation

and admits a non-canonical

Its

(2.28)

Hamiltonian

M. Btaszak, S. Rauch-Wojciechowski I Newton representation of ODE’s

=

L 0

0

45

-1

0

0

Y2

91

-i lr 1

-r2

0

92

1

-$Y,

-z2's

-s2

-s*

-c+

s2 Sl c-

0

$r,r, -

z;~Y, 6.53

197

$y,y, + Y2-

__I 2 +I?,2 4

1

BYI 65 3 I vc,

yy;

0 (2.29)

which follows from the Henon-Heiles rl=u= s1=

U&

r2=u,,+ti

41 9 +

c = u4x +

yuu,

=

4u

-jqlpl

-

case (2.12~) via the map

2=_1 4q1

$q2p2

= +p;

lOuu,, + ?&; + $”

2-1

,

2

4q2,

(2.30)

s2=ux=p1,

- $p”, - $9:

-

:qlq;

- ffl2q2,.

3. 6th order equations A most general equation

(1.1) of 6th order is

U& + Ciul.$, + Ll,u3x + El& + &4u”,+ eu2u, -I-$4” = c , where C, 6, C; 6, F, f are arbitrary sentation reads

yL = Y2f

constants.

(3.1)

The admissible Newton repre-

fzr: y%x = )

r3 + b;,y, + i?yi ,

(3.2) y3xx

= c + iiy,y, + e"r;r, +$':

+ iy; ,

where -2 r2 = u2x - au

TI=U,

,

(3.3) y3 =

u4x -

Equivalence

2&d; - (2a” + iT)uu,

+ (iii - qu3 .

of (3.2) with (3.1) requires that

a=-(2b+b”+&

6=-(8;+2b”),

E=-(6a”+b”+g”),

198

hf.

This is an choice of arbitrarily example, equations

undetermined system of equations, so we have some freedom in the the Newton representation (3.2). We can fix one tilde coefficient and then solve (3.4) with respect to the other tilde coefficients. For if we choose a solution with tixed a”, then we obtain the Newton (3.2), parametrized by a”,

BIaszak, S. Rauch-Wojciechowski I Newton representationof ODE’s

Let us consider the subclass.of Lagrangians systems. The most general Lagrangian for (3.1) (up to a total x-derivative) reads 9[u]

=

;u:,+au&

+ bu2ut + du5 + cu ,

(3.6)

where a, b and c are some suitable constants, and its Euler-Lagrange iU’l6u = 0 yields

equation

+ 2buuf - 5du4 = c .

(3.7)

uhx - 2auu4, - 4au,u3,

- 3au& + 2bu2u,

Then, in terms of Newton variables, we obtain the following (Gparameterized) equations:

rLX=

r2

+

&f,

r2xx= r2 + (2a - 4a”)r,r, + (- $6 + 2aa”r3xx

=

c +

2Grr,r3 + (-b

+ (a - 2a”)rg,

with the Lagrangian

yg2)r:

,

(3.8)

+ 6aa”- 10a”2)rfr2 + (5d - $ba” + 5a2i2 - ya”‘)r’:

199

M. Blaszak, S. Rauch-Wojciechowski I Newton representation of ODE’s

S(r, r,, c) =

ir;I + r1,r3, + r2r3 + a”;r, + (a - 2qr,r;

f (- $b + 2aC-

$+:r, (3.9) \ ,

+ (d - fba” + a*;* - $z3)r:

+ rlc

and the Hamiltonian X(r, s, c) =

is;+

s1s3 -

ya”*)r;r,

r2r3-iir~r3+(~b-2aLz+

+ (-d + fba”- a*a”*+ $T3)r; - rlc,

+ (2a”- a)&

where s1 = r3 , s2 = r2 and s3 = ri X. Notice modulo complete de&ative .

that

here

again ZJr]

(3.10) = Z3[ U]

Example. Newton representation for 7th order stationary flow of the KdV hierarchy and its bi-Hamiltonian formulation

We shall consider the 7th order stationary flow of the KdV hierarchy which corresponds to a = d = -7 and b = 25 in the Lagrangian (3.7). Its Newton representation (3.8) admits the Hamiltonian formulation (3.10). It has also the well known Ostrogradsky Hamiltonian formulation with 41=u,

u

cl2 =

q3

XT

=

uxx

7

p1 = usx + 14Uu3x + 14u,u** + 7ou*u, , p* = -u&

- 14uu,

)

P3 =

U3*

(3.11)

*

These two sets of canonical variables for the stationary flow are connected the transformation N(C) , rl = 41 7 r3 =

r2=q3-a41

“2

s2

=

9

-p2 - 2&j: + 2a”q,q3 + $(35 - 2i2)4:

s1 = p1 - 2a”q,q, + 2zq1p3 P3 -

2a”q,q2

7

by

- (35 +

s3 = q2 9

9

(3.12) =*)q:q,

c=c

7

9

which is canonical. As calculated in [4], the Ostrogradsky bi-Hamiltonian structure

formulation

has the

4

0 P c

x

=n,vx=n,v(s,

(3.13)

M. Biaszak, S. Rauch-Wojciechowski I Newton representation of ODE’s

200

with

n, = 0 1 i -2q,

4q1 0 -2q,

loq, -lOq, -2p,

-A -B -C

0 -D -E

D

E

0

where A = -2p,

+ 14Oq; + 704,” ,

B = -4P, - 14Oq,q, ,

c = 14oq,q; - 14q: -.7oq: + 2c , E = 14Oq;q, - 2p, ,

F = -28q,q,

D=4q,-7Oq:, - 2p,

and

x = ;p3

+ q*p1+ qjpz + 7q,q: + 7q:q: - 35q: - q1c )

%=

$C.

The Poisson operator II, is derived in a standard way with the use of the Miura map. Now we can use the map N(C) in order to find a bi-Hamiltonian formulation for the Newton representation (3.8). We fix a”= 1 a = - $ and the relevant Poisson operators are

fi, = N’fllNrT

r2 - 14rf

-2r, + 14r:

0

3%

-s3

A

00 1

4r, 4% 1 0

-3r, -4s, 00

-r2 Zr,-3s, -$3 + 14ri 14rf

jr,

-4r, 3r, -1 00

3r, -1 00

2r, 27, 2% 2s, 2% -- 7rf 7ri

-2s,

-2s,

-2s,

-3r,

i

=

where A = -14r,r,

-A

-2r, +7r:

-2r,+7r:

0

I (3.14)

I

- 21rfr, + y ri + 2c, N = N(- $) and N’ is the Frechet

201

M. Blarrak, S. Ranch-Wojciechowski I Newton representationof ODE’s

derivative of N. The above bi-Hamiltonian bi-Hamiltonian chain:

fiovxo=o, frov2z1= lil

formulation

l?()wf2

Vslf( ,

=

generates the following

n1 v2q , (3.15)

o=171v%3,

ii0 vz; = fil VXz , with x0=

$c,

x, = is’, + s1s3 X2

=

rls1s3

+

- FrT

-

r2r3

3r,s,s,

+

Zr2r + zr3r - ar5 212 41 2 13

cr

1 9

- 3r,si - r3si - s,s2 - r,r2r3 - r: + $ri + ?r;r2

- $r:c + r2c,

X3 = $sf + $risi + 2r:s,s,

(3.16)

+ 14r&s,

+ 3r,s,s,

-4r,r,si

- jr$z

- r2s,s3 - 2r,s,s,

- yrtr,

- 7r:ri

+ 3r,r:

+ 2r,r:

- 9r,r,s,s,

+ gr:s:

+ 4s,s: + 3ri + Sr$-,r,

+ rzr3 + 4rTc - 3r,r,c

+ ir:r,

- r3c + 2S:C ,

which are commuting and functionally independent integrals of motion. Notice that the chain starts with the Casimir of the first Poisson structure and terminates with the Casimir of the second Poisson structure. The Poisson operator fil has a similar structure as n, (2.20). It consists of the main part n being a 6 X 6 matrix and of the last column (and row). This column is equal to the dynamic vectorfield fiO VSre,. The same question (as in the 5th order KdV case) about the family of potentials W(r) such that fi, VX (X = 4s’; + s1s3 + W(r) - crl) yields a Poisson bracket, has a surprising answer. All Jacobi identities determine potential W(r) = -r2r3 + $r:r, + fr:r, ?t-i uniquely. There is no such family as in the case of separable biHamiltonian structures [5].

4. 2nth order equations In the general case, the Newton representation (1.3) remains a conjecture. There is strong evidence from the low-order cases that it is valid. It is clear that all relationships (1.3) can be recursively solved for rk: r*=t4,

‘k

=

u2(k-l)x

+

ykl”l

7

c =

U2nx

+

3/n+l[Ul

9

M. Blaszak, S. Rauch-Wojciechowski I Newton representation of ODE’s

202

where fk(rl, . . . , T~_~) and yJu] = yk(u, . . . , uz~k_l~x) are polynomials of homogeneity k with respect to the scaling (1.2). They are connected bv the recursion formula

However, the proof that arbitrary yk+i [u] can be produced through the recursion (4.1) is quite nontrivial since the relationship between the coefficients offk+l,k=l,..., n and the coefficients of yk+r[u] is in the form of a set of higher order algebraic equations. It is not clear that these equations can always be solved for the coefficients of the polynomials fk+r, k = 1, . . . , n. In the Lagrangian case of (1.1) it is necessary to prove that the Newton representation (1.3) is Lagrangian and that Z[r] = Z[u] modulo complete derivative. If it is the case, the following procedure can be applied in order to derive the Lagrangian-Hamiltonian structure of (1.1). Let us separate the linear part of the dynamics (1.3), r xx - i;k(r, c) - F,,(r) = 0 ,

(4.2)

where r2 r3

Fe(r, c) = Ill

ii C

represents the linear part of F(r, c) and F,,(r) = F(r, c) - F,(r, c) the respective nonlinear part. It is not difficult to find the Lagrangian of the linear part of the dynamics (4.2), _r%k(r,r,, c) = $(ri),~i’(ri)x

- W, (4.3)

where 1 r

w, = -

J(F,(Ar, 4, cLr)dAeF,(r,

c) = --(CLVW, .

(4.4)

0

V= (alar,, ( . . . ) . . . > is a scalar product, and the metric k is of the form

. . . , dldr,)T

is a gradient operator,

hf. Biasrak, S. Rauch-Wojciechowski I Newton representation of ODE’s

203

(4.5)

But having found the metric p we can immediately the nonlinear part of (4.2),

construct the potential of

1

W,,,W=

I V’n,(W, w) dAe-(pV)W&)

= F,,,.

(4.6)

w=w,+w,,.

(4.7)

0

Thus, our Lagrangian

reads

s(rY rxP c,= t(ri)*Pi'(rj), A suitable Hamiltonian

- w(r)

9

takes a form

sqr,s, c) = ~Si/.PSj + W(r)

(4.8)

)

where si = G’/a(r,), are the conjugate momenta to ri and the dynamics (1.3) can be put into a canonical Hamiltonian form,

(:),=(_; +w,c).

(4.9)

The above procedure was applied in the derivation of our examples of stationary KdV flows in previous sections. The general situation, described above, is not satisfactory and the relevant proofs has to be found soon. However, the existence of the representation (1.3) for homogeneous differential equations seems to be a very remarkable phenomenon with far reaching consequences in soliton theory. Most of the stationary flows of soliton equations are such homogeneous sets of ODE’s. Through the representation (1.3) they acquire the meaning of Newton equations, which makes them much more interesting objects to study.

References A.P. Fordy, Physica D 52 (1991) 204. M. Antonowicz, S. Rauch-Wojciechowski, Phys. Lett. A 163 (1992) 167. S. Rauch-Wojciechowski, Phys. Lett. A 170 (1992) 91. M. B&zak, Miura map and bi-Hamiltonian formulation for restricted hierarchy, J. Phys. A. in press. S. Rauch-Wojciechowski, Phys. Lett. A 160 (1991) 149.

flows

of the KdV