Pith. sign in

REVIEW 2 major objections 3 minor 17 references

Homogenization of Stokes equations in perforated domains: a unified approach

T0 review · 2 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A single generalized cell problem reproduces the three classical homogenization limits for Stokes flow in perforated domains.

desk verdict The shrinking-hole proof is nice, but Theorem 1.1(ii) overclaims: it is stated for all σ_ε→0 sequences yet only proved when η→0, and the missing constant-η case would need a different permeability. read the letter →

arxiv 1908.08259 v2 pith:UE6RUIPS submitted 2019-08-22 math.AP

Yong Lu This is my paper · ORCID
classification math.AP MSC 35B2735Q3576S05
keywords homogenizationStokesequationsperforateddomaincellproblemDarcy'slawBrinkman'spermeabilitytensorunifiedapproach
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper gives a single proof that covers the three homogenization regimes for Stokes flow through a domain perforated by tiny periodically placed holes. Depending on the limiting ratio of hole size to hole spacing, the flow converges to the Stokes equations, Darcy's law, or the Brinkman system. The novelty is methodological: a generalized cell problem replaces the case-by-case test-function constructions of earlier treatments, and the same argument runs through all three regimes. The paper thereby recovers the known homogenized systems as corollaries of one unified estimate scheme.

What carries the argument

The generalized cell problem (2.7) is a Stokes problem on one period cell $Q_0$ minus a small hole $\eta T$, with right-hand side $c_\eta^2 e_i$, where $c_\eta = |\log \eta|^{-1/2}$ in two dimensions and $c_\eta = \eta^{(d-2)/2}$ in higher dimensions. Its role is to supply the test functions $w_{\eta,\varepsilon}^i \varphi$ that vanish on the holes, while its energy defines the matrix $A(\eta)$ whose limit is the permeability $A = M^{-1}$ via (2.22)--(2.23). Two auxiliary tools carry the estimates: a Poincare-type inequality in the singular cell $Q_\eta$ with constant $C c_\eta^{-1}$ (Lemma 2.1) and a Bogovskii operator on $Q_\eta$ with uniform bound (Lemma 2.2). Together they yield the cell bounds (2.17)--(2.19), which translate into the scaling of the velocity and pressure extensions needed in each regime.

What would settle it

Compute, for a concrete model hole $T$ in three dimensions, the matrix $A$ defined as the limit in (2.22) from the generalized cell problem, and compare it with the inverse of the permeability tensor $M$ obtained from the exterior local problem (1.9). If for any hole shape the two matrices differ, or if $A$ is not positive definite, then the imported conclusion (2.23) is false and the unified proof would not yield the stated Stokes, Darcy, and Brinkman systems.

Watch

Extended reading notes

Core claim

The central claim is that the homogenized limit of the Dirichlet Stokes problem in a perforated domain is governed entirely by the parameter $\sigma_\varepsilon$ defined in (1.5). Using a generalized cell problem (2.7) whose forcing is scaled by $c_\eta^2$, the paper proves uniform bounds (2.17)--(2.19), identifies the limit of the cell energies as the permeability matrix $A = M^{-1}$, and then passes to the limit in the weak formulation. The resulting limit is the Stokes system when $\sigma_\varepsilon \to \infty$, Darcy's law $u = A(f - \nabla p)$ when $\sigma_\varepsilon \to 0$, and the Brinkman system $-\Delta u + \nabla p + \sigma_*^{-2} A^{-1} u = f$ when $\sigma_\varepsilon \to \sigma_*$. The proof covers dimensions $d \ge 2$ and is the same for every regime; uniqueness of each limit system upgrades subsequential convergence to convergence of the whole family.

Load-bearing premise

The proof depends on two imported facts: the existence of the restriction operator $R_\varepsilon$ with the uniform bounds (1.14), and the identity $\lim_{\eta \to 0} A_\eta = A = M^{-1}$ with $A$ positive definite; if either fails, the pressure extension, uniform estimates, or the final identification of the limit equations collapse.

Editorial extensions

If this is right

  • The three classical limit systems -- Stokes, Darcy, and Brinkman -- are recovered from one test-function construction, so the choice of test functions no longer needs to be tailored to the hole size.
  • The permeability matrix in Darcy's and Brinkman's laws is exactly $A = M^{-1}$, determined only by the model hole $T$, so the unified proof also identifies the coefficient in the limit equations.
  • In the small-hole regime, convergence is strong in $W^{1,2}_0(\Omega) \times L^2_0(\Omega)$; in the large-hole regime, $\tilde{u}_\varepsilon/\sigma_\varepsilon^2$ converges weakly in $L^2$ while the pressure converges strongly.
  • Because each limit system has a unique solution, the convergence statements hold for the whole family as $\varepsilon \to 0$, not merely along subsequences.
  • The same parameter $\sigma_\varepsilon$ from (1.5) controls which regime occurs, so the proof makes explicit the threshold between Darcy and Stokes behavior through the Brinkman term $\sigma_*^{-2} A^{-1} u$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A self-contained version of this proof would need to establish the equality $A = M^{-1}$ within the same cell-problem framework rather than importing it; doing so would extend the method to hole shapes or distributions for which the permeability tensor is not already known.
  • The construction depends only on the ratio $\eta = a_\varepsilon/\varepsilon$, so the same generalized cell problem should apply to non-periodic hole arrangements that still admit the Poincare and Bogovskii estimates, as foreshadowed by the paper's stated plan to treat soft restrictions on hole distribution.
  • The explicit $c_\eta$ scalings for velocity and pressure suggest that quantitative convergence rates could be derived in terms of $\sigma_\varepsilon$; the paper does not state such rates.
  • The same strategy ought to transfer to other PDE in perforated domains, such as the Laplace or linear-elasticity problems, since the method already mirrors a unified treatment for the Dirichlet problem in a cited preprint.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The paper proposes a unified proof of the three homogenization regimes (Stokes, Darcy, Brinkman) for the Dirichlet problem for the Stokes equations in periodically perforated domains. The main tool is a generalized cell problem (2.7) depending on the ratio η = a_ε/ε, with estimates for the cell solutions and pressures in §2.5. The proof then uses the scaled cell solutions as test functions in the weak formulation and passes to the limit in the three regimes σ_ε → ∞, σ_ε → 0, and σ_ε → σ_* ∈ (0,∞), identifying the permeability matrix A with M^{-1} via the low-volume-fraction result of Allaire [3]. The paper claims to recover the theorems of Allaire [1,2] in a unified way.

Significance. If the result were valid in the stated generality, the paper would provide a genuinely unified proof of Allaire's three-regime theorem and would extend Tartar's cell-problem approach to variable hole sizes. The paper has real strengths: the η-dependent Poincaré inequality (Lemma 2.1), the Bogovskii-type operator on Q_η (Lemma 2.2), and the explicit bounds (2.16)–(2.19) are clearly laid out, and the homogenization passages in §2.7 are standard in structure. The dependence on the prior identity A = M^{-1} from Allaire [3] is transparent and is not a circularity: it is an imported external result, not a restatement of Theorem 1.1. However, as detailed below, the theorem's statement overreaches what the proof actually establishes, and this is load-bearing for the central claim.

major comments (2)
  1. [Theorem 1.1(ii), §2.2, §2.5] This is a load-bearing issue because the central claim is a unified proof of Allaire's three-regime theorem.
  2. [§2.7.2, Eqs. (2.36)–(2.38)] The passage to the limit in the large-hole case relies on the convergence (2.27) of the scaled cell solutions to constant vectors, which is derived under η → 0 via (2.20). For sequences with a_ε proportional to ε (fixed η_*), the function w^i_{η,ε}(x) = w^i_{η_*}(x/ε) is a genuinely oscillating test function and does not converge strongly to a constant; the products in (2.36) would then involve two-scale limits rather than the simple limits used to obtain (2.37)–(2.38). This confirms that the proof covers only the η → 0 subcase, not all sequences satisfying lim σ_ε = 0.
minor comments (3)
  1. [§2.2] The paper states in §1.1 and §2.2 that it focuses on the case η = a_ε/ε → 0. This restriction should be stated explicitly in Theorem 1.1 and in the abstract, since the current statement of Theorem 1.1 suggests full generality.
  2. [§2.4, Lemma 2.2] The proof of Lemma 2.2 invokes 'the proof of Lemma 2.1.4 in Allaire [1]' without stating that lemma or verifying that its constants are uniform in η as η → 0. The uniformity is essential for the bounds in (2.18)–(2.19).
  3. [§2.7] There are several typographical issues: 'srtongly' in §2.7.1 and §2.7.3, 'Brinkmann' in §2.7.3, and the notation L^2_{0,p}(Q_η) is introduced without a formal definition in the text preceding (2.7).

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the homogenized limits are derived from the generalized cell problem, and the key identification A = M^{-1} is imported from Allaire [3] as independent external support.

full rationale

I find no circularity. The proof constructs the generalized cell problem (2.7) with c_eta chosen by (2.8), derives the cell solution estimates (2.17)-(2.19), and passes to the limit in the weak formulation (2.29). Each limit equation is obtained by the test-function argument, not assumed as an input: the Stokes case emerges as A(-Delta u + grad p - f) = 0 with A positive definite; the Darcy case as u = A(f - grad p); the Brinkman case as -Delta u + grad p + sigma_*^{-2} A^{-1} u = f. The coefficient A is defined in (2.22) from the cell solutions and identified with A = M^{-1} in (2.23) as 'the main Theorem in [3, Section 0]'. That identification is an external result of Allaire, not a restatement of Theorem 1.1, and the positivity of A is needed independently. Similarly, the restriction operator (1.14) and the perforation Poincaré inequality (2.3) are imported from Allaire [1,2] as tools; they do not encode the homogenized equations. There is no load-bearing self-citation: [10] and [11] are not used in the proofs, and [12,13] are not needed for the central argument. The one caveat is a scope mismatch, not a circular step: Section 2.2 states 'We focus on the general case η := a_ε/ε → 0 as ε → 0,' and (2.20)-(2.23) identify A only in that regime, whereas Theorem 1.1(ii) is stated for every sequence with σ_ε → 0, including fixed η (e.g., a_ε = a_*ε). For such sequences the second-order cell problem does not degenerate and the permeability is A(η_*), not generally M^{-1}; the theorem therefore appears overbroad unless η → 0 is read in as an unstated hypothesis. This is a correctness issue, not circularity, because the claimed derivation is not equivalent to its inputs by construction.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

Ledger counts what the central proof pulls from outside. Two substantive imported theorems: the restriction operator with uniform estimates (from Allaire [1,2] and Tartar [17], used for pressure extension and uniform bounds), and the low-volume-fraction identification of the permeability A=M^{-1} (from Allaire [3], used to identify and invert the homogenized coefficient). The generalized cell problem is newly introduced, but it carries no free parameters and no invented entities. Standard functional analysis facts are treated as background.

assumptions (3)
  • domain assumption Existence of a linear restriction operator R_ε: W^{1,2}_0(Ω;R^d) → W^{1,2}_0(Ω_ε;R^d) satisfying (1.14) with uniform estimates in σ_ε.
    Quoted from Allaire [1,2] and Tartar [17] in Section 1.2; used to define the pressure extension (1.15) and to obtain uniform estimates (2.1)-(2.5). The paper does not prove this theorem.
  • domain assumption The identity lim_{η→0} A_η = A = M^{-1} with M the positive definite permeability tensor defined via the exterior problem (1.9).
    Invoked at (2.23) in Section 2.5 as 'the main Theorem in [3, Section 0]'. It is load-bearing: it identifies the homogenized coefficient matrix and guarantees A is invertible so the paper can conclude Stokes and Brinkman equations.
  • domain assumption Well-posedness and decay estimates for the exterior Stokes problem (1.9).
    Mentioned in the review of Allaire's approach (Section 1.1) and used to define M in (2.23). The paper relies on Allaire's existence and decay results.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Homogenization of Stokes equations in perforated domains: a unified approach." pith.science (2026). https://pith.science/paper/UE6RUIPS

@misc{pith2026190808259,
  author       = {Pith},
  title        = {Pith review of: Homogenization of Stokes equations in perforated domains: a unified approach},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UE6RUIPS}},
  note         = {Machine review of arXiv:1908.08259}
}
read the original abstract

We consider the homogenization of the Stokes equations in a domain perforated with a large number of small holes which are periodically distributed. In [1,2], Allaire gave a systematic study on this problem. In this paper, we introduce a unified proof for different sizes of holes for the homogenization of the Stokes equations by employing a generalized cell problem inspired by Tartar [17].

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

  1. [3]

    G. Allaire. Continuity of the Darcys law in the low-volum e fraction limit. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) , 4 (1991), 475-499

    work page 1991

  2. [1]

    G. Allaire. Homogenization of the Navier-Stokes equati ons in open sets perforated with tiny holes. I. Abstract framework, a volume distribution of holes. Arch. Ration. Mech. Anal. , 113(3) (1990), 209-259

    work page 1990

  3. [2]

    G. Allaire. Homogenization of the Navier-Stokes equati ons in open sets perforated with tiny holes. II. Noncritical sizes of the holes for a volume distribution and a surface dis tribution of holes. Arch. Ration. Mech. Anal., 113(3) (1990), 261-298

    work page 1990

  4. [4]

    Cioranescu, F

    D. Cioranescu, F. Murat. Un terme ´ etrange venu d’ailleu rs, Nonlinear Partial Differential Equations and their Applications, Coll` ege de France Seminar, Vols. 2 & 3, ed. by H. Brezis & J. L. Lions, Research Notes in Mathematics 60, pp. 98-138, and 70, pp. 154-178, Pitman, Lon don (1982)

    work page 1982

  5. [5]

    Diening, E

    L. Diening, E. Feireisl, Y. Lu. The inverse of the diverge nce operator on perforated domains with applications to homogenization problems for the compressible Navier-St okes system. ESAIM: Control Optim. Calc. Var. , 23 (2017), 851-868

    work page 2017

  6. [6]

    Feireisl, Y

    E. Feireisl, Y. Lu. Homogenization of stationary Navier -Stokes equations in domains with tiny holes. J. Math. Fluid Mech. , 17 (2015), 381-392

    work page 2015

  7. [7]

    Feireisl, Y

    E. Feireisl, Y. Namlyeyeva, ˇS. Neˇ casov´ a. Homogenization of the evolutionary Navier–Stokes system. Manusc. Math., 149 (2016), 251-274. HOMOGENIZATION OF STOKES EQUATIONS IN PERFORATED DOMAINS: A UNIFIED APPROACH 13

    work page 2016

  8. [8]

    Feireisl, A

    E. Feireisl, A. Novotn´ y, T. Takahashi. Homogenization and singular limits for the complete Navier-Stokes- Fourier system. J. Math. Pures Appl. , 94(1) (2010), 33-57

    work page 2010

Show all 17 references
  1. [9]

    G.P. Galdi. An introduction to the mathematical theory o f the Navier-Stokes equations: Steady-state problems. Springer Science and Business Media, 2011

    2011

  2. [10]

    W. Jing. A unified homogenization approach for the Diric hlet problem in perforated domains. Preprint, arXiv:1901.08251

    1901 arXiv

  3. [11]

    W. Jing, Y. Lu, C. Prange. Homogenization of Stokes equa tions in perforated domains with soft restriction on the distribution of holes. In preparetion

  4. [12]

    Y. Lu. On uniform estimates for Laplace equation in ball s with small holes. Calc. Var. Partial Differential Equations, 55(5) (2016), 55:110

    2016

  5. [13]

    Y. Lu. Uniform estimates for Stokes equations in a domai n with a small hole and applications in homogenization problems. Preprint, arXiv:1510.01678

    arXiv

  6. [14]

    Y. Lu, S. Schwarzacher. Homogenization of the compress ible Navier-Stokes equations in domains with very tiny holes. J. Differential Equations, 265(4) (2018), 1371-1406

    2018

  7. [15]

    Masmoudi

    N. Masmoudi. Homogenization of the compressible Navie r-Stokes equations in a porous medium. ESAIM: Control Optim. Calc. Var. , 8 (2002), 885-906

    2002

  8. [16]

    Mikeli´ c

    A. Mikeli´ c. Homogenization of nonstationary Navier- Stokes equations in a domain with a grained boundary. Ann. Mat. Pura Appl. , 158 (1991), 167-179

    1991

  9. [17]

    L. Tartar. Incompressible fluid flow in a porous medium: c onvergence of the homogenization process, in Nonhomogeneous media and vibration theory , edited by E. S´ anchez-Palencia, 1980, 368-377

    1980

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.