1. Introduction
We consider the stability of spatially periodic waves that propagate with constant velocity without change of form, in potential flow of an ideal (incompressible and inviscid) two-dimensional fluid of infinite depth. The study of such wave profiles has been the subject of much previous work, going back to Stokes (Reference Stokes1847) (also published in Stokes (Reference Stokes1880a)). Stokes’ work was followed by numerical computation of these waves by Michell (Reference Michell1893), and existence was proved in the works of Nekrasov (Reference Nekrasov1921) and Levi-Civita (Reference Levi-Civita1925), see also Toland (Reference Toland1996) and Hur (Reference Hur2006) for existence of the global branch of wave profiles. The numerical study of these waves and the nature of their singularities was continued by Grant (Reference Grant1973), Schwartz (Reference Schwartz1974), Williams (Reference Williams1981), Williams (Reference Williams1985), Tanveer (Reference Tanveer1993), Cowley, Baker & Tanveer (Reference Cowley, Baker and Tanveer1999), Baker & Xie (Reference Baker and Xie2011), Lushnikov (Reference Lushnikov2016) and others.
In the context of water waves, such waves are usually referred to as Stokes waves. It was suggested by Stokes (Reference Stokes1880b) that there exists a progressive wave of maximum height, and that the angle at the crest of this limiting wave should be $2{\rm \pi} /3$. Rigorous proofs of these Stokes conjectures came much later. Toland (Reference Toland1978) showed global existence of the limiting Stokes wave, but did not prove that the angle at the crest is $2{\rm \pi} /3$. This result was proved by Amick, Fraenkel & Toland (Reference Amick, Fraenkel and Toland1982) and Plotnikov (Reference Plotnikov1982) (reported in English in Plotnikov (Reference Plotnikov2002)) independently. We refer to the Stokes wave of greatest height as the extreme wave and to waves of near-maximal amplitude as near-extreme waves. Even with the original Stokes conjectures resolved, the study of the graph of the wave profiles remains active, with a number of open problems, as detailed by Dyachenko, Hur & Silantyev (Reference Dyachenko, Hur and Silantyev2023), see also below. The works by Longuet-Higgins & Fox (Reference Longuet-Higgins and Fox1977, Reference Longuet-Higgins and Fox1978) and by Longuet-Higgins (Reference Longuet-Higgins2008) study the near-extreme waves using both asymptotic and numerical methods. The review by Haziot et al. (Reference Haziot, Hur, Strauss, Toland, Wahlén, Walsh and Wheeler2022) discusses many currently active research directions.
The investigation of the stability of Stokes waves was begun in the works of Benjamin (Reference Benjamin1967), Benjamin & Feir (Reference Benjamin and Feir1967), Lighthill (Reference Lighthill1965) and Whitham (Reference Whitham1967). Except for the influential experimental work by Benjamin & Feir (Reference Benjamin and Feir1967), the focus of these works was on the dynamics of small disturbances of small-amplitude periodic Stokes waves. They unveiled the presence of the modulational or Benjamin–Feir instability with respect to long-wave disturbances in water of sufficient depth, $kh>1.363\ldots$; here $h$ is the depth of the water and $k=2{\rm \pi} /L$, with $L$ the period of the Stokes wave. The first rigorous results on the Benjamin–Feir instability were established by Bridges & Mielke (Reference Bridges and Mielke1995), followed up very recently by Nguyen & Strauss (Reference Nguyen and Strauss2023) and Hur & Yang (Reference Hur and Yang2023). The numerical results of Deconinck & Oliveras (Reference Deconinck and Oliveras2011) reveal the presence of a figure-8 curve in the complex plane of the spectrum of the linear operator governing the linear evolution of the Stokes wave disturbances. Approximations to this figure-8 are obtained by Creedon & Deconinck (Reference Creedon and Deconinck2023) and by Berti, Maspero & Ventura (Reference Berti, Maspero and Ventura2022), where the existence of the figure-8 was proven rigorously. Berti, Maspero & Ventura (Reference Berti, Maspero and Ventura2024) also examined the critical case $kh=1.363\ldots$.
Deconinck & Oliveras (Reference Deconinck and Oliveras2011) also brought to the fore the presence of the so-called high-frequency instabilities, existing for narrow ranges of the disturbance quasiperiods. These instabilities were further studied by Creedon, Deconinck & Trichtchenko (Reference Creedon, Deconinck and Trichtchenko2022) and by Hur & Yang (Reference Hur and Yang2023), where their existence was proven rigorously.
The instabilities mentioned above play a role in our study of the dynamics of large-amplitude Stokes waves, but we illustrate other instability mechanisms, not present for small-amplitude waves. Understandably, the study of large-amplitude Stokes waves, which cannot be thought of as perturbations of flat water, is harder, both from a computational and an analytical point of view. Nonetheless, some groundbreaking examinations have been done, for instance by Tanaka (Reference Tanaka1983), Longuet-Higgins & Tanaka (Reference Longuet-Higgins and Tanaka1997) and for near-extreme waves by Korotkevich et al. (Reference Korotkevich, Lushnikov, Semenova and Dyachenko2023). These authors all consider perturbations of the Stokes waves with respect to coperiodic (or superharmonic) disturbances, i.e. the Stokes waves and the disturbance have the same minimal period. Their results are recapped in detail below, as they are instrumental to our own investigations. The results in this manuscript follow those of Deconinck et al. (Reference Deconinck, Dyachenko, Lushnikov and Semenova2023), as we present a computational study of the instabilities of periodic Stokes waves, under the influence of disturbances parallel to the propagation direction of the wave. It should be emphasized that all figures presented below are quantitatively correct unless they are described as ‘schematic’ in the caption. Similarly, all floating-point numbers given are approximate, of course, but all digits provided are believed to be correct.
2. One-dimensional waves in water of infinite depth
The equations of motion governing the dynamics of the one-dimensional free surface of a two-dimensional irrotational, inviscid fluid (see figure 1a) are the Euler equations:
Here $y=\eta (x,t)$ is the equation of the free surface and $\varPhi (x,y,t)$ is the velocity potential (i.e. the velocity in the fluid is $v=(\varPhi _x, \varPhi _y)$), subscripts denote partial derivatives, $x$ and $y$ are the horizontal and vertical coordinate respectively, $t$ denotes time and $g$ is the acceleration due to gravity. We ignore the effects of surface tension. Although the Stokes waves are $2{\rm \pi}$-periodic, it is important to pose the problem above on $x\in \mathbb {R}$, since the perturbations we consider are not necessarily periodic. The first equation expresses the divergence-free property of the flow under the free surface determined by $\eta (x,t)$. The second and third equations are nonlinear boundary conditions determining the free surface: the kinematic condition (2.2) expresses that the free surface changes in the direction of the normal derivative to the surface (particles on the surface remain on the surface), whereas the dynamic condition (2.3) states the continuity of pressure across the surface. Atmospheric pressure has been equated to zero, without loss of generality.
Since the location of the surface $y=\eta (x,t)$ is the main focus of the water wave problem, different reformulations have been developed that eliminate the velocity potential in the bulk of the fluid as an unknown. Zakharov (Reference Zakharov1968) shows how the problem (2.1)–(2.4) can be recast in terms of only the surface variables $\eta (x,t)$ and $\varphi (x,t)=\varPhi (x,\eta (x,t),t)$, and the dynamics of $\eta (x,t)$ and $\varphi (x,t)$ is governed by an infinite-dimensional Hamiltonian system with $\eta (x,t)$ and $\varphi (x,t)$ as canonical variables. The Hamiltonian is the total energy of the system (with potential energy renormalized to account for infinite depth), which depends on the velocity potential $\varPhi (x,y,t)$ in the bulk of the fluid.
To avoid the dependence on the bulk, Zakharov's formulation uses the Dirichlet-to- Neumann operator (DNO), producing the normal derivative of the velocity potential at the free surface (the right-hand side of (2.2)) from the values of $\varphi (x,t)$. For small-amplitude waves, the DNO is conveniently expressed as a series, as done by Craig & Sulem (Reference Craig and Sulem1993). For large-amplitude waves, such an expansion is not readily available, and the DNO has to be approximated numerically. To avoid doing so, we use conformal variables, see figure 1: for a $2{\rm \pi}$-periodic wave, a time-dependent conformal transformation maps the half-plane in the $w=u+{\rm i}v$ plane ($(u,v) \in [-{\rm \pi},{\rm \pi} ]\times (-\infty,0]$) into the area $(x,y) \in [-{\rm \pi},{\rm \pi} ]\times (-\infty,\eta ]$ in the physical $z=x+{\rm i}y$ plane occupied by the fluid. The horizontal line $v = 0$ is mapped into the fluid surface $y=\eta (x,t)$. The implicit equations of motion in conformal variables are constructed in the works of Ovsyannikov (Reference Ovsyannikov1973), see also Tanveer (Reference Tanveer1991), Zakharov, Kuznetsov & Dyachenko (Reference Zakharov, Kuznetsov and Dyachenko1996) and Dyachenko (Reference Dyachenko2001). We use this implicit formulation to study the stability of Stokes waves.
From these works, the conformal map $z(w,t) = x(w,t) + {\rm i}y(w,t)$ is a complex-analytic function in $\mathbb {C}^-$ that approaches the identity map $z(w,t)\to w$ as $w \to -i\infty$, the image of a point at infinite depth. In the conformal variables, the Hamiltonian has the form
where $\psi (u,t)=\varphi (x,t)$ and the operator $\hat k = -\hat H \partial _u$. Here $\hat H$ is the periodic Hilbert transform defined by the principal-value integral
Equivalently, the Hilbert transform can be defined by its action on Fourier harmonics, $\hat H \,{\rm e}^{{\rm i}ku} = {\rm i}\,\mbox {sign}(k)\,{\rm e}^{{\rm i}ku}$. The equations of motion are derived by taking variational derivatives of the action $\mathcal {S} = \int \mathcal {L}\,{\rm d} t$ with respect to $x$, $y$ and $\psi$. The Lagrangian has the form
where the Lagrange multiplier $f(u)$ is chosen to enforce the relation $x(u,t) = u-\hat H [y(u,t)]$. We refer to the work of Dyachenko et al. (Reference Dyachenko, Kuznetsov, Spector and Zakharov1996) for the complete derivation of the equations of motion in conformal variables:
2.1. Travelling waves
Using the conformal variables formulation (2.8)–(2.9), the Stokes waves are obtained by looking for a solution $y=y(u-ct)$, $\psi =\psi (u-ct)$, corresponding to stationary solutions in a frame of reference moving with constant speed $c$ in physical variables, see Dyachenko, Lushnikov & Korotkevich (Reference Dyachenko, Lushnikov and Korotkevich2014). This gives rise to the so-called Babenko (Reference Babenko1987) equation:
Since we are interested in the stability of near-extreme Stokes waves, the accurate numerical solution of (2.10) for near-limiting values of the speed is required. Details of such computations for the Babenko equation (2.10) are given by Dyachenko, Lushnikov & Korotkevich (Reference Dyachenko, Lushnikov and Korotkevich2016). In what follows, the ratio of the crest-to-trough height $H$ to wavelength $L$ is used as the definition of wave steepness $s = H/L$. The limiting Stokes wave has the steepness $s_{lim} = 0.1410634839\ldots$ and speed $c_{lim} = 1.0922850485\ldots$ as computed by Dyachenko et al. (Reference Dyachenko, Hur and Silantyev2023).
It is known that the speed $c$ and the Hamiltonian $\mathcal {H}$ oscillate as a function of the wave steepness $s$, for values near the limiting value $s_{lim}$, see Longuet-Higgins & Fox (Reference Longuet-Higgins and Fox1978). It is believed there is an infinite number of such oscillations. They are presented schematically in figure 2. The other details of this figure constitute some of the main results of this paper, discussed below.
2.2. Linearization about a Stokes wave
In a reference frame travelling with the velocity of a Stokes wave, the Babenko equation describes a stationary solution of (2.8)–(2.9). The linear stability of these Stokes waves is determined by the eigenvalue spectrum of the linearization in this travelling frame. To obtain the linearization, we transform (2.8)–(2.9) to a moving frame, using
as in Dyachenko & Semenova (Reference Dyachenko and Semenova2023a). The nonlinear system (2.8)–(2.9) in the moving frame becomes
The linearization about a Stokes wave is found by substituting
Here $y(u)$ corresponds to the Stokes wave and $\delta y(u,t)$, $\delta \phi (u,t)$ are small perturbations. Retaining only linear terms in $\delta y$ and $\delta \phi$ leads to the following evolution equations for the perturbations $\delta y$ and $\delta \phi$:
where the operator $\hat \varOmega _{21}$ is defined via $\hat \varOmega _{21} f = x_u f + y_u \hat H f$. The operator $\hat \varOmega ^{{\dagger} }_{21}$ is its adjoint: $\hat \varOmega ^{{\dagger} }_{21} f = x_u f - \hat H[y_u f]$ and
This is rewritten in matrix form as
with
We examine the effect of quasiperiodic perturbations $\delta y$, $\delta \phi$ using the Fourier–Floquet– Hill approach described in Deconinck & Kutz (Reference Deconinck and Kutz2006) and Deconinck & Oliveras (Reference Deconinck and Oliveras2011). The time dependence for $\delta y$ and $\delta \phi$ is found using separation of variables. Moreover, in order to consider quasiperiodic perturbations we use a Floquet-Bloch decomposition in space,
where $\mu \in (-1/2,1/2]$ is the Floquet parameter and $\lambda (\mu ) \in \mathbb {C}$ is the eigenvalue. The resulting $\mu$-dependent spectral problem is solved using a Krylov-based method and the shift-and-invert technique, see Dyachenko & Semenova (Reference Dyachenko and Semenova2023b). Details on Krylov methods are presented by Stewart (Reference Stewart2002). We refer to the spectrum obtained this way as the stability spectrum of the Stokes wave. Note that the Floquet parameter is defined modulo 1, thus $\mu =1/2$ is equivalent to $\mu =-1/2$, see Deconinck & Kutz (Reference Deconinck and Kutz2006).
3. Instability
3.1. The oscillating velocity and Hamiltonian
Both the velocity $c$ and the Hamiltonian $\mathcal {H}$ depend on the Stokes wave. As the steepness $s$ of the Stokes wave increases and approaches its limiting value $s_{lim}$, both quantities are not monotonic, as observed by Longuet-Higgins (Reference Longuet-Higgins1975). In fact, Longuet-Higgins & Fox (Reference Longuet-Higgins and Fox1977, Reference Longuet-Higgins and Fox1978) produce an asymptotic result that implies the presence of an infinite number of oscillations for both quantities. These oscillations were studied more by Maklakov (Reference Maklakov2002), Dyachenko et al. (Reference Dyachenko, Lushnikov and Korotkevich2016) and Lushnikov, Dyachenko & Silantyev (Reference Lushnikov, Dyachenko and Silantyev2017), and very recently by Silantyev (Reference Silantyev2019). To our knowledge, no proof of an infinite number of oscillations in velocity $c$ and Hamiltonian $\mathcal {H}$ exists.
We denote the steepness of a wave at the $n$th turning point of the speed by $s_{c,n}$, $n=0, 1, 2, \ldots$, with $s_{c,0} = 0$. Similarly, the $n$th extremizer of the Hamiltonian is denoted by $s_{H,n}$. These critical values of the velocity and the Hamiltonian are important for changes in the stability spectrum, as shown below. For the Hamiltonian, the importance of these values is known, due to the works of Tanaka (Reference Tanaka1983, Reference Tanaka1985), Saffman (Reference Saffman1985) and Longuet-Higgins & Tanaka (Reference Longuet-Higgins and Tanaka1997), for instance. It appears that these extremizing values interlace, so that $s_{c,n}< s_{H,n+1}< s_{c,n+1}$, $n=0, 1, \ldots$.
In the recent work of Dyachenko & Semenova (Reference Dyachenko and Semenova2023b), a conjecture is made about an infinite number of secondary bifurcations associated with the Floquet multiplier $\mu =1/2$, corresponding to perturbations whose period is twice that of the Stokes wave. It is unclear how these bifurcations are related to those in the works of Chen & Saffman (Reference Chen and Saffman1980), Longuet-Higgins (Reference Longuet-Higgins1985) and Zufiria (Reference Zufiria1987), since those works do not introduce a Floquet parameter. However, their importance to the stability results presented here is demonstrated below. We denote the steepness associated with the $n$th secondary bifurcation point by $s_{n}^{1/2}$, $n=1,2, \ldots$. Further, we observe that $s_{c,n}< s_n^{1/2}< s_{H,n}$. These values are included in the schematic of figure 2.
It is convenient to break up the range of steepness $s$ from $s=0$ to $s=s_{lim}$ in intervals from one extremizer of the wave speed to the next. For example, the first interval starts at the primary bifurcation $s=0$ and ends at the first maximizer of the wave speed $s=s_{c,1}$; the second interval starts at $s=s_{c,1}$ and ends at the first minimizer of the wave speed $s_{c,2}$, and so on. The length of each interval shrinks as the extreme wave is approached, and following Longuet-Higgins & Fox (Reference Longuet-Higgins and Fox1978), we use a logarithmic scaling as illustrated in figure 2. Note that, because of the observed interlacing of the extremizers of the wave speed, those of the Hamiltonian, and the secondary bifurcations, each interval contains one extremizer of the Hamiltonian and one secondary bifurcation point.
3.2. A cycle of changes in the spectrum
As the steepness increases and each interval is traversed, an instability emerges from $\lambda = 0$ in the spectral plane, giving rise to a sequence of $\lambda (\mu )$-curves with changing topology, see figure 3. These changes for $s\in [s_{c,0}=0, s_{c,1})$ are described below.
(i) Initially, at $s_{c,0}$, a figure-8 emerges from the origin, expanding in size as steepness increases (figure 3a,b).
(ii) At an isolated value of the steepness $s=s_{h,1}$, both tangents of the figure-8 at the origin become vertical, resulting in an hourglass shape (figure 3c).
(iii) Next, the lobes of the figure-8 detach from the origin, forming two disjoint isles qualitatively reminiscent of the high-frequency instabilities of Deconinck & Oliveras (Reference Deconinck and Oliveras2011). The band of Floquet values parameterizing the isles shrinks away from $\mu =0$ as the steepness increases (figure 3d–h).
(iv) At $s=s_1^{1/2}$, eigenvalues with Floquet parameter $\mu =1/2$ bifurcate away from the origin onto the real line, creating an oval of eigenvalues with centre at the origin, parameterized by Floquet values centred about $\mu =1/2$, see figure 3(f–h).
(v) As the steepness increases, the oval around the origin deforms to a bean shape, eventually reabsorbing the remnants of the figure-8 (figure 3j). More detail on the changes in these remnants and their reabsorption is presented in figures 5 and 8.
(vi) At $s=s_{H,1}$, the bean shape pinches to form a figure-$\infty$. The double point of the figure-$\infty$ is at the origin and has a Floquet parameter $\mu =0$. Thus, it corresponds to perturbations with the same period as the Stokes wave, see Korotkevich et al. (Reference Korotkevich, Lushnikov, Semenova and Dyachenko2023) and Dyachenko & Semenova (Reference Dyachenko and Semenova2023a). In figure 3(k) this coperiodic (or superharmonic) eigenvalue is marked in green. The unstable eigenvalue with $\mu =1/2$ is marked in red and gives rise to the most unstable mode for the wave with steepness $s=s_{H,1}$.
(vii) As $s$ increases beyond $s_{H,1}$, the figure-$\infty$ splits off from the origin into a pair of symmetric lobes, one moving to the right, the other to the left (figure 3l). Further interesting changes in the shape of these lobes are observed as the steepness increases and they move away from the origin, see Deconinck et al. (Reference Deconinck, Dyachenko, Lushnikov and Semenova2023) and figure 4. Importantly, we observe that the most unstable mode for this range of steepness $s$ is either coperiodic with the Stokes wave ($\mu =0$, green dot in figure 4) or has twice its period, i.e. it is subharmonic with $\mu =1/2$ (red dot in figure 4). Figure 4 illustrates two interchanges between these modes. We conjecture that such interchanges recur an infinite number of times as $s\rightarrow s_{lim}$. Note that the difference between $s_{lim}=0.1410634839$ and the steepness in the final panel of figure 4 is approximately $0.000425$ or $0.3\,\%$.
Below we focus on what happens near the origin of the spectral plane as the steepness continues to increase, ever getting closer to its extreme value.
3.3. The Benjamin–Feir instability
We observe that a figure-8 shape in the stability spectrum emerges from the origin when the steepness $s=s_{c,n}$, an extremizer of the velocity. The first three extrema of the velocity appear at the following values:
For small-amplitude waves (i.e. waves with steepness $s$ near $s_{c,0}=0$), the figure-8 corresponds to the well-studied classical Benjamin–Feir, or the modulational instability. In what follows we refer to instabilities manifested through a figure-8 in the spectral plane as Benjamin–Feir instabilities.
We refer to the Benjamin–Feir instability branches starting at steepness $s_{c,n}$ as the $(n+1)$th Benjamin–Feir branch, denoted BFI, BFII, BFIII and so on. Below, we show that eigenvalues on the figure-8 near the origin (for BFII and BFII) give rise to modulational instabilities, as they do for small-amplitude waves, see Benjamin (Reference Benjamin1967) and Whitham (Reference Whitham1967).
All the Benjamin–Feir branches that we compute experience the sequence of changes for increasing steepness described above: they grow in size, their tangents at the origin become vertical followed by pinching off of the figure-8, resulting in the formation of isole on the positive and negative imaginary axis. For each branch BFI, BFII and BFIII, we determine the figure-8 that gives rise to the eigenvalue with the largest real part, i.e. the maximal growth rate, see figure 6. Table 1 displays these values of steepness, the corresponding eigenvalue with maximal real part and its Floquet exponent, for BFI, BFII and BFIII. These computations illustrate that the widest figure-8 (green curves in figure 6) settles down to a universal shape as the extreme wave is approached, since figure 6b and figure 6c appear indistinguishable). The values in table 1 confirm this visual inspection. Further, for BFI, BFII and BFIII, we compute the hourglass shapes resulting from the figure-8s with vertical tangents at the origin, see figure 6. We overlay these shapes in figure 7, plotting the real part of the spectrum as a function of the Floquet parameter. This figure illustrates convergence to a universal hourglass shape as the steepest wave is approached. We conjecture that an infinite number of Benjamin–Feir instability branches exist as the steepest wave is approached and that all of them experience a universal sequence of transitions.
Finally, using the points marked by triangles in figure 6, we examine the eigenfunctions of (2.19). The eigenfunctions related to BFI, BFII and BFIII are visibly different, while their spectra in figures 6 and 7 are, to the eye, indistinguishable. A second observation is that these eigenfunctions are indeed modulational in nature: figure 7 displays $10\ (=1/\mu )$ Stokes wave periods of the eigenfunctions. Although their effect is increasingly localized at the crest in each wave period, there is a more global modulational effect when many periods are considered. Thus, even the BFII and BFIII instabilities, for $\mu$ close to zero, deserve the modulational instability moniker.
3.4. The localized instability
The $n$th oval emerges from the origin of the spectral plane as the steepness increases past $s^{1/2}_n$. We observe that $s^{1/2}_n>s_{h,n}$, the value of the steepness for which the $n$th Benjamin–Feir figure-8 separates from the origin. Thus, prior (i.e. for $s< s^{1/2}_n$) to these ovals emerging from the origin, the spectrum near the origin is confined to the imaginary axis. The primary, secondary and tertiary ovals form at the steepnesses
which correspond to steepnesses at which $4{\rm \pi}$-periodic Stokes waves bifurcate from the primary, $2{\rm \pi}$-periodic wave branch, see Dyachenko & Semenova (Reference Dyachenko and Semenova2023b).
The changing topology of the primary oval for $s>s^{1/2}_1$ is shown in figures 3 and 4. More detail is presented in figure 8. The oval develops for $s_{1}^{1/2} \leq s < s_{H,1}$. The oval stage is followed by a symmetric bean shape with a narrowing neck as steepness approaches $s_{H,1}$. The maximal growth rate associated with the localized instability quickly overtakes the maximal growth rate associated with the Benjamin–Feir isola higher on the imaginary axis, see Deconinck et al. (Reference Deconinck, Dyachenko, Lushnikov and Semenova2023). Shortly before the steepness $s$ reaches $s_{H,1}$, the first extremizer of the Hamiltonian, the remnant of the Benjamin–Feir instability isola merges with the localized instability branch bean, as shown in figure 8(b).
We observe the recurrence of the process described above two more times, for the secondary and tertiary ovals that form at $s=s^{1/2}_2$ and $s=s^{1/2}_3$, respectively. This leads to the conjecture of an infinite number of such recurrences, the $n$th one born at $s=s^{1/2}_n$, leading to the formation of the oval, gradually deforming to a bean shape, which pinches off at $s=s_{H,n}$, after which the resulting lobes move away from the origin along the real axis, ever decreasing in diameter. For $s>s_{H,n}$, the lobes are parameterized by the full range of Floquet exponents $\mu \in [-1/2, 1/2)$. Further, for $s\in (s_{H,n},s_{c,n+1})$ there is no component of the spectrum other than the imaginary axis.
The first two figure-$\infty$s are shown in figure 9. Like the figure-8s, they settle down to a universal shape as $s\rightarrow s_{lim}$. The difference between the real and imaginary parts of these first two figure-$\infty$s as a function of the Floquet exponent never exceeds $10^{-3}$.
Some eigenfunctions associated with the figure-$\infty$ are displayed in figures 10 and 11. For Floquet exponents close to zero (green and gold graphs), the modulational effect of the perturbation is clear from the polar plots. For other Floquet exponents (e.g. red and blue), the perturbation does not have a distinct modulational character. As for other high-amplitude Stokes waves, the localization of the eigenfunction (and thus the perturbation) near the crest of the waves is increasingly pronounced as $s\rightarrow s_{lim}$.
When the oval forms at $s=s_n^{1/2}$, its eigenvalue with largest real part is real and has Floquet exponent $\mu =1/2$, leading to eigenfunctions that have double the period of the Stokes wave. After pinch off, $s>s_{H,n}$, the left-most eigenvalue of the right lobe has $\mu =0$ (coperiodic eigenfunctions). As for the primary lobe, we conjecture that the most unstable mode on the right lobe is either the $\mu =0$ or the $\mu =1/2$ mode, which interchange an infinite number of times as $s\rightarrow s_{lim}$, see Deconinck et al. (Reference Deconinck, Dyachenko, Lushnikov and Semenova2023). As remarked above, the profile of the eigenfunction is strongly localized at the crests of the Stokes wave. Modes with $\mu$ close to 0 have an envelope containing roughly $1/\mu$ periods of the Stokes wave and could be called modulational. However, in contrast to the Benjamin–Feir instabilities, for these instabilities the $\mu =0$ mode itself is unstable. For this reason, we refer to the instabilities emerging from the figure-$\infty$s as localized instabilities.
3.5. The maximal growth rate
We track the maximum growth rate $\gamma$ (i.e. we track the eigenvalues with the largest real part) of the Benjamin–Feir and localized instabilities (plotted in black dotted and solid lines) as a function of the steepness of the Stokes wave in figure 12. The maximum growth rate for BFI, BFII and BFII are presented by green, blue and purple curves, respectively. Steepnesses at which the dominant instability switches from the Benjamin–Feir to the corresponding localized branch are marked by circles. These switches are presented in the corresponding insets. The steepness values where the maximal growth rates for BFI and BFII vanish, correspond to the case where the Benjamin–Feir remnants are absorbed into the localized instabilities.
3.6. The high-frequency instabilities
Since the work presented here focuses on the evolution of the spectrum for increasing steepness in the vicinity of the origin in the spectral plane, we discuss the high-frequency instabilities only briefly. As shown by Deconinck & Oliveras (Reference Deconinck and Oliveras2011) and Creedon et al. (Reference Creedon, Deconinck and Trichtchenko2022), the high-frequency instabilities emanate from purely imaginary double eigenvalues for steepness $s=0$, giving rise to an isola of unstable eigenvalues centred on the imaginary axis, away from the origin. As steepness is increased, these isole may collapse back on the imaginary axis, and new ones may form, see MacKay & Saffman (Reference MacKay and Saffman1986). Unlike the Benjamin–Feir (figure-8s) and localized instability branches (figure-$\infty$s), the high-frequency isole are highly localized in the space of Floquet exponents: indeed, Deconinck & Oliveras (Reference Deconinck and Oliveras2011) show that often a range of Floquet exponents of width no more than $10^{-4}$ parameterizes an isola. This complicates their numerical detection. Figure 13 presents plots of a few high-frequency isole for near-extreme increasing steepness, showing the collapse of one into the imaginary axis. For the top isola plotted, $\mu \in [0.00092,0.00095]$, for the one below $\mu \in [0.00057,0.00059]$. For the two isole on bottom, $\mu \in [0.000251, 0.000294]$ (outer), $\mu \in [0.000263,0.000282]$ (inner). This demonstrates the isole can be captured using our method. A detailed study of the evolution of the high-frequency instabilities as steepness increases is kept for future work.
4. Conclusions
We have presented a numerical exploration of the stability spectrum of Stokes waves near the origin of the spectral plane, focusing on the topological changes in the stability spectrum as the wave steepness grows. The main challenge of the study is due to the non-smooth nature of the extreme Stokes wave, which has a 120$^{\circ }$ corner at its crest. Thus, for waves whose steepness approaches that of this extreme wave, our Fourier-based method requires the use of millions of Fourier modes. Indeed, for the computation of waves with steepness near the third extremizer of the Hamiltonian (see figure 2) nearly $10^7$ Fourier modes are used. To examine the stability of these waves, we linearize about them, resulting in a generalized operator eigenvalue problem. The numerical approximation of this problem results in a generalized matrix eigenvalue problem with matrices of dimension equal to the square of twice the number of Fourier modes used for approximating the underlying Stokes wave, since each component of the perturbation requires a comparable number of Fourier modes to reach the same accuracy. Storing and manipulating such matrices is prohibitive, and our investigations are only possible because of the matrix-free approaches to the conformal mapping formulation, introduced by Dyachenko & Semenova (Reference Dyachenko and Semenova2023a).
In Deconinck et al. (Reference Deconinck, Dyachenko, Lushnikov and Semenova2023) we used this same method to investigate the largest growth rate of perturbations of near-extreme Stokes waves, as a function of their steepness. Among other outcomes, this led to the conclusion that long-lived ocean swell is confined to moderate amplitudes. In this paper, we focus instead on the behaviour of the stability spectrum near the origin of the spectral plane, as the recurring, self-similar behaviour may provide an indication of how the stability of near-extreme Stokes waves may be approached analytically. Specifically, previous work and our numerical explorations lead to the following conjectures.
(i) The Hamiltonian $\mathcal {H}$ and the velocity ${c}$ have an infinite number of local extrema ($s_{H,n}$, $n=1,2,\ldots$ and $s_{c,n}$, $n=0,1,\ldots$, respectively) as the steepness $s$ increases to $s_{lim}$, the steepness of the extreme wave. This conjecture is not new, and the asymptotics of Longuet-Higgins & Fox (Reference Longuet-Higgins and Fox1977, Reference Longuet-Higgins and Fox1978) provide a strong indication as to its validity. We include this conjecture here because all others below depend upon it.
(ii) The maximal instability growth rate approaches infinity as the steepness increases to that of the steepest wave. Convincing evidence for this conjecture is presented by Korotkevich et al. (Reference Korotkevich, Lushnikov, Semenova and Dyachenko2023). This would imply that the Euler water wave problem for the evolution of the extreme Stokes wave is ill posed. This is not a surprise as capillary effects need to be incorporated when the curvature at the crest is too large. This is discussed in more detail by Deconinck et al. (Reference Deconinck, Dyachenko, Lushnikov and Semenova2023).
The conjectures below are a direct outcome of the investigations presented in this paper. A graphical overview of which features occur at which steepness, according to these conjectures, is presented in figure 14.
(iii) As the steepness $s$ increases from 0 to that of the steepest wave, there exists an infinite number of Benjamin–Feir figure-8 instabilities. These emanate from the origin at each extremum $s_{c,n}$, $n=0,1, \ldots$ of the velocity. Upon formation, these figure-8s persist for a range of steepness. After their tangents at the origin become vertical (resulting in an hourglass shape) at steepness $s_{h,n}$, $n=1,2,\ldots$, the figure-8 separates in two lobes on the imaginary axis.
(iv) After the Benjamin–Feir figure-8 separates from the origin, the $n$th oval appears at the origin, for the steepness $s^{1/2}_n$, $n=1,2,\ldots$, corresponding to the period-doubling bifurcation points from the primary branch of Stokes waves.
(v) As the steepness $s$ increases from 0 to that of the extreme wave, there are an infinite number of figure-$\infty$ instabilities. These occur at the origin at each extremum of the Hamiltonian/energy. As the steepness is increased, the figure-$\infty$s detach instantaneously. In other words, the figure-$\infty$ shapes occur only at isolated values of the steepness, for which the Hamiltonian has a local extremum.
(vi) These figure-8s and figure-$\infty$s alternate in their occurrence. Stated differently, the extremizers of the Hamiltonian interlace the extremizers of the velocity.
(vii) For Stokes waves with amplitude greater than that of the first maximizer of the Hamiltonian, the most unstable mode is either superharmonic (coperiodic) or subharmonic with twice the period of the Stokes wave (antiperiodic). Further, there exists an infinite number of interchanges between which of these two modes is dominant. Throughout these interchanges, no other mode is the most unstable. These observations were already discussed by Deconinck et al. (Reference Deconinck, Dyachenko, Lushnikov and Semenova2023).
In the context of the full water wave problem, the present work reveals two primary mechanisms for the breaking of ocean waves: (i) for Stokes waves with $s < s_2=0.12894$ (the steepness at which the dominant instability switches from Benjamin–Feir to the localized branch, the abscissa of the green circle in figure 12), when the unstable envelope of multiple periods of a train of Stokes waves enters the nonlinear stage, a complicated pattern of waves is observed on the free surface. The pattern tends to self-focus leading to the formation of a large unsteady wave whose crest forms a plunging breaker (Clamond et al. Reference Clamond, Francius, Grue and Kharif2006; Onorato et al. Reference Onorato, Residori, Bortolozzo, Montina and Arecchi2013); (ii) for Stokes waves with $s > s_2$, the dynamics of the wave is dominated by the localized instability at the wave crest, see Dyachenko & Newell (Reference Dyachenko and Newell2016), Baker & Xie (Reference Baker and Xie2011) and Duncan (Reference Duncan2001). The localized instability immediately leads to wave breaking of either every other wave crest in the train (if $\mu = 0$ is dominant), or every other crest (if $\mu = 1/2$ is dominant) as discussed by Deconinck et al. (Reference Deconinck, Dyachenko, Lushnikov and Semenova2023). More work is needed to understand the fully nonlinear stage of the many different instabilities computed.
A complete understanding of the stability of Stokes waves with respect to bounded perturbations (see Haragus & Kapitula Reference Haragus and Kapitula2008; Kapitula & Promislow Reference Kapitula and Promislow2013) requires further study of the spectrum of the operators associated with the linearization of the Euler equations governing the dynamics of these perturbed waves. Nonetheless, our study provides numerical evidence that the (quasi)periodic eigenfunctions that we examine, are fundamental to this problem.
Acknowledgements
The authors wish to thank E. Byrnes, D.M. Henderson and P.M. Lushnikov for helpful discussions. Also, the authors thank Frigo & Johnson (Reference Frigo and Johnson2005), the developers of FFTW and the whole GNU project for developing and supporting this important and free software. S.D. thanks the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK, for support and hospitality during the programme ‘Dispersive hydrodynamics’ where work on this paper was partially undertaken. Partial support for A.S. is provided by a PIMS-Simons postdoctoral fellowship.
Declaration of interests
The authors report no conflict of interest.