Pith. sign in

REVIEW 3 major objections 5 minor 42 references

Fluid-Structure Interaction with Porous Media: The Beaver-Joseph condition in the strong sense

T0 review · 3 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read The paper proves that the coupled Navier-Stokes-Darcy system with the Beaver-Joseph or Beaver-Joseph-Saffman interface conditions has unique, global strong solutions for small data in critical spaces, and that the solution is analytic at…

desk verdict Strong trace-sense well-posedness for Navier-Stokes-Darcy with Beaver-Joseph conditions is new and largely sound, but the q-independent spectrum assertion in Proposition 6.3(a) is a genuine gap that needs fixing before the Lq global result stands. read the letter →

arxiv 2501.09195 v1 pith:XP44TJ6G submitted 2025-01-15 math.AP

Tim Binz , Matthias Hieber , Arnab Roy This is my paper · ORCID
classification math.AP MSC 35K4035K6176D0376D0576S05
keywords Navier-Stokes-DarcysystemBeaver-JosephconditionBeaver-Joseph-SaffmanstrongsolutionscriticalBesovspacesLions-MagenesSerrin-typeblow-upcriterionanalyticinterfaceregularity
topics Navier-Stokes Regularity
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 article claims that the classical interface conditions used to couple a free fluid to a porous medium, the Beaver-Joseph condition and its Saffman simplification, can be treated in the strong sense rather than only weakly. For small initial data in critical spaces the coupled Navier-Stokes-Darcy system is claimed to have a unique global strong solution, with the interface conditions satisfied as traces. The paper also establishes a Serrin-type blow-up criterion and shows that, for analytic interface geometry and analytic forcing, the solution is analytic in tangential directions at the interface. If correct, this brings the standard porous-interface engineering laws into the same maximal-regularity framework that underlies modern Navier-Stokes well-posedness theory.

What carries the argument

The load-bearing object is the coupled operator $A=\operatorname{diag}(k\Delta_m, A_m)$ with the non-diagonal domain $X_1$ containing all three interface conditions as trace relations. It is analyzed as a boundary perturbation: the leading-order Neumann-type boundary operator $L$ is separated from the lower-order coupling operator $\Phi$, and the system is rewritten as the $X_0$-realization of $A_{-1/2}+Q$, with $Q$ compact in a fractional scale. R-sectorial perturbation theory then yields maximal $L^r$-regularity, which feeds the abstract semilinear critical-space theory for the equation $v'-Av=F(v,v)+f$. Angenent's parameter trick is the additional mechanism used to bootstrap interior and interface regularity.

What would settle it

Compute the resolvent or eigenvalues of the coupled operator $A$ on $L^q \times L^q_{\sigma}$ for a concrete geometry with flat interface and $q\neq 2$, using the interface conditions (2.4); if any eigenvalue has nonnegative real part or any non-eigenvalue spectrum appears, the spectral bound $s(A)<0$ on $L^q$ fails and the small-data global existence proof is not supported.

Watch

Extended reading notes

Core claim

The central claim is that the linearized coupled operator, a $2\times 2$ system with a heat-type equation for the porous pressure and a Stokes operator for the fluid velocity whose domain encodes the interface conditions as non-diagonal boundary traces, generates an exponentially stable, compact, analytic semigroup with maximal $L^r$-regularity. Under the Beaver-Joseph-Saffman condition this holds in $L^q \times L^q_{\sigma}$ for all $q$ in the critical range; under the original Beaver-Joseph condition it holds in the $L^2$ setting for sufficiently small friction parameter $\beta$. On this basis Theorem 4.1 proves local and global small-data strong well-posedness in critical Besov spaces $B^{3/q-1}_{q,r}$, Theorem 5.1 proves the analogue in Lions-Magenes spaces $H^{1/2}_{00,\Gamma}$, Corollary 4.3 gives a finite-time blow-up criterion, and Corollary 4.5 upgrades interface regularity to analyticity when the interface is analytic and the forcing is analytic.

Load-bearing premise

The global small-data result rests on the assertion that the coupled linear operator has only eigenvalues with negative real part, in every $L^q$ space; the calculation in the proof of Proposition 6.3(a) is done for $q=2$, and compactness of the resolvent alone does not force the spectrum to be the same on $L^q$ for other $q$.

Editorial extensions

If this is right

  • Under Theorem 4.1, the Beaver-Joseph-Saffman condition (2.4)$_3$ holds in the trace sense for the unique strong solution, so the interface law is no longer merely a weak constraint.
  • The Serrin-type criterion in Corollary 4.3 gives a checkable breakdown condition: finite-time blow-up occurs exactly when the critical Besov norm or the integrated $H^{2\mu,q}$ norm diverges.
  • If the interface is analytic and $1/r + 3/(2q) < 1$, Corollary 4.5 says the solution is analytic in tangential directions at the interface whenever the forcing is analytic, a stronger interface regularity than interior regularity alone would give.
  • For the original Beaver-Joseph condition, Theorem 5.1 provides a Fujita-Kato-type result: local and global strong well-posedness in Lions-Magenes spaces for sufficiently small $\beta$.

Reading between the lines

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

  • As an editorial extension, the paper leaves the $L^q$ spectral analysis for $q\neq 2$ at the level of an assertion; a direct resolvent computation in $L^q$ for a flat interface would either confirm or refute the negative spectral bound that drives Theorem 4.1.
  • A consequence not explored here is that analytic tangential regularity at the interface may give a practical handle for inverse problems: measurements of tangential interface traces could in principle be interpolated analytically, making parameter identification from boundary data better posed than in the bulk.
  • If the critical Besov framework is sharp, one might expect to recover weak-strong uniqueness results for the coupled system by letting $q$ approach $2$ in Theorem 4.1, providing a bridge between the $L^q$ and $L^2$ theories for the two interface conditions.
Share X Bluesky LinkedIn Reddit HN

Formalized claims in Lean

  1. Claim #1: The central claim is that the linearized coupled operator, a $2\times 2$ system with a heat-type equation for the porous pressure and a Stokes operator for the fluid velocity whose domain encodes the interface conditions as non-diagonal boundary traces, generates an exponentially stable, compact, analytic semigroup with maximal $L^r$-regularity. Under the Beaver-Joseph-Saffman condition this holds

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper studies a fluid-porous interface problem coupling the Navier-Stokes equations in a fluid domain with a Darcy equation in a porous domain, under the Beavers-Joseph-Saffman (BJS) and Beavers-Joseph (BJ) interface conditions. The main claims are: (i) Theorem 4.1, local and global strong well-posedness for the BJS system in critical Besov spaces for q∈(1,3), r∈(1,∞) with 2/(3r)+1/q≤1 and small data; (ii) Theorem 5.1, analogous strong well-posedness for the BJ condition in Lions-Magenes spaces for small β in an L2 setting; (iii) Serrin-type blow-up criteria (Corollaries 4.3 and 5.3); and (iv) higher regularity, including analyticity at the interface under a technical condition and analytic forces (Corollaries 4.4 and 4.5). The proofs use abstract semigroup theory, boundary perturbation techniques, R-sectoriality, and the Prüss-Simonett-Wilke critical-space framework. The analysis is carried out by reformulating the interface conditions as non-diagonal domains for a coupled operator A, proving that A is a sectorial operator with maximal regularity, and then applying semilinear theory.

Significance. If the main results are correct, this is a substantial contribution: it gives the first strong-sense well-posedness for the Beavers-Joseph and Beavers-Joseph-Saffman interface conditions, with solutions satisfying the conditions as traces, in scaling-critical spaces analogous to the classical Navier-Stokes critical spaces. The paper also provides blow-up criteria and interface regularity results. The approach is largely intrinsic and does not rely on fitted parameters: the smallness conditions are explicit hypotheses, and the critical spaces are derived from the abstract theory. The main theorems are precisely formulated and would be of interest to the PDE and fluid mechanics communities. However, the validity of the central spectral-bound claim on Lq for all q is not established as written; this gap is load-bearing for the global existence and maximal-regularity results. The contribution is therefore potentially significant, but its current form requires a substantive repair.

major comments (3)
  1. [§6.2, Proposition 6.3(a)] The proof of Proposition 6.3(a) contains an invalid inference. The text asserts that compactness of the resolvent implies σ(A)=σ_p(A) and therefore q-independence of the spectrum, so that it suffices to compute eigenvalues for q=2. Compact resolvent only gives discreteness of the spectrum for a fixed realization; it does not imply that the spectrum is independent of the function space, and point spectra of differential operators on Lq can depend on q. The subsequent integration-by-parts computation is performed only for q=2 and establishes Re λ ≤ 0 and iR ⊆ ρ(A) for the L2 realization. But Theorem 4.1(ii) and Proposition 6.3(b) require the spectral bound s(A)<0 and R-sectoriality of the Lq realization for all q∈(1,3), through Proposition 3.1(b) and Proposition 3.4. As written, the Lq spectral gap is asserted, not proved. This is a load-bearing gap in the proof of global existence. The gap may be repairable, e.g. by showing that eigenfunctions of A on Lq are smooth up to Γ so that the L2 eigenvalue computation transfers, but that argument is absent.
  2. [§8, proof of Corollary 4.5] The tangential-shift construction defining the truncated shift τ_ξ contains a cutoff function ζ0 that is described as satisfying 'ζ0 ≡ 0 if |z| ⩽ 2a and ζ0 ≡ 0 if |z| > 5/2 a'. As written, ζ0 is identically zero, making the shift τ_ξ trivial and the parameter-trick argument in the spatial variable ineffective. For the interface regularity claim, the shift must act tangentially near Γ, so a cutoff that is nonzero in a neighbourhood of z=0 seems necessary. This appears to be a typo rather than a substantive mathematical error, but it must be corrected because the proof of Corollary 4.5 depends on the nontrivial tangential shift.
  3. [§7, proof of Theorem 4.1] The verification of Assumption (A) relies on Proposition 6.3(b), which in turn depends on the unjustified q-independent spectral bound from Proposition 6.3(a). In particular, the step 'from Proposition 6.3(a) we know that s(A)<0 and hence we may choose λ=0' in the proof of Proposition 6.3(b) transfers the L2 spectral gap to all Lq spaces without proof. Thus the maximal-regularity conclusion for the BJS operator on Lq is not fully established. I am not claiming the conclusion is false; I am pointing out that a central step in the argument as written is missing.
minor comments (5)
  1. [Throughout] The spelling of the names is inconsistent: both 'Beaver-Joseph' and 'Beavers-Joseph' appear; the standard spelling is 'Beavers-Joseph' for the condition, and this should be unified.
  2. [Theorem 4.1(i)] In the second displayed regularity line for u, the final space is written as B^{3/q-1}_{q,r}(Ωp); it should presumably be B^{3/q-1}_{q,r}(Ωf).
  3. [Corollary 4.3] The notation for the critical Besov spaces is inconsistent: the statement uses B^{3/q-1}_{r,q,Γ1}(Ωp) whereas Theorem 4.1 and equation (7.2) use B^{3/q-1}_{q,r,Γ1}(Ωp). This should be reconciled.
  4. [Abstract and Introduction] The phrase 'Serrin-type blow-up criterium' should be 'criterion'; also 'Beaver-Joseph' appears repeatedly where 'Beavers-Joseph' is standard.
  5. [Lemma 6.2(c)] The notation 'B^{2θ}_{qrΓ1}(Ωp)' is nonstandard and appears to be missing a comma; it should likely be 'B^{2θ}_{q r, Γ1}(Ωp)' or similar, consistent with the rest of the paper.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation is self-contained given standard external semigroup and interpolation theory; the flagged issue is a proof gap, not a circular reduction.

full rationale

The paper's central claims are not obtained by defining the conclusion into the assumptions or by fitting parameters. The coupled operator A is defined directly from the PDE and the Beavers-Joseph/Beavers-Joseph-Saffman interface conditions in Section 6, and its generator, maximal-regularity and interpolation properties are established by explicit arguments using boundary-perturbation theory, R-sectorial perturbation results, and standard interpolation characterizations. The small-data global existence in Theorem 4.1 is then an application of the abstract critical-space theory of Prüss, Simonett and Wilke, which is external to this paper and not equivalent to the target theorem. The critical Besov and Lions-Magenes spaces arise from real interpolation of the operator domain, not from renaming a known pattern. The self-citations that appear (e.g., Denk-Hieber-Prüss for R-boundedness, Arendt-Batty-Hieber-Neubrander for semigroup facts) are standard background tools and are not the load-bearing source of the main well-posedness result. The honest limitations stated in the paper, such as the BJ condition being treated only in the L2-setting because the Lq generation result remains open, further support that no conclusion is being forced by construction. The skeptic's concern about Proposition 6.3(a), namely that compact resolvent and point-spectrum structure do not by themselves prove q-independence of the spectrum, is a genuine correctness gap in the written proof; however, it is a logical gap rather than a circular step, because the claimed spectral bound is not assumed or fitted but is asserted on the basis of an invalid inference. Accordingly, no circularity step meets the required standard of exhibiting an equation or parameter that reduces to its own input.

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

No fitted free parameters and no invented physical entities appear in the paper. The central claim rests on standard semigroup and interpolation theory, explicit geometry and smallness assumptions, and one inadequately justified spectral assertion: the q-independence of the coupled operator's spectrum. The last item is the main reason the proof is not fully self-contained.

assumptions (6)
  • domain assumption Bounded smooth domains Omega_p and Omega_f in R3, nonempty interface Gamma, Dirichlet parts Gamma1 and Gamma2; storage coefficient s=1 and isotropic permeability K=kI.
    Section 2, equations (2.2)-(2.5). The results are proven only for this fixed-geometry, simplified Darcy model.
  • standard math Maximal Lr-regularity and interpolation characterizations for the Stokes and Laplacian operators with mixed boundary conditions, taken from Pruss [33], Seeley [38], and Amann [3].
    Lemma 6.2 and Proposition 6.3 rely on these external results for the diagonal, homogeneous-boundary operator A0.
  • standard math Abstract critical-space theory for semilinear parabolic equations from Pruss, Simonett, and Wilke [35] and Pruss and Wilke [36], including Assumption (S) and its replacement by a mixed derivative theorem from Meyries and Schnaubelt [32].
    Proposition 3.1 and the proof of Theorem 4.1 use this framework to convert maximal regularity into strong well-posedness.
  • standard math Boundary perturbation and R-sectorial perturbation theorems from Adler, Bombieri, and Engel [1], Kunstmann and Weis [29], and Haak, Haase, and Kunstmann [24].
    Propositions 3.3 and 3.4 and Lemma 6.6 use these results to decouple the non-diagonal boundary conditions and prove R-sectoriality.
  • ad hoc to paper Smallness hypotheses: small initial data for global existence, beta > 0 small for the Beavers-Joseph operator, and the technical condition 1/r+3/(2q)<1 for interface regularity.
    Theorems 4.1(ii), 5.1, and Corollary 4.5 are conditional on these explicit smallness and exponent constraints, which are not derived from the model.
  • ad hoc to paper Spectral q-independence of the coupled operator A, used to transfer the L2 dissipativity calculation to all Lq spaces.
    Proposition 6.3(a) asserts this without a valid proof; the given reason, compact resolvent plus point spectrum, does not generally imply q-independence.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Fluid-Structure Interaction with Porous Media: The Beaver-Joseph condition in the strong sense." pith.science (2026). https://pith.science/paper/XP44TJ6G

@misc{pith2026250109195,
  author       = {Pith},
  title        = {Pith review of: Fluid-Structure Interaction with Porous Media: The Beaver-Joseph condition in the strong sense},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XP44TJ6G}},
  note         = {Machine review of arXiv:2501.09195}
}
read the original abstract

This article considers fluid structure interaction describing the motion of a fluid contained in a porous medium. The fluid is modelled by Navier-Stokes equations and the coupling between fluid and the porous medium is described by the classical Beaver-Joseph or the Beaver-Joseph-Saffman interface condition. In contrast to previous work these conditions are investigated for the first time in the strong sense and it is shown that the coupled system admits a unique, global strong solution in critical spaces provided the data are small enough. Furthermore, a Serrin-type blow-up criterium is developed and higher regularity estimates at the interface are established, which say that the solution is even analytic provided the forces are so.

Figures

Figures reproduced from arXiv: 2501.09195 by the authors.

Figure 1
Figure 1. Fluid-porous media interaction The conditions are classical: the exchange of fluid between the two domains is conservative and the kinematic pressure in the porous media balances the normal component of the fluid flow stress in normal direction. Saffman pointed out that the velocity up is much smaller than the other terms in the Beaver￾Joseph law and proposed the simplified condition −σ(u, π)nf · t j Γ = αK−1/2 j u … view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

42 extracted references · 39 canonical work pages

  1. [1]

    Adler, M

    M. Adler, M. Bombieri, and K. J. Engel. Perturbation of analytic semigroups and applications to partial differential equations. J. Evol. Equ. , 17(4):1183–1208, 2017

    work page 2017

  2. [2]

    H. Amann. Linear and Quasilinear Parabolic Problems, Vol. I: Abstract Linear Theory , volume 89 of Mono- graphs in Mathematics . Birkh¨ auser, Basel, 1995

    work page 1995

  3. [3]

    H. Amann. On the strong solvability of the Navier-Stokes equations. J. Math. Fluid Mech. , 2(1):16–98, 2000

    work page 2000

  4. [4]

    H. Amann. Linear and Quasilinear Parabolic Problems, Vol II: Function Spaces, volume 106 of Monographs in Mathematics. Birkh¨ auser, Basel, 2019

    work page 2019

  5. [5]

    Angenent

    S. Angenent. Parabolic equations for curves on surfaces. i. Curves with p-integrable curvature. Ann. of Math. , 132:451–483, 1990

    work page 1990

  6. [6]

    Arendt, C

    W. Arendt, C. J. K. Batty, M. Hieber, and F. Neubrander. Vector-valued Laplace transforms and Cauchy problems, volume 96 of Monographs in Mathematics . Birkh¨ auser, Basel, second edition, 2011

    work page 2011

  7. [7]

    Badia, A

    S. Badia, A. Quaini, and A. Quarteroni. Coupling Biot and Navier-Stokes equations for modelling fluid- poroelastic media interaction. J. Comput. Phys. , 228:7986–8014, 2009

    work page 2009

  8. [8]

    G. S. Beaver and D. D. Joseph. Boundary conditions for a naturally permeable wall. J. Fluid Mech., 30:197–207, 1967

    work page 1967

Show all 42 references
  1. [9]

    Bociu, S

    L. Bociu, S. ˇCani´ c, B. Muha, and J. T. Webster. Multilayered poroelasticity interacting with Stokes flow.SIAM Journal on Mathematical Analysis , 53(6):6243–6279, 2021

    2021

  2. [10]

    Bociu, G

    L. Bociu, G. Guidoboni, R. Sacco, and J. T. Webster. Analysis of nonlinear poro-elastic and poro-visco-elastic models. Archive for Rational Mechanics and Analysis , 222:1445–1519, 2016

    2016

  3. [11]

    Boyer and P

    F. Boyer and P. Fabrie. Mathematical tools for the study of the incompressible Navier-Stokes equations and related models, volume 183 of Applied Mathematical Sciences. Springer, New York, 2013

    2013

  4. [12]

    M. Cannone. A generalization of a theorem by Kato on Navier-Stokes equations. Revista matematica iberoamer- icana, 13:515–541, 1997

    1997

  5. [13]

    M. Cannone. Harmonic analysis tools for solving the incompressible Navier-Stokes equations. Handbook of Mathematical Fluid Dynamics , pages 161–237, 2004. 20 TIM BINZ, MATTHIAS HIEBER, AND ARNAB ROY

    2004

  6. [14]

    Y. Cao, M. Gunzburger, F. Hua, and X. Wang. Coupled Stokes-Darcy model with Beaver-Joseph interface boundary condition. Commun. Math. Sci. , 8:1–25, 2010

    2010

  7. [15]

    Cao and X

    Y. Cao and X. Wang. The Beaver-Joseph interface boundary condition is well approximated by the Beaver- Joseph-Saffman-Jones interface boundary condition. SIAM J. appl. Math. , 82:1020–1044, 2022

    2022

  8. [16]

    R. Denk, M. Hieber, and J. Pr¨ uss. R-boundedness, Fourier multipliers and problems of elliptic and parabolic type. Mem. Amer. Math. Soc. , 166(788):viii+114, 2003

    2003

  9. [17]

    Discacciati and A

    M. Discacciati and A. Quarteroni. Navier-Stoke/Darcy coupling: modeling, analysis, and numerical approxi- mation. Rev. Mat. Complut , 22:315–436, 2009

    2009

  10. [18]

    K. J. Engel and R. Nagel. One-parameter Semigroups for Linear Evolution Equations , volume 194 of Graduate Texts in Mathematics . Springer-Verlag, New York, 2000

    2000

  11. [19]

    C. L. Fefferman, K. W. Hajduk, and J. C. Robinson. Simultaneous approximation in Lebesgue and Sobolev norms via eigenspaces. Proc. Lond. Math. Soc. (3) , 125(4):759–777, 2022

    2022

  12. [20]

    Fujita and T

    H. Fujita and T. Kato. On the Navier-Stokes initial value problem. I. Arch. Rational Mech. Anal., 16:269–315, 1964

    1964

  13. [21]

    Y. Giga. Domains of fractional powers of the Stokes operator in Lr spaces. Arch. Rational Mech. Anal. , 89(3):251–265, 1985

    1985

  14. [22]

    Y. Giga. Solutions for semilinear parabolic equations in Lp and regularity of weak solutions of the Navier-Stokes system. J. Differential Equations , 62(2):186–212, 1986

    1986

  15. [23]

    G. Greiner. Perturbing the boundary conditions of a generator. Houston J. Math. , 13:213–229, 1987

    1987

  16. [24]

    B. H. Haak, M. Haase, and P. C. Kunstmann. Perturbation, interpolation, and maximal regularity. Adv. Dif- ferential Equations, 11(2):201–240, 2006

    2006

  17. [25]

    J¨ ager and A

    W. J¨ ager and A. Mikelic. On the interface boundary condition of Beaver, Joseph and Saffman. SIAM J. Appl. Math., 60:1–25, 2000

    2000

  18. [26]

    T. Kato. Strong Lp-solutions of the Navier-Stokes equation in Rm, with applications to weak solutions. Math. Z., 187(4):471–480, 1984

    1984

  19. [27]

    J. Kuan, S. ˇCani´ c, and B. Muha. Existence of a weak solution to a regularized moving boundary fluid-structure interaction problem with poroelastic media. Comptes Rendus M´ ecanique, 351(S1):1–30, 2023

    2023

  20. [28]

    J. Kuan, S. ˇCani´ c, and B. Muha. Fluid-poroviscoelastic structure interaction problem with nonlinear coupling. arXiv preprint arXiv:2307.16158 , 2023

    2023 arXiv

  21. [29]

    P. C. Kunstmann and L. Weis. Perturbation theorems for maximal Lp-regularity. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) , 30(2):415–435, 2001

    2001

  22. [30]

    P. C. Kunstmann and L. Weis. Maximal Lp-regularity for parabolic equations, Fourier multiplier theorems and H ∞-functional calculus. In Functional analytic methods for evolution equations , volume 1855 of Lecture Notes in Math. , pages 65–311. Springer, Berlin, 2004

    2004

  23. [31]

    Lions and E

    J.-L. Lions and E. Magenes. Non-homogeneous boundary value problems and applications. Vol. I , volume 181 of Die Grundlehren der mathematischen Wissenschaften . Springer-Verlag, New York-Heidelberg, 1972

    1972

  24. [32]

    Meyries and R

    M. Meyries and R. Schnaubelt. Interpolation, embeddings and traces of anisotropic fractional Sobolev spaces with temporal weights. J. Funct. Anal. , 262(3):1200–1229, 2012

    2012

  25. [33]

    Pr¨ uss.H ∞-calculus for generalized Stokes operators

    J. Pr¨ uss.H ∞-calculus for generalized Stokes operators. J. Evol. Equ. , 18(3):1543–1574, 2018

    2018

  26. [34]

    Pr¨ uss and G

    J. Pr¨ uss and G. Simonett. Moving Interfaces and Quasilinear Parabolic Evolution Equations , volume 105 of Monographs in Mathematics . Birkh¨ auser, 2016

    2016

  27. [35]

    Pr¨ uss, G

    J. Pr¨ uss, G. Simonett, and M. Wilke. Critical spaces for quasilinear parabolic evolution equations and applica- tions. J. Differential Equations , 264(3):2028–2074, 2018

    2018

  28. [36]

    Pr¨ uss and M

    J. Pr¨ uss and M. Wilke. Addendum to the paper ”On quasilinear parabolic evolution equations in weighted Lp-spaces II”. J. Evol. Equ. , 17:1381–1388, 2017

    2017

  29. [37]

    A. G. Saffman. On the boundary condition at the surface of a porous media. Studies Appl. Math. , 1:93–101, 1971

    1971

  30. [38]

    R. Seeley. Interpolation in Lp with boundary conditions. Studia Math. , 44:47–60, 1972

    1972

  31. [39]

    Staffans

    O. Staffans. Well-posed Linear Systems , volume 103 of Encyclopedia of Mathematics and its Applications . Cambridge University Press, 2005

    2005

  32. [40]

    H. Triebel. Interpolation Theory, Function Spaces, Differential Operators . North Holland, Amsterdam, 1978

    1978

  33. [41]

    Wang and H

    X. Wang and H. Wu. Global weak solutions to the Navier-Stokes-Darcy-Boussinesq system for thermal convec- tion in coupled free and porous media flows. Advances Diff.Equations, 26:1–44, 2021

    2021

  34. [42]

    G. Weiß. Regular linear systems with feedback. Nath. Control Signals Systems , 7:23–57, 1994. T. Binz, Princeton University, Program in Applied & Computational Mathematics, Fine Hall, W ash- ington Road, 08544 Princeton, NJ, USA. Email address : tb7523@princeton.edu M. Hieber,...

    1994

Pith tools

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