Luca Formaggia

NA
4papers
122citations
Novelty34%
AI Score36

4 Papers

NANov 30, 2017
High-Order method for Darcy flows in fractured porous media

Florent Chave, Daniele Di Pietro, Luca Formaggia

We develop a novel Hybrid High-Order method for the simulation of Darcy flows in fractured porous media. The discretization hinges on a mixed formulation in the bulk region and on a primal formulation inside the fracture. Salient features of the method include a seamless treatment of nonconforming discretizations of the fracture, as well as the support of arbitrary approximation orders on fairly general meshes. For the version of the method corresponding to a polynomial degree k ě 0, we prove convergence in h^{k+1} of the discretization error measured in an energy-like norm. In the error estimate, we explicitly track the dependence of the constants on the problem data, showing that the method is fully robust with respect to the heterogeneity of the permeability coefficients, and it exhibits only a mild dependence on the square root of the local anisotropy of the bulk permeability. The numerical validation on a comprehensive set of test cases confirms the theoretical results.

NAOct 18, 2017
The LifeV library: engineering mathematics beyond the proof of concept

Luca Bertagna, Simone Deparis, Luca Formaggia et al.

LifeV is a library for the finite element (FE) solution of partial differential equations in one, two, and three dimensions. It is written in C++ and designed to run on diverse parallel architectures, including cloud and high performance computing facilities. In spite of its academic research nature, meaning a library for the development and testing of new methods, one distinguishing feature of LifeV is its use on real world problems and it is intended to provide a tool for many engineering applications. It has been actually used in computational hemodynamics, including cardiac mechanics and fluid-structure interaction problems, in porous media, ice sheets dynamics for both forward and inverse problems. In this paper we give a short overview of the features of LifeV and its coding paradigms on simple problems. The main focus is on the parallel environment which is mainly driven by domain decomposition methods and based on external libraries such as MPI, the Trilinos project, HDF5 and ParMetis. Dedicated to the memory of Fausto Saleri.

NAFeb 13, 2018
A conservative implicit multirate method for hyperbolic problems

Ludovica Delpopolo Carciopolo, Luca Bonaventura, Anna Scotti et al.

This work focuses on the development of a self adjusting multirate strategy based on an implicit time discretization for the numerical solution of hyperbolic equations, that could benefit from different time steps in different areas of the spatial domain. We propose a novel mass conservative multirate approach, that can be generalized to various implicit time discretization methods. It is based on flux partitioning, so that flux exchanges between a cell and its neighbors are balanced. A number of numerical experiments on both non-linear scalar problems and systems of hyperbolic equations have been carried out to test the efficiency and accuracy of the proposed approach.

9.6NAApr 15
Model reduction of parametric ordinary differential equations via autoencoders: representation properties and convergence analysis

Enrico Ballini, Marco Gambarini, Alessio Fumagalli et al.

We propose a reduced-order modeling approach for nonlinear, parameter-dependent ordinary differential equations (ODE). Dimensionality reduction is achieved using nonlinear maps represented by autoencoders. The resulting low-dimensional ODE is then solved using standard integration in time schemes, and the high-dimensional solution is reconstructed from the low-dimensional one. We investigate the architecture of neural networks for constructing effective autoencoders that hold necessary properties to reconstruct the input manifold with exact representation capabilities. We study the convergence of the reduced-order model to the high-fidelity one. Numerical experiments show the robustness and accuracy of our approach in different scenarios, highlighting its effectiveness in highly complex and nonlinear settings without sacrificing accuracy. Moreover, we examine how the reduction influences the stability properties of the reconstructed high-dimensional solution.