KdV hierarchy: Difference between revisions

From DispersiveWiki
Jump to navigationJump to search
No edit summary
mNo edit summary
 
(9 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
Line 15: Line 15:
<center><math>P = 4D^3 + 3(DV + VD)</math>.</center>
<center><math>P = 4D^3 + 3(DV + VD)</math>.</center>


''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>).
''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 <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
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
Line 27: Line 27:
with Hamiltonian
with Hamiltonian


<math>H(V) = \int V_xx^2 - 5 V^2 V_xx  - 5 V^4 dx.</math>
<math>H(V) = \int V_{xx}^2 - 5 V^2 V_xx  - 5 V^4 dx.</math>


These flows all commute with each other 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.
Line 35: Line 35:
<center><math>\partial_t u  + \partial_x^{2j+1} u = P(u, u_x , ..., \partial_x^{2j} u)</math></center>
<center><math>\partial_t u  + \partial_x^{2j+1} u = P(u, u_x , ..., \partial_x^{2j} u)</math></center>


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]
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:Integrability]]
[[Category:Equations]] [[Category:Airy]]
[[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]