Aparna Bansal

Aparna Bansal, Nicolas A. Barnafi, Dwijendra Narain Pandey et al.

We consider a time-dependent coupled Navier--Stokes/generalized poroelastic flow problem and propose a unified and monolithic finite element discretization based on implicit time stepping. To handle the fluid-structure interface we employ a Nitsche-type formulation. The resulting discrete problem is shown to be well-posed using the theory of differential-algebraic equations (DAEs) and the Banach fixed-point theorem. We prove stability and derive a priori error estimates for the fully discrete scheme. The stability and convergence of the method are ensured by a properly chosen penalty parameter independent of the mesh size. Numerical tests are presented to confirm the theoretical convergence rates and to illustrate the ability of the method to capture the coupled dynamics accurately.

Aparna Bansal, Nicolás A. Barnafi, Gianmarco Sperone et al.

In this paper we analyze Nitsche's method for the stationary Boussinesq system with Navier's slip and a nonlinear boundary condition. Our analysis of the formulation establishes the robustness of a finite elements scheme in arbitrarily complex boundaries. The well-posedness of the discrete problem is established using fixed-point theorems under a standard smallness assumption on the data. We also provide optimal convergence rates for the approximation error. Furthermore, the efficiency and reliability of residual-based a posteriori error estimators are established. We validate our theory through several numerical tests.

Ayush Agrawal, Aparna Bansal, D. N. Pandey

We study the Stokes--Poisson--Boltzmann equations with Dirichlet and Navier boundary conditions. The system consists of the incompressible Stokes equations coupled with a nonlinear Poisson--Boltzmann equation through electrostatic forcing and convective transport effects. To handle the Navier boundary conditions in a unified framework, we employ Nitsche's method for their weak imposition within a conforming finite element setting. We derive a consistent and stable discrete formulation and establish the well-posedness of the resulting problem. By carefully choosing the penalty parameters, the bilinear form is shown to be coercive and continuous. A priori error estimates are proved in the natural energy norms, yielding optimal-order convergence under suitable regularity assumptions. Furthermore, we develop residual-based a posteriori error estimators that incorporate element residuals, inter-element jump residuals, and boundary residuals arising from the Nitsche formulation. The estimators are shown to be reliable and locally efficient. Numerical experiments confirm the theoretical results and demonstrate the robustness and accuracy of the proposed method for the Stokes--Poisson--Boltzmann system.