Showing 1–50 of 66 results for author: Antonietti, P F

A review of discontinuous Galerkin time-stepping methods for wave propagation problems

Authors: Paola F. Antonietti, Alberto Artoni, Gabriele Ciaramella, Ilario Mazzieri

Abstract: This chapter reviews and compares discontinuous Galerkin time-stepping methods for the numerical approximation of second-order ordinary differential equations, particularly those stemming from space finite element discretization of wave propagation problems. Two formulations, tailored for second- and first-order systems of ordinary differential equations, are discussed within a generalized framewo… ▽ More This chapter reviews and compares discontinuous Galerkin time-stepping methods for the numerical approximation of second-order ordinary differential equations, particularly those stemming from space finite element discretization of wave propagation problems. Two formulations, tailored for second- and first-order systems of ordinary differential equations, are discussed within a generalized framework, assessing their stability, accuracy, and computational efficiency. Theoretical results are supported by various illustrative examples that validate the findings, enhancing the understanding and applicability of these methods in practical scenarios. △ Less

Submitted 9 May, 2025; originally announced May 2025.

MAGNET: an open-source library for mesh agglomeration by Graph Neural Networks

Authors: Paola F. Antonietti, Matteo Caldana, Ilario Mazzieri, Andrea Re Fraschini

Abstract: We introduce MAGNET, an open-source Python library designed for mesh agglomeration in both two- and three-dimensions, based on employing Graph Neural Networks (GNN). MAGNET serves as a comprehensive solution for training a variety of GNN models, integrating deep learning and other advanced algorithms such as METIS and k-means to facilitate mesh agglomeration and quality metric computation. The lib… ▽ More We introduce MAGNET, an open-source Python library designed for mesh agglomeration in both two- and three-dimensions, based on employing Graph Neural Networks (GNN). MAGNET serves as a comprehensive solution for training a variety of GNN models, integrating deep learning and other advanced algorithms such as METIS and k-means to facilitate mesh agglomeration and quality metric computation. The library's introduction is outlined through its code structure and primary features. The GNN framework adopts a graph bisection methodology that capitalizes on connectivity and geometric mesh information via SAGE convolutional layers, in line with the methodology proposed by Antonietti et al. (2024). Additionally, the proposed MAGNET library incorporates reinforcement learning to enhance the accuracy and robustness of the model for predicting coarse partitions within a multilevel framework. A detailed tutorial is provided to guide the user through the process of mesh agglomeration and the training of a GNN bisection model. We present several examples of mesh agglomeration conducted by MAGNET, demonstrating the library's applicability across various scenarios. Furthermore, the performance of the newly introduced models is contrasted with that of METIS and k-means, illustrating that the proposed GNN models are competitive regarding partition quality and computational efficiency. Finally, we exhibit the versatility of MAGNET's interface through its integration with Lymph, an open-source library implementing discontinuous Galerkin methods on polytopal grids for the numerical discretization of multiphysics differential problems. △ Less

Submitted 30 April, 2025; originally announced April 2025.

MSC Class: 65N22; 65N30; 65N50; 68T07

A p-adaptive polytopal discontinuous Galerkin method for high-order approximation of brain electrophysiology

Authors: Caterina Beatrice Leimer Saglio, Stefano Pagani, Paola F. Antonietti

Abstract: Multiscale mathematical models have shown great promise in computational brain electrophysiology but are still hindered by high computational costs due to fast dynamics and complex brain geometries, requiring very fine spatio-temporal resolution. This paper introduces a novel p-adaptive discontinuous Galerkin method on polytopal grids (PolyDG) coupled with Crank-Nicolson time integration to approx… ▽ More Multiscale mathematical models have shown great promise in computational brain electrophysiology but are still hindered by high computational costs due to fast dynamics and complex brain geometries, requiring very fine spatio-temporal resolution. This paper introduces a novel p-adaptive discontinuous Galerkin method on polytopal grids (PolyDG) coupled with Crank-Nicolson time integration to approximate such models efficiently. The p-adaptive method enhances local accuracy via dynamic, element-wise polynomial refinement/de-refinement guided by a-posteriori error estimators. A novel clustering algorithm automatizes the selection of elements for adaptive updates, further improving efficiency. A wide set of numerical tests, including epileptic seizure simulations in a sagittal section of a human brain stem, demonstrate the method's ability to reduce computational load while maintaining the accuracy of the numerical solution in capturing the dynamics of multiple wavefronts. △ Less

Submitted 30 April, 2025; originally announced April 2025.

A structure-preserving LDG discretization of the Fisher-Kolmogorov equation for modeling neurodegenerative diseases

Authors: Paola F. Antonietti, Mattia Corti, Sergio Gómez, Ilaria Perugia

Abstract: This work presents a structure-preserving, high-order, unconditionally stable numerical method for approximating the solution to the Fisher-Kolmogorov equation on polytopic meshes, with a particular focus on its application in simulating misfolded protein spreading in neurodegenerative diseases. The model problem is reformulated using an entropy variable to guarantee solution positivity, boundedne… ▽ More This work presents a structure-preserving, high-order, unconditionally stable numerical method for approximating the solution to the Fisher-Kolmogorov equation on polytopic meshes, with a particular focus on its application in simulating misfolded protein spreading in neurodegenerative diseases. The model problem is reformulated using an entropy variable to guarantee solution positivity, boundedness, and satisfaction of a discrete entropy-stability inequality at the numerical level. The scheme combines a local discontinuous Galerkin method on polytopal meshes for the space discretization with a $ν$-step backward differentiation formula for the time integration. Implementation details are discussed, including a detailed derivation of the linear systems arising from Newton's iteration. The accuracy and robustness of the proposed method are demonstrated through extensive numerical tests. Finally, the method's practical performance is demonstrated through simulations of \textalpha{}-synuclein propagation in a two-dimensional brain geometry segmented from MRI data, providing a relevant computational framework for modeling synucleopathies (such as Parkinson's disease) and, more generally, neurodegenerative diseases. △ Less

Submitted 8 April, 2025; originally announced April 2025.

MSC Class: 65M60; 65N22; 35Q92

A coupled mathematical and numerical model for protein spreading and tissue atrophy, applied to Alzheimer's disease

Authors: Valentina Pederzoli, Mattia Corti, Davide Riccobelli, Paola F. Antonietti

Abstract: The aim of this paper is to introduce, analyse and test in practice a new mathematical model describing the interplay between biological tissue atrophy driven by pathogen diffusion, with applications to neurodegenerative disorders. This study introduces a novel mathematical and computational model comprising a Fisher-Kolmogorov equation for species diffusion coupled with an elasticity equation gov… ▽ More The aim of this paper is to introduce, analyse and test in practice a new mathematical model describing the interplay between biological tissue atrophy driven by pathogen diffusion, with applications to neurodegenerative disorders. This study introduces a novel mathematical and computational model comprising a Fisher-Kolmogorov equation for species diffusion coupled with an elasticity equation governing mass loss. These equations intertwine through a logistic law dictating the reduction of the medium's mass. One potential application of this model lies in understanding the onset and development of Alzheimer's disease. Here, the equations can describe the propagation of misfolded tau-proteins and the ensuing brain atrophy characteristic of the disease. To address numerically the inherited complexities, we propose a Polygonal Discontinuous Galerkin method on polygonal/polyhedral grids for spatial discretization, while time integration relies on the theta-method. We present the mathematical model, delving into its characteristics and propose discretization applied. Furthermore, convergence results are presented to validate the model, accompanied by simulations illustrating the application scenario of the onset of Alzheimer's disease. △ Less

Submitted 27 December, 2024; originally announced December 2024.

Journal ref: Computer Methods in Applied Mechanics and Engineering, 444, article n. 118118, 2025

A polytopal discontinuous Galerkin method for the pseudo-stress formulation of the unsteady Stokes problem

Authors: Paola F. Antonietti, Michele Botti, Alessandra Cancrini, Ilario Mazzieri

Abstract: This work aims to construct and analyze a discontinuous Galerkin method on polytopal grids (PolydG) to solve the pseudo-stress formulation of the unsteady Stokes problem. The pseudo-stress variable is introduced due to the growing interest in non-Newtonian flows and coupled interface problems, where stress assumes a fundamental role. The space-time discretization of the problem is achieved by comb… ▽ More This work aims to construct and analyze a discontinuous Galerkin method on polytopal grids (PolydG) to solve the pseudo-stress formulation of the unsteady Stokes problem. The pseudo-stress variable is introduced due to the growing interest in non-Newtonian flows and coupled interface problems, where stress assumes a fundamental role. The space-time discretization of the problem is achieved by combining the PolydG approach with the implicit theta-method time integration scheme. For both the semi- and fully-discrete problems we present a detailed stability analysis. Moreover, we derive convergence estimates for the fully discrete space-time discretization. A set of verification tests is presented to verify the theoretical estimates and the application of the method to cases of engineering interest. △ Less

Submitted 16 August, 2024; originally announced August 2024.

MSC Class: 65M12; 65M60

A discontinuous Galerkin method for the three-dimensional heterodimer model with application to prion-like proteins' dynamics

Authors: Paola F. Antonietti, Mattia Corti, Giacomo Lorenzon

Abstract: Neurocognitive disorders, such as Alzheimer's and Parkinson's, have a wide social impact. These proteinopathies involve misfolded proteins accumulating into neurotoxic aggregates. Mathematical and computational models describing the prion-like dynamics offer an analytical basis to study the diseases' evolution and a computational framework for exploring potential therapies. This work focuses on th… ▽ More Neurocognitive disorders, such as Alzheimer's and Parkinson's, have a wide social impact. These proteinopathies involve misfolded proteins accumulating into neurotoxic aggregates. Mathematical and computational models describing the prion-like dynamics offer an analytical basis to study the diseases' evolution and a computational framework for exploring potential therapies. This work focuses on the heterodimer model in a three-dimensional setting, a reactive-diffusive system of nonlinear partial differential equations describing the evolution of both healthy and misfolded proteins. We investigate traveling wave solutions and diffusion-driven instabilities as a mechanism of neurotoxic pattern formation. For the considered mathematical model, we propose a space discretization, relying on the Discontinuous Galerkin method on polytopal/polyhedral grids, allowing high-order accuracy and flexible handling of the complicated brain's geometry. Further, we present a priori error estimates for the semi-discrete formulation and we perform convergence tests to verify the theoretical results. Finally, we conduct simulations using realistic data on a three-dimensional brain mesh reconstructed from medical images. △ Less

Submitted 22 July, 2024; originally announced July 2024.

Polytopal mesh agglomeration via geometrical deep learning for three-dimensional heterogeneous domains

Authors: Paola F. Antonietti, Mattia Corti, Gabriele Martinelli

Abstract: Agglomeration techniques are important to reduce the computational costs of numerical simulations and stand at the basis of multilevel algebraic solvers. To automatically perform the agglomeration of polyhedral grids, we propose a novel Geometrical Deep Learning-based algorithm that can exploit the geometrical and physical information of the underlying computational domain to construct the agglome… ▽ More Agglomeration techniques are important to reduce the computational costs of numerical simulations and stand at the basis of multilevel algebraic solvers. To automatically perform the agglomeration of polyhedral grids, we propose a novel Geometrical Deep Learning-based algorithm that can exploit the geometrical and physical information of the underlying computational domain to construct the agglomerated grid and simultaneously guarantee the agglomerated grid's quality. In particular, we propose a bisection model based on Graph Neural Networks (GNNs) to partition a suitable connectivity graph of computational three-dimensional meshes. The new approach has a high online inference speed and can simultaneously process the graph structure of the mesh, the geometrical information of the mesh (e.g. elements' volumes, centers' coordinates), and the physical information of the domain (e.g. physical parameters). Taking advantage of this new approach, our algorithm can agglomerate meshes of a domain composed of heterogeneous media in an automatic way. The proposed GNN techniques are compared with the k-means algorithm and METIS: standard approaches for graph partitioning that are meant to process only the connectivity information on the mesh. We demonstrate that the performance of our algorithms outperforms available approaches in terms of quality metrics and runtimes. Moreover, we demonstrate that our algorithm also shows a good level of generalization when applied to more complex geometries, such as three-dimensional geometries reconstructed from medical images. Finally, the capabilities of the model in performing agglomeration of heterogeneous domains are tested in the framework of problems containing microstructures and on a complex geometry such as the human brain. △ Less

Submitted 15 June, 2024; originally announced June 2024.

High-order Discontinuous Galerkin Methods for the Monodomain and Bidomain Models

Authors: Federica Botta, Matteo Calafà, Pasquale C. Africa, Christian Vergara, Paola F. Antonietti

Abstract: This work aims at presenting a Discontinuous Galerkin (DG) formulation employing a spectral basis for two important models employed in cardiac electrophysiology, namely the monodomain and bidomain models. The use of DG methods is motivated by the characteristic of the mathematical solution of such equations which often corresponds to a highly steep wavefront. Hence, the built-in flexibility of dis… ▽ More This work aims at presenting a Discontinuous Galerkin (DG) formulation employing a spectral basis for two important models employed in cardiac electrophysiology, namely the monodomain and bidomain models. The use of DG methods is motivated by the characteristic of the mathematical solution of such equations which often corresponds to a highly steep wavefront. Hence, the built-in flexibility of discontinuous methods in developing adaptive approaches, combined with the high-order accuracy, can well represent the underlying physics. The choice of a semi-implicit time integration allows for a fast solution at each time step. The article includes some numerical tests to verify the convergence properties and the physiological behaviour of the numerical solution. Also, a pseudo-realistic simulation turns out to fully reconstruct the propagation of the electric potential, comprising the phases of depolarization and repolarization, by overcoming the typical issues related to the steepness of the wave front. △ Less

Submitted 5 June, 2024; originally announced June 2024.

MSC Class: 65N30; 65M60

A Virtual Element method for non-Newtonian fluid flows

Authors: P. F. Antonietti, L. Beirao da Veiga, M. Botti, G. Vacca, M. Verani

Abstract: In this paper, we design and analyze a Virtual Element discretization for the steady motion of non-Newtonian, incompressible fluids. A specific stabilization, tailored to mimic the monotonicity and boundedness properties of the continuous operator, is introduced and theoretically investigated. The proposed method has several appealing features, including the exact enforcement of the divergence fre… ▽ More In this paper, we design and analyze a Virtual Element discretization for the steady motion of non-Newtonian, incompressible fluids. A specific stabilization, tailored to mimic the monotonicity and boundedness properties of the continuous operator, is introduced and theoretically investigated. The proposed method has several appealing features, including the exact enforcement of the divergence free condition and the possibility of making use of fully general polygonal meshes. A complete well-posedness and convergence analysis of the proposed method is presented under mild assumptions on the non-linear laws, encompassing common examples such as the Carreau--Yasuda model. Numerical experiments validating the theoretical bounds as well as demonstrating the practical capabilities of the proposed formulation are presented. △ Less

Submitted 6 March, 2024; originally announced March 2024.

Discovering Artificial Viscosity Models for Discontinuous Galerkin Approximation of Conservation Laws using Physics-Informed Machine Learning

Authors: Matteo Caldana, Paola F. Antonietti, Luca Dede'

Abstract: Finite element-based high-order solvers of conservation laws offer large accuracy but face challenges near discontinuities due to the Gibbs phenomenon. Artificial viscosity is a popular and effective solution to this problem based on physical insight. In this work, we present a physics-informed machine learning algorithm to automate the discovery of artificial viscosity models in a non-supervised… ▽ More Finite element-based high-order solvers of conservation laws offer large accuracy but face challenges near discontinuities due to the Gibbs phenomenon. Artificial viscosity is a popular and effective solution to this problem based on physical insight. In this work, we present a physics-informed machine learning algorithm to automate the discovery of artificial viscosity models in a non-supervised paradigm. The algorithm is inspired by reinforcement learning and trains a neural network acting cell-by-cell (the viscosity model) by minimizing a loss defined as the difference with respect to a reference solution thanks to automatic differentiation. This enables a dataset-free training procedure. We prove that the algorithm is effective by integrating it into a state-of-the-art Runge-Kutta discontinuous Galerkin solver. We showcase several numerical tests on scalar and vectorial problems, such as Burgers' and Euler's equations in one and two dimensions. Results demonstrate that the proposed approach trains a model that is able to outperform classical viscosity models. Moreover, we show that the learnt artificial viscosity model is able to generalize across different problems and parameters. △ Less

Submitted 5 August, 2024; v1 submitted 26 February, 2024; originally announced February 2024.

MSC Class: 35L65; 65M60; 68T01

Numerical modelling of protein misfolding in neurodegenerative diseases: a computational study

Authors: Paola F. Antonietti, Mattia Corti

Abstract: The spreading of misfolded proteins is a known hallmark in some neurodegenerative diseases, known as proteinopathies. A significant example is the tau protein, associated with many pathologies, such as Alzheimer's. In this work, we discuss and compare two different models for the mathematical modelling of protein misfolding, namely the heterodimer model and the Fisher-Kolmogorov model, as well as… ▽ More The spreading of misfolded proteins is a known hallmark in some neurodegenerative diseases, known as proteinopathies. A significant example is the tau protein, associated with many pathologies, such as Alzheimer's. In this work, we discuss and compare two different models for the mathematical modelling of protein misfolding, namely the heterodimer model and the Fisher-Kolmogorov model, as well as their numerical discretizations. We introduce a discontinuous Galerkin method on polygonal and polyhedral grids for space discretization to accurately simulate the wavefronts typically observed in the prionic spreading. Starting from the semidiscrete formulations, we use a Crank-Nicolson scheme to advance in time. Finally, we simulate the spreading of the misfolded tau protein in a two-dimensional brain slice in the sagittal plane with a polygonal agglomerated grid. The simulation is performed using both the presented models, and we compare the results and the differences deriving from the modelling choices. △ Less

Submitted 28 January, 2024; originally announced January 2024.

Journal ref: Numerical Mathematics and Advanced Applications ENUMATH 2023, Volume 1. ENUMATH 2023. Springer (2025)

A high-order discontinuous Galerkin method for the numerical modeling of epileptic seizures

Authors: Caterina Beatrice Leimer Saglio, Stefano Pagani, Mattia Corti, Paola F. Antonietti

Abstract: Epilepsy is a clinical neurological disorder characterized by recurrent and spontaneous seizures consisting of abnormal high-frequency electrical activity in the brain. In this condition, the transmembrane potential dynamics are characterized by rapid and sharp wavefronts traveling along the heterogeneous and anisotropic conduction pathways of the brain. This work employs the monodomain model, cou… ▽ More Epilepsy is a clinical neurological disorder characterized by recurrent and spontaneous seizures consisting of abnormal high-frequency electrical activity in the brain. In this condition, the transmembrane potential dynamics are characterized by rapid and sharp wavefronts traveling along the heterogeneous and anisotropic conduction pathways of the brain. This work employs the monodomain model, coupled with specific neuronal ionic models characterizing ion concentration dynamics, to mathematically describe brain tissue electrophysiology in grey and white matter at the organ scale. This multiscale model is discretized in space with the high-order discontinuous Galerkin method on polygonal and polyhedral grids (PolyDG) and advanced in time with a Crank-Nicolson scheme. This ensures, on the one hand, efficient and accurate simulations of the high-frequency electrical activity that is responsible for epileptic seizure and, on the other hand, keeps reasonably low the computational costs by a suitable combination of high-order approximations and agglomerated polytopal meshes. We numerically investigate synthetic test cases on a two-dimensional heterogeneous squared domain discretized with a polygonal grid, and on a two-dimensional brainstem in a sagittal plane with an agglomerated polygonal grid that takes full advantage of the flexibility of the PolyDG approximation of the semidiscrete formulation. Finally, we provide a theoretical analysis of stability and an a-priori convergence analysis for a simplified mathematical problem. △ Less

Submitted 25 January, 2024; originally announced January 2024.

lymph: discontinuous poLYtopal methods for Multi-PHysics differential problems

Authors: Paola F. Antonietti, Stefano Bonetti, Michele Botti, Mattia Corti, Ivan Fumagalli, Ilario Mazzieri

Abstract: 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 int… ▽ More 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. △ Less

Submitted 21 October, 2024; v1 submitted 24 January, 2024; originally announced January 2024.

Space--time Isogeometric Analysis of cardiac electrophysiology

Authors: P. F. Antonietti, L. Dedè, G. Loli, M. Montardini, G. Sangalli, P. Tesini

Abstract: This work proposes a stabilized space--time method for the monodomain equation coupled with the Rogers--McCulloch ionic model, which is widely used to simulate electrophysiological wave propagation in the cardiac tissue. By extending the Spline Upwind method and exploiting low-rank matrix approximations, as well as preconditioned solvers, we achieve both significant computational efficiency and ac… ▽ More This work proposes a stabilized space--time method for the monodomain equation coupled with the Rogers--McCulloch ionic model, which is widely used to simulate electrophysiological wave propagation in the cardiac tissue. By extending the Spline Upwind method and exploiting low-rank matrix approximations, as well as preconditioned solvers, we achieve both significant computational efficiency and accuracy. In particular, we develop a formulation that is both simple and highly effective, designed to minimize spurious oscillations and ensuring computational efficiency. We rigorously validate the method's performance through a series of numerical experiments, showing its robustness and reliability in diverse scenarios. △ Less

Submitted 16 March, 2025; v1 submitted 29 November, 2023; originally announced November 2023.

Robust discontinuous Galerkin-based scheme for the fully-coupled non-linear thermo-hydro-mechanical problem

Authors: Stefano Bonetti, Michele Botti, Paola F. Antonietti

Abstract: We present and analyze a discontinuous Galerkin method for the numerical modeling of the non-linear fully-coupled thermo-hydro-mechanic problem. We propose a high-order symmetric weighted interior penalty scheme that supports general polytopal grids and is robust with respect to strong heteorgeneities in the model coefficients. We focus on the treatment of the non-linear convective transport term… ▽ More We present and analyze a discontinuous Galerkin method for the numerical modeling of the non-linear fully-coupled thermo-hydro-mechanic problem. We propose a high-order symmetric weighted interior penalty scheme that supports general polytopal grids and is robust with respect to strong heteorgeneities in the model coefficients. We focus on the treatment of the non-linear convective transport term in the energy conservation equation and we propose suitable stabilization techniques that make the scheme robust for advection-dominated regimes. The stability analysis of the problem and the convergence of the fixed-point linearization strategy are addressed theoretically under mild requirements on the problem's data. A complete set of numerical simulations is presented in order to assess the convergence and robustness properties of the proposed method. △ Less

Submitted 27 November, 2023; originally announced November 2023.

MSC Class: 65M12; 65M60; 74F05; 76S05

Discontinuous Galerkin approximations of the heterodimer model for protein-protein interaction

Authors: Paola F. Antonietti, Francesca Bonizzoni, Mattia Corti, Agnese Dall'Olio

Abstract: Mathematical models of protein-protein dynamics, such as the heterodimer model, play a crucial role in understanding many physical phenomena. This model is a system of two semilinear parabolic partial differential equations describing the evolution and mutual interaction of biological species. An example is the neurodegenerative disease progression in some significant pathologies, such as Alzheime… ▽ More Mathematical models of protein-protein dynamics, such as the heterodimer model, play a crucial role in understanding many physical phenomena. This model is a system of two semilinear parabolic partial differential equations describing the evolution and mutual interaction of biological species. An example is the neurodegenerative disease progression in some significant pathologies, such as Alzheimer's and Parkinson's diseases, characterized by the accumulation and propagation of toxic prionic proteins. This article presents and analyzes a flexible high-order discretization method for the numerical approximation of the heterodimer model. We propose a space discretization based on a Discontinuous Galerkin method on polygonal/polyhedral grids, which provides flexibility in handling complex geometries. Concerning the semi-discrete formulation, we prove stability and a-priori error estimates for the first time. Next, we adopt a $θ$-method scheme as a time integration scheme. Convergence tests are carried out to demonstrate the theoretical bounds and the ability of the method to approximate traveling wave solutions, considering also complex geometries such as brain sections reconstructed from medical images. Finally, the proposed scheme is tested in a practical test case stemming from neuroscience applications, namely the simulation of the spread of $α$-synuclein in a realistic test case of Parkinson's disease in a two-dimensional sagittal brain section geometry reconstructed from medical images. △ Less

Submitted 21 August, 2024; v1 submitted 12 October, 2023; originally announced October 2023.

Journal ref: Computer Methods in Applied Mechanics and Engineering, 431 (2024), 117282

Polytopal discontinuous Galerkin discretization of brain multiphysics flow dynamics

Authors: Ivan Fumagalli, Mattia Corti, Nicola Parolini, Paola F. Antonietti

Abstract: 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… ▽ More 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. △ Less

Submitted 2 November, 2023; v1 submitted 11 October, 2023; originally announced October 2023.

Comments: 25 pages, 7 figures

MSC Class: 65N12; 65N22; 65N30; 76Z05 ACM Class: G.1.8; J.2; J.3

Iterative solution to the biharmonic equation in mixed form discretized by the Hybrid High-Order method

Authors: Paola F. Antonietti, Pierre Matalon, Marco Verani

Abstract: We consider the solution to the biharmonic equation in mixed form discretized by the Hybrid High-Order (HHO) methods. The two resulting second-order elliptic problems can be decoupled via the introduction of a new unknown, corresponding to the boundary value of the solution of the first Laplacian problem. This technique yields a global linear problem that can be solved iteratively via a Krylov-typ… ▽ More We consider the solution to the biharmonic equation in mixed form discretized by the Hybrid High-Order (HHO) methods. The two resulting second-order elliptic problems can be decoupled via the introduction of a new unknown, corresponding to the boundary value of the solution of the first Laplacian problem. This technique yields a global linear problem that can be solved iteratively via a Krylov-type method. More precisely, at each iteration of the scheme, two second-order elliptic problems have to be solved, and a normal derivative on the boundary has to be computed. In this work, we specialize this scheme for the HHO discretization. To this aim, an explicit technique to compute the discrete normal derivative of an HHO solution of a Laplacian problem is proposed. Moreover, we show that the resulting discrete scheme is well-posed. Finally, a new preconditioner is designed to speed up the convergence of the Krylov method. Numerical experiments assessing the performance of the proposed iterative algorithm on both two- and three-dimensional test cases are presented. △ Less

Submitted 23 July, 2024; v1 submitted 21 August, 2023; originally announced August 2023.

Structure Preserving Polytopal Discontinuous Galerkin Methods for the Numerical Modeling of Neurodegenerative Diseases

Authors: Mattia Corti, Francesca Bonizzoni, Paola F. Antonietti

Abstract: Many neurodegenerative diseases are connected to the spreading of misfolded prionic proteins. In this paper, we analyse the process of misfolding and spreading of both $α$-synuclein and Amyloid-$β$, related to Parkinson's and Alzheimer's diseases, respectively. We introduce and analyze a positivity-preserving numerical method for the discretization of the Fisher-Kolmogorov equation, modelling accu… ▽ More Many neurodegenerative diseases are connected to the spreading of misfolded prionic proteins. In this paper, we analyse the process of misfolding and spreading of both $α$-synuclein and Amyloid-$β$, related to Parkinson's and Alzheimer's diseases, respectively. We introduce and analyze a positivity-preserving numerical method for the discretization of the Fisher-Kolmogorov equation, modelling accumulation and spreading of prionic proteins. The proposed approximation method is based on the discontinuous Galerkin method on polygonal and polyhedral grids for space discretization and on $\vartheta-$method time integration scheme. We prove the existence of the discrete solution and a convergence result where the Implicit Euler scheme is employed for time integration. We show that the proposed approach is structure-preserving, in the sense that it guaranteed that the discrete solution is non-negative, a feature that is of paramount importance in practical application. The numerical verification of our numerical model is performed both using a manufactured solution and considering wavefront propagation in two-dimensional polygonal grids. Next, we present a simulation of $α$-synuclein spreading in a two-dimensional brain slice in the sagittal plane. The polygonal mesh for this simulation is agglomerated maintaining the distinction of white and grey matter, taking advantage of the flexibility of PolyDG methods in the mesh construction. Finally, we simulate the spreading of Amyloid-$β$ in a patient-specific setting by using a three-dimensional geometry reconstructed from magnetic resonance images and an initial condition reconstructed from positron emission tomography. Our numerical simulations confirm that the proposed method is able to capture the evolution of Parkinson's and Alzheimer's diseases. △ Less

Submitted 2 November, 2023; v1 submitted 1 August, 2023; originally announced August 2023.

Journal ref: Journal of Scientific Computing (2024)

A space-time discontinuous Galerkin method for coupled poroelasticity-elasticity problems

Authors: Paola F. Antonietti, Michele Botti, Ilario Mazzieri

Abstract: This work is concerned with the analysis of a space-time finite element discontinuous Galerkin method on polytopal meshes (XT-PolydG) for the numerical discretization of wave propagation in coupled poroelastic-elastic media. The mathematical model consists of the low-frequency Biot's equations in the poroelastic medium and the elastodynamics equation for the elastic one. To realize the coupling, s… ▽ More This work is concerned with the analysis of a space-time finite element discontinuous Galerkin method on polytopal meshes (XT-PolydG) for the numerical discretization of wave propagation in coupled poroelastic-elastic media. The mathematical model consists of the low-frequency Biot's equations in the poroelastic medium and the elastodynamics equation for the elastic one. To realize the coupling, suitable transmission conditions on the interface between the two domains are (weakly) embedded in the formulation. The proposed PolydG discretization in space is then coupled with a dG time integration scheme, resulting in a full space-time dG discretization. We present the stability analysis for both the continuous and the semidiscrete formulations, and we derive error estimates for the semidiscrete formulation in a suitable energy norm. The method is applied to a wide set of numerical test cases to verify the theoretical bounds. Examples of physical interest are also presented to investigate the capability of the proposed method in relevant geophysical scenarios. △ Less

Submitted 3 December, 2023; v1 submitted 1 June, 2023; originally announced June 2023.

MSC Class: 65M12; 65M60

Uncertainty Quantification for Fisher-Kolmogorov Equation on Graphs with Application to Patient-Specific Alzheimer Disease

Authors: Mattia Corti, Francesca Bonizzoni, Paola F. Antonietti, Alfio M. Quarteroni

Abstract: The Fisher-Kolmogorov equation is a diffusion-reaction PDE that is used to model the accumulation of prionic proteins, which are responsible for many different neurological disorders. Likely, the most important and studied misfolded protein in literature is the Amyloid-$β$, responsible for the onset of Alzheimer disease. Starting from medical images we construct a reduced-order model based on a gr… ▽ More The Fisher-Kolmogorov equation is a diffusion-reaction PDE that is used to model the accumulation of prionic proteins, which are responsible for many different neurological disorders. Likely, the most important and studied misfolded protein in literature is the Amyloid-$β$, responsible for the onset of Alzheimer disease. Starting from medical images we construct a reduced-order model based on a graph brain connectome. The reaction coefficient of the proteins is modelled as a stochastic random field, taking into account all the many different underlying physical processes, which can hardly be measured. Its probability distribution is inferred by means of the Monte Carlo Markov Chain method applied to clinical data. The resulting model is patient-specific and can be employed for predicting the disease's future development. Forward uncertainty quantification techniques (Monte Carlo and sparse grid stochastic collocation) are applied with the aim of quantifying the impact of the variability of the reaction coefficient on the progression of protein accumulation within the next 20 years. △ Less

Submitted 2 November, 2023; v1 submitted 5 May, 2023; originally announced May 2023.

Journal ref: ESAIM: Mathematical Modelling and Numerical Analysis (2024)

A Deep Learning algorithm to accelerate Algebraic Multigrid methods in Finite Element solvers of 3D elliptic PDEs

Authors: Matteo Caldana, Paola F. Antonietti, Luca Dede'

Abstract: Algebraic multigrid (AMG) methods are among the most efficient solvers for linear systems of equations and they are widely used for the solution of problems stemming from the discretization of Partial Differential Equations (PDEs). The most severe limitation of AMG methods is the dependence on parameters that require to be fine-tuned. In particular, the strong threshold parameter is the most relev… ▽ More Algebraic multigrid (AMG) methods are among the most efficient solvers for linear systems of equations and they are widely used for the solution of problems stemming from the discretization of Partial Differential Equations (PDEs). The most severe limitation of AMG methods is the dependence on parameters that require to be fine-tuned. In particular, the strong threshold parameter is the most relevant since it stands at the basis of the construction of successively coarser grids needed by the AMG methods. We introduce a novel Deep Learning algorithm that minimizes the computational cost of the AMG method when used as a finite element solver. We show that our algorithm requires minimal changes to any existing code. The proposed Artificial Neural Network (ANN) tunes the value of the strong threshold parameter by interpreting the sparse matrix of the linear system as a black-and-white image and exploiting a pooling operator to transform it into a small multi-channel image. We experimentally prove that the pooling successfully reduces the computational cost of processing a large sparse matrix and preserves the features needed for the regression task at hand. We train the proposed algorithm on a large dataset containing problems with a highly heterogeneous diffusion coefficient defined in different three-dimensional geometries and discretized with unstructured grids and linear elasticity problems with a highly heterogeneous Young's modulus. When tested on problems with coefficients or geometries not present in the training dataset, our approach reduces the computational time by up to 30%. △ Less

Submitted 2 November, 2023; v1 submitted 21 April, 2023; originally announced April 2023.

MSC Class: 65N22; 65N30; 65N55; 68T01

A DG-VEM method for the dissipative wave equation

Authors: Paola Francesca Antonietti, Francesca Bonizzoni, Marco Verani

Abstract: A novel space-time discretization for the (linear) scalar-valued dissipative wave equation is presented. It is a structured approach, namely, the discretization space is obtained tensorizing the Virtual Element (VE) discretization in space with the Discontinuous Galerkin (DG) method in time. As such, it combines the advantages of both the VE and the DG methods. The proposed scheme is implicit and… ▽ More A novel space-time discretization for the (linear) scalar-valued dissipative wave equation is presented. It is a structured approach, namely, the discretization space is obtained tensorizing the Virtual Element (VE) discretization in space with the Discontinuous Galerkin (DG) method in time. As such, it combines the advantages of both the VE and the DG methods. The proposed scheme is implicit and it is proved to be unconditionally stable and accurate in space and time. △ Less

Submitted 30 August, 2023; v1 submitted 30 March, 2023; originally announced March 2023.

AeroSPEED: a high order acoustic solver for aeroacoustic applications

Authors: Alberto Artoni, Paola F. Antonietti, Roberto Corradi, Ilario Mazzieri, Nicola Parolini, Daniele Rocchi, Paolo Schito, Francesco F. Semeraro

Abstract: We propose AeroSPEED, a solver based on the Spectral Element Method (SEM) that solves the aeroacoustic Lighthill's wave equation. First, the fluid solution is computed employing a cell centered Finite Volume method. Then, AeroSPEED maps the sound source coming from the flow solution onto the acoustic grid, where finally the Lighthill's wave equation is solved. An ad-hoc projection strategy is adop… ▽ More We propose AeroSPEED, a solver based on the Spectral Element Method (SEM) that solves the aeroacoustic Lighthill's wave equation. First, the fluid solution is computed employing a cell centered Finite Volume method. Then, AeroSPEED maps the sound source coming from the flow solution onto the acoustic grid, where finally the Lighthill's wave equation is solved. An ad-hoc projection strategy is adopted to apply the flow source term in the acoustic solver. A model problem with a manufactured solution and the Noise Box test case are used as benchmark for the acoustic problem. We studied the noise generated by the complex flow field around tandem cylinders as a relevant aeroacoustic application. AeroSPEED is an effective and accurate solver for both acoustics and aeroacoustic problems. △ Less

Submitted 18 March, 2023; originally announced March 2023.

Numerical modelling of wave propagation phenomena in thermo-poroelastic media via discontinuous Galerkin methods

Authors: Stefano Bonetti, Michele Botti, Ilario Mazzieri, Paola F. Antonietti

Abstract: We present and analyze a high-order discontinuous Galerkin method for the space discretization of the wave propagation model in thermo-poroelastic media. The proposed scheme supports general polytopal grids. Stability analysis and $hp$-version error estimates in suitable energy norms are derived for the semi-discrete problem. The fully-discrete scheme is then obtained based on employing an implici… ▽ More We present and analyze a high-order discontinuous Galerkin method for the space discretization of the wave propagation model in thermo-poroelastic media. The proposed scheme supports general polytopal grids. Stability analysis and $hp$-version error estimates in suitable energy norms are derived for the semi-discrete problem. The fully-discrete scheme is then obtained based on employing an implicit Newmark-$β$ time integration scheme. A wide set of numerical simulations is reported, both for the verification of the theoretical estimates and for examples of physical interest. A comparison with the results of the poroelastic model is provided too, highlighting the differences between the predictive capabilities of the two models. △ Less

Submitted 16 March, 2023; originally announced March 2023.

MSC Class: 35L05; 65M12; 65M60; 74F05; 76S05

Discontinuous Galerkin Methods for Fisher-Kolmogorov Equation with Application to $α$-Synuclein Spreading in Parkinson's Disease

Authors: Mattia Corti, Francesca Bonizzoni, Luca Dede', Alfio Quarteroni, Paola F. Antonietti

Abstract: This spreading of prion proteins is at the basis of brain neurodegeneration. This paper deals with the numerical modelling of the misfolding process of $α$-synuclein in Parkinson's disease. We introduce and analyze a discontinuous Galerkin method for the semi-discrete approximation of the Fisher-Kolmogorov (FK) equation that can be employed to model the process. We employ a discontinuous Galerkin… ▽ More This spreading of prion proteins is at the basis of brain neurodegeneration. This paper deals with the numerical modelling of the misfolding process of $α$-synuclein in Parkinson's disease. We introduce and analyze a discontinuous Galerkin method for the semi-discrete approximation of the Fisher-Kolmogorov (FK) equation that can be employed to model the process. We employ a discontinuous Galerkin method on polygonal and polyhedral grids (PolyDG) for space discretization, to accurately simulate the wavefronts typically observed in the prionic spreading and we prove stability and a priori error estimates. Next, we use a Crank-Nicolson scheme to advance in time. For the numerical verification of our numerical model, we first consider a manufactured solution, and then we consider a case with wavefront propagation in two-dimensional polygonal grids. Next, we carry out a simulation of $α$-synuclein spreading in a two-dimensional brain slice in the sagittal plane with a polygonal agglomerated grid that takes full advantage of the flexibility of PolyDG approximation. Finally, we present a simulation in a three-dimensional geometry reconstructed from magnetic resonance images of a patient's brain. △ Less

Submitted 2 November, 2023; v1 submitted 14 February, 2023; originally announced February 2023.

Comments: arXiv admin note: text overlap with arXiv:2210.02272

Journal ref: Computer Methods in Applied Mechanics and Engineering (2023)

A hybrid finite volume -- spectral element method for aeroacoustic problems

Authors: Alberto Artoni, Paola F. Antonietti, Ilario Mazzieri, Nicola Parolini, Daniele Rocchi

Abstract: We propose a hybrid Finite Volume (FV) - Spectral Element Method (SEM) for modelling aeroacoustic phenomena based on the Lighthill's acoustic analogy. First the fluid solution is computed employing a FV method. Then, the sound source term is projected onto the acoustic grid and the inhomogeneous Lighthill's wave equation is solved employing the SEM. The novel projection method computes offline the… ▽ More We propose a hybrid Finite Volume (FV) - Spectral Element Method (SEM) for modelling aeroacoustic phenomena based on the Lighthill's acoustic analogy. First the fluid solution is computed employing a FV method. Then, the sound source term is projected onto the acoustic grid and the inhomogeneous Lighthill's wave equation is solved employing the SEM. The novel projection method computes offline the intersections between the acoustic and the fluid grids in order to preserve the accuracy. The proposed intersection algorithm is shown to be robust, scalable and able to efficiently compute the geometric intersection of arbitrary polyhedral elements. We then analyse the properties of the projection error, showing that if the fluid grid is fine enough we are able to exploit the accuracy of the acoustic solver and we numerically assess the obtained theoretical estimates. Finally, we address two relevant aeroacoustic benchmarks, namely the corotating vortex pair and the noise induced by a laminar flow around a squared cylinder, to demonstrate in practice the effectiveness of the projection method when dealing with high order solvers. The flow computations are performed with OpenFOAM [46], an open-source finite volume library, while the inhomogeneous Lighthill's wave equation is solved with SPEED [31], an opensource spectral element library. △ Less

Submitted 2 November, 2023; v1 submitted 7 February, 2023; originally announced February 2023.

Agglomeration of Polygonal Grids using Graph Neural Networks with applications to Multigrid solvers

Authors: P. F. Antonietti, N. Farenga, E. Manuzzi, G. Martinelli, L. Saverio

Abstract: Agglomeration-based strategies are important both within adaptive refinement algorithms and to construct scalable multilevel algebraic solvers. In order to automatically perform agglomeration of polygonal grids, we propose the use of Machine Learning (ML) strategies, that can naturally exploit geometrical information about the mesh in order to preserve the grid quality, enhancing performance of nu… ▽ More Agglomeration-based strategies are important both within adaptive refinement algorithms and to construct scalable multilevel algebraic solvers. In order to automatically perform agglomeration of polygonal grids, we propose the use of Machine Learning (ML) strategies, that can naturally exploit geometrical information about the mesh in order to preserve the grid quality, enhancing performance of numerical methods and reducing the overall computational cost. In particular, we employ the k-means clustering algorithm and Graph Neural Networks (GNNs) to partition the connectivity graph of a computational mesh. Moreover, GNNs have high online inference speed and the advantage to process naturally and simultaneously both the graph structure of mesh and the geometrical information, such as the areas of the elements or their barycentric coordinates. These techniques are compared with METIS, a standard algorithm for graph partitioning, which is meant to process only the graph information of the mesh. We demonstrate that performance in terms of quality metrics is enhanced for ML strategies. Such models also show a good degree of generalization when applied to more complex geometries, such as brain MRI scans, and the capability of preserving the quality of the grid. The effectiveness of these strategies is demonstrated also when applied to MultiGrid (MG) solvers in a Polygonal Discontinuous Galerkin (PolyDG) framework. In the considered experiments, GNNs show overall the best performance in terms of inference speed, accuracy and flexibility of the approach. △ Less

Submitted 16 March, 2023; v1 submitted 31 October, 2022; originally announced October 2022.

Numerical Modelling of the Brain Poromechanics by High-Order Discontinuous Galerkin Methods

Authors: Mattia Corti, Paola F. Antonietti, Luca Dede', Alfio Maria Quarteroni

Abstract: We introduce and analyze a discontinuous Galerkin method for the numerical modelling of the equations of Multiple-Network Poroelastic Theory (MPET) in the dynamic formulation. The MPET model can comprehensively describe functional changes in the brain considering multiple scales of fluids. Concerning the spatial discretization, we employ a high-order discontinuous Galerkin method on polygonal and… ▽ More We introduce and analyze a discontinuous Galerkin method for the numerical modelling of the equations of Multiple-Network Poroelastic Theory (MPET) in the dynamic formulation. The MPET model can comprehensively describe functional changes in the brain considering multiple scales of fluids. Concerning the spatial discretization, we employ a high-order discontinuous Galerkin method on polygonal and polyhedral grids and we derive stability and a priori error estimates. The temporal discretization is based on a coupling between a Newmark $β$-method for the momentum equation and a $θ$-method for the pressure equations. After the presentation of some verification numerical tests, we perform a convergence analysis using an agglomerated mesh of a geometry of a brain slice. Finally we present a simulation in a three dimensional patient-specific brain reconstructed from magnetic resonance images. The model presented in this paper can be regarded as a preliminary attempt to model the perfusion in the brain. △ Less

Submitted 17 March, 2023; v1 submitted 5 October, 2022; originally announced October 2022.

Journal ref: Mathematical Models and Methods in Applied Sciences (2023)

Discontinuous Galerkin approximation of the fully-coupled thermo-poroelastic problem

Authors: Paola F. Antonietti, Stefano Bonetti, Michele Botti

Abstract: We present and analyze a discontinuous Galerkin method for the numerical modelling of the non-linear fully-coupled thermo-poroelastic problem. For the spatial discretization, we design a high-order discontinuous Galerkin method on polygonal and polyhedral grids based on a novel four-field formulation of the problem. To handle the non-linear convective transport term in the energy conservation equa… ▽ More We present and analyze a discontinuous Galerkin method for the numerical modelling of the non-linear fully-coupled thermo-poroelastic problem. For the spatial discretization, we design a high-order discontinuous Galerkin method on polygonal and polyhedral grids based on a novel four-field formulation of the problem. To handle the non-linear convective transport term in the energy conservation equation we adopt a fixed-point linearization strategy. We perform a robust stability analysis for the linearized semi-discrete problem under mild requirements on the problem data. A priori hp-version error estimates in suitable energy norms are also derived. A complete set of numerical simulations is presented in order to validate the theoretical analysis, to inspect numerically the robustness properties, and to test the capability of the proposed method in a practical scenario inspired by a geothermal problem. △ Less

Submitted 26 May, 2022; v1 submitted 9 May, 2022; originally announced May 2022.

MSC Class: 65M12; 65M60; 74F05; 76S05

Virtual Element Method for the Navier--Stokes Equation coupled with the Heat Equation

Authors: Paola Francesca Antonietti, Giuseppe Vacca, Marco Verani

Abstract: We consider the Virtual Element discretization of the Navier-Stokes equations coupled with the heat equation where the viscosity depends on the temperature. We present the Virtual Element discretization of the coupled problem, show its well-posedness, and prove optimal error estimates. Numerical experiments which confirm the theoretical error bounds are also presented. We consider the Virtual Element discretization of the Navier-Stokes equations coupled with the heat equation where the viscosity depends on the temperature. We present the Virtual Element discretization of the coupled problem, show its well-posedness, and prove optimal error estimates. Numerical experiments which confirm the theoretical error bounds are also presented. △ Less

Submitted 2 May, 2022; originally announced May 2022.

Machine Learning based refinement strategies for polyhedral grids with applications to Virtual Element and polyhedral Discontinuous Galerkin methods

Authors: P. F. Antonietti, F. Dassi, E. Manuzzi

Abstract: We propose two new strategies based on Machine Learning techniques to handle polyhedral grid refinement, to be possibly employed within an adaptive framework. The first one employs the k-means clustering algorithm to partition the points of the polyhedron to be refined. This strategy is a variation of the well known Centroidal Voronoi Tessellation. The second one employs Convolutional Neural Netwo… ▽ More We propose two new strategies based on Machine Learning techniques to handle polyhedral grid refinement, to be possibly employed within an adaptive framework. The first one employs the k-means clustering algorithm to partition the points of the polyhedron to be refined. This strategy is a variation of the well known Centroidal Voronoi Tessellation. The second one employs Convolutional Neural Networks to classify the "shape" of an element so that "ad-hoc" refinement criteria can be defined. This strategy can be used to enhance existing refinement strategies, including the k-means strategy, at a low online computational cost. We test the proposed algorithms considering two families of finite element methods that support arbitrarily shaped polyhedral elements, namely the Virtual Element Method (VEM) and the Polygonal Discontinuous Galerkin (PolyDG) method. We demonstrate that these strategies do preserve the structure and the quality of the underlaying grids, reducing the overall computational cost and mesh complexity. △ Less

Submitted 1 March, 2022; v1 submitted 25 February, 2022; originally announced February 2022.

Comments: Corrected typos

Report number: JCOMP-D-22-00326

Journal ref: Journal of Computational Physics 469 (2022) 111531

$C^1$-VEM for some variants of the Cahn-Hilliard equation: a numerical exploration

Authors: Paola F. Antonietti, Simone Scacchi, Giuseppe Vacca, Marco Verani

Abstract: We consider the $C^1$-Virtual Element Method (VEM) for the conforming numerical approximation of some variants of the Cahn-Hilliard equation on polygonal meshes. In particular, we focus on the discretization of the advective Cahn-Hilliard problem and the Cahn-Hilliard inpainting problem. We present the numerical approximation and several numerical results to assess the efficacy of the proposed met… ▽ More We consider the $C^1$-Virtual Element Method (VEM) for the conforming numerical approximation of some variants of the Cahn-Hilliard equation on polygonal meshes. In particular, we focus on the discretization of the advective Cahn-Hilliard problem and the Cahn-Hilliard inpainting problem. We present the numerical approximation and several numerical results to assess the efficacy of the proposed methodology. △ Less

Submitted 31 December, 2021; originally announced December 2021.

On arbitrarily regular conforming virtual element methods for elliptic partial differential equations

Authors: Paola Francesca Antonietti, Gianmarco Manzini, Simone Scacchi, Marco Verani

Abstract: The Virtual Element Method (VEM) is a very effective framework to design numerical approximations with high global regularity to the solutions of elliptic partial differential equations. In this paper, we review the construction of such approximations for an elliptic problem of order $p_1$ using conforming, finite dimensional subspaces of $ H^{p_2}(Ω)$, where $p_1$ and $p_2$ are two integer number… ▽ More The Virtual Element Method (VEM) is a very effective framework to design numerical approximations with high global regularity to the solutions of elliptic partial differential equations. In this paper, we review the construction of such approximations for an elliptic problem of order $p_1$ using conforming, finite dimensional subspaces of $ H^{p_2}(Ω)$, where $p_1$ and $p_2$ are two integer numbers such that $p_2 \geq p_1 \geq 1$ and $Ω\in R^2$ is the computational domain. An abstract convergence result is presented in a suitably defined energy norm. The space formulation and major aspects such as the choice and unisolvence of the degrees of freedom are discussed, also providing specific examples corresponding to various practical cases of high global regularity. Finally, the construction of the "enhanced" formulation of the virtual element spaces is also discussed in details with a proof that the dimension of the "regular" and "enhanced" spaces is the same and that the virtual element functions in both spaces can be described by the same choice of the degrees of freedom. △ Less

Submitted 25 December, 2021; originally announced December 2021.

MSC Class: 65N12; 65N15

Agglomeration-based geometric multigrid schemes for the Virtual Element Method

Authors: Paola Francesca Antonietti, Stefano Berrone, Martina Busetto, Marco Verani

Abstract: In this paper we analyse the convergence properties of two-level, W-cycle and V-cycle agglomeration-based geometric multigrid schemes for the numerical solution of the linear system of equations stemming from the lowest order $C^0$-conforming Virtual Element discretization of two-dimensional second-order elliptic partial differential equations. The sequence of agglomerated tessellations are nested… ▽ More In this paper we analyse the convergence properties of two-level, W-cycle and V-cycle agglomeration-based geometric multigrid schemes for the numerical solution of the linear system of equations stemming from the lowest order $C^0$-conforming Virtual Element discretization of two-dimensional second-order elliptic partial differential equations. The sequence of agglomerated tessellations are nested, but the corresponding multilevel virtual discrete spaces are generally non-nested thus resulting into non-nested multigrid algorithms. We prove the uniform convergence of the two-level method with respect to the mesh size and the uniform convergence of the W-cycle and the V-cycle multigrid algorithms with respect to the mesh size and the number of levels. Numerical experiments confirm the theoretical findings. △ Less

Submitted 27 February, 2022; v1 submitted 21 December, 2021; originally announced December 2021.

A discontinuous Galerkin time integration scheme for second order differential equations with applications to seismic wave propagation problems

Authors: Paola F. Antonietti, Ilario Mazzieri, Francesco Migliorini

Abstract: In this work, we present a new high order Discontinuous Galerkin time integration scheme for second-order (in time) differential systems that typically arise from the space discretization of the elastodynamics equation. By rewriting the original equation as a system of first order differential equations we introduce the method and show that the resulting discrete formulation is well-posed, stable… ▽ More In this work, we present a new high order Discontinuous Galerkin time integration scheme for second-order (in time) differential systems that typically arise from the space discretization of the elastodynamics equation. By rewriting the original equation as a system of first order differential equations we introduce the method and show that the resulting discrete formulation is well-posed, stable and retains super-optimal rate of convergence with respect to the discretization parameters, namely the time step and the polynomial approximation degree. A set of two- and three-dimensional numerical experiments confirm the theoretical bounds. Finally, the method is applied to real geophysical applications. △ Less

Submitted 3 December, 2021; originally announced December 2021.

MSC Class: 65M12 (primary) 65M60 (secondary)

On mathematical and numerical modelling of multiphysics wave propagation with polytopal Discontinuous Galerkin methods

Authors: Paola F. Antonietti, Michele Botti, Ilario Mazzieri

Abstract: In this work we review discontinuous Galerkin finite element methods on polytopal grids (PolydG) for the numerical simulation of multiphysics wave propagation phenomena in heterogeneous media. In particular, we address wave phenomena in elastic, poro-elastic, and poro-elasto-acoustic materials. Wave propagation is modeled by using either the elastodynamics equation in the elastic domain, the acous… ▽ More In this work we review discontinuous Galerkin finite element methods on polytopal grids (PolydG) for the numerical simulation of multiphysics wave propagation phenomena in heterogeneous media. In particular, we address wave phenomena in elastic, poro-elastic, and poro-elasto-acoustic materials. Wave propagation is modeled by using either the elastodynamics equation in the elastic domain, the acoustics equations in the acoustic domain and the low-frequency Biot's equations in the poro-elastic one. The coupling between different models is realized by means of (physically consistent) transmission conditions, weakly imposed at the interface between the subdomains. For all models configuration, we introduce and analyse the PolydG semi-discrete formulation, which is then coupled with suitable time marching schemes. For the semi-discrete problem, we present the stability analysis and derive a-priori error estimates in a suitable energy norm. A wide set of verification tests with manufactured solutions are presented in order to validate the error analysis. Examples of physical interest are also shown to demonstrate the capability of the proposed methods. △ Less

Submitted 3 November, 2021; originally announced November 2021.

Comments: 28 pages, 21 figures

MSC Class: 35L05; 65M12; 65M60; 74F10

Accelerating Algebraic Multigrid Methods via Artificial Neural Networks

Authors: Paola F. Antonietti, Matteo Caldana, Luca Dede'

Abstract: We present a novel deep learning-based algorithm to accelerate - through the use of Artificial Neural Networks (ANNs) - the convergence of Algebraic Multigrid (AMG) methods for the iterative solution of the linear systems of equations stemming from finite element discretizations of Partial Differential Equations (PDE). We show that ANNs can be successfully used to predict the strong connection par… ▽ More We present a novel deep learning-based algorithm to accelerate - through the use of Artificial Neural Networks (ANNs) - the convergence of Algebraic Multigrid (AMG) methods for the iterative solution of the linear systems of equations stemming from finite element discretizations of Partial Differential Equations (PDE). We show that ANNs can be successfully used to predict the strong connection parameter that enters in the construction of the sequence of increasingly smaller matrix problems standing at the basis of the AMG algorithm, so as to maximize the corresponding convergence factor of the AMG scheme. To demonstrate the practical capabilities of the proposed algorithm, which we call AMG-ANN, we consider the iterative solution of the algebraic system of equations stemming from finite element discretizations of two-dimensional model problems. First, we consider an elliptic equation with a highly heterogeneous diffusion coefficient and then a stationary Stokes problem. We train (off-line) our ANN with a rich dataset and present an in-depth analysis of the effects of tuning the strong threshold parameter on the convergence factor of the resulting AMG iterative scheme. △ Less

Submitted 6 October, 2022; v1 submitted 2 November, 2021; originally announced November 2021.

A review on arbitrarily regular conforming virtual element methods for elliptic partial differential equations

Authors: Paola Francesca Antonietti, Gianmarco Manzini, Simone Scacchi, Marco Verani

Abstract: The Virtual Element Method is well suited to the formulation of arbitrarily regular Galerkin approximations of elliptic partial differential equations of order $2p_1$, for any integer $p_1\geq 1$. In fact, the virtual element paradigm provides a very effective design framework for conforming, finite dimensional subspaces of $H^{p_2}(Ω)$, $Ω$ being the computational domain and $p_2\geq p_1$ another… ▽ More The Virtual Element Method is well suited to the formulation of arbitrarily regular Galerkin approximations of elliptic partial differential equations of order $2p_1$, for any integer $p_1\geq 1$. In fact, the virtual element paradigm provides a very effective design framework for conforming, finite dimensional subspaces of $H^{p_2}(Ω)$, $Ω$ being the computational domain and $p_2\geq p_1$ another suitable integer number. In this study, we first present an abstract setting for such highly regular approximations and discuss the mathematical details of how we can build conforming approximation spaces with a global high-order continuity on $Ω$. Then, we illustrate specific examples in the case of second- and fourth-order partial differential equations, that correspond to the cases $p_1=1$ and $2$, respectively. Finally, we investigate numerically the effect on the approximation properties of the conforming highly-regular method that results from different choices of the degree of continuity of the underlying virtual element spaces and how different stabilization strategies may impact on convergence. △ Less

Submitted 7 April, 2021; originally announced April 2021.

Comments: 19 pages, 7 tables, 4 figures

Refinement of polygonal grids using Convolutional Neural Networks with applications to polygonal Discontinuous Galerkin and Virtual Element methods

Authors: P. F. Antonietti, E. Manuzzi

Abstract: We propose new strategies to handle polygonal grids refinement based on Convolutional Neural Networks (CNNs). We show that CNNs can be successfully employed to identify correctly the "shape" of a polygonal element so as to design suitable refinement criteria to be possibly employed within adaptive refinement strategies. We propose two refinement strategies that exploit the use of CNNs to classify… ▽ More We propose new strategies to handle polygonal grids refinement based on Convolutional Neural Networks (CNNs). We show that CNNs can be successfully employed to identify correctly the "shape" of a polygonal element so as to design suitable refinement criteria to be possibly employed within adaptive refinement strategies. We propose two refinement strategies that exploit the use of CNNs to classify elements' shape, at a low computational cost. We test the proposed idea considering two families of finite element methods that support arbitrarily shaped polygonal elements, namely Polygonal Discontinuous Galerkin (PolyDG) methods and Virtual Element Methods (VEMs). We demonstrate that the proposed algorithms can greatly improve the performance of the discretization schemes both in terms of accuracy and quality of the underlying grids. Moreover, since the training phase is performed off-line and is independent of the differential model the overall computational costs are kept low. △ Less

Submitted 2 October, 2021; v1 submitted 10 February, 2021; originally announced February 2021.

Report number: JCOMP-D-21-00288

Journal ref: Journal of Computational Physics 452 (2022) 110900

The conforming virtual element method for polyharmonic and elastodynamics problems: a review

Authors: Paola Francesca Antonietti, Gianmarco Manzini, Ilario Mazzieri, Simone Scacchi, Marco Verani

Abstract: In this paper, we review recent results on the conforming virtual element approximation of polyharmonic and elastodynamics problems. The structure and the content of this review is motivated by three paradigmatic examples of applications: classical and anisotropic Cahn-Hilliard equation and phase field models for brittle fracture, that are briefly discussed in the first part of the paper. We prese… ▽ More In this paper, we review recent results on the conforming virtual element approximation of polyharmonic and elastodynamics problems. The structure and the content of this review is motivated by three paradigmatic examples of applications: classical and anisotropic Cahn-Hilliard equation and phase field models for brittle fracture, that are briefly discussed in the first part of the paper. We present and discuss the mathematical details of the conforming virtual element approximation of linear polyharmonic problems, the classical Cahn-Hilliard equation and linear elastodynamics problems. △ Less

Submitted 2 February, 2021; originally announced February 2021.

Comments: 30 pages, 7 figures. arXiv admin note: text overlap with arXiv:1912.07122

MSC Class: 65L10; 65L20; 65L60

SUIHTER: A new mathematical model for COVID-19. Application to the analysis of the second epidemic outbreak in Italy

Authors: Nicola Parolini, Luca Dede', Paola F. Antonietti, Giovanni Ardenghi, Andrea Manzoni, Edie Miglio, Andrea Pugliese, Marco Verani, Alfio Quarteroni

Abstract: The COVID-19 epidemic is the last of a long list of pandemics that have affected humankind in the last century. In this paper, we propose a novel mathematical epidemiological model named SUIHTER from the names of the seven compartments that it comprises: susceptible uninfected individuals (S), undetected (both asymptomatic and symptomatic) infected (U), isolated (I), hospitalized (H), threatened (… ▽ More The COVID-19 epidemic is the last of a long list of pandemics that have affected humankind in the last century. In this paper, we propose a novel mathematical epidemiological model named SUIHTER from the names of the seven compartments that it comprises: susceptible uninfected individuals (S), undetected (both asymptomatic and symptomatic) infected (U), isolated (I), hospitalized (H), threatened (T), extinct (E), and recovered (R). A suitable parameter calibration that is based on the combined use of least squares method and Markov Chain Monte Carlo (MCMC) method is proposed with the aim of reproducing the past history of the epidemic in Italy, surfaced in late February and still ongoing to date, and of validating SUIHTER in terms of its predicting capabilities. A distinctive feature of the new model is that it allows a one-to-one calibration strategy between the model compartments and the data that are daily made available from the Italian Civil Protection. The new model is then applied to the analysis of the Italian epidemic with emphasis on the second outbreak emerged in Fall 2020. In particular, we show that the epidemiological model SUIHTER can be suitably used in a predictive manner to perform scenario analysis at national level. △ Less

Submitted 26 April, 2021; v1 submitted 9 January, 2021; originally announced January 2021.

Comments: 25 pages

Stability analysis of polytopic Discontinuous Galerkin approximations of the Stokes problem with applications to fluid-structure interaction problems

Authors: Paola F. Antonietti, Lorenzo Mascotto, Marco Verani, Stefano Zonca

Abstract: We present a stability analysis of the Discontinuous Galerkin method on polygonal and polyhedral meshes (PolyDG) for the Stokes problem. In particular, we analyze the discrete inf-sup condition for different choices of the polynomial approximation order of the velocity and pressure approximation spaces. To this aim, we employ a generalized inf-sup condition with a pressure stabilization term. We a… ▽ More We present a stability analysis of the Discontinuous Galerkin method on polygonal and polyhedral meshes (PolyDG) for the Stokes problem. In particular, we analyze the discrete inf-sup condition for different choices of the polynomial approximation order of the velocity and pressure approximation spaces. To this aim, we employ a generalized inf-sup condition with a pressure stabilization term. We also prove a priori hp-version error estimates in suitable norms. We numerically check the behaviour of the inf-sup constant and the order of convergence with respect to the mesh configuration, the mesh-size, and the polynomial degree. Finally, as a relevant application of our analysis, we consider the PolyDG approximation for a fluid-structure interaction problem and we numerically explore the stability properties of the method. △ Less

Submitted 23 December, 2020; v1 submitted 3 December, 2020; originally announced December 2020.

A high-order discontinuous Galerkin method for the poro-elasto-acoustic problem on polygonal and polyhedral grids

Authors: Paola F. Antonietti, Michele Botti, Ilario Mazzieri, Simone Nati Poltri

Abstract: The aim of this work is to introduce and analyze a finite element discontinuous Galerkin method on polygonal meshes for the numerical discretization of acoustic waves propagation through poroelastic materials. Wave propagation is modeled by the acoustics equations in the acoustic domain and the low-frequency Biot's equations in the poroelastic one. The coupling is realized by means of (physically… ▽ More The aim of this work is to introduce and analyze a finite element discontinuous Galerkin method on polygonal meshes for the numerical discretization of acoustic waves propagation through poroelastic materials. Wave propagation is modeled by the acoustics equations in the acoustic domain and the low-frequency Biot's equations in the poroelastic one. The coupling is realized by means of (physically consistent) transmission conditions, imposed on the interface between the domains, modeling different pore configurations. For the space discretization, we introduce and analyze a high-order discontinuous Galerkin method on polygonal and polyhedral meshes, which is then coupled with Newmark-$β$ time integration schemes. Stability analysis for both the continuous and semi-discrete problem is presented and error estimates for the energy norm are derived for the semi-discrete one. A wide set of numerical results obtained on test cases with manufactured solutions are presented in order to validate the error analysis. Examples of physical interest are also presented to investigate the capability of the proposed methods in practical scenarios. △ Less

Submitted 12 April, 2021; v1 submitted 29 June, 2020; originally announced June 2020.

MSC Class: 65M12; 65M60

Polytopic Discontinuous Galerkin methods for the numerical modelling of flow in porous media with networks of intersecting fractures

Authors: Paola Francesca Antonietti, Chiara Facciolà, Marco Verani

Abstract: We present a numerical approximation of Darcy's flow through a porous medium that incorporates networks of fractures with non empty intersection. Our scheme employs PolyDG methods, i.e. discontinuous Galerkin methods on general polygonal and polyhedral (polytopic, for short) grids, featuring elements with edges/faces that may be in arbitrary number (potentially unlimited) and whose measure may be… ▽ More We present a numerical approximation of Darcy's flow through a porous medium that incorporates networks of fractures with non empty intersection. Our scheme employs PolyDG methods, i.e. discontinuous Galerkin methods on general polygonal and polyhedral (polytopic, for short) grids, featuring elements with edges/faces that may be in arbitrary number (potentially unlimited) and whose measure may be arbitrarily small. Our approach is then very well suited to tame the geometrical complexity featured by most of applications in the computational geoscience field. From the modelling point of view, we adopt a reduction strategy that treats fractures as manifolds of codimension one and we employ the primal version of Darcy's law to describe the flow in both the bulk and the fracture network. In addition, some physically consistent conditions couple the two problems, allowing for jump of pressure at their interface, and they as well prescribe the behaviour of the fluid along the intersections, imposing pressure continuity and flux conservation. Both the bulk and fracture discretizations are obtained employing the Symmetric Interior Penalty DG method extended to the polytopic setting. The key instrument to obtain a polyDG approximation of the problem in the fracture network is the generalization of the concepts of jump and average at the intersection, so that the contribution from all the fractures is taken into account. We prove the well-posedness of the discrete formulation and perform an error analysis obtaining a priori hp-error estimates. All our theoretical results are validated performing preliminary numerical tests with known analytical solution. △ Less

Submitted 8 December, 2020; v1 submitted 15 February, 2020; originally announced February 2020.

Anisotropic a posteriori error estimate for the Virtual Element Method

Authors: Paola Francesca Antonietti, Stefano Berrone, Andrea Borio, Alessandro D'Auria, Marco Verani, Steffen Weisser

Abstract: We derive an anisotropic a posteriori error estimate for the adaptive conforming Virtual Element approximation of a paradigmatic two-dimensional elliptic problem. In particular, we introduce a quasi-interpolant operator and exploit its approximation results to prove the reliability of the error indicator. We design and implement the corresponding adaptive polygonal anisotropic algorithm. Several n… ▽ More We derive an anisotropic a posteriori error estimate for the adaptive conforming Virtual Element approximation of a paradigmatic two-dimensional elliptic problem. In particular, we introduce a quasi-interpolant operator and exploit its approximation results to prove the reliability of the error indicator. We design and implement the corresponding adaptive polygonal anisotropic algorithm. Several numerical tests assess the superiority of the proposed algorithm in comparison with standard polygonal isotropic mesh refinement schemes. △ Less

Submitted 2 January, 2020; originally announced January 2020.

The Virtual Element Method for a Minimal Surface Problem

Authors: Paola Francesca Antonietti, Silvia Bertoluzza, Daniele Prada, Marco Verani

Abstract: In this paper we consider the Virtual Element discretization of a minimal surface problem, a quasi-linear elliptic partial differential equation modeling the problem of minimizing the area of a surface subject to a prescribed boundary condition. We derive optimal error estimate and present several numerical tests assessing the validity of the theoretical results. In this paper we consider the Virtual Element discretization of a minimal surface problem, a quasi-linear elliptic partial differential equation modeling the problem of minimizing the area of a surface subject to a prescribed boundary condition. We derive optimal error estimate and present several numerical tests assessing the validity of the theoretical results. △ Less

Submitted 19 December, 2019; originally announced December 2019.

The virtual element method for linear elastodynamics models. Convergence, stability and dissipation-dispersion analysis

Authors: P. F. Antonietti, G. Manzini, I. Mazzieri, H. Mourad, M. Verani

Abstract: We design the conforming virtual element method for the numerical approximation of the two dimensional elastodynamics problem. We prove stability and convergence of the semi-discrete approximation and derive optimal error estimates under $h$- and $p$-refinement in both the energy and the $L^2$ norms. The performance of the proposed virtual element method is assessed on a set of different computati… ▽ More We design the conforming virtual element method for the numerical approximation of the two dimensional elastodynamics problem. We prove stability and convergence of the semi-discrete approximation and derive optimal error estimates under $h$- and $p$-refinement in both the energy and the $L^2$ norms. The performance of the proposed virtual element method is assessed on a set of different computational meshes, including non-convex cells up to order four in the $h$-refinement setting. Exponential convergence is also experimentally observed under p-refinement. Finally, we present a dispersion-dissipation analysis for both the semi-discrete and fully-discrete schemes, showing that polygonal meshes behave as classical simplicial/quadrilateral grids in terms of dispersion-dissipation properties. △ Less

Submitted 15 October, 2020; v1 submitted 15 December, 2019; originally announced December 2019.

A high-order discontinuous Galerkin method for nonlinear sound waves

Authors: Paola. F. Antonietti, Ilario Mazzieri, Markus Muhr, Vanja Nikolić, Barbara Wohlmuth

Abstract: We propose a high-order discontinuous Galerkin scheme for nonlinear acoustic waves on polytopic meshes. To model sound propagation with and without losses, we use Westervelt's nonlinear wave equation with and without strong damping. Challenges in the numerical analysis lie in handling the nonlinearity in the model, which involves the derivatives in time of the acoustic velocity potential, and in p… ▽ More We propose a high-order discontinuous Galerkin scheme for nonlinear acoustic waves on polytopic meshes. To model sound propagation with and without losses, we use Westervelt's nonlinear wave equation with and without strong damping. Challenges in the numerical analysis lie in handling the nonlinearity in the model, which involves the derivatives in time of the acoustic velocity potential, and in preventing the equation from degenerating. We rely in our approach on the Banach fixed-point theorem combined with a stability and convergence analysis of a linear wave equation with a variable coefficient in front of the second time derivative. By doing so, we derive an a priori error estimate for Westervelt's equation in a suitable energy norm for the polynomial degree $p \geq 2$. Numerical experiments carried out in two-dimensional settings illustrate the theoretical convergence results. In addition, we demonstrate efficiency of the method in a three-dimensional domain with varying medium parameters, where we use the discontinuous Galerkin approach in a hybrid way. △ Less

Submitted 4 December, 2019; originally announced December 2019.