Showing 1–50 of 81 results for author: Dumbser, M

A simple and general framework for the construction of exactly div-curl-grad compatible discontinuous Galerkin finite element schemes on unstructured simplex meshes

Authors: R. Abgrall, M. Dumbser, P. H. Maire

Abstract: We introduce a new family of discontinuous Galerkin (DG) finite element schemes for the discretization of first order systems of hyperbolic partial differential equations (PDE) on unstructured simplex meshes in two and three space dimensions that respect the two basic vector calculus identities exactly also at the discrete level, namely that the curl of the gradient is zero and that the divergence… ▽ More We introduce a new family of discontinuous Galerkin (DG) finite element schemes for the discretization of first order systems of hyperbolic partial differential equations (PDE) on unstructured simplex meshes in two and three space dimensions that respect the two basic vector calculus identities exactly also at the discrete level, namely that the curl of the gradient is zero and that the divergence of the curl is zero. The key ingredient here is the construction of two compatible discrete nabla operators, a primary one and a dual one, both defined on general unstructured simplex meshes in multiple space dimensions. Our new schemes extend existing cell-centered finite volume methods based on corner fluxes to arbitrary high order of accuracy in space. An important feature of our new method is the fact that only two different discrete function spaces are needed to represent the numerical solution, and the choice of the appropriate function space for each variable is related to the origin and nature of the underlying PDE. The first class of variables is discretized at the aid of a discontinuous Galerkin approach, where the numerical solution is represented via piecewise polynomials of degree N and which are allowed to jump across element interfaces. This set of variables is related to those PDE which are mere consequences of the definitions, derived from some abstract scalar and vector potentials, and for which involutions like the divergence-free or the curl-free property must hold if satisfied by the initial data. The second class of variables is discretized via classical continuous Lagrange finite elements of approximation degree M=N+1 and is related to those PDE which can be derived as the Euler-Lagrange equations of an underlying variational principle. △ Less

Submitted 31 March, 2025; originally announced March 2025.

Convergence of a Hyperbolic Thermodynamically Compatible Finite Volume scheme for the Euler equations

Authors: Michael Dumbser, Mária Lukáčová-Medvid'ová, Andrea Thomann

Abstract: We study the convergence of a novel family of thermodynamically compatible schemes for hyperbolic systems (HTC schemes) in the framework of dissipative weak solutions, applied to the Euler equations of compressible gas dynamics. Two key novelties of our method are i) entropy is treated as one of the main field quantities and ii) the total energy conservation is a consequence of compatible discreti… ▽ More We study the convergence of a novel family of thermodynamically compatible schemes for hyperbolic systems (HTC schemes) in the framework of dissipative weak solutions, applied to the Euler equations of compressible gas dynamics. Two key novelties of our method are i) entropy is treated as one of the main field quantities and ii) the total energy conservation is a consequence of compatible discretization and application of the Abgrall flux. △ Less

Submitted 20 December, 2024; originally announced December 2024.

Variational derivation and compatible discretizations of the Maxwell-GLM system

Authors: Michael Dumbser, Alessia Lucca, Ilya Peshkov, Olindo Zanotti

Abstract: We present a novel variational derivation of the Maxwell-GLM system, which augments the original vacuum Maxwell equations via a generalized Lagrangian multiplier approach (GLM) by adding two supplementary acoustic subsystems and which was originally introduced by Munz et al. for purely numerical purposes in order to treat the divergence constraints of the magnetic and the electric field in the vac… ▽ More We present a novel variational derivation of the Maxwell-GLM system, which augments the original vacuum Maxwell equations via a generalized Lagrangian multiplier approach (GLM) by adding two supplementary acoustic subsystems and which was originally introduced by Munz et al. for purely numerical purposes in order to treat the divergence constraints of the magnetic and the electric field in the vacuum Maxwell equations within general-purpose and non-structure-preserving numerical schemes for hyperbolic PDE. Among the many mathematically interesting features of the model are: i) its symmetric hyperbolicity, ii) the extra conservation law for the total energy density and, most importantly, iii) the very peculiar combination of the basic differential operators, since both, curl-curl and div-grad combinations are mixed within this kind of system. A similar mixture of Maxwell-type and acoustic-type subsystems has recently been also forwarded by Buchman et al. in the context of a reformulation of the Einstein field equations of general relativity in terms of tetrads. This motivates our interest in this class of PDE, since the system is by itself very interesting from a mathematical point of view and can therefore serve as useful prototype system for the development of new structure-preserving numerical methods. Up to now, to the best of our knowledge, there exists neither a rigorous variational derivation of this class of hyperbolic PDE systems, nor do exactly energy-conserving and asymptotic-preserving schemes exist for them. The objectives of this paper are to derive the Maxwell-GLM system from an underlying variational principle, show its consistency with Hamiltonian mechanics and special relativity, extend it to the general nonlinear case and to develop new exactly energy-conserving and asymptotic-preserving finite volume schemes for its discretization. △ Less

Submitted 12 November, 2024; v1 submitted 10 November, 2024; originally announced November 2024.

A first-order hyperbolic reformulation of the Cahn-Hilliard equation

Authors: Firas Dhaouadi, Michael Dumbser, Sergey Gavrilyuk

Abstract: In this paper we present a new first-order hyperbolic reformulation of the Cahn-Hilliard equation. The model is obtained from the combination of augmented Lagrangian techniques proposed earlier by the authors of this paper, with a classical Cattaneo-type relaxation that allows to reformulate diffusion equations as augmented first order hyperbolic systems with stiff relaxation source terms. The pro… ▽ More In this paper we present a new first-order hyperbolic reformulation of the Cahn-Hilliard equation. The model is obtained from the combination of augmented Lagrangian techniques proposed earlier by the authors of this paper, with a classical Cattaneo-type relaxation that allows to reformulate diffusion equations as augmented first order hyperbolic systems with stiff relaxation source terms. The proposed system is proven to be hyperbolic and to admit a Lyapunov functional, in accordance with the original equations. A new numerical scheme is proposed to solve the original Cahn-Hilliard equations based on conservative semi-implicit finite differences, while the hyperbolic system was numerically solved by means of a classical second order MUSCL-Hancock-type finite volume scheme. The proposed approach is validated through a set of classical benchmarks such as spinodal decomposition, Ostwald ripening and exact stationary solutions. △ Less

Submitted 7 August, 2024; originally announced August 2024.

MSC Class: 35K55; 35L65; 35L03; 65M06; 65M08

An asymptotic-preserving and exactly mass-conservative semi-implicit scheme for weakly compressible flows based on compatible finite elements

Authors: Enrico Zampa, Michael Dumbser

Abstract: We present a novel asymptotic-preserving semi-implicit finite element method for weakly compressible and incompressible flows based on compatible finite element spaces. The momentum is sought in an $H(\mathrm{div})$-conforming space, ensuring exact pointwise mass conservation at the discrete level. We use an explicit discontinuous Galerkin-based discretization for the convective terms, while treat… ▽ More We present a novel asymptotic-preserving semi-implicit finite element method for weakly compressible and incompressible flows based on compatible finite element spaces. The momentum is sought in an $H(\mathrm{div})$-conforming space, ensuring exact pointwise mass conservation at the discrete level. We use an explicit discontinuous Galerkin-based discretization for the convective terms, while treating the pressure and viscous terms implicitly, so that the CFL condition depends only on the fluid velocity. To handle shocks and damp spurious oscillations in the compressible regime, we incorporate an a posteriori limiter that employs artificial viscosity and is based on a discrete maximum principle. By using hybridization, the final algorithm requires solving only symmetric positive definite linear systems. As the Mach number approaches zero and the density remains constant, the method converges to an $H(\mathrm{div})$-based discretization of the incompressible Navier-Stokes equations in the vorticity-velocity-pressure formulation. Several numerical tests validate the proposed method. △ Less

Submitted 14 July, 2024; originally announced July 2024.

Comments: 29 pages, 12 figures

High-order discontinuous Galerkin schemes with subcell finite volume limiter and adaptive mesh refinement for a monolithic first-order BSSNOK formulation of the Einstein-Euler equations

Authors: Michael Dumbser, Olindo Zanotti, Ilya Peshkov

Abstract: We propose a high order discontinuous Galerkin (DG) scheme with subcell finite volume (FV) limiter to solve a monolithic first--order hyperbolic BSSNOK formulation of the coupled Einstein--Euler equations. The numerical scheme runs with adaptive mesh refinement (AMR) in three space dimensions, is endowed with time-accurate local time stepping (LTS) and is able to deal with both conservative and no… ▽ More We propose a high order discontinuous Galerkin (DG) scheme with subcell finite volume (FV) limiter to solve a monolithic first--order hyperbolic BSSNOK formulation of the coupled Einstein--Euler equations. The numerical scheme runs with adaptive mesh refinement (AMR) in three space dimensions, is endowed with time-accurate local time stepping (LTS) and is able to deal with both conservative and non-conservative hyperbolic systems. The system of governing partial differential equations was shown to be strongly hyperbolic and is solved in a monolithic fashion with one numerical framework that can be simultaneously applied to both the conservative matter subsystem as well as the non-conservative subsystem for the spacetime. Since high order unlimited DG schemes are well-known to produce spurious oscillations in the presence of discontinuities and singularities, our subcell finite volume limiter is crucial for the robust discretization of shock waves arising in the matter as well as for the stable treatment of puncture black holes. We test the new method on a set of classical test problems of numerical general relativity, showing good agreement with available exact or numerical reference solutions. In particular, we perform the first long term evolution of the inspiralling merger of two puncture black holes with a high order ADER-DG scheme. △ Less

Submitted 12 October, 2024; v1 submitted 22 June, 2024; originally announced June 2024.

Comments: 27 pages, 16 figures. Matches version published on Physical Review D

Journal ref: Physical Review D, Volume 110, 084015 (2024)

A monolithic first--order BSSNOK formulation of the Einstein--Euler equations and its solution with path-conservative finite difference CWENO schemes

Authors: Michael Dumbser, Olindo Zanotti, Gabriella Puppo

Abstract: We present a new, monolithic first--order (both in time and space) BSSNOK formulation of the coupled Einstein--Euler equations. The entire system of hyperbolic PDEs is solved in a completely unified manner via one single numerical scheme applied to both the conservative sector of the matter part and to the first--order strictly non--conservative sector of the spacetime evolution. The coupling betw… ▽ More We present a new, monolithic first--order (both in time and space) BSSNOK formulation of the coupled Einstein--Euler equations. The entire system of hyperbolic PDEs is solved in a completely unified manner via one single numerical scheme applied to both the conservative sector of the matter part and to the first--order strictly non--conservative sector of the spacetime evolution. The coupling between matter and space-time is achieved via algebraic source terms. The numerical scheme used for the solution of the new monolithic first order formulation is a path-conservative central WENO (CWENO) finite difference scheme, with suitable insertions to account for the presence of the non--conservative terms. By solving several crucial tests of numerical general relativity, including a stable neutron star, Riemann problems in relativistic matter with shock waves and the stable long-time evolution of single and binary puncture black holes up and beyond the binary merger, we show that our new CWENO scheme, introduced two decades ago for the compressible Euler equations of gas dynamics, can be successfully applied also to numerical general relativity, solving all equations at the same time with one single numerical method. In the future the new monolithic approach proposed in this paper may become an attractive alternative to traditional methods that couple central finite difference schemes with Kreiss-Oliger dissipation for the space-time part with totally different TVD schemes for the matter evolution and which are currently the state of the art in the field. △ Less

Submitted 10 May, 2025; v1 submitted 17 June, 2024; originally announced June 2024.

Comments: 26 pages, 13 figures. Matches version accepted by Phys Rev D

Well-balanced high order finite difference WENO schemes for a first-order Z4 formulation of the Einstein field equations

Authors: Dinshaw Balsara, Deepak Bhoriya, Olindo Zanotti, Michael Dumbser

Abstract: In this work we aim at developing a new class of high order accurate well-balanced finite difference (FD) Weighted Essentially Non-Oscillatory (WENO) methods for numerical general relativity, which can be applied to any first-order reduction of the Einstein field equations, even if non-conservative terms are present. We choose the first-order non-conservative Z4 formulation of the Einstein equatio… ▽ More In this work we aim at developing a new class of high order accurate well-balanced finite difference (FD) Weighted Essentially Non-Oscillatory (WENO) methods for numerical general relativity, which can be applied to any first-order reduction of the Einstein field equations, even if non-conservative terms are present. We choose the first-order non-conservative Z4 formulation of the Einstein equations, which has a built-in cleaning procedure that accounts for the Einstein constraints and that has already shown its ability in keeping stationary solutions stable over long timescales. Upon the introduction of auxiliary variables, the vacuum Einstein equations in first order form constitute a ... △ Less

Submitted 20 September, 2024; v1 submitted 8 June, 2024; originally announced June 2024.

Comments: Accepted in APJS (The Astrophysical Journal Supplement Series)

MSC Class: 35L75; 65M06; 83C35; 83C05; 83C57 and 83-08

An all Mach number semi-implicit hybrid Finite Volume/Virtual Element method for compressible viscous flows on Voronoi meshes

Authors: Walter Boscheri, Saray Busto, Michael Dumbser

Abstract: We present a novel high order semi-implicit hybrid finite volume/virtual element numerical scheme for the solution of compressible flows on Voronoi tessellations. The method relies on the flux splitting of the compressible Navier-Stokes equations into three sub-systems: a convective sub-system solved explicitly using a finite volume (FV) scheme, and the viscous and pressure sub-systems which are d… ▽ More We present a novel high order semi-implicit hybrid finite volume/virtual element numerical scheme for the solution of compressible flows on Voronoi tessellations. The method relies on the flux splitting of the compressible Navier-Stokes equations into three sub-systems: a convective sub-system solved explicitly using a finite volume (FV) scheme, and the viscous and pressure sub-systems which are discretized implicitly at the aid of a virtual element method (VEM). Consequently, the time step restriction of the overall algorithm depends only on the mean flow velocity and not on the fast pressure waves nor on the viscous eigenvalues. As such, the proposed methodology is well suited for the solution of low Mach number flows at all Reynolds numbers. Moreover, the scheme is proven to be globally energy conserving so that shock capturing properties are retrieved in high Mach number flows. To reach high order of accuracy in time and space, an IMEX Runge-Kutta time stepping strategy is employed together with high order spatial reconstructions in terms of CWENO polynomials and virtual element space basis functions. The chosen discretization techniques allow the use of general polygonal grids, a useful tool when dealing with complex domain configurations. The new scheme is carefully validated in both the incompressible limit and the high Mach number regime through a large set of classical benchmarks for fluid dynamics, assessing robustness and accuracy. △ Less

Submitted 22 May, 2024; originally announced May 2024.

MSC Class: 65M08; 65M60; 76N06

A unified SHTC multiphase model of continuum mechanics

Authors: Davide Ferrari, Ilya Peshkov, Evgeniy Romenski, Michael Dumbser

Abstract: In this paper, we present a unified nonequilibrium model of continuum mechanics for compressible multiphase flows. The model, which is formulated within the framework of Symmetric Hyperbolic Thermodynamically Compatible (SHTC) equations, can describe the arbitrary number of phases that can be heat-conducting inviscid and viscous fluids, as well as elastoplastic solids. The phases are allowed to ha… ▽ More In this paper, we present a unified nonequilibrium model of continuum mechanics for compressible multiphase flows. The model, which is formulated within the framework of Symmetric Hyperbolic Thermodynamically Compatible (SHTC) equations, can describe the arbitrary number of phases that can be heat-conducting inviscid and viscous fluids, as well as elastoplastic solids. The phases are allowed to have different velocities, pressures, temperatures, and shear stresses, while the material interfaces are treated as diffuse interfaces with the volume fraction playing the role of the interface field. To relate our model to other multiphase approaches, we reformulate the SHTC governing equations in terms of the phase state parameters and put them in the form of Baer-Nunziato-type models. It is the Baer-Nunziato form of the SHTC equations which is then solved numerically using a robust second-order path-conservative MUSCL-Hancock finite volume method on Cartesian meshes. Due to the fact that the obtained governing equations are very challenging, we restrict our numerical examples to a simplified version of the model, focusing on the isentropic limit for three-phase mixtures. To address the stiffness properties of the relaxation source terms present in the model, the implemented scheme incorporates a semi-analytical time integration method specifically designed for the non-linear stiff source terms governing the strain relaxation. The validation process involves a wide range of benchmarks and several applications for compressible multiphase problems. Notably, results are presented for multiphase flows in all the relaxation limit cases of the model, including inviscid and viscous Newtonian fluids, as well as non-linear hyperelastic and elastoplastic solids. △ Less

Submitted 29 March, 2024; v1 submitted 28 March, 2024; originally announced March 2024.

Comments: Fixed a few important typos in formulas, added a few references

An exactly curl-free finite-volume scheme for a hyperbolic compressible barotropic two-phase model

Authors: Laura Río-Martín, Firas Dhaouadi, Michael Dumbser

Abstract: We present a new second order accurate structure-preserving finite volume scheme for the solution of the compressible barotropic two-phase model of Romenski et. al in multiple space dimensions. The governing equations fall into the wider class of symmetric hyperbolic and thermodynamically compatible (SHTC) systems and consist of a set of first-order hyperbolic partial differential equations (PDE).… ▽ More We present a new second order accurate structure-preserving finite volume scheme for the solution of the compressible barotropic two-phase model of Romenski et. al in multiple space dimensions. The governing equations fall into the wider class of symmetric hyperbolic and thermodynamically compatible (SHTC) systems and consist of a set of first-order hyperbolic partial differential equations (PDE). In the absence of algebraic source terms, the model is subject to a curl-free constraint for the relative velocity between the two phases. The main objective of this paper is, therefore, to preserve this structural property exactly also at the discrete level. The new numerical method is based on a staggered grid arrangement where the relative velocity field is stored in the cell vertexes while all the remaining variables are stored in the cell centers. This allows the definition of discretely compatible gradient and curl operators, which ensure that the discrete curl errors of the relative velocity field remain zero up to machine precision. A set of numerical results confirms this property also experimentally. △ Less

Submitted 27 March, 2024; originally announced March 2024.

A well-balanced discontinuous Galerkin method for the first--order Z4 formulation of the Einstein--Euler system

Authors: Michael Dumbser, Olindo Zanotti, Elena Gaburro, Ilya Peshkov

Abstract: In this paper we develop a new well-balanced discontinuous Galerkin (DG) finite element scheme with subcell finite volume (FV) limiter for the numerical solution of the Einstein--Euler equations of general relativity based on a first order hyperbolic reformulation of the Z4 formalism. The first order Z4 system, which is composed of 59 equations, is analyzed and proven to be strongly hyperbolic for… ▽ More In this paper we develop a new well-balanced discontinuous Galerkin (DG) finite element scheme with subcell finite volume (FV) limiter for the numerical solution of the Einstein--Euler equations of general relativity based on a first order hyperbolic reformulation of the Z4 formalism. The first order Z4 system, which is composed of 59 equations, is analyzed and proven to be strongly hyperbolic for a general metric. The well-balancing is achieved for arbitrary but a priori known equilibria by subtracting a discrete version of the equilibrium solution from the discretized time-dependent PDE system. Special care has also been taken in the design of the numerical viscosity so that the well-balancing property is achieved. As for the treatment of low density matter, e.g. when simulating massive compact objects like neutron stars surrounded by vacuum, we have introduced a new filter in the conversion from the conserved to the primitive variables, preventing superluminal velocities when the density drops below a certain threshold, and being potentially also very useful for the numerical investigation of highly rarefied relativistic astrophysical flows. Thanks to these improvements, all standard tests of numerical relativity are successfully reproduced, reaching three achievements: (i) we are able to obtain stable long term simulations of stationary black holes, including Kerr black holes with extreme spin, which after an initial perturbation return perfectly back to the equilibrium solution up to machine precision; (ii) a (standard) TOV star under perturbation is evolved in pure vacuum ($ρ$=$p$=0) up to t=1000 with no need to introduce any artificial atmosphere around the star; and, (iii) we solve the head on collision of two punctures black holes, that was previously considered un--tractable within the Z4 formalism. △ Less

Submitted 21 February, 2024; v1 submitted 13 July, 2023; originally announced July 2023.

Comments: This manuscript matches the version accepted by Journal of Computational Physics

A new thermodynamically compatible finite volume scheme for Lagrangian gas dynamics

Authors: Walter Boscheri, Michael Dumbser, Pierre-Henri Maire

Abstract: The equations of Lagrangian gas dynamics fall into the larger class of overdetermined hyperbolic and thermodynamically compatible (HTC) systems of partial differential equations. They satisfy an entropy inequality (second principle of thermodynamics) and conserve total energy (first principle of thermodynamics). The aim of this work is to construct a novel thermodynamically compatible cell-centere… ▽ More The equations of Lagrangian gas dynamics fall into the larger class of overdetermined hyperbolic and thermodynamically compatible (HTC) systems of partial differential equations. They satisfy an entropy inequality (second principle of thermodynamics) and conserve total energy (first principle of thermodynamics). The aim of this work is to construct a novel thermodynamically compatible cell-centered Lagrangian finite volume scheme on unstructured meshes. Unlike in existing schemes, we choose to directly discretize the entropy inequality, hence obtaining total energy conservation as a consequence of the new thermodynamically compatible discretization of the other equations. First, the governing equations are written in fluctuation form. Next, the non-compatible centered numerical fluxes are corrected according to the approach recently introduced by Abgrall et al., using a scalar correction factor that is defined at the nodes of the grid. This perfectly fits into the formalism of nodal solvers which is typically adopted in cell-centered Lagrangian finite volume methods. Semi-discrete entropy conservative and entropy stable Lagrangian schemes are devised, and they are adequately blended together via a convex combination based on either a priori or a posteriori detectors of discontinuous solutions. The nonlinear stability in the energy norm is rigorously demonstrated and the new schemes are provably positivity preserving for density and pressure. Furthermore, they exhibit zero numerical diffusion for isentropic flows while being still nonlinearly stable. The new schemes are tested against classical benchmarks for Lagrangian hydrodynamics, assessing their convergence and robustness and comparing their numerical dissipation with classical Lagrangian finite volume methods. △ Less

Submitted 20 June, 2023; originally announced June 2023.

High-order ADER Discontinuous Galerkin schemes for a symmetric hyperbolic model of compressible barotropic two-fluid flows

Authors: Laura Río-Martín, Michael Dumbser

Abstract: This paper presents a high-order discontinuous Galerkin finite element method to solve the barotropic version of the conservative symmetric hyperbolic and thermodynamically compatible (SHTC) model of compressible two-phase flow, introduced by Romenski et al., in multiple space dimensions. In the absence of algebraic source terms, the model is endowed with a curl constraint on the relative velocity… ▽ More This paper presents a high-order discontinuous Galerkin finite element method to solve the barotropic version of the conservative symmetric hyperbolic and thermodynamically compatible (SHTC) model of compressible two-phase flow, introduced by Romenski et al., in multiple space dimensions. In the absence of algebraic source terms, the model is endowed with a curl constraint on the relative velocity field. In this paper, the hyperbolicity of the system is studied for the first time in the multidimensional case, showing that the original model is only weakly hyperbolic in multiple space dimensions. To restore strong hyperbolicity, two different methodologies are used: i) the explicit symmetrization of the system, which can be achieved by adding terms that contain linear combinations of the curl involution, similar to the Godunov-Powell terms in the MHD equations; ii) the use of the hyperbolic generalized Lagrangian multiplier (GLM) curl-cleaning approach forwarded. The PDE system is solved using a high-order ADER discontinuous Galerkin method with a posteriori sub-cell finite volume limiter to deal with shock waves and the steep gradients in the volume fraction commonly appearing in the solutions of this type of model. To illustrate the performance of the method, several different test cases and benchmark problems have been run, showing the high-order of the scheme and the good agreement when compared to reference solutions computed with other well-known methods. △ Less

Submitted 18 May, 2023; v1 submitted 17 May, 2023; originally announced May 2023.

A well-balanced and exactly divergence-free staggered semi-implicit hybrid finite volume/finite element scheme for the incompressible MHD equations

Authors: F. Fambri, E. Zampa, S. Busto, L. Río-Martín, F. Hindenlang, E. Sonnendrücker, M. Dumbser

Abstract: We present a new divergence-free and well-balanced hybrid FV/FE scheme for the incompressible viscous and resistive MHD equations on unstructured mixed-element meshes in 2 and 3 space dimensions. The equations are split into subsystems. The pressure is defined on the vertices of the primary mesh, while the velocity field and the normal components of the magnetic field are defined on an edge-based/… ▽ More We present a new divergence-free and well-balanced hybrid FV/FE scheme for the incompressible viscous and resistive MHD equations on unstructured mixed-element meshes in 2 and 3 space dimensions. The equations are split into subsystems. The pressure is defined on the vertices of the primary mesh, while the velocity field and the normal components of the magnetic field are defined on an edge-based/face-based dual mesh in two and three space dimensions, respectively. This allows to account for the divergence-free conditions of the velocity field and of the magnetic field in a rather natural manner. The non-linear convective and the viscous terms are solved at the aid of an explicit FV scheme, while the magnetic field is evolved in a divergence-free manner via an explicit FV method based on a discrete form of the Stokes law in the edges/faces of each primary element. To achieve higher order of accuracy, a pw-linear polynomial is reconstructed for the magnetic field, which is guaranteed to be divergence-free via a constrained L2 projection. The pressure subsystem is solved implicitly at the aid of a classical continuous FE method in the vertices of the primary mesh. In order to maintain non-trivial stationary equilibrium solutions of the governing PDE system exactly, which are assumed to be known a priori, each step of the new algorithm takes the known equilibrium solution explicitly into account so that the method becomes exactly well-balanced. This paper includes a very thorough study of the lid-driven MHD cavity problem in the presence of different magnetic fields. We finally present long-time simulations of Soloviev equilibrium solutions in several simplified 3D tokamak configurations even on very coarse unstructured meshes that, in general, do not need to be aligned with the magnetic field lines. △ Less

Submitted 10 May, 2023; originally announced May 2023.

Comments: 57 pages, 33 figures, 13 tables, reference-data (supplementary electronic material) will be available after publication on the Journal web-page

ACM Class: G.1; J.2

An implicit staggered hybrid finite volume/finite element solver for the incompressible Navier-Stokes equations

Authors: Alessia Lucca, Saray Busto, Michael Dumbser

Abstract: We present a novel fully implicit hybrid finite volume/finite element method for incompressible flows. Following previous works on semi-implicit hybrid FV/FE schemes, the incompressible Navier-Stokes equations are split into a pressure and a transport-diffusion subsystem. The first of them can be seen as a Poisson type problem and is thus solved efficiently using classical continuous Lagrange fini… ▽ More We present a novel fully implicit hybrid finite volume/finite element method for incompressible flows. Following previous works on semi-implicit hybrid FV/FE schemes, the incompressible Navier-Stokes equations are split into a pressure and a transport-diffusion subsystem. The first of them can be seen as a Poisson type problem and is thus solved efficiently using classical continuous Lagrange finite elements. On the other hand, finite volume methods are employed to solve the convective subsystem, in combination with Crouzeix-Raviart finite elements for the discretization of the viscous stress tensor. For some applications, the related CFL condition, even if depending only in the bulk velocity, may yield a severe time restriction in case explicit schemes are used. To overcome this issue an implicit approach is proposed. The system obtained from the implicit discretization of the transport-diffusion operator is solved using an inexact Newton-Krylov method, based either on the BiCStab or the GMRES algorithm. To improve the convergence properties of the linear solver a symmetric Gauss-Seidel (SGS) preconditioner is employed, together with a simple but efficient approach for the reordering of the grid elements that is compatible with MPI parallelization. Besides, considering the Ducros flux for the nonlinear convective terms we can prove that the discrete advection scheme is kinetic energy stable. The methodology is carefully assessed through a set of classical benchmarks for fluid mechanics. A last test shows the potential applicability of the method in the context of blood flow simulation in realistic vessel geometries. △ Less

Submitted 11 February, 2023; originally announced February 2023.

MSC Class: 65M08; 65M60; 35Q30; 76D05

An Arbitrary-Lagrangian-Eulerian hybrid finite volume/finite element method on moving unstructured meshes for the Navier-Stokes equations

Authors: Saray Busto, Michael Dumbser, Laura Río-Martín

Abstract: We present a novel second-order semi-implicit hybrid finite volume / finite element (FV/FE) scheme for the numerical solution of the incompressible and weakly compressible Navier-Stokes equations on moving unstructured meshes using an Arbitrary-Lagrangian-Eulerian (ALE) formulation. The scheme is based on a suitable splitting of the governing PDE into subsystems and employs staggered grids, where… ▽ More We present a novel second-order semi-implicit hybrid finite volume / finite element (FV/FE) scheme for the numerical solution of the incompressible and weakly compressible Navier-Stokes equations on moving unstructured meshes using an Arbitrary-Lagrangian-Eulerian (ALE) formulation. The scheme is based on a suitable splitting of the governing PDE into subsystems and employs staggered grids, where the pressure is defined on the primal simplex mesh, while the velocity and the remaining flow quantities are defined on an edge-based staggered dual mesh. The key idea of the scheme is to discretize the nonlinear convective and viscous terms using an explicit FV scheme that employs the space-time divergence form of the governing equations on moving space-time control volumes. For the convective terms, an ALE extension of the Ducros flux on moving meshes is introduced, which is kinetic energy preserving and stable in the energy norm when adding suitable numerical dissipation terms. Finally, the pressure equation of the Navier-Stokes system is solved on the new mesh configuration using a continuous FE method, with $\mathbb{P}_1$ Lagrange elements. The ALE hybrid FV/FE method is applied to several incompressible test problems ranging from non-hydrostatic free surface flows over a rising bubble to flows over an oscillating cylinder and an oscillating ellipse. Via the simulation of a circular explosion problem on a moving mesh, we show that the scheme applied to the weakly compressible Navier-Stokes equations is able to capture weak shock waves, rarefactions and moving contact discontinuities. We show that our method is particularly efficient for the simulation of weakly compressible flows in the low Mach number limit, compared to a fully explicit ALE scheme △ Less

Submitted 23 January, 2023; originally announced January 2023.

Journal ref: Applied Mathematics and Computation, 437, 127539, 2023

A staggered semi-implicit hybrid finite volume / finite element scheme for the shallow water equations at all Froude numbers

Authors: Saray Busto, Michael Dumbser

Abstract: We present a novel staggered semi-implicit hybrid FV/FE method for the numerical solution of the shallow water equations at all Froude numbers on unstructured meshes. A semi-discretization in time of the conservative Saint-Venant equations with bottom friction terms leads to its decomposition into a first order hyperbolic subsystem containing the nonlinear convective term and a second order wave e… ▽ More We present a novel staggered semi-implicit hybrid FV/FE method for the numerical solution of the shallow water equations at all Froude numbers on unstructured meshes. A semi-discretization in time of the conservative Saint-Venant equations with bottom friction terms leads to its decomposition into a first order hyperbolic subsystem containing the nonlinear convective term and a second order wave equation for the pressure. For the spatial discretization of the free surface elevation an unstructured mesh of triangular simplex elements is considered, whereas a dual grid of the edge-type is employed for the computation of the depth-averaged momentum vector. The first stage of the proposed algorithm consists in the solution of the nonlinear convective subsystem using an explicit Godunov-type FV method on the staggered grid. Next, a classical continuous FE scheme provides the free surface elevation at the vertex of the primal mesh. The semi-implicit strategy followed circumvents the contribution of the surface wave celerity to the CFL-type time step restriction making the proposed algorithm well-suited for low Froude number flows. The conservative formulation of the governing equations also allows the discretization of high Froude number flows with shock waves. As such, the new hybrid FV/FE scheme is able to deal simultaneously with both, subcritical as well as supercritical flows. Besides, the algorithm is well balanced by construction. The accuracy of the overall methodology is studied numerically and the C-property is proven theoretically and validated via numerical experiments. The solution of several Riemann problems attests the robustness of the new method to deal also with flows containing bores and discontinuities. Finally, a 3D dam break problem over a dry bottom is studied and our numerical results are successfully compared with numerical reference solutions and experimental data. △ Less

Submitted 20 January, 2023; originally announced January 2023.

Journal ref: Applied Numerical Mathematics, 175, 108-132, 2022

On thermodynamically compatible finite volume schemes for continuum mechanics

Authors: Saray Busto, Michael Dumbser, Ilya Peshkov, Evgeniy Romenski

Abstract: In this paper we present a new family of semi-discrete and fully-discrete finite volume schemes for overdetermined, hyperbolic and thermodynamically compatible PDE systems. In the following we will denote these methods as HTC schemes. In particular, we consider the Euler equations of compressible gasdynamics, as well as the more complex Godunov-Peshkov-Romenski (GPR) model of continuum mechanics,… ▽ More In this paper we present a new family of semi-discrete and fully-discrete finite volume schemes for overdetermined, hyperbolic and thermodynamically compatible PDE systems. In the following we will denote these methods as HTC schemes. In particular, we consider the Euler equations of compressible gasdynamics, as well as the more complex Godunov-Peshkov-Romenski (GPR) model of continuum mechanics, which, at the aid of suitable relaxation source terms, is able to describe nonlinear elasto-plastic solids at large deformations as well as viscous fluids as two special cases of a more general first order hyperbolic model of continuum mechanics. The main novelty of the schemes presented in this paper lies in the fact that we solve the \textit{entropy inequality} as a primary evolution equation rather than the usual total energy conservation law. Instead, total energy conservation is achieved as a mere consequence of a thermodynamically compatible discretization of all the other equations. For this, we first construct a discrete framework for the compressible Euler equations that mimics the continuous framework of Godunov's seminal paper \textit{An interesting class of quasilinear systems} of 1961 \textit{exactly} at the discrete level. All other terms in the governing equations of the more general GPR model, including non-conservative products, are judiciously discretized in order to achieve discrete thermodynamic compatibility, with the exact conservation of total energy density as a direct consequence of all the other equations. As a result, the HTC schemes proposed in this paper are provably marginally stable in the energy norm and satisfy a discrete entropy inequality by construction. We show some computational results obtained with HTC schemes in one and two space dimensions, considering both the fluid limit as well as the solid limit of the governing partial differential equations. △ Less

Submitted 19 January, 2023; originally announced January 2023.

Journal ref: SIAM Journal on Scientific Computing, 44(3), A1723-A1751, 2022

A semi-implicit hybrid finite volume / finite element scheme for all Mach number flows on staggered unstructured meshes

Authors: Saray Busto, Laura Río-Martín, María Elena Vázquez-Cendón, Michael Dumbser

Abstract: In this paper a new hybrid semi-implicit finite volume / finite element (FV/FE) scheme is presented for the numerical solution of the compressible Euler and Navier-Stokes equations at all Mach numbers on unstructured staggered meshes in two and three space dimensions. The chosen grid arrangement consists of a primal simplex mesh composed of triangles or tetrahedra, and an edge-based / face-based s… ▽ More In this paper a new hybrid semi-implicit finite volume / finite element (FV/FE) scheme is presented for the numerical solution of the compressible Euler and Navier-Stokes equations at all Mach numbers on unstructured staggered meshes in two and three space dimensions. The chosen grid arrangement consists of a primal simplex mesh composed of triangles or tetrahedra, and an edge-based / face-based staggered dual mesh. The governing equations are discretized in conservation form. The nonlinear convective terms of the equations, as well as the viscous stress tensor and the heat flux, are discretized on the dual mesh at the aid of an explicit local ADER finite volume scheme, while the implicit pressure terms are discretized at the aid of a continuous $\mathbb{P}^{1}$ finite element method on the nodes of the primal mesh. In the zero Mach number limit, the new scheme automatically reduces to the hybrid FV/FE approach forwarded in \cite{BFTVC17} for the incompressible Navier-Stokes equations. As such, the method is asymptotically consistent with the incompressible limit of the governing equations and can therefore be applied to flows at all Mach numbers. Due to the chosen semi-implicit discretization, the CFL restriction on the time step is only based on the magnitude of the flow velocity and not on the sound speed, hence the method is computationally efficient at low Mach numbers. In the chosen discretization, the only unknown is the scalar pressure field at the new time step. Furthermore, the resulting pressure system is symmetric and positive definite and can therefore be very efficiently solved with a matrix-free conjugate gradient method. In order to assess the capabilities of the new scheme, we show computational results for a large set of benchmark problems that range from the quasi incompressible low Mach number regime to compressible flows with shock waves. △ Less

Submitted 19 January, 2023; originally announced January 2023.

Journal ref: Applied Mathematics and Computation, 402, 126117, 2021

A new thermodynamically compatible finite volume scheme for magnetohydrodynamics

Authors: Saray Busto, Michael Dumbser

Abstract: In this paper we propose a novel thermodynamically compatible finite volume scheme for the numerical solution of the equations of magnetohydrodynamics (MHD) in one and two space dimensions. As shown by Godunov in 1972, the MHD system can be written as overdetermined symmetric hyperbolic and thermodynamically compatible (SHTC) system. More precisely, the MHD equations are symmetric hyperbolic in th… ▽ More In this paper we propose a novel thermodynamically compatible finite volume scheme for the numerical solution of the equations of magnetohydrodynamics (MHD) in one and two space dimensions. As shown by Godunov in 1972, the MHD system can be written as overdetermined symmetric hyperbolic and thermodynamically compatible (SHTC) system. More precisely, the MHD equations are symmetric hyperbolic in the sense of Friedrichs and satisfy the first and second principles of thermodynamics. In a more recent work on SHTC systems, \cite{Rom1998}, the entropy density is a primary evolution variable, and total energy conservation can be shown to be a \textit{consequence} that is obtained after a judicious linear combination of all other evolution equations. The objective of this paper is to mimic the SHTC framework also on the discrete level by directly discretizing the \textit{entropy inequality}, instead of the total energy conservation law, while total energy conservation is obtained via an appropriate linear combination as a \textit{consequence} of the thermodynamically compatible discretization of all other evolution equations. As such, the proposed finite volume scheme satisfies a discrete cell entropy inequality \textit{by construction} and can be proven to be nonlinearly stable in the energy norm due to the discrete energy conservation. In multiple space dimensions the divergence-free condition of the magnetic field is taken into account via a new thermodynamically compatible generalized Lagrangian multiplier (GLM) divergence cleaning approach. The fundamental properties of the scheme proposed in this paper are mathematically rigorously proven. The new method is applied to some standard MHD benchmark problems in one and two space dimensions, obtaining good results in all cases. △ Less

Submitted 19 January, 2023; originally announced January 2023.

Journal ref: SIAM Journal on Numerical Analysis, 2023

An exactly curl-free staggered semi-implicit finite volume scheme for a first order hyperbolic model of viscous flow with surface tension

Authors: Simone Chiocchetti, Micheal Dumbser

Abstract: In this paper, we present a semi-implicit numerical solver for a first order hyperbolic formulation of two-phase flow with surface tension and viscosity. The numerical method addresses several complexities presented by the PDE system in consideration: (i) The presence of involution constraints of curl type in the governing equations requires explicit enforcement of the zero-curl property of certai… ▽ More In this paper, we present a semi-implicit numerical solver for a first order hyperbolic formulation of two-phase flow with surface tension and viscosity. The numerical method addresses several complexities presented by the PDE system in consideration: (i) The presence of involution constraints of curl type in the governing equations requires explicit enforcement of the zero-curl property of certain vector fields (an interface field and a distortion field); the problem is eliminated entirely by adopting a set of compatible curl and gradient discrete differential operators on a staggered grid, allowing to preserve the Schwartz identity of cross-derivatives exactly. (ii) The evolution equations feature highly nonlinear stiff algebraic source terms which are used for the description of viscous interactions as emergent behaviour of an elasto-plastic solid in the stiff strain relaxation limit; such source terms are reliably integrated with an efficient semi-analytical technique. (iii) In the low-Mach number regime, standard explicit Godunov-type schemes lose efficiency and accuracy; the issue is addressed by means of a simple semi-implicit, pressure-based, split treatment of acoustic and non-acoustic waves, again using staggered grids that recover the implicit solution for a single scalar field (the pressure) through a sequence of symmetric-positive definite linear systems that can be efficiently solved via the conjugate gradient method. △ Less

Submitted 11 August, 2022; originally announced August 2022.

Continuous finite element subgrid basis functions for Discontinuous Galerkin schemes on unstructured polygonal Voronoi meshes

Authors: Walter Boscheri, Michael Dumbser, Elena Gaburro

Abstract: We propose a new high order accurate nodal discontinuous Galerkin (DG) method for the solution of nonlinear hyperbolic systems of partial differential equations (PDE) on unstructured polygonal Voronoi meshes. Rather than using classical polynomials of degree N inside each element, in our new approach the discrete solution is represented by piecewise continuous polynomials of degree N within each V… ▽ More We propose a new high order accurate nodal discontinuous Galerkin (DG) method for the solution of nonlinear hyperbolic systems of partial differential equations (PDE) on unstructured polygonal Voronoi meshes. Rather than using classical polynomials of degree N inside each element, in our new approach the discrete solution is represented by piecewise continuous polynomials of degree N within each Voronoi element, using a continuous finite element basis defined on a subgrid inside each polygon. We call the resulting subgrid basis an agglomerated finite element (AFE) basis for the DG method on general polygons, since it is obtained by the agglomeration of the finite element basis functions associated with the subgrid triangles. The basis functions on each sub-triangle are defined, as usual, on a universal reference element, hence allowing to compute universal mass, flux and stiffness matrices for the subgrid triangles once and for all in a pre-processing stage for the reference element only. Consequently, the construction of an efficient quadrature-free algorithm is possible, despite the unstructured nature of the computational grid. High order of accuracy in time is achieved thanks to the ADER approach, making use of an element-local space-time Galerkin finite element predictor. The novel schemes are carefully validated against a set of typical benchmark problems for the compressible Euler and Navier-Stokes equations. The numerical results have been checked with reference solutions available in literature and also systematically compared, in terms of computational efficiency and accuracy, with those obtained by the corresponding modal DG version of the scheme. △ Less

Submitted 29 May, 2022; originally announced May 2022.

Exact and numerical solutions of the Riemann problem for a conservative model of compressible two-phase flows

Authors: Ferdinand Thein, Evgeniy Romenski, Michael Dumbser

Abstract: In this work we study the solution of the Riemann problem for the barotropic version of the conservative symmetric hyperbolic and thermodynamically compatible (SHTC) two-phase flow model introduced in \cite{Romenski2007,Romenski2009}. All characteristic fields are carefully studied and explicit expressions are derived for the Riemann invariants and the Rankine-Hugoniot conditions. Due to the prese… ▽ More In this work we study the solution of the Riemann problem for the barotropic version of the conservative symmetric hyperbolic and thermodynamically compatible (SHTC) two-phase flow model introduced in \cite{Romenski2007,Romenski2009}. All characteristic fields are carefully studied and explicit expressions are derived for the Riemann invariants and the Rankine-Hugoniot conditions. Due to the presence of multiple characteristics in the system under consideration, non-standard wave phenomena can occur. Therefore we briefly review admissibility conditions for discontinuities and then discuss possible wave interactions. In particular we will show that overlapping rarefaction waves are possible and moreover we may have shocks that lie inside a rarefaction wave. In contrast to nonconservative two phase flow models, such as the Baer-Nunziato system, we can use the advantage of the conservative form of the model under consideration. Furthermore, we show the relation between the considered conservative SHTC system and the corresponding barotropic version of the nonconservative Baer-Nunziato model. Additionally, we derive the reduced four equation Kapila system for the case of instantaneous relaxation, which is the common limit system of both, the conservative SHTC model and the non-conservative Baer-Nunziato model. Finally, we compare exact solutions of the Riemann problem with numerical results obtained for the conservative two-phase flow model under consideration, for the non-conservative Baer-Nunziato system and for the Kapila limit. The examples underline the previous analysis of the different wave phenomena, as well as differences and similarities of the three systems. △ Less

Submitted 23 March, 2022; originally announced March 2022.

MSC Class: 35L03; 35Q35

Journal ref: J Sci Comput 93, 83 (2022)

A well balanced finite volume scheme for general relativity

Authors: Elena Gaburro, Manuel J. Castro, Michael Dumbser

Abstract: In this work we present a novel second order accurate well balanced (WB) finite volume (FV) scheme for the solution of the general relativistic magnetohydrodynamics (GRMHD) equations and the first order CCZ4 formulation (FO-CCZ4) of the Einstein field equations of general relativity, as well as the fully coupled FO-CCZ4 + GRMHD system. These systems of first order hyperbolic PDEs allow to study th… ▽ More In this work we present a novel second order accurate well balanced (WB) finite volume (FV) scheme for the solution of the general relativistic magnetohydrodynamics (GRMHD) equations and the first order CCZ4 formulation (FO-CCZ4) of the Einstein field equations of general relativity, as well as the fully coupled FO-CCZ4 + GRMHD system. These systems of first order hyperbolic PDEs allow to study the dynamics of the matter and the dynamics of the space-time according to the theory of general relativity. The new well balanced finite volume scheme presented here exploits the knowledge of an equilibrium solution of interest when integrating the conservative fluxes, the nonconservative products and the algebraic source terms, and also when performing the piecewise linear data reconstruction. This results in a rather simple modification of the underlying second order FV scheme, which, however, being able to cancel numerical errors committed with respect to the equilibrium component of the numerical solution, substantially improves the accuracy and long-time stability of the numerical scheme when simulating small perturbations of stationary equilibria. In particular, the need for well balanced techniques appears to be more and more crucial as the applications increase their complexity. We close the paper with a series of numerical tests of increasing difficulty, where we study the evolution of small perturbations of accretion problems and stable TOV neutron stars. Our results show that the well balancing significantly improves the long-time stability of the finite volume scheme compared to a standard one. △ Less

Submitted 6 August, 2021; originally announced August 2021.

Simulation of non-Newtonian viscoplastic flows with a unified first order hyperbolic model and a structure-preserving semi-implicit scheme

Authors: Ilya Peshkov, Michael Dumbser, Walter Boscheri, Evgeniy Romenski, Simone Chiocchetti, Matteo Ioriatti

Abstract: We discuss the applicability of a unified hyperbolic model for continuum fluid and solid mechanics to modeling non-Newtonian flows and in particular to modeling the stress-driven solid-fluid transformations in flows of viscoplastic fluids, also called yield-stress fluids. In contrast to the conventional approaches relying on the non-linear viscosity concept of the Navier-Stokes theory and represen… ▽ More We discuss the applicability of a unified hyperbolic model for continuum fluid and solid mechanics to modeling non-Newtonian flows and in particular to modeling the stress-driven solid-fluid transformations in flows of viscoplastic fluids, also called yield-stress fluids. In contrast to the conventional approaches relying on the non-linear viscosity concept of the Navier-Stokes theory and representation of the solid state as an infinitely rigid non-deformable solid, the solid state in our theory is deformable and the fluid state is considered rather as a "melted" solid via a certain procedure of relaxation of tangential stresses similar to Maxwell's visco-elasticity theory. The model is formulated as a system of first-order hyperbolic partial differential equations with possibly stiff non-linear relaxation source terms. The computational strategy is based on a staggered semi-implicit scheme which can be applied in particular to low-Mach number flows as usually required for flows of non-Newtonian fluids. The applicability of the model and numerical scheme is demonstrated on a few standard benchmark test cases such as Couette, Hagen-Poiseuille, and lid-driven cavity flows. The numerical solution is compared with analytical or numerical solutions of the Navier-Stokes theory with the Herschel-Bulkley constitutive model for nonlinear viscosity. △ Less

Submitted 24 April, 2021; v1 submitted 14 December, 2020; originally announced December 2020.

Comments: The old title "Modeling solid-fluid transformations in non-Newtonian viscoplastic flows with a unified flow theory" has been changed to the title of the published version "Simulation of non-Newtonian viscoplastic flows with a unified first order hyperbolic model and a structure-preserving semi-implicit scheme"

A simple but efficient concept of blended teaching of mathematics for engineering students during the COVID-19 pandemic

Authors: Saray Busto, Michael Dumbser, Elena Gaburro

Abstract: We present a simple but efficient concept for the realization of blended teaching of mathematics and its applications in theoretical mechanics that was conceived, tested and implemented at the University of Trento, Italy, during the COVID-19 pandemic. The concept foresees traditional blackboard lectures with a reduced number of students present in the lecture hall, while the same lectures are simu… ▽ More We present a simple but efficient concept for the realization of blended teaching of mathematics and its applications in theoretical mechanics that was conceived, tested and implemented at the University of Trento, Italy, during the COVID-19 pandemic. The concept foresees traditional blackboard lectures with a reduced number of students present in the lecture hall, while the same lectures are simultaneously made available to the remaining students via high quality low-bandwidth online streaming. Based on our first assumption that traditional blackboard lectures, including the gestures and the facial expressions of the professor, are still a very efficient and highly appreciated means of teaching mathematics, this paper deliberately does not want to propose a novel pedagogical concept of how to teach mathematics, but rather presents a technical concept how to preserve the quality of traditional blackboard lectures even during the pandemic and how to make them available to the students at home via online streaming with adequate audio and video quality at low internet bandwidth. The second assumption is that the teaching of mathematics is a dynamic creative process that requires the physical presence of students in the lecture hall as audience so that the professor can instantaneously fine-tune the evolution of the lecture according to his/her perception of the level of attention and the facial expressions of the students. The third assumption of this paper is that students need to have the possibility to interact with each other personally. We report on the necessary hardware, software and logistics, and on the perception of the proposed blended lectures by students from civil and environmental engineering at the University of Trento, compared to traditional lectures and also compared to the pure online lectures that were needed as emergency measure at the beginning of the pandemic. △ Less

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

Comments: Link to the published journal paper: https://www.mdpi.com/2227-7102/11/2/56

Journal ref: Education Science, 11(2), 56, 2021

A posteriori subcell finite volume limiter for general PNPM schemes: applications from gasdynamics to relativistic magnetohydrodynamics

Authors: Elena Gaburro, Michael Dumbser

Abstract: In this work, we consider the general family of the so called ADER PNPM schemes for the numerical solution of hyperbolic partial differential equations with \textit{arbitrary} high order of accuracy in space and time. The family of one-step PNPM schemes was introduced in [Dumbser et al., JCP, 2008] and represents a unified framework for classical high order Finite Volume (FV) schemes (N=0), the… ▽ More In this work, we consider the general family of the so called ADER PNPM schemes for the numerical solution of hyperbolic partial differential equations with \textit{arbitrary} high order of accuracy in space and time. The family of one-step PNPM schemes was introduced in [Dumbser et al., JCP, 2008] and represents a unified framework for classical high order Finite Volume (FV) schemes (N=0), the usual Discontinuous Galerkin (DG) methods (N=M), as well as a new class of intermediate hybrid schemes for which a reconstruction operator of degree M is applied over piecewise polynomial data of degree N with M>N. In all cases with M >= N > 0 the PNPM schemes are linear in the sense of Godunov, thus when considering phenomena characterized by discontinuities, spurious oscillations may appear and even destroy the simulation. Therefore, in this paper we present a new simple, robust and accurate a posteriori subcell finite volume limiting strategy that is valid for the entire class of PNPM schemes. The subcell FV limiter is activated only where it is needed, i.e. in the neighborhood of shocks or other discontinuities, and is able to maintain the resolution of the underlying high order PNPM schemes, due to the use of a rather fine subgrid of 2N+1 subcells per space dimension. The paper contains a wide set of test cases for different hyperbolic PDE systems, solved on adaptive Cartesian meshes (AMR) that show the capabilities of the proposed method both on smooth and discontinuous problems, as well as the broad range of its applicability. The tests range from compressible gasdynamics over classical MHD to relativistic magnetohydrodynamics. △ Less

Submitted 9 October, 2020; originally announced October 2020.

Curl constraint-preserving reconstruction and the guidance it gives for mimetic scheme design

Authors: Dinshaw S. Balsara, Roger Käppeli, Walter Boscheri, Michael Dumbser

Abstract: Several important PDE systems, like magnetohydrodynamics and computational electrodynamics, are known to support involutions where the divergence of a vector field evolves in divergence-free or divergence constraint-preserving fashion. Recently, new classes of PDE systems have emerged for hyperelasticity, compressible multiphase flows, so-called first order reductions of the Einstein field equatio… ▽ More Several important PDE systems, like magnetohydrodynamics and computational electrodynamics, are known to support involutions where the divergence of a vector field evolves in divergence-free or divergence constraint-preserving fashion. Recently, new classes of PDE systems have emerged for hyperelasticity, compressible multiphase flows, so-called first order reductions of the Einstein field equations, or a novel first order hyperbolic reformulation of Schrödinger's equation, to name a few, where the involution in the PDE supports curl-free or curl constraint-preserving evolution of a vector field. Since mimetic numerical schemes for the solution of the former class of PDEs are well-developed, we draw guidance from them for the solution of the latter class of PDEs. We show that a study of the curl constraint-preserving reconstruction gives us a great deal of insight into the design of consistent, mimetic schemes for these involutionary PDEs. The importance of multidimensional Riemann solvers in facilitating the design of such schemes is also documented. We study the problem of curl constraint-preserving reconstruction as it pertains to the design of mimetic discontinuous Galerkin (DG) and finite volume (FV) schemes for PDEs that support such an involution. This is done for two and three dimensional structured mesh problems where we deliver closed form expressions for the reconstruction. The role that this reconstruction plays in the curl-free, or curl-preserving prolongation of vector fields in adaptive mesh refinement (AMR) is also discussed. In two dimensions, a von Neumann analysis of structure-preserving DG-like schemes that mimetically satisfy the curl constraints, is also presented. Numerical results are also presented to show that the schemes meet their design accuracy. △ Less

Submitted 4 September, 2021; v1 submitted 8 September, 2020; originally announced September 2020.

A structure-preserving staggered semi-implicit finite volume scheme for continuum mechanics

Authors: Walter Boscheri, Michael Dumbser, Matteo Ioriatti, Ilya Peshkov, Evgeniy Romenski

Abstract: We propose a new pressure-based structure-preserving (SP) and quasi asymptotic preserving (AP) staggered semi-implicit finite volume scheme for the unified first order hyperbolic formulation of continuum mechanics. The unified model is based on the theory of symmetric-hyperbolic and thermodynamically compatible (SHTC) systems and includes the description of elastic and elasto-plastic solids in the… ▽ More We propose a new pressure-based structure-preserving (SP) and quasi asymptotic preserving (AP) staggered semi-implicit finite volume scheme for the unified first order hyperbolic formulation of continuum mechanics. The unified model is based on the theory of symmetric-hyperbolic and thermodynamically compatible (SHTC) systems and includes the description of elastic and elasto-plastic solids in the nonlinear large-strain regime as well as viscous and inviscid heat-conducting fluids, which correspond to the stiff relaxation limit of the model. In the absence of relaxation source terms, the homogeneous PDE system is endowed with two stationary linear differential constraints (involutions), which require the curl of distortion field and the curl of the thermal impulse to be zero for all times. In the stiff relaxation limit, the unified model tends asymptotically to the compressible Navier-Stokes equations. The new structure-preserving scheme presented in this paper can be proven to be exactly curl-free for the homogeneous part of the PDE system, i.e. in the absence of relaxation source terms. We furthermore prove that the scheme is quasi asymptotic preserving in the stiff relaxation limit, in the sense that the numerical scheme reduces to a consistent second-order accurate discretization of the compressible Navier-Stokes equations when the relaxation times tend to zero. Last but not least, the proposed scheme is suitable for the simulation of all Mach number flows thanks to its conservative formulation and the implicit discretization of the pressure terms. △ Less

Submitted 4 November, 2020; v1 submitted 8 May, 2020; originally announced May 2020.

High order ADER-DG schemes for the simulation of linear seismic waves induced by nonlinear dispersive free-surface water waves

Authors: Caterina Bassi, Saray Busto, Michael Dumbser

Abstract: In this paper, we propose a unified and high order accurate fully-discrete one-step ADER Discontinuous Galerkin method for the simulation of linear seismic waves in the sea bottom that are generated by the propagation of free surface water waves. A hyperbolic reformulation of the Serre-Green-Naghdi model for nonlinear dispersive free surface flows is coupled with a first order velocity-stress form… ▽ More In this paper, we propose a unified and high order accurate fully-discrete one-step ADER Discontinuous Galerkin method for the simulation of linear seismic waves in the sea bottom that are generated by the propagation of free surface water waves. A hyperbolic reformulation of the Serre-Green-Naghdi model for nonlinear dispersive free surface flows is coupled with a first order velocity-stress formulation for linear elastic wave propagation in the sea bottom. Cartesian non-conforming meshes are defined and the coupling is achieved by an appropriate time-dependent pressure boundary condition in the three-dimensional domain for the elastic wave propagation, where the pressure is a combination of hydrostatic and non-hydrostatic pressure in the water column above the sea bottom. The use of a first order hyperbolic reformulation of the nonlinear dispersive free surface flow model leads to a straightforward coupling with the linear seismic wave equations, which are also written in first order hyperbolic form. It furthermore allows the use of explicit time integrators with a rather generous CFL-type time step restriction associated with the dispersive water waves, compared to numerical schemes applied to classical dispersive models. Since the two systems employed are written in the same form of a first order hyperbolic system they can also be efficiently solved in a unique numerical framework. We choose the family of arbitrary high order accurate discontinuous Galerkin finite element schemes. The developed methodology is carefully assessed by first considering several benchmarks for each system separately showing a good agreement with exact and numerical reference solutions. Finally, also coupled test cases are addressed. Throughout this paper we assume the elastic deformations in the solid to be sufficiently small so that their influence on the free surface water waves can be neglected. △ Less

Submitted 7 April, 2020; originally announced April 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.

A novel staggered semi-implicit space-time discontinuous Galerkin method for the incompressible Navier-Stokes equations

Authors: Francesco Lohengrin Romeo, Michael Dumbser, Maurizio Tavelli

Abstract: A new high order accurate staggered semi-implicit space-time discontinuous Galerkin (DG) method is presented for the simulation of viscous incompressible flows on unstructured triangular grids in two space dimensions. The staggered DG scheme defines the discrete pressure on the primal triangular mesh, while the discrete velocity is defined on a staggered edge-based dual quadrilateral mesh. In this… ▽ More A new high order accurate staggered semi-implicit space-time discontinuous Galerkin (DG) method is presented for the simulation of viscous incompressible flows on unstructured triangular grids in two space dimensions. The staggered DG scheme defines the discrete pressure on the primal triangular mesh, while the discrete velocity is defined on a staggered edge-based dual quadrilateral mesh. In this paper, a new pair of equal-order-interpolation velocity-pressure finite elements is proposed. On the primary triangular mesh (the pressure elements) the basis functions are piecewise polynomials of degree $N$ and are allowed to jump on the boundaries of each triangle. On the dual mesh instead (the velocity elements), the basis functions consist in the union of piecewise polynomials of degree $N$ on the two subtriangles that compose each quadrilateral and are allowed to jump only on the dual element boundaries, while they are continuous inside. In other words, the basis functions on the dual mesh are built by continuous finite elements on the subtriangles. This choice allows the construction of an efficient, quadrature-free and memory saving algorithm. In our coupled space-time pressure correction formulation for the incompressible Navier-Stokes equations, arbitrary high order of accuracy in time is achieved through the use of time-dependent test and basis functions, in combination with simple and efficient Picard iterations. Several numerical tests on classical benchmarks confirm that the proposed method outperforms existing staggered semi-implicit space-time DG schemes, not only from a computer memory point of view, but also concerning the computational time. △ Less

Submitted 15 March, 2020; originally announced March 2020.

Comments: 42 pages, 22 figures. Submitted to "Communications on Applied Mathematics and Computation"

MSC Class: 35M33; 35Q30; 65A05; 65M60; 76D05 ACM Class: G.1.8

Journal ref: Communications on Applied Mathematics and Computation (2020)

On numerical methods for hyperbolic PDE with curl involutions

Authors: Michael Dumbser, Simone Chiocchetti, Ilya Peshkov

Abstract: In this paper we present three different numerical approaches to account for curl-type involution constraints in hyperbolic partial differential equations for continuum physics. All approaches have a direct analogy to existing and well-known divergence-preserving schemes for the Maxwell and MHD equations. The first method consists in a generalization of the Godunov-Powell terms, which means adding… ▽ More In this paper we present three different numerical approaches to account for curl-type involution constraints in hyperbolic partial differential equations for continuum physics. All approaches have a direct analogy to existing and well-known divergence-preserving schemes for the Maxwell and MHD equations. The first method consists in a generalization of the Godunov-Powell terms, which means adding suitable multiples of the involution constraints to the PDE system in order to achieve the symmetric Godunov form. The second method is an extension of the generalized Lagrangian multiplier (GLM) approach of Munz et al., where the numerical errors in the involution constraint are propagated away via an augmented PDE system. The last method is an exactly involution preserving discretization, similar to the exactly divergence-free schemes for the Maxwell and MHD equations, making use of appropriately staggered meshes. We present some numerical results that allow to compare all three approaches with each other. △ Less

Submitted 5 March, 2020; originally announced March 2020.

Space-time adaptive ADER discontinuous Galerkin schemes for nonlinear hyperelasticity with material failure

Authors: Maurizio Tavelli, Simone Chiocchetti, Evgeniy Romenski, Alice-Agnes Gabriel, Michael Dumbser

Abstract: We are concerned with the numerical solution of a unified first order hyperbolic formulation of continuum mechanics that originates from the work of Godunov, Peshkov and Romenski (GPR model) and which is an extension of nonlinear hyperelasticity that is able to describe simultaneously nonlinear elasto-plastic solids at large strain, as well as viscous and ideal fluids. The proposed governing PDE s… ▽ More We are concerned with the numerical solution of a unified first order hyperbolic formulation of continuum mechanics that originates from the work of Godunov, Peshkov and Romenski (GPR model) and which is an extension of nonlinear hyperelasticity that is able to describe simultaneously nonlinear elasto-plastic solids at large strain, as well as viscous and ideal fluids. The proposed governing PDE system also contains the effect of heat conduction and can be shown to be symmetric and thermodynamically compatible. In this paper we extend the GPR model to the simulation of nonlinear dynamic rupture processes and material fatigue effects, by adding a new scalar variable to the governing PDE system. This extra parameter describes the material damage and is governed by an advection-reaction equation, where the stiff and highly nonlinear reaction mechanisms depend on the ratio of the local von Mises stress to the yield stress of the material. The stiff reaction mechanisms are integrated in time via an efficient exponential time integrator. Due to the multiple space-time scales, the model is solved on space-time adaptive Cartesian meshes using high order discontinuous Galerkin finite element schemes with a posteriori subcell finite volume limiting. A key feature of our new model is the use of a twofold diffuse interface approach that allows the cracks to form anywhere and at any time, independently of the chosen computational grid, without requiring that the geometry of the rupture fault be known a priori. We furthermore make use of a scalar volume fraction function that indicates whether a given point is inside the solid or outside, allowing the description of solids of arbitrarily complex shape. △ Less

Submitted 3 August, 2020; v1 submitted 5 March, 2020; originally announced March 2020.

High order ADER schemes and GLM curl cleaning for a first order hyperbolic formulation of compressible flow with surface tension

Authors: Simone Chiocchetti, Ilya Peshkov, Sergey Gavrilyuk, Michael Dumbser

Abstract: In this work, we introduce two novel reformulations of a recent weakly hyperbolic model for two-phase flow with surface tension. In the model, the tracking of phase boundaries is achieved by using a vector interface field, rather than a scalar tracer, so that the surface-force stress tensor can be expressed as an algebraic function of the state variables, without requiring the computation of gradi… ▽ More In this work, we introduce two novel reformulations of a recent weakly hyperbolic model for two-phase flow with surface tension. In the model, the tracking of phase boundaries is achieved by using a vector interface field, rather than a scalar tracer, so that the surface-force stress tensor can be expressed as an algebraic function of the state variables, without requiring the computation of gradients of the tracer. An interesting and important feature of the model is that this interface field obeys a curl involution constraint, that is, the vector field is required to be curl-free at all times. The proposed modifications are intended to restore the strong hyperbolicity of the model, and are closely related to divergence-preserving numerical approaches developed in the field of numerical magnetohydrodynamics (MHD). The first strategy is based on the theory of Symmetric Hyperbolic and Thermodynamically Compatible (SHTC) systems forwarded by Godunov in the 60s and 70s and yields a modified system of governing equations which includes some symmetrisation terms, in analogy to the approach adopted later by Powell et al for the ideal MHD equations. The second technique is an extension of the hyperbolic Generalized Lagrangian Multiplier (GLM) divergence cleaning approach, forwarded by Munz et al in applications to the Maxwell and MHD equations. We solve the resulting nonconservative hyperbolic PDE systems with high order ADER Discontinuous Galerkin (DG) methods with a posteriori Finite Volume subcell limiting and carry out a set of numerical tests concerning flows dominated by surface tension as well as shock-driven flows. We also provide a new exact solution to the equations, show convergence of the schemes for orders of accuracy up to ten in space and time, and investigate the role of hyperbolicity and of curl constraints in the long-term stability of the computations. △ Less

Submitted 20 February, 2020; originally announced February 2020.

A simple diffuse interface approach for compressible flows around moving solids of arbitrary shape based on a reduced Baer-Nunziato model

Authors: Friedemann Kemm, Elena Gaburro, Ferdinand Thein, Michael Dumbser

Abstract: In this paper we propose a new diffuse interface model for the numerical simulation of inviscid compressible flows around fixed and moving solid bodies of arbitrary shape. The solids are assumed to be moving rigid bodies, without any elastic properties. The model is a simplified case of the seven-equation Baer-Nunziato model of compressible multi-phase flows, and results in a nonlinear hyperbolic… ▽ More In this paper we propose a new diffuse interface model for the numerical simulation of inviscid compressible flows around fixed and moving solid bodies of arbitrary shape. The solids are assumed to be moving rigid bodies, without any elastic properties. The model is a simplified case of the seven-equation Baer-Nunziato model of compressible multi-phase flows, and results in a nonlinear hyperbolic system with non-conservative products. The geometry of the solid bodies is simply specified via a scalar field that represents the volume fraction of the fluid present in each control volume. This allows the discretization of arbitrarily complex geometries on simple uniform or adaptive Cartesian meshes. Inside the solid bodies, the fluid volume fraction is zero, while it is unitary in the fluid phase. We prove that at the material interface, i.e. where the volume fraction jumps from unity to zero, the normal component of the fluid velocity assumes the value of the normal component of the solid velocity. This result can be directly derived from the governing equations, either via Riemann invariants or from the generalized Rankine Hugoniot conditions according to the theory of Dal Maso, Le Floch and Murat, which justifies the use of a path-conservative approach for treating the nonconservative products. The governing equations of our new model are solved on uniform Cartesian grids via a high order path-conservative ADER discontinuous Galerkin (DG) method with a posteriori sub-cell finite volume (FV) limiter. Since the numerical method is of the shock capturing type, the fluid-solid boundary is never explicitly tracked by the numerical method, neither via interface reconstruction, nor via mesh motion. The effectiveness of the proposed approach is tested on a set of numerical test problems, including 1D Riemann problems as well as supersonic flows over fixed and moving rigid bodies. △ Less

Submitted 25 March, 2020; v1 submitted 28 January, 2020; originally announced January 2020.

Numerical methods for hydraulic transients in visco-elastic pipes

Authors: Giulia Bertaglia, Matteo Ioriatti, Alessandro Valiani, Michael Dumbser, Valerio Caleffi

Abstract: A wide and critical comparison of the capability of Method of Characteristics, Explicit Path-Conservative Finite Volume Method and Semi-Implicit Staggered Finite Volume Method is presented and discussed, in terms of accuracy and efficiency. The viscoelastic behaviour of the pipe wall, the effects of the unsteadiness of the flow on the friction losses, cavitation and cross-sectional changes are con… ▽ More A wide and critical comparison of the capability of Method of Characteristics, Explicit Path-Conservative Finite Volume Method and Semi-Implicit Staggered Finite Volume Method is presented and discussed, in terms of accuracy and efficiency. The viscoelastic behaviour of the pipe wall, the effects of the unsteadiness of the flow on the friction losses, cavitation and cross-sectional changes are considered. The analyses are performed comparing numerical solutions obtained using the three models against experimental data and analytical solutions. Water hammer studies in high density polyethylene pipes, for which laboratory data have been provided, are used as test cases. Considering the viscoelastic mechanical behaviour of plastic materials, a 3-parameter and a multi-parameter linear viscoelastic rheological model are adopted and implemented in each numerical scheme. Original extensions of existing techniques for the numerical treatment of such viscoelastic models are introduced in this work for the first time. After a focused calibration of the viscoelastic parameters, the different performance of the numerical models is investigated. A comparison of the results is presented considering the unsteady wall-shear stress, with a new approach proposed for turbulent flows, or simply considering a quasi-steady friction model. A predominance of the damping effect due to viscoelasticity with respect to the damping effect related to the unsteady friction is confirmed in these contexts. All the numerical methods show a good agreement with the experimental data and a high efficiency of the Method of Characteristics in standard configuration is observed. Three Riemann Problems are chosen and run to stress the numerical methods, considering cross-sectional changes, more flexible materials and cavitation cases. In these demanding scenarios, the weak spots of the Method of Characteristics are depicted. △ Less

Submitted 6 December, 2019; originally announced December 2019.

Journal ref: J. Fluids Struct. 81 (2018) 230-254

High order ADER schemes for continuum mechanics

Authors: Saray Busto, Simone Chiocchetti, Michael Dumbser, Elena Gaburro, Ilya Peshkov

Abstract: In this paper we first review the development of high order ADER finite volume and ADER discontinuous Galerkin schemes on fixed and moving meshes, since their introduction in 1999 by Toro et al. We show the modern variant of ADER based on a space-time predictor-corrector formulation in the context of ADER discontinuous Galerkin schemes with a posteriori subcell finite volume limiter on fixed and m… ▽ More In this paper we first review the development of high order ADER finite volume and ADER discontinuous Galerkin schemes on fixed and moving meshes, since their introduction in 1999 by Toro et al. We show the modern variant of ADER based on a space-time predictor-corrector formulation in the context of ADER discontinuous Galerkin schemes with a posteriori subcell finite volume limiter on fixed and moving grids, as well as on space-time adaptive Cartesian AMR meshes. We then present and discuss the unified symmetric hyperbolic and thermodynamically compatible (SHTC) formulation of continuum mechanics developed by Godunov, Peshkov and Romenski (GPR model), which allows to describe fluid and solid mechanics in one single and unified first order hyperbolic system. In order to deal with free surface and moving boundary problems, a simple diffuse interface approach is employed, which is compatible with Eulerian schemes on fixed grids as well as direct Arbitrary-Lagrangian-Eulerian methods on moving meshes. We show some examples of moving boundary problems in fluid and solid mechanics. △ Less

Submitted 24 February, 2020; v1 submitted 4 December, 2019; originally announced December 2019.

Journal ref: Frontiers in Physics, 2020

On GLM curl cleaning for a first order reduction of the CCZ4 formulation of the Einstein field equations

Authors: Michael Dumbser, Francesco Fambri, Elena Gaburro, Anne Reinarz

Abstract: In this paper we propose an extension of the generalized Lagrangian multiplier method (GLM) of Munz et al. (JCP 2000, JCP 2002), which was originally conceived for the numerical solution of the Maxwell and MHD equations with divergence-type involutions, to the case of hyperbolic PDE systems with curl-type involutions. The key idea here is to solve an augmented PDE system, in which curl errors prop… ▽ More In this paper we propose an extension of the generalized Lagrangian multiplier method (GLM) of Munz et al. (JCP 2000, JCP 2002), which was originally conceived for the numerical solution of the Maxwell and MHD equations with divergence-type involutions, to the case of hyperbolic PDE systems with curl-type involutions. The key idea here is to solve an augmented PDE system, in which curl errors propagate away via a Maxwell-type evolution system. The new approach is first presented on a simple model problem, in order to explain the basic ideas. Subsequently, we apply it to a strongly hyperbolic first order reduction of the CCZ4 formulation (FO-CCZ4) of the Einstein field equations of general relativity, which is endowed with 11 curl constraints. Several numerical examples, including the long-time evolution of a stable neutron star in anti-Cowling approximation, are presented in order to show the obtained improvements with respect to the standard formulation without special treatment of the curl involution constraints. The main advantages of the proposed GLM approach are its complete independence of the underlying numerical scheme and grid topology and its easy implementation into existing computer codes. However, this flexibility comes at the price of needing to add for each curl involution one additional 3 vector plus another scalar in the augmented system for homogeneous curl constraints, and even two additional scalars for non-homogeneous curl involutions. For the FO-CCZ4 system with 11 homogeneous curl involutions, this means that additional 44 evolution quantities need to be added. △ Less

Submitted 20 November, 2019; v1 submitted 8 September, 2019; originally announced September 2019.

Efficient high order accurate staggered semi-implicit discontinuous Galerkin methods for natural convection problems

Authors: Saray Busto, Maurizio Tavelli, Walter Boscheri, Michael Dumbser

Abstract: We propose a new family of high order staggered semi-implicit discontinuous Galerkin (DG) methods for the simulation of natural convection problems. Assuming small temperature fluctuations, the Boussinesq approximation is valid and the flow can simply be modeled by the incompressible Navier-Stokes equations coupled with a transport equation for the temperature and a buoyancy source term in the mom… ▽ More We propose a new family of high order staggered semi-implicit discontinuous Galerkin (DG) methods for the simulation of natural convection problems. Assuming small temperature fluctuations, the Boussinesq approximation is valid and the flow can simply be modeled by the incompressible Navier-Stokes equations coupled with a transport equation for the temperature and a buoyancy source term in the momentum equation. Our numerical scheme is developed starting from the work presented in [TD14], in which the spatial domain is discretized using a face-based staggered unstructured mesh. For the computation of the advection and diffusion terms, two different algorithms are presented: i) a purely Eulerian explicit upwind-type scheme and ii) a semi-Lagrangian approach. The first methodology leads to a conservative scheme whose major drawback is the time step restriction imposed by the CFL stability condition. On the contrary, computational efficiency can be notably improved relying on a semi-Lagrangian approach. This method leads to an unconditionally stable scheme if the diffusive terms are discretized implicitly. Once the advection and diffusion contributions have been computed, the pressure Poisson equation is solved and the velocity is updated. As a second model for the computation of buoyancy-driven flows, we also consider the full compressible Navier-Stokes equations. The staggered semi-implicit DG method first proposed in [TD17] for all Mach number flows is properly extended to account for the gravity source terms arising in the momentum and energy conservation laws. The validity and the robustness of our novel class of staggered semi-implicit DG schemes is assessed at the aid of several classical benchmark problems, showing in all cases a good agreement with available numerical reference data. Finally, a detailed comparison between the incompressible and the compressible solver is presented. △ Less

Submitted 4 December, 2019; v1 submitted 3 June, 2019; originally announced June 2019.

ExaHyPE: An Engine for Parallel Dynamically Adaptive Simulations of Wave Problems

Authors: Anne Reinarz, Dominic E. Charrier, Michael Bader, Luke Bovard, Michael Dumbser, Kenneth Duru, Francesco Fambri, Alice-Agnes Gabriel, Jean-Matthieu Gallard, Sven Köppel, Lukas Krenz, Leonhard Rannabauer, Luciano Rezzolla, Philipp Samfass, Maurizio Tavelli, Tobias Weinzierl

Abstract: ExaHyPE ("An Exascale Hyperbolic PDE Engine") is a software engine for solving systems of first-order hyperbolic partial differential equations (PDEs). Hyperbolic PDEs are typically derived from the conservation laws of physics and are useful in a wide range of application areas. Applications powered by ExaHyPE can be run on a student's laptop, but are also able to exploit thousands of processor c… ▽ More ExaHyPE ("An Exascale Hyperbolic PDE Engine") is a software engine for solving systems of first-order hyperbolic partial differential equations (PDEs). Hyperbolic PDEs are typically derived from the conservation laws of physics and are useful in a wide range of application areas. Applications powered by ExaHyPE can be run on a student's laptop, but are also able to exploit thousands of processor cores on state-of-the-art supercomputers. The engine is able to dynamically increase the accuracy of the simulation using adaptive mesh refinement where required. Due to the robustness and shock capturing abilities of ExaHyPE's numerical methods, users of the engine can simulate linear and non-linear hyperbolic PDEs with very high accuracy. Users can tailor the engine to their particular PDE by specifying evolved quantities, fluxes, and source terms. A complete simulation code for a new hyperbolic PDE can often be realised within a few hours - a task that, traditionally, can take weeks, months, often years for researchers starting from scratch. In this paper, we showcase ExaHyPE's workflow and capabilities through real-world scenarios from our two main application areas: seismology and astrophysics. △ Less

Submitted 18 May, 2020; v1 submitted 20 May, 2019; originally announced May 2019.

High order direct Arbitrary-Lagrangian-Eulerian schemes on moving Voronoi meshes with topology changes

Authors: Elena Gaburro, Walter Boscheri, Simone Chiocchetti, Christian Klingenberg, Volker Springel, Michael Dumbser

Abstract: We present a new family of very high order accurate direct Arbitrary-Lagrangian-Eulerian (ALE) Finite Volume (FV) and Discontinuous Galerkin (DG) schemes for the solution of nonlinear hyperbolic PDE systems on moving 2D Voronoi meshes that are regenerated at each time step and which explicitly allow topology changes in time. The Voronoi tessellations are obtained from a set of generator points t… ▽ More We present a new family of very high order accurate direct Arbitrary-Lagrangian-Eulerian (ALE) Finite Volume (FV) and Discontinuous Galerkin (DG) schemes for the solution of nonlinear hyperbolic PDE systems on moving 2D Voronoi meshes that are regenerated at each time step and which explicitly allow topology changes in time. The Voronoi tessellations are obtained from a set of generator points that move with the local fluid velocity. We employ an AREPO-type approach, which rapidly rebuilds a new high quality mesh rearranging the element shapes and neighbors in order to guarantee a robust mesh evolution even for vortex flows and very long simulation times. The old and new Voronoi elements associated to the same generator are connected to construct closed space--time control volumes, whose bottom and top faces may be polygons with a different number of sides. We also incorporate degenerate space--time sliver elements, needed to fill the space--time holes that arise because of topology changes. The final ALE FV-DG scheme is obtained by a redesign of the fully discrete direct ALE schemes of Boscheri and Dumbser, extended here to moving Voronoi meshes and space--time sliver elements. Our new numerical scheme is based on the integration over arbitrary shaped closed space--time control volumes combined with a fully-discrete space--time conservation formulation of the governing PDE system. In this way the discrete solution is conservative and satisfies the GCL by construction. Numerical convergence studies as well as a large set of benchmarks for hydrodynamics and magnetohydrodynamics (MHD) demonstrate the accuracy and robustness of the proposed method. Our numerical results clearly show that the new combination of very high order schemes with regenerated meshes with topology changes lead to substantial improvements compared to direct ALE methods on conforming meshes. △ Less

Submitted 2 November, 2019; v1 submitted 2 May, 2019; originally announced May 2019.

Efficient implementation of ADER discontinuous Galerkin schemes for a scalable hyperbolic PDE engine

Authors: Michael Dumbser, Francesco Fambri, Maurizio Tavelli, Michael Bader, Tobias Weinzierl

Abstract: In this paper we discuss a new and very efficient implementation of high order accurate ADER discontinuous Galerkin (ADER-DG) finite element schemes on modern massively parallel supercomputers. The numerical methods apply to a very broad class of nonlinear systems of hyperbolic partial differential equations. ADER-DG schemes are by construction communication avoiding and cache blocking and are fur… ▽ More In this paper we discuss a new and very efficient implementation of high order accurate ADER discontinuous Galerkin (ADER-DG) finite element schemes on modern massively parallel supercomputers. The numerical methods apply to a very broad class of nonlinear systems of hyperbolic partial differential equations. ADER-DG schemes are by construction communication avoiding and cache blocking and are furthermore very well-suited for vectorization, so that they appear to be a good candidate for the future generation of exascale supercomputers. We introduce the numerical algorithm and show some applications to a set of hyperbolic equations with increasing level of complexity, ranging from the compressible Euler equations over the equations of linear elasticity and the unified Godunov-Peshkov-Romenski (GPR) model of continuum mechanics to general relativistic magnetohydrodynamics (GRMHD) and the Einstein field equations of general relativity. We present strong scaling results of the new ADER-DG schemes up to 180,000 CPU cores. To our knowledge, these are the largest runs ever carried out with high order ADER-DG schemes for nonlinear hyperbolic PDE systems. We also provide a detailed performance comparison with traditional Runge-Kutta DG schemes. △ Less

Submitted 11 August, 2018; originally announced August 2018.

Comments: 26 pages, 10 figures, 2 tables

An efficient semi-implicit method for three-dimensional non-hydrostatic flows in compliant arterial vessels

Authors: Francesco Fambri, Michael Dumbser, Vincenzo Casulli

Abstract: Blood flow in arterial systems can be described by the three-dimensional Navier-Stokes equations within a time-dependent spatial domain that accounts for the elasticity of the arterial walls. In this article blood is treated as an incompressible Newtonian fluid that flows through compliant vessels of general cross section. A three-dimensional semi-implicit finite difference and finite volume model… ▽ More Blood flow in arterial systems can be described by the three-dimensional Navier-Stokes equations within a time-dependent spatial domain that accounts for the elasticity of the arterial walls. In this article blood is treated as an incompressible Newtonian fluid that flows through compliant vessels of general cross section. A three-dimensional semi-implicit finite difference and finite volume model is derived so that numerical stability is obtained at a low computational cost on a staggered grid. The key idea of the method consists in a splitting of the pressure into a hydrostatic and a non-hydrostatic part, where first a small quasi-one-dimensional nonlinear system is solved for the hydrostatic pressure and only in a second step the fully three-dimensional non-hydrostatic pressure is computed from a three-dimensional nonlinear system as a correction to the hydrostatic one. The resulting algorithm is robust, efficient, locally and globally mass conservative and applies to hydrostatic and non hydrostatic flows in one, two and three space dimensions. These features are illustrated on nontrivial test cases for flows in tubes with circular or elliptical cross section where the exact analytical solution is known. Test cases of steady and pulsatile flows in uniformly curved rigid and elastic tubes are presented. Wherever possible, axial velocity development and secondary flows are shown and compared with previously published results. △ Less

Submitted 11 August, 2018; originally announced August 2018.

Comments: 30 pages, 15 figures, 5 tables

Journal ref: Int. J. Numer. Meth. Biomed. Engng., 30, pages 1170-1198 (2014)

A well balanced diffuse interface method for complex nonhydrostatic free surface flows

Authors: Elena Gaburro, Manuel J. Castro, Michael Dumbser

Abstract: In this paper we propose an efficient second order well balanced finite volume method for modeling complex free surface flows at the aid of a simple diffuse interface method. The employed physical model is a two-phase model derived from the Baer-Nunziato system for compressible multi-phase flows. In particular, as proposed for the first time in Dumbser (2011), the number of equations is reduced fr… ▽ More In this paper we propose an efficient second order well balanced finite volume method for modeling complex free surface flows at the aid of a simple diffuse interface method. The employed physical model is a two-phase model derived from the Baer-Nunziato system for compressible multi-phase flows. In particular, as proposed for the first time in Dumbser (2011), the number of equations is reduced from seven to three by assuming that the relative pressure of the gas with respect to the atmospheric reference pressure is zero, and that the gas momentum is negligible compared to the one of the liquid. The two-phase model does not make any of the classical assumptions of shallow water type systems, hence it does not neglect vertical accelerations and the free surface is not constraint to be a single-valued function, so even complex shapes as those of breaking waves can be properly captured. The resulting PDE system is solved by a novel well balanced path-conservative finite volume method on structured Cartesian grids, which is able to preserve exactly the equilibrium states even in the presence of obstacles. It furthermore automatically computes the location of the water-air interfaces, and assures low numerical dissipation at the free surface thanks to a novel Osher-Romberg-type Riemann solver. Finally, high computational performance is guaranteed by an efficient parallel implementation on a GPU-based platform that reaches the efficiency of twenty million of volumes processed per seconds and makes it possible to employ even very fine meshes. The validation of our new well balanced scheme is carried out by comparing the obtained numerical results against existing analytical, numerical and experimental reference solutions for a large number of test cases, among which oscillating elliptical drops, dambreak problems, breaking waves, over topping weir flows, and wave impact problems. △ Less

Submitted 15 August, 2018; v1 submitted 13 June, 2018; originally announced June 2018.

A simple diffuse interface approach on adaptive Cartesian grids for the linear elastic wave equations with complex topography

Authors: Maurizio Tavelli, Michael Dumbser, Dominic Etienne Charrier, Leonhard Rannabauer, Tobias Weinzierl, Michael Bader

Abstract: In most classical approaches of computational geophysics for seismic wave propagation problems, complex surface topography is either accounted for by boundary-fitted unstructured meshes, or, where possible, by mapping the complex computational domain from physical space to a topologically simple domain in a reference coordinate system. In this paper we propose a completely different strategy. We a… ▽ More In most classical approaches of computational geophysics for seismic wave propagation problems, complex surface topography is either accounted for by boundary-fitted unstructured meshes, or, where possible, by mapping the complex computational domain from physical space to a topologically simple domain in a reference coordinate system. In this paper we propose a completely different strategy. We address the problem of geometrically complex free surface boundary conditions with a novel diffuse interface method on adaptive Cartesian meshes that consists in the introduction of a characteristic function $ 0\leqα\leq 1$ which identifies the location of the solid medium and the surrounding air and thus implicitly defines the location of the free surface boundary. Our new approach completely avoids the problem of mesh generation, since all that is needed for the definition of the complex surface topography is to set a scalar color function to unity inside the regions covered by the solid and to zero outside. An analysis of the eigenvalues of the PDE system shows that the complexity of the geometry has no influence on the admissible time step size due to the CFL condition. The model reduces to the classical linear elasticity equations inside the solid medium where the gradients of $α$ are zero, while in the diffuse interface zone at the free surface boundary the governing PDE system becomes nonlinear. We can prove that the solution of the Riemann problem with arbitrary data and a jump in $α$ from unity to zero yields a Godunov-state at the interface that satisfies the free-surface boundary condition exactly. In order to reduce numerical dissipation, we use high order DG finite element schemes on adaptive AMR grids together with a high resolution shock capturing subcell finite volume (FV) limiter in the diffuse interface region. △ Less

Submitted 25 April, 2018; originally announced April 2018.

A staggered semi-implicit hybrid FV/FE projection method for weakly compressible flows

Authors: A. Bermúdez, S. Busto, M. Dumbser, J. L. Ferrín, L. Saavedra, M. E. Vázquez-Cendón

Abstract: In this article we present a novel staggered semi-implicit hybrid finite-volume/finite-element (FV/FE) method for the resolution of weakly compressible flows in two and three space dimensions. The pressure-based methodology introduced in Bermúdez et al. 2014 and Busto et al. 2018 for viscous incompressible flows is extended here to solve the compressible Navier-Stokes equations. Instead of conside… ▽ More In this article we present a novel staggered semi-implicit hybrid finite-volume/finite-element (FV/FE) method for the resolution of weakly compressible flows in two and three space dimensions. The pressure-based methodology introduced in Bermúdez et al. 2014 and Busto et al. 2018 for viscous incompressible flows is extended here to solve the compressible Navier-Stokes equations. Instead of considering the classical system including the energy conservation equation, we replace it by the pressure evolution equation written in non-conservative form. To ease the discretization of complex spatial domains, face-type unstructured staggered meshes are considered. A projection method allows the decoupling of the computation of the density and linear momentum variables from the pressure. Then, an explicit finite volume scheme is used for the resolution of the transport diffusion equations on the dual mesh, whereas the pressure system is solved implicitly by using continuous finite elements defined on the primal simplex mesh. Consequently, the CFL stability condition depends only on the flow velocity, avoiding the severe time restrictions that might be imposed by the sound velocity in the weakly compressible regime. High order of accuracy in space and time of the transport diffusion stage is attained using a local ADER (LADER) methodology. Moreover, also the CVC Kolgan-type second order in space and first order in time scheme is considered. To prevent spurious oscillations in the presence of shocks, an ENO-based reconstruction, the minmod limiter or the Barth-Jespersen limiter are employed. To show the validity and robustness of our novel staggered semi-implicit hybrid FV/FE scheme, several benchmarks are analysed, showing a good agreement with available exact solutions and numerical reference data from low Mach numbers, up to Mach numbers of the order of unity. △ Less

Submitted 15 June, 2020; v1 submitted 28 February, 2018; originally announced February 2018.

Arbitrary high order accurate space-time discontinuous Galerkin finite element schemes on staggered unstructured meshes for linear elasticity

Authors: Maurizio Tavelli, Michael Dumbser

Abstract: In this paper we propose a new high order accurate space-time DG finite element scheme for the solution of the linear elastic wave equations in first order velocity-stress formulation in two and three-space dimensions on staggered unstructured triangular and tetrahedral meshes. The method reaches arbitrary high order of accuracy in both space and time via the use of space-time basis and test funct… ▽ More In this paper we propose a new high order accurate space-time DG finite element scheme for the solution of the linear elastic wave equations in first order velocity-stress formulation in two and three-space dimensions on staggered unstructured triangular and tetrahedral meshes. The method reaches arbitrary high order of accuracy in both space and time via the use of space-time basis and test functions. Within the staggered mesh formulation, we define the discrete velocity field in the control volumes of a primary mesh, while the discrete stress tensor is defined on a face-based staggered dual mesh. The space-time DG formulation leads to an implicit scheme that requires the solution of a linear system for the unknown degrees of freedom at the new time level. The number of unknowns is reduced at the aid of the Schur complement, so that in the end only a linear system for the degrees of freedom of the velocity field needs to be solved. Thanks to the use of a spatially staggered mesh, the stencil of the final velocity system involves only the element and its direct neighbors. The resulting linear system can be efficiently solved via matrix-free iterative methods. The chosen discretization and the linear nature of the governing PDE system lead to an unconditionally stable scheme, which allows large time steps even for low quality meshes that contain sliver elements. The fully discrete staggered space-time DG method is proven to be energy stable for any order of accuracy, for any mesh and for any time step size. For the particular case of Crank-Nicolson time discretization and homogeneous material, the final velocity system can be proven to be symmetric and positive definite and in this case the scheme is also exactly energy preserving. The new scheme is applied to several test problems in two and three space dimensions, providing also a comparison with high order explicit ADER-DG schemes △ Less

Submitted 13 February, 2018; originally announced February 2018.

A divergence-free semi-implicit finite volume scheme for ideal, viscous and resistive magnetohydrodynamics

Authors: Michael Dumbser, Dinshaw S. Balsara, Maurizio Tavelli, Francesco Fambri

Abstract: In this paper we present a novel pressure-based semi-implicit finite volume solver for the equations of compressible ideal, viscous and resistive magnetohydrodynamics (MHD). The new method is conservative for mass, momentum and total energy and in multiple space dimensions it is constructed in such a way as to respect the divergence-free condition of the magnetic field exactly, also in the presenc… ▽ More In this paper we present a novel pressure-based semi-implicit finite volume solver for the equations of compressible ideal, viscous and resistive magnetohydrodynamics (MHD). The new method is conservative for mass, momentum and total energy and in multiple space dimensions it is constructed in such a way as to respect the divergence-free condition of the magnetic field exactly, also in the presence of resistive effects. This is possible via the use of multi-dimensional Riemann solvers on an appropriately staggered grid for the time evolution of the magnetic field and a double curl formulation of the resistive terms. The new semi-implicit method for the MHD equations proposed here discretizes all terms related to the pressure in the momentum equation and the total energy equation implicitly, making again use of a properly staggered grid for pressure and velocity. The time step of the scheme is restricted by a CFL condition based only on the fluid velocity and the Alfvén wave speed and is not based on the speed of the magnetosonic waves. Our new method is particularly well-suited for low Mach number flows and for the incompressible limit of the MHD equations, for which it is well-known that explicit density-based Godunov-type finite volume solvers become increasingly inefficient and inaccurate due to the increasingly stringent CFL condition and the wrong scaling of the numerical viscosity in the incompressible limit. We show a relevant MHD test problem in the low Mach number regime where the new semi-implicit algorithm is a factor of 50 faster than a traditional explicit finite volume method, which is a very significant gain in terms of computational efficiency. However, our numerical results confirm that our new method performs well also for classical MHD test cases with strong shocks. In this sense our new scheme is a true all Mach number flow solver. △ Less

Submitted 19 January, 2018; originally announced January 2018.

Comments: 26 pages, 12 figures,1 table