Second order explicit splitting scheme for fluid-poroelastic structure interaction problems

Abstract

Efficient and provably accurate partitioned methods for fluid-poroelastic structure interaction remain challenging because explicit treatment of the Stokes-Biot interface coupling condition can compromise stability. In this work, we develop and analyze a fully discrete, second-order, explicit splitting scheme for the time-dependent Stokes-Biot problem on fixed domains. The method combines BDF2 time stepping with second-order Adams-Bashforth extrapolation of interface data through a Robin reformulation, yielding a partitioned algorithm in which the Stokes and Biot subproblems are solved independently and in parallel at each time step. The main analytical contribution is a rigorous stability and error analysis for this second-order explicit coupling strategy. Using BDF2 energy identities, a sharp decomposition of the extrapolated interface terms, and discrete trace estimates, we prove a closed stability bound under a parabolic CFL condition. We then derive an a priori error estimate through a projection-based framework using a Fortin projection for the fluid variables and Ritz-type projections for the poroelastic variables. The analysis identifies consistency defects from BDF2 time discretization, Adams-Bashforth interface extrapolation, and the projected kinematic relation. It shows that the total errors in fluid velocity, structure velocity, pore pressure, and elastic displacement are bounded by C times the sum of the kth power of the mesh size and the square of the time step, for k from 1 to 3, in bulk energy norms. Numerical experiments with manufactured solutions confirm second-order temporal convergence and optimal-order spatial convergence. We also include a moving-domain example with Navier-Stokes fluid flow, demonstrating applicability beyond the fixed-domain Stokes-Biot setting analyzed.