KdV hierarchy

From testwiki
Jump to navigation Jump to search

Template:Short description In mathematics, the KdV hierarchy is an infinite sequence of partial differential equations which contains the Korteweg–de Vries equation.

Details

Let T be translation operator defined on real valued functions as T(g)(x)=g(x+1). Let 𝒞 be set of all analytic functions that satisfy T(g)(x)=g(x), i.e. periodic functions of period 1. For each g𝒞, define an operator Lg(ψ)(x)=ψ(x)+g(x)ψ(x) on the space of smooth functions on . We define the Bloch spectrum g to be the set of (λ,α)×* such that there is a nonzero function ψ with Lg(ψ)=λψ and T(ψ)=αψ. The KdV hierarchy is a sequence of nonlinear differential operators Di:𝒞𝒞 such that for any i we have an analytic function g(x,t) and we define gt(x) to be g(x,t) and Di(gt)=ddtgt, then g is independent of t.

The KdV hierarchy arises naturally as a statement of Huygens' principle for the D'Alembertian.[1][2]

Explicit equations for first three terms of hierarchy

The first three partial differential equations of the KdV hierarchy are ut0=uxut1=6uuxuxxxut2=10uuxxx20uxuxx30u2uxuxxxxx. where each equation is considered as a PDE for u=u(x,tn) for the respective n.[3]

The first equation identifies t0=x and t1=t as in the original KdV equation. These equations arise as the equations of motion from the (countably) infinite set of independent constants of motion In[u] by choosing them in turn to be the Hamiltonian for the system. For n>1, the equations are called higher KdV equations and the variables tn higher times.

Application to periodic solutions of KdV

Cnoidal wave solution to the Korteweg–De Vries equation, in terms of the square of the Jacobi elliptic function cn (and with value of the parameter Template:Nowrap).

One can consider the higher KdVs as a system of overdetermined PDEs for u=u(t0=x,t1=t,t2,t3,). Then solutions which are independent of higher times above some fixed n and with periodic boundary conditions are called finite-gap solutions. Such solutions turn out to correspond to compact Riemann surfaces, which are classified by their genus g. For example, g=0 gives the constant solution, while g=1 corresponds to cnoidal wave solutions.

For g>1, the Riemann surface is a hyperelliptic curve and the solution is given in terms of the theta function.[4] In fact all solutions to the KdV equation with periodic initial data arise from this construction Template:Harvs.

See also

References

Template:Reflist

Sources