Searcharxiv⌕ Search

arXiv subjects

Michael Dumbser

Publications and source records attributed to Michael Dumbser.

At least 19 recordsLinked to original sources

Flux vector splittings and semi-implicit finite volume schemes for an isentropic two-phase flow model

We present two new semi-implicit finite volume schemes for the 1D hyperbolic and thermodynamically compatible (HTC) isentropic two-phase flow model of Romenski et al., written in terms of mixture density, volume fraction, partial gas density, mixture momentum and the relative phase velocity. In gas-liquid mixtures, the sound speed of the weakly compressible liquid is much larger than the gas sound speed and flow velocity, so the time step of fully explicit discretizations is dictated by liquid acoustic waves, even when the interest lies in the dynamics of the gas. To overcome this difficulty, the model's flux is split at the continuous level into an explicit subsystem (gas dynamics) and an implicit subsystem (liquid acoustic waves), leading to a nonlinear system for liquid pressure solved with the Newton method. In the first splitting the entire liquid phase is treated implicitly, while in the second the liquid convective terms are moved to the explicit subsystem, so only liquid acoustic waves are treated implicitly and nested Picard iterations are avoided. Thus, the time step of both schemes is restricted only by flow velocities and gas sound speed, independent of liquid sound speed. We prove and numerically confirm that both schemes exactly preserve the Abgrall condition (uniform velocity and pressure across material interfaces). For well-prepared initial data, both schemes are consistent with the volume balance of the liquid's low Mach number limit. Riemann problems, pressure equilibrium tests and acoustic tests show that in non-stiff regimes the semi-implicit schemes reproduce the results of a fully explicit scheme, while in the stiff regime they allow time steps that are up to 3-4 orders of magnitude larger, avoiding the excessive numerical dissipation of explicit schemes whose numerical viscosity is dictated by liquid sound speed.

math.NA↗

An Arbitrary-Lagrangian-Eulerian solver for relativistic detonation waves

In this paper we study the dynamics of relativistic detonation waves theoretically and numerically. The reaction is physically accounted for by an extra term in the definition of the total energy density and by an additional equation for the evolution of the mass fraction of the reactant, while leaving formally unmodified the equations of mass and energy-momentum conservation. In this way, the Rankine-Hugoniot relations maintain the same formal structure of the inert version. For the numerical solution we use a finite volume ALE scheme with a second order TVD space-time reconstruction for the homogeneous part of the system, where the mesh velocity is chosen equal to the shock speed, and we combine it through operator splitting with a locally implicit algorithm for the potentially stiff reaction source terms that arise in the equation of the reactant. We furthermore propose a particularly efficient algorithm for the conversion from the conserved to the primitive variables, which for the relativistic Euler equations is known to be nontrivial. Following this approach, we can successfully solve the Zel'dovich-von Neumann-Doering profile of a relativistic detonation wave, up to Lorentz factors of the shock front $γ_s\sim 7$. Our analysis allowed us to highlight a new special relativistic effect, which has remained unnoticed so far. While in Newtonian detonations the Zel'dovich pressure jump decreases monotonically with the mass flux through the shock front, in the relativistic case it shows a minimum and then rises monotonically as a function of the mass flux. This may have interesting physical implications on the amount of energy that can be extracted from a relativistic detonation wave.

math.NA↗

Analysis and structure-preserving discretization of the Heat-GLM system

In this paper, we study a prototype hyperbolic system arising from the coupling of Generalized-Lagrangian-Multiplier (GLM) curl-cleaning with linear acoustics. We first show that, in the absence of dissipation, the equations can be rigorously derived from an underlying variational principle and that the resulting system is symmetric-hyperbolic. Further analysis shows that it not only conserves the total energy but also admits a set of invariants consisting of quadratic combinations of differential operators applied to the state variables. The addition of a stiff relaxation source term allows the system to be extended to dissipative dynamics, describing, for example, Cattaneo-type heat transfer processes that are asymptotically compatible with the Fourier law in the stiff relaxation limit; in this case, the total energy and invariants are dissipated accordingly. A new semi-implicit compatible numerical scheme on staggered grids is developed to solve this system while exactly preserving its key properties at the discrete level. In particular, we prove that the scheme is asymptotic-preserving in the Fourier limit, with a convergence rate depending on the initial data. We also show that the scheme conserves exactly the total energy as well as all the invariants in the absence of relaxation, and dissipates them consistently in its presence. These findings are demonstrated on a set of representative test cases.

math.NA↗

A configurational numerical viscosity for thermodynamically compatible finite volume schemes of compressible multiphase flows

We consider the fluid subsystem of a variationally derived hyperbolic thermodynamically compatible (HTC) model of compressible multiphase flows. Its total energy is in general not convex in the natural state variables, so a scalar numerical viscosity acting on them need not produce non-negative entropy. Reformulating the equations in terms of the volume fractions separates changes in the amount of each phase from changes in its intrinsic state. This guides the construction of a configurational numerical viscosity in phase variables, in which the energy is convex, while the scheme retains the structure of the HTC model. At the semi-discrete level, the new schemes satisfy: I) local conservation of the phase masses, the mixture momentum and the total energy; II) a cell entropy inequality whose production is non-negative face by face and phase by phase, with no convexity assumption in the evolved variables and no clipping; III) positivity of the partial densities and volume fractions under explicit time-step conditions; IV) exact preservation of contact equilibria; V) equivalence with a scheme for the density-weighted volume fractions. The key ingredients are: i) an exact decomposition of the jump of each phase across a face into a configurational part, dissipated with the material speed, and an intrinsic part, dissipated with the acoustic speed; ii) an exchange form of this dissipation between neighbouring cells, with non-negative weights; iii) a side-wise transfer of the dissipation to the evolved variables through the chain rule of each cell, which turns the energy defects into Bregman divergences of the single-fluid energies; iv) a thermodynamic correction of the reversible part built in the phase variables. Properties I)-V) are proved and verified numerically, including a shock tube in which the Rusanov viscosity produces negative entropy and a shock-water column interaction.

math.NA↗

ADER-ZIST - a mixed explicit ADER-DG and zonally implicit space-time DG approach for Cartesian cut cell meshes

We present high order accurate mixed explicit-implicit discontinuous Galerkin (DG) schemes for the solution of hyperbolic systems of conservation laws on Cartesian cut cell meshes. Such meshes may contain arbitrarily small cut cells, which leads to the well-known small cell problem: the CFL condition of explicit schemes would severely restrict the admissible time step. To overcome this difficulty, we use high order explicit fully-discrete one-step ADER-DG schemes only on Cartesian cells away from the embedded boundaries. The zone close to the embedded boundary, which consists of cut cells and their direct face neighbors, is discretized with an implicit space-time DG scheme that is coupled to the explicit scheme directly via the numerical flux. The resulting scheme, called ADER-ZIST (ADER-DG with Zonally Implicit Space-Time DG), is conservative by construction, and its time step is determined only by the size of the Cartesian background cells. Curved embedded boundaries are represented by high order isoparametric sub-triangles inside the cut cells, and the nonlinear system of the implicit cells is solved via an inexact matrix-free Newton-Krylov method. For problems with shock waves, we add an artificial viscosity term whose strength is controlled by an oscillation-eliminating smoothness sensor. ADER-ZIST is assessed on a comprehensive set of test problems for the compressible Euler equations, ranging from smooth flows around straight and curved embedded boundaries to acoustic scattering and shock-dominated flows. The scheme essentially reaches its nominal order of accuracy N+1 for smooth solutions and for polynomial degrees up to N=5, on meshes with minimal volume fractions of the small cut cells down to the order of 10^-7.

math.NA↗

An arbitrarily high-order accurate and locally energy/entropy-stable space-time method for a class of nonlinear wave systems

We present a new class of structure-preserving, arbitrarily high-order accurate space-time schemes using unstructured simplicial meshes in space for a class of nonlinear acoustic wave propagation systems, in which the nonlinearity is encoded in the constitutive relations between the state and dual variables, while the differential operators retain the standard first-order acoustic wave structure. At the fully discrete level, the schemes satisfy the following properties: I) local conservation of the state variables; II) a local energy/entropy balance on each space-time element, with a consistent, single-valued numerical energy/entropy flux and nonnegative local energy/entropy dissipation, and exact energy conservation when the stabilization terms are omitted; III) weak preservation of the curl involution of the velocity field, even in the presence of discontinuities and with the shock-capturing terms activated. The key ingredients of the new schemes are: i) a discontinuous Galerkin (DG) discretization in space, in which the dual variables are computed as the L2 projections onto the DG space of the energy derivatives with respect to the conserved variables; ii) numerical fluxes and a bubble-weighted, element-local viscous regularization expressed in terms of the dual variables; iii) a continuous-discontinuous Petrov-Galerkin method in time. Properties I)-III) are first proved mathematically and are then verified by suitable numerical tests.

math.NA↗

On structure-preserving and pointwise conservative continuous DG schemes for hyperbolic systems

We present a new class of structure-preserving semi-discrete continuous-discontinuous Galerkin (CG-DG) finite element schemes for linear and nonlinear hyperbolic systems of partial differential equations on unstructured simplex meshes that automatically satisfy the following properties: i) the new schemes are not only cellwise conservative, but also locally pointwise conservative everywhere, hence they satisfy the integral form of the conservation law on arbitrary control volumes that do not have to coincide with the mesh at all; ii) the new methods naturally satisfy the two basic vector calculus identities $\nabla \cdot \nabla \times \mathbf{A}$ and $\nabla \times \nabla Z$ exactly pointwise locally and globally everywhere on the discrete level; iii) for linear symmetric hyperbolic systems the schemes are naturally energy conservative for the square energy, i.e. nonlinearly stable in the $L^2$ norm. The key ingredient of the new CG-DG schemes is the use of two different but compatible approximation spaces: the classical DG space $\mathcal{U}_h^N$ of discontinuous piecewise polynomials of degree up to $N$ and a classical finite element space $\mathcal{W}_h^{N+1}$ of globally continuous piecewise polynomials of degree $N+1$. In the new CG-DG schemes, the discrete solution $\mathbf{u}_h$ is sought in $\mathcal{U}_h^N$, while a suitable discrete flux field $\tilde{\mathbf{f}}_h$ is computed in $\mathcal{W}_h^{N+1}$. For $N=0$ our new schemes are directly related to cell-centered finite volume schemes with suitable vertex-based fluxes. All claimed properties of the schemes are first mathematically proven and are then also verified via suitable numerical tests. We show applications of our approach to three linear and nonlinear hyperbolic systems.

math.NA↗

High order numerical discretizations of the Einstein-Euler equations in the Generalized Harmonic formulation

We propose two new alternative numerical schemes to solve the coupled Einstein-Euler equations in the Generalized Harmonic formulation. The first one is a finite difference (FD) Central Weighted Essentially Non-Oscillatory (CWENO) scheme on a traditional Cartesian mesh, while the second one is an ADER (Arbitrary high order Derivatives) discontinuous Galerkin (DG) scheme on 2D unstructured polygonal meshes. The latter, in particular, represents a preliminary step in view of a full 3D numerical relativity calculation on moving meshes. Both schemes are equipped with a well-balancing (WB) property, which allows to preserve the equilibrium of a priori known stationary solutions exactly at the discrete level. We validate our numerical approaches by successfully reproducing standard vacuum test cases, such as the robust stability, the linearized wave, and the gauge wave tests, as well as achieving long-term stable evolutions of stationary black holes, including Kerr black holes with extreme spin. Concerning the coupling with matter, modeled by the relativistic Euler equations, we perform some special relativistic Riemann problems, a classical test of spherical accretion onto a Schwarzschild black hole, as well as an evolution of a perturbed non-rotating neutron star, demonstrating the capability of our schemes to operate also on the full Einstein-Euler system. Altogether, these results provide a solid foundation for addressing more complex and challenging simulations of astrophysical sources through DG schemes on unstructured 3D meshes.

math.NA↗

A structure-preserving semi-implicit finite volume scheme on vertex-staggered unstructured meshes

We present a novel structure-preserving semi-implicit finite volume method on vertex-based staggered meshes for the compatible discretization of first order systems of time-dependent partial differential equations (PDEs). The method preserves divergence-free and curl-free vector fields exactly thanks to the compatible vertex-staggered discretization of the state variables on unstructured grids that are constituted by primal Delaunay triangles and their dual polygons. For the weakly compressible Euler equations, the scheme is asymptotic preserving, yielding a consistent discretization of the incompressible limit as the Mach number goes to zero. The new scheme applies to a broad spectrum of PDEs, including the weakly compressible and incompressible Euler and Navier-Stokes equations, the incompressible magnetohydrodynamics (MHD) system, and the incompressible version of the first-order hyperbolic Godunov-Peshkov-Romenski (GPR) model for continuum mechanics. The computational domain is covered by a primal triangular mesh and a dual tessellation made of so-called star polygons. Scalar quantities (pressure, density, viscous stress) are defined at nodes, with pressure updated implicitly in a continuous finite element fashion, yielding a symmetric and positive definite pressure system. Instead, vector fields (velocity, momentum, magnetic and distortion fields) are stored at triangle barycenters and evolved explicitly using a compatible finite volume scheme. Thanks to the semi-implicit discretization, the CFL condition is independent of the sound speed, allowing simulations at low Mach numbers. The fully compatible formulation ensures exactly divergence-free velocity field in the incompressible limit, exactly divergence-free magnetic field for MHD, and exactly curl-free inverse deformation gradient in solid mechanics. The method is validated through a wide set of test cases.

math.NA↗

A structure-preserving semi-implicit four-split scheme for continuum mechanics

We introduce a novel structure-preserving vertex-staggered semi-implicit four-split discretization of a unified first order hyperbolic formulation of continuum mechanics that is able to describe at the same time fluid and solid materials within the same mathematical model. The governing PDE system goes back to pioneering work of Godunov, Romenski, Peshkov and collaborators. Previous structure-preserving discretizations of this system allowed to respect the curl-free properties of the distortion field and the specific thermal impulse in the absence of source terms and were consistent with the low Mach number limit with respect to the adiabatic sound speed. However, the evolution of the thermal impulse and the distortion field were still discretized explicitly, thus requiring a rather severe CFL stability restriction on the time step based on the shear sound speed and the finite, but potentially large, speed of heat waves. Instead, the new four-split semi-implicit scheme presented in this paper has a material time step restriction only. For this purpose, the governing PDE system is split into four subsystems: i) a convective subsystem, which is the only one that is treated explicitly; ii) a heat subsystem, iii) a subsystem containing momentum, distortion field and specific thermal impulse; iv) a pressure subsystem. The three subsystems ii)-iv) are all discretized implicitly, hence a rather mild CFL restriction based on the velocity of the continuum is imposed. The method is asymptotically consistent with the low Mach number limit and the stiff relaxation limits. Moreover, it maintains an exactly curl-free distortion field and thermal impulse in the case of linear source terms or in their absence. The scheme is benchmarked against classical test cases verifying its theoretical properties.

math.NA↗

On general and complete multidimensional Riemann solvers for nonlinear systems of hyperbolic conservation laws

In this work, we introduce a framework to design multidimensional Riemann solvers for nonlinear systems of hyperbolic conservation laws on general unstructured polygonal Voronoi-like tessellations. In this framework we propose two simple but complete solvers. The first method is a direct extension of the Osher-Solomon Riemann solver to multiple space dimensions. Here, the multidimensional numerical dissipation is obtained by integrating the absolute value of the flux Jacobians over a dual triangular mesh around each node of the primal polygonal grid. The required nodal gradient is then evaluated on a local computational simplex involving the d+1 neighbors meeting at each corner. The second method is a genuinely multidimensional upwind flux. By introducing a fluctuation form of finite volume methods with corner fluxes, we show an equivalence with residual distribution schemes (RD). This naturally allows to construct genuinely multidimensional upwind corner fluxes starting from existing and well-known RD fluctuations. In particular, we explore the use of corner fluxes obtained from the so-called N scheme, i.e. the Roe's original optimal multidimensional upwind advection scheme. Both methods use the full eigenstructure of the underlying hyperbolic system and are therefore complete by construction. A simple higher order extension up to fourth order in space and time is then introduced at the aid of a CWENO reconstruction in space and an ADER approach in time, leading to a family of high order accurate fully-discrete one-step schemes based on genuinely multidimensional Riemann solvers. We present applications of our new numerical schemes to several test problems for the compressible Euler equations of gas-dyanamics. In particular, we show that the proposed schemes are at the same time carbuncle-free and preserve certain stationary shear waves exactly.

math.NA↗

Structure-preserving schemes for nonlinear symmetric hyperbolic and thermodynamically compatible systems of partial differential equations

This paper aims at developing exactly energy-conservative and structure-preserving finite volume schemes for the discretisation of first-order symmetric-hyperbolic and thermodynamically compatible (SHTC) systems of partial differential equations in continuum physics. Due to their thermodynamic compatibility the class of SHTC systems satisfies an additional conservation law for the total energy and many PDE in this class of equations also satisfy stationary differential constraints (involutions). First, we propose a simple semi-discrete cell-centered HTC finite volume scheme that employs collocated grids and that is compatible with the total energy conservation law, but which does not satisfy the involutions. Second, we develop a fully discrete semi-implicit finite volume scheme that conserves total energy and which can be proven to satisfy also the involution constraints exactly at the discrete level. This method is a vertex-based staggered semi-implicit scheme that preserves the basic vector calculus identities $\nabla \cdot \nabla \times A = 0$ and $\nabla \times \nabla ϕ= 0$ for any vector and scalar field, respectively, exactly at the discrete level and which is also exactly totally energy conservative. The main key ingredient of the proposed implicit scheme is the fact that it uses a discrete version of the symmetric-hyperbolic Godunov-form of the governing PDE system. This leads naturally to sequences of symmetric and positive definite linear algebraic systems to be solved inside an iterative fixed-point method used in each time step. We apply our new schemes to three different SHTC systems. In particular, we consider the equations of nonlinear acoustics, the nonlinear Maxwell equations in the absence of charges and a nonlinear version of the Maxwell-GLM system. We also show some numerical results to provide evidence of the stated properties of the proposed schemes.

math.NA↗

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

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.

math.NA↗

A structure-preserving and thermodynamically compatible cell-centered Lagrangian finite volume scheme for continuum mechanics

In this work we present a novel structure-preserving scheme for the discretization of the Godunov-Peshkov-Romenski (GPR) model of continuum mechanics written in Lagrangian form. This model admits an extra conservation law for the total energy (first principle of thermodynamics) and satisfies the entropy inequality (second principle of thermodynamics). Furthermore, in the absence of algebraic source terms, the distortion field of the continuum and the specific thermal impulse satisfy a curl-free condition, provided the initial data are curl-free. Last but not least, the determinant of the distortion field is related to the density of the medium, i.e. the system is also endowed with a nonlinear algebraic constraint. The objective of this work is to construct and analyze a new semi-discrete thermodynamically compatible cell-centered Lagrangian finite volume scheme on moving unstructured meshes that satisfies the following structural properties of the governing PDE exactly at the discrete level: i) compatibility with the first law of thermodynamics, i.e. discrete total energy conservation; ii) compatibility with the second law of thermodynamics, i.e. discrete entropy inequality; iii) exact discrete compatibility between the density and the determinant of the distortion field; iv) exact preservation of the curl-free property of the distortion field and of the specific thermal impulse in the absence of algebraic source terms. We show that it is possible to achieve all above properties simultaneously. Unlike in existing schemes, we choose to directly discretize the entropy inequality, hence obtaining total energy conservation as a consequence of an appropriate and thermodynamically compatible discretization of all the other equations.

math.NA↗

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

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.

gr-qc↗

Variational derivation and compatible discretizations of the Maxwell-GLM system

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.

math.NA↗

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

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.

gr-qc↗

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

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 ...

gr-qc↗