12.07.2015 Views

A periodic problem for the Korteweg-de Vries equations, I.

A periodic problem for the Korteweg-de Vries equations, I.

A periodic problem for the Korteweg-de Vries equations, I.

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

6 S. P. NOVIKOVzeros (<strong>the</strong> spectral points) k n = iκ n in <strong>the</strong> upper half plane x n > 0 by <strong>the</strong> <strong>for</strong>mulaa = ∏ k−iκ jj k+iκ j, whereby to a single soliton u(x − ct) <strong>the</strong>re corresponds a singlespectral point k 1 = iκ 1 , where κ 2 1 = +c/4 (cf. [5]). What is <strong>the</strong> right analog of multisolitonsolutions in <strong>the</strong> <strong>periodic</strong> <strong>problem</strong>? We suppose that <strong>the</strong> <strong>periodic</strong> potentialu is such that it has only a finite number of zones; this means that starting fromsome number n > n 0 all points of both spectra a R = ±1 are doubly <strong>de</strong>generate andthat <strong>the</strong> entire half line k 2 ≥ kn 2 0<strong>for</strong>ms a single zone. The <strong>de</strong>generacy condition<strong>for</strong> a spectral point is <strong>the</strong> condition b(k n , x) ≡ 0 <strong>for</strong> kn 2 ≥ kn 2 0. On multiplying <strong>the</strong>period T by an integer T → mT <strong>the</strong> entire zone is filled out by <strong>de</strong>generate levelsb ≡ 0 as m → ∞. On <strong>the</strong> o<strong>the</strong>r hand, with correct passage to <strong>the</strong> period T → ∞,whereby <strong>the</strong> potential u T (x) with period T tends to a rapidly <strong>de</strong>creasing potential<strong>for</strong> T → ∞, <strong>the</strong> zones of finite size contract to isolated points of <strong>the</strong> discretespectrum. All this indicates that it is natural to suppose that <strong>the</strong> right analog ofmultisoliton solutions are <strong>the</strong> finite-zone potentials. The property that a potentialbe a finite-zone potential is conserved in time by virtue of <strong>the</strong> KV equation. Howshould one seek such solutions of <strong>the</strong> KV equation? What are finite-zone potentialslike?We consi<strong>de</strong>r <strong>the</strong> “higher KV <strong>equations</strong>” of or<strong>de</strong>r n˙u = d ( )δIndx δu(x) + c δI n−11δu(x) + · · · + c δI 0n , (6)δu(x)where I n = ∫ P n (u, u ′ , . . . , u (n) ) dx is a polynomial integral of <strong>the</strong> KV equationand c 1 , . . . , c n are arbitrary constants. Equation (6) has or<strong>de</strong>r 2n + 1 and by <strong>the</strong><strong>the</strong>orem of Lax and Gardner [6, 7] it admits <strong>the</strong> Lax representation˙L = [L, A n + c 1 A n−1 + · · · + c n A 0 ], (7)where L = −(d 2 /dx 2 ) + u and <strong>the</strong> operators A 0 , A 1 , A 2 are indicated in <strong>the</strong> introduction,A 0 = (d/dx). We shall now indicate <strong>the</strong> corollary of <strong>the</strong> Zakharov–Fad<strong>de</strong>ev<strong>the</strong>orem mentioned in <strong>the</strong> introduction which, while not noted by <strong>the</strong>m, is extremelyimportant <strong>for</strong> our subsequent purposes.Proposition 2.1. The set of all fixed points (stationary solutions) of any one of <strong>the</strong>higher KV <strong>equations</strong> is an invariant manifold also <strong>for</strong> any o<strong>the</strong>r of <strong>the</strong> higher KV<strong>equations</strong> (in particular, <strong>for</strong> <strong>the</strong> original KV equation) consi<strong>de</strong>red as a dynamicalsystem in function space.Proof. All <strong>the</strong> higher KV <strong>equations</strong> are Hamiltonian systems; <strong>the</strong> Poisson bracketsof <strong>the</strong> integrals are equal to zero [I n , I m ] = 0 <strong>for</strong> all n, m. There<strong>for</strong>e, all <strong>the</strong> higherKV <strong>equations</strong> commute as dynamical systems in function space. There<strong>for</strong>e, <strong>the</strong> setof fixed points <strong>for</strong> one of <strong>the</strong>m is invariant with respect to all <strong>the</strong> remaining ones.This proves Proposition 2.1.□We have <strong>the</strong> following basic <strong>the</strong>orem:Theorem 2.1. 1) All <strong>the</strong> <strong>periodic</strong> stationary solutions of <strong>the</strong> higher KV <strong>equations</strong>( n)d ∑ δI n−ic i = 0 (8)dx δu(x)are potentials u(x), <strong>the</strong> number of zones of which does not exceed n.i=0

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!