KdV-type equations: Difference between revisions
JessRiedel (talk | contribs) (→Specific equations: added bit about "linearized KdV equation") |
|||
(17 intermediate revisions by 2 users not shown) | |||
Line 3: | Line 3: | ||
==Equations of Korteweg-de Vries type== | ==Equations of Korteweg-de Vries type== | ||
The | The ''equations of Korteweg-de Vries type'' are all nonlinear perturbations of the [[Airy equation]]. They take the general form | ||
<center><math>\partial_t u + \partial_x^3 u + \partial_x P(u) = 0</math></center> | <center><math>\partial_t u + \partial_x^3 u + \partial_x P(u) = 0</math></center> | ||
where u( | where <math>u(t,x)</math> is a function of one space and one time variable, and <math>P(u)</math> is some polynomial of <math>u</math>. One can place various normalizing constants in front of the <math>u_{xxx}</math> and <math>P(u)</math> terms, but they can usually be scaled out. The function <math>u</math> and the polynomial <math>P</math> are usually assumed to be real. | ||
The x variable is usually assumed to live on the real line R (so there is some decay at infinity) or on the <span class="SpellE">torus</span> 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 <span class="SpellE">artefacts</span> of perfect periodicity. | The <math>x</math> variable is usually assumed to live on the real line R (so there is some decay at infinity) or on the <span class="SpellE">torus</span> 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 <span class="SpellE">artefacts</span> of perfect periodicity. | ||
== Specific equations == | == Specific equations == | ||
Line 17: | Line 17: | ||
* The [[Korteweg-de Vries equation|Korteweg-de Vries (KdV) equation]] ([[Korteweg-de Vries equation on R|on R]], [[Korteweg-de Vries equation on the half-line|on R^+]], or [[Korteweg-de Vries equation on T|on T]]), in which <math>P(u) = 3 u^2</math>. This equation is [[completely integrable]]. | * The [[Korteweg-de Vries equation|Korteweg-de Vries (KdV) equation]] ([[Korteweg-de Vries equation on R|on R]], [[Korteweg-de Vries equation on the half-line|on R^+]], or [[Korteweg-de Vries equation on T|on T]]), in which <math>P(u) = 3 u^2</math>. This equation is [[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 [[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 < | 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>). | ||
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]]. | 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]]. | ||
Line 25: | Line 26: | ||
== History == | == 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 <span class="SpellE">Boussinesq</span> or [ | 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 <span class="SpellE">Boussinesq</span> or [[Cubic NLS on R|cubic NLS]] equation by making more limiting assumptions (in particular, weak nonlinearity and slowly varying amplitude). | ||
slowly varying amplitude). | |||
== Conservation laws, symmetries, and criticality == | == Conservation laws, symmetries, and criticality == | ||
Line 34: | Line 34: | ||
<center><math>Mass:=\int u dx, \| u \|_{L^2_x}^2 := \int u^2 dx, Hamiltonian:=\int u_x^2 - V(u) dx</math></center> | <center><math>Mass:=\int u dx, \| u \|_{L^2_x}^2 := \int u^2 dx, Hamiltonian:=\int u_x^2 - V(u) dx</math></center> | ||
< | where <math>V</math> is a primitive of <math>P</math>. 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 <span class="SpellE">soliton</span>). | ||
In general, the above three quantities are the only conserved quantities available, but the [ | 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 | The [[critical]] (or scaling) regularity is | ||
<center><math>s_c = \frac{1}{2} - \frac{2}{k}.</math></center> | <center><math>s_c = \frac{1}{2} - \frac{2}{k}.</math></center> | ||
In particular, [ | In particular, [[KdV]], [[mKdV]], and [[GKdV-3 equation|gKdV-3]] are [[subcritical]] with respect to <math>L^2</math>, [[GKdV-4 equation|gKdV-4]] is <math>L^2</math> [[critical]], and all the other equations are <math>L^2</math> [[supercritical]]. Generally speaking, the potential energy term <math>V(u)</math> 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</span>. Note that <math>H^1</math> is always a sub-critical regularity. | ||
The [[dispersion relation]] | The [[dispersion relation]] <math>\tau = \xi^3</math> 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 (<math>L^2</math> will do). On the other hand, KdV-type equations have the remarkable property of supporting localized <span class="SpellE">travelling</span> wave solutions known as [[soliton]]s, 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 <math>t \rightarrow \infty</math>, but it is an interesting open question as to whether the same phenomenon occurs for the other KdV-type equations. | ||
== Symplectic structure == | == Symplectic structure == | ||
Line 50: | Line 50: | ||
A <span class="SpellE">KdV</span>-type equation can be viewed as a <span class="SpellE">symplectic</span> flow with the Hamiltonian defined above, and the <span class="SpellE">symplectic</span> form given by | A <span class="SpellE">KdV</span>-type equation can be viewed as a <span class="SpellE">symplectic</span> flow with the Hamiltonian defined above, and the <span class="SpellE">symplectic</span> form given by | ||
<center><math>(u,v) := \int u | <center><math>(u,v) := \int u \partial_x^{-1} v dx</math>.</center> | ||
Thus | 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. | ||
If k is even, the sign of c is important. The c < 0 case is known as the <span class="SpellE">defocussing</span> case, while c > 0 is the <span class="SpellE">focussing</span> case. When k is odd, the constant c can always be scaled out, so we do not distinguish <span class="SpellE">focussing</span> and <span class="SpellE">defocussing</span> in this case. | If <math>k</math> is even, the sign of <math>c</math> is important. The <math>c < 0</math> case is known as the <span class="SpellE">defocussing</span> case, while <math>c > 0</math> is the <span class="SpellE">focussing</span> case. When <math>k</math> is odd, the constant <math>c</math> can always be scaled out, so we do not distinguish <span class="SpellE">focussing</span> and <span class="SpellE">defocussing</span> in this case. | ||
==Estimates== | ==Estimates== | ||
Line 61: | Line 61: | ||
The perturbation theory for the KdV-type equations rests on a number of [[Linear Airy estimates|linear]], [[Bilinear Airy estimates|bilinear]], [[Trilinear Airy estimates|trilinear]], or [[Multilinear Airy estimates|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. | The perturbation theory for the KdV-type equations rests on a number of [[Linear Airy estimates|linear]], [[Bilinear Airy estimates|bilinear]], [[Trilinear Airy estimates|trilinear]], or [[Multilinear Airy estimates|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. | ||
[[Category:Airy]] | |||
[[Category:Equations]] | [[Category:Equations]] |
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
- The Korteweg-de Vries (KdV) equation (on R, on R^+, or on T), in which . This equation is completely integrable.
- The modified Korteweg-de Vries (mKdV) equation (on R, on R^+, or on T), in which . This equation is also completely integrable.
- The generalized Korteweg-de Vries (gKdV) equation, in which 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 (i.e., the case of the generalized Korteweg-de Vries (gKdV) equation). This equations is linear in and can be reduce to the simple form with the change of variables , .[1]
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.