skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.


Title: Weak and strong solutions for a fluid‐poroelastic‐structure interaction via a semigroup approach
A filtration system comprising a Biot poroelastic solid coupled to an incompressible Stokes free‐flow is considered in 3D. Across the flat 2D interface, the Beavers‐Joseph‐Saffman coupling conditions are taken. In the inertial, linear, and non‐degenerate case, the hyperbolic‐parabolic coupled problem is posed through a dynamics operator on a chosen energy space, adapted from Stokes‐Lamé coupled dynamics. A semigroup approach is utilized to circumvent issues associated to mismatched trace regularities at the interface. The generation of a strongly continuous semigroup for the dynamics operator is obtained via a non‐standard maximality argument. The latter employs a mixed‐variational formulation in order to invoke the Babuška‐Brezzi theorem. The Lumer‐Philips theorem then yields semigroup generation, and thereby, strong and generalized solutions are obtained. For the linear dynamics, density obtains the existence of weak solutions; we extend to the case where the Biot compressibility of constituents degenerates. Thus, for the inertial linear Biot‐Stokes filtration system, we provide a clear elucidation of strong solutions and a construction of weak solutions, as well as their regularity through associated estimates.  more » « less
Award ID(s):
2307538
PAR ID:
10571467
Author(s) / Creator(s):
 ;  ;  
Publisher / Repository:
Wiley Blackwell (John Wiley & Sons)
Date Published:
Journal Name:
Mathematical Methods in the Applied Sciences
Volume:
48
Issue:
4
ISSN:
0170-4214
Format(s):
Medium: X Size: p. 4057-4089
Size(s):
p. 4057-4089
Sponsoring Org:
National Science Foundation
More Like this
  1. ; (, Applicable Analysis)
    null (Ed.)
    We consider a recent plate model obtained as a scaled limit of the three-dimensional Biot system of poro-elasticity. The result is a ‘2.5’-dimensional linear system that couples traditional Euler–Bernoulli plate dynamics to a pressure equation in three dimensions, where diffusion acts only transversely. We allow the permeability function to be time dependent, making the problem non-autonomous and disqualifying much of the standard abstract theory. Weak solutions are defined in the so-called quasi-static case, and the problem is framed abstractly as an implicit, degenerate evolution problem. Utilizing the theory for weak solutions for implicit evolution equations, we obtain existence of solutions. Uniqueness is obtained under additional hypotheses on the regularity of the permeability function. We address the inertial case in an appendix, by way of semigroup theory. The work here provides a baseline theory of weak solutions for the poro-elastic plate and exposits a variety of interesting related models and associated analytical investigations. 
    more » « less
  2. (, Jorunal de Mathematiques Pures and Appliques)
    We prove the existence of a weak solution to a fluid-structure interaction (FSI) problem between the flow of an incompressible, viscous fluid modeled by the Navier-Stokes equations, and a poroviscoelastic medium modeled by the Biot equations. The two are nonlinearly coupled over an interface with mass and elastic energy, modeled by a reticular plate equation, which is transparent to fluid flow. The existence proof is constructive, consisting of two steps. First, the existence of a weak solution to a regularized problem is shown. Next, a weak-classical consistency result is obtained, showing that the weak solution to the regularized problem converges, as the regularization parameter approaches zero, to a classical solution to the original problem, when such a classical solution exists. While the assumptions in the first step only require the Biot medium to be poroelastic, the second step requires additional regularity, namely, that the Biot medium is poroviscoelastic. This is the first weak solution existence result for an FSI problem with nonlinear coupling involving a Biot model for poro(visco)elastic media. 
    more » « less
  3. ; (, ESAIM: Mathematical Modelling and Numerical Analysis)
    We develop a mixed finite element method for the coupled problem arising in the interaction between a free fluid governed by the Stokes equations and flow in deformable porous medium modeled by the Biot system of poroelasticity. Mass conservation, balance of stress, and the Beavers–Joseph–Saffman condition are imposed on the interface. We consider a fully mixed Biot formulation based on a weakly symmetric stress-displacement-rotation elasticity system and Darcy velocity-pressure flow formulation. A velocity-pressure formulation is used for the Stokes equations. The interface conditions are incorporated through the introduction of the traces of the structure velocity and the Darcy pressure as Lagrange multipliers. Existence and uniqueness of a solution are established for the continuous weak formulation. Stability and error estimates are derived for the semi-discrete continuous-in-time mixed finite element approximation. Numerical experiments are presented to verify the theoretical results and illustrate the robustness of the method with respect to the physical parameters. 
    more » « less
  4. ; ; ; (, IMA Journal of Numerical Analysis)
    Abstract We consider the interaction between a poroelastic structure, described using the Biot model in primal form, and a free-flowing fluid, modelled with the time-dependent incompressible Stokes equations. We propose a diffuse interface model in which a phase field function is used to write each integral in the weak formulation of the coupled problem on the entire domain containing both the Stokes and Biot regions. The phase field function continuously transitions from one to zero over a diffuse region of width $$\mathcal{O}(\varepsilon)$$ around the interface; this allows the weak forms to be integrated uniformly across the domain, and obviates tracking the subdomains or the interface between them. We prove convergence in weighted norms of a finite element discretization of the diffuse interface model to the continuous diffuse model; here the weight is a power of the distance to the diffuse interface. We, in turn, prove convergence of the continuous diffuse model to the standard, sharp interface, model. Numerical examples verify the proven error estimates, and illustrate application of the method to fluid flow through a complex network, describing blood circulation in the circle of Willis. 
    more » « less
  5. ; (, Journal of Mathematical Fluid Mechanics)
    In this paper we introduce a constructive approach to study well-posedness of solutions to stochastic uid-structure interaction with stochastic noise. We focus on a benchmark problem in stochastic uidstructure interaction, and prove the existence of a unique weak solution in the probabilistically strong sense. The benchmark problem consists of the 2D time-dependent Stokes equations describing the ow of an incompressible, viscous uid interacting with a linearly elastic membrane modeled by the 1D linear wave equation. The membrane is stochastically forced by the time-dependent white noise. The uid and the structure are linearly coupled. The constructive existence proof is based on a time-discretization via an operator splitting approach. This introduces a sequence of approximate solutions, which are random variables. We show the existence of a subsequence of approximate solutions which converges, almost surely, to a weak solution in the probabilistically strong sense. The proof is based on uniform energy estimates in terms of the expectation of the energy norms, which are the backbone for a weak compactness argument giving rise to a weakly convergent subsequence of probability measures associated with the approximate solutions. Probabilistic techniques based on the Skorohod representation theorem and the Gyongy-Krylov lemma are then employed to obtain almost sure convergence of a subsequence of the random approximate solutions to a weak solution in the probabilistically strong sense. The result shows that the deterministic benchmark FSI model is robust to stochastic noise, even in the presence of rough white noise in time. To the best of our knowledge, this is the  rst well-posedness result for stochastic uid-structure interaction. 
    more » « less
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email