Bo Yang1, Jianke Yang21 School of Mathematics and Statistics, Ningbo University, Ningbo 315211, China 2 Department of Mathematics and Statistics, University of Vermont, Burlington, VT 05401, U.S.A
Abstract
We report new rogue wave patterns whose wave crests form closed or open curves in the spatial plane, which we call rogue curves, in the Davey-Stewartson I equation. These rogue curves come in various striking shapes, such as rings, double rings, and many others. They emerge from a uniform background (possibly with a few lumps on it), reach high amplitude in such striking shapes, and then disappear into the same background again. We reveal that these rogue curves would arise when an internal parameter in bilinear expressions of the rogue waves is real and large. Analytically, we show that these rogue curves are predicted by root curves of certain types of double-real-variable polynomials. We compare analytical predictions of rogue curves to true solutions and demonstrate good agreement between them.
I Introduction
Evolution of a two-dimensional wave packet on water of finite depth is governed by the Benney-Roskes-Davey-Stewartson equation Benney_Roskes ; Davey_Stewartson ; Ablowitz_book . In the shallow water limit, this equation is integrable (see Ref. Ablowitz_book and the references therein). This integrable equation is sometimes just called the Davey-Stewartson (DS) equation in the literature. The DS equation is divided into two types, DSI and DSII, which correspond to the strong surface tension and weak surface tension, respectively Ablowitz_book .
Rogue waves are large spontaneous and unexpected wave excitations. They mysteriously appear from a certain background (uniform or not), rise to high amplitudes, and then retreat back to the same background again. Due to their mysterious nature, a lot of experimental work has been done on rogue waves in diverse physical systems, such as water waves PeliBook ; Tank1 ; Tank2 ; Tank3 ; Tank4 , optical waves Solli_Nature ; Wabnitz_book ; Fiber1 ; Fiber1b , plasma Plasma , Bose-Einstein condensates RogueBEC , acoustics Acoustics , etc.
Theoretically, many of such rogue waves can be described by rational solutions of certain integrable equations, such as the nonlinear Schrรถdinger (NLS) equation, the Manakov system, and so on. Those rational solutions constitute theoretical rogue waves, and their expressions have been derived in a wide variety of integrable systems, including the NLS equation Peregrine ; AAS2009 ; DGKM2010 ; KAAN2011 ; GLML2012 ; OhtaJY2012 ; PeliNLS , the Manakov system BDCW2012 ; ManakovDark ; LingGuoZhaoCNLS2014 ; Chen_Shihua2015 ; ZhaoGuoLingCNLS2016 , and many others.
Rogue waves in DSI have been studied in OhtaYangDSI . It was found that the fundamental rogue waves have wave crests in straight lines in the spatial plane. Certain higher-order rogue waves describe the nonlinear interaction of multiple fundamental rogue waves, while some other higher-order rogue waves exhibit parabola-shaped wave crests in the spatial plane.
In this paper, we report new rogue patterns whose wave crests form closed or open curves in the spatial plane, which we call rogue curves. These rogue curves come in various interesting shapes, such as rings, double rings, and many others. They arise from a uniform background (possibly with a few lumps on it), reach high amplitude in such interesting shapes, and then disappear into the same background again. We will present these rogue curves in the context of the DSI equation. Importantly, we find that such rogue curves would appear when an internal parameter in bilinear expressions of the rogue waves are real and large. Performing large-parameter asymptotic analysis, we show that these rogue curves can be predicted by root curves of certain types of double-real-variable polynomials. We compare our analytical predictions of rogue curves to true solutions and demonstrate good agreement between them.
II Preliminaries
The Davey-Stewartson-I (DSI) equation is
(1)
where is the sign of nonlinearity. Rogue wave solutions in this equation have been presented in OhtaYangDSI . But those solutions involve differential operators and are not explicit. Explicit expressions of those rogue waves and their proof will be presented in the appendix.
The rogue waves in the appendix (and in OhtaYangDSI ) contain various types of solutions, such as multi-rogue waves and higher-order rogue waves, depending on whether the spectral parameters in them are the same or different. In addition, those solutions contain many free internal parameters. In this article, we consider the higher-order rogue waves where all the spectral parameters are the same, and those internal free parameters are under certain restrictions. Explicit expressions of these higher-order rogue waves are much simpler. To present these solutions, we first introduce elementary Schur polynomials with , which are defined by the generating function
(2)
We also define if . Then, these higher-order rogue waves are given by the following lemma.
Lemma 1 The Davey-Stewartson I eqaution (1) admits higher-order rogue wave solutions
(3)
(4)
where is an order-index vector, is the length of , each is a nonnegative integer, ,
(5)
(6)
the matrix elements of are defined by
(7)
vectors are
(8)
(9)
(10)
is a real constant, is the Kronecker delta function which is equal to 1 when and 0 otherwise, are coefficients from the expansion
(11)
and are free complex constants.
This lemma will be derived at the end of the appendix.
The free internal parameter can be absorbed into or through a coordinate shift. In addition, under the variable transformation of , and , the DSI equation (1) is invariant. Thus, we will set
(12)
in this article without loss of generality. In addition, we denote .
III Rogue curves
To demonstrate rogue curves in DSI, we first show two examples. In the first example, we choose
(13)
The corresponding solution from Lemma 1 at four time values of and 3 is shown in Fig.1. It is seen that a rogue wave in the shape of two separate curves symmetric with respect to the -axis arise from the uniform background in the plane. These rogue curves reach peak amplitude of at , and then retreat to the same uniform background again. The shapes of these rogue curves are not parabolas but more complex, and their appearance is mysterious.
An even more interesting example comes when we choose
(14)
and the corresponding solution from Lemma 1 at four time values of and 4 is shown in Fig.2. It is seen that at large times (), the solution contains two lumps on the uniform background. But at the intermediate time of , a rogue wave whose crests form a closed curve in the plane starts to appear between the two lumps (we call this rogue closed curve a rogue ring). This rogue ring reaches peak amplitude of at , after which it starts to disappear and becomes invisible when . The appearance of this rogue ring is more mysterious.
How can we understand these rogue curves? In particular, how can we analytically predict the shapes and locations of these rogue curves? This will be done in the next section.
IV Asymptotic prediction of rogue curves
It turns out that these rogue curves in the previous section can be predicted by root curves of certain types of double-real-variable polynomials. So we introduce such polynomials and their root curves first.
IV.1 Special double-real-variable polynomials and their root curves
We introduce a class of special polynomials in two real variables , which can be written as a determinant
(19)
where are Schur polynomials in two variables defined by
(20)
is an order-index vector, and if . This determinant is a Wronskian (in ) since we can see from Eq.(20) that
(21)
A few such polynomials are given below by choosing specific and values,
(22)
(23)
(24)
(25)
By setting
(26)
for real values of , we get root curves of this equation in the plane. Let us denote these root curve solutions as
(27)
For the above four examples of , their root curves are displayed in Fig.3. As one can see, these root curves may be an open curve, as in the first example, or a closed curve, as in the second and fourth examples, or a mixture of open and closed curves, as in the third example. For closed curves, they can be a single loop as in the second example, or a connected double loop as in the fourth example. Other varieties of these curves are also possible for other examples of , such as disconnected double loops and so on.
On a root curve, there may exist some special points where
(28)
Such special points will be important to us, and we will call them exceptional points of the root curve. These exceptional points satisfy both Eqs.(26) and (28). To easily see where these exceptional points are located on a root curve, it is helpful to consider the dynamical system
(29)
where is treated as a real function of time , and is treated as a real parameter. For this dynamical system, the root curve (27) gives its bifurcation diagram, while Eq.(28) is the bifurcation condition on this diagram. From this point of view, it is then clear that the exceptional points of the root curve are the bifurcation points of this root curve (when this root curve is viewed as a bifurcation diagram). This realization then makes it very easy to identify exceptional points of the root curve. For example, on the root curve in the second panel of Fig.3, the left and right edge points of the curve are exceptional points because saddle-node bifurcations occur there (at a saddle-node bifurcation, the slope of the root curve is infinite). The root curve in the third panel of Fig.3 has four exceptional points. Two of them are in the lower and upper half planes where saddle-node bifurcations occur (i.e., where the slopes are infinite), while the other two are on the axis where pitchfork bifurcations occur. The root curve in the fourth panel of Fig.3 also has four exceptional points; three of them are where saddle-node bifurcations occur, while the fourth one is at the intersection between the upper and lower loops where a transcritical bifurcation occurs. The first panel of Fig.3 does not have exceptional points since no bifurcation occurs here.
One may notice that the first two root curves in Fig.3 resemble the shapes of rogue curves in Figs.1 and 2. Indeed, the root curve of turns out to be closely related to certain rogue curves in DSI, as we will show in the next subsection.
IV.2 Asymptotic prediction of rogue curves under one large internal parameter
In this subsection, we analytically predict the shapes of rogue waves in DSI. For this purpose, we make the following restrictions on parameters in DSIโs rogue waves in Lemma 1.
1.
We set (the case of will be discussed in a later section).
For a certain , is real, when is even and when is odd, and the other values in a are and complex (the case of large negative when is even will be discussed in a later section).
One may notice that the parameter choices (13)-(14) for Figs.1-2 meet these restrictions. In both cases, . In addition, in (13), , and is large positive. In (14), , and is large.
Under the above parameter restrictions, we will show that rogue curves in DSI would appear, and their shapes in the plane would be predicted by the root curves of . To present these results, we first introduce some definitions.
Let us define a curve in the plane, which we call the critical curve, as
(30)
where is every point on the root curve of . Alternatively, the critical curve can be defined by the equation
(31)
or
(32)
using the notation in Eq.(27). This critical curve may also contain exceptional points where
(33)
Such points are also bifurcation points of the critical curve when this curve is viewed as a bifurcation diagram, because a dynamical system point of view similar to Eq.(29) also applies here. It is easy to see that an exceptional point of the critical curve is related to an exceptional point of the root curve as
(34)
Thus, the two exceptional points are simply related by a stretching along the horizontal and vertical axes.
Under these definitions, we have the following theorem.
Theorem 1. Let be a DSIโs rogue wave with order-index vector in Eq.(3) of Lemma1. Under the parameter restrictions mentioned above and when time , we have the following asymptotic result on the solution in the plane for large .
1.
If is not in the neighborhood of the critical curve , then the solution approaches the constant background as .
2.
If is in the neighborhood of the critical curve , but not in the neighborhood of its exceptional points, then the solution at large would asymptotically form a rogue curve , whose expression is
(35)
The error of this rogue curve approximation is . Expressed mathematically, when is not an exceptional point of the critical curve and , we have the following solution asymptotics
(36)
The proof of this theorem will be given in a later section.
Notice that in Eq.(35) is the same as the Peregrine rogue wave of the nonlinear Schrรถdinger equation (along the direction), except for a -directional shift. The peak location of at each value is at . All these peak locations from different values fall precisely on the critical curve . Thus, we can say the critical curve predicts the spatial location of the rogue curve. The full rogue curve surrounding that critical curve is predicted by the function . We will compare these predictions to the true solutions of Figs.1-2 in the next section. The root curves of involved in Eq.(30) for those predictions are precisely the ones shown in the left two panels of Fig.3. In cases where the root curve is closed so that of the root curve is only on a limited interval (see the second panel of Fig.3 for an example), this prediction would be only for a limited interval as well in view of Eq.(30). Outside that interval, our prediction of would be the background value as long as is not in the neighborhood of the critical curve , according to the first statement of Theorem1.
The only places where Theorem 1 does not make a solution prediction are neighborhoods of the exceptional points on the critical curve . In such special neighborhoods, a more elaborate analysis than the ones to be employed in this article is needed in order to predict the solution behavior there.
V Comparison between analytical predictions and true solutions
In this section, we compare analytical predictions of rogue curves in Theorem 1 to true solutions.
First of all, parameter choices (13)-(14) for Figs.1-2 meet the assumptions of Theorem 1. Thus, we will compare Theorem 1โs predictions on them to the true solutions shown in Figs.1-2.
For the first parameter choices (13),
(37)
In this case, the corresponding root curve of has been plotted in the first panel of Fig.3. Using that root curve, we can obtain the predicted rogue curve from Eqs.(30) and (35). At four time values of and 3, corresponding to the time values chosen in Fig.1, this prediction is plotted in Fig.4. Comparing this figure to Fig.1, we visually see that they closely match each other.
To further compare the predicted and true solutions in this case, we set , and compare the true and predicted solutions versus the coordinate. This 1D comparison is shown in Fig.5. Again, this comparison shows very good agreement as well.
We have also verified the error decay rate of in the neighborhood of the critical curve in Theorem1 for the rogue curve solution in Fig.1 by varying its large parameter and measuring the error between the prediction and the true solution. Details are omitted.
Next, we compare the true solution in Fig.2 to our prediction for the second parameter choices (14). In this case,
(38)
and the corresponding root curve of has been plotted in the second panel of Fig.3. Using that root curve, we obtain the predicted rogue curve from Eqs.(30) and (35), which is a rogue ring. This prediction only holds for the interval of , where is the interval of the underlying root curve in the second panel of Fig.3. For this root curve, . Thus, the interval of this prediction is . Outside this interval, we will use the uniform background prediction for according to the first statement of Theorem 1. At four time values of and 4, corresponding to the time values chosen in Fig.2, this rogue-ring prediction is plotted in Fig.6. Note that in this example, the critical curve contains two exceptional points, which correspond to the left and right edge points of the rogue ring seen in the second and third panels of Fig.6. According to Theorem 1, our predicted solutions in all four panels of Fig.6 are not expected to be valid in the neighborhoods of those edge points.
Comparing our predicted solution in Fig.6 to the true one in Fig.2, we visually see that the predicted rogue ring closely matches the true one in its shape and location. We have checked that the amplitudes on the predicted rogue ring closely match those on the true ring as well. For instance, at , we have quantitatively compared the predicted and true solutions versus , similar to what we have done in Fig.5 for the first example. We have found close agreement between prediction and the true solution in that 1D comparison (details of this 1D comparison are omitted for brevity).
The predicted solution in Fig.6 and the true one in Fig.2 also have notable differences though, and those differences are mostly at or near the left and right edges of the rogue ring. At those edges, the true solution shows a lump there, which is very narrow and hardly visible at but becomes wider and more visible as increases. The predicted solution, however, does not exhibit such lumps. The reason for this difference is clearly due to the fact that those edge points are exceptional points of the critical curve, where our predicted solution does not hold according to Theorem 1. So, there are no contradictions between the analytical theory and the true solution here.
Next, we will do comparisons on two additional examples. The third example is where the parameter choices are
(39)
The corresponding true solution at four time values of and 3 is plotted in the upper row of Fig.7. It is seen that a rogue curve in the shape of a heart intersected by a line arises from a uniform background with four lumps on it. This rogue curve reaches peak amplitude at approximately and then fades away to that same background afterwards.
To compare this true solution to our prediction, we notice from Eq.(39) that here since , which is the large parameter. The corresponding root curve for , with and , has been plotted in the third panel of Fig.3. Using that root curve and the value, we obtain the predicted rogue curve from Eqs.(30) and (35), which is plotted in the lower row of Fig.7 at the same time values of the upper row. It is seen that the prediction matches the true solution pretty well. The main differences between them are at the four lumps, which are clearly at the exceptional points of the critical curve where the prediction in Theorem 1 does not hold. Thus such differences are not surprising.
The fourth example we examine is where the parameter choices are
(40)
The corresponding true solution at three time values of and 2 is plotted in the first three panels of Fig.8. This time, a double rogue ring in a knot configuration arises from a uniform background with four lumps on it. This rogue curve reaches peak amplitude at approximately and then fades away to that same background afterwards.
To compare this true solution to our prediction, we see from Eq.(40) that since is large here. The corresponding root curve for , with and , has been plotted in the last panel of Fig.3. Using that root curve and the value, the critical curve for this case can be obtained, which is shown in the last panel of Fig.8. As we have mentioned earlier, the critical curve predicts the spatial location of the rogue curve. When we compare this critical curve to the spatial location of the true rogue curve in the second panel of Fig.8, they again match each other very well. The four lumps in the true solution are at the exceptional points of the critical curve, where Theorem 1 does not give an analytical prediction.
VI Proof of analytical predictions in Theorem 1
In this section, we prove the analytical predictions in Theorem1. Since and , we see from Lemma 1 that
(41)
and so on. According to the assumptions of Theorem 1, for a certain integer , is real, when is even and when is odd, and the other values in a are and complex. Suppose , , , and denote
(42)
where and are and both real since is real due to the above assumptions on . In this case,
Recall from the definition of Schur polynomials (2) that
(43)
where is as defined in Eq.(20). Thus,
(44)
Similarly, we can also show that
(45)
Now, we rewrite the determinant in Eq.(6) as a larger determinant
(46)
where
(47)
and vectors and s are as defined in Lemma 1. Using Laplace expansion, this larger determinant (46) can be rewritten as
(48)
The highest power term of in comes from the index choices of . Then, using Eqs.(44)-(45), we can readily show that the highest -power term of is
(49)
where is the double-real-variable polynomial defined in Eq.(19), and . Inserting this leading-order term of into Eq.(3), we see that the solution approaches when , except at or near locations where
(50)
or equivalently,
(51)
in view of the connection (42) between and . The locations where Eq.(51) holds are the critical curve as defined earlier in Eqs.(31)-(32). Thus, if is not in the neighborhood of this critical curve, the solution approaches for .
Next, we analyze the solution asymptotics in the neighborhood of the critical curve. For this purpose, we denote , where . Then, a more refined asymptotics for is
(52)
Here, the point is on the root curve of .
Now, we collect the dominant contributions in the Laplace expansion (48) for near the critical curve. There are two sources of contributions which are of the same order in , one from the index choices of , and the other from the index choices of . For the first index choice, using the above asymptotics of , we get
Similarly, we get
Therefore, the contribution to the Laplace expansion (48) from the indices is
(53)
For the other index choice of , using similar techniques and the relation (21), we get
(54)
Combining these two dominant contributions, we get
(55)
Inserting this asymptotics of into Eq.(3) and recalling , we then get
(56)
This is our asymptotic prediction of the solution near the critical curve as given in Theorem 1.
It is important to notice that the above predictions would be invalid near exceptional points of the critical curve, where . Near such points, the dominant contribution (55) to either vanishes or is of lower order in , and a more advanced calculation would be needed to calculate โs dominant contribution there.
This completes the proof of Theorem 1.
VII Asymptotic predictions for
In Theorem 1, we set . In this section, we discuss rogue curves when . Our assumptions on parameters a are the same as before, i.e., for a certain , is real, when is even and when is odd, and the other values in a are and complex.
In this more general case,
(57)
and so on, where
(58)
(59)
Then, for , , and , we have
Setting
(60)
we get
(61)
Similarly,
(62)
Thus, using the Laplace expansion (48), we get
(63)
where has been defined below Eq.(49). Inserting this leading-order term of into Eq.(3), we see that the solution approaches when , except at or near locations where , or equivalently,
(64)
This equation defines a critical curve where the rogue curve lies for . Using the notation of Eq.(27), this critical curve can be written as
(65)
where
(66)
This critical curve is the counterpart of Eq.(32) for the case. In the plane, the shape of this critical curve is related to that of the previous one for through a linear transformation
(67)
When is in the neighborhood of this critical curve, we can further determine the asymptotic prediction for the solution, similar to what we have done for the case earlier. This predicted solution is found to be
(68)
When we compare the leading-order term of this prediction with the previous prediction (35) for (at the same and a values), we see that the current prediction (for ) spatially is the previous prediction of under a linear transformation (67), plus a temporal rescaling. Thus, the current prediction can be viewed as a skewed Peregrine rogue wave (along the direction).
Similar to the case, our predictions would be invalid in the neighborhood of exceptional points of the critical curve. These exceptional points are on the critical curve with the additional condition that
(69)
It is easy to see that these exceptional points of the critical curve are related to exceptional points of the root curve as
(70)
It is important to note that in the present case, an exceptional point of the critical curve may not be a bifurcation point of the critical curve when this critical curve is viewed as a bifurcation diagram in the plane, because the dynamical system point of view similar to Eq.(29) does not apply here. For example, a saddle-node bifurcation point (often an edge point) of the critical curve, in the plane, is generally not an exceptional point of the critical curve when .
Now, we compare the above predictions with true solutions. For this purpose, we choose parameters in the DSI solution of Lemma1 as
(71)
The corresponding true solution at four time values of and 3 is plotted in the upper row of Fig.9. It is seen that a rogue curve in the shape of an elongated ring arises from a uniform background with two lumps on it. This rogue ring reaches peak amplitude at and then fades away to that same background afterwards.
Our predicted solution of , from Eq.(68) near the critical curve (65) and away from this curve, is plotted in the lower row of Fig.9 at the same time values of the true solution in its upper row. Comparing the predicted solution to the true solution, we see that the predicted rogue ring closely matches the true one in its shape and location. The main differences between the predicted and true solutions are at the two lumps, which are located at the exceptional points of the critical curve where our prediction does not hold.
VIII Extension to large negative when is even
In Theorem1, we assumed that when is even, would be large positive. It turns out that rogue curves can also arise in the case of large negative when is even. We will generalize our earlier results to this case in this section.
To study rogue curves for large negative with even, we will need to slightly modify the definition of double-real-variable polynomials . In this case, we define
(76)
where Schur polynomials are defined slightly differently from (20) as
(77)
For , we define the critical curve as
(78)
Then, the results of Theorem1 (for ) would remain valid, i.e., a rogue curve would appear near this critical curve with its expression given by Eq.(35). For , the location and expression of the rogue curve could be similarly obtained from Sec.VII by changing to and to in Eq.(64).
IX Connections between rogue curves for different order-index vectors
In this section, we show that rogue curves for certain different order-index vectors are related to each other, using the theory of symmetric functions Murnaghan1937 ; Chakravarty2022KPI ; Chakravarty2023KPI .
For this purpose, it would be convenient to introduce the Young diagram , or a partition, of length , which is a decomposition of a non-negative integer given by a sequence of descending non-zero numbers such that and . The Schur function , for vector and Young diagram , is defined by
(79)
where elementary Schur polynomials are as defined in Eq.(2).
The Young diagram is often displayed as a rectangular array of left-justified boxes such that the -th row from the top contains boxes, . Thus the Young diagram consists of rows and a total number of boxes. The conjugate of a partition is a partition whose Young diagram is the transpose of the original one obtained by interchanging its rows and columns. Obviously, . A partition is called self-conjugate if .
A well known result from the theory of symmetric functions Murnaghan1937 ; Chakravarty2022KPI ; Chakravarty2023KPI is the following involution symmetry among Schur functions of a given partition and its conjugate :
(80)
For example, when
the conjugate partition is
The associated Schur functions are
(81)
and
(82)
which satisfy the involution symmetry (80).
Now, we relate the and polynomials introduced earlier in Eqs.(19) and (76) to these Schur functions. It is easy to see that for with ,
(83)
where the Young diagram is given by
(84)
and with in its -th element.Similarly, , where with in its -th element. We define the conjugate of the order-index vector as one whose Young diagram is the conjugate of โs Young diagram. For example, when , . Thus, and . is called self-conjugate if .
Due to the involution symmetry (80) of Schur functions, we find that
(85)
This means that root curves for the index vector and its conjugate vector are related as a mirror reflection in . Then, in view of the connection (30) between rogue curves of DSI and root curves of , we conclude that when , is odd and real and large in magnitude, the rogue curve of DSI for the order-index vector would be a mirror reflection of the rogue curve in the variable for the conjugate order-index vector , i.e.,
(86)
For self-conjugate where , its rogue curve would be symmetric in .
To verify this connection (86), we take , and . As we have mentioned earlier, for this , its conjugate is . For these two order-index vectors and , we choose the same parameter vector , where is real and large. Then, rogue curves for these and at can be obtained from Lemma1, which are displayed in Fig.10. One can see that these curves are indeed a mirror reflection of each other in , confirming the above symmetry (86).
When is even in the large real parameter (in magnitude), rogue curves for and are also related, but the parameter for and should have opposite signs, i.e., the symmetry now becomes
(87)
We note that except for , the other parameters in the vectors for these two rogue waves of and do not need to be opposite of each other and can be totally independent of each other. The connection (87) can be seen from the symmetry
(88)
which comes from the involution symmetry (80) when is even. Here, is as defined in Eq.(76).
To verify this rogue curve connection (87), we take , and . For this , its conjugate is . For these two order-index vectors and , we choose for and for , whose parameters are real and opposite of each other. Then, rogue curves for these two sets of parameters at can be obtained from Lemma1, which are displayed in Fig.11. One can see that these curves are indeed a mirror reflection of each other in , confirming the above symmetry (87).
When , rogue curves for and would be related through the symmetry (86) or (87) under a linear transformation, which can be seen from Eq.(67).
X Conclusions and discussions
In this article, we have reported new rogue wave patterns whose wave crests form closed or open curves in the spatial plane in the Davey-Stewartson I equation. The shapes of these rogue curves, such as rings, double rings and others, are striking, and their appearance in the Davey-Stewartson I equation is a significant phenomenon. Analytically, we reveal that such rogue curves would appear when an internal parameter in bilinear expressions of the rogue waves are real and large. Performing large-parameter asymptotic analysis, we have discovered that these rogue curves can be predicted by root curves of certain types of double-real-variable polynomials. We have also compared our analytical predictions of rogue curves to true solutions and demonstrated good agreement between them.
An interesting question is whether such rogue curves would also appear in other (2+1)-dimensional integrable systems, such as the (2+1)-dimensional three-wave resonant interaction system. This question will be left to future studies.
Acknowledgment
The work of B.Y. was supported in part by the National Natural Science Foundation of China (GrantNo.12201326), and the work of J.Y. was supported in part by the National Science Foundation (U.S.) under award number DMS-1910282.
Appendix
General rational solutions (including rogue waves) in the Davey-Stewartson I eqaution (1) were derived in OhtaYangDSI , but those solutions involved differential operators and were not explicit. In this appendix, we present explicit expressions of these general rational solutions and their brief proof.
Lemma 2 The Davey-Stewartson I eqaution (1) admits general rational solutions
(89)
(90)
where is a positive integer, is an order-index vector, each is a nonnegative integer, ,
(91)
(92)
the matrix elements of are defined by
(93)
vectors are
(94)
(95)
(96)
are free complex constants, is the Kronecker delta function, , and are coefficients from the expansions
(97)
vectors are
(98)
and are free complex constants.
Note. In the above lemma, rogue waves would be obtained when all are real. If are not real, the rational solutions (3)-(4) would be soliton or multi-solitons on a constant background, not rogue waves OhtaYangDSI .
Proof. From the appendix of Ref.OhtaYangDSI , we know that DSI admits the following rational solutions in differential operator form,
(99)
where , is the length of , each is a nonnegative integer, ,
(100)
(101)
the matrix elements of are defined by
(102)
variables are related to by Eq.(96), are free complex constants, , and are free complex constants. The main difference between this solution form and that in Ref.OhtaYangDSI is a simpler parameterization, which leads to simpler solution expressions.
The next step is to remove the differential operators in Eq.(102) and derive explicit expressions for the matrix element . The procedure to do this is very similar to that we used in Refs.OhtaJY2012 ; YangYang3wave . Performing such calculations, we can show that is as given in Eq.(93) of Lemma 2. This completes the brief proof of Lemma 2.
Lemma 1 in the main text is a special case of Lemma 2. To get Lemma 1, we set all to be the same and real in Lemma 2 and denote , where is a real parameter. In addition, we require in Eq.(98) to be independent of the index. In this case, since the length of vector is , and , then, each for is just a truncation of the longest vector . Since every can be extended to the full , and the extended parts are dummy parameters which do not appear in the actual solution formulae, by performing this extension, we can say all vectors are the same in this case and thus denote
(103)
Under the above parameter restrictions, and in Lemma 2 are independent of the indices, i.e., and . Similarly, are independent of the indices too.In addition, the expansion in Eq.(97) reduces to (11) in Lemma 1. We further lump thea vector in Eq.(93) into and the vector into . In addition, we lump the parameter in Eq.(94) into andthe parameter into . After these treatments, we obtain Lemma 1 from Lemma 2.
References
References
(1)D. J. Benney and G. Roskes, โWave instabilitiesโ, Stud. Appl. Math. 48, 377โ385 (1969).
(2) A. Davey and K. Stewartson,โOn three-dimensional packets of surface wavesโ, Proc. R. Soc. London, A338, 101โ110 (1974).
(3)M.J. Ablowitz and H. Segur, Solitons and the InverseScattering Transform (SIAM, Philadelphia, 1981).
(4) C. Kharif, E. Pelinovsky and A. Slunyaev, Rogue waves in theocean (Springer, Berlin, 2009).
(5)A. Chabchoub, N. Hoffmann and N. Akhmediev,โRogue wave observation in a water wave tank,โPhys. Rev. Lett. 106, 204502 (2011).
(6)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).
(7)A. Chabchoub, N. Hoffmann, M. Onorato, and N. Akhmediev, โSuper rogue waves:observation of a higher-order breather in water wavesโ, Phys. Rev. X 2, 011015 (2012).
(8)A. Chabchoub and N. Akhmediev, โObservation of rogue wave triplets in waterwavesโ, Phys. Lett. A 377, 2590-2593 (2013).
(9)D.R. Solli, C. Ropers, P. Koonath and B. Jalali,โOptical rogue wavesโ,Nature 450, 1054 (2007).
(10)S. Wabnitz (Ed.), Nonlinear Guided Wave Optics: A testbed for extreme waves (IOP Publishing, Bristol, UK, 2017).
(11)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).
(12)M. Erkintalo1, K. Hammani, B. Kibler, C. Finot, N. Akhmediev, J.M. Dudley and G. Genty, โHigher-order modulation instability in nonlinear fiber opticsโ, Phys. Rev. Lett. 107, 253901 (2011).
(13)H. Bailung, S.K. Sharma and Y. Nakamura, โObservation of Peregrine solitons in amulticomponent plasma with negative ionsโ, Phys. Rev. Lett. 107, 255005 (2011).
(14)A. Romero-Ros, G.C. Katsimiga, S.I. Mistakidis, S. Mossman, G. Biondini, P. Schmelcher,P. Engels, and P.G. Kevrekidis, โExperimental realization of the Peregrine soliton inrepulsive two-component Bose-Einstein condensates , arXiv:2304.05951 [nlin.PS] (2023).
(15)Y. Tsai, J. Tsai and L. I, โGeneration of acoustic rogue waves in dustyplasmas through three-dimensional particle focusing by distorted waveformsโ, Nat. Phys. 12, 573 (2016).
(16)D.H. Peregrine,โWater waves, nonlinear Schrรถdinger equations and their solutions,โJ. Aust. Math. Soc. B 25, 16 (1983).
(17)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).
(18)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).
(19)D.J. Kedziora, A. Ankiewicz and N. Akhmediev,โCircular rogue wave clusters,โPhys. Rev. E 84, 056611 (2011).
(20)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).
(21)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).
(22)J. Chen and D. Pelinovsky, โRogue periodic waves of thefocusing nonlinear Schrรถdinger equationโ, Proc. R. Soc. A 474, 20170814 (2018).
(23)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).
(24)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).
(25)L. Ling, B. Guo and L. Zhao, โHigh-order rogue waves in vector nonlinear Schrรถdinger equationsโ, Phys Rev E, 89, 041201(R) (2014).
(26)S. Chen and D. Mihalache, โVector rogue waves in the Manakov system: diversity and compossibilityโ,J. Phys. A 48, 215202 (2015).
(27)L. Zhao, B. Guo and L. Ling, โHigh-order rogue wave solutions for the couplednonlinear Schrรถdinger equations-IIโ, J. Math. Phys. 57, 043508 (2016).
(28)Y. Ohta and J. Yang, โRogue waves in the Davey-Stewartson-I equationโ, Phys. Rev. E 86, 036604 (2012).
(29)B. Yang and J. Yang, โGeneral rogue waves in the three-wave resonant interaction systemsโ, IMA J. Appl. Math. 86, 378-425(2021).
(30)F.D. Murnaghan, โOn the representations of the symmetric groupโ, Am. J. Math. 59 437-88 (1937)
(31)S. Chakravarty and M. Zowada, โClassification of KPI lumpsโ, J. Phys. A: Math. Theor. 55215701 (2022).
(32)S. Chakravarty and M. Zowada, โMulti-lump wave patterns of KPI via integer partitionsโ, Physica D, 446 133644 (2023).
Introduction: My name is Saturnina Altenwerth DVM, I am a witty, perfect, combative, beautiful, determined, fancy, determined person who loves writing and wants to share my knowledge and understanding with you.
We notice you're using an ad blocker
Without advertising income, we can't keep making this site awesome for you.