Let be translation operator defined on real valued functions as . Let be set of all analytic functions that satisfy , i.e. periodic functions of period 1. For each , define an operator
on the space of smooth functions on . We define the Bloch spectrum to be the set of such that there is a nonzero function with and . The KdV hierarchy is a sequence of nonlinear differential operators such that for any we have an analytic function and we define to be and
,
then is independent of .
Explicit equations for first three terms of hierarchy
The first three partial differential equations of the KdV hierarchy are
where each equation is considered as a PDE for for the respective .[3]
The first equation identifies and as in the original KdV equation. These equations arise as the equations of motion from the (countably) infinite set of independent constants of motion by choosing them in turn to be the Hamiltonian for the system. For , the equations are called higher KdV equations and the variables higher times.
Application to periodic solutions of KdV
One can consider the higher KdVs as a system of overdetermined PDEs for
Then solutions which are independent of higher times above some fixed 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. For example, gives the constant solution, while corresponds to cnoidal wave solutions.
For , 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 (Manakov, Novikov & Pitaevskii et al. 1984).
^Dunajski, Maciej (2010). Solitons, instantons, and twistors. Oxford: Oxford University Press. pp. 56–57. ISBN9780198570639.
^Manakov, S.; Novikov, S.; Pitaevskii, L.; Zakharov, V. E. (1984). Theory of solitons : the inverse scattering method. New York. ISBN978-0-306-10977-5.{{cite book}}: CS1 maint: location missing publisher (link)