Korteweg  de Vries equation
The Korteweg  de Vries equation is a partial differential equation^{} defined as
$${u}_{t}+6u{u}_{x}+{u}_{xxx}=0$$  (1) 
where $u=u(x,t)$ and the subscripts indicate derivatives. This equation arises in hydrodynamics and was originally proposed to model waves in a canal. In addition to its practical applications, this equation is quite interesting as an object of mathematical study. It exhibits interesting soliton^{} solutions, has a large algebra of conserved quantities, and can be solved using methods of inverse scattering.
1 Travelling Wave Solution
It is easy to exhibit a solution which describes a traveling wave. To find this solution, one substitutes the ansatz $u(x,t)=f(xct)$ ^{1}^{1}The most general form of a solution to the twodimensional wave equation^{} is $u(x,t)=f(xct)+f(x+ct)$ which describes waves propagating in both directions with velocity $c$. Here, we will look for a solution which only describes a wave propagatng in one direction. into the equation to obtain the following equation for $f$:
$$c{f}^{\prime}+6f{f}^{\prime}+{f}^{\prime \prime \prime}=0$$ 
This equation can be written as
$${(cf+3{f}^{2}+{f}^{\prime \prime})}^{\prime}=0$$ 
and, hence,
$$cf+3{f}^{2}+{f}^{\prime \prime}=k$$ 
for some constant $k$. Multiplying by ${f}^{\prime}$, we can repeat the same trick:
$$cf{f}^{\prime}+3{f}^{2}{f}^{\prime}+{f}^{\prime}{f}^{\prime \prime}k{f}^{\prime}={(c{f}^{2}/2+{f}^{3}+{({f}^{\prime})}^{2}kf)}^{\prime}=0$$ 
hence
$$c{f}^{2}/2+{f}^{3}+{({f}^{\prime})}^{2}kf=h$$ 
or
$${f}^{\prime}=\sqrt{kf+c{f}^{2}/2{f}^{3}}$$ 
This can be solved implicitly by an integral^{}:
$$y={\int}^{f(y)}\sqrt{kf+c{f}^{2}/2{f}^{3}}\mathit{d}y+C$$ 
Since this is an elliptic integral^{}, the result is an elliptic function^{}.
The solution obtained above is know as a solitary wave, or soliton. This term “solitary wave” refers to the fact that this solution describes a single wave pulse traveling with velocity $c$. Note that the amplitude of the pulse is determined by its velocity, unlike in the case of linear wave equations where the velocity of propagation does not depend upon the amplitude. There are also solutions which describe more than one solitary wave. In particular, there are solutions in which two of these waves collide and then reemerge from the collision.
2 Conserved Currents
It is possible to exhibit integrals whose value is conserved under the evolution. To construct these quantities, we begin with vector fields. Suppose that $u$ is a thrice differentiable function of $x$ and $t$ and consider the following vector fields:
${v}^{(1)}$  $=(u,3{u}^{2}+{u}_{xx})$  
${v}^{(2)}$  $=({u}^{2},4{u}^{3}{u}_{x}^{2}+2u{u}_{xx})$ 
Computing their divergences and rearranging the result,
$\frac{\partial {v}_{t}^{(1)}}{\partial t}}+{\displaystyle \frac{\partial {v}_{t}^{(1)}}{\partial x}$  $={u}_{t}+6u{u}_{x}+{u}_{xxx}$  
$\frac{\partial {v}_{t}^{(2)}}{\partial t}}+{\displaystyle \frac{\partial {v}_{t}^{(2)}}{\partial x}$  $=2u({u}_{t}+6u{u}_{x}+{u}_{xxx}).$ 
If $u$ happens to satisfy our differential equation, then the divergence of these vector fields will go zero.
To obtain the conserved quantities, we will integrate them over a rectangle in the $t,x$ plane with sides parallel to the $x$ and $t$ axes use Green’s theorem .
${\int}_{{t}_{1}}^{{t}_{2}}}\mathit{d}t{\displaystyle {\int}_{{x}_{1}}^{{x}_{2}}}\mathit{d}x$  $({u}_{t}(t,x)+6u(t,x){u}_{x}(t,x)+{u}_{xxx}(t,x))$  
$=$  ${\int}_{{x}_{1}}^{{x}_{2}}}\mathit{d}x(3{u}^{2}(x,{t}_{2})+{u}_{xx}(x,{t}_{2}))+{\displaystyle {\int}_{{t}_{2}}^{{t}_{1}}}\mathit{d}tu(t,{x}_{2})+$  
${\int}_{{x}_{1}}^{{x}_{2}}}\mathit{d}x(3{u}^{2}(x,{t}_{1})+{u}_{xx}(x,{t}_{1}))+{\displaystyle {\int}_{{t}_{1}}^{{t}_{2}}}\mathit{d}tu(t,{x}_{1})$  
$=$  $3{\displaystyle {\int}_{{x}_{1}}^{{x}_{2}}}\mathit{d}x{u}^{2}(x,{t}_{2})3{\displaystyle {\int}_{{x}_{1}}^{{x}_{2}}}\mathit{d}x{u}^{2}(x,{t}_{1})$  
$+$  ${\int}_{{t}_{1}}^{{t}_{2}}}\mathit{d}tu(t,{x}_{1}){\displaystyle {\int}_{{t}_{1}}^{{t}_{2}}}\mathit{d}tu(t,{x}_{2})+{u}_{x}({x}_{2},{t}_{2}){u}_{x}({x}_{1},{t}_{2}){u}_{x}({x}_{2},{t}_{1})+{u}_{x}({x}_{1},{t}_{1})$  
${\int}_{{t}_{1}}^{{t}_{2}}}\mathit{d}t{\displaystyle {\int}_{{x}_{1}}^{{x}_{2}}}\mathit{d}x$  $2u({u}_{t}(t,x)+6u(t,x){u}_{x}(t,x)+{u}_{xxx}(t,x))$  
$=$  ${\int}_{{x}_{1}}^{{x}_{2}}}\mathit{d}x(4{u}^{3}(x,{t}_{2}){u}_{x}^{2}(x,{t}_{2})+2u(x,{t}_{2}){u}_{xx}(x,{t}_{2}))+{\displaystyle {\int}_{{t}_{2}}^{{t}_{1}}}\mathit{d}t{u}^{2}(t,{x}_{2})+$  
${\int}_{{x}_{2}}^{{x}_{2}}}\mathit{d}x(4{u}^{3}(x,{t}_{1}){u}_{x}^{2}(x,{t}_{1})+2u(x,{t}_{1}){u}_{xx}(x,{t}_{1}))+{\displaystyle {\int}_{{t}_{1}}^{{t}_{2}}}\mathit{d}t{u}^{2}(t,{x}_{1})$  
$=$  ${\int}_{{x}_{1}}^{{x}_{2}}}\mathit{d}x(4{u}^{3}(x,{t}_{2})3{u}_{x}^{2}(x,{t}_{2})){\displaystyle {\int}_{{x}_{1}}^{{x}_{2}}}\mathit{d}x(4{u}^{3}(x,{t}_{1})3{u}_{x}^{2}(x,{t}_{1}))$  
$+$  ${\int}_{{t}_{1}}^{{t}_{2}}}\mathit{d}t{u}^{2}(t,{x}_{1}){\displaystyle {\int}_{{t}_{1}}^{{t}_{2}}}\mathit{d}t{u}^{2}(t,{x}_{2})$  
$+$  $u({x}_{2},{t}_{2}){u}_{x}({x}_{2},{t}_{2})u({x}_{1},{t}_{2}){u}_{x}({x}_{1},{t}_{2})u({x}_{2},{t}_{1}){u}_{x}({x}_{2},{t}_{1})+u({x}_{1},{t}_{1}){u}_{x}({x}_{1},{t}_{1})$ 
We consider now several popular boundary conditions^{} for our equation:

•
Periodic Suppose that $u$ is periodic in $x$ with period $p$ and satisfies the Kortwieg  de Vries equation. Then we integrals over $t$ cancel against each other as do the endpoint terms, leaving us with
$${\int}_{{x}_{1}}^{{x}_{2}}\mathit{d}x{u}^{2}(x,{t}_{1})={\int}_{{x}_{1}}^{{x}_{2}}\mathit{d}x{u}^{2}(x,{t}_{2}).$$ 
•
Whole line Suppose that $u$ satisfies the Kortwieg  de Vries equation and that $u$ and its derivatives tend towards zero as $x\to \pm \mathrm{\infty}$. Then, taking the limit as ${x}_{1}\to \mathrm{\infty}$ and ${x}_{2}\to +\mathrm{\infty}$, we conclude that
$${\int}_{\mathrm{\infty}}^{+\mathrm{\infty}}\mathit{d}x{u}^{2}(x,{t}_{1})={\int}_{\mathrm{\infty}}^{+\mathrm{\infty}}\mathit{d}x{u}^{2}(x,{t}_{2}).$$ 
•
Finite interval We may also consider our differential equation on a finite interval and impose suitable boundary conditions at the endpoints. In this case, the integrals with respect to $t$ do not cancel or automatically vanish as a consequence of the boundary conditions, so they will not, in general, give conserved quantities. Nevertheless, it is at least still possible to compute their value solely from the boundary data without having to know how the solution behaves in the interior.
Starting with the two vector fields given above, it is possible to generate more such vector fields and more conserved quantities. Since the Lie bracket of two vector fields with zero divergence also has zero divergence, we may
Title  Korteweg  de Vries equation 

Canonical name  KortewegDeVriesEquation 
Date of creation  20130322 13:43:20 
Last modified on  20130322 13:43:20 
Owner  rspuzio (6075) 
Last modified by  rspuzio (6075) 
Numerical id  19 
Author  rspuzio (6075) 
Entry type  Definition 
Classification  msc 35Q53 
Synonym  KdV equation 