1. Introduction
The fractional Schrödinger equation was first introduced in [
1,
2] as the path integral of Lévy trajectories. Later, it was also derived from a microscopic lattice system with long-range interactions when passing to the continuum limit [
3]. In contrast to its classical counterpart, the fractional Schrödinger equation can model nonlocal interactions, which enables it to describe complex phenomena in various fields; see in [
1,
2,
4,
5,
6,
7,
8,
9] and references therein. In this paper, we refer to these nonlocal interactions as “long-range dispersion”, because in the classical limit (i.e., for
in (
1) below), the corresponding term describes group velocity dispersion of linear waves. However, the nonlocality of the fractional Schrödinger equation also introduces considerable challenges in understanding the properties of its solutions [
10,
11,
12,
13]. In this paper, we analytically and numerically study the dynamics of the simplest—plane wave—solutions of the fractional nonlinear Schrödinger (NLS) equation and reveal effects of the long-range dispersion on the stability and dynamics of plane wave solutions.
We consider the one-dimensional fractional NLS of the following form [
2,
3,
5,
6,
11,
14]:
where
is the imaginary unit, and
is a complex-valued wave function. The constant
describes the strength of local (or short-range) nonlinear interactions, where the interactions are repulsive (defocusing) if
or attractive (focusing) if
. The fractional Laplacian
is defined via a pseudo-differential operator [
5,
15,
16,
17]:
where
and
denote, respectively, the Fourier transform and its inverse, and
is the wave number. In a special case of
, the definition in (
2) reduces to the classical Laplace operator
, and thus Equation (
1) becomes the classical (non-fractional) cubic NLS. In this paper, we will focus on the case with
, in which case (
2) represents the action of a nonlocal operator that describes the long-range dispersion mentioned above [
3,
10,
18,
19]. Note that physical relevance of the case
has not been universally accepted. Nonetheless, this case was considered for the Majda–McLaughlin–Tabak model [
7], and therefore we also include it into the scope of our analysis.
The fractional NLS (
1) has two important conserved quantities: the
–norm, or mass of the wave function,
and the total energy,
where
. These conserved quantities can be used as benchmarks to test the performance of numerical methods for the fractional NLS.
Plane wave solutions are the simplest nontrivial solutions of the NLS. Understanding their dynamics and stability provides insight into the behavior of more complicated solutions. In the classical (
) NLS, stability of the plane wave solutions is well known to critically depend on the sign of nonlinearity: If the nonlinearity is defocusing (
), the plane waves are always stable, whereas they are subject to long-wave instability in the focusing (
) case. This instability is known as the Benjamin–Feir instability in the context of water waves or as the modulational instability in the context of plasma physics and nonlinear optics. Unstable perturbations in the classical NLS do not grow without bound. For the fractional NLS, the dynamics of even the simplest nontrivial solution—the plane wave—is still not completely understood. One contribution of this paper is to study stability of both standing and traveling plane waves with respect to small perturbations. To our knowledge, modulational instability of the plane wave solutions of the fractional NLS was studied in [
20]; however, its authors considered a different—spatio-temporal, in three dimensions—model, and therefore its results cannot be compared to those presented here.
While linear stability of plane wave solutions can be studied analytically, the nonlinear stage of their dynamics has to be studied numerically. One of the most popular numerical methods in studies of the NLS has been the split-step Fourier spectral (SSFS) method [
11,
21,
22,
23,
24,
25,
26,
27]. The SSFS method preserves exactly the mass conservation and dispersion relation of the NLS (
1). However, the SSFS method could also introduce numerical instabilities which have no analytical counterparts. To interpret its results with confidence, one thus needs to ensure that the method does not introduce numerical, or spurious, instability. Such numerical instability of the SSFS method in simulating the plane wave solutions of the classical NLS has been studied in, e.g., [
21,
23,
24,
25,
26], but it is missing in the literature on the fractional NLS. A second contribution of this paper is a detailed study of the conditions that ensure numerical stability of the SSFS method when it is used to simulate plane wave solutions of the fractional NLS.
Finally, we study with the SSFS the nonlinear stage of the evolution of perturbed plane waves. Our results for standing plane waves (i.e., those not moving in the reference frame of Equation (
1)) are consistent with earlier results by the authors of [
14,
28], which showed increased localization of the field as
decreased and, in particular, demonstrated wave collapse in finite time for
. However, to our knowledge, previous studies did not consider dynamics of traveling solutions. (The only exception known to us is in [
29]; however, its authors proved the
existence of a localized traveling wave solution for
, but did not actually find its analytical or numerical form.) Thus, a third main contribution of this paper is a study of the nonlinear dynamics of traveling (plane) waves, which turns out to be quantitatively (although not qualitatively) different from that of standing waves.
This paper is organized as follows. In
Section 2, the stability of plane wave solutions in the fractional NLS is studied by a linear stability analysis. In
Section 3, the SSFS method is described, and its numerical stability condition is obtained. In
Section 4, we numerically study the dynamics of the unstable plane wave solutions in the fractional NLS, revealing the role played by the long-range dispersion. Conclusions of this study are made in
Section 5.
2. Plane Wave Solution and Its Stability
The fractional NLS (
1) admits the plane wave solution of the form
provided that the following nonlinear dispersion relation is satisfied
The constants
a and
are the amplitude and the wave number, respectively, of the plane wave. A wave packet consisting of plane waves (
5) with wave numbers in a narrow interval near
would move with a group velocity
where
denotes the sign function. For this reason, we will refer to a plane wave with
as a
traveling plane wave, contrasting it with a
standing plane wave, which has
. In simulations reported in subsequent sections, we will consider a finite domain of size
L, i.e.,
, and thus the wave number is chosen as
Without loss of generality, we will assume in this paper.
Due to the nonlinearity of NLS, the plane wave solution (
5) is stable only under certain conditions. Here, we will focus on its linear stability analysis in the NLS (
1) with the power
. Consider a perturbed solution of the form
where
is the plane wave solution in (
5), and
is a small perturbation function satisfying
. We assume that
is periodic, and it can be expressed in Fourier series as
with
, for
. In what follows, we set
without loss of generality. Indeed, having
simply rescales the amplitude
a of the unperturbed wave (
5) in the order
.
Substituting (
8) into the NLS (
1) and taking the leading order terms of
, we obtain
where
represents the complex conjugate of
. Taking the Fourier transform of (
9) and its complex conjugate, we get the following system of ODEs:
where
The eigenvalues of matrix
are
where
The solution of system (
10) grows exponentially if at least one of the eigenvalues
has positive real part, which occurs if
In other words, if the condition (
13) holds for at least one
, the plane wave solution (
5) is unstable.
Below, we will focus on how the instability condition (
13) depends on the power
and the wave number
. It is well known that the plane wave solutions in the classical (
NLS are always stable in the defocusing cases and unstable in the focusing cases. Moreover, stability of the plane wave solutions in the classical NLS is independent of its wave number
. In contrast, both these well-established facts no longer hold in the fractional (
) NLS: the plane wave may be unstable in the defocusing case, and its (in)stability is affected by
. These situations are delineated in Theorems 1 and 2 below.
Theorem 1 ( Defocusing NLS with ).
- (i)
For , a standing plane wave is always stable to infinitesimal perturbations.
- (ii)
For , a traveling plane wave is always stable, independent of the wave number .
- (iii)
For , a traveling plane wave could be unstable if is sufficiently large. Moreover, the growth rate of this instability is maximized at modes with , if the following condition is satisfied:
When
, our conclusions in Theorem 1 (i)–(ii) reduce to those in the literature [
23,
25] that a plane wave solution is always stable in the classical defocusing NLS, independent of its wave number. In the fractional NLS, the standing plane wave is always stable, but the stability of traveling plane waves crucially depends on the fractional order
.
Figure 1 shows that for
, traveling plane waves are always stable, confirming the conclusion in Theorem 1 (ii). By contrast, they are unstable for
, and the instability is substantially affected by the wave number
. It shows that unstable modes appear in the low-
region, and their number generally increases with
. If the condition (
14) is satisfied, the growth rate of the instability reaches its maximum at
(see
Figure 1a,b), confirming the conclusion in Theorem 1 (iii). However, if the condition (
14) is not satisfied, there exist stable bands centered at
, which are surrounded by unstable modes (these stable bands are clearly visible in
Figure 1d for
).
Theorem 2 (Focusing NLS with ).
- (i)
For , a standing plane wave is unstable, provided that there is at least one such that . Moreover, the number of unstable pairs is given bywhere denotes the floor function. - (ii)
For , a traveling plane wave is unstable, if L and/or are sufficiently large.
Theorem 2 (i) implies that if
, all standing plane waves in the focusing NLS are stable; see the cases of
in
Figure 2a.
Otherwise, unstable modes appear in the low-
region, i.e., the region of
. It implies that for
, the bandwidth of instability is strongly affected by the nonlinearity
. In the special case of
, the bandwidth of instability is exponentially small if
(see
Figure 2a), while if
, this bandwidth is exponentially large (see
Figure 2b, the thin light-green “band” near bottom).
Figure 3a–d presents the stability situation of traveling plane waves in the focusing NLS, which is more complicated than that of standing plane waves. For
, unstable modes always lie in a low-pass band, i.e., instability occurs for small
. By contrast, two distinctive phenomena are observed for
: (i) there is a “stable gap” in the low-
region. Moreover, the bandwidth of this “stable gap” is around
for
, and in the special case of
it reduces to
. Indeed, there is
in (
12) for the wave numbers satisfying
, where the critical wave number
is defined as the positive root of
. Therefore, the wave numbers satisfying
are stable. (ii) The bandwidth of instability expands rapidly as
decreases. To show it, we take the Taylor expansion of (
12) for
and obtain
Note that despite condition , the term of cannot be neglected if is sufficiently small.
In fact, it is this term that is responsible for the expansion of the unstable band compared to the case of
. Indeed, the instability condition (
13) along with (
16) implies the unstable modes:
As the exponent , it suffices for the base to exceed one in order to make , which makes the right-hand side rapidly increase as is decreased.
4. Dynamics of Plane Wave Solutions
Here, we study the dynamics of unstable plane wave solutions by directly simulating the NLS (
1) with the first-order SSFS method. In selected cases, we have verified that using a fourth-order SSFS method does not affect the conclusions. Our main goal here is to highlight effects of the fractional, versus classical, Laplacian, on the dynamics of the plane wave solutions beyond the linear stage of the analytical instability development.
The initial condition is chosen as a perturbed plane wave solution of the following form:
where
a and
are constants, and
. Note that the shape of this perturbation has a maximum at the middle of the computational window and minima at its boundaries. Therefore, for the standing plane waves, this perturbation is expected to favor the emergence of a pulse in the middle of the computational domain. Perturbations that have maxima at different locations will favor formation of pulses there. This all pertains to the initial stage of the evolution; at later times, the pulses begin to move due to their interaction with many different Fourier harmonics created from the background noise, which thus generically have different magnitudes. Nonetheless, our simulations show that various initial perturbations of a similar size may do not affect our conclusions about differences between the fractional and classical NLS.
In the following, we choose
and
in (
39). Unless stated otherwise, we set domain length
with number of grid points
. In all cases considered, we selected the time step
according to condition (
37) so as to avoid numerical instability.
4.1. Standing Plane Waves
In the defocusing NLS, the analysis in Theorem 1 (i) shows that the standing plane waves are always stable for any
, and our numerical simulations confirm this. Therefore, below we report results for the standing plane wave in the focusing NLS. We chose
in the initial condition (
39) and
in the NLS (
1).
For the parameters stated in the preamble for this Section, formula (
15) predicts that for any
, there exists one pair of unstable modes with
on the spectral grid
, and thus the standing plane wave is
linearly unstable.
Figure 4 presents the time evolution of
for different
. It shows that the solution remains a plane wave for a short time, and then around
(which, of course, depends on the parameters chosen in (
39)) one hump appears due to the instability. For
, the hump retains its shape only for a short period of time, after which it dissolves into a delocalized state (a plane wave for
), then reassembles itself again, and this process goes on approximately periodically. As
decreases, the time interval between the hump reappearances decreases, and both it and the amplitude of the re-emerging pulse become more and more irregular. As
, the solution tends to form a narrow pulse (see
Figure 4 bottom row). For
, the plane wave was found to collapse. (For
, there are no unstable modes according to (
15), and thus the plane wave remains stable. The more analytically unstable modes exist in the computational domain (which can be controlled either by the domain’s length
L or by the wave’s amplitude
), the earlier the collapse occurs. Furthermore, the modulational instability growth rate, found from Equations (
11)–(
13), has an evident effect on the time of the collapse occurrence.) The above observations about collapse are consistent with findings in [
14,
28], which also demonstrated collapse for
, albeit in their case the initial condition was a localized solitary wave. It is also similar to what has been reported about solutions of the Majda–McLaughlin–Tabak model, a model with nonlocality in both dispersion and nonlinearity, which has been proposed to mimic wave turbulence [
4,
7,
8].
Figure 5 displays the time evolution of the spectrum of the solution
, with the corresponding density dynamics shown in
Figure 4.
In the NLS with
equal or close to 2, the spectrum expands (almost) periodically as the unstable modes evolve. The smaller the fractional order
, the more frequently the spectrum expands and shrinks, and also the broader the expanded spectrum becomes. When
is sufficiently close to 1, the spectrum expands quickly after the analytical instability is triggered, but does not shrink back (see
Figure 5 for
).
Let us note that for a given power
, a smaller nonlinearity (i.e., the value of
) results in a less broad spectrum of the emerging pulse (cf.
Figure 6 for
). Additionally, the time required for the formation of a narrow pulse increases as the nonlinearity decreases.
The Fourier spectrum shown in
Figure 5 illustrates the role of long-range dispersion that is described by the fractional Laplacian
. Due to an interplay of nonlinearity with long-range dispersion, the instability at low wave numbers triggers creation of new harmonics in the high wave number region. The smaller the fractional power
, the stronger the long-range interactions, and thus the stronger this effect. While the linear analysis predicts this instability, it could not predict that the instability would lead to a dramatic spectral expansion. Numerical simulations were required to reveal this nonlinear stage of the instability development. Our observations are consistent with those reported in the literature [
19], where a
discrete (with finite inter-site spacing) version of the NLS with long-range interactions was studied. As we noted in
Section 1, the continuum limit of such a discrete equation leads to the fractional NLS. In fact, it is stated in [
19] that reproducing their results within the framework of a continuous fractional NLS was then an open problem; we have addressed this problem here.
To conclude this section, we present, in
Figure 7a,b, snapshots of the field and its Fourier spectrum at time instances shortly before the collapse occurs (the last snapshot is taken within 0.1 time unit from the instance when the Fourier spectrum becomes essentially flat).
A feature to note is the cusp in the spectrum at . This signals a slow decay of the field u with x, which is due to the long-range interactions enabled by the Lévy index .
4.2. Effects of a Larger Domain
In this section, we focus on the dynamics of standing plane waves in the focusing NLS when the domain length
L increases. Here, we use
and
, instead of
used in the previous subsection. By formula (
15), more unstable modes appear as the domain size increases. Specifically, in this case we find that there exist three unstable pairs (i.e.,
) for any
. Their interaction with one another can result in an emergence of more than one pulse; this expectation is indeed borne out by our numerical simulations, reported in
Figure 8.
The field dynamics in the classical NLS (
) appears to be regular. This is likely the consequence of this equation’s integrability and the presence of only a small number of unstable modes, as the computational domain is still relatively short. As
decreases, the evolution of the initially emerged “humps” in the field (around
) becomes more an more chaotic. This may be explained by the fact that in nonintegrable systems, pulse interaction is usually accompanied by energy transfer from a smaller to a larger pulse (see, e.g., in [
33]). Eventually, such repeated interactions lead to formation of a single dominant pulse propagating in a “sea” of small-amplitude dispersive waves. Another feature, most evident from the lower panels of
Figure 8, is that a spatially symmetric initial condition results in the formation of a moving pulse (i.e., an asymmetric one). This can be explained by the fact that since the linearly unstable modes, which grow initially, arise from a background noise due to the computer round-off error and thus have different amplitudes (i.e., are asymmetric).
For , as in the case of the shorter domain, the solution eventually collapses as long as linearly unstable modes exist.
4.3. Effects of Nonzero Group Velocity (7) of the Plane Wave
The analysis in Theorem 1 shows that the traveling () plane waves in the defocusing NLS are always stable if the fractional power , which is confirmed by our numerical simulations. Therefore, we will focus our following study on the traveling plane wave in the focusing NLS with or in the defocusing NLS with .
Figure 9 shows the time evolution of
for three representative values of
in the focusing NLS when
, where
(i.e.,
) in the initial condition (
39). Equation (
13) predicts that there is one pair of unstable modes at
for
and
. Correspondingly, the instability develops into a single soliton-like pulse that moves over a nonzero background.
In the classical NLS, the reappearance of plane wave solution is observed, and the frequency of this recurrence is almost the same as that observed in
Figure 4 for standing plane waves. Similar to the observations in
Figure 4, a small decrease of
from the classical value
leads to a more frequent appearance of the pulse out of the quiescent state. While for
, two unstable pairs occur at
, and the behavior of the solution becomes more chaotic due to a nonlinear interaction of these modes (initially) and others excited by them (eventually).
Our simulations show that traveling plane waves in the focusing NLS with
also collapse, but the occurrence of collapse is progressively delayed by the greater values of
(with all other parameters being fixed).
Table 1 shows the collapse time in the focusing cases, where the collapse time
is defined as the instance where the magnitude of the Fourier component at the edge of the computational spectral window reaches
. While this number is, of course, chosen arbitrarily, replacing it with, say,
or
would cause only an insignificant change in the numbers reported in
Table 1 and would not change the trends observed. This is because, as earlier for the case of the standing plane wave, collapse in the
x-space corresponds to the continuing broadening of the solution’s Fourier spectrum. Once this spectrum increases by several orders of magnitude at the edges of the computational spectral window, the solution can no longer be considered valid. Of course, we verified that doubling the width of the computational spectral window would not prevent the solution’s spectrum from continuing to broaden; therefore, doubling that width only insignificantly affected the collapse times.
We find that for a given
, collapse of solution appears earlier for a smaller
. This is the opposite of the situation with the standing wave’s collapse and is explained by the magnitude of the modulational instability growth rates in the two cases. Indeed, for the standing wave, this rate decreases with decreasing
(see
Figure 2) and disappears for some small enough
(see the discussion in
Section 4.1), it retains its value for a traveling wave as
decreases (see
Figure 3). On the other hand, for a given
, the collapse is delayed by increasing
. We hypothesize that this may occur because for a larger
, unstable modes
appear at larger
(see
Figure 3); a possible causal link is discussed at the end of next paragraph.
Snapshots of the solution and its spectrum evolving towards collapse are shown in
Figure 10a,b.
The last snapshot is taken within 0.2 time unit before the collapse occurs. A few observations follow from this figure. First, similar to
Figure 7b, the spectrum has a cusp at the top, indicating some long-range “order” present in the solution, in agreement with the presence of long-range interactions due to the fractional Laplacian with a low value of
. Second, the following scenario of collapse can be deduced. The initial small corrugation grows to a finite size and develops a so-called dispersive wave region, seen as faster oscillations on the right side of each of the periods of the sinusoid for
. Next, due to these faster oscillations moving through the slower corrugation, there form “humps” with slightly different amplitudes (
). Due to their interaction with one another, one dominant “hump” forms (
). This is similar to the behavior observed in other non-integrable systems [
33], where the dominant pulse “sucks in” the energy from the ambient field and smaller pulses via collisions with them. It is this dominant pulse that subsequently undergoes collapse. Finally, this scenario explains the reason behind the delay of the collapse caused by a nonzero
of the initial wave. Apparently, collapse requires that a certain “amount” of the field be concentrated near a given location. As long as there is a corrugation with peaks of the (approximate) sinusoid of similar amplitude, collapse cannot form. However, as soon as “enough” energy has been absorbed by the dominant pulse, collapse becomes possible. The larger
, the smaller the period of the corrugation, and thus the smaller the energy within each one of its periods, and the longer it takes for a sufficient amount of energy to amass near a given location to begin the onset of collapse.
Two more remarks are in order. First, we stress that this ability of the smaller period of the initial corrugation to delay the onset of collapse was stated for the condition that
is fixed. Indeed, as one takes
so small that the results of
Section 2 (see
Figure 2) predict a wide band of modulationally unstable modes (e.g., for
), the corrugation at the initial stage of the evolution is quite irregular (due to many modes growing at a similar rate). Yet, the fact that
is smaller, and hence the dispersion term
has a significantly longer range, acts to overcome the effect of this irregularity and promotes collapse; the latter is found to occur significantly earlier than for
.
Second, while the smaller period of the initial corrugation can only delay, but not arrest, collapse, a recent study [
34] has shown that a trapping potential can arrest it. This is consistent with the fact that collapse is caused by the interaction of the field over a sufficiently large range, and a suitable trapping potential is able to essentially truncate this range by localizing the field.
To conclude this subsection, we briefly comment on the defocusing NLS with
. In this case, although the traveling plane waves are also unstable, their dynamics are substantially different from those in the focusing case. No collapse of solution is observed, and the evolution of the solution is qualitatively similar to that in the focusing NLS with
, shown in
Figure 9.
5. Conclusions
In this paper, we investigated the stability and dynamics of the plane wave solutions of the fractional NLS from both analytical and numerical perspectives. The comparison between the classical and fractional NLS were made to understand the role of long-range dispersion in the fractional NLS.
First, in
Section 2, we showed that modulational stability of the plane wave solutions to small perturbations can be significantly different in the fractional NLS (
1) compared to its classical counterpart when the Lévy index
. In the defocusing (
) NLS, the standing plane wave solution (i.e.,
) is always stable for any
. In contrast, the traveling plane wave solution (i.e.,
) is stable only for
. In the focusing (
) NLS, the plane wave solution can be linearly unstable for any
and
. Furthermore, unstable modes occur at low-frequency region for
, but they appear at relatively high-frequency region for
, which implies that the dynamics of the plane wave solution (before they collapse) for
could be more chaotic.
Second, in
Section 3, we studied stability of the split-step Fourier spectral (SSFS) method in simulating the dynamics of the plane wave solution of the fractional NLS. This is essential in order to guarantee that the numerical solution does not suffer a blow-up due to purely numerical artifacts; then, one can ascertain that, if the solution undergoes collapse, it reflects the true behavior of the analytical solution. We obtained an expression for the time step threshold below which numerical instability does not occur. This threshold depends on both the parameter
, of the NLS, and
, of the simulated plane wave. In particular, for smaller
, this threshold can be quite large, and then the time step should be chosen to satisfy the requirement of accuracy, rather than stability, of the numerical method.
Third, in
Section 4, we studied the nonlinear stage of the plane wave instability by directly simulating the NLS. For the initial condition being a perturbed
standing plane wave in the focusing NLS, we found that the perturbation generically develops into a localized pulse on a nonzero background; the lower the Lévy index
, the more localized the pulse. In the Fourier space this corresponds to of a significant widening of the solution spectrum, which expands well beyond the band of modulationally unstable modes found by the linear stability analysis. For
, the pulse undergoes “breathing”, whereby it narrows and broadens intermittently. For
, the pulse localization (in
x-space) eventually leads to its collapse, in agreement with findings in [
14,
28].
We also found that the increase of the group velocity of the plane wave (so that the latter is traveling as opposed to standing) in the focusing NLS delays the formation of a localized pulse (or pulses), for a given fractional index , and delays the onset of collapse, for . To our knowledge, this has not been reported before. We also presented a hypothesis as to why this delay could occur. In the defocusing case, even though traveling plane waves are found to be linearly unstable for , that instability does not not lead to collapse of the solution.