Skip to content

Advertisement

  • Research
  • Open Access

On the well-posedness of generalized Darcy–Forchheimer equation

  • 1Email author,
  • 1 and
  • 1
Boundary Value Problems20182018:123

https://doi.org/10.1186/s13661-018-1043-6

  • Received: 11 June 2018
  • Accepted: 26 July 2018
  • Published:

Abstract

Under the necessary compatibility condition and some mild regularity assumptions on the interior and the boundary data, we prove the existence, uniqueness, and stability of solution in \([L^{m+1}(\Omega )]^{d}\times(W^{1, \frac{m+1}{m}}(\Omega)\cap L^{2}_{0}(\Omega))\) for a generalized Darcy–Forchheimer model, governing a non-Darcy flows in porous media with dimension \(d=2, 3\) and \(m\in(1, 2]\).

Keywords

  • Porous media
  • Darcy–Forchheimer
  • Monotone-type
  • Existence
  • Stability

1 Introduction

The applications of nonlinear differential equations are seen in many fields (see [14]). In the field of fluid dynamics, the nonlinear correction to Darcy’s law has been an active area of research for many years. Theoretical, experimental, and numerical analyses [57] have been performed to ascertain the exact form and magnitude of the nonlinearity effect. However, until now, no single correction seems to be acceptable by all (see [7]). Non-Darcy effects are prevalent in fluid transport through porous media, especially for high velocity flows [8, 9]. Worthy of note includes Darcy–Forchheimer which serves as a mathematical model for many high velocity flows in porous media, most especially for gas reservoirs and hydrodynamic flows [1012]. The generalized nonlinear Darcy–Forchheimer equation takes the form
$$ G(\rho, \boldsymbol{u})+ \nabla p=\boldsymbol{f} \quad\mbox{in } \Omega. $$
(1)
In (1), p is the pressure, u and ρ are the velocity and density of the fluid, respectively, f is a vector function, usually the gradient of the depth function. Different forms of (1) have been considered by several researchers, see, for example, [1015]. Forchheimer in his work [5] established three empirical nonlinear formulas: \(-\nabla p= \alpha\boldsymbol{v}+\beta|\boldsymbol{v}|\boldsymbol{v}\), \(-\nabla p= \alpha\boldsymbol{v}+ \beta|\boldsymbol{v}|\boldsymbol{v} + \gamma|\boldsymbol{v}|^{2}\boldsymbol{v}\), and \(-\nabla p= \alpha \boldsymbol{v}+ \beta|\boldsymbol{v}|^{m-1}\boldsymbol{v}\), \(m\in (1, 2)\), to account for the inadequacies of Darcy law with α, β, and γ empirical constants deduced from experimental data. The model of interest in this article is the following generalized flow law:
$$ \frac{\mu}{\rho}{\boldsymbol {K}}^{-1}{\boldsymbol {u}}+ \frac{\beta}{\rho } \vert {\boldsymbol {u}} \vert ^{m-1}{\boldsymbol {u}}+ \nabla p={\boldsymbol {f}}\quad \mbox{in } \Omega,~m\in(1, 2], $$
(2)
where Ω is an open bounded domain of \(\mathbb{R}^{d}\) \((d=2 \mbox{ or } 3)\) with a Lipschitz boundary Γ, \(\boldsymbol{u}:\Omega\longrightarrow\mathbb{R}^{d}\) and \(p: \Omega \longrightarrow\mathbb{R}\) denote the unknown velocity vector and scalar pressure field, respectively, and f is a given function. The permeability tensor is assumed to be uniformly positive definite and bounded, while the parameters μ, ρ, and β are assumed to be constants. We denote by \(|\cdot|\) the Euclidean norm such that \(|\boldsymbol{u}|^{m-1}=(\boldsymbol {u}\cdot\boldsymbol{u})^{\frac{m-1}{2}}\). For \(m=2\), Equation (2) reduces to the classical Darcy–Forchheimer law [5, 16, 17].
We solve (2) subject to the following conditions:
$$ \operatorname{\mathbf{div}}\boldsymbol{u} = b \quad\mbox{in } \Omega\quad \mbox{and}\quad { \boldsymbol {u}}\cdot{\boldsymbol {n}} = g \quad\mbox{on } \Gamma. $$
(3)
In (3), b and g are the interior and boundary data, respectively, satisfying the compatibility condition
$$ \int_{\Omega}b(x)\,dx= \int_{\Gamma}g(\sigma)\,d\sigma . $$
(4)
Equation (2)–(4) is a reliable model for describing a single-phase strong inertia flow [18, 19] in simple and complex porous media.

In this article, we establish the well-posedness of (2)–(4). Our technique of proof is similar to the one in [20] with some necessary modifications due to the nature of the nonlinear term. We now state our main result, which will be proved by a combination of classical arguments for saddle point problems [21, 22] and monotone nonlinear elliptic problems [23, 24].

Theorem 1.1

Provided \(b\in L^{\frac{d(m+1)}{d+(m+1)}}(\Omega)\) and \(g\in L^{\frac {(d-1)(m+1)}{d}}(\Gamma)\) satisfy (4), Problem (2)(4) has a unique solution \((\boldsymbol{u},p)\), with \(\boldsymbol {u}\in[L^{m+1}(\Omega)]^{d}\) and \(p\in W^{1,\frac{m+1}{m}}(\Omega)\cap L^{2}_{0}(\Omega)\).

The remainder of the article is organized as follows: Some preliminaries are presented in Sect. 2. The variational formulation will be given in Sect. 3. We prove the existence and uniqueness of solution in Sect. 4, while the stability is established in Sect. 5.

2 Preliminaries

This section is devoted to recalling some notations, definitions, and some classical results. Let Ω be a measurable subset of \(\mathbb{R}^{d}\),
$$L^{p}(\Omega)= \biggl\lbrace u:\Omega\longrightarrow\mathbb{R} \text{ is measurable and } \int_{\Omega} \vert u \vert ^{p}\,dx < \infty,1\leq p< \infty\biggr\rbrace . $$
The \(L^{p}\) norm of a function f is given by
$$\Vert u \Vert _{L^{p}(\Omega)}= \biggl( \int_{\Omega} \vert u \vert ^{p} \biggr) ^{\frac{1}{p}}. $$
For a given domain Ω and for any \(k\in\mathbb{N}\), let \(\|\cdot \|_{W^{k,p}(\Omega)}\) and \(|\cdot|_{W^{k,p}(\Omega)}\), \(1\leq p<\infty \), be the norm and semi-norm, respectively, on the standard Sobolev space \(W^{k,p}(\Omega)\) (see [25]). For a vector-valued function \(\boldsymbol{v} =(v_{1},v_{2},\ldots,v_{d}) \in[W^{k,p}(\Omega )]^{d}\), the norm
$$ \Vert \boldsymbol{v} \Vert _{[{W^{k,p}}(\Omega)]^{d}}= \Biggl( \sum _{i=1}^{d} \Vert \boldsymbol{v}_{i} \Vert _{W^{k,p}(\Omega)}^{p} \Biggr) ^{\frac{1}{p}}. $$
(5)
Similarly, the semi-norm is given by
$$ \vert \boldsymbol{v} \vert _{[{W^{k,p}}(\Omega)]^{d}}= \Biggl( \sum _{i=1}^{d} \vert \boldsymbol{v}_{i} \vert _{{W^{k,p}}(\Omega)}^{p} \Biggr) ^{\frac{1}{p}}. $$
(6)
Note that \(\|\cdot\|_{[W^{k,p}(\Omega)]^{d}}\) reduces to \(\|\cdot\| _{[L^{p}(\Omega)]^{d}}\) when \(k=0\).
The following inequalities will be useful in our calculations and can be found in [24, 25]:
$$\begin{aligned} &(a+b)^{p} \leq2^{p-1}\bigl(a^{p}+b^{p} \bigr), \quad\forall a, b\in[0,\infty), p\in(1, \infty), \end{aligned}$$
(7)
$$\begin{aligned} & ab\leq\frac{a^{p}}{p}+\frac{b^{q}}{q},\quad a,~b\in[0,\infty),\qquad \frac {1}{p}+\frac{1}{q}=1,\quad p,~q\in(0,\infty). \end{aligned}$$
(8)

Lemma 2.1

([26])

Let \((X,\|\cdot\|_{X})\) and \((M, \|\cdot\|_{M})\) be two reflexive Banach spaces. Let \((X^{*}, \|\cdot\|_{X^{*}})\), \((M^{*}, \|\cdot\|_{M^{*}})\) be their corresponding duals. Let \(\mathcal{B}\): \(X\longrightarrow M^{*} \) be a linear continuous operator and \(\mathcal{B}^{*}: M\longrightarrow X^{*}\) be the dual of \(\mathcal{B}\). Let \(V= \operatorname{ker}(\mathcal{B})\) be a kernel of \(\mathcal{B}\). Denote by \(V^{0}\subset X\) the polar subspace of V, \(V^{0}= \lbrace x^{*}\in X^{*} |\langle x^{*}, v\rangle=0, \forall v\in X \rbrace\) and \(\dot{\mathcal{B}}:X/V\longrightarrow M^{*}\) the quotient operator associated with \(\mathcal{B}\). Then the following properties are equivalent:
  1. (i)
    There exists a constant \(\alpha>0\) such that
    $$ \inf_{q\in M \setminus\lbrace0 \rbrace}\sup_{u\in X \setminus\lbrace0 \rbrace} \frac{\langle\mathcal{B}u, q\rangle}{ \Vert q \Vert _{M} \Vert u \Vert _{X}}\geq\alpha; $$
    (9)
     
  2. (ii)
    \(\mathcal{B}^{*}\) is an isomorphism from M onto \(V^{0}\) and
    $$ \bigl\Vert \mathcal{B}^{*}q \bigr\Vert _{X^{*}}\geq\alpha \Vert q \Vert _{M},\quad \forall q\in M; $$
    (10)
     
  3. (iii)
    \(\dot{\mathcal{B}}\) is an isomorphism from \(X/V\) onto \(M^{*}\) and
    $$ \Vert \dot{M}\dot{u} \Vert _{M^{*}}\geq\alpha \Vert \dot{u} \Vert _{X/V}, \quad \forall\dot{u}\in X/V. $$
    (11)
     

3 Variational formulation

We define the following spaces:
$$\begin{aligned} &L^{2}_{0}(\Omega) = \biggl\lbrace v: v\in L^{2}(\Omega), \int_{\Omega}v(x)\,dx=0 \biggr\rbrace , \\ &X = \bigl[L^{m+1}(\Omega)\bigr]^{d}, \\ &M = W^{1, \frac{m+1}{m}}(\Omega)\cap L^{2}_{0}(\Omega). \end{aligned}$$
The zero mean condition is required to guarantee the uniqueness of the pressure p. We consider the following variational formulation:
For any \(\boldsymbol{f}\in X^{*}\), find a pair of functions \((\boldsymbol {u}, p)\in X\times M\) such that
$$\begin{aligned} & \frac{\mu}{\rho} \int_{\Omega}\bigl(K^{-1}\boldsymbol{u}\bigr)\cdot \boldsymbol{\varphi}\,dx+ \frac{\beta}{\rho} \int_{\Omega }\boldsymbol{ \vert u \vert }^{m-1} \boldsymbol{u}\cdot\boldsymbol{\varphi}\,d\boldsymbol{x}+ \int_{\Omega}\nabla p\cdot\boldsymbol{\varphi}\,d\boldsymbol{x}= \int_{\Omega}\boldsymbol{f}\cdot\boldsymbol{\varphi}\,d \boldsymbol{x}, \end{aligned}$$
(12)
$$\begin{aligned} &\int_{\Omega}\nabla q\cdot\boldsymbol{u}\,d\boldsymbol{x}=- \int_{\Omega}bq\,\boldsymbol {d}{x} + \int_{\Gamma}gq\,\boldsymbol {d}{\sigma}, \end{aligned}$$
(13)
\(\forall\boldsymbol{\varphi}\in X\), \(\forall q\in M\), with \(b\in L^{\frac{d(m+1)}{d+(m+1)}}(\Omega)\) and \(g\in L^{\frac {(d-1)(m+1)}{d}}(\Gamma)\) satisfying (4).
Problems (12)–(13) and (2)–(4) are equivalent. To see this, we multiply equation (2) by \(\boldsymbol {\varphi}\in X\) and integrate over Ω. We then apply the conditions in equation (3) to the Green’s formula (14):
$$ \int_{\Omega}\boldsymbol{v}\cdot\nabla q\,d\boldsymbol{x}=- \int_{\Omega}q \operatorname{\mathbf{div}}\boldsymbol{v}\,d\boldsymbol{x}+ \langle q, \boldsymbol{v}\cdot n\rangle _{\Gamma}, \quad \forall q\in M, \forall\boldsymbol {v}\in H, $$
(14)
with
$$H= \bigl\lbrace \boldsymbol{v}\in\bigl[L^{m+1}(\Omega) \bigr]^{d}; \operatorname{\mathbf{div}} \boldsymbol{v}\in L^{\frac{d(m+1)}{d+(m+1)}}(\Omega) \bigr\rbrace . $$
Define the following operators:
$$\begin{aligned} &\mathcal{A}:X\rightarrow X^{*},\quad \bigl\langle \mathcal {A}(\boldsymbol {u}),\boldsymbol{\varphi}\bigr\rangle _{X^{*}\times X}:= a(\boldsymbol{u}, \boldsymbol{\varphi}),\quad \forall\boldsymbol{\varphi}\in X, \\ &\boldsymbol{B}: X\rightarrow M^{*},\quad \langle\boldsymbol{B}\boldsymbol{u},q \rangle_{M^{*}\times M}:=b(\boldsymbol{u},q),\quad q\in M, \\ &\boldsymbol{B}^{*}: M\rightarrow X^{*},\quad \bigl\langle \boldsymbol{B}^{*}(p), \boldsymbol{\varphi}\bigr\rangle _{X^{*} \times X}:=b(\boldsymbol{\varphi }, p),\quad \boldsymbol{\varphi}\in X. \end{aligned}$$
With these operators, an equivalent form of (12)–(13) is as follows:
Given \((\boldsymbol{f},g)\in X^{*} \times M^{*}\), we want to find a pair \((\boldsymbol{u}, p)\in X\times M \) such that
$$ \textstyle\begin{cases} a(\boldsymbol{u}, \boldsymbol{\varphi}) + b(\boldsymbol{\varphi}, p) =\langle\boldsymbol{f}, \boldsymbol{\varphi}\rangle_{X^{*},X},& \forall \boldsymbol{\varphi}\in X,\\ b(\boldsymbol{u}, q )= \langle g, q\rangle_{M^{*}\times M}, &\forall q\in M. \end{cases} $$
(15)
Problem (15) can also be rewritten as
$$ \textstyle\begin{cases} \mathcal{A}(\boldsymbol{u}) + \boldsymbol{B}^{*}(p)=\boldsymbol{f} & \text{in } X^{*},\\ \boldsymbol{B}u=g & \text{in } M^{*}, \end{cases} $$
(16)
where
$$\begin{aligned} &\mathcal{A}(\boldsymbol{u})=\frac{\mu}{\rho}\boldsymbol{K}^{-1} \boldsymbol{u}+ \frac{\beta}{\rho} \vert \boldsymbol{u} \vert ^{m-1} \boldsymbol{u}, \end{aligned}$$
(17)
$$\begin{aligned} &\langle\boldsymbol{B}\boldsymbol{u}, q \rangle= \int_{\Omega}\nabla q\cdot\boldsymbol{u}\,d\boldsymbol{x}, \end{aligned}$$
(18)
$$\begin{aligned} &\bigl\langle \boldsymbol{B}^{*}(p), \boldsymbol{u}\bigr\rangle = \int_{\Omega}\nabla p\cdot\boldsymbol{u}\,d\boldsymbol{x}, \end{aligned}$$
(19)
$$\begin{aligned} &F(q)=\langle g, q\rangle_{M^{*}\times M}=- \int_{\Omega }bq\,\boldsymbol {d}{x} + \int_{\Gamma}gq\,\boldsymbol {d}{\sigma}. \end{aligned}$$
(20)
In the sequel, Problems (15) and (16) are used interchangeably just for convenience.

Lemma 3.1

The following inf-sup condition holds:
$$ \inf_{q\in M\setminus\lbrace0 \rbrace } \sup_{\boldsymbol{u}\in X\setminus\lbrace0 \rbrace}\frac{b(\boldsymbol{u},q)}{ \Vert q \Vert _{M} \Vert \boldsymbol{u} \Vert _{X}}=1. $$
(21)

Proof

By representation of a dual norm,
$$ \Vert \boldsymbol{v} \Vert _{[L^{\frac{m+1}{m}}(\Omega )]^{d}} = \sup _{\boldsymbol{u}\in[L^{m+1}(\Omega)]^{d}}\frac{\int_{\Omega}\boldsymbol {v}\cdot\boldsymbol{u}\,d\boldsymbol{x}}{ \Vert \boldsymbol{u} \Vert _{[L^{m+1}(\Omega)]^{d}}}, \quad \forall\boldsymbol{v}\in \bigl[L^{\frac {m+1}{m}}(\Omega)\bigr]^{d}. $$
(22)
By setting \(\boldsymbol{v}= \nabla q\), we get
$$\begin{aligned} \Vert \nabla q \Vert _{[L^{\frac{m+1}{m}}(\Omega )]^{d}}= \sup _{ \Vert \boldsymbol{u} \Vert _{[L^{m+1}(\Omega)]^{d}}}\frac{\int _{\Omega}\nabla q \cdot\boldsymbol{u}\,d\boldsymbol{x}}{ \Vert u \Vert _{[L^{m+1}(\Omega)]^{d}}}, \quad \forall q\in M. \end{aligned}$$
(23)
Since q belongs to the space of zero mean, we have the following:
$$\Vert \nabla q \Vert _{[L^{\frac{m+1}{m}}(\Omega)]^{d}}= \Vert q \Vert _{M},\quad \forall q\in M. $$
Equivalently,
$$ \inf_{q\in M\setminus\lbrace0 \rbrace} \frac { \Vert \nabla q \Vert _{[L^{\frac{m+1}{m}}(\Omega)]^{d}}}{ \Vert q \Vert _{M}}=1. $$
(24)
Now substituting (23) in (24) yields the required result. □

Proposition 3.1

For each \(b\in L^{\frac{d(m+1)}{d+(m+1)}}(\Omega)\) and \(g\in L^{\frac {(d-1)(m+1)}{d}}(\Gamma)\) satisfying (4), there is unique \(\boldsymbol{u}_{\ell}\in[L^{m+1}(\Omega)]^{d}/V\) satisfying
$$ \int_{\Omega}\boldsymbol{u}_{\ell}\cdot\nabla q\,d \boldsymbol{x}=- \int_{\Omega}bq\,d\boldsymbol{x}+ \int_{\Gamma}gq\,d\sigma, \quad\forall q\in M. $$
(25)
Furthermore,
$$ \Vert \boldsymbol{u}_{\ell} \Vert _{L^{m+1}/V}\leq C \bigl( \Vert b \Vert _{L^{\frac {d(m+1)}{d+(m+1)}}(\Omega)} + \Vert g \Vert _{L^{\frac {(d-1)(m+1)}{d}}(\Gamma )} \bigr), $$
(26)
where C is a constant depending on Ω only.

Proof

Denote
$$\begin{aligned} V&:= \operatorname{Ker} \boldsymbol{B}= \lbrace\boldsymbol{u}\in X, \boldsymbol {B}\boldsymbol{u}=0 \rbrace \\ &= \biggl\lbrace \boldsymbol{u}\in X, b(\boldsymbol{u}, q) = \int_{\Omega}\nabla q\cdot\boldsymbol{u}\,d\boldsymbol{x}=0, \forall q\in M \biggr\rbrace . \end{aligned}$$
(27)
Equation (15)2 can be written as follows:
$$ b(\boldsymbol{u}, q)= F(q), \quad\forall q\in M, $$
(28)
where \(F(q)= - \int_{\Omega}bq\,\boldsymbol {d}{x} + \int_{\Gamma}gq\,\boldsymbol {d}{\sigma}\). Now let us estimate the right-hand side of (28).
$$\begin{aligned} \bigl\vert F(q) \bigr\vert &= \biggl\vert - \int_{\Omega}bq\,d\boldsymbol{x}+ \int_{\Gamma}gq \,d\sigma\biggr\vert \\ &\leq \Vert b \Vert _{L^{\frac{d(m+1)}{d+(m+1)}}(\Omega)} \Vert q \Vert _{L^{\frac {d(m+1)}{m(d-1)-1}}(\Omega)} + \Vert g \Vert _{L^{\frac{(d-1)(m+1)}{d}}(\Gamma)} \Vert q \Vert _{L^{\frac{(d-1)(m+1)}{m(d-1)-1}}(\Gamma)} . \end{aligned}$$
(29)
This implies
$$\begin{aligned} \bigl\vert F(q) \bigr\vert &\leq\bigl( \Vert b \Vert _{L^{\frac {d(m+1)}{d+(m+1)}}(\Omega )}+ \Vert g \Vert _{L^{\frac{(d-1)(m+1)}{d}}(\Gamma)} \bigr) \bigl( \Vert q \Vert _{L^{\frac{d(m+1)}{m(d-1)-1}}(\Omega)}+ \Vert q \Vert _{L^{\frac {(d-1)(m+1)}{m(d-1)-1}}(\Gamma)} \bigr). \end{aligned}$$
(30)
By the trace theorem and Sobolev embeddings [25], we obtain
$$\begin{aligned} & \bigl\vert F(q) \bigr\vert \\ &\quad \leq\bigl( \Vert b \Vert _{L^{\frac{d(m+1)}{d+(m+1)}}(\Omega)}+ \Vert g \Vert _{L^{\frac {(d-1)(m+1)}{d}}(\Gamma)} \bigr) \bigl( c_{1} \Vert q \Vert _{W^{1},\frac {m+1}{m}(\Omega)}+ c_{2} \Vert q \Vert _{W^{1,\frac {m+1}{m}}(\Omega)} \bigr) \\ &\quad \leq C \bigl( \Vert b \Vert _{L^{\frac{d(m+1)}{d+(m+1)}}(\Omega)}+ \Vert g \Vert _{L^{\frac {(d-1)(m+1)}{d}}(\Gamma)} \bigr) \Vert q \Vert _{W^{1},\frac {m+1}{m}(\Omega )}. \end{aligned}$$
(31)
The map \(q\mapsto-\int_{\Omega}bq\,d\boldsymbol{x}+ \int_{\Gamma}gq \,d\sigma\) is a bounded linear map, so it belongs to \(M^{*}\). Therefore, using the inf-sup condition in Lemma (3.1) and the equivalence statements in Lemma 2.1, there is unique \(\boldsymbol{u}_{\ell}\in{ [L^{m+1}(\Omega)]^{d}/V} \) satisfying (25). Hence,
$$ b(\boldsymbol{u}_{\ell}, q)\leq C \bigl( \Vert b \Vert _{L^{\frac {d(m+1)}{d+(m+1)}}(\Omega)}+ \Vert g \Vert _{L^{\frac {(d-1)(m+1)}{d}}(\Gamma)} \bigr) \Vert \nabla q \Vert _{[L^{\frac{m+1}{m}}(\Omega)]^{d}}. $$
(32)
Applying Lemma 3.1 in (32), (26) is established. □
Based on Proposition 3.1, we split the solution u into \(\boldsymbol{u}_{0} +\boldsymbol {u}_{\ell}\), where \(\boldsymbol{u}_{0}\in V\) and \(\boldsymbol{u}_{\ell}\in [L^{m+1}(\Omega)]^{d}\). An equivalence variational formulation of (12)–(13) is as follows: For any \(f\in X^{*}\), find \({\boldsymbol {u}}_{0}\in V\) such that
$$ \int_{\Omega}\mathcal{A}({\boldsymbol {u}}_{0} +{ \boldsymbol {u}}_{\ell})\cdot{\boldsymbol{\varphi}}\,d{\boldsymbol {x}}= \int_{\Omega}\boldsymbol{f}\cdot{\boldsymbol{\varphi}}\,d{\boldsymbol {x}}, \quad \forall{\boldsymbol{\varphi}} \in V. $$
(33)

Proposition 3.2

Problem (12)(13) is equivalent to Problem (33).

Proof

Suppose \((\boldsymbol{u}, p)\), with \(\boldsymbol{u}\in X\), \(p\in M\), is a solution of (12)–(13). Then we write \(\boldsymbol {u}=\boldsymbol{u}_{0}+\boldsymbol{u}_{\ell}\), where \(\boldsymbol{u}_{\ell}\in[L^{m+1}(\Omega)]^{d}/V\) solves (26). It follows that \(\boldsymbol{u}_{0}\) satisfies (33).

Conversely, take \(\boldsymbol{u}_{0}\) to be a solution of (33); then
$$\int_{\Omega}\bigl(\boldsymbol{f}-\mathcal{A}( \boldsymbol{u}_{0}+\boldsymbol{u}_{\ell})\bigr)\cdot \boldsymbol{\varphi}\,d\boldsymbol{x}= 0,\quad \forall\boldsymbol{\varphi} \in V. $$
Equivalently, \(\boldsymbol{f}-\mathcal{A}(\boldsymbol{u}_{0}+\boldsymbol {u}_{\ell}) \in V^{0}\), where
$$V^{0}= \biggl\lbrace \boldsymbol{v}\in\bigl[L^{\frac{m+1}{m}}( \Omega)\bigr]^{d}; \forall\boldsymbol{w}\in V, \int_{\Omega}\boldsymbol{v}\cdot\boldsymbol{w}\,d\boldsymbol{x}= 0 \biggr\rbrace = (\operatorname{Ker} B)^{0}. $$
It follows from the closed range theorem [27] that \(\boldsymbol {f}-\mathcal{A}(\boldsymbol{u}_{0}+\boldsymbol{u}_{\ell})\in \operatorname{Image}(\boldsymbol{B}^{*})\).
Thanks to the inf-sup condition in Lemma 3.1 and the isomorphism in Lemma 2.1, there exists unique \(p\in M\) such that
$$\boldsymbol{B}^{*}p= \boldsymbol{f}-\mathcal{A}(\boldsymbol{u}_{0}+ \boldsymbol{u}_{\ell}). $$
Consequently,
$$ \nabla p=\boldsymbol{f}-\mathcal{A}(\boldsymbol{u}_{0}+ \boldsymbol{u}_{\ell}). $$
(34)
Hence,
$$\begin{aligned} \frac{\mu}{\rho} \int_{\Omega}\mathcal{A}(\boldsymbol{u}_{0}+ \boldsymbol{u}_{\ell})\cdot\boldsymbol{\varphi}\,d\boldsymbol{x}+ \int_{\Omega}\nabla p\cdot\boldsymbol{\varphi}\,d\boldsymbol{x}= \int_{\Omega}\boldsymbol{f}\cdot\boldsymbol{\varphi}\,d \boldsymbol{x}, \quad \forall\boldsymbol{\varphi}\in X. \end{aligned}$$
Since \(\boldsymbol{u}=\boldsymbol{u_{0}}+\boldsymbol{u}_{\ell}\), (12) is satisfied. Furthermore, since \(\boldsymbol{u}_{0}\in V\), we have
$$\begin{aligned} \boldsymbol{B}\boldsymbol{u}&=\boldsymbol{B}\boldsymbol{u}_{0} + \boldsymbol{B}\boldsymbol{u}_{\ell} \\ & =\boldsymbol{B}\boldsymbol{u}_{\ell}=g. \end{aligned}$$
(35)
This implies that (13) is satisfied. □

In view of the equivalence in Proposition (3.2), Problem (33) will be the focus of our analysis.

Lemma 3.2

For any pair \((\boldsymbol{v}, \boldsymbol{w})\in\mathbb{R}^{n}\times \mathbb{R}^{n}\),
$$ \bigl\vert \vert \boldsymbol{v} \vert ^{m-1} \boldsymbol{v}- \vert \boldsymbol{w} \vert ^{m-1}\boldsymbol{w} \bigr\vert \leq m2^{m-2} \bigl[ \vert \boldsymbol{v} \vert ^{m-1}+ \vert \boldsymbol{w} \vert ^{m-1} \bigr] \vert v-w \vert ,\quad m\geq1. $$
(36)

Proof

Let \((\boldsymbol{v}, \boldsymbol{w})\in\mathbb{R}^{n}\times \mathbb{R}^{n} \), \(\psi(\boldsymbol{v}):=|\boldsymbol{v}|^{m-1}\boldsymbol{v}, \psi (\boldsymbol{w}):=|\boldsymbol{w}|^{m-1}\boldsymbol{w}\).

For \(n=2\), set
$$\psi(\boldsymbol{v})= \begin{bmatrix}\psi_{1}(v)\\ \psi_{2}(v)) \end{bmatrix} = \begin{bmatrix} \vert \boldsymbol{v} \vert ^{m-1}v_{1}\\ \vert \boldsymbol{v} \vert ^{m-1}v_{2} \end{bmatrix} . $$
It follows that
$$\begin{aligned} &\psi^{\prime}(\boldsymbol{v})= \begin{bmatrix} \frac{\partial\psi_{1}(v)}{\partial v_{1}} &\frac{\partial\psi _{1}(v)}{\partial v_{2}} \\ \frac{\partial\psi_{2}(v)}{\partial v_{1}} &\frac{\partial\psi _{2}(v)}{\partial v_{2}} \end{bmatrix} , \\ &\psi^{\prime}(\boldsymbol{v})= \begin{bmatrix} (m-1) \vert \boldsymbol{v} \vert ^{m-3}v^{2}_{1} + \vert \boldsymbol {v} \vert ^{m-1} &(m-1) \vert \boldsymbol{v} \vert ^{m-3}v_{1} v_{2}\\ (m-1) \vert \boldsymbol{v} \vert ^{m-3}v_{1}v_{2} &(m-1) \vert \boldsymbol{v} \vert ^{m-3}v^{2}_{2} + \vert \boldsymbol{v} \vert ^{m-1} \end{bmatrix} . \end{aligned}$$
The Jacobian matrix \(\psi^{\prime}(\boldsymbol{v})\) is \(2\times2\) symmetric, so its norm \(\|\psi^{\prime}(\boldsymbol {v})\|\) is the larger eigenvalue (spectral radius). The eigenvalues are computed by the following formula:
$$\lambda_{1,2}= \frac{1}{2} \bigl[ (a_{11} +a_{22})\pm\sqrt{4a_{12}a_{21}+(a_{11}-a_{22})^{2}} \bigr]. $$
We have
$$\begin{aligned} \sqrt{4a_{12}a_{21}+(a_{11}-a_{22})^{2}} &=\sqrt{4(m-1)^{2} \vert \boldsymbol{v} \vert ^{2(m-3)}v^{2}_{1} v^{2}_{2}+ (m-1)^{2} \vert \boldsymbol{v} \vert ^{2(m-3)} \bigl(v^{2}_{1}-v^{2}_{2} \bigr)^{2}} \\ &=(m-1) \vert \boldsymbol{v} \vert ^{(m-3)}\sqrt {4v^{2}_{1}v^{2}_{2}+ \bigl(v^{2}_{1}-v^{2}_{2} \bigr)^{2}} \\ &=(m-1) \vert \boldsymbol{v} \vert ^{(m-3)}\sqrt{ \bigl(v^{2}_{1}+v^{2}_{2} \bigr)^{2}} \\ &=(m-1) \vert \boldsymbol{v} \vert ^{(m-3)} \vert \boldsymbol{v} \vert ^{2} \\ &=(m-1) \vert \boldsymbol{v} \vert ^{m-1}. \end{aligned}$$
(37)
Then \(\lambda_{1,2}=\frac{1}{2} [ (m-1)|\boldsymbol{v}|^{m-1} +2|\boldsymbol{v}|^{m-1}\pm(m-1)|\boldsymbol{v}|^{m-1} ] \).
The larger eigenvalue is given by
$$\lambda_{1}=\frac{1}{2} \bigl[(m-1) \vert \boldsymbol{v} \vert ^{m-1} + 2 \vert \boldsymbol{v} \vert ^{m-1}+ (m-1) \vert \boldsymbol{v} \vert ^{m-1} \bigr]= m \vert \boldsymbol{v} \vert ^{m-1}. $$
Therefore, the norm of the Jacobian matrix is given by \(\|\psi^{\prime}(\boldsymbol {v})\|= m|\boldsymbol{v}|^{m-1}\).
Application of the mean value theorem for vector-valued functions [28] yields
$$\begin{aligned} \bigl\vert \psi(\boldsymbol{v})-\psi(\boldsymbol{w}) \bigr\vert &\leq \sup_{0\leq t\leq1}\bigl\Vert \psi\prime\bigl(\boldsymbol{w}+t(\boldsymbol{v-w}) \bigr) \bigr\Vert \vert \boldsymbol{v}-\boldsymbol{w} \vert \\ &\leq\sup_{0\leq t\leq1}m \bigl\vert \boldsymbol{w}+t(\boldsymbol {v-w}) \bigr\vert ^{m-1} \vert \boldsymbol{v}-\boldsymbol{w} \vert \\ &\leq m\sup_{0\leq t\leq1} \bigl[ \bigl\vert \boldsymbol{w}(1-t) \bigr\vert +t \vert \boldsymbol{v} \vert \bigr] ^{m-1} \vert \boldsymbol{v}-\boldsymbol{w} \vert \\ &\leq m \bigl[ \vert \boldsymbol{w} \vert + \vert \boldsymbol{v} \vert \bigr] ^{m-1} \vert \boldsymbol{v}-\boldsymbol{w} \vert . \end{aligned}$$
So, in view of inequality (7), we obtain
$$ \bigl\vert \psi(\boldsymbol{v})-\psi(\boldsymbol{w}) \bigr\vert \leq m 2^{m-2} \bigl[ \vert \boldsymbol{v} \vert ^{m-1}+ \vert \boldsymbol{w} \vert ^{m-1} \bigr] \vert \boldsymbol{v-w} \vert . $$
(38)
 □

4 Existence and uniqueness

To prove the existence and uniqueness of solution for (33), it suffices to demonstrate that the map \(\mathcal{A}\) defined in (17) satisfies the following properties in \([L^{m+1}(\Omega)]^{d}\): boundedness, strict monotonicity, coercivity, and hemi-continuity [23, 24]. We let the least eigenvalue of K be \(\lambda_{s}\). Therefore,
$$\begin{aligned} K(\boldsymbol{x})\boldsymbol{u}\cdot\boldsymbol{u}\geq\lambda_{s} \vert \boldsymbol{u} \vert ^{2}, \quad\text{for all } \boldsymbol{u} \in\mathbb{R}^{d} \text{ and for all } \boldsymbol{x}\in\Omega. \end{aligned}$$
(39)

Lemma 4.1

The operator \(\mathcal{A}: [L^{m+1}(\Omega)]^{d}\rightarrow[L^{\frac {m+1}{m}}(\Omega)]^{d}\) satisfies the following bounds: \(\forall{\boldsymbol {v}}, \forall{\boldsymbol {w}} \in[L^{m+1}(\Omega)]^{d}\),
$$ \bigl\Vert \mathcal{A}(\boldsymbol{v}) \bigr\Vert _{[L^{\frac{m+1}{m}}(\Omega)]^{d}}\leq\frac {\mu}{\rho} \bigl\Vert K^{-1} \bigr\Vert \Vert \boldsymbol{v} \Vert _{[L^{\frac{m+1}{m}}(\Omega )]^{d}}+\frac{\beta}{\rho} \Vert \boldsymbol{v} \Vert ^{m}_{[L^{m+1}(\Omega)]^{d}} $$
(40)
and
$$\begin{aligned} &\bigl|\mathcal{A}({\boldsymbol {v}})-\mathcal{A}({\boldsymbol {w}})\bigr| \\ &\quad \leq \biggl( \frac{\mu}{\rho} \bigl\Vert K^{-1} \bigr\Vert _{L^{\infty}(\Omega)}+\frac{\beta}{\rho }m2^{m-2} \bigl[ \vert {\boldsymbol {v}} \vert ^{m-1}+ \vert {\boldsymbol {w}} \vert ^{m-1} \bigr] \biggr) \vert {\boldsymbol {v}}-{\boldsymbol {w}} \vert , \quad\textit{a.e.} \end{aligned}$$
(41)

Proof

Let \(\boldsymbol{u},\boldsymbol{v}\in[L^{m+1}(\Omega)]^{d}\). \(\boldsymbol{v}\in[L^{m+1}(\Omega)]^{d} \implies\mathcal{A}(\boldsymbol {v})\in L^{\frac{m+1}{m}}(\Omega)\). Therefore,
$$\begin{aligned} &\bigl\vert \bigl\langle \mathcal{A}(\boldsymbol{v}), \boldsymbol {u}\bigr\rangle _{[L^{\frac{m+1}{m}}(\Omega)]^{d}\times[L^{m+1}(\Omega)]^{d}} \bigr\vert \\ &\quad = \biggl\vert \int_{\Omega}\biggl[ \frac{\mu}{\rho}K^{-1} \boldsymbol{v}+\frac{\beta }{\rho} \vert \boldsymbol{v} \vert ^{m-1} \boldsymbol{v} \biggr] \boldsymbol{u}\,d\boldsymbol{x} \biggr\vert \\ &\quad \leq\frac{\mu}{\rho} \bigl\Vert K^{-1} \bigr\Vert _{L^{\infty}(\Omega)} \int_{\Omega} \vert \boldsymbol{u}\boldsymbol{v} \vert \, d \boldsymbol{x}+ \frac{\beta}{\rho} \int_{\Omega} \vert \boldsymbol{v} \vert ^{m} \vert \boldsymbol{u} \vert \,d\boldsymbol{x} \\ &\quad \leq \frac{\mu}{\rho} \bigl\Vert K^{-1} \bigr\Vert _{L^{\infty}(\Omega)} \Vert \boldsymbol{u} \Vert _{[L^{m+1}(\Omega )]^{d}} \Vert \boldsymbol{v} \Vert _{[L^{\frac{m+1}{m}}(\Omega )]^{d}} \\ &\qquad{}+ \frac{\beta}{\rho} \Vert \boldsymbol{u} \Vert _{[L^{m+1}(\Omega )]^{d}} \Vert \boldsymbol{v} \Vert ^{m}_{[L^{m+1}(\Omega)]^{d}}. \end{aligned}$$
Hence,
$$\begin{aligned} &\bigl\vert \bigl\langle \mathcal{A}(\boldsymbol{v}), \boldsymbol {u}\bigr\rangle _{[L^{\frac{m+1}{m}}(\Omega)]^{d}\times[L^{m+1}(\Omega)]^{d}} \bigr\vert \\ &\quad\leq\biggl[\frac{\mu}{\rho} \bigl\Vert K^{-1} \bigr\Vert _{L^{\infty}(\Omega)} \Vert \boldsymbol{v} \Vert _{[L^{\frac{m+1}{m}}(\Omega)]^{d}}+ \frac{\beta}{\rho} \Vert \boldsymbol {v} \Vert ^{m}_{[L^{m+1}(\Omega)]^{d}} \biggr] \Vert \boldsymbol{u} \Vert _{[L^{m+1}(\Omega )]^{d}} . \end{aligned}$$
Using dual norm representation (22) and the last line above, we deduce (40). The estimate in (41) follows from (38). □

Lemma 4.2

The map \(\boldsymbol{u}\mapsto\mathcal{A}(\boldsymbol{u}+\boldsymbol {u}_{\ell})\) defined in (17) is strongly monotone, that is, for all \(\boldsymbol{u},\boldsymbol{v}\in[L^{m+1}(\Omega)]^{d}\), we have
$$\begin{aligned} \int_{\Omega}\bigl( \mathcal{A}(\boldsymbol{u}+ \boldsymbol{u}_{\ell})-\mathcal{A}(\boldsymbol{v}+\boldsymbol{v}_{\ell}) \bigr)\cdot(\boldsymbol{u}-\boldsymbol{v})\,d\boldsymbol{x}\geq\frac {\mu}{\rho } \lambda_{s} \Vert \boldsymbol{u}-\boldsymbol{v} \Vert ^{2}_{[L^{m}(\Omega)]^{d}}. \end{aligned}$$
(42)

Proof

Define \(F: [L^{m+1}(\Omega)]^{d}\longrightarrow\mathbb{R}\) by
$$F(\boldsymbol{v})=\frac{\mu}{2\rho} \int_{\Omega}K^{-1}\boldsymbol{v}\cdot\boldsymbol{v}\,d \boldsymbol{x}+\frac{\beta}{\rho(m+1)} \int_{\Omega} \vert \boldsymbol{v} \vert ^{m+1}\,d \boldsymbol{x}, \quad \forall\boldsymbol{v}\in\bigl[L^{m+1}(\Omega) \bigr]^{d}. $$
For all \(\boldsymbol{v},\boldsymbol{w}\in[L^{m+1}(\Omega)]^{d}\) and \(h\in \mathbb{R}\), we have
$$\begin{aligned} \frac{F(\boldsymbol{v}+h\boldsymbol{w})-F(\boldsymbol{v})}{h}={}&\frac {\mu}{\rho} \int_{\Omega}\bigl(K^{-1}\boldsymbol{v}\bigr)\cdot \boldsymbol{w}\,d\boldsymbol{x}+ \frac{h\mu}{2\rho} \int_{\Omega}K^{-1}\boldsymbol{w}\cdot\boldsymbol{w}\,d \boldsymbol{x} \\ &{}+\frac{\beta}{\rho(m+1)} \int_{\Omega}\frac{ ( \vert \boldsymbol{v}+h\boldsymbol{w} \vert ^{m+1}- \vert \boldsymbol{v} \vert ^{m+1} )}{h}\,d\boldsymbol{x}. \end{aligned}$$
Therefore,
$$\begin{aligned} \lim_{h\rightarrow0}\frac{F(\boldsymbol{v}+h\boldsymbol {w})-F(\boldsymbol{v})}{h}={}&\frac{\mu}{\rho} \int_{\Omega}K^{-1}\boldsymbol{v}\cdot\boldsymbol{w}\,d \boldsymbol{x} \\ &{}+\frac{\beta}{\rho(m+1)}\lim_{h\rightarrow0} \int_{\Omega}\frac{ ( \vert \boldsymbol{v}+h\boldsymbol{w} \vert ^{m+1}- \vert \boldsymbol {v} \vert ^{m+1} )}{h}\,d\boldsymbol{x}. \end{aligned}$$
Thanks to the Lebesgue convergence theorem [29], we get
$$\begin{aligned} F^{\prime}(\boldsymbol{v})\cdot\boldsymbol{w}&=\frac{\mu}{\rho} \int_{\Omega}K^{-1}\boldsymbol{v} \cdot\boldsymbol{w}\,d \boldsymbol{x}+\frac {\beta}{\rho(m+1)} \int_{\Omega}\lim_{h\rightarrow0}\frac{ ( \vert \boldsymbol{v}+h\boldsymbol{w} \vert ^{m+1}- \vert \boldsymbol{v} \vert ^{m+1} )}{h}\,d \boldsymbol{x} \\ &=\frac{\mu}{\rho} \int_{\Omega}K^{-1}\boldsymbol{v} \cdot\boldsymbol{w}\,d \boldsymbol{x}+\frac{\beta}{\rho(m+1)} \int_{\Omega}\frac {d}{dh} \vert \boldsymbol{v}+h \boldsymbol{w} \vert ^{m+1} \Big|_{h=0} \\ &=\frac{\mu}{\rho} \int_{\Omega}K^{-1}\boldsymbol{v}\cdot\boldsymbol{w}\,d \boldsymbol{x}+\frac{\beta}{\rho(m+1)} \int_{\Omega}\frac{d}{dh} \bigl[ (\boldsymbol{v}+h \boldsymbol{w})\cdot(\boldsymbol{v}+h\boldsymbol{w}) \bigr]^{\frac{m+1}{2}} \Big|_{h=0} \\ &=\frac{\mu}{\rho} \int_{\Omega}K^{-1}\boldsymbol{v}\cdot\boldsymbol{w}\,d \boldsymbol{x}+\frac{\beta}{\rho(m+1)} \int_{\Omega}\frac {m+1}{2} \vert \boldsymbol{v} \vert ^{m-1}(\boldsymbol{v}\cdot\boldsymbol{w} +\boldsymbol{v}\cdot \boldsymbol{w})\,d\boldsymbol{x}. \end{aligned}$$
Hence,
$$ F^{\prime}(\boldsymbol{v})\cdot\boldsymbol{w}= \frac{\mu}{\rho} \int_{\Omega}K^{-1}\boldsymbol{v}\cdot\boldsymbol{w}\,d \boldsymbol{x} +\frac {\beta}{\rho} \int_{\Omega} \vert \boldsymbol{v} \vert ^{m-1}( \boldsymbol{v}\cdot\boldsymbol{w})\,d\boldsymbol{x}. $$
(43)
We have
$$\begin{aligned} F^{\prime\prime}(\boldsymbol{v})\cdot(\boldsymbol{z}, \boldsymbol{w})={}& \lim_{h\rightarrow0}\frac{f^{\prime}(\boldsymbol {v}+h\boldsymbol{z})\boldsymbol{w}-f^{\prime}(\boldsymbol{v})\boldsymbol {w}}{h} \\ ={}&\frac{\mu}{\rho} \int_{\Omega}K^{-1}\boldsymbol{z}\cdot\boldsymbol{w}\,d \boldsymbol{x}+\frac{\beta}{\rho} \int_{\Omega} \vert \boldsymbol{v} \vert ^{m-1}( \boldsymbol{z}\cdot\boldsymbol{w})\,d\boldsymbol{x} \\ &{}+\frac{\beta}{\rho} \int_{\Omega}\lim_{h\rightarrow0} \biggl[ \frac{ \vert \boldsymbol{v}+h\boldsymbol {z} \vert ^{m-1}(\boldsymbol{v}\cdot\boldsymbol{w})- \vert \boldsymbol {v} \vert ^{m-1}}{h} \biggr] (\boldsymbol{v}\cdot\boldsymbol{w})\, d\boldsymbol{x} \\ ={}&\frac{\mu}{\rho} \int_{\Omega}K^{-1}\boldsymbol{z}\cdot\boldsymbol{w}\,d \boldsymbol{x}+\frac{\beta}{\rho} \int_{\Omega} \vert \boldsymbol{v} \vert ^{m-1}( \boldsymbol{z}\cdot\boldsymbol{w})\,d\boldsymbol{x} \\ &{}+ \int_{\Omega}\frac{d}{dh} \vert \boldsymbol{v}+h \boldsymbol{z} \vert ^{m-1} \Big|_{h=0} (\boldsymbol{v}\cdot \boldsymbol{w})\,d\boldsymbol{x} \\ ={}&\frac{\mu}{\rho} \int_{\Omega}K^{-1}\boldsymbol{z}\cdot\boldsymbol{w}\,d \boldsymbol{x}+\frac{\beta}{\rho} \int_{\Omega} \vert \boldsymbol{v} \vert ^{m-1}( \boldsymbol{z}\cdot\boldsymbol{w})\,d\boldsymbol{x} \\ &{}+ \int_{\Omega}\frac{d}{dh}\bigl[(\boldsymbol{v}+h\boldsymbol {z})\cdot(\boldsymbol{v}+h\boldsymbol{z})\bigr]^{\frac{m-1}{2}} \Big|_{h=0} (\boldsymbol{v}\cdot\boldsymbol{w})\,d\boldsymbol{x}. \end{aligned}$$
Consequently,
$$\begin{aligned} F^{\prime\prime}(\boldsymbol{v})\cdot(\boldsymbol{z}, \boldsymbol{w})={}& \frac{\mu}{\rho} \int_{\Omega}K^{-1}\boldsymbol{z}\cdot\boldsymbol{w}\,d \boldsymbol{x}+\frac{\beta}{\rho} \int_{\Omega} \vert \boldsymbol{v} \vert ^{m-1}( \boldsymbol{z}\cdot\boldsymbol{w})\,d\boldsymbol{x} \\ &{}+\frac{\beta}{\rho} \int_{\Omega}\frac {m-1}{2} \vert \boldsymbol{v}+h \boldsymbol{z} \vert ^{m-3}\bigl[(\boldsymbol{v}+h\boldsymbol {z})\cdot \boldsymbol{z}+ (\boldsymbol{v}+ h\boldsymbol{z})\cdot\boldsymbol{z} \bigr]\Big|_{h=0}(\boldsymbol{v}\cdot\boldsymbol{w})\,d\boldsymbol{x}. \end{aligned}$$
It follows that
$$\begin{aligned} F^{\prime\prime}(\boldsymbol{v})\cdot(\boldsymbol{z}, \boldsymbol{w})={}&\frac{\mu}{\rho} \int_{\Omega}K^{-1}\boldsymbol{z}\cdot\boldsymbol{w}\,d \boldsymbol{x}+\frac{\beta}{\rho} \int_{\Omega} \vert \boldsymbol{v} \vert ^{m-1}( \boldsymbol{z}\cdot\boldsymbol{w})\,d\boldsymbol{x} \\ &{}+\frac{\beta}{\rho}(m-1) \int_{\Omega} \vert \boldsymbol{v} \vert ^{m-3}( \boldsymbol{v}\cdot\boldsymbol{z}) (\boldsymbol{v}\cdot\boldsymbol {w})\,d \boldsymbol{x}. \end{aligned}$$
(44)
Therefore,
$$ F^{\prime\prime}(0)\cdot(\boldsymbol{w},\boldsymbol{z})=\frac{\mu}{\rho } \int_{\Omega}K^{-1}\boldsymbol{z}\cdot\boldsymbol{w}\,d \boldsymbol{x}, \quad\forall\boldsymbol{w}, \forall\boldsymbol{z}\in \bigl[L^{m+1}(\Omega)\bigr]^{d}. $$
(45)
Now we observe that \(F^{\prime\prime}\) is positive definite and symmetric. Indeed,
$$\begin{aligned} F^{\prime\prime}(\boldsymbol{v})\cdot(\boldsymbol{w}, \boldsymbol {w})\geq\frac{\mu}{\rho}\lambda_{s} \Vert \boldsymbol{w} \Vert ^{2}_{L^{2}},\quad \forall\boldsymbol{v}, \boldsymbol{w}\in \bigl[L^{m+1}(\Omega)\bigr]^{d}. \end{aligned}$$
(46)
Let u, v be in \([L^{m+1}(\Omega)]^{d}\). Set \(\hat{\boldsymbol{u}}=\boldsymbol{u}+\boldsymbol{u}_{\ell}\) and \(\hat {\boldsymbol{v}}=\boldsymbol{v} +\boldsymbol{u}_{\ell}\), where \(\boldsymbol{u}_{\ell}\) is fixed in \([L^{m+1}(\Omega)]^{d}\). Then
$$\begin{aligned} & \bigl( F^{\prime}(\hat{\boldsymbol{u}})-F^{\prime}( \hat{\boldsymbol{v}}) \bigr) \cdot(\hat{\boldsymbol{u}}-\hat {\boldsymbol{v}}) \\ &\quad= F^{\prime}(\hat{\boldsymbol{u}})\cdot(\hat{\boldsymbol{u}}-\hat{ \boldsymbol{v}})-F^{\prime}(\hat{\boldsymbol{v}})\cdot(\hat{ \boldsymbol{u}}-\hat{\boldsymbol{v}}) \\ &\quad= \frac{\mu}{\rho} \int_{\Omega}\bigl(K^{-1}\hat{\boldsymbol{u}}\bigr) \cdot(\hat{\boldsymbol{u}}-\hat{\boldsymbol{v}})\,d\boldsymbol{x}+\frac {\beta}{\rho } \int_{\Omega} \vert \hat{\boldsymbol{u}} \vert ^{m-1} \bigl( \hat{\boldsymbol{u}}\cdot(\hat{\boldsymbol{u}}-\hat{\boldsymbol{v}}) \bigr) \,d\boldsymbol{x} \\ &\qquad{}- \biggl[ \frac{\mu}{\rho} \int_{\Omega}\bigl(K^{-1}\hat{\boldsymbol{v}}\bigr) \cdot(\hat{\boldsymbol{u}}-\hat{\boldsymbol{v}})\,d\boldsymbol{x}+ \frac{\beta}{\rho} \int_{\Omega} \vert \hat{\boldsymbol{v}} \vert ^{m-1} \bigl( \hat{\boldsymbol{v}}\cdot(\hat{\boldsymbol{u}}-\hat{ \boldsymbol{v}}) \bigr) \,d\boldsymbol{x} \biggr] \\ &\quad= \frac{\mu}{\rho} \int_{\Omega}(K^{-1}(\hat{\boldsymbol{u}}-\hat{ \boldsymbol{v}})\cdot(\hat{\boldsymbol{u}}-\hat{\boldsymbol{v}})\, d\boldsymbol{x} \\ &\qquad{}+\frac{\beta}{\rho} \int_{\Omega}\bigl( \vert \hat{\boldsymbol{u}} \vert ^{m-1}\hat{\boldsymbol{u}}- \vert \hat{\boldsymbol{v}} \vert ^{m-1}\hat{\boldsymbol{v}} \bigr)\cdot(\hat{\boldsymbol{u}}-\hat{ \boldsymbol{v}}) \,d\boldsymbol{x}. \end{aligned}$$
(47)
That is,
$$\begin{aligned} \bigl( F^{\prime}(\hat{\boldsymbol{u}})-F^{\prime}(\hat{ \boldsymbol{v}}) \bigr) \cdot(\hat{\boldsymbol{u}}-\hat{\boldsymbol{v}})&= \int_{\Omega}\bigl( \mathcal{A}(\hat{\boldsymbol{u}})- \mathcal{A}(\hat{\boldsymbol{v}}) \bigr) \cdot(\boldsymbol {u}-\boldsymbol{v})\,d \boldsymbol{x}. \end{aligned}$$
(48)
Furthermore, by the mean value theorem, we have
$$\bigl( F^{\prime}(\hat{\boldsymbol{u}})-F^{\prime}(\hat{\boldsymbol {v}}) \bigr) \cdot(\hat{\boldsymbol{u}}-\hat{\boldsymbol{v}})= \int_{0}^{1}F^{\prime\prime}\bigl(\hat{ \boldsymbol{v}}+\alpha(\hat{\boldsymbol{u}}-\hat{\boldsymbol{v}})\bigr)\cdot( \hat{\boldsymbol{u}}-\hat{\boldsymbol{v}},\hat{\boldsymbol{u}}-\hat{ \boldsymbol{v}})\,d\alpha. $$
Therefore, (47) becomes
$$ \int_{\Omega}\bigl( \mathcal{A}(\hat{\boldsymbol{u}})- \mathcal{A}(\hat{\boldsymbol{v}}) \bigr) \cdot(\boldsymbol {u}-\boldsymbol{v})\,d \boldsymbol{x}= \int_{0}^{1}F^{\prime\prime}\bigl(\hat{\boldsymbol {v}}+\alpha(\hat{\boldsymbol{u}}-\hat{\boldsymbol{v}})\bigr)\cdot(\hat{ \boldsymbol{u}}-\hat{\boldsymbol{v}},\hat{\boldsymbol{u}}-\hat {\boldsymbol{v}})\,d \alpha. $$
(49)
Thanks to (46), equation (49) becomes
$$\begin{aligned} \int_{\Omega}\bigl( \mathcal{A}(\hat{\boldsymbol{u}})- \mathcal{A}(\hat{\boldsymbol{v}}) \bigr) \cdot(\boldsymbol {u}-\boldsymbol{v})\,d \boldsymbol{x}&\geq \int_{0}^{1}\frac{\mu}{\rho}\lambda_{s} \Vert \hat{\boldsymbol{u}}-\hat{\boldsymbol{v}} \Vert ^{2}_{L^{2}}\,d \alpha\geq\frac{\mu}{\rho}\lambda_{s} \Vert \hat{\boldsymbol{u}}- \hat{\boldsymbol{v}} \Vert ^{2}_{[L^{m}(\Omega)]^{d}}. \end{aligned}$$
(50)
Hence, we have (42) since \(\hat{\boldsymbol{u}}-\hat{\boldsymbol {v}}= \boldsymbol{u}-\boldsymbol{v}\). □

Lemma 4.3

The map \(\boldsymbol{u}\mapsto\mathcal{A}(\boldsymbol{u}+\boldsymbol {u}_{\ell})\) in (17) is coercive in \([L^{m+1}(\Omega)]^{d}\), for any \(\boldsymbol{u}_{\ell}\) fixed in \([L^{m+1}(\Omega)]^{d}\),
$$ \lim_{ \Vert \boldsymbol{u} \Vert _{[L^{m+1}(\Omega )]^{d}\rightarrow\infty }} \biggl( \frac{1}{ \Vert \boldsymbol{u} \Vert _{[L^{m+1}(\Omega)]^{d}}} \int_{\Omega}\mathcal{A}(\boldsymbol{u}+\boldsymbol{u_{\ell}}) \cdot\boldsymbol{u}\,d\boldsymbol{x} \biggr) =\infty. $$
(51)

Proof

Let \(\boldsymbol{u}\in[L^{m+1}(\Omega)]^{d}\) be arbitrary chosen and assign \(\hat{\boldsymbol{u}} =\boldsymbol{u}+\boldsymbol{u}_{\ell}\). Then
$$ \int_{\Omega}\mathcal{A}(\hat{\boldsymbol{u}})\cdot\boldsymbol {u}\,d\boldsymbol{x}= \int_{\Omega}\mathcal{A}(\hat{\boldsymbol{u}})\hat{ \boldsymbol{u}} \,d\boldsymbol{x}- \int_{\Omega}\mathcal{A}(\hat{\boldsymbol{u}}) \boldsymbol{u}_{\ell}\,d\boldsymbol{x}. $$
(52)
Thanks to (43), we see that
$$\begin{aligned} F^{\prime}(\hat{\boldsymbol{u}})\cdot\hat{\boldsymbol{u}}&= \frac{\mu }{\rho} \int_{\Omega}K^{-1}\hat{\boldsymbol{u}}\cdot\hat{ \boldsymbol{u}}\,d\boldsymbol{x}+ \frac{\beta}{\rho} \int_{\Omega} \vert \hat{\boldsymbol{u}} \vert ^{m-1}(\hat{\boldsymbol{u}}\cdot\hat{\boldsymbol{u}}) \,d\boldsymbol{x} \\ &= \int_{\Omega}\biggl( \frac{\mu}{\rho}K^{-1}\hat{ \boldsymbol{u}}+\frac {\beta}{\rho} \vert \boldsymbol{u} \vert ^{m-1} \hat{\boldsymbol{u}} \biggr)\cdot\hat{\boldsymbol{u}}\,d\boldsymbol{x} \\ &= \int_{\Omega}\mathcal{A}(\hat{\boldsymbol{u}})\cdot\hat{ \boldsymbol{u}} \,d\boldsymbol{x} . \end{aligned}$$
With the last line above, (52) becomes
$$ \int_{\Omega}\mathcal{A}(\hat{\boldsymbol{u}})\cdot\boldsymbol {u}\,d\boldsymbol{x}= F^{\prime}(\hat{\boldsymbol{u}})\cdot\hat {\boldsymbol {u}}- \int_{\Omega}\mathcal{A}(\hat{\boldsymbol{u}}) \boldsymbol{u}_{\ell}\,d\boldsymbol{x}. $$
(53)
We have
$$\begin{aligned} F^{\prime}(\hat{\boldsymbol{u}})\cdot\hat{\boldsymbol{u}} &=\frac{\mu}{\rho} \int_{\Omega}\bigl(K^{-1}\hat{\boldsymbol{u}}\bigr)\cdot \hat{\boldsymbol{u}}\,d\boldsymbol{x}+ \frac{\beta}{\rho} \int_{\Omega} \vert \hat{\boldsymbol{u}} \vert ^{m-1}( \hat{\boldsymbol{u}}\cdot\hat{\boldsymbol{u}})\,d\boldsymbol{x} \\ &=\frac{\mu}{\rho} \int_{\Omega}\bigl(K^{-1}\hat{\boldsymbol{u}}\bigr)\cdot \hat{\boldsymbol{u}}\,d\boldsymbol{x}+ \frac{\beta}{\rho} \int_{\Omega} \vert \hat{\boldsymbol{u}} \vert ^{m+1}\,d \boldsymbol{x}. \end{aligned}$$
This implies
$$\begin{aligned} F^{\prime}(\hat{\boldsymbol{u}})\cdot\hat{\boldsymbol{u}} &\geq \frac{\mu}{\rho}\lambda_{s} \Vert \hat{\boldsymbol{u}} \Vert ^{2}_{L^{2}} + \frac{\beta}{\rho} \Vert \hat{\boldsymbol{u}} \Vert ^{m+1}_{[L^{m+1}(\Omega )]^{d}} \\ &\geq\frac{C\mu}{\rho}\lambda_{s} \Vert \hat{\boldsymbol{u}} \Vert ^{2}_{[L^{m}(\Omega)]^{d}} + \frac{\beta}{\rho} \Vert \hat{ \boldsymbol{u}} \Vert ^{m+1}_{[L^{m+1}(\Omega)]^{d}},\quad m\leq2. \end{aligned}$$
(54)
Now, we estimate the second term on the right-hand side of (53).
$$\begin{aligned} \int_{\Omega}\mathcal{A}(\hat{\boldsymbol{u}}) \boldsymbol{u}_{\ell}\,d\boldsymbol{x}\leq{}&\bigl\Vert \mathcal{A}(\hat{ \boldsymbol{u}}) \bigr\Vert _{[L^{\frac {m+1}{m}}(\Omega)]^{d}} \Vert \boldsymbol{u}_{\ell} \Vert _{[L^{m+1}(\Omega )]^{d}} \\ \leq{}&\biggl( \frac{\mu}{\rho} \bigl\Vert K^{-1} \bigr\Vert _{L^{\infty}(\Omega)} \Vert \hat{\boldsymbol{u}} \Vert _{[L^{\frac {m+1}{m}}(\Omega)]^{d}}+ \frac{\beta}{\rho} \Vert \hat{\boldsymbol{u}} \Vert ^{m}_{[L^{m+1}(\Omega)]^{d}} \biggr) \Vert \boldsymbol{u}_{\ell} \Vert _{[L^{m+1}(\Omega)]^{d}} \\ \leq{}&\frac{\mu}{\rho} \bigl\Vert K^{-1} \bigr\Vert _{L^{\infty}(\Omega)} \Vert \hat{\boldsymbol{u}} \Vert _{[L^{\frac {m+1}{m}}(\Omega)]^{d}} \Vert \boldsymbol{u}_{\ell} \Vert _{[L^{m+1}(\Omega)]^{d}} \\ &{}+\frac{\beta}{\rho} \Vert \hat{\boldsymbol{u}} \Vert ^{m}_{[L^{m+1}(\Omega)]^{d}} \Vert \boldsymbol{u}_{\ell} \Vert _{[L^{m+1}(\Omega)]^{d}}. \end{aligned}$$
(55)
Substituting (54) and (55) into (53), we get
$$\begin{aligned} \int_{\Omega}\mathcal{A}(\hat{\boldsymbol{u}})\cdot\boldsymbol {u}\,d\boldsymbol{x}\geq{}&\frac{C\mu}{\rho}\lambda_{s} \Vert \hat{ \boldsymbol{u}} \Vert ^{2}_{[L^{m}(\Omega)]^{d}} + \frac{\beta}{\rho} \Vert \hat{\boldsymbol{u}} \Vert ^{m+1}_{[L^{m+1}(\Omega)]^{d}} \\ &{}-\frac{\mu}{\rho} \bigl\Vert K^{-1} \bigr\Vert _{L^{\infty}(\Omega)} \Vert \hat{\boldsymbol{u}} \Vert _{[L^{\frac {m+1}{m}}(\Omega)]^{d}} \Vert \boldsymbol{u}_{\ell} \Vert _{[L^{m+1}(\Omega)]^{d}} \\ &{}-\frac{\beta}{\rho} \Vert \hat{\boldsymbol{u}} \Vert ^{m}_{[L^{m+1}(\Omega)]^{d}} \Vert \boldsymbol{u}_{\ell} \Vert _{[L^{m+1}(\Omega )]^{d}}. \end{aligned}$$
(56)
Hence,
$$\begin{aligned} \int_{\Omega}\mathcal{A}(\hat{\boldsymbol{u}})\cdot\boldsymbol {u}\,d\boldsymbol{x}\geq{}&\frac{\beta}{\rho} \Vert \hat{\boldsymbol {u}} \Vert ^{m}_{[L^{m+1}(\Omega )]^{d}} \bigl( \Vert \hat{\boldsymbol{u}} \Vert _{[L^{m+1}(\Omega)]^{d}}- \Vert \boldsymbol{u}_{\ell} \Vert _{[L^{m+1}(\Omega)]^{d}} \bigr) \\ &{}+\frac {\mu}{\rho}C\lambda_{s} \Vert \hat{ \boldsymbol{u}} \Vert _{[L^{m}(\Omega)]^{d}} \biggl( \Vert \hat {\boldsymbol{u}} \Vert _{[L^{m}(\Omega)]^{d}}-\frac{ \Vert K^{-1} \Vert _{L^{\infty}(\Omega)} \Vert \boldsymbol{u}_{\ell} \Vert _{[L^{m+1}(\Omega )]^{d}}}{C\lambda _{s}} \biggr). \end{aligned}$$
(57)
If \(\|\boldsymbol{u}\|_{[L^{m}(\Omega)]^{d}} \longrightarrow\infty\), then
$$\frac{\mu}{\rho}C\lambda_{s} \Vert \hat{\boldsymbol{u}} \Vert _{[L^{m}(\Omega )]^{d}} \biggl( \Vert \hat{\boldsymbol{u}} \Vert _{[L^{m}(\Omega)]^{d}}- \frac{ \Vert K^{-1} \Vert _{L^{\infty}(\Omega)} \Vert \boldsymbol{u}_{\ell} \Vert _{[L^{m+1}(\Omega )]^{d}}}{C\lambda_{s}} \biggr) \geq0. $$
Therefore,
$$\begin{aligned} \int_{\Omega}\mathcal{A}(\hat{\boldsymbol{u}})\boldsymbol{u}\,d \boldsymbol{x}&\geq\frac{\beta}{\rho} \Vert \hat{\boldsymbol{u}} \Vert _{[L^{m+1}(\Omega )]^{d}} \Vert \hat{\boldsymbol{u}} \Vert ^{m-1}_{[L^{m+1}(\Omega)]^{d}} \bigl( \Vert \hat{\boldsymbol{u}} \Vert _{[L^{m+1}(\Omega)]^{d}}- \Vert \boldsymbol{u}_{\ell} \Vert _{[L^{m+1}(\Omega)]^{d}} \bigr). \end{aligned}$$
Recalling that
$$\hat{\boldsymbol{u}}= \boldsymbol{u} +\boldsymbol{u}_{\ell}\implies \Vert \hat{\boldsymbol{u}} \Vert _{[L^{m+1}(\Omega)]^{d}}\geq \Vert \boldsymbol{u} \Vert _{[L^{m+1}(\Omega)]^{d}} - \Vert \boldsymbol{u}_{\ell} \Vert _{[L^{m+1}(\Omega)]^{d}}. $$
As \(\|\boldsymbol{u}\|_{[L^{m}(\Omega)]^{d}}\longrightarrow\infty\), we obtain
$$\Vert \boldsymbol{u} \Vert _{[L^{m+1}(\Omega)]^{d}} - \Vert \boldsymbol{u}_{\ell} \Vert _{[L^{m+1}(\Omega)]^{d}}\geq\frac{1}{2} \Vert \boldsymbol{u} \Vert _{[L^{m+1}(\Omega)]^{d}}, $$
since \(\|\boldsymbol{u}\|_{[L^{m+1}(\Omega)]^{d}}\geq2\|\boldsymbol {u}_{\ell}\|_{[L^{m+1}(\Omega)]^{d}}\).
Hence,
$$\begin{aligned} \int_{\Omega}\mathcal{A}(\hat{\boldsymbol{u}})\boldsymbol{u}\,d \boldsymbol{x} &\geq\frac{\beta}{2\rho} \Vert \boldsymbol{u} \Vert _{[L^{m+1}(\Omega)]^{d}} \Vert \hat{\boldsymbol{u}} \Vert ^{m-1}_{[L^{m+1}(\Omega)]^{d}} \bigl( \Vert \hat{\boldsymbol{u}} \Vert _{[L^{m+1}(\Omega)]^{d}}- \Vert \boldsymbol{u}_{\ell} \Vert _{[L^{m+1}(\Omega )]^{d}} \bigr). \end{aligned}$$
It follows that
$$ \frac{1}{ \Vert \boldsymbol{u} \Vert _{[L^{m+1}(\Omega)]^{d}}} \int_{\Omega}\mathcal{A}(\hat{\boldsymbol{u}})\boldsymbol{u}\,d \boldsymbol{x}\geq \Vert \hat{\boldsymbol{u}} \Vert ^{m-1}_{[L^{m+1}(\Omega)]^{d}} \bigl( \Vert \hat{\boldsymbol{u}} \Vert _{[L^{m+1}(\Omega)]^{d}}- \Vert \boldsymbol{u}_{\ell} \Vert _{[L^{m+1}(\Omega )]^{d}} \bigr). $$
Letting \(\|\boldsymbol{u}\|_{[L^{m+1}(\Omega)]^{d}}\longrightarrow\infty \), the desired result (51) is achieved. □

Proposition 4.1

For \(\boldsymbol{u}_{\ell}\) fixed in \([L^{m+1}(\Omega)]^{d}\), the map
$$\theta\mapsto \int_{\Omega}\mathcal{A}( \boldsymbol{u}+\boldsymbol {u}_{\ell}+ \theta\boldsymbol{v})\cdot\boldsymbol{w}\,d\boldsymbol{x}, $$
is continuous on \(\mathbb{R}\) for all u, v, \(\boldsymbol{w}\in [L^{m+1}(\Omega)]^{d}\). In other words, \(\mathcal{A}\) is hemi-continuous in \([L^{m+1}(\Omega)]^{d}\).

Proof

Let u and v in \([L^{m+1}(\Omega)]^{d}\) be arbitrary functions and assign \(\hat{\boldsymbol{u}}=\boldsymbol{u}+\boldsymbol{u}_{\ell}\).

For any \(\theta_{1}, \theta_{2}\in\mathbb{R}\),
$$\begin{aligned} \int_{\Omega}\mathcal{A}(\hat{\boldsymbol{u}}+\theta_{1} \boldsymbol{v})\cdot\boldsymbol{v}\,d\boldsymbol{x}&= \int_{\Omega}\biggl( \frac{\mu }{\rho}K^{-1}(\hat{ \boldsymbol{u}}+\theta_{1}\boldsymbol{v})+ \frac{\beta }{\rho} \vert \hat{\boldsymbol{u}}+\theta_{1}\boldsymbol{v} \vert ^{m-1} \cdot(\hat{\boldsymbol{u}}+\theta_{1}\boldsymbol{v}) \biggr)\cdot \boldsymbol{v}\,d\boldsymbol{x} \\ &= \frac{\mu}{\rho} \int_{\Omega}K^{-1}(\hat{\boldsymbol{u}}+\theta _{1}\boldsymbol{v})\cdot\boldsymbol{v}\,d\boldsymbol{x}+ \frac{\beta}{\rho } \int_{\Omega} \vert \hat{\boldsymbol{u}}+\theta_{1} \boldsymbol{v} \vert ^{m-1}(\hat{\boldsymbol{u}}+\theta_{1} \boldsymbol{v})\cdot\boldsymbol{v}\,d\boldsymbol{x}. \end{aligned}$$
Thanks to (43), the last line becomes
$$\int_{\Omega}\mathcal{A}(\hat{\boldsymbol{u}}+\theta_{1} \boldsymbol{v})\cdot\boldsymbol{v}\,d\boldsymbol{x}= F^{\prime}(\hat{ \boldsymbol{u}}+\theta_{1}\boldsymbol{v})\cdot\boldsymbol{v}. $$
Similarly,
$$\int_{\Omega}\mathcal{A}(\hat{\boldsymbol{u}}+\theta_{2} \boldsymbol{v})\cdot\boldsymbol{v}\,d\boldsymbol{x}= F^{\prime}(\hat{ \boldsymbol{u}}+\theta_{2}\boldsymbol{v})\cdot\boldsymbol{v}. $$
Therefore,
$$ \int_{\Omega}\bigl( \mathcal{A}(\hat{\boldsymbol{u}}+ \theta_{1}\boldsymbol{v})-\mathcal{A}(\hat{\boldsymbol{u}}+ \theta_{2}\boldsymbol{v}) \bigr)\cdot\boldsymbol{v} \,d\boldsymbol{x}= \bigl( F^{\prime}(\hat{\boldsymbol{u}}+\theta_{1} \boldsymbol{v})-F^{\prime}(\hat{\boldsymbol{u}}+\theta_{2} \boldsymbol{v}) \bigr)\cdot\boldsymbol{v}. $$
(58)
Now, we define
$$H(\theta)= F^{\prime}\bigl(\theta(\hat{\boldsymbol{u}}+ \theta_{1}\boldsymbol{v})+(1-\theta) (\hat{\boldsymbol{u}}+ \theta_{2}\boldsymbol{v}) \bigr),\quad \theta\in[0, 1]. $$
By the mean value theorem [29],
$$ H(1)-H(0)= H^{\prime}(\alpha),\quad \alpha\in(0, 1). $$
(59)
In fact,
$$\begin{aligned} H^{\prime}(\alpha)&= F^{\prime\prime} \bigl(\alpha(\hat{\boldsymbol {u}}+\theta_{1}\boldsymbol{v})+(1-\alpha) (\hat{\boldsymbol{u}}+\theta _{2}\boldsymbol{v}) \bigr)\cdot(\theta_{1}- \theta_{2})\boldsymbol{v} \\ &= F^{\prime\prime} \bigl(\hat{\boldsymbol{u}}+\theta_{2}\boldsymbol {v}-\alpha(\theta_{2}-\theta_{1})\boldsymbol{v} \bigr)\cdot( \theta_{1}-\theta_{2})\boldsymbol{v}. \end{aligned}$$
(60)
Therefore, (59) becomes
$$ \bigl( F^{\prime}(\hat{\boldsymbol{u}}+\theta_{1} \boldsymbol{v})-F^{\prime}(\hat{\boldsymbol{u}}+\theta_{2} \boldsymbol{v}) \bigr)\cdot\boldsymbol{v}= F^{\prime\prime} \bigl(\hat{ \boldsymbol{u}}+\theta_{2}\boldsymbol{v}-\alpha(\theta_{2}- \theta_{1})\boldsymbol{v} \bigr)\cdot(\theta_{1}-\theta _{2})\boldsymbol{v}, \quad \alpha\in(0, 1). $$
(61)
Using (61), it follows from (58) that
$$\begin{aligned} &\int_{\Omega}\bigl( \mathcal{A}(\hat{\boldsymbol{u}}+ \theta_{1}\boldsymbol{v})-\mathcal{A}(\hat{\boldsymbol{u}}+ \theta_{2}\boldsymbol{v}) \bigr)\cdot\boldsymbol{v} \,d\boldsymbol{x} \\ &\quad=-( \theta_{2}-\theta_{1}) \int_{0}^{1}F^{\prime\prime} \bigl( \hat{ \boldsymbol{u}}+\theta_{2}\boldsymbol{v}-\alpha(\theta_{2}- \theta_{1})\boldsymbol{v} \bigr) \cdot(\boldsymbol{v},\boldsymbol{v})\,d \alpha. \end{aligned}$$
(62)
In view of (44), the term on the RHS of (62) goes to zero as \(\theta_{2}-\theta_{1}\) goes to zero. Thus Proposition (4.1) is proved. □

4.1 Proof of the main result (Theorem 1.1)

In view of Lemmas 4.1, 4.2, 4.3 and Proposition 4.1, the existence and uniqueness of u follows from the Minty–Browder theorem [23]. The inf-sup condition in Lemma 3.1 guarantees the existence and uniqueness of p [21, 26], so that the pair \((\boldsymbol{u}, p)\) solves Problem (12)–(13).

5 Stability

In this section, we prove the stability of the solution in Theorem 1.1.

Theorem 5.1

For any lifting \(\boldsymbol{u}_{\ell}\) in \([L^{m+1}(\Omega)]^{d}\) satisfying (26), the pair of functions \((\boldsymbol{u}, p)\) in Theorem 1.1 satisfies the following estimates:
$$\begin{aligned} \Vert \boldsymbol{u} \Vert _{[L^{m+1}(\Omega)]^{d}}\leq{}&\biggl( \Vert \boldsymbol {u_{\ell}} \Vert ^{m+1}_{[L^{m+1}(\Omega)]^{d}} +\frac{C(m+1)}{4} \frac{\mu}{\beta}\frac{ \Vert K^{-1} \Vert _{L^{\infty}(\Omega )}}{\lambda_{s}}\|\boldsymbol{u_{\ell}\|}^{2}_{[L^{m+1}(\Omega)]^{d}} \\ &{}+\frac{\rho(m+1)}{\beta}\|\boldsymbol{f}\|_{[L^{\frac {m+1}{m}}(\Omega)]^{d}}\| \boldsymbol{u}_{0}\|_{[L^{m+1}(\Omega)]^{d}} \biggr)^{\frac{1}{m+1}}, \end{aligned}$$
(63)
where \(\boldsymbol{u}_{\ell}\) satisfies the bound in (26) and
$$ \Vert \nabla p \Vert _{[L^{\frac{m+1}{m}}(\Omega)]^{d}}\leq\frac{\mu }{\rho} \bigl\Vert K^{-} \bigr\Vert _{L^{\infty}} \Vert \boldsymbol{u} \Vert _{[L^{\frac{m+1}{m}}(\Omega)]^{d}}+ \frac{\beta}{\rho} \Vert \boldsymbol {u} \Vert ^{2}_{[L^{m+1}(\Omega)]^{d}}+ \Vert \boldsymbol{f} \Vert _{[L^{\frac{m+1}{m}}(\Omega)]^{d}}. $$
(64)

Proof

Setting \(\boldsymbol{\varphi}=\boldsymbol{u}_{0}\) in (33) gives
$$ \int_{\Omega}\mathcal{A}({\boldsymbol {u}}_{0} +{ \boldsymbol {u}}_{\ell})\cdot\boldsymbol{u}_{0}\,d{\boldsymbol {x}}= \int_{\Omega}\boldsymbol{f}\cdot\boldsymbol{u}_{0}\,d{ \boldsymbol {x}}. $$
(65)
Therefore,
$$\begin{aligned} \int_{\Omega}\mathcal{A}(\boldsymbol{u})\cdot\boldsymbol{u}\,d \boldsymbol{x}&= \int_{\Omega}\mathcal{A}({\boldsymbol {u}}_{0} +{ \boldsymbol {u}}_{\ell})\cdot\boldsymbol{u}_{0}\,d{\boldsymbol {x}}+ \int_{\Omega}\mathcal{A}({\boldsymbol {u}}_{0} +{ \boldsymbol {u}}_{\ell})\cdot\boldsymbol{u}_{\ell}\,d \boldsymbol{x} \\ &= \int_{\Omega}\boldsymbol{f}\cdot\boldsymbol{u}_{0}\,d{ \boldsymbol {x}} + \int_{\Omega}\mathcal{A}({\boldsymbol {u}}_{0} +{ \boldsymbol {u}}_{\ell})\cdot\boldsymbol{u}_{\ell}\, d \boldsymbol{x}. \end{aligned}$$
(66)
We estimate the LHS of (66) as follows:
$$\begin{aligned} \int_{\Omega}\mathcal{A}(\boldsymbol{u})\cdot\boldsymbol{u}\,d \boldsymbol{x} &= \int_{\Omega}\frac{\mu}{\rho}K^{-1}\boldsymbol{u}\cdot \boldsymbol{u}\,d\boldsymbol{x}+ \int_{\Omega}\frac{\beta}{\rho} \vert \boldsymbol{u} \vert ^{m-1}\boldsymbol{u}\cdot\boldsymbol{u}\,d\boldsymbol{x} \\ &\geq\frac{\mu\lambda_{s}}{\rho} \Vert \boldsymbol{u} \Vert ^{2}_{[L^{2}(\Omega)]^{d}} + \frac{\beta}{\rho} \Vert \boldsymbol{u} \Vert ^{m+1}_{[L^{m+1}(\Omega )]^{d}}. \end{aligned}$$
(67)
The RHS of (66) gives the following bound:
$$\begin{aligned} \int_{\Omega}\boldsymbol{f}\cdot\boldsymbol{u}_{0}\,d{ \boldsymbol {x}} + \int_{\Omega}\mathcal{A}(\boldsymbol{u})\cdot \boldsymbol{u}_{\ell}\,d\boldsymbol{x}\leq{}&\Vert \boldsymbol{f} \Vert _{[L^{\frac{m+1}{m}}(\Omega)]^{d}} \Vert \boldsymbol{u}_{0} \Vert _{[L^{m+1}(\Omega)]^{d}} \\ &{}+ \bigl\Vert \mathcal{A}(\boldsymbol{u}) \bigr\Vert _{[L^{\frac {m+1}{m}}(\Omega)]^{d}} \Vert \boldsymbol{u}_{\ell} \Vert _{[L^{m+1}(\Omega )]^{d}}. \end{aligned}$$
In view of (40), we get
$$\begin{aligned} \int_{\Omega}\boldsymbol{f}\cdot\boldsymbol{u}_{0}\,d{ \boldsymbol {x}} + \int_{\Omega}\mathcal{A}(\boldsymbol{u})\cdot \boldsymbol{u}_{\ell}\,d\boldsymbol{x}\leq{}&\Vert \boldsymbol{f} \Vert _{[L^{\frac{m+1}{m}}(\Omega)]^{d}} \Vert \boldsymbol{u}_{0} \Vert _{[L^{m+1}(\Omega)]^{d}} \\ &{}+ \frac{\mu}{\rho} \bigl\Vert K^{-1} \bigr\Vert _{L^{\infty}(\Omega)} \Vert \boldsymbol{u} \Vert _{[L^{\frac {m+1}{m}}(\Omega)]^{d}} \Vert \boldsymbol{u}_{\ell} \Vert _{[L^{m+1}(\Omega)]^{d}} \\ &{} + \frac{\beta}{\rho} \Vert \boldsymbol{u} \Vert ^{m}_{[L^{m+1}(\Omega )]^{d}} \Vert \boldsymbol{u}_{\ell} \Vert _{[L^{m+1}(\Omega)]^{d}}. \end{aligned}$$
(68)
Substituting (67) and (68) into (66) yields
$$\begin{aligned} \frac{\mu}{\rho}\lambda_{s} \Vert \boldsymbol{u} \Vert ^{2}_{L^{2}}+\frac{\beta}{\rho } \Vert \boldsymbol{u} \Vert ^{m+1}_{[L^{m+1}(\Omega)]^{d}}\leq{}&\frac{\mu}{\rho} \bigl\Vert K^{-1} \bigr\Vert _{L^{\infty}(\Omega)} \Vert \boldsymbol{u} \Vert _{[L^{\frac{m+1}{m}}(\Omega )]^{d}} \Vert \boldsymbol{u}_{\ell} \Vert _{[L^{m+1}(\Omega)]^{d}} \\ &{}+ \frac{\beta}{\rho} \Vert \boldsymbol{u} \Vert ^{m}_{[L^{m+1}(\Omega)]^{d}} \Vert \boldsymbol{u}_{\ell} \Vert _{[L^{m+1}(\Omega )]^{d}} \\ &{}+ \Vert \boldsymbol{f} \Vert _{[L^{\frac{m+1}{m}}(\Omega )]^{d}} \Vert \boldsymbol{u}_{0} \Vert _{[L^{m+1}(\Omega)]^{d}}. \end{aligned}$$
(69)
Then, for any \(\epsilon>0\) and \(m>1\),
$$\begin{aligned} &\frac{\mu}{\rho}\lambda_{s} \Vert \boldsymbol{u} \Vert ^{2}_{L^{2}}+\frac{\beta}{\rho } \Vert \boldsymbol{u} \Vert ^{m+1}_{[L^{m+1}(\Omega)]^{d}} \\ &\quad\leq\frac{\mu}{2\rho} \bigl\Vert K^{-1} \bigr\Vert _{L^{\infty}(\Omega)} \biggl( \epsilon \Vert \boldsymbol{u} \Vert ^{2}_{[L^{\frac {m+1}{m}}(\Omega)]^{d}}+ \frac{1}{\epsilon} \Vert \boldsymbol{u}_{\ell} \Vert ^{2}_{[L^{m+1}(\Omega)]^{d}} \biggr) \\ &\qquad{}+\frac{\beta}{\rho(m+1)} \bigl( m \Vert \boldsymbol{u} \Vert ^{m+1}_{[L^{m+1}(\Omega)]^{d}}+ \Vert \boldsymbol{u}_{\ell} \Vert ^{m+1}_{[L^{m+1}(\Omega)]^{d}} \bigr) \\ &\qquad{}+ \Vert \boldsymbol{f} \Vert _{[L^{\frac{m+1}{m}}(\Omega )]^{d}} \Vert \boldsymbol{u}_{0} \Vert _{[L^{m+1}(\Omega)]^{d}}. \end{aligned}$$
(70)
It follows that
$$\begin{aligned} & \frac{\mu}{\rho}\lambda_{s} \Vert \boldsymbol{u} \Vert ^{2}_{[L^{2}(\Omega)]^{d}}+\frac {\beta}{\rho} \Vert \boldsymbol{u} \Vert ^{m+1}_{[L^{m+1}(\Omega)]^{d}} \\ &\quad\leq\frac {\mu}{2\rho} \bigl\Vert K^{-1} \bigr\Vert _{L^{\infty}(\Omega)} \biggl( C\epsilon \Vert \boldsymbol{u} \Vert ^{2}_{[L^{2}(\Omega)]^{d}]}+ \frac{1}{\epsilon} \Vert \boldsymbol{u}_{\ell} \Vert ^{2}_{[L^{m+1}(\Omega)]^{d}} \biggr) \\ &\qquad{}+\frac{\beta}{\rho(m+1)} \bigl( m \Vert \boldsymbol{u} \Vert ^{m+1}_{[L^{m+1}(\Omega)]^{d}}+ \Vert \boldsymbol{u}_{\ell} \Vert ^{m+1}_{[L^{m+1}(\Omega)]^{d}} \bigr) \\ &\qquad{}+ \Vert \boldsymbol{f} \Vert _{[L^{\frac{m+1}{m}}(\Omega )]^{d}} \Vert \boldsymbol{u}_{0} \Vert _{[L^{m+1}(\Omega)]^{d}}. \end{aligned}$$
(71)
We choose \(\epsilon=\frac{2\lambda_{s}}{C\|K^{-1}\|_{L^{\infty}(\Omega )}}\) and (71) becomes
$$\begin{aligned} &\frac{\beta}{\rho(m+1)} \Vert \boldsymbol{u} \Vert ^{m+1}_{[L^{m+1}(\Omega )]^{d}} \\ &\quad \leq\frac{\beta}{(m+1)} \Vert \boldsymbol{u}_{\ell} \Vert ^{m+1}_{[L^{m+1}(\Omega)]^{d}} +\frac{C}{4}\frac{\mu}{\rho} \frac{ \Vert K^{-1} \Vert ^{2}_{L^{\infty}(\Omega)}}{\lambda_{s}} \Vert \boldsymbol {u}_{\ell} \Vert ^{2}_{[L^{m+1}(\Omega)]^{d}} \\ &\qquad{} + \Vert \boldsymbol{f} \Vert _{[L^{\frac{m+1}{m}}(\Omega )]^{d}} \Vert \boldsymbol{u}_{0} \Vert _{[L^{m+1}(\Omega)]^{d}}. \end{aligned}$$
(72)
Hence (63) is established.
In view of (34), we have
$$ \Vert \nabla p \Vert _{[L^{\frac{m+1}{m}}(\Omega)]^{d}}\leq \bigl\Vert \mathcal{A}(\boldsymbol{u}_{0}+\boldsymbol{u}_{\ell}) \bigr\Vert _{[L^{\frac{m+1}{m}}(\Omega)]^{d}} + \Vert \boldsymbol{f} \Vert _{[L^{\frac{m+1}{m}}(\Omega)]^{d}}. $$
(73)
Now, applying (40) to the RHS of (73), we get
$$\begin{aligned} &\Vert \nabla p \Vert _{[L^{\frac{m+1}{m}}(\Omega)]^{d}}\\ &\quad\leq\frac{\mu }{\rho} \bigl\Vert K^{-1} \bigr\Vert _{L^{\infty}(\Omega)} \Vert \boldsymbol{u}_{0}+ \boldsymbol{u}_{\ell} \Vert _{[L^{\frac{m+1}{m}}(\Omega)]^{d}}+ \frac{\beta }{\rho} \Vert \boldsymbol{u}_{0}+\boldsymbol{u}_{\ell} \Vert ^{m}_{[L^{m+1}(\Omega)]^{d}} + \Vert \boldsymbol{f} \Vert _{[L^{\frac {m+1}{m}}(\Omega)]^{d}}. \end{aligned}$$
Thus (64) is established, since \(\boldsymbol{u}=\boldsymbol {u}_{0}+ \boldsymbol{u}_{\ell}\). □

6 Conclusion

The well-posedness of Darcy–Forchheimer model was first established in [20]. In this paper, we extended the well-posedness results to the generalized Darcy–Forchheimer model in a two- or three-dimensional porous domain using classical arguments for nonlinear monotone saddle point problems.

Declarations

Acknowledgements

The authors would like to express their sincere thanks to King Fahd University of Petroleum and Minerals for its support.

Availability of data and materials

Not applicable.

Funding

Not applicable.

Authors’ contributions

All authors contributed equally. They both read and approved the final manuscript.

Competing interests

The authors declare that they have no competing interests.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
Department of Mathematics and Statistics, King Fahd University of Petroleum and Minerals, Dhahran, Saudi Arabia

References

  1. Morales, F., Naranjo Alvarez, S.: The interaction between PDE and graphs in multiscale modeling. Opusc. Math. 37(2), 327–345 (2017) MathSciNetView ArticleMATHGoogle Scholar
  2. Cavalcanti, M., Domingos Cavalcanti, V., Lasiecka, I., Webler, C.: Intrinsic decay rates for the energy of a nonlinear viscoelastic equation modeling the vibrations of thin rods with variable density. Adv. Nonlinear Anal. 6(2), 121–145 (2017) MathSciNetMATHGoogle Scholar
  3. Fairag, F.A.: Analysis and finite element approximation of a Ladyzhenskaya model for viscous flow in streamfunction form. J. Comput. Appl. Math. 206(1), 374–391 (2007) MathSciNetView ArticleMATHGoogle Scholar
  4. Al-Smail, J.H., Messaoudi, S.A., Talahmeh, A.A.: Well-posedness and numerical study for solutions of a parabolic equation with variable-exponent nonlinearities. International Journal of Differential Equations (2018) Google Scholar
  5. Forchheimer, P.: Wasserbewegung durch boden. Z. Ver. Dtsch. Ing. 45, 1782–1788 (1901) Google Scholar
  6. Muskat, M.: The flow of homogeneous fluids through porous media The Mapple Press Company, York, PA Google Scholar
  7. Firdaouss, M., Guermond, J., Le Quéré, P.: Nonlinear corrections to Darcy’s law at low Reynolds numbers. J. Fluid Mech. 343, 331–350 (1997) MathSciNetView ArticleMATHGoogle Scholar
  8. Skjetne, E., Auriault, J.L.: High-velocity laminar and turbulent flow in porous media. Transp. Porous Media 36, 131–147 (1999) MathSciNetView ArticleMATHGoogle Scholar
  9. Ghergu, M., Radulescu, V.: Nonlinear PDEs: Mathematical Models in Biology, Chemistry and Population Genetics. Springer Science & Business Media, New York (2011) MATHGoogle Scholar
  10. Firoozabadi, A., Katz, D.L.: An analysis of high-velocity gas flow through porous media. J. Pet. Technol. 31, 211–216 (1979) View ArticleGoogle Scholar
  11. Firoozabadi, A., Thomas, L.K., Todd, B.: High-velocity flow in porous media. SPE Reserv. Eng. 10, 149–152 (1995) View ArticleGoogle Scholar
  12. Miskimins, Jennifer, L., Lopez, H.D., Barree, R.D.: Non-Darcy flow in hydraulic fractures: does it really matter? In: SPE Annual Technical Conference and Exhibition. Society of Petroleum Engineers, (2005) Google Scholar
  13. Aulisa, E., Bloshanskaya, L., Hoang, L.: Analysis of generalized Forchheimer equations for compressible fluids in porous media. J. Math. Phys. 50, 103102 (2009) MathSciNetView ArticleMATHGoogle Scholar
  14. Hoang, L., Ibragimov, A.: Structural stability of generalized Forchheimer equations for compressible fluids in porous media. Nonlinearity 24, 1 (2010) MathSciNetView ArticleMATHGoogle Scholar
  15. Douglas, J., Paes-Leme, P.J., Giorgi, T.: Generalized Forchheimer flow in porous media. Army High Performance Computing Research Center (1993) Google Scholar
  16. Bear, J.: Dynamics of Fluids in Porous Media. Dover, New York (1988) MATHGoogle Scholar
  17. Norrier, D.H., Vries, G.D.: A survey of finite element application in fluid mechanics. In: Finite Elements in Fluid. Finite Elements in Fluids, pp. 363–395. Wiley, New York (1978) Google Scholar
  18. Mei, C., Auriault, J.: The effect of weak inertia on flow through a porous medium. J. Fluid Mech. 222, 647–663 (1991) MathSciNetView ArticleMATHGoogle Scholar
  19. Chauveteau, G., Thirriot, C.: (1965): Sur les pertes de charge en écoulement laminaire dans quelques géométries simple et dans le milieu poreux, IX Convegno di idraulica e costruzioni idrauliche, Trieste, III A 3 Google Scholar
  20. Girault, V., Wheeler, M.F.: Numerical discretization of a Darcy–Forchheimer model. Numer. Math. 110(2), 161–198 (2008) MathSciNetView ArticleMATHGoogle Scholar
  21. Boffi, D., Brezzi, F., Fortin, M.: Mixed Finite Element Methods and Applications, vol. 44. Springer, Berlin (2013) MATHGoogle Scholar
  22. Brezzi, F.: On the existence, uniqueness and approximation of saddle-point problems arising from Lagrangian multipliers. RAIRO. Anal. Numér. 8(R2), 129–151 (1974) MathSciNetMATHGoogle Scholar
  23. Browder, F.: The solvability of non-linear functional equations. Duke Math. J. 30(4), 557–566 (1963) MathSciNetView ArticleMATHGoogle Scholar
  24. Showalter, R.E.: Monotone Operators in Banach Space and Nonlinear Partial Differential Equations. Am. Math. Soc., Providence (2013) View ArticleGoogle Scholar
  25. Adams, R.A.: Sobolev spaces Academic Press, New York Google Scholar
  26. Girault, V., Raviart, P.: Finite Element Approximation of the Navier–Stokes Equations. Springer, Berlin (1986) View ArticleMATHGoogle Scholar
  27. Brezis, H.: Functional Analysis, Sobolev Spaces and Partial Differential Equations. Springer Science & Business Media, New York (2010) View ArticleGoogle Scholar
  28. William, S., Martin, L.: Mean value theorem for vector valued functions. Math. Mag. 52, 157–158 (1979) MathSciNetView ArticleGoogle Scholar
  29. Rudin, W.: Principles of Mathematical Analysis. McGraw-Hill, New York (1976) MATHGoogle Scholar

Copyright

Advertisement