On the Existence of Global Weak Solutions to 1D Sediment Transport Model ()
1. Introduction
In this paper, we study the existence of global weak solutions of one-dimensional sediment transport model. This work takes its inspiration from the work done in [1]. It should be noted that the author showed the stability of the weak solutions of a sediment transport model. The model presented is given on one dimension by the following equations:
(1)
(2)
(3)
where h, zb, u represent respectively, the water, the sediment heights and the water velocity. The constant
is the gravity number and
the kinematic viscovity. The discharge for the solid transport used by the author is:
where
and
are the real numbers satisfying:
In theory, the equation that describes sediment transport is a continuity equation. The expression of the conservation sediment volume equation is given by:
(4)
where
and
is the porosity of the sediment layer,
is the
movable bed thickness and
is the solid transport discharge (see [2] ). In literature, many mathematical models describing the sediment transport with different expressions from solid transport discharge have been the subject of several studies (see [2] [3] ). Among all these models, the best one to describe the solid discharge is given by the form:
(see [4] ).
Let us next recall some results on the existence of solutions of the one-dimensional Navier Stokes equations and viscous sedimentation models.
In [5], the author proved the existence of global weak solutions for 2D viscous Shallow Water equations and convergence to quasi-geotrophic model. In the paper, the authors shown the control of the vaccum thanks to an entropy named BD-entropy, which was introduced firstly in [6]. We note that the authors in [7] [8] have used this BD-entropy to get existence result of global weak solutions for Shallow-Water and viscous compressible Navier-Stokes equations. We have used this entropy in our work.
The authors in [9] have proved a result of global strong solution to the Navier-Stokes system with degenerate viscosity coefficient. This work has been developed in [10].
We integrate their ideas to limit the water height.
In [11], the authors show the existence of global weak solution for pollutant transport model; to have their result, the authors make a technical hypothesis on the pollutant layer and water layer in the form
(5)
where
represent respectively the pollutant and the water height.
The model studied in [11] comes from the form:
(6)
with
(7)
where
represent respectively, the water and the pollutant heights,
is the water velocity,
and
are the densities of each layer of fluid; the ratio
of densities is denoted
,
is the kinematic viscosity,
the pressure
of the pollutant layer and g is the constant gravity. The coefficients
,
,
,
, are respectively the coefficients of the intrefaz tension, friction at the bottom, quadratic friction and friction at the interfaz.
From a mathematical point of view, the momentum equation of the studied model is similar to this model except that does not take into account the laminar
and quadratic friction terms (
and
) and the intefaz tension term (
). And these terms have been instrumental in showing the strong convergence of
in [11].
In this paper, we investigate the following regularized model with better transport equation:
(8)
(9)
(10)
where
.
We introduce the ratio of densities by r, we note
and we assume that
and
, there exist
such that
. (11)
The two Equations ((8), (9)) form the hydrodynamic component that is modeled by the equations of shallow water that are used to study fluid movement. The last two terms in (9) are terms of exchange that are obtained by derivation (see [12] ). The morphodynamic component is shaped by a sediment transport Equation (10).
In our paper, we make a similar hypothesis assuming that
(12)
This condition implies that the thickness of the sediment layer is small compared to that of the fluid. It will allow us to recover the BD entropy.
In this work, our contribution from the mathematical point of view is on the one hand to show the existence of weak solutions of a sediment transport model without regularizing terms (friction terms and tension terms), which the authors in [11] have resorted to have a result of the existence of weak global solutions of pollutant transport model. On the other hand this paper means the result of stability in [1] or we consider one-dimensional regularized sediment transport model using a better transport equation than the one used in [1].
Our paper is organized as follows. First of all, we give in the Section 2 the definition of global weak solutions. Secondly, we establish a classical energy associated to our model, which give some regularities on the unknowns. Thirdly, we give some results allowing us to limit inferiorly the height of water which is very fundamental for the continuation since this limit study gives us additional regularities on the unknowns. Fourthly, we give an existence theorem of global weak solutions. And finally, we give the proof of the energy associated to the model and existence theorem including the limits passage in the Section 3.
2. Mains Results
We start this section by giving the initial conditions of model and the definition of weak solutions to (8)-(10).
(13)
(14)
Definition 2.1. We say that
is a weak solution of (8)-(10), with initial data (13), (14) verifying the entropy inequality (18); if for all smooth test functions
with
, we have:
(15)
(16)
(17)
Proposition 2.1. For
smooth solution of the system (8)-(10) with boundary conditions (13)-(14), we show the following relation:
(18)
Corollary 2.1 Let
be a solution of model (8)-(9). Then, thanks to Proposition 2.1 we have:
is bounded in
,
is bounded in
,
h is bounded in
, zb is bounded in
,
is bounded in
,
is bounded in
,
is bounded in
,
is bounded in
,
is bounded in
.
Remark 2.1 Thanks to the Corollary 2.1, we have
h is bounded in
,
is bounded in
,
which implies that h is bounded in
. According the Sobelev embeddings, we have:
h is bounded in
.
We deduce when there exists constant
such as:
Corollary 2.2. (see [9] )
There exists a constant
such as
(19)
Thanks to the Remark 2.1 and the Corollary 2.1, we have the following additional regularities:
Corollary 2.3. Let
be a solution of model (8)-(10).
Then, thanks to Corollary 2.1, Corollary 2.2 and sobelev injections, we have:
h is bounded in
, zb is bounded in
,
u is bounded in
,
is bounded in
,
hu is bounded in
,
is bounded in
.
We need the following three lemma for proof of the above Proposition 2.1.
Lemma 2.1. (Energy equality) Let
be a smooth solution of (8)-(10). Then the following equality holds
(20)
Lemma 2.2. If
is a smooth solution of (8)-(10), the following equality holds:
(21)
Lemma 2.3. (BD-entropy) For smooth solutions
of (8)-(10), we have the following equality:
(22)
Theorem 2.1. There exists global weak solutions to the system (8)-(10) with initial data (13), (14) and satisfying energy inequality (18).
3. Proof of the Energies Inequalities and Theorem 2.1
3.1. Proof of Proposition 2.1
Proof. Lemma 2.1
First, we multiply the momentum equation by u and we integrate from 0 to 1.
(23)
We use the mass conservation equation of (8) for simplification. Then, we obtain:
·
·
·
·
Substituting all these terms we find
(24)
Next we simplify to have the proclaimed equality.
Proof. Lemma 2.2
Using again the equation (8) to find
Replacing
by
, we have:
We multiply the previous equation by
to have:
(25)
Let us multiply the momentum equation by
and simplify to have:
(26)
We multiply the Equation (25) by
add to the Equation (26) and integrate to have
We use the mass equation to rewrite:
as
So we have:
Proof. Lemma 2.3
We multiply the Equation (21) by
, to have
(27)
We add to the right and left of the Equation (27) the term
to have the proclaimed inequality.
To complete the proof of the Proposition 2.1, we sum up the tow energies of the Lemma 2.1 and Lemma 2.3 and we use the inequality
to have the proclaimed result.
3.2. Proof of Theorem 2.1
This section is devoted to the prove of Theorem 2.1. Let
be a sequence of weak solutions with initial data
such that
and satisfies
Such approximate solutions can be built by a regularization of capillary effect.
3.2.1. Strong Convergence of
,
and
We first give the spaces in which
is bounded.
Integrating the mass equation, we obtain directly
in
.
As Corollary 2.3 gives us
in
, so
is bounded in
. (28)
Moreover, always using the mass equation, we obtain the following equality:
which gives that
is bounded in
.
Applying Aubin-Simon lemma ( [13] [14] ), we can extract a subsequence, still denoted
, such that
strongly converges to
in
.
According to the Corollary 2.2, we show that
This ensures that
strongly converges to h in
.
We have
. Moreover, we have
.
We have
and
, so
, according to the Sobolev embeddings, we show that the first term is in
. By analogy we prove that the last term is in the same space and we also get
in this space. Thanks to the Aubin-Simon lemma, we find:
strongly converges to
in
.
3.2.2. Strong Convergence of
and
We have
that’s bounded in
and
that’s bounded in
, What gives us
is bounded in
.
Let’s look now
. We have:
basing on the estimates obtained on
in Corollary 2.3, we get:
bounded in
.
Moreover, the momentum Equation (9) enables us to write the time derivation of the water discharge:
we then study each term:
·
which is in
.
· as
is in
, and
is in
and we can write the following relation:
is bounded in
.
·
is bounded in
.
· The last three terms are bounded in
.
Then, applying Aubin-Simon lemma, we obtain,
stongly converges to
in
.
3.2.3. Strong Convergence of
,
and
Thanks to Corollary 2.3 and Corollary 2.2, we have
, in bounded in
and
is bounded in
. In order to obtain new estimates on
, we are going to control the right hand side of the following equation:
Thanks to the estimates obtained on
,
and
, all the terms to the right of equality except the last term are in
.
On the other hand,
is bounded in
, this leads us to
is bounded
Aubin Simon’s lemma leads us to the following result:
strongly converges to u in
.
However, the function
is a continuous in
to
.
So,
weakly converges to
in
.
Thanks to the Corollary 2.2, we say that it exists constants
and
such as
.
For all constant
, we have the following norm:
So,
strongly converges to
in
.
3.2.4. Strong Convergence of
,
,
,
and
· We have
bounded in
and
is bounded in
since
is bounded in
. Thanks to compact injection of
in
in one dimension, we have:
strongly converges to
in
· The bound of
in
gives us:
weakly converges to
in
.
· Thanks to the strong convergence of
,
,
, we have:
strongly converges to
in
,
strongly converges to
in
,
strongly converges to
in
,
strongly converges to
in
.
To end we have
weakly converges to u in
and the strong convergence of
to
, gives us:
weakly converges to
in
.
4. Conclusion
This paper extends from a mathematical point of view the work done in [11], or the authors showed a result of the existence of global weak solutions of a pollutant transport model using regularizing terms such as (the friction terms, tension term). Moreover, the work done in this article takes inspiration from the work done in [1], or we show the existence of global weak solutions of a one-dimensional sediment transport model with regularizing terms (exchange terms) and physical hypothesis, without the regularizing terms used in [11] considering a better transport equation than that used in [1]. In our future work, we will work to remove the physical hypothesis, regularizing terms and focus on results of the existence of strong solutions.