arXiv subjects

Ivan Fumagalli

Publications and source records attributed to Ivan Fumagalli.

13 recordsLinked to original sources

arXiv2025

Polytopal discontinuous Galerkin methods for low-frequency poroelasticity coupled to unsteady Stokes flow

We focus on the numerical analysis of a polygonal discontinuous Galerkin scheme for the simulation of the exchange of fluid between a deformable saturated poroelastic structure and an adjacent free-flow channel. We specifically address wave phenomena described by the low-frequency Biot model in the poroelastic region and unsteady Stokes flow in the open channel, possibly an isolated cavity or a connected fracture system. The coupling at the interface between the two regions is realized by means of transmission conditions expressing conservation laws. The spatial discretization hinges on the weak form of the two-displacement poroelasticity system and a stress formulation of the Stokes equation with weakly imposed symmetry. We present a complete stability analysis for the proposed semi-discrete formulation and derive a-priori hp-error estimates.

math.NA↗

arXiv2024

A posteriori error analysis for a coupled Stokes-poroelastic system with multiple compartments

The discretization of fluid-poromechanics systems is typically highly demanding in terms of computational effort. This is particularly true for models of multiphysics flows in the brain, due to the geometrical complexity of the cerebral anatomy - requiring a very fine computational mesh for finite element discretization - and to the high number of variables involved. Indeed, this kind of problems can be modeled by a coupled system encompassing the Stokes equations for the cerebrospinal fluid in the brain ventricles and Multiple-network Poro-Elasticity (MPE) equations describing the brain tissue, the interstitial fluid, and the blood vascular networks at different space scales. The present work aims to rigorously derive a posteriori error estimates for the coupled Stokes-MPE problem, as a first step towards the design of adaptive refinement strategies or reduced order models to decrease the computational demand of the problem. Through numerical experiments, we verify the reliability and optimal efficiency of the proposed a posteriori estimator and identify the role of the different solution variables in its composition.

math.NA↗

arXiv2024

Discontinuous Galerkin method for a three-dimensional coupled fluid-poroelastic model with applications to brain fluid mechanics

The modeling of the interaction between a poroelastic medium and a fluid in a hollow cavity is crucial for understanding, e.g., the multiphysics flow of blood and Cerebrospinal Fluid (CSF) in the brain, the supply of blood by the coronary arteries in heart perfusion, or the interaction between groundwater and rivers or lakes. In particular, the cerebral tissue's elasticity and its perfusion by blood and interstitial CSF can be described by Multi-compartment Poroelasticity (MPE), while CSF flow in the brain ventricles can be modeled by the (Navier-)Stokes equations, the overall system resulting in a coupled MPE-(Navier-)Stokes system. The aim of this paper is three-fold. First, we aim to extend a recently presented discontinuous Galerkin method on polytopal grids (PolyDG) to incorporate three-dimensional geometries and physiological interface conditions. Regarding the latter, we consider the Beavers-Joseph-Saffman (BJS) conditions at the interface, modeling the friction between the fluid and the porous medium. Second, we analyze the computational efficiency of the proposed method on a domain with small geometrical features, thus demonstrating the advantages of employing polyhedral meshes. Finally, by a comparative numerical investigation, we assess the fluid-dynamics effects of the BJS conditions and of employing either Stokes or Navier-Stokes equations to model the CSF flow. The semidiscrete numerical scheme for the coupled problem is stable and optimally convergent. Temporal discretization is obtained using Newmark's $\beta$-method for the elastic wave equation and the $\theta$-method for the remaining equations. The theoretical error estimates are verified by numerical simulations on a test case with a manufactured solution, and a numerical investigation is carried out on a three-dimensional geometry to assess the effects of interface conditions and fluid inertia on the system.

math.NA↗

arXiv2024

lymph: discontinuous poLYtopal methods for Multi-PHysics differential problems

We present the library lymph for the finite element numerical discretization of coupled multi-physics problems. lymph is a Matlab library for the discretization of partial differential equations based on high-order discontinuous Galerkin methods on polytopal grids (PolyDG) for spatial discretization coupled with suitable finite-difference time marching schemes. The objective of the paper is to introduce the library by describing it in terms of installation, input/output data, and code structure, highlighting - when necessary - key implementation aspects related to the method. A user guide, proceeding step-by-step in the implementation and solution of a Poisson problem, is also provided. In the last part of the paper, we show the results obtained for several differential problems, namely the Poisson problem, the heat equation, the elastodynamics system, and a multiphysics problem coupling poroelasticity and acoustic equations. Through these examples, we show the convergence properties and highlight some of the main features of the proposed method, i.e. geometric flexibility, high-order accuracy, and robustness with respect to heterogeneous physical parameters.

math.NA↗

arXiv2023

lifex-cfd: an open-source computational fluid dynamics solver for cardiovascular applications

Computational fluid dynamics (CFD) is an important tool for the simulation of the cardiovascular function and dysfunction. Due to the complexity of the anatomy, the transitional regime of blood flow in the heart, and the strong mutual influence between the flow and the physical processes involved in the heart function, the development of accurate and efficient CFD solvers for cardiovascular flows is still a challenging task. In this paper we present lifex-cfd, an open-source CFD solver for cardiovascular simulations based on the lifex finite element library, written in modern C++ and exploiting distributed memory parallelism. We model blood flow in both physiological and pathological conditions via the incompressible Navier-Stokes equations, accounting for moving cardiac valves, moving domains, and transition-to-turbulence regimes. In this paper, we provide an overview of the underlying mathematical formulation, numerical discretization, implementation details and examples on how to use lifex-cfd. We verify the code through rigorous convergence analyses, and we show its almost ideal parallel speedup. We demonstrate the accuracy and reliability of the numerical methods implemented through a series of idealized and patient-specific vascular and cardiac simulations, in different physiological flow regimes. The lifex-cfd source code is available under the LGPLv3 license, to ensure its accessibility and transparency to the scientific community, and to facilitate collaboration and further developments.

physics.flu-dyn↗

arXiv2023

Polytopal discontinuous Galerkin discretization of brain multiphysics flow dynamics

A comprehensive mathematical model of the multiphysics flow of blood and Cerebrospinal Fluid (CSF) in the brain can be expressed as the coupling of a poromechanics system and Stokes' equations: the first describes fluids filtration through the cerebral tissue and the tissue's elastic response, while the latter models the flow of the CSF in the brain ventricles. This model describes the functioning of the brain's waste clearance mechanism, which has been recently discovered to play an essential role in the progress of neurodegenerative diseases. To model the interactions between different scales in the porous medium, we propose a physically consistent coupling between Multi-compartment Poroelasticity (MPE) equations and Stokes' equations. In this work, we introduce a numerical scheme for the discretization of such coupled MPE-Stokes system, employing a high-order discontinuous Galerkin method on polytopal grids to efficiently account for the geometric complexity of the domain. We analyze the stability and convergence of the space semidiscretized formulation, we prove a-priori error estimates, and we present a temporal discretization based on a combination of Newmark's $β$-method for the elastic wave equation and the $θ$-method for the other equations of the model. Numerical simulations carried out on test cases with manufactured solutions validate the theoretical error estimates. We also present numerical results on a two-dimensional slice of a patient-specific brain geometry reconstructed from diagnostic images, to test in practice the advantages of the proposed approach.

math.NA↗

arXiv2022

Modeling isovolumetric phases in cardiac flows by an Augmented Resistive Immersed Implicit Surface Method

A major challenge in the computational fluid dynamics modeling of the heart function is the simulation of isovolumetric phases when the hemodynamics problem is driven by a prescribed boundary displacement. During such phases, both atrioventricular and semilunar valves are closed: consequently, the ventricular pressure may not be uniquely defined, and spurious oscillations may arise in numerical simulations. In this paper, we propose a suitable modification of the Resistive Immersed Implicit Surface (RIIS) method (Fedele et al., 2017) by introducing a reaction term to correctly capture the pressure transients during isovolumetric phases. The method, that we call Augmented RIIS (ARIIS) method, extends the previously proposed ARIS method (This et al., 2020) to the case of a mesh which is not body-fitted to the valves. We test the proposed method on two different benchmark problems, including a new simplified problem that retains all the characteristics of a heart cycle. We apply the ARIIS method to a fluid dynamics simulation of a realistic left heart geometry, and we show that ARIIS allows to correctly simulate isovolumetric phases, differently from standard RIIS method.

math.NA↗

arXiv2022

A mathematical model that integrates cardiac electrophysiology, mechanics and fluid dynamics: application to the human left heart

We propose a mathematical and numerical model for the simulation of the heart function that couples cardiac electrophysiology, active and passive mechanics and hemodynamics, and includes reduced models for cardiac valves and the circulatory system. Our model accounts for the major feedback effects among the different processes that characterize the heart function, including electro-mechanical and mechano-electrical feedback as well as force-strain and force-velocity relationships. Moreover, it provides a three-dimensional representation of both the cardiac muscle and the hemodynamics, coupled in a fluid-structure interaction (FSI) model. By leveraging the multiphysics nature of the problem, we discretize it in time with a segregated electrophysiology-force generation-FSI approach, allowing for efficiency and flexibility in the numerical solution. We employ a monolithic approach for the numerical discretization of the FSI problem. We use finite elements for the spatial discretization of those partial differential equations that contribute to the model. We carry out a numerical simulation on a realistic human left heart model, obtaining results that are qualitatively and quantitatively in agreement with physiological ranges and medical images.

math.NA↗

arXiv2022

A geometric multiscale model for the numerical simulation of blood flow in the human left heart

We present a new computational model for the numerical simulation of blood flow in the human left heart. To this aim, we use the Navier-Stokes equations in an Arbitrary Lagrangian Eulerian formulation to account for the endocardium motion and we model the cardiac valves by means of the Resistive Immersed Implicit Surface method. To impose a physiological displacement of the domain boundary, we use a 3D cardiac electromechanical model of the left ventricle coupled to a lumped-parameter (0D) closed-loop model of the remaining circulation. We thus obtain a one-way coupled electromechanics-fluid dynamics model in the left ventricle. To extend the left ventricle motion to the endocardium of the left atrium and to that of the ascending aorta, we introduce a preprocessing procedure according to which an harmonic extension of the left ventricle displacement is combined with the motion of the left atrium based on the 0D model. To better match the 3D cardiac fluid flow with the external blood circulation, we couple the 3D Navier-Stokes equations to the 0D circulation model, obtaining a multiscale coupled 3D-0D fluid dynamics model that we solve via a segregated numerical scheme. We carry out numerical simulations for a healthy left heart and we validate our model by showing that meaningful hemodynamic indicators are correctly reproduced.

math.NA↗

arXiv2021

A reduced 3D-0D FSI model of the aortic valve including leaflet curvature

We introduce an innovative lumped-parameter model of the aortic valve, designed to efficiently simulate the impact of valve dynamics on blood flow. Our reduced model includes the elastic effects associated with the leaflets' curvature and the stress exchanged with the blood flow. The introduction of a lumped-parameter model based on momentum balance entails an easier calibration of the model parameters: phenomenological-based models, on the other hand, typically have numerous parameters. This model is coupled to 3D Navier-Stokes equations describing the blood flow, where the moving valve leaflets are immersed in the fluid domain by a resistive method. A stabilized finite element method with a BDF time scheme is adopted for the discretization of the coupled problem, and the computational results show the suitability of the system in representing the leaflet motion, the blood flow in the ascending aorta, and the pressure jump across the leaflets. Both physiological and stenotic configurations are investigated, and we analyze the effects of different treatments for the leaflet velocity on the blood flow.

math.NA↗

arXiv2017

Optimal control in ink-jet printing via instantaneous control

This paper concerns the optimal control of a free surface flow with moving contact line, inspired by an application in ink-jet printing. Surface tension, contact angle and wall friction are taken into account by means of the generalized Navier boundary condition. The time-dependent differential system is discretized by an arbitrary Lagrangian-Eulerian finite element method, and a control problem is addressed by an instantaneous control approach, based on the time discretization of the flow equations. The resulting control procedure is computationally highly efficient and its assessment by numerical tests show its effectiveness in deadening the natural oscillations that occur inside the nozzle and reducing significantly the duration of the transient preceding the attainment of the equilibrium configuration.

math.OC↗

arXiv2017

A free-boundary problem with moving contact points

This paper concerns the theoretical and numerical analysis of a free boundary problem for the Laplace equation, with a curvature condition on the free boundary. This boundary is described as the graph of a function, and contact angles are imposed at the moving contact points. The equations are set in the framework of classical Sobolev Banach spaces, and existence and uniqueness of the solution are proved via a fixed-point iteration, exploiting a suitably defined lifting operator from the free boundary. The free-boundary function and the bulk solution are approximated by piecewise linear finite elements, and the well-posedness and convergence of the discrete problem are proved. This proof hinges upon a stability result for the Riesz projection onto the discrete space, which is separately proven and has an interest per se.

math.NA↗

arXiv2014

Shape optimization for Stokes flow: a reference domain approach

In this paper we analyze a shape optimization problem, with Stokes equations as the state problem, defined on a domain with a part of the boundary that is described as the graph of the control function. The state problem formulation is mapped onto a reference domain, which is independent of the control function, and the analysis is mainly led on such domain. The existence of an optimal control function is proved, and optimality conditions are derived. After the analytical inspection of the problem, finite element discretization is considered for both the control function and the state variables, and a priori convergence error estimates are derived. Numerical experiments assess the validity of the theoretical results.

math.NA↗