Linear Mean Estimates for the 3D Non-Autonomous Brinkman-Forchheimer-Extended-Darcy Equations with Singularly Oscillating Forces ()
1. Introduction
Let
be a fixed parameter,
is a bounded domain, and the boundary
is smooth. We study the 3D Non-autonomous Linearization Brinkman-Forchheimer-extended-Darcy Equations with singularly oscillating forces in
[1] [2] [3]:
(1.1)
where
,
,
,
,
is the kinematic viscosity coefficient of the fluid, unknown function
represents the velocity vector field of the fluid,
indicates pressure. Note that when
, Equation (1.1) is a Navier-Stokes equation with singular oscillatory force.
Combined with Equation (1.1), we study the following averaged Brinkman-Forchheimer-extended-Darcy equation (corresponding to the limit case
):
(1.2)
Recording function
(1.3)
Function
,
, and
is the translation bounded function in
, that is, there are two constants
, making the following formula true:
Define that
(1.4)
Then,
can be obtained directly from (1.3). Note that when
, the order of magnitude of
is
.
Let’s introduce the following function space [4] [5]
Here
represents the closure in space X, obviously, H, V are separable Hilbert spaces, so that
is the dual space of H,
is the dual space of V, then
↪
↪
, the embedding is continuous and dense, and
represents the dual set between V and
. For H, V has the following inner product and norm respectively:
Denoted by
represents the norm in
,
represents the norm in Banach space X. For
,
, define the set of functions
on
in X so that
holds. The letter C indicates a positive constant independent of the initial time.
The purpose of this paper is to prove the existence and uniqueness of the solution of the three-dimensional non-autonomous linearized Brinkman-Forchheimer-extended-Darcy equation with singular oscillatory force, and derive some estimates, and obtain the convergence of the corresponding equation compared with the average equation.
2. Main Results and Proof
The first and second equations of (1.1) can be written in the following form:
(2.1)
where
is the Stokes operator and P is the Leray orthogonal projection from
to H;
. Define
;
as a bilinear operator,
,
The following proves the existence and uniqueness of global solutions of Equation (2.1).
Theorem 2.1. Suppose
translational compactness,
, any given
, there is a unique strong solution u for the initial boundary value problem of Equation (2.1),
and
Proof. We use Galerkin approximation to prove this theorem. Due to the space V is separable and space
is dense in space V, there is a sequence
composed of elements in space
which is free and completely belongs to space V. For any m, we define the following approximate solution:
make the following formula true
where
,
, and in space
,
as
. Multiply both sides of the above equation by
at the same time and sum
:
namely
for any
, there are
. The above equation can be obtained by integrating on
:
(2.2)
From the above formula, it is easy to obtain the existence by using the proof method similar to the Navier-Stokes equation with damping [6].
Now prove a priori estimate. Multiply both ends of Equation (2.1) by
, and then integrate on
:
adding the two formulas and applying Hölder inequality and Young inequality, we can deduce
therefore
integrate on 0 to T
The uniqueness is proved below. Assuming that under the same initial conditions, because of Divergence free, Equation (2.1) has two strong solutions
,
satisfies
(2.3)
(2.4)
where
,
. Subtracting (2.4) from (2.3) and
letting
, it can be obtained
(2.5)
where we use
,
,
. Then we use Hölder inequality and Sobolev inequality
Similarly, we can get the estimate of
. Substitute the estimate
into
the inequality (2.4), select
, it can be obtained
(2.6)
Note that from the Gagliardo-Nirenberg inequality and a priori estimation, we can derive:
(2.7)
using
instead of u in (2.7) also applies to the above estimation. In Equation (2.6), we have a limit on
making
establish, namely
, similarly, we limit
. Substitute (2.7) into (2.6) and apply Gronwall inequality, it can be obtained that under the restriction of the above formula, for almost everywhere
, there are
. Theorem 2.1 proved. □
Next we consider the auxiliary linear equation of Equation (2.1):
(2.8)
we get the following theorem.
Theorem 2.2. Suppose
, then the problem (2.8) has a unique strong solution:
and for
, the following inequality is satisfied:
(2.9)
(2.10)
Proof. First, the inner product of Equation (2.8) and Y can be obtained:
namely
integrate the above formula on
, and then use Poincaré inequality:
namely
take Equation (2.8) and
as inner product to obtain:
thus, it can be obtained:
apply Gronwall inequality to the above formula in the interval
:
therefore, the existence of solutions can be deduced by Galerkin approximation method. Theorem 2.2 is proved. □
Let
,
, next, we prove that the solution of the linear equation of singular oscillatory force converges to the solution of the average equation.
Theorem 2.3. Let
, suppose there is a constant
satisfying
(2.11)
then the solution
of the linear equation with singular oscillation force
(2.12)
with
, for
, satisfy the following inequality
where
and not related to K.
Proof. The proof of this theorem is similar to literature [7], for the convenience of readers, a summary of the proof is given here. Firstly
then the following estimate of
can be derived from Equation (2.11):
and
from Theorem 2.2, we can deduce that:
(2.13)
therefore, by (2.9), (2.10), (2.13) and Poincaré inequality we can know:
(2.14)
Equation (2.12) integrates time from 0 to t,
,
. It can be derived from (2.14):
Theorem 2.3 proved. □