Pith. sign in

REVIEW 3 major objections 3 minor 77 references

A Regularized Interface Method for Fluid-Poroelastic Structure Interaction Problems with Nonlinear Geometric Coupling

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

Pith's one-line read The paper proves that, for each fixed smoothing scale $\delta>0$, a direct-contact fluid–poroelastic interaction problem with a nonlinear moving interface admits a weak solution on some time interval, obtained by inserting a thin…

desk verdict First existence claim for direct-contact FPSI with nonlinear geometry and vector-valued displacements, but the h->0 limit is sketched and the h-uniform existence time is not established; worth serious refereeing, not acceptance as-is. read the letter →

arxiv 2508.18065 v1 pith:E7G7NHVE submitted 2025-08-25 math.AP

classification math.AP MSC 35Q3074F1076S0535A0174B20
keywords fluid-poroelasticstructureinteractionBiotequationsmovinginterfaceweaksolutionsregularizedmethodnonlineargeometriccouplingNavier-Stokesoperatorsplitting
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 proves that a moving-boundary problem coupling an incompressible viscous fluid with a poroelastic solid—where the shared interface is defined by the solid's deformation—has a weak solution once the deformation is smoothed. The natural finite-energy deformation belongs only to $H^1$, too rough even to define the moving interface, and no existence theory existed for this nonlinearly coupled direct-contact problem. The regularized interface method replaces the poroelastic displacement by a spatial convolution $\hat\eta^\delta$ at scale $\delta>0$, uses it to define the moving domains and interface, and adjusts the weak formulation so the original energy identity is preserved. The main theorem states that for each fixed $\delta>0$, under non-degeneracy conditions on the smoothed initial geometry, a regularized interface weak solution exists on a time interval $T$ that may depend on $\delta$. This supplies the first existence framework for direct-contact fluid–poroelastic interaction with nonlinear geometric coupling, including vector-valued solid displacements.

What carries the argument

The regularized interface method: replace the $H^1$ Biot displacement $\hat\eta$ by its convolution $\hat\eta^\delta=(E\hat\eta*\varphi_\delta)|_{\hat\Omega_b}$ with a mollifier of scale $\delta$, define the moving Biot domain, fluid domain, and interface using $\hat\eta^\delta$, and modify the weak formulation—for instance by testing with convolved test functions $\hat\psi^\delta$ and using the regularized interface velocity $\hat\xi^\delta$—so that the energy estimate is unchanged. The existence proof then runs on two approximation levels: a viscoelastic plate of thickness $h>0$ with displacement $\omega\in H^2(\Gamma)$ regularizes the interface dynamics; Lie operator splitting separates the plate update from the fluid–Biot update; and compactness arguments on moving domains pass first $N\to\infty$, then $h\to0$. The load-bearing identities are the coercivity of the semidiscrete bilinear form and the uniform geometric estimates ($\det(I+\nabla\eta^\delta)\ge c$, $J_f^\omega\ge c$, $|r'|\ge\alpha$), which keep the moving maps injective and non-degenerate throughout the limit passages.

What would settle it

For a fixed $\delta>0$, produce admissible initial data satisfying the three non-degeneracy conditions whose regularized interface map $\hat\Phi_{\Gamma}^{\eta^\delta}$ loses injectivity—say $|r'(z)|\to0$ at some positive time—before the construction yields a weak solution; such finite-time self-intersection would contradict the claimed existence. A complementary diagnostic is to measure the maximal existence time $T(\delta)$ as $\delta\to0$: shrinking $T(\delta)$ would not refute the theorem, but would show the result does not reach the original problem.

Watch

Extended reading notes

Core claim

The central claim is Theorem 4.1: for a purely poroelastic or poroviscoelastic Biot medium, given divergence-free $u_0\in L^2(\Omega_f(0))$, $\hat\eta_0\in H^1(\hat\Omega_b)$, $\hat\xi_0\in L^2(\hat\Omega_b)$, $\hat p_0\in L^2(\hat\Omega_b)$, and assuming three geometric non-degeneracy conditions on the regularized initial data ($\det(I+\nabla\hat\eta^\delta_0)\ge c>0$, $J_f^{\omega_0}\ge c>0$, $|r'(z)|\ge\alpha>0$), there exists $T>0$ and a regularized interface weak solution $(u,\eta,p)$ in the sense of Definition 4.3. The proof is constructive: it inserts a thin viscoelastic plate of thickness $h>0$ at the interface, solves the time-discrete problem by Lie operator splitting into a plate subproblem and a fluid–Biot subproblem, passes to the limit $N\to\infty$, and then takes the singular limit $h\to 0$ with uniform-in-$h$ compactness on moving domains. The $\delta$-regularization is what makes the $h\to0$ limit viable: without it the plate's higher interface regularity is scaled by powers of $h$ and vanishes, so uniform geometric control of the interface is lost. The same a priori energy estimate as the original problem holds, which is the paper's criterion for the regularization being faithful.

Load-bearing premise

The theorem requires the three geometric non-degeneracy bounds to hold for the smoothed initial data and allows the existence time and all constants to depend on the smoothing scale $\delta$; it proves no $\delta$-uniform bounds and no convergence as $\delta\to0$, so the unsmoothed, original problem is not yet covered.

Editorial extensions

If this is right

  • For every fixed $\delta>0$, a direct-contact fluid–poroelastic problem with nonlinear geometric coupling has a weak solution, for both poroelastic and poroviscoelastic Biot media, with no plate or artificial mass left in the limiting problem.
  • The existence time and geometric safety margins of the $h$-plate approximations are independent of $h$, so the singular limit $h\to0$ can be taken on a common time interval that depends only on $\delta$ and the initial data.
  • Every regularized solution obeys the same a priori energy identity and dissipation structure as the formally derived original problem, which is the paper's notion of a consistent regularization.
  • Because the smoothed displacement is smooth enough to control injectivity in time, vector-valued structural displacements become tractable, going beyond the scalar transverse displacement assumptions common in weak fluid-structure theory.
  • The construction is modular and constructive: at each time step the plate update and the fluid–Biot update are solved separately, so the scheme is directly amenable to numerical operator-splitting implementations.

Reading between the lines

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

  • Read strictly, Theorem 4.1 is existence for a $\delta$-regularized surrogate problem rather than for the original one: since $T$, the constants, and the non-degeneracy assumptions all depend on the fixed scale $\delta$, the claim that the regularized problem approximates the physical problem rests entirely on the announced $\delta\to0$ consistency result.
  • The smoothing scale $\delta$ functions as a geometric regularization length, so one would expect the maximal existence time $T(\delta)$ to shrink as $\delta\to0$; a quantitative estimate of $T(\delta)$ in terms of $\delta$ would be a natural next result and would say how much the regularization costs.
  • The same two-step structure—convolve the structure displacement to define the geometry, then repair the weak formulation to preserve energy—should transfer to fluid–elastic bulk interaction and to three-dimensional problems, where vector-valued displacements cause the same injectivity barrier.
  • A numerical consequence worth testing: any discretization of the Lie-splitting scheme that preserves the regularized weak formulation should be energy-stable uniformly in the plate thickness $h$, and the geometric non-degeneracy constants should degrade like a controlled function of $T$ and $\delta$.
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

3 major / 3 minor

Summary. The manuscript introduces a regularized interface method for a two-dimensional fluid-poroelastic structure interaction (FPSI) problem with nonlinear geometric coupling. The Biot displacement is regularized by spatial convolution at scale δ>0, and the resulting smooth displacement defines regularized moving fluid and Biot domains and a regularized interface. A modified weak formulation is proposed so that the energy structure of the original problem is preserved. The main result, Theorem 4.1, asserts that for each fixed δ>0 and for sufficiently regular initial data satisfying geometric nondegeneracy conditions on the regularized data, there exists a local-in-time regularized interface weak solution. The proof strategy approximates the direct-contact problem by inserting a thin viscoelastic plate of thickness h>0, proves existence for the plate problem via a Lie operator splitting scheme, and then passes to the limit h→0. Section 6 also sketches the passage through the h-level weak formulation to the limiting direct-contact formulation, while deferring the δ→0 consistency to a companion paper.

Significance. If fully established, this would be the first existence result for a direct-contact Biot-fluid FPSI problem with nonlinear geometric coupling and vector-valued bulk displacements. The regularized interface method is a plausible new tool for low-regularity moving-boundary problems, and the energy-consistent modification of the weak formulation is a thoughtful construction. The paper also provides detailed a priori estimates and compactness arguments for the splitting scheme. However, the proof as written has load-bearing gaps: the h-independent existence time is not rigorously established, and the key limit passages are either sketched or deferred to earlier works. The δ→0 consistency is explicitly left to a companion paper, so the present manuscript establishes existence only for each fixed regularization scale.

major comments (3)
  1. [Section 5.2, Proposition 5.2 and Remark 5.2] The claim in Theorem 5.1 that the existence time T is independent of the plate thickness h is not proved. In the proof of Proposition 5.2, the geometric estimate (69) is obtained with constants that are explicitly allowed to depend on h, and Remark 5.2 only asserts heuristically that this dependence disappears in the limit N→∞ because the plate velocities coincide. Since the passage N→∞ in Section 5.4 is performed for each fixed h, it cannot by itself produce a limiting existence time uniform in h. No N-uniform-in-h estimate is supplied, so the uniformity asserted in Theorem 5.1 remains unsupported.
  2. [Section 6.1, Proposition 6.1] Proposition 6.1 is the only result that is supposed to provide a common time interval [0,T] for all h>0, but its proof assumes that the h-level solution already exists on [0,T] and then uses estimates on that interval, for example the bounds on ζ_h in (95) and the integration in (96). There is no continuation or bootstrap argument showing that the local existence time obtained for each fixed h can be extended uniformly in h. Consequently the proof of the common time interval is circular, and the compactness and limit passage as h→0 in Section 6 does not have a valid common time domain on which to work.
  3. [Section 6.2 and Section 5.4] The limit passages that connect the approximate problems to the final regularized interface weak solution are not fully written. Section 6.2 explicitly says the proof of Theorem 4.1 is concluded 'by sketching' the h→0 limit, and it defers the construction of moving-domain test functions to Section 5.4, which in turn defers the N→∞ passage to Section 9.3 of [48]. Because the weak formulation contains nonlinear geometric terms on moving domains, these limit passages are load-bearing for the central existence claim. The manuscript should either provide complete arguments for both limits or clearly state Theorem 4.1 as conditional on those details.
minor comments (3)
  1. [Section 6.2, Theorem 6.1] The final sentence of Theorem 6.1 says the limiting solution is a regularized interface weak solution 'in the sense of Definition 5.1', but the limiting direct-contact problem is defined in Definition 4.3; this is likely a typo and should be corrected.
  2. [Section 4.3] In the paragraph describing the energy estimate, the text refers to 'the regularized interface weak formulation (Definition 3.2)', but Definition 3.2 is the original, non-regularized fixed-domain formulation; the intended reference appears to be Definition 4.3.
  3. [Section 6, Remark 6.1] Remark 6.1 states that Proposition 6.1 'completes the proof of Theorem 5.1', but Proposition 6.1 assumes existence of the h-level solution on [0,T] and only derives uniform geometric bounds; as written, it cannot complete the existence proof, and the remark should be rephrased to avoid this apparent circularity.

Circularity Check

1 steps flagged · score 4.0 of 10

The h-uniform existence time is assumed in Proposition 6.1 rather than derived, making the h→0 limit partially circular; the regularized construction itself is otherwise self-contained.

  1. other [Section 6, Proposition 6.1 and Remark 6.1; cf. Section 5.2, Proposition 5.2 and Remark 5.2]
    "Proposition 6.1. There exists a time T > 0 independent of 0 < h ≤ 1, such that there exists a regularized interface weak solution to the FPSI problem with plate thickness h > 0 on the time interval [0,T]. ... Proof. We begin with the observation that since the regularization parameter δ > 0 is fixed ... by choosing T sufficiently small and applying Proposition 3.1, we obtain the results ... Remark 6.1. ... the result in Proposition 6.1 completes the proof of Theorem 5.1 ... by verifying ... that the time of existence T > 0 ..."

    The claim to be proved—existence of solutions on a common time interval [0,T] independent of h—is the starting hypothesis of its own proof. Proposition 6.1's argument estimates ζh = ∂tηδ_h|Γ and ωh − ω0 on [0,T], which presupposes that the h-level solutions already exist on that interval; no continuation or bootstrap is supplied. The only candidate justification for h-independence is Proposition 5.2, whose geometric estimates have constants that 'potentially depend on h' (stated in its proof), and Remark 5.2's explanation that the dependence 'vanishes in the limit as N→∞ because the plate velocities coincide' is heuristic, since the N→∞ limit in Section 5.4 is carried out for fixed h.

full rationale

Most of the derivation chain is not circular. The regularized interface weak solution (Definition 4.3) is a deliberately constructed object: the paper modifies the weak formulation so that the energy estimate (46) holds, and existence for fixed δ is proved for that formulation. There is no fitted parameter being relabeled as a prediction, and the δ→0 consistency claim is explicitly deferred to a companion work, so it is not asserted here as a derived result. The repeated citations to the authors' own papers [47,48,57] for the splitting scheme, the Biot-fluid solvability (Lemma 6.2 in [48]), moving-domain Aubin–Lions compactness (Proposition 8.3 in [48]), and the limit passage (Section 9.3 in [48]) are citations to independent published proofs; they do not presuppose Theorem 4.1, so under the stated rules they do not count as circularity. The genuine circular step is the uniformity of the existence time in h. Proposition 5.2's geometric estimates are obtained with constants that 'potentially depend on h' (stated in its proof); Remark 5.2 acknowledges this and claims the dependence disappears in the N→∞ limit, but the limit passage in Section 5.4 is carried out for fixed h and no N-uniform-in-h estimate is given. Proposition 6.1 then states the desired h-independent existence result and, in its proof, begins from solutions on the very interval [0,T] whose existence is the claim, deriving only bounds—no continuation argument shows local h-level solutions can be extended to a common T. Thus the h-uniform time interval functions as an input to the proof rather than an output. Since the h→0 compactness argument relies on solutions being defined on a common [0,T], this is partial circularity in the proof of Theorem 4.1. The central construction and the fixed-δ existence idea retain independent mathematical content, so the score is 4 rather than higher.

Assumptions & free parameters 1 free parameters · 3 assumptions · 2 invented entities

The central result rests on delta as a hand-chosen regularization scale, on geometric non-degeneracy assumptions for the regularized initial data, and on the ad hoc regularized kinematic coupling omega = eta-delta restricted to Gamma. The heavy analytic tools are standard. No numerical fitting is present.

free parameters (1)
  • regularization scale delta = delta > 0, arbitrary and fixed
    Introduced ad hoc to make the moving interface smooth via spatial convolution with a kernel of support delta. The existence time T may depend on delta, and no delta-uniform estimates are provided.
assumptions (3)
  • standard math Standard elliptic regularity, Sobolev embedding, Aubin-Lions and Dreher-Jungel compactness, Lax-Milgram, and Korn's inequality.
    Invoked throughout Sections 5 and 6 as background tools for existence and compactness.
  • domain assumption Geometric nondegeneracy of the regularized initial data: the regularized Lagrangian map, the fluid ALE map, and the interface parametrization are bijective with positive Jacobian bounds.
    Listed as hypotheses in Theorem 4.1 and used to propagate uniform geometric control in Propositions 5.2 and 6.1.
  • ad hoc to paper The regularized kinematic coupling condition omega = eta-delta restricted to Gamma, which replaces the physical interface displacement with its convolution.
    Introduced in Definition 5.1 and used in the approximate plate problem to obtain uniform-in-h geometric estimates. This is a modification of the original physical coupling, not derived from it.
invented entities (2)
  • Regularized Biot displacement eta-delta (spatial convolution of eta with a kernel of scale delta)
    purpose: Defines smooth moving domains and a regularized interface, enabling well-defined weak formulations and uniform geometric control for vector-valued displacements.
    Mathematical approximation device with no independent physical handle; its usefulness depends on the unproven delta to 0 consistency.
  • Thin plate of thickness h > 0 at the interface
    purpose: Serves as an intermediate regularization that allows a stable Lie operator splitting existence proof; is removed in the limit h to 0.
    Computational and analytic device; the plate is not part of the target direct-contact problem.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Regularized Interface Method for Fluid-Poroelastic Structure Interaction Problems with Nonlinear Geometric Coupling." pith.science (2026). https://pith.science/paper/E7G7NHVE

@misc{pith2026250818065,
  author       = {Pith},
  title        = {Pith review of: A Regularized Interface Method for Fluid-Poroelastic Structure Interaction Problems with Nonlinear Geometric Coupling},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/E7G7NHVE}},
  note         = {Machine review of arXiv:2508.18065}
}
abstract

We introduce a new regularized interface method for proving existence of weak solutions to nonlinear moving boundary problems with low-regularity interfaces. We study a fluid-poroelastic structure interaction (FPSI) problem coupling the Navier-Stokes equations for an incompressible viscous fluid with the Biot system for a bulk poroelastic medium. The two phases occupy domains of the same spatial dimension, separated by a moving interface defined by the trace of the poroelastic displacement, which exhibits low regularity and strong geometric nonlinearities. Despite its importance in applications, no existence theory has been available for this nonlinear moving-domain setting, primarily because the lack of interface regularity precludes even the formulation of a weak solution framework. To address this gap, we (1) introduce a regularization of the Biot displacement via spatial convolution at scale $\delta > 0$, which defines regularized moving domains and interface, and (2) modify the weak formulation in a way that preserves energy consistency with the original problem. For each fixed $\delta > 0$, we prove existence of a weak solution to the resulting regularized interface problem. The proof strategy involves inserting a thin plate of thickness $h > 0$ at the interface, applying a time-discretization via a Lie operator splitting scheme, establishing uniform a priori bounds, and employing Aubin-Lions compactness on moving domains. The analysis is particularly involved, partly because the thin plate allows displacements in all spatial directions. Passing to the limit $h \to 0$ with uniform-in-h estimates and compactness arguments yields a regularized interface weak solution. The regularization introduced in this manuscript is essential to maintain uniform geometric control of the moving interface and to accommodate vector-valued structural displacements.

Figures

Figures reproduced from arXiv: 2508.18065 by the authors.

Figure 1
Figure 1. A diagram of the fixed domain (left) and the moving domain (right) geometry of the [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. An illustration of the integral over A2 and the associated domains in both the moving domain (left) and the reference domain (right) configuration, transformed by the map Φ ω n N f . theorem for lengths in Proposition 8.2, we conclude that the region pΦ ω n N f q ´1 pΩ n´1 f,N X Ω n f,N q is contained within the thin annulus: Dϵ :“ tx P R 2 : 1 ă |x| ď 1 ` ϵu, for ϵ “ c0p∆tq}ζ n´ 1 2 N }H1pΓq ¨ }∇pΦ ω n N f q ´1 }L8… view at source ↗
Figure 3
Figure 3. The curves γ1 and γ2 connecting two points px1, y1q and px2, y2q in Ωf , where γ1 is purely radial and γ2 is purely circular (constant radius). convex, as the line segment connecting two points in Ωf is not necessarily contained entirely within Ωf , we must define an alternative notion of “distance” within Ωf that is equivalent to the usual Euclidean norm. Let px1, y1q and px2, y2q be two points in Ωf , with associa… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

77 extracted references · 75 canonical work pages

  1. [48]

    J. Kuan, S. ˇCani´ c, and B. Muha. Fluid-poroviscoelastic structure interaction problem with nonlinear geometric coupling. J. Math. Pures Appl. , 188:345–445, 2024. 67

  2. [1]

    R. A. Adams and J. J. F. Fournier. Sobolev spaces, volume 140 of Pure and Applied Mathe- matics. Academic Press, Oxford, second edition, 2003

  3. [2]

    Ambartsumyan, V

    I. Ambartsumyan, V. J. Ervin, T. Nguyen, and I. Yotov. A nonlinear Stokes-Biot model for the interaction of a non-Newtonian fluid with poroelastic media. ESAIM Math. Model. Numer. Anal., 53(6):1915–1955, 2019

  4. [3]

    Avalos, E

    G. Avalos, E. Gurvich, and J. Webster. Weak and strong solutions for a fluid-poroelastic structure interaction via a semigroup approach. Preprint, 2024

  5. [4]

    Uniqueness of Weak Solutions for Biot-Stokes Interactions

    George Avalos and Justin T Webster. Uniqueness of weak solutions for biot-stokes interactions. arXiv preprint arXiv:2502.07061 , 2025

  6. [5]

    Badia, A

    S. Badia, A. Quaini, and A. Quarteroni. Coupling Biot and Navier-Stokes equations for mod- elling fluid-poroelastic media interaction. Journal of Computational Physics , 228(21):7986– 8014, 2009

  7. [6]

    Barbu, Z

    V. Barbu, Z. Gruji´ c, I. Lasiecka, and A. Tuffaha. Existence of the energy-level weak solutions for a nonlinear fluid-structure interaction model. In Fluids and waves, volume 440 of Contemp. Math., pages 55–82. Amer. Math. Soc., Providence, RI, 2007

  8. [7]

    Barbu, Z

    V. Barbu, Z. Gruji´ c, I. Lasiecka, and A. Tuffaha. Smoothness of weak solutions to a nonlinear fluid-structure interaction model. Indiana Univ. Math. J. , 57(3):1173–1207, 2008

Show all 77 references
  1. [8]

    Analysis of a linearized porome- chanics model for incompressible and nearly incompressible materials

    Mathieu Barr´ e, C´ eline Grandmont, and Philippe Moireau. Analysis of a linearized porome- chanics model for incompressible and nearly incompressible materials. Evol. Equ. Control Theory, 12(3):846–906, 2023

  2. [9]

    Barucq, M

    H. Barucq, M. Madaune-Tort, and P. Saint-Macary. Theoretical aspects of wave propagation for Biot’s consolidation problem. Monograf´ ıas del Seminario Matem´ atico Garc´ ıa de Galdeano, 31:449–458, 2004

  3. [10]

    Barucq, M

    H. Barucq, M. Madaune-Tort, and P. Saint-Macary. On nonlinear Biot’s consolidation models. Nonlinear Anal., 63:e985–e995, 2005

  4. [11]

    Beir˜ ao da Veiga

    H. Beir˜ ao da Veiga. On the existence of strong solutions to a coupled fluid-structure evolution problem. J. Math. Fluid Mech. , 6(1):21–52, 2004

  5. [12]

    A variational ap- proach to hyperbolic evolutions and fluid-structure interactions

    Barbora Beneˇ sov´ a, Malte Kampschulte, and Sebastian Schwarzacher. A variational ap- proach to hyperbolic evolutions and fluid-structure interactions. J. Eur. Math. Soc. (JEMS) , 26(12):4615–4697, 2024

  6. [13]

    M. A. Biot. General theory of three-dimensional consolidation. J. Appl. Phys. , 12(2):155–164, 1941

  7. [14]

    M. A. Biot. Theory of elasticity and consolidation for a porous anisotropic solid. J. Appl. Phys., 26(2):182–185, 1955

  8. [15]

    Bociu, G

    L. Bociu, G. Guidoboni, R. Sacco, and J. T. Webster. Analysis of nonlinear poro-elastic and poro-visco-elastic models. Arch. Ration. Mech. Anal., 222(3):1445–1519, 2016. 65

  9. [16]

    Bociu, B

    L. Bociu, B. Muha, and J. T. Webster. Weak solutions in nonlinear poroelasticity with incom- pressible constituents. Nonlinear Anal. Real World Appl. , 67:Paper No. 103563, 22, 2022

  10. [17]

    Bociu, B

    L. Bociu, B. Muha, and J. T. Webster. Mathematical effects of linear visco-elasticity in quasi- static Biot models. J. Math. Anal. Appl. , 527(2):Paper No. 127462, 2023

  11. [18]

    Bociu, S

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

  12. [19]

    Bociu and J

    L. Bociu and J. T. Webster. Nonlinear quasi-static poroelasticity. J. Differential Equations , 296:242–278, 2021

  13. [20]

    Compressible fluids inter- acting with 3D visco-elastic bulk solids

    Dominic Breit, Malte Kampschulte, and Sebastian Schwarzacher. Compressible fluids inter- acting with 3D visco-elastic bulk solids. Math. Ann., 390(4):5495–5552, 2024

  14. [21]

    M. Bukaˇ c. A loosely-coupled scheme for the interaction between a fluid, elastic structure and poroelastic material. J. Comput. Phys. , 313:377–399, 2016

  15. [22]

    Bukaˇ c, I

    M. Bukaˇ c, I. Yotov, and P. Zunino. An operator splitting approach for the interaction between a fluid and a multilayered poroelastic structure. Numer. Methods Partial Differential Equations , 31(4):1054–1100, 2014

  16. [23]

    Canic, Y

    S. Canic, Y. Wang, and M. Bukaˇ c. A next-generation mathematical model for drug eluting stents. SIAM J. Appl. Math. , 81(4):1503–1529, 2021

  17. [24]

    Caucao, T

    S. Caucao, T. Li, and I. Yotov. A cell-centered finite volume method for the Navier-Stokes/Biot model. In R. Kl¨ ofkorn, E. Keilegavlen, F. A. Radu, and J. Fuhrmann, editors,Finite volumes for complex applications IX - Methods, theoretical aspects, examples , volume 323 of Spr...

  18. [25]

    Caucao, T

    S. Caucao, T. Li, and I. Yotov. A multipoint stress-flux mixed finite element model for the Stokes-Biot model. Numer. Math., 152:411–473, 2022

  19. [26]

    Causin, G

    P. Causin, G. Guidoboni, A. Harris, D. Prada, R. Sacco, and S. Terragni. A poroelastic model for the perfusion of the lamina cribrosa in the optic nerve head. Math. Biosci. , 257:33–41, 2014

  20. [27]

    Cesmelioglu

    A. Cesmelioglu. Analysis of the coupled Navier-Stokes/Biot problem. J. Math. Anal. Appl. , 456(2):970–991, 2017

  21. [28]

    Chambolle, B

    A. Chambolle, B. Desjardins, M. J. Esteban, and C. Grandmont. Existence of weak solutions for the unsteady interaction of a viscous fluid with an elastic plate. J. Math. Fluid Mech. , 7(3):368–404, 2005

  22. [29]

    C. H. A. Cheng, D. Coutand, and S. Shkoller. Navier-Stokes equations interacting with a nonlinear elastic biofluid shell. SIAM J. Math. Anal. , 39(3):742–800, 2007

  23. [30]

    C. H. A. Cheng and S. Shkoller. The interaction of the 3D Navier-Stokes equations with a moving nonlinear Koiter elastic shell. SIAM J. Math. Anal. , 42(3):1094–1155, 2010

  24. [31]

    P. G. Ciarlet. Mathematical Elasticity Volume I: Three-Dimensional Elasticity , volume 20 of Studies in Mathematics and Its Applications . Elsevier Science Publishers B.V., Amsterdam, 1988. 66

  25. [32]

    Coutand and S

    D. Coutand and S. Shkoller. Motion of an elastic solid inside an incompressible viscous fluid. Arch. Ration. Mech. Anal., 176(1):25–102, 2005

  26. [33]

    Coutand and S

    D. Coutand and S. Shkoller. The interaction between quasilinear elastodynamics and the Navier-Stokes equations. Arch. Ration. Mech. Anal., 179(3):303–352, 2006

  27. [34]

    Dreher and A

    M. Dreher and A. J¨ ungel. Compact families of piecewise constant functions in Lpp0,T ;Bq. Nonlinear Anal., 75(6):3072–3077, 2012

  28. [35]

    L. C. Evans. Partial differential equations , volume 19 of Graduate Studies in Mathematics . American Mathematical Society, Providence, second edition, 2010

  29. [36]

    Flandoli and D

    F. Flandoli and D. Gatarek. Martingale and stationary solutions for stochastic Navier-Stokes equations. Prob. Theory Related Fields, 102(3):367–391, 1995

  30. [37]

    Girault, M

    V. Girault, M. F. Wheeler, B. Ganis, and M. E. Mear. A lubrication fracture model in a poro-elastic medium. Math. Models Methods Appl. Sci. , 25(4):587–645, 2015

  31. [38]

    Grandmont

    C. Grandmont. Existence of weak solutions for the unsteady interaction of a viscous fluid with an elastic plate. SIAM J. Math. Anal. , 40(2):716–737, 2008

  32. [39]

    Grandmont and M

    C. Grandmont and M. Hillairet. Existence of global strong solutions to a beam-fluid interaction system. Arch. Ration. Mech. Anal., 220(3):1283–1333, 2016

  33. [40]

    Grandmont, M

    C. Grandmont, M. Luk´ aˇ cov´ a-Medvid’ov´ a, andˇS. Neˇ casov´ a. Mathematical and numerical analysis of some FSI problems. In T. Bodn´ ar, G. P. Galdi, and ˇS. Neˇ casov´ a, editors,Fluid- structure interaction and biomedical applications, Advances in Mathematical Fluid Mech...

  34. [41]

    Grandmont and L

    C. Grandmont and L. Sabbagh. Existence and uniqueness of strong solutions to a bi- dimensional fluid-structure interaction system. 2024

  35. [42]

    Grisvard

    P. Grisvard. Elliptic problems in nonsmooth domains , volume 69 of Classics in Applied Math- ematics. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2011

  36. [43]

    Ignatova, I

    M. Ignatova, I. Kukavica, I. Lasiecka, and A. Tuffaha. On well-posedness for a free boundary fluid-structure model. J. Math. Phys. , 53(11):115624, 13, 2012

  37. [44]

    Ignatova, I

    M. Ignatova, I. Kukavica, I. Lasiecka, and A. Tuffaha. On well-posedness and small data global existence for an interface damped free boundary fluid-structure model. Nonlinearity, 27(3):467–499, 2014

  38. [45]

    Kampschulte, S

    M. Kampschulte, S. Schwarzacher, and G. Sperone. Unrestricted deformations of thin elastic structures interacting with fluids. J. Math. Pures Appl. (9) , 173:96–148, 2023

  39. [46]

    Kuan and K

    J. Kuan and K. Tawri. Existence of weak martingale solutions to a stochastic fluid-structure interaction problem with a compressible viscous fluid. J. Differential Equations , To appear

  40. [47]

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

  41. [49]

    Kukavica and A

    I. Kukavica and A. Tuffaha. Solutions to a fluid-structure interaction free boundary problem. DCDS-A, 32(4):1355–1389, 2012

  42. [50]

    Kukavica, A

    I. Kukavica, A. Tuffaha, and M. Ziane. Strong solutions for a fluid structure interaction system. Adv. Differential Equations, 15(3-4):231–254, 2010

  43. [51]

    Lengeler and M

    D. Lengeler and M. R˚ uˇ ziˇ cka. Weak solutions for an incompressible Newtonian fluid interacting with a Koiter type shell. Arch. Ration. Mech. Anal., 211(1):205–255, 2014

  44. [52]

    Lequeurre

    J. Lequeurre. Existence of strong solutions to a fluid-structure system. SIAM J. Math. Anal. , 43(1):389–410, 2011

  45. [53]

    Lesinigo, C

    M. Lesinigo, C. D’Angelo, and A. Quarteroni. A multiscale Darcy-Brinkman model for fluid flow in fractured porous media. Numer. Math., 117(4):717–752, 2011

  46. [54]

    T. Li, S. Caucao, and I. Yotov. An augmented fully mixed formulation for the quasistatic navier-stokes-biot model. IMA J. Numer. Anal. , 44(2):1153–1210, 2024

  47. [55]

    Li and I

    T. Li and I. Yotov. A mixed elasticity formulation for fluid-poroelastic structure interaction. ESIAM Math. Model. Numer. Anal. , 56:1–40, 2022

  48. [56]

    Existence of a weak solution to a nonlinear fluid-structure interaction problem with heat exchange

    V´ aclav M´ acha, Boris Muha, ˇ S´ arka Neˇ casov´ a, Arnab Roy, and Srdan Trifunovi´ c. Existence of a weak solution to a nonlinear fluid-structure interaction problem with heat exchange. Comm. Partial Differential Equations , 47(8):1591–1635, 2022

  49. [57]

    Muha and S

    B. Muha and S. ˇCani´ c. Existence of a weak solution to a nonlinear fluid-structure interaction problem modeling the flow of an incompressible, viscous fluid in a cylinder with deformable walls. Arch. Ration. Mech. Anal., 207(3):919–968, 2013

  50. [58]

    Muha and S

    B. Muha and S. ˇCani´ c. A nonlinear, 3D fluid-structure interaction problem driven by the time-dependent dynamic pressure data: a constructive existence proof. Commun. Inf. Syst. , 13(3):357–397, 2013

  51. [59]

    Muha and S

    B. Muha and S. ˇCani´ c. Existence of a solution to a fluid-multi-layered-structure interaction problem. J. Differential Equations , 256(2):658–706, 2014

  52. [60]

    Muha and S

    B. Muha and S. ˇCani´ c. Fluid-structure interaction between an incompressible, viscous 3D fluid and an elastic shell with nonlinear Koiter membrane energy. Interfaces Free Bound. , 17(4):465–495, 2015

  53. [61]

    Muha and S

    B. Muha and S. ˇCani´ c. Existence of a weak solution to a fluid-elastic structure interaction problem with the Navier slip boundary condition. J. Differential Equations , 260(12):8550– 8589, 2016

  54. [62]

    Muha and S

    B. Muha and S. ˇCani´ c. A generalization of the Aubin-Lions-Simon compactness lemma for problems on moving domains. J. Differential Equations , 266(12):8370–8418, 2019

  55. [63]

    Existence and regularity of weak solutions for a fluid interacting with a non-linear shell in three dimensions

    Boris Muha and Sebastian Schwarzacher. Existence and regularity of weak solutions for a fluid interacting with a non-linear shell in three dimensions. Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 39(6):1369–1412, 2022

  56. [64]

    Owczarek

    S. Owczarek. A Galerkin method for Biot consolidation model. Math. Mech. Solids, 15(1):42– 56, 2010. 68

  57. [65]

    Oyekole and M

    O. Oyekole and M. Bukaˇ c. Second-order, loosely coupled methods for fluid-poroelastic material interaction. Numer. Methods Partial Differential Equations , 36(4):800–822, 2020

  58. [66]

    Raymond and M

    J.-P. Raymond and M. Vanninathan. A fluid-structure model coupling the Navier-Stokes equations and the Lam´ e system.J. Math. Pures Appl. (9) , 102(3):546–596, 2014

  59. [67]

    R. E. Showalter. Diffusion in poro-elastic media. J. Math. Anal. Appl. , 251(1):310–340, 2000

  60. [68]

    R. E. Showalter. Poroelastic filtration coupled to Stokes flow. In Control theory of partial differential equations, volume 242 of Lect. Notes Pure Appl. Math. , pages 229–241. Chapman & Hall/CRC, Boca Raton, FL, 2005

  61. [69]

    R. E. Showalter and N. Su. Partially saturated flow in a poroelastic medium. Discrete Contin. Dyn. Syst. Ser. B , 1(4):403–420, 2001

  62. [70]

    Existence of a weak solution to the fluid-structure interaction problem in 3D

    Srdan Trifunovi´ c and Ya-Guang Wang. Existence of a weak solution to the fluid-structure interaction problem in 3D. J. Differential Equations , 268(4):1495–1531, 2020

  63. [71]

    ˇCani´ c

    S. ˇCani´ c. Fluid-structure interaction with incompressible fluids. In L. C. Berselli and M. Ruˇ ziˇ cka, editors,Progress in Mathematical Fluid Dynamics , volume 2272 of Lecture Notes in Mathematics, pages 15–87. Springer, 2020

  64. [72]

    ˇCani´ c, M

    S. ˇCani´ c, M. Gali´ c, and B. Muha. Analysis of a 3D nonlinear, moving boundary problem describing fluid-mesh-shell interaction. Trans. Amer. Math. Soc., 373(9):6621–6681, 2020

  65. [73]

    ˇCani´ c, B

    S. ˇCani´ c, B. Muha, and K. Tawri. Existence and regularity results for a nonlinear fluid- structure interaction problem with three-dimensional structural displacement. Preprint, 2024

  66. [74]

    ˇZen´ ıˇ sek

    A. ˇZen´ ıˇ sek. The existence and uniqueness theorem in Biot’s consolidation theory. Aplikace Matematiky, 29(3):194–211, 1984

  67. [75]

    Y. Wang, S. Canic, M. Bukac, and J. Tambaca. Fluid-structure interaction between pulsatile blood flow and a curved stented coronary artery on a beating heart: a four stent computational study. Computer Methods in Applied Mechanics and Engineering , 35(15):679–700, 2019

  68. [76]

    Y. Wang, S. ˇCani´ c, M. Bukaˇ c, C. Blaha, and S. Roy. Mathematical and computational mod- eling of a poroelastic cell scaffold in a bioartificial pancreas. Fluids, 7(7):222, 2022

  69. [77]

    Young, B

    J. Young, B. Rivi` ere, Jr. C. S. Cox, and K. Uray. A mathematical model of intestinal oedema formation. Math. Med. Biol. , 31(1):1–15, 2014. Data availability statement: This manuscript has no associated data. 69

Pith tools

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