KdV hierarchy: Difference between revisions

From DispersiveWiki
Jump to navigationJump to search
(Cleaning references)
No edit summary
Line 5: Line 5:
<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>L_t</span> = [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)


<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>
<center><math>H(V) = \int V_xx^2 - 5 V^2 V_xx - 5 V^4 dx.</math></center>


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</span>^{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 [[Bibliography#KnPoVe1994|KnPoVe1994]], and independently by <span class="SpellE"><span class="GramE">Cai</span></span> (ref?); see also [[Bibliography#CrKpSr1992|CrKpSr1992]].The case j=2 was studied by <span class="SpellE">Choi</span> (ref?).The non-scalar diagonal case was treated in [[Bibliography#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 [[Bibliography#KnPoVe1994|KnPoVe1994]], and independently by Cai (ref?); see also [[Bibliography#CrKpSr1992|CrKpSr1992]].The case j=2 was studied by Choi</span> (ref?).The non-scalar diagonal case was treated in [[Bibliography#KnSt1997|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 is ill-posed in every <math>H^s</math> [Bo-p3]


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

Revision as of 22:04, 30 July 2006

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

.

Notethat 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

Failed to parse (Conversion error. Server ("https://en.wikipedia.org/api/rest_") reported: "Cannot get mml. TeX parse error: Double exponent: use braces to clarify"): {\displaystyle P=4D^{5}+5(D^{3}V+VD^{3})-5/4(D\partial _{x}^{2}^{V}+\partial _{x}^{2}VD)+15/4(DV^{2}+V^{2}D)}

and the Lax pair equation becomes

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

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 [Bo-p3]