Study of the 1D Saint-Venant Equations and Application to the Simulation of a Flood Problem ()
1. Introduction
The Saint-Venant equations are very used to describe many physical phenomena: like the runoff [1] [2], the transport of pollutants in the river [3] [4]. These equations are based on certain physical laws, namely the mass conservation and the momentum conservation [5]. Due to the recurrence of floods around the world and in particular in arid countries, we use these equations to study this phenomenon of floods.
Inspired by the hyperbolic nature of the Saint-Venant equations, we establish an existence result of weak solution using the Rankine-Hugoniot relation. To do this, we subdivide the domain into two parts and we first prove the existence on each part. Then, the existence in the whole domain is obtained if we have at the interface separating the two subdomains: the equality between the jump of the continuous flux and the jump of conservative variables.
The paper is organised as follows. In Section 2 we make a brief presentation of the Saint-Venant equations. Section 3 is devoted to showing the existence of a weak solution of Saint-Venant equations. In Section 4, the numerical solution is computed by the finite volume methods where the discrete flux is obtained by the Rusanov scheme and the topography term is processed by the hydrostatic reconstruction method combined with the well-balanced scheme. This scheme preserves the positivity of the height. Finally, Section 5 is intended for the numerical simulation of the flood phenomenon on a domain with not completely flat topography.
2. Continuous Problem
The Saint-Venant equations derive from the Navier-Stokes equations by performing an average operation along the vertical, the hydrostatic and the impermeability assumptions [6]. The mathematical model relates the fluid height h and the flow velocity u. In one-dimensional they are given by:
(1)
where g is the gravity, z the bottom topography. This hyperbolic system can be rewritten into the form:
(2)
with
,
,
and
the momentum.
3. Weak Solution of the Saint-Venant 1D System
The system (2) being hyperbolic, we will show the existence of a weak solution of the Saint-Venant equations with
. For this aim we use the mathematical analysis of hyperbolic partials differentials equations [7]:
(3)
with Dirichlet boundary conditions.
Definition 1. Let
and
.
A weak solution of (3) is a function
such as:
(4)
for all
a continuous derivable function with compact support on
Proposition 1. Let D be an operator in time or space, then we have:
(5)
Theorem 2. Let assume the curve
where
.
partitions an open domain
into two subdomains:
and
, given by:
A function
is a weak solution of (3) if and only if
where
and
.
Proof. Let
be a weak solution of the problem (2) with
, then we have:
(6)
. By choosing
such as
, we obtain:
. An integration by part in
, giving:
being arbitrary we deduce:
This proves that U is solution in
.
Similarly we prove that
is solution in
.
Let us now consider:
in
;
in
and
such as
Performing the integration on
, we have:
Let us set:
We begin with I
So by Proposition 1, with
we get:
Finally we obtain:
By the same calculations we have:
The summation of I and J implies:
For the reciprocal, it is sufficient to do the same calculations in the opposite direction.
4. Numerical Resolution
The numerical discretization of the system (2) is done by using the finite volume method [8], so let us consider a finite volume mesh: with mean a union of
disjoint intervals
of size
, centered at
,
. Let us denote
the time stepsize and
the approximation of the cell average of the exact solution
at time
.
The finite volume method consists to integrate the system on
, which gives:
(7)
where
and
It remains now to compute the interfacial flux
,
and also evaluate the discrete source term.
4.1. Flux Approximation
Several methods exist in literature to approximate the flux, in the present work, we use the simpler and thus more popular: the Rusanov flux [9]. It is a generalization of Lax-Friedrich flux [10]. Let us note
and
the data in the two neighborring cells, then the Rusanov flux is given by:
(8)
where the Rusanov speed c is given by:
and
are eigenvalues of the matrix:
one obtains:
and
Remark 1. The time step discretization
, must verify the condition:
where c is the maximum wave velocity obtained by calculating the maximum eigenvalue of the local Jacobian matrix of the cell.
4.2. Traitement of the Bottom Topography
The well-balanced method is based on the hydrostatic reconstruction method [11] [12] [13], which consists of decentering the source term at the interfaces. These schemes have the advantage to preserve the equilibrium of the fluid, which means that the height and the velocity being constant in time. Using this property we obtain the relation:
called hydrostatic equilibrium.
Applying the differentiation rule, we show that
is constant. The hydrostatic reconstruction method is based on the idea that near the equilibrium, the flows are almost hydrostatic.
The reconstructed water heights on either side of the interfaces adjust to satisfy equation:
(9)
Integrating on a cell we obtain a following discretization of the source term:
where
and
with
is the topography at the interface gives by:
.
Finally the discrete system (7) becomes:
(10)
where
is given by:
with:
;
.
5. Numerical Results
As real numerical test application, we apply the proposed numerical resolution to observe the flow of water at the free surface on a ground having the form given in Figure 1.
The water flows from the zone (A) with an imposed discharge towards the zone (B) with a blockade at the end.
The bottom topography is given by:
with initial condition given by:
and
. The numerical tests are performed on a domain
, subdivided into 150 cells.
The objective of this simulation is to measure the risk of flooding in urban environment with non-flat topography with a high rainfall without taking into account the rate of the infiltration. For that, we had imposed a very important flow of water upstream and a closure downstream. The question here is: how long will the water take to invade zone (B)?
In Figures 2-5: the water has submerged progressively the hump and the hollow but not completely the zone B. In Figures 6-8 we see a start of water return due to the blockade. In Figures 9-15 the water continues to flood zone B and we observe two ridges on the surface due to the meeting between the two waves: one coming from zone A and the other from zone B. In Figure 16 and Figure 17 we see that the water has completely flooded the zone B at
.
6. Conclusions
The present work concerns the mathematical study of the flooding phenomenon in areas with variable topography. As a model we use the Saint-Venant equations, thus:
• We have proved the existence of a weak solution using a geometric argument.
• We point out through numerical simulations that the water first invades the hollow areas and then floods the areas with elevations.
• Our approach allows us to predict the necessary time for the water to invade a residential area, which is important for countries where constructions are made on not completely leveled grounds.
Acknowledgements
The authors thank the anonymous referees who provided valuable comments resulting in improvements in this paper. This work is supported by The World Academy of Science under grant: 18-047-RG/MATHS/AF/AC_I. The authors declare no conflicts of interest regarding the publication of this paper.
Notations
The support of the function f in
is
.
is the space of continuous functions with compact support in
.
is the space of functions k-th continuously differentiable in
.
.
.
.
.