This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Rogue wave patterns in the nonlinear Schrödinger equation

Bo Yang and Jianke Yang Department of Mathematics and Statistics, University of Vermont, Burlington, VT 05405, USA
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 NN-th order rogue wave exhibits a single-shell ring structure, then the center of the ring is a (N2)(N-2)-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

iut+12uxx+|u|2u=0\textrm{i}u_{t}+\frac{1}{2}u_{xx}+|u|^{2}u=0 (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 x,t±x,t\to\pm\infty. Since this equation admits Galilean and scaling invariances, we can set the boundary conditions of these rogue waves as

u(x,t)eit,x,t,u(x,t)\to e^{\textrm{i}t},\quad x,t\to\infty, (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

uN(x,t)=σ1σ0eit,\displaystyle u_{N}(x,t)=\frac{\sigma_{1}}{\sigma_{0}}e^{\textrm{i}t}, (3)

where the positive integer NN represents the order of the rogue wave, σn\sigma_{n} is a N×NN\times N Gram determinant

σn=det1i,jN(ϕ2i1,2j1(n)),\sigma_{n}=\det_{\begin{subarray}{l}1\leq i,j\leq N\end{subarray}}\left(\begin{array}[]{c}\phi_{2i-1,2j-1}^{(n)}\end{array}\right), (4)

the matrix elements in σn\sigma_{n} are defined by

ϕi,j(n)=ν=0min(i,j)14νSiν(x+(n)+νs)Sjν(x(n)+νs),\phi_{i,j}^{(n)}=\sum_{\nu=0}^{\min(i,j)}\frac{1}{4^{\nu}}\hskip 1.70709ptS_{i-\nu}(\textbf{\emph{x}}^{+}(n)+\nu\textbf{\emph{s}})\hskip 1.70709ptS_{j-\nu}(\textbf{\emph{x}}^{-}(n)+\nu\textbf{\emph{s}}), (5)

vectors x±(n)=(x1±,x2±,)\textbf{\emph{x}}^{\pm}(n)=\left(x_{1}^{\pm},x_{2}^{\pm},\cdots\right) are defined by

x1±=x±it±n,x2k±=0,x2k+1+=x+22k(it)(2k+1)!+a2k+1,x2k+1=x22k(it)(2k+1)!+a2k+1,\displaystyle x_{1}^{\pm}=x\pm\textrm{i}t\pm n,\ \ \ x_{2k}^{\pm}=0,\quad x_{2k+1}^{+}=\frac{x+2^{2k}(\textrm{i}t)}{(2k+1)!}+a_{2k+1},\quad x_{2k+1}^{-}=\frac{x-2^{2k}(\textrm{i}t)}{(2k+1)!}+a_{2k+1}^{*}, (6)

with k1k\geq 1 and the asterisk * representing complex conjugation, s=(0,s2,0,s4,)\textbf{\emph{s}}=(0,s_{2},0,s_{4},\cdots) are coefficients from the expansion

j=1sjλj=ln[2λtanh(λ2)],\displaystyle\sum_{j=1}^{\infty}s_{j}\lambda^{j}=\ln\left[\frac{2}{\lambda}\tanh\left(\frac{\lambda}{2}\right)\right], (7)

the Schur polynomials Sk(𝒙)S_{k}(\mbox{\boldmath$x$}), with x=(x1,x2,)\emph{{x}}=\left(x_{1},x_{2},\ldots\right), are defined by

k=0Sk(𝒙)ϵk=exp(k=1xkϵk),\sum_{k=0}^{\infty}S_{k}(\mbox{\boldmath$x$})\epsilon^{k}=\exp\left(\sum_{k=1}^{\infty}x_{k}\epsilon^{k}\right), (8)

or more explicitly,

Sk(𝒙)=l1+2l2++mlm=k(j=1mxjljlj!),S_{k}(\mbox{\boldmath$x$})=\sum_{l_{1}+2l_{2}+\cdots+ml_{m}=k}\left(\ \prod_{j=1}^{m}\frac{x_{j}^{l_{j}}}{l_{j}!}\right), (9)

and a2k+1(k=1,2,,N1)a_{2k+1}\hskip 1.42271pt(k=1,2,\cdots,N-1) are free irreducible complex constants.

This theorem will be proved in Appendix A. Since these rogue waves approach a uniform background as tt\to-\infty, the internal parameters {a2k+1}\{a_{2k+1}\} 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 N1N-1 internal parameters (a3,a5,,a2N1)(a_{3},a_{5},\cdots,a_{2N-1}) 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 (PII\mbox{P}_{\mbox{\scriptsize II}}) Yablonskii1959 ; Vorobev1965

w′′=2w3+zw+α,w^{\prime\prime}=2w^{3}+zw+\alpha, (10)

where α\alpha is an arbitrary constant. It has been shown that this PII\mbox{P}_{\mbox{\scriptsize II}} equation admits rational solutions if and only if α=N\alpha=N is an integer. In this case, the rational solution is unique and is given by

w(z;N)=ddzlnQN1(z)QN(z),N1,\displaystyle w(z;N)=\frac{d}{dz}\ln\frac{Q_{N-1}(z)}{Q_{N}(z)},\quad N\geq 1, (11)
w(z;0)=0,w(z;N)=w(z;N),\displaystyle w(z;0)=0,\quad w(z;-N)=-w(z;N), (12)

and the polynomials QN(z)Q_{N}(z), now called the Yablonskii-Vorob’ev polynomials, are constructed by the following recurrence relation

QN+1QN1=zQN24[QNQN′′(QN)2],Q_{N+1}Q_{N-1}=zQ_{N}^{2}-4\left[Q_{N}Q_{N}^{\prime\prime}-(Q_{N}^{\prime})^{2}\right], (13)

with Q0(z)=1Q_{0}(z)=1, Q1(z)=zQ_{1}(z)=z, and the prime denoting the derivative. Later, a determinant expression for these polynomials was found in Kajiwara-Ohta1996 . Let pk(z)p_{k}(z) be the special Schur polynomial defined by

k=0pk(z)ϵk=exp(zϵ43ϵ3).\sum_{k=0}^{\infty}p_{k}(z)\epsilon^{k}=\exp\left(z\epsilon-\frac{4}{3}\epsilon^{3}\right). (14)

Then, Yablonskii-Vorob’ev polynomials QN(z)Q_{N}(z) are given by the N×NN\times N determinant Kajiwara-Ohta1996

QN(z)=cN|p1(z)p0(z)p2N(z)p3(z)p2(z)p4N(z)p2N1(z)p2N2(z)pN(z)|,\displaystyle Q_{N}(z)=c_{N}\left|\begin{array}[]{cccc}p_{1}(z)&p_{0}(z)&\cdots&p_{2-N}(z)\\ p_{3}(z)&p_{2}(z)&\cdots&p_{4-N}(z)\\ \vdots&\vdots&\vdots&\vdots\\ p_{2N-1}(z)&p_{2N-2}(z)&\cdots&p_{N}(z)\end{array}\right|, (19)

where cN=j=1N(2j1)!!c_{N}=\prod_{j=1}^{N}(2j-1)!!, and pk(z)=0p_{k}(z)=0 if k<0k<0. These polynomials are monic polynomials with integer coefficients Clarkson2003-II . The first few Yablonskii-Vorob’ev polynomials are

Q2(z)=z3+4,\displaystyle Q_{2}(z)=z^{3}+4,
Q3(z)=z6+20z380,\displaystyle Q_{3}(z)=z^{6}+20z^{3}-80,
Q4(z)=z(z9+60z6+11200).\displaystyle Q_{4}(z)=z(z^{9}+60z^{6}+11200).

To define the Yablonskii-Vorob’ev polynomial hierarchy, we let pk[m](z)p_{k}^{[m]}(z) be the generalized Schur polynomial defined by

k=0pk[m](z)ϵk=exp(zϵ22m2m+1ϵ2m+1),\sum_{k=0}^{\infty}p_{k}^{[m]}(z)\epsilon^{k}=\exp\left(z\epsilon-\frac{2^{2m}}{2m+1}\epsilon^{2m+1}\right), (20)

where mm is a positive integer. Then, the Yablonskii-Vorob’ev hierarchy QN[m](z)Q_{N}^{[m]}(z) are given by the N×NN\times N determinant Clarkson2003-II

QN[m](z)=cN|p1[m](z)p0[m](z)p2N[m](z)p3[m](z)p2[m](z)p4N[m](z)p2N1[m](z)p2N2[m](z)pN[m](z)|,\displaystyle Q_{N}^{[m]}(z)=c_{N}\left|\begin{array}[]{cccc}p^{[m]}_{1}(z)&p^{[m]}_{0}(z)&\cdots&p^{[m]}_{2-N}(z)\\ p^{[m]}_{3}(z)&p^{[m]}_{2}(z)&\cdots&p^{[m]}_{4-N}(z)\\ \vdots&\vdots&\vdots&\vdots\\ p^{[m]}_{2N-1}(z)&p^{[m]}_{2N-2}(z)&\cdots&p^{[m]}_{N}(z)\end{array}\right|, (25)

where pk[m](z)=0p_{k}^{[m]}(z)=0 if k<0k<0. When m=1m=1, QN[1](z)Q_{N}^{[1]}(z) are the original Yablonskii-Vorob’ev polynomials QN(z)Q_{N}(z). When m>1m>1, QN[m](z)Q_{N}^{[m]}(z) give higher members of this polynomial hierarchy. All these QN[m](z)Q_{N}^{[m]}(z) polynomials were conjectured to be monic polynomials with integer coefficients as well Clarkson2003-II . The first few QN[2](z)Q_{N}^{[2]}(z) polynomials are

Q2[2](z)=z3,\displaystyle Q_{2}^{[2]}(z)=z^{3},
Q3[2](z)=z(z5144),\displaystyle Q_{3}^{[2]}(z)=z(z^{5}-144),
Q4[2](z)=z101008z548384.\displaystyle Q_{4}^{[2]}(z)=z^{10}-1008z^{5}-48384.

These QN[m](z)Q_{N}^{[m]}(z) polynomials, through relations similar to (11)-(12), provide the unique rational solution for the PII\mbox{P}_{\mbox{\scriptsize II}} hierarchy Clarkson2003-II ; Bertola2016 . It is noted that the determinant (25) for QN[m](z)Q_{N}^{[m]}(z) is a Wronskian, because it is easy to see from Eq. (20) that

pk[m](z)=[pk+1[m]](z).p_{k}^{[m]}(z)=[p_{k+1}^{[m]}]^{\prime}(z). (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 QN(z)Q_{N}(z), QN[2](z)Q_{N}^{[2]}(z) and QN[3](z)Q_{N}^{[3]}(z) was presented in Taneda ; Clarkson2003-II . Generalizing those results, we have the following theorem.

Theorem 2. The general Yablonskii-Vorob’ev polynomial QN[m](z)Q_{N}^{[m]}(z) has degree N(N+1)/2N(N+1)/2, and is of the form

QN[m](z)=zN0(N0+1)/2qN[m](ζ),ζ=z2m+1,Q_{N}^{[m]}(z)=z^{N_{0}(N_{0}+1)/2}q_{N}^{[m]}(\zeta),\quad\zeta=z^{2m+1}, (27)

where qN[m](ζ)q_{N}^{[m]}(\zeta) is a polynomial with a nonzero constant term, and the integer N0N_{0} is given by the equation

NN0mod(2m+1),or\displaystyle N\equiv N_{0}\hskip 2.84544pt\mbox{mod}\hskip 2.84544pt(2m+1),\quad\text{or} (28)
NN01mod(2m+1),\displaystyle N\equiv-N_{0}-1\hskip 2.84544pt\mbox{mod}\hskip 2.84544pt(2m+1), (29)

under the restriction of 0N0m0\leq N_{0}\leq m. Due to this restriction on N0N_{0}, only one of Eqs. (28) and (29) can hold, and thus the resulting N0N_{0} 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 QN[m](z)Q_{N}^{[m]}(z) polynomial. It also shows that the root structure of QN[m](z)Q_{N}^{[m]}(z) is invariant under 2π/(2m+1)2\pi/(2m+1)-angle rotation in the complex zz plane. In the particular case of the original Yablonskii-Vorob’ev polynomials QN(z)Q_{N}(z) where m=1m=1, the above theorem shows that 0N010\leq N_{0}\leq 1. This means that zero is either not a root or a simple root for QN(z)Q_{N}(z), in agreement with previous results in Fukutani ; Taneda .

On the determination of the unique N0N_{0} value in the above theorem, let us give an example. When N=5N=5 and m=4m=4, the N0N_{0} value under the restriction of 0N040\leq N_{0}\leq 4 can only be found from Eq. (29) as N0=3N_{0}=3.

Regarding nonzero roots, it was shown in Fukutani that for the original Yablonskii-Vorob’ev polynomials QN(z)Q_{N}(z), all nonzero roots are simple. For the higher Yablonskii-Vorob’ev polynomial hierarchy QN[m](z)Q_{N}^{[m]}(z), it was conjectured in Clarkson2003-II that all nonzero roots are also simple. In view of Theorem 2, this conjecture implies that the polynomial QN[m](z)Q_{N}^{[m]}(z) has

Np=12[N(N+1)N0(N0+1)]N_{p}=\frac{1}{2}\left[N(N+1)-N_{0}(N_{0}+1)\right] (30)

nonzero simple roots. We have checked this conjecture for a myriad of (N,m)(N,m) 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 QN[m](z)Q_{N}^{[m]}(z) 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 N=6N=6 and 1m51\leq m\leq 5. Boundaries of the roots in QN[m](z)Q_{N}^{[m]}(z) in the large-NN limit have been determined in Miller2014 ; Bertola2016 .

Refer to caption
Figure 1: Plots of the roots of the Yablonskii-Vorob’ev polynomial hierarchy QN[m](z)Q_{N}^{[m]}(z) for N=6N=6 and 1m51\leq m\leq 5.

3 Analytical predictions of rogue wave patterns for a single large internal parameter

Rogue wave solutions in Theorem 1 contain N1N-1 free internal complex parameters a3,a5,,a2N1a_{3},a_{5},\cdots,a_{2N-1}. In this section, we consider asymptotics of these rogue solutions when one of these internal parameters is large, while the other parameters remain O(1)O(1). Generalizations to cases where multiple internal parameters are large but satisfy certain constraints will be made in Sec. 6.

Suppose a2m+1a_{2m+1} is large, where 1mN11\leq m\leq N-1, and the other parameters are O(1)O(1). Then our results on the large-a2m+1a_{2m+1} asymptotics of rogue waves in Theorem 1 are summarized by the following two theorems.

Theroem 3. Far away from the origin, with x2+t2=O(|a2m+1|1/(2m+1))\sqrt{x^{2}+t^{2}}=O\left(|a_{2m+1}|^{1/(2m+1)}\right), the NN-th order rogue wave uN(x,t)u_{N}(x,t) in Eq. (3) separates into NpN_{p} fundamental (Peregrine) rogue waves, where NpN_{p} is given in Eq. (30). These Peregrine waves are u^1(xx^0,tt^0)eit\hat{u}_{1}(x-\hat{x}_{0},t-\hat{t}_{0})\hskip 1.42271pte^{\textrm{i}t}, where

u^1(x,t)=14(1+2it)1+4x2+4t2,\hat{u}_{1}(x,t)=1-\frac{4(1+2\textrm{i}t)}{1+4x^{2}+4t^{2}}, (31)

and their positions (x^0,t^0)(\hat{x}_{0},\hat{t}_{0}) are given by

x^0+it^0=z0(2m+122ma2m+1)12m+1,\displaystyle\hat{x}_{0}+\textrm{i}\hskip 1.42271pt\hat{t}_{0}=z_{0}\left(-\frac{2m+1}{2^{2m}}a_{2m+1}\right)^{\frac{1}{2m+1}}, (32)

with z0z_{0} being any one of the NpN_{p} simple nonzero roots of QN[m](z)Q_{N}^{[m]}(z). The error of this Peregrine wave approximation is O(|a2m+1|1/(2m+1))O(|a_{2m+1}|^{-1/(2m+1)}). Expressed mathematically, when [(xx^0)2+(tt^0)2]1/2=O(1)\left[(x-\hat{x}_{0})^{2}+(t-\hat{t}_{0})^{2}\right]^{1/2}=O(1), we have the following solution asymptotics

uN(x,t;a3,a5,,a2N1)=u^1(xx^0,tt^0)eit+O(|a2m+1|1/(2m+1)),|a2m+1|1.u_{N}(x,t;a_{3},a_{5},\cdots,a_{2N-1})=\hat{u}_{1}(x-\hat{x}_{0},t-\hat{t}_{0})\hskip 1.42271pte^{\textrm{i}t}+O\left(|a_{2m+1}|^{-1/(2m+1)}\right),\quad|a_{2m+1}|\gg 1. (33)

When (x,t)(x,t) is not in the neighborhood of any of these NpN_{p} Peregrine waves, or x2+t2\sqrt{x^{2}+t^{2}} is larger than O(|a2m+1|1/(2m+1))O\left(|a_{2m+1}|^{1/(2m+1)}\right), uN(x,t)u_{N}(x,t) asymptotically approaches the constant background eite^{\textrm{i}t} as |a2m+1||a_{2m+1}|\to\infty.

Theroem 4. In the neighborhood of the origin, where x2+t2=O(1)\sqrt{x^{2}+t^{2}}=O(1), uN(x,t)u_{N}(x,t) is approximately a lower N0N_{0}-th order rogue wave uN0(x,t)u_{N_{0}}(x,t), where N0N_{0} is given in Theorem 2 with 0N0N20\leq N_{0}\leq N-2, and uN0(x,t)u_{N_{0}}(x,t) is given by Eq. (3) with its internal parameters a3,a5,,a2N01a_{3},a_{5},\cdots,a_{2N_{0}-1} being the first N01N_{0}-1 values in the parameter set (a3,a5,,a2N1)(a_{3},a_{5},\cdots,a_{2N-1}) of the original rogue wave uN(x,t)u_{N}(x,t). The error of this lower-order rogue wave approximation uN0(x,t)u_{N_{0}}(x,t) is O(|a2m+1|1)O(|a_{2m+1}|^{-1}). Expressed mathematically, when x2+t2=O(1)\sqrt{x^{2}+t^{2}}=O(1),

uN(x,t;a3,a5,,a2N1)=uN0(x,t;a3,a5,,a2N01)+O(|a2m+1|1),|a2m+1|1.u_{N}(x,t;a_{3},a_{5},\cdots,a_{2N-1})=u_{N_{0}}(x,t;a_{3},a_{5},\cdots,a_{2N_{0}-1})+O\left(|a_{2m+1}|^{-1}\right),\quad|a_{2m+1}|\gg 1. (34)

If N0=0N_{0}=0, then there will not be such a lower-order rogue wave in the neighborhood of the origin, and uN(x,t)u_{N}(x,t) asymptotically approaches the constant background eite^{\textrm{i}t} there as |a2m+1||a_{2m+1}|\to\infty.

These two theorems will be proved in Sec. 5.

Remark 1. Theorem 3 predicts that when a2m+1a_{2m+1} is large, the NN-th order rogue wave (3) far away from the origin comprises NpN_{p} Peregrine waves. The rogue pattern formed by these Peregrine waves has the same geometric shape as the root structure of the polynomial QN[m](z)Q_{N}^{[m]}(z), and thus this rogue pattern has 2π/(2m+1)2\pi/(2m+1)-angle rotational symmetry. The only difference between the predicted rogue pattern and the root structure of QN[m](z)Q_{N}^{[m]}(z) 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 a2m+1-a_{2m+1} divided by 2m+12m+1, and the dilation factor is equal to [(2m+1)22m|a2m+1|]1/(2m+1)[(2m+1)2^{-2m}|a_{2m+1}|]^{1/(2m+1)}.

Remark 2. On the right side of Eq. (32), we can pick any one of the (2m+1)(2m+1)-th root of (2m+1)22ma2m+1-(2m+1)2^{-2m}a_{2m+1}, because roots z0z_{0} of the polynomial QN[m](z)Q_{N}^{[m]}(z) have 2π/(2m+1)2\pi/(2m+1)-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 NN-th order rogue wave exhibits a ring structure when a2N1a_{2N-1} is large (see Fig. 2 in the next section). In this case, m=N1m=N-1, and N0=N2N_{0}=N-2 from Eq. (29). Then, our theory predicts that the center of this NN-th order rogue wave is a (N2)(N-2)-th order rogue wave, surrounded by Np=2N1N_{p}=2N-1 Peregrine waves that are evenly spaced on a ring due to the 2π/(2m+1)2\pi/(2m+1)-, i.e., 2π/(2N1)2\pi/(2N-1)-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 a3a_{3}, a5a_{5}, a7a_{7}, a9a_{9}, a11a_{11} and a13a_{13} 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.

Refer to caption
Figure 2: True NLS rogue wave patterns |uN(x,t;a3,a5,,a2N1)||u_{N}(x,t;a_{3},a_{5},\cdots,a_{2N-1})| from solutions (3) when NN ranges from 22 to 77 and one of the solution parameters is large (the other parameters are set as zero). The large parameter is labeled on top of each column, and its value for each panel is listed in Table 1. The center of each panel is always the origin x=t=0x=t=0, but the (x,t)(x,t) intervals differ slightly from panel to panel. For instance, in the bottom row, the left-most panel has 18.5x,t18.5-18.5\leq x,t\leq 18.5, and the right-most panel has 16x,t16-16\leq x,t\leq 16.

It is seen that these rogue waves comprise a number of Peregrine waves forming triangular patterns for large a3a_{3}, pentagon patterns for large a5a_{5}, heptagon patterns for large a7a_{7}, nonagon patterns for large a9a_{9}, hendecagon (eleven-sided polygon) patterns for large a11a_{11}, and tridecagon (thirteen-sided polygon) patterns for large a13a_{13}. 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 a3a_{3} and a9a_{9} respectively) exhibit a Peregrine wave in their centers; the second panel (with large a5a_{5}) exhibits a second-order rogue wave in the center; the fifth panel (with large a11a_{11}) exhibits a third-order rogue wave in the center; and the last panel (with large a13a_{13}) 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.

Table 1: Value of the large parameter for rogue waves in Fig. 2
NN a3a_{3} a5a_{5} a7a_{7} a9a_{9} a11a_{11} a13a_{13}
2 100i-100\textrm{i}
3 60i-60\textrm{i} 1000i-1000\textrm{i}
4 30i-30\textrm{i} 300i-300\textrm{i} 3000i-3000\textrm{i}
5 20i-20\textrm{i} 100i-100\textrm{i} 2000i-2000\textrm{i} 12000i-12000\textrm{i}
6 20i-20\textrm{i} 200i-200\textrm{i} 2000i-2000\textrm{i} 20000i-20000\textrm{i} 80000i-80000\textrm{i}
7 20i-20\textrm{i} 200i-200\textrm{i} 2000i-2000\textrm{i} 30000i-30000\textrm{i} 100000i-100000\textrm{i} 300000i-300000\textrm{i}

Now, we compare these true rogue patterns in Fig. 2 with our analytical predictions. Our prediction |uN(p)(x,t)||u_{N}^{(p)}(x,t)| from Theorems 3 and 4 can be assembled into a simple formula,

|uN(p)(x,t)|=|uN0(x,t)|+j=1Np(|u^1(xx^0(j),tt^0(j))|1),\left|u_{N}^{(p)}(x,t)\right|=\left|u_{N_{0}}(x,t)\right|+\sum_{j=1}^{N_{p}}\left(\left|\hat{u}_{1}(x-\hat{x}_{0}^{(j)},t-\hat{t}_{0}^{(j)})\right|-1\right), (35)

where u^1(x,t)\hat{u}_{1}(x,t) is the Peregrine wave given in (31), their positions (x^0(j),t^0(j))(\hat{x}_{0}^{(j)},\hat{t}_{0}^{(j)}) given by (32) with z0z_{0} being every one of the NpN_{p} simple nonzero roots of QN[m](z)Q_{N}^{[m]}(z), and uN0(x,t)u_{N_{0}}(x,t) is the lower-order rogue wave in Eq. (34) whose internal parameters (a3,a5,,a2N01)(a_{3},a_{5},\cdots,a_{2N_{0}-1}) are the first N01N_{0}-1 values in the parameter set (a3,a5,,a2N1)(a_{3},a_{5},\cdots,a_{2N-1}) of the original rogue wave uN(x,t)u_{N}(x,t). For true rogue waves in Fig. 2, all internal parameters except for a2m+1a_{2m+1} were chosen as zero, and N0mN_{0}\leq m (see Theorem 2). Then, all internal parameters in the predicted lower-order rogue wave uN0(x,t)u_{N_{0}}(x,t) at the origin are also zero.

Our predicted (Np,N0)(N_{p},N_{0}) values for rogue waves of Fig. 2 are displayed in Table 2, where m=1,2,,6m=1,2,\cdots,6 correspond to large a3,a5,,a13a_{3},a_{5},\cdots,a_{13} respectively. These (Np,N0)(N_{p},N_{0}) values provide our predictions for the number of Peregrine waves away from the origin (x,t)=(0,0)(x,t)=(0,0), 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.

Table 2: Predicted (Np,N0)(N_{p},N_{0}) values for true rogue waves of Fig. 2
NN m=1m=1 m=2m=2 m=3m=3 m=4m=4 m=5m=5 m=6m=6
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 (a3,a5,)(a_{3},a_{5},\cdots) parameter values. These predicted whole solutions (35) are displayed in Fig. 3, with identical (x,t)(x,t) 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 (x,t)(x,t) plane are given by all the non-zero roots of the Yablonskii-Vorob’ev polynomials QN[m](z)Q_{N}^{[m]}(z), 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 N=6N=6. 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 uN0(x,t)u_{N_{0}}(x,t) for centers of the rogue waves uN(x,t)u_{N}(x,t) 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 uN0(x,t)u_{N_{0}}(x,t) 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.

Refer to caption
Figure 3: Analytical predictions (35) for true rogue waves in Fig. 2. The xx and tt intervals here are identical to those 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 a2m+1a_{2m+1}. Specifically, the rogue-pattern orientation is the one of the root pattern of QN[m](z)Q_{N}^{[m]}(z) rotated by an angle of arg(a2m+1)/(2m+1)\mbox{arg}(-a_{2m+1})/(2m+1), 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 a5a_{5} is large and the other parameters are set as zero. For three choices of the a5a_{5} value with the same modulus but different arguments, namely, 500eiπ/3500e^{-\textrm{i}\pi/3}, 500eiπ/3500e^{\textrm{i}\pi/3} and 500e4iπ/3500e^{4\textrm{i}\pi/3}, 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 a5a_{5} 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.

Refer to caption
Refer to caption
Figure 4: Orientations of 4-th order pentagon-shaped rogue waves with a5=500eiπ/3a_{5}=500e^{-\textrm{i}\pi/3} (left column), 500eiπ/3500e^{\textrm{i}\pi/3} (middle column) and 500e4iπ/3500e^{4\textrm{i}\pi/3} (right column) respectively; the other parameters in the rogue solutions are zero. Upper row: true rogue patterns from solutions (3); lower row: predicted locations of Peregrine waves from Eq. (32).

Next, we make quantitative comparisons between true rogue waves and our predictions for large a2m+1a_{2m+1}, and verify the error decay rate of O(|a2m+1|1/(2m+1))O(|a_{2m+1}|^{-1/(2m+1)}) for the prediction of Peregrine-wave locations far away from the origin in Theorem 3, and the error decay rate of O(|a2m+1|1)O(|a_{2m+1}|^{-1}) 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 a3a_{3}, and we set arg(a3)=π/4(a_{3})=-\pi/4; and the other is a pentagon pattern from large a5a_{5}, and we set a5a_{5} 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 (x0,t0)(x_{0},t_{0}) location with our analytical prediction (32) as |a3||a_{3}| or |a5||a_{5}| increases. Here, the true location of the Peregrine wave is defined as the (x0,t0)(x_{0},t_{0}) location where this Peregrine wave attains its maximum amplitude, and the error of our asymptotic prediction (x^0,t^0)(\hat{x}_{0},\ \hat{t}_{0}) in Eq. (32) is defined as

error of Peregrine location=(x^0x0)2+(t^0t0)2.\mbox{error of Peregrine location}=\sqrt{\left(\hat{x}_{0}-x_{0}\right)^{2}+\left(\hat{t}_{0}-t_{0}\right)^{2}}.

These errors of Peregrine locations versus |a3||a_{3}| or |a5||a_{5}| 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 |a3|1/3|a_{3}|^{-1/3} and |a5|1/5|a_{5}|^{-1/5} are also displayed in these panels as dashed lines. We see that these errors of Peregrine locations indeed decay at the rate of |a2m+1|1/(2m+1)|a_{2m+1}|^{-1/(2m+1)}, thus confirming the analytical error estimates (33) in Theorem 3.

Refer to caption
Figure 5: Decay of errors in our prediction (32) for the Peregrine location as |a3||a_{3}| or |a5||a_{5}| increases. (a) A triangle pattern of 3rd-order rogue waves when |a3||a_{3}| is large and arg(a3)=π/4(a_{3})=-\pi/4. (b) Error versus |a3||a_{3}| for the Peregrine location marked by an arrow in (a). (c) A pentagon pattern of 3rd-order rogue waves when |a5||a_{5}| is large with arg(a5)=π/4(a_{5})=-\pi/4. (b) Error versus |a5||a_{5}| for the Peregrine location marked by an arrow in (c).

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 u5(x,t)u_{5}(x,t) with large a9a_{9} and the other internal parameters set as zero. This |u5(x,t)||u_{5}(x,t)| solution with a9=5000ia_{9}=-5000\textrm{i} 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, N=5N=5 and m=4m=4. Since 54mod95\equiv-4\hskip 2.84544pt\mbox{mod}\hskip 2.84544pt9, we get N0=3N_{0}=3 from Eq. (29). Thus, according to Theorem 4, this u5(x,t)u_{5}(x,t) solution contains a 3rd-order rogue wave u3(x,t)u_{3}(x,t) in its center region, where all internal parameters (a3,a5)(a_{3},a_{5}) in this u3(x,t)u_{3}(x,t) solution are zero. Such a u3(x,t)u_{3}(x,t) solution is a third-order super rogue wave. This predicted |u3(x,t)||u_{3}(x,t)| solution is displayed in Fig. 6(c), with the same (x,t)(x,t) 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 u3(x,t)u_{3}(x,t) at x=t=0.5x=t=0.5 of the center region as a9a_{9} increases in magnitude with arg(a9)=π/2(a_{9})=-\pi/2. Our error is defined as

error of center region prediction=|u5(x,t)u3(x,t)|x=t=0.5.\mbox{error of center region prediction}=\left|u_{5}(x,t)-u_{3}(x,t)\right|_{x=t=0.5}.

The dependence of this error on |a9||a_{9}| is plotted in Fig. 6(d). Comparison of this error decay with the |a9|1|a_{9}|^{-1} decay [shown as a dashed line in panel (d)] indicates that this error is indeed of O(|a9|1)O(|a_{9}|^{-1}), confirming the error prediction (34) in Theorem 4.

Refer to caption
Figure 6: Decay of errors in our prediction u3(x,t)u_{3}(x,t) for the center region of the rogue wave u5(x,t)u_{5}(x,t) with large a9a_{9}. (a) A true 5-th order rogue wave |u5(x,t)||u_{5}(x,t)| with a9=5000ia_{9}=-5000\textrm{i} and the other parameters being zero; the (x,t)(x,t) intervals here are 12x,t12-12\leq x,t\leq 12. (b) Zoomed-in plot of the center region of the true solution marked by a dashed-line box in panel (a). (c) Our prediction |u3(x,t)||u_{3}(x,t)| for the center region with the same (x,t)(x,t) intervals as in (b). (d) Error decay of our predicted solution at the (x,t)(x,t) location of (0.5,0.5)(0.5,0.5) as a9a_{9} increases in size with arg(a9)=π/2(a_{9})=-\pi/2.

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 σn\sigma_{n} in Eq. (4), in the large a2m+1a_{2m+1} limit.

Proof of Theorem 3.   When a2m+1a_{2m+1} is large and the other parameters O(1)O(1) in the rogue wave solution (3), at (x,t)(x,t) where x2+t2=O(|a2m+1|1/(2m+1))\sqrt{x^{2}+t^{2}}=O\left(|a_{2m+1}|^{1/(2m+1)}\right), by denoting

λ=a2m+11/(2m+1)\lambda=a_{2m+1}^{-1/(2m+1)} (36)

and recalling the expression of Schur polynomials in Eq. (9), we have

Sk(x+(n)+νs)=Sk(x1+,νs2,x3+,νs4,)=λkSk(x1+λ,νs2λ2,x3+λ3,νs4λ4,)\displaystyle S_{k}(\textbf{\emph{x}}^{+}(n)+\nu\textbf{\emph{s}})=S_{k}\left(x_{1}^{+},\nu s_{2},x_{3}^{+},\nu s_{4},\cdots\right)=\lambda^{-k}S_{k}\left(x_{1}^{+}\lambda,\nu s_{2}\lambda^{2},x_{3}^{+}\lambda^{3},\nu s_{4}\lambda^{4},\cdots\right)
λkSk[(x+it)λ,0,,0,1,0,]=Sk(x+it,0,,0,a2m+1,0,).\displaystyle\sim\lambda^{-k}S_{k}\left[(x+\textrm{i}t)\lambda,0,\cdots,0,1,0,\cdots\right]=S_{k}\left(x+\textrm{i}t,0,\cdots,0,a_{2m+1},0,\cdots\right). (37)

Thus,

Sk(x+(n)+νs)Sk(v),|a2m+1|1,S_{k}(\textbf{\emph{x}}^{+}(n)+\nu\textbf{\emph{s}})\sim S_{k}(\textbf{v}),\quad\quad|a_{2m+1}|\gg 1, (38)

where

v=(x+it,0,,0,a2m+1,0,).\textbf{v}=(x+\textrm{i}t,0,\cdots,0,a_{2m+1},0,\cdots). (39)

From the definition of Schur polynomials (8), Sk(v)S_{k}(\textbf{v}) is given by

k=0Sk(v)ϵk=exp[(x+it)ϵ+a2m+1ϵ2m+1].\sum_{k=0}^{\infty}S_{k}(\textbf{v})\epsilon^{k}=\exp\left[(x+\textrm{i}t)\epsilon+a_{2m+1}\epsilon^{2m+1}\right]. (40)

Thus, it is related to the polynomial pk[m](z)p_{k}^{[m]}(z) in (20) as

Sk(v)=Ak/(2m+1)pk[m](z),S_{k}(\textbf{v})=A^{k/(2m+1)}p_{k}^{[m]}(z), (41)

where

A=2m+122ma2m+1,z=A1/(2m+1)(x+it).A=-\frac{2m+1}{2^{2m}}a_{2m+1},\hskip 8.5359ptz=A^{-1/(2m+1)}(x+\textrm{i}t). (42)

Using these formulae, we find that

det1i,jN[S2ij(x+(n)+js)]cN1AN(N+1)2(2m+1)QN[m](z),|a2m+1|1.\det_{1\leq i,j\leq N}\left[S_{2i-j}(\textbf{\emph{x}}^{+}(n)+j\textbf{\emph{s}})\right]\sim c_{N}^{-1}A^{\frac{N(N+1)}{2(2m+1)}}Q_{N}^{[m]}(z),\quad\quad|a_{2m+1}|\gg 1. (43)

Similarly,

det1i,jN[S2ij(x(n)+js)]cN1(A)N(N+1)2(2m+1)QN[m](z),|a2m+1|1.\det_{1\leq i,j\leq N}\left[S_{2i-j}(\textbf{\emph{x}}^{-}(n)+j\textbf{\emph{s}})\right]\sim c_{N}^{-1}\left(A^{*}\right)^{\frac{N(N+1)}{2(2m+1)}}Q_{N}^{[m]}(z^{*}),\quad\quad|a_{2m+1}|\gg 1. (44)

Hereafter, Sk=0S_{k}=0 when k<0k<0.

To proceed further, we use determinant identities and the Laplace expansion to rewrite σn\sigma_{n} in Eq. (4) as OhtaJY2012

σn=0ν1<ν2<<νN2N1det1i,jN[12νjS2i1νj(x+(n)+νjs)]×det1i,jN[12νjS2i1νj(x(n)+νjs)].\displaystyle\sigma_{n}=\sum_{0\leq\nu_{1}<\nu_{2}<\cdots<\nu_{N}\leq 2N-1}\det_{1\leq i,j\leq N}\left[\frac{1}{2^{\nu_{j}}}S_{2i-1-\nu_{j}}(\textbf{\emph{x}}^{+}(n)+\nu_{j}\textbf{\emph{s}})\right]\times\det_{1\leq i,j\leq N}\left[\frac{1}{2^{\nu_{j}}}S_{2i-1-\nu_{j}}(\textbf{\emph{x}}^{-}(n)+\nu_{j}\textbf{\emph{s}})\right]. (45)

Since the highest order term of a2m+1a_{2m+1} in this σn\sigma_{n} comes from the index choices of νj=j1\nu_{j}=j-1, then

σn|α|2|a2m+1|N(N+1)2m+1|QN[m](z)|2,|a2m+1|1,\sigma_{n}\sim|\alpha|^{2}\hskip 1.42271pt|a_{2m+1}|^{\frac{N(N+1)}{2m+1}}\left|Q_{N}^{[m]}(z)\right|^{2},\quad\quad|a_{2m+1}|\gg 1, (46)

where

α=2N(N1)/2cN1(2m+122m)N(N+1)2(2m+1).\alpha=2^{-N(N-1)/2}c_{N}^{-1}\left(-\frac{2m+1}{2^{2m}}\right)^{\frac{N(N+1)}{2(2m+1)}}. (47)

Since α\alpha is independent of nn, the above equation shows that for large a2m+1a_{2m+1}, σ1/σ01\sigma_{1}/\sigma_{0}\sim 1, i.e., the solution u(x,t)u(x,t) is on the unit background, except at or near (x,t)(x,t) locations (x^0,t^0)\left(\hat{x}_{0},\hat{t}_{0}\right) where

z0=A1/(2m+1)(x^0+it^0)z_{0}=A^{-1/(2m+1)}(\hat{x}_{0}+\textrm{i}\hat{t}_{0}) (48)

is a root of the polynomial QN[m](z)Q_{N}^{[m]}(z), and such (x^0,t^0)\left(\hat{x}_{0},\hat{t}_{0}\right) locations are given by Eq. (32) in view of Eq. (42).

Next, we show that when (x,t)(x,t) is in the neighborhood of each of the (x^0,t^0)\left(\hat{x}_{0},\hat{t}_{0}\right) locations given by Eq. (32), i.e., when [(xx^0)2+(tt^0)2]1/2=O(1)\left[(x-\hat{x}_{0})^{2}+(t-\hat{t}_{0})^{2}\right]^{1/2}=O(1), the rogue wave uN(x,t)u_{N}(x,t) in Eq. (3) approaches a Peregrine wave u^1(xx^0,tt^0)eit\hat{u}_{1}(x-\hat{x}_{0},t-\hat{t}_{0})\hskip 1.42271pte^{\textrm{i}t} for large a2m+1a_{2m+1}. The asymptotic analysis above indicates that when (x,t)(x,t) is in the neighborhood of (x^0,t^0)\left(\hat{x}_{0},\hat{t}_{0}\right), the highest power term |a2m+1|N(N+1)2m+1|a_{2m+1}|^{\frac{N(N+1)}{2m+1}} in σ(x,t)\sigma(x,t) vanishes. Thus, in order to determine the asymptotics of uN(x,t)u_{N}(x,t) in that (x,t)(x,t) region, we need to derive the leading order term of a2m+1a_{2m+1} in Eq. (45) whose order is lower than |a2m+1|N(N+1)2m+1|a_{2m+1}|^{\frac{N(N+1)}{2m+1}}. For this purpose, we notice from Eq. (5) that when (x,t)(x,t) is in the neighborhood of (x^0,t^0)\left(\hat{x}_{0},\hat{t}_{0}\right), we have a more refined asymptotics for Sk(x+(n)+νs)S_{k}(\textbf{\emph{x}}^{+}(n)+\nu\textbf{\emph{s}}) as

Sk(x+(n)+νs)=λkSk(x1+λ,0,,0,1,0,)[1+O(λ2)]\displaystyle S_{k}(\textbf{\emph{x}}^{+}(n)+\nu\textbf{\emph{s}})=\lambda^{-k}S_{k}\left(x_{1}^{+}\lambda,0,\cdots,0,1,0,\cdots\right)\left[1+O(\lambda^{2})\right]
=Sk(x1+,0,,0,a2m+1,0,)[1+O(λ2)],\displaystyle\hskip 59.75095pt=S_{k}\left(x_{1}^{+},0,\cdots,0,a_{2m+1},0,\cdots\right)\left[1+O(\lambda^{2})\right], (49)

i.e.,

Sk(x+(n)+νs)=Sk(v^)[1+O(a2m+12/(2m+1))],S_{k}(\textbf{\emph{x}}^{+}(n)+\nu\textbf{\emph{s}})=S_{k}(\hat{\textbf{v}})\left[1+O\left(a_{2m+1}^{-2/(2m+1)}\right)\right], (50)

where

v^=(x+it+n,0,,0,a2m+1,0,).\hat{\textbf{v}}=(x+\textrm{i}t+n,0,\cdots,0,a_{2m+1},0,\cdots). (51)

The polynomials Sk(v^)S_{k}(\hat{\textbf{v}}) are related to pk[m](z)p_{k}^{[m]}(z) in (20) as

Sk(v^)=Ak/(2m+1)pk[m](z^),S_{k}(\hat{\textbf{v}})=A^{k/(2m+1)}p_{k}^{[m]}(\hat{z}), (52)

where AA is as given in Eq. (42), and z^=A1/(2m+1)(x+it+n)\hat{z}=A^{-1/(2m+1)}(x+\textrm{i}t+n).

Now, we derive the leading order term of a2m+1a_{2m+1} in Eq. (45). This leading order term comes from two index choices, one being ν=(0,1,,N1)\nu=(0,1,\cdots,N-1), and the other being ν=(0,1,,N2,N)\nu=(0,1,\cdots,N-2,N).

With the first index choice, in view of Eqs. (50) and (52), the determinant involving x+(n)\textbf{\emph{x}}^{+}(n) in Eq. (45) is

αa2m+1N(N+1)2(2m+1)QN[m](z^)[1+O(a2m+12/(2m+1))],\alpha\hskip 1.70709pta_{2m+1}^{\frac{N(N+1)}{2(2m+1)}}Q_{N}^{[m]}(\hat{z})\left[1+O\left(a_{2m+1}^{-2/(2m+1)}\right)\right], (53)

where α\alpha is given in Eq. (47). Expanding QN[m](z^)Q_{N}^{[m]}(\hat{z}) around z^=z0\hat{z}=z_{0}, where z0z_{0} is given in Eq. (48), and recalling QN[m](z0)=0Q_{N}^{[m]}(z_{0})=0, we have

QN[m](z^)=A1/(2m+1)[(xx^0)+i(tt^0)+n][QN[m]](z0)[1+O(A1/(2m+1))].Q_{N}^{[m]}(\hat{z})=A^{-1/(2m+1)}\left[(x-\hat{x}_{0})+\textrm{i}(t-\hat{t}_{0})+n\right]\left[Q_{N}^{[m]}\right]^{\prime}(z_{0})\left[1+O\left(A^{-1/(2m+1)}\right)\right]. (54)

Inserting this equation into (53) and recalling the definition of AA in (42), the determinant involving x+(n)\textbf{\emph{x}}^{+}(n) in Eq. (45) becomes

[(xx^0)+i(tt^0)+n]α^a2m+1N(N+1)22(2m+1)[QN[m]](z0)[1+O(a2m+11/(2m+1))],\left[(x-\hat{x}_{0})+\textrm{i}(t-\hat{t}_{0})+n\right]\hskip 1.70709pt\hat{\alpha}\hskip 1.70709pta_{2m+1}^{\frac{N(N+1)-2}{2(2m+1)}}\left[Q_{N}^{[m]}\right]^{\prime}(z_{0})\left[1+O\left(a_{2m+1}^{-1/(2m+1)}\right)\right], (55)

where α^=α[(2m+1)22m]1/(2m+1)\hat{\alpha}=\alpha\hskip 1.13791pt[-(2m+1)2^{-2m}]^{-1/(2m+1)}. Similarly, the determinant involving x(n)\textbf{\emph{x}}^{-}(n) in Eq. (45) becomes

[(xx^0)i(tt^0)n]α^(a2m+1)N(N+1)22(2m+1)[QN[m]](z0)[1+O(a2m+11/(2m+1))].\left[(x-\hat{x}_{0})-\textrm{i}(t-\hat{t}_{0})-n\right]\hskip 1.70709pt\hat{\alpha}^{*}\hskip 1.70709pt(a_{2m+1}^{*})^{\frac{N(N+1)-2}{2(2m+1)}}\left[Q_{N}^{[m]}\right]^{\prime}(z_{0}^{*})\left[1+O\left(a_{2m+1}^{-1/(2m+1)}\right)\right]. (56)

Next, we consider the contribution in Eq. (45) from the second index choice of ν=(0,1,,N2,N)\nu=(0,1,\cdots,N-2,N). For this index choice, the determinant involving x+(n)\textbf{\emph{x}}^{+}(n) in Eq. (45) is

det1iN[S2i1(x+),12S2i2(x++s),,12N2S2i(N1)[x++(N2)s],12NS2i(N+1)(x++Ns)].\det_{1\leq i\leq N}\left[S_{2i-1}(\textbf{\emph{x}}^{+}),\frac{1}{2}S_{2i-2}(\textbf{\emph{x}}^{+}+\textbf{\emph{s}}),\cdots,\frac{1}{2^{N-2}}S_{2i-(N-1)}[\textbf{\emph{x}}^{+}+(N-2)\hskip 1.70709pt\textbf{\emph{s}}],\frac{1}{2^{N}}S_{2i-(N+1)}(\textbf{\emph{x}}^{+}+N\hskip 1.13791pt\textbf{\emph{s}})\right]. (57)

Utilizing Eqs. (50)-(52), this determinant is

2N(N1)/21AN(N+1)22(2m+1)det1iN[p2i1[m](z^),p2i2[m](z^),,p2i(N1)[m](z^),p2i(N+1)[m](z^)][1+O(a2m+12/(2m+1))].2^{-N(N-1)/2-1}A^{\frac{N(N+1)-2}{2(2m+1)}}\det_{1\leq i\leq N}\left[p^{[m]}_{2i-1}(\hat{z}),p^{[m]}_{2i-2}(\hat{z}),\cdots,p^{[m]}_{2i-(N-1)}(\hat{z}),p^{[m]}_{2i-(N+1)}(\hat{z})\right]\left[1+O\left(a_{2m+1}^{-2/(2m+1)}\right)\right]. (58)

Recalling Eq. (26), we see that p2i(N+1)[m](z^)=[p2iN[m]](z^)p^{[m]}_{2i-(N+1)}(\hat{z})=[p^{[m]}_{2i-N}]^{\prime}(\hat{z}). Thus, the determinant in the above expression is equal to cN1[QN[m]](z^)c_{N}^{-1}\left[Q_{N}^{[m]}\right]^{\prime}(\hat{z}), so that the determinant (57) becomes

12α^a2m+1N(N+1)22(2m+1)[QN[m]](z^)[1+O(a2m+12/(2m+1))].\frac{1}{2}\hat{\alpha}\hskip 1.70709pta_{2m+1}^{\frac{N(N+1)-2}{2(2m+1)}}\left[Q_{N}^{[m]}\right]^{\prime}(\hat{z})\left[1+O\left(a_{2m+1}^{-2/(2m+1)}\right)\right]. (59)

When (x,t)(x,t) is in the neighborhood of (x^0,t^0)(\hat{x}_{0},\hat{t}_{0}), we expand [QN[m]](z^)\left[Q_{N}^{[m]}\right]^{\prime}(\hat{z}) around z^=z0\hat{z}=z_{0} to reduce this expression further to

12α^a2m+1N(N+1)22(2m+1)[QN[m]](z0)[1+O(a2m+11/(2m+1))].\frac{1}{2}\hat{\alpha}\hskip 1.70709pta_{2m+1}^{\frac{N(N+1)-2}{2(2m+1)}}\left[Q_{N}^{[m]}\right]^{\prime}(z_{0})\left[1+O\left(a_{2m+1}^{-1/(2m+1)}\right)\right]. (60)

Similarly, the determinant involving x(n)\textbf{\emph{x}}^{-}(n) in Eq. (45) becomes

12α^(a2m+1)N(N+1)22(2m+1)[QN[m]](z0)[1+O(a2m+11/(2m+1))].\frac{1}{2}\hat{\alpha}^{*}\hskip 1.70709pt(a_{2m+1}^{*})^{\frac{N(N+1)-2}{2(2m+1)}}\left[Q_{N}^{[m]}\right]^{\prime}(z_{0}^{*})\left[1+O\left(a_{2m+1}^{-1/(2m+1)}\right)\right]. (61)

Summarizing the above two contributions, we find that

σn(x,t)=|α^|2|[QN[m]](z0)|2|a2m+1|N(N+1)2(2m+1)[(xx^0)2+(tt^0)2(2i)n(tt^0)n2+14][1+O(a2m+11/(2m+1))].\sigma_{n}(x,t)=|\hat{\alpha}|^{2}\hskip 1.70709pt\left|\left[Q_{N}^{[m]}\right]^{\prime}(z_{0})\right|^{2}|a_{2m+1}|^{\frac{N(N+1)-2}{(2m+1)}}\left[\left(x-\hat{x}_{0}\right)^{2}+\left(t-\hat{t}_{0}\right)^{2}-(2\textrm{i})n\left(t-\hat{t}_{0}\right)-n^{2}+\frac{1}{4}\right]\left[1+O\left(a_{2m+1}^{-1/(2m+1)}\right)\right]. (62)

Finally, we recall that nonzero roots are simple in Yablonskii-Vorob’ev polynomials QN(z)Q_{N}(z) Fukutani . In addition, nonzero roots have also been conjectured to be simple in all the Yablonskii-Vorob’ev hierarchy QN[m](z)Q_{N}^{[m]}(z) Clarkson2003-II . Assuming this conjecture is true, then [QN[m]](z0)0\left[Q_{N}^{[m]}\right]^{\prime}(z_{0})\neq 0. This indicates that the above leading-order asymptotics for σn(x,t)\sigma_{n}(x,t) never vanishes. Therefore, when a2m+1a_{2m+1} is large and (x,t)(x,t) in the neighborhood of (x^0,t^0)\left(\hat{x}_{0},\hat{t}_{0}\right), we get from (62) that

uN(x,t)=σ1σ0eit=eit(14[1+2i(tt^0)]1+4(xx^0)2+4(tt^0)2)+O(a2m+11/(2m+1)),u_{N}(x,t)=\frac{\sigma_{1}}{\sigma_{0}}e^{\textrm{i}t}=e^{\textrm{i}t}\left(1-\frac{4[1+2\textrm{i}(t-\hat{t}_{0})]}{1+4(x-\hat{x}_{0})^{2}+4(t-\hat{t}_{0})^{2}}\right)+O\left(a_{2m+1}^{-1/(2m+1)}\right), (63)

which is a Peregrine wave u^1(xx^0,tt^0)eit\hat{u}_{1}(x-\hat{x}_{0},t-\hat{t}_{0})\hskip 1.42271pte^{\textrm{i}t}, and the error of this Peregrine prediction is O(a2m+11/(2m+1))O\left(a_{2m+1}^{-1/(2m+1)}\right). Theorem 3 is then proved.

Proof of Theorem 4.   To analyze the large-a2m+1a_{2m+1} behavior of the rogue wave uN(x,t)u_{N}(x,t) in the neighborhood of the origin, where x2+t2=O(1)\sqrt{x^{2}+t^{2}}=O(1), we first rewrite the σn\sigma_{n} determinant (4) into a 3N×3N3N\times 3N determinant OhtaJY2012

σn=|ON×NΦN×2NΨ2N×NI2N×2N|,\sigma_{n}=\left|\begin{array}[]{cc}\textbf{O}_{N\times N}&\Phi_{N\times 2N}\\ -\Psi_{2N\times N}&\textbf{I}_{2N\times 2N}\end{array}\right|, (64)

where Φi,j=2(j1)S2ij[x+(n)+(j1)s]\Phi_{i,j}=2^{-(j-1)}S_{2i-j}\left[\textbf{\emph{x}}^{+}(n)+(j-1)\textbf{\emph{s}}\right], and Ψi,j=2(i1)S2ji[x(n)+(i1)s]\Psi_{i,j}=2^{-(i-1)}S_{2j-i}\left[\textbf{\emph{x}}^{-}(n)+(i-1)\textbf{\emph{s}}\right]. Defining y±\textbf{\emph{y}}^{\pm} to be the vector x±\textbf{\emph{x}}^{\pm} without the a2m+1a_{2m+1} term, i.e., let

x+=y++(0,,0,a2m+1,0,),x=y+(0,,0,a2m+1,0,),\textbf{\emph{x}}^{+}=\textbf{\emph{y}}^{+}+(0,\cdots,0,a_{2m+1},0,\cdots),\quad\textbf{\emph{x}}^{-}=\textbf{\emph{y}}^{-}+(0,\cdots,0,a_{2m+1}^{*},0,\cdots), (65)

we find that the Schur polynomials of x±\textbf{\emph{x}}^{\pm} are related to those of y±\textbf{\emph{y}}^{\pm} as

Sj(x++νs)=i=0[j2m+1]a2m+1ii!Sj(2m+1)i(y++νs),Sj(x+νs)=i=0[j2m+1](a2m+1)ii!Sj(2m+1)i(y+νs),S_{j}(\textbf{\emph{x}}^{+}+\nu\textbf{\emph{s}})=\sum_{i=0}^{\left[\frac{j}{2m+1}\right]}\frac{a_{2m+1}^{i}}{i!}S_{j-(2m+1)i}(\textbf{\emph{y}}^{+}+\nu\textbf{\emph{s}}),\quad S_{j}(\textbf{\emph{x}}^{-}+\nu\textbf{\emph{s}})=\sum_{i=0}^{\left[\frac{j}{2m+1}\right]}\frac{(a_{2m+1}^{*})^{i}}{i!}S_{j-(2m+1)i}(\textbf{\emph{y}}^{-}+\nu\textbf{\emph{s}}), (66)

where [a][a] represents the largest integer less than or equal to aa. Using this relation, we express matrix elements of Φ\Phi and Ψ\Psi in Eq. (64) through Schur polynomials Sk(y±+νs)S_{k}(\textbf{\emph{y}}^{\pm}+\nu\textbf{\emph{s}}) and powers of a2m+1a_{2m+1} and a2m+1a_{2m+1}^{*}.

We need to determine the highest power term of a2m+1a_{2m+1} in the determinant (64). For that purpose, it may be tempting to retain only the highest power term of a2m+1a_{2m+1} and a2m+1a_{2m+1}^{*} 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 a2m+1a_{2m+1} and a2m+1a_{2m+1}^{*} from elements of the determinant through row and column manipulations, so that the remaining determinant, after retaining only the highest power term of a2m+1a_{2m+1} and a2m+1a_{2m+1}^{*} in each element, would be nonzero. These row and column manipulations are described below.

Suppose NN0mod(2m+1)N\equiv N_{0}\hskip 2.84544pt\mbox{mod}\hskip 2.84544pt(2m+1), i.e., N=k(2m+1)+N0N=k(2m+1)+N_{0} for some positive integer kk, with 0N0m0\leq N_{0}\leq m. We perform the following series of row operations to the matrix Φ\Phi so that certain high-power terms of a2m+1a_{2m+1} in its lower rows are eliminated. In the first round, we use the 1st to mm-th rows of Φ\Phi to eliminate the highest-power term a2m+12νa_{2m+1}^{2\nu} from the [ν(2m+1)+1][\nu(2m+1)+1]-th up to the [ν(2m+1)+m][\nu(2m+1)+m]-th rows for each 1νk1\leq\nu\leq k, so that the remaining terms in those rows have the highest power a2m+12ν1a_{2m+1}^{2\nu-1}. We also use the (m+1)(m+1)-th to (2m+1)(2m+1)-th rows of Φ\Phi to eliminate the highest-power term a2m+12ν+1a_{2m+1}^{2\nu+1} from the [ν(2m+1)+m+1][\nu(2m+1)+m+1]-th to the [ν(2m+1)+2m+1][\nu(2m+1)+2m+1]-th rows for each 1νk11\leq\nu\leq k-1, with the remaining terms in those rows having the highest power a2m+12νa_{2m+1}^{2\nu}. In each step, the highest power terms a2m+12νa_{2m+1}^{2\nu} or a2m+12ν+1a_{2m+1}^{2\nu+1} of each row are eliminated simultaneously, because the coefficient vector of those highest power terms in each row below the (2m+1)(2m+1)-th is proportional to the coefficient vector of the highest power terms in the corresponding upper row between the 1st and (2m+1)(2m+1)-th due to the relation (66).

In the second round, we use the (2m+1+1)(2m+1+1)-th to (2m+1+m)(2m+1+m)-th rows of the remaining matrix Φ\Phi to eliminate the highest-power term a2m+12ν+1a_{2m+1}^{2\nu+1} from the [(ν+1)(2m+1)+1][(\nu+1)(2m+1)+1]-th up to the [(ν+1)(2m+1)+m][(\nu+1)(2m+1)+m]-th rows for each 1νk11\leq\nu\leq k-1, so that the remaining terms in those rows have the highest power a2m+12νa_{2m+1}^{2\nu}. We also use the (2m+1+m+1)(2m+1+m+1)-th to (2m+1+2m+1)(2m+1+2m+1)-th rows of Φ\Phi to eliminate the highest-power term a2m+12ν+2a_{2m+1}^{2\nu+2} from the [(ν+1)(2m+1)+m+1][(\nu+1)(2m+1)+m+1]-th up to the [(ν+1)(2m+1)+2m+1][(\nu+1)(2m+1)+2m+1]-th rows for each 1νk21\leq\nu\leq k-2, with the remaining terms in those rows having the highest power a2m+12ν+1a_{2m+1}^{2\nu+1}. This process is repeated kk rounds.

At the end of this process, the ii-th row of the remaining matrix Φ\Phi has the highest power a2m+1[(i+m)/(2m+1)]a_{2m+1}^{[(i+m)/(2m+1)]}. Then, we keep only the highest power terms of a2m+1a_{2m+1} in each row. Similar column operations are also performed on the matrix Ψ\Psi. With these manipulations, we find that σn\sigma_{n} is asymptotically reduced to

σn=β|a2m+1|k2(2m+1)+k(2N0+1)|ON×NΦ~N×2NΨ~2N×NI2N×2N|[1+O(a2m+11)],\sigma_{n}=\beta\hskip 1.70709pt|a_{2m+1}|^{k^{2}(2m+1)+k(2N_{0}+1)}\left|\begin{array}[]{cc}\textbf{O}_{N\times N}&\widetilde{\Phi}_{N\times 2N}\\ -\widetilde{\Psi}_{2N\times N}&\textbf{I}_{2N\times 2N}\end{array}\right|\left[1+O\left(a_{2m+1}^{-1}\right)\right], (67)

where β\beta is a (m,N)(m,N)-dependent nonzero constant, matrices Φ~N×2N\widetilde{\Phi}_{N\times 2N} and Ψ~2N×N\widetilde{\Psi}_{2N\times N} have the structures

Φ~N×2N=(L(NN0)×(NN0)O(NN0)×2N0O(NN0)×(NN0)MN0×(NN0)Φ^N0×2N0ON0×(NN0)),\widetilde{\Phi}_{N\times 2N}=\left(\begin{array}[]{ccc}{\textbf{L}}_{(N-N_{0})\times(N-N_{0})}&\textbf{O}_{(N-N_{0})\times 2N_{0}}&\textbf{O}_{(N-N_{0})\times(N-N_{0})}\\ {\textbf{M}}_{N_{0}\times(N-N_{0})}&\widehat{\Phi}_{N_{0}\times 2N_{0}}&\textbf{O}_{N_{0}\times(N-N_{0})}\end{array}\right), (68)
Ψ~2N×N=(U(NN0)×(NN0)M^(NN0)×N0O2N0×(NN0)Ψ^2N0×N0O(NN0)×(NN0)O(NN0)×N0),\widetilde{\Psi}_{2N\times N}=\left(\begin{array}[]{cc}{\textbf{U}}_{(N-N_{0})\times(N-N_{0})}&\widehat{{\textbf{M}}}_{(N-N_{0})\times N_{0}}\\ \textbf{O}_{2N_{0}\times(N-N_{0})}&\widehat{\Psi}_{2N_{0}\times N_{0}}\\ \textbf{O}_{(N-N_{0})\times(N-N_{0})}&\textbf{O}_{(N-N_{0})\times N_{0}}\end{array}\right), (69)
Li,j=Sij[y++(j1)s],Ui,j=Sji[y+(i1)s],{\textbf{L}}_{i,j}=S_{i-j}\left[\textbf{\emph{y}}^{+}+(j-1)\textbf{\emph{s}}\right],\quad{\textbf{U}}_{i,j}=S_{j-i}\left[\textbf{\emph{y}}^{-}+(i-1)\textbf{\emph{s}}\right], (70)
Φ^i,j=2(j1)S2ij[y+(n)+(j1+ν0)s],Ψ^i,j=2(i1)S2ji[y(n)+(i1+ν0)s],\displaystyle\widehat{\Phi}_{i,j}=2^{-(j-1)}S_{2i-j}\left[\textbf{\emph{y}}^{+}(n)+(j-1+\nu_{0})\textbf{\emph{s}}\right],\quad\widehat{\Psi}_{i,j}=2^{-(i-1)}S_{2j-i}\left[\textbf{\emph{y}}^{-}(n)+(i-1+\nu_{0})\textbf{\emph{s}}\right], (71)

ν0=k(2m+1)\nu_{0}=k(2m+1), and M, M^\widehat{{\textbf{M}}} are matrices of elements Sj(y++νs)S_{j}(\textbf{\emph{y}}^{+}+\nu\textbf{\emph{s}}) and Sj(y+νs)S_{j}(\textbf{\emph{y}}^{-}+\nu\textbf{\emph{s}}) respectively. Since L and U are respectively lower triangular and upper triangular matrices with unit elements on the diagonal in view that S0=1S_{0}=1 and Sj=0S_{j}=0 for j<0j<0, σn\sigma_{n} in Eq. (67) then is

σn=β|a2m+1|k2(2m+1)+k(2N0+1)|ON0×N0Φ^N0×2N0Ψ^2N0×N0I2N0×2N0|[1+O(a2m+11)].\sigma_{n}=\beta\hskip 1.70709pt|a_{2m+1}|^{k^{2}(2m+1)+k(2N_{0}+1)}\left|\begin{array}[]{cc}\textbf{O}_{N_{0}\times N_{0}}&\widehat{\Phi}_{N_{0}\times 2N_{0}}\\ -\widehat{\Psi}_{2N_{0}\times N_{0}}&\textbf{I}_{2N_{0}\times 2N_{0}}\end{array}\right|\left[1+O\left(a_{2m+1}^{-1}\right)\right]. (72)

Finally, we notice that Sj[y±+(ν+ν0)s]S_{j}\left[\textbf{\emph{y}}^{\pm}+(\nu+\nu_{0})\textbf{\emph{s}}\right] is related to Sj(y±+νs)S_{j}\left(\textbf{\emph{y}}^{\pm}+\nu\textbf{\emph{s}}\right) through

Sj[y±+(ν+ν0)s]=i=0[j/2]S2i(ν0s)Sj2i(y±+νs).S_{j}\left[\textbf{\emph{y}}^{\pm}+(\nu+\nu_{0})\textbf{\emph{s}}\right]=\sum_{i=0}^{\left[j/2\right]}S_{2i}(\nu_{0}\textbf{\emph{s}})S_{j-2i}(\textbf{\emph{y}}^{\pm}+\nu\textbf{\emph{s}}). (73)

Using this relation, the determinant in (72) can be reduced to one where ν0\nu_{0} is set to zero in the above Φ^\widehat{\Phi} and Ψ^\widehat{\Psi} matrices given in Eq. (71). Such a determinant for σn\sigma_{n} gives a N0N_{0}-th order rogue wave, whose internal parameters (a3,a5,,a2N01)(a_{3},a_{5},\cdots,a_{2N_{0}-1}) are the first N01N_{0}-1 values in the original parameter set (a3,a5,,a2N1)(a_{3},a_{5},\cdots,a_{2N-1}). Thus, in the neighborhood of the origin ,

uN(x,t;a3,a5,,a2N1)=σ1σ0eit=uN0(x,t;a3,a5,,a2N01)[1+O(a2m+11)],|a2m+1|1,u_{N}(x,t;a_{3},a_{5},\cdots,a_{2N-1})=\frac{\sigma_{1}}{\sigma_{0}}e^{\textrm{i}t}=u_{N_{0}}(x,t;a_{3},a_{5},\cdots,a_{2N_{0}-1})\left[1+O\left(a_{2m+1}^{-1}\right)\right],\quad|a_{2m+1}|\gg 1, (74)

which means that the original NN-th order rogue wave uN(x,t)u_{N}(x,t) is approximated by a lower N0N_{0}-th order rogue wave uN0(x,t)u_{N_{0}}(x,t), with the approximation error O(a2m+11)O\left(a_{2m+1}^{-1}\right).

If NN01mod(2m+1)N\equiv-N_{0}-1\hskip 2.84544pt\mbox{mod}\hskip 2.84544pt(2m+1) with 0N0m0\leq N_{0}\leq m, Eq. (74) can also be derived by similar analysis, and thus the same conclusion holds.

Lastly, we recall that 1mN11\leq m\leq N-1. In addition, 0N0m0\leq N_{0}\leq m in view of Theorem 2. Furthermore, when m=N1m=N-1, we find from Eq. (29) of Theorem 2 that N0=N2N_{0}=N-2. As a consequence, 0N0N20\leq N_{0}\leq N-2. 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 O(1)O(1). 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 a2m+1a_{2m+1} is large, and the other parameters a3a_{3}, \dots, a2m1a_{2m-1}, a2m+3a_{2m+3}, \dots, a2N1a_{2N-1} are also large but satisfy the conditions

a2j+1=o(a2m+12j2m+1),jm,a_{2j+1}=o\left(a_{2m+1}^{\frac{2j}{2m+1}}\right),\quad j\neq m, (75)

then, far away from the origin, with x2+t2=O(|a2m+1|1/(2m+1))\sqrt{x^{2}+t^{2}}=O\left(|a_{2m+1}|^{1/(2m+1)}\right), the rogue wave uN(x,t)u_{N}(x,t) still separates into NpN_{p} Peregrine waves, whose positions (x^0,t^0)(\hat{x}_{0},\hat{t}_{0}) are given by Eq. (32). Expressed mathematically, when [(xx^0)2+(tt^0)2]1/2=O(1)\left[(x-\hat{x}_{0})^{2}+(t-\hat{t}_{0})^{2}\right]^{1/2}=O(1), we have

uN(x,t;a3,a5,,a2N1)u^1(xx^0,tt^0)eitas|a2m+1|.u_{N}(x,t;a_{3},a_{5},\cdots,a_{2N-1})\longrightarrow\hat{u}_{1}(x-\hat{x}_{0},t-\hat{t}_{0})\hskip 1.42271pte^{\textrm{i}t}\hskip 11.38092pt\mbox{as}\hskip 4.26773pt|a_{2m+1}|\to\infty. (76)

The reason is that, when x2+t2=O(|a2m+1|1/(2m+1))\sqrt{x^{2}+t^{2}}=O\left(|a_{2m+1}|^{1/(2m+1)}\right), under the same notation λ=a2m+11/(2m+1)\lambda=a_{2m+1}^{-1/(2m+1)} as in Eq. (36), the condition (75) means that a2j+1=o(λ2j)a_{2j+1}=o(\lambda^{-2j}) for jmj\neq m. Thus, x2j+1+λ2j+1=o(λ)x_{2j+1}^{+}\lambda^{2j+1}=o(\lambda) for jmj\neq m. Then, in view of Eq. (9), we have

Sk(x+(n)+νs)=Sk(x1+,νs2,x3+,νs4,)=λkSk(x1+λ,νs2λ2,x3+λ3,νs4λ4,)\displaystyle S_{k}(\textbf{\emph{x}}^{+}(n)+\nu\textbf{\emph{s}})=S_{k}\left(x_{1}^{+},\nu s_{2},x_{3}^{+},\nu s_{4},\cdots\right)=\lambda^{-k}S_{k}\left(x_{1}^{+}\lambda,\nu s_{2}\lambda^{2},x_{3}^{+}\lambda^{3},\nu s_{4}\lambda^{4},\cdots\right)
=λkSk(x1+λ,0,,0,1,0,)[1+o(λ)]=Sk(x1+,0,,0,a2m+1,0,)[1+o(λ)].\displaystyle=\lambda^{-k}S_{k}\left(x_{1}^{+}\lambda,0,\cdots,0,1,0,\cdots\right)\left[1+o(\lambda)\right]=S_{k}\left(x_{1}^{+},0,\cdots,0,a_{2m+1},0,\cdots\right)\left[1+o(\lambda)\right]. (77)

This relation is the counterpart of Eq. (5) in the proof of Theorem 3. Due to this relation and a similar one on Sk(x(n)+νs)S_{k}(\textbf{\emph{x}}^{-}(n)+\nu\textbf{\emph{s}}), 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 O(a2j+1/a2m+12j/(2m+1))O\left(a_{2j+1}/a_{2m+1}^{2j/(2m+1)}\right), where 1jN11\leq j\leq N-1 and jmj\neq m. So, if a2j+1=O(a2m+1(2j1)/(2m+1))a_{2j+1}=O\left(a_{2m+1}^{(2j-1)/(2m+1)}\right) or smaller for all jmj\neq m, then the error of the current Peregrine approximation (76) would remain the same as that given in Eq. (33) of Theorem 3, i.e., O(|a2m+1|1/(2m+1))O\left(|a_{2m+1}|^{-1/(2m+1)}\right). Otherwise, this error would be larger than O(|a2m+1|1/(2m+1))O\left(|a_{2m+1}|^{-1/(2m+1)}\right), which means that the error would decay to zero slower than the rate |a2m+1|1/(2m+1)|a_{2m+1}|^{-1/(2m+1)} when a2m+1a_{2m+1} gets large.

Regarding the generalization of Theorem 4, we can show that if a2m+1a_{2m+1} is large, and

a3,,a2m1=O(1),a2m+3,,a2N1=O(a2m+1),a_{3},\cdots,a_{2m-1}=O(1),\quad a_{2m+3},\cdots,a_{2N-1}=O(a_{2m+1}), (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 u7(x,t)u_{7}(x,t) with parameter choices of

a3=1,a5is large,a7=a5,a9=2a5,a11=3a5,a13=4a5.a_{3}=1,\quad a_{5}\ \mbox{is large},\quad a_{7}=a_{5},\quad a_{9}=2a_{5},\quad a_{11}=3a_{5},\quad a_{13}=4a_{5}. (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 a2j+1=O(a2m+1(2j1)/(2m+1))a_{2j+1}=O\left(a_{2m+1}^{(2j-1)/(2m+1)}\right) or smaller for all jmj\neq m here. These theorems predict that far away from the origin, this u7(x,t)u_{7}(x,t) would split into 25 Peregrine waves, whose (x,t)(x,t) locations are given by Eq. (32). Near the origin, this u7(x,t)u_{7}(x,t) would reduce to a 2nd-order rogue wave u2(x,t)u_{2}(x,t) with a3=1a_{3}=1. To verify these predictions, we choose a5=200ia_{5}=-200\textrm{i}. The corresponding true rogue wave solution |u7(x,t)||u_{7}(x,t)| 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 (x,t)(x,t) 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.

Refer to caption
Figure 7: A 7th order rogue wave |u7(x,t)||u_{7}(x,t)| for generalized parameters (79) with a5=200ia_{5}=-200\textrm{i}, and its comparison with the analytical prediction. (a) True solution, with 20.5x,t20.5-20.5\leq x,t\leq 20.5; (b) zoomed-in plot of the center region of the true solution marked by a dashed-line box in panel (a); (c) predicted solution with the same (x,t)(x,t) internals as in (a); (d) zoomed-in plot of the center region of the predicted solution.

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 PII\mbox{P}_{\mbox{\scriptsize II}} 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é (PI\mbox{P}_{\mbox{\scriptsize I}}) 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 PII\mbox{P}_{\mbox{\scriptsize II}} 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 mij(n)m_{ij}^{(n)} in Ref. OhtaJY2012 , which we denote as ϕij(n)\phi_{ij}^{(n)} in this paper, we now choose

ϕij(n)=1i!(pp)i1j!(qq)jϕ(n)|p=q=1,\phi_{ij}^{(n)}=\left.\frac{1}{i!}(p\partial_{p})^{i}\frac{1}{j!}(q\partial_{q})^{j}\phi^{(n)}\right|_{p=q=1}, (80)

where

ϕ(n)=(p+1)(q+1)2(p+q)(pq)nexp(ξ+η+k=1ak(lnp)k+k=1bk(lnq)k),\phi^{(n)}=\frac{(p+1)(q+1)}{2(p+q)}\left(-\frac{p}{q}\right)^{n}\exp\left(\xi+\eta+\sum_{k=1}^{\infty}a_{k}(\ln p)^{k}+\sum_{k=1}^{\infty}b_{k}(\ln q)^{k}\right), (81)
ξ=px1+p2x2,η=qx1q2x2.\xi=px_{1}+p^{2}x_{2},\quad\eta=qx_{1}-q^{2}x_{2}. (82)

and ak,bka_{k},b_{k} are arbitrary complex constants. Obviously, the function τn=det1i,jN(ϕ2i1,2j1(n))\tau_{n}=\det_{1\leq i,j\leq N}\left(\phi_{2i-1,2j-1}^{(n)}\right) with the above choice of ϕij(n)\phi_{ij}^{(n)} also satisfies the bilinear equations (3.14) in OhtaJY2012 . Then, when we set bk=akb_{k}=a_{k}^{*}, x1=xx_{1}=x and x2=it/2x_{2}=\textrm{i}t/2, this τn\tau_{n} function would satisfy the bilinear equations (3.1) of the NLS equation in OhtaJY2012 [with tt switched to t/2-t/2 since the NLS equation (1) in this paper differs from that in OhtaJY2012 by this tt rescaling]. Applying the same reduction technique of OhtaJY2012 to the above new τn\tau_{n} solution, we can remove the differential operators in the expression (80) of its matrix element ϕij(n)\phi_{ij}^{(n)} and reduce it to σn=det1i,jN(ϕ2i1,2j1(n))\sigma_{n}=\det_{1\leq i,j\leq N}\left(\phi_{2i-1,2j-1}^{(n)}\right), where

ϕi,j(n)=ν=0min(i,j)14νSiν(x^+(n)+νs)Sjν(x^(n)+νs),\phi_{i,j}^{(n)}=\sum_{\nu=0}^{\min(i,j)}\frac{1}{4^{\nu}}\hskip 1.70709ptS_{i-\nu}(\hat{\textbf{\emph{x}}}^{+}(n)+\nu\textbf{\emph{s}})\hskip 1.70709ptS_{j-\nu}(\hat{\textbf{\emph{x}}}^{-}(n)+\nu\textbf{\emph{s}}), (83)

vectors x^±(n)=(x1±,x2±,)\hat{\textbf{\emph{x}}}^{\pm}(n)=\left(x_{1}^{\pm},x_{2}^{\pm},\cdots\right) are defined by

x1+=x+it+n+a1,x1=xitn+a1,xk+=x+2k1(it)k!+ak,xk=x2k1(it)k!+ak,k2,\displaystyle x_{1}^{+}=x+\textrm{i}t+n+a_{1},\quad x_{1}^{-}=x-\textrm{i}t-n+a_{1}^{*},\quad x_{k}^{+}=\frac{x+2^{k-1}(\textrm{i}t)}{k!}+a_{k},\quad x_{k}^{-}=\frac{x-2^{k-1}(\textrm{i}t)}{k!}+a_{k}^{*},\quad k\geq 2, (84)

and s=(s1,s2,)\textbf{\emph{s}}=(s_{1},s_{2},\cdots) are coefficients from the expansion (7). Through a shift of the xx and tt axes, we normalize a1=0a_{1}=0 without loss of generality. Finally, we split the vectors x^±(n)\hat{\textbf{\emph{x}}}^{\pm}(n) into x±(n)+w±\textbf{\emph{x}}^{\pm}(n)+\textbf{\emph{w}}^{\pm}, where x±(n)\textbf{\emph{x}}^{\pm}(n) is as given in Eq. (6), and w±=(0,x2±,0,x4±,)\textbf{\emph{w}}^{\pm}=(0,x_{2}^{\pm},0,x_{4}^{\pm},\cdots). Since x^±(n)+νs=x±(n)+νs+w±\hat{\textbf{\emph{x}}}^{\pm}(n)+\nu\textbf{\emph{s}}=\textbf{\emph{x}}^{\pm}(n)+\nu\textbf{\emph{s}}+\textbf{\emph{w}}^{\pm}, it is easy to show from the definition of Schur polynomials (8) that

Sk(x^±(n)+νs)=j=0[k/2]Sj(w^±)Sk2j(x±(n)+νs),S_{k}(\hat{\textbf{\emph{x}}}^{\pm}(n)+\nu\textbf{\emph{s}})=\sum_{j=0}^{\left[k/2\right]}S_{j}(\hat{\textbf{\emph{w}}}^{\pm})S_{k-2j}(\textbf{\emph{x}}^{\pm}(n)+\nu\textbf{\emph{s}}), (85)

where w^±=(x2±,x4±,)\hat{\textbf{\emph{w}}}^{\pm}=(x_{2}^{\pm},x_{4}^{\pm},\cdots). Rewriting the σn\sigma_{n} solution det1i,jN(ϕ2i1,2j1(n))\det_{1\leq i,j\leq N}\left(\phi_{2i-1,2j-1}^{(n)}\right) as a 3N×3N3N\times 3N determinant (64) and utilizing the above relation, we can apply row and column manipulations to eliminate all terms involving w^±\hat{\textbf{\emph{w}}}^{\pm} in this 3N×3N3N\times 3N determinant. The remaining 3N×3N3N\times 3N determinant then becomes det1i,jN(ϕ2i1,2j1(n))\det_{1\leq i,j\leq N}\left(\phi_{2i-1,2j-1}^{(n)}\right), whose matrix element ϕij(n)\phi_{ij}^{(n)} is as given in Theorem 1.

Appendix B

In this appendix, we prove Theorem 2. First, we derive the multiplicity of root zero in QN[m](z)Q_{N}^{[m]}(z). For this purpose, we define the Schur polynomial Sk[m](z;a)S^{[m]}_{k}(z;a) as

k=0Sk[m](z;a)ϵk=exp[zϵ+aϵ2m+1],\sum_{k=0}^{\infty}S^{[m]}_{k}(z;a)\epsilon^{k}=\exp\left[z\epsilon+a\hskip 1.13791pt\epsilon^{2m+1}\right], (86)

where aa is a constant. Through these Schur polynomials Sk[m](z;a)S^{[m]}_{k}(z;a), we define polynomials

PN[m](z;a)=cN|S1[m](z;a)S0[m](z;a)S2N[m](z;a)S3[m](z;a)S2[m](z;a)S4N[m](z;a)S2N1[m](z;a)S2N2[m](z;a)SN[m](z;a)|,\displaystyle P^{[m]}_{N}(z;a)=c_{N}\left|\begin{array}[]{cccc}S^{[m]}_{1}(z;a)&S^{[m]}_{0}(z;a)&\cdots&S^{[m]}_{2-N}(z;a)\\ S^{[m]}_{3}(z;a)&S^{[m]}_{2}(z;a)&\cdots&S^{[m]}_{4-N}(z;a)\\ \vdots&\vdots&\vdots&\vdots\\ S^{[m]}_{2N-1}(z;a)&S^{[m]}_{2N-2}(z;a)&\cdots&S^{[m]}_{N}(z;a)\end{array}\right|, (91)

where Sk[m](z;a)0S^{[m]}_{k}(z;a)\equiv 0 when k<0k<0. It is easy to see that Sk[m](z;a)S^{[m]}_{k}(z;a) is related to the polynomial pk[m](z)p_{k}^{[m]}(z) in Eq. (20) as

Sk[m](z;a)=a^k/(2m+1)pk[m](z^),z^a^1/(2m+1)z,a^(2m+1)22ma.S^{[m]}_{k}(z;a)=\hat{a}^{k/(2m+1)}p_{k}^{[m]}(\hat{z}),\quad\hat{z}\equiv\hat{a}^{-1/(2m+1)}z,\quad\hat{a}\equiv-\hskip 1.13791pt(2m+1)\hskip 1.13791pt2^{-2m}\hskip 0.85355pta. (92)

Thus, the polynomial PN[m](z;a)P^{[m]}_{N}(z;a) is related to the Yablonskii-Vorob’ev polynomial hierarchy QN[m](z)Q_{N}^{[m]}(z) in Eq. (25) as

PN[m](z;a)=a^N(N+1)2(2m+1)QN[m](z^).P^{[m]}_{N}(z;a)=\hat{a}^{\frac{N(N+1)}{2(2m+1)}}Q_{N}^{[m]}(\hat{z}). (93)

This equation tells us that every term in the polynomial PN[m](z;a)P^{[m]}_{N}(z;a) is a constant multiple of ziajz^{i}a^{j}, where i+(2m+1)j=N(N+1)/2i+(2m+1)j=N(N+1)/2. Thus, to determine the multiplicity of the zero root z=0z=0 in QN[m](z)Q_{N}^{[m]}(z), we need to determine the highest power term of aa in PN[m](z;a)P^{[m]}_{N}(z;a). To do so, we utilize the relation

Sj[m](z;a)=i=0[j2m+1]aii![ji(2m+1)]!zji(2m+1),S^{[m]}_{j}(z;a)=\sum_{i=0}^{\left[\frac{j}{2m+1}\right]}\frac{a^{i}}{i![j-i(2m+1)]!}z^{j-i(2m+1)}, (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 ϵ\epsilon. Using this relation, we express the matrix elements in the determinant (91) through powers of zz and aa. Then, we need to obtain the highest power term of aa in the resulting determinant. This problem resembles the derivation of the highest power term of a2m+1a_{2m+1} in the σn\sigma_{n} 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 PN[m](z;a)P^{[m]}_{N}(z;a) here is the counterpart of the ΦN×N\Phi_{N\times N} matrix in Eq. (64), aa here is the counterpart of a2m+1a_{2m+1} in Eq. (66), and zjz^{j} in the above equation (94) is the counterpart of Sj(y++νs)S_{j}(\textbf{\emph{y}}^{+}+\nu\textbf{\emph{s}}) in Eq. (66). Performing the same row operations as described in Theorem 4 to remove certain leading aa-power terms in the lower rows of the determinant (91), we can show that the highest-power term of aa in PN[m](z;a)P^{[m]}_{N}(z;a) is

ρ0aN2+NN02N02(2m+1)|z10z33!z22!0z2N01(2N01)!z2N02(2N02)!zN0N0!|=ρ^0a(NN0)(N+N0+1)2(2m+1)zN0(N0+1)/2,\displaystyle\rho_{0}\ a^{\frac{N^{2}+N-N_{0}^{2}-N_{0}}{2(2m+1)}}\left|\begin{array}[]{cccc}z&1&\cdots&0\\ \frac{z^{3}}{3!}&\frac{z^{2}}{2!}&\cdots&0\\ \vdots&\vdots&\vdots&\vdots\\ \frac{z^{2N_{0}-1}}{(2N_{0}-1)!}&\frac{z^{2N_{0}-2}}{(2N_{0}-2)!}&\ldots&\frac{z^{N_{0}}}{N_{0}!}\end{array}\right|=\hat{\rho}_{0}\ a^{\frac{(N-N_{0})(N+N_{0}+1)}{2(2m+1)}}z^{N_{0}(N_{0}+1)/2}, (99)

where N0N_{0} is as given in Theorem 2, and ρ0,ρ^0\rho_{0},\hat{\rho}_{0} are (m,N)(m,N)-dependent nonzero constants. This shows that the lowest power of zz in all terms of PN[m](z;a)P^{[m]}_{N}(z;a) is N0(N0+1)/2N_{0}(N_{0}+1)/2. Then, setting a=22m/(2m+1)a=-2^{2m}/(2m+1) where PN[m](z;a)P^{[m]}_{N}(z;a) becomes QN[m](z)Q_{N}^{[m]}(z), the multiplicity of the zero root in QN[m](z)Q_{N}^{[m]}(z) is N0(N0+1)/2N_{0}(N_{0}+1)/2.

To prove the form (27) of the polynomial QN[m](z)Q_{N}^{[m]}(z), we notice from the definition (20) of the polynomial pk[m](z)p_{k}^{[m]}(z) that this polynomial admits the symmetry

pk[m](z)=ωkpk[m](ωz),p_{k}^{[m]}(z)=\omega^{-k}p_{k}^{[m]}(\omega z), (100)

where ω\omega is any one of the (2m+1)(2m+1)-th root of 1, i.e., ω2m+1=1\omega^{2m+1}=1. This symmetry of pk[m](z)p_{k}^{[m]}(z) leads to the symmetry of QN[m](z)Q_{N}^{[m]}(z) as

QN[m](z)=ωN(N+1)/2QN[m](ωz).Q_{N}^{[m]}(z)=\omega^{-N(N+1)/2}Q_{N}^{[m]}(\omega z). (101)

Since the multiplicity of the zero root in QN[m](z)Q_{N}^{[m]}(z) is N0(N0+1)/2N_{0}(N_{0}+1)/2, let us write

QN[m](z)=zN0(N0+1)/2qN[m](z),Q_{N}^{[m]}(z)=z^{N_{0}(N_{0}+1)/2}q_{N}^{[m]}(z), (102)

where qN[m](z)q_{N}^{[m]}(z) is a polynomial of zz with a nonzero constant term. The symmetry (101) of the polynomial QN[m](z)Q_{N}^{[m]}(z) induces a symmetry for qN[m](z)q_{N}^{[m]}(z) as

qN[m](z)=ω(N02+N0N2N)/2qN[m](ωz).q_{N}^{[m]}(z)=\omega^{(N_{0}^{2}+N_{0}-N^{2}-N)/2}q_{N}^{[m]}(\omega z). (103)

Since N02+N0N2N=(N0N)(N0+N+1)N_{0}^{2}+N_{0}-N^{2}-N=(N_{0}-N)(N_{0}+N+1), and in view of the N0N_{0} value given in Theorem 2, we see that (N02+N0N2N)/2(N_{0}^{2}+N_{0}-N^{2}-N)/2 is divisible by 2m+12m+1, which means ω(N02+N0N2N)/2=1\omega^{(N_{0}^{2}+N_{0}-N^{2}-N)/2}=1. Thus, the above equation reduces to

qN[m](z)=qN[m](ωz).q_{N}^{[m]}(z)=q_{N}^{[m]}(\omega z). (104)

This symmetry of qN[m](z)q_{N}^{[m]}(z) dictates that qN[m](z)q_{N}^{[m]}(z) can only be a polynomial of z2m+1z^{2m+1}. Hence the form (27) of the polynomial QN[m](z)Q_{N}^{[m]}(z) is proved.

Lastly, we derive the degree of the polynomial QN[m](z)Q_{N}^{[m]}(z) from its definition (25). Notice from Eq. (20) that the highest-degree term of pk[m](z)p^{[m]}_{k}(z) is zk/k!z^{k}/k!. Retaining only this highest-degree term of pk[m](z)p^{[m]}_{k}(z) in the determinant (25) for QN[m](z)Q_{N}^{[m]}(z) 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 QN[m](z)Q_{N}^{[m]}(z) is N(N+1)/2N(N+1)/2. Thus, Theorem 2 is proved.

Appendix C

In this appendix, we prove the generalization of Theorem 4 presented in Sec. 6 when a2m+1a_{2m+1} is large and the other parameters satisfy the conditions (78). In this parameter regime, let us denote

a2m+3=β1a2m+1,a2m+5=β2a2m+1,,a2N1=βNm1a2m+1,a_{2m+3}=\beta_{1}\hskip 1.13791pta_{2m+1},\hskip 5.69046pta_{2m+5}=\beta_{2}\hskip 1.13791pta_{2m+1},\hskip 5.69046pt\cdots,\hskip 5.69046pta_{2N-1}=\beta_{N-m-1}\hskip 1.13791pta_{2m+1}, (105)

where β1,β2,,βNm1\beta_{1},\beta_{2},\cdots,\beta_{N-m-1} are O(1)O(1) constants. We first split the vectors x±\textbf{\emph{x}}^{\pm} as

x+=y++a,x=y+a,\textbf{\emph{x}}^{+}=\textbf{\emph{y}}^{+}+\textbf{\emph{a}},\quad\textbf{\emph{x}}^{-}=\textbf{\emph{y}}^{-}+\textbf{\emph{a}}^{*}, (106)

where a=(0,,0,a2m+1,0,a2m+3,0,0,a2N1)\textbf{\emph{a}}=(0,\cdots,0,a_{2m+1},0,a_{2m+3},0,\cdots 0,a_{2N-1}). Then, the Schur polynomials of x±\textbf{\emph{x}}^{\pm} are related to those of y±\textbf{\emph{y}}^{\pm} as

Sj(x++νs)=i=0jSi(a)Sji(y++νs),Sj(x+νs)=i=0jSi(a)Sji(y+νs).S_{j}(\textbf{\emph{x}}^{+}+\nu\textbf{\emph{s}})=\sum_{i=0}^{j}S_{i}(\textbf{\emph{a}})S_{j-i}(\textbf{\emph{y}}^{+}+\nu\textbf{\emph{s}}),\quad S_{j}(\textbf{\emph{x}}^{-}+\nu\textbf{\emph{s}})=\sum_{i=0}^{j}S_{i}^{*}(\textbf{\emph{a}})S_{j-i}(\textbf{\emph{y}}^{-}+\nu\textbf{\emph{s}}). (107)

In view of the definition of a and the notations in (105), we readily see from the definition of Schur polynomials that Si(a)S_{i}(\textbf{\emph{a}}) is a polynomial of a2m+1a_{2m+1} with coefficients dependent on (β1,β2,)(\beta_{1},\beta_{2},\cdots), and its highest degree in a2m+1a_{2m+1} is [i/(2m+1)][i/(2m+1)], i.e., the largest integer less than or equal to i/(2m+1)i/(2m+1). Then, after a little manipulation and rearranging terms in the above equations, we get

Sj(x++νs)=i=0[j2m+1]a2m+1ik=0[j(2m+1)i2]ci,k+(m,𝜷)Sj(2m+1)i2k(y++νs)S_{j}(\textbf{\emph{x}}^{+}+\nu\textbf{\emph{s}})=\sum_{i=0}^{\left[\frac{j}{2m+1}\right]}a_{2m+1}^{i}\sum_{k=0}^{\left[\frac{j-(2m+1)i}{2}\right]}c_{i,k}^{+}(m,\mbox{\boldmath$\beta$})\ S_{j-(2m+1)i-2k}(\textbf{\emph{y}}^{+}+\nu\textbf{\emph{s}}) (108)

and

Sj(x+νs)=i=0[j2m+1](a2m+1)ik=0[j(2m+1)i2]ci,k(m,𝜷)Sj(2m+1)i2k(y+νs),S_{j}(\textbf{\emph{x}}^{-}+\nu\textbf{\emph{s}})=\sum_{i=0}^{\left[\frac{j}{2m+1}\right]}(a_{2m+1}^{*})^{i}\sum_{k=0}^{\left[\frac{j-(2m+1)i}{2}\right]}c_{i,k}^{-}(m,\mbox{\boldmath$\beta$})\ S_{j-(2m+1)i-2k}(\textbf{\emph{y}}^{-}+\nu\textbf{\emph{s}}), (109)

where the coefficients ci,k±c_{i,k}^{\pm} are dependent on mm and the vector 𝜷=(β1,β2,)\mbox{\boldmath$\beta$}=(\beta_{1},\beta_{2},\cdots), and ci,0±(m,𝜷)=1/i!c_{i,0}^{\pm}(m,\mbox{\boldmath$\beta$})=1/i!.

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 3N×3N3N\times 3N determinant in Eq. (64) to eliminate certain high order powers of a2m+1a_{2m+1} and a2m+1a_{2m+1}^{*}. The main difference is that, a little more such eliminations are required here, because to eliminate a certain power of a2m+1a_{2m+1} or a2m+1a_{2m+1}^{*} in Sj(x±+νs)S_{j}(\textbf{\emph{x}}^{\pm}+\nu\textbf{\emph{s}}), one needs to eliminate a linear combination of polynomials Sj(2m+1)i2k(y±+νs)S_{j-(2m+1)i-2k}(\textbf{\emph{y}}^{\pm}+\nu\textbf{\emph{s}}) 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 a2m+1a_{2m+1} and a2m+1a_{2m+1}^{*}. But those lower-power terms will eventually be discarded since we will retain only the highest a2m+1a_{2m+1} and a2m+1a_{2m+1}^{*} power terms in each row and column respectively. Therefore, these similar row and column operations will still asymptotically reduce σn\sigma_{n} 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).