Abstract
Having in view a model proposed by Nield and Kuznetsov (Transp Porous Media 59:325–339, 2005; Transp Porous Media 96:495–499, 2013), we consider a more general system of coupled Navier–Stokes type equations in the incompressible case subject to the homogeneous Dirichlet condition in a bounded domain. We provide a deep theoretical analysis for large classes of equations and coupled systems of Navier–Stokes type with various non-homogeneous terms of reaction type. Existence results are obtained by using a variational approach making use of several fixed point principles and matrix theory.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Stokes and Navier–Stokes systems play a main role in various areas of fluid mechanics, engineering, biology, chemistry, and there is a huge list of references concerning the mathematical analysis of related boundary value problems and of their applications. Among of them, we mention the books [4, 5, 9, 13, 24, 25, 29, 41, 42, 45, 46].
Let \(N\ge 2\) and \(\Omega \) be an open set in \(\mathbb {R}^N\). Let \(\eta ,\kappa \ge 0\) and \(\mu >0\) be given constants. Let \(\textbf{u}\) and p be unknown vector and scalar fields. Let us assume that \(\textbf{f}\) is a given vector field defined on \(\Omega \). Then the equations
determine a Navier–Stokes type system in the incompressible framework. If \(\eta =0\) and \(\kappa >0\) we then obtain the well-known Navier–Stokes system in the incompressible case, while for \(\eta =\kappa =0\), (1.1) becomes the Stokes system, which is an Agmon-Douglis-Nirenberg elliptic and linear system (see, e.g., [13, 16, 29, 45] for further details).
Extensions to a more general case of anisotropic Stokes and Navier–Stokes systems with \(L^\infty \)-variable coefficients, and the analysis of various boundary value problems involving them can be consulted in [18,19,20,21] and the references therein.
Fabes et al. [12] used a layer potential approach in the analysis of the Dirichlet problem for the Stokes system on Lipschitz domains in the Euclidean setting (see also [10] for applications of the layer potential approach for strongly elliptic differential operators). Dindos̆ and Mitrea [11] proved the well-posedness in Sobolev and Besov spaces for the Dirichlet problem for the Stokes and Navier–Stokes systems with smooth coefficients in Lipschitz domains on compact Riemannian manifolds. Mitrea and Wright [27] obtained well-posedness results in Sobolev and Besov spaces for Dirichlet problems for the Stokes system with constant coefficients in Lipschitz domains in \({\mathbb {R}}^n\) for Dirichlet problems for the Stokes, Oseen and Navier–Stokes systems with constant coefficients in a non-solenoidal framework (see also the references therein).
Korobkov et al. [22] studied the flux problem in the theory of steady Navier–Stokes equations with constant coefficients and non-homogeneous boundary conditions. Amrouche and Rodríguez-Bellido [1] have proved the existence of a very weak solution for the non-homogeneous Dirichlet problem for the compressible Navier–Stokes system in a bounded domain of the class \(C^{1,1}\) in \({\mathbb {R}}^3\).
Bulíček et al. [6] studied a boundary value problem with homogeneous Dirichlet condition associated with a system of nonlinear partial differential equations that generalize the classical fluid flow models of Stokes, Darcy, Forchheimer and Brinkman, by assuming that the viscosity and the drag coefficient depend on the shear rate and the pressure. The authors proved the existence of weak solutions to the problem under a minimal number of conditions, and analyzed relevant examples of viscosities and drag coefficients modeling real physical situations.
The authors in [18] analyzed in \(L^2\)-based Sobolev spaces, the non-homogeneous boundary value problems of Dirichlet-transmission type for the anisotropic Stokes and Navier–Stokes systems in a compressible framework in a bounded Lipschitz domain with a transversal Lipschitz interface in \({ \mathbb {R}}^n\), \(n\ge 2\) (\(n=2,3\) for the nonlinear problems). They proved the existence of a weak solution to the Dirichlet problem and the Dirichlet-transmission problem for the nonlinear anisotropic Navier–Stokes system by using the Leray–Schauder fixed point theorem and various results and estimates from the linear case, as well as the Leray-Hopf inequality and some other norm inequalities. Explicit conditions for uniqueness of solutions to the nonlinear problems have been also provided. Mixed problems and mixed-transmission problems for the anisotropic Stokes and Navier–Stokes systems in bounded Lipschitz domains with transversal Lipschitz interfaces have been considered in [19] and analyzed from the variational point of view. The authors in [17] used a layer potential approach and the Leray–Schauder fixed point theorem and proved existence results for a nonlinear Neumann-transmission problem for the Stokes and Brinkman systems in \(L^p\), Sobolev, and Besov spaces. Mazzucato and Nistor [26] obtained well-posedness and regularity results in Sobolev spaces for the linear elasticity equations in the anisotropic case with mixed boundary conditions on polyhedral domains.
1.1 Bidisperse Porous Media and Some Related Models
A bidisperse porous medium (BDPM) may be described as a standard porous medium in which the solid phase is replaced by another porous medium. Thus, a BDPM can be viewed as a medium composed of clusters of large particles that are agglomerations of small particles (cf. [8], see also [32, 33]). The voids between the clusters are macro-pores and the voids within the clusters, which are much smaller in size, are micro-pores. We can then define the f-phase (the macro-pores) and the p-phase (the remainder of the structure). Bidisperse adsorbent or bidisperse capillary wicks in a heat pipe are practical applications related to bidisperse porous media. There are also various biological structures, such as bone regeneration scaffolds, that can be described in terms of bidisperse porous media (see also [33]).
Extending the Brinkman model for a monodisperse porous medium, Nield and Kuznetsov [30] considered a model to describe the steady-state momentum transfer in a BDPM by the following pair of coupled equations for the velocities \({\textbf {v}}_f^*\) and \({\textbf {v}}_pf^*\) in the macro and micro-pores,
where the asterisks denote dimensional variables, \(\textbf{G}\) is the negative of the applied pressure gradient, \(\mu \) is the fluid viscosity, \(K_{p}\) and \(K_{f}\) are the permeabilities of the two phases, \(\zeta \) is the coefficient for momentum transfer between the two phases, and \(\widetilde{\mu }_{f}\) and \(\widetilde{\mu }_{p}\) are the effective viscosities of the two phases (cf. also [32]). In the model proposed by Nield and Kuznetsov [30], the quadratic or Forchheimer terms \(|\textbf{v}_{p}^{*}|\textbf{v}_{p}^{*}\) and \(\textbf{v}_{f}^{*}|\textbf{v}_{f}^{*}\) have been neglected. This model and various extensions have been considered in many studies related to forced, natural and mixed convection. Among them, we mention [7, 23, 28, 31, 33, 39, 40, 43] (see also the references therein). The thermal convection in an anisotropic bidisperse porous medium has been investigated in [44].
Nield and Kuznetsov [33] extended their linear model proposed in [30] by adding some semilinear terms, called the Forchheimer drag terms, as follows
where \(\rho \) is the density of the fluid, and \(c_{f}\) and \(c_{p}\) are the Forchheimer coefficients.
The Nield–Kuznetsov models described above are based on the same pressure gradient \(-\textbf{G}\) in both phases. Other models consider possible different pressures in the macro and micro phases. For instance, Straughan [44] having analyzed a model of thermal convection in an anisotropic bidispersive porous medium with permeability tensors in the macro and micro phases, considers different velocities \(\textbf{U}^f\) and \(\textbf{U}^p\) and different pressures \(p^f\) and \(p^p\) in the macro and micro-pores (see also [7] and the references therein for similar models of bidisperse porous media with different velocities and different pressures in macro and micro phases).
Having in view the model of Nield and Kuznetsov [33], where the steady-state momentum transfer is described by the previous semilinear system, and also the model of Straughan [44], we consider a more general nonlinear coupled type Navier–Stokes system arising in the analysis of fluid flows in bidisperse porous media. Thus, our paper is build around the following system
where \(\Omega \subset \mathbb {R}^N\) is a bounded domain (\(N\le 3\)), \(p\ge 1 \), \(\eta _i,\, \kappa _{i},\, \alpha _{i}\ge 0\) and \(\mu _i,\, \gamma _{i}>0\), \(i=1,2 \), are given constants whose meaning depends on the physical properties of fluid flow and porous medium, while \(\textbf{h}_i\), \(i=1,2\), are given data in some Sobolev spaces.
In order to analyze this system, we provide a deep analysis of a homogeneous Dirichlet problem of more general coupled Navier–Stokes systems with various non-homogeneous terms of reaction type, and obtain existence results by using a variational approach combined with fixed point theorems, a technique already used for other classes of equations (see [34, Ch. 6], [35, 37, Chs.9-12], [38]).
The paper is structured as follows. First, we mention some well-known but useful results regarding the stationary Navies-Stokes equations in the incompressible case. The next section is devoted to the analysis of the homogeneous Dirichlet problem for the Navier–Stokes equations with reaction terms. We obtain existence results based on the Schauder fixed point theorem and the Leray–Schauder fixed point theorem. Uniqueness result can be also obtained by using the Banach contraction principle, by imposing additional conditions to the reaction terms. The third section is devoted to the analysis of a coupled system of Navier–Stokes equations. The last section is devoted to a coupled system that could describe a fluid flow in a bidisperse porous medium. We obtain related existence and uniqueness results that follow as consequences of the results obtained in the previous sections.
1.2 Stationary Navier–Stokes Type Equations
Let \(N\le 3\) and \(\Omega \subset \mathbb {R}^{N}\) be an bounded domain.
Next we recall some well-known results about the system
where \(\mu >0,\, \kappa ,\, \eta \ge 0\) are given constants and \(\textbf{f}\in H^{-1}\left( \Omega \right) ^{N}\) is a given distribution.
The variational form of system (1.2) with the unknown pair \(\left( \textbf{u},p\right) \in V\times L^{2}\left( \Omega \right) \) is
where
For \(\textbf{u}\in V,\) Eq. (1.3) gives
Once a solution \(\textbf{u}\in V\) to (1.4) is found, the pressure \(p\in L^{2}\left( \Omega \right) \) is guaranteed by De Rham’s Theorem (cf., e.g., [45, Proposition 1.1, Chapter 1], [15, Theorem 2.3, Chapter 1], see also [2, 3, Theorem 2.1]).
On \(H_{0}^{1}\left( \Omega \right) ^{N}\) consider the inner product and norm
which when applied to the subspace V will be denoted by \(\left( \cdot ,\cdot \right) _{V}\) and \(\left| \cdot \right| _{V}\), respectively. Then the embedding constants and the corresponding inequalities for the inclusions \(\ V\subset L^{2}\left( \Omega \right) ^{N}\subset V^{\prime }\) are
where \(\lambda _{1}\) is the first eigenvalue of \(-\Delta \) with respect to the homogeneous Dirichlet problem. Indeed, knowing that
we have
whence the first inequality in (1.5). Based on (1.6), the second inequality is obtained as follows:
Also \(\ V\subset H_{0}^{1}\left( \Omega \right) ^{N}\subset H^{-1}\left( \Omega \right) ^{N}\subset V^{\prime }\) and
Recall that the trilinear functional \(\ b:V\times V\times V\rightarrow \mathbb {R} \ \) satisfies
where \(M>0\) is a constant depending on \(\mu \) and \(\eta .\) Also, using the Galerkin method, one can prove that for every \(\textbf{f}\in V^{\prime }\), Eq. (1.4) has at least one solution \(\textbf{u}\in V\) (see, e.g., [13, 45]).
Uniqueness: For every \(\textbf{f}\in V^{\prime }{},\) with \( \left| \textbf{f}\right| _{V^{\prime }}<1/\left( \kappa M\right) ,\) Eq. (1.4) has at most one solution \(\textbf{u}\in V.\) Indeed, if \( \textbf{u}_1,\textbf{u}_2\in V\) are solutions and we let \(\textbf{u}=\textbf{ u}_1-\textbf{u}_2,\) then using (1.4) one has
which for \(\textbf{v}=\textbf{u},\) since \(b\left( \textbf{u}_1,\textbf{u}, \textbf{u}\right) =0,\) gives
On the other hand for \(\textbf{u}_2,\) taking in (1.4) \(\textbf{v}= \textbf{u}=\textbf{u}_2,\) one has
Then
which for \(\left| \textbf{f}\right| _{V^{\prime }}<1/\left( \kappa M\right) \) yields \(\left| \textbf{u}\right| _{V}=0,\) that is \( \textbf{u}_1=\textbf{u}_2.\) Denote the unique solution by \(\textbf{u}_{ \textbf{f}}.\)
Thus we may define the solution operator
Here \(D_{0}:=\left\{ \textbf{f}\in V^{\prime }:\ \kappa M\left| \textbf{f} \right| _{V^{\prime }}<1\right\} .\) In addition, since the trilinear functional b satisfies
one has \(b\left( \textbf{u},\textbf{u},\textbf{u}\right) =0,\) whence taking in (1.4) \(\textbf{v}=\textbf{u}=S\left( \textbf{f}\right) \) we see that
Also using the linearity of b in each of its variables gives
Then
Hence
As a result, if \(\ \left| \textbf{f}\right| _{V^{\prime }},\left| \textbf{g}\right| _{V^{\prime }}\le \rho ,\) then
Therefore, if \(\ 1-2\kappa M\rho >0,\) i.e., \(\ \rho <\frac{1}{2\kappa M},\) then the operator S is Lipschitz continuous on the ball of \(V^{\prime }\) centered at the origin and of radius\(\rho \). Note that in the case \(\kappa =0\), inequality (1.9) shows that the solution operator S is Lipschitz continuous on the entire space \(V'\). Let us introduce a notation for the Lipschitz constant, namely
Note that, in the case of the Stokes system, one has \(\kappa =\eta =0\) and thus S is well-defined and Lipschitz continuous on the whole space \(V^{\prime }\).
1.3 Notions of Vector Analysis in Fixed Point Theory
In this paper we assume that the reader is familiar with Banach contraction principle and Schauder and Leray–Schauder fixed point theorems. However, we consider it useful to present some less known elements of vector analysis in fixed point theory. For more details we refer the reader to [36].
A square matrix \(\mathcal {A}\) with nonnegative entries is said to be convergent to zero if its power \(\mathcal {A}^{k}\) tends to the zero matrix as k tends to infinity. This property is equivalent to the fact that the spectral radius of \(\mathcal {A}\) is less than one, and also to the property that \(\mathcal {J}-\mathcal {A}\) is invertible and its inverse also has nonnegative entries (here \(\mathcal {J}\) is the unit matrix).
A matrix \(\mathcal {A}=\left[ a_{ij}\right] _{i,j=1,2}\) of size two is convergent to zero if and only if
The property of being convergent to zero of a matrix \(\mathcal {A}\) is useful to pass from a matrix inequality of the form \(\left( \mathcal {J}-\mathcal {A} \right) \textbf{u}\le \textbf{v},\) where \(\textbf{u},\textbf{v}\) are column vectors and the inequality is understood on components, to the inequality \( \textbf{u}\le \left( \mathcal {J}-\mathcal {A}\right) ^{-1}\textbf{v},\) without change of inequality. The notion is even more important since it extends to matrices the situation on real numbers \(0\le a<1,\) asked on the Lipschitz constant in Banach contraction theorem. More exactly we have the following result, a special case of the more general Perov’s fixed point theorem:
Let \(k\ge 1\) be a given integer, \(\left( X,\left| .\right| _{X}\right) \) be a Banach space, and \(X^k:=\underbrace{X\times \cdots \times X}_{\mathrm{{k-times}}}\). If \(D\subset X^{k}\) is closed, and \(T:D\rightarrow D,\) \(T=\left( T_{1},\cdot \cdot \cdot ,T_{k}\right) \) is a mapping satisfying the matrix condition
for all \(\textbf{u}=\left( u_1,\cdot \cdot \cdot ,u_{k}\right) ,\ \textbf{v} =\left( v_{1},\cdot \cdot \cdot ,v_{k}\right) \in D\) and some matrix \( \mathcal {A}\), which is convergent to zero, then T has a unique fixed point \( \textbf{u}\in D,\) i.e., \(T_{i}\left( \textbf{u}\right) =u_i\) for \(i=1,\ldots ,k.\)
2 Navier–Stokes Type Equations with Reaction Terms
Consider now the problem
where \(\textbf{h}\in H^{-1}\left( \Omega \right) ^{N}\) and \( F:H_{0}^{1}\left( \Omega \right) ^{N}\rightarrow H^{-1}\left( \Omega \right) ^{N}.\) The problem can be reduced to the fixed point equation in V,
having in mind that the solution operator S is defined and Lipschitz continuous on the open ball of \(H^{-1}\left( \Omega \right) ^{N}\) centered at the origin and of radius \(1/\left( 2\kappa M\right) .\)
Theorem 2.1
Assume that \(F:H_{0}^{1}\left( \Omega \right) ^{N}\rightarrow H^{-1}\left( \Omega \right) ^{N},\ \) \(F\left( 0\right) =0\ \) and
for some constant \(a<1.\) Then for each \(\textbf{h}\in H^{-1}\left( \Omega \right) ^{N}\) with
Equation (2.2) has a unique solution \(\textbf{u}\in V\) such that
Proof
First, we consider the case \(\kappa >0\). Let \(\varepsilon \) be arbitrarily closed to 1/a with \(1<\varepsilon <1/a,\) such that
Denote \(R=R(\varepsilon ):=\displaystyle \frac{\varepsilon -1}{2\kappa M\varepsilon }.\) Thus \(\left| \textbf{h}\right| _{H^{-1}}\le \left( 1-a\right) R.\) Clearly \(R<\frac{1-a}{2\kappa M}<\frac{1}{2\kappa M},\) hence inequality (2.3) holds for all \(\textbf{u},\textbf{v}\) in the closed ball \(B_{R}\) of \(\left( V,\left| .\right| _{V}\right) \) centered at the origin and of radius R. In addition, for \(\textbf{u}\in B_{R},\) one has
Consequently the operator
is well defined in \(B_{R}\) and for \( \left| \textbf{u}\right| _{V},\left| \textbf{v}\right| _{V}\le R,\ \) using (1.9) one has
Since \(\ aL\left( R\right) <1\) (which can be checked easily), we have that T is a contraction on \(B_{R}.\) In addition from (1.8) and (2.6) we have
which proves that \(T\left( B_{R}\right) \subset B_{R}.\) Thus the Banach contraction principle applies and gives the existence and uniqueness of solution \(\textbf{u}\) in \(B_R\), where \(R=R(\varepsilon )=\displaystyle \frac{1-\varepsilon ^{-1}}{2\kappa M}\). Since \(R(\varepsilon )\rightarrow \frac{1-a}{2\kappa M}\) as \(\varepsilon \rightarrow \frac{1}{a}\), we obtain the existence and uniqueness of solution \(\textbf{u}\) satisfying (2.5). This closes the proof in the case \(\kappa >0\).
In the case \(\kappa =0\), the operator T is a contraction on the entire space V and hence the solution exists and is unique in V. \(\square \)
For the next result, instead of the Lipschitz continuity, we only assume a linear growth of F.
Theorem 2.2
Assume that \(F:H_{0}^{1}\left( \Omega \right) ^{N}\rightarrow H^{-1}\left( \Omega \right) ^{N}\) is completely continuous, satisfies the growth condition
with some constant \(a>0\) and \(\textbf{h}\) is as in (2.4). Then Eq. (2.2) has at least one solution \(\textbf{u}\in V\) satisfying (2.5).
Proof
As above, T maps the ball \(B_{R}\) of \(\left( V,\left| \cdot \right| _{V}\right) \) into itself. In addition, the operator T is completely continuous. The result follows from Schauder’s fixed point theorem.\(\square \)
A better result can be derived from the Leray–Schauder fixed point theorem, without the linear growth condition on F.
Theorem 2.3
Assume that the operator \(F:H_{0}^{1}\left( \Omega \right) ^{N}\rightarrow H^{-1}\left( \Omega \right) ^{N}\) is completely continuous and there exists \(c<1\) such that
Then for each \(R>0\) satisfying
where \(\sigma =\sup _{\textbf{u}\in B_R}\left| F\left( \textbf{u}\right) \right| _{H^{-1}}\) and \(B_R=\left\{ \textbf{u}\in V:\ \left| \textbf{u }\right| _{V}\le R\right\} ,\) Eq. (2.2) has at least one solution \(\textbf{u}\in B_R\) for every \(\textbf{h}\in H^{-1}\left( \Omega \right) ^{N}\) with
Moreover, any solution \(\textbf{u}\) satisfies
Proof
For \(\textbf{u}\in B_R,\) one has
Hence T is well-defined and continuous on the closed ball \(B_R\) of V. Moreover, the Lipschitz continuity of the solution operator S implies that S is a bounded operator (it maps bounded sets into bounded sets) which together with the complete continuity of F implies that the operator T is also completely continuous on \(B_R.\) (Recall that \(T\left( \textbf{u}\right) :=S\left( \textbf{h}+F\left( \textbf{u}\right) \right) \).)
Next we show that the Leray–Schauder condition holds, namely
Assume the contrary, i.e. \(T\left( \textbf{u}\right) =\lambda \textbf{u}\) for some \(\textbf{u}\) with \(\left| \textbf{u}\right| _{V}=R\) and \( \lambda >1.\) Then as in (1.4) we obtain the variational equation
Choosing \(\textbf{v}=\textbf{u}\) in the above equation and using inequalities (1.7) and (2.9) one obtains
Since \(\left| \textbf{u}\right| _{V}=R,\) it follows that
a contradiction. Thus, the Leray–Schauder fixed point theorem guarantees the existence of a solution.
To prove (2.11), assume that \(\textbf{u}\in V\) is a solution of Eq. (2.2). Then, as above, we find
whence the conclusion.\(\square \)
Remark 2.4
-
(a)
If \(F:L^{2}\left( \Omega \right) ^{N}\rightarrow L^{2}\left( \Omega \right) ^{N}\) and there exists a constant \(a_{0}>0\) such that
$$\begin{aligned} \ \left| F\left( \textbf{u}\right) -F\left( \textbf{v}\right) \right| _{L^{2}}\le a_{0}\left| \textbf{u}-\textbf{v}\right| _{L^{2}}\ \ \left( \textbf{u},\textbf{v}\in L^{2}\left( \Omega \right) ^{N}\right) , \end{aligned}$$then using twice Poincaré’s inequality gives
$$\begin{aligned} \left| F\left( \textbf{u}\right) -F\left( \textbf{v}\right) \right| _{H^{-1}}\le & {} \frac{1}{\sqrt{\lambda _{1}}}\left| F\left( \textbf{u} \right) -F\left( \textbf{V}\right) \right| _{L^{2}}\le \frac{a_{0}}{ \sqrt{\lambda _{1}}}\left| \textbf{u}-\textbf{v}\right| _{L^{2}} \\\le & {} \frac{a_{0}}{\sqrt{\lambda _{1}\left( \mu \lambda _{1}+\eta \right) }} \left| \textbf{u}-\textbf{v}\right| _{V} \end{aligned}$$for all \(\textbf{u},\textbf{v}\in V\) and so condition (2.3) holds with \( a=a_{0}/\sqrt{ \lambda _{1}\left( \mu \lambda _{1}+\eta \right) }.\)
-
(b)
Analogously, if \(F:L^{2}\left( \Omega \right) ^{N}\rightarrow L^{2}\left( \Omega \right) ^{N}\) and
$$\begin{aligned} \left| F\left( \textbf{u}\right) \right| _{L^{2}}\le a_{0}\left| \textbf{u}\right| _{L^{2}}\ \ \ \ \left( \textbf{u}\in L^{2}\left( \Omega \right) ^{N}\right) , \end{aligned}$$then condition (2.8) holds with \(a=a_{0}/\sqrt{\lambda _{1}\left( \mu \lambda _{1}+\eta \right) }.\)
-
(c)
If \(F:L^{p}\left( \Omega \right) ^{N}\rightarrow L^{q}\left( \Omega \right) ^{N}\) is continuous and either \(p<2^{*},\) \(q\ge \left( 2^{*}\right) ^{\prime },\) or \(p\le 2^{*},\ q>\left( 2^{*}\right) ^{\prime },\) then F is completely continuous from \( H_{0}^{1}\left( \Omega \right) ^{N}\) to \(H^{-1}\left( \Omega \right) ^{N}.\) This follows from the continuous (compact) embeddings \(H_{0}^{1}\left( \Omega \right) \subset L^{p}\left( \Omega \right) \) for \(p\le 2^{*}\ \left( p<2^{*}\right) ,\) and \(\ L^{q}\left( \Omega \right) \subset H^{-1}\left( \Omega \right) \) for \(q\ge \left( 2^{*}\right) ^{\prime }\) \(\left( q>\left( 2^{*}\right) ^{\prime }\right) .\) In particular, if \( F:L^{2}\left( \Omega \right) ^{N}\rightarrow L^{2}\left( \Omega \right) ^{N}\) is continuous, then it is completely continuous from \(H_{0}^{1}\left( \Omega \right) ^{N}\) to \(H^{-1}\left( \Omega \right) ^{N}.\) Recall that for \(N>2\), \(2^*=\frac{2N}{N-2}\), while for \(N=2\), \(2^*=+\infty \). In addition, \(\frac{1}{2^*}+\frac{1}{\left( 2^*\right) ^{\prime }}=1\).
3 A Coupled System of Two Navier–Stokes Type Equations
Consider now the system
where \(\textbf{u}\) stands for the pair \(\left( \textbf{u}_1,\textbf{u} _2\right) ,\ \textbf{h}_i\in H^{-1}\left( \Omega \right) ^{N}\) and \( F_{i}:H_{0}^{1}\left( \Omega \right) ^{2N}\rightarrow H^{-1}\left( \Omega \right) ^{N}\ \left( i=1,2\right) .\) The problem can be reduced to the fixed point equation in \(V^{2}\)
where \(\textbf{u}=\left( \textbf{u}_1,\textbf{u}_2\right) \in V^{2}\), and \(S_{i}\) stands for the solution operator corresponding to \(\textbf{u}_i\in V\). (Here \(S_i\) is the solution operator corresponding to system (3.1) with fixed i, compare also with (2.1).)
Denote by \(\left( \cdot ,\cdot \right) _{i}\) and \(\left| \cdot \right| _{i}\) the inner product \(\left( \cdot ,\cdot \right) _{0}\) and norm \(\left| \cdot \right| _{0}\) corresponding to \(\mu _{i}\) and \( \eta _{i}.\) Also denote by \(M_{i}\) the constant M with respect to the norm \( \left| \cdot \right| _{i}\) of V.
Assume that the following conditions hold:
-
(H1)
for \(i=1,2,\) one has \(\ F_{i}:H_{0}^{1}\left( \Omega \right) ^{2N}\rightarrow H^{-1}\left( \Omega \right) ^{N},\ \) \(F_{i}\left( 0\right) =0\) and
$$\begin{aligned}&\ \left| F_{i}\left( \textbf{u}\right) -F_{i}\left( \textbf{v}\right) \right| _{H^{-1}}\le \, a_{i1}\left| \textbf{u}_1-\textbf{v} _{1}\right| _{1}+a_{i2}\left| \textbf{u}_2-\textbf{v}_{2}\right| _{2}\,, \\& \forall \, \textbf{u}_{j},\,\textbf{v}_{j}\in H_{0}^{1}\left( \Omega \right) ^{N} \hbox { such that } \left| \textbf{u}_{j}\right| _{j},\left| \textbf{v}_{j}\right| _{j}<\theta _{j},\ j=1,2, \end{aligned}$$where \(a_{i1},a_{i2}\) are nonnegative constants such that \(a_{i1}+a_{i2}<1\), and \(\theta _{j}:=1/\left( 2\kappa _{j}M_{j}\right) \).
-
(H2)
there exist \(\varepsilon _{i}>1\), \(i=1,2,\) such that
$$\begin{aligned} \varepsilon _{1}a_{11}+\varepsilon _{2}a_{22}<\min \left\{ 2,\ 1+\varepsilon _{1}\varepsilon _{2}\left( a_{11}a_{22}-a_{12}a_{21}\right) \right\} . \end{aligned}$$(3.3) -
(H3)
\(\textbf{h}_i\in H^{-1}\left( \Omega \right) ^{N}\) and
$$\begin{aligned} \left| \textbf{h}_i\right| _{H^{-1}}\le \left( 1-a_{i1}-a_{i2}\right) R\ \ \ \left( i=1,2\right) , \end{aligned}$$where
$$\begin{aligned} R:=\min \left\{ R_{1},\ R_{2}\right\} ,\ \ \ R_{i}:=\frac{\varepsilon _{i}-1 }{2\kappa _{i}\varepsilon _{i}M_{i}}. \end{aligned}$$(3.4)
The next result extends Theorem 2.1 to system (3.1).
Theorem 3.1
Under assumptions (H1)-(H3), system (3.2) has a unique solution \(\textbf{u}=\left( \textbf{u}_{1},\textbf{u}_{2}\right) \) \( \in V^{2}\) such that
Proof
First note that the operator \(T_{i}\left( \textbf{u}\right) :=S_{i}\left( \textbf{h}_{i}+F_{i}\left( \textbf{u}\right) \right) \) is well-defined on
Indeed, using (H1) one has
Also if \(\ T=\left( T_{1},T_{2}\right) ,\) then \(\ T\left( D_{R}\right) \subset D_{R}.\) Indeed, if \(\textbf{u}\in D_{R},\) then according to (1.8) and the last estimate,
that is \(T\left( \textbf{u}\right) \in D_{R}.\) Next, again from (H1), we have
where
These inequalities can be put under the vector form
in terms of the matrix
Here, a direct computation based on the expression of \(\ R_{i}\) given by (3.4) shows that
and hence \(\mathcal {M}=\left[ \varepsilon _{i}a_{ij}\right] _{i,j=1,2}.\) Moreover, inequality (3.3), in view of (1.10), implies that \(\mathcal {M}\) is a matrix that converges to zero, equivalently, whose spectral radius is less than one. Therefore Perov’s fixed point theorem applies to T and guarantees that T has in \(D_{R}\) a unique fixed point.
Again we recall that if \(\kappa _i=0\) for some \(i\in \{1,2\}\), one has that \(R_i=+\infty \). Moreover, if \(\kappa _1=\kappa _2=0\), then \(D_R=V^2\).\(\square \)
Remark 3.2
(a) A sufficient condition for (H2) to hold is that the matrix \( \mathcal {A}:=\left[ a_{ij}\right] _{i,j=1,2}\) is convergent to zero, i.e.
Indeed, the strict inequality in (3.6) remains true if we insert, as condition (3.3) requires, the coefficients \(\varepsilon _{1},\, \varepsilon _2>1\) sufficiently closed to 1.
(b) A sufficient condition for (3.6) to hold is that \(a_{i1}+a_{i2}<1 \) for \(i=1,2.\) Indeed, summing up the two inequalities gives \( \sum \limits _{i,j=1}^{2}a_{ij}<2,\) whence one has even more \(a_{11}+a_{22}<2.\) In addition, the inequality \(a_{11}+a_{22}<1+a_{11}a_{22}-a_{12}a_{21}\) also holds in view of its equivalent form \(a_{12}a_{21}<\left( 1-a_{11}\right) \left( 1-a_{22}\right) \) and of the assumptions \(a_{12}<1-a_{11}\) and \(a_{21}<1-a_{22}\).
Remark 3.3
In the case of the Stokes type equations, when \(\kappa _{1}=\kappa _{2}=0\), under condition (H1) with \(a_{i1}+a_{i2}<1\ \)for \(i=1,2,\) problem (3.1) has a unique solution for every \(\left( \textbf{h}_{1},\textbf{h}_{2}\right) \in H^{-1}\left( \Omega \right) ^{2N}.\)
If instead of the Lipschitz condition (H1) and of condition (H3) we consider the more relaxed hypotheses:
- (H1\(^{*}\)):
-
for \(i=1,2,\)\(F_{i}:H_{0}^{1}\left( \Omega \right) ^{2N}\rightarrow H^{-1}\left( \Omega \right) ^{N}\) is completely continuous and
$$\begin{aligned} \left| F_{i}\left( \textbf{u}\right) \right| _{H^{-1}}\le a_{i1}\left| \textbf{u}_1\right| _{1}+a_{i2}\left| \textbf{u} _2\right| _{2}\ \ \ \left( \left| u_{j}\right| _{j}<\theta _{j},\ j=1,2\right) ; \end{aligned}$$ - (H3\(^{*}\)):
-
\(1>a_{i1}+a_{i2},\) \(\ \textbf{h}_i\in H^{-1}\left( \Omega \right) ^{N}\) and
$$\begin{aligned} \left| \textbf{h}_i\right| _{H^{-1}}<\left( 1-a_{i1}-a_{i2}\right) \theta \ \ \ \left( i=1,2\right) , \end{aligned}$$(3.7)where
$$\begin{aligned} \theta :=\min \left\{ \theta _{1},\ \theta _{2}\right\} , \end{aligned}$$
then we can prove the existence of at least one solution.
Theorem 3.4
Under assumptions (H1\(^{*}\)) and (H3\(^{*}\) ), system (3.2) has at least one solution \(\ u=\left( \textbf{u}_{1}, \textbf{u}_{2}\right) \) \(\in V^{2}\ \) such that
Proof
In view of the strict inequalities (3.7), we may chose a number R with \(0<R<\theta \) such that
Then, as in the proof of Theorem 3.1, the operators \(T_{i}\) are well-defined and for \(T=\left( T_{1},T_{2}\right) \) and \(D_{R}\) given by (3.5) with R as above, one has \(T\left( D_{R}\right) \subset D_{R}.\) Here in addition T is completely continuous, hence Schauder’s fixed point theorem applies and gives the conclusion.\(\square \)
The next result is the version for systems of Theorem 2.3.
Theorem 3.5
Assume that the operators \(F_{i}:H_{0}^{1}\left( \Omega \right) ^{2N}\rightarrow H^{-1}\left( \Omega \right) ^{N}\) \(\left( i=1,2\right) \) are completely continuous and there exist \(c_{i},\ d_{i}\ge 0\) with \( c_{i}+d_{i}<1\) such that that for each i,
Then for each \(R>0\) satisfying
where \(\ \sigma _{i}\left( R\right) :=\sup _{\textbf{u}\in D_{R}}\left| F_{i}\left( \textbf{u}\right) \right| _{H^{-1}},\) system (3.2) has at least one solution \(\textbf{u}\in D_{R}\) for every \(\left( \textbf{h}_{1}, \textbf{h}_{2}\right) \in H^{-1}\left( \Omega \right) ^{2N}\) with
Moreover, for any solution \(\textbf{u}=\left( \textbf{u}_{1},\textbf{u} _{2}\right) \) one has the matrix estimate
where
and \(\mathcal {I}\) is the unit matrix.
Proof
We follow the same ideas as in the proof of Theorem 2.3. Here the Leray–Schauder theorem applies on the set \(\ D_{R}.\)
For \(\textbf{u}\in D_{R},\) using (3.9) one has
Hence T is well-defined and continuous on the closed subset \(D_{R}\) of \( V^{2}.\) Moreover, the Lipschitz continuity of \(S_{i}\) implies that \(S_{i}\) is a bounded operator (maps bounded sets into bounded sets) which together with the complete continuity of \(F_{i}\) implies that \(T=\left( T_{1},T_{2}\right) ,\) \(T_{i}\left( \textbf{u}\right) =S_{i}\left( \textbf{h} _{i}+F_{i}\left( \textbf{u}\right) \right) ,\) is completely continuous on \( D_{R}.\) Next we show that the Leray–Schauder condition holds.
Assume the contrary, i.e. \(T\left( \textbf{u}\right) =\lambda \textbf{u}\) for some \(\textbf{u}\in D_{R}\) with \(\left| \textbf{u}_{1}\right| _{1}=R\) or \(\left| \textbf{u}_{2}\right| _{2}=R\) and some \(\lambda >1.\) Assume that \(\left| \textbf{u}_{1}\right| _{1}=R.\) Then multiplying by \(\textbf{u}_{1}\) the equation
and using (1.7) gives
Furthermore,using (3.8) we obtain
Hence
Similarly, in case that \(\left| \textbf{u}_{2}\right| _{2}=R\) we derive
Hence in view of (3.10), we arrive to the contradiction \(R<R.\)
To prove (3.11) we start with
which give
These can be put together under the matrix form
From the assumption \(c_{i}+d_{i}<1\ \left( i=1,2\right) \) we easily can check that matrix \(\mathcal {A}\) is convergent to zero, which guarantees that \(\mathcal {I}-\mathcal {A}\) has an inverse whose entries are nonnegative. Thus the multiplication by \(\left( \mathcal {I}-\mathcal {A}\right) ^{-1}\) does not change inequality and yields (3.11).\(\square \)
Remark 3.6
Simple computation of \(\left( \mathcal {I}-\mathcal {A}\right) ^{-1}\) shows that estimate (3.11) means explicitly:
Remark 3.7
In the case of the Stokes type equations, when \(\kappa _{1}=\kappa _{2}=0,\) under condition (3.8) with the coefficients \(c_{i},\ d_{i}\) such that the matrix \(\mathcal {A}\) is convergent to zero, the problem has a unique solution for every \(\left( \textbf{h}_1,\textbf{h}_2\right) \in H^{-1}\left( \Omega \right) ^{2N}.\) Indeed, in this case the operator T is defined and completely continuous on the whole space \(V^{2}\) and (3.11) gives the a priori bounds of solutions.
4 Navier–Stokes Type Model for Fluid Flow in Bidisperse Porous Media
Now we come back to the specific model of Navier–Stokes type for bidisperse porous media. Thus we consider the following system
where \(\ 1\le p<2^{*}-1\) \((N\le 3)\). Here for
we have \(F_{i}:H_{0}^{1}\left( \Omega \right) ^{2N}\rightarrow L^{2^{*}/p}\left( \Omega \right) ^{N}.\) Indeed, from \(H_{0}^{1}\left( \Omega \right) \subset L^{2^{*}}\left( \Omega \right) \) we have \(\left| \textbf{u}\right| ^{p-1}\textbf{u}\in L^{2^{*}/p}\left( \Omega \right) ^N.\)
Wishing to prove the existence of solutions we shall guarantee that all the assumptions of Theorem 3.5 can be satisfied.
First, since \(p<2^{*}-1,\) \(2^{*}/p>\left( 2^{*}\right) ^{\prime }\), and so one has \(L^{2^{*}/p}\left( \Omega \right) \subset H^{-1}\left( \Omega \right) \) compactly. It follows that \(F_{i}\) is completely continuous from \(H_{0}^{1}\left( \Omega \right) ^{2N}\) to \(H^{-1}\left( \Omega \right) ^{N}.\)
Secondly, if for some \(R>0\) we take \(\ \left| \textbf{u}_1\right| _{1},\ \left| \textbf{u}_2\right| _{2}\le R,\) then we have
where \(c_{1}\) is the embedding constant of the inclusion \(L^{2^{*}/p}\left( \Omega \right) \subset H^{-1}\left( \Omega \right) \) and \( \widetilde{c_{1}},\ \widetilde{c_{2}}\) take into account the embedding constants for \(V\subset L^{2^{*}}\left( \Omega \right) ^{N}\) and \( V\subset L^{2}\left( \Omega \right) ^{N},\) respectively. Similarly
Therefore
Third, we have
where
and analogously
Thus, in this example, one has \(\ c_{i}=0,\) \(d_{i}=C\gamma _{i}\), \(i=1,2,\) and condition (3.9) holds if
Therefore Theorem 3.5 yields the following existence result.
Theorem 4.1
Let the coefficients \(\mu _{i},\, \alpha _{i},\, \gamma _{i}>0\) and \(\kappa _{i},\, \eta _{i}\ge 0\) be given with \(\gamma _{i}<1/C\), \(i=1,2\), where C is the constant given by (4.2). Then for each \(R>0\) satisfying (4.3), system (4.1) has at least one solution \(\textbf{u}\in D_{R}\) for every \(\left( \textbf{h}_1,\textbf{h}_2\right) \in H^{-1}\left( \Omega \right) ^{2N}\) with
Moreover, for any solution \(\textbf{u}=\left( \textbf{u}_1,\textbf{u} _2\right) \in V^{2},\) one has
Notice that condition (4.3) is fulfilled if R is sufficiently small and that it can be chosen like this, according to (4.4), provided that \( \left| \textbf{h}_i\right| _{H^{-1}}\) are small enough. Thus we have
Corollary 4.2
Let the coefficients \(\mu _{i},\,\alpha _{i},\, \gamma _{i}>0\) and \(\kappa _{i},\, \eta _{i}\ge 0\) be given with \(\gamma _{i}<1/C\). Then problem (4.1) has solutions for each \(\left( \textbf{h}_1,\textbf{h}_2\right) \in H^{-1}\left( \Omega \right) ^{2N}\) with small \(\left| \textbf{h} _i\right| _{H^{-1}}.\)
If now \(\textbf{h}_i\) are given arbitrarily, then (4.4) is fulfilled by some large enough R. Under this number R, condition (4.3) holds provided that \(\theta _{i}\) are large (equivalently, \(\kappa _{i}\) are small, that is system (4.1) is close to a Stokes type system). Thus we have
Corollary 4.3
For every coefficients \(\mu _{i},\, \alpha _{i},\ \gamma _{i}>0\) and \(\kappa _{i},\, \eta _{i}\ge 0\) with \(\gamma _{i}<1/C\), and every \(\left( \textbf{h}_{1},\textbf{h} _{2}\right) \in H^{-1}\left( \Omega \right) ^{2N},\) problem (4.1) has solutions provided that \(\ \kappa _{i}\) are small enough.
We note that in the case of the Stokes equations, when \(\kappa _{1}=\kappa _{2}=0,\) the above theorem guarantees the existence of a solution for every \( \left( \textbf{h}_1,\textbf{h}_2\right) \in H^{-1}\left( \Omega \right) ^{2N},\) under the only condition that \(\gamma _{i}<1/C\) for \(i=1,2.\) Recall that \(1/C=\sqrt{\left( \lambda _{1}\mu _{1}+\eta _{1}\right) \left( \lambda _{1}\mu _{2}+\eta _{2}\right) }.\) However, a better result is the following:
Theorem 4.4
Let \(\kappa _{1}=\kappa _{2}=0.\) Then problem (4.1) has a solution for every \(\left( \textbf{h}_1,\textbf{h}_2\right) \in H^{-1}\left( \Omega \right) ^{2N}\) provided that
Proof
In this case, the operator T being well-defined and completely continuous on the whole space \(V^{2},\) it remains to guarantee the a priori boundedness of the solutions of the equations \(T\left( \textbf{u}\right) =\lambda \textbf{u}\) for \(\lambda \ge 1.\) For any such a solution, one has
These can be put under a matrix form
The involved square matrix \(\mathcal {A}\) is convergent to zero if \(\gamma _{1}\gamma _{2}<1/C^{2},\) which is our assumption (4.5). Thus the above matrix inequality is equivalent to
which gives the desired a priori bounds. The result follows from the Leray–Schauder fixed point theorem.\(\square \)
Remark 4.5
If in (4.1), \(\alpha _{1}=\alpha _{2}=0\), under some suitable conditions on \(\textbf{h}_{1}\) and \(\textbf{h}_{2}\), one can obtain an existence and uniqueness result by using Banach contraction principle and a similar argument as in [19].
Finally we note that our analysis can be developed in order to treat some models of fluid flows in tridisperse porous media. Moreover, the analysis can be adapted to treat some models with variable coefficients in the anisotropic case. For a numerical approach related to such models we refer the reader to the paper [14] and the references therein.
Data Availibility
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Amrouche, C., Rodríguez-Bellido, M.A.: The Oseen and Navier–Stokes equations in a non-solenoidal framework. Math. Methods Appl. Sci. 39, 5066–5090 (2016)
Amrouche, C., Ciarlet, P.G., Mardare, C.: On a Lemma of Jacques–Louis Lions and its relation to other fundamental results. J. Math. Pures Appl. 104, 207–226 (2015)
Amrouche, C., Girault, V.: Decomposition of vector spaces and application to the Stokes problem in arbitrary dimension. Czechoslov. Math. J. 44, 109–140 (1994)
Boyer, F., Fabrie, P.: Mathematical Tools for the Study of the Incompressible Navier–Stokes Equations and Related Models. Springer, New York (2013)
Brennen, C.E.: Fundamentals of Multiphase Flows. Cambridge University Press, Cambridge (2005)
Bulíček, M., Málek, J., Žabenský, J.: On generalized Stokes’ and Brinkman’s equations with a pressure- and shear-dependent viscosity and drag coefficient. Nonlinear Anal. Real World Appl. 26, 109–132 (2015)
Capone, F., Gentile, M., Massa, G.: The onset of thermal convection in anisotropic and rotating bidisperse porous media. Z. Angew. Math. Phys. 72, 169 (2021)
Chen, Z.Q., Cheng, P., Hsu, C.T.: A theoretical and experimental study on stagnant thermal conductivity of bi-dispersed porous media. Int. Commun. Heat Mass Transf. 27, 601–610 (2000)
Constantin, P., Foias, C.: Navier–Stokes Equations. The University of Chicago Press, Chicago (1988)
Costabel, M.: Boundary integral operators on Lipschitz domains: elementary results. SIAM J. Math. Anal. 19, 613–626 (1988)
Dindos̆, M., Mitrea, M.: The stationary Navier–Stokes system in nonsmooth manifolds: the Poisson problem in Lipschitz and \(C^{1}\) domains. Arch. Ration. Mech. Anal. 174, 1–47 (2004)
Fabes, E., Kenig, C., Verchota, G.: The Dirichlet problem for the Stokes system on Lipschitz domains. Duke Math. J. 57, 769–793 (1988)
Galdi, G.P.: An Introduction to the Mathematical Theory of the Navier–Stokes Equations. Steady-State Problems, 2nd edn. Springer, New York (2011)
Ghalambaz, M., Hendizadeh, H., Zargartalebi, H., Pop, I.: Free convection in a square cavity filled with a tridisperse porous medium. Transp. Porous Media 116, 379–392 (2017)
Girault, V., Raviart, P.A.: Finite Element Methods for Navier–Stokes Equations. Springer, Berlin (1986)
Hsiao, G.C., Wendland, W.L.: Boundary Integral Equations. Springer, Heidelberg, First Edition 2008, Second Edition 2021
Kohr, M., Lanza de Cristoforis, M., Wendland, W.L.: Nonlinear Neumann-transmission problems for Stokes and Brinkman equations on Euclidean Lipschitz domains. Potential Anal. 38, 1123–1171 (2013)
Kohr, M., Mikhailov, S.E., Wendland, W.L.: Non-homogeneous Dirichlet-transmission problems for the anisotropic Stokes and Navier–Stokes systems in Lipschitz domains with transversal interfaces. Calc. Var. Partial Differ. Equ. 61, 198 (2022)
Kohr, M., Mikhailov, S.E., Wendland, W.L.: On some mixed-transmission problems for the anisotropic Stokes and Navier–Stokes systems in Lipschitz domains with transversal interfaces. J. Math. Anal. Appl. 516, 126464 (2022)
Kohr, M., Wendland, W.L.: Variational approach for the Stokes and Navier–Stokes systems with nonsmooth coefficients in Lipschitz domains on compact Riemannian manifolds. Calc. Var. Partial Differ. Equ. 57(165), 1–41 (2018)
Kohr, M., Wendland, W.L.: Boundary value problems for the Brinkman system with \(L^\infty \) coefficients in Lipschitz domains on compact Riemannian manifolds. A variational approach. J. Math. Pures Appl. 131, 17–63 (2019)
Korobkov, M.V., Pileckas, K., Russo, R.: On the flux problem in the theory of steady Navier–Stokes equations with non-homogeneous boundary conditions. Arch. Ration. Mech. Anal. 207, 185–213 (2013)
Kuznetsov, A.V., Nield, D.A.: Thermally developing forced convection in a bidisperse porous medium. J. Porous Media 9, 393–402 (2006)
Lemarié-Rieusset, P.G.: The Navier–Stokes Problem in the 21st Century. CRC Press, Boca Raton (2016)
Łukaszewicz, G., Kalita, P.: Navier–Stokes Equations. An Introduction with Applications. Advances in Mechanics and Mathematics, vol. 34. Springer, Cham (2016)
Mazzucato, A.L., Nistor, V.: Well-posedness and regularity for the elasticity equation with mixed boundary conditions on polyhedral domains and domains with cracks. Arch. Ration. Mech. Anal. 195, 25–73 (2010)
Mitrea, M., Wright, M.: Boundary value problems for the Stokes system in arbitrary Lipschitz domains. Astérisque. 344, viii+241 pp (2012)
Nield, D.A.: A note on the modelling of bidisperse porous media. Transp. Porous Media 111, 517–520 (2016)
Nield, D.A., Bejan, A.: Convection in Porous Media, 3rd edn. Springer, New York (2013)
Nield, D.A., Kuznetsov, A.V.: A two-velocity two-temperature model for a bi-dispersed porous medium: forced convection in a channel. Transp. Porous Media 59, 325–339 (2005)
Nield, D.A., Kuznetsov, A.V.: Heat transfer in bidisperse porous media. In: Ingham, D.B., Pop, I. (eds.) Transport Phenomena in Porous Media III, pp. 34–59. Elsevier, Oxford (2005)
Nield, D.A., Kuznetsov, A.V.: The onset of convection in a bidisperse porous medium. Int. J. Heat Mass Transf. 49, 3068–3074 (2006)
Nield, D.A., Kuznetsov, A.V.: A note on modeling high speed flow in a bidisperse porous medium. Transp. Porous Media 96, 495–499 (2013)
O’Regan, D., Precup, R.: Theorems of Leray–Schauder Type and Applications. Gordon and Breach, Amsterdam (2001)
Precup, R.: Existence results for nonlinear boundary value problems under nonresonance conditions. In: Corduneanu, C. (ed.) Qualitative Problems for Differential Equations and Control Theory, pp. 263–273. World Scientific, Singapore (1995)
Precup, R.: Methods in Nonlinear Integral Equations. Kluwer, Dordrecht (2002)
Precup, R.: Linear and Semilinear Partial Differential Equations. De Gruyter, Berlin (2013)
Precup, R., Rubbioni, P.: Stationary solutions of Fokker–Planck equations with nonlinear reaction terms in bounded domains. Potential Anal. 57, 181–199 (2022)
Pătrulescu, F.O., Groşsan, T., Pop, I.: Natural convection from a vertical plate embedded in a non-Darcy bidisperse porous medium. J. Heat Transf. 142, 012504 (2020)
Revnic, C., Groşan, T., Pop, I., Ingham, D.B.: Free convection in a square cavity filled with a bidisperse porous medium. Int. J. Therm. Sci. 48, 1876–1883 (2009)
Seregin, G.: Lecture Notes on Regularity Theory for the Navier–Stokes Equations. World Scientific, London (2015)
Sohr, H.: The Navier–Stokes Equations: An Elementary Functional Analytic Approach. Birkhäuser, Basel (2001)
Straughan, B.: Bidispersive porous media. In: Straughan, B. (ed.) Convection with Local Thermal Non-Equilibrium and Microfluidic Effects. Advances in Mechanics and Mathematics, vol. 32. Springer, Cham (2015)
Straughan, B.: Anisotropic bidispersive convection. Proc. R. Soc. A 475, 20190206 (2019)
Temam, R.: Navier–Stokes Equations. Theory and Numerical Analysis, AMS Chelsea edn. American Mathematical Society (2001)
Varnhorn, W.: The Stokes Equations. Akademie, Berlin (1994)
Acknowledgements
The authors are thankful to the reviewer for the useful comments that helped to improve the content and presentation of our paper. M. Kohr acknowledges the support of the grant PN-III-P4-PCE-2021-0993 (cod PCE 69/2022), UEFSCDI, Romania.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Communicated by A. Constantin.
In memory of Professor Gabriela Kohr, with deep respect.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Mirela Kohr acknowledges the support of the Grant PN-III-P4-PCE-2021-0993 (cod PCE 69/2022), UEFSCDI, Romania.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Kohr, M., Precup, R. Analysis of Navier–Stokes Models for Flows in Bidisperse Porous Media. J. Math. Fluid Mech. 25, 38 (2023). https://doi.org/10.1007/s00021-023-00784-w
Accepted:
Published:
DOI: https://doi.org/10.1007/s00021-023-00784-w