Rogue wave patterns in the nonlinear Schrödinger equation
Abstract
Rogue wave patterns in the nonlinear Schrödinger equation are analytically studied. It is shown that when an internal parameter in the rogue waves (which controls the shape of initial weak perturbations to the uniform background) is large, these waves would exhibit clear geometric structures, which are formed by Peregrine waves in shapes such as triangle, pentagon, heptagon and nonagon, with a possible lower-order rogue wave at its center. These rogue patterns are analytically determined by the root structures of the Yablonskii-Vorob’ev polynomial hierarchy, and their orientations are controlled by the phase of the large parameter. It is also shown that when multiple internal parameters in the rogue waves are large but satisfy certain constraints, similar rogue patterns would still hold. Comparison between true rogue patterns and our analytical predictions shows excellent agreement.
1 Introduction
The name of rogue waves first appeared in oceanography, where it referred to large spontaneous and unexpected water wave excitations that are a threat even to big ships Ocean_rogue_review ; Pelinovsky_book . Later, their counterparts in optics were also reported Solli_Nature ; Wabnitz_book . Due to their physical importance, rogue waves have received intensive theoretical and experimental studies in the past decade. On the theoretical front, analytical expressions of rogue waves have been derived in a wide variety of integrable physical models, such as the nonlinear Schrödinger (NLS) equation for wave-packet propagation in the ocean and optical systems Benney ; Peregrine ; AAS2009 ; DGKM2010 ; KAAN2011 ; GLML2012 ; OhtaJY2012 , the derivative NLS equations for circularly polarized nonlinear Alfvén waves in plasmas and short-pulse propagation in a frequency-doubling crystal Kaup_Newell ; KN_Alfven1 ; Wise2007 ; KN_rogue_2011 ; KN_rogue_2013 ; YangDNLS2019 , the Manakov equations for light transmission in randomly birefringent fibers Menyuk ; BDCW2012 ; ManakovDark ; LingGuoZhaoCNLS2014 ; Chen_Shihua2015 ; ZhaoGuoLingCNLS2016 , and the three-wave resonant interaction equations Ablowitz_book ; BaroDegas2013 ; DegasLomba2013 ; ChenSCrespo2015 ; WangXChenY2015 ; ZhangYanWen2018 . On the experimental front, various rogue wave solutions in the NLS equation and defocusing Manakov equations have been observed in water tanks and optical fibers Tank1 ; Tank2 ; Fiber1 ; Fiber2 ; Fiber3 . In these experiments, intimate knowledge of theoretical rogue wave solutions in the underlying nonlinear wave equations was utilized, which highlights the importance of theoretical developments on rogue waves for practical rogue wave verifications and predictions.
The study of rogue wave patterns is important as this information allows for the prediction of later rogue wave events from earlier wave forms. Although graphs of low-order rogue waves have been plotted for many integrable equations, and simple patterns such as triangles and rings have been reported, richer patterns arising from high-order rogue wave solutions have received little attention. For the NLS equation, preliminary investigations on rogue wave patterns were made in KAAN2011 ; HeFokas ; KAAN2013 through Darboux transformation and numerical simulations. It was observed in KAAN2011 that if a -th order rogue wave exhibits a single-shell ring structure, then the center of the ring is a -th order rogue wave. This observation was explained analytically in HeFokas . In KAAN2013 , it was observed that NLS rogue patterns could be classified according to the order of the rogue waves and the parameter shifts applied to the Akhmediev breathers in the rogue-wave limit. This latter observation allowed the authors to extrapolate the shapes of rogue waves beyond order six, where numerical plotting of rogue waves became difficult. However, an analytical and quantitative prediction of NLS rogue patterns at arbitrary orders is still nonexistent.
In this article, we analytically investigate rogue wave patterns in the NLS equation at arbitrary rogue-wave orders. We show that if any internal parameter in the rogue waves (which controls the shape of initial small perturbations to the uniform background) is large, then these waves would exhibit clear geometric structures, which comprise Peregrine (fundamental) rogue waves forming shapes such as triangle, pentagon, heptagon and nonagon, with a possible lower-order rogue wave at the center. These rogue patterns are analytically predicted by the root structures of the Yablonskii-Vorob’ev polynomial hierarchy, and their orientations are controlled by the phase of the large internal parameter. We also show that if multiple internal parameters in the rogue waves are large but satisfy certain constraints, then the same rogue patterns would still hold. These results reveal a deep connection between rogue patterns and the Yablonskii-Vorob’ev polynomials, and drastically improve our analytical understanding and quantitative description of rogue events. As a small application of our analytical results, the numerical observation in KAAN2011 on single-shell ring structures is explained. Comparison between true rogue patterns and our analytical predictions is also presented, and excellent agreement is observed.
This paper is structured as follows. In Sec. 2, we present a simplified bilinear expression of general rogue waves in the NLS equation, as well as the Yablonskii-Vorob’ev polynomial hierarchy and its root structure, which we will utilize in later texts. In Sec. 3, we present our main theorems on rogue wave patterns when a single internal parameter in the rogue waves is large. In Sec. 4, we graphically illustrate rogue patterns under a large parameter and compare these patterns to our theoretical predictions. In Sec. 5, we prove the theorems stated in Sec. 3. In Sec. 6, we generalize our analytical results to cases where multiple internal parameters in the rogue waves are large but meet certain constraints. Sec. 7 concludes the paper.
2 Preliminaries
The nonlinear Schrödinger (NLS) equation
(1) |
arises in numerous physical situations such as water waves and optics Benney ; Ablowitzbook ; Kivsharbook . In this article, we consider its rogue wave solutions, which are rational solutions which approach a constant-amplitude continuous-wave background as . Since this equation admits Galilean and scaling invariances, we can set the boundary conditions of these rogue waves as
(2) |
without any loss of generality.
2.1 Improved bilinear expressions of general rogue waves
Analytical expressions for general rogue waves in the NLS equation have been derived in DGKM2010 ; GLML2012 ; OhtaJY2012 by various methods. However, those expressions are not the best for our solution analysis. Here, we present a simpler expression for these solutions, which can be derived by incorporating a new parameterization YangDNLS2019 into bilinear rogue waves of Ref. OhtaJY2012 . These simpler expressions of rogue waves are given by the following theorem.
Theorem 1. The general NLS rogue waves under boundary conditions (2) are
(3) where the positive integer represents the order of the rogue wave, is a Gram determinant
(4) the matrix elements in are defined by
(5) vectors are defined by
(6) with and the asterisk * representing complex conjugation, are coefficients from the expansion
(7) the Schur polynomials , with , are defined by
(8) or more explicitly,
(9) and are free irreducible complex constants.
This theorem will be proved in Appendix A. Since these rogue waves approach a uniform background as , the internal parameters in these waves physically control the shape of initial small perturbations to this uniform background, which in turn decide the subsequent time evolution and the resulting pattern of rogue waves.
As we will show, these rogue wave solutions will exhibit clear and recognizable patterns when some of these internal parameters get large. It turns out that the resulting rogue patterns are determined by the root structures of the Yablonskii-Vorob’ev polynomial hierarchy, and this polynomial hierarchy and their root structures will be introduced next.
2.2 The Yablonskii-Vorob’ev polynomial hierarchy and their root structures
Yablonskii-Vorob’ev polynomials arose in rational solutions of the second Painlevé equation () Yablonskii1959 ; Vorobev1965
(10) |
where is an arbitrary constant. It has been shown that this equation admits rational solutions if and only if is an integer. In this case, the rational solution is unique and is given by
(11) | |||
(12) |
and the polynomials , now called the Yablonskii-Vorob’ev polynomials, are constructed by the following recurrence relation
(13) |
with , , and the prime denoting the derivative. Later, a determinant expression for these polynomials was found in Kajiwara-Ohta1996 . Let be the special Schur polynomial defined by
(14) |
Then, Yablonskii-Vorob’ev polynomials are given by the determinant Kajiwara-Ohta1996
(19) |
where , and if . These polynomials are monic polynomials with integer coefficients Clarkson2003-II . The first few Yablonskii-Vorob’ev polynomials are
To define the Yablonskii-Vorob’ev polynomial hierarchy, we let be the generalized Schur polynomial defined by
(20) |
where is a positive integer. Then, the Yablonskii-Vorob’ev hierarchy are given by the determinant Clarkson2003-II
(25) |
where if . When , are the original Yablonskii-Vorob’ev polynomials . When , give higher members of this polynomial hierarchy. All these polynomials were conjectured to be monic polynomials with integer coefficients as well Clarkson2003-II . The first few polynomials are
These polynomials, through relations similar to (11)-(12), provide the unique rational solution for the hierarchy Clarkson2003-II ; Bertola2016 . It is noted that the determinant (25) for is a Wronskian, because it is easy to see from Eq. (20) that
(26) |
Root structures of the Yablonskii-Vorob’ev polynomial hierarchy have been studied before Fukutani ; Taneda ; Clarkson2003-II ; Miller2014 ; Bertola2016 . Regarding the zero root, its multiplicity in , and was presented in Taneda ; Clarkson2003-II . Generalizing those results, we have the following theorem.
Theorem 2. The general Yablonskii-Vorob’ev polynomial has degree , and is of the form
(27) where is a polynomial with a nonzero constant term, and the integer is given by the equation
(28) (29) under the restriction of . Due to this restriction on , only one of Eqs. (28) and (29) can hold, and thus the resulting value is unique.
The proof of this theorem will be provided in Appendix B. This theorem gives the multiplicity of the root zero in any polynomial. It also shows that the root structure of is invariant under -angle rotation in the complex plane. In the particular case of the original Yablonskii-Vorob’ev polynomials where , the above theorem shows that . This means that zero is either not a root or a simple root for , in agreement with previous results in Fukutani ; Taneda .
On the determination of the unique value in the above theorem, let us give an example. When and , the value under the restriction of can only be found from Eq. (29) as .
Regarding nonzero roots, it was shown in Fukutani that for the original Yablonskii-Vorob’ev polynomials , all nonzero roots are simple. For the higher Yablonskii-Vorob’ev polynomial hierarchy , it was conjectured in Clarkson2003-II that all nonzero roots are also simple. In view of Theorem 2, this conjecture implies that the polynomial has
(30) |
nonzero simple roots. We have checked this conjecture for a myriad of values and found it to hold in all our examples. Thus, we will assume it true and utilize it in our later analysis [see the sentence below Eq. (62) in Sec. 5].
Roots of many Yablonskii-Vorob’ev polynomials were plotted in Clarkson2003-II , and highly regular and symmetric patterns were observed. Due to the importance of these root structures to our work, we reproduce some of those root plots in Fig. 1 for and . Boundaries of the roots in in the large- limit have been determined in Miller2014 ; Bertola2016 .

3 Analytical predictions of rogue wave patterns for a single large internal parameter
Rogue wave solutions in Theorem 1 contain free internal complex parameters . In this section, we consider asymptotics of these rogue solutions when one of these internal parameters is large, while the other parameters remain . Generalizations to cases where multiple internal parameters are large but satisfy certain constraints will be made in Sec. 6.
Suppose is large, where , and the other parameters are . Then our results on the large- asymptotics of rogue waves in Theorem 1 are summarized by the following two theorems.
Theroem 3. Far away from the origin, with , the -th order rogue wave in Eq. (3) separates into fundamental (Peregrine) rogue waves, where is given in Eq. (30). These Peregrine waves are , where
(31) and their positions are given by
(32) with being any one of the simple nonzero roots of . The error of this Peregrine wave approximation is . Expressed mathematically, when , we have the following solution asymptotics
(33) When is not in the neighborhood of any of these Peregrine waves, or is larger than , asymptotically approaches the constant background as .
Theroem 4. In the neighborhood of the origin, where , is approximately a lower -th order rogue wave , where is given in Theorem 2 with , and is given by Eq. (3) with its internal parameters being the first values in the parameter set of the original rogue wave . The error of this lower-order rogue wave approximation is . Expressed mathematically, when ,
(34) If , then there will not be such a lower-order rogue wave in the neighborhood of the origin, and asymptotically approaches the constant background there as .
These two theorems will be proved in Sec. 5.
Remark 1. Theorem 3 predicts that when is large, the -th order rogue wave (3) far away from the origin comprises Peregrine waves. The rogue pattern formed by these Peregrine waves has the same geometric shape as the root structure of the polynomial , and thus this rogue pattern has -angle rotational symmetry. The only difference between the predicted rogue pattern and the root structure of is a dilation and rotation between them due to the multiplication factor on the right side of Eq. (32). The angle of rotation is equal to the angle of the complex number divided by , and the dilation factor is equal to .
Remark 2. On the right side of Eq. (32), we can pick any one of the -th root of , because roots of the polynomial have -angle rotational symmetry, see the comment in the paragraph below Theorem 2.
As a small application of the above two theorems, we explain the numerical observations in Ref. KAAN2011 . Under our bilinear rogue solution (3), a -th order rogue wave exhibits a ring structure when is large (see Fig. 2 in the next section). In this case, , and from Eq. (29). Then, our theory predicts that the center of this -th order rogue wave is a -th order rogue wave, surrounded by Peregrine waves that are evenly spaced on a ring due to the -, i.e., -angle rotational symmetry (see Remark 1 above). This is precisely what was observed in KAAN2011 .
4 Comparison between true rogue patterns and our analytical predictions
In this section, we compare true rogue patterns with our analytical predictions. For this purpose, we first show in Fig. 2 true rogue wave solutions (3) from the 2rd to 7th order, with large , , , , and in the first to sixth columns respectively. The specific value of the large parameter in each panel of this figure is listed in Table 1, and the other parameters in each solution are chosen as zero.

It is seen that these rogue waves comprise a number of Peregrine waves forming triangular patterns for large , pentagon patterns for large , heptagon patterns for large , nonagon patterns for large , hendecagon (eleven-sided polygon) patterns for large , and tridecagon (thirteen-sided polygon) patterns for large . In the literature, patterns on the diagonal of Fig. 2 are sometimes called single-shell ring structures KAAN2011 . In addition to these Peregrine waves away from the origin, some of the rogue waves also contain a lower-order rogue wave at their centers. For instance, for the 7-th order rogue waves in the bottom row of Fig. 2, the first and fourth panels (with large and respectively) exhibit a Peregrine wave in their centers; the second panel (with large ) exhibits a second-order rogue wave in the center; the fifth panel (with large ) exhibits a third-order rogue wave in the center; and the last panel (with large ) exhibits a fifth-order rogue wave in the center. For our choices of parameters in rogue waves of Fig. 2, these lower-order rogue waves in the center are all super-rogue waves, i.e., rogue waves with the highest peak amplitude of their orders. We note by passing that the first five rows of rogue patterns in Fig. 2 resemble those plotted in Ref. KAAN2013 from Akhmediev breathers in the rogue-wave limit, although orientations between the two sets of patterns are very different.
2 | ||||||
3 | ||||||
4 | ||||||
5 | ||||||
6 | ||||||
7 |
Now, we compare these true rogue patterns in Fig. 2 with our analytical predictions. Our prediction from Theorems 3 and 4 can be assembled into a simple formula,
(35) |
where is the Peregrine wave given in (31), their positions given by (32) with being every one of the simple nonzero roots of , and is the lower-order rogue wave in Eq. (34) whose internal parameters are the first values in the parameter set of the original rogue wave . For true rogue waves in Fig. 2, all internal parameters except for were chosen as zero, and (see Theorem 2). Then, all internal parameters in the predicted lower-order rogue wave at the origin are also zero.
Our predicted values for rogue waves of Fig. 2 are displayed in Table 2, where correspond to large respectively. These values provide our predictions for the number of Peregrine waves away from the origin , as well as the order of the reduced rogue wave in the neighborhood of the origin. Visual comparison between Table 2 and Fig. 2 shows complete agreement.
2 | (3, 0) | |||||
---|---|---|---|---|---|---|
3 | (6, 0) | (5, 1) | ||||
4 | (9, 1) | (10, 0) | (7, 2) | |||
5 | (15, 0) | (15, 0) | (14, 1) | (9, 3) | ||
6 | (21, 0) | (20, 1) | (21, 0) | (18, 2) | (11, 4) | |
7 | (27, 1) | (25, 2) | (28, 0) | (27, 1) | (22, 3) | (13, 5) |
We further compare our predicted whole solutions (35) with the true solutions of Fig. 2 for the same sets of parameter values. These predicted whole solutions (35) are displayed in Fig. 3, with identical intervals as in Fig. 2’s true solutions. It is seen that the predicted patterns are strikingly similar to the true ones. In particular, since our predicted Peregrine locations (32) in the plane are given by all the non-zero roots of the Yablonskii-Vorob’ev polynomials , multiplied by a fixed complex constant, predicted patterns formed by these Peregrine waves then are simply the root structures of these Yablonskii-Vorob’ev polynomials under certain rotation and dilation, as is evident by comparing predicted rogue waves in Fig. 3 to the Yablonskii-Vorob’ev root structures in Fig. 1 for . These predicted Peregrine patterns clearly match the true ones in Fig. 2 very well. This visual agreement shows the deep connection between NLS rogue patterns and root structures of the Yablonskii-Vorob’ev hierarchy, as our theorem 3 predicts.
Regarding our predictions for centers of the rogue waves in Fig. 2, we can show that our bilinear rogue wave solution (3) in Theorem 1 with all internal parameters set as zero gives the super-rogue wave. This means that our predictions for the centers of true rogue waves are all lower-order super-rogue waves, which agree with centers of true solutions shown in Fig. 2.

Theorem 3 reveals that the orientation of the rogue pattern formed by Peregrine waves is controlled by the phase of the large parameter . Specifically, the rogue-pattern orientation is the one of the root pattern of rotated by an angle of , where “arg” represents the argument (angle) of a complex number. To check this prediction, we choose the 4-th order pentagon-shaped rogue waves, where is large and the other parameters are set as zero. For three choices of the value with the same modulus but different arguments, namely, , and , true rogue patterns from solutions (3) are displayed in the upper row of Fig. 4. As expected, orientations of these pentagon patterns indeed change as the argument of varies. Using our formula (32), predicted locations of Peregrine waves in the rogue pattern are shown in the lower row of Fig. 4. Comparison of the upper and lower rows of Fig. 4 shows that the predicted orientations are in perfect agreement with the true ones.


Next, we make quantitative comparisons between true rogue waves and our predictions for large , and verify the error decay rate of for the prediction of Peregrine-wave locations far away from the origin in Theorem 3, and the error decay rate of for the prediction of the lower-order rogue wave at the center in Theorem 4.
For the quantitative comparison on Peregrine-wave locations away from the origin, we choose two patterns of 3rd-order rogue waves. One is a triangle pattern from large , and we set arg; and the other is a pentagon pattern from large , and we set to be real positive. In each pattern, we choose all other parameters of the rogue wave solutions to be zero. These triangul and pentagon patterns are shown schematically in Fig. 5(a, c) respectively. In each of these two patterns, we pick one of its Peregrine waves, which is marked by an arrow, and quantitatively compare its true location with our analytical prediction (32) as or increases. Here, the true location of the Peregrine wave is defined as the location where this Peregrine wave attains its maximum amplitude, and the error of our asymptotic prediction in Eq. (32) is defined as
These errors of Peregrine locations versus or are plotted as solid lines in panels (b) and (d) of Fig. 5 for the triangular and pentagon patterns respectively. For comparison, the decay rates of and are also displayed in these panels as dashed lines. We see that these errors of Peregrine locations indeed decay at the rate of , thus confirming the analytical error estimates (33) in Theorem 3.

To quantitatively compare our prediction in Theorem 4 on the lower-order rogue wave at the center with the true solution, we choose a fifth-order rogue wave with large and the other internal parameters set as zero. This solution with is displayed in Fig. 6(a). The center region of this wave marked by a dashed-line box in panel (a) is amplified and replotted in panel (b). In the present case, and . Since , we get from Eq. (29). Thus, according to Theorem 4, this solution contains a 3rd-order rogue wave in its center region, where all internal parameters in this solution are zero. Such a solution is a third-order super rogue wave. This predicted solution is displayed in Fig. 6(c), with the same internals as in the true center-region solution displayed in panel (b). Visually, this predicted center solution in (c) is identical to the true center solution in (b). Quantitatively, we have also obtained the errors in our predicted solution at of the center region as increases in magnitude with arg. Our error is defined as
The dependence of this error on is plotted in Fig. 6(d). Comparison of this error decay with the decay [shown as a dashed line in panel (d)] indicates that this error is indeed of , confirming the error prediction (34) in Theorem 4.

5 Proofs for the analytical results in Sec. 3
In this section, we prove the analytical predictions on NLS rogue patterns in Theorems 3 and 4 of Sec. 3. Our proof is based on an asymptotic analysis of the rogue wave solution (3), or equivalently, the determinant in Eq. (4), in the large limit.
Proof of Theorem 3. When is large and the other parameters in the rogue wave solution (3), at where , by denoting
(36) |
and recalling the expression of Schur polynomials in Eq. (9), we have
(37) |
Thus,
(38) |
where
(39) |
From the definition of Schur polynomials (8), is given by
(40) |
Thus, it is related to the polynomial in (20) as
(41) |
where
(42) |
Using these formulae, we find that
(43) |
Similarly,
(44) |
Hereafter, when .
To proceed further, we use determinant identities and the Laplace expansion to rewrite in Eq. (4) as OhtaJY2012
(45) |
Since the highest order term of in this comes from the index choices of , then
(46) |
where
(47) |
Since is independent of , the above equation shows that for large , , i.e., the solution is on the unit background, except at or near locations where
(48) |
is a root of the polynomial , and such locations are given by Eq. (32) in view of Eq. (42).
Next, we show that when is in the neighborhood of each of the locations given by Eq. (32), i.e., when , the rogue wave in Eq. (3) approaches a Peregrine wave for large . The asymptotic analysis above indicates that when is in the neighborhood of , the highest power term in vanishes. Thus, in order to determine the asymptotics of in that region, we need to derive the leading order term of in Eq. (45) whose order is lower than . For this purpose, we notice from Eq. (5) that when is in the neighborhood of , we have a more refined asymptotics for as
(49) |
i.e.,
(50) |
where
(51) |
The polynomials are related to in (20) as
(52) |
where is as given in Eq. (42), and .
Now, we derive the leading order term of in Eq. (45). This leading order term comes from two index choices, one being , and the other being .
With the first index choice, in view of Eqs. (50) and (52), the determinant involving in Eq. (45) is
(53) |
where is given in Eq. (47). Expanding around , where is given in Eq. (48), and recalling , we have
(54) |
Inserting this equation into (53) and recalling the definition of in (42), the determinant involving in Eq. (45) becomes
(55) |
where . Similarly, the determinant involving in Eq. (45) becomes
(56) |
Next, we consider the contribution in Eq. (45) from the second index choice of . For this index choice, the determinant involving in Eq. (45) is
(57) |
Utilizing Eqs. (50)-(52), this determinant is
(58) |
Recalling Eq. (26), we see that . Thus, the determinant in the above expression is equal to , so that the determinant (57) becomes
(59) |
When is in the neighborhood of , we expand around to reduce this expression further to
(60) |
Similarly, the determinant involving in Eq. (45) becomes
(61) |
Summarizing the above two contributions, we find that
(62) |
Finally, we recall that nonzero roots are simple in Yablonskii-Vorob’ev polynomials Fukutani . In addition, nonzero roots have also been conjectured to be simple in all the Yablonskii-Vorob’ev hierarchy Clarkson2003-II . Assuming this conjecture is true, then . This indicates that the above leading-order asymptotics for never vanishes. Therefore, when is large and in the neighborhood of , we get from (62) that
(63) |
which is a Peregrine wave , and the error of this Peregrine prediction is . Theorem 3 is then proved.
Proof of Theorem 4. To analyze the large- behavior of the rogue wave in the neighborhood of the origin, where , we first rewrite the determinant (4) into a determinant OhtaJY2012
(64) |
where , and . Defining to be the vector without the term, i.e., let
(65) |
we find that the Schur polynomials of are related to those of as
(66) |
where represents the largest integer less than or equal to . Using this relation, we express matrix elements of and in Eq. (64) through Schur polynomials and powers of and .
We need to determine the highest power term of in the determinant (64). For that purpose, it may be tempting to retain only the highest power term of and in each element of this determinant. That does not work though because it would result in multiple rows (and columns) which are proportional to each other, making the reduced determinant zero. The correct way is to first judiciously remove certain leading power terms of and from elements of the determinant through row and column manipulations, so that the remaining determinant, after retaining only the highest power term of and in each element, would be nonzero. These row and column manipulations are described below.
Suppose , i.e., for some positive integer , with . We perform the following series of row operations to the matrix so that certain high-power terms of in its lower rows are eliminated. In the first round, we use the 1st to -th rows of to eliminate the highest-power term from the -th up to the -th rows for each , so that the remaining terms in those rows have the highest power . We also use the -th to -th rows of to eliminate the highest-power term from the -th to the -th rows for each , with the remaining terms in those rows having the highest power . In each step, the highest power terms or of each row are eliminated simultaneously, because the coefficient vector of those highest power terms in each row below the -th is proportional to the coefficient vector of the highest power terms in the corresponding upper row between the 1st and -th due to the relation (66).
In the second round, we use the -th to -th rows of the remaining matrix to eliminate the highest-power term from the -th up to the -th rows for each , so that the remaining terms in those rows have the highest power . We also use the -th to -th rows of to eliminate the highest-power term from the -th up to the -th rows for each , with the remaining terms in those rows having the highest power . This process is repeated rounds.
At the end of this process, the -th row of the remaining matrix has the highest power . Then, we keep only the highest power terms of in each row. Similar column operations are also performed on the matrix . With these manipulations, we find that is asymptotically reduced to
(67) |
where is a -dependent nonzero constant, matrices and have the structures
(68) |
(69) |
(70) |
(71) |
, and M, are matrices of elements and respectively. Since L and U are respectively lower triangular and upper triangular matrices with unit elements on the diagonal in view that and for , in Eq. (67) then is
(72) |
Finally, we notice that is related to through
(73) |
Using this relation, the determinant in (72) can be reduced to one where is set to zero in the above and matrices given in Eq. (71). Such a determinant for gives a -th order rogue wave, whose internal parameters are the first values in the original parameter set . Thus, in the neighborhood of the origin ,
(74) |
which means that the original -th order rogue wave is approximated by a lower -th order rogue wave , with the approximation error .
If with , Eq. (74) can also be derived by similar analysis, and thus the same conclusion holds.
Lastly, we recall that . In addition, in view of Theorem 2. Furthermore, when , we find from Eq. (29) of Theorem 2 that . As a consequence, . Theorem 4 is then proved.
6 Rogue wave patterns when multiple internal parameters are large
The rogue patterns in Theorems 3 and 4 were derived under the assumption that only one of the internal parameters in the rogue wave solutions (3) was large, and the other parameters were . It turns out that those results can be generalized to more general parameter conditions. We discuss these generalizations in this section.
Regarding the generalization of Theorem 3, we can show that if is large, and the other parameters , , , , , are also large but satisfy the conditions
(75) |
then, far away from the origin, with , the rogue wave still separates into Peregrine waves, whose positions are given by Eq. (32). Expressed mathematically, when , we have
(76) |
The reason is that, when , under the same notation as in Eq. (36), the condition (75) means that for . Thus, for . Then, in view of Eq. (9), we have
(77) |
This relation is the counterpart of Eq. (5) in the proof of Theorem 3. Due to this relation and a similar one on , the calculations in the proof of Theorem 3 can still go through. The only difference is that the error of the present Peregrine approximation may be different. Indeed, the previous analysis, combined with the above equation (6), indicates that the error of the current Peregrine approximation (76) is the largest order among , where and . So, if or smaller for all , then the error of the current Peregrine approximation (76) would remain the same as that given in Eq. (33) of Theorem 3, i.e., . Otherwise, this error would be larger than , which means that the error would decay to zero slower than the rate when gets large.
Regarding the generalization of Theorem 4, we can show that if is large, and
(78) |
then Theorem 4 remains valid. Specifically, the asymptotics (34), including its error estimates, still holds. The proof for this is an extension of the proof for Theorem 4, and will be presented in Appendix C.
To demonstrate these generalized results on rogue patterns, we consider an example of a 7th order rogue wave with parameter choices of
(79) |
This set of parameters satisfy both conditions (75) and (78). Thus, according to the above discussions, both Theorems 3 and 4 remain valid, including their error estimates, since or smaller for all here. These theorems predict that far away from the origin, this would split into 25 Peregrine waves, whose locations are given by Eq. (32). Near the origin, this would reduce to a 2nd-order rogue wave with . To verify these predictions, we choose . The corresponding true rogue wave solution is plotted in Fig. 7(a), and its center region is amplified and shown in panel (b). Our asymptotic predictions (35) from Theorems 3 and 4 for the same intervals as in panels (a) and (b) are displayed in panels (c) and (d) respectively. One can clearly see that our predictions are almost indistinguishable from the true solutions.

7 Conclusions and discussions
In this paper, we have analytically studied rogue wave patterns in the NLS equation. We have shown that when one of the internal parameters in the bilinear rogue wave solutions is large, these waves would exhibit clear geometric structures, which comprise Peregrine rogue waves organized in shapes such as triangle, pentagon, heptagon and nonagon, with a possible lower-order rogue wave at its center. These rogue patterns are analytically determined by the root structures of the Yablonskii-Vorob’ev polynomial hierarchy, and their orientations are controlled by the phase of the large parameter. We have also generalized these results and shown that, when multiple internal parameters in the rogue waves are large but satisfy certain constraints [such as (75) and (78)], then the same rogue patterns would persist. Comparison between true rogue patterns and our analytical predictions has shown excellent agreement. As a small application of our analytical results, the numerical observation in KAAN2011 on single-shell ring structures has been explained. Our results reveal the deep connection between NLS rogue wave patterns and the Yablonskii-Vorob’ev polynomial hierarchy, and make prediction of sophisticated patterns in higher-order NLS rogue waves possible.
It turns out that this connection between rogue wave patterns and the Yablonskii-Vorob’ev polynomial hierarchy is not restricted to the NLS equation. We have found that such connections persist in many other integrable equations, such as the derivative NLS equation, the Boussinesq equation, the Manakov equations and others. This general connection then gives rise to universal rogue wave patterns in integrable systems. This university result was briefly reported in YangYanguniv . Its details are beyond the scope of this paper and will be pursued in future publications.
In this article, NLS rogue wave patterns are determined by the complex roots of the Yablonskii-Vorob’ev polynomial hierarchy, and these roots are the pole locations of rational solutions to the hierarchy (see Sec. 2.2 and Clarkson2003-II ; Bertola2016 ). Interestingly, in very different contexts, somewhat similar results have also been reported. For instance, in the semiclassical NLS equation after wave breaking, a sequence of Peregrine waves appear, and their locations are determined by the poles of the tritronquée solution to the first Painlevé () equation Tovbis . In the semiclassical sine-Gordon equation with initial conditions near the separatrix of a simple pendulum, superluminal (infinite velocity) kinks that appear in the solution are linked to the real roots of the Yablonskii-Vorob’ev polynomials associated with rational solutions of the equation Miller_sine . This connection of wave phenomena to rational solutions of the Painlevé equations may arise again in other wave systems in the future.
Acknowledgment
This material is based upon work supported by the National Science Foundation under award number DMS-1910282, and the Air Force Office of Scientific Research under award number FA9550-18-1-0098.
Appendix A
In this appendix, we briefly derive the bilinear rogue waves presented in Theorem 1. These new rogue wave expressions can be obtained by applying a new parameterization developed in Ref. YangDNLS2019 to the bilinear derivation of rogue waves in Ref. OhtaJY2012 . Specifically, instead of the previous choice (3.11) for the matrix element in Ref. OhtaJY2012 , which we denote as in this paper, we now choose
(80) |
where
(81) |
(82) |
and are arbitrary complex constants. Obviously, the function with the above choice of also satisfies the bilinear equations (3.14) in OhtaJY2012 . Then, when we set , and , this function would satisfy the bilinear equations (3.1) of the NLS equation in OhtaJY2012 [with switched to since the NLS equation (1) in this paper differs from that in OhtaJY2012 by this rescaling]. Applying the same reduction technique of OhtaJY2012 to the above new solution, we can remove the differential operators in the expression (80) of its matrix element and reduce it to , where
(83) |
vectors are defined by
(84) |
and are coefficients from the expansion (7). Through a shift of the and axes, we normalize without loss of generality. Finally, we split the vectors into , where is as given in Eq. (6), and . Since , it is easy to show from the definition of Schur polynomials (8) that
(85) |
where . Rewriting the solution as a determinant (64) and utilizing the above relation, we can apply row and column manipulations to eliminate all terms involving in this determinant. The remaining determinant then becomes , whose matrix element is as given in Theorem 1.
Appendix B
In this appendix, we prove Theorem 2. First, we derive the multiplicity of root zero in . For this purpose, we define the Schur polynomial as
(86) |
where is a constant. Through these Schur polynomials , we define polynomials
(91) |
where when . It is easy to see that is related to the polynomial in Eq. (20) as
(92) |
Thus, the polynomial is related to the Yablonskii-Vorob’ev polynomial hierarchy in Eq. (25) as
(93) |
This equation tells us that every term in the polynomial is a constant multiple of , where . Thus, to determine the multiplicity of the zero root in , we need to determine the highest power term of in . To do so, we utilize the relation
(94) |
which can be derived by splitting the right side of Eq. (86) into a product of two exponentials and then expanding both exponentials into Taylor series of . Using this relation, we express the matrix elements in the determinant (91) through powers of and . Then, we need to obtain the highest power term of in the resulting determinant. This problem resembles the derivation of the highest power term of in the determinant (64) during the proof of Theorem 4, where a polynomial relation (66) similar to the above (94) was used. In this resemblance, the matrix here is the counterpart of the matrix in Eq. (64), here is the counterpart of in Eq. (66), and in the above equation (94) is the counterpart of in Eq. (66). Performing the same row operations as described in Theorem 4 to remove certain leading -power terms in the lower rows of the determinant (91), we can show that the highest-power term of in is
(99) |
where is as given in Theorem 2, and are -dependent nonzero constants. This shows that the lowest power of in all terms of is . Then, setting where becomes , the multiplicity of the zero root in is .
To prove the form (27) of the polynomial , we notice from the definition (20) of the polynomial that this polynomial admits the symmetry
(100) |
where is any one of the -th root of 1, i.e., . This symmetry of leads to the symmetry of as
(101) |
Since the multiplicity of the zero root in is , let us write
(102) |
where is a polynomial of with a nonzero constant term. The symmetry (101) of the polynomial induces a symmetry for as
(103) |
Since , and in view of the value given in Theorem 2, we see that is divisible by , which means . Thus, the above equation reduces to
(104) |
This symmetry of dictates that can only be a polynomial of . Hence the form (27) of the polynomial is proved.
Lastly, we derive the degree of the polynomial from its definition (25). Notice from Eq. (20) that the highest-degree term of is . Retaining only this highest-degree term of in the determinant (25) for and evaluating the simplified determinant by the same technique as that used in Ref. OhtaJY2012 , we can readily show that the degree of the polynomial is . Thus, Theorem 2 is proved.
Appendix C
In this appendix, we prove the generalization of Theorem 4 presented in Sec. 6 when is large and the other parameters satisfy the conditions (78). In this parameter regime, let us denote
(105) |
where are constants. We first split the vectors as
(106) |
where . Then, the Schur polynomials of are related to those of as
(107) |
In view of the definition of a and the notations in (105), we readily see from the definition of Schur polynomials that is a polynomial of with coefficients dependent on , and its highest degree in is , i.e., the largest integer less than or equal to . Then, after a little manipulation and rearranging terms in the above equations, we get
(108) |
and
(109) |
where the coefficients are dependent on and the vector , and .
These two Schur polynomial relations (108)-(109) are the counterparts of those in Eq. (66) during the proof of Theorem 4. Using these relations, we can perform similar row and column operations to the determinant in Eq. (64) to eliminate certain high order powers of and . The main difference is that, a little more such eliminations are required here, because to eliminate a certain power of or in , one needs to eliminate a linear combination of polynomials now in view of the above two Schur polynomial relations. However, these eliminations follow a clear and regular pattern, so that they can always be achieved. Another small difference is that here, the row and column operations will produce some additional lower power terms of and . But those lower-power terms will eventually be discarded since we will retain only the highest and power terms in each row and column respectively. Therefore, these similar row and column operations will still asymptotically reduce to the same determinant (67) as before, and hence the generalization of Theorem 4 stated in Sec. 6 can be proved.
References
References
- (1) K. Dysthe, H.E. Krogstad and P. Müller, “Oceanic rogue waves,” Annu. Rev. Fluid Mech. 40, 287 (2008).
- (2) C. Kharif, E. Pelinovsky and A. Slunyaev, Rogue Waves in the Ocean (Springer, Berlin, 2009).
- (3) D.R. Solli, C. Ropers, P. Koonath and B. Jalali, “Optical rogue waves”, Nature 450, 1054 (2007).
- (4) S. Wabnitz (Ed.), Nonlinear Guided Wave Optics: A testbed for extreme waves (IOP Publishing, Bristol, UK, 2017).
- (5) D.J. Benney and A.C. Newell, “The propagation of nonlinear wave envelopes”, J. Math. Phys. 46, 133 (1967).
- (6) D.H. Peregrine, “Water waves, nonlinear Schrödinger equations and their solutions,” J. Aust. Math. Soc. B 25, 16 (1983).
- (7) N. Akhmediev, A. Ankiewicz and J.M. Soto-Crespo, “Rogue waves and rational solutions of the nonlinear Schrödinger equation,” Phys. Rev. E 80, 026601 (2009).
- (8) P. Dubard, P. Gaillard, C. Klein and V.B. Matveev, “On multi-rogue wave solutions of the NLS equation and positon solutions of the KdV equation,” Eur. Phys. J. Spec. Top. 185, 247 (2010).
- (9) D.J. Kedziora, A. Ankiewicz and N. Akhmediev, “Circular rogue wave clusters,” Phys. Rev. E 84, 056611 (2011).
- (10) B.L. Guo, L.M. Ling and Q.P. Liu, “Nonlinear Schrödinger equation: generalized Darboux transformation and rogue wave solutions,” Phys. Rev. E 85, 026607 (2012).
- (11) Y. Ohta and J. Yang, “General high-order rogue waves and their dynamics in the nonlinear Schrödinger equation,” Proc. R. Soc. Lond. A 468, 1716 (2012).
- (12) D.J. Kaup and A.C. Newell, “An exact solution for a derivative nonlinear Schrödinger equation,” J. Math. Phys. 19, 798 (1978).
- (13) K. Mio, T. Ogino, K. Minami and S. Takeda, “Modified nonlinear Schröinger equation for Alfvén waves propagating along the magnetic field in cold plasmas,” J. Phys. Soc. Jpn. 41, 265 (1976).
- (14) J. Moses, B.A. Malomed and F.W. Wise, “Self-steepening of ultrashort optical pulses without self-phase modulation”, Phys. Rev. A 76, 021802 (2007).
- (15) S.W. Xu, J.S. He and L.H. Wang, “The Darboux transformation of the derivative nonlinear Schrödinger equation,” J. Phys. A 44, 305203 (2011).
- (16) B.L. Guo, L.M. Ling and Q.P. Liu, “High-order solutions and generalized Darboux transformations of derivative nonlinear Schrödinger equations,” Stud. Appl. Math. 130, 317 (2013).
- (17) B. Yang, J. Chen and J. Yang, “Rogue waves in the generalized derivative nonlinear Schrödinger equations”, J. Nonl. Sci. 30, 3027-3056 (2020).
- (18) P.K.A. Wai and C.R. Menyuk, “Polarization mode dispersion, decorrelation, and diffusion in optical fibers with randomly varying birefringence,” J. Lightwave Technol. 14, 148 (1996).
- (19) F. Baronio, A. Degasperis, M. Conforti and S. Wabnitz, “Solutions of the vector nonlinear Schrödinger equations: evidence for deterministic rogue waves”, Phys. Rev. Lett. 109, 044102 (2012).
- (20) F. Baronio, M. Conforti, A. Degasperis, S. Lombardo, M. Onorato and S. Wabnitz, “Vector rogue waves and baseband modulation instability in the defocusing regime”, Phys. Rev. Lett. 113, 034101 (2014).
- (21) L. Ling, B. Guo and L. Zhao, “High-order rogue waves in vector nonlinear Schrödinger equations”, Phys Rev E, 89, 041201(R) (2014).
- (22) S. Chen and D. Mihalache, “Vector rogue waves in the Manakov system: diversity and compossibility”, J. Phys. A 48, 215202 (2015).
- (23) L. Zhao, B. Guo and L. Ling, “High-order rogue wave solutions for the coupled nonlinear Schrödinger equations-II”, J. Math. Phys. 57, 043508 (2016).
- (24) M.J. Ablowitz and H. Segur, Solitons and the Inverse Scattering Transform (SIAM, Philadelphia, 1981).
- (25) F. Baronio, M. Conforti, A. Degasperis and S. Lombardo, “Rogue waves emerging from the resonant interaction of three waves.” Phys. Rev. Lett. 111, 114101 (2013).
- (26) A. Degasperis and S. Lombardo, “Rational solitons of wave resonant-interaction models”, Physical Review E, 88, 052914 (2013).
- (27) S. Chen, J.M. Soto-Crespo and P. Grelu, “Watch-hand-like optical rogue waves in three-wave interactions”, Optics Express 23, 349-359 (2015).
- (28) X. Wang, J. Cao and Y. Chen, “Higher-order rogue wave solutions of the three-wave resonant interaction equation via the generalized Darboux transformation”, Physica Scripta 90, 105201 (2015).
- (29) G. Zhang, Z. Yan and X.Y. Wen, “Three-wave resonant interactions: Multi-dark-dark-dark solitons, breathers, rogue waves, and their interactions and dynamics”, Physica D 366, 27-42 (2018).
- (30) A. Chabchoub, N. Hoffmann and N. Akhmediev, “Rogue wave observation in a water wave tank,” Phys. Rev. Lett. 106, 204502 (2011).
- (31) A. Chabchoub, N. Hoffmann, M. Onorato, A. Slunyaev, A. Sergeeva, E. Pelinovsky and N. Akhmediev, “Observation of a hierarchy of up to fifth-order rogue waves in a water tank,” Phys. Rev. E 86, 056601 (2012).
- (32) B. Kibler, J. Fatome, C. Finot, G. Millot, F. Dias, G. Genty, N. Akhmediev and J.M. Dudley, “The Peregrine soliton in nonlinear fibre optics,” Nat. Phys. 6, 790 (2010).
- (33) B. Frisquet, B. Kibler, P. Morin, F. Baronio, M. Conforti, G. Millot and S. Wabnitz, “Optical dark rogue wave,” Sci. Rep. 6, 20785 (2016).
- (34) F. Baronio, B. Frisquet, S. Chen, G. Millot, S. Wabnitz and B. Kibler, “Observation of a group of dark rogue waves in a telecommunication optical fiber”, Phys. Rev. A 97, 013852 (2018).
- (35) J.S. He, H.R. Zhang, L.H. Wang, K. Porsezian and A.S. Fokas, “Generating mechanism for higher-order rogue waves”, Phys. Rev. E 87, 052914 (2013).
- (36) D.J. Kedziora, A. Ankiewicz and N. Akhmediev, “Classifying the hierarchy of nonlinear-Schrödinger-equation rogue-wave solutions.” Phys. Rev. E 88, 013207 (2013).
- (37) M.J. Ablowitz and H. Segur, Solitons and the Inverse Scattering Transform (SIAM, Philadelphia, 1981).
- (38) Y.S. Kivshar and G.P. Agrawal, Optical Solitons: From Fibers to Photonic Crystals (Academic Press, San Diego, 2003).
- (39) A.I. Yablonskii, Vesti Akad. Navuk. BSSR Ser. Fiz. Tkh. Nauk. 3, 30 (1959) (in Russian).
- (40) A.P. Vorob’ev, “On rational solutions of the second Painlev?equation”, Diff. Eqns. 1, 58 (1965).
- (41) K. Kajiwara and Y. Ohta, “Determinant structure of the rational solutions for the Painlevé II equation”, J. Math. Phys. 37, 4693 (1996).
- (42) P.A. Clarkson and E.L. Mansfield, “The second Painlevé equation, its hierarchy and associated special polynomials”, Nonlinearity 16, R1 (2003).
- (43) F. Balogh, M. Bertola and T. Bothner, “Hankel determinant approach to generalized Vorob’ev-Yablonski polynomials and their roots”, Constr. Approx. 44, 417 (2016).
- (44) S. Fukutani, K. Okamoto and H. Umemura, “Special polynomials and the Hirota bilinear relations of the second and the fourth Painlevé equations”, Nagoya Math. J. 159, 179-200 (2000).
- (45) M. Taneda, “Remarks on the Yablonskii-Vorob’ev polynomials”, Nagoya Math. J. 159, 87-111 (2000).
- (46) R.J. Buckingham and P.D. Miller, “Large-degree asymptotics of rational Painlevé-II functions: noncritical behaviour”, Nonlinearity 27, 2489 (2014).
- (47) B. Yang and J. Yang, “Universal patterns of rogue waves”, arXiv:2009.06060 [nlin.PS] (2020).
- (48) M. Bertola and A. Tobvis, “Universality for the focusing nonlinear Schrödinger equation at the gradient catastrophe point: rational breathers and poles of the tritronquée solution to Painlevé I”, Comm. Pure Appl. Math. 66, 678 (2013).
- (49) R. Buckingham and P.D. Miller, “The sine-Gordon equation in the semiclassical limit: critical behavior near a separatrix,” Journal d’Analyse Mathématique 118, 397-492 (2012).