-
Improving the scalability of a high-order atmospheric dynamics solver based on the deal.II library
Authors:
Giuseppe Orlando,
Tommaso Benacchio,
Luca Bonaventura
Abstract:
We present recent advances on the massively parallel performance of a numerical scheme for atmosphere dynamics applications based on the deal.II library. The implicit-explicit discontinuous finite element scheme is based on a matrix-free approach, meaning that no global sparse matrix is built and only the action of the linear operators on a vector is actually implemented. Following a profiling ana…
▽ More
We present recent advances on the massively parallel performance of a numerical scheme for atmosphere dynamics applications based on the deal.II library. The implicit-explicit discontinuous finite element scheme is based on a matrix-free approach, meaning that no global sparse matrix is built and only the action of the linear operators on a vector is actually implemented. Following a profiling analysis, we focus on the performance optimization of the numerical method and describe the impact of different preconditioning and solving techniques in this framework. Moreover, we show how the use of the latest version of the deal.II library and of suitable execution flags can improve the parallel performance.
△ Less
Submitted 1 July, 2025; v1 submitted 1 May, 2025;
originally announced May 2025.
-
Efficient and scalable atmospheric dynamics simulations using non-conforming meshes
Authors:
Giuseppe Orlando,
Tommaso Benacchio,
Luca Bonaventura
Abstract:
We present the massively parallel performance of a $h$-adaptive solver for atmosphere dynamics that allows for non-conforming mesh refinement. The numerical method is based on a Discontinuous Galerkin (DG) spatial discretization, highly scalable thanks to its data locality properties, and on a second order Implicit-Explicit Runge-Kutta (IMEX-RK) method for time discretization, particularly well su…
▽ More
We present the massively parallel performance of a $h$-adaptive solver for atmosphere dynamics that allows for non-conforming mesh refinement. The numerical method is based on a Discontinuous Galerkin (DG) spatial discretization, highly scalable thanks to its data locality properties, and on a second order Implicit-Explicit Runge-Kutta (IMEX-RK) method for time discretization, particularly well suited for low Mach number flows. Simulations with non-conforming meshes for flows over orography can increase the accuracy of the local flow description without affecting the larger scales, which can be solved on coarser meshes. We show that the local refining procedure has no significant impact on the parallel performance and, therefore, both efficiency and scalability can be achieved in this framework.
△ Less
Submitted 2 June, 2025; v1 submitted 15 August, 2024;
originally announced August 2024.
-
Multi-rate Runge-Kutta methods: stability analysis and applications
Authors:
Bernhard Bachmann,
Luca Bonaventura,
Francesco Casella,
Soledad Fernández-García,
Macarena Gómez-Mármol,
Philip Hannebohm
Abstract:
We present an approach for the efficient implementation of self-adjusting multi-rate Runge-Kutta methods and we introduce a novel stability analysis, that covers the multi-rate extensions of all standard Runge-Kutta methods and allows to assess the impact of different interpolation methods for the latent variables and of the use of an arbitrary number of sub-steps for the active variables. The sta…
▽ More
We present an approach for the efficient implementation of self-adjusting multi-rate Runge-Kutta methods and we introduce a novel stability analysis, that covers the multi-rate extensions of all standard Runge-Kutta methods and allows to assess the impact of different interpolation methods for the latent variables and of the use of an arbitrary number of sub-steps for the active variables. The stability analysis applies successfully to the model problem typically used in the literature for multi-rate methods. Furthermore,} we also propose a physically motivated model problem that can be used to assess stability to problems with purely imaginary eigenvalues and in situations closer to those arising in applications. Finally, we present an efficient implementation of multi-rate Runge-Kutta methods in the framework of the OpenModelica open-source modelling and simulation software. Results of several numerical experiments, performed with this implementation of the proposed methods, demonstrate the efficiency gains deriving from the use of the proposed multi-rate approach for physical modelling problems with multiple time scales.
△ Less
Submitted 7 July, 2025; v1 submitted 3 May, 2024;
originally announced May 2024.
-
Impact of curved elements for flows over orography with a Discontinuous Galerkin scheme
Authors:
Giuseppe Orlando,
Tommaso Benacchio,
Luca Bonaventura
Abstract:
We present a quantitative assessment of the impact of high-order mappings on the simulation of flows over complex orography. Curved boundaries were not used in early numerical methods, whereas they are employed to an increasing extent in state of the art computational fluid dynamics codes, in combination with high-order methods, such as the Finite Element Method and the Spectral Element Method. He…
▽ More
We present a quantitative assessment of the impact of high-order mappings on the simulation of flows over complex orography. Curved boundaries were not used in early numerical methods, whereas they are employed to an increasing extent in state of the art computational fluid dynamics codes, in combination with high-order methods, such as the Finite Element Method and the Spectral Element Method. Here we consider a specific Discontinuous Galerkin (DG) method implemented in the framework of the deal.II library, which natively supports high-order mappings. A number of numerical experiments based on classical benchmarks over idealized orographic profiles demonstrate the positive impact of curved boundaries on the accuracy of the results, with no significantly adverse effect on the computational cost of the simulation. These findings are also supported by results of the application of this approach to non-smooth and realistic orographic profiles.
△ Less
Submitted 2 June, 2025; v1 submitted 14 April, 2024;
originally announced April 2024.
-
Asymptotic-preserving IMEX schemes for the Euler equations of non-ideal gases
Authors:
Giuseppe Orlando,
Luca Bonaventura
Abstract:
We analyze schemes based on a general Implicit-Explicit (IMEX) time discretization for the compressible Euler equations of gas dynamics, showing that they are asymptotic-preserving (AP) in the low Mach number limit. The analysis is carried out for a general equation of state (EOS). We consider both a single asymptotic length scale and two length scales. We then show that, when coupling these time…
▽ More
We analyze schemes based on a general Implicit-Explicit (IMEX) time discretization for the compressible Euler equations of gas dynamics, showing that they are asymptotic-preserving (AP) in the low Mach number limit. The analysis is carried out for a general equation of state (EOS). We consider both a single asymptotic length scale and two length scales. We then show that, when coupling these time discretizations with a Discontinuous Galerkin (DG) space discretization with appropriate fluxes, a numerical method effective for a wide range of Mach numbers is obtained. A number of benchmarks for ideal gases and their non-trivial extension to non-ideal EOS validate the performed analysis.
△ Less
Submitted 19 February, 2025; v1 submitted 14 February, 2024;
originally announced February 2024.
-
Robust and accurate simulations of flows over orography using non-conforming meshes
Authors:
Giuseppe Orlando,
Tommaso Benacchio,
Luca Bonaventura
Abstract:
We systematically validate the static local mesh refinement capabilities of a recently proposed IMEX-DG scheme implemented in the framework of the deal.II library. Non-conforming meshes are employed in atmospheric flow simulations to increase the resolution around complex orography. A number of numerical experiments based on classical benchmarks with idealized as well as real orography profiles de…
▽ More
We systematically validate the static local mesh refinement capabilities of a recently proposed IMEX-DG scheme implemented in the framework of the deal.II library. Non-conforming meshes are employed in atmospheric flow simulations to increase the resolution around complex orography. A number of numerical experiments based on classical benchmarks with idealized as well as real orography profiles demonstrate that simulations with the refined mesh are stable for long lead times and no spurious effects arise at the interfaces of mesh regions with different resolutions. Moreover, correct values of the momentum flux are retrieved and the correct large-scale orographic response is established. Hence, large-scale orography-driven flow features can be simulated without loss of accuracy using a much lower total amount of degrees of freedom. In a context of spatial resolutions approaching the hectometric scale in numerical weather prediction models, these results support the use of locally refined, non-conforming meshes as a reliable and effective tool to greatly reduce the dependence of atmospheric models on orographic wave drag parametrizations.
△ Less
Submitted 28 August, 2024; v1 submitted 12 February, 2024;
originally announced February 2024.
-
A comparison of different approaches to compute surface tension contribution in incompressible two-phase flows
Authors:
Giuseppe Orlando,
Paolo Francesco Barbante,
Luca Bonaventura
Abstract:
We perform a quantitative assessment of different strategies to compute the contribution due to surface tension in incompressible two-phase flows using a conservative level set (CLS) method. More specifically, we compare classical approaches, such as the direct computation of the curvature from the level set or the Laplace-Beltrami operator, with an evolution equation for the mean curvature recent…
▽ More
We perform a quantitative assessment of different strategies to compute the contribution due to surface tension in incompressible two-phase flows using a conservative level set (CLS) method. More specifically, we compare classical approaches, such as the direct computation of the curvature from the level set or the Laplace-Beltrami operator, with an evolution equation for the mean curvature recently proposed in literature. We consider the test case of a static bubble, for which an exact solution for the pressure jump across the interface is available, and the test case of an oscillating bubble, showing pros and cons of the different approaches.
△ Less
Submitted 12 November, 2024; v1 submitted 7 February, 2024;
originally announced February 2024.
-
Domain-specific implementation of high order Discontinuous Galerkin methods in spherical geometry
Authors:
Kalman Szenes,
Niccolò Discacciati,
Luca Bonaventura,
William Sawyer
Abstract:
We assess two domain-specific languages included in the GridTools ecosystem as tools for implementing a high-order Discontinuous Galerkin discretization of the shallow water equations. Equations in spherical geometry are considered, thus providing a blueprint for the application of domain-specific languages to the development of global atmospheric models. The results demonstrate that domain-specif…
▽ More
We assess two domain-specific languages included in the GridTools ecosystem as tools for implementing a high-order Discontinuous Galerkin discretization of the shallow water equations. Equations in spherical geometry are considered, thus providing a blueprint for the application of domain-specific languages to the development of global atmospheric models. The results demonstrate that domain-specific languages designed for finite difference/volume methods can be successfully extended to implement a Discontinuous Galerkin solver.
△ Less
Submitted 22 May, 2023; v1 submitted 21 March, 2023;
originally announced March 2023.
-
An IMEX-DG solver for atmospheric dynamics simulations with adaptive mesh refinement
Authors:
Giuseppe Orlando,
Tommaso Benacchio,
Luca Bonaventura
Abstract:
We present an accurate and efficient solver for atmospheric dynamics simulations that allows for non-conforming mesh refinement. The model equations are the conservative Euler equations for compressible flows. The numerical method is based on an $h-$adaptive Discontinuous Galerkin spatial discretization and on a second order Additive Runge Kutta IMEX method for time discretization, especially desi…
▽ More
We present an accurate and efficient solver for atmospheric dynamics simulations that allows for non-conforming mesh refinement. The model equations are the conservative Euler equations for compressible flows. The numerical method is based on an $h-$adaptive Discontinuous Galerkin spatial discretization and on a second order Additive Runge Kutta IMEX method for time discretization, especially designed for low Mach regimes. The solver is implemented in the framework of the $deal.II$ library, whose mesh refinement capabilities are employed to enhance efficiency. A number of numerical experiments based on classical benchmarks for atmosphere dynamics demonstrate the properties and advantages of the proposed method.
△ Less
Submitted 17 May, 2023; v1 submitted 14 October, 2022;
originally announced October 2022.
-
Efficient implicit solvers for models of neuronal networks
Authors:
Luca Bonaventura,
Soledad Fernández-García,
Macarena Gómez-Mármol
Abstract:
We introduce economical versions of standard implicit ODE solvers that are specifically tailored for the efficient and accurate simulation of neural networks. These reformulations allow to achieve a significant increase in the efficiency of network simulations, by reducing the size of the algebraic systems effectively solved at each time step. While we focus here specifically on Explicit first ste…
▽ More
We introduce economical versions of standard implicit ODE solvers that are specifically tailored for the efficient and accurate simulation of neural networks. These reformulations allow to achieve a significant increase in the efficiency of network simulations, by reducing the size of the algebraic systems effectively solved at each time step. While we focus here specifically on Explicit first step, Diagonally Implicit Runge Kutta methods (ESDIRK), similar simplifications can also be applied to any implicit ODE solver. In order to demonstrate the capabilities of the proposed methods, we consider networks based on three different single-cell models with slow-fast dynamics, including the classical FitzHugh-Nagumo model, a Intracellular Calcium Concentration model and the Hindmarsh-Rose model. Numerical experiments on the simulation of networks of increasing size based on these models demonstrate the superior efficiency of the proposed economical methods.
△ Less
Submitted 11 June, 2025; v1 submitted 4 October, 2022;
originally announced October 2022.
-
An efficient IMEX-DG solver for the compressible Navier-Stokes equations for non-ideal gases
Authors:
Giuseppe Orlando,
Paolo Francesco Barbante,
Luca Bonaventura
Abstract:
We propose an efficient, accurate and robust IMEX solver for the compressible Navier-Stokes equation describing non-ideal gases with general equations of state. The method, which is based on an $h-$adaptive Discontinuos Galerkin spatial discretization and on an Additive Runge Kutta IMEX method for time discretization, is tailored for low Mach number applications and allows to simulate low Mach reg…
▽ More
We propose an efficient, accurate and robust IMEX solver for the compressible Navier-Stokes equation describing non-ideal gases with general equations of state. The method, which is based on an $h-$adaptive Discontinuos Galerkin spatial discretization and on an Additive Runge Kutta IMEX method for time discretization, is tailored for low Mach number applications and allows to simulate low Mach regimes at a significantly reduced computational cost, while maintaining full second order accuracy also for higher Mach number regimes. The method has been implemented in the framework of the $deal.II$ numerical library, whose adaptive mesh refinement capabilities are employed to enhance efficiency. Refinement indicators appropriate for real gas phenomena have been introduced. A number of numerical experiments on classical benchmarks for compressible flows and their extension to real gases demonstrate the properties of the proposed method.
△ Less
Submitted 6 May, 2022; v1 submitted 25 November, 2021;
originally announced November 2021.
-
An efficient and accurate implicit DG solver for the incompressible Navier-Stokes equations
Authors:
Giuseppe Orlando,
Alessandro Della Rocca,
Paolo Francesco Barbante,
Luca Bonaventura,
Nicola Parolini
Abstract:
We propose an efficient, accurate and robust implicit solver for the incompressible Navier-Stokes equations, based on a DG spatial discretization and on the TR-BDF2 method for time discretization. The effectiveness of the method is demonstrated in a number of classical benchmarks, which highlight its superior efficiency with respect to other widely used implicit approaches. The parallel implementa…
▽ More
We propose an efficient, accurate and robust implicit solver for the incompressible Navier-Stokes equations, based on a DG spatial discretization and on the TR-BDF2 method for time discretization. The effectiveness of the method is demonstrated in a number of classical benchmarks, which highlight its superior efficiency with respect to other widely used implicit approaches. The parallel implementation of the proposed method in the framework of the deal.II software package allows for accurate and efficient adaptive simulations in complex geometries, which makes the proposed solver attractive for large scale industrial applications.
△ Less
Submitted 17 May, 2023; v1 submitted 16 July, 2021;
originally announced July 2021.
-
A seamless, extended DG approach for advection-diffusion problems on unbounded domains
Authors:
Federico Vismara,
Tommaso Benacchio,
Luca Bonaventura
Abstract:
We propose and analyze a seamless extended Discontinuous Galerkin (DG) discretization of advection-diffusion equations on semi-infinite domains. The semi-infinite half line is split into a finite subdomain where the model uses a standard polynomial basis, and a semi-unbounded subdomain where scaled Laguerre functions are employed as basis and test functions. Numerical fluxes enable the coupling at…
▽ More
We propose and analyze a seamless extended Discontinuous Galerkin (DG) discretization of advection-diffusion equations on semi-infinite domains. The semi-infinite half line is split into a finite subdomain where the model uses a standard polynomial basis, and a semi-unbounded subdomain where scaled Laguerre functions are employed as basis and test functions. Numerical fluxes enable the coupling at the interface between the two subdomains in the same way as standard single domain DG interelement fluxes. A novel linear analysis on the extended DG model yields unconditional stability with respect to the Péclet number. Errors due to the use of different sets of basis functions on different portions of the domain are negligible, as highlighted in numerical experiments with the linear advection-diffusion and viscous Burgers' equations. With an added damping term on the semi-infinite subdomain, the extended framework is able to efficiently simulate absorbing boundary conditions without additional conditions at the interface. A few modes in the semi-infinite subdomain are found to suffice to deal with outgoing single wave and wave train signals more accurately than standard approaches at a given computational cost, thus providing an appealing model for fluid flow simulations in unbounded regions.
△ Less
Submitted 22 July, 2021; v1 submitted 10 December, 2020;
originally announced December 2020.
-
Flexible and efficient discretizations of multilayer models with variable density
Authors:
Luca Bonaventura,
José Garres-Díaz
Abstract:
We show that the semi-implicit time discretization approaches previously introduced for multilayer shallow water models for the barotropic case can be also applied to the variable density case with Boussinesq approximation. Furthermore, also for the variable density equations, a variable number of layers can be used, so as to achieve greater flexibility and efficiency of the resulting multilayer a…
▽ More
We show that the semi-implicit time discretization approaches previously introduced for multilayer shallow water models for the barotropic case can be also applied to the variable density case with Boussinesq approximation. Furthermore, also for the variable density equations, a variable number of layers can be used, so as to achieve greater flexibility and efficiency of the resulting multilayer approach. An analysis of the linearized system, which allows to derive linear stability parameters in simple configurations, and the resulting spatially semi-discretized equations are presented. A number of numerical experiments demonstrate the effectiveness of the proposed approach.
△ Less
Submitted 25 July, 2020;
originally announced July 2020.
-
The TR-BDF2 method for second order problems in structural mechanics
Authors:
L. Bonaventura,
M. Gomez Marmol
Abstract:
The application of the TR-BDF2 method to second order problems typical of structural mechanics and seismic engineering is discussed. A reformulation of this method is presented, that only requires the solution of algebraic systems of size equal to the number of displacement degrees of freedom. A linear analysis and numerical experiments on relevant benchmarks show that the TR-BDF2 method is superi…
▽ More
The application of the TR-BDF2 method to second order problems typical of structural mechanics and seismic engineering is discussed. A reformulation of this method is presented, that only requires the solution of algebraic systems of size equal to the number of displacement degrees of freedom. A linear analysis and numerical experiments on relevant benchmarks show that the TR-BDF2 method is superior in terms of accuracy and efficiency to the classical Newmark method and to its generalizations.
△ Less
Submitted 24 July, 2020;
originally announced July 2020.
-
A hyperbolic reformulation of the Serre-Green-Naghdi model for general bottom topographies
Authors:
Caterina Bassi,
Luca Bonaventura,
Saray Busto Ulloa,
Michael Dumbser
Abstract:
We present a novel hyperbolic reformulation of the Serre-Green-Naghdi (SGN) model for the description of dispersive water waves. Contrarily to the classical Boussinesq-type models, it contains only first order derivatives, thus allowing to overcome the numerical difficulties and the severe time step restrictions arising from higher order terms. The proposed model reduces to the original SGN model…
▽ More
We present a novel hyperbolic reformulation of the Serre-Green-Naghdi (SGN) model for the description of dispersive water waves. Contrarily to the classical Boussinesq-type models, it contains only first order derivatives, thus allowing to overcome the numerical difficulties and the severe time step restrictions arising from higher order terms. The proposed model reduces to the original SGN model when an artificial sound speed tends to infinity. Moreover, it is endowed with an energy conservation law from which the energy conservation law associated with the original SGN model is retrieved when the artificial sound speed goes to infinity. The governing partial differential equations are then solved at the aid of high order ADER discontinuous Galerkin finite element schemes. The new model has been successfully validated against numerical and experimental results, for both flat and non-flat bottom. For bottom topographies with large variations, the new model proposed in this paper provides more accurate results with respect to the hyperbolic reformulation of the SGN model with the mild bottom approximation recently proposed in "C. Escalante, M. Dumbser and M.J. Castro. An efficient hyperbolic relaxation system for dispersive non-hydrostatic water waves and its solution with high order discontinuous Galerkin schemes, Journal of Computational Physics 2018".
△ Less
Submitted 20 March, 2020;
originally announced March 2020.
-
Second order fully semi-Lagrangian discretizations of advection-diffusion-reaction systems
Authors:
Luca Bonaventura,
Elisabetta Carlini,
Elisa Calzola,
Roberto Ferretti
Abstract:
We propose a second order, fully semi-Lagrangian method for the numerical solution of systems of advection-diffusion-reaction equations, which employs a semi-Lagrangian approach to approximate in time both the advective and the diffusive terms. Standard interpolation procedures are used for the space discretization on structured and unstructured meshes. The proposed method allows for large time st…
▽ More
We propose a second order, fully semi-Lagrangian method for the numerical solution of systems of advection-diffusion-reaction equations, which employs a semi-Lagrangian approach to approximate in time both the advective and the diffusive terms. Standard interpolation procedures are used for the space discretization on structured and unstructured meshes. The proposed method allows for large time steps, while avoiding the solution of large linear systems, which would be required by an implicit time discretization technique. Numerical experiments demonstrate the effectiveness of the proposed approach and its superior efficiency with respect to more conventional explicit and implicit time discretizations
△ Less
Submitted 11 February, 2020;
originally announced February 2020.
-
IsoGeometric Approximations for Electromagnetic Problems in Axisymmetric Domains
Authors:
Abele Simona,
Luca Bonaventura,
Carlo de Falco,
Sebastian Schöps
Abstract:
We propose a numerical method for the solution of electromagnetic problems on axisymmetric domains, based on a combination of a spectral Fourier approximation in the azimuthal direction with an IsoGeometric Analysis (IGA) approach in the radial and axial directions. This combination allows to blend the flexibility and accuracy of IGA approaches with the advantages of a Fourier representation on ax…
▽ More
We propose a numerical method for the solution of electromagnetic problems on axisymmetric domains, based on a combination of a spectral Fourier approximation in the azimuthal direction with an IsoGeometric Analysis (IGA) approach in the radial and axial directions. This combination allows to blend the flexibility and accuracy of IGA approaches with the advantages of a Fourier representation on axisymmetric domains. It also allows to reduce significantly the computational cost by decoupling of the computations required for each Fourier mode. We prove that the discrete approximation spaces employed functional space constitute a closed and exact de Rham sequence. Numerical simulations of relevant benchmarks confirm the high order convergence and other computational advantages of the proposed method.
△ Less
Submitted 18 December, 2019;
originally announced December 2019.
-
Dynamical p-adaptivity for LES of compressible flows in a high order DG framework
Authors:
Antonella Abbà,
Luca Bonaventura,
Alessandro Recanati,
Matteo Tugnoli
Abstract:
We investigate the possibility of reducing the computational burden of LES models by employing locally and dynamically adaptive polynomial degrees in the framework of a high order DG method. A degree adaptation technique especially featured to be effective for LES applications, that was previously developed by the authors and tested in the statically adaptive case, is applied here in a dynamically…
▽ More
We investigate the possibility of reducing the computational burden of LES models by employing locally and dynamically adaptive polynomial degrees in the framework of a high order DG method. A degree adaptation technique especially featured to be effective for LES applications, that was previously developed by the authors and tested in the statically adaptive case, is applied here in a dynamically adaptive fashion. Two significant benchmarks are considered, comparing the results of adaptive and non adaptive simulations. The proposed dynamically adaptive approach allows for a significant reduction of the computational cost of representative LES computation, while allowing to maintain the level of accuracy guaranteed by LES carried out with constant, maximum polynomial degree values.
△ Less
Submitted 4 November, 2019;
originally announced November 2019.
-
Convergence analysis of a cell centered finite volume diffusion operator on non-orthogonal polyhedral meshes
Authors:
L. Bonaventura,
A. Della Rocca
Abstract:
A simple but successful strategy for building a discrete diffusion operator in finite volume schemes of industrial use is to correct the standard two-point flux approximation with a term accounting for the local mesh non-orthogonality. Practical experience with a variety of different mesh typologies, including non-orthogonal tetrahedral, hexahedral and polyhedral meshes, has shown that this discre…
▽ More
A simple but successful strategy for building a discrete diffusion operator in finite volume schemes of industrial use is to correct the standard two-point flux approximation with a term accounting for the local mesh non-orthogonality. Practical experience with a variety of different mesh typologies, including non-orthogonal tetrahedral, hexahedral and polyhedral meshes, has shown that this discrete diffusion operator is accurate and robust whenever the mesh is not too distorted and sufficiently regular. In this work, we show that this approach can be interpreted as equivalent to introducing an anisotropic operator that accounts for the preferential directions induced by the local mesh non-orthogonality. This allows to derive a convergence analysis of the corrected method under a quite weak global assumption on mesh distortion. This convergence proof, which is obtained for the first time for this finite volume method widely employed in industrial software packages such as OpenFOAM, provides a reference framework on how to interpret some of its variants commonly implemented in commercial finite volume codes. Numerical experiments are presented that confirm the accuracy and robustness of the results. Furthermore, we also show empirically that a least square approach to the gradient computation can provide second order convergence even when the mild non-orthogonality condition on the mesh is violated.
△ Less
Submitted 24 June, 2018;
originally announced June 2018.
-
A seamless extension of DG methods for hyperbolic problems to unbounded domains
Authors:
T. Benacchio,
L. Bonaventura
Abstract:
We consider spectral discretizations of hyperbolic problems on unbounded domains using Laguerre basis functions. Taking as model problem the scalar advection equation, we perform a comprehensive stability analysis that includes strong collocation formulations, nodal and modal weak formulations, with either inflow or outflow boundary conditions, using either Gauss - Laguerre or Gauss - Laguerre - R…
▽ More
We consider spectral discretizations of hyperbolic problems on unbounded domains using Laguerre basis functions. Taking as model problem the scalar advection equation, we perform a comprehensive stability analysis that includes strong collocation formulations, nodal and modal weak formulations, with either inflow or outflow boundary conditions, using either Gauss - Laguerre or Gauss - Laguerre - Radau quadrature nodes and based on either scaled Laguerre functions or scaled Laguerre polynomials. We show that some of these combinations give rise to intrinsically unstable schemes, while the combination of scaled Laguerre functions with Gauss - Laguerre - Radau nodes appears to be stable for both strong and weak formulations. We then show how a modal discretization approach for hyperbolic systems on an unbounded domain can be naturally and seamlessly coupled to a discontinuous finite element discretization on a finite domain. Examples of one dimensional hyperbolic systems are solved with the proposed domain decomposition technique. The errors obtained with the proposed approach are found to be small, enabling the use of the coupled scheme for the simulation of Rayleigh damping layers in the semi-infinite part. Energy errors and reflection ratios of the scheme in absorbing wavetrains and single Gaussian signals show that a small number of nodes in the semi-infinite domain are sufficient to damp the waves. The theoretical insight and numerical results corroborate previous findings by the authors and establish the scaled Laguerre functions-based discretization as a flexible and efficient tool for absorbing layers as well as for the accurate simulation of waves in unbounded regions.
△ Less
Submitted 29 March, 2018;
originally announced March 2018.
-
High order time integrators for the simulation of charged particle motion in magnetic quadrupoles
Authors:
Abele Simona,
Luca Bonaventura,
Thomas Pugnat,
Barbara Dalena
Abstract:
Magnetic quadrupoles are essential components of particle accelerators like the Large Hadron Collider. In order to study numerically the stability of the particle beam crossing a quadrupole, a large number of particle revolutions in the accelerator must be simulated, thus leading to the necessity to preserve numerically invariants of motion over a long time interval and to a substantial computatio…
▽ More
Magnetic quadrupoles are essential components of particle accelerators like the Large Hadron Collider. In order to study numerically the stability of the particle beam crossing a quadrupole, a large number of particle revolutions in the accelerator must be simulated, thus leading to the necessity to preserve numerically invariants of motion over a long time interval and to a substantial computational cost, mostly related to the repeated evaluation of the magnetic vector potential. In this paper, in order to reduce this cost, we first consider a specific gauge transformation that allows to reduce significantly the number of vector potential evaluations. We then analyze the sensitivity of the numerical solution to the interpolation procedure required to compute magnetic vector potential data from gridded precomputed values at the locations required by high order time integration methods. Finally, we compare several high order integration techniques, in order to assess their accuracy and efficiency for these long term simulations. Explicit high order Lie methods are considered, along with implicit high order symplectic integrators and conventional explicit Runge Kutta methods. Among symplectic methods, high order Lie integrators yield optimal results in terms of cost/accuracy ratios, but non symplectic Runge Kutta methods perform remarkably well even in very long term simulations. Furthermore, the accuracy of the field reconstruction and interpolation techniques are shown to be limiting factors for the accuracy of the particle tracking procedures.
△ Less
Submitted 22 February, 2018;
originally announced February 2018.
-
A conservative implicit multirate method for hyperbolic problems
Authors:
Ludovica Delpopolo Carciopolo,
Luca Bonaventura,
Anna Scotti,
Luca Formaggia
Abstract:
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…
▽ More
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.
△ Less
Submitted 13 February, 2018;
originally announced February 2018.
-
A self adjusting multirate algorithm based on the TR-BDF2 method
Authors:
Luca Bonaventura,
Francesco Casella,
Ludovica Delpopolo,
Akshay Ranade
Abstract:
We propose a self adjusting multirate method based on the TR-BDF2 solver. The potential advantages of using TR-BDF2 as the key component of a multirate framework are highlighted. A linear stability analysis of the resulting approach is presented and the stability features of the resulting algorithm are analysed. The analysis framework is completely general and allows to study along the same lines…
▽ More
We propose a self adjusting multirate method based on the TR-BDF2 solver. The potential advantages of using TR-BDF2 as the key component of a multirate framework are highlighted. A linear stability analysis of the resulting approach is presented and the stability features of the resulting algorithm are analysed. The analysis framework is completely general and allows to study along the same lines the stability of self adjusting multirate methods based on a generic one step solver. A number of numerical experiments demonstrate the efficiency and accuracy of the resulting approach also the time discretization of hyperbolic partial differential equations.
△ Less
Submitted 27 January, 2018;
originally announced January 2018.
-
Multilayer shallow water models with locally variable number of layers and semi-implicit time discretization
Authors:
Luca Bonaventura,
Enrique D. Fernández-Nieto,
José Garres-Díaz,
Gladys Narbona-Reina
Abstract:
We propose an extension of the discretization approaches for multilayer shallow water models, aimed at making them more flexible and efficient for realistic applications to coastal flows. A novel discretization approach is proposed, in which the number of vertical layers and their distribution are allowed to change in different regions of the computational domain. Furthermore, semi-implicit scheme…
▽ More
We propose an extension of the discretization approaches for multilayer shallow water models, aimed at making them more flexible and efficient for realistic applications to coastal flows. A novel discretization approach is proposed, in which the number of vertical layers and their distribution are allowed to change in different regions of the computational domain. Furthermore, semi-implicit schemes are employed for the time discretization, leading to a significant efficiency improvement for subcritical regimes. We show that, in the typical regimes in which the application of multilayer shallow water models is justified, the resulting discretization does not introduce any major spurious feature and allows again to reduce substantially the computational cost in areas with complex bathymetry. As an example of the potential of the proposed technique, an application to a sediment transport problem is presented, showing a remarkable improvement with respect to standard discretization approaches.
△ Less
Submitted 14 July, 2017;
originally announced July 2017.
-
A fully semi-Lagrangian discretization for the 2D Navier--Stokes equations in the vorticity--streamfunction formulation
Authors:
Luca Bonaventura,
Roberto Ferretti,
Lorenzo Rocchi
Abstract:
A numerical method for the two-dimensional, incompressible Navier--Stokes equations in vorticity--streamfunction form is proposed, which employs semi-Lagrangian discretizations for both the advection and diffusion terms, thus achieving unconditional stability without the need to solve linear systems beyond that required by the Poisson solver for the reconstruction of the streamfunction. A descript…
▽ More
A numerical method for the two-dimensional, incompressible Navier--Stokes equations in vorticity--streamfunction form is proposed, which employs semi-Lagrangian discretizations for both the advection and diffusion terms, thus achieving unconditional stability without the need to solve linear systems beyond that required by the Poisson solver for the reconstruction of the streamfunction. A description of the discretization of Dirichlet boundary conditions for the semi-Lagrangian approach to diffusion terms is also presented. Numerical experiments on classical benchmarks for incompressible flow in simple geometries validate the proposed method.
△ Less
Submitted 10 June, 2017;
originally announced June 2017.
-
Monotonicity, positivity and strong stability of the TR-BDF2 method and of its SSP extensions
Authors:
Luca Bonaventura,
Alessandro Della Rocca
Abstract:
We analyze the one-step method TR-BDF2 from the point of view of monotonicity, strong stability and positivity. All these properties are strongly related and reviewed in the common framework of absolute monotonicity. The radius of absolute monotonicity is computed and it is shown that the parameter value which makes the method L-stable is also the value which maximizes the radius of monotonicity.…
▽ More
We analyze the one-step method TR-BDF2 from the point of view of monotonicity, strong stability and positivity. All these properties are strongly related and reviewed in the common framework of absolute monotonicity. The radius of absolute monotonicity is computed and it is shown that the parameter value which makes the method L-stable is also the value which maximizes the radius of monotonicity. Two hybrid variants of TR-BDF2 are proposed, that reduce the formal order of accuracy and maximize the absolute monotonicity radius, while keeping the native L-stability useful in stiff problems. Numerical experiments compare these different hybridization strategies with other methods commonly used in the presence of stiff and mildly stiff source terms. The results show that both strategies provide a good compromise between accuracy and robustness at high CFL numbers, without suffering from the limitations of alternative approaches already available in literature.
△ Less
Submitted 14 October, 2015;
originally announced October 2015.
-
Local Exponential Methods: a domain decomposition approach to exponential time integration of PDEs
Authors:
Luca Bonaventura
Abstract:
A local approach to the time integration of PDEs by exponential methods is proposed, motivated by theoretical estimates by A.Iserles on the decay of off-diagonal terms in the exponentials of sparse matrices. An overlapping domain decomposition technique is outlined, that allows to replace the computation of a global exponential matrix by a number of independent and easily parallelizable local prob…
▽ More
A local approach to the time integration of PDEs by exponential methods is proposed, motivated by theoretical estimates by A.Iserles on the decay of off-diagonal terms in the exponentials of sparse matrices. An overlapping domain decomposition technique is outlined, that allows to replace the computation of a global exponential matrix by a number of independent and easily parallelizable local problems. Advantages and potential problems of the proposed technique are discussed. Numerical experiments on simple, yet relevant model problems show that the resulting method allows to increase computational efficiency with respect to standard implementations of exponential methods.
△ Less
Submitted 9 May, 2015;
originally announced May 2015.
-
Flux form Semi-Lagrangian methods for parabolic problems
Authors:
Luca Bonaventura,
Roberto Ferretti
Abstract:
A semi-Lagrangian method for parabolic problems is proposed, that extends previous work by the authors to achieve a fully conservative, flux-form discretization of linear and nonlinear diffusion equations. A basic consistency and convergence analysis are proposed. Numerical examples validate the proposed method and display its potential for consistent semi-Lagrangian discretization of advection--d…
▽ More
A semi-Lagrangian method for parabolic problems is proposed, that extends previous work by the authors to achieve a fully conservative, flux-form discretization of linear and nonlinear diffusion equations. A basic consistency and convergence analysis are proposed. Numerical examples validate the proposed method and display its potential for consistent semi-Lagrangian discretization of advection--diffusion and nonlinear parabolic problems.
△ Less
Submitted 5 May, 2015;
originally announced May 2015.
-
Anisotropic dynamic models for Large Eddy Simulation of compressible flows with a high order DG method
Authors:
Antonella Abbà,
Luca Bonaventura,
Michele Nini,
Marco Restelli
Abstract:
The impact of anisotropic dynamic models for applications to LES of compressible flows is assessed in the framework of a numerical model based on high order discontinuous finite elements. The projections onto lower dimensional subspaces associated to lower degree basis function are used as LES filter, along the lines proposed in Variational Multiscale templates. Comparisons with DNS results availa…
▽ More
The impact of anisotropic dynamic models for applications to LES of compressible flows is assessed in the framework of a numerical model based on high order discontinuous finite elements. The projections onto lower dimensional subspaces associated to lower degree basis function are used as LES filter, along the lines proposed in Variational Multiscale templates. Comparisons with DNS results available in the literature for channel flows at Mach numbers 0.2, 0.7 and 1.5 show clearly that the anisotropic model is able to reproduce well some key features of the flow, especially close to the wall, where the flow anisotropy plays a major role.
△ Less
Submitted 24 July, 2014;
originally announced July 2014.
-
An accurate and efficient numerical framework for adaptive numerical weather prediction
Authors:
G. Tumolo,
L. Bonaventura
Abstract:
We present an accurate and efficient discretization approach for the adaptive discretization of typical model equations employed in numerical weather prediction. A semi-Lagrangian approach is combined with the TR-BDF2 semi-implicit time discretization method and with a spatial discretization based on adaptive discontinuous finite elements. The resulting method has full second order accuracy in tim…
▽ More
We present an accurate and efficient discretization approach for the adaptive discretization of typical model equations employed in numerical weather prediction. A semi-Lagrangian approach is combined with the TR-BDF2 semi-implicit time discretization method and with a spatial discretization based on adaptive discontinuous finite elements. The resulting method has full second order accuracy in time and can employ polynomial bases of arbitrarily high degree in space, is unconditionally stable and can effectively adapt the number of degrees of freedom employed in each element, in order to balance accuracy and computational cost. The p-adaptivity approach employed does not require remeshing, therefore it is especially suitable for applications, such as numerical weather prediction, in which a large number of physical quantities are associated with a given mesh. Furthermore, although the proposed method can be implemented on arbitrary unstructured and nonconforming meshes, even its application on simple Cartesian meshes in spherical coordinates can cure effectively the pole problem by reducing the polynomial degree used in the polar elements. Numerical simulations of classical benchmarks for the shallow water and for the fully compressible Euler equations validate the method and demonstrate its capability to achieve accurate results also at large Courant numbers, with time steps up to 100 times larger than those of typical explicit discretizations of the same problems, while reducing the computational cost thanks to the adaptivity algorithm.
△ Less
Submitted 20 May, 2014;
originally announced May 2014.
-
Semi-Lagrangian methods for parabolic problems in divergence form
Authors:
L. Bonaventura,
R. Ferretti
Abstract:
Semi-Lagrangian methods have traditionally been developed in the framework of hyperbolic equations, but several extensions of the Semi-Lagrangian approach to diffusion and advection--diffusion problems have been proposed recently. These extensions are mostly based on probabilistic arguments and share the common feature of treating second-order operators in trace form, which makes them unsuitable f…
▽ More
Semi-Lagrangian methods have traditionally been developed in the framework of hyperbolic equations, but several extensions of the Semi-Lagrangian approach to diffusion and advection--diffusion problems have been proposed recently. These extensions are mostly based on probabilistic arguments and share the common feature of treating second-order operators in trace form, which makes them unsuitable for mass conservative models like the classical formulations of turbulent diffusion employed in computational fluid dynamics. We propose here some basic ideas for treating second-order operators in divergence form. A general framework for constructing consistent schemes in one space dimension is presented, and a specific case of nonconservative discretization is discussed in detail and analysed. Finally, an extension to (possibly nonlinear) problems in an arbitrary number of dimensions is proposed. Although the resulting discretization approach is only of first order in time, numerical results in a number of test cases highlight the advantages of these methods for applications to computational fluid dynamics and their superiority over to more standard low order time discretization approaches.
△ Less
Submitted 18 May, 2014;
originally announced May 2014.
