Conservation Laws for the KdV: Difference between revisions
→Proof of an Infinite Number of Conservation Laws: some changes |
|||
(10 intermediate revisions by 2 users not shown) | |||
Line 5: | Line 5: | ||
}} | }} | ||
One of the most interesting freatures of the KdV is the | One of the most interesting freatures of the KdV is the existence of | ||
infinitely many conservation laws. Lets begin with some basics of | infinitely many conservation laws. Lets begin with some basics of | ||
conservation laws. If we can write our equation of the form | conservation laws. If we can write our equation of the form | ||
Line 13: | Line 13: | ||
Then we can integrate this equation from <math>-\infty </math> to <math>\infty </math> to obtain | Then we can integrate this equation from <math>-\infty </math> to <math>\infty </math> to obtain | ||
<center><math> | <center><math> | ||
\int_{-\infty }^{\infty }\partial _{t}T\left( u\right) \mathrm{d} x=\int_{-\infty | \int_{-\infty }^{\infty }\partial _{t}T\left( u\right) \mathrm{d} x = -\int_{-\infty | ||
}^{\infty }\partial _{x}X\left( u\right) \mathrm{d} x | }^{\infty }\partial _{x}X\left( u\right) \mathrm{d} x | ||
</math></center> | </math></center> | ||
The second integral will be zero if <math>u\rightarrow 0</math> as <math>x\rightarrow \pm | The second integral will be zero if <math>X(u)\rightarrow 0</math> as <math>x\rightarrow \pm | ||
\infty .</math> Therefore | \infty .</math> Therefore | ||
<center><math> | <center><math> | ||
Line 33: | Line 33: | ||
\int_{-\infty }^{\infty }u\mathrm{d} x | \int_{-\infty }^{\infty }u\mathrm{d} x | ||
</math></center> | </math></center> | ||
is conserved. This corresponds to conservation of | is conserved. This corresponds to conservation of mass. We can also | ||
write the KdV equation as | write the KdV equation as | ||
<center><math> | <center><math> | ||
Line 43: | Line 43: | ||
\int_{-\infty }^{\infty }u^{2}\mathrm{d} x | \int_{-\infty }^{\infty }u^{2}\mathrm{d} x | ||
</math></center> | </math></center> | ||
must be conserved. This corresponds to conservation of | must be conserved. This corresponds to conservation of momentum. It turns out | ||
that there is an infinite number of conserved quantities and we give here | that there is an infinite number of conserved quantities and we give here | ||
the proof of this. | the proof of this. | ||
Line 90: | Line 90: | ||
^{n}w_{n}\left( x,t\right) | ^{n}w_{n}\left( x,t\right) | ||
</math></center> | </math></center> | ||
Since the equation | Since we can rewrite the equation into the conservation form <math>\partial _{t}w+\partial_{x}\left(3w^2-2\varepsilon ^{2}w^{3}+\partial _{x}^{2}w\right)=0</math>, then | ||
<center><math> | <center><math> | ||
\int_{-\infty }^{\infty }w\left( x,t,\varepsilon \right) \mathrm{d} x = \mathrm{constant} | \int_{-\infty }^{\infty }w\left( x,t,\varepsilon \right) \mathrm{d} x = \mathrm{constant} | ||
Line 120: | Line 120: | ||
</math></center> | </math></center> | ||
<center><math> | <center><math> | ||
0=w_{3}-\partial _{x}w_{2}-w_{0}w_{1} | 0=w_{3}-\partial _{x}w_{2}-2w_{0}w_{1} | ||
</math></center> | |||
<center><math> | |||
0=w_{4}-\partial _{x}w_{3}-2w_{0}w_{2}-w_{1}^2 | |||
</math></center> | </math></center> | ||
We can solve | We can solve recursively to obtain | ||
<center><math> | <center><math> | ||
w_{0}=u | w_{0}=u | ||
Line 134: | Line 137: | ||
</math></center> | </math></center> | ||
<center><math> | <center><math> | ||
w_{3} = \partial _{x}^3 u + | w_{3} = \partial _{x}^3 u + 4 u \partial_{x} u = \partial _{x}(\partial _{x}^2 u + 2 u^2) | ||
</math></center> | </math></center> | ||
Note that each of the | <center><math> | ||
therefore does not actually provide a | w_{4} = \partial _{x}^4 u + 6 u \partial_{x}^2 u + 5 (\partial_{x} u)^2 + 2 u^3 = \partial _{x}(\partial _{x}^3 u + 6 u \partial_{x} u) + 2 u^3 - (\partial_{x} u)^2 | ||
</math></center> | |||
Note that each of the odd conservation laws (<math>w_1, w_3</math> etc.) are just an <math>\partial _{x}</math> of some <math>X(u)</math> and therefore does not actually provide a conservation law. | |||
As <math>\int_{-\infty }^{\infty }\partial_{x} X(u) \mathrm{d} x = 0</math>, <math>w_0</math>, <math>w_2</math>, and <math>w_4</math> correspond to conservation of <math>u</math> (mass), <math>u^2</math> (momentum), and <math>2 u^3 - (\partial_{x} u)^2</math> (energy). | |||
== Lecture Videos == | |||
=== Part 1 === | |||
{{#ev:youtube|9w3-IWX2b5g}} | |||
=== Part 2 === | |||
{{#ev:youtube|QQjh14uguvg}} |
Latest revision as of 19:17, 24 September 2025
Nonlinear PDE's Course | |
---|---|
Current Topic | Conservation Laws for the KdV |
Next Topic | Introduction to the Inverse Scattering Transform |
Previous Topic | Numerical Solution of the KdV |
One of the most interesting freatures of the KdV is the existence of infinitely many conservation laws. Lets begin with some basics of conservation laws. If we can write our equation of the form
Then we can integrate this equation from [math]\displaystyle{ -\infty }[/math] to [math]\displaystyle{ \infty }[/math] to obtain
The second integral will be zero if [math]\displaystyle{ X(u)\rightarrow 0 }[/math] as [math]\displaystyle{ x\rightarrow \pm \infty . }[/math] Therefore
so that the quantity
must be conserved by the solution of the equation. For the KdV we can write
so that we immediately see that the quantity
is conserved. This corresponds to conservation of mass. We can also write the KdV equation as
so that the quantity
must be conserved. This corresponds to conservation of momentum. 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
It is connected to the KdV by Miura's transformation
If we substitute this into the KdV we obtain
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
If we substitute this into the KdV we obtain
Therefore [math]\displaystyle{ u }[/math] solves the KdV equation provided that
We write the solution to this equation as a formal power series
Since we can rewrite the equation into the conservation form [math]\displaystyle{ \partial _{t}w+\partial_{x}\left(3w^2-2\varepsilon ^{2}w^{3}+\partial _{x}^{2}w\right)=0 }[/math], then
and since this is true for all [math]\displaystyle{ \varepsilon }[/math] this implies that
We then consider the expression
which implies that
It we equate powers of [math]\displaystyle{ \varepsilon }[/math] we obtain
We can solve recursively to obtain
Note that each of the odd conservation laws ([math]\displaystyle{ w_1, w_3 }[/math] etc.) are just an [math]\displaystyle{ \partial _{x} }[/math] of some [math]\displaystyle{ X(u) }[/math] and therefore does not actually provide a conservation law.
As [math]\displaystyle{ \int_{-\infty }^{\infty }\partial_{x} X(u) \mathrm{d} x = 0 }[/math], [math]\displaystyle{ w_0 }[/math], [math]\displaystyle{ w_2 }[/math], and [math]\displaystyle{ w_4 }[/math] correspond to conservation of [math]\displaystyle{ u }[/math] (mass), [math]\displaystyle{ u^2 }[/math] (momentum), and [math]\displaystyle{ 2 u^3 - (\partial_{x} u)^2 }[/math] (energy).