1. Introduction
Internal waves widely exist in the lakes and oceans where the density stratification is well developed (Farmer Reference Farmer1978; Jackson Reference Jackson2007; Preusse et al. Reference Preusse, Stastna, Freistuehler and Peeters2012; Brizuela, Filonov & Alford Reference Brizuela, Filonov and Alford2019). Density fluctuations resulting from disturbances, such as tides, winds, moving submarines and interface disruptions, have the potential to generate large-amplitude internal waves. Huang et al. (Reference Huang, Chen, Zhao, Zhang, Zhou, Yang and Tian2016) observed an internal solitary wave with an amplitude as large as 240 m in the northern South China Sea. When the density changes sharply from one value to another, causing the pycnocline thickness to be small compared with the upper- and lower-fluid layers, the stratified ocean can be approximated as a two-layer system (Choi Reference Choi2022b ). This approximation facilitates the theoretical and numerical studies of internal solitary waves (ISWs).
The Korteweg–de Vries internal-wave model, known for its simple form (Benjamin Reference Benjamin1966; Miles Reference Miles1980), has been widely employed to study internal-wave properties, including the generation process (Lee & Beardsley Reference Lee and Beardsley1974; Grimshaw & Smyth Reference Grimshaw and Smyth1986; Grimshaw et al. Reference Grimshaw, Chan and Chow2002b ; Grimshaw & Helfrich Reference Grimshaw and Helfrich2018) and the propagation process (Michallet & Barthelemy Reference Michallet and Barthelemy1998; Grimshaw et al. Reference Grimshaw, Pelinovsky, Pelinovsky and Slunyaev2002a ; Zhao & Alford Reference Zhao and Alford2006). The Korteweg–de Vries internal-wave model is a weakly nonlinear model, and it is desirable to use a strongly nonlinear model when considering large-amplitude internal waves (Grue et al. Reference Grue, Jensen, Rusas and Sveen1999; Ostrovsky & Stepanyants Reference Ostrovsky and Stepanyants2005; Helfrich & Melville Reference Helfrich and Melville2006).
To describe the large-amplitude ISWs, Miyata (Reference Miyata1985, Reference Miyata1988), Choi & Camassa (Reference Choi and Camassa1999) derived a strongly nonlinear internal-wave model known as the Miyata–Choi–Camassa (MCC) model. In the MCC model, depth-averaged horizontal velocities are utilised to approximate the horizontal-velocity variations along the fluid column for both the upper- and lower-fluid layers. The MCC model, applicable in shallow configurations (
$H_1/\lambda \ll 1$
and
$H_2/\lambda \ll 1$
, where
$H_1$
and
$H_2$
are the undisturbed depths of the upper- and lower-fluid layers, respectively, and
$\lambda$
is the characteristic wavelength, Camassa et al. Reference Camassa, Choi, Michallet, Rusas and Sveen2006), has demonstrated good applicability through comparisons with numerical solutions of Euler’s equations and the laboratory observations (Choi & Camassa Reference Choi and Camassa1999; Camassa et al. Reference Camassa, Choi, Michallet, Rusas and Sveen2006; Kodaira et al. Reference Kodaira, Waseda, Miyata and Choi2016; la Forgia & Sciortino Reference la Forgia and Sciortino2019). Choi (Reference Choi2022a
,Reference Choi
b
) obtained a second-order derivation of the MCC model, and the results showed good agreement with Euler’s solution. Meanwhile, the MCC model is also applied to strongly nonlinear internal-wave problems with different boundary conditions, such as the flat bottom case
$z=-H_{2}$
(Jo & Choi Reference Jo and Choi2008; la Forgia & Sciortino Reference la Forgia and Sciortino2020, Reference la Forgia and Sciortino2021; Xu, Wang & Hayatdavoodi Reference Xu, Wang and Hayatdavoodi2023), the space-varying bottom case
$z=-H_{2}+b(x)$
(Jo & Choi Reference Jo and Choi2002; Choi, Zhi & Barros Reference Choi, Zhi and Barros2020) and the time-varying bottom case
$z=-H_{2}+b(x,t)$
(Choi Reference Choi2000; Zhao et al. Reference Zhao, Zhang, Duan, Wang, Guo, Hayatdavoodi and Ertekin2023a
; Zhang et al. Reference Zhang, Wang, Zhao, Hayatdavoodi, Ertekin and Duan2024), where
$b$
is the bottom elevation. However, due to the long-wave assumption, the MCC model is not well suited for solving ISWs in deep configurations (where
$H_1/\lambda \ll 1$
and
$H_2/\lambda =O(1)$
).
In the context of describing large-amplitude ISWs in deep configurations, various models have been explored. Grue et al. (Reference Grue, Friis, Palm and Rusas1997, Reference Grue, Jensen, Rusas and Sveen1999) proposed a fully nonlinear method for two-layer internal waves under the rigid-lid assumption (where the free surface is replaced by a rigid lid), based on potential-flow theory in which the velocity potential satisfies the Laplace equation. Choi & Camassa (Reference Choi and Camassa1999) established a strongly nonlinear internal-wave model (CC model) by utilising a depth-averaged horizontal-velocity approximation for the upper-fluid layer and linear theory for the lower-fluid layer. Subsequently, Debsarma, Das & Kirby (Reference Debsarma, Das and Kirby2010) improved the dispersion property of the CC model. Differences between the internal-wave solutions of the CC models and Euler’s solutions were observed for deep configurations by Debsarma et al. (Reference Debsarma, Das and Kirby2010).
High-level Green–Naghdi (HLGN) models, as systematic extensions of the Green–Naghdi theory, capture strong nonlinearity and strongly dispersive effects, and are applicable to both shallow and deep configurations. On surface-wave conditions, HLGN models have been widely applied, for example, to study tsunami simulation (Zhao, Duan & Webster Reference Zhao, Duan and Webster2011), wave–current interactions (Wang et al. Reference Wang, Zhao, Duan, Ertekin, Hayatdavoodi and Zhang2020), sill-controlled flows (Castro-Orgaz et al. Reference Castro-Orgaz, Gamero-Ojeda, Cantero-Chinchilla, de Luna and Chanson2024), wave loading (Su, Teng & Gou Reference Su, Teng and Gou2024) and focused waves (Duan et al. Reference Duan, Zhao, Hayatdavoodi and Zheng2025). On internal-wave cases, Zhao et al. (Reference Zhao, Ertekin, Duan and Webster2016) first developed the two-layer HLGN model under the rigid-lid approximation, in which the vertical structures of both horizontal and vertical velocities are approximated using polynomial functions. It was shown that the model yields accurate steady internal-wave solutions in close agreement with Euler’s solutions and laboratory experiments (Zhao et al. Reference Zhao, Zhang, Wang, Duan, Chesnokov and Shmakova2024a ). The HLGN model was also generalised to the internal solitary wave with a free surface (Zhao et al. Reference Zhao, Wang, Duan, Ertekin, Hayatdavoodi and Zhang2020) and with background shear current (Zhao et al. Reference Zhao, Zhang, Duan, Wang, Hayatdavoodi and Ertekin2023b , Reference Zhao, Zhang, Wang, Hayatdavoodi, Gou, Ertekin and Duan2024b ), and has been applied on mode-2 ISWs (Zhang et al. Reference Zhang, Wang, Wang, Xie, Zhao, Duan and Hayatdavoodi2020) and internal-wave collisions (Zhang et al. Reference Zhang, Wang, Wang, Zhao and Duan2021).
While the wave generated by bottom disturbances in a single-layer fluid has been studied using the single-layer HLGN model (Ertekin Reference Ertekin1984; Chen et al. Reference Chen, Hayatdavoodi, Zhao and Ertekin2024), there have been no previous studies to consider the two-layer HLGN model for time-varying bottom or time-varying surface conditions. The study of internal waves generated by moving disturbances is of significant interest, encompassing various practical cases such as the dead-water phenomenon induced by ship motion (Mercier, Vasseur & Dauxois Reference Mercier, Vasseur and Dauxois2011; Duchene Reference Duchene2011), the movement of vehicles over floating ice in polar environments (Squire et al. Reference Squire, Robinson, Langhorne and Haskell1988; Wang & Lu Reference Wang and Lu2023) and bottom disturbance-like underwater landslides (Brizuela et al. Reference Brizuela, Filonov and Alford2019; Zhao et al. Reference Zhao, Zhang, Duan, Wang, Guo, Hayatdavoodi and Ertekin2023a ). In addition, in the studies by Grue et al. (Reference Grue, Friis, Palm and Rusas1997) on internal waves generated by boundary disturbance based on potential-flow theory, the irrotational assumption makes it difficult to account for the effects of background shear current. However, shear currents are ubiquitous in the ocean (Sciortino et al. Reference Sciortino, Prestininzi, Lombardi and la Forgia2025), and exploring the coupling between the generated internal waves and background shear current is therefore of considerable interest. Therefore, the motivations of this paper are as follows.
-
(i) To extend the two-layer HLGN model to time-varying boundaries, develop a time-domain algorithm and incorporate the effect of background shear currents.
-
(ii) To investigate internal waves generated by moving boundary disturbances, focusing on the relationships between disturbance speed, wave amplitude and phase speed, and the modulation by background shear vorticity.
This paper is organised as follows. In § 2 the equations of the extended two-layer HLGN model with time-varying boundaries are derived. The algorithm is given in § 3. Numerical test cases are presented and discussed in § 4. Conclusions are reached in § 5.
2. The HLGN model with time-varying boundary under rigid-lid assumption
2.1. Governing equations and boundary conditions
We consider two-dimensional flow of incompressible and inviscid fluids, comprising two immiscible fluid layers with constant densities denoted as
$\rho _i$
and undisturbed thickness
$H_{i}$
. Here, the subscript
$i=1$
and
$i=2$
are used for variables on the upper- and lower-fluid layers, respectively. The coordinate origin is set at the undisturbed interface, with
$x$
denoting the horizontal axis (positive to the right) and
$z$
representing the vertical axis (positive upwards). Considering the boundaries varying with time, the top-surface elevation, the interface elevation and the bottom elevation are represented by
$z=h_1(x,t)$
,
$z=\eta (x,t)$
and
$z=h_2(x,t)$
, respectively. A sketch of the two-layer fluid system is shown in figure 1.
Sketch of a two-layer fluid system with time-varying boundaries.

The mass conservation equations of the two fluid layers can be written as
where
$u_{i}(x,z,t)$
and
$w_{i}(x,z,t)$
represent the horizontal- and vertical-velocity components, respectively.
The momentum conservation equations of the two-fluid layers can be written as
where
$t$
is the time,
$p_{i}(x,z,t)$
is the pressure and
$g$
is the gravitational acceleration.
The kinematic boundary conditions for the upper- and lower-fluid layers are written as
The dynamic boundary condition at the interface between the two-fluid layers is written as
Here
$\bar {p}_i$
and
$\hat {p}_i$
are the pressure at the lower and upper surfaces of the
$i$
th fluid layer, respectively.
2.2. The HLGN model equations
In the two-layer HLGN model (see, e.g. Zhao et al. Reference Zhao, Ertekin, Duan and Webster2016, Reference Zhao, Wang, Duan, Ertekin, Hayatdavoodi and Zhang2020), the horizontal- and vertical-velocity components are described as
\begin{align} {u_i}\left ( {x,z,t} \right ) = \sum \limits _{n = 0}^{{K_i}} {{u_{n,i}}\left ( {x,t} \right ){z^n},\qquad{w_i}\left ( {x,z,t} \right ) = \sum \limits _{n = 0}^{{K_i}} {{w_{n,i}}\left ( {x,t} \right ){z^n}} }\quad(i=1,2), \end{align}
where
$K_1$
and
$K_2$
are the levels of the HLGN model used for the upper-fluid layer and the lower-fluid layer, respectively. Notation HLGN-
$K_1$
–
$K_2$
denotes the levels used for the upper-fluid layer and lower-fluid layer in the HLGN model, where
$K_1$
and
$K_2$
are independent of each other. Here
$u_{n,1}(x,t)$
,
$w_{n,1}(x,t)$
,
$u_{n,2}(x,t)$
and
$w_{n,2}(x,t)$
are the unknown velocity coefficients that need to be solved as part of the solutions.
Substituting (2.5) into (2.1) results in
Substituting (2.5) into (2.2), multiplying each term by
$z^n\,(n=0,1,\ldots ,K_i)$
and integrating from
$\eta$
to
$h_1$
to eliminate
${\bar p}_1$
for the upper layer, and from
$h_2$
to
$\eta$
to eliminate
${\bar p}_2$
for the lower layer, will result in
Here we denote the indices of the polynomial expansions by
$n = n ^ U$
for the upper layer and
$n = n ^ L$
for the lower layer, in order to avoid ambiguity. In functions such as
$M_{n,i}$
,
$E_{n,i}$
,
$G_{n,i}$
, the subscript
$i$
is already used to distinguish layers. The functions in (2.7) are given by
\begin{align} &{E_{n,i}} = \sum \limits _{m = 0}^{K_i} {\left ( {\frac {{\partial {u_{m,i}}}}{{\partial t}}{S2_{\textit{mn},i}} + \frac {{\partial {u_{m,i}}}}{{\partial x}}{Q_{\textit{mn},i}} + {u_{m,i}}{H_{\textit{mn},i}}} \right )} \quad(i=1,2), \\[-12pt] \nonumber \end{align}
\begin{align} &{G_{n,i}} = \sum \limits _{m = 0}^{K_i} {\left ( {\frac {{\partial {w_{m,i}}}}{{\partial t}}{S2_{\textit{mn},i}} + \frac {{\partial {w_{m,i}}}}{{\partial x}}{Q_{\textit{mn},i}} + {w_{m,i}}{H_{\textit{mn},i}}} \right )}\quad(i=1,2), \\[-12pt] \nonumber \end{align}
\begin{align} &{Q_{\textit{mn},i}} = \sum \limits _{r = 0}^{K_i} {{u_{r,i}}{S3_{\textit{mrn},i}}},\;\;\;\;\;{H_{\textit{mn},i}} = \sum \limits _{r = 0}^{K_i} {{w_{r,i}}S4_{\textit{mrn},i}}\quad(i=1,2), \\[-12pt] \nonumber \end{align}
At this moment, we are interested in describing
${\hat p}_1$
and
${\hat p}_2$
in (2.7) in alternative forms. Based on (2.4) and the relationship between the upper-surface pressure and the lower-surface pressure for the single-layer HLGN model given by Webster, Duan & Zhao (Reference Webster, Duan and Zhao2011), we obtain the following relation:
Now, setting
$n^U=1$
in (2.7a
) and
$n^L=1$
(2.7b
), and combining with (2.9), we can eliminate
${\hat p}_1$
and
${\hat p}_2$
to obtain a new equation. Similarly, setting
$n^U=1$
in (2.7a
) and
$n^L=2$
in (2.7b
), and combining with (2.9), we can eliminate
${\hat p}_1$
and
${\hat p}_2$
to obtain a second new equation. Following the same principle, we can obtain a series of new equations, which can be written as
On the other hand, fixing
$n^U=1$
in (2.7a
), we can eliminate
${\hat p}_1$
for each
$n$
couple, e.g.
$n^U=1$
and
$n^U=2$
,
$n^U=1$
and
$n^U=3$
, etc., to obtain another series of new equations. These new equations are presented as
Substituting (2.5) into (2.3) results in
\begin{align} {w_{0,1}} & = \frac {{\partial {h_1}}}{{\partial t}} + \frac {{\partial {h_1}}}{{\partial x}}{u_{0,1}} - \sum \limits _{n = 1}^{{K_1}} {h_1^n\left ( {{w_{n,1}} - \frac {{\partial {h_1}}}{{\partial x}}{u_{n,1}}} \right )}, \\[-12pt] \nonumber \end{align}
\begin{align} \frac {{\partial {\eta }}}{{\partial t}} & = \sum \limits _{n = 0}^{{K_1}} {\mkern 1mu} \eta ^n\left ( {{w_{n,1}} - \frac {{\partial {\eta }}}{{\partial x}}{u_{n,1}}} \right )\!, \\[-12pt] \nonumber \end{align}
\begin{align} \frac {{\partial \eta }}{{\partial t}}& = \sum \limits _{n = 0}^{{K_2}} \,{\eta ^n}\left ( {w_{n,2} - \frac {{\partial \eta }}{{\partial x}}u_{n,2}} \right )\!, \\[-12pt] \nonumber \end{align}
\begin{align} w_{0,2} & = \frac {{\partial {h _2}}}{{\partial t}} + \frac {{\partial {h _2}}}{{\partial x}}u_{0,2} - \sum \limits _{n = 1}^{{K_2}} {h _2^n\left ( {w_{n,2}}- \frac {{\partial {h_2}}}{{\partial x}}u_{n,2}\right )}. \\[9pt] \nonumber \end{align}
Ultimately, (2.10), (2.11), (2.12b
) and (2.12c
) constitute the equations for the two-layer HLGN model with time-varying boundaries. Since the upper surface of the upper-fluid layer
$h_1$
and the lower surface of the lower-fluid layer
$h_2$
are always known, the vertical-velocity coefficients
$w_{n,i}$
can be eliminated by using (2.6), (2.12a
) and (2.12d
). Consequently, the unknowns are
$\eta$
,
$u_{n,1}\,\, (n=0,1,\ldots ,K_1-1)$
and
$u_{n,2} (n=0,1,\ldots ,K_2-1)$
. The total number of equations and unknowns are both
$K_1 + K_2+1$
, ensuring that the system is closed. We note that in the HLGN model the unknowns consist only of the horizontal-velocity coefficients, without the need for solving the vertical-velocity components. Consequently, spatial discretisation is required only in the horizontal direction, thereby achieving a dimensional reduction of the problem.
In the case where only the bottom or the surface varies with time, it suffices to retain either
$h_{1}=H_{1}$
or
$h_{2}=-H_{2}$
, respectively, to derive the HLGN model with time-varying bottom or time-varying surface. In the case where neither the bottom nor the surface vary with time, i.e.
$h_{1}=H_{1}$
and
$h_{2}=-H_{2}$
, the equations reduce to HLGN equations with a flat bottom derived by Zhao et al. (Reference Zhao, Ertekin, Duan and Webster2016).
3. Time-domain numerical algorithm
Though Zhao et al. (Reference Zhao, Wang, Duan, Ertekin, Hayatdavoodi and Zhang2020) established a time-domain algorithm for the HLGN model with a free surface, its direct application to the HLGN model under the rigid-lid approximation is hindered by differences in the treatment of boundary conditions. In this section we present a time-domain algorithm for the HLGN equations under the rigid-lid assumption.
3.1. Simplification of the HLGN equations by deriving the expression for
$u_{0,1}$
For the boundary conditions in the HLGN model under the rigid-lid assumption, both (2.12b
) and (2.12c
) are simultaneously applied to solve for
${\partial \eta } \mathord {\left /{\vphantom {{\partial \eta } {\partial t}}} \right .} {\partial t}$
. When treated as independent partial differential equations, they affect only the single variable,
$\eta$
, and neither condition can be discarded, as they are mathematically independent.
To overcome the challenge posed by solving two boundary-condition equations dedicated to determine
${\partial {\eta }} \mathord {\left /{\vphantom {{\partial {\eta }} {\partial t}}} \right .} {\partial t}$
, from (2.12b
) and (2.12c
), we can eliminate
$\partial {\eta }/\partial t$
and obtain
\begin{align} \frac {{\partial \eta }}{{\partial t}} = \sum \limits _{n = 0}^{{K_1}} {{\eta ^n}\left ( {{w_{n,1}} - \frac {{\partial \eta }}{{\partial x}}{u_{n,1}}} \right )} = \sum \limits _{n = 0}^{{K_2}} {\mkern 1mu} {\eta ^n}\left ( {{w_{n,2}} - \frac {{\partial \eta }}{{\partial x}}{u_{n,2}}} \right )\!. \end{align}
By substituting (2.12a
) and (2.12d
) into (3.1) and integrating with respect to the
$x$
direction, the expression for
$u_{0,1}$
can be obtained as
\begin{align} {u_{0,1}} = \frac {1}{{{h_1} - \eta }}\left [ {\int _{{ - \infty }}^{{ + \infty }} {\left ( {\frac {{\partial {h_2}}}{{\partial t}} - \frac {{\partial {h_1}}}{{\partial t}}} \right ){\textrm {d}}x} - \sum \limits _{n = 1}^{{K_2}} {\frac {{{\eta ^n} - h_2^n}}{n}{u_{n - 1,2}} - \sum \limits _{n = 2}^{{K_1}} {\frac {{h_1^n - {\eta ^n}}}{n}{u_{n - 1,1}}} } } \right ]\!. \end{align}
We note that the number of unknowns has been reduced by one with the provision of an expression for
$u_{0,1}$
, and now only (2.12c
) is needed to solve
$\partial {\eta }/\partial t$
. At this stage, the HLGN model is governed by (2.10), (2.11) and (2.12c
), with corresponding unknowns being
$\eta$
,
$u_{n,1}\,\, (n=1,\ldots ,K_1-1)$
and
$u_{n,2} \,\,(n=0,1,\ldots ,K_2-1)$
. As the number of equations and unknowns is
$K_{1}+K_{2}$
, the system is mathematically closed.
As shown in (3.2), the integral terms need to be calculated first. Here, the calculation domain of
$x$
is assumed to have a uniform grid of
$x$
values, spaced a distance of
$\Delta {x}$
apart. The
$i$
th point on the grid is denoted by
${x_i} = i\Delta {x}$
for
$i = -2, -1, 0, {\cdots} , nx, nx+1, nx+2$
. Time is discretised with intervals
$\Delta {t}$
, with
${t_j} = j\Delta {t}$
. We note that the points with
$i=-2$
and
$-1$
are used to calculate derivatives. Taking the bottom elevation
$h_2(x_{i}, t_{j})$
as an example, since the bottom elevation in different moments is always known,
${\partial {h_2}} \mathord {\left /{\vphantom {{\partial {h_2}} {\partial t}}} \right .} {\partial t}$
can be calculated by the central difference method, written as
Then, the integral term
$J({x_i},{t_j}) = \int _{{ - \infty }}^{{ + \infty }} {{{\partial {h_2}} \mathord {\left /{\vphantom {{\partial {h_2}} {\partial t}}} \right .} {\partial t}}{\textrm {d}}x}$
is calculated by the trapezoidal rule, where the integration is performed from the left boundary to the right boundary of the computational domain, with the value at the left endpoint of the domain set to zero. Combined with (3.3), the expression for
$J({x_i},{t_j})$
is written as
\begin{align} J({x_i},{t_j}) & = J({x_{i - 1}},{t_j}) \nonumber\\ & \quad + \frac {{\left [ {{h_2}({x_i},{t_{j + 1}}) + {h_2}({x_{i - 1}},{t_{j + 1}}) - {h_2}({x_i},{t_{j - 1}}) - {h_2}({x_{i - 1}},{t_{j - 1}})} \right ]\Delta x}}{{4\Delta t}}. \end{align}
Finally, the value of
$u_{0,1}$
can be calculated by (3.2), which is used in the following calculation.
3.2. Time-domain algorithm for HLGN equations
In the two-layer HLGN model with time-varying bottom, (2.10) and (2.11) can be arranged as the form
where
and the dot over variables indicates the time derivative. Matrices
$\boldsymbol{A}$
,
$\boldsymbol{B}$
and
$\boldsymbol{C}$
are of size
$(K_1+K_2-1) \times (K_1+K_2-1)$
and
$\boldsymbol{f}$
is a vector of dimension (
$K_1+K_2-1)$
. The matrices
$\boldsymbol{A}$
,
$\boldsymbol{B}$
,
$\boldsymbol{C}$
and the vector
$\boldsymbol{f}$
are explicit functions of
$h_{1}(x,t)$
,
$h_{2}(x,t)$
,
$\eta (x,t)$
,
$\xi (x,t)$
and their spatial derivatives. The coefficients for the HLGN-1-1 (
$K_{1}=1$
and
$K_{2}=1$
) model and HLGN-2-2 (
$K_{1}=2$
and
$K_{2}=2$
) model are provided in Appendix A. The computation of
$\boldsymbol{A}$
,
$\boldsymbol{B}$
,
$\boldsymbol{C}$
and
$\boldsymbol{f}$
was carried out in Mathematica, and the corresponding code is provided in the supplementary material for reference is available at https://doi.org/10.1017/jfm.2025.10996. We note that
$\boldsymbol{A}$
,
$\boldsymbol{B}$
,
$\boldsymbol{C}$
and
$\boldsymbol{f}$
in the HLGN-1-1 model are identical to those in the MCC model derived by Zhao et al. (Reference Zhao, Zhang, Duan, Wang, Guo, Hayatdavoodi and Ertekin2023a
).
In the calculation of HLGN equations, since we refer to the same
$j$
time, the value of the solution vector
$\xi (x_i,t_j)$
will be denoted by
$\xi ^{(i)}$
, where
$j$
is omitted. Similar subscripts are also used for other metrics and vectors.
The five-point central difference scheme with fourth-order accuracy is used to calculate the first and second spatial derivatives for
$\dot {\xi }^{(i)}$
as
Substituting (3.7) into (3.5) results in
where
For the detailed algorithm to solve (3.8), we refer the reader to Demirbilek & Webster (Reference Demirbilek and Webster1999) and Zhao, Duan & Ertekin (Reference Zhao, Duan and Ertekin2014), although they solved the HLGN equations for a single-layer fluid system.
Subsequently, the first-order time derivative of the velocity coefficients
$\dot u_{1,1}$
,
$\dot u_{2,1}$
,
$\ldots$
,
$\dot u_{K_1-1,1}$
,
$\dot u_{0,2}$
,
$\dot u_{1,2}$
,
$\ldots$
,
$\dot u_{K_2-1,2}$
can be obtained by using (3.8), and the first-order time derivative of the interface elevation
$\dot \eta _1$
can be calculated by using (2.12c
).
For time marching, a fourth-order Adams–Bashforth predictor–corrector scheme is employed. At each time step, multiple prediction-correction iterations are performed until the difference between the two closed correction values is less than
$10^{-5}$
. In addition, it is known that the two-layer inviscid model suffers from a Kelvin–Helmholtz instability due to the presence of a horizontal-velocity jump across the interface induced by the internal waves (Jo & Choi Reference Jo and Choi2002). In the present numerical simulation a five-point smoothing filter is intermittently applied for the time-stepping variables
$\eta$
and
$\xi$
. The smoothing filter can effectively reduce the impact of the short waves and ensure stable propagations of large-amplitude internal waves over a long time without numerical dissipation (Zhao et al. Reference Zhao, Zhang, Duan, Wang, Guo, Hayatdavoodi and Ertekin2023a
).
4. Numerical test cases
In this section we employ the extended two-layer HLGN model to simulate the ISWs. Initially, we examine a large-amplitude internal solitary wave propagating over a flat bottom in shallow and deep configurations, respectively, comparing the HLGN results with laboratory observations. Next, we investigate internal waves generated by a moving bottom disturbance, comparing the HLGN model results with the fully nonlinear potential-flow (FNPF) solution and MCC results. Subsequently, we compare the HLGN results with the experimental observations for the internal wave generated by a surface moving disturbance, and further analyse the evolution of generated internal waves under different disturbance moving speeds in the laboratory experiments. Finally, we study the internal waves generated by a moving bottom disturbance with a linear shear current, and analyse the modulation of the generated waves by background vorticity.
The choice of HLGN levels is related to the upper-to-lower depth ratio. The appropriate level can be determined through convergence tests, and details on the level convergence of the HLGN model are provided in Zhao et al. (Reference Zhao, Ertekin, Duan and Webster2016). In the simulations we adopt HLGN-
$K_1$
–
$K_2$
notation, with
$K_1$
=
$K_2$
= 3 for the cases with a depth ratio of 1:4, and
$K_1$
=
$K_2$
= 5 for the cases with a depth ratio of 1:24.
4.1. Large-amplitude ISWs propagating over the flat bottom
In this subsection we consider a large-amplitude internal solitary wave propagating over the flat bottom. The initial values are provided by the steady solutions of the HLGN model, including the internal-wave profile
$\eta$
, horizontal-velocity coefficients
$u_{n,1}$
(where
$n=1,2,\ldots ,K_1-1$
) and
$u_{n,2}$
(where
$n=0,1,\ldots ,K_2-1$
). More details of the steady-solution algorithm of the HLGN model can be found in Zhao et al. (Reference Zhao, Ertekin, Duan and Webster2016).
For the large-amplitude internal solitary wave propagating in the shallow configuration, following the laboratory experiments conducted by Grue et al. (Reference Grue, Jensen, Rusas and Sveen1999), we choose the parameters
$H_1 =0.15$
m,
$H_2 =0.62$
m,
$\rho _1 =999$
kg
$\textrm {m}^{- 3}$
and
$\rho _2 =1022$
kg
$\textrm {m}^{- 3}$
. The selected amplitude of the internal solitary wave is
$a/{H_1}=1.23$
. In this case, we adopt HLGN-
$K_1$
–
$K_2$
with
$K_1$
=
$K_2$
= 3.
(a) Profiles of the internal solitary wave propagating without changing its form. (b) Comparison of the internal-wave profile. (c) Comparison of the horizontal velocity along the fluid column at the maximal displacement. A large-amplitude internal solitary wave with
$a/H_1=1.23$
propagating on the flat bottom in the shallow configuration,
$\rho _1/\rho _2=0.977$
and
$H_1/H_2=1/4.13$
.

Figure 2 presents a large-amplitude internal solitary wave propagating on the flat bottom in the shallow configuration. Snapshots of the internal solitary wave at different moments are presented in figure 2(a), the internal-wave profiles at different moments are translated to the place where the maximal displacement is at
$x/H_1=0$
. The internal solitary wave propagates without any change, indicating the steady propagation of this large-amplitude internal solitary wave over the flat bottom. Figures 2(b) and 2(c) display the internal-wave profile and horizontal velocity along the fluid column at the maximal displacement for the present time-domain solution at
$t(g/H_{1})^{0.5}=4000$
, where
$c_0^2 = {{g{H_1}{H_2} ( {{\rho _2} - {\rho _1}} )} \mathord {\left /{\vphantom {{g{H_1}{H_2} ( {{\rho _2} - {\rho _1}} )} { ( {{\rho _1}{H_2} + {\rho _2}{H_1}} )}}} \right .} { ( {{\rho _1}{H_2} + {\rho _2}{H_1}} )}}$
represents the linear long-wave speed. The steady solutions of the HLGN model obtained by Zhao et al. (Reference Zhao, Ertekin, Duan and Webster2016) and laboratory observations by Grue et al. (Reference Grue, Jensen, Rusas and Sveen1999) are included for comparison. The numerical results exhibit good agreement, aligning well with the laboratory observations. This demonstrates the accuracy of the time-domain solution of the HLGN model for the shallow configuration.
For the case of a large-amplitude internal solitary wave propagating in a deep configuration, the parameters are set following the laboratory experiments conducted by Michallet & Barthelemy (Reference Michallet and Barthelemy1998) with
$H_1 =0.0054$
m,
$H_2 =0.1294$
m,
$\rho _1 =780$
kg
$\textrm {m}^{- 3}$
and
$\rho _2 =1000$
kg
$\textrm {m}^{- 3}$
. The selected amplitude of the internal solitary wave is
$a/{H_1}=2.13$
. Here, we adopt HLGN-
$K_1$
–
$K_2$
with
$K_1$
=
$K_2$
= 5.
(a) Profiles of the internal solitary wave propagating without changing its form. (b) Comparison of the internal-wave profile. A large-amplitude internal solitary wave with
$a/H_1=2.13$
propagating on the flat bottom in the deep configuration,
$\rho _1/\rho _2=0.78$
and
$H_1/H_2=1/24$
.

Internal-wave profiles at different moments are translated to the place where the maximal displacement is at
$x/H_1=0$
as shown in figure 3(a). Snapshots of the internal solitary wave at different moments are depicted, illustrating the stable propagation of the internal solitary wave without any change in the deep configuration. In figure 3(b) the internal-wave profile comparisons are presented between the present time-domain solution, the steady solution of the HLGN model obtained by Zhao et al. (Reference Zhao, Ertekin, Duan and Webster2016) and the laboratory observations by Michallet & Barthelemy (Reference Michallet and Barthelemy1998). The results of the HLGN model match the laboratory measurements very well for the front (left) part of the internal-wave profile up to
$t(g/H_{1})^{0.5}=13$
. Some differences are observed for the back (right) half of the wave, which is caused by the tails generated in the laboratory experiments. The time-domain solution and the steady solution match well in general, illustrating the accuracy of the time-domain solution of the HLGN model for the case of a large-amplitude internal solitary wave propagating over a flat bottom in the deep configuration.
Although ISWs of depression have been presented in this section, it should be noted that the HLGN model is equally capable of capturing solitary waves of elevation. Barros, Gavrilyuk & Teshukov (Reference Barros, Gavrilyuk and Teshukov2007) derived a two-layer Green–Naghdi model with a free surface, and in their subsequent study (Barros & Gavrilyuk Reference Barros and Gavrilyuk2007) they identified the existence of a critical depth ratio that separates elevation- from depression-type solitary waves.
4.2. Internal waves generated by a moving bottom disturbance
In this subsection we consider the internal waves generated by the motion of an elliptically shaped body on the bottom. We adopt the same parameters provided by Grue et al. (Reference Grue, Friis, Palm and Rusas1997):
$H_1 =0.12$
m,
$H_2 =0.03$
m,
$\rho _1 =787.3$
kg
$\textrm {m}^{- 3}$
and
$\rho _2 =1000$
kg
$\textrm {m}^{ - 3}$
. The motion of the bottom disturbance is confined to horizontal motion. The major semi-axis and the minor semi-axis of the ellipse are
${L_{1/2}} = 10{H_1} = 0.3$
m and
${B_{1/2}} = 0.1{H_1} = 0.003$
m, respectively. The body moves at a constant velocity
$U_0 = 1.1{c_0} = 0.252$
m s−1. The semi-ellipse on the bottom maintains a constant speed starting from the initial moment, indicating no acceleration of the bottom disturbance. This constant-speed condition is not required in general.
Internal waves generated by a body moving on the bottom at different moments,
$\rho _1/\rho _2=0.7873$
,
$H_1/H_2=4/1$
and
$U=1.1c_{0}$
. Results are shown for (a)
$t(g/H_{2})^{0.5}$
= 1080, (b)
$t(g/H_{2})^{0.5}$
= 1920 and (c)
$t(g/H_{2})^{0.5}$
= 2760.

The internal elevation at different moments obtained by the HLGN-3-3 model is shown in figure 4, where the FNPF solution obtained by Grue et al. (Reference Grue, Friis, Palm and Rusas1997) and the results provided by the MCC model obtained by Zhao et al. (Reference Zhao, Zhang, Duan, Wang, Guo, Hayatdavoodi and Ertekin2023a ) are also presented for comparison. In figure 4, several internal waves can be generated in front of the moving body, and the number of generated internal waves increases for a larger moving time. The time-domain solutions of the HLGN model and FNPF solution obtained by Grue et al. (Reference Grue, Friis, Palm and Rusas1997) basically coincide. However, the comparison between the time-domain solutions of the HLGN model and the MCC model reveals some differences in wave locations. While the wave profiles align well for the first generated wave, the same discrepancies in wave location appear for subsequent waves, mainly in the form of a difference in the propagation speed.
Comparison of the internal-wave profiles between the time-domain solution and the steady solution by the HLGN model,
$\rho _1/\rho _2=0.7873$
,
$H_1/H_2=4/1$
and
$a/H_{2}=0.845$
.

In figure 5 a comparison is made between the time-domain solution at
$t(g/H_{2})^{0.5}$
= 2760 of the HLGN model and the steady solution of the HLGN model concerning internal-wave profiles. A good agreement is observed, indicating that the generated waves are ISWs indeed. Moreover, it is observed that the distances between the crests of adjacent ISWs are basically the same, which indicates that the interaction between the ISWs is weak. Similar conclusions are also made by Grue et al. (Reference Grue, Friis, Palm and Rusas1997) and Zhao et al. (Reference Zhao, Zhang, Duan, Wang, Guo, Hayatdavoodi and Ertekin2023a
).
4.3. Internal waves generated by a moving surface disturbance
In this subsection we consider the internal waves generated by a body moving on the top surface. We utilise the parameters provided by Melville & Helfrich (Reference Melville and Helfrich1987) and Grue et al. (Reference Grue, Friis, Palm and Rusas1997), namely
$H_1 = 0.03\,\mathrm{m}$
,
$H_2 = 0.12\,\mathrm{m}$
,
$\rho _1 = 800\,\mathrm{kg\,m^{- 3}}$
and
$\rho _2 = 986 \,\mathrm{kg\,m^{- 3}}$
. The shape of the moving body is represented by
$z = {H_1} - {H_0}{{\mathop {\textrm sech}\nolimits } ^2} ( {Kx} )$
, where the height of the body
$H_0 = 0.4\,H_1 = 0.012\ \mathrm{m}$
and
$K = 0.1989/H_0$
(this geometry is the two-dimensional counterpart of Nansen’s ship, Melville & Helfrich Reference Melville and Helfrich1987).
Internal waves generated by a body moving on the top surface,
$\rho _1/\rho _2=0.8114$
and
$H_1/H_2=1/4$
. Results are shown for (a)
$U=0.94c_{0}$
and
$t(g/H_{2})^{0.5}$
= 780, (b)
$U=1.141c_{0}$
and
$t(g/H_{2})^{0.5}$
= 660.

Figure 6 illustrates the internal elevation generated by a moving surface disturbance obtained by the HLGN-3-3 model, where the FNPF solution obtained by Grue et al. (Reference Grue, Friis, Palm and Rusas1997) and MCC results are also presented for comparison. Overall, there is a good agreement between the three model results at the moving speeds of
$U=0.94c_{0}$
and
$U=1.141c_{0}$
. Moreover, the internal-wave amplitude at the moving speed of
$U=1.14c_{0}$
is larger compared with the amplitude at the moving speed of
$U=0.94c_{0}$
.
Relationships between the moving body speed and the excess speed of the generated internal wave,
$\rho _1/\rho _2=0.8114$
and
$H_1/H_2=1/4$
(the solid line marks where the generated internal wave has the same speed as the body).

The relationship between the excess speed
$(c-c_{0})/c_{0}$
and the moving speed
$U/c_{0}$
is shown in figure 7, comparing the results from the HLGN model, FNPF solution obtained by Grue et al. (Reference Grue, Friis, Palm and Rusas1997) and laboratory observations obtained by Melville & Helfrich (Reference Melville and Helfrich1987). The wave speed was determined in the laboratory by recording the moving time of the leading disturbance between the two recording stations located at 5 and 9.25 m. The results obtained from the HLGN model and FNPF solution followed the same procedure in extracting wave speed from the computations, with excellent agreement. Moreover, it can be observed that when the moving speed is greater than
$U/c_{0}=1.2$
, the wave speed becomes identical to the moving speed of the body.
For the relationship between the moving speed of the body
$U/c_{0}$
and the maximum wave amplitude
$a_{max}/H_{1}$
as shown in figure 8, the HLGN model results are also compared with the results from the Euler solution obtained by Grue et al. (Reference Grue, Friis, Palm and Rusas1997) and laboratory observations obtained by Melville & Helfrich (Reference Melville and Helfrich1987). Grue et al. (Reference Grue, Friis, Palm and Rusas1997) presented the wave amplitude at the far end of the tank as the maximum amplitude. A similar approach is adopted in our present study. The agreement between the HLGN model, FNPF solution and the experimental observations is generally good. When the moving speed is smaller than
$U/c_{0}=1.2$
, the amplitude of the generated internal waves increases as the moving speed increases. It is important to note that we also use the HLGN model to calculate the maximum wave amplitude for moving speeds exceeding
$U/c_{0}$
= 1.2. When the moving speed is larger than
$U/c_{0}=1.2$
, the results indicate that with a larger moving speed, the amplitude of the generated internal waves decreases. A similar phenomenon was also observed by Zhao et al. (Reference Zhao, Zhang, Duan, Wang, Guo, Hayatdavoodi and Ertekin2023a
) in the study on the generation of internal waves by bottom disturbance. Next, we focus on studying this phenomenon in more detail.
Relationships between the moving body speed and the maximum amplitude of the generated internal wave,
$\rho _1/\rho _2=0.8114$
and
$H_1/H_2=1/4$
.

Generated internal waves at different moments with different moving speed,
$\rho _1/\rho _2=0.8114$
and
$H_1/H_2=1/4$
. Results are shown for (a)
$U/c_{0}$
= 0.81, (b)
$U/c_{0}$
= 1.0 and (c)
$U/c_{0}$
= 1.2.

To further analyse the evolution of the internal wave generated by the moving surface disturbance, we compare the results obtained for different values of
$U/c_0$
. Figure 9 illustrates wave profiles at four different moments (corresponding to the dimensional time of 20, 40, 60 and 80 s) under different moving speeds.
In figure 9, when the moving speed is
$U/c_{0}$
= 0.81, the generated internal waves take the form of an undular bore, which is largely linear and, therefore, dispersive. As the speed increases to
$U/c_{0}$
= 1.0, the waves develop into a sequence of ISWs, indicating enhanced nonlinearity. When the moving speed reaches
$U/c_{0}$
= 1.2, a single soliton-like internal wave is produced, remaining aligned with the moving body and forming a locally steady supercritical solution. This transition from a dispersive undular bore to solitary internal waves occurs as the body speed increases and nonlinearity gradually strengthens, thereby suppressing dispersion. The observed behaviour is consistent with previous theoretical descriptions (Melville & Helfrich Reference Melville and Helfrich1987; Grue et al. Reference Grue, Friis, Palm and Rusas1997).
For the speed of the generated internal waves, figure 7 presents the relationship between the wave speed and the moving speed. However, since only two wave gauges were deployed in the experiment, it is difficult to capture the evolution of the internal-wave speed. To investigate the speed of the generated internal waves, numerical simulations were conducted in which 10 wave gauges were arranged in the numerical wave tank. These gauges were positioned at distances ranging from 2 to 29 m from the centre of the moving body, with a uniform spacing of 3 m.
(a) Arrival times of leading wave crests at different gauges. (b) Internal-wave speed (the dashed line marks the moving speed of
$U/c_{0}=1.2$
). Evolution of the generated internal-wave speed with a different moving speed,
$\rho _1/\rho _2=0.8114$
and
$H_1/H_2=1/4$
.

Figure 10(a) shows the arrival times of the leading wave crests at different gauge locations. Based on these arrival times, the speeds of the leading wave were calculated between adjacent wave gauges, as shown in figure 10(b). Note that since the calculated wave speed represents the average speed between adjacent wave gauges, the horizontal coordinate
${{x_{\textit{centre}}}}/{{H_1}}$
in figure 10(b) corresponds to the midpoint between these gauges.
As shown in figure 10(b), when the moving speeds are
$U/c_{0}$
= 0.81 and
$U/c_{0}$
= 1.0, the wave speed of the generated internal waves initially increases and then approaches a steady value. At
$U/c_{0}$
= 1.2, the internal-wave speed is consistent with the moving speed. This indicates that dispersion dominates at lower speeds, while nonlinearity becomes stronger at higher speeds, yielding a stable soliton-like propagation speed. In addition, the wave speed reaches the stable regime after the moving body has travelled about
$x/H_{1}=500$
, corresponding to 15 m under the experimental conditions of Melville & Helfrich (Reference Melville and Helfrich1987). However, in their experiments the wave gauges were placed at 5 and 9.25 m, where the internal-wave speed had not yet stabilised. As a result, the wave speed calculated in figure 7 is lower than the fully developed wave speed. For instance, at
$U/c_{0}$
= 1.0, the experimentally measured wave speed is
$U/c_{0}$
= 1.17, which is lower than the fully developed wave speed of
$U/c_{0}$
= 1.19.
4.4. Internal waves generated by a moving disturbance in linear shear current
In this subsection we investigate the effect of background shear current on internal waves generated by a moving body on the bottom, which goes beyond the capabilities of applications based on potential flow (e.g. Grue et al. Reference Grue, Friis, Palm and Rusas1997). To investigate the influence of vorticity, the background linear shear current is prescribed in the form
which corresponds to a uniform vorticity
$\omega$
. In the HLGN model, the effect of background shear current is incorporated through far-field boundary conditions. For the linear shear current, the boundary conditions as
$x \to \infty$
are
\begin{align} \eta = 0,\;\;\;\;\;\;\;\;\;\;{u_i}\left ( {x,z,t} \right ) = \sum \limits _{n = 0}^{{K_i-1}} {{u_{n,i}}\left ( {x,t} \right ){z^n}=\omega z},\quad(i=1,2). \end{align}
Since (3.2) involves integration along the
$x$
direction, it is also necessary to introduce a far-field boundary condition. Under the linear background shear current,
$u_{0,1}$
can be expressed as
\begin{align} {u_{0,1}} & = \frac {1}{{{H_1} - \eta }} \nonumber \\& \quad \! \left [ \! {\frac {{\omega \left ( {H_1^2 - H_2^2} \right )}}{2} + \int _{ - \infty }^{ + \infty } {\frac {{\partial {h_2}}}{{\partial t}}{\textrm {d}}x} - \sum \limits _{n = 1}^{{K_2}} {\frac {{{\eta ^n} - h_2^n}}{n}{u_{n - 1,2}} - \sum \limits _{n = 2}^{{K_1}} {\frac {{H_1^n - {\eta ^n}}}{n}{u_{n - 1,1}}} } } \! \right ]\!, \end{align}
where
$H_{1}$
and
$H_{2}$
are the undisturbed thickness of the upper and lower layer, respectively.
The same bottom-moving semi-elliptical body as in § 4.2 is considered, moving at a constant non-dimensional speed
$U=1.1c_{0}$
. The depth ratio and density ratio between the upper and lower layers are given as
$H_1/H_2 = 4/1$
and
$\rho _1/\rho _2 = 0.7873$
. Simulations are performed under various vorticity strengths from
$S=-1$
to
$S=1$
, where
$S = {{\omega {H_1}} \mathord {\left / {\vphantom {{\omega {H_1}} {{c_0}}}} \right .} {{c_0}}}$
. Here, we adopt HLGN-
$K_1-K_2$
with
$K_1=K_2$
= 3. A sketch of the physical problem is shown in figure 11.
Sketch of a body moving on the bottom with background shear current.

Figure 12 illustrates the elevation ISWs generated by a moving bottom disturbance under different vorticity strengths
$S$
. The wave profiles shown correspond to the simulation results at
$t(g/H_{2})^{0.5}$
= 1808. When
$S$
is positive, increasing the vorticity strengths leads to narrower internal waves, and more solitary waves are generated within the same time interval. In contrast, when
$S$
is negative, stronger vorticity produces broader waveforms and fewer solitary waves within the same duration.
This phenomenon arises from the modulation of the internal waves by the linear background shear. For an elevation solitary wave, the induced horizontal particle velocity is negative in the upper layer (opposite to the propagating direction of the wave) and positive in the lower layer (aligned with the propagating direction of the wave). With positive
$S$
, the linear shear current is positive in the upper layer and negative in the lower layer, i.e. opposite to the wave-induced velocity in both layers (counter-flow). This opposition narrows the wave profile, increases the phase speed and allows more solitary waves to be generated over the same time. Conversely, for negative
$S$
, the background shear current aligns with the wave-induced velocities (co-flow), which broadens the solitary wave, reduces the phase speed and results in fewer solitary waves. This finding is consistent with the steady solutions of ISWs in linear shear currents reported by Choi (Reference Choi2006) and Zhao et al. (Reference Zhao, Zhang, Duan, Wang, Hayatdavoodi and Ertekin2023b
).
(a) Positive vorticity. (b) Negative vorticity. Internal-wave profiles with different vorticity strengths at
$t(g/H_{2})^{0.5}$
= 1808,
$\rho _1/\rho _2 = 0.7873$
,
$H_1/H_2 = 4/1$
and
$U=1.1c_{0}$
.

Figure 13 shows the wave profiles of ISWs generated by a moving bottom disturbance at
$t(g/H_{2})^{0.5}$
= 1808 for
$S=0$
, 1 and −1. Compared with the case of zero vorticity, when
$S=1$
(counter-flow), the solitary waves become narrower with reduced amplitude. In contrast, when
$S=-1$
(co-flow), the waves become broader and exhibit larger amplitudes. The variation in wave width is consistent with the steady solutions of ISWs in linear shear currents reported by Choi (Reference Choi2006) and Xu & Stastna (Reference Xu and Stastna2019). However, the amplitude behaviour observed here is opposite to their steady results. In the analyses by Choi (Reference Choi2006) and Xu & Stastna (Reference Xu and Stastna2019), co-flow broadens the wave but reduces its amplitude, whereas counter-flow narrows the wave and increases its amplitude. The discrepancy arises because, in the present study, ISWs are generated by a moving bottom body. Vorticity directly modifies the propagation speed of the generated waves: under counter-flow, the phase speed increases, so the solitary waves move away from the body more rapidly, reducing the effective forcing duration and resulting in smaller amplitudes. Conversely, under co-flow the phase speed decreases, so each solitary wave remains longer in the generation region, receives more energy input, and thus, attains a larger amplitude.
Comparison of the internal-wave profiles with different vorticity strengths,
$\rho _1/\rho _2 = 0.7873$
,
$H_1/H_2 = 4/1$
and
$U=1.1c_{0}$
.

Figure 14 shows the relationship between the vorticity strength
$S$
and the wave speed of the generated ISWs, where the wave speed was obtained from the displacement of the first crest between
$t(g/H_{2})^{0.5}$
= 940 and 1808. From
$S=-1$
to 0, the relationship between vorticity strength and wave speed is nonlinear, whereas from
$S=0$
to 1, it is nearly linear. In this case, the modulation of the generated ISWs is more pronounced under negative vorticity.
Relationship between the vorticity and the wave speed,
$\rho _1/\rho _2 = 0.7873$
,
$H_1/H_2 = 4/1$
and
$U=1.1c_{0}$
.

Velocity fields of generated internal waves with different vorticity strengths,
$\rho _1/\rho _2 = 0.7873$
,
$H_1/H_2 = 4/1$
and
$U=1.1c_{0}.$
Results are shown for (a)
$S=0$
, (b)
$S=-1$
and (c)
$S=1$
.

Figure 15 shows the velocity field of the ISWs generated by a moving body proceeding with different vorticity strengths. At the leading edge of the moving body, a distinct upward velocity lifts the interface and initiates the ISWs. Under no shear (
$S=0$
), a clear anticlockwise recirculation cell forms under the crest, with vectors tilting upward on the right side (down wave) and downward on the left side (up wave) of the crest (see figure 15
a). With a co-flow (
$S=-1$
), the cell is stretched streamwise, becoming flatter and wider; the core flow exhibits greater horizontal alignment and the crest becomes broader. Under a counter-flow (
$S=1$
), the linear shear produces a pronounced modification of the fluid–particle horizontal velocity, and a secondary clockwise recirculation cell emerges between adjacent ISWs, yielding a more complex shear-recirculation structure. Overall, it is observed that the background shear current systematically modulates the ISWs velocity field by redistributing layerwise momentum and reshaping the closed-streamline morphology within the wave core.
Figure 16 compares the horizontal velocity along the fluid column at the maximal displacement of the leading wave. With the background shear current included, as shown in figure 16(a), the large shear strength renders
$u/c_{0}$
approximately linear with depth, so the curves mainly reflect the linear background profile rather than the wave-induced structure. After removing the background shear current (
$u'= u - {U_c}$
) in figure 16(b), the fluid–particle horizontal velocity
$ | {u'} |$
increases in the co-flow (
$S=-1$
), whereas it decreases in the counter-flow (
$S=1$
). Under co-flow, the vertical profiles of horizontal velocity are closer to linear with depth, while counter-flow produces profiles with noticeably greater curvature. The differences demonstrate nonlinear coupling between shear current and the wave, which modulates the crestwise velocity amplitude and its vertical structure.
(a) Background shear current included. (b) Background shear current removed (
$u'= u - {U_c}$
). Comparison of the horizontal velocity along the fluid column at the maximal displacement with different vorticity strengths,
$\rho _1/\rho _2 = 0.7873$
,
$H_1/H_2 = 4/1$
and
$U=1.1c_{0}$
.

It should be noted that a uniformly moving body can be treated as equivalent to a uniform background current in the opposite direction, based on the principle of relative motion. However, this equivalence only holds for constant-speed motion. For unsteady motion, where the body velocity varies with time (Zhao et al. Reference Zhao, Zhang, Duan, Wang, Guo, Hayatdavoodi and Ertekin2023a ), or for motion along a sloping boundary, the body cannot be simply represented by a uniform flow. The theoretical framework developed in this paper can also be extended to account for such cases, including non-uniform body motion and oblique motion along a slope.
5. Conclusions
In this paper we extend the HLGN model to incorporate time-varying boundaries and background linear shear currents. The model is applied to study internal waves generated by moving disturbances on the bottom or top surface, and, in addition, the modulation of the generated waves by background vorticity is examined. The main conclusions are summarised as follows.
-
(i) For the time-domain numerical algorithm, an explicit expression for the velocity coefficient
$u_{0,1}$
is derived from the boundary conditions, which enabled a simplification of the HLGN equations. A time-domain algorithm is developed for time-varying boundary problems, incorporating the calculation of integral terms associated with the time-varying boundary. By testing the steady propagation of large-amplitude ISWs over the flat bottom in both shallow and deep configurations, the accuracy of the time-domain results and the numerical algorithm are verified. -
(ii) For the internal waves generated by a moving bottom disturbance, the wave profiles obtained by the HLGN model show good agreement with the FNPF solution in term of both amplitude and locations. By comparison, the MCC model can accurately predict the amplitude of the generated internal waves, however, differences arise in the wave locations. In addition, good agreements are also found between the present time-domain solution and the steady solution of the HLGN model, which indicates that the generated internal waves are ISWs indeed.
-
(iii) For the internal waves generated by a moving surface disturbance, based on laboratory experiments conducted by Melville & Helfrich (Reference Melville and Helfrich1987), the relationships between the moving speed and the generated internal-wave amplitude and speed are analysed, respectively. The results obtained from the HLGN model are generally in good agreement with the FNPF solution and the laboratory observations. In addition, numerical simulations were conducted to analyse the evolution of internal waves generated at three different moving speeds. For the moving speed of
$U/c_{0}$
= 0.81 and
$U/c_{0}$
= 1.0, the internal-wave speed increases initially and then tends to stabilise. Nevertheless, as the wave gauges employed for wave speed calculation in the experiment were positioned before the wave speed reached its steady-state region, the measured wave speeds are correspondingly lower than the fully developed wave speeds. -
(iv) For the internal waves generated by a moving bottom disturbance in the presence of background linear shear, the HLGN model demonstrates that vorticity strongly modulates the generated waves. Positive vorticity (counter-flow) produces narrower waves with higher phase speeds but smaller amplitudes, while negative vorticity (co-flow) leads to broader waves with lower phase speeds and larger amplitudes. In addition, background shear also reorganises the crestwise velocity field: an upward jet at the leading edge initiates the wave; co-flow stretches and flattens the core recirculation, whereas counter-flow makes it more compact and can generate a secondary clockwise recirculation between adjacent solitons; once the background shear is removed, co-flow yields larger
$ | {u'} |$
with near-linear vertical profiles, while counter-flow yields smaller
$ | {u'} |$
with a stronger curvature. Moreover, the relationship between wave speed and vorticity strength is nonlinear for co-flow (
$0 \gt S \gt -0.15$
, where
$S$
is the vorticity strength), whereas it is nearly linear for counter-flow (
$0.15 \gt S \gt 0$
). These findings highlight the critical role of background shear in shaping both the amplitude and propagation characteristics of internal waves generated by boundary motions.
Supplementary material
Supplementary material is available at https://doi.org/10.1017/jfm.2025.10996.
Funding
W.Y.D and Z.W acknowledge the support of the National Natural Science Foundation of China (Nos. 52261135547,12202114). A.C and N.S acknowledge the support of the Russian Science Foundation (No. 23-41-00090). The research work is supported by the Key Support Program for Foreign Experts (No. D20240059), the development and application project of ship CAE software, the Research Startup Project for High-level Scientific and Technological Innovation Talents (No. 202501-yjrc-xx-016) and the Fundamental Research Funds for the Central Universities (No. 3072022FSC0101).
Declaration of interests
The authors report no conflict of interest.
Appendix A. Expressions of the coefficient matrices
$\boldsymbol {A}$
,
$\boldsymbol {B}$
,
$\boldsymbol {C}$
and the vector
$\boldsymbol{f}$
in the HLGN model
For convenience, the matrices
$\boldsymbol {A}$
,
$\boldsymbol {B}$
and
$\boldsymbol {C}$
, together with the vector
$f$
, are given explicitly in (A1a–A1d).
\begin{align} &{\boldsymbol {A}} = \left ( {\begin{array}{*{20}{c}} {{a_{1,1}}}&{{a_{1,2}}}& {\cdots} &{{a_{1,{K_1} + {K_2} - 1}}}\\ {{a_{2,1}}}& \ddots & \ddots & \vdots \\ \vdots & \ddots & \ddots &{{a_{{K_1} + {K_2} - 2,{K_1} + {K_2} - 1}}}\\ {{a_{{K_1} + {K_2} - 1,1}}}& {\cdots} &{{a_{{K_1} + {K_2} - 1,{K_1} + {K_2} - 2}}}&{{a_{{K_1} + {K_2} - 1,{K_1} + {K_2} - 1}}} \end{array}} \right ), \\[-12pt] \nonumber \end{align}
\begin{align} &{\boldsymbol {B}} = \left ( {\begin{array}{*{20}{c}} {{b_{1,1}}}&{{b_{1,2}}}& {\cdots} &{{b_{1,{K_1} + {K_2} - 1}}}\\ {{b_{2,1}}}& \ddots & \ddots & \vdots \\ \vdots & \ddots & \ddots &{{b_{{K_1} + {K_2} - 2,{K_1} + {K_2} - 1}}}\\ {{b_{{K_1} + {K_2} - 1,1}}}& {\cdots} &{{b_{{K_1} + {K_2} - 1,{K_1} + {K_2} - 2}}}&{{b_{{K_1} + {K_2} - 1,{K_1} + {K_2} - 1}}} \end{array}} \right )\!, \\[-9pt] \nonumber \end{align}
\begin{align} & {\boldsymbol {C}} = \left ( {\begin{array}{*{20}{c}} {{c_{1,1}}}&{{c_{1,2}}}& {\cdots} &{{c_{1,{K_1} + {K_2} - 1}}}\\ {{c_{2,1}}}& \ddots & \ddots & \vdots \\ \vdots & \ddots & \ddots &{{c_{{K_1} + {K_2} - 2,{K_1} + {K_2} - 1}}}\\ {{c_{{K_1} + {K_2} - 1,1}}}& {\cdots} &{{c_{{K_1} + {K_2} - 1,{K_1} + {K_2} - 2}}}&{{c_{{K_1} + {K_2} - 1,{K_1} + {K_2} - 1}}} \end{array}} \right )\!, \\[-9pt] \nonumber \end{align}
\begin{align} &{\boldsymbol {f}} = \left ( {\begin{array}{*{20}{c}} {{f_1}}\\ {{f_2}}\\ \vdots \\ {{f_{{K_1} + {K_2} - 1}}} \end{array}} \right )\!. \\[12pt] \nonumber \end{align}
A.1 Coefficients for
$\boldsymbol{A}$
For the HLGN-1-1 model (
$K_{1}=K_{2}=1$
),
$\boldsymbol{A}$
is given as
For the HLGN-2-2 model (
$K_{1}=K_{2}=2$
),
$\boldsymbol{A}$
is given as
A.2 Coefficients for
$\boldsymbol{B}$
For the HLGN-1-1 model,
$\boldsymbol{B}$
is given as
For the HLGN-2-2 model,
$\boldsymbol{B}$
is given as
\begin{align} {b_{1,2}} & = \frac {{\rho _1}}{6}\left [ {4{h_2}({h_1} - \eta )\frac {{\partial {h_2}}}{{\partial x}} - \left ( {h_2^2 + 4{h_1}\eta - 5{\eta ^2}} \right )\frac {{\partial \eta }}{{\partial x}}} \right ] - ({h_2} - \eta ){h_2}{\rho _2}\frac {{\partial {h_2}}}{{\partial x}} \nonumber\\& \quad + \frac {{\rho _2}}{2}({h_2} - \eta )({h_2} + \eta )\frac {{\partial \eta }}{{\partial x}}, \\[-9pt] \nonumber \end{align}
\begin{align} {b_{2,1}} & = - \frac {{\rho _1}}{3}\left [ {2(\eta - {h_1})\frac {{\partial {h_2}}}{{\partial x}} + (2{h_1} + {h_2} - 3\eta )\frac {{\partial \eta }}{{\partial x}}} \right ] + ({h_2} - \eta ){\rho _2}\frac {{\partial \eta }}{{\partial x}} \nonumber\\& \quad - \frac {2{\rho _2}}{{3({h_2} + \eta )}}({h_2} - \eta )(2{h_2} + \eta )\frac {{\partial {h_2}}}{{\partial x}}, \\[-9pt] \nonumber \end{align}
\begin{align} {b_{2,2}} & = \frac {{\rho _1}}{6}\left [ {4({h_1} - \eta ){h_2}\frac {{\partial {h_2}}}{{\partial x}} - \left ( {h_2^2 + 4{h_1}\eta - 5{\eta ^2}} \right )\frac {{\partial \eta }}{{\partial x}}} \right ] + \frac {{\rho _2}}{2}({h_2} - \eta )({h_2} + \eta )\frac {{\partial \eta }}{{\partial x}} \nonumber\\& \quad - \frac {2{\rho _2}}{{3({h_2} + \eta )}}({h_2} - \eta )(2{h_2} + \eta ){h_2}\frac {{\partial {h_2}}}{{\partial x}}, \\[-12pt] \nonumber \end{align}
A.3 Coefficients for
$\boldsymbol{C}$
For the HLGN-1-1 model,
$\boldsymbol{C}$
is given as
\begin{align} c_{1,1} & = \frac {\rho _{1}}{{3\left ( {{h_1} - {\eta }} \right )}}\left [ {{h_1}\frac {{\partial {\eta }}}{{\partial x}}\left ( {\frac {{\partial {\eta }}}{{\partial x}} - \frac {{\partial {h_2}}}{{\partial x}}} \right )} \right . - {h_2}\left ( {3 + \frac {{\partial {\eta }}}{{\partial x}}\frac {{\partial {\eta }}}{{\partial x}} - {h_1}\frac {{{\partial ^2}{\eta }}}{{\partial {x^2}}} + {\eta }\frac {{{\partial ^2}{\eta }}}{{\partial {x^2}}}} \right ) \nonumber\\& \quad + h_1^2\left ( {\frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}} - \frac {{{\partial ^2}{\eta }}}{{\partial {x^2}}}} \right ) - {h_1}{\eta }\left ( {2\frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}} + \frac {{{\partial ^2}{\eta }}}{{\partial {x^2}}}} \right )\left . { + {\eta }\left ( {3 + {\eta }\frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}} + \frac {{\partial {\eta }}}{{\partial x}}\frac {{\partial {h_2}}}{{\partial x}}} \right )} \right ]\nonumber\\& \quad + \frac {{\rho _2}}{2}\left ( {2 - {h_2}\frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}} + {\eta }\frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}} + 2\frac {{\partial {\eta }}}{{\partial x}}\frac {{\partial {h_2}}}{{\partial x}}} \right ). \end{align}
For the HLGN-2-2 model,
$\boldsymbol{C}$
is given as
\begin{align} c_{1,1} & = \frac {\rho _{1}}{{3\left ( {{h_1} - {\eta }} \right )}}\left [ {{h_1}\frac {{\partial {\eta }}}{{\partial x}}\left ( {\frac {{\partial {\eta }}}{{\partial x}} - \frac {{\partial {h_2}}}{{\partial x}}} \right )} \right . - {h_2}\left ( {3 + \frac {{\partial {\eta }}}{{\partial x}}\frac {{\partial {\eta }}}{{\partial x}} - {h_1}\frac {{{\partial ^2}{\eta }}}{{\partial {x^2}}} + {\eta }\frac {{{\partial ^2}{\eta }}}{{\partial {x^2}}}} \right ) \nonumber\\& \quad+ h_1^2\left ( {\frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}} - \frac {{{\partial ^2}{\eta }}}{{\partial {x^2}}}} \right ) - {h_1}{\eta }\left ( {2\frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}} + \frac {{{\partial ^2}{\eta }}}{{\partial {x^2}}}} \right )\left . { + {\eta }\left ( {3 + {\eta }\frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}} + \frac {{\partial {\eta }}}{{\partial x}}\frac {{\partial {h_2}}}{{\partial x}}} \right )} \right ] \nonumber\\& \quad + \frac {{\rho _2}}{2}\left ( {2 - {h_2}\frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}} + {\eta }\frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}} + 2\frac {{\partial {\eta }}}{{\partial x}}\frac {{\partial {h_2}}}{{\partial x}}} \right )\!, \\[-9pt] \nonumber \end{align}
\begin{align} {c_{2,1}} & = \frac {{{\rho _1}}}{{3\left ( {{h_1} - \eta } \right )}} \! \left [ \! {{h_1}{\mkern 1mu} {\kern 1pt} \frac {{\partial \eta }}{{\partial x}} \!\left ( {\frac {{\partial \eta }}{{\partial x}} - \frac {{\partial {h_2}}}{{\partial x}}} \right )} \right . \! + \eta \! \left ( {3 + \frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}}{\mkern 1mu} {\kern 1pt} \eta + \frac {{\partial {h_2}}}{{\partial x}}{\mkern 1mu} {\kern 1pt} \frac {{\partial \eta }}{{\partial x}}} \right ) \! + h_1^2 \!\left ( {\frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}} - \frac {{{\partial ^2}\eta }}{{\partial {x^2}}}} \right ) \! \nonumber\\& \quad \left . { + {h_1}{\mkern 1mu} {\kern 1pt} \eta \! \left ( {\frac {{{\partial ^2}\eta }}{{\partial {x^2}}} - 2\frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}}} \right ) \! - {h_2} \!\left ( {3 + \frac {{\partial \eta }}{{\partial x}}\frac {{\partial \eta }}{{\partial x}} + \eta \frac {{{\partial ^2}\eta }}{{\partial {x^2}}} - {h_1}\frac {{{\partial ^2}\eta }}{{\partial {x^2}}}} \right )} \! \right ] - \frac {{2h_2^2{\rho _2}}}{{3\left ( {{h_2} + \eta } \right )}}{\mkern 1mu} {\kern 1pt} \frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}} \nonumber\\& \quad + \frac {{{\rho _2}}}{{3\left ( {{h_2} + \eta } \right )}}\left [ {{h_2}\left ( {3 + \frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}}{\mkern 1mu} {\kern 1pt} \eta + 3{\mkern 1mu} {\kern 1pt} \frac {{\partial {h_2}}}{{\partial x}}{\mkern 1mu} {\kern 1pt} \frac {{\partial \eta }}{{\partial x}}} \right ) + \eta \left ( {3 + \frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}}{\mkern 1mu} {\kern 1pt} \eta + 3{\mkern 1mu} {\kern 1pt} \frac {{\partial {h_2}}}{{\partial x}}{\mkern 1mu} {\kern 1pt} \frac {{\partial \eta }}{{\partial x}}} \right )} \right ], \\[-9pt] \nonumber \end{align}
\begin{align} {c_{3,1}} & = \frac {{ - {\rho _1}}}{{12({h_1} + \eta )}}\left [ {h_1^2\frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}} - \left ( {2{h_1} + \eta } \right )\eta \frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}} + 2{h_1}\frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial \eta }}{{\partial x}} - 2\eta \frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial \eta }}{{\partial x}}} \right . \nonumber\\& \quad \left . { - 2{h_1}{{\left ( {\frac {{\partial \eta }}{{\partial x}}} \right )}^2} + 2{h_2}{{\left ( {\frac {{\partial \eta }}{{\partial x}}} \right )}^2} - ({h_1} - {h_2})({h_1} - \eta )\frac {{{\partial ^2}\eta }}{{\partial {x^2}}}} \right ] , \\[-9pt] \nonumber \end{align}
\begin{align} {c_{1,2}} & = \frac {{{h_2}{\rho _1}}}{3}\left ( {{h_1}\frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}} - \eta \frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}} - \frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial \eta }}{{\partial x}}} \right ) + \frac {{{\rho _1}}}{{6\left ( {\eta - {h_1}} \right )}}\left [ {{h_1}\eta \left ( {4\frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial {h_2}}}{{\partial x}} - 6\frac {{\partial \eta }}{{\partial x}}\frac {{\partial \eta }}{{\partial x}}} \right .} \right . \nonumber\\& \quad \left . { - 3\eta \frac {{{\partial ^2}\eta }}{{\partial {x^2}}}} \right ) + 2h_1^2\left ( {\frac {{\partial \eta }}{{\partial x}}\frac {{\partial \eta }}{{\partial x}} - \frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial {h_2}}}{{\partial x}} + \eta \frac {{{\partial ^2}\eta }}{{\partial {x^2}}}} \right ) + {\eta ^2}\left ( {3\frac {{\partial \eta }}{{\partial x}}\frac {{\partial \eta }}{{\partial x}} + \eta \frac {{{\partial ^2}\eta }}{{\partial {x^2}}}} \right . - 3 \nonumber\\& \quad \left . {\left . { - 2\frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial {h_2}}}{{\partial x}}} \right ) + h_2^2\left ( {3 + \frac {{\partial \eta }}{{\partial x}}\frac {{\partial \eta }}{{\partial x}} + \eta \frac {{{\partial ^2}\eta }}{{\partial {x^2}}} - {h_1}\frac {{{\partial ^2}\eta }}{{\partial {x^2}}}} \right )} \right ] + \frac {{{\rho _2}}}{2}\left [ {\eta \left ( {1 + \frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial {h_2}}}{{\partial x}}} \right )} \right . \nonumber\\& \quad \left . { - h_2^2\frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}} + {h_2}\left ( {1 - \frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial {h_2}}}{{\partial x}} + \frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}}\eta + 2\frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial \eta }}{{\partial x}}} \right )} \right ] , \\[-9pt] \nonumber \end{align}
\begin{align} {c_{2,2}} & = \frac {{{h_2}{\rho _1}}}{{6({h_1} - \eta )({h_2} + \eta )}}\left [ {2h_1^2\left ( {\frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial {h_2}}}{{\partial x}} - \frac {{\partial \eta }}{{\partial x}}\frac {{\partial \eta }}{{\partial x}} + \eta \frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}} - \eta \frac {{{\partial ^2}\eta }}{{\partial {x^2}}}} \right )} \right . + {\eta ^2}\left ( {\eta \frac {{{\partial ^2}\eta }}{{\partial {x^2}}}} \right . \nonumber\\& \quad \left . { - 2\frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial {h_2}}}{{\partial x}} - 2\frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}}\eta - 2\frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial \eta }}{{\partial x}} + 3\frac {{\partial \eta }}{{\partial x}}\frac {{\partial \eta }}{{\partial x}} - 3} \right ) + {h_1}\eta \left ( {6\frac {{\partial \eta }}{{\partial x}}\frac {{\partial \eta }}{{\partial x}} + 3\eta \frac {{{\partial ^2}\eta }}{{\partial {x^2}}}} \right . \nonumber\\&\quad\left . {\left . { - 4\frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}}\eta - 4\frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial {h_2}}}{{\partial x}} - 2\frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial \eta }}{{\partial x}}} \right )} \right ] + \frac {{\eta {\rho _1}}}{{6({h_1} - \eta )({h_2} + \eta )}}\left [ {{\eta ^2}\left ( {3 + 2\frac {{\partial {h_2}}}{{\partial x}}{{\frac {{\partial {h_2}}}{{\partial x}}}^2}} \right .} \right . \nonumber\\&\quad \left . { - 3\frac {{\partial \eta }}{{\partial x}}\frac {{\partial \eta }}{{\partial x}} - \eta \frac {{{\partial ^2}\eta }}{{\partial {x^2}}}} \! \right ) \! + 2h_1^2 \!\left ( {\frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial {h_2}}}{{\partial x}} - \frac {{\partial \eta }}{{\partial x}}\frac {{\partial \eta }}{{\partial x}} - \eta \frac {{{\partial ^2}\eta }}{{\partial {x^2}}}} \right ) \! + {h_1}\eta \! \left ( \! {6\frac {{\partial \eta }}{{\partial x}}\frac {{\partial \eta }}{{\partial x}}} \right . + 3\eta \frac {{{\partial ^2}\eta }}{{\partial {x^2}}} \nonumber\\&\quad \left . {\left . { - 4\frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial {h_2}}}{{\partial x}}} \! \right )} \! \right ] \! + \frac {{{h_2}\eta {\rho _2}}}{{3({h_2} + \eta )}} \!\left ( \! {2 + \frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial {h_2}}}{{\partial x}} + \eta \frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}} + 3\frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial \eta }}{{\partial x}}} \! \right ) \! - \frac {{2h_2^3{\rho _2}}}{{3({h_2} + \eta )}}\frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}}\nonumber\\&\quad + \frac {{h_2^2{\rho _1}}}{{6({h_1} - \eta )({h_2} + \eta )}} \!\left [ \! {\eta \! \left ( {2\frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}}\eta + 2\frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial \eta }}{{\partial x}} - \eta \frac {{{\partial ^2}\eta }}{{\partial {x^2}}} - \frac {{\partial \eta }}{{\partial x}}\frac {{\partial \eta }}{{\partial x}} - 3} \! \right )\! - 2{h_1}\frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial \eta }}{{\partial x}}} \right . \nonumber\\&\quad \left . { + {h_1}\eta \frac {{{\partial ^2}\eta }}{{\partial {x^2}}} + 2h_1^2\frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}} - 4{h_1}\eta \frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}}} \right ] + \frac {{{\eta ^2}{\rho _2}}}{{3({h_2} + \eta )}}\left [ {2 + {{\left ( {\frac {{\partial {h_2}}}{{\partial x}}} \right )}^2}} \right ] \nonumber\\ & \quad+ \frac {{h_2^2{\rho _2}}}{{3({h_2} + \eta )}}\left [ {\frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}}\eta } { + 3\frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial \eta }}{{\partial x}} - 2{{\left ( {\frac {{\partial {h_2}}}{{\partial x}}} \right )}^2} + 2} \right ] \nonumber \\ & \quad - \frac {{h_2^3{\rho _1}}}{{6({h_1} - \eta )({h_2} + \eta )}}\left ( {3 + \frac {{\partial \eta }}{{\partial x}}\frac {{\partial \eta }}{{\partial x}} + \eta \frac {{{\partial ^2}\eta }}{{\partial {x^2}}} - {h_1}\frac {{{\partial ^2}\eta }}{{\partial {x^2}}}} \right ), \\[-9pt] \nonumber \end{align}
\begin{align} {c_{3,2}} & = \frac {{{\rho _1}}}{{24({h_1} + \eta )}}\left [ {4{h_2}(\eta - {h_1})\frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial \eta }}{{\partial x}}} \right . - 2\left ( {\frac {{\partial {h_2}}}{{\partial x}}\frac {{\partial {h_2}}}{{\partial x}} + {h_2}\frac {{{\partial ^2}{h_2}}}{{\partial {x^2}}}} \right ){({h_1} - \eta )^2} \nonumber \\& \quad \left . { + 2({h_1} - {h_2})({h_1} + {h_2}){{\left ( {\frac {{\partial \eta }}{{\partial x}}} \right )}^2} + ({h_1} - \eta )\left ( {(2{h_1} - \eta )\eta - h_2^2} \right )\frac {{{\partial ^2}\eta }}{{\partial {x^2}}}} \right ]\!, \\[-9pt] \nonumber \end{align}
\begin{align} {c_{1,3}} & = \frac {{(\eta - {h_1}){\rho _1}}}{6}\left [ {({h_1} - \eta )\frac {{{\partial ^2}\eta }}{{\partial {x^2}}} - 3{{\left ( {\frac {{\partial \eta }}{{\partial x}}} \right )}^2}} \right ]\!, \\[-12pt] \nonumber \end{align}
\begin{align} {c_{2,3}} & = \frac {{({h_1} - \eta ){\rho _1}}}{6}\left [ {3{{\left ( {\frac {{\partial \eta }}{{\partial x}}} \right )}^2} - ({h_1} - \eta )\frac {{{\partial ^2}\eta }}{{\partial {x^2}}}} \right ]\!, \\[-12pt] \nonumber \end{align}
A.4 Coefficients for
$\boldsymbol{f}$
For the HLGN-1-1 model,
$\boldsymbol{f}$
is given as
\begin{align} {f_1} & = \frac {{{\rho _2}{M_{1,2}}}}{{{\rho _1}(\eta - {h_2})}} - \frac {{{M_{1,1}}}}{{{h_1} - \eta }} + \frac {\partial }{{\partial x}}\left ( {{G_{0,1}} + gS{1_{0,1}}} \right ) + {a_{1,1}}\frac {{{\partial ^3}{u_{0,2}}}}{{\partial {x^2}\partial t}} + {b_{1,1}}\frac {{{\partial ^2}{u_{0,2}}}}{{\partial x\partial t}} \nonumber \\ & \quad + {c_{1,1}}\frac {{\partial {u_{0,2}}}}{{\partial t}}. \end{align}
For the HLGN-2-2 model,
$\boldsymbol{f}$
is given as
\begin{align} {f_1} & = \frac {{{\rho _2}{M_{1,2}}}}{{{\rho _1}(\eta - {h_2})}} - \frac {{{M_{1,1}}}}{{{h_1} - \eta }} + \frac {\partial }{{\partial x}}\left ( {{G_{0,1}} + gS{1_{0,1}}} \right ) + {a_{1,1}}\frac {{{\partial ^3}{u_{0,2}}}}{{\partial {x^2}\partial t}} + {a_{1,2}}\frac {{{\partial ^3}{u_{1,2}}}}{{\partial {x^2}\partial t}} \nonumber\\ & \quad + {a_{1,3}}\frac {{{\partial ^3}{u_{1,1}}}}{{\partial {x^2}\partial t}} + {b_{1,1}}\frac {{{\partial ^2}{u_{0,2}}}}{{\partial x\partial t}} + {b_{1,2}}\frac {{{\partial ^2}{u_{1,2}}}}{{\partial x\partial t}} + {b_{1,3}}\frac {{{\partial ^2}{u_{1,1}}}}{{\partial x\partial t}} + {c_{1,1}}\frac {{\partial {u_{0,2}}}}{{\partial t}} + {c_{1,2}}\frac {{\partial {u_{1,2}}}}{{\partial t}} \nonumber \\ & \quad + {c_{1,3}}\frac {{\partial {u_{1,1}}}}{{\partial t}}, \\[-9pt] \nonumber \end{align}
\begin{align} {f_2} & = \frac {{{\rho _2}{M_{2,2}}}}{{{\rho _1}({\eta ^2} - h_2^2)}} - \frac {{{M_{1,1}}}}{{{h_1} - \eta }} + \frac {\partial }{{\partial x}}\left ( {{G_{0,1}} + gS{1_{0,1}}} \right ) + {a_{2,1}}\frac {{{\partial ^3}{u_{0,2}}}}{{\partial {x^2}\partial t}} + {a_{2,2}}\frac {{{\partial ^3}{u_{1,2}}}}{{\partial {x^2}\partial t}} \nonumber \\ & \quad + {a_{2,3}}\frac {{{\partial ^3}{u_{1,1}}}}{{\partial {x^2}\partial t}} + {b_{2,1}}\frac {{{\partial ^2}{u_{0,2}}}}{{\partial x\partial t}} + {b_{2,2}}\frac {{{\partial ^2}{u_{1,2}}}}{{\partial x\partial t}} + {b_{2,3}}\frac {{{\partial ^2}{u_{1,1}}}}{{\partial x\partial t}} + {c_{2,1}}\frac {{\partial {u_{0,2}}}}{{\partial t}} + {c_{2,2}}\frac {{\partial {u_{1,2}}}}{{\partial t}} \nonumber \\ & \quad + {c_{2,3}}\frac {{\partial {u_{1,1}}}}{{\partial t}}, \\[-9pt] \nonumber \end{align}
\begin{align} {f_3} & = \frac {{{M_{2,1}}}}{{h_1^2 - {\eta ^2}}} - \frac {{{M_{1,1}}}}{{{h_1} - \eta }} + {a_{3,1}}\frac {{{\partial ^3}{u_{0,2}}}}{{\partial {x^2}\partial t}} + {a_{3,2}}\frac {{{\partial ^3}{u_{1,2}}}}{{\partial {x^2}\partial t}} + {a_{3,3}}\frac {{{\partial ^3}{u_{1,1}}}}{{\partial {x^2}\partial t}} + {b_{3,1}}\frac {{{\partial ^2}{u_{0,2}}}}{{\partial x\partial t}} \nonumber \\& \quad + {b_{3,2}}\frac {{{\partial ^2}{u_{1,2}}}}{{\partial x\partial t}} + {b_{3,3}}\frac {{{\partial ^2}{u_{1,1}}}}{{\partial x\partial t}} + {c_{3,1}}\frac {{\partial {u_{0,2}}}}{{\partial t}} + {c_{3,2}}\frac {{\partial {u_{1,2}}}}{{\partial t}} + {c_{3,3}}\frac {{\partial {u_{1,1}}}}{{\partial t}}. \\[9pt] \nonumber \end{align}
For simplification, the dependence of the HLGN model with higher levels is not shown here.































































