Open Access
This article is

- freely available
- re-usable

*Fluids*
**2019**,
*4*(1),
2;
https://doi.org/10.3390/fluids4010002

Article

On the Generalized Kinetic Equation for Surface Gravity Waves, Blow-Up and Its Restraint

^{1}

Faculty of Civil and Environmental Engineering, Technion–Israel Institute of Technology, Haifa 32000, Israel

^{2}

Centre for Mathematical Sciences, University of Plymouth, Plymouth PL4 8AA, UK

^{*}

Author to whom correspondence should be addressed.

Received: 29 November 2018 / Accepted: 24 December 2018 / Published: 30 December 2018

## Abstract

**:**

This article is concerned with the non-linear interaction of homogeneous random ocean surface waves. Under this umbrella, numerous kinetic equations have been derived to study the evolution of the spectral action density, each employing slightly different assumptions. Using analytical and numerical tools, and providing exact formulas, we demonstrate that the recently derived generalized kinetic equation exhibits blow up in finite time for certain degenerate quartets of waves. This is discussed in light of the assumptions made in the derivation, and this equation is contrasted with other kinetic equations for the spectral action density.

Keywords:

ocean-waves; non-linear interactions; kinetic equation## 1. Introduction

The dominant non-linear effect on the propagation of surface gravity waves in deep water is due to the resonant and almost resonant four-wave interactions discovered by Phillips [1]. This process of four-wave interaction is succinctly described by the Zakharov equation [2] which is a deterministic model accurate to third order in the wave steepness.

In the continuous case the Zakharov equation is written in terms of complex amplitudes $B(\mathbf{k},t)$ as

$$\frac{\partial {B}_{0}}{\partial t}=-i{\phantom{\rule{0.277778em}{0ex}}\int \int \int \phantom{\rule{0.277778em}{0ex}}}_{-\infty}^{\infty}{T}_{0,1,2,3}\phantom{\rule{0.166667em}{0ex}}{B}_{1}^{*}{B}_{2}{B}_{3}\phantom{\rule{0.166667em}{0ex}}{\delta}_{0+1-2-3}\phantom{\rule{0.166667em}{0ex}}{e}^{i{\mathsf{\Delta}}_{0,1}^{2,3}t}\phantom{\rule{0.166667em}{0ex}}d{\mathbf{k}}_{1}d{\mathbf{k}}_{2}d{\mathbf{k}}_{3}.$$

Here, and elsewhere, subscripts denote a wavenumber component, so ${B}_{i}=B({\mathbf{k}}_{i},t)$. The wavenumber resonance condition for quartets of waves is evident in the delta function ${\delta}_{0+1-2-3}=\delta ({\mathbf{k}}_{0}+{\mathbf{k}}_{1}-{\mathbf{k}}_{2}-{\mathbf{k}}_{3}),$ while the frequency detuning ${\mathsf{\Delta}}_{0,1}^{2,3}={\omega}_{0}+{\omega}_{1}-{\omega}_{2}-{\omega}_{3}$ marks the departure from exact resonance. The asterisk denotes complex conjugation, while the kernel ${T}_{0,1,2,3}=T({\mathbf{k}}_{0},{\mathbf{k}}_{1},{\mathbf{k}}_{2},{\mathbf{k}}_{3})$ is given in Krasitskii [3], and throughout this article the dispersion relation for deep water ${\omega}^{2}=g\left|\mathbf{k}\right|$, is used.

To describe averaged properties of a wave field, a statistical theory of wave evolution was developed in the 1950s. This culminated in Hasselmann’s [4] derivation of what is often called the kinetic equation for water waves, or the Hasselmann equation. This equation describes the time evolution of the wave spectral density due to four-wave interactions in exact resonance.

The Hasselmann equation is derived under three basic premises that, in principle, pose limitations on its applicability. These assumptions are (i) spatial homogeneity and weak non-Gaussianity of the wave field, (ii) slow temporal evolution of the spectral density on a time-scale $\mathcal{O}\left({\epsilon}^{-4}\right)$, for $\epsilon $ a typical wave steepness, and (iii) an assumption of quasi-stationarity for the fourth order cumulants.

One of the consequences of assumption (iii) is that near resonant interactions are ruled out in Hasselmann’s equation. In the deterministic description, near resonant interactions are responsible for the side-band instability of a uniform wave train. Stiassnie and Shemer [5] have further highlighted the equal importance of nearly resonant and exactly resonant interactions for the Zakharov equation. It is therefore desirable to include them in any statistical model.

The limitation imposed by quasi-stationarity was first studied in detail by Janssen [6], who derived a more general form of Hasselmann’s equation. Janssen’s equation essentially modifies (iii) by assuming the wave field to be strictly Gaussian at an arbitrary (but finite) initial time ${t}_{0}$. This has the immediate consequence that a Dirac delta function appearing in Hasselmann’s equation is smeared out into a time dependent term involving the frequency detuning ${\mathsf{\Delta}}_{0,1}^{2,3}$, thereby including near resonant interactions. Although Janssen’s equation includes near-resonant interactions, which leads to a time evolution on the time scale $\mathcal{O}\left({\epsilon}^{-2}\right)$, it still uses a simplification that is justified under assumption (ii).

A simple physical example serves to demonstrate why it is advantageous to dispense with assumption (ii). Assuming a wave of period $T=10$ s and steepness $\epsilon =0.1$ leads to an evolution time–scale ${t}_{4}=T/{\epsilon}^{4}\approx 27.7$ hours. To justify wave evolution under this paradigm, a sea-state must remain spatially homogeneous on such a time-scale, which is clearly an idealization. On the other hand, evolution on a faster time scale ${t}_{2}=T/{\epsilon}^{2}$, or $16.6$ min in the physical example above, would be a more suitable alternative.

A generalization of Janssen’s approach was presented by Annenkov and Shrira [7]. Their result, called the generalized kinetic equation (GKE) is obtained as an intermediate step in the derivation of the kinetic equation, before assumptions (ii) and (iii) are imposed. This results in an equation valid on a fast time scale of order $\mathcal{O}\left({\epsilon}^{-2}\right)$. The equation was further generalized by Gramstad and Stiassnie [8], who also included higher order terms corresponding to the non-linear Stokes correction in their so-called phase averaged equation (PAE). Recently Gramstad and Babanin implemented the GKE, without Stokes’ correction, in the third generation wave model WAVEWATCH-III [9].

The two equations dealt with in what follows will be Janssen’s kinetic equation (henceforth JKE), and the generalized kinetic equation (GKE) of Annenkov and Shrira. While some recent efforts have been focused on the influence of inhomogeneities on the evolution of wave spectra, see Stuhlmeier and Stiassnie [10], thereby dispensing with assumption (i) along lines first suggested by Crawford et al. [11], it is important to put the homogeneous theory on sound footing. Thus, while JKE and GKE both essentially use the spatial homogeneity and weak non-Gaussianity of the wave field, they are differentiated by assumption (ii) on the slow evolution of the wave field. It will be shown that this seemingly small difference has a significant effect on the qualitative behavior of the solutions.

Our main result is that some solutions of the generalized kinetic equation exhibit blow-up. This means that the components of the spectrum tend to infinity in finite time. This raises a red flag on the GKE, as the blow-up is possible for initial conditions that are physically legitimate. Moreover, based only on the initial conditions we characterize when the blow-up occurs. One possible method to circumvent blow-up, by means of phase-mixing, is also explored in the appendix. On the other hand we show that solutions of the JKE always remain bounded, even in cases when there is blow-up in the GKE. Surprisingly, away from blow-up, periodic and bounded solutions of the GKE are qualitatively similar to those of the JKE.

## 2. Theoretical Background

Our starting point is the discrete version of Zakharov’s equation, which assumes that the complex amplitudes can be written as

$$B(\mathbf{k},t)=\sum _{j=1}^{N}{B}_{j}\left(t\right)\delta ({\mathbf{k}}_{j}-\mathbf{k}).$$

Substituting (2) into (1) yields the following system of ordinary differential equations for the discrete complex amplitudes ${B}_{j}$
where ${\delta}_{j,m}^{n,p}$ denotes the Kronecker delta

$$\frac{d}{dt}{B}_{j}=-i\sum _{m,n,p}{T}_{j,m,n,p}\phantom{\rule{0.166667em}{0ex}}{\delta}_{j,m}^{n,p}\phantom{\rule{0.166667em}{0ex}}{e}^{i{\mathsf{\Delta}}_{j,m}^{n,p}t}\phantom{\rule{0.166667em}{0ex}}{B}_{m}^{*}{B}_{n}{B}_{p},$$

$${\delta}_{j,m}^{n,p}=\left\{\begin{array}{c}1\phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}\mathrm{when}\phantom{\rule{4.pt}{0ex}}{\mathbf{k}}_{j}+{\mathbf{k}}_{m}={\mathbf{k}}_{n}+{\mathbf{k}}_{p},\hfill \\ 0\phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}\mathrm{otherwise}.\hfill \end{array}\right.$$

Randomness is introduced by regarding the complex amplitudes as stochastic processes, where $\langle \xb7\rangle $ is used to denote an ensemble average. Assuming that $\langle {B}_{j}\rangle =0$ the next quantities of interest are the second-order moments, the pair correlators. Homogeneity, from assumption (i) above, imposes the following constraint on the correlators
The set of functions ${C}_{j}\left(t\right)$ form the wave-action spectrum and ${\delta}_{i}^{j}$ is the Kronecker delta.

$$\langle {B}_{i}^{*}\left(t\right){B}_{j}\left(t\right)\rangle ={C}_{j}\left(t\right){\delta}_{i}^{j}.$$

The evolution equation for the wave action is found by multiplying (3) by ${B}_{j}^{*}$ and adding its complex conjugate. The resulting equation is
Higher order averages, such as the one appearing on the right hand side of (6), can be decomposed into products of lower order averages as follows
where $\kappa $ is called the fourth-order cumulant. It is well known that all higher-order cumulants vanish for a Gaussian distribution, thus $\kappa $ indicates a deviation from Gaussianity.

$$\frac{d}{dt}{C}_{j}=2\sum _{m,n,p}\phantom{\rule{0.166667em}{0ex}}{T}_{j,m,n,p}\phantom{\rule{0.166667em}{0ex}}{\delta}_{j,m}^{n,p}\phantom{\rule{0.166667em}{0ex}}Im\left[{e}^{i{\mathsf{\Delta}}_{j,m}^{n,p}t}\langle {B}_{j}^{*}{B}_{m}^{*}{B}_{n}{B}_{p}\rangle \right].$$

$$\langle {B}_{j}^{*}{B}_{m}^{*}{B}_{n}{B}_{p}\rangle ={C}_{j}{C}_{m}\left({\delta}_{j}^{n}{\delta}_{m}^{p}+{\delta}_{j}^{p}{\delta}_{m}^{n}\right)+{\kappa}_{j,m,n,p},$$

Substituting (7) into (6), the evolution equation for the wave action becomes
In order to find an equation for $\kappa $ we differentiate the fourth order average as follows
and use (3) in the right hand side of (9) to yield

$$\frac{d}{dt}{C}_{j}=2\sum _{m,n,p}{T}_{j,m,n,p}\phantom{\rule{0.166667em}{0ex}}{\delta}_{j,m}^{n,p}\phantom{\rule{0.166667em}{0ex}}Im\left[{e}^{i{\mathsf{\Delta}}_{j,m}^{n,p}t}{\kappa}_{j,m,n,p}\right].$$

$$\frac{d}{dt}\langle {B}_{j}^{*}{B}_{m}^{*}{B}_{n}{B}_{p}\rangle =\langle \frac{d{B}_{j}^{*}}{dt}{B}_{m}^{*}{B}_{n}{B}_{p}\rangle +\langle {B}_{j}^{*}\frac{d{B}_{m}^{*}}{dt}{B}_{n}{B}_{p}\rangle +\langle {B}_{j}^{*}{B}_{m}^{*}\frac{{B}_{n}}{dt}{B}_{p}\rangle +\langle {B}_{j}^{*}{B}_{m}^{*}{B}_{n}\frac{{B}_{p}}{dt}\rangle ,$$

$$\begin{array}{cc}\hfill \frac{d}{dt}\langle {B}_{j}^{*}{B}_{m}^{*}{B}_{n}{B}_{p}\rangle & =i\sum _{u,v,w}{T}_{j,u,v,w}\phantom{\rule{0.166667em}{0ex}}{\delta}_{j,u}^{v,w}\phantom{\rule{0.166667em}{0ex}}{e}^{-i{\mathsf{\Delta}}_{j,u}^{v,w}t}\phantom{\rule{0.166667em}{0ex}}\langle {B}_{u}{B}_{v}^{*}{B}_{w}^{*}{B}_{m}^{*}{B}_{n}{B}_{p}\rangle \hfill \\ & +i\sum _{u,v,w}{T}_{m,u,v,w}\phantom{\rule{0.166667em}{0ex}}{\delta}_{m,u}^{v,w}\phantom{\rule{0.166667em}{0ex}}{e}^{-i{\mathsf{\Delta}}_{m,u}^{v,w}t}\phantom{\rule{0.166667em}{0ex}}\langle {B}_{j}^{*}{B}_{u}{B}_{v}^{*}{B}_{w}^{*}{B}_{n}{B}_{p}\rangle \hfill \\ & -i\sum _{u,v,w}{T}_{n,u,v,w}\phantom{\rule{0.166667em}{0ex}}{\delta}_{n,u}^{v,w}\phantom{\rule{0.166667em}{0ex}}{e}^{i{\mathsf{\Delta}}_{n,u}^{v,w}t}\phantom{\rule{0.166667em}{0ex}}\langle {B}_{j}^{*}{B}_{m}^{*}{B}_{u}^{*}{B}_{v}{B}_{w}{B}_{p}\rangle \hfill \\ & -i\sum _{u,v,w}{T}_{p,u,v,w}\phantom{\rule{0.166667em}{0ex}}{\delta}_{p,u}^{v,w}\phantom{\rule{0.166667em}{0ex}}{e}^{i{\mathsf{\Delta}}_{p,u}^{v,w}t}\phantom{\rule{0.166667em}{0ex}}\langle {B}_{j}^{*}{B}_{m}^{*}{B}_{n}{B}_{u}^{*}{B}_{v}{B}_{w}\rangle .\hfill \end{array}$$

To close what would otherwise be an infinite hierarchy of equations we invoke the weak non-Gaussianity assumption. Akin to (7), one may decompose the sixth order averages in (10) into products of lower order averages and cumulants, as detailed in Lvov et al [12]. The terms are then ordered with respect to the small parameter $\epsilon $; ${C}_{j}=\mathcal{O}\left({\epsilon}^{2}\right)$ and ${\kappa}_{j,m,n,p}=o\left({\epsilon}^{4}\right)$, as in Gramstad and Stiassnie [8]. Therefore, up to order $\mathcal{O}\left({\epsilon}^{4}\right),$ the decomposition of the averages is
Differentiating (7) with respect to t and using Equation (10) together with (11) for the sixth-order terms we reach the following equation for $\kappa $, valid up to order $\mathcal{O}\left({\epsilon}^{4}\right)$

$$\langle {B}_{j}^{*}{B}_{m}^{*}{B}_{n}^{*}{B}_{p}{B}_{u}{B}_{v}\rangle ={C}_{j}{C}_{m}{C}_{n}\left({\delta}_{j}^{p}({\delta}_{m}^{u}{\delta}_{n}^{v}+{\delta}_{m}^{v}{\delta}_{n}^{u})+{\delta}_{j}^{u}({\delta}_{m}^{v}{\delta}_{n}^{p}+{\delta}_{m}^{p}{\delta}_{n}^{v})+{\delta}_{j}^{v}({\delta}_{m}^{u}{\delta}_{n}^{p}+{\delta}_{m}^{p}{\delta}_{n}^{u})\right).$$

$$\frac{d}{dt}{\kappa}_{j,m,n,p}=2i{T}_{j,m,n,p}\phantom{\rule{0.166667em}{0ex}}{\delta}_{j,m}^{n,p}\phantom{\rule{0.166667em}{0ex}}{e}^{-i{\mathsf{\Delta}}_{j,m}^{n,p}t}\left[{C}_{n}{C}_{p}({C}_{j}+{C}_{m})-{C}_{j}{C}_{m}({C}_{n}+{C}_{p})\right].$$

Equations (8) and (12) form the discrete version of the generalized kinetic equation first derived by Annenkov and Shrira [7] for a continuous wavenumber spectrum. Later, Gramstad and Stiassnie [8] derived their phase-averaged equation, by extending (11) to include terms up to $\mathcal{O}\left({\epsilon}^{6}\right).$ Our focus shall remain on the GKE, rather than the higher order extension.

The GKE contains both Janssen’s and Hasselmann’s kinetic equations. To derive Janssen’s result we set ${\kappa}_{j,m,n,p}\left(0\right)=0$ and integrate Equation (12) from 0 to $t,$ yielding

$${\kappa}_{j,m,n,p}=2i{T}_{j,m,n,p}{\int}_{0}^{t}{e}^{-i{\mathsf{\Delta}}_{j,m}^{n,p}s}\left[{C}_{n}{C}_{p}({C}_{j}+{C}_{m})-{C}_{j}{C}_{n}({C}_{m}+{C}_{p})\right]\phantom{\rule{0.166667em}{0ex}}ds.$$

Now we use assumption (ii). We assume that $\left[{C}_{n}{C}_{p}({C}_{j}+{C}_{m})-{C}_{j}{C}_{n}({C}_{m}+{C}_{p})\right]$ varies slowly in time and we extract it out of the integral to obtain
Substituting (14) into (8) yields a single equation for C:
Equation (15) is the discrete version of Janssen’s kinetic equation (denoted JKE), originally derived in continuous form by Janssen [6].

$${\kappa}_{j,m,n,p}=-2{T}_{j,m,n,p}\left[{C}_{n}{C}_{p}({C}_{j}+{C}_{m})-{C}_{j}{C}_{n}({C}_{m}+{C}_{p})\right]\frac{\left({e}^{-i{\mathsf{\Delta}}_{j,m}^{n,p}t}-1\right)}{{\mathsf{\Delta}}_{j,m}^{n,p}}.$$

$$\frac{d}{dt}{C}_{j}=4\sum _{m,n,p}{T}_{j,m,n,p}^{2}\phantom{\rule{0.166667em}{0ex}}{\delta}_{j,m}^{n,p}\phantom{\rule{0.166667em}{0ex}}\left[{C}_{n}{C}_{p}({C}_{j}+{C}_{m})-{C}_{j}{C}_{n}({C}_{m}+{C}_{p})\right]\frac{sin\left({\mathsf{\Delta}}_{j,m}^{n,p}t\right)}{{\mathsf{\Delta}}_{j,m}^{n,p}}.$$

To elucidate the difference between the JKE (15) and the GKE (8) and (12), it is instructive to consider simple cases with few waves. The fundamental interaction in deep water is between quartets of waves, and the simplest such case consists of three distinct wavenumbers forming a degenerate quartet.

## 3. Formulation for a Degenerate Quartet

A degenerate quartet of waves consists of a discrete wave spectrum of the form
where the wave-vectors ${\mathbf{k}}_{a}$, ${\mathbf{k}}_{b}$ and ${\mathbf{k}}_{c}$ satisfy the relation

$$B(\mathbf{k},t)={B}_{a}\left(t\right)\delta ({\mathbf{k}}_{a}-\mathbf{k})+{B}_{b}\left(t\right)\delta ({\mathbf{k}}_{b}-\mathbf{k})+{B}_{c}\left(t\right)\delta ({\mathbf{k}}_{c}-\mathbf{k}),$$

$$2{\mathbf{k}}_{a}={\mathbf{k}}_{b}+{\mathbf{k}}_{c}.$$

The JKE and GKE thus describe the time evolution of the wave action ${C}_{j}=\langle |{B}_{j}{|}^{2}\rangle $, for $j=a,b,c$. For the GKE (8) and (12), taking all sums over only the three indices $a,\phantom{\rule{0.166667em}{0ex}}b$ and c yields, with the Kronecker delta function (17), the system of coupled ordinary differential equations

$$\begin{array}{cc}\hfill \frac{d}{dt}{C}_{a}& =4{T}_{a,a,b,c}Im\left[{e}^{i{\mathsf{\Delta}}_{a,a}^{b,c}t}{\kappa}_{a,a,b,c}\right],\hfill \end{array}$$

$$\begin{array}{cc}\hfill \frac{d}{dt}{C}_{b}& =-2{T}_{a,a,b,c}Im\left[{e}^{i{\mathsf{\Delta}}_{a,a}^{b,c}t}{\kappa}_{a,a,b,c}\right],\hfill \end{array}$$

$$\begin{array}{cc}\hfill \frac{d}{dt}{C}_{c}& =-2{T}_{a,a,b,c}Im\left[{e}^{i{\mathsf{\Delta}}_{a,a}^{b,c}t}{\kappa}_{a,a,b,c}\right],\hfill \end{array}$$

$$\begin{array}{cc}\hfill \frac{d}{dt}{\kappa}_{a,a,b,c}& =2i{T}_{a,a,b,c}{e}^{-i{\mathsf{\Delta}}_{a,a}^{b,c}t}\left[2{C}_{a}{C}_{b}{C}_{c}-{C}_{a}^{2}\left({C}_{b}+{C}_{c}\right)\right].\hfill \end{array}$$

Likewise, the JKE (15) reduces to the following system of equations for the discrete wave action spectrum (16)

$$\begin{array}{cc}\hfill \frac{d}{dt}{C}_{a}& =16{T}_{a,a,b,c}^{2}\left[{C}_{a}{C}_{b}{C}_{c}-\frac{1}{2}{C}_{a}^{2}({C}_{b}+{C}_{c})\right]\frac{sin\left({\mathsf{\Delta}}_{a,a}^{b,c}t\right)}{{\mathsf{\Delta}}_{a,a}^{b,c}},\hfill \end{array}$$

$$\begin{array}{cc}\hfill \frac{d}{dt}{C}_{b}& =-8{T}_{a,a,b,c}^{2}\left[{C}_{a}{C}_{b}{C}_{c}-\frac{1}{2}{C}_{a}^{2}({C}_{b}+{C}_{c})\right]\frac{sin\left({\mathsf{\Delta}}_{a,a}^{b,c}t\right)}{{\mathsf{\Delta}}_{a,a}^{b,c}},\hfill \end{array}$$

$$\begin{array}{cc}\hfill \frac{d}{dt}{C}_{c}& =-8{T}_{a,a,b,c}^{2}\left[{C}_{a}{C}_{b}{C}_{c}-\frac{1}{2}{C}_{a}^{2}({C}_{b}+{C}_{c})\right]\frac{sin\left({\mathsf{\Delta}}_{a,a}^{b,c}t\right)}{{\mathsf{\Delta}}_{a,a}^{b,c}}.\hfill \end{array}$$

## 4. Analytic Solution for the GKE

In this section we study the initial value problem associated with the system of equations (18)–(21). We begin by defining an auxiliary real function $Z\left(t\right)$ as the solution to the initial value problem
with $Z\left(0\right)=0$. All subsequent calculations are based on the degenerate quartet, so we will omit subscripts and denote $\mathsf{\Delta}={\mathsf{\Delta}}_{a,a}^{b,c}$, $\kappa ={\kappa}_{a,a,b,c}$ and $T={T}_{a,a,b,c}$ where there is no risk of confusion.

$$\frac{dZ}{dt}=Im\left[{e}^{i\mathsf{\Delta}t}\kappa \right],$$

In terms of $Z,$ Equation (18)–(20) simplify to
Denoting the initial values by ${C}_{a}\left(0\right)={\rho}_{a}$, ${C}_{b}\left(0\right)={\rho}_{b}$ and ${C}_{c}\left(0\right)={\rho}_{c}$ and integrating in time we find an expression for ${C}_{j}$ in terms of Z:
Our goal is to find an equation that determines $Z\left(t\right)$. To this end we define a further auxiliary real function

$$\frac{d}{dt}{C}_{a}=-2\frac{d}{dt}{C}_{b}=-2\frac{d}{dt}{C}_{b}=4T\frac{d}{dt}Z.$$

$$\begin{array}{cc}\hfill {C}_{a}\left(t\right)& ={\rho}_{a}+4TZ,\hfill \end{array}$$

$$\begin{array}{cc}\hfill {C}_{b}\left(t\right)& ={\rho}_{b}-2TZ,\hfill \end{array}$$

$$\begin{array}{cc}\hfill {C}_{c}\left(t\right)& ={\rho}_{c}-2TZ.\hfill \end{array}$$

$$W=Re\left[{e}^{i\mathsf{\Delta}t}\kappa \right].$$

Differentiating in time and using (21) yields
which becomes, after integration,
where $\kappa \left(0\right)={\kappa}_{0}$. Taking the time derivative of (25) yields
Now we use Equations (27)–(29) to express the right hand side of (33) in terms of Z. The resulting equation has the form
where the coefficients of ${P}_{3}$ are:

$$\frac{d}{dt}W=-\mathsf{\Delta}Im\left[{e}^{i\mathsf{\Delta}t}\kappa \right]+Re\left[4iT\left[{C}_{a}{C}_{b}{C}_{c}-\frac{1}{2}{C}_{a}^{2}\left({C}_{b}+{C}_{c}\right)\right]\right]=-\mathsf{\Delta}\frac{d}{dt}Z,$$

$$W=Re\left[{\kappa}_{0}\right]-\mathsf{\Delta}Z,$$

$$\frac{{d}^{2}Z}{d{t}^{2}}=\mathsf{\Delta}W+4T\left[{C}_{a}{C}_{b}{C}_{c}-\frac{1}{2}{C}_{a}^{2}({C}_{b}+{C}_{c})\right].$$

$$\frac{{d}^{2}Z}{d{t}^{2}}={P}_{3}\left(Z\right)={b}_{0}+{b}_{1}Z+{b}_{2}{Z}^{2}+{b}_{3}{Z}^{3},$$

$$\begin{array}{cc}\hfill {b}_{0}& =\mathsf{\Delta}Re\left[{\kappa}_{0}\right]+4T\left[{\rho}_{a}{\rho}_{b}{\rho}_{c}-\frac{1}{2}{\rho}_{a}^{2}({\rho}_{b}+{\rho}_{c})\right],\hfill \end{array}$$

$$\begin{array}{cc}\hfill {b}_{1}& =-{\mathsf{\Delta}}^{2}+4{T}^{2}\left[4{\rho}_{b}{\rho}_{c}-6{\rho}_{a}{\rho}_{b}-6{\rho}_{a}{\rho}_{c}+2{\rho}_{a}^{2}\right],\hfill \end{array}$$

$$\begin{array}{cc}\hfill {b}_{2}& =4{T}^{3}\left[20{\rho}_{a}-16{\rho}_{b}-16{\rho}_{c}\right],\hfill \end{array}$$

$$\begin{array}{cc}\hfill {b}_{3}& =192{T}^{4}.\hfill \end{array}$$

We multiply both sides of (34) by $dZ/dt$ and integrate
obtaining a non-linear first order differential equation for Z
The coefficients of ${P}_{4}$ are:

$${\left(\frac{dZ}{dt}\right)}^{2}=2{\int}_{0}^{t}{P}_{3}\left(Z\right)\frac{d}{dt}Zdt=2{\int}_{0}^{Z}{P}_{3}\left(z\right)dz,$$

$${\left(\frac{dZ}{dt}\right)}^{2}={P}_{4}\left(Z\right)={c}_{0}+{c}_{1}Z+{c}_{2}{Z}^{2}+{c}_{3}{Z}^{3}+{c}_{4}{Z}^{4}.$$

$$\begin{array}{cc}\hfill {c}_{0}& ={\left(Im\left[{\kappa}_{0}\right]\right)}^{2},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {c}_{1}& =2{b}_{0},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {c}_{2}& ={b}_{1},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {c}_{3}& =\frac{2}{3}{b}_{2},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {c}_{4}& =\frac{1}{2}{b}_{3}.\hfill \end{array}$$

#### 4.1. Analytical Solution for Z

We assume that ${\kappa}_{0}$ is real, so that 0 is always a root of ${P}_{4}$ (see (41)) and we are able to factor ${P}_{4}$ as
where ${Q}_{3}\left(Z\right)$ is a cubic polynomial of the form
with coefficients given by (42)–(45) (note that the JKE is derived assuming ${\kappa}_{0}=0$ (see (13)), and for a consistent comparison this initial condition is used in all subsequent examples).

$${P}_{4}\left(Z\right)=Z{Q}_{3}\left(Z\right),$$

$${Q}_{3}\left(Z\right)={c}_{1}+{c}_{2}Z+{c}_{3}{Z}^{2}+{c}_{4}{Z}^{3}$$

It is known that the nature of the roots of a third order polynomial is determined by the sign of the following discriminant

$$D=18{c}_{4}{c}_{3}{c}_{2}{c}_{1}-4{c}_{3}^{3}{c}_{1}+{c}_{3}^{2}{c}_{2}^{2}-4{c}_{4}{c}_{2}^{3}-27{c}_{4}^{2}{c}_{1}^{2}.$$

If $D>0$ then all non-zero roots of ${P}_{4}$ are real and distinct. If $D=0$ then ${P}_{4}$ has a multiple non-zero real root. If $D<0$ then ${P}_{4}$ has two real roots and two complex conjugate roots. We refer to [13] for a detailed exposition about the discriminant of a cubic polynomial, and formula (48). Knowing the roots of ${P}_{3}$ allows us to find exact formulas for the solution of (40).

#### 4.1.1. Case $D>0$

In all cases of interest, when $D>0$, the roots of ${P}_{4}$ can be written from largest to smallest as ${Z}_{4}>{Z}_{3}=0>{Z}_{2}>{Z}_{1}$. Therefore the solution of (40) can be found by inverting the integral
by applying formulas $\left(254.00\right)$ of Byrd and Friedman [14]. Let
be the modulus of the Jacobian elliptic functions sn, cn and dn. Also let

$$t={\int}_{0}^{Z}\frac{dz}{\sqrt{{P}_{4}\left(z\right)}}=-{\int}_{Z}^{0}\frac{dz}{\sqrt{{P}_{4}\left(z\right)}}={\int}_{{Z}_{2}}^{Z}\frac{dz}{\sqrt{{P}_{4}\left(z\right)}}-{\int}_{{Z}_{2}}^{0}\frac{dz}{\sqrt{{P}_{4}\left(z\right)}},$$

$${K}^{2}=\frac{{Z}_{2}({Z}_{4}-{Z}_{1})}{{Z}_{1}({Z}_{4}-{Z}_{2})},$$

$$\begin{array}{ccc}\hfill \gamma & =& \frac{2}{\sqrt{-({Z}_{4}-{Z}_{2}){Z}_{1}}},\hfill \end{array}$$

$$\begin{array}{ccc}\hfill sin\left(\varphi \right)& =& \sqrt{\frac{{Z}_{1}(Z-{Z}_{3})}{{Z}_{3}(Z-{Z}_{1})}}.\hfill \end{array}$$

Then
where ${sn}^{-1}$ is the inverse of sn. In term of u the inverse of (49) is
We point out that the denominator of (54) never vanishes because ${Z}_{1}/{Z}_{2}>1$ whereas $|{sn}^{2}(u,K)|\le 1$. Finally we compute the value of $sn(u,K)$ by means of addition formulas for elliptic functions. The resulting expression is

$${sn}^{-1}(sin\left(\varphi \right),K)={sn}^{-1}(1,K)+{c}_{4}^{1/2}\frac{t}{\gamma}=u,$$

$$Z=\frac{{Z}_{2}{Z}_{1}({sn}^{2}(u,K)-1)}{{Z}_{2}{sn}^{2}(u,K)-{Z}_{1}},$$

$$sn(u,K)=\frac{cn({c}_{4}^{1/2}t/\gamma ,K)dn({c}_{4}^{1/2}t/\gamma ,K)}{1-{K}^{2}{sn}^{2}({c}_{4}^{1/2}t/\gamma ,K)}.$$

The solution of (40), given by (54), is a bounded and periodic function of time with period
where $\mathcal{K}$ is the complete elliptic integral of the first kind. The qualitative behavior of the solution is shown in the left panel of Figure 1. The function $Z\left(t\right)$ oscillates back and forth between the roots ${Z}_{2}$ and ${Z}_{3}$ of the polynomial, starting from the initial value ${Z}_{3}=0$.

$$T=\frac{2\gamma {sn}^{-1}(1,K)}{{c}_{4}^{1/2}}=\frac{2\gamma}{{c}_{4}^{1/2}}\mathcal{K}\left(K\right),$$

#### 4.1.2. Case $D\le 0$

In this case let ${Z}_{3}$, ${Z}_{3}^{*}$, ${Z}_{1}=0<{Z}_{2}$ be the roots of ${P}_{4}$. Notice that $D<0$ if and only if $Im\left[{Z}_{3}\right]\ne 0$ and $D=0$ if and only if $Im\left[{Z}_{3}\right]=0$. In either case the solution of (40) is found by inverting the integral

$$t={\int}_{0}^{Z}\frac{dz}{\sqrt{{P}_{4}\left(z\right)}}.$$

The value of (57) is found by applying formulas $\left(260.00\right)$ of Byrd and Friedman [14]. Let
be the elliptic modulus and define the parameters

$${K}^{2}=\frac{{\left(|{Z}_{3}|+|{Z}_{2}+{Z}_{3}|\right)}^{2}-{Z}_{2}^{2}}{4|{Z}_{3}\left|\right|{Z}_{2}+{Z}_{3}|},$$

$$\begin{array}{ccc}\hfill \gamma & =& \frac{1}{\sqrt{|{Z}_{3}\left|\right|{Z}_{2}+{Z}_{3}|}},\hfill \end{array}$$

$$\begin{array}{ccc}\hfill cos\left(\varphi \right)& =& \frac{\left(\right|{Z}_{3}|-|{Z}_{2}+{Z}_{3}\left|\right)Z-{Z}_{2}\left|{Z}_{3}\right|}{\left(\right|{Z}_{3}|+|{Z}_{2}+{Z}_{3}\left|\right)Z-{Z}_{2}\left|{Z}_{3}\right|}.\hfill \end{array}$$

Then

$${cn}^{-1}(cos\left(\varphi \right),K)=-{c}_{4}^{1/2}\frac{t}{\gamma}=u.$$

We invert this relation to find Z as a function of t

$$Z=\frac{{Z}_{2}\left|{Z}_{3}\right|(1-cn(u,K))}{\left(\right|{Z}_{3}|-|{Z}_{2}+{Z}_{3}\left|\right)-\left(\right|{Z}_{3}|+|{Z}_{2}+{Z}_{3}\left|\right)cn(u,K)}.$$

In this case we expect the solution to blow up when the denominator of (62) vanishes. The critical time ${T}_{\infty}$ when this happens is

$${T}_{\infty}=\frac{\gamma}{{c}_{4}^{1/2}}{cn}^{-1}\left(\frac{|{Z}_{3}|-|{Z}_{2}+{Z}_{3}|}{|{Z}_{3}|+|{Z}_{2}+{Z}_{3}|},K\right).$$

In the right panel of Figure 1 we show a schematic representation of the blow-up in terms of the roots of the quartic polynomial. The function $Z\left(t\right),$ initially at the root ${Z}_{1}=0,$ tends towards $-\infty $ as t goes from 0 to ${T}_{\infty}$.

## 5. Analytic Solution of JKE

Our analysis for the JKE follows the steps of the previous section. First we reduce the three coupled Equations (22)–(24) to a single equation for a new auxiliary function. To this end, let $z\left(t\right)$ be the solution of the initial value problem
with $z\left(0\right)=0$. The relationship between z and C is given by (27)–(29), as in Section 4. This is substituted into the right-hand side of (64) to obtain the following equation for z
where ${P}_{3}\left(z\right)$ is a third order polynomial
with coefficients

$$\frac{dz}{dt}=4T\left[{C}_{a}{C}_{b}{C}_{c}-\frac{1}{2}{C}_{a}^{2}({C}_{b}+{C}_{c})\right]\frac{sin\left(\mathsf{\Delta}t\right)}{\mathsf{\Delta}},$$

$$\frac{dz}{dt}={P}_{3}\left(z\right)\frac{sin\left(\mathsf{\Delta}t\right)}{\mathsf{\Delta}},$$

$${P}_{3}\left(z\right)={d}_{0}+{d}_{1}z+{d}_{2}{z}^{2}+{d}_{3}{z}^{3},$$

$$\begin{array}{cc}\hfill {d}_{0}& =4T\left[{\rho}_{a}{\rho}_{b}{\rho}_{c}-\frac{1}{2}{\rho}_{a}^{2}({\rho}_{b}+{\rho}_{c})\right],\hfill \end{array}$$

$$\begin{array}{cc}\hfill {d}_{1}& =4{T}^{2}\left[4{\rho}_{b}{\rho}_{c}-6{\rho}_{a}{\rho}_{b}-6{\rho}_{a}{\rho}_{c}+2{\rho}_{a}^{2}\right],\hfill \end{array}$$

$$\begin{array}{cc}\hfill {d}_{2}& =4{T}^{3}\left[20{\rho}_{a}-16{\rho}_{b}-16{\rho}_{c}\right],\hfill \end{array}$$

$$\begin{array}{cc}\hfill {d}_{3}& =192{T}^{4}.\hfill \end{array}$$

Let ${\lambda}_{1}<{\lambda}_{2}<{\lambda}_{3}$ be the roots of ${P}_{3}$. Notice that $z\left(t\right)={\lambda}_{i}$, for $i=1,2,3$, satisfies Equation (65). Moreover if ${\lambda}_{2}<0<{\lambda}_{3}$, then for all time t, ${\lambda}_{2}<z\left(t\right)<{\lambda}_{3}$. The subsequent analysis will be restricted to those cases encountered for physically relevant initial conditions—namely where ${P}_{3}$ has two negative roots and one positive root.

We integrate Equation (65) to obtain
with exponents

$${\left(\frac{z-{\lambda}_{1}}{{\lambda}_{1}}\right)}^{{\gamma}_{1}}{\left(\frac{z-{\lambda}_{2}}{{\lambda}_{2}}\right)}^{{\gamma}_{2}}{\left(\frac{{\lambda}_{3}-z}{{\lambda}_{3}}\right)}^{{\gamma}_{3}}=exp\left[\frac{{d}_{3}}{{\mathsf{\Delta}}^{2}}\left(1-cos\left(\mathsf{\Delta}t\right)\right)\right],$$

$$\begin{array}{cc}\hfill {\gamma}_{1}& =\frac{1}{({\lambda}_{1}-{\lambda}_{2})({\lambda}_{1}-{\lambda}_{3})}>0,\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\gamma}_{2}& =\frac{1}{({\lambda}_{2}-{\lambda}_{1})({\lambda}_{2}-{\lambda}_{3})}<0,\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\gamma}_{3}& =\frac{1}{({\lambda}_{3}-{\lambda}_{1})({\lambda}_{3}-{\lambda}_{2})}>0.\hfill \end{array}$$

Equation (71) defines $z\left(t\right)$ implicitly. Nevertheless it shows that $z\left(t\right)$ has period $T=2\pi /\mathsf{\Delta}$. In case of exact resonance we take the limit as $\mathsf{\Delta}\to 0,$ obtaining

$${\left(\frac{z-{\lambda}_{1}}{{\lambda}_{1}}\right)}^{{\gamma}_{1}}{\left(\frac{z-{\lambda}_{2}}{{\lambda}_{2}}\right)}^{{\gamma}_{2}}{\left(\frac{{\lambda}_{3}-z}{{\lambda}_{3}}\right)}^{{\gamma}_{3}}=exp\left[\frac{{d}_{3}}{2}{t}^{2}\right].$$

This shows that in exact resonance conditions the solution is no longer periodic, but instead converges to the root ${\lambda}_{2}$.

## 6. List of Examples

In the following examples we consider three waves of the form ${\mathbf{k}}_{a}={k}_{0}(1,0)$, ${\mathbf{k}}_{b}={k}_{0}(1+p,q)$ and ${\mathbf{k}}_{c}={k}_{0}(1-p,-q)$ and, following Stuhlmeier and Stiassnie [10], we assume that the initial complex amplitudes are independent, Gaussian random variables, written as
where the real amplitudes ${\beta}_{j}$ are Rayleigh distributed and the phases ${\varphi}_{j}$ are uniformly distributed over the interval $[0,2\pi )$.

$${B}_{j}\left(0\right)={\beta}_{j}{e}^{i{\varphi}_{j}},$$

Under these assumptions we have
and we relate the average value of ${\beta}_{j}$ to the wave amplitude by
where ${\epsilon}_{j}$ are the wave slopes. Finally we set ${\kappa}_{a,a,b,c}\left(0\right)=0,$ in order to have consistent initial conditions with which to compare GKE and JKE. In all calculations we take ${k}_{0}=1$ m${}^{-1}$, $g=9.81$ m s${}^{-2}$ and the period of the wave ${\mathbf{k}}_{a}$ is ${T}_{a}=2\pi /\sqrt{g{k}_{0}}\approx 2.01$ s.

$${C}_{j}\left(0\right)=\langle |{B}_{j}\left(0\right){|}^{2}\rangle =\langle {\beta}_{j}^{2}\rangle =\frac{4}{\pi}{\langle {\beta}_{j}\rangle}^{2},$$

$$\langle {\beta}_{j}\rangle =\frac{\pi {\epsilon}_{j}}{|{\mathbf{k}}_{j}|}\sqrt{\frac{\pi g}{2{\omega}_{j}}},\phantom{\rule{4.pt}{0ex}}\mathrm{so}\phantom{\rule{4.pt}{0ex}}\mathrm{that}\phantom{\rule{4.pt}{0ex}}{C}_{j}=2g{\pi}^{2}\frac{{\epsilon}_{j}^{2}}{|{\mathbf{k}}_{j}{|}^{2}{\omega}_{j}},$$

We shall consider four particular initial conditions below. In cases

**a**and**b**we initially assume that the waves are collinear ($q=0$) and fix the steepness ${\epsilon}_{a}=0.15$ of the wave ${\mathbf{k}}_{a}$. Then we take $\u03f5={\epsilon}_{b}={\epsilon}_{c}$ to be the steepness of the waves ${\mathbf{k}}_{b}$ and ${\mathbf{k}}_{c}$. In cases**c**and**d**the wave slopes are fixed ${\epsilon}_{a}=0.15$, ${\epsilon}_{b}=0.05$ and ${\epsilon}_{c}=0$ and we explore the nature of the solutions in the $(p,q)$-plane. Notice that $q\ne 0$ implies a two-dimensional disturbance. We recall that while solutions to the JKE are periodic, the behavior of the GKE is determined by the initial conditions via the discriminant D given in (48). To visualize how wave slope and wavenumber impact the solutions of the GKE, the sign of D is plotted in Figure 2. It establishes when the solutions remain bounded $(D>0)$ or tend to infinity in finite time $(D\le 0)$.## 7. Comparison between GKE and JKE—Blow Up

We compare the solutions of the GKE with those of the JKE for cases

**a**and**c**(see Table 1), shown as triangles in Figure 2. Figure 3 shows the time evolution of case**a**. In the upper panel we see the solution of the GKE that tends to infinity as time approaches ${T}_{\infty}=100.02$ s, see (63). The solution becomes physically meaningless as ${C}_{b}$ and ${C}_{c}$ become negative, prior to the critical time. On the other hand the solution of the JKE, on the lower panel of Figure 3 remains bounded, and is periodic with period $T=3207.19$ s. Adopting the notation ${t}_{n}=(2\pi /{\omega}_{a})/{\epsilon}_{a}^{n}$ for the time scales we see that the blow-up occurs at $\mathcal{O}\left({t}_{2}\right)$. The corresponding evolution for the JKE looks initially similar, but settles down to near equipartition of wave action, before eventually exhibiting periodicity on a time scale $\mathcal{O}\left({t}_{4}\right).$The time evolution for case

**c**is shown in Figure 4. The upper panel shows blow-up for the solution of the GKE. The critical time is ${T}_{\infty}=89.80$ s. This non-physical behavior is similar to case**a**(above) and occurs on the same time scale $\mathcal{O}\left({t}_{2}\right)$.On the lower panel we have the solution of the JKE. The system also reaches a state where the energy among the three wavenumbers is similar, at a time of $\mathcal{O}\left({t}_{2}\right)$, and is periodic and bounded with a period $T=390.19$ s which is of order $\mathcal{O}\left({t}_{3}\right)$.

According to Hasselmann’s kinetic equation the time evolution of the wave action depends only on exact resonant waves. With the settings of cases

**c**and**d**it is possible to have triads that are in exact resonance. The dashed line on the right panel of Figure 2 shows such triads. According to the GKE the time evolution of exact resonant triads blows up.## 8. Comparison between GKE and JKE—Bounded Solutions

Having studied cases with $D<0,$ it is instructive to compare the solutions of the GKE with those of the JKE for the cases

**b**and**d**where both are periodic and bounded. These cases are depicted by squares $(p=0.2,\u03f5=0.01)$ and $(p=0.32,q=0.05)$ in Figure 2.Figure 5 shows the time evolution for case

**b**. The upper panel shows the solution of the GKE with period $T=192.51$ s, see (56), while the lower panel shows the solution of the JKE with a period of $T=198.07$ s. In both cases the period of the solution is $\mathcal{O}\left({t}_{2}\right)$ and the qualitative behavior of both solutions is rather similar.In Figure 5 one can see behavior similar to the stochastic Fermi-Pasta-Ulam recurrence (FPU recurrence), which is usually related to the long time behavior of the deterministic Benjamin-Feir instability. Details of the FPU recurrence can be found in Stiassnie and Kroszynski [15]. For stochastic recurrence derived from the Alber equation see Stiassnie, Regev and Agnon [16].

Case

**d**, depicted in Figure 6, shows considerable similarity between the solutions of the GKE and solutions of the JKE. The periods are $T=94.22$ s for the GKE and $T=80.42$ s for JKE, both of $\mathcal{O}\left({t}_{2}\right)$.## 9. Discussion and Concluding Remarks

#### 9.1. Time Scales

In Hasselmann’s kinetic equation it is assumed that the wave field evolves on the slow time scale $\mathcal{O}\left({t}_{4}\right),$ and only exactly resonant quartets are taken into account. In all of the examples presented here the degenerated quartet of waves is in near resonance, as indicated by the value of the detuning ${\mathsf{\Delta}}_{a,a}^{b,c}$ in Table 1. According to the exactly resonant kinetic theory there should be no temporal evolution for such initial data, which in turn is consistent with the assumption that the wave field can be described entirely on the slow ${t}_{4}$ scale.

As pointed out by Janssen, the solutions of the JKE (15) capture changes that happen on the much faster time-scale ${t}_{2}$. Indeed, all of our simulations show an initial monotonic evolution on this ${t}_{2}$ scale. Nevertheless the period $T=2\pi /\mathsf{\Delta}$, with $\mathsf{\Delta}$ given in Table 1, is of $\mathcal{O}\left({t}_{4}\right)$ for case

**a**, $\mathcal{O}\left({t}_{3}\right)$ for case**c**and $\mathcal{O}\left({t}_{2}\right)$ for cases**b**and**d**.#### 9.2. Assumption (i), Weak Non-Gaussianity

Both the GKE and the JKE are derived using the ordering assumption, in Equation (7), that ${C}_{j}=\mathcal{O}\left({\epsilon}^{2}\right)$ and $\kappa =o\left({\epsilon}^{4}\right)$, where $\epsilon $ is a typical wave steepness. In order to verify this assumption we compute the following ratio
in all the examples presented here.

$$\delta =\frac{\underset{0\le t\le 1000}{max}\left|{\kappa}_{a,a,b,c}\right|}{{C}_{a}^{2}\left(0\right)},$$

The results are summarized in Table 2. Note that ${\epsilon}_{a}=0.15$ and that for all cases $\delta =\mathcal{O}\left({\epsilon}_{a}\right)$. Hence the computed results support the ordering of the cumulants in terms of $\epsilon .$

#### 9.3. Assumption (ii), Slow Temporal Evolution

The key difference between the JKE and GKE is assumption (ii), that ${C}_{a}{C}_{b}{C}_{c}-{C}_{a}^{2}({C}_{b}+{C}_{c})/2$ varies slowly compared with $exp\left(i{\mathsf{\Delta}}_{a,a}^{b,c}t\right)$. In fact, our numerical simulations with the JKE show that in cases

**a**and**c**the period of ${C}_{a}{C}_{b}{C}_{c}-{C}_{a}^{2}({C}_{b}+{C}_{c})/2$ is of the order of $\mathcal{O}\left({t}_{4}\right)$ and $\mathcal{O}\left({t}_{3}\right)$ respectively, although there are some rapid changes on the scale $\mathcal{O}\left({t}_{2}\right)$.In cases

**b**and**d**${C}_{a}{C}_{b}{C}_{c}-{C}_{a}^{2}({C}_{b}+{C}_{c})/2$ has variations on the $\mathcal{O}\left({t}_{2}\right)$ scale, which is also the time scale of their period. Note that the solution of the JKE has the same period as the oscillatory term ${e}^{i{\mathsf{\Delta}}_{a,a}^{b,c}t}$, see formula (71). This contradicts assumption (ii) for the JKE. Nevertheless, the surprising agreement between the GKE and the JKE in cases**b**and**d**suggests that the approximation may be valid, but it is not clear at this stage how it could be justified.#### 9.4. Numerical Computations

As mentioned in Section 5, Equation (71) was not used to compute solutions of the JKE because it is practically simpler to integrate the JKE numerically. However, for case

**c**, (71) was used as a consistency check.We used the numerical solution for ${C}_{a}$, ${C}_{b}$ and ${C}_{c}$ and through relations (27)–(29) obtained $z\left(t\right)$ as
which was used to compute both sides of (71). We subsequently measured the relative error at each time step, and found it always to be below $2.91\times {10}^{-6}$.

$$z\left(t\right)=\frac{{C}_{a}-2{C}_{b}-2{C}_{c}}{12{T}_{a,a,b,c}\left({\rho}_{a}-2{\rho}_{b}-2{\rho}_{c}\right)},$$

For the GKE the exact formulas (54) and (62) can be used directly to obtain the time evolution of the system. However, for completeness’ sake, we also considered a direct numerical integration of (18)–(21) using MATLAB ode15s as before. For the bounded cases

**b**and**d**we obtained a relative error between the exact and the numerical solutions below $2.8\times {10}^{-8}$ and $6.1\times {10}^{-10}$ at each time step from 0 to 1000 s, respectively. For the unbounded cases**a**and**c**we measured the difference at each time step between 0 and ${t}_{f}={T}_{\infty}-1$ s, which exhibited a relative error of $1.9\times {10}^{-8}$ for case**a**and $2.8\times {10}^{-9}$ for case**c**.#### 9.5. Conclusions

At this stage blow-up in the GKE seems unavoidable, although it has hitherto not been reported in studies applying the GKE to wave-fields with many modes. For degenerate quartets and given initial data, the roots of the polynomial ${P}_{4}$ determine the nature of the solutions of the GKE, but there is no clear physical distinction, in terms of wave slope or wave number, that would enable one to distinguish bounded cases from those which blow-up. It seems further study is warranted before a clear successor to Hasselmann’s kinetic equation, which incorporates near-resonant interactions, can be identified.

## Author Contributions

Conceptualization, D.A. and M.S.; methodology, D.A., M.S. and R.S.; investigation, D.A., R.S. and M.S.; writing–original draft preparation, D.A.; writing–review and editing, D.A., M.S., and R.S.; funding acquisition, M.S.

## Funding

This research was supported by the Israel Science Foundation (Grant $261/17$).

## Conflicts of Interest

The authors declare no conflict of interest.

## Appendix A

A possible mechanism to circumvent blow-up for solutions to the GKE lies in the phase-mixing approach developed by Gramstad and Stiassnie [8], and further employed by Gramstad and Babanin [9]. This essentially consists in finding piece-wise solutions of the GKE.

The time interval is divided into smaller subintervals of the form ${t}_{0}<{t}_{1}<\dots <{t}_{f}$ and the solution is found by solving GKE on every interval with initial values ${\rho}_{j}={C}_{j}\left({t}_{i}\right)$ and ${\kappa}_{j,m,n,p}\left({t}_{i}\right)=0,$ effectively re-imposing the quasi-stationarity assumption (iii) at various points in the time evolution. The resulting piece-wise solution is continuous for ${C}_{j}$ and discontinuous for $\kappa $.

We use the phase-mixing to overcome blow-up as follows: we divide the time interval of our simulations into $0<{t}_{1}<{t}_{f}=1000$ s where ${t}_{1}$ is the earliest time that one of the wave action terms becomes zero. Then we reset the value of ${\kappa}_{a,a,b,c}\left({t}_{1}\right)$ to zero and solve the GKE using new initial conditions ${C}_{j}\left({t}_{1}\right)$. This reinitialization of the cumulant can be justified for vanishing ${C}_{j}$. If ${C}_{j}=0$ at time ${t}_{1},$ the underlying random variable ${B}_{j}\left({t}_{1}\right)$ must vanish as well, which implies that any higher order moment involving ${B}_{j}$ must also vanish. It then follows from the definition of $\kappa $, Equation (7), that ${\kappa}_{a,a,b,c}\left({t}_{1}\right)=0$.

In cases

**a**and**c**only one reinitialization is needed to obtain bounded solutions, as shown in Figure A1 and Figure A2. Subsequent to the phase-mixing at ${t}_{1}$ the solutions are bounded and periodic with periods $T=502.3$ s and $T=536.3$ s respectively, both within the time scale $\mathcal{O}\left({t}_{3}\right)$.**Figure A1.**Upper panel: Solution of the GKE showing ${C}_{a}$ in blue, ${C}_{b}$ in yellow (circles) and ${C}_{c}$ in red (asterisks) for case

**a**$(p=0.05,\u03f5=0.01),$ extended by phase-mixing at time ${t}_{1}=72.38$ s. Lower panel: Time evolution of ${\kappa}_{a,a,b,c}$. The real part of ${\kappa}_{a,a,b,c}$ is shown in blue and the imaginary part of ${\kappa}_{a,a,b,c}$ in red (asterisks). In all cases, solid lines denote the solution before phase-mixing, dashed lines subsequent to phase mixing. The time t is in seconds.

**Figure A2.**Upper panel: Solution of the GKE showing ${C}_{a}$ in blue, ${C}_{b}$ in yellow (circles) and ${C}_{c}$ in red (asterisks) for case

**c**$(p=0.16,\phantom{\rule{0.166667em}{0ex}}q=0.05),$ extended by phase-mixing at time ${t}_{1}=56.66$ s. Lower panel: Time evolution of ${\kappa}_{a,a,b,c}$. The real part of ${\kappa}_{a,a,b,c}$ is shown in blue and the imaginary part of ${\kappa}_{a,a,b,c}$ in red (asterisks). In all cases, solid lines denote the solution before phase-mixing, dashed lines subsequent to phase mixing. The time t is in seconds.

## References

- Phillips, O.M. On the dynamics of unsteady gravity waves of finite amplitude Part 1. The elementary interactions. J. Fluid Mech.
**1960**, 9, 193. [Google Scholar] [CrossRef] - Zakharov, V.E. Stability of periodic waves of finite amplitude on the surface of a deep fluid. J. Appl. Mech. Tech. Phys.
**1968**, 9, 190–194. [Google Scholar] [CrossRef] - Krasitskii, V.P. On reduced equations in the Hamiltonian theory of weakly nonlinear surface waves. J. Fluid Mech.
**1994**, 272, 1–20. [Google Scholar] [CrossRef] - Hasselmann, K. On the non-linear energy transfer in a gravity-wave spectrum Part 1. General theory. J. Fluid Mech.
**1962**, 12, 481. [Google Scholar] [CrossRef] - Stiassnie, M.; Shemer, L. On the interaction of four water-waves. Wave Motion
**2004**, 41, 307–328. [Google Scholar] [CrossRef] - Janssen, P.A.E.M. Nonlinear Four-Wave Interactions and Freak Waves. J. Phys. Oceanogr.
**2003**, 33, 863–884. [Google Scholar] [CrossRef] - Annenkov, S.Y.; Shrira, V.I. Role of non-resonant interactions in the evolution of nonlinear random water wave fields. J. Fluid Mech.
**2006**, 561, 181. [Google Scholar] [CrossRef] - Gramstad, O.; Stiassnie, M. Phase-averaged equation for water waves. J. Fluid Mech.
**2013**, 718, 280–303. [Google Scholar] [CrossRef] - Gramstad, O.; Babanin, A. The generalized kinetic equation as a model for the nonlinear transfer in third-generation wave models. Ocean Dyn.
**2016**, 66, 509–526. [Google Scholar] [CrossRef] - Stuhlmeier, R.; Stiassnie, M. Evolution of statistically inhomogeneous degenerate water wave quartets. Philos. Trans. R. Soc. A Math. Phys. Eng. Sci.
**2019**, 376, 20170101. [Google Scholar] [CrossRef] [PubMed] - Crawford, D.R.; Saffman, P.G.; Yuen, H.C. Evolution of a random inhomogeneous field of nonlinear deep-water gravity waves. Wave Motion
**1980**, 2, 1–16. [Google Scholar] [CrossRef] - Lvov, Y.V.; Binder, R.; Newell, A.C. Quantum weak turbulence with applications to semiconductor lasers. Phys. D Nonlinear Phenom.
**1998**, 121, 317–343. [Google Scholar] [CrossRef][Green Version] - Irving, R.S. Integers, Polynomials, and Rings. Undergraduate Texts in Mathematics; Springer: New York, NY, USA, 2004. [Google Scholar]
- Byrd, P.F.; Friedman, M.D. Handbook of Elliptic Integrals for Engineers and Scientists; Springer: Berlin/Heidelberg, Germany, 1971. [Google Scholar] [CrossRef]
- Stiassnie, M.; Kroszynski, U.I. Long-time evolution of an unstable water-wave train. J. Fluid Mech.
**1982**, 116, 207–225. [Google Scholar] [CrossRef] - Stiassnie, M.; Regev, A.; Agnon, Y. Recurrent solutions of Alber’s equation for random water-wave fields. J. Fluid Mech.
**2008**, 598. [Google Scholar] [CrossRef]

**Figure 1.**Schematic representation of the polynomial ${P}_{4}$. The red region (dashed line) represents the range of the function $Z\left(t\right)$. The yellow dot is the initial condition $Z\left(0\right)=0$. Left panel: ${P}_{4}$ has four real roots, $D>0$. Right panel: ${P}_{4}$ has two real roots and two complex roots, $D\le 0$.

**Figure 2.**Plot of the discriminant (48) for varying initial conditions. The solid lines correspond to $D=0,$ and the region they enclose about the origin is where $D<0,$ and solutions of the GKE will diverge. The outer region is where $D>0$ and solutions of the GKE are periodic and bounded. Left panel: collinear waves, with varying p and $\u03f5.$ Case

**a**has $(p=0.05,\u03f5=0.01)$ and case

**b**has $(p=0.2,\u03f5=0.01)$. Right panel: fixed wave slopes, with varying p and $q.$ Case

**c**has $(p=0.16,q=0.05)$ and case

**d**has $(p=0.32,q=0.05)$. The dashed line shows the waves that are in exact resonance $2{\omega}_{a}={\omega}_{b}+{\omega}_{c}$.

**Figure 3.**Time evolution of ${C}_{a}$ in blue (solid), ${C}_{b}$ in yellow (circles) and ${C}_{c}$ in red (asterisks) for $(p=0.05,\u03f5=0.01)$. Upper panel: Solution of the GKE. The blow-up time is ${T}_{\infty}=100.02$ s. Lower panel: Solution of the JKE. The period is $T=3207.19$ s. The time t is in seconds.

**Figure 4.**Time evolution of ${C}_{a}$ in blue, ${C}_{b}$ in yellow and ${C}_{c}$ in red for $(p=0.16,q=0.05)$. Upper panel: Solution of the GKE. The blow-up time is ${T}_{\infty}=89.80$ s. Lower panel: Solution of the JKE. The period is $T=390.19$ s. The time t is in seconds.

**Figure 5.**Time evolution of ${C}_{a}$ in blue (solid), ${C}_{b}$ in yellow (circles) and ${C}_{c}$ in red (asterisks) for $(p=0.2,\u03f5=0.01)$. Upper panel: Solution of the GKE. The period is $T=192.51$ s. Lower panel: Solution of the JKE. The period is $T=198.07$ s. The time t is in seconds.

**Figure 6.**Time evolution of ${C}_{a}$ in blue (solid), ${C}_{b}$ in yellow (circles) and ${C}_{c}$ in red (asterisks) for $(p=0.32,q=0.05)$. Upper panel: Solution of the GKE. The period is $T=94.22$ s. Lower panel: Solution of the JKE. The period is $T=80.42$ s. The time t is in seconds.

Wave Numbers | Steepness | Nature of Solution | Detuning | |||||
---|---|---|---|---|---|---|---|---|

case | $\mathit{p}$ | $\mathit{q}$ | ${\mathit{\epsilon}}_{\mathit{a}}$ | ${\mathit{\epsilon}}_{\mathit{b}}$ | ${\mathit{\epsilon}}_{\mathit{c}}$ | GKE | JKE | ${\mathsf{\Delta}}_{\mathit{a},\mathit{a}}^{\mathit{b},\mathit{c}}$ (s${}^{-\mathbf{1}}$) |

a | $0.05$ | 0 | $0.15$ | $0.01$ | $0.01$ | blow-up | periodic | $0.002$ |

b | $0.2$ | 0 | $0.15$ | $0.01$ | $0.01$ | periodic | periodic | $0.0317$ |

c | $0.16$ | $0.05$ | $0.15$ | $0.05$ | 0 | blow-up | periodic | $0.0161$ |

d | $0.32$ | $0.05$ | $0.15$ | $0.05$ | 0 | periodic | periodic | $0.0781$ |

**Table 2.**Values of $\delta =\underset{0\le t\le 1000}{max}\left|{\kappa}_{a,a,b,c}\left(t\right)\right|/{C}_{a}^{2}\left(0\right)$ for computed solutions to the GKE and JKE in the four cases

**a**–

**d**.

GKE | JKE | |
---|---|---|

case a | blow up | $0.2516$ |

case b | $0.2268$ | $0.2478$ |

case c | blow up | $0.2097$ |

case d | $0.1142$ | $0.1460$ |

© 2018 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).