KdV hierarchy: Difference between revisions

From DispersiveWiki
Jump to navigationJump to search
No edit summary
mNo edit summary
 
(18 intermediate revisions by 4 users not shown)
Line 1: Line 1:
The [[Korteweg-de Vries equation]]
The [[Korteweg-de Vries equation]]


<center><math>\partial_t V + \partial_x^3 V  = 6 \partial_x V</math></center>
<center><math>\partial_t V + \partial_x^3 V  = 6 V \partial_x V</math></center>


<span class="GramE">can</span> be rewritten in the Lax Pair form
<span class="GramE">can</span> be rewritten in the Lax Pair form


<center><span class="SpellE">L_t</span> = [L, P]</center>
<center><math>\partial_t L  = [L, P]</math></center>


<span class="GramE">where</span> L is the second-order operator
where <math>L</math> is the second-order operator


<center>L = -D^2 + V</center>
<center><math>L = -D^2 + V</math></center>


(D = d/<span class="SpellE">dx</span>) and P is the third-order <span class="SpellE">antiselfadjoint</span> operator
<math>(D = d/dx)</math> and <math>P</math> is the third-order antiselfadjoint operator


<center>P = 4D^3 + 3(DV + VD).</center>
<center><math>P = 4D^3 + 3(DV + VD)</math>.</center>


(<span class="GramE">note</span> that P consists of the <span class="SpellE">zeroth</span> order and higher terms of the formal power series expansion of 4i L^{3/2}).
''Note'' that <math>P</math> consists of the zeroth order and higher terms of the formal power series expansion of <math>4i L^{3/2}</math>).


One can replace P with other fractional powers of L. For instance, the <span class="SpellE">zeroth</span> order and higher terms of 4i L<span class="GramE">^{</span>5/2} are
One can replace <math>P</math> with other fractional powers of L. For instance, the zeroth order and higher terms of <math>4i L^{5/2}</math> are


<center>P = 4D^5 + 5(D^3 V + V D^3) - 5/4 (D <span class="SpellE">V_xx</span> + <span class="SpellE">V_xx</span> D) + 15/4 (D V^2 + V^2 D)</center>
<center><math>P = 4D^5 + 5(D^3 V + V D^3) - 5/4 (D \partial^2_x V + \partial_x^2 V  D) + 15/4 (D V^2 + V^2 D)</math></center>


<span class="GramE">and</span> the Lax pair equation becomes
and the Lax pair equation becomes


<center><span class="SpellE">V_t</span> + <span class="SpellE">u_xxxxx</span> = (5 V_x^2 + 10 V <span class="SpellE">V_xx</span> + 10 V^3<span class="GramE">)_</span>x</center>
<center><math>\partial_t V  + \partial_x^5 u  = \partial_x (5 V_x^2 + 10 V V_xx + 10 V^3)</math></center>


<span class="GramE">with</span> Hamiltonian
with Hamiltonian


<center><span class="GramE">H(</span>V) = \<span class="SpellE">int</span> V_xx^2 - 5 V^2 <span class="SpellE">V_xx</span> - 5 V^4.</center>
<math>H(V) = \int V_{xx}^2 - 5 V^2 V_xx - 5 V^4 dx.</math>


These flows all commute with each <span class="GramE">other,</span> and their Hamiltonians are conserved by all the flows simultaneously.
These flows all commute with each other and their Hamiltonians are conserved by all the flows simultaneously.


The <span class="SpellE">KdV</span> <span class="GramE">hierarchy are</span> examples of higher order water wave models; a general formulation is
The ''KdV hierarchy'' are examples of higher order water wave models; a general formulation is


<center><span class="SpellE">u_t</span> + <span class="SpellE">partial_x</span><span class="GramE">^{</span>2j+1} u = P(u, <span class="SpellE">u_x</span>, ..., <span class="SpellE">partial_x</span>^{2j} u)</center>
<center><math>\partial_t u  + \partial_x^{2j+1} u = P(u, u_x , ..., \partial_x^{2j} u)</math></center>


<span class="GramE">where</span> u is real-valued and P is a polynomial with no constant or linear terms; thus <span class="SpellE">KdV</span> and <span class="SpellE">gKdV</span> correspond to j=1, and the higher order equations in the hierarchy correspond to j=2,3,etc.LWP for these equations in high regularity <span class="SpellE">Sobolev</span> spaces is in [[references.html#KnPoVe1994 KnPoVe1994]], and independently by <span class="SpellE"><span class="GramE">Cai</span></span> (ref?); see also [[references.html#CrKpSr1992 CrKpSr1992]].The case j=2 was studied by <span class="SpellE">Choi</span> (ref?).The non-scalar diagonal case was treated in [[references.html#KnSt1997 KnSt1997]]; the periodic case was studied in [Bo-p3].Note in the periodic case it is possible to have ill-<span class="SpellE">posedness</span> for every regularity, for instance <span class="SpellE">u_t</span> + <span class="SpellE">u_xxx</span> = u^2 u_x^2 is ill-posed in every <span class="SpellE">H^s</span> [Bo-p3]
where <math>u</math> is real-valued and <math>P</math> is a polynomial with no constant or linear terms; thus KdV and gKdV correspond to j=1, and the higher order equations in the hierarchy correspond to j=2,3,etc. LWP for these equations in high regularity Sobolev spaces is in [[KnPoVe1994]], and independently by Cai (ref?); see also [[CrKpSr1992]].The case j=2 was studied by Choi</span> (ref?).The non-scalar diagonal case was treated in [[KnSt1997]]; the periodic case was studied in [Bo-p3].Note in the periodic case it is possible to have ill-posedness for every regularity, for instance <math>\partial_t u + u_{xxx} = u^2 u_x^2</math> is ill-posed in every <math>H^s</math> [Bo-p3]


[[Category:Equations]]
[[Category:Integrability]]
[[Category:Equations]] [[Category:Airy]]

Latest revision as of 20:10, 11 June 2007

The Korteweg-de Vries equation

can be rewritten in the Lax Pair form

where is the second-order operator

and is the third-order antiselfadjoint operator

.

Note that consists of the zeroth order and higher terms of the formal power series expansion of ).

One can replace with other fractional powers of L. For instance, the zeroth order and higher terms of are

and the Lax pair equation becomes

with Hamiltonian

These flows all commute with each other and their Hamiltonians are conserved by all the flows simultaneously.

The KdV hierarchy are examples of higher order water wave models; a general formulation is

where is real-valued and is a polynomial with no constant or linear terms; thus KdV and gKdV correspond to j=1, and the higher order equations in the hierarchy correspond to j=2,3,etc. LWP for these equations in high regularity Sobolev spaces is in KnPoVe1994, and independently by Cai (ref?); see also CrKpSr1992.The case j=2 was studied by Choi (ref?).The non-scalar diagonal case was treated in KnSt1997; the periodic case was studied in [Bo-p3].Note in the periodic case it is possible to have ill-posedness for every regularity, for instance is ill-posed in every [Bo-p3]