Korteweg–De Vries equation

Cnoidal wave solution to the Korteweg–De Vries equation, in terms of the square of the Jacobi elliptic function cn (and with value of the parameter Template:Nowrap).

In mathematics, the Korteweg–De Vries (KdV) equation is a partial differential equation (PDE) which serves as a mathematical model of waves on shallow water surfaces. It is particularly notable as the prototypical example of an integrable PDE, exhibiting typical behaviors such as a large number of explicit solutions, in particular soliton solutions, and an infinite number of conserved quantities, despite the nonlinearity which typically renders PDEs intractable. The KdV can be solved by the inverse scattering method (ISM).Template:Sfn In fact, Clifford Gardner, John M. Greene, Martin Kruskal and Robert Miura developed the classical inverse scattering method to solve the KdV equation.

The KdV equation was first introduced by Template:Harvs and rediscovered by Diederik Korteweg and Gustav de Vries in 1895, who found the simplest solution, the one-soliton solution.Template:Sfn Template:Sfn Understanding of the equation and behavior of solutions was greatly advanced by the computer simulations of Norman Zabusky and Kruskal in 1965 and then the development of the inverse scattering transform in 1967.

In 1972, T. Kawahara proposed a fifth-order KdV type of equation, known as Kawahara equation, that describes dispersive waves, particularly in cases when the coefficient of the KdV equation becomes very small or zero.<ref>Template:Cite journal</ref>

Definition

The KdV equation is a partial differential equation that models (spatially) one-dimensional nonlinear dispersive nondissipative waves described by a function <math>\phi(x,t)</math> adhering to:Template:Sfn

<math>\partial_t \phi + \partial^3_x \phi - 6\, \phi\, \partial_x \phi =0\, \quad x \in \mathbb{R}, \; t \geq 0,</math>

where <math>\partial^3_x \phi</math> accounts for dispersion and the nonlinear element <math>\phi \partial_x \phi</math> is an advection term.

For modelling shallow water waves, <math>\phi</math> is the height displacement of the water surface from its equilibrium height.

The constant <math>6</math> in front of the last term is conventional but of no great significance: multiplying <math>t</math>, <math>x</math>, and <math>\phi</math> by constants can be used to make the coefficients of any of the three terms equal to any given non-zero constants.

Soliton solutions

One-soliton solution

Consider solutions in which a fixed waveform, given by <math>f(X)</math>, maintains its shape as it travels to the right at phase speed <math>c</math>. Such a solution is given by <math>\varphi(x,t)=f(x-ct-a)=f(X)</math>. Substituting it into the KdV equation gives the ordinary differential equation

or, integrating with respect to <math>X</math>,

where <math>A</math> is a constant of integration. Interpreting the independent variable <math>X</math> above as a virtual time variable, this means <math>f</math> satisfies Newton's equation of motion of a particle of unit mass in a cubic potential

<math>V(f) = -\left(f^3+\frac{1}{2}cf^2 + Af\right)</math>.

If

then the potential function <math>V(f)</math> has local maximum at <math>f=0</math>; there is a solution in which <math>f(X)</math> starts at this point at 'virtual time' <math>-\infty</math>, eventually slides down to the local minimum, then back up the other side, reaching an equal height, and then reverses direction, ending up at the local maximum again at time <math>\infty</math>. In other words, <math>f(X)</math> approaches <math>0</math> as <math>X\to-\infty</math>. This is the characteristic shape of the solitary wave solution.

More precisely, the solution is

<math>\phi(x,t)= -\frac 1 2 \, c\, \operatorname{sech}^2\left[{\sqrt{c}\over 2}(x-c\,t-a)\right]</math>

where <math>\operatorname{sech}</math> stands for the hyperbolic secant and <math>a</math> is an arbitrary constant.Template:Sfn This describes a right-moving soliton with velocity <math>c</math>.

N-soliton solution

There is a known expression for a solution which is an <math>N</math>-soliton solution, which at late times resolves into <math>N</math> separate single solitons.Template:Sfn The solution depends on a set of decreasing positive parameters <math>\chi_1> \cdots> \chi_N > 0</math> and a set of non-zero parameters <math>\beta_1, \cdots, \beta_N</math>. The solution is given in the form <math display = block> \phi(x,t) = -2\frac{\partial^2}{\partial x^2} \mathrm{log}[\mathrm{det} A(x,t)] </math> where the components of the matrix <math>A(x,t)</math> are <math>A_{nm}(x,t) = \delta_{nm} + \frac{\beta_n e^{8\chi_n^3t}e^{-(\chi_n + \chi_m)x}}{\chi_n + \chi_m}.</math>

This is derived using the inverse scattering method.

Integrals of motion

The KdV equation has infinitely many integrals of motion, functionals on a solution <math>\phi(t)</math> which do not change with time.Template:Sfn They can be given explicitly as

<math>\int_{-\infty}^{+\infty} P_{2n-1}(\phi,\, \partial_x \phi,\, \partial_x^2 \phi,\, \ldots)\, \text{d}x\,</math>

where the polynomials <math>P_n</math> are defined recursively by

<math>

\begin{align}

 P_1&=\phi,
 \\
 P_n &= -\frac{dP_{n-1}}{dx} + \sum_{i=1}^{n-2}\, P_i\, P_{n-1-i}
 \quad \text{ for } n \ge 2.
 \end{align}

</math> The first few integrals of motion are:

the mass <math>\int \phi\, \mathrm{d}x,</math>
the momentum <math>\int \phi^2\, \mathrm{d}x,</math>
the energy <math>\int \left[ 2 \phi^3 - \left( \partial_x \phi \right)^2 \right] \, \mathrm{d}x</math>.

Only the odd-numbered terms <math>P_{2n+1}</math> result in non-trivial (meaning non-zero) integrals of motion.Template:Sfn

Lax pairs

The KdV equation

<math>\partial_t\phi = 6\, \phi\, \partial_x \phi - \partial_x^3 \phi</math>

can be reformulated as the Lax equation

<math>L_t = [L,A] \equiv LA - AL \,</math>

with <math>L</math> a Sturm–Liouville operator:

<math>

\begin{align}

 L &= -\partial_x^2 + \phi, \\
 A &= 4 \partial_x^3 - 6 \phi\, \partial_x - 3[\partial_x, \phi]

\end{align} </math> where <math>[\partial_x,\phi]</math> is the commutator such that <math>[\partial_x,\phi]f=f\partial_x\phi</math>.Template:Sfn The Lax pair accounts for the infinite number of first integrals of the KdV equation.Template:Sfn

In fact, <math>L</math> is the time-independent Schrödinger operator (disregarding constants) with potential <math>\phi(x,t)</math>. It can be shown that due to this Lax formulation that in fact the eigenvalues do not depend on <math>t</math>.Template:Sfn

Zero-curvature representation

Setting the components of the Lax connection to be <math display=block>L_x = \begin{pmatrix}0 & 1\\ \phi - \lambda & 0\end{pmatrix}, L_t = \begin{pmatrix}-\phi_x & 2\phi + 4\lambda \\ 2\phi^2 - \phi_{xx} + 2\phi\lambda - 4\lambda^2 & \phi_x\end{pmatrix},</math> the KdV equation is equivalent to the zero-curvature equation for the Lax connection, <math display=block>\partial_t L_x - \partial_x L_t + [L_x, L_t] = 0. </math>

Least action principle

The Korteweg–De Vries equation

<math>\partial_t \phi + 6\phi\, \partial_x \phi + \partial_x^3 \phi = 0, </math>

is the Euler–Lagrange equation of motion derived from the Lagrangian density, <math>\mathcal{L}\,</math>

Template:NumBlk

with <math>\phi</math> defined by

<math>\phi := \frac{\partial \psi}{\partial x}. </math>

Template:Hidden begin Since the Lagrangian (eq (1)) contains second derivatives, the Euler–Lagrange equation of motion for this field is

Template:NumBlk{\partial ( \partial_{\mu\mu} \psi )} \right) - \partial_\mu \left( \frac{\partial \mathcal{L}}{\partial ( \partial_\mu \psi )} \right) + \frac{\partial \mathcal{L}}{\partial \psi} = 0 . </math>|Template:EquationRef}}

where <math>\partial</math> is a derivative with respect to the <math>\mu</math> component.

A sum over <math>\mu</math> is implied so eq (2) really reads,

Template:NumBlk{\partial ( \partial_{tt} \psi )} \right) + \partial_{xx} \left( \frac{\partial \mathcal{L}}{\partial ( \partial_{xx} \psi )} \right) - \partial_t \left( \frac{\partial \mathcal{L}}{\partial ( \partial_t \psi )} \right) - \partial_x \left( \frac{\partial \mathcal{L}}{\partial ( \partial_x \psi )} \right) + \frac{\partial \mathcal{L}}{\partial \psi} = 0 .</math>|Template:EquationRef}}

Evaluate the five terms of eq (3) by plugging in eq (1),

<math>\partial_{tt} \left( \frac{\partial \mathcal{L}}{\partial ( \partial_{tt} \psi )} \right) = 0 </math>

<math>\partial_{xx} \left( \frac{\partial \mathcal{L}}{\partial ( \partial_{xx} \psi )} \right) = \partial_{xx} \left( -\partial_{xx} \psi \right) </math>

<math>\partial_t \left( \frac{\partial \mathcal{L}}{\partial ( \partial_t \psi )} \right) = \partial_t \left( \frac{1}{2} \partial_x \psi \right) </math>

<math>\partial_x \left( \frac{\partial \mathcal{L}}{\partial ( \partial_x \psi )} \right) = \partial_x \left( \frac{1}{2} \partial_t \psi + 3 (\partial_x \psi)^2 \right) \,</math>

<math>\frac{\partial \mathcal{L}}{\partial \psi} = 0 </math>

Remember the definition <math>\phi = \partial_x \psi </math>, so use that to simplify the above terms,

<math>\partial_{xx} \left( - \partial_{xx} \psi \right) = - \partial_{xxx} \phi </math>

<math>\partial_t \left( \frac{1}{2} \partial_x \psi \right) = \frac{1}{2} \partial_t \phi </math>

<math>\partial_x \left( \frac{1}{2} \partial_t \psi + 3 (\partial_x \psi)^2 \right) = \frac{1}{2} \partial_t \phi + 3 \partial_x (\phi)^2 = \frac{1}{2} \partial_t \phi + 6 \phi \partial_x \phi </math>

Finally, plug these three non-zero terms back into eq (3) to see

<math>\left(- \partial_{xxx} \phi \right) - \left(\frac{1}{2} \partial_t \phi \right) - \left( \frac{1}{2} \partial_t \phi + 6 \phi \partial_x \phi \right) = 0, </math>

which is exactly the KdV equation

<math>\partial_t \phi + 6 \phi\, \partial_x \phi + \partial_x^3 \phi = 0 .</math>

Template:Hidden end

Long-time asymptotics

It can be shown that any sufficiently fast decaying smooth solution will eventually split into a finite superposition of solitons travelling to the right plus a decaying dispersive part travelling to the left. This was first observed by Template:Harvtxt and can be rigorously proven using the nonlinear steepest descent analysis for oscillatory Riemann–Hilbert problems.Template:Sfn

History

The history of the KdV equation started with experiments by John Scott Russell in 1834, followed by theoretical investigations by Lord Rayleigh and Joseph Boussinesq around 1870 and, finally, Korteweg and De Vries in 1895.

The KdV equation was not studied much after this until Template:Harvtxt discovered numerically that its solutions seemed to decompose at large times into a collection of "solitons": well separated solitary waves. Moreover, the solitons seems to be almost unaffected in shape by passing through each other (though this could cause a change in their position). They also made the connection to earlier numerical experiments by Fermi, Pasta, Ulam, and Tsingou by showing that the KdV equation was the continuum limit of the FPUT system. Development of the analytic solution by means of the inverse scattering transform was done in 1967 by Gardner, Greene, Kruskal and Miura.Template:Sfn Template:Sfn

The KdV equation is now seen to be closely connected to Huygens' principle.Template:Sfn Template:Sfn

Applications and connections

The KdV equation has several connections to physical problems. In addition to being the governing equation of the string in the Fermi–Pasta–Ulam–Tsingou problem in the continuum limit, it approximately describes the evolution of long, one-dimensional waves in many physical settings, including:

shallow-water waves with weakly non-linear restoring forces,
long internal waves in a density-stratified ocean,
ion acoustic waves in a plasma,
acoustic waves on a crystal lattice.

The KdV equation can also be solved using the inverse scattering transform such as those applied to the non-linear Schrödinger equation.

KdV equation and the Gross–Pitaevskii equation

Template:Unreferenced section

Considering the simplified solutions of the form

we obtain the KdV equation as

<math> \pm \partial_x \phi + \partial^3_x \phi + 6\, \phi\, \partial_x \phi =0\,</math>

or

<math> \pm \partial_x \phi + \partial_x (\partial^2_x \phi + 3 \phi^2) =0\,</math>

Integrating and taking the special case in which the integration constant is zero, we have:

<math> -\partial^2_x \phi - 3 \phi^2 =\pm \phi \,</math>

which is the <math>\lambda=1</math> special case of the generalized stationary Gross–Pitaevskii equation (GPE)

<math> -\partial^2_x \phi - 3 \phi^{\lambda} \phi =\pm \phi \,</math>

Therefore, for the certain class of solutions of generalized GPE (<math>\lambda=4</math> for the true one-dimensional condensate and <math>\lambda=2</math> while using the three dimensional equation in one dimension), two equations are one. Furthermore, taking the <math>\lambda=3</math> case with the minus sign and the <math>\phi</math> real, one obtains an attractive self-interaction that should yield a bright soliton.Template:Citation needed

Variations

Many different variations of the KdV equations have been studied. Some are listed in the following table.

Name	Equation
Korteweg–De Vries (KdV)	<math>\displaystyle \partial_t u + \partial^3_x u + 6u \partial_x u=0</math>
KdV (cylindrical)	<math>\displaystyle \partial_t u + \partial_x^3 u - 6u \partial_x u + \tfrac{1}{2t}u = 0</math>
KdV (deformed)	<math>\displaystyle \partial_t u + \partial_x \left (\frac{\partial_x^2 u - 2 \eta u^3 - 3 u (\partial_x u)^2}{2(\eta+u^2)} \right ) = 0</math>
KdV (generalized)	<math>\displaystyle \partial_t u + \partial_x^3 u = \partial_x^5 u </math>
KdV (generalized)	<math>\displaystyle \partial_t u + \partial_x^3 u + \partial_x f(u) = 0</math>
KdV (modified)	<math>\displaystyle \partial_t u + \partial_x^3 u \pm 6 u^2 \partial_x u = 0</math>
Gardner equation	<math>\displaystyle \partial_t u + \partial_x^3 u -(6\varepsilon^2u^2 + 6 u)\partial_x u = 0</math>
KdV (modified modified)	<math>\displaystyle \partial_t u + \partial_x^3 u - \tfrac{1}{8}(\partial_x u)^3 + (\partial_x u)(Ae^{au}+B+Ce^{-au}) = 0</math>
KdV (spherical)	<math>\displaystyle \partial_t u + \partial_x^3 u - 6 u \partial_x u + \tfrac{1}{t}u = 0</math>
Hirota–Satsuma equation	<math>\displaystyle \begin{cases} u_t-\frac{1}{2}u_{xxx}+3uu_x-3(vw)_x=0\\ v_t+v_{xxx}-3uv_x=0\\ w_t+w_{xxx}-3uw_x=0 \end{cases}</math>
KdV (super)	<math>\displaystyle \begin{cases} \partial_t u = 6 u \partial_x u - \partial_x^3 u + 3 w \partial_x^2 w \\ \partial_t w = 3 (\partial_x u) w + 6 u \partial_x w - 4 \partial_x^3 w \end{cases}</math>
KdV (transitional)	<math>\displaystyle \partial_t u + \partial_x^3 u - 6 f(t) u \partial_x u = 0</math>
KdV (variable coefficients)	<math>\displaystyle \partial_t u + \beta t^n \partial_x^3 u + \alpha t^nu \partial_x u= 0</math>
KdV-Burgers equation	<math>\displaystyle \partial_t u + \mu \partial_x^3 u + u \partial_x u -\nu \partial_x^2 u = 0</math>
Kawahara equation	<math>\partial_t u + \alpha u \partial_x u+ \beta \partial_x^3 u - \gamma\, \partial_x^5 u = 0, </math>
non-homogeneous KdV	<math>\partial_{t} u+\alpha u+\beta \partial_{x} u+\gamma \partial_{x}^2 u=Ai(x), \quad u(x,0)=f(x)</math>

Notes

Template:Reflist

References

External links

Template:Commons category

Korteweg–De Vries equation at EqWorld: The World of Mathematical Equations.
Korteweg–De Vries equation at NEQwiki, the nonlinear equations encyclopedia.
Cylindrical Korteweg–De Vries equation at EqWorld: The World of Mathematical Equations.
Modified Korteweg–De Vries equation at EqWorld: The World of Mathematical Equations.
Modified Korteweg–De Vries equation at NEQwiki, the nonlinear equations encyclopedia.
Template:Mathworld
Derivation of the Korteweg–De Vries equation for a narrow canal.
Three Solitons Solution of KdV Equation – [1]
Three Solitons (unstable) Solution of KdV Equation – [2]
Mathematical aspects of equations of Korteweg–De Vries type are discussed on the Dispersive PDE Wiki.
Solitons from the Korteweg–De Vries Equation by S. M. Blinder, The Wolfram Demonstrations Project.
Solitons & Nonlinear Wave Equations

Template:Integrable systems

Korteweg–De Vries equation

Contents

Definition

Soliton solutions

One-soliton solution

N-soliton solution

Integrals of motion

Lax pairs

Zero-curvature representation

Least action principle

Long-time asymptotics

History

Applications and connections

KdV equation and the Gross–Pitaevskii equation

Variations

See also

Notes

References

External links

Navigation menu

Korteweg–De Vries equation

Definition

Soliton solutions

One-soliton solution

N-soliton solution

Integrals of motion

Lax pairs

Zero-curvature representation

Least action principle

Long-time asymptotics

History

Applications and connections

KdV equation and the Gross–Pitaevskii equation

Variations

See also

Notes

References

External links

Navigation menu

Search