View source for Conservation Laws for the KdV

{{nonlinear waves course
 | chapter title = Conservation Laws for the KdV
 | next chapter = [[Introduction to the Inverse Scattering Transform]]
 | previous chapter = [[Numerical Solution of the KdV]]
}}

One of the most interesting freatures of the KdV is the exisitence of
infinitely many conservation laws. Lets begin with some basics of
conservation laws. If we can write our equation of the form 
<center><math>
\partial _{t}T\left( u\right) +\partial _{x}X\left( u\right) =0
</math></center>
Then we can integrate this equation from <math>-\infty </math> to <math>\infty </math> to obtain 
<center><math>
\int_{-\infty }^{\infty }\partial _{t}T\left( u\right) \mathrm{d} x=\int_{-\infty
}^{\infty }\partial _{x}X\left( u\right) \mathrm{d} x
</math></center>
The second integral will be zero if <math>u\rightarrow 0</math> as <math>x\rightarrow \pm
\infty .</math> Therefore 
<center><math>
\partial _{t}\int_{-\infty }^{\infty }T\left( u\right) \mathrm{d} x=0
</math></center>
so that the quantity 
<center><math>
\int_{-\infty }^{\infty }T\left( u\right) \mathrm{d} x
</math></center>
must be conserved by the solution of the equation. For the KdV we can write
<center><math>
\partial _{t}u+\partial _{x}\left( 3u^{2}+\partial _{x}^{2}u\right) =0.
</math></center>
so that we immediately see that the quantity 
<center><math>
\int_{-\infty }^{\infty }u\mathrm{d} x
</math></center>
is conserved. This corresponds to conservation of momentum. We can also
write the KdV equation as 
<center><math>
\partial _{t}\left( u^{2}\right) +\partial _{x}\left( 4u^{3}+2u\partial
_{x}^{2}u-\left( \partial _{x}u\right) ^{2}\right) 
</math></center>
so that the quantity 
<center><math>
\int_{-\infty }^{\infty }u^{2}\mathrm{d} x
</math></center>
must be conserved. This corresponds to conservation of energy. It turns out
that there is an infinite number of conserved quantities and we give here
the proof of this.

==Modified KdV==

The modified KdV is 
<center><math>
\partial _{t}v-3\partial _{x}\left( v^{3}\right) +\partial _{x}^{3}v=0
</math></center>
It is connected to the KdV by Miura's transformation
<center><math>
u=-\left( v^{2}+\partial _{x}v\right) 
</math></center>
If we substitute this into the KdV we obtain
<center><math>
\partial _{t}u+3\partial _{x}\left( u^{2}\right) +\partial
_{x}^{3}u=-(2v+\partial _{x})\left( \partial _{t}v-3\partial _{x}\left(
v^{3}\right) +\partial _{x}^{3}v\right) 
</math></center>
Note that this shows that every solution of the mKdV is a solution of the
KdV but not vice versa. 

==Proof of an Infinite Number of Conservation Laws==

An ingenious proof of the exisitence of an infinite number of conservation
laws can be obtain from a generalization of Miura's transformation
<center><math>
u=w-\varepsilon \partial _{x}w-\varepsilon ^{2}w^{2}
</math></center>
If we substitute this into the KdV we obtain
<center><math>
\partial _{t}u+3\partial _{x}\left( u^{2}\right) +\partial _{x}^{3}u=\left(
1-\varepsilon \partial _{x}-2\varepsilon ^{2}w\right) \left( \partial
_{t}w+6\left( w-\varepsilon ^{2}w^{2}\right) \partial _{x}w+\partial
_{x}^{3}w\right) 
</math></center>
Therefore <math>u</math> solves the KdV equation provided that 
<center><math>
\partial _{t}w+6\left( w-\varepsilon ^{2}w^{2}\right) \partial
_{x}w+\partial _{x}^{3}w=0
</math></center>
We write the solution to this equation as a formal power series 
<center><math>
w\left( x,t,\varepsilon \right) =\sum_{n=0}^{\infty }\varepsilon
^{n}w_{n}\left( x,t\right) 
</math></center>
Since the equation is in conservation form then 
<center><math>
\int_{-\infty }^{\infty }w\left( x,t,\varepsilon \right) \mathrm{d} x = \mathrm{constant}
</math></center>
and since this is true for all <math>\varepsilon </math> this implies that 
<center><math>
\int_{-\infty }^{\infty }w_{n}\left( x,t\right) \mathrm{d}  x = \mathrm{constant} 
</math></center>
We then consider the expression 
<center><math>
u=w-\varepsilon \partial _{x}w-\varepsilon ^{2}w^{2}
</math></center>
which implies that
<center><math>
u=\sum_{n=0}^{\infty }\varepsilon ^{n}w_{n}\left( x,t\right) -\varepsilon
\partial _{x}\left( \sum_{n=0}^{\infty }\varepsilon ^{n}w_{n}\left(
x,t\right) \right) -\varepsilon ^{2}\left( \sum_{n=0}^{\infty }\varepsilon
^{n}w_{n}\left( x,t\right) \right) ^{2}
</math></center>
It we equate powers of <math>\varepsilon </math> we obtain 
<center><math>
u=w_{0}
</math></center>
<center><math>
0=w_{1}-\partial _{x}w_{0}
</math></center>
<center><math>
0=w_{2}-\partial _{x}w_{1}-w_{0}^{2}
</math></center>

<center><math>
0=w_{3}-\partial _{x}w_{2}-w_{0}w_{1}
</math></center>