Abstract: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 an appropriate energy space, adapted from Stokes-Lamé coupled dynamics. A semigroup approach is utilized to circumvent issues associated to mismatched trace regularities at the interface. $C_0$-semigroup generation for the dynamics operator is obtained with 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 yields semigroup generation, and thereby, strong and generalized solutions are obtained. As the dynamics are linear, a standard argument by density obtains weak solutions; we extend this argument to the case where the Biot compressibility of constituents degenerates. Thus, for the inertial Biot-Stokes filtration, we provide a clear elucidation of strong and weak solutions, as well as their regularity through associated estimates.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the existence and regularity of weak and strong solutions in the fluid - poroelastic - structure interaction (FPSI) system in three - dimensional space. Specifically, the researchers focus on a filtration system composed of Biot poroelastic solids coupled with incompressible Stokes free - flow. At the interface on the two - dimensional plane, the Beavers - Joseph - Saffman coupling condition is adopted. The main objective of the paper is to generate a strongly continuous semigroup by the semigroup method, thereby proving the existence of strong and generalized solutions of the system, constructing weak solutions, and simultaneously providing regularity estimates of the solutions. ### Core problems of the paper 1. **Existence of strong and weak solutions**: The paper aims to prove the existence of strong and generalized solutions of the system in the non - degenerate case (i.e., Biot compressibility $ c_0>0 $). In addition, it also considers the existence of weak solutions when the Biot compressibility $ c_0 $ approaches zero. 2. **Regularity of solutions**: Provide the space - time regularity of solutions through relevant a priori estimates. 3. **Application of the semigroup method**: Use the semigroup method to bypass the problem of trace mismatch at the interface, generate a strongly continuous semigroup, and thereby prove the existence and uniqueness of solutions. ### Main contributions 1. **Existence of strong solutions**: Through non - standard maximality arguments and mixed variational forms, use the Babuška - Brezzi theorem to generate a strongly continuous semigroup, thereby proving the existence of strong solutions. 2. **Construction of weak solutions**: Based on density arguments, construct weak solutions starting from strong solutions, which is applicable to all cases where $ c_0\geq0 $. 3. **Treatment of physical interface conditions**: Adopt the Beavers - Joseph - Saffman condition to handle the slip - type coupling problem at the interface, which is a challenging hyperbolic - parabolic coupling problem. 4. **Establishment of a functional framework**: Provide a clear functional framework for analyzing strong and weak solutions of linear systems. ### Mathematical background - **Biot equations**: Describe the dynamics of poroelastic media, including elastic displacement $ u $ and Biot fluid pressure $ p_b $. - **Stokes equations**: Describe the dynamics of incompressible fluids, including fluid velocity $ v $ and fluid pressure $ p_f $. - **Interface conditions**: At the interface, the Beavers - Joseph - Saffman condition is adopted to ensure mass conservation and momentum balance. ### Mathematical tools - **Semigroup method**: Generate a strongly continuous semigroup to prove the existence and regularity of solutions. - **Babuška - Brezzi theorem**: Used to handle mixed variational forms to ensure maximality. - **Energy estimates**: Provide regularity estimates of solutions through energy balance relations. ### Conclusion The paper successfully solves the problem of the existence of strong and weak solutions in the three - dimensional fluid - poroelastic - structure interaction system through the semigroup method and provides regularity estimates of the solutions. This result provides an important theoretical basis for understanding the dynamic behavior of complex multi - physical - field systems.

Weak and Strong Solutions for A Fluid-Poroelastic-Structure Interaction via A Semigroup Approach

Weak and strong solutions for a fluid‐poroelastic‐structure interaction via a semigroup approach

Multilayered Poroelasticity Interacting with Stokes Flow

An inf-sup approach to -semigroup generation for an interactive composite structure-Stokes PDE dynamics

Fluid-poroviscoelastic structure interaction problem with nonlinear geometric coupling

Analysis and finite element approximation of a diffuse interface approach to the Stokes--Biot coupling

A Banach space formulation for the fully dynamic Navier-Stokes-Biot coupled problem

Weak solutions for a poro-elastic plate system

A Lagrange Multiplier-based method for Stokes-linearized poro-hyperelastic interface problems

A discontinuous Galerkin method for a coupled Stokes–Biot problem

Existence of a Weak Solution to the Fluid-Structure Interaction Problem in 3D

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

Uniformly well-posed hybridized discontinuous Galerkin/hybrid mixed discretizations for Biot's consolidation model

Weak Galerkin and Continuous Galerkin Coupled Finite Element Methods for the Stokes-Darcy Interface Problem

Existence of Weak Solutions to a Cahn-Hilliard-Biot System

Existence of weak solutions to a generalized nonlinear multi-layered fluid-structure interaction problem with the Navier-slip boundary conditions

High Order Homogenization of the Stokes System in a Periodic Porous Medium

3D-2D Stokes-Darcy coupling for the modelling of seepage with an application to fluid-structure interaction with contact

Oscillation-free numerical schemes for Biot's model and their iterative coupling solution

Robust finite element methods and solvers for the Biot--Brinkman equations in vorticity form

Some Low Order Nonconforming Mixed Finite Elements Combined with Raviart–Thomas Elements for a Coupled Stokes–Darcy Model