Korteweg–De Vries equation

In mathematics, the Korteweg–De Vries (KdV) equation is a mathematical model of waves on shallow water surfaces. It is particularly notable as the prototypical example of an exactly solvable model, that is, a non-linear partial differential equation whose solutions can be exactly and precisely specified. KdV can be solved by means of the inverse scattering transform. The mathematical theory behind the KdV equation is a topic of active research. The KdV equation was first introduced by Boussinesq (1877, footnote on page 360) and rediscovered by Diederik Korteweg and Gustav de Vries (1895).[2]

Consider solutions in which a fixed wave form (given by f(X)) maintains its shape as it travels to the right at phase speed c. Such a solution is given by φ(x,t) = f(xcta) = f(X). Substituting it into the KdV equation gives the ordinary differential equation

where A is a constant of integration. Interpreting the independent variable X above as a virtual time variable, this means f satisfies Newton's equation of motion of a particle of unit mass in a cubic potential

then the potential function V(f) has local maximum at f = 0, there is a solution in which f(X) starts at this point at 'virtual time' −∞, eventually slides down to the local minimum, then back up the other side, reaching an equal height, then reverses direction, ending up at the local maximum again at time ∞. In other words, f(X) approaches 0 as X → ±∞. This is the characteristic shape of the solitary wave solution.

where sech stands for the hyperbolic secant and a is an arbitrary constant.[4] This describes a right-moving soliton.

The KdV equation has infinitely many integrals of motion (Miura, Gardner & Kruskal 1968), which do not change with time. They can be given explicitly as

Only the odd-numbered terms P(2n+1) result in non-trivial (meaning non-zero) integrals of motion (Dingemans 1997, p. 733).

and this accounts for the infinite number of first integrals of the KdV equation (Lax 1968).

Since the Lagrangian (eq (1)) contains second derivatives, the Euler–Lagrange equation of motion for this field is

It can be shown that any sufficiently fast decaying smooth solution will eventually split into a finite superposition of solitons travelling to the right plus a decaying dispersive part travelling to the left. This was first observed by Zabusky & Kruskal (1965) and can be rigorously proven using the nonlinear steepest descent analysis for oscillatory Riemann–Hilbert problems.[5]

The history of the KdV equation started with experiments by John Scott Russell in 1834, followed by theoretical investigations by Lord Rayleigh and Joseph Boussinesq around 1870 and, finally, Korteweg and De Vries in 1895.

The KdV equation was not studied much after this until Zabusky & Kruskal (1965) discovered numerically that its solutions seemed to decompose at large times into a collection of "solitons": well separated solitary waves. Moreover, the solitons seems to be almost unaffected in shape by passing through each other (though this could cause a change in their position). They also made the connection to earlier numerical experiments by Fermi, Pasta, Ulam, and Tsingou by showing that the KdV equation was the continuum limit of the FPUT system. Development of the analytic solution by means of the inverse scattering transform was done in 1967 by Gardner, Greene, Kruskal and Miura.[6][7]

The KdV equation is now seen to be closely connected to Huygens' principle.[8][9]

The KdV equation has several connections to physical problems. In addition to being the governing equation of the string in the Fermi–Pasta–Ulam–Tsingou problem in the continuum limit, it approximately describes the evolution of long, one-dimensional waves in many physical settings, including:

The KdV equation can also be solved using the inverse scattering transform such as those applied to the non-linear Schrödinger equation.

Integrating and taking the special case in which the integration constant is zero, we have:

Many different variations of the KdV equations have been studied. Some are listed in the following table.

For the q-analog of the KdV equation, see Frenkel (1996) and Khesin, Lyubashenko & Roger (1997).