Search

Copyright of Rare Metals is the property of Springer Nature and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

In this work, we present the construction of two distinct finite element approaches to solve the porous medium equation (PME). In the first approach, we transform the PME to a log-density variable formulation and construct a continuous Galerkin method. In the second approach, we introduce additional potential and velocity variables to rewrite the PME into a system of equations, for which we construct a mixed finite element method. Both approaches are first-order accurate, mass conserving, and proved to be unconditionally energy stable for their respective energies. The mixed approach is shown to preserve positivity under a CFL condition, while a much stronger property of unconditional bound preservation is proved for the log-density approach. A novel feature of our schemes is that they can handle compactly supported initial data without the need for any perturbation techniques. Furthermore, the log-density method can handle unstructured grids in any number of dimensions, while the mixed method can handle unstructured grids in two dimensions. We present results from several numerical experiments to demonstrate these properties. [ABSTRACT FROM AUTHOR]

A novel approach for the stabilization of the Discontinuous Galerkin method based on the Dafermos entropy rate crition is presented. First, estimates for the maximal possible entropy dissipation rate of a weak solution are derived. Second, families of conservative Hilbert–Schmidt operators are identified to dissipate entropy. Steering these operators using the bounds on the entropy dissipation results in high-order accurate shock-capturing DG schemes for the one-dimensional Euler equations, satisfying the entropy rate criterion and an entropy inequality. Other testcases include the one-dimensional Buckley–Leverett equation. [ABSTRACT FROM AUTHOR]

We prove that rough Follow-the-Leader (FtL) approximations are compact in the strong $ L^1 $–topology, with a compensated compactness argument. We then apply this result to prove the existence of a weak solution of the one-dimensional Hughes model. Here, we consider general initial data $ \rho_0 \in L^\infty $ and general costs $ c \in W^{1, \infty} $. We also investigate the ill-posedness of the FtL–Hughes model, and how the ill-posedness issues affect numerical simulations. [ABSTRACT FROM AUTHOR]

An asymptotic preserving (AP) and energy stable scheme for the Euler-Poisson (EP) system under the quasineutral scaling is designed and analysed. Appropriate stabilisation terms are introduced in the convective fluxes of mass and momenta, and the gradient of the electrostatic potential which lead to the dissipation of mechanical energy and consequently the entropy stability of solutions. The time discretisation is semi-implicit in nature, whereas the space discretisation uses a finite volume framework on a marker and cell (MAC) grid. The numerical resolution of the fully-discrete scheme involves two steps: the solution of a linear elliptic problem for the potential and an explicit evaluation for the density and velocity. The proposed scheme possesses several physically relevant attributes, such as the positivity of density, entropy stability and the consistency with the weak formulation of the continuous EP system. The AP property of the scheme, i.e. the boundedness of the mesh parameters with respect to Debye length and its consistency with the quasineutral limit system, is demonstrated. The results of numerical case studies are presented to substantiate the robustness and efficiency of the proposed method. [ABSTRACT FROM AUTHOR]

Entropy inequalities are crucial to the well-posedness of hyperbolic conservation laws, which help to select the physically meaningful one from among the infinite many weak solutions. Recently, several high order discontinuous Galerkin (DG) methods satisfying entropy inequalities were proposed; see [T. Chen and C.-W. Shu, J. Comput. Phys., 345 (2017), pp. 427-461; J. Chan, J. Comput. Phys., 362 (2018), pp. 346-374; T. Chen and C.-W. Shu, CSIAM Trans. Appl. Math., 1 (2020), pp. 1-52] and the references therein. However, high order numerical methods typically generate spurious oscillations in the presence of shock discontinuities. In this paper, we construct a high order entropy stable essentially oscillation-free DG (OFDG) method for hyperbolic conservation laws. With some suitable modification on the high order damping term introduced in [J. Lu, Y. Liu, and C.-W. Shu, SIAM J. Numer. Anal., 59 (2021), pp. 1299-1324; Y. Liu, J. Lu, and C.-W. Shu, SIAM J. Sci. Comput., 44 (2022), pp. A230-A259], we are able to construct an OFDG scheme with dissipative entropy. It is challenging to make the damping term compatible with the current entropy stable DG framework, that is, the damping term should be dissipative for any given entropy function without compromising high order accuracy. The key ingredient is to utilize the convexity of the entropy function and the orthogonality of the projection. Then the proposed method maintains the same properties of conservation, error estimates, and entropy dissipation as the original entropy stable DG method. Extensive numerical experiments are presented to validate the theoretical findings and the capability of controlling spurious oscillations of the proposed algorithm. [ABSTRACT FROM AUTHOR]

This work frames the problem of constructing non-oscillatory entropy stable fluxes as a least square optimization problem. A flux sign stability condition is defined for a pair of entropy conservative flux (F*) and a non-oscillatory flux (Fs). This novel approach paves a way to construct non-oscillatory entropy stable flux (F ˆ) as a simple combination of (F* and Fs) which inherently optimize the numerical diffusion in the entropy stable flux (F ˆ) such that it reduces to the underlying non-oscillatory flux (Fs) in the flux sign stable region. This robust approach is (i) agnostic to the choice of flux pair (F*, Fs), (ii) does not require the computation of costly dissipation operator and high order reconstruction of scaled entropy variable to construct the diffusion term. Various non-oscillatory entropy stable fluxes are constructed and exhaustive computational results for standard test problems are given which show that fully discrete schemes using these entropy stable fluxes do not exhibit nonphysical spurious oscillations in approximating the discontinuities and its non-oscillatory nature is comparable to the non-oscillatory schemes using underlying fluxes (Fs) only. Moreover, these entropy stable schemes maintain the formal order of accuracy of the lower order flux in the pair. [ABSTRACT FROM AUTHOR]

We present an entropy stable nodal discontinuous Galerkin spectral element method (DGSEM) for the two-layer shallow water equations on two dimensional curvilinear meshes. We mimic the continuous entropy analysis on the semi-discrete level with the DGSEM constructed on Legendre–Gauss–Lobatto (LGL) nodes. The use of LGL nodes endows the collocated nodal DGSEM with the summation-by-parts property that is key in the discrete analysis. The approximation exploits an equivalent flux differencing formulation for the volume contributions, which generate an entropy conservative split-form of the governing equations. A specific combination of a numerical surface flux and discretization of the nonconservative terms is then applied to obtain a high-order path-conservative scheme that is entropy conservative. Furthermore, we find that this combination yields an analogous discretization for the pressure and nonconservative terms such that the numerical method is well-balanced for discontinuous bathymetry on curvilinear domains. Dissipation is added at the interfaces to create an entropy stable approximation that satisfies the second law of thermodynamics in the discrete case, while maintaining the well-balanced property. We conclude with verification of the theoretical findings through numerical tests and demonstrate results about convergence, entropy stability and well-balancedness of the scheme. [ABSTRACT FROM AUTHOR]

A semi-implicit in time, entropy stable finite volume scheme for the compressible barotropic Euler system is designed and analyzed and its weak convergence to a dissipative measure-valued (DMV) solution [Feireisl et al., Calc. Var. Part. Differ. Equ.55 (2016) 141] of the Euler system is shown. The entropy stability is achieved by introducing a shifted velocity in the convective fluxes of the mass and momentum balances, provided some CFL-like condition is satisfied to ensure stability. A consistency analysis is performed in the spirit of the Lax's equivalence theorem under some physically reasonable boundedness assumptions. The concept of Ƙ-convergence [Feireisl et al., IMA J. Numer. Anal.40 (2020) 2227–2255] is used in order to obtain some strong convergence results, which are then illustrated via rigorous numerical case studies. The convergence of the scheme to a DMV solution, a weak solution and a strong solution of the Euler system using the weak–strong uniqueness principle and relative entropy are presented. [ABSTRACT FROM AUTHOR]

Many modern discontinuous Galerkin (DG) methods for conservation laws make use of summation by parts operators and flux differencing to achieve kinetic energy preservation or entropy stability. While these techniques increase the robustness of DG methods significantly, they are also computationally more demanding than standard weak form nodal DG methods. We present several implementation techniques to improve the efficiency of flux differencing DG methods that use tensor product quadrilateral or hexahedral elements, in 2D or 3D, respectively. Focus is mostly given to CPUs and DG methods for the compressible Euler equations, although these techniques are generally also useful for other physical systems, including the compressible Navier-Stokes and magnetohydrodynamics equations. We present results using two open source codes, Trixi.jl written in Julia and FLUXO written in Fortran, to demonstrate that our proposed implementation techniques are applicable to different code bases and programming languages. [ABSTRACT FROM AUTHOR]

An asymptotic preserving and energy stable scheme for the barotropic Euler system under the low Mach number scaling is designed and analysed. A velocity shift proportional to the pressure gradient is introduced in the convective fluxes, which leads to the dissipation of mechanical energy and the entropy stability at all Mach numbers. The resolution of the semi-implicit in time and upwind finite volume in space fully-discrete scheme involves two steps: the solution of an elliptic problem for the density and an explicit evaluation for the velocity. The proposed scheme possesses several physically relevant attributes, such as the positivity of density, the entropy stability and the consistency with the weak formulation of the continuous Euler system. The AP property of the scheme, i.e. the boundedness of the mesh parameters with respect to the Mach number and its consistency with the incompressible limit system, is shown rigorously. The results of extensive case studies are presented to substantiate the robustness and efficiency of the proposed method. [ABSTRACT FROM AUTHOR]

We study a binary mixture of compressible viscous fluids modelled by the Navier-Stokes-Allen-Cahn system with isentropic or ideal gas law. We propose a finite volume method for the approximation of the system based on upwinding and artificial diffusion approaches. We prove the entropy stability of the numerical method and present several numerical experiments to support the theory. [ABSTRACT FROM AUTHOR]

This work presents a new implementation of compressible magnetohydrodynamic (MHD) models in the context of the generalised Lagrange multiplier (GLM), combined with source term techniques to retain entropy stability, necessary for thermodynamic consistency. The GLM techniques introduce a scalar field, that is evolved along the MHD quantities, in order to aid in an error control of ∇ · B . Our implementation employs second-order HLL-type schemes in finite-volume form and an explicit time discretisation in a parallel framework. We furthermore revise and develop different GLM–MHD and source term approaches as sit-on-top solvers, that can be added to existing MHD applications. It is shown that Galilean invariance is a major factor determining the capacity of these solvers to control ∇ · B , as achieved in GLM–MHD systems with Powell source terms. Moreover, it also influences the physical robustness of the solver, in particular its ability to maintain positive pressure during the simulation. In addition, we show that our new and easily reproducible implementation is entropy consistent. [ABSTRACT FROM AUTHOR]

A novel approach for the stabilization of the discontinuous Galerkin method based on the Dafermos entropy rate crition is presented. The approach is centered around the efficient solution of linear or nonlinear optimization problems in every timestep as a correction to the basic discontinuous Galerkin scheme. The thereby enforced Dafermos criterion results in improved stability compared to the basic method while retaining a high order of accuracy in numerical experiments for scalar conservation laws. Further modification of the optimization problem allows also to enforce classical entropy inequalities for the scheme. The proposed stabilization is therefore an alternative to flux-differencing to enforce entropy inequalities. As the shock-capturing abilities of the scheme are also enhanced is the method also an alternative to finite-volume subcells, artificial viscosity, modal filtering, and other shock capturing procedures in one space dimension. Tests are carried out for Burgers’ equation. [ABSTRACT FROM AUTHOR]

This paper extends a new family of high-order positivity-preserving, entropy stable spectral collocation schemes developed for the one-dimensional compressible Navier–Stokes equations in Upperman and Yamaleev (J Comput Phys 466, 2022; J Comput Phys 466, 2022) to three spatial dimensions. The proposed schemes are constructed by using a flux-limiting technique that combines a positivity-violating entropy stable method of arbitrary order of accuracy and a novel first-order positivity-preserving entropy stable finite volume-type scheme discretized on the same Legendre–Gauss–Lobatto grid points used for constructing the high-order discrete operators. The positivity-preserving and excellent discontinuity-capturing properties are achieved by adding an artificial dissipation in the form of the low- and high-order Brenner–Navier–Stokes diffusion operators. Furthermore, the new schemes are entropy conservative for smooth inviscid flows and freestream preserving. To our knowledge, this is the first family of schemes of arbitrary order of accuracy that provably guarantee both the pointwise positivity of thermodynamic variables and L 2 stability for the 3-D compressible Navier–Stokes equations. Numerical results demonstrating accuracy and positivity-preserving properties of the new schemes are presented for 2-D and 3-D viscous and inviscid flows with strong discontinuities. [ABSTRACT FROM AUTHOR]

We construct an original framework based on convex analysis to prove the existence and uniqueness of a solution to a class of implicit numerical schemes. We propose an application of this general framework in the case of a new non linear implicit scheme for the 1D Lagrangian gas dynamics equations. We provide numerical illustrations that corroborate our proof of unconditional stability for this non linear implicit scheme. [ABSTRACT FROM AUTHOR]

Relaxation Runge–Kutta methods reproduce a fully discrete dissipation (or conservation) of entropy for entropy stable semi-discretizations of nonlinear conservation laws. In this paper we derive the discrete adjoint of relaxation Runge–Kutta schemes, which are applicable to discretize-then-optimize approaches for optimal control problems. Furthermore, we prove that the derived discrete relaxation Runge–Kutta adjoint preserves time-symmetry when applied to linear skew-symmetric systems of ODEs. Numerical experiments verify these theoretical results while demonstrating the importance of appropriately treating the relaxation parameter when computing the discrete adjoint. [ABSTRACT FROM AUTHOR]

In this paper, we extend the positivity-preserving, entropy stable first-order scheme developed for the one-dimensional compressible Navier–Stokes equations in Upperman et al. (J Comput Phys 466, 2022) to three spatial dimensions. The new first-order scheme is provably entropy stable, design-order accurate for smooth solutions, and guarantees the pointwise positivity of thermodynamic variables for 3-D compressible viscous flows. Similar to the 1-D counterpart, the proposed scheme for the 3-D Navier–Stokes equations is discretized on Legendre-Gauss-Lobatto grids used for high-order spectral collocation methods. The positivity of density is achieved by adding an artificial dissipation in the form of the first-order Brenner–Navier–Stokes diffusion operator. Another distinctive feature of the proposed scheme is that the Navier–Stokes viscous terms are discretized by high-order spectral collocation summation-by-parts operators. To eliminate time step stiffness caused by the high-order approximation of the viscous terms and the temperature positivity constraint, the velocity and temperature limiters developed for the 1-D compressible Navier–Stokes equations in Upperman et al. (J. Comput. Phys., 466, 2022) are generalized to three spatial dimensions. These limiters bound the magnitude of velocity and temperature gradients and preserve the entropy stability and positivity properties of the baseline scheme. Numerical results are presented to demonstrate design-order accuracy and positivity-preserving properties of the new first-order scheme for 2-D and 3-D inviscid and viscous flows with strong shocks and contact discontinuities. [ABSTRACT FROM AUTHOR]

The following work concerns the construction of an entropy dissipative finite volume solver based on the convex combination of an entropy conservative and an entropy dissipative flux. We aim to construct a semidiscrete scheme that is entropy stable in the sense of the entropy criterion of Dafermos as well as in the classical sense entropy dissipative. The proposed semidiscrete scheme shows nice properties like 2p order accuracy in smooth regions as well as a non-oscillatory behavior around shocks. [ABSTRACT FROM AUTHOR]

We present a new class of efficient and robust discontinuous spectral-element methods of arbitrary order for nonlinear hyperbolic systems of conservation laws on curved triangular and tetrahedral unstructured grids. Such discretizations employ a recently introduced family of sparse tensor-product summation-by-parts (SBP) operators in collapsed coordinates within an entropy-conservative modal formulation, which is rendered entropy stable when a dissipative numerical flux is used at element interfaces. The proposed algorithms exploit the structure of such SBP operators alongside that of the Proriol–Koornwinder–Dubiner polynomial basis used to represent the numerical solution on the reference triangle or tetrahedron, and a weight-adjusted approximation is employed in order to efficiently invert the local mass matrix for curvilinear elements. Using such techniques, we obtain an improvement in time complexity from O (p 2 d) to O (p d + 1) relative to existing entropy-stable formulations using multidimensional SBP operators not possessing such a tensor-product structure, where p is the polynomial degree of the approximation and d is the number of spatial dimensions. The number of required entropy-conservative two-point flux evaluations between pairs of quadrature nodes is accordingly reduced by a factor ranging from 1.56 at p = 2 to 4.57 at p = 10 for triangles, and from 1.88 at p = 2 to 10.99 at p = 10 for tetrahedra. Through numerical experiments involving smooth solutions to the compressible Euler equations on isoparametric triangular and tetrahedral grids, the proposed methods using tensor-product SBP operators are shown to exhibit similar levels of accuracy for a given mesh and polynomial degree to those using multidimensional operators based on symmetric quadrature rules, with both approaches achieving order p + 1 convergence with respect to the element size in the presence of interface dissipation as well as exponential convergence with respect to the polynomial degree. Furthermore, both operator families are shown to give rise to entropy-stable schemes which exhibit excellent robustness for test problems characteristic of under-resolved turbulence simulations. Such results suggest that the algorithmic advantages resulting from the use of tensor-product operators are obtained without compromising accuracy or robustness, enabling the efficient extension of the benefits of entropy stability to higher polynomial degrees than previously considered for triangular and tetrahedral elements. • We introduce new entropy-stable spectral-element methods for triangles and tetrahedra. • The methods use tensor-product summation-by-parts operators in collapsed coordinates. • We describe efficient algorithms exploiting sum factorization and operator sparsity. • The schemes are proven to be conservative, free-stream preserving, and entropy stable. • We numerically verify the schemes' accuracy and robustness for the Euler equations. [ABSTRACT FROM AUTHOR]

Recently, global and local relaxation Runge–Kutta methods have been developed for guaranteeing the conservation, dissipation, or other solution properties for general convex functionals whose dynamics are crucial for an ordinary differential equation solution. These novel time integration procedures have an application in a wide range of problems that require dynamics-consistent and stable numerical methods. The application of a relaxation scheme involves solving scalar nonlinear algebraic equations to find the relaxation parameter. Even though root-finding may seem to be a problem technically straightforward and computationally insignificant, we address the problem at scale as we solve full-scale industrial problems on a CPU-powered supercomputer and show its cost to be considerable. In particular, we apply the relaxation schemes in the context of the compressible Navier–Stokes equations and use them to enforce the correct entropy evolution. We use seven different algorithms to solve for the global and local relaxation parameters and analyze their strong scalability. As a result of this analysis, within the global relaxation scheme, we recommend using Brent's method for problems with a low polynomial degree and of small sizes for the global relaxation scheme, while secant proves to be the best choice for higher polynomial degree solutions and large problem sizes. For the local relaxation scheme, we recommend secant. Further, we compare the schemes' performance using their most efficient implementations, where we look at their effect on the timestep size, overhead, and weak scalability. We show the global relaxation scheme to be always more expensive than the local approach—typically 1.1–1.5 times the cost. At the same time, we highlight scenarios where the global relaxation scheme might underperform due to its increased communication requirements. Finally, we present an analysis that sets expectations on the computational overhead anticipated based on the system properties. [ABSTRACT FROM AUTHOR]

High order entropy stable schemes provide improved robustness for computational simulations of fluid flows. However, additional stabilization and positivity preserving limiting can still be required for variable-density flows with under-resolved features. We demonstrate numerically that entropy stable Discontinuous Galerkin (DG) methods which incorporate an “entropy projection” are less likely to require additional limiting to retain positivity for certain types of flows. We conclude by investigating potential explanations for this observed improvement in robustness.

We consider external compressible-flow problems with open boundaries. We begin by presenting the basic idea, namely the introduction of an infinite buffer zone around the computational domain, for the advection-diffusion equation. We discretise the problem with a summation-by-parts finite-volume scheme and prove convergence; a key step is the renormalisation of the solution. Next, we make the analogous rescaling of the entropy function for the Navier-Stokes equations and prove that a finite-volume scheme is entropy stable. Finally, we present numerical computations with a vortex governed by the Navier-Stokes equations interacting with the buffer zone. As proven, the scheme is stable, and with a sufficient number of grid points and with some numerical diffusion in the buffer zone, the reflections are modest. [ABSTRACT FROM AUTHOR]

We present a novel Finite Volume (FV) scheme on unstructured polygonal meshes that is provably compliant with the Second Law of Thermodynamics and the Geometric Conservation Law (GCL) at the same time. The governing equations are provided by a subset of the class of symmetric and hyperbolic thermodynamically compatible (SHTC) models introduced by Godunov in 1961. Specifically, our numerical method discretizes the equations for the conservation of momentum, total energy, distortion tensor and thermal impulse vector, hence accounting in one single unified mathematical formalism for a wide range of physical phenomena in continuum mechanics, spanning from ideal and viscous fluids to hyperelastic solids. By means of two conservative corrections directly embedded in the definition of the numerical fluxes, the new schemes are proven to satisfy two extra conservation laws, namely an entropy balance law and a geometric equation that links the distortion tensor to the density evolution. As such, the classical mass conservation equation can be discarded. Firstly, the GCL is derived at the continuous level, and subsequently it is satisfied by introducing the new concepts of general potential and generalized Gibbs relation. The new potential is nothing but the determinant of the distortion tensor, and the associated Gibbs relation is derived by introducing a set of dual or thermodynamic variables such that the GCL is retrieved by dot multiplying the original system with the new dual variables. Once compatibility of the GCL is ensured, thermodynamic compatibility is tackled in the same manner, thus achieving the satisfaction of a local cell entropy inequality. The two corrections are orthogonal, meaning that they can coexist simultaneously without interfering with each other. The compatibility of the new FV schemes holds true at the semi-discrete level, and time integration of the governing PDE is carried out relying on Runge-Kutta schemes. A large suite of test cases demonstrates the structure preserving properties of the schemes at the discrete level as well. • Thermodynamic compatibility. • Geometric compatibility on fixed grids. • Overdetermined systems with extra conservation laws. • Finite Volume schemes on general unstructured meshes. • Unified model of continuum mechanics for fluids and solids. [ABSTRACT FROM AUTHOR]

This article presents entropy stable discontinuous Galerkin numerical schemes for equations of special relativistic hydrodynamics with the ideal equation of state. The numerical schemes use the summation by parts (SBP) property of the Gauss-Lobatto quadrature rules. To achieve entropy stability for the scheme, we use two-point entropy conservative numerical flux inside the cells and a suitable entropy stable numerical flux at the cell interfaces. The resulting semi-discrete scheme is then shown to be entropy stable. Time discretization is performed using SSP Runge-Kutta methods. Several numerical test cases are presented to validate the accuracy and stability of the proposed schemes. [ABSTRACT FROM AUTHOR]

The methodology proposed in this paper bridges the gap between entropy stable and positivity-preserving discontinuous Galerkin (DG) methods for nonlinear hyperbolic problems. The entropy stability property and, optionally, preservation of local bounds for cell averages are enforced using flux limiters based on entropy conditions and discrete maximum principles, respectively. Entropy production by the (limited) gradients of the piecewise-linear DG approximation is constrained using Rusanov-type entropy viscosity. The Taylor basis representation of the entropy stabilization term reveals that it penalizes the solution gradients in a manner similar to slope limiting and requires implicit treatment to avoid severe time step restrictions. The optional application of a vertex-based slope limiter constrains the DG solution to be bounded by local maxima and minima of the cell averages. Numerical studies are performed for two scalar two-dimensional test problems with nonlinear and nonconvex flux functions. [ABSTRACT FROM AUTHOR]

Fully discrete bicompact schemes of the fourth order of approximation in space are investigated for entropy stability in problems of gas dynamics. Expressions for the rate of entropy production in these schemes are derived. Qualitative estimates are obtained for the behavior of this quantity. On the example of one-dimensional Riemann test problems, a numerical analysis of the entropy production rate for bicompact schemes of the first and third orders of approximation in time is carried out. From the results of this analysis, it is concluded whether any entropy correction is necessary for bicompact schemes. [ABSTRACT FROM AUTHOR]

In this paper, we develop a fully conservative, positivity-preserving, and entropy-bounded discontinuous Galerkin scheme for simulating the multicomponent, chemically reacting, compressible Euler equations with complex thermodynamics. The proposed formulation is an extension of the fully conservative, high-order numerical method previously developed by Johnson and Kercher (2020) [14] that maintains pressure equilibrium between adjacent elements. In this first part of our two-part paper, we focus on the one-dimensional case. Our methodology is rooted in the minimum entropy principle satisfied by entropy solutions to the multicomponent, compressible Euler equations, which was proved by Gouasmi et al. (2020) [16] for nonreacting flows. We first show that the minimum entropy principle holds in the reacting case as well. Next, we introduce the ingredients, including a simple linear-scaling limiter, required for the discrete solution to have nonnegative species concentrations, positive density, positive pressure, and bounded entropy. We also discuss how to retain the aforementioned ability to preserve pressure equilibrium between elements. Operator splitting is employed to handle stiff chemical reactions. To guarantee discrete satisfaction of the minimum entropy principle in the reaction step, we develop an entropy-stable discontinuous Galerkin method based on diagonal-norm summation-by-parts operators for solving ordinary differential equations. The developed formulation is used to compute canonical one-dimensional test cases, namely thermal-bubble advection, advection of a low-density Gaussian wave, multicomponent shock-tube flow, and a moving hydrogen-oxygen detonation wave with detailed chemistry. We demonstrate that the formulation can achieve optimal high-order convergence in smooth flows. Furthermore, we find that the enforcement of an entropy bound can considerably reduce the large-scale nonlinear instabilities that emerge when only the positivity property is enforced, to an even greater extent than in the monocomponent, calorically perfect case. Finally, mass, total energy, and atomic elements are shown to be discretely conserved. [ABSTRACT FROM AUTHOR]

High-order Hadamard-form entropy stable multidimensional summation-by-parts discretizations of the Euler and compressible Navier-Stokes equations are considerably more expensive than the standard divergence-form discretization. In search of a more efficient entropy stable scheme, we extend the entropy-split method for implementation on unstructured grids and investigate its properties. The main ingredients of the scheme are Harten's entropy functions, diagonal- E summation-by-parts operators with diagonal norm matrix, and entropy conservative simultaneous approximation terms (SATs). We show that the scheme is high-order accurate and entropy conservative on periodic curvilinear unstructured grids for the Euler equations. An entropy stable matrix-type interface dissipation operator is constructed, which can be added to the SATs to obtain an entropy stable semi-discretization. Fully-discrete entropy conservation is achieved using a relaxation Runge-Kutta method. Entropy stable viscous SATs, applicable to both the Hadamard-form and entropy-split schemes, are developed for the compressible Navier-Stokes equations. In the absence of heat fluxes, the entropy-split scheme is entropy stable for the compressible Navier-Stokes equations. Local conservation in the vicinity of discontinuities is enforced using an entropy stable hybrid scheme. Several numerical problems involving both smooth and discontinuous solutions are investigated to support the theoretical results. Computational cost comparison studies suggest that the entropy-split scheme offers substantial efficiency benefits relative to Hadamard-form multidimensional SBP-SAT discretizations. • Entropy-split scheme on unstructured grids using multidimensional SBP operators. • Entropy stable locally conservative hybrid discretization of the Euler equations. • Matrix-type artificial dissipation operator for Harten's entropy functions. • SATs for systems of equations with symmetric positive semidefinite diffusivity tensor. • Efficiency comparison of entropy-split and Hadamard-form SBP-SAT discretizations. [ABSTRACT FROM AUTHOR]

The moment of entropy equation for vector-BGK model results in the entropy equation for macroscopic model. However, this is usually not the case in numerical methods because the current literature consists mostly of entropy conserving/stable schemes for macroscopic model. In this paper, we attempt to fill this gap by developing an entropy conserving scheme for vector-kinetic model, and we show that the moment of this results in an entropy conserving scheme for macroscopic model. With the numerical viscosity of entropy conserving scheme as reference, the entropy stable scheme for vector-kinetic model is developed in the spirit of Tadmor [40]. We show that the moment of this scheme results in an entropy stable scheme for macroscopic model. The schemes are validated on several benchmark test problems for scalar and shallow water equations, and conservation/stability of both kinetic and macroscopic entropies are presented. [ABSTRACT FROM AUTHOR]

We present a high-order entropy stable discontinuous Galerkin (ESDG) method for the two dimensional shallow water equations (SWE) on curved triangular meshes. The presented scheme preserves a semi-discrete entropy inequality and remains well-balanced for continuous bathymetry profiles. We provide numerical experiments which confirm the high-order accuracy and theoretical properties of the scheme, and compare the presented scheme to an entropy stable scheme based on simplicial summation-by-parts (SBP) finite difference operators. Finally, we report the computational performance of an implementation on Graphics Processing Units (GPUs) and provide comparisons to existing GPU-accelerated implementations of high-order DG methods on quadrilateral meshes. [ABSTRACT FROM AUTHOR]

In this work we analyze the entropic properties of the Euler equations when the system is closed with the assumption of a polytropic gas. In this case, the pressure solely depends upon the density of the fluid and the energy equation is not necessary anymore as the mass conservation and momentum conservation then form a closed system. Further, the total energy acts as a convex mathematical entropy function for the polytropic Euler equations. The polytropic equation of state gives the pressure as a scaled power law of the density in terms of the adiabatic index γ . As such, there are important limiting cases contained within the polytropic model like the isothermal Euler equations ( γ = 1 ) and the shallow water equations ( γ = 2 ). We first mimic the continuous entropy analysis on the discrete level in a finite volume context to get special numerical flux functions. Next, these numerical fluxes are incorporated into a particular discontinuous Galerkin (DG) spectral element framework where derivatives are approximated with summation-by-parts operators. This guarantees a high-order accurate DG numerical approximation to the polytropic Euler equations that is also consistent to its auxiliary total energy behavior. Numerical examples are provided to verify the theoretical derivations, i.e., the entropic properties of the high order DG scheme. [ABSTRACT FROM AUTHOR]

Recently, relaxation methods have been developed to guarantee the preservation of a single global functional of the solution of an ordinary differential equation. Here, we generalize this approach to guarantee local entropy inequalities for finitely many convex functionals (entropies) and apply the resulting methods to the compressible Euler and Navier–Stokes equations. Based on the unstructured h p -adaptive SSDC framework of entropy conservative or dissipative semidiscretizations using summation-by-parts and simultaneous-approximation-term operators, we develop the first discretizations for compressible computational fluid dynamics that are primary conservative, locally entropy stable in the fully discrete sense under a usual CFL condition, explicit except for the parallelizable solution of a single scalar equation per element, and arbitrarily high-order accurate in space and time. We demonstrate the accuracy and the robustness of the fully-discrete explicit locally entropy-stable solver for a set of test cases of increasing complexity. • Generalization of the relaxation methods to guarantee local entropy inequalities. • Application to an h p -adaptive compressible Navier–Stokes solver. • Arbitrarily high-order accurate in space and time discretizations. [ABSTRACT FROM AUTHOR]

The Cauchy problem for the complete Euler system is in general ill-posed in the class of admissible (entropy producing) weak solutions. This suggests that there might be sequences of approximate solutions that develop fine-scale oscillations. Accordingly, the concept of measure-valued solution that captures possible oscillations is more suitable for analysis. We study the convergence of a class of entropy stable finite volume schemes for the barotropic and complete compressible Euler equations in the multidimensional case. We establish suitable stability and consistency estimates and show that the Young measure generated by numerical solutions represents a dissipative measure-valued solution of the Euler system. Here dissipative means that a suitable form of the second law of thermodynamics is incorporated in the definition of the measure-valued solutions. In particular, using the recently established weak-strong uniqueness principle, we show that the numerical solutions converge pointwise to the regular solution of the limit systems at least on the lifespan of the latter. [ABSTRACT FROM AUTHOR]

High-order accurate, entropy stable numerical methods for hyperbolic conservation laws have attracted much interest over the last decade, but only a few rigorous convergence results are available, particularly in multiple space dimensions. In this paper we show how the entropy stability of one such method, which is semi-discrete in time, yields a (weak) bound on oscillations. Under the assumption of L∞-boundedness of the approximations we use compensated compactness to prove convergence to a weak solution satisfying at least one entropy condition. [ABSTRACT FROM AUTHOR]

The framework of inner product norm preserving relaxation Runge--Kutta methods [D. I. Ketcheson, SIAM J. Numer. Anal., 57 (2019), pp. 2850--2870] is extended to general convex quantities. Conservation, dissipation, or other solution properties with respect to any convex functional are enforced by the addition of a relaxation parameter that multiplies the Runge--Kutta update at each step. Moreover, other desirable stability (such as strong stability preservation) and efficiency (such as low storage requirements) properties are preserved. The technique can be applied to both explicit and implicit Runge--Kutta methods and requires only a small modification to existing implementations. The computational cost at each step is the solution of one additional scalar algebraic equation for which a good initial guess is available. The effectiveness of this approach is proved analytically and demonstrated in several numerical examples, including applications to high order entropy-conservative and entropy-stable semidiscretizations on unstructured grids for the compressible Euler and Navier--Stokes equations. [ABSTRACT FROM AUTHOR]

In this work, the space of admissible entropy functions for the compressible multicomponent Euler equations is explored, following up on Harten (J. Comput. Phys.49 (1983) 151–164). This effort allows us to prove a minimum entropy principle on entropy solutions, whether smooth or discrete, in the same way it was originally demonstrated for the compressible Euler equations by Tadmor (Appl. Numer. Math.49 (1986) 211–219). [ABSTRACT FROM AUTHOR]

This work is focused on the entropy analysis of a semi-discrete nodal discontinuous Galerkin spectral element method (DGSEM) on moving meshes for hyperbolic conservation laws. The DGSEM is constructed with a local tensor-product Lagrange-polynomial basis computed from Legendre–Gauss–Lobatto points. Furthermore, the collocation of interpolation and quadrature nodes is used in the spatial discretization. This approach leads to discrete derivative approximations in space that are summation-by-parts (SBP) operators. On a static mesh, the SBP property and suitable two-point flux functions, which satisfy the entropy condition from Tadmor, allow to mimic results from the continuous entropy analysis, if it is ensured that properties such as positivity preservation (of the water height, density or pressure) are satisfied on the discrete level. In this paper, Tadmor’s condition is extended to the moving mesh framework. We show that the volume terms in the semi-discrete moving mesh DGSEM do not contribute to the discrete entropy evolution when a two-point flux function that satisfies the moving mesh entropy condition is applied in the split form DG framework. The discrete entropy behavior then depends solely on the interface contributions and on the domain boundary contribution. The interface contributions are directly controlled by proper choice of the numerical element interface fluxes. If an entropy conserving two-point flux is chosen, the interface contributions vanish. To increase the robustness of the discretization we use so-called entropy stable two-point fluxes at the interfaces that are guaranteed entropy dissipative and thus give a bound on the interface contributions in the discrete entropy balance. The remaining boundary condition contributions depend on the type of the considered boundary condition. E.g. for periodic boundary conditions that are of entropy conserving type, our methodology with the entropy conserving interface fluxes is fully entropy conservative and with the entropy stable interface fluxes is guaranteed entropy stable. The presented proof does not require any exactness of quadrature in the spatial integrals of the variational forms. As it is the case for static meshes, these results rely on the assumption that additional properties like positivity preservation are satisfied on the discrete level. Besides the entropy stability, the time discretization of the moving mesh DGSEM will be investigated and it will be proven that the moving mesh DGSEM satisfies the free stream preservation property for an arbitrary s-stage Runge–Kutta method, when periodic boundary conditions are used. The theoretical properties of the moving mesh DGSEM will be validated by numerical experiments for the compressible Euler equations with periodic boundary conditions. [ABSTRACT FROM AUTHOR]

We develop high-order entropy-conservative semi-discrete schemes for hyperbolic conservation laws applicable to non-conforming curvilinear grids arising from h-, p-, or hp-adaptivity. More precisely, building on previous work with conforming grids by Crean et al. (J Comput Phys 356:410–438, 2018) and Chan et al. (SIAM J Sci Comput 41:A2938–A2966, 2019), we present two schemes: the first couples neighbouring elements in a skew-symmetric method, the second in a pointwise fashion. The key ingredients are degree p diagonal-norm summation-by-parts operators equipped with interface quadrature rules of degree 2p or higher, a skew-symmetric geometric mapping procedure using suitable polynomial functions, and a numerical flux that conserves mathematical entropy. Furthermore, entropy-stable schemes are obtained when augmenting the original schemes with a stabilization term that dissipates mathematical entropy at element interfaces. We provide both theoretical and numerical analysis for the compressible Euler equations demonstrating the element-wise conservation, entropy conservation/dissipation, and accuracy properties of the schemes. While both methods produce comparable results, our studies suggest that the scheme coupling elements in a pointwise manner is more computationally efficient. [ABSTRACT FROM AUTHOR]