KdV-type equations: Difference between revisions
JessRiedel (talk | contribs) (→Specific equations: added bit about "linearized KdV equation") |
|||
(25 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 15: | Line 15: | ||
Several special cases of KdV-type equations are of interest, including | Several special cases of KdV-type equations are of interest, including | ||
* The [[Korteweg-de Vries equation|Korteweg-de Vries (KdV) equation]] ([[Korteweg-de Vries equation on R|on R]], [[Korteweg-de Vries equation on | * 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]] 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 | * 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]]. | |||
== 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 32: | 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 48: | 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 59: | 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle u(t,x)} is a function of one space and one time variable, and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle P(u)} is some polynomial of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle u} . One can place various normalizing constants in front of the Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle u_{xxx}} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle P(u)} terms, but they can usually be scaled out. The function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle u} and the polynomial Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle P} are usually assumed to be real.
The Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle x} 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle P(u) = 3 u^2} . This equation is completely integrable.
- The modified Korteweg-de Vries (mKdV) equation (on R, on R^+, or on T), in which Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle P(u) = \pm 2 u^3} . This equation is also completely integrable.
- The generalized Korteweg-de Vries (gKdV) equation, in which Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle P(u) = c u^{k+1}} 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle P(u) = c u} (i.e., the Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle k=0} case of the generalized Korteweg-de Vries (gKdV) equation). This equations is linear in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle u} and can be reduce to the simple form Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle u_T + u_{XXX} = 0} with the change of variables Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle X=x-t} , Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle T=t} .[1]
Drift terms Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle u_x} can be added, but they can be subsumed into the polynomial Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle P(u)} or eliminated by a Galilean transformation (except in the half-line case). Indeed, one can freely insert or remove any term of the form Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a'(t) u_x} by shifting the Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle x} variable by Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a(t)} , which is especially useful for periodic higher-order gKdV equations (setting Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle a'(t)} equal to the mean of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle P(u(t))} ).
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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle V} is a primitive of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle P} . 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle L^2} , gKdV-4 is Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle L^2} critical, and all the other equations are Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle L^2} supercritical. Generally speaking, the potential energy term Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle V(u)} 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle H^1} is always a sub-critical regularity.
The dispersion relation Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \tau = \xi^3} 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 (Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle L^2} 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle t \rightarrow \infty} , 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle H^{-1/2}} 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle H^{-1/2}} when Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle k=1} . In fact, the standard KdV equation is bi-hamiltonian.
If Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle k}
is even, the sign of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle c}
is important. The Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle c < 0}
case is known as the defocussing case, while Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle c > 0}
is the focussing case. When Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle k}
is odd, the constant Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle c}
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.