Peakon

In the theory of integrable systems, a peakon ("peaked soliton") is a soliton with discontinuous first derivative; the wave profile is shaped like the graph of the function [math]\displaystyle{ e^{-|x|} }[/math]. Some examples of non-linear partial differential equations with (multi-)peakon solutions are the Camassa–Holm shallow water wave equation, the Degasperis–Procesi equation and the Fornberg–Whitham equation. Since peakon solutions are only piecewise differentiable, they must be interpreted in a suitable weak sense. The concept was introduced in 1993 by Camassa and Holm in the short but much cited paper where they derived their shallow water equation.

A family of equations with peakon solutions

The primary example of a PDE which supports peakon solutions is

[math]\displaystyle{ u_t - u_{xxt} + (b+1) u u_x = b u_x u_{xx} + u u_{xxx}, \, }[/math]

where [math]\displaystyle{ u(x,t) }[/math] is the unknown function, and b is a parameter. In terms of the auxiliary function [math]\displaystyle{ m(x,t) }[/math] defined by the relation [math]\displaystyle{ m = u-u_{xx} }[/math], the equation takes the simpler form

[math]\displaystyle{ m_t + m_x u + b m u_x = 0. \, }[/math]

This equation is integrable for exactly two values of b, namely b = 2 (the Camassa–Holm equation) and b = 3 (the Degasperis–Procesi equation).

Single peakon solution

The PDE above admits the travelling wave solution [math]\displaystyle{ u(x,t) = c \, e^{-|x-ct|} }[/math], which is a peaked solitary wave with amplitude c and speed c. This solution is called a (single) peakon solution, or simply a peakon. If c is negative, the wave moves to the left with the peak pointing downwards, and then it is sometimes called an antipeakon.

It is not immediately obvious in what sense the peakon solution satisfies the PDE. Since the derivative u_x has a jump discontinuity at the peak, the second derivative u_xx must be taken in the sense of distributions and will contain a Dirac delta function; in fact, [math]\displaystyle{ m = u - u_{xx} = c \, \delta(x-ct) }[/math]. Now the product [math]\displaystyle{ m u_x }[/math] occurring in the PDE seems to be undefined, since the distribution m is supported at the very point where the derivative u_x is undefined. An ad hoc interpretation is to take the value of u_x at that point to equal the average of its left and right limits (zero, in this case). A more satisfactory way to make sense of the solution is to invert the relationship between u and m by writing [math]\displaystyle{ m = (G/2) * u }[/math], where [math]\displaystyle{ G(x) = \exp(-|x|) }[/math], and use this to rewrite the PDE as a (nonlocal) hyperbolic conservation law:

[math]\displaystyle{ \partial_t u + \partial_x \left[\frac{u^2}{2} + \frac{G}{2} * \left(\frac{b u^2}{2} + \frac{(3-b) u_x^2}{2} \right) \right] = 0. }[/math]

(The star denotes convolution with respect to x.) In this formulation the function u can simply be interpreted as a weak solution in the usual sense.

Multipeakon solutions

Two-peakon wave profile (solid curve) formed by adding two peakons (dashed curves): [math]\displaystyle{ u = m_1 \, e^{-|x-x_1|} + m_2 \, e^{-|x-x_2|} }[/math]

Multipeakon solutions are formed by taking a linear combination of several peakons, each with its own time-dependent amplitude and position. (This is a very simple structure compared to the multisoliton solutions of most other integrable PDEs, like the Korteweg–de Vries equation for instance.) The n-peakon solution thus takes the form

[math]\displaystyle{ u(x,t) = \sum_{i=1}^n m_i(t) \, e^{-|x-x_i(t)|}, }[/math]

where the 2n functions [math]\displaystyle{ x_i(t) }[/math] and [math]\displaystyle{ m_i(t) }[/math] must be chosen suitably in order for u to satisfy the PDE. For the "b-family" above it turns out that this ansatz indeed gives a solution, provided that the system of ODEs

[math]\displaystyle{ \dot{x}_k = \sum_{i=1}^n m_i e^{-|x_k-x_i|}, \qquad \dot{m}_k = (b-1) \sum_{i=1}^n m_k m_i \sgn(x_k-x_i) e^{-|x_k-x_i|} \qquad (k = 1,\dots,n) }[/math]

is satisfied. (Here sgn denotes the sign function.) Note that the right-hand side of the equation for [math]\displaystyle{ x_k }[/math] is obtained by substituting [math]\displaystyle{ x=x_k }[/math] in the formula for u. Similarly, the equation for [math]\displaystyle{ m_k }[/math] can be expressed in terms of [math]\displaystyle{ u_x }[/math], if one interprets the derivative of [math]\displaystyle{ \exp(-|x|) }[/math] at x = 0 as being zero. This gives the following convenient shorthand notation for the system:

[math]\displaystyle{ \dot{x}_k = u(x_k), \qquad \dot{m}_k = -(b-1) m_k u_x(x_k) \qquad (k = 1,\dots,n). }[/math]

The first equation provides some useful intuition about peakon dynamics: the velocity of each peakon equals the elevation of the wave at that point.

Explicit solution formulas

In the integrable cases b = 2 and b = 3, the system of ODEs describing the peakon dynamics can be solved explicitly for arbitrary n in terms of elementary functions, using inverse spectral techniques. For example, the solution for n = 3 in the Camassa–Holm case b = 2 is given by

[math]\displaystyle{ \begin{align} x_1(t) &= \log\frac{(\lambda_1-\lambda_2)^2 (\lambda_1-\lambda_3)^2 (\lambda_2-\lambda_3)^2 a_1 a_2 a_3}{\sum_{j\lt k} \lambda_j^2 \lambda_k^2 (\lambda_j-\lambda_k)^2 a_j a_k} \\ x_2(t) &= \log\frac{\sum_{j\lt k} (\lambda_j-\lambda_k)^2 a_j a_k}{\lambda_1^2 a_1 + \lambda_2^2 a_2 + \lambda_3^2 a_3} \\ x_3(t) &= \log(a_1+a_2+a_3) \\ m_1(t) &= \frac{\sum_{j\lt k} \lambda_j^2 \lambda_k^2 (\lambda_j-\lambda_k)^2 a_j a_k}{\lambda_1 \lambda_2 \lambda_3 \sum_{j\lt k} \lambda_j \lambda_k (\lambda_j-\lambda_k)^2 a_j a_k} \\ m_2(t) &= \frac{ \left( \lambda_1^2 a_1 + \lambda_2^2 a_2 + \lambda_3^2 a_3 \right) \sum_{j\lt k} (\lambda_j-\lambda_k)^2 a_j a_k}{ \left( \lambda_1 a_1 + \lambda_2 a_2 + \lambda_3 a_3 \right) \sum_{j\lt k} \lambda_j \lambda_k (\lambda_j-\lambda_k)^2 a_j a_k} \\ m_3(t) &= \frac{a_1+a_2+a_3}{\lambda_1 a_1 + \lambda_2 a_2 + \lambda_3 a_3} \end{align} }[/math]

where [math]\displaystyle{ a_k(t) = a_k(0) e^{t/\lambda_k} }[/math], and where the 2n constants [math]\displaystyle{ a_k(0) }[/math] and [math]\displaystyle{ \lambda_k }[/math] are determined from initial conditions. The general solution for arbitrary n can be expressed in terms of symmetric functions of [math]\displaystyle{ a_k }[/math] and [math]\displaystyle{ \lambda_k }[/math]. The general n-peakon solution in the Degasperis–Procesi case b = 3 is similar in flavour, although the detailed structure is more complicated.

References

• Beals, Richard; Sattinger, David H.; Szmigielski, Jacek (2000), "Multipeakons and the classical moment problem", Advances in Mathematics 154 (2): 229–257, doi:10.1006/aima.1999.1883 
• Camassa, Roberto; Holm, Darryl D. (1993), "An integrable shallow water equation with peaked solitons", Physical Review Letters 71 (11): 1661–1664, doi:10.1103/PhysRevLett.71.1661, PMID 10054466, Bibcode: 1993PhRvL..71.1661C 
• Constantin, Adrian; McKean, Henry P. (1999), "A shallow water equation on the circle", Communications on Pure and Applied Mathematics 52 (8): 949–982, doi:10.1002/(SICI)1097-0312(199908)52:8<949::AID-CPA3>3.0.CO;2-D 
• Degasperis, Antonio; Holm, Darryl D.; Hone, Andrew N. W. (2002), "A new integrable equation with peakon solutions", Theoretical and Mathematical Physics 133 (2): 1463–1474, doi:10.1023/A:1021186408422 
• Lundmark, Hans; Szmigielski, Jacek (2005), "Degasperis–Procesi peakons and the discrete cubic string", International Mathematics Research Papers 2005 (2): 53–116, doi:10.1155/IMRP.2005.53