1 Introduction

The dimensionless cubic nonlinear Schrödinger (NLS) equation [1], given by

$$\begin{aligned} i \frac{\partial \psi }{\partial x} + \frac{1}{2}\frac{\partial ^2 \psi }{\partial t^2} + \psi \left| \psi \right| ^2 = 0, \end{aligned}$$
(1)

with t and x being the transverse and longitudinal variables and \(\psi \equiv \psi (x,t)\) the slowly varying wave envelope, has been widely used in the field of nonlinear optics and photonics to guide experimental realizations [2,3,4] and theoretical explorations [5,6,7,8,9,10,11] of higher-order breathers and rogue waves (RWs) in optical fibers. For a recent review, see Ref. [12]. The physics of RWs is getting more attention since a new scheme to excite RWs, such as via electromagnetically induced transparency (EIT) [13,14,15], is proposed [16].

While the study of breathers and RWs on a uniform background, including those based on extended NLS equations, has matured by now, with a vast body of analytical results [6, 8, 12, 17,18,19,20,21,22], similar studies on periodic backgrounds have started only recently [9, 23,24,25]. For clarity, at this place we provide a short outlook on the interconnection between different waveforms that are encountered in the field thus far. Foremost, to see interesting new waveforms, one needs a background. Without background, at most one can observe bright solitons [1, 12]. Normally, breathers and RWs (higher-order breathers) are generated when one seeds the background with proper initial wave conditions, based on the Darboux transformation (DT). Such initial waves also provide conditions for the breather-to-soliton conversion, both bright and dark, which usually are difficult to observe in NLS equation without proper system preparation. Thus, starting a numerical experiment with uniform or randomly perturbed background and an arbitrary collection of Stokes waves will only occasionally, here and there, produce a second-order RW, almost never higher-order RWs. For observing a full wealth of different waveforms (breathers, solitons, RWs of different order, quasiperiodic and fully periodic RWs), in general one needs specially prepared nonuniform backgrounds and specially prepared initial waves. Previously, we considered backgrounds perturbed by the Jacobi elliptic functions (JEFs) and initial waves coming from Akhmediev breathers engineered using DT [24, 25]. The fine point in the numerical procedure is how to prepare boundary conditions on the numerical window.

In this work, we are specifically interested in breathers of the simple cubic NLS equation on the dnoidal Jacobi elliptic function (JEF) background, which has the form:

$$\begin{aligned} \psi _0(x,t) = \text {dn}(t; k)e^{i x(1-\frac{k^2}{2})}, \end{aligned}$$
(2)

where k is the elliptic modulus (not to be confused with the elliptic parameter, \(k^2\)). As our analysis will show below, at this time it is unlikely that one can derive analytical expressions for our breathers; therefore, we focus on studying solutions of (1) using a numerical implementation of the analytical DT procedure [7,8,9,10,11]. In a nutshell, the procedure states that given a simple, zeroth-order “seed” solution \(\psi _0(x,t)\) of (1), such as (2), one can generate an \(N\text {th}\)-order solution recursively via:

$$\begin{aligned} \psi _N(x,t) = \psi _0(x,t) + \sum _{m=1}^{N}\frac{2 i r_{m1} s_{m1}^* \left( \lambda _m -\lambda _m ^*\right) }{|r_{m1}|^2+|s_{m1}|^2}, \end{aligned}$$
(3)

where the sum goes over N constituent first-order solutions of the Lax pair equation, characterized by generally complex eigenvalues \(\lambda _m\). The two functions \(r_{m1}(x,t)\) and \(s_{m1}(x,t)\) are the Lax pair generating functions for the \(m{\text {th}}\) first-order constituent breather. In this work, we restrict ourselves to purely imaginary eigenvalues:

$$\begin{aligned} \lambda _m = i \nu _m, \quad \text {with} \quad 0< \nu _m <1, \end{aligned}$$
(4)

corresponding to Akhmediev-type breathers [26], rather than Kuznetsov–Ma-type breathers [27, 28]. As per the peak height formula (PHF) [23], these solutions have a peak height of

$$\begin{aligned} \psi _N(0,0) = 1 +2 \sum _{m=1}^{N} \nu _m. \end{aligned}$$
(5)

In this work, we will concentrate on demonstrating the surprising finding mentioned in the abstract: Beyond first order, any arbitrarily constructed breather on an elliptic background looks very much like a rogue wave. But, to generate quasiperiodic and fully periodic RWs one needs to pay close attention how the periodicities of constituent waves are arranged over the available numerical window. We relegate all technical details on the DT and PHF to the appendix.

The paper is structured as follows. In Sect. 2, we demonstrate, by enforcing the reality of the wavenumber, that in contrast to the uniform background case [17, 18], the first-order breathers on an elliptic background can at most be quasiperiodic in the t-direction unless the matching condition (23) is obeyed. The concatenation of N such first-order breathers then generally results in an aperiodic \(N\text {th}\)-order breather greatly resembling a rogue wave (RW). In Sect. 3, we show that if the periods of the constituent first-order breathers are commensurate with one another, then one sees a quasiperiodic \(N\text {th}\)-order breather, where the repeating side peaks are distorted by the background. In Sect. 4, we show that truly periodic \(N\text {th}\)-order breathers are produced if and only if the periods of the constituent first-order breathers are all matched to that of the background. This requires restricting the parameters \(\nu \) and k to a special set of contours \(\gamma _q\) (Eq. 23) in the \(\nu k\)-plane. Our conclusions are summarized in Sect. 5.

2 Aperiodic breathers on an elliptic background

For a breather to be periodic (along the t direction), its wavenumber must be real [9]. Assuming purely imaginary eigenvalues \(\lambda _m = i\nu _m\), the half-wavenumber is given by

$$\begin{aligned} \kappa _m =\sqrt{\left( \lambda _m-\frac{k^2}{4 \lambda _m}\right) ^2+1}= \sqrt{1-\left( \nu _m+\frac{k^2}{4 \nu _m}\right) ^2}. \end{aligned}$$
(6)

For \(\kappa _m\) to be real, we must have

$$\begin{aligned} (\nu _m+\frac{k^2}{4\nu _m})^2\le 1\quad \implies \quad k^2\le 4\nu _m(1-\nu _m), \end{aligned}$$
(7)

which restricts the range of \(\nu _m\) to

$$\begin{aligned} \frac{1}{2}-\frac{1}{2}\sqrt{1-k^2}\le \nu _m\le \frac{1}{2}+\frac{1}{2}\sqrt{1-k^2}. \end{aligned}$$
(8)

Alternatively, from (7) one sees that

$$\begin{aligned} k^2\le 4\Big [\frac{1}{2}+(\nu _m-\frac{1}{2})\Big ]\Big [\frac{1}{2}-(\nu _m-\frac{1}{2})\Big ], \end{aligned}$$
(9)

or

$$\begin{aligned} k^2+\frac{(\nu _m - \frac{1}{2})^2}{(1/2)^2} \le 1, \end{aligned}$$
(10)

which then restricts \((\nu _m, k)\) to half of an ellipse \(\varGamma \), centered on (1/2,0), with the vertical semimajor axis being 1 and the horizontal semiminor axis 1/2. This is shown in Fig. 6 and summarized succinctly by

$$\begin{aligned} \begin{aligned}&(\nu _m, k) \in \varGamma \\&\quad := \left\{ (\nu _m, k) \in (0,1)\times [0,1] \, \Bigg | k^2+\frac{(\nu _m - \frac{1}{2})^2}{(1/2)^2} \le 1 \right\} . \end{aligned}\nonumber \\ \end{aligned}$$
(11)

In Fig. 1, we show the three periods of a first-order breather obeying the \(\kappa \)-reality condition (11). This breather is not periodic since the repeating side peaks are not identical to the central peak. Next, in Fig. 2, we show a set of higher-order breathers. Their eigenvalues \(\nu _m\) obey (11), but are otherwise arbitrary. These higher-order breathers are even more aperiodic, with the repeating side peaks highly distorted and diminished in intensity, leaving only a central peak of great height intact. It is a matter of definition how one defines a rogue wave, but Fig. 2 clearly shows four solitary, high-intensity peaks amid an increasingly disordered background, each resembling more an oceanic rogue wave than a breather. We will refer to these unmatched solutions as quasi-rogue waves (QRWs). The phenomenon of QRW has only come to light recently in the study of higher-order breathers on periodic backgrounds [25, 29]. They are not apparent in the study of first-order breathers on a periodic background, nor are they mentioned in the study of RWs on a constant background.

Fig. 1
figure 1

First-order breather with \((\nu = 0.8602, k = 3/5) \in \varGamma \) (i.e., \(\kappa \in {\mathbb {R}}\)). The distortion of the side peaks is evident in the contour plot. In all contour plots that follow, maroon represents the background (\(|\psi |\) = 1), teal green is 0.25 above the background, while light orange is 0.2 below the background. The remaining colors denote other relevant low-\(|\psi |\) features. The colormap is designed to showcase only the relevant low-\(|\psi |\) features of the breathers, with a maximum height of 0.8 above the background

Fig. 2
figure 2

Higher-order breathers on a \(\text {dn}\) background with \(k = 1/4\) and \(\kappa _m \in {\mathbb {R}}\). a Second-order, with \(\{\nu _m\} = \{0.98, 0.91\}\). b Third-order, with \(\{\nu _m\} = \{0.98, 0.91, 0.84\}\) c Fourth-order, with \(\{\nu _m\} = \{0.98, 0.91, 0.84,0.72\}\) d Fifth-order, with \(\{\nu _m\} = \{0.98, 0.91, 0.84,0.72,0.51\}\). Inserts: Contour plots to emphasize the low-\(|\psi |\) details

3 Quasiperiodic breathers

We now match the periods of the constituent breathers of these higher-order structures to the fundamental breather, i.e.:

$$\begin{aligned} \kappa _m = m \kappa , \qquad m = 2, 3, ... N, \end{aligned}$$
(12)

where \(\kappa \equiv \kappa _1\) is the period of the fundamental breather, characterized by \(\nu \equiv \nu _1\). We choose the constituent breather wave numbers to be harmonics of each other, analogously to the uniform background case where these breathers would have been strictly periodic and of maximal peak height (at a given periodicity) [18]. Writing out (12) explicitly gives

$$\begin{aligned} m \sqrt{-\frac{k^4}{16 \nu ^2}-\frac{k^2}{2}-\nu ^2+1}\nonumber \\=\sqrt{-\frac{k^4}{16 \nu _m^2}-\frac{k^2}{2}-\nu _m^2+1}, \end{aligned}$$
(13)

which leads to an expression for \(\nu _m\) in terms of \(\nu \) and k

$$\begin{aligned} \nu _m(k, \nu ) = \frac{\sqrt{G_m(k,\nu ) + \sqrt{\left[ G_m(k,\nu )\right] ^2-64 k^4 \nu ^4}}}{4 \sqrt{2} \nu }\, , \end{aligned}$$
(14)

where

$$\begin{aligned} G_m(k,\nu ) \equiv k^4 m^2+8 \left( k^2-2\right) \left( m^2-1\right) \nu ^2\nonumber \\+16 m^2 \nu ^4\,. \end{aligned}$$
(15)

A plot of Eq. (14) for multiple values of m is shown in Fig. 3. Note that in Fig. 3, the curves \(\nu _m(k)\), \(\forall ~m~\in ~{\mathbb {Z}}^{+},\) clearly intersect at a point \((\nu _{\text {max}}, \nu _\text {max})\) in the \(\nu \nu _m\)-plane, given by the upper limit of Eq. (8):

$$\begin{aligned} \nu _{\text {max}}(k) = \frac{k'}{2}+\frac{1}{2}\,, \end{aligned}$$
(16)

where \(k' \equiv \sqrt{1-k^2}\) is the complementary elliptic modulus. A first-order solution characterized by this value of \(\nu \) is known as the concentrated cnoidal rogue wave (CCRW) [9] and was simply referred to as the “bright” rogue wave in Ref. [23]. This solution with \(\kappa = 0\) is a single solitary peak on a periodic background and is considered the natural generalization of the Peregrine rogue wave on a constant background. However, higher-order rogue waves generated by multiple values of (16) have degeneracy problems and cannot be described by the DT [10]. By contrast, as shown in Fig. 2, an arbitrary high-order QRW can be easily constructed using DT.

Fig. 3
figure 3

Plot of the eigenvalues \(\nu _m\) given by (14) as a function of \(\nu \), with \(k=2/5\). The dashed vertical lines represent the lower limit \(\nu _m^*\) (Eq. 18), and the horizontal lines give the upper and lower limit on \(\nu _m\)

Fig. 4
figure 4

Plot of the peak height formula (5) at \(k=1/2\) using the eigenvalues given by (14). The insert shows a zoomed-in version of the region between the peak heights of first- and second-order breathers, with a gap of \(\varDelta \psi (0,0)=1/2=k\)

Fig. 5
figure 5

Quasiperiodic higher-order breathers with \((\nu \approx 0.972, k=1/4)\), and higher-order \(\nu _m\) computed via Eq. (14) a second order b third order c fourth order d fifth order. Inserts: contour plots to emphasize the low-\(|\psi |\) details

Figure 3, showing the plot of Eq. (14), implies that for a fixed m, there is some cutoff \(\nu = \nu _m^*(k)\) such that \(\nu _l(\nu = \nu _m^*, k) \notin {\mathbb {R}} \, \forall \, l > m\). Thus, to generate a breather of order at most N, one must have \(\nu \in (\nu _N^*, \nu _{N+1}^*]\). The imaginary part of \(\nu _m(k, \nu )\) will be nonzero if and only if the term under the inner square root in (14) is negative. Thus, to find \(\nu _m^*\), we need to solve:

$$\begin{aligned} \left[ G_m(k,\nu = \nu _m^*)\right] ^2-64 k^4 (\nu _m^*)^4 = 0\,. \end{aligned}$$
(17)
Fig. 6
figure 6

\(\nu k\)-plane, showing different regions of periodicity. The light blue shaded region is where \(\kappa \) is real, given by (11). The solid curves correspond to different values of q in (23)

This gives:

$$\begin{aligned} \nu _m^*(k) = \frac{\sqrt{2 C_m(k)+H_m(k)}}{2m} \, , \end{aligned}$$
(18)

where

$$\begin{aligned} \begin{aligned} C_m(k)&=\sqrt{\left( m^2-1\right) \left( k'\right) ^2 \left( m^2-\left( k'\right) ^2\right) }\,, \\ H_m(k)&=m^2 \left( \left( k'\right) ^2+1\right) -2 \left( k'\right) ^2\,. \end{aligned} \end{aligned}$$
(19)

Substituting (18) into (14), one obtains \(\nu _m(\nu = \nu _m^*, k) = k/2,\,\,\forall \, m \, \in \, {\mathbb {Z}}^{+}\), independent of m. The importance of this result will be discussed in Appendix 1.

Consequently, each curve \(\nu _m\) in the \(\nu \nu _m\)-plane starts from the point:

$$\begin{aligned} L_m(k) = \left( \nu _m^{*}(k), \frac{k}{2}\right) \quad , \quad m \ge 2 \,. \end{aligned}$$
(20)

This is a stricter condition on \(\nu \) than the lower limit of Eq. (8), since \(k > (1-\sqrt{1-k^2}) \, \forall \, k \in (0,1)\). Referring to the PHF (5), the lower limit (20) then implies that when transitioning from an \(N\text {th}\) order to an \((N+1){\text {st}}\) order breather, the peak would instantly jump by \(2(k/2) = k\) and would not just increase smoothly as in the simpler constant background case [18]. This can be seen clearly in Fig. 4.

Figure 5 shows the three “quasi-periods” of higher-order breathers with \(\nu _m\) obtained from Eq. (14), and \(\nu \) and k selected arbitrarily. The effect of matching the constituent breathers’ periods drastically improves the overall periodicity of the high-order breather, with seemingly repeating higher-order side peaks in the 3D plots. However, closer inspection of contour plots near the breather’s base reveals remaining distortions in the side peaks. They are still not identical to the central peak. This distortion is reminiscent of the first-order case, as shown in Fig. 1. These higher-order breathers are all quasiperiodic. In the limit of \(k \rightarrow 0\), \(\nu _m\rightarrow \sqrt{m^2-1}/m\), (14) reproduces our previous results of \(a_m=\nu _m^2/2=(1-1/m^2)/2\) for breathers on a constant background in Ref. [18].

Fig. 7
figure 7

Fully periodic first-order breathers with \((\nu \approx 0.848, k = 3/5) \in \gamma _3\)

4 Fully periodic breathers

The period of the \(\text {dn}(t;k)\) background is given by

$$\begin{aligned} T_{\text {dn}} = 2K(k) \end{aligned}$$
(21)

where \(K(k) \equiv \int _0^\frac{\pi }{2} \frac{d\theta }{\sqrt{1-k^2 \sin ^2\theta }}\) is the complete elliptic integral of the first kind. Matching the period of the background (21) to the breather requires

$$\begin{aligned} T_{\text {B}} = q T_\text {dn} \end{aligned}$$

where \(T_{\text {B}} = 2\pi /(2\kappa ) = \pi /\kappa \) is the period of the fundamental breather and q is a positive integer. This leads to an expression for \(\kappa \):

$$\begin{aligned} \kappa = \frac{\pi }{2 q K(k)}\,. \end{aligned}$$
(22)
Fig. 8
figure 8

Fully periodic higher-order breather with \((\nu \approx 0.9704, k = 1/4) \in \gamma _6\), and the higher \(\nu _m\) calculated via Eq. (14). a Second order. b Third order c Fourth order. d Fifth order. Insert: Contour plots to emphasize the low-\(|\psi |\) detail. The symmetry between the central and side peaks is apparent

Table 1 Necessary and sufficient conditions on the parameters for a fully periodic breather of order N

Substituting back into (6), one obtains the condition for matching a breather to the background:

$$\begin{aligned} \begin{aligned}&(\nu , k) \in \gamma _q := \Bigg \{(\nu , k) \in (0,1)\times [0,1] \, \Bigg |\\&\quad \left( \frac{\pi }{2 q K(k)}\right) ^2 + \frac{\left( k^2 + 4 \nu ^2\right) ^2}{16 \nu ^2} = 1\Bigg \}\,. \end{aligned} \end{aligned}$$
(23)

Note that \(\gamma _{q = 1} = \varnothing \) (i.e., one cannot match to the breather so that its period is exactly equal to the background, it must be a periodic multiple). As shown in Fig. 6, it is clear that \(\gamma _q \subset \varGamma \, \forall \, q \in {\mathbb {Z}}^{+}\), and \(\gamma _{q \rightarrow \infty } = \partial \varGamma \) (i.e., the boundary of \(\varGamma \), Eq. (11)). Thus, any \((\nu ,k) \in \gamma _q\) results in \(\kappa \in {\mathbb {R}}\). Additionally, if a higher-order breather has matched constituents via Eq. (14), its period will be \(T_{B}\), and thus one only needs \((\nu ,k) \in \gamma _q\).

Figure 7 shows a fully periodic first-order breather. It is clear that selecting a set of parameters \((\nu , k)\) satisfying Eq. (23) leads to a truly periodic structure. We additionally show several fully periodic higher-order breathers in Fig. 8, combining conditions (23) and (14). In general, the effect of matching to the background is subtle in 3D plots yet abundantly clear in the contour plots. The central breather’s peak is centered at the origin, where \(\psi _0(0,0) = 1\). If the parameters \((\nu ,k) \notin \gamma _q\) (i.e., \(q \notin {\mathbb {Z}}\)), the side peaks will then be displaced from the peak of \(\psi _0\). On the other hand, when \((\nu ,k) \in \gamma _q, \, q \in {\mathbb {Z}}^{+}\), all breather peaks lie precisely on top of the background crests, and we get perfect periodicity. We provide a video in this work’s supplemental material, which visually demonstrates this process.

5 Discussion and conclusion

In this work, we have numerically solved for the higher-order breathers of the nonlinear Schrödinger equation on an elliptic background by iterating the Darboux transformation. We find that the periodic background exerts a much more profound impact on the higher-order breathers than previously thought. Because of the periodic background, any unmatched higher-order breather has only a single high-intensity peak, resembling a rogue wave. These QRWs have a far richer structure than the standard, monotonic Peregrine-like rational rogue waves.

The chaotic background shown in Fig. 2 is also of interest. It is well known that two-wave mixing can only result in quasiperiodic structures. This is the case of Fig. 1, the two waves being waves having the breather’s period and that of the background. However, three and more wave mixing can lead to chaos. This is the resulting chaotic-looking background we see in Fig. 2.

Truly periodic higher-order breathers can only be recovered by matching all the constituent breathers’ periods to each other and the background. Matching constituent breathers’ periods to each other produces quasiperiodic with distorted side peaks. Further matching the breathers’ periods to that of the background yields side peaks identical to the central peak, sitting precisely on top of the background’s crests some periodic distance away. While a general breather of order N has an \(N+1\)-dimensional parameter space, fully periodic breathers are constrained to a countably infinite set of contours in a 2D parameter space, thus being exceedingly rare. We have termed such a periodic higher-order breather the periodic rogue wave in Ref. [29]. Our findings are summarized in Table 1. This explains why, on a periodic background, the only common high peak structures that can occur are, paradoxically, the quasi-rogue waves of Fig. 2.