Abstract
In some configurations, dispersion effects must be taken into account to improve the simulation of complex fluid flows. A family of free-surface dispersive models has been derived in Fernández-Nieto et al. (Commun Math Sci 16(05):1169–1202, 2018). The hierarchy of models is based on a Galerkin approach and parameterised by the number of discrete layers along the vertical axis. In this paper we propose some numerical schemes designed for these models in a 1D open channel. The cornerstone of this family of models is the Serre – Green-Naghdi model which has been extensively studied in the literature from both theoretical and numerical points of view. More precisely, the goal is to propose a numerical method for the \(LDNH_2\) model that is based on a projection method extended from the one-layer case to any number of layers. To do so, the one-layer case is addressed by means of a projection-correction method applied to a non-standard differential operator. A special attention is paid to boundary conditions. This case is extended to several layers thanks to an original relabelling of the unknowns. In the numerical tests we show the convergence of the method and its accuracy compared to the \(LDNH_0\) model.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Water waves and more generally water flows are of great interest in several scientific fields with applications to society issues such as protection of populations (tsunamis, floods, ...) or energy production (water-turbines, ...). Depending on the accuracy that is required in the applications, more or less complex models are used, from fully resolved to averaged equations.
In order to simulate the behaviour of free-surface fluid flows, let us consider the 2D Euler equations for an incompressible free-surface flow under gravity:
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10915-021-01552-6/MediaObjects/10915_2021_1552_Figa_HTML.png)
set in the moving domain (see Fig. 1)
Here, \(I=(x_\ell ,x_r)\) is a bounded interval of \(\mathbb {R}\) and \(z_b\) is the given topography (independent from time). The unknowns are the velocity field \(\hat{{\varvec{u}}}=(\hat{u},\hat{w})\), the pressure field \(\hat{p}_{total}\) and the water elevation \(\hat{\eta }\). The water height is deduced from \(\hat{h}(t,x)=\hat{\eta }(t,x)-z_b(x)\). Viscosity effects are not taken into account in this work but we refer to [14] for instance to deal with such terms.
The model is supplemented with kinematic boundary conditions:
as well as
for some given atmospheric pressure \(p^{atm}(t,x)>0\). Classically, the pressure field is decomposed into three parts:
where the hydrostatic part is given by
and where \(\hat{q}\) is the hydrodynamic pressure field – or commonly referred to as the non-hydrostatic component.
Hydrostatic models such as the nonlinear shallow water equations [26] or the hydrostatic Navier-Stokes equations [3] are based on the assumption \(\hat{q}\equiv 0\).
Given this decomposition, BC (3) is equivalent to
In addition to its complex mathematical structure (see e.g. [12, 38, 49]), Model (1) coupled to (2-4) is a real challenge owing to the fact the domain is moving: the water elevation is an unknown in itself. That is why, in spite of the increase of computer performance, reduced-complexity models have been introduced, analysed and discretised. There exists an extensive literature about models approximating the Euler equations under simplifying hypotheses. Depending on the physical phenomena at stake and thus the fluid regime under study, some models turn out to be more accurate than others.
For example, the nonlinear shallow water equations (NLSW) [26, 36, 37, 53] provide relevant results for large wavelengths but seem restrictive in other regimes, in particular due to the absence of dispersive effects. To go further, models were derived in a given regime of magnitude for the nonlinearity (\(\varepsilon \): wave amplitude/water depth ratio) and for the frequency dispersion (\(\mu \): water depth/wavelength ratio). The competition between the two phenomena is responsible for the shape of water waves. Dispersion is necessary for instance for stratified flows or close to coastal areas. Different regimes lead to weakly/fully nonlinear – weakly/fully dispersive models. For example, the NLSW equations correspond to \(\mu =0\) for any \(\varepsilon =\mathcal {O}(1)\).
We may refer to pioneering works e.g. Boussinesq [13] and Peregrine [57], models obtained to improve linear dispersion properties e.g. Madsen & Sorensen [52] and Nwogu [55], models suitable for deep waters [46], ...For reviews of dispersive models, see [43, 45]. A focus will be made below on two systems: the Depth-Averaged Euler (DAE) system described in [1] and the Serre – Green-Naghdi (SGN) equations (see [39, 62]).
It is worth noticing that classic dispersive models, usually written under a Boussinesq form, introduce high order derivatives for two unknowns (water height and velocity). On the contrary, non-hydrostatic pressure models introduce such effects by means of the non-hydrostatic component of the pressure. In [21] a semi-implicit finite difference model for non-hydrostatic free-surface flows is presented based on a vertical discretisation of the 3D free-surface Navier-Stokes equations. A similar approach is used in [63] where again the pressure is decomposed into hydrostatic and non-hydrostatic counterparts and a vertical discretisation is proposed for the 3D system. A more recent work on the subject is [22], where semi-implicit methods are extended to complex free-surface flows that are governed by the full incompressible Navier-Stokes equations and are delimited by solid boundaries and arbitrarily shaped free-surfaces. These approaches are comparable to the multilayer or layer-averaged framework, see for example [5, 50, 60]. In [5] and [60] the multilayer model is deduced by supposing within each layer a constant profile of the horizontal velocity. The multilayer model proposed in [50] is based on the irrotational hypothesis and that the horizontal velocity is quadratic (within each layer) and continuous at the interfaces. In [6] a numerical study of the linear dispersive celerity shows convergence of the multilayer model. In [35], a hierarchy of layer-averaged models has been derived: it is based on hypotheses made for the vertical velocity and pressure profiles. An explicit linear dispersion relation for each model is provided and authors proved that when the number of layer increases, celerity converges to the exact one given by Euler equations in the Stokes linear theory.
The latter model is considered here. Classic dispersive systems, and in particular DAE and SGN, may be written as a non-hydrostatic system. Readers can refer to [32] for the link between the two approaches. Non-hydrostatic formulation has several advantages from the numerical point of view, especially regarding boundary conditions. Notice that they do not rely on any irrotational assumption.
In recent years, an effort has been made in using hyperbolic approximations of dispersive an non-hydrostatic systems. See for instance [4, 40] where hyperbolic depth-averaged equations use a hyperbolic approximation of a Boussinesq-type equation, or [54] for hyperbolic approximations of the Korteweg–de Vries equations. Other examples, based on non-hydrostatic models are given by [7, 17, 34] where authors proposed different hyperbolic approximations for the SGN equations, or [31, 32] where authors proposed hyperbolic approximations for some well-known non-hydrostatic pressure and Boussinesq-type systems.
In this paper, we will focus on non-hydrostatic models. First, the non-hydrostatic model derived in [1], named DAE, which is an approximation of Euler equations when the frequency dispersion is small, is considered:
where (u, w) is an approximation of \((\hat{u},\hat{w})\) along the water column, q is the non-hydrostatic component of the pressure field and \(\gamma >0\) a parameter. The case \(\gamma =2\) was studied in [16] and simulated in [2]. For a flat topography \(\partial _xz_b\equiv 0\), \(\gamma =\sqrt{3}\) corresponds to the SGN equations [39]. This is a well-known dispersive system that has been extensively studied, see for instance [10, 23, 28, 45]
The SGN model, also studied in [35], is given by
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10915-021-01552-6/MediaObjects/10915_2021_1552_Figb_HTML.png)
Moreover, both (5) and (6) are proved in [35] to belong to the same hierarchy of models depending on some orders of approximation for the set of unknownsFootnote 1. Indeed, the key point is the dependence of the solution on the vertical coordinate z.
More precisely, Equations (5) are referred to as \(LDNH_0(1)\) as an approximation of the Euler equations where (u, w, q) is a \((\mathbb {P}_0,\mathbb {P}_0,\mathbb {P}_1)\) Galerkin approximation of \((\hat{u},\hat{w},\hat{q})\). Likewise, Equations (6) are referred to as \(LDNH_2(1)\) and (u, w, q) is a \((\mathbb {P}_0,\mathbb {P}_1,\mathbb {P}_2)\) Galerkin approximation of \((\hat{u},\hat{w},\hat{q})\). In particular, (6) has a more accurate linear dispersion relation than (5) for large wavelengths [35, Fig. 2].
Remark that System (6) is made of first-order PDEs which account for conservation of mass (6a) and of momentum (6b-6d). (6e-6f) are diagnostic equations deduced from the incompressibility constraint (1a). There are several equivalent ways to write down the diagnostic equations (6e) and (6f) but this very definition is the only choice that provides a duality relation between the modified “pressure gradient” and the modified “velocity divergence”.
This duality property is crucial from both theoretical and numerical points of view as highlighted in the following. It also allows to specify the boundary conditions:
- ①:
-
From the weak formulation associated to the underlying elliptic equation, we deduce the boundary conditions for the pressure fields (see Remark 3 which shows that it is necessary to specify \(q(\partial _x(hq)+q_b\partial _xz_b)\) at each boundary);
- ②:
-
We then infer from the numerical point of view how boundary conditions should be naturally imposed by symmetry in the resulting linear system (see § 16.3.2).
For the sake of simplicity and without restrictionsFootnote 2, we will consider in this paper a subcritical flow (which corresponds to the hyperbolic regimeFootnote 3 in the Euler system (1)). Then, Model (6) is supplemented with the following boundary conditions:
-
For the non-hydrostatic pressure, we impose:
$$\begin{aligned} \text {At }x=x_\ell ,&\partial _x(hq)&=\chi _\ell ; \end{aligned}$$(7a)$$\begin{aligned} \text {At }x=x_r,&q&=0, \end{aligned}$$(7b)for some flux \(\chi _\ell \in \mathbb {R}\). The choice of these boundary conditions relies on the weak formulation associated to the underlying elliptic problem (see Remark 3) and on the boundary condition for the topography (7e).
-
For the velocity field and the water height, it depends on the underlying hyperbolic regime. As mentioned above, we consider a subcritical flow so that, following the investigations of § 16.3.2, we impose
$$\begin{aligned} \text {At }x=x_\ell ,&hu&=Q_u,&hw&=Q_w,&h\sigma&=\frac{Q_w}{\sqrt{3}}; \end{aligned}$$(7c)$$\begin{aligned} \text {At }x=x_r,&h&=h_r; \end{aligned}$$(7d)for some constants \(Q_u>0\), \(Q_w\ge 0\) and \(h_r>0\).
We also assume that the topography satisfies the following boundary condition:
It is shown in § 6.1 that System (6) can be rewritten under three different other formulations (Props. 1, 2 and 3). In particular, Proposition 1 will show that (6) is equivalent to the SGN equations under Boussinesq form, as presented in [45]. Then, from now on, System (6) coupled to boundary conditions (7) will be referred to indifferently as SGN or \(LDNH_2(1)\).
Although Model \(LDNH_2(1)\) has a larger number of unknowns than \(LDNH_0(1)\) (which may provide a richer modelling), the first goal of this paper is to design a numerical method for (6) with a reduced additional computational complexity compared to (5). See [56] for another strategy. The second goal of this paper is to extend the aforementioned numerical method designed for \(LDNH_2(1)\) to its multilayer counterpart \(LDNH_2(L)\) (for some number of layers \(L>1\)) as derived in [35]. Indeed, \(LDNH_2(1)\) relies on the approximation that the horizontal component of the velocity field does not depend on z, i.e. it is constant along the water column. In some cases (for instance when the flow is not shallow), it is necessary to add more degrees of freedom. The Galerkin method used for the semi-discretisation in z leads to \(LDNH_2(L)\) where \(L\) is the number of vertical cells.
The paper is organised as follows: in Sect. 6, we first show some properties of the \(LDNH_2(1)\) model: equivalent formulations (including the relationship with the SGN equations) and associated energy. Secondly, a numerical strategy to solve the monolayer model \(LDNH_2(1)\) is presented: it consists in an iterative algorithm taking into account the gradient-divergence duality. In Sect. 17, the layer-averaged extension \(LDNH_2(L)\) is reformulated with similar differential operators. The previous numerical method is then extended to the multilayer case, still based on the gradient-divergence duality. In Sect. 18, some classic numerical tests are presented to assess these strategies for \(LDNH_2(1)\) and \(LDNH_2(L)\), in particular in terms of accuracy with respect to \(LDNH_0(L)\).
2 Analysis and Numerical Method for the \(LDNH_2(1)\) Model
In this section we first study some of the properties of Model (6), such as some reformulations and its associated energy. Secondly, the design of a numerical discretisation of the model is presented.
2.1 Properties of the Model at the Continuous level
Let us set
Let us also define the operators
and notice that the following duality relation holds
Given these notations, System (6) reads in a compact form
![figure c](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10915-021-01552-6/MediaObjects/10915_2021_1552_Figc_HTML.png)
System (10) has the same mathematical structure as the incompressible Euler equations with variable density except that differential operators are non-standard. Hence, this remark will help to design a similar numerical strategy.
It is shown below that this system can be rewritten under three different other forms (Props. 1, 2 and 3).
First, let us remark that System (10) is nothing but the SGN equations as presented in [45]:
Proposition 1
System (10) can be rewritten under the Boussinesq formulation
where
Proof
Indeed, we deduce from (6) that
Inserting the two last equalities into (6c) leads to the expected result.\(\square \)
The main difference between the non-hydrostatic formulation (6) and the Boussinesq formulation given in Proposition 1 lies in the order of spatial derivatives (1 vs. 3). The consequence is a larger number of unknowns in (6) (6 vs. 2) but with at most first order derivatives. One key advantage of (6) is that the treatment of boundary conditions is easier as it will be shown later. Moreover, a smaller stencil is needed when one has to approach numerically first order compared to higher order derivatives.
A numerical algorithm to simulate (11) is designed in [11] by introducing a second-order parameterized perturbation and based on the inversion of \(\mathcal {I}_d+\mathcal {T}\). The parameter is set so that the linear dispersion relation is optimised with respect to the Airy relation. The numerical technique consists of a splitting method between the hyperbolic Saint-Venant equations (solved with a finite-volume scheme) and the dispersive part (solved with a finite-difference scheme). An extension to dimension 2 is provided in [47] by replacing the differential operator \(\mathcal {I}_d+\mathcal {T}\) by a time independent “diagonal” approximation. In [28], a Discontinuous Galerkin Finite-Element method is applied.
We also mention the following formulation with high order derivatives of h:
Proposition 2
System (10) also reads
Here we used the standard notation \(\dot{\xi }\mathrel {\mathop :}=\partial _t\xi +u\partial _x\xi \).
Proof
We deduce from (6)
\(\square \)
Inserting the two latter equalities into (6c), we obtain the expected result.
Remark 1
For a flat topography, we recover the model studied in [34, 48]. In [48], the model is reformulated by means of the change of variable \((h,hu)\mapsto \left( h,u+\frac{\partial _x(h^2\dot{h})}{3h}\right) \) and solved using a finite-difference method. The numerical technique used in [34] is based on an augmented-Lagrangian approach.
In the framework of projection methods, we exhibit another formulation. The two constraints (10c) can be replaced by applying the divergence (8b) to the momentum equation (10b) (initially divided by h):
Proposition 3
System (10) can be rewritten under the reduced formulation
![figure d](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10915-021-01552-6/MediaObjects/10915_2021_1552_Figd_HTML.png)
Eq. (12c) reads
![figure e](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10915-021-01552-6/MediaObjects/10915_2021_1552_Fige_HTML.png)
Well-posedness of this system is studied in [8].
Remark 2
Notice that only h and u are involved (not w nor \(\sigma \)) in the right hand side of (13).
Moreover, we also notice that \(q_b\) can be expressed directly from (13b)
Inserting the latter expression into (13a) provides a unique equation for q:
However, the complexity of the operators in the latter equation made us prefer working with (13).
Remark 3
Whether it be from the theoretical or numerical points of view, the equation of interest is
for some right hand side \(\mathbf {f}\). The well-posedness of Eq. (15) is proved in [8] by means of the Lax-Milgram theorem applied under some smoothness hypotheses on the water height h. In particular, straightforward computations show that
which explains the present choice of boundary conditions (7a-7b).
Finally, we show that thanks to the correct formulation of diagnostic equations (6e) and (6f), associated to the definition (8b) of \(\mathop {\nabla _\mathrm {sgn}\cdot }\mathbf {X}\) that provides the duality relation (9) we can deduce an associated energy for SGN model. It is crucial from both theoretical and numerical points of view as highlighted in the following section, corresponding to the definition of the numerical method.
Proposition 4
Smooth solutions of System (10) satisfy the following energy equality provided \(p^{atm}\) and \(z_b\) do not depend on time:
Proof
Let us multiply (6b) by u, (6c) by w and (6d) by \(\sigma \) so that
Using the duality relation (9) as well as Eq. (6a) leads to the expected result.\(\square \)
2.2 Splitting Strategy at the Semi-Discrete Level
Let us write a semi-discretisation of System (10) based on a classic splitting technique for some time step \(\Delta t>0\), like e.g. in [1, 30, 33, 47, 56]. We first consider the hyperbolic stepFootnote 4
coupled to boundary conditions (7c) and (7d). Any classic numerical method dedicated to the Shallow Water equations (including well-balanced schemes) can be used to solve it.
Then the dispersive step reads
![figure f](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10915-021-01552-6/MediaObjects/10915_2021_1552_Figf_HTML.png)
which reads as a mixed velocity-pressure Darcy problem. Boundary conditions (7c), (7a) and (7b) are considered. In this paper we investigate a projection-correction approach.
To preserve the order of the method, we can consider the incremental method (see e.g. [41]) which consists of the following modified first step
(which requires an initialisation of the pressure unlike the non-incremental version) and the modified second step
This approach does not raise any additional issue, therefore for the sake of simplicity we present the results by considering the splitting strategy (16)-(17).
To make the reading easier, we shall denote from now on: \(\mathbf {X}=\mathbf {X}^{n+1}\) and \(\mathbf {X}^*=\mathbf {X}^{n+1/2}\). System (17) implies
or equivalently, expanding the non-classic operators:
We recover the same operators as in the continuous case – see (13), only the right hand side is modified due to the splitting method. Hence the well-posedness investigated in [8] still holds.
Remark 4
The right hand side in (18’) is not of order \(\mathcal {O}(\Delta t^{-1})\) but of order \(\mathcal {O}(1)\). Indeed, inserting the values from the hyperbolic step (16), we get
since \(2\sqrt{3}\sigma ^n+h^n\partial _xu^n=0\) and \(w^n-u^n\partial _xz_b-\sqrt{3}\sigma ^n=0\), provided initial conditions satisfy the divergence constraints, i.e. initial conditions are well-prepared.
Once Equation (18) is solved for \(\mathbf {Q}\), the velocity field is updated using (17b)
2.3 Numerical Method at the Discrete Level
We focus in this section on the discretisation in space of the non-incremental version (16-17). The incremental version does not raise major additional difficulties.
Let us consider a homogeneous Cartesian grid of interval \(I=[x_\ell ,x_r]\) with mesh size \(\Delta x=\frac{x_r-x_\ell }{N}\) for some integer \(N>0\) (see Fig. 2).
Standard approaches for Stokes-like problems rely on a staggered grid with velocity fields at the centre of the cells and pressure fields at the interfaces. A similar approach is also followed in [33]. The specific expression of \(\mathop {\nabla _\mathrm {sgn}}\mathbf {Q}\) in the present problem – see (8b) – induced a different choice, namely a collocated approach with all variables (\(\mathbf {X}\) and \(\mathbf {Q}\)) at the centres of the cells. This choice makes a discrete energy estimate easier to derive.
2.3.1 Hyperbolic Step
For the sake of completeness, let us briefly describe the numerical scheme applied to system (16), which consists of the classic shallow water part and two transport equations for w and \(\sigma \).
Here, we considered a high-order Polynomial Viscosity Matrix finite-volume method using a second-order MUSCL state reconstruction operator similar to those proposed in [30, 33]. Moreover, a third-order CWENO –[25] reconstruction has been implemented as well.
The semi-discrete in space high-order path-conservative scheme for System (16) reads as follows
where \(\widetilde{\mathbf {X}}=\left( 1,\mathbf {X}^T\right) ^T\).
Dropping the dependence on time, \(\mathcal {D}_{i+1/2}^\pm \) is given by a Polynomial Viscosity Matrix (PVM) path-conservative scheme
Here, \(\mathbf {F}(h\widetilde{\mathbf {X}})=hu\widetilde{\mathbf {X}}\) and \(\mathbf {S}(h\widetilde{\mathbf {X}})=(gh,0,0)^t\).
In the expression above, \(\mathcal {Q}_{i+1/2}\) is the numerical viscosity that depends on the choice of the PVM method and \((h\widetilde{\mathbf {X}})_{i+1/2}^\pm \) is computed by means of a reconstruction procedure on the variables to the left (\(^-\)) and right (\(^+\)) of the inter-cell \(x_{i+1/2}\). This is done using a standard MUSCL or CWENO reconstruction operator \(P_{i,(h\widetilde{\mathbf {X}})}(x)\).
The term \(\mathbf {S}_{i+1/2}\left( (h\widetilde{\mathbf {X}})_{i+1/2}^+ - (h\widetilde{\mathbf {X}})_{i+1/2}^-\right) \) accounts for the path-integral of non-conservative terms. In this work, the simple straight-line segment path is chosen, and thus the path-integral can be computed exactly using the midpoint rule. In particular, all the components are zero except the first one that reduces to
The viscosity term \(\mathcal {Q}_{i+1/2}\) results from the evaluation of a Roe Matrix at \(x_{i+1/2}\) by a polynomial that interpolates the absolute value function (see [20]). Here we are using a first-degree polynomial that uses some estimation of the slowest (\(S_L\)) and fastest (\(S_R\)) wave speeds. With this choice, the numerical scheme coincides with an extension for non-conservative systems of the standard HLL Riemann-solver.
Finally, the volume integral
is numerically approximated using any Gaussian quadrature rule of the same order as the scheme.
The considered explicit high-order methods are well-balanced for water at rest solutions
The eigenvalues of the hyperbolic operator in (16) are \(u^n\pm \sqrt{gh^n}\) and \(u^n\) (transport equations for w and \(\sigma \)). Therefore, the scheme is linearly L\(^\infty \) stable provided the following condition holds
Moreover, the scheme is positive-preserving for the total water depth in the sense that: if \(h_i^n>0\) then \(h_i^{n+1}>0\) for all i.
2.3.2 Non-Hydrostatic Step: Numerical Scheme for the Velocity-Pressure Problem
We could have directly discretised Eqs. (18’). However, in order to recover a discrete energy, we first discretise the velocity-pressure problem (17) and we then deduce a discretisation for (18’) mimicking the continuous level. Finite differences are applied in the present work.
Let us first consider the mixed formulation (17). Denote by \(\mathcal {H}\in \mathcal {M}_{N,N}(\mathbb {R})\) the diagonal matrix with entries \(\mathcal {H}_{i,i}=h_i^*\).
We expect that the discretisation of System (17) has the form
![](http://media.springernature.com/lw259/springer-static/image/art%3A10.1007%2Fs10915-021-01552-6/MediaObjects/10915_2021_1552_Equ20_HTML.png)
where
-
\(\overline{\mathcal {H}}\in \mathcal {M}_{3N,3N}(\mathbb {R})\) is block-diagonal with block entries \(\mathcal {H}\in \mathcal {M}_{N,N}(\mathbb {R})\);
-
\(\mathcal {B}\in \mathcal {M}_{3N,2N}(\mathbb {R})\) is an rectangular matrix to be specified;
-
\(\mathbf {U}={(u_i)}_{i\in \{1,\ldots ,N\}}\), \(\mathbf {W}={(w_i)}_{i\in \{1,\ldots ,N\}}\), \({\varvec{\Sigma }}={(\sigma _i)}_{i\in \{1,\ldots ,N\}}\) and \( \mathbf {X}=\begin{pmatrix} \mathbf {U} \\ \mathbf {W} \\ {\varvec{\Sigma }} \end{pmatrix} \);
-
\(\overline{\overline{\varvec{0}}}_{ij}=0\) for \((i,j)\in \{1,\ldots ,2N\}^2\);
-
\(\widehat{\varvec{0}}\in \mathbb {R}^{3N}\) and \(\widetilde{\varvec{0}}\in \mathbb {R}^{2N}\) account for boundary conditions as detailed below.
The matrix in (20) is symmetric due to the duality relation (9). However, a naive approach where Eqs. (17b) and (17c) are discretised independently from each other would lead to a non-symmetric matrix. Hence we first discretise Eq. (17b) as
Once \(\mathcal {B}\) is built, \(\mathcal {B}^T\mathbf {X}=0\) should be a consistent discretisation of (17c) up to boundary terms.
More precisely, Equation (17b) is discretised for inner cells:
which leads to
![](http://media.springernature.com/lw174/springer-static/image/art%3A10.1007%2Fs10915-021-01552-6/MediaObjects/10915_2021_1552_Equ21_HTML.png)
\(B_{12}\) is diagonal with entries \({(\partial _xz_b)}_i\) while \(B_{11}\) is tridiagonal:
Hence, for inner nodes \(x_i\):
which is consistent with (17c).
Boundary conditions. Let us now specify how boundary conditions are incorporated by means of ghost cells. BC (7a) at \(x=x_{1/2}=x_\ell \) is discretised by
Hence, the momentum equation for u is discretised in the first cell by:
This provides the first line of Matrix \(B_{11}\) as well as \(\widehat{0}_1=-\dfrac{h_{1/2}^*}{2h_0^*}\chi _\ell \). It remains to specify \(h_0^*\). Given that no boundary condition is imposed on h at \(x=x_\ell \), we set \(h_0^*=2h_1^*-h_2^*\).
We then observe that
We remark that if we discretise BC (7c) by
We deduce \(\widetilde{0}_1=\dfrac{h_{1/2}^*}{h_0^*}\dfrac{Q_u}{\Delta x}\). Note that this result implies that imposing \(\partial _x(hq)=\chi \) at some boundary is consistent with prescribing \(hu=Q_u\).
For the boundary conditions at \(x=x_{N+1/2}=x_r\), BC (7b) is discretised by
which means that the momentum equation for u in the last cell becomes
This yields the last line of \(B_{11}\) and \(\widehat{0}_N=0\). It implies that
provided that \(u_{N+1}=u_N\), which is equivalent to imposing
and \(\widetilde{0}_N=0\).
Let us comment the latter result. Imposing \(q=0\) at some boundary is consistent with imposing \(\partial _xu=0\) at the same location. Even if there is no BC required in the hyperbolic problem, it is necessary from the numerical point of view in order to compute the flux at the corresponding interface. We mention that the BC handled in the first step of the algorithm must not be damaged by the second step. Likewise, still for numerical purposes, we impose
2.3.3 Numerical Scheme for the Pressure Problem
For a resolution of the mixed velocity-pressure problem (20) by means of the Uzawa method, see [8]. In the present paper, we rather combine both equations in (20) to obtain
which is nothing but a consistent discretisation of the velocity-correction approach (18).
Remark 5
It is crucial that the initial data satisfy at the discrete level \(\mathcal {B}^T\mathbf {X}^*-\widetilde{\varvec{0}}=\varvec{0}\) in order to prevent the propagation of errors of order \(\mathcal {O}(\Delta t^{-1})\) as explained in Remark 4
Notice that Matrix \(\mathcal {C}=\mathcal {B}^T\overline{\mathcal {H}}^{-1}\mathcal {B}\) has the following structure:
![](http://media.springernature.com/lw443/springer-static/image/art%3A10.1007%2Fs10915-021-01552-6/MediaObjects/10915_2021_1552_Equ24_HTML.png)
Lemma 1
Matrix \(\mathcal {C}\) is symmetric positive-definite.
Proof
The symmetry comes from the definition \(\mathcal {C}=\mathcal {B}^T\overline{\mathcal {H}}^{-1}\mathcal {B}\). Moreover, we have
since \(\mathcal {H}\) is a diagonal matrix with positive entries provided the hyperbolic scheme is positive. Then \(\mathcal {B}\mathbf {Q}=\varvec{0}\implies \mathbf {Q}=\varvec{0}\) as \(\mathcal {B}\) is one-to-one – see (21).
More precisely, (24) provides the following discrete energy
which is consistent with
To solve (23), one may apply different strategies. One of them is to apply a direct resolution inverting \(\mathcal {C}\). Another variant is to use the Uzawa method. Here, we shall propose to follow an iterative process of Gauss-Seidel type:
-
1.
\(C_{11}{\varvec{q}}^{k+1}=\frac{1}{\Delta t}{\varvec{f}}-C_{12}{\varvec{q}}_b^k\);
-
2.
\(C_{22}{\varvec{q}}_b^{k+1}=\frac{1}{\Delta t}{\varvec{f}}_b-C_{12}^T{\varvec{q}}^{k+1}\).
This method converges due to Lemma 1. This is the latter method which has been chosen in the present work. Matrix \(C_{11}\) is more or less the same matrix as for the DAE model (5). The extra additional time then corresponds to the iterative process (\(C_{11}\) is factorised once and \(C_{22}\) is diagonal).
Remark 6
Notice that we could explicitly solve the second block of (23):
which corresponds to a discretisation of (14).
Remark 7
It is easy to check that the numerical scheme is well-balanced for water at rest solutions
The hyperbolic step for (10a)-(10b) is well-balanced. We refer the reader to [18, 20] for the details.
Since the first step of the numerical scheme is well-balanced for the hydrostatic underlying system, then the proposed iterative process in Lemma 1 yields to the resolution of two homogeneous linear systems with non-singular matrices \(C_{11}\) and \(C_{22}\)
-
\(C_{11}{\varvec{q}}^{k+1}=\mathbf {0}\);
-
\(C_{22}{\varvec{q}}_b^{k+1}=\mathbf {0}\).
Therefore \({\varvec{q}}={\varvec{q}}_b=\mathbf {0},\) and thus the result follows.
2.3.4 Numerical Treatment of Wet-Dry Fronts
In order to ensure the robustness of the algorithm, a wet/dry treatment is needed for small or null values of the water height h. In particular, we use the following strategy:
-
1.
The hydrostatic pressure terms \(g h\partial _x (z_b+h)\) at the horizontal velocity equations are modified for emerging bottoms to avoid spurious pressure forces (see [19]).
-
2.
For the computation of values including a term in the form \(\dfrac{1}{h},\) for very small values of the water height h, we use the idea presented in [44], replacing \(\dfrac{1}{h}\) by
$$\begin{aligned} \frac{\sqrt{2}h}{\sqrt{{h}^4+\max \left\{ {h}^4,\varepsilon \right\} }}, \end{aligned}$$for some threshold \(\varepsilon >0.\) In the tests described in this paper \(\varepsilon \) is set to \(10^{-6}\).
Moreover, let us remark in vacuum situations the iterative process described in Lemma 1 leads to the resolution of two homogeneous linear systems with non-singular matrices \(C_{11}\) and \(C_{22}\)
-
\(C_{11}{\varvec{q}}^{k+1}=\mathbf {0}\);
-
\(C_{22}{\varvec{q}}_b^{k+1}=\mathbf {0}\).
Therefore \({\varvec{q}}={\varvec{q}}_b=\mathbf {0}\) when the water thickness vanishes.
3 Numerical scheme for the \(LDNH_2(L)\) Model
3.1 Notations and Model
Without any assumption on the shallowness of the flow, we can also approximate the Euler equations (1) by means of a “multilayer” model. The flow is split into arbitrary layers of constant height \(h_\alpha =\frac{h}{L}\) for some integer \(L>0\) (see Fig. 3). We consider the dispersive layer-averaged model derived in [35] under the following reformulation:
together with diagnostic equations
and the boundary condition
The mass transfer term is given by
To close the model, we define
-
\(\widetilde{u}_{\alpha + 1/2}=(1-\gamma _{\alpha +1/2})\overline{u}_{\alpha +1} +\gamma _{\alpha +1/2}\overline{u}_\alpha \);
-
\(\widetilde{w}_{\alpha + 1/2}=(1-\gamma _{\alpha +1/2}) \left( \overline{w}_{\alpha +1}+\frac{h_{\alpha +1}}{2}\partial _x\overline{u}_{\alpha +1}\right) +\gamma _{\alpha +1/2}\left( \overline{w}_\alpha -\frac{h_\alpha }{2}\partial _x\overline{u}_\alpha \right) \);
for any \(\gamma _{\alpha +1/2}\in [0,1]\) such that [35, Prop. 1]
Let us recall the properties of this system:
-
Let us set \(\overline{\mathcal {K}}_\alpha =\dfrac{\overline{u}_\alpha ^2+\overline{w}_\alpha ^2+\sigma _\alpha ^2}{2}\). If \((H,\overline{u}_\alpha ,\overline{w}_\alpha ,\overline{q}_\alpha )\) are smooth solutions to the multilayer model, we have under (25)
$$\begin{aligned} \partial _t\left( \sum _{\alpha =1}^{L}h_\alpha \left( \overline{\mathcal {K}}_\alpha +gz_\alpha +p^{atm}(x) \right) \right) +\partial _x\left( \sum _{\alpha =1}^{L}h_\alpha \overline{u}_\alpha \left( \overline{\mathcal {K}}_\alpha +\overline{q}_\alpha +g\eta +p^{atm}(x) \right) \right) \le 0. \end{aligned}$$(26)Moreover, if we take \(\gamma _{\alpha +1/2}=\frac{1}{2}\), then (26) is an equality.
-
The monolayer case \(L=1\) reduces to the SGN equations (6).
3.2 Differential Operators
Let us introduce the operators
and
We get a global duality relation
It is worth noticing that
and
We mention that the divergence operator stated in the present work is not the same as in [35]. We rather provide an equivalent formulation that satisfies the duality relation (27). In particular, \(\sigma _\alpha \) is involved instead of \(\partial _x\overline{u}_\alpha \) which is important for the order of derivatives.
Let us proceed as in the single layer case with a splitting strategy between hyperbolic terms and non-hydrostatic terms. The latter part reads
which implies
The latter equation is expanded as, for \(\alpha \in \{1,\ldots ,L\}\)
then for \(\alpha \in \{2,\ldots ,L\}\)
and finally
Let us remark is that the differential operator for \(\overline{q}_\alpha \) in (30a) is independent from index \(\alpha \). Moreover, up to a coefficient \(L^2\), this operator is the same as in the monolayer case – see (18’).
3.3 Structure of the Fully Discretised Equations
Our goal is to produce an algorithm that only relies on tools designed for the monolayer case. Let us split the gradient matrix \(\mathcal {B}=\mathcal {B}^{1/2}\) from (21) into:
![](http://media.springernature.com/lw542/springer-static/image/art%3A10.1007%2Fs10915-021-01552-6/MediaObjects/10915_2021_1552_Equ97_HTML.png)
\(B_{11}\) is defined in equation (22) and \(B_{12}^{\alpha -1/2}\) is a \(N\times N\) diagonal matrix with entries \({(\partial _xz_{\alpha -1/2}^*)}_i\). The fact that \(\mathcal {B}_1\) is independent from layer \(\alpha \) (and exactly the same as in the monolayer case) is crucial for what is following.
Hence \(\mathop {\nabla ^\alpha _{ldnh}}\mathbf {Q}_\alpha \) is approximated according to (28a)
where
![](http://media.springernature.com/lw289/springer-static/image/art%3A10.1007%2Fs10915-021-01552-6/MediaObjects/10915_2021_1552_Equ98_HTML.png)
The last two terms account for interactions between layers: the model under investigation does not reduce to a monolayer model in each layer. Hence System (29) is approximated by
![](http://media.springernature.com/lw346/springer-static/image/art%3A10.1007%2Fs10915-021-01552-6/MediaObjects/10915_2021_1552_Equ99_HTML.png)
where
It is easy to verify that \(\left( \overline{\mathcal {B}}+\overline{\mathcal {R}}\right) ^T\overline{\mathbf {X}}=\widetilde{\varvec{0}}\) is consistent with (28b). For the treatment of boundary conditions which are incorporated in vectors \(\widehat{\varvec{0}}\) and \(\widetilde{\varvec{0}}\), we refer to the monolayer case (§ 16.3.2). As previously, the symmetry of the global matrix is due to the duality relation (27).
From the discrete velocity-pressure problem, we deduce as previously a discrete pressure problem which reads
Let us set
-
\(\overline{\mathcal {C}} =\left( \overline{\mathcal {B}}+\overline{\mathcal {R}}\right) ^T\overline{\mathcal {H}}^{-1} \left( \overline{\mathcal {B}}+\overline{\mathcal {R}}\right) \in \mathcal {M}_{2NL,2NL}(\mathbb {R})\) which is blockwise tridiagonal, symmetric positive-definite;
-
\(\mathcal {C}^{\alpha -1/2}=\left( \mathcal {B}^{\alpha -1/2}\right) ^T\mathcal {H}^{-1}\mathcal {B}^{\alpha -1/2}\) which has exactly the same structure as \(\mathcal {C}\) in (24) with \(B_{12}\) replaced by \(B_{12}^{\alpha -1/2}\).
The blockwise components of \(\overline{\mathcal {C}}\) are then:
-
\(\mathcal {C}_{1,1}=\mathcal {C}^{1/2}\);
-
For \(\alpha \in \{2,\ldots ,L\}\):
and
(31) is a consistent discretisation of (30).
3.4 Iterative Scheme
To solve the \(2NL\times 2NL\) linear system (31), we apply an alternating direction-type method. More precisely, it amounts to solving iteratively:
- x-direction:
-
For each layer \(\alpha \), (30a) in \(\overline{q}_\alpha \) knowing \(q_{\alpha +1/2}\) which corresponds to a linear system with matrix \(C_{11}\) given in (24) (the same for all layers which requires a single factorisation for all iterates at each time step):
$$\begin{aligned} C_{11}{\varvec{q}}_\alpha ^{p+1} =\frac{1}{L\Delta t}\left( B_{11}^T\mathbf {U}_\alpha ^* -2\sqrt{3}{\varvec{\Sigma }}_\alpha ^*\right) - C_{12}^{\alpha -1/2}{\varvec{q}}_{\alpha -1/2}^p; \end{aligned}$$ - z-direction:
-
For each node \(x_i\), (30b-30c) in \(q_{\alpha +1/2}\) knowing \(\overline{q}_\alpha \). It is a tridiagonal system with matrix \(\mathcal {S}^{(i)}\) solved by means of the Thomas’ algorithm [64]. Matrix \(\mathcal {S}^{(i)}\) is a \(L\times L\) tridiagonal symmetric positive-definite matrix with
-
\(S^{(i)}_{1,1}=4+{(\partial _xz_{1/2}^*)}_i^2\);
-
For \(\alpha \ge 2\), \(S^{(i)}_{\alpha ,\alpha }=2\left( 4+{(\partial _xz_{\alpha -1/2}^*)}_i^2\right) \) and \(S^{(i)}_{\alpha ,\alpha -1}=S^{(i)}_{\alpha -1,\alpha } =2-{(\partial _xz_{\alpha -1/2}^*)}_i{(\partial _xz_{\alpha -3/2}^*)}_i\).
Indeed, we check that
This strategy is equivalent to solving the following system by means of a Gauss-Seidel iterative procedure:
![](http://media.springernature.com/lw193/springer-static/image/art%3A10.1007%2Fs10915-021-01552-6/MediaObjects/10915_2021_1552_Equ102_HTML.png)
where unknowns have been re-labelled as
![](http://media.springernature.com/lw344/springer-static/image/art%3A10.1007%2Fs10915-021-01552-6/MediaObjects/10915_2021_1552_Equ103_HTML.png)
Remark 8
It must be underlined that this algorithm can be easily parallelised insofar as each direction (x and z) involves a blockwise diagonal matrix.
4 Numerical Simulations
Let us recall that the stability condition is prescribed by the hyperbolic part of the splitting strategy – see (19) with a CFL number to be specified.
The numerical schemes presented in this paper, namely the resolution of (23) for \(LDNH_2(L=1)\) and the resolution of (31) for \(LDNH_2(L)\), \(L\ge 1\), are assessed by means of some classic test cases and compared to numerical results obtained with the DAE model (5) and its multilayer counterpart described in [35].
It is a well-known fact that dispersive non-hydrostatic models usually require an extra dissipative mechanism to properly treat breaking waves near the coast. Otherwise, artificial overshooting may appear when the wave approaches the shore, see for instance [33].
A breaking criterion as the ones presented in [33] for non-hydrostatic pressure system or in [30] for a two-layer non-hydrostatic pressure system can be easily adapted to the formulations shown in this paper. Nevertheless, we intend here to do a fair comparison of the models \(LDNH_0\) and \(LDNH_2\) by themselves, without any other extra treatment such as breaking. Note that such a breaking criteria would be needed in some cases for very fine meshes, in particular in Tests 18.3 and 18.5.
4.1 Convergence Test
Let us start by a convergence test for both models, \(LDNH_0\) and \(LDNH_2\), in order to assess the numerical strategy and the code. To do so, we consider the propagation of a solitary wave in a rectangular channel with constant topography, that is, a travelling wave that propagates at constant speed, without change in its shape. Let us remark that the particular definition of solitary waves depend on the particular model used, see for instance [61] and the references therein for further details on this topic.
Let us consider here the one layer models (5) and (6). Following [15], solitary waves for these models are given by
where A and \(H_*\) are constant fixed values, \(c=\sqrt{g(A+H_*)}\) and
-
\(\gamma =2\) in the case of \(LDNH_0\),
-
\(\gamma =3/2\) in the case of \(LDNH_2\).
Here we set \(H_*=1,\) \(A=0.1,\) \(g=1\) and \(z_b=0\).
The propagation of a solitary wave over a long distance is a standard assessment of stability and conservative properties of numerical schemes for Boussinesq-type equations [58, 59, 65]. A solitary wave propagates at constant speed and without change of shape over a horizontal bottom.
The domain is \([-20,20]\). We perform the simulation with different numbers of volume cells at time \(t=0.2\) with a second-order scheme. The results are compared to the reference solution and the errors are shown in Tables 1 and 2. These results show the convergence towards the reference solution at second-order.
4.2 Still Water Steady-State
In this test we consider the same domain and boundary conditions as in the previous test. The topography \(z_b\) is given by
We consider the initial condition given by \(h_0(x)=-z_b(x),\) and the rest of the flow variables are set to zero.
The exact solution is a steady-state with still water, coinciding at all times with the initial condition. We have performed the numerical test for the \(LDNH_2(L)\) system for \(L=1,\ 4\) with increasing number of cells. Tables 3 and 4 show the error observed at time \(T=10,\) with a CFL number set to 0.9. It clearly shows that the scheme is well-balanced since these are all of the order of the machine precision.
4.3 Solitary Wave Propagation Over Reefs
A test case propagating a solitary wave over an idealised fringing reef assesses the ability of the model to handle nonlinear dispersive waves, breaking waves and bore propagation. The test configuration includes a fore reef, a flat reef, and an optional reef crest to represent fringing reefs commonly found in a tropical environment. Figure 4 shows a sketch of the laboratory experiments carried out at the O.H. Hinsdale Wave Research Laboratory of Oregon State University. See for instance [66] for more details. The 1D domain [0, 45] is discretised with \(\Delta x=0.045 \ \mathrm {m}\).
Test 18.3 – sketch of the topography
Test 18.3 – comparison between experimental data (red points) and numerical results (solid blue line for \(LDNH_0\) and dashed pink line for \(LDNH_2\)) at times \(t\sqrt{g/H_*}=0,\ 7.8,\ 10,\ 13,\ 17,\ 20.5\ s\) (Color figure online)
A solitary wave of amplitude \(0.5\ \mathrm {m}\) is placed at point \(x=10\ \mathrm {m}\). Finally \(CFL=0.9\) and \(g=9.81\ \mathrm {m}\cdot \mathrm {s}^{-2}\). Free outflow boundary conditions are imposed.
Figure 5 shows snapshots at different times, \(t\sqrt{g/H_*}=t_0\) where \(H_*=1\ \mathrm {m}\). Comparisons between experimental and simulated data allow to validate the numerical approach presented in this paper. Results are shown for \(LDNH_0(L=1)\) and \(LDNH_2(L=1)\) models. The water rushes over the flat reef without producing a pronounced bore-shape. The simulation also captures the offshore component of the rarefaction falls, exposing the reef edge, below the initial water level. The simulations match with experimental data and the \(LDNH_2\) provides slightly better results.
Test 18.4 – sketch of the bathymetry
4.4 Wave Propagation Over a Submerged Bar
The Dingemans experiment [27] of plunging breaking periodic waves over a submerged bar is considered. This case allows to study frequency dispersion characteristics and non-linear interactions. As waves propagate over a submerged bar, multiple phenomena occur, like the appearance of higher harmonics. The 1D domain [0, 30] is discretised with \(\Delta x=0.005\) and the bathymetry is defined on Fig. 6. Locations of the measurement points are specified in Table 5. The CFL number is set to \(\mathcal {C}_{CFL}=0.9\) and the gravity field to \(g=9.81\ \mathrm {m}\cdot \mathrm {s}^{-2}\). We run the numerical test from the “lake at rest” steady state as an initial condition. Boundary conditions correspond to free outflow at \(x=30\) and a sinusoidal wave train for \(\eta \) generated at \(x=0\). This is done as in [30] imposing in a relaxation zone:
where \(A=0.01\) and \(T=2.02\) denote resp. amplitude and period.
This test produces, up to the front slope, waves with wavenumbers \(k\approx 0.63/H_*\) and \(k\approx 1.58H_*\) respectively, where \(H_*=0.4\) is the typical depth. Fig. 7 shows numerical results of time series of the free surface for Model \(LDNH_0(L)\), for \(L\in \{1,2,4\}\), while Fig. 8 concerns \(LDNH_2(L)\) and Fig. 9 shows comparisons between \(LDNH_0(L=4)\) and \(LDNH_2(L=4)\).
Good agreements with experimental data are observed for all models up to Gauge \(\#4\). Beyond the bar, higher harmonics are released which explains discrepancies. We recover observations from the literature, such as [51] where \(\sigma \)-coordinates are used, or [30] where an enhanced two-layer version of the non-hydrostatic pressure system \(LDNH_0\) is used. The results in [23] with a three-parameter Green-Naghdi model optimised for uneven bottoms, show the same level of agreement. Here, we would like to stress the ability of the proposed models to deal with a wide range of dispersive waves. The main difference between \(LDNH_0(4)\) and \(LDNH_2(4)\), as pictured on Fig. 9, can be seen for gauges \(\#6\) to \(\#8\) where the \(LDNH_2\) model is more accurate.
Test 18.4 – comparison of experiment data (red points) and simulated ones with the model \(LDNH_0\) setting 1 layer (green), 2 layers (blue) and 4 layers (black) (Color figure online)
Test 18.4 – comparison of experiment data (red points) and simulated ones with the model \(LDNH_2\) setting 1 layer (green), 2 layers (blue) and 4 layers (black) (Color figure online)
Test 18.4 – comparison of experiment data (red points) and simulated ones with the model \(LDNH_0\) (blue) and \(LDNH_2\) (black) setting 4 layers (Color figure online)
4.5 Shoaling of a Solitary Wave on a Plane Beach
We finally consider the shoaling of a solitary wave on a beach with a constant slope (1 : 30) as described by Guibourg in [42] and then investigated in [11, 28].
A sketch of the geometry is described on Fig. 10. The initial condition is a solitary wave at location \(x=10\) with amplitude \(A=0.298\), as described in [24, 29]. The computational domain \(\Omega = [0, 27.5]\) is divided into cells of length \(\Delta x = 0.01\). Free-outflow boundary conditions are considered and the CFL number is set to \(\mathcal {C}_{CFL}=0.9\).
We compare Models \(LDNH_0(L)\) and \(LDNH_2(L)\) for \(L\in \{1,2,4\}\). Some temporal series of the free-surface elevation are measured at various locations (see Table 6) and compared with the corresponding numerical results.
Results are shown on Figs. 11. Numerical outputs for \(A=0.289\) predict the shoaling phenomenon during the wave run-up satisfactorily. The output clearly shows better performance for Model \(LDNH_2\), which is expected according to the linear dispersion relation of the continuum models.
Test 18.5 – sketch of the bathymetry used for the shoaling of a solitary wave test problem
5 Conclusion
This paper deals with some numerical approaches to simulate Models \(LDNH_0\) and \(LDNH_2\) introduced in [35]. The main objective is to compare their accuracy when applied to different standard test case scenarios. The \(LDNH_2\) model presented in [35] may be seen as a multilayer extension of the Serre – Green-Naghdi equations. This model was derived from Euler equations assuming linear and quadratic vertical profiles for the vertical velocity and pressure. The \(LDNH_0\) model presented in [35] differs from \(LDNH_2\) due to the assumption of a linear vertical profile for pressure. One of the most attractive properties of the models relies on the increasing accuracy of the linear dispersion relation as the number of layers increases, whereas the model \(LDNH_2\) shows better accuracy than \(LDNH_0\) for the same number of layers.
The \(LDNH_0\) model is solved by using a projection technique similar to the one introduced in [30]. The extension of this technique to \(LDNH_2\) is not straightforward. We proposed a numerical method based on this projection technique to approximate the solution of the \(LDNH_2\) model.
The complexity of the model \(LDNH_2\) requires the design of an efficient strategy to solve it numerically for an increasing number of layers. To this aim, we have exploited here a duality relation at the continuous level. This allows to design an algorithm relying on an iterative process that solves a one-layer case in each iteration.
In particular, the algorithm may be decomposed into two different problems: The first one corresponds to a discrete parabolic problem per layer and the second to a tridiagonal linear system at each point of the horizontal discretisation that couples each layer. Moreover, (i) the matrix of the linear system of the parabolic problem per layer is the same for all layers, and (ii) each tridiagonal linear system at each point of the horizontal discretisation is independent. Then, we can observe that (i) since we have the same matrix for all layers, we may consider, for example, an LU-factorisation to reduce the computational time in all layers and (ii) this implies that, although this is not done in the paper, the proposed technique can be easily parallelised, especially when the number of layers increases.
Test 18.5 with \(A = 0.289\) – blue lines indicate the numerical solution with models \(LDNH_0\) a and \(LDNH_2\) b for different layers; red points represent the experimental measurements at the probe positions
Moreover, the final numerical scheme proposed here is also high-order, well-balanced for the water at rest solution, and positive-preserving for the total water depth. That results in an efficient and robust numerical scheme, even in the presence of wet/dry transitions. It is worth mentioning that, while an extensive literature is dedicated to the numerical resolution of shallow water flows such as the Depth-Averaged Euler equations or the Serre – Green-Naghdi equations, this is the first attempt, up to our knowledge, to design a robust and efficient numerical strategy for the multilayer extension of the SGN equations.
The proposed numerical scheme has been carefully validated, showing the second order of accuracy and comparing it with available experimental data. The obtained results exhibit an excellent fitting with the experiments and show that the proposed strategy is well-suited for most coastal processes: wave propagation, shoaling of the waves, run-up of waves onto a beach, higher dispersive harmonic waves, among others.
In the numerical tests presented in the paper, we can also see that for a fixed number of layers, the \(LDNH_2\) is in many situations more accurate than \(LDNH_0\). This result shows that the \(LDNH_2\) is of interest since the accuracy of both models has been compared by using a generalisation of classic projection techniques.
One should recall that \(LDNH_2\) has twice more pressure unknowns than \(LDNH_0\). Therefore, if we apply a projection method to approximate the solution of \(LDNH_2\), it results in a more expensive algorithm, from the computational point of view, than for \(LDNH_0\). Hence, a fair comparison of both models from the computational point of view is beyond the scope of this paper.
Nevertheless, it is worth mentioning that this paper was aimed to analyse and propose a projection technique as a starting point for designing efficient and robust numerical methods of high-order for multilayer non-hydrostatic systems. As further research, it will be interesting to investigate the development of other numerical strategies for the \(LDNH_2\) model and compare them with the one proposed here. For example, it may be of interest to consider relaxation techniques or rapid numerical methods and pseudo-compressibility approximations, as the ones proposed for one-layer dispersive shallow models in [31, 34] and [9], respectively.
Notes
The models of the hierarchy are denoted \(LDNH_k(L)\) where LDNH stands for Layerwise Discretisation Non-Hydrostatic, k is the order of approximation and \(L\) the number of layers.
The location of boundary conditions depends on the one hand on the hyperbolic step (hence the hyperbolic regime) and on the other hand on the compatibility between boundary conditions for both steps. The boundary condition for the water height does not interfere with the elliptic step.
The hyperbolic part is not the core of this paper which is rather the elliptic part.
An explicit scheme is presented but an implicit strategy can also be chosen. It does not interfere with the second step.
References
Aïssiouene, N., Bristeau, M.-O., Godlewski, E., Mangeney, A., Parés, C.: A two-dimensional method for a family of dispersive shallow water models. SMAI J. Comp. Math. 6, 187–226 (2020)
Aïssiouene, N., Bristeau, M.-O., Godlewski, E., Sainte-Marie, J.: A combined finite volume-finite element scheme for a dispersive shallow water system. Netw. Heterog. Media 11(1), 1–27 (2016)
Allgeyer, S., Bristeau, M.-O., Froger, D., Hamouda, R., Jauzein, V., Mangeney, A., Sainte-Marie, J., Souillé, F., Vallée, M.: Numerical approximation of the 3d hydrostatic Navier-Stokes system with free surface. ESAIM Math. Model. Numer. Anal. 53(6), 1981–2024 (2019)
Antuono, M., Liapidevskii, V., Brocchini, M.: Dispersive Nonlinear Shallow-Water Equations. Stud. Appl. Math. 122(1), 1–28 (2009)
Bai, Y., Cheung, K.F.: Dispersion and nonlinearity of multi-layer non-hydrostatic free-surface flow. J. Fluid Mech. 726, 226–260 (2013)
Bai, Yefei, Cheung, Kwok Fai: Dispersion and kinematics of multi-layer non-hydrostatic models. Ocean Model. 92, 11–27 (2015)
Bassi, C., Bonaventura, L., Busto, S., Dumbser, M.: A hyperbolic reformulation of the Serre-Green-Naghdi model for general bottom topographies. Comp. Fluids 212, 104716 (2020)
Benyo, K., Charhabil, A., Debyaoui, M.-A., Penel, Y.: Simulation of complex free surface flows. Proc. of the 2019 session of CEMRACS
Bonnet-Ben Dhia, A., Bristeau, M., Godlewski, E., Imperiale, S., Mangeney, A., Sainte-Marie, J.: Pseudo-compressibility, dispersive model and acoustic waves in shallow water flows. Preprint. HAL Id: hal-02493518, (2020)
Bonneton, P., Barthelemy, E., Chazel, F., Cienfuegos, R., Lannes, D., Marche, F., Tissier, M.: Recent advances in Serre-Green Naghdi modelling for wave transformation, breaking and runup processes. Eur. J. Mech. B. Fluids 30(6), 589–597 (2011)
Bonneton, P., Chazel, F., Lannes, D., Marche, F., Tissier, M.: A splitting approach for the fully nonlinear and weakly dispersive Green-Naghdi model. J. Comput. Phys. 230(4), 1479–1498 (2011)
Bouchut, F.: Nonlinear stability of finite volume methods for hyperbolic conservation laws and well-balanced schemes for sources. Birkhauser, (2004)
Boussinesq, J.: Théorie des ondes et des remous qui se propagent le long d’un canal rectangulaire horizontal, en communiquant au liquide contenu dans ce canal des vitesses sensiblement pareilles de la surface au fond. J. Math. Pures Appl., pages 55–108, (1872)
Bristeau, M.-O., Di Martino, B., Guichard, C., Sainte-Marie, J.: Layer-averaged Euler and Navier-Stokes equations. Commun. Math. Sci. 15(5), 1221–1246 (2017)
Bristeau, M.-O., Mangeney, A., Sainte-Marie, J., Seguin, N.: An energy-consistent depth-averaged Euler system: Derivation and properties. Discret. Contin. Dynam. Syst. - Series B 20(4), 961–988 (2015)
Bristeau, M.-O., Sainte-Marie, J.: Derivation of a non-hydrostatic shallow water model; Comparison with Saint-Venant and Boussinesq systems. Discret. Contin. Dynam. Syst. - B 10(4), 733–759 (2008)
Busto, S., Dumbser, M., Escalante, C., Favrie, N., Gavrilyuk, S.: On high order ADER discontinuous galerkin schemes for first order hyperbolic reformulations of nonlinear dispersive systems. J. Sci. Comput. 87(2), 48 (2021)
Castro, M.J., Morales de Luna, T., Parés, C.: Well-Balanced Schemes and Path-Conservative Numerical Methods. In Handbook of Numerical Analysis, volume 18, pages 131–175. Elsevier, (2017)
Castro, M.J., Ferreiro, A.M. Ferreiro, García-Rodríguez, J.A., González-Vida, J.M., Macías, J., Parés, C., Vázquez-Cendón, M. Elena: The numerical treatment of wet/dry fronts in shallow flows: application to one-layer and two-layer systems. Math. Comp. Model., 42(3):419 – 439, 2005
Castro Díaz, M.J., Fernández-Nieto, E.: A class of computationally fast first order finite volume solvers: PVM methods. SIAM J. Sci. Comput. 34(4), A2173–A2196 (2012)
Casulli, V.: A semi-implicit finite difference method for non-hydrostatic, free-surface flows. Int. J. Numer. Methods Fluids 30(4), 425–440 (1999)
Casulli, V.: A semi-implicit numerical method for the free-surface navier-stokes equations. Int. J. Numer. Meth. Fluids 74(8), 605–622 (2014)
Chazel, F., Lannes, D., Marche, F.: Numerical simulation of strongly nonlinear and dispersive waves using a Green-Naghdi model. J. Sci. Comput. 48(1), 105–116 (2011)
Clamond, D., Dutykh, D.: https://es.mathworks.com/matlabcentral/fileexchange/39189-solitary-water-wave, (2012)
Cravero, I., Puppo, G., Semplice, M., Visconti, G.: CWENO: uniformly accurate reconstructions for balance laws. Math. Comp. 87(312), 1689–1719 (2018)
Barré de Saint-Venant, A.: Théorie du mouvement non permanent des eaux, avec application aux crues des rivières et à l‘introduction des marées dans leurs lits. C. R. Acad. Sci. 73, 237–240 (1871)
Dingemans, M.W.: Comparison of computations with Boussinesq-like models and laboratory measurements. Report H-1684.12, 32, Delft Hydraulics, (1994)
Duran, A., Marche, F.: Discontinuous-Galerkin discretization of a new class of Green-Naghdi equations. Commun. Comput. Phys. 17(3), 721–760 (2015)
Dutykh, D., Clamond, D.: Efficient computation of steady solitary gravity waves. Wave Motion 51(1), 86–99 (2014)
Escalante, C., Castro, M.J., Fernández-Nieto, E.D., Morales de Luna, T.: An efficient two-layer non-hydrostatic approach for dispersive water waves. J. Sci. Comput. 79, 273–320 (2019)
Escalante, C., Dumbser, M., Castro, M.J.: An efficient hyperbolic relaxation system for dispersive non-hydrostatic water waves and its solution with high order discontinuous Galerkin schemes. J. Comput. Phys. 394, 385–416 (2019)
Escalante, C., Morales de Luna, T.: A general non-hydrostatic hyperbolic formulation for Boussinesq dispersive shallow flows and its numerical approximation. J. Sci. Comput. 83(3), 62 (2020)
Escalante, C., Morales de Luna, T., Castro, M.J.: Non-hydrostatic pressure shallow flows: GPU implementation using finite volume and finite difference scheme. Appl. Math. Comput. 338, 631–659 (2018)
Favrie, N., Gavrilyuk, S.: A rapid numerical method for solving Serre- Green-Naghdi equations describing long free surface gravity waves. Non- linearity 30(7), 2718–2736 (2017)
Fernández-Nieto, E.D., Parisot, M., Penel, Y., Sainte-Marie, J.: A hierarchy of dispersive layer-averaged approximations of Euler equations for free surface flows. Commun. Math. Sci. 16(05), 1169–1202 (2018)
Ferrari, S., Saleri, F.: A new two-dimensional Shallow Water model including pressure effects and slow varying bottom topography. ESAIM: Math. Model. Numer. Anal., 38(2):211–234, (2004)
Gerbeau, J.-F., Perthame, B.: Derivation of viscous Saint-Venant system for laminar shallow water; numerical validation. Discrete Contin. Dyn. Syst. Ser. B 1(1), 89–102 (2001)
Godlewski, E., Raviart, P.-A.: Numerical approximation of hyperbolic systems of conservation laws. Number 118 in Applied Mathematical Sciences. Springer-Verlag, (1996)
Green, A.E., Naghdi, P.M.: A derivation of equations for wave propagation in water of variable depth. J. Fluid Mech. 78(2), 237–246 (1976)
Grosso, G., Antuono, M., Brocchini, M.: Dispersive nonlinear shallow-water equations: some preliminary numerical results. J. Eng. Math. 67(1), 71–84 (2010)
Guermond, J.-L., Minev, P., Shen, J.: An overview of projection methods for incompressible flows. Comput. Methods App. Mech. Eng. 195(44–47), 6011–6045 (2006)
Guibourg, S.: Modèlisation numèrique et expèrimentale des houles bidimensionnelles en zone cotière. PhD thesis, Universitè Joseph Fourier, (1994)
Kirby, J.T.: Boussinesq models and their application to coastal processes across a wide range of scales. J. Waterway, Port, Coastal, Ocean Eng. 142(6), 03116005 (2016)
Kurganov, Alexander, Petrova, Guergana: A second-order well-balanced positivity preserving central-upwind scheme for the saint-venant system. Commun. Math. Sci. 5(1), 133–160 (2007)
Lannes, D.: The Water Waves Problem: Mathematical Analysis and Asymptotics, volume 188. Amer. Math. Soc., (2013)
Lannes, D., Bonneton, P.: Derivation of asymptotic two-dimensional time-dependent equations for surface water wave propagation. Phys. Fluids 21(1), 016601 (2009)
Lannes, D., Marche, F.: A new class of fully nonlinear and weakly dispersive Green-Naghdi models for efficient 2D simulations. J. Comput. Phys. 282, 238–268 (2015)
Le Métayer, O., Gavrilyuk, S., Hank, S.: A numerical scheme for the Green-Naghdi model. J. Comput. Phys. 229, 2034–2045 (2010)
LeVeque, Randall J.: Finite Volume Methods for Hyperbolic Problems. Cambridge Texts in Applied Mathematics. Cambridge University Press, (2002)
Lynett, P.J., Liu, P.L.-F.: Linear analysis of the multi-layer model. Coastal Eng. 51(5), 439–454 (2004)
Ma, G., Shi, F., Kirby, J.T.: Shock-capturing non-hydrostatic model for fully dispersive surface wave processes. Ocean Model. 43, 22–35 (2012)
Madsen, P.A., Murray, R., Sørensen, O.R.: A new form of the Boussinesq equations with improved linear dispersion characteristics. Coastal Eng. 15(4), 371–388 (1991)
Marche, F.: Derivation of a new two-dimensional viscous shallow water model with varying topography, bottom friction and capillary effects. Eur. J. Mech. B. Fluids 26(1), 49–63 (2007)
Mazaheri, A., Ricchiuto, M., Nishikawa, H.: A first-order hyperbolic system approach for dispersion. J. Comput. Phys. 321, 593–605 (2016)
Nwogu, O.: Alternative form of Boussinesq equations for nearshore wave propagation. J. Waterway, Port, Coastal, Ocean Eng. 119(6), 618–638 (1993)
Parisot, M.: Entropy-satisfying scheme for a hierarchy of dispersive reduced models of free surface flow. Int. J. Numer. Methods Fluids 91(10), 509–531 (2019)
Peregrine, D.H.: Long waves on a beach. J. Fluid Mech. 27(04), 815–827 (1967)
Ricchiuto, M., Filippini, A.G.: Upwind residual discretization of enhanced boussinesq equations for wave propagation over complex bathymetries. J. Comput. Phys. 271, 306–341 (2014)
Roeber, V., Cheung, K.F., Kobayashi, M.H.: Shock-capturing boussinesq-type model for nearshore wave processes. Coastal Eng. 57, 407–423 (2010)
Sainte-Marie, J.: Vertically averaged models for the free surface non-hydrostatic Euler system: derivation and kinetic interpretation. Math. Models Methods Appl. Sci 21(03), 459–490 (2011)
Sánchez, C.E.: Mathematical and numerical modelling of dispersive water waves. PhD thesis, Universidad de Málaga, (2018)
Serre, F.: Contribution à l‘ètude des ècoulements permanents et variables dans les canaux. La Houille Blanche 8(6–7), 830–872 (1953)
Stelling, G., Zijlema, M.: An accurate and efficient finite-difference algorithm for non-hydrostatic free-surface flow with application to wave propagation. Int. J. Numer. Meth. Fluids 43(1), 1–23 (2003)
Thomas, L.: Elliptic problems in linear differential equations over a network. Columbia Univ., NY, Technical report, Watson scientific computing laboratory (1949)
Yamazaki, Y., Kowalik, Z., Cheung, K.F.: Depth-integrated, non-hydrostatic model for wave breaking and run-up. Int. J. Numer. Methods Fluids 61(5), 473–497 (2009)
Yao, Y., He, T., Deng, Z., Chen, L., Guo, H.: Large eddy simulation modeling of tsunami-like solitary wave processes over fringing reefs. Nat. Hazards Earth Syst. Sci. 19, 1281–1295 (2019)
Acknowledgements
The research of this paper was partially supported by the Spanish Government (SG), the European Regional Development Fund (ERDF), the Regional Government of Andalusia (RGA), and the University of Málaga (UMA) through the projects of reference RTI2018-096064-B-C21, RTI2018-096064-B-C22 (SG-ERDF), UMA18-Federja-161 (RGA-ERDF-UMA), and P18-RT-3163 (RGA-ERDF).
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Sánchez, C.E., Fernández-Nieto, E.D., de Luna, T.M. et al. Numerical Simulations of a Dispersive Model Approximating Free-Surface Euler Equations. J Sci Comput 89, 55 (2021). https://doi.org/10.1007/s10915-021-01552-6
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10915-021-01552-6