KdV-type equations: Difference between revisions

From DispersiveWiki
Jump to navigationJump to search
(→‎Specific equations: added bit about "linearized KdV equation")
 
(One intermediate revision by one other user not shown)
Line 18: Line 18:
* The [[modified Korteweg-de Vries equation|modified Korteweg-de Vries (mKdV) equation]] ([[Modified Korteweg-de Vries on R|on R]], [[generalized Korteweg-de Vries on the half-line|on R^+]], or [[Modified Korteweg-de Vries on T|on T]]), in which <math>P(u) = \pm 2 u^3</math>.  This equation is also [[completely integrable]].
* The [[modified Korteweg-de Vries equation|modified Korteweg-de Vries (mKdV) equation]] ([[Modified Korteweg-de Vries on R|on R]], [[generalized Korteweg-de Vries on the half-line|on R^+]], or [[Modified Korteweg-de Vries on T|on T]]), in which <math>P(u) = \pm 2 u^3</math>.  This equation is also [[completely integrable]].
* The [[generalized Korteweg-de Vries equation|generalized Korteweg-de Vries (gKdV) equation]], in which <math>P(u) = c u^{k+1}</math> for some constants c,k.  The cases k=1,2 are [[KdV]] and [[mKdV]] respectively.  The quartic [[gKdV-3 equation]] and the quintic (mass-critical) [[gKdV-4 equation]] are of special interest.  In general, these equations are not completely integrable.
* The [[generalized Korteweg-de Vries equation|generalized Korteweg-de Vries (gKdV) equation]], in which <math>P(u) = c u^{k+1}</math> for some constants c,k.  The cases k=1,2 are [[KdV]] and [[mKdV]] respectively.  The quartic [[gKdV-3 equation]] and the quintic (mass-critical) [[gKdV-4 equation]] are of special interest.  In general, these equations are not completely integrable.
* The linearized Korteweg-de Vries equation, in which <math>P(u) = c u</math> (i.e., the <math>k=0</math> case of the generalized Korteweg-de Vries (gKdV) equation).  This equations is linear in <math>u</math> and can be reduce to the simple form <math>u_T + u_{XXX} = 0</math> with the change of variables <math>X=x-t</math>, <math>T=t</math>.[http://mathoverflow.net/questions/23334/what-are-the-interesting-cases-of-the-generalized-korteweg-de-vries-equation]


Drift terms <math>u_x</math> can be added, but they can be subsumed into the polynomial <math>P(u)</math> or eliminated by a [[Galilean]] transformation (except in the half-line case). Indeed, one can freely insert or remove any term of the form <math>a'(t) u_x</math> by shifting the <math>x</math> variable by <math>a(t)</math>, which is especially useful for periodic higher-order <span class="SpellE">gKdV</span> equations (setting <math>a'(t)</math> equal to the mean of <math>P(u(t))</math>).
Drift terms <math>u_x</math> can be added, but they can be subsumed into the polynomial <math>P(u)</math> or eliminated by a [[Galilean]] transformation (except in the half-line case). Indeed, one can freely insert or remove any term of the form <math>a'(t) u_x</math> by shifting the <math>x</math> variable by <math>a(t)</math>, which is especially useful for periodic higher-order <span class="SpellE">gKdV</span> equations (setting <math>a'(t)</math> equal to the mean of <math>P(u(t))</math>).
Line 51: Line 52:
<center><math>(u,v) := \int u \partial_x^{-1} v dx</math>.</center>
<center><math>(u,v) := \int u \partial_x^{-1} v dx</math>.</center>


Thus <math>H^{-1/2}</math> is the natural Hilbert space in which to study the <span class="SpellE">symplectic</span> geometry of these flows. Unfortunately, the [[gKdV|gKdV-k]] equations are only locally well-posed in <math>H^{-1/2}</math> when <math>k=1</math>.
Thus <math>H^{-1/2}</math> is the natural Hilbert space in which to study the <span class="SpellE">symplectic</span> geometry of these flows. Unfortunately, the [[gKdV|gKdV-k]] equations are only locally well-posed in <math>H^{-1/2}</math> when <math>k=1</math>. In fact, the [[Korteweg-de_Vries_equation| standard KdV equation]] is bi-hamiltonian.  





Latest revision as of 15:16, 4 May 2010

Equations of Korteweg-de Vries type

The equations of Korteweg-de Vries type are all nonlinear perturbations of the Airy equation. They take the general form

where is a function of one space and one time variable, and is some polynomial of . One can place various normalizing constants in front of the and terms, but they can usually be scaled out. The function and the polynomial are usually assumed to be real.

The variable is usually assumed to live on the real line R (so there is some decay at infinity) or on the torus T (so the data is periodic). The half-line has also been studied, as has the case of periodic data with large period. It might be interesting to look at whether the periodicity assumption can be perturbed (e.g. quasi-periodic data); it is not clear whether the phenomena we see in the periodic problem are robust under perturbations, or are number-theoretic artefacts of perfect periodicity.

Specific equations

Several special cases of KdV-type equations are of interest, including

Drift terms can be added, but they can be subsumed into the polynomial or eliminated by a Galilean transformation (except in the half-line case). Indeed, one can freely insert or remove any term of the form by shifting the variable by , which is especially useful for periodic higher-order gKdV equations (setting equal to the mean of ).

The Korteweg-de Vries equation is also a member of the KdV hierarchy. One can also couple the KdV equation to other equations, creating for instance the nonlinear Schrodinger-Airy system.

History

Historically, these types of equations first arose in the study of 2D shallow wave propagation, but have since appeared as limiting cases of many dispersive models. Interestingly, the 2D shallow wave equation can also give rise to the Boussinesq or cubic NLS equation by making more limiting assumptions (in particular, weak nonlinearity and slowly varying amplitude).

Conservation laws, symmetries, and criticality

KdV-type equations on R or T always come with three conserved quantities:

where is a primitive of . Note that the Hamiltonian is positive-definite in the defocussing cases (if u is real); thus the defocussing equations have a better chance of long-term existence. The mass has no definite sign and so is only useful in specific cases (e.g. perturbations of a soliton).

In general, the above three quantities are the only conserved quantities available, but the KdV and mKdV equations come with infinitely many more such conserved quantities due to their completely integrable nature.

The critical (or scaling) regularity is

In particular, KdV, mKdV, and gKdV-3 are subcritical with respect to , gKdV-4 is critical, and all the other equations are supercritical. Generally speaking, the potential energy term can be pretty much ignored in the sub-critical equations, needs to be dealt with carefully in the critical equation, and can completely dominate the Hamiltonian in the super-critical equations (to the point that blowup occurs if the equation is not defocussing. Note that is always a sub-critical regularity.

The dispersion relation is always increasing, which means that singularities always propagate to the left. In fact, high frequencies propagate leftward at extremely high speeds, which causes a smoothing effect if there is some decay in the initial data ( will do). On the other hand, KdV-type equations have the remarkable property of supporting localized travelling wave solutions known as solitons, which propagate to the right. It is known that solutions to the completely integrable equations (i.e. KdV and mKdV always resolve to a superposition of solitons as , but it is an interesting open question as to whether the same phenomenon occurs for the other KdV-type equations.

Symplectic structure

A KdV-type equation can be viewed as a symplectic flow with the Hamiltonian defined above, and the symplectic form given by

.

Thus is the natural Hilbert space in which to study the symplectic geometry of these flows. Unfortunately, the gKdV-k equations are only locally well-posed in when . In fact, the standard KdV equation is bi-hamiltonian.


If is even, the sign of is important. The case is known as the defocussing case, while is the focussing case. When is odd, the constant can always be scaled out, so we do not distinguish focussing and defocussing in this case.

Estimates

The perturbation theory for the KdV-type equations rests on a number of linear, bilinear, trilinear, or multilinear estimates for the Airy equation. These estimates involve a number of function space norms, such as the X^s,b spaces. See the page on Airy estimates for more details.