Abstract
In this note, we consider the homogenization of the compressible Navier-Stokes equations in a periodically perforated domain in \({{\,\mathrm{{\mathbb {R}}}\,}}^3\). Assuming that the particle size scales like \(\varepsilon ^3\), where \(\varepsilon >0\) is their mutual distance, and that the Mach number decreases fast enough, we show that in the limit \(\varepsilon \rightarrow 0\), the velocity and density converge to a solution of the incompressible Navier-Stokes equations with Brinkman term. We strongly follow the methods of Höfer, Kowalczyk and Schwarzacher [https://doi.org/10.1142/S0218202521500391], where they proved convergence to Darcy’s law for the particle size scaling like \(\varepsilon ^\alpha \) with \(\alpha \in (1,3)\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We consider a bounded smooth domain \(D\subset {{\,\mathrm{{\mathbb {R}}}\,}}^3\) which for \(\varepsilon >0\) is perforated by tiny obstacles of size \(\varepsilon ^3\), and show that solutions to the compressible Navier-Stokes equations in this domain converge as \(\varepsilon \rightarrow 0\) to a solution of the incompressible Navier-Stokes equations with Brinkman term. To the best of our knowledge, this is the first result of homogenization of compressible fluids for a critically sized perforation.
There is a vast of literature concerning the homogenization of fluid flows in perforated domains. We will just cite a few. For incompressible fluids, Allaire found in [2] and [3] that, concerning the ratios of particle size and distance, there are mainly three regimes of particle sizes \(\varepsilon ^\alpha \), where \(\alpha \ge 1\). Heuristically, if the particles are large, the velocity will slow down and finally stop. This phenomenon occurs if (in three dimensions) \(\alpha \in [1,3)\) and gives rise to Darcy’s law. When the particles are very small, i.e., \(\alpha >3\), they should not affect the fluid, yielding that in the limit, the fluid motion is still governed by the Stokes or Navier-Stokes equations. The third regime is the so-called critical case \(\alpha =3\), where the particles are large enough to put some friction on the fluid, but not too large to stop the flow. For incompressible fluids, the non-critical cases \(\alpha \in (1,3)\) and \(\alpha >3\) were considered in [3], while [2] dealt with the critical case \(\alpha =3\). The case \(\alpha =1\) was treated in [1]. In all the aforementioned literature, the proofs were given by means of suitable oscillating test functions, first introduced by Tartar in [17] and later adopted by Cioranescu and Murat in [5] for the Poisson equation.
In the critical case, the additional friction term is the main part of Brinkman’s law. Cioranescu and Murat considered in [5] the Poisson equation in a perforated domain, where they found in the limit “a strange term coming from nowhere”. This Brinkman term purely comes from the presence of holes in the domain \(D_\varepsilon \). It physically represents the energy of boundary layers around each obstacle, as its columns are proportional to the drag force around a single particle [2, Proposition 2.1.4 and Remark 2.1.5].
The assumptions on the distribution of the holes can also be generalized. For the critical case, Giunti, Höfer, and Velázquez considered in [11] homogenization of the Poisson equation in a randomly perforated domain. They showed that the “strange term” also occurs in their setting. Hillairet considered in [12] the Stokes equations and random obstacles with a hard sphere condition. This condition was removed by Giunti and Höfer [10], where they showed that for incompressible fluids and randomly distributed holes with random radii, the randomness does not affect the convergence to Brinkman’s law. More recently, for large particles, Giunti showed in [9] a similar convergence result to Darcy’s law.
Unlike as for incompressible fluids, the homogenization theory for compressible fluids is rather sparse. Masmoudi considered in [15] the case \(\alpha =1\) of large particles, giving rise to Darcy’s law. For large particles with \(\alpha \in (1,3)\), Darcy’s law was just recently treated in [13] for a low Mach number limit. The case of small particles (\(\alpha >3\)) was treated in [6, 7, 14] for different growing conditions on the pressure. Random perforations in the spirit of [10] for small particles were considered by the authors in [4], where in the limit, the equations remain unchanged as in the periodic case.
We want to emphasize that the methods presented here are strongly related to those of [13]. As a matter of fact, their techniques used in the case of large holes also apply in our case for holes having critical size.
Notation: Throughout the whole paper, we denote the Frobenius scalar product of two matrices \(A,B\in {{\,\mathrm{{\mathbb {R}}}\,}}^{3\times 3}\) by \(A:B:=\sum _{1\le i,j\le 3} A_{ij}B_{ij}\). Further, we use the standard notation for Lebesgue and Sobolev spaces, where we denote this spaces even for vector valued functions as in scalar case, e.g., \(L^p(D)\) instead of \(L^p(D;{{\,\mathrm{{\mathbb {R}}}\,}}^3)\). Moreover, \(C>0\) denotes a constant which is independent of \(\varepsilon \) and might change its value whenever it occurs.
Organization of the paper: The paper is organized as follows:
In Sect. 2, we give a precise definition of the perforated domain \(D_\varepsilon \) and state our main results for the steady Navier-Stokes equations. In Sect. 3, we introduce oscillating test functions, which will be crucial to show convergence of the velocity, density, and pressure. Sect. 4 is devoted to invoke the concept of Bogovskiĭ’s operator as an inverse of the divergence, which is used to give uniform bounds independent of \(\varepsilon \). In Sect. 5, we show how to pass to the limit \(\varepsilon \rightarrow 0\) and obtain the limiting equations.
2 Setting and Main Results
Consider a bounded domain \(D\subset {{\,\mathrm{{\mathbb {R}}}\,}}^3\) with smooth boundary. Let \(\varepsilon >0\) and cover D with a regular mesh of size \(2\varepsilon \). Set \(x_i^\varepsilon \in (2\varepsilon {{\,\mathrm{{\mathbb {Z}}}\,}})^3\) as the center of the cell with index i and \(P_i^\varepsilon :=x_i^\varepsilon +(-\varepsilon ,\varepsilon )^3\). Further, let \(T\Subset B_1(0)\) be a compact and simply connected set with smooth boundary and set \(T_i^\varepsilon :=x_i^\varepsilon +\varepsilon ^3 T\). We now define the perforated domain as
By the periodic distribution of the holes, the number of holes inside \(D_\varepsilon \) satisfy
In \(D_\varepsilon \), we consider the steady compressible Navier-Stokes equations
where \(\varrho _\varepsilon ,\) \({\mathbf {u}}_\varepsilon \) are the fluids density and velocity, respectively, and \({\mathbb {S}}(\nabla {\mathbf {u}}_\varepsilon )\) is the Newtonian viscous stress tensor of the form
with viscosity coefficients \(\mu >0\), \(\eta \ge 0\). Further, we assume that \(\gamma \ge 3\), \(\beta >3\,(\gamma +1)\), and \({\mathbf {f}}, {\mathbf {g}}\in L^\infty (D)\) are given. Since the equations (2) are invariant under adding a constant to the pressure term \(\varepsilon ^{-\beta }\varrho _\varepsilon ^\gamma \), we define
where \(\langle \cdot \rangle _\varepsilon \) denotes the mean value over \(D_\varepsilon \), given by
We will show convergence of the velocity \({\mathbf {u}}_\varepsilon \) and the pressure \(p_\varepsilon \) to limiting functions \({\mathbf {u}}\) and p, respectively, such that the couple \(({\mathbf {u}},p)\) solves the incompressible steady Navier-Stokes-Brinkman equations
where the resistance matrix M is introduced in the next section, and the constant \(\varrho _0\) is the strong limit of \(\varrho _\varepsilon \) in \(L^{2\gamma }(D)\), which is determined by the mass constraint on \(\varrho _\varepsilon \) as formulated in Definition 2.1 below.
Before stating our main result, we introduce the standard concept of finite energy weak solutions to (2).
Definition 2.1
Let \(D_\varepsilon \) be as in (1) and \(\gamma \ge 3\), \({\mathfrak {m}}>0\) be fixed. We say a couple \((\varrho _\varepsilon , {\mathbf {u}}_\varepsilon )\) is a finite energy weak solution to system (2) if
for all test functions \(\psi \in C_c^\infty (D_\varepsilon )\) and all test functions \(\varphi \in C_c^\infty (D_\varepsilon ;{{\,\mathrm{{\mathbb {R}}}\,}}^3)\), where \(p_\varepsilon \) is given in (4), and the energy inequality
holds.
Remark 2.2
Existence of finite energy weak solutions to system (2) is known for all values \(\gamma >3/2\); see, for instance, [16, Theorem 4.3]. However, we need the assumption \(\gamma \ge 3\) to bound the convective term \({{\,\mathrm{div}\,}}(\varrho _\varepsilon {\mathbf {u}}_\varepsilon \otimes {\mathbf {u}}_\varepsilon )\) in a proper way, see Sect. 4.
Let us denote the zero extension of a function f with \(D_\varepsilon \) as its domain of definition by \({\tilde{f}}\), that is,
Our main result for the stationary Navier-Stokes equations now reads as follows:
Theorem 2.3
Let \(D\subset {{\,\mathrm{{\mathbb {R}}}\,}}^3\) be a bounded domain with smooth boundary, \(0<\varepsilon <1\), \(D_\varepsilon \) be as in (1), \(\gamma \ge 3\), \({\mathfrak {m}}>0\) and \({\mathbf {f}},{\mathbf {g}}\in L^\infty (D)\). Let \(\beta >3\,(\gamma +1)\) and \((\varrho _\varepsilon ,{\mathbf {u}}_\varepsilon )\) be a sequence of finite energy weak solutions to problem (2). Then, with \(p_\varepsilon \) defined in (4), we can extract subsequences (not relabeled) such that
where \(\varrho _0={\mathfrak {m}}/|D|\) is constant and \((p,{\mathbf {u}})\in L^2(D)\times W_0^{1,2}(D)\) with \(\int _D p=0\) is a weak solution to the steady incompressible Navier-Stokes-Brinkman equations
where M will be defined in (11).
Remark 2.4
It it well known that the solution to system (6) is unique if \({\mathbf {f}}\) and \({\mathbf {g}}\) are “sufficiently small”, see, e.g., [18, Chapter II, Theorem 1.3]. This smallness assumption can be dropped in the case of Stokes equations, i.e., without the convective term \({{\,\mathrm{div}\,}}(\varrho _0 {\mathbf {u}}\otimes {\mathbf {u}})\).
3 The Cell Problem and Oscillating Test Functions
In this section, we introduce oscillating test functions and define the resistance matrix M, following the original work of Allaire [2]. We repeat here the definition of these functions as well as the estimates given in [13].
Consider for a single particle T the solution \((q_k,{\mathbf {w}}_k)\) to the cell problem
where \({\mathbf {e}}_k\) is the k-th unit basis vector of the canonical basis of \({{\,\mathrm{{\mathbb {R}}}\,}}^3\). Note that the solution exists and is unique, see, e.g., [8, Chapter V]. Let us further recall the definition of oscillating test functions as made in [2] (see also [13]):
We set
for each \(P_i^\varepsilon \) with \(P_i^\varepsilon \cap \partial D\ne \emptyset \). Now, we denote \(B_i^r:=B_r(x_i^\varepsilon )\) and split each cell \(P_i^\varepsilon \) entirely included in D into the following four parts:
where \(C_i^\varepsilon \) is the open ball centered at \(x_i^\varepsilon \) with radius \(\varepsilon /2\) and perforated by the hole \(T_i^\varepsilon \), \(D_i^\varepsilon =B_i^\varepsilon \setminus B_i^{\varepsilon /2}\) is the ball with radius \(\varepsilon \) perforated by the ball with radius \(\varepsilon /2\), and \(K_i^\varepsilon =P_i^\varepsilon \setminus B_i^\varepsilon \) are the remaining corners, see Fig. 1.
In these parts, we define
where we impose matching Dirichlet boundary conditions and \((q_k,{\mathbf {w}}_k)\) is the solution to the cell problem (7). As shown in [13, Lemma 3.5], we have for the functions \((q_k^\varepsilon ,{\mathbf {w}}_k^\varepsilon )\) and all \(p>\frac{3}{2}\) the estimates
where the constant \(C>0\) does not depend on \(\varepsilon \). Moreover, we have the following Theorem due to Allaire:
Theorem 3.1
([2, page 214, Proposition 1.1.2 and Lemma 2.3.6]). The functions \((q_k^\varepsilon ,{\mathbf {w}}_k^\varepsilon )\) fulfill:
-
(H1)
\(q_k^\varepsilon \in L^2(D),\quad {\mathbf {w}}_k^\varepsilon \in W^{1,2}(D)\);
-
(H2)
\({{\,\mathrm{div}\,}}{\mathbf {w}}_k^\varepsilon =0\) in D and \({\mathbf {w}}_k^\varepsilon =0\) on the holes \(T_i^\varepsilon \);
-
(H3)
\({\mathbf {w}}_k^\varepsilon \rightharpoonup {\mathbf {e}}_k\) in \(W^{1,2}(D),\quad q_k^\varepsilon \rightharpoonup 0\) in \(L^2(D)/{{\,\mathrm{{\mathbb {R}}}\,}}\);
-
(H4)
For any \(\nu _\varepsilon ,\nu \in W^{1,2}(D)\) with \(\nu _\varepsilon =0\) on the holes \(T_i^\varepsilon \) and \(\nu _\varepsilon \rightharpoonup \nu \), and any \(\varphi \in {\mathcal {D}}(D)\), we have
$$\begin{aligned} \langle \nabla q_k^\varepsilon -\Delta {\mathbf {w}}_k^\varepsilon , \varphi \nu _\varepsilon \rangle _{W^{-1,2}(D), W_0^{1,2}(D)}\rightarrow \langle M{\mathbf {e}}_k, \varphi \nu \rangle _{W^{-1,2}(D), W_0^{1,2}(D)}, \end{aligned}$$where the resistance matrix \(M\in W^{-1,\infty }(D)\) is defined by its entries \(M_{ik}\) via
$$\begin{aligned} \langle M_{ik}, \varphi \rangle _{{\mathcal {D}}^\prime (D), {\mathcal {D}}(D)}=\lim _{\varepsilon \rightarrow 0}\int _D\varphi \nabla {\mathbf {w}}_i^\varepsilon :\nabla {\mathbf {w}}_k^\varepsilon \,\mathrm {d}{x}\end{aligned}$$(11)for any test function \(\varphi \in {\mathcal {D}}(D)\).
Further, for any \(p\ge 1\),
Remark 3.2
This definition of M yields that the matrix is symmetric and positive definite in the sense that for all test functions \(\varphi _i\in {\mathcal {D}}(D)\) and \(\Phi =(\varphi _i)_{1\le i\le 3}\),
thus implying that there exists at least one solution to system (6).
4 Bogovskiĭ’s Operator and Uniform Bounds for the Navier-Stokes Equations
As in [6], we have the following result for the inverse of the divergence operator:
Theorem 4.1
([6, Theorem 2.3]). Let \(1<q<\infty \) and \(D_\varepsilon \) be defined as in (1). There exists a bounded linear operator
such that for any \(f\in L^q(D_\varepsilon )\) with \(\int _{D_\varepsilon } f\,\mathrm {d}{x}=0\),
where the constant \(C>0\) does not depend on \(\varepsilon \).
We will use this result to bound the pressure \(p_\varepsilon \) by the density \(\varrho _\varepsilon \). Since the main ideas how to get uniform bounds on \({\mathbf {u}}_\varepsilon \), \(\varrho _\varepsilon \), and \(p_\varepsilon \) are given in [13], we just sketch the proof in our case. First, by Korn’s inequality and (5), we find
Together with Sobolev embedding, we obtain
which yields
To get uniform bounds on the velocity, we first have to estimate the density. To this end, let \({\mathcal {B}}_\varepsilon \) be as in Theorem 4.1. Testing the first equation in (2) with \({\mathcal {B}}_\varepsilon (p_\varepsilon )\in W_0^{1,2}(D_\varepsilon )\) yields
Recalling \(\varrho _\varepsilon \in L^{2\gamma }(D_\varepsilon )\) and \(\gamma \ge 3\), this leads to
that is,
Further, we have
and
see [13, Section 3.3 and inequality (4.7)]. This yields
Together with
which is a consequence of Young’s inequality, we obtain, using \(\gamma \ge 3\) and the fact that we may assume \(\varepsilon \le 1\) small enough,
Using that \(|\varrho _\varepsilon -\langle \varrho _\varepsilon \rangle _\varepsilon |^\gamma \le |\varrho _\varepsilon ^\gamma -\langle \varrho _\varepsilon \rangle _\varepsilon ^\gamma |\), which is a consequence of the triangle inequality for the metric \(d(a,b)=|a-b|^\frac{1}{\gamma }\) for \(\gamma \ge 1\), we conclude
which further gives rise to
In view of (12) and (13), we finally establish
for some constant \(C>0\) independent of \(\varepsilon \).
5 Convergence Proof
The proof of convergence we give here is essentially the same as in [13]. We thus just sketch the steps done there while highlighting the differences.
Proof of Theorem 2.3
Step 1: Recall that, for a function f defined on \(D_\varepsilon \), we denote by \({\tilde{f}}\) its zero prolongation to \({{\,\mathrm{{\mathbb {R}}}\,}}^3\). By the uniform estimates (14), we can extract subsequences (not relabeled) such that
where \(\varrho _0={\mathfrak {m}}/|D|>0\) is constant. The strong convergence of the density is obtained by
since \(|D_\varepsilon |\rightarrow |D|\). Due to Rellich’s theorem, we further have
Step 2: We begin by proving that the limiting velocity \({\mathbf {u}}\) is solenoidal. To this end, let \(\varphi \in {\mathcal {D}}({{\,\mathrm{{\mathbb {R}}}\,}}^3)\). By the second equation of (2), we have
This together with the compactness of the trace operator yields
Step 3: To prove convergence of the momentum equation, let \(\varphi \in {\mathcal {D}}(D)\) and use \(\varphi {\mathbf {w}}_k^\varepsilon \) as test function in the first equation of (2). This yields
Using the definition of \({\mathbb {S}}\) in (3) and the fact that \({{\,\mathrm{div}\,}}({\mathbf {w}}_k^\varepsilon )=0\) by (H2) of Theorem 3.1, we rewrite the left hand side as
and add the term \(-\int _D q_k^\varepsilon {{\,\mathrm{div}\,}}(\varphi \tilde{{\mathbf {u}}}_\varepsilon )\,\mathrm {d}{x}\) to both sides to obtain
Since \(\nu _\varepsilon :=\tilde{{\mathbf {u}}}_\varepsilon \) and \(\nu :={\mathbf {u}}\) fulfill hypothesis (H4) of Theorem 3.1, we have
where \(\langle \cdot , \cdot \rangle \) denotes the dual product of \(W^{-1,2}(D)\) and \(W_0^{1,2}(D)\). Further, by \(\tilde{{\mathbf {u}}}_\varepsilon \rightarrow {\mathbf {u}}\) strongly in \(L^2(D)\) and \(\nabla {\mathbf {w}}_k^\varepsilon \rightharpoonup 0\) by hypothesis (H3),
Because of \({\mathbf {w}}_k^\varepsilon \rightarrow {\mathbf {e}}_k\) strongly in \(L^2(D)\) and (15), we deduce
Step 4: To show convergence of \(I_4\), we proceed as follows. First, since \({\mathbf {u}}_\varepsilon =0\) on \(\partial D_\varepsilon \) and \(\tilde{{\mathbf {u}}}_\varepsilon \rightharpoonup {\mathbf {u}}\) in \(W^{1,2}(D)\), we have \(\widetilde{\nabla {\mathbf {u}}_\varepsilon }=\nabla \tilde{{\mathbf {u}}}_\varepsilon \rightharpoonup \nabla {\mathbf {u}}\) in \(L^2(D)\). Second, as shown above for \(\gamma \ge 3\), \({\tilde{\varrho }}_\varepsilon \rightarrow \varrho _0\) strongly in \(L^{2\gamma }(D)\) and \(\tilde{{\mathbf {u}}}_\varepsilon \rightarrow {\mathbf {u}}\) strongly in \(L^q(D)\) for any \(1\le q<6\), in particular in \(L^4(D)\). Together with the strong convergence of \({\mathbf {w}}_k^\varepsilon \) in any \(L^p(D)\) (see Theorem 3.1), in particular in \(L^{12}(D)\), we get
This together with \({{\,\mathrm{div}\,}}(\varrho _\varepsilon {\mathbf {u}}_\varepsilon )=0\) yields
In the case \(\gamma >3\), one can also proceed by seeing that
where we used that \(\tilde{{\mathbf {u}}}_\varepsilon \rightarrow {\mathbf {u}}\) strongly in \(L^q(D)\) for \(q=4\gamma /(\gamma -1)<6\).
Step 5: It remains to show convergence of \(I_6\). First, recall \(B_i^r=B_r(x_i^\varepsilon )\). We follow the idea of [13] and introduce a further splitting of the integral:
Let \(\psi \in C_c^\infty (B_{1/2}(0))\) be a cut-off function with \(\psi =1\) on \(B_{1/4}(0)\), define for \(x\in B_i^{\varepsilon /2}\) the function \(\psi _\varepsilon ^i(x):= \psi ((x-x_i^\varepsilon )/\varepsilon )\), and extend \(\psi _\varepsilon ^i\) by zero to the whole of D. Set finally \(\psi _\varepsilon (x):=\sum \limits _{i:\overline{P_i^\varepsilon }\subset D} \psi _\varepsilon ^i(x)\), where \(P_i^\varepsilon \) is the cell of size \(2\varepsilon \) with center \(x_i^\varepsilon \in (2\varepsilon {{\,\mathrm{{\mathbb {Z}}}\,}})^3\). Then we have \(\psi _\varepsilon \in C_c^\infty (\bigcup _i B_i^{\varepsilon /2})\) and
With this at hand, we write
Observe that since \(\text {supp}~\psi _\varepsilon \subset \cup _i B_i^{\varepsilon /2}\), the term \(I^1\) covers the behavior of \(q_k^\varepsilon \) “near” the holes, whereas \(I^2\) and \(I^3\) cover the behavior “far away”. Since \(q_k^\varepsilon \) and \(\psi _\varepsilon \) are \((2\varepsilon )\)-periodic functions and \(q_k^\varepsilon \psi _\varepsilon \in L^2(D)\), we have \(q_k^\varepsilon \psi _\varepsilon \rightharpoonup 0\) in \(L^2(D)/{{\,\mathrm{{\mathbb {R}}}\,}}\). This together with \(\tilde{{\mathbf {u}}}_\varepsilon \rightarrow {\mathbf {u}}\) strongly in \(L^2(D)\) yields
For \(I^2\), we use the definition of \(q_k^\varepsilon \) and (10) to find
To prove \(I^1\rightarrow 0\), we write, using \({{\,\mathrm{div}\,}}(\varrho _\varepsilon {\mathbf {u}}_\varepsilon )=0\),
Here, we used again the periodicity of \(q_k^\varepsilon \) and \(\psi _\varepsilon \) to conclude \(q_k^\varepsilon \psi _\varepsilon \rightharpoonup 0\) in \(L^2(D)/{{\,\mathrm{{\mathbb {R}}}\,}}\). This and the strong convergence of \(\tilde{{\mathbf {u}}}_\varepsilon \) to \({\mathbf {u}}\) in \(L^2(D)\) shows that the last term vanishes in the limit \(\varepsilon \rightarrow 0\). For the remaining integral, we find, recalling \(\text {supp}~\psi _\varepsilon \subset \cup _i B_i^{\varepsilon /2}\) and \(C_i^\varepsilon =B_i^{\varepsilon /2}\setminus T_i^\varepsilon \),
Since \(|\nabla \psi _\varepsilon |\le C\varepsilon ^{-1}\), we have
thus
Together with (8) and (9) for \(p=2\gamma /(\gamma -1)>3/2\), we establish
provided
To summarize, we have in the limit \(\varepsilon \rightarrow 0\) for all functions \(\varphi \in {\mathcal {D}}(D)\)
Since M is symmetric, this is
which is the first equation of (6). This finishes the proof.
\(\square \)
References
Allaire, G.: Homogenization of the Stokes flow in a connected porous medium. Asymptotic Anal. 2(3), 203–222 (1989)
Allaire, G.: Homogenization of the Navier-Stokes equations in open sets perforated with tiny holes. I. Abstract framework, a volume distribution of holes. Arch. Rational Mech. Anal. 113(3), 209–259 (1990)
Allaire, G.: Homogenization of the Navier-Stokes equations in open sets perforated with tiny holes. II. Noncritical sizes of the holes for a volume distribution and a surface distribution of holes. Arch. Rational Mech. Anal. 113(3), 261–298 (1990)
Bella, P., Oschmann, F.: Inverse of divergence and homogenization of compressible Navier–Stokes equations in randomly perforated domains, arXiv preprint arXiv:2103.04323 (2021)
Cioranescu, D., Murat, F.: Un terme étrange venu d’ailleurs. I. Nonlinear partial differential equations and their applications. Collège de France Seminar, Vol. III, Res. Notes in Math., vol. 70, Pitman, Boston, Mass.-London, pp. 154–178, 425–426 (1982)
Diening, L., Feireisl, E., Yong, L.: The inverse of the divergence operator on perforated domains with applications to homogenization problems for the compressible Navier-Stokes system, ESAIM: Control. Optimisation and Calculus of Variations 23(3), 851–868 (2017)
Feireisl, E., Yong, L.: Homogenization of stationary Navier-Stokes equations in domains with tiny holes. J. Math. Fluid Mech. 17(2), 381–392 (2015)
Galdi, G.P.: An introduction to the mathematical theory of the Navier-Stokes equations, 2nd edn. Springer Monographs in Mathematics, Springer, New York (2011). (Steady-state problems)
Giunti, A.: Derivation of Darcy’s law in randomly perforated domains. Calc. Var. Partial Differ. Equ. 60(5), 1–30 (2021)
Giunti, A., Höfer, R.M.: Homogenisation for the Stokes equations in randomly perforated domains under almost minimal assumptions on the size of the holes. Ann. Inst. H. Poincaré Anal. Non Linéaire 36(7), 1829–1868 (2019)
Giunti, A., Höfer, R.M., Velázquez, J.J.L.: Homogenization for the Poisson equation in randomly perforated domains under minimal assumptions on the size of the holes. Comm. Partial Differential Equations 43(9), 1377–1412 (2018)
Hillairet, M.: On the homogenization of the Stokes problem in a perforated domain. Arch. Ration. Mech. Anal. 230(3), 1179–1228 (2018)
Höfer, R.M., Kowalczyk, K., Schwarzacher, S.: Darcy’s law as low Mach and homogenization limit of a compressible fluid in perforated domains. Mathematical Models and Methods in Applied Sciences 31(09), 1787–1819 (2021)
Yong, L., Schwarzacher, S.: Homogenization of the compressible Navier-Stokes equations in domains with very tiny holes. Journal of Differential Equations 265(4), 1371–1406 (2018)
Masmoudi, N.: Homogenization of the compressible Navier-Stokes equations in a porous medium. ESAIM: Control, Optimisation and Calculus of Variations 8, 885–906 (2002)
Novotný, A., Straškraba, I.: Introduction to the Mathematical Theory of Compressible Flow. OUP Oxford, New York, London (2004)
Tartar, L.: Incompressible fluid flow in a porous medium – convergence of the homogenization process. Appendix of Non-homogeneous media and vibration theory (1980)
Temam, R.: Navier-Stokes equations: theory and numerical analysis. North-Holland Publishing Company (1977)
Acknowledgements
The authors were partially supported by the German Science Foundation DFG in context of the Emmy Noether Junior Research Group BE 5922/1-1.
Funding
Open Access funding enabled and organized by Projekt DEAL.
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 E. Feireisl.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This article is part of the topical collection “In memory of Antonin Novotny” edited by Eduard Feireisl, Paolo Galdi, and Milan Pokorny.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bella, P., Oschmann, F. Homogenization and Low Mach Number Limit of Compressible Navier-Stokes Equations in Critically Perforated Domains. J. Math. Fluid Mech. 24, 79 (2022). https://doi.org/10.1007/s00021-022-00707-1
Accepted:
Published:
DOI: https://doi.org/10.1007/s00021-022-00707-1