3
$\begingroup$

I see many mathematicians conflating the definitions of traveling waves and solitons, and I am unable to understand, from a mathematical point of view, the differences between these two types of solutions for a nonlinear dispersive PDE. All I know is the following:

Consider for example a nonlinear dispersive PDE which is completely integrable, i.e. has infinite conservation laws, ( I think the property of complete integrability will not probably add something to the question)

  • The traveling waves are solutions of the form $u_0(x+ct)$ where $u_0$ is the initial data and $c\in\mathbb{R}$.

  • The Solitons are subset of the traveling waves, that remain with the same shape even after colliding with another soliton. The phenomena of solitons appear after a cancelation between the dispersive effects and the nonlinearity of the equation.

So here are my questions:

  1. How do we know if a nonlinear PDE has solitons as solutions, knowing that it has traveling wave solutions ? On other words, how do we prove mathematically that a traveling wave is a soliton (without using simulation).
  2. For example, solutions of the form $u(t,x)=e^{i(x-t)}$ or $u(t,x)=\frac{1}{1-\frac12 e^{i(x-ct)}}$, $x\in \mathbb{T}:=\mathbb{R}/(2\pi\mathbb{Z}),$ can be considered as solitons?
  3. Does a traveling wave that is almost periodic solution, i.e. the set $\{u(\cdot+\tau), \tau\in \mathbb{R}\}$ is relatively compact, can lead to the fact that it is a soliton ?
$\endgroup$

1 Answer 1

6
$\begingroup$

A necessary requirement for a traveling wave $u(x,t)=f(x-ct)$ to be a "solitary wave" or "soliton" is that the two limits $\lim_{s\rightarrow\pm\infty}f(s)=\alpha_\pm$ exist. This is the condition of shape invariance and localisation. The stability under collision may or may not be added as extra condition, but in much of the literature any shape-invariant localised wave is called a soliton. One further distinguishes homoclinic and heteroclinic solutions, depending on whether $\alpha_+$ is equal to $\alpha_-$ or not.

In response to Q2, the waves $u(t,x)=e^{i(x-t)}$ or $u(t,x)=\frac{1}{1-\frac12 e^{i(x-ct)}}$ are no solitons, because they are not localised.

Concerning Q1, without the "stability upon collision" condition, one way to identify solitonic solutions of a second order wave equation $f''(s)=F[f(s)]$ is to plot the flow lines in the f-g plane of the two coupled equations $f'(s)=g(s)$, $g'(s)=F[f(s)]$. Homoclinic or heteroclinic orbits then correspond to solitonic solutions.

$\endgroup$
7
  • $\begingroup$ Thank you ! Even if we are in a periodic domain, we should look at what happens when $s\to\pm \infty$ and not the limit when $s$ tends to the boundary of the domain? Because I wonder if this limit means that we are looking at the behavior of the initial data in long time behavior, or rather what happens when we approach the edge of our space. $\endgroup$
    – Niser
    Commented Jan 31, 2023 at 6:16
  • $\begingroup$ I think it is what happen with long time behavior, but I want to be sure ;-) $\endgroup$
    – Niser
    Commented Jan 31, 2023 at 6:30
  • $\begingroup$ if you have periodic boundary conditions you would want the spatial extent of the soliton to be smaller than the size of the domain, so that you can see if it is spatially localized or not; if it extends over the entire domain the notion of a "solitary wave" is no longer applicable. $\endgroup$ Commented Jan 31, 2023 at 7:17
  • $\begingroup$ So, for the two examples in Q2, since we have $\lim_{x\to2\pi}\mathrm{e}^{ix}=1\neq 0,$ then it is not localized ? And the same goes for the second example. In other words, we need to have the support of $f$ strictly included in a box of the periodic domain? $\endgroup$
    – Niser
    Commented Jan 31, 2023 at 7:54
  • $\begingroup$ yes, that is what we understand as a "localized" wave. $\endgroup$ Commented Jan 31, 2023 at 9:06

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .