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

TL;DR

This paper develops a Banach space-based fully mixed formulation for the coupled Navier-Stokes and Biot equations, establishing existence, uniqueness, and convergence analysis, with numerical validation for fluid-poroelastic interactions.

Contribution

It introduces a novel Banach space formulation for the coupled Navier-Stokes-Biot problem, including weakly imposed transmission conditions and comprehensive theoretical analysis.

Findings

Proved existence and uniqueness of solutions in Banach spaces.

Derived error estimates and convergence rates for the semidiscrete scheme.

Validated theoretical results with numerical experiments on flow through a filter.

Abstract

We introduce and analyse a fully-mixed formulation for the coupled problem arising in the interaction between a free fluid and a poroelastic medium.The flows in the free fluid and poroelastic regions are governed by the Navier-Stokes and Biot equations, respectively, and the transmission conditions are given by mass conservation, balance of stresses, and the Beavers-Joseph-Saffman law.We apply dual-mixed formulations in both Navier-Stokes and Darcy equations, where the symmetry of the Navier-Stokes pseudostress tensor is imposed in a weak sense and a displacement-based formulation for elasticity equation.In turn, since the transmission conditions are essential in the fully mixed formulation, they are imposed weakly by introducing the traces of the fluid velocity and the poroelastic medium pressure on the interface as the associated Lagrange multipliers.Existence and uniqueness of a solution are established for the continuous weak formulation, as well as a semidiscrete continuous-in-time formulation with nonmatching grids, in a Banach space setting, employing classical results on monotone and nonlinear operators and a regularization technique together with the Banach fixed point approach.We then present error analysis with corresponding rates of convergence for semidiscrete continuous-in-time formulation.Numerical experiments are presented to verify the theoretical rates of convergence and illustrate the performance of the method for application to flow through a filter.