1 Introduction

Extremely high ocean waves, also called abnormal, freak or rogue waves, are known to appear without previous warning and have detrimental impact on ships or structures that may encounter. Because of their great practical significant, and their amazing scientific interest, rogue waves have been intensively studied in the last 15 years (Olagnon and Athanassoulis 2001; Olagnon and Prevosto 2004, 2008; Dysthe et al. 2008; Kharif et al. 2009; Osborne 2010).

Various mechanisms have been proposed for the physical generation of rogue waves. Among them we mention, (1) the spatial focusing, due to currents or the bathymetry, (2) linear, dispersive focusing (Lindgren 1972; Boccotti 2000, 1983; Phillips et al. 1992; Adcock and Taylor 2014), and (3) nonlinear, self-focusing, as initiated by the discovery of the modulational instability (Benjamin and Feir 1967; Zakharov and Ostrovsky 2009) and exploited further using the non linear Schrödinger (NLS) equation for water waves, introduced and solved by Zakharov (1968) and Zakharov and Shabat (1972), and developed further by Trulsen and Dysthe (1996), Trulsen et al. (2000) and Grimshaw and Annenkov (2011) and many other authors; see also Shemer et al. (2010). Extensive reviews of the above physical mechanisms, including data of marine observations as well as laboratory experiments, are presented in Kharif and Pelinofsky (2003) and Onorato et al. (2013).

Although a great deal of existing work concerning rogue waves has been based on the assumption of weak nonlinearity, in the last years the development of numerical methods able to efficiently simulate the long-time wave evolution in the context of fully nonlinear potential flow permitted the study of rogue waves in generic sea conditions. In this direction, Clamond et al. (2006) performed simulations of the long-time evolution of a two-dimensional, localized, long wave packet using the integral equation method of Clamond and Grue (2001) and the higher order spectral (HOS) method of Dommermuth and Yue (1987) and West and Brueckner (1987), and compared their computations with those resulting from the classical NLS and extended Dysthe equations; see also Slunyaev and Shrira (2013), Adcock and Taylor (2016) and Fedele et al. (2016). In the latter paper, the authors propose an alternative mechanism for the generation of rogues waves, based on the constructive interference of elementary waves and weakly nonlinear effects. Other authors considered realistic wave fields resulting from ocean wave spectra, e.g., JONSWAP, and investigated the formation of large waves, indicating the importance of retaining the nonlinearity of the problem (Ducrozet et al. 2007; Katsardi and Swan 2011; Bateman et al. 2012; Viotti et al. 2013).

The majority of the above studies is restricted to infinite or constant-finite water depth. However, variable bathymetry can be an essential feature of the nonlinear wave propagation problem (Viotti and Dias 2014). In this case, the wave field is not spatially periodic, making the implementation of spectral methods quite involved, and the wave slope is expected to be high, invalidating the use of slope-asymptotic wave models. To investigate high waves over bathymetry in their full complexity, we shall apply the new, exact, Hamiltonian coupled-mode system (HCMS) introduced in Athanassoulis and Papoutsellis (2015), and derived in detail in Papoutsellis and Athanassoulis (2017). This system contains two nonlinear and nonlocal, Hamiltonian evolution equations, and is becoming closed by means of a new formulation of the Dirichlet-to-Neumann (DtN) operator, which is equally efficiently implemented in flat bottom and in arbitrarily varying bathymetry. The HCMS can be seen as a greatly improved, Hamiltonian reformulation of the nonlinear coupled-mode system presented earlier by Athanassoulis and Belibassakis (2007) and Belibassakis and Athanassoulis (2011). In this approach, a dimensional reduction of the problem is achieved by means of the exact representation of the velocity potential by a rapidly convergent series expansion in the vertical direction (Athanassoulis and Papoutsellis 2017). No simplifying assumptions are required concerning the steepness and/or the deformation of the free-surface elevation and the seabed; thus, this formulation accounts for fully non-linear, dispersive water waves. For numerical implementation, the only “simplification” that enters the equations is the truncation of the rapidly convergent series expansion of the wave potential.

The present Hamiltonian coupled-mode system is applied to the simulation of high waves, with initial data derived by specific spectra, in accordance with the quasi-determinism theory. To this aim, a linearly focused wave train is produced by exploiting the properties of normal processes near a local maximum (Lindgren 1970), applied to ocean waves by Boccotti (1983) and Boccotti (2000), under the name of quasi-determinism theory. This wave train is linearly backpropagated in the space domain, producing a disintegrated, dispersed waveform, as also described by Katsardi and Swan (2011) and Bateman et al. (2012). The latter, dispersed wave train is considered as initial condition and is propagated forward by means of the fully nonlinear HCMS. Various simulations are considered over flat and sloping seabeds, and the wave kinematics and dynamics of the nonlinearly focusing event are comparatively presented, illustrating the effect of combined nonlinearity, shoaling and diffraction.

2 Governing equations and numerical method

We consider two-dimensional water waves in a Cartesian coordinate system Oxz, with \(z=0\) corresponding to the mean water level. The time-dependent fluid domain \(D_{ h}^{ \eta } ( t )\) is a non-uniform strip, delimited vertically by the seabed \(z=-h( x )\), and the free surface \(z=\eta ( {x,t})\) which are assumed to be smooth:

$$\begin{aligned} D_{ h}^{ \eta } (t) = \big \{{(x, z)\in {\mathbb {R}}^{2} : x\in [x_1 ,x_2 ], -h ( x )< z < \eta (x, t)}\big \}. \end{aligned}$$

Under the assumption of irrotational flow, the fluid velocity V(xzt) is represented by means of a scalar wave potential \(\Phi = \Phi ( x , z , t )\), as \(V = \nabla \Phi = ( {\partial _x \Phi , \partial _z \Phi } )\), where \(\partial _x = \partial /\partial _x \), \(\partial _z = \partial /\partial _z \). In the absence of surface tension and applied surface pressure, and for a fixed, impermeable seabed, the wave motion is governed by the following set of equations

$$\begin{aligned}&\partial _x^2 \Phi + \partial _z^2 \Phi = 0,\quad \mathrm{in}\quad D_{ h}^{ \eta } (t), \end{aligned}$$
(1a)
$$\begin{aligned}&\partial _x h \partial _x \Phi + \partial _z \Phi = 0,\quad z=-h( x ), \end{aligned}$$
(1b)
$$\begin{aligned}&\partial _t \eta + \partial _x \eta \partial _x \Phi - \partial _z \Phi = 0,\quad z=\eta ( x , t ), \end{aligned}$$
(1c)
$$\begin{aligned}&\partial _t \Phi + \frac{1}{2}( \nabla \Phi )^{2} + g\eta = 0,\quad z=\eta ( x , t ) \end{aligned}$$
(1d)

where g is the acceleration of gravity. The main difficulty in the numerical implementation of the above formulation is that both the wave potential \(\Phi \) and its domain of definition \(D_{ h}^{ \eta } ( t )\) are unknowns evolving in time. This problem is efficiently treated in the present paper, by the HCMS introduced by Athanassoulis and Papoutsellis (2015) and derived in detail in Papoutsellis and Athanassoulis (2017). A derivation of the HCMS is briefly described herein. The starting point is the well-known Luke’s variational principle (Luke 1967): the fields \(\eta ( x , t )\) and \(\Phi ( x , z , t )\) satisfy Eq. (1) if and only if they satisfy the variational equation

$$\begin{aligned} \delta \mathcal{S} [ \eta , \Phi ; \delta \Phi , \delta \eta ] = \delta _{ \Phi } \mathcal{S} [ \eta , \Phi ; \delta \Phi ] + \delta _{ \eta } \mathcal{S} [ \eta , \Phi ; \delta \eta ] = 0, \end{aligned}$$
(2a)

with action functional

$$\begin{aligned} \mathcal{S} [ \eta , \Phi ] =\int _{t_1 }^{t_2 } {\int _{x_1 }^{x_2 } {\int _{-h}^{\eta } { \left( { \partial _t \Phi + \frac{1}{2}| \nabla \Phi |^{2} + g z} \right) } } \mathrm{d}z \mathrm{d}x } \mathrm{d}t. \end{aligned}$$
(2b)

In Eq. (2a), \(\delta _\Phi \mathcal{S} [ \eta , \Phi ;\delta \Phi ]\) and \(\delta _\eta \mathcal{S} [ \eta , \Phi ;\delta \eta ]\) denote the first partial variations (functional derivatives) of \(\mathcal{S} [ \eta , \Phi ]\) with respect to \(\Phi \) and \(\eta \), in the directions \(\delta \Phi \) and \(\delta \eta \), respectively. Following Athanassoulis and Belibassakis (2000) and Belibassakis and Athanassoulis (2011), the wave potential \(\Phi \) in the functional (2b) is exactly represented by a series expansion of the form

$$\begin{aligned} \Phi ( {x,z,t} )= \sum _{n = -2}^\infty { \varphi _n ( {x,t} ) Z_n ( {z;h( x ), \eta ( {x,t} )} )} \end{aligned}$$
(3)

where \(Z_n ( {z;h( x ), \eta ( {x,t} )} )\), \(n\ge -2\), are known vertical basis functions depending on h(x), \(\eta ( {x,t} )\) and the numerical parameters \(h_0 \) and \(\mu _0 \) (see Appendix), and \(\varphi _n (x,t)\) are unknown modal amplitudes. As proved in detail in Athanassoulis and Papoutsellis (2017), the series appearing in Eq. (3), together with its first- and second-order term-wise derivatives, converge throughout \(D_{ h}^{ \eta } ( t )\), up to and including the boundaries, provided the latter are smooth. Invoking the governing variational equation (2a), in conjunction with Eq. (3), a nonlinear coupled-mode system of evolution equations for \(( {\eta (x,t) , \varphi _n (x,t)} )\) is derived. These equations contain infinite series summed over all modal amplitudes \(\varphi _n (x,t)\). As shown by Papoutsellis and Athanassoulis (2017), exploiting the convergence properties of the series expansion (3), and introducing the free-surface potential \(\psi : = \Phi ( x , \eta ( x , t ) ,t ) =\sum _{n=-2}^\infty {\varphi _n [ Z_n ]_{z=\eta } } \), the aforementioned system can be transformed to a Hamiltonian system of two evolution equations for \(\eta \) and \(\psi \), of the form

$$\begin{aligned} \partial _{t} \eta= & {} - ( \partial _x \eta ) ( \partial _x \psi ) + \big ( {(\partial _x \eta )^{ 2} + 1} \big )\nonumber \\&\times \big ( { h_{ 0}^{ - 1} \mathcal{F}_{-2} [ \eta , h ] \psi + \mu _{ 0} \psi } \big ), \end{aligned}$$
(4a)
$$\begin{aligned} \partial _{t} \psi= & {} - g\eta - \frac{1}{2}( \partial _x \psi )^{ 2}+ \frac{1}{2}\big ( {( \partial _x \eta )^{ 2} + 1} \big )\nonumber \\&\times \big ( { h_{ 0}^{ - 1} \mathcal{F}_{ - 2} [ \eta , h ] \psi + \mu _{ 0} \psi } \big )^{ 2}, \end{aligned}$$
(4b)

where \(\mathcal{F}_{ - 2} [ \eta , h ] \psi : = \varphi _{-2} \) is determined, at every time t, by the solution of the coupled-mode system

$$\begin{aligned}&\sum _{n = -2}^\infty {\big ( {A_{m n} ( \eta , h ) \partial _x^2 + B_{m n} ( \eta , h ) \partial _x C_{mn} ( \eta , h )} \big )\varphi _{n}} = 0,\nonumber \\&\quad m \ge -2, \end{aligned}$$
(5a)
$$\begin{aligned}&\sum _{n = - 2}^\infty {\varphi _{n}} = \psi . \end{aligned}$$
(5b)

Equations (4) and (5), along with appropriate lateral boundary conditions, constitute the Hamiltonian coupled-mode system (HCMS), already introduced as a term previously. In Eq. (5a), the variable coefficients are given by

$$\begin{aligned} A_{mn}= & {} \int _{-h}^{ \eta } {Z_n Z_m \mathrm{d}z}, \end{aligned}$$
(6a)
$$\begin{aligned} B_{mn}= & {} 2\int _{-h}^{ \eta } {( \partial _x Z_n ) Z_m \mathrm{d}z} + ( \partial _x h ) [ { Z_m Z_n } ]_{ z = - h}, \end{aligned}$$
(6b)
$$\begin{aligned} C_{mn}= & {} \int _{-h}^{ \eta } {( \partial _x^2 Z_n + \partial _{z}^{2} Z_n ) Z_m \mathrm{d}z} + \left( \begin{array}{l} {\partial _x h} \\ 1 \\ \end{array}\right) \nonumber \\&\times \big [ { (\partial _x Z_{n}, \partial _{z} Z_{n} ) Z_m } \big ]_{ z = - h}. \end{aligned}$$
(6c)

The analytical calculation of the right-hand sides of Eq. (6) in terms of \(( \eta , h )\) is essential for the efficient numerical solution of the coupled-mode system, Eq. (5). Detailed derivation of the resulting expressions can be found in Papoutsellis et al. (2017). It should be noted that the introduction of \(\psi \) and the operator \(\mathcal{F}_{-2} [ \eta , h ]\) in the evolutions equations (4), resembles, and in fact is inspired from, the introduction of the DtN operator \(G [ \eta , h ]\) in the original Hamiltonian formulation of Eq. (1) (Zakharov 1968; Craig and Sulem 1993). We recall here that the standard DtN operator is defined by the expression \(G [ \eta , h ] \psi = - \partial _x \eta [ {\partial _x \Phi } ]_{z=\eta } + [ {\partial _z \Phi } ]_{z=\eta } \), where \(\Phi \) is determined by the solution of the boundary value problem consisting of Eq. (1a) in the instantaneous fluid domain \(D_h^\eta ( t )\), with the Neumann condition, Eq. (1c), on the fixed bottom, and the Dirichlet condition \(\Phi ( x , \eta ( x , t ) ,t ) = \psi \) on the free surface. On the other hand, \(\mathcal{F}_{-2} [ \eta , h ] \psi \) is determined by the solution of the linear coupled-mode system of differential equations (5) in the fixed horizontal domain \([ x_1 , x_2 ]\). The relation between \(G [ \eta , h ] \psi \) and \(\mathcal{F}_{-2} [ \eta , h ] \psi \) is recovered by taking into account the exact expansion of \(\Phi \), Eq. (3), with \(Z_n \) given by Eqs. (A1)–(A3). As shown by Athanassoulis and Papoutsellis (2017), the following equation holds true:

$$\begin{aligned} G [ \eta , h ] \psi= & {} - ( \partial _x \eta ) ( \partial _x \psi ) + \big ( {(\partial _x \eta )^{ 2} + 1} \big )\nonumber \\&\times \, \big ( { h_{ 0}^{ - 1} \mathcal{F}_{-2} [ \eta , h ] \psi + \mu _{ 0} \psi } \big ). \end{aligned}$$

The solution of Eq. (5), say \(\mathcal{F}_n [ \eta , h ] \psi : = \varphi _n ( x , t )\), \(n \ge -2\), actually gives us access to the entire instantaneous velocity potential \(\Phi ( x , z , t )\), by virtue of Eq. (3). Consequently, all physically interesting fluid quantities (e.g., velocity and pressure fields in the evolving fluid domain) can be accurately and efficiently computed, along the free-surface wave evolution.

To implement the Hamiltonian CMS Eqs. (46), the time-independent system Eq. (5) is truncated at a finite order \(N_\mathrm{tot} \) corresponding to the modes kept in the expansion (3). The truncated system is solved by using fourth-order finite differences on a uniform grid of spacing \(\delta x\). This procedures establishes an approximation of \(\mathcal{F}_{-2} [ \eta , h ] \psi \) in terms of \(\eta \), h and \(\psi \). Numerical investigation in flat bottom, horizontally periodic, test cases, where exact expressions of \(\mathcal{F}_{-2} [ \eta , h ] \psi \) are available, revealed that this approximation, denoted by \(\mathcal{F}_{-2}^{( N_\mathrm{tot} )} [ \eta , h ] \psi \), converges very rapidly to its exact value: the relative \(L^{2}\)-error decays as \(O( N_{N_\mathrm{tot} }^{- 6 . 5} )\), independently of the deformation of \(\eta \); see Athanassoulis and Papoutsellis (2017). This feature is of great importance in unsteady wave simulations involving abrupt and large deformations of the free surface. Having established an accurate procedure for the computation of \(\mathcal{F}_{-2}^{( N_\mathrm{tot} )} [ \eta , h ] \psi \), the evolution equations (4) are marched in time by using the classical Runge–Kutta method, in its four-step, explicit version. This scheme has been so far validated in many physically demanding phenomena where strong nonlinearity, dispersion and bathymetry effects are present. These include, for example, harmonic generation due to submerged obstacles (Papoutsellis and Athanassoulis 2017) and solitary wave interactions with bathymetry and vertical walls (Papoutsellis et al. 2017). In this paper, we shall examine the ability of this formulation to simulate the occurrence of waves of large amplitude, localized in space and time, through the nonlinear evolution of a dispersed wave train of low amplitude. One of the main difficulties in implementing such an application is the construction of the initial wave field \(( \eta _0 , \psi _0 ) = ( \eta ( x , 0 ) , \psi ( x , 0 ) )\). This is done in the context of the theory of quasi-determinism, as described in the next section.

3 Simulation of high waves by nonlinear focusing of transient wavegroups

3.1 Initial conditions leading to a focusing event

To apply the nonlinear Hamiltonian CMS to the simulation of high waves, we need appropriately designed initial data, able to give rise to nonlinear focusing. Such kind of data will be derived from linearly focused wavegroups, belonging to specific sea states, as proposed by Katsardi and Swan (2011) and Bateman et al. (2012). The theoretical background permitting us to identify the spatial structure of such wavegroups is the Slepian theory of stationary Gaussian stochastic surfaces (Lindgren 1970, 1972), applied to the ocean waves under the name of quasi-determinism theory by Boccotti (1983, 2000). A quick, hopefully clear, description of the construction of the initial data compatible with a given sea state and leading to a focusing wave event, is given below.

Consider a specific sea state, described by means of a wave spectrum, either in the frequency or in the wavenumber formulation, \(S ( \omega )\) or S(k) (\(S ( \omega ) \mathrm{d}\omega = S ( k ) \mathrm{d}k)\). The space–time representation of the free-surface elevation and the free-surface potential of such a sea state, with spectrum S(k) spanning the wavenumber range \(( k_{ \min } , k_{ \max } )\), are given by the equations

$$\begin{aligned}&\eta ( {x,t} ) = \sum _{n = 1}^N {a_{ n} \cos ( {k_{ n} x - \omega _{ n} t + \varepsilon _{ n} } )}, \end{aligned}$$
(7a)
$$\begin{aligned}&\psi ( {x,t} ) = \sum _{n = 1}^N {\frac{g a_{ n} }{\omega _{ n} } \sin ( {k_{ n} x - \omega _{ n} t + \varepsilon _{ n} } )}, \end{aligned}$$
(7b)

where \(\{ k_{ n} \} = \{ k_{ n} , n = 1 , 2 , \ldots , N \}\) is a discrete set of wavenumbers spanning the support \(( k_{ \min } , k_{ \max } )\) of S(k), \(\{ \omega _{ n} \}\) is the corresponding set of angular frequencies, \(\varepsilon _{ n} \) are random phases, uniformly distributed in \([ -\pi , \pi ]\), and the amplitudes \(a_{ n} \) are expressed in terms of the spectral density S(k) (see Eq. (4), below). Any concrete choice of random phases \(\{ \varepsilon _{ n} \} = \{ \varepsilon _{ n} , n = 1 , 2 , \ldots , N \}\) corresponds to a specific realization of a wave system, compatible with (belonging to) the given spectrum. The identification of random phases corresponding to a linearly focused wave profile will be now accomplished by invoking the theory of quasi-determinism.

According to the quasi-determinism theory (Boccotti 2000), spectrum-compatible wave profiles with high maximum amplitude A, occurring at \(x = 0\), \(t = 0\), have the form

$$\begin{aligned} \eta _\mathrm{foc} ( x ) \approx A \frac{R_{ \eta \eta } ( x )}{R_{ \eta \eta } ( 0 )}, \end{aligned}$$
(8)

where \(R_{ \eta \eta } ( x ) = \langle {\eta ( 0 , 0 ) \eta ( x , 0 )} \rangle \) is the spatial autocorrelation function of the free-surface elevation. Recalling the Wiener–Khinchin theorem,

$$\begin{aligned}&R_{ \eta \eta } ( x ) = \int _{ 0}^{ \infty } {S ( k ) \cos ( k x ) \mathrm{d}k}, \nonumber \\&S ( k ) = \frac{2}{\pi }\int _{ 0}^{ \infty } {R_{ \eta \eta } ( x ) \cos ( k x ) \mathrm{d}x}, \end{aligned}$$

we can rewrite Eq. (8) in the form

$$\begin{aligned} \eta _\mathrm{foc} ( x ) \approx A \frac{R_{ \eta \eta } ( x )}{R_{ \eta \eta } ( 0 )} = A \frac{\int _{k_{ \min } }^{k_{ \max } } {S ( k ) \cos ( k x ) \mathrm{d}k} }{\int _{k_{ \min } }^{k_{ \max } } {S ( k ) \mathrm{d}k} }. \end{aligned}$$
(9)

Discretizing the integral in the numerator of the right-hand side of the above equation, we obtain

$$\begin{aligned} \eta _\mathrm{foc} ( x )\approx & {} A \frac{\sum _{ n = 1}^{ N} {\cos ( k_{ n} x ) \int _{k_{ n} }^{k_{ n + 1} } {S ( k ) \mathrm{d}k} } }{\int _{k_{ \min } }^{k_{ \max } } {S ( k ) \mathrm{d}k} }\nonumber \\= & {} \sum _{n = 1}^N { a_{ n} \cos ( {k_n x} )}, \end{aligned}$$
(10)

where

$$\begin{aligned} a_{ n} = A \frac{\int _{ k_{ n} }^{ k_{ n + 1} } {S( { k } ) \mathrm{d}k} }{\int _{ k_{ \min } }^{ k_{ \max } } {S( { k } ) \mathrm{d}k} }. \end{aligned}$$
(11)

To the free-surface elevation field \(\eta _\mathrm{foc} ( x )\) is associated, in the context of the linear wave theory, the free-surface potential

$$\begin{aligned} \psi _\mathrm{foc} ( x ) = \sum _{n = 1}^N {\frac{g a_{ n} }{\omega _{ n} } \sin ( k_{ n} x )}. \end{aligned}$$
(12)

Comparing Eqs. (10) and (12), with Eqs. (7a, 7b), we see that the high-amplitude (linearly focused at \(x = 0\), \(t = 0)\) wave train \(( {\eta _\mathrm{foc} ( x ) , \psi _\mathrm{foc} ( x )} )\) occurs as a superposition of in-phase harmonics. However improbable this wave train may be, it represents a dangerous wave scenario, compatible with a given spectrum describing a realistic sea state. Such a wave system propagates, under linear dynamics, in accordance with Eqs. (1a, 1b), with \(\varepsilon _{ n} = 0\), and disintegrates, as time evolves, to a dispersive wave train of significantly lower amplitude(s). Such a disintegrated, thus fairly linear, version of \(( {\eta _\mathrm{foc} ( x ) , \psi _\mathrm{foc} ( x )} )\) will be taken as the initial data for starting a nonlinear wave propagation. This is done as described below.

The linearly focused wave, constructed above, is linearly back-propagated by a negative time shifting \(t_{ *} \), providing the fields

$$\begin{aligned}&\eta _{ *} ( {x , t=- t_{ *} } ) = \sum _{n = 1}^N {a_{ n} \cos ( {k_{ n} x - \omega _{ n} ( -t_{ *} )} )}, \end{aligned}$$
(13a)
$$\begin{aligned}&\psi _*( {x , t=- t_{ *} } ) = \sum _{n = 1}^N {\frac{g a_{ n} }{\omega _{ n} } \sin ( {k_{ n} x - \omega _{ n} ( -t_{ *} )} )}. \end{aligned}$$
(13b)

These fields, which are of small steepness when \(t_{ *} \) is sufficiently long (several peak periods), are used to define the initial conditions for the nonlinear wave propagation,

$$\begin{aligned} \eta _{ 0} ( x ) = \eta _{ *} ( {x,t=- t_{ *} } ), \quad \psi _0 ( x ) = - \psi _*( {x,t=- t_{ *} } ),\nonumber \\ \end{aligned}$$
(14)

aiming at a realistic modelling of the focusing process, taking into account the nonlinearity. The minus sign in the initial values of the free-surface potential is needed in order to transform the back-propagating system \(( \eta _{ *} , \psi _*)\) to a forward-propagating one.

The above procedure for deriving the initial wavegroup is applied, in Sect. 4, both to the flat bottom and the depth-transition cases. Its validity for the second case is ensured from the fact that the initial wavegroup is essentially supported in the flat bottom region; see Fig. 5. That is, in all cases, we study how a deep-water wave group evolves, under fully nonlinear dynamics, either over a flat bottom or over a shoaling.”

3.2 The TMA spectrum

To make concrete, realistic choices of the initial fields \(\eta _{ 0} ( x )\), \(\psi _0 ( x )\), by means of Eq. (14), we need to specify the amplitudes \(a_{ n} \), appearing in Eq. (13). For this purpose, a spectrum S(k) and a value for the maximum amplitude A should be selected. To be consistent with finite-depth effects, the TMA spectrum is considered. This spectrum is introduced by Kitaigordskii et al. (1975), on the basis of dimensional arguments, as a modification of Phillips’ spectrum, and is developed in its standard form, as a modification of the JONSWAP spectrum, by Hughes, Vincent, Bouws and others; see, e.g., Hughes (1984), Bouws et al. (1985), Massel (1989, Ch. 7), and Recommended Practice (DNV-RP-C205 2010). The TMA spectrum is given by

$$\begin{aligned} S ( \omega , h ) \equiv S_{ \mathrm{TMA}} ( \omega , h ) = S_{ \mathrm{J}\mathrm{S}} ( \omega ) r ( \omega _{ h} ), \end{aligned}$$
(15)

where \(S_{\mathrm{J}\mathrm{S}} ( \omega )\) is the JONSWAP spectrum, and \(r ( \omega _{ h} )\), with \(\omega _{ h} =\omega \sqrt{h /g}\), is a depth- and frequency-dependent function, introduced to transform the \(\omega ^{ - 5}\) deep-water tail form to its finite-depth water equivalent. The JONSWAP spectrum is given by

$$\begin{aligned} S_{ \mathrm{J}\mathrm{S}} ( \omega ) = \alpha ( \gamma ) S_{ \mathrm{PM}} ( \omega ) \gamma ^{ \delta ( \omega )}, \end{aligned}$$
(16)

where \(S_{ \mathrm{PM}} ( \omega )\) is the Pierson–Moskowitz spectrum,

$$\begin{aligned} S_{ \mathrm{PM}} ( \omega ) = \frac{5}{16} H_\mathrm{s}^{ 2} \omega _{ p} \left( { \frac{\omega }{\omega _{ p} } } \right) ^{ - 5}\exp \left( {-\frac{5}{4} \left( {\frac{\omega }{\omega _{ p} }} \right) ^{ - 4}} \right) , \end{aligned}$$
(17)

(\(H_\mathrm{s} \) is the significant wave height, \(\omega _\mathrm{p} = 2 \pi /T_\mathrm{p} \) is the angular spectral peak frequency), \(\gamma \) is a non-dimensional peak-shape parameter, ranging from 1 to 7, with default value \(\gamma = 3.3\),

$$\begin{aligned}&\delta ( \omega ) = \exp \left( {- \frac{1}{2} \left( {\frac{\omega -\omega _\mathrm{p}}{\sigma \omega _\mathrm{p}}} \right) ^{ 2}} \right) , \nonumber \\&\sigma = \left\{ \begin{array}{l} { \sigma _{ a} = 0.07 ,\quad \mathrm{for}\;\; \omega \le \omega _\mathrm{p},} \\ { \sigma _{ b} = 0.09 ,\quad \mathrm{for}\;\; \omega >\omega _\mathrm{p},} \\ \end{array}\right. \end{aligned}$$
(18)

and \(\alpha ( \gamma ) = 1 - 0.287 \mathrm{ln} ( \gamma )\) is a normalizing factor. For \(\gamma = 1\), \(S_{ \mathrm{J}\mathrm{S}} ( \omega ) = S_{ \mathrm{PM}} ( \omega )\). The function \(r ( \omega _{ h} )\) is given by

$$\begin{aligned} r( {\omega _{ h} } )= & {} \frac{1}{F^{2}( {\omega _{ h} } )}\left( {1+\frac{2 \omega _{ h}^{ 2} F( {\omega _*} )}{\sinh \big ( {2 \omega _{ h}^2 F( {\omega _{ h} } )} \big )}} \right) ^{-1},\quad \mathrm{with}\nonumber \\ F( {\omega _{ h} } )= & {} \tanh ^{-1}( {k_{ h}} ) \end{aligned}$$

where \(k_h =k_h(\omega _{h})\) is obtained from the dispersion relation \(\omega _{ h}^2 =k_h \tanh ( {k_h } )\); see, also Massel (1989, Ch.7). Once the frequency spectrum \(S ( \omega )\) is specified, the wavenumber spectrum S(k) is obtained by

$$\begin{aligned} S( k )=S( \omega )\frac{\mathrm{d}\omega }{\mathrm{d}k}=S( \omega )\frac{1}{2}\frac{\omega }{k}\left( {1+\frac{2kh}{\sinh ( {2kh} )}} \right) \end{aligned}$$

and the methodology described previously can be applied in order to obtain the initial conditions Eq. (14).

4 Numerical results

In this section, the TMA spectrum is considered with \(H_\mathrm{s} = 6.47\, \mathrm{m}\) and \(T_\mathrm{p} = 16.6\, \mathrm{s}\) (see Fig. 1) in conjunction with a maximum crest elevation at the focusing point \(A = 12.0\,\mathrm{m}\).

Fig. 1
figure 1

TMA spectrum used in the simulations (solid line), for \(h=150\) m, \(H_\mathrm{s}= 6.47\) m, \(T_\mathrm{p}=16.6\) s, and base JONSWAP form (dashed line)

4.1 Investigation over flat bottom

To implement the method described in the previous section, a dense discrete set of frequencies is specified around the peak frequency \(\omega _\mathrm{p} = 2\pi /{T}_\mathrm{p} = \mathrm{0.3785}\, \mathrm{s}^{-1}\), uniformly distributed in the interval \([ \omega _{\min } , \omega _{\max } ] = [ 0.2 , 0.5 \pi ]\). The linearly focused wave is plotted in Fig. 2a. The initial wave field for the nonlinear simulation is obtained by a linear back-propagation time \(t_*= -300\,\mathrm{s}\), corresponding to a starting time about 18 peak periods before the (linear) focusing point; see Fig. 2b. Nonlinear simulations are obtained by truncating the modal series Eq. (3) keeping a total of \(N_{\mathrm{tot}} = 11\) terms. This choice was made after a preliminary numerical investigation, ensuring numerical convergence and satisfactory conservation properties. More details concerning the convergence of the modal series Eq. (3) can be found in Athanassoulis and Papoutsellis (2017). The spatio-temporal discretization is \(\mathrm{d}x/\lambda _\mathrm{p} =1/300\) and \(\mathrm{d}t/T_\mathrm{p} =1/250\) respectively and the frequency parameter \(\mu _0 \) is \(\mu _0 = \omega _\mathrm{p}^2 /g\). A snapshot of the free-surface elevation at the instant which assumes its maximum value is shown in Fig. 2c, and as is there indicated this occurs 0.3 s earlier than the linear prediction \(t=0\). The maximum elevation is \(\eta _{\max } = 13.98\) m, that is about 16.5% larger than the linear prediction \(\eta _{\max } = A = 12\,\mathrm{m}\), and the corresponding spatial profile is asymmetric. It should be noted that, in accordance with the computations of Slunyaev and Shrira (2013 Section 5), the instants of maximum free-surface elevation and maximum wave height (\(H_{\max } = 21.16\,\mathrm{m}\) at \(t = -0.93\,\mathrm{s})\) do not coincide. Nevertheless, we shall restrict our attention to the discrepancies observed between linear predictions and nonlinear simulations in the case of waves of maximum free-surface elevation. A characteristic difference is the asymmetry of the time history of the wave around the instant of focusing; see Fig. 3a. Note that we use an appropriate time shifting so that \(t=0\) always corresponds to the maximum crest elevation. The importance of nonlinear effects becomes even more evident when one considers the time series of free-surface horizontal velocity \([ \partial _x {\Phi } ]_{z=\eta } \); see Fig. 3b. Indeed, the maximum value of \([ \partial _x {\Phi } ]_{z=\eta } \) is 45% larger than the linear prediction. Similar trends are also reported in the higher order spectral computations of Bateman et al. (2012). Here, we shall also consider the effect of spectral bandwidth defined by \(\nu = \sqrt{{M}_0 {M}_2 /{M}_1 ^{2}-1}\) where \({M}_n \) is the nth-order spectral moment. The case presented previously corresponds to \(\nu = {0.3341}\). The same simulation is performed for two more cases involving narrower bandwidths, namely \(\nu = {0.2286},\) and \(\nu = {0.1040}\), and the same energy. The corresponding time series of the free-surface elevation are compared in Fig. 4. It is observed that initial conditions with narrower bandwidths lead to larger maximum elevations. More precisely, for \(\nu = {0.2286}\) and \(\nu = {0.1040}\) we have computed \(\eta _{\max } = 14.52\) m and \(\eta _{\max } = 15.85\) m, respectively.

Fig. 2
figure 2

a Linearly focused event with \(A = 12.0\) m. b Linearly back-propagated wave at \(t_*= -300\) s. c Computed focusing event taking into account full nonlinearity

Fig. 3
figure 3

Time series of the free-surface elevation and the free-surface horizontal velocity around the instant of the maximum elevation

4.2 The effect of sloping seabed

To examine the implication of a sloping seabed to the focusing process under study, a linear depth transition is introduced, reducing the depth from \(h=150\) m (in the deeper water region) to \(h=50\) m (in the shallower water region) within an extent of 2 km (slope 5%). In the first example the depth variation starts at \(x_{\mathrm{start}} = -1\, \mathrm{km}\); see Fig. 5. The initial wave conditions correspond to the first example of the previous subsection. The evolution of maximum wave elevation in the time interval \([-300,50]\) s, is compared with the case of flat seabed in Fig. 6. Two interesting facts can be observed in this figure. First, a rapid increase of the crest amplitude in the last 300 s of the evolution, from about 6 to 14 m. Second, the maximum surface elevation in the case of the flat domain (13.98 m attained at \(x = 28.7\) m) is about 4% greater than the corresponding one for the case of the sloping seabed (13.46 m attained at \(x = -182\) m). This fact has been also reported by other authors studying the phenomenon by CFD and experimentally; see, e.g., Cui et al. (2012). This behaviour can be attributed to combined diffraction and shoaling effects, leading to the reflection of a small amount of energy of the incident wavegroup. In addition, the shortening of the wavelengths, due to shoaling, is associated with a small reduction of the propagation speed of the frequency components around the peak of the spectrum, which results in a more than one peak period delay of the focusing event in the case of the sloping seabed, in comparison with the flat bottom case. We remark that the conditions associated with the studied focused event correspond to quite nonlinear non-breaking waves. More precisely, at the location of the focused event we have \(H_{\max } /h = 0.14\) for the flat bottom case and \(H_{\max } /h = 0.2\) for the sloping seabed case.

Fig. 4
figure 4

Time series of the free-surface elevation around the instant of the maximum elevation for three different bandwidths

Fig. 5
figure 5

Initial free surface and bathymetry for the sloping bottom case

Fig. 6
figure 6

Maximum wave elevation in the time interval \(\Delta t=350\) s during the nonlinear simulation for the flat bottom and sloping bottom case. According to linear theory, the large wave event occurs at \(t=0\) exhibiting maximum free-surface elevation \(\eta _{\max } = 12\,\mathrm{m}\)

For further comparison we have plotted, in Fig. 7, the free-surface elevation and horizontal velocity distribution for a time interval around the focusing instant. Clearly, this depth transition does not significantly affect the focusing of free-surface wave group. To further investigate the sensitivity of the focusing process to the starting point of the depth transition, we have also considered a starting point \(x_{\mathrm{start}} = -2\, \mathrm{km}\). The corresponding results are compared with the case \(x_{\mathrm{start}} = -1\, \mathrm{km}\) in Fig. 8. The maximum surface elevation, in the case \(x_{\mathrm{start}} = -2\, \mathrm{km}\), is about one meter higher (14.43 m attained at \(x = -27\) m) and occurs after a wave of significantly large wave height (about 15 m), indicating that the interaction with the seabed is stronger.

Closing this section, we shall briefly comment on an important advantage of the present approach, that is the efficient calculation of the wave potential and related quantities in the entire fluid domain. This is a direct consequence of the specific local-mode representation Eq. (3), where the vertical functions \(Z_n \) are easily calculated using only information of the depth and the free-surface elevation. Exploiting this benefit, the distribution of the velocity potential and of the dynamic pressure at the focusing point are presented in the in Figs. 9 and 10, as predicted by the present nonlinear coupled-mode model, both in the horizontal flat domain and the sloping seabed 5%, respectively. We observe in these figures that for an extended region around the focusing point the value of the dynamic pressure remains high in the whole water column and attains significant values even at the seabed. This finding could be useful in the exploitation of bottom pressure measurements for the identification and study of such extreme events.

Fig. 7
figure 7

Free-surface elevation and horizontal velocity vs time around the instant of focusing: linear theory (solid black line), nonlinear computations, over flat seabed (dashed blue line) and over sloping seabed 5% (solid red line) (colour figure online)

5 Conclusions

The Hamiltonian coupled-mode system (HCMS) of Athanassoulis and Papoutsellis (2015) (see also Papoutsellis and Athanassoulis 2017) has been applied to the simulation of the focusing of unidirectional transient wave groups that lead to large wave events over flat bottom and sloping seabed. No simplifying assumptions are made concerning the degree of retained nonlinearity and the vertical structure of the wave potential is exactly represented by an exact convergent series expansion.

Fig. 8
figure 8

Time series of the free-surface elevation on the formation of the focusing event

Fig. 9
figure 9

Horizontal velocity and dynamic pressure of the extreme wave in the flat bottom case \(h=150\) m

Fig. 10
figure 10

Horizontal velocity and dynamic pressure of the extreme wave in the case of the sloping 5% seabed

The methodology adopted to obtain initial conditions for the nonlinear simulations is based on the theory developed by Lindgren (1972) and Boccotti (1983) (see also Bateman et al. (2012)) applied to the case of the TMA spectrum. Several simulations where performed illustrating the importance of retaining the full nonlinearity of the problem. In the flat bottom case, it is shown that (1) the nonlinear evolution leads to extreme waves with larger maximum elevations, in comparison with linear theory and (2) maximum elevation becomes larger as the bandwidth becomes narrower. In the sloping bottom case, we have considered two cases involving a linear shoaling of slope 5% staring at two different positions. This simple comparison showed that the wave–bottom interaction can be more significant when the starting point of the depth variation is well before the focusing point predicted by linear theory \(( x=0 )\). Moreover, the fluid kinematics during the unsteady wave evolution can be easily and efficiently computed on the basis of the rapidly convergent series expansion of the wave potential. The present results show that the Hamiltonian coupled-mode system, being free of asymptotic assumptions and easy to implement numerically, provides a valuable tool for the study of rogue waves. More extensive investigation, including the effect of directionality and more complex three dimensional bottom topographies, will be studied in the future.