Higher-order dispersive systems: Difference between revisions

From DispersiveWiki
Jump to navigationJump to search
No edit summary
No edit summary
 
Line 1: Line 1:
One can study more general dispersive equations of the general form
One can study general dispersive equations of the general form


:<math>u_t + P(\nabla) u = F(u, \nabla u, \dots)</math>
<center><math>u_t + P(\nabla) u = F(u, \nabla u, \dots)</math></center>


where P(nabla) is an anti-selfadjoint constant coefficient operator, and F involves fewer derivatives on u than P and contains only quadratic and higher terms, and may possibly contain non-local operations such as Hilbert transforms, Hartree-type potentials, or Riesz transforms.  Such equations arise as various approximations to wave equations, see e.g. [Dy1979], [Hog1985].  Smoothing effects for the linear part of the equation were established in [BenKocSau2003], [Hs-p].  Nonlinear local existence in the analytic category was established in [Bd1993].  For smooth but not analytic data some local existence results have been established in [Tar1995], [Tar1997], [Ci-p].
where <math>P(\nabla)</math> is an anti-selfadjoint constant coefficient operator, and F involves fewer derivatives on u than P and contains only quadratic and higher terms, and may possibly contain non-local operations such as Hilbert transforms, Hartree-type potentials, or Riesz transforms.  Such equations arise as various approximations to wave equations, see e.g. [[Dy1979]], [[Hog1985]].  Smoothing effects for the linear part of the equation were established in [[BenKocSau2003]], [[Hs-p]].  Nonlinear local existence in the analytic category was established in [Bd1993].  For smooth but not analytic data some local existence results have been established in [[Tar1995]], [Tar1997], [[Ci-p]].


A one-dimensional special case of these systems are the '''higher order water wave models'''
A one-dimensional special case of these systems are the '''higher order water wave models'''
Line 9: Line 9:
<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 [[KdV 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</math> 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 [[KdV 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:Equations]]

Latest revision as of 21:54, 9 August 2006

One can study general dispersive equations of the general form

where is an anti-selfadjoint constant coefficient operator, and F involves fewer derivatives on u than P and contains only quadratic and higher terms, and may possibly contain non-local operations such as Hilbert transforms, Hartree-type potentials, or Riesz transforms. Such equations arise as various approximations to wave equations, see e.g. Dy1979, Hog1985. Smoothing effects for the linear part of the equation were established in BenKocSau2003, Hs-p. Nonlinear local existence in the analytic category was established in [Bd1993]. For smooth but not analytic data some local existence results have been established in Tar1995, [Tar1997], Ci-p.

A one-dimensional special case of these systems are the higher order water wave models

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 KdV 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.