1. Introduction
Many environmental fluid flows fall under the broad category of gravity currents, where a density difference between the current and its surrounding ambient drives predominantly horizontal fluid motion (Simpson Reference Simpson1997; Ungarish Reference Ungarish2020). Examples include flood events such as those caused by the collapse of a dam (Stoker Reference Stoker1957), open channel hydraulics (Chow Reference Chow2009), the spreading of toxic gas (Rottman, Simpson & Hunt Reference Rottman, Simpson and Hunt1985), oil spillages (Hoult Reference Hoult1972), cold fronts (Simpson Reference Simpson1997), katabatic winds (Simpson Reference Simpson1997), salinity currents (Simpson Reference Simpson1982) and turbidity currents (Simpson Reference Simpson1982). It is important to understand these fluid motions, especially for hazardous environmental currents, in order to ameliorate their effects on people, the environment and infrastructure.
Canonical problems in this area include ‘dam-break’ and ‘lock-release’ flows, where an initially quiescent and homogeneous layer of dense fluid is confined behind a barrier which is instantaneously removed to generate a current propagating along a horizontal bed. The two terms usually distinguish between regimes of different relative densities: for ‘dam-break’ flows, the liquid current is substantially denser than the ambient air, so that the ambient can be neglected; whilst for ‘lock-release’ flows the density of the current is comparable to that of the ambient, and often the two densities are assumed to be sufficiently close that the Boussinesq approximation is valid (Ungarish Reference Ungarish2020). These flows are not only important for their applications, but are amenable to analytical study, and may be investigated using laboratory experiments (e.g. Simpson Reference Simpson1997; Ungarish Reference Ungarish2020).
In an environmental setting, gravity currents typically have a vastly greater horizontal length scale than vertical. This extreme aspect ratio means that, to leading order, the pressure is hydrostatic, and vertical integration of the governing equations yields the shallow water equations (e.g. Ungarish Reference Ungarish2020). However, if the density of the current is comparable to that of the ambient, then the front of the gravity current forms a ‘head’ at which it uplifts the ambient on a horizontal length scale of the same order as the depth of the current. Thus, hydrostatic pressure is not a valid approximation locally (Porcile et al. Reference Porcile, Enrile, Besio and Bolla Pittaluga2022), and the dynamics must be captured by alternative means. Many authors have pursued investigations of the local dynamics, for example von Kármán (Reference von Kármán1940), Benjamin (Reference Benjamin1968), Simpson & Britter (Reference Simpson and Britter1979), Huppert & Simpson (Reference Huppert and Simpson1980), Borden & Meiburg (Reference Borden and Meiburg2013), Konopliv et al. (Reference Konopliv, Smith, McElwaine and Meiburg2016), Ungarish (Reference Ungarish2017) and Ungarish & Hogg (Reference Ungarish and Hogg2018). For the purposes of constructing a shallow water model, the crucial result is that $\bar {u} = {Fr} \sqrt {g' \bar {h}}$, where $\bar {u}$ and $\bar {h}$ are the dimensional velocity and depth of the current local to the head, and $g'$ is the reduced gravity (see § 2). The value of the Froude number ${Fr}$ is determined either experimentally or from a simplified analytical model of the region local to the head. By selecting a value, or expression, for ${Fr}$ we establish a dynamic boundary condition for the shallow water model of the current. When the ambient is deep in comparison with the current, and the density ratio between the two is constant, then the Froude number may be considered constant (Benjamin Reference Benjamin1968). In this regime it has been possible to establish a similarity solution for the two-dimensional motion that arises after a sufficient time following initiation (Fannelop & Waldman Reference Fannelop and Waldman1972; Hoult Reference Hoult1972; Gratton & Vigo Reference Gratton and Vigo1994), where the complete exact solution is also available (Hogg Reference Hogg2006).
It is unusual for environmental gravity currents to flow across a horizontal bed, and often the dynamics of the current is at least partially controlled by the topography. A particularly dramatic interaction occurs when the topography transitions from horizontal to an adverse incline, the height of the crest being of order the depth of the current, while the streamwise extents of the incline and crest are much smaller than the length of the current (although potentially still larger than the depth of the current). Due to the extreme scales, the current interacts with this incline as a barrier, i.e. the fluid will be abruptly slowed and deepen, and may pour over the barrier depending on its height and the local properties of the current.
Early work in this area focussed on the flow over a barrier, where the distal upstream and downstream flow conditions were the same. This investigation began with experimental work performed by Long (Reference Long1954), where a barrier was placed at the bottom of the channel and instantaneously put in motion, so that in the frame of the obstacle the fluid impulsively mobilised. Analysis by Long (Reference Long1954) and Houghton & Kasahara (Reference Houghton and Kasahara1968) classified the dynamics, and this analysis was compiled by Baines & Davies (Reference Baines and Davies1980) and Baines (Reference Baines1995) into figure 1. This figure shows several dynamical regimes, wherein the fluid may simply flow over the obstacle subcritically or supercritically, or else shocks may be generated and the flow may become blocked. Interestingly, there is a parameter regime where multiple dynamical modes coexist, the history of the flow determining which is realised. It was shown numerically by Pratt (Reference Pratt1983) that it is possible to switch between the different dynamical regimes in a hysteresis loop by keeping the upstream and downstream flow conditions constant and altering the elevation of the obstacle with time. A similar hysteresis loop was found experimentally by Lawrence (Reference Lawrence1987) keeping the obstacle height constant and varying the flow conditions.
The case of different distal upstream and downstream conditions has been investigated using the collision of a horizontally uniform current with a barrier. This problem was examined theoretically by Rottman et al. (Reference Rottman, Simpson and Hunt1985), who used a shallow water model to calculate the upstream depth for flow over a barrier with a vertical face, and Lane-Serff, Beal & Hadfield (Reference Lane-Serff, Beal and Hadfield1995) calculated the proportion of the incident flux that overtopped. Experimental verification of these results has been performed by Pari, Kashefipour & Ghomeshi (Reference Pari, Kashefipour and Ghomeshi2017). Additionally, Ermanyuk & Gavrilov (Reference Ermanyuk and Gavrilov2005) experimentally measured the forces exerted on the barrier, and further investigation of this scenario by Gonzalez-Juez, Meiburg & Constantinescu (Reference Gonzalez-Juez, Meiburg and Constantinescu2009) modelled the motion using DNS (direct numerical simulations). Both DNS and ‘box model’ analysis (horizontally uniform shallow water) were used in Gonzalez-Juez & Meiburg (Reference Gonzalez-Juez and Meiburg2009) to determine the flow downstream of the barrier. The classification of dynamical regimes for collision is similar to, but distinct from, that in figure 1; see Cozzolino et al. (Reference Cozzolino, Cimorelli, Covelli, Morete and Pianese2014) and our § 3.
We now turn our attention to unsteady incident currents, which have been less extensively studied. Greenspan & Young (Reference Greenspan and Young1978) investigated the collision of a ‘dam-break’ flow with a barrier. Their study established an asymptotic expression for the initial deepening of the fluid layer adjacent to the barrier following the collision. This analysis has been significantly extended by Hogg & Skevington (Reference Hogg and Skevington2021) to provide a quasi-analytical calculation of the reflection of the flow by the barrier, revealing the rate at which the fluid deepens and the energy losses by the reflected bore. Greenspan & Young (Reference Greenspan and Young1978) also provided numerical simulations of their model of shallow water overtopping along with comparisons with experiment, although their model assumes that the surface elevation of the fluid is constant on the incline of the barrier, and this requires an unphysical assumption about the dissipation of energy as the fluid flows up the incline (see Appendix A).
In the present work the focus is on the unsteady collision of currents from lock-release and dam-break initial conditions with a barrier. In particular, we explore how the overtopping dynamics changes over time, that is the transitions between subcritical, supercritical and blocked flow, and how the evolution of this dynamics depends on the dimensionless parameters of the problem. In addition, we are interested in how the barrier traps fluid, and we calculate the portion of a finite release that remains upstream of the barrier.
The paper is structured as follows. In § 2 we develop a shallow water model of the collision, wherein the barrier is represented by a boundary condition that captures the energy conserving interaction, modifying the condition by Cozzolino et al. (Reference Cozzolino, Cimorelli, Covelli, Morete and Pianese2014) and generalising the condition by Skevington & Hogg (Reference Skevington and Hogg2020) (see Appendix A for a discussion of conditions used by other authors). This boundary condition is studied in detail in § 3 (with additional details in Appendix B), classifying the type of solution seen locally to the boundary. This classification is similar to that in figure 1, except we impose supercritical flow beyond the barrier, making the solution unique. We then proceed to classify the time evolving states seen in our dynamic collision process, when the barrier is sufficiently close to the release so the current is unaffected by its finite extent (§ 4.1), and when the barrier is sufficiently far so the current is in similarity form (§ 4.2 using results from Appendix C). We present numerical simulations of the shallow water model in § 5, where we examine how the portion of fluid that overtops the barrier depends on the parameters of the problem. Finally, in § 6 we compare our predictions with the experimental results of Greenspan & Young (Reference Greenspan and Young1978) and Gonzalez-Juez & Meiburg (Reference Gonzalez-Juez and Meiburg2009), showing a good correspondence and validating the model. We conclude in § 7.
2. Problem formulation
2.1. Governing equations
We model the two-dimensional motion of relatively dense fluid following instantaneous release from a quiescent state in a lock of dimensional depth $Z$ and length $X$ surrounded by a relatively deep and dynamically passive ambient. This two-dimensional model is equivalent to a laterally uniform three-dimensional flow along a rectangular channel. Driven by its density difference with the ambient, the released fluid flows along the underlying impermeable boundary forming a gravity current. On the assumption that the motion is shallow ($Z \ll X$) and predominantly parallel with the basal boundary, the pressure adopts a hydrostatic distribution to leading order. Neglecting mixing with the ambient and assuming the inclination of the bed is small, the dimensionless governing equations are the nonlinear shallow water equations (e.g. Peregrine Reference Peregrine1972; Ungarish Reference Ungarish2020)
which represent conservation of mass and the balance of momentum respectively. We have non-dimensionalised the horizontal coordinate $x$ by $X$; the time $t$ by ${X}/{\sqrt {g'Z}}$; the depth of the fluid $h(x,t)$ and bed elevation $b(x)$ by $Z$; and the velocity of the fluid $u(x,t)$ by $\sqrt {g'Z}$, where $g' \equiv {g (\rho _f - \rho _a)}/{\rho _f}>0$ is the reduced gravity, $g$ is the acceleration due to gravity, $\rho _f$ is the density of the flowing layer and $\rho _a$ is the density of the dynamically passive ambient. When considering volumes of fluid, we scale by the width of the implied rectangular channel, and therefore calculate the area in the two-dimensional model.
In regions where $u$ and $h$ are continuous (2.1) may be written in terms of the characteristic invariants $\alpha \equiv u + 2 h^{1/2}$ and $\beta \equiv u - 2 h^{1/2}$ (e.g. Stoker Reference Stoker1957)
We term the curves ${\mathrm {d}x}/{\mathrm {d}t} = \lambda$ as the $\alpha$-characteristics, and ${\mathrm {d}x}/{\mathrm {d}t} = \mu$ as the $\beta$-characteristics. When $b$ is constant then $\alpha$ is constant on $\alpha$-characteristics and $\beta$ is constant on $\beta$-characteristics. The flow is subcritical when the characteristics move in opposite directions, that is $\lambda \mu < 0$ or equivalently ${\left | u \right |}< h^{1/2}$; supercritical when the characteristics move in the same direction, that is $\lambda \mu > 0$ or equivalently ${\left | u \right |}>h^{1/2}$; and critical when one of the characteristics is stationary, that is $\lambda \mu = 0$ or equivalently ${\left | u \right |}=h^{1/2}$.
Along shock curves $x = x_s(t)$ where the solution is discontinuous (but $b$ is continuous) we enforce conservation of the mass and momentum fluxes (e.g. Stoker Reference Stoker1957), given by
respectively, where $s \equiv {\mathrm {d}x_s}/{\mathrm {d}t}$ and $[{\,f(x,t)}]_{-}^{+} \equiv f(x_s^+(t),t) - f(x_s^-(t),t)$. In addition, we require that any shocks absorb characteristics of one family, consistent with the Lax entropy condition (Lax Reference Lax1957). Shocks for which $\lambda ^- > s > \lambda ^+$ are termed $\alpha$-shocks and satisfy $h^->h^+$, $s>u^->u^+$, whilst those with $\mu ^- > s > \mu ^+$ are termed $\beta$-shocks and satisfy $h^-< h^+$, $u^->u^+>s$.
The domain is $0 \leq x \leq x_f(t)$, and the initial conditions are $h(x,0)=1$, $u(x,0)=0$, $x_f(0)=1$. The bed is horizontal up until the barrier at $x=L_1 \geq 1$, that is $b(x) = 0$ for $0 \leq x < L_1$, and the fluid is confined to the rear by an insurmountable barrier imposing $u(0,t)=0$, which we call the back wall. The motion during $t>0$ is due to the removal of the lock at $x=1$ which produces a moving front obeying (Benjamin Reference Benjamin1968)
where ${Fr}$ is the frontal Froude number, which is dependent on the density ratio $\rho _f/\rho _a$. By this definition of ${Fr}$, Boussinesq currents ($\rho _f/\rho _a \approx 1$) take a theoretically derived value of $\sqrt {2}$ (Benjamin Reference Benjamin1968; Ungarish & Hogg Reference Ungarish and Hogg2018) and experimentally measured value of $1.19$ (Huppert & Simpson Reference Huppert and Simpson1980), while dam-break flows operate in the limit ${Fr} \to \infty$ and the front corresponds to vanishing height $h(x_f,t)=0$. In our analysis we will assume that ${Fr}>0$ is constant. The configuration is shown in figure 2.
A barrier is located across the range $L_1 < x < L_2$, and over this interval ${\mathrm {d}b}/{\mathrm {d}x} \geq 0$ with the crest at elevation $B \equiv b(L_2)$, thus the overall angle of the incline is $\theta \equiv \arctan {\left ({B Z}/{\epsilon X} \right )}$ where $\epsilon \equiv L_2 - L_1$. We assume the barrier is steep relative to the scales of the current, so that $1 \ll B/\epsilon = (X/Z) \tan \theta$. Note that this does not prevent $\theta$ from being small because $Z \ll X$. For the current to be able to surmount the barrier we require that $B \lesssim 1$ (it will turn out that we require $B<2$, § 4.1), so $0 < \epsilon \ll 1$.
Because the barrier is short relative to the length of the current, we neglect the ${O}\left ({\epsilon }\right )$ effects of its finite extent by including it as a boundary condition at $x=L$. That is, in the model we analyse in all subsequent sections, the bed elevation is set to zero across all of $0< x< L$, where $x=L$ is the location of the boundary condition which models the barrier. In principle, we may set the boundary to be at any location $L_1 < L < L_2$, but to minimise the error in measuring the volume of fluid that escapes the domain (§ 5) we ensure that the confined volume (that is, the volume of the region behind the barrier) $V_c$ is the same as in the configuration with $\epsilon$ non-vanishing, where
That is, we choose $L \equiv V_c/B$.
In what follows we denote the velocity and depth of the fluid at the base of the barrier by $u_b$ and $h_b$. When considering the configuration with non-vanishing $\epsilon$ these are expressed by $u_b(t) = u(L_1,t)$ and $h_b(t) = h(L_1,t)$, whereas at the crest of the barrier the velocity and depth are $u_c(t) = u(L_2,t)$ and $h_c(t) = h(L_2,t)$. The overtopping model developed below provides a dynamical connection between the states at the base and the crest and leads to conditions on $u_b$ and $h_b$. For our simplified model of the interaction between the current and barrier, which is accurate in the limit $\epsilon \rightarrow 0^+$, we impose these as conditions at $x=L$, that is the consideration of the barrier provides constraints on $u_b(t) = u(L,t)$ and $h_b(t) = h(L,t)$. We will also utilise the flow state just upstream of the barrier, in the simplified model this is given by $u_l(t) = \lim _{x \to L^-} u(x,t)$ and $h_l(t) = \lim _{x \to L^-} h(x,t)$.
To develop a boundary condition that captures the effect of the barrier on the fluid, we use its relative shortness, $\epsilon \ll 1$, which implies the time scale of the fluid flow local to the barrier is vastly smaller than that of the flow in the bulk. Thus, the dynamics is quasi-static and steady state analysis may be applied. Following Long (Reference Long1954, Reference Long1970) and Baines (Reference Baines1995), we assume the flow to be continuous between the base and the crest (shocks are known to be unstable, see Baines & Whitehead Reference Baines and Whitehead2003). Thus, the dimensionless energy density $E \equiv \tfrac {1}{2} u^2 + h + b$ and volume flux $q \equiv uh$ are constant in space and time, with $q_b$, $E_b$ the values evaluated at the base of the barrier, and $q_c$, $E_c$ at the crest. At constant $q$ and $b$ the energy takes its minimal value at critical flow, $h = q^{2/3}$, at which $E = \tfrac {3}{2} q^{{2}/{3}} + b$. For larger energies there are two possible corresponding values of $u$ and $h$, a subcritical state and a supercritical state. For the fluid to overtop the barrier the energy at the crest $E_c$ must be at least the critical energy there,
thus
where
is the energy discrepancy. Note that this analysis assumes there is no energy dissipation as the fluid flows over the obstacle, which is justifiable for shallow sloped barriers. For steeper slopes, Skevington & Hogg (Reference Skevington and Hogg2020) showed, for open channel flows, how to account for the small amount of dissipation present. This is not pursued here.
We assume that the flow downstream of the barrier is downhill and supercritical, and conclude that there are three possible modes that can be exhibited.
(i) Supercritical overtopping. The flow on the incline is supercritical, $u_b > h_b^{1/2}$, and satisfies $\Delta E_b > 0$, which imposes no boundary condition on the bulk flow.
(ii) Subcritical overtopping. The flow on the incline is subcritical and transitions to supercritical beyond the crest. Thus, it is critical at the crest, and the appropriate boundary condition is $\Delta E_b = 0$, taking the solution in $0 \leq u_b \leq h_b^{1/2}$.
(iii) Blocked flow. If $\Delta E_b < 0$ then the fluid cannot overtop the barrier, and the appropriate boundary condition is $q_b = 0$.
The strict inequality on energy for the case of supercritical overtopping ensures the stability of the continuous flow on the incline. For supercritical flow with $\Delta E_b = 0$, a small perturbation to the values of $u_b$, $h_b$ may cause $\Delta E_b$ to become negative, at which point an upstream propagating bore will be generated, transitioning to one of the other two modes.
Identifying which of the three modes is selected depends on the flow local to the barrier $u_l$, $h_l$. As discussed by Cozzolino et al. (Reference Cozzolino, Cimorelli, Covelli, Morete and Pianese2014), there is a choice of whether to permit supercritical overtopping in some cases. By the experimental measurements of Greenspan & Young (Reference Greenspan and Young1978) we expect that slopes of $\theta = 60^{\circ }$, perhaps greater, are able to produce a supercritical jet of overtopping fluid for an incident dam-break flow, and to capture this flow regime we permit supercritical overtopping when $u_l > h_l^{1/2}$ and $\Delta E_l \equiv \Delta E (u_l,h_l,B) > 0$. Otherwise, if a solution exists to imposing subcritical overtopping then this boundary condition is used, else we impose blocked flow. Collectively, we term all three modes and the method of selection the critical barrier boundary condition, and we examine the consequence of its imposition in § 3.
Works by other authors (e.g. Greenspan & Young Reference Greenspan and Young1978; Rottman et al. Reference Rottman, Simpson and Hunt1985) have used a different outflow condition where a constant surface elevation is imposed rather than conservation of energy. In Appendix A we show that the surface elevation model is unphysical, and that the conservation of energy condition is the physically permitted condition that minimises the change in surface elevation.
The model is validated by comparison with experiment in § 6, showing a good correspondence. However, we first analyse the properties and predictions of the model in §§ 3–5 to give context to the comparison.
2.2. Numerical methods
We simulate using the transformed shallow water system presented in Skevington (Reference Skevington2021a). The numerical method employs the central upwind scheme by Kurganov & Levy (Reference Kurganov and Levy2002). This is a finite volume scheme which requires reconstruction in each cell, for this purpose we use the suppressed minmod limiter from Skevington (Reference Skevington2021b). Boundary conditions are implemented using techniques developed in Skevington (Reference Skevington2021a), which ensure the solution is locally continuous at the boundaries for almost all time, and that there is no drift off error in the algebraic boundary conditions.
3. Boundary-Riemann problem adjacent to a barrier
In this section we analyse the flow predicted by the governing equations (2.1) and the critical barrier condition at the right end of the domain when a uniform initial state is imposed. Mathematically, this configuration corresponds to a boundary-Riemann problem and its solution provides considerable insight into the manner in which the boundary condition controls the flow. This is the same problem as considered by Cozzolino et al. (Reference Cozzolino, Cimorelli, Covelli, Morete and Pianese2014), although we choose supercritical outflow whenever multiple solutions exists. We present the solution to the boundary-Riemann problem in this section because it is used extensively later. This initial configuration may alternatively be viewed as a transformation of the problem posed in § 2 by introducing coordinates $\hat {x} = {(x-L)}/{\hat {\delta }}$, $\hat {t} = {(t-t_0) B^{1/2}}/{\hat {\delta }}$ so that the local behaviour at time $t_0$ can be examined over a region of size $\hat {\delta }$ where $\epsilon \ll \hat {\delta } \ll 1$ so that the variables are initially constant and the domain is $\hat {x} \leq 0$, $\hat {t} \geq 0$. It is convenient to rescale the dependent variables as
so that, in the new variables, the barrier is of unit height. The initial conditions are therefore written as
and the initial Froude number is $F_i \equiv \hat {u}_i/\hat {h}_i^{1/2}$, and similarly for other subscripts. There are three types of solution possible, and all may be written as functions of $\hat {y} \equiv \hat {x}/\hat {t}$ because the solutions are constant on the linear trajectories $\hat {x} \propto \hat {t}$. That is, at $\hat {t} = 0$ the variations in $\hat {h}$ and $\hat {u}$ are localised at $\hat {x}=0$, and then spread with the width increasing in proportion to $\hat {t}$ while maintaining their shape.
The simplest solution type is a uniform state which satisfies, for all $\hat {t}>0$,
(see figures 3f,i and figure 4d,i). Alternatively the solution may take the form of a $\beta$-fan, which is a simple wave across which $\alpha$ is constant and takes the value in the initial uniform state $\hat {\alpha } = \hat {u}_i + 2 \hat {h}_i^{1/2}$, while $\beta$ varies as a function of $\hat {y}$, that is
where $\hat {\mu }_i \equiv \hat {u}_i - \hat {h}_i^{1/2}$ and $\hat {\mu }_b \equiv \hat {u}_b - \hat {h}_b^{1/2}$ (see figures 3a–e and 4a–c). The final case is when the solution is a $\beta$-shock between two uniform regions,
which must satisfy the shock condition (2.3b) (see figures 3g,h and 4e–h).
In the remainder of this section, for a given initial state we specify which of the outflow behaviours (supercritical, subcritical or blocked) occurs, and which of the three solution types is observed. This yields a division of the $(\hat {u}_i,\hat {h}_i)$-plane into six regimes as shown in figure 5. Figure 5(b) is similar to figure 1, except that the axes are exchanged for consistency with, and the clarity of, later figures. The similarity is due to the upstream dynamics on the dividing curves being the same for the two problems, although the dynamics within some regimes differs (specifically A-IV, also A-V and A-VI are not present in figure 1). To aid the construction of regimes we define $\Delta \hat {E}_i \equiv \Delta E (\hat {u}_i,\hat {h}_i,1)$, which is the scaled energy discrepancy associated with the initial conditions, and $\Delta \hat {E}_b \equiv \Delta E (\hat {u}_b,\hat {h}_b,1)$, which is that associated with the boundary values.
The first two regimes are easy to find.
Supercritical overtopping (regime A-I in figure 5, see figures 3i and 4i) occurs when $\hat {u}_i > \hat {h}_i^{1/2}$ and $\Delta \hat {E}_i > 0$, no boundary condition need be applied, resulting in a uniform state (3.3a). The boundary of this regime is the curve $\Delta \hat {E}_i = 0$ (see figures 3h and 4h).
A dry region (regime A-VI in figure 5, see figures 3a and 4a) is created adjacent to the barrier when $\hat {u}_i < -2 \hat {h}_i^{1/2}$, and results in a $\beta$-fan (3.3b) with $\hat {h}_b = 0$, $\hat {\mu }_b = \hat {u}_i + 2 \hat {h}_i^{1/2}$. The boundary of this regime is the curve $\hat {u}_i = -2 \hat {h}_i^{1/2}$, equivalently $\alpha _i = 0$ (see figures 3b and 4b) on which the depth vanishes precisely at the barrier.
The remaining solution regimes are constructed using the results in Appendix B, which yield the following method. We identify the depth attained at the barrier for the boundary condition $\hat {u}_b = 0$, which we denote by $\hat {h}_{b0}$. When $\hat {u}_i = 0$ then $\hat {h}_{b0}=\hat {h}_i$; when $\hat {u}_i < 0$ the solution is a $\beta$-fan and because $\alpha$ is constant across the domain
and when $\hat {u}_i > 0$ the solution is a $\beta$-shock and, by (2.3b), we seek the $\hat {h}_{b0}>\hat {h}_i$ solution to
The boundary between the blocked and subcritical overtopping regimes occurs when $\hat {u}_b=0$ and $\hat {h}_b = 1$, thus from (3.4) the curve separating the regimes in the $(\hat {u}_i,\hat {h}_i)$-plane satisfies $\hat {h}_{b0}=1$. Solutions on this curve are plotted in figures 3(d) and 4(f).
Blocked flow with a $\beta$-fan (regime A-V in figure 5, see figures 3c and 4c) occurs when $\hat {h}_{b0} \leq 1$ and $\hat {u}_i < 0$, for which $\hat {u}_b = 0$, $\hat {h}_b = \hat {h}_{b0}$.
Blocked flow with a $\beta$-shock (regime A-III in figure 5, see figure 4e) occurs when $\hat {h}_{b0} \leq 1$ and $\hat {u}_i > 0$, for which $\hat {u}_b = 0$, $\hat {h}_b = \hat {h}_{b0}$. Regimes A-V and A-III are separated by a dividing curve on which $\hat {h}_i \leq 1$ and $\hat {u}_i = 0$, corresponding to blocked flow in a uniform state (see figure 4d).
Subcritical overtopping with a $\beta$-fan (regime A-IV in figure 5, see figure 3e) occurs when $\hat {h}_{b0} \geq 1$ and $\Delta \hat {E}_i > 0$, for which $\hat {u}_b$, $\hat {h}_b$ satisfy
Subcritical overtopping with a $\beta$-shock (regime A-II in figure 5, see figures 3g and 4g) occurs when $\hat {h}_{b0} \geq 1$ and $\Delta \hat {E}_i < 0$, for which $\hat {u}_b$, $\hat {h}_b$ satisfy
Regimes A-IV and A-II are separated by a dividing curve on which $\hat {h}_i \geq 1$ and $\Delta \hat {E}_i = 0$, corresponding to subcritical outflow in a uniform state (see figure 3f).
The division of the $(\hat {u}_i , \hat {h}_i)$-plane is plotted in figure 5(a), where black lines show division between the different dynamical regimes and are labelled with the equations that specify them. We note that across most of the domain the values at the barrier $\hat {u}_b$, $\hat {h}_b$ vary continuously as functions of $\hat {u}_i$, $\hat {h}_i$, and so states on the dividing curves can be constructed as a limit from either side. The only exception is across the boundary of the supercritical regime, where $\hat {u}_b$ and $\hat {h}_b$ are discontinuous as functions of $\hat {u}_i$, $\hat {h}_i$. By our choice of boundary condition in § 2, the solutions on this curve are the limit from the subcritical side (see figures 3h and 4h).
It is also informative to view the regimes in the plane where velocity is measured relative to the local wave speed, $F_i \equiv {u_i}/{h_i^{1/2}} = {\hat {u}_i}/{\hat {h}_i^{1/2}} = {{\hat {u}_l}/{\hat {h}_l^{1/2}}}|_{\hat {t}=0}$, and barrier height relative the height of the incident current, $B/h_i = \hat {h}_i^{-1} = {\hat {h}_l^{-1}}|_{\hat {t}=0}$, see figure 5(b). This is particularly useful when the oncoming current has a specified Froude number ${Fr}$ at its front, only a single vertical slice through the $(F_i , \hat {h}_i^{-1})$-plane is required. For this purpose, it is useful to know that the curve $\Delta \hat {E}_i = 0$ intersects with the $\hat {u}_b = 0$, $\hat {h}_b = 1$ curve when $(F_i , \hat {h}_i^{-1}) \in \{{ (0,1) , (4.47,6.90) }\}$. Thus, for $0 < {Fr} < 1$, a barrier slightly taller than the current prevents overtopping, and otherwise there is subcritical overtopping. For $1 < {Fr} < 4.47$, relatively tall barriers prevent overtopping, moderate height barrier cause subcritical overtopping and relatively short barriers cause supercritical overtopping. For ${Fr} > 4.47$, very tall barriers prevent overtopping, and all others cause supercritical overtopping.
4. Unsteady overtopping of a barrier
Using the behaviour local to a barrier governed by the critical barrier boundary condition, we investigate the unsteady dynamics of the system formulated in § 2. In this section we consider the collision of the gravity current with the barrier in two extreme cases: first, when the barrier is sufficiently close to the release that there is no effect of the back wall of the lock prior to collision; and, second, when the barrier is far enough from the release that the current takes on similarity form prior to collision. As time progresses the outflow may transition between supercritical overtopping, subcritical overtopping, and blocked flow. In what follows, we elucidate both the initial mode at collision and how the flow transitions between modes over time.
4.1. Barrier close to initial release
We assume that the barrier is sufficiently close that the presence of the back wall is not felt by the front of the current prior to impact. At the instant of release, the influence of the lock's removal creates a wave that travels to the back wall, which is then reflected forward towards the front of the gravity current (Hogg Reference Hogg2006). We neglect the influence of this forward propagating reflected wave in this section, which requires that the barrier is sufficiently close to the initial release (see § 5). Formally we let $L = 1+ \tilde {\delta }$ for some $\epsilon \ll \tilde {\delta } \ll 1$, and define $\tilde {x} = {(x-1)}/{\tilde {\delta }}$, $\tilde {t} = {t}/{\tilde {\delta }}$ so that, as $\tilde {\delta } \rightarrow 0$, the initial release occupies $\tilde {x} < 0$ and the barrier is at $\tilde {x} = 1$. At the instant of release the solution is a $\beta$-fan originating at $\tilde {x}=0$ that joins two uniform regions, and given explicitly by
where
is the local Froude number. We express the solution in terms of $F$ rather than directly in terms of $\tilde {x}/\tilde {t}$ (e.g. Ungarish Reference Ungarish2020) for analytical simplicity in what follows. Note that $F$ increases monotonically with $\tilde {x}/\tilde {t}$ from $0$ to ${Fr}$ across the $\beta$-fan (the middle case in (4.1b)).
The solution (4.1) is valid until the front reaches the barrier, which occurs at time $\tilde {t} = {({Fr} + 2)}/{(2 {Fr})}$. To illustrate our analysis of the subsequent dynamics we use plots produced from numerical simulation (figure 6). These simulations were performed on a mesh of $1000$ cells on $-2 \leq \tilde {x} \leq 1$ initiated at the instant of collision, with a non-reflecting boundary condition imposed at $\tilde {x} = -2$ so that this boundary does not influence the ensuing dynamics.
The initial interaction with the barrier is now discussed. We emphasise that our model does not include mixing between the current and ambient fluid, which may occur during the initial collision between Boussinesq flows and relatively deep barriers. We note that the dilute fluid generated by this interaction will largely be transported downstream out of the domain, and should not affect the subsequent motion. The interaction corresponds to the boundary-Riemann problem solved in § 3. In particular, since ${Fr} > 0$, we find that four initial behaviours may occur, depending on ${Fr}$ and the relative height of the barrier: supercritical overtopping (B-Ia, B-Ib, B-Ic); subcritical overtopping with a $\beta$-shock (B-II) or a $\beta$-fan (B-IV) generated at the barrier; and blocked flow (B-IIIa, B-IIIb), see figure 7. These are divided by two curves. Firstly, $\Delta \tilde {E}_i \equiv \Delta \tilde {E} ({Fr},B) = 0$ is the boundary of supercritical overtopping, with $\Delta \tilde {E}_i$ the energy discrepancy when the front arrives at the barrier. The energy discrepancy across the domain, denoted $\Delta \tilde {E}$, is derived by substituting (4.1a) into (2.6c), yielding
Secondly, $u_b = 0$, $h_b = B$, which by the shock conditions (2.3) imply $\tilde {S}({Fr},B) = 0$, where
divides subcritical and blocked flow. In what follows we analyse the subsequent motion that occurs and we document the results in terms of the dimensionless height of the barrier $B$ and the Froude number at the front of the flow ${Fr}$, plotting the dynamics in figure 6 and including the regimes in figure 7.
If, at the instant of collision, the flow is blocked, then initially there will be a $\beta$-shock that travels from the barrier with a constant velocity until it interacts with the $\beta$-fan from the initial conditions. From this time on, the region of fluid between the shock and barrier progressively deepens, eventually attaining unit depth (cf. Hogg & Skevington Reference Hogg and Skevington2021). Therefore, for barriers of height less than $1$ the fluid eventually overtops (figure 6a,b), which we call regime B-IIIb, whereas for a barrier of height greater than $1$ the fluid never overtops, regime B-IIIa.
Alternatively, if at the instant of collision the fluid supercriticality overtops then no shock is generated and instead the solution for early $\tilde {t}$ is valid until $\Delta E_b = 0$ at the barrier. Thus the supercritical outflow will cease while the $\beta$-fan from the initial conditions is adjacent to the barrier. Specifically it will cease when $\Delta \tilde {E}(F,B)=0$ (for a given $B$), which can be solved to find $F$ which is the Froude number adjacent to the barrier. At this instant we must solve another boundary-Riemann problem, but it is substantively the same as the one solved above for the initial interaction, with $\alpha =2$ and the Froude number now being $F$. Consequently, the division between transition to subcritical overtopping (B-Ic, see figure 6g,h) and transition to blocked flow (B-Ia, B-Ib) is a line of constant $B$ which can be found by solving $\Delta \tilde {E}(F,B)=\tilde {S}(F,B)=0$, yielding $(F,B) = (4.47,0.661)$ (3 s.f.). As for flows that initially do not overtop (B-IIIa, B-IIIb), flows that transition from supercritical overtopping to blocked flow can subsequently transition to subcritical overtopping (B-Ib, see figure 6c,d) if $B<1$, and do not (B-Ia, see figure 6e,f) if $B>1$. On the dividing line between these regimes the supercritical overtopping ceases when $\Delta \tilde {E}(F,1)=0$, thus $F = 7.12$ (3 s.f.). We note that the given values of $F$ correspond to the values of ${Fr}$ on the bounding curve of supercritical overtopping $\Delta E_i=0$, and therefore mark the locations at which the dividing curves meet.
We note that as $\tilde {t} \rightarrow \infty$ the solution limits to the same solution as the boundary-Riemann problem with $\hat {h}_i = 1/B$, $\hat {u}_i = 0$ (§ 3). Therefore with $B<1$ we find subcritical overtopping, whereas with $B>1$ the flow is blocked at late times. For this reason, once these modes of overtopping have been reached, we expect no further changes.
The classification of dynamics is shown in figure 7. One surprising result is that for ${Fr} > 7.12$ the initial collision can only produce supercritical overtopping or blocked flow, and that supercritical is possible for $B>1$. That is to say, fluid can overtop a barrier taller than the initial release, and for ${Fr} \rightarrow \infty$ it can overtop a barrier twice the height of the release, as a consequence of energy conservation.
We emphasise that these results are valid before the finite extent of the release influences the overtopping through the arrival at the barrier or shock of the characteristic reflected from the back wall (formally $\tilde {\delta } \rightarrow 0$). The effects of a finite extent will modify the boundaries between the regimes in a way that depends on $L$.
4.2. Barrier far from initial release
We now assume that the barrier is sufficiently far from the initial release that the current is in similarity form when it reaches the barrier, which is the late time limit for all finite values of the Froude number, ${Fr}$, at the front of the current (Gratton & Vigo Reference Gratton and Vigo1994). We express the similarity solution in terms of the variables
where $t_0$ is some arbitrary time offset and
The similarity solution is, in terms of the variables $\breve {u} \equiv L^{1/2} u$, $\breve {h} \equiv L h$,
In this rescaled system the remaining parameters are $V_c = BL$ (the confined volume (2.5)) and ${Fr}$ (the front condition (2.4)), and we determine the dynamical regimes after collision in terms of them. The similarity solution is valid until the front reaches the barrier, which occurs at time $\breve {t} = K^{{3}/{2}}$. At this time a boundary-Riemann problem must be solved at $\breve {x} = 1$ to determine the dynamics immediately after the collision (see § 3). This initial local interaction divides parameter space into four regimes corresponding to: blocked flow (C-III); subcritical overtopping with a $\beta$-shock (C-II) or a $\beta$-fan (C-IV) generated at the barrier; and supercritical overtopping (C-Ia, C-Ib, C-Ic) (see figure 8). These regimes are divided by two curves. Firstly, the curve $\Delta \breve {E}_i \equiv \Delta \breve {E} (K^{3/2},V_c) = 0$ (energy discrepancy at impact), where
(energy discrepancy computed at $\breve {x} = 1$ across $\xi _D \leq \xi \leq 1$) is the boundary of supercritical overtopping. Secondly, $\breve {u}_b = 0$, $\breve {h}_b = V_c$, which by the shock conditions (2.3) imply $\breve {S}(K^{3/2},V_c) = 0$, where
is the boundary between subcritical overtopping and blocking. In what follows we analyse the subsequent transitions of overtopping behaviour that occur within each of the regimes.
If the fluid is unable to supercritically overtop at the instant of collision (i.e. blocked flow or subcritical overtopping) then two cases are possible. One case is when a $\beta$-fan is generated at the subcritically overtopping barrier (C-IV), so that the depth at the barrier $\breve {h}_b$ is smaller than the depth that arrived at the front. This continues until $\breve {h}_b$ reduces to $V_c$ at which time the flow is blocked. The other case is when an upstream propagating shock is formed. We find from simulation that, as time passes, the fluid depth between the shock and wall decreases. This can be rationalised as follows. Initially, the distance between the shock and barrier is small, and therefore the dynamics in this regime is quasi-static and has constant velocity throughout. Using the perturbed shock condition (C3), and the fact that upstream of the shock both $u$ and $h$ are decreasing, we deduce that $h$ downstream of the shock must decrease also. At later times the fluid is not quasi-static, and therefore we make use of the expressions involving the invariants, (C7), remembering that the shock sets the changes in $\alpha$ immediately downstream of the shock, these changes are then reflected off the barrier resulting in changes of opposite sign to $\beta$. The large coefficient of the perturbations to $\alpha$ suggests that $\alpha$ is decreasing and, therefore, $\beta$ is increasing, corresponding to a decreasing depth. Because the fluid adjacent to the barrier is becoming shallower, we deduce that the fluid will cease its initial overtopping (if any), and not overtop again. Thus, in regime C-III, no fluid makes it over the barrier, and in regime C-II the subcritical overtopping ceases after finite time.
For supercritical outflow we find that there are three possible types of subsequent motion. Firstly, it is possible that all of the gravity current may overtop the barrier. If $\min _{\breve {t}} \Delta \breve {E}(\breve {t},V_c) \geq 0$ (equivalent to $\min _{\breve {t}} \Delta \breve {E}(\breve {t},0) \geq V_c$) the energy of fluid reaching the barrier is sufficient to allow supercritical overtopping for all time, thus all of the fluid flows out of the domain supercritically (C-Ic). We note that for ${Fr} \geq 7.03$ (3 s.f.) the time of minimal $\Delta \breve {E} (\breve {t},0)$ is at the instant of collision, $\breve {t} = K^{3/2}$ (at ${Fr}=7.03$, $\Delta \breve {E}(K^{3/2},0) = 984$), thus if there is supercritical overtopping then it will certainly dry the domain. For supercritical overtopping that is not a part of C-Ic, we identify the time at which $\Delta \breve {E}(\breve {t},V_c) = 0$, and at this instant the fluid can either transition to subcritical overtopping (C-Ia) or blocked flow (C-Ib), following the boundary-Riemann problem at that instant. The dividing curve is when $\breve {h} = V_c$ and $\breve {u} = 0$ to the right of the $\beta$-shock generated at the barrier, and to find it we solve $\Delta \breve {E}(\breve {t},V_c) = \breve {S}(\breve {t},V_c) = 0$ as a coupled system for $\breve {t}$ and $V_c$. This curve will meet the corresponding dividing curve for subcritical outflow at the boundary of the supercritical regime, that is $\Delta \breve {E}(K^{3/2},V_c) = \breve {S}(K^{3/2},V_c) = 0$ which has solution ${Fr} = 4.47$, $V_c=133$. In addition, it can be shown that the $V_c = 0$ solution is found at ${Fr} = 2$. Note that, as in region C-II, the subcritical outflow of C-Ia will eventually transition to no-overtopping.
Classification of the dynamics is shown in figure 8. For ${Fr} \gg 1$ it is found that the current is able to surmount barriers that are much taller than the average depth of the current, that is $V_c$ is able to be very large and still permit outflow. This is because the current has most of its volume at the front, moving forwards with very high momentum. For more modest ${Fr}$ this effect is weakened.
5. Numerical evaluation of fluid outflow over a critical barrier
Outside of the extremal cases discussed in §§ 3 and 4, developing a comprehensive understanding of the fluid flow dynamics is challenging to do analytically; instead we proceed with a numerical study of the dynamics. We compute two illustrative cases: ${Fr} = \sqrt {2}$ corresponding to Boussinesq currents under a deep ambient (Benjamin Reference Benjamin1968); and ${Fr} \rightarrow \infty$ when the ambient is of a substantially lower density than the current.
5.1. Boussinesq gravity current: ${Fr} = \sqrt {2}$
We begin by establishing how tall the barrier must be to prevent outflow. To find this we run simulations imposing an insurmountable barrier at $x=L$ (that is impose the condition $u=0$ when the current reaches the barrier, which is equivalent to the limit $B \rightarrow \infty$), the shortest barrier required to prevent outflow will be equal to the maximum depth of fluid at the barrier over all time.
The variation of the maximum depth of fluid, $h_m$, with downstream distance to the barrier, $L$, arises from the interaction of two key flow features: the upstream moving shock that is generated by the arrival of the flow at the barrier, and the trajectory of the ‘reflected’ $\alpha$-characteristic from the back wall of the lock $(x=0)$ in response to the arrival of the rearmost $\beta$-characteristic formed by the removal of the lock-gate. It is this latter characteristic that ‘communicates’ the finite extent of the flow. If the barrier is sufficiently distant from the lock, then the reflected $\alpha$-characteristic catches up with the front of the motion before the gravity current reaches the barrier; however, for a closer barrier this characteristic intersects the shock. In figure 9, we plot the dependence of the maximum depth, $h_m$, on $L$ and observe that there are two values of $L$ at which the behaviour changes. In what follows we demonstrate how to evaluate these transitions.
In § 4.1 we showed that the initial motion of the gravity current features a uniform region, leading a $\beta$-fan in which the depth and velocity vary (see (4.1)). On reflection from the barrier, the frontal uniform region develops a uniform reflection in a region adjacent to the barrier within which the fluid is motionless and the shock moves steadily upstream (see Hogg & Skevington Reference Hogg and Skevington2021). If the barrier is very close to the initial release $(L-1\ll 1)$ then the fluid progressively deepens at the barrier after the uniform state (reaching the asymptotic values $h_m\to 1$ as $L\to 1$). The deepening stops when the reflected $\alpha$-characteristic emanating from $x=0$ intersects the shock and then propagates further to the barrier. The time between the first arrival of the front of the gravity current and this $\alpha$-characteristic is reduced with increasing $L$ in this regime, and so the maximum depth, $h_m$, also reduces with $L$ (see figure 9 with $1< L<2.02$).
A change in dependence of $h_m$ with $L$ occurs if the $\alpha$-characteristic intersects the shock when the fluid beyond it is still in a uniform state. From (4.1), the depth and velocity of the front of the gravity current are given by $u_f=2Fr/(Fr+2)$ and $h_f=4/(Fr+2)^2$. On reflection from the barrier the fluid is motionless and of depth $h_b$, which by (2.3) satisfies
For example, when $Fr=\sqrt {2}$ we find $h_b = 0.930$ (3 s.f.). The speed of the shock is $s=u_fh_f/(h_f-h_b)$ when the gravity current front first arrives at the barrier at $t=(L-1)/u_f$. The position of the shock is therefore given by
The reflected $\alpha$-characteristic meets the uniform region when
(see Hogg Reference Hogg2006). Thus the distance from the lock, $L=L_A$, at which the change of behaviour occurs is determined by substituting (5.3a,b) into (5.2). For $Fr=\sqrt {2}$, we find $L_A=2.02$ (3 s.f.; see figure 10a).
For $L_A< L< L_B$, the $\alpha$-characteristic intersects the shock while the reflected motion is uniform, and the maximum depth, $h_m$, is constant and equal to $h_b$ at the instant of collision. The next change of behaviour is at $L=L_B$ when the characteristic catches up with the front at the instant of collision (figure 10b). Using the results in Hogg (Reference Hogg2006), this occurs for
and thus $L_B=4.70$ (3 s.f.) for $Fr=\sqrt {2}$.
For a more distant barrier, $L>L_B$, the fluid depth at the front of the current begins to diminish before it reaches the barrier. In this scenario, the maximum depth at the barrier, $h_m$, is determined by the depth of the arriving current, which may be evaluated directly from Hogg (Reference Hogg2006). The results are plotted in figure 9, which shows how $h_m$ diminishes with $L$.
For barriers which permit overflow we may expect to see some supercritical overtopping, but for ${Fr} = \sqrt {2}$ this has been found to only occur for very short barriers indeed. Using the results of § 3 and the early time solution (4.1) we find that supercritical overtopping only occurs for $B \lesssim 0.038$. We do not consider $B$ this small, and instead focus on barriers which cause subcritical overtopping or blocked flow.
In figure 11 we plot the results from our numerical computations for $L=4$, $B=1/4$ and $L=6$, $B=1/6$. On reaching the barrier, both flows overtop subcritically but the nature of the interaction at early times differs between the two cases. Following the analysis above for insurmountable barriers, when $L<4.70$, the overtopping is not initially affected by the finite extent of the release (through the reflection of the characteristic from the back wall, figure 11e), whereas for $L>4.70$ it is (figure 11f). This means that the former case exhibits a short period during which the overtopping flux is constant (figure 11a,c) and thereafter it varies temporally.
After the initial overtopping event, subsequent overtopping can occur as the flow oscillates in the basin, a shock being reflected between the back wall and the barrier. These oscillations may cause the depth at the barrier to exceed $B$ again at later times, indeed in figure 11(g,h) both simulations exhibit a secondary overtopping when the shock collides with the barrier. It is possible for the oscillations to result in many overtopping events.
During this oscillating phase of motion, we may be concerned that mixing becomes important. The mixing at the upper shear layer can be shown to be small by an analysis of mixing rate reported in Strang & Fernando (Reference Strang and Fernando2001). Across the shock, however, the depth approximately doubles during the first passage of the shock across the domain (figure 11a,b), becoming substantially weaker after the first reflection due to energy dissipation. As shown by Borden, Meiburg & Constantinescu (Reference Borden, Meiburg and Constantinescu2012) for moving shocks and Wood & Simpson (Reference Wood and Simpson1984) and Lawrence & Armi (Reference Lawrence and Armi2022) for stationary shocks, shocks of this size do not cause substantial mixing, and instead the principal difference between our model and real currents is in the balance of momentum flux in the single layer model (2.3b) due to the energy dissipation and inertia in the upper layer. We do not expect this effect to be significant in our case of interest, flows under a deep ambient, but certainly would need to be included if the ambient and current were of a similar depth.
To characterise the overtopping, we calculate the dimensionless volume of fluid that has escaped at late times
Whilst formally $V_\infty$ should be evaluated at $t \rightarrow \infty$, we compute it numerically by stopping the simulation when there is less than $0.001$ change in volume over $2$ oscillations of the fluid trapped behind the barrier. Specifically, at the instant of collision the volume of fluid in the domain is calculated as $V_0 = 1$, then the simulation is run for a period $L^{3/2}/V_0^{1/2}$, which approximates the time for a characteristic to cross the domain. This is then repeated, $V_n$ being the volume after $n$ runs, and the duration of the $(n+1){\rm th}$ run being $L^{3/2}/V_n^{1/2}$. If, after $V_n$ is calculated, we have $\max _{m \in \{n-4 , \ldots, n\}}(V_m) - \min _{m \in \{n-4 , \ldots, n\}}(V_m) < 0.001$, then we cease performing further computations, and approximate $V_\infty \approxeq V_n$. We simulate for $L \in \{1,1.5, \ldots,10\}$, $V_c \equiv BL\in \{0.2,0.4, \ldots,3\}$ with a resolution of 1000 cells, and include in our plots that all the fluid escapes for $B=0$, and that the fluid drains to a height $h=B$ for $L=1$ as discussed in Skevington & Hogg (Reference Skevington and Hogg2020). We now explore the overtopping that occurs for $L>1$, for which the escaped volume is shown in figure 12(a).
The simplest limiting case is that $\Delta V = 0$ when no fluid is able to overtop, thus $V_\infty = 1$. For smaller barriers which permit overtopping, it is possible for the limiting volume to be exactly that required by volume conservation, $V_\infty = V_c \leq 1$, thus $\Delta V = 1 - V_c$. For this to happen the limiting behaviour must be that discussed in Skevington & Hogg (Reference Skevington and Hogg2020), i.e. at late times
where $\tau$ is an offset time. For the proper ordering of terms the difference between the leading order solution above and the exact solution cannot be too large. We suppose that, at the instant the current reaches the barrier, $h_a L = 1$ which determines $\tau$, thus
We then compare the total inertia of the flow at the instant of collision $Q$ (from the simulation of a lock-release current) with that of the asymptotic $Q_a$, producing the ratio
where
thus
Our simulations suggest that, so long as $R \lesssim 8$ then $V_\infty \approx V_c$, see figure 12(b). We see then that the requirement for limiting to the draining discussed in Skevington & Hogg (Reference Skevington and Hogg2020) is that the inertia is not too much greater than that of the asymptotic solution, $Q \lesssim 8 Q_a$. This bound is surprisingly weak, a priori it may be anticipated that ${\left | R - 1 \right |} \ll 1$ is required; it seems the asymptotic solution is unusually robust.
This leaves an intermediate regime, where the inertia is large enough to cause overtopping in excess of that required by volumetric arguments, and the barrier insufficiently tall to prevent outflow. In this regime the inertia is enough to decrease the remaining volume below that which is required by simple volumetric arguments, $V_\infty = \min (V_c,1)$. Indeed, for $V_c \approx 1$, $L \gtrsim 3$ the outflow volume is over $0.3$ greater than the minimal value, which shows the inertia has a significant effect. In this regime the fluid oscillates in the basin, and during each oscillation some portion of the fluid overtops (figure 11).
Beyond $L=10$, indeed largely beyond $L=5$, the current is approximately in similarity form at collision and, to leading order, $\Delta V$ is a function of $V_c$. This is because the characteristic reflected off the back wall has caught up with the front, see figure 11. This means that, so long as $V_c$ remains constant, the barrier may be placed any distance downstream and the same behaviour will be observed.
Our analysis shows that a barrier constructed so that $V_c = 1$ is not capable of containing the fluid. That is, if the confined volume is equal to the volume of the current then we should expect approximately 30 % of the fluid to escape. From our simulations, we expect that a barrier confining around 2–3 times the volume of the current is required to stop it, and even then a small portion of the current, around 5 %–10 %, will still overtop.
5.2. Dam-break flow: ${Fr} \rightarrow \infty$
In this case the current does not evolve into similarity form, and the front is not caught up by the reflected characteristic from the back wall (Hogg Reference Hogg2006). Thus the $\beta$-fan (4.1) generated by the initial release persists for all time. Hence, the initial overtopping behaviour is independent of $L$ and only depends on $B$ as shown in figure 7 for ${Fr} \to \infty$. Specifically, supercritical overtopping occurs for $B < 2$, although the volume that escapes may be quite small prior to the transition to other modes.
The escaped volume as measured using (5.5) is plotted in figure 13(a) from numerical simulations. We observe that, for $L \gtrsim 5$ and $B \lesssim 0.5$, $\Delta V_\infty$ is only weakly dependent on $L$. This is because the reflected characteristic from the back is advancing slowly across the $\beta$-fan. For $L < 5$ the effect of the back wall is more pronounced, thus the dependence on $L$ is stronger. Similarly to the Boussinesq case, the boundary of the region in which $V_\infty \approx V_c$ is given by (5.10) with $R=8$ ($Q$ evaluated for a dam-break current), see figure 13(b). However, in this case the region is much smaller. Indeed, across a wide range of parameters the actual escaped volume is substantially underestimated by volumetric considerations; in excess of an additional $60\,\%$ of the initial volume overtops the barrier for $L=10$, $B=1/10$.
6. Comparison with experiments and three-dimensional simulations
6.1. Dam-break flow
The boundary condition used in this study is very similar to that developed by Cozzolino et al. (Reference Cozzolino, Cimorelli, Covelli, Morete and Pianese2014), only differing in that they chose to suppress supercritical overtopping. They compared the predictions of their model with a dam-break (${Fr}\to \infty$) experiment performed by Hiver (Reference Hiver2000) with $L=1.74$, $B=0.53$, $\epsilon =0.19$, $\theta =7.6^{\circ }$, $H/X=0.048$, and found a good agreement. However, we note that the overtopping predicted for this set of parameter values features only a very short period of supercritical overtopping, and so does not clearly differentiate between the two boundary conditions.
Instead, we compare our model with the experiments of Greenspan & Young (Reference Greenspan and Young1978). In particular, their data evidence an initial period of supercritical overtopping, as is modelled by our boundary condition. Their figure 9 shows a dam-break experiment with $L=2$, $B=0.5$, $\epsilon =0.26$, $\theta =60^{\circ }$, $H/X=0.89$, a jet can be seen that initially leaps the barrier prior to the formation of an upstream bore.
The dam-break experiments of Greenspan & Young (Reference Greenspan and Young1978) only explored the initial period of overtopping for the case $V_c \geq 1$. In this parameter regime the fluid is below the elevation of the barrier when the surface is level, and consequently overtopping is driven by the oscillatory sloshing motion depicted in figure 11. The initial period of overtopping is the time up to the instant when the depth drops from $h>B$ to $h \leq B$ at $x=L^-$ (if $h< B$ for all $t$ then then initial period extends to $t\to \infty$). Both the volume that overtops during the initial period and the volume that has escaped by late times are plotted in figure 14(a) from simulations of our model, showing that there is little difference between these two measures (at least, for the range of $B$ and $L$ plotted). Additionally, as noted by Greenspan & Young (Reference Greenspan and Young1978), the curves for different $L$ are very similar. We understand this as the effect of the $\beta$-fan in the frontal region of the dam-break that persists over long distances (Hogg Reference Hogg2006). The extent of this frontal region relative to the length of the overall current varies slowly as it is caught up by the reflection of the $\beta$-fan from the back wall.
We next consider the experiments with a barrier at $\theta = 90^{\circ }$. There may be concerns that the deviation of the critical barrier boundary condition precludes application to such steep slopes, however, we only require that there is no energy difference between the ‘base’ and ‘crest’. These are not necessarily at the locations immediately adjacent to the incline, but rather the first locations up- and down-stream where the assumptions of the shallow water equations are satisfied, thus the model may be applied with a small change in interpretation. The experiments show good agreement with our simulations (figure 14b), with only small discrepancies. For the barriers that are close and tall (red) the experiments show a slightly larger escaped volume than predicted by our simulations, and we suspect that this discrepancy is because the region around the barrier where the shallow water assumptions are violated is large in comparison with the domain ($\epsilon \not \ll 1$). For the shorter, distal barriers (cyan and magenta) our simulations over-predict the escaped volume, and it is likely that this is in part because of drag reducing the inertia of the physical current, which will reduce the escaped volume. Indeed, comparing our simulations with the experiments of Hiver (Reference Hiver2000) we find that our initial overtopping exceeds that found experimentally, while the example simulation with drag reported by Cozzolino et al. (Reference Cozzolino, Cimorelli, Covelli, Morete and Pianese2014) showed better agreement. In the regime $V_c=1$ ($L=1/B$), however, our simulations agree remarkably well with experiment (figure 14d), indicating that the small errors cancel in this important case.
Investigating the effect of different barrier angles $\theta$, we find that our simulations slightly underestimate the escaped volume for $\theta =30^{\circ }$ and $\theta =60^{\circ }$. These experiments were not performed at the scales at which our model was derived (see § 2), in particular $\epsilon \not \ll 1$ and $Z \not \ll X$, thus higher-order corrections to the model may be required to fully capture this non-shallow dynamics.
6.2. Boussinesq gravity current
Our analysis applies to overtopping currents, propagating under relatively deep ambient fluid so that the momentum of the latter may be neglected. This condition is particularly important when interpreting data from laboratory and numerical simulations of Boussinesq currents, many of which feature currents that are not initially shallow relative to the ambient and are potentially strongly influenced by the motion of the ambient fluid. Notably, however, Gonzalez-Juez & Meiburg (Reference Gonzalez-Juez and Meiburg2009) report two-dimensional DNS of gravity currents driven from a sustained source and propagating under a deep ambient towards an obstacle that spans the channel. They present data on the depth and velocity of the gravity current motion downstream of the obstacle (their figure 12), from which we can compute the overtopping flux of fluid. We present their simulation results in figure 15, along with the outflow flux predicted by our solution of the boundary-Riemann problem in § 3, in which we use the Froude number of the incident fluid, $F_i\equiv u_i/h_i^{1/2}$, determined by Gonzalez-Juez & Meiburg (Reference Gonzalez-Juez and Meiburg2009). The data series with no-slip and slip basal boundary conditions have different reported frontal Froude numbers. In both cases, we observe in figure 15 that there is quite close agreement between the simulated results and the predictions from our boundary-Riemann calculation. We also note that the analysis in § 3 gives a formal justification for the simplified modelling used by Gonzalez-Juez & Meiburg (Reference Gonzalez-Juez and Meiburg2009); their box model analysis upstream of the barrier is identical to the full solution of a shallow water model with the critical barrier boundary condition derived in § 2, and their simulations all fall into regime A-II of the boundary-Riemann problem of § 3 (see figure 5).
More complete model comparisons with data from simulations and experiments would enable us to test other aspects of our predictions, such as flow depths and velocities and shock speeds and to probe dynamical effects that we have not included. The three-dimensional, large eddy simulations of gravity currents flowing over a triangular obstacle performed by Tokyay & Constantinescu (Reference Tokyay and Constantinescu2015) report some of these features. However, we find that the depth computed above the crest of the obstacle differs substantially from the critical depth, as calculated using their reported data. It is possible that this discrepancy comes from how the depth and velocity of the current have been calculated: the former is actually the depth integral of concentration (normalised by the concentration at release), and the latter the concentration flux per unit ‘depth’. Consequently, any mixing present prior to overtopping has a substantial effect on the measurement, and the initial conditions used to generate these currents are likely to cause a substantial mixed layer to form. Some recent laboratory experiments have been performed by De Falco, Adduce & Maggi (Reference De Falco, Adduce and Maggi2021) and Adduce, Maggi & De Falco (Reference Adduce, Maggi and De Falco2022) using lock release of saline water propagating through fresh water and overtopping an initially distant triangular obstacle. The width-averaged density of the the flowing current is measured, as well as the position of the front and the proportion of the released fluid that is retained behind the barrier. The currents are released from a lock that occupies the full depth of the ambient; therefore the motion is strongly influenced by flow within the ambient. Evidence of this is provided from the measurement of the speed of the front, which is approximately constant and close to the predictions of two-layer hydraulic models (see Appendix B of Hogg et al. (Reference Hogg, Nasr-Azadani, Ungarish and Meiburg2016) for the analytical evaluation of the front speed in a two-layer model of slumping). The effects of the upper layer are not included in the model of overtopping developed here and this precludes comparison with this dataset.
7. Summary and conclusions
The collision of a gravity current with a barrier has been investigated using the shallow water equations, revealing the spatial and temporal dependence of the fluid confined behind the barrier, and the net volume of fluid that is transported over it following release from a lock.
These calculations have utilised a sophisticated boundary condition to model the effects of a barrier, modifying that of Cozzolino et al. (Reference Cozzolino, Cimorelli, Covelli, Morete and Pianese2014) and generalising that of Skevington & Hogg (Reference Skevington and Hogg2020). The resulting model has been explored in the case of a collision with a spatially and temporally uniform current, § 3, which is a similar flow scenario to the studies of Long (Reference Long1954, Reference Long1970) and Baines (Reference Baines1995), except that we require that the flow beyond the barrier is supercritical which yields a unique solution. In particular, we find for any uniform state adjacent to the barrier, one of six behaviours will be exhibited (figure 5): uniform supercritical overtopping (A-I); an upstream propagating bore with subcritical overtopping (A-II); an upstream propagating bore with blocked flow (A-III); a rarefaction fan with subcritical overtopping (A-IV); a rarefaction fan with blocked flow (A-V); or a rarefaction fan leaving the barrier dry (A-VI). The classification of the interaction has been extended to the case of an unsteady and spatially varying current. In particular, we analyse the transitions between them for a lock-release current. This has been carried out for barriers that are relatively close to the release (§ 4.1) and relatively distant (§ 4.2), revealing the consequences of the dynamics in the oncoming current on the overtopping.
In addition to the analytical results we presented numerical simulations in § 5. These demonstrated that, for a ‘lock-release’ flow with a specified frontal Froude number, the volume of fluid that traverses the barrier depends on the dimensionless distance from the back wall to the barrier, $L$, and the dimensionless barrier height, $B$. It was shown that, for Boussinesq currents where the reflected characteristic off the back wall quickly catches up with the front, the escaped volume is approximately a function of only $V_c \equiv BL$ for $L \geq 5$, thus for these distances the current may already be considered to approximately be in similarity form for the purposes of the collision (§ 4.2). Conversely, for a dam-break current, the escaped volume is approximately a function of only $B$ for $L \geq 5$, $B \leq 1/2$, showing that the effects of the back wall do not significantly affect the overtopping dynamics in this regime.
An important application of our results is in the design of barriers to trap fluids in the case of spillage or rupture of a container. We find that, for a Boussinesq current, a barrier that confines precisely the volume of fluid may permit $30\,\%$ of the fluid to escape. Instead, a barrier that could confine a substantial volume of quiescent fluid, perhaps 2 to 3 times the volume of released fluid, is required to contain the current. Even with such a barrier, a small portion of the fluid will still overtop, meaning that additional defences are required downstream to totally stop the current. However, in real flows mixing may be important, and in situations where the upper ambient fluid is also shallow a principal difference is expected to be the influence of the inertial and energetic processes in the upper layer. Further research is required to quantify these effects. For a dam-break current, a barrier that confines precisely the volume of the released fluid may have $60\,\%$ or more of the fluid overtop, and to contain the current a barrier of similar height to the initial release is required. In this case, we expect the effect of drag to have a non-negligible effect over the distances considered, and again further investigation is required to quantify its effect.
Our comparison with experimental and simulation data in § 6 provided support for our theoretical model, but highlighted some additional features that could be included in future models. Indeed, high quality datasets would be of very considerable value for future testing and refinement of the model. Firstly, it is believed that drag will slightly reduce the magnitude of overtopping in the range of parameters considered, and it is possible that in other regions of parameter space the magnitude of the effect could be larger; it remains to classify the effect of drag on the overtopping of both dam-break and lock-release flows. Secondly, we argued that the likely cause of the discrepancies in our comparison with experiment was the violation of the assumptions approximately length scales made in the original derivation; how best to include higher order corrections in the model? Finally, for the case of a gravity current there is the possibility that entrainment of ambient, and the inertia of the upper layer, may have an influence on and be influenced by the overtopping process. The fundamental theory presented here for the canonical, simplified problem forms a basis for these future research endeavours.
Funding
This work was supported by the EPSRC (E.W.G.S., grant number EP/M506473/1).
Declaration of interests
The authors report no conflict of interest.
Appendix A. The constant surface elevation boundary condition
In some earlier studies (e.g. Greenspan & Young Reference Greenspan and Young1978; Rottman et al. Reference Rottman, Simpson and Hunt1985), subcritical flow over a barrier is modelled on the assumption that the surface elevation is constant between the base ($x=L_1$) and the crest ($x=L_2$), along with the condition of criticality ($h = q^{2/3}$) at the crest. In these models
thus the boundary condition is
While this may appear reasonable, in fact it predicts energy generation. Indeed by (2.6b) the energy loss is required to be positive, $\Delta E_b \geq 0$, whereas the above model predicts a negative value
Here, $F_b = u_b/h_b^{1/2}$ is the local Froude number at the base of the slope, and for subcritical conditions at that location $0 < F_b < 1$.
We may ask: What boundary condition should we impose if we wish to minimise the change in surface elevation while not violating conservation of energy? That is we choose to impose
where $\Delta E_b \geq 0$ is some value to be determined so as to minimise
This is the type of problem considered in Appendix B, for a given set of initial conditions in a boundary-Riemann problem how best to choose $\Delta E_b$ to minimise $\Delta h$? By (B10) we have that ${\partial \Delta h}/{\partial \Delta E_b}>0$ (holding initial condition constant, only changing boundary values), thus the minimal drop in elevation permitted by energetic considerations is that found by imposing $\Delta E_b=0$ for subcritical outflow, as is done in this study (see § 2).
Appendix B. Results pertaining to the boundary-Riemann problem
B.1. Classification of solutions, with existence and uniqueness
Here, we discuss the classification of solutions which do not correspond to supercritical overtopping, thus $\hat {u}_i \leq \hat {h}_i^{1/2}$ or $\Delta \hat {E}_i \leq 0$ (or both), and do not contain a dry region adjacent to the boundary, thus $\hat {u}_i > -2 \hat {h}_i^{1/2}$. We explore existence and uniqueness of solutions. A priori, it is not clear whether a given initial condition $(\hat {u}_i,\hat {h}_i)$ meeting the preceding constraints will have a solution subject to applying the subcritical overtopping condition from § 2, and we may be concerned by the possibility that multiple solutions exist. In this appendix we find when a solution to subcritical overtopping exists, and demonstrate that it is unique.
For the purpose of this discussion, we define a flow state to be any solution to the shallow water system (2.1) satisfying the initial conditions (3.1a,b) irrespective of any boundary conditions. Thus there are infinitely many flow states, each being either a uniform state (3.3a), a $\beta$-fan (3.3b), or a $\beta$-shock (3.3c). For a given initial condition $(\hat {u}_i, \hat {h}_i)$ the flow states form a one parameter family, and during our discussion we will employ the following parameters one by one: $F_b \equiv \hat {u}_b / \hat {h}_b^{1/2}$, $\hat {\mu }_b \equiv \hat {u}_b - \hat {h}_b^{1/2}$ and $\hat {s} \equiv (\hat {u}_i \hat {h}_i - \hat {u}_b \hat {h}_b) / (\hat {h}_i - \hat {h}_b)$. Each parameter uniquely specifies the solution by the results in Appendix B.2, so long as they are in a regime so that the dynamics at the outflow is at most critical, thus $F_b \leq 1$, $\hat {\mu }_b \leq 0$. For $\hat {s}$, we first note that it is still a defined quantity for the case of a $\beta$-fan, although it no longer represents a shock speed. To specify a solution uniquely, we require
where
and
specify the velocity at the barrier under critical flow conditions $\hat {u}_{bc}$, the value of $\hat {u}_b$ when $\hat {u}_b=\hat {h}_b^{1/2}$: (B1b) is a consequence of $\alpha$ being constant across a $\beta$-fan; (B1c) is from the shock conditions (2.3); and (B1a) is because of (B7a).
First, we consider flow states parametrised by $F_b$, thus $\Delta \hat {E}_b$ is a function of $\hat {u}_i$, $\hat {h}_i$, $F_b$. The question as to whether there exists a flow state satisfying $\Delta \hat {E}_b = 0$ can be answered by showing that there exists an interval in $F_b$ over which $\Delta \hat {E}_b$ changes sign. Restricting ourselves to subcritical flow $0 \leq F_b \leq 1$, for $F_b = 0$ we find $\Delta \hat {E}_b = \hat {h}_b - 1$ whilst $F_b = 1$ yields $\Delta \hat {E}_b = - 1$. Thus, if the flow state with $F_b = 0$ satisfies $\hat {h}_b \geq 1$ then a solution exists to imposing $\Delta \hat {E}_b = 0$ (intermediate value theorem), this is illustrated in figure 16. We can further show the existence of a flow state with $F_b = 0$, $\hat {h}_b \geq 1$ is necessary for $\Delta \hat {E}_b=0$ to have a solution by noting that ${\partial \Delta \hat {E}_b}/{\partial F_b} < 0$ for $0 < F_b < 1$, see Appendix B.2, which also shows the solution is unique.
Next we seek to divide up the $(\hat {u}_i,\hat {h}_i)$-plane based on the type of solution found in each region. If blocked flow is imposed then $\hat {u}_i = 0$ results in a uniform state, $\hat {u}_i < 0$ a $\beta$-fan, and $\hat {u}_i > 0$ a $\beta$-shock. For subcritical outflow the situation is more complicated. If $\hat {u}_i<0$ then $\hat {u}_i \leq \hat {u}_b$ thus we have a $\beta$-fan, and if $\hat {u}_i \geq \hat {h}_i^{1/2}$ then $\hat {u}_i > \hat {u}_b$ thus we have a $\beta$-shock. For subcritical initial conditions ($0 < \hat {u}_i < \hat {h}_i^{1/2}$) we consider $\Delta \hat {E}_b$ a function of $\hat {u}_i$, $\hat {h}_i$, $\hat {\mu }_b$, from which we find that ${\partial \Delta \hat {E}_b}/{\partial \hat {\mu }_b} < 0$ for $0 < \hat {u}_b < \hat {h}_b^{1/2}$, see Appendix B.2. We take the uniform flow state and move through parameter space to the $\Delta \hat {E}_b = 0$ flow state, thus if $\Delta \hat {E}_i > 0$ then $\hat {\mu }_i < \hat {\mu }_b$ and we have a $\beta$-fan, whilst if $\Delta \hat {E}_i < 0$ then $\hat {\mu }_i > \hat {\mu }_b$ and we have a $\beta$-shock.
The final thing to check is that the dynamics derived above all occurs within the domain. That is to say, if in the above construction we inadvertently made use of a shock or fan that existed in the region $\hat {x}>0$ then the results would be invalid. To demonstrate that the dynamics is confined to $\hat {x} \leq 0$ we note that in a uniform state there is no spatial variation, and for solutions with a $\beta$-fan the fact that we enforce subcritical or blocked flow implies that $\hat {\mu }_b < 0$, thus a uniform region exists between the fan and the barrier. Therefore the only cases that require any computation are those with $\beta$-shocks. The shock speed is given by (3.3c), and because $\hat {h}_b > \hat {h}_i$ we know that the shock satisfies $\hat {s}<0$ precisely when $\hat {u}_b \hat {h}_b < \hat {u}_i \hat {h}_i$, which is clearly satisfied for the blocked case. For subcritical overtopping, when the initial condition is subcritical $\hat {u}_i \leq \hat {h}_i^{1/2}$ then, because the $\beta$-shock absorbs $\beta$-characteristics (Lax entropy), we have $\hat {s}<0$. When $\hat {u}_i > \hat {h}_i^{1/2}$ then we know $\Delta \hat {E}_i \leq 0$ or else the solution would be supercritical overtopping. Thus we can construct a flow state with $\hat {s}=0$ for which $\Delta \hat {E}_b < \Delta \hat {E}_i \leq 0$, where we have used that $[{E}]_{-}^{+}<0$ for a stationary $\beta$-shock. The flow downstream of this stationary shock is subcritical. Treating $\Delta \hat {E}_b$ a function of $\hat {u}_i$, $\hat {h}_i$, $\hat {s}$, for $0 < \hat {u} < \hat {h}^{1/2}$ we can show ${\partial \Delta \hat {E}_b}/{\partial \hat {s}}<0$, see Appendix B.2, therefore to obtain the state $\Delta \hat {E}_b = 0$ we must decrease $\hat {s}$ and thus, in the required solution, $\hat {s}<0$.
B.2. Derivatives of the energy difference at the barrier
We consider an arbitrary flow state for a given, fixed initial condition $\hat {u}_i$ $\hat {h}_i$, the flow states parametrised by the velocity at the barrier $\hat {u}_b$. This means that we can consider $\hat {h}_b$ and $\Delta \hat {E}_b$ as functions of $\hat {u}_i$, $\hat {h}_i$, $\hat {u}_b$. To start with we evaluate the derivative of $\Delta \hat {E}_b$ with respect to $\hat {u}_b$ from which we can determine its sign. By (2.6b)
where $F_b \equiv \hat {u}_b / \hat {h}_b^{1/2}.$ From here we require ${\partial \hat {h}_b}/{\partial \hat {u}_b}$. The two types of solution will be considered separately. For a $\beta$-fan we use that $\alpha$ is constant across the domain, that is
For a $\beta$-shock we can deduce from (2.3) that
where $H \equiv \hat {h}_i/\hat {h}_b$, and $0 < H \leq 1$ for a $\beta$-shock. We combine these two cases into the single expression
and $0 < K \leq 1$. The monotonicity of the relationship between $\hat {h}_b$ and $\hat {u}_b$ implies that selecting either $\hat {h}_b$ or $\hat {u}_b$ uniquely determines the other and, consequently, the flow state. From (B2) and (B3c) we obtain
where the last term in the product is strictly positive. Finally, we conclude that for a subcritical flow state $0 < \hat {u}_b < \hat {h}_b^{1/2}$, we have $0 \leq F_b < 1$, and therefore the derivative is negative.
To investigate other parametrisations of the flow state we expand ${\partial \Delta \hat {E}_b}/{\partial \hat {u}_b}$ using the chain rule, which means we require the derivative of our new parametrisation with respect to $\hat {u}_b$.
First we parametrise with $F_b$, where
thus specifying $F_b$ uniquely determines the flow state, and
which is negative for a subcritical flow state. Next we parametrise with $\hat {\mu }_b \equiv \hat {u}_b - \hat {h}_b^{1/2}$, for which
thus specifying $\hat {\mu }_b$ uniquely determines the flow state, and
which is negative for a subcritical flow state. Next we parametrise using $\hat {s}$, which for a $\beta$-shock is the shock speed. By
we find that specifying $\hat {s}$ uniquely determines the flow state, and
which is negative for a subcritical flow state. Finally we consider a parametrisation relevant to Appendix A, namely the decrease in surface elevation from the flow at the edge of the domain to the flow over the barrier, given by
Using that
is negative for subcritical flow we find that $\Delta \hat {h}$ uniquely determines subcritical outflow states, and
which is positive for a subcritical flow state.
Appendix C. Effect of perturbations on a shock
We consider a shock satisfying (2.3), and perturb the values and speed as
where $u_{0}^{\pm }$, $h_{0}^{\pm }$ and $s_{0}$ are assumed to satisfy the shock conditions exactly. Substitution of the perturbations and equating at ${O}\left ({\delta }\right )$ yields the system
Defining $\tilde {q}_0 \equiv (u_{0}^{-} - s_0) h_{0}^{-} = (u_{0}^{+} - s_0) h_{0}^{+}$, this system can be rearranged to give
In § 4.2 it is helpful to have the perturbed shock conditions in terms of the perturbations to the characteristic invariants
Substituting for our expansions of velocity and depth we obtain
thus
Therefore the expressions needed for the shock conditions are