Showing 1–46 of 46 results for author: Oeffner, P

The Lax--Wendroff theorem for Patankar-type methods applied to hyperbolic conservation laws

Authors: Janina Bender, Thomas Izgin, Philipp Öffner, Davide Torlo

Abstract: For hyperbolic conservation laws, the famous Lax--Wendroff theorem delivers sufficient conditions for the limit of a convergent numerical method to be a weak (entropy) solution. This theorem is a fundamental result, and many investigations have been done to verify its validity for finite difference, finite volume, and finite element schemes, using either explicit or implicit linear time-integratio… ▽ More For hyperbolic conservation laws, the famous Lax--Wendroff theorem delivers sufficient conditions for the limit of a convergent numerical method to be a weak (entropy) solution. This theorem is a fundamental result, and many investigations have been done to verify its validity for finite difference, finite volume, and finite element schemes, using either explicit or implicit linear time-integration methods. Recently, the use of modified Patankar (MP) schemes as time-integration methods for the discretization of hyperbolic conservation laws has gained increasing interest. These schemes are unconditionally conservative and positivity-preserving and only require the solution of a linear system. However, MP schemes are by construction nonlinear, which is why the theoretical investigation of these schemes is more involved. We prove an extension of the Lax--Wendroff theorem for the class of MP methods. This is the first extension of the Lax--Wendroff theorem to nonlinear time integration methods with just an additional hypothesis on the total time variation boundness of the numerical solutions. We provide some numerical simulations that validate the theoretical observations. △ Less

Submitted 13 May, 2025; originally announced May 2025.

Comments: 25 pages, 6 figures, submitted to Computers and Fluids, VSI: HONOM 2024

MSC Class: 65M06; 65M20; 65L06

Discontinuous Galerkin methods for the complete stochastic Euler equations

Authors: Dominic Breit, Thamsanqa Castern Moyo, Philipp Öffner

Abstract: In recent years, stochastic effects have become increasingly relevant for describing fluid behaviour, particularly in the context of turbulence. The most important model for inviscid fluids in computational fluid dynamics are the Euler equations of gas dynamics which we focus on in this paper. To take stochastic effects into account, we incorporate a stochastic forcing term in the momentum equatio… ▽ More In recent years, stochastic effects have become increasingly relevant for describing fluid behaviour, particularly in the context of turbulence. The most important model for inviscid fluids in computational fluid dynamics are the Euler equations of gas dynamics which we focus on in this paper. To take stochastic effects into account, we incorporate a stochastic forcing term in the momentum equation of the Euler system. To solve the extended system, we apply an entropy dissipative discontinuous Galerkin spectral element method including the Finite Volume setting, adjust it to the stochastic Euler equations and analyze its convergence properties. Our analysis is grounded in the concept of dissipative martingale solutions, as recently introduced by Moyo (J. Diff. Equ. 365, 408-464, 2023). Assuming no vacuum formation and bounded total energy, we proof that our scheme converges in law to a dissipative martingale solution. During the lifespan of a pathwise strong solution, we achieve convergence of at least order 1/2, measured by the expected $L^1$ norm of the relative energy. The results built a counterpart of corresponding results in the deterministic case. In numerical simulations, we show the robustness of our scheme, visualise different stochastic realizations and analyze our theoretical findings. △ Less

Submitted 10 December, 2024; originally announced December 2024.

Comments: 29 pages, 2 Figures

MSC Class: 65M70; 65C30; 65N12

Locally energy-stable finite element schemes for incompressible flow problems: Design and analysis for equal-order interpolations

Authors: Hennes Hajduk, Dmitri Kuzmin, Gert Lube, Philipp Öffner

Abstract: We show that finite element discretizations of incompressible flow problems can be designed to ensure preservation/dissipation of kinetic energy not only globally but also locally. In the context of equal-order (piecewise-linear) interpolations, we prove the validity of a semi-discrete energy inequality for a quadrature-based approximation to the nonlinear convective term, which we combine with th… ▽ More We show that finite element discretizations of incompressible flow problems can be designed to ensure preservation/dissipation of kinetic energy not only globally but also locally. In the context of equal-order (piecewise-linear) interpolations, we prove the validity of a semi-discrete energy inequality for a quadrature-based approximation to the nonlinear convective term, which we combine with the Becker--Hansbo pressure stabilization. An analogy with entropy-stable algebraic flux correction schemes for the compressible Euler equations and the shallow water equations yields a weak `bounded variation' estimate from which we deduce the semi-discrete Lax--Wendroff consistency and convergence towards dissipative weak solutions. The results of our numerical experiments for standard test problems confirm that the method under investigation is non-oscillatory and exhibits optimal convergence behavior. △ Less

Submitted 8 October, 2024; originally announced October 2024.

Generalized upwind summation-by-parts operators and their application to nodal discontinuous Galerkin methods

Authors: Jan Glaubitz, Hendrik Ranocha, Andrew R. Winters, Michael Schlottke-Lakemper, Philipp Öffner, Gregor Gassner

Abstract: High-order numerical methods for conservation laws are highly sought after due to their potential efficiency. However, it is challenging to ensure their robustness, particularly for under-resolved flows. Baseline high-order methods often incorporate stabilization techniques that must be applied judiciously -- sufficient to ensure simulation stability but restrained enough to prevent excessive diss… ▽ More High-order numerical methods for conservation laws are highly sought after due to their potential efficiency. However, it is challenging to ensure their robustness, particularly for under-resolved flows. Baseline high-order methods often incorporate stabilization techniques that must be applied judiciously -- sufficient to ensure simulation stability but restrained enough to prevent excessive dissipation and loss of resolution. Recent studies have demonstrated that combining upwind summation-by-parts (USBP) operators with flux vector splitting can increase the robustness of finite difference (FD) schemes without introducing excessive artificial dissipation. This work investigates whether the same approach can be applied to nodal discontinuous Galerkin (DG) methods. To this end, we demonstrate the existence of USBP operators on arbitrary grid points and provide a straightforward procedure for their construction. Our discussion encompasses a broad class of USBP operators, not limited to equidistant grid points, and enables the development of novel USBP operators on Legendre--Gauss--Lobatto (LGL) points that are well-suited for nodal DG methods. We then examine the robustness properties of the resulting DG-USBP methods for challenging examples of the compressible Euler equations, such as the Kelvin--Helmholtz instability. Similar to high-order FD-USBP schemes, we find that combining flux vector splitting techniques with DG-USBP operators does not lead to excessive artificial dissipation. Furthermore, we find that combining lower-order DG-USBP operators on three LGL points with flux vector splitting indeed increases the robustness of nodal DG methods. However, we also observe that higher-order USBP operators offer less improvement in robustness for DG methods compared to FD schemes. We provide evidence that this can be attributed to USBP methods adding dissipation only to unresolved modes... △ Less

Submitted 17 February, 2025; v1 submitted 20 June, 2024; originally announced June 2024.

MSC Class: 65M12; 65M60; 65M70; 65D25

An optimization-based construction procedure for function space based summation-by-parts operators on arbitrary grids

Authors: Jan Glaubitz, Jan Nordström, Philipp Öffner

Abstract: We introduce a novel construction procedure for one-dimensional summation-by-parts (SBP) operators. Existing construction procedures for FSBP operators of the form $D = P^{-1} Q$ proceed as follows: Given a boundary operator $B$, the norm matrix $P$ is first determined and then in a second step the complementary matrix $Q$ is calculated to finally get the FSBP operator $D$. In contrast, the approa… ▽ More We introduce a novel construction procedure for one-dimensional summation-by-parts (SBP) operators. Existing construction procedures for FSBP operators of the form $D = P^{-1} Q$ proceed as follows: Given a boundary operator $B$, the norm matrix $P$ is first determined and then in a second step the complementary matrix $Q$ is calculated to finally get the FSBP operator $D$. In contrast, the approach proposed here determines the norm and complementary matrices, $P$ and $Q$, simultaneously by solving an optimization problem. The proposed construction procedure applies to classical SBP operators based on polynomial approximation and the broader class of function space SBP (FSBP) operators. According to our experiments, the presented approach yields a numerically stable construction procedure and FSBP operators with higher accuracy for diagonal norm difference operators at the boundaries than the traditional approach. Through numerical simulations, we highlight the advantages of our proposed technique. △ Less

Submitted 14 May, 2024; originally announced May 2024.

Comments: 18 pages, 8 Figures

MSC Class: 65M12; 65M60; 65M70; 65D25

Analysis for Implicit and Implicit-Explicit ADER and DeC Methods for Ordinary Differential Equations, Advection-Diffusion and Advection-Dispersion Equations

Authors: Philipp Öffner, Louis Petri, Davide Torlo

Abstract: In this manuscript, we present the development of implicit and implicit-explicit ADER and DeC methodologies within the DeC framework using the two-operators formulation, with a focus on their stability analysis both as solvers for ordinary differential equations (ODEs) and within the context of linear partial differential equations (PDEs). To analyze their stability, we reinterpret these methods a… ▽ More In this manuscript, we present the development of implicit and implicit-explicit ADER and DeC methodologies within the DeC framework using the two-operators formulation, with a focus on their stability analysis both as solvers for ordinary differential equations (ODEs) and within the context of linear partial differential equations (PDEs). To analyze their stability, we reinterpret these methods as Runge-Kutta schemes and uncover significant variations in stability behavior, ranging from A-stable to bounded stability regions, depending on the chosen order, method, and quadrature nodes. This differentiation contrasts with their explicit counterparts. When applied to advection-diffusion and advection-dispersion equations employing finite difference spatial discretization, the von Neumann stability analysis demonstrates stability under CFL-like conditions. Particularly noteworthy is the stability maintenance observed for the advection-diffusion equation, even under spatial-independent constraints. Furthermore, we establish precise boundaries for relevant coefficients and provide suggestions regarding the suitability of specific schemes for different problem. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Comments: 32 pages, 18 figures, 2 tables. For the associated repository, see https://github.com/accdavlo/IMEX_DeC_ADER . Submitted to Elsevier

MSC Class: 65M06; 65M20; 65L05; 65L06; 65L07

A high-order, fully well-balanced, unconditionally positivity-preserving finite volume framework for flood simulations

Authors: Mirco Ciallella, Lorenzo Micalizzi, Victor Michel-Dansac, Philipp Öffner, Davide Torlo

Abstract: In this work, we present a high-order finite volume framework for the numerical simulation of shallow water flows. The method is designed to accurately capture complex dynamics inherent in shallow water systems, particularly suited for applications such as tsunami simulations. The arbitrarily high-order framework ensures precise representation of flow behaviors, crucial for simulating phenomena ch… ▽ More In this work, we present a high-order finite volume framework for the numerical simulation of shallow water flows. The method is designed to accurately capture complex dynamics inherent in shallow water systems, particularly suited for applications such as tsunami simulations. The arbitrarily high-order framework ensures precise representation of flow behaviors, crucial for simulating phenomena characterized by rapid changes and fine-scale features. Thanks to an {\it ad-hoc} reformulation in terms of production-destruction terms, the time integration ensures positivity preservation without any time-step restrictions, a vital attribute for physical consistency, especially in scenarios where negative water depth reconstructions could lead to unrealistic results. In order to introduce the preservation of general steady equilibria dictated by the underlying balance law, the high-order reconstruction and numerical flux are blended in a convex fashion with a well-balanced approximation, which is able to provide exact preservation of both static and moving equilibria. Through numerical experiments, we demonstrate the effectiveness and robustness of the proposed approach in capturing the intricate dynamics of shallow water flows, while preserving key physical properties essential for flood simulations. △ Less

Submitted 19 February, 2024; originally announced February 2024.

On the robustness of high-order upwind summation-by-parts methods for nonlinear conservation laws

Authors: Hendrik Ranocha, Andrew R. Winters, Michael Schlottke-Lakemper, Philipp Öffner, Jan Glaubitz, Gregor J. Gassner

Abstract: We use the framework of upwind summation-by-parts (SBP) operators developed by Mattsson (2017, doi:10.1016/j.jcp.2017.01.042) and study different flux vector splittings in this context. To do so, we introduce discontinuous-Galerkin-like interface terms for multi-block upwind SBP methods applied to nonlinear conservation laws. We investigate the behavior of the upwind SBP methods for flux vector sp… ▽ More We use the framework of upwind summation-by-parts (SBP) operators developed by Mattsson (2017, doi:10.1016/j.jcp.2017.01.042) and study different flux vector splittings in this context. To do so, we introduce discontinuous-Galerkin-like interface terms for multi-block upwind SBP methods applied to nonlinear conservation laws. We investigate the behavior of the upwind SBP methods for flux vector splittings of varying complexity on Cartesian as well as unstructured curvilinear multi-block meshes. Moreover, we analyze the local linear/energy stability of these methods following Gassner, Svärd, and Hindenlang (2022, doi:10.1007/s10915-021-01720-8). Finally, we investigate the robustness of upwind SBP methods for challenging examples of shock-free flows of the compressible Euler equations such as a Kelvin-Helmholtz instability and the inviscid Taylor-Green vortex. △ Less

Submitted 6 October, 2024; v1 submitted 23 November, 2023; originally announced November 2023.

MSC Class: 65M06; 65M20; 65M70

Journal ref: Journal of Computational Physics, 2024

Consistency and convergence of flux-corrected finite element methods for nonlinear hyperbolic problems

Authors: Dmitri Kuzmin, Mária Lukácova-Medvid'ová, Philipp Öffner

Abstract: We investigate the consistency and convergence of flux-corrected finite element approximations in the context of nonlinear hyperbolic conservation laws. In particular, we focus on a monolithic convex limiting approach and prove a Lax--Wendroff-type theorem for the corresponding semi-discrete problem. A key component of our analysis is the use of a weak estimate on bounded variation, which follows… ▽ More We investigate the consistency and convergence of flux-corrected finite element approximations in the context of nonlinear hyperbolic conservation laws. In particular, we focus on a monolithic convex limiting approach and prove a Lax--Wendroff-type theorem for the corresponding semi-discrete problem. A key component of our analysis is the use of a weak estimate on bounded variation, which follows from the semi-discrete entropy stability property of the method under investigation. For the Euler equations of gas dynamics, we prove the weak convergence of the flux-corrected finite element scheme to a dissipative weak solution. If a strong solution exists, the sequence of numerical approximations converges strongly to the strong solution. △ Less

Submitted 28 August, 2023; originally announced August 2023.

MSC Class: 65M12 65M60 65M70

Summation-by-parts operators for general function spaces: The second derivative

Authors: Jan Glaubitz, Simon-Christian Klein, Jan Nordström, Philipp Öffner

Abstract: Many applications rely on solving time-dependent partial differential equations (PDEs) that include second derivatives. Summation-by-parts (SBP) operators are crucial for developing stable, high-order accurate numerical methodologies for such problems. Conventionally, SBP operators are tailored to the assumption that polynomials accurately approximate the solution, and SBP operators should thus be… ▽ More Many applications rely on solving time-dependent partial differential equations (PDEs) that include second derivatives. Summation-by-parts (SBP) operators are crucial for developing stable, high-order accurate numerical methodologies for such problems. Conventionally, SBP operators are tailored to the assumption that polynomials accurately approximate the solution, and SBP operators should thus be exact for them. However, this assumption falls short for a range of problems for which other approximation spaces are better suited. We recently addressed this issue and developed a theory for first-derivative SBP operators based on general function spaces, coined function-space SBP (FSBP) operators. In this paper, we extend the innovation of FSBP operators to accommodate second derivatives. The developed second-derivative FSBP operators maintain the desired mimetic properties of existing polynomial SBP operators while allowing for greater flexibility by being applicable to a broader range of function spaces. We establish the existence of these operators and detail a straightforward methodology for constructing them. By exploring various function spaces, including trigonometric, exponential, and radial basis functions, we illustrate the versatility of our approach. The work presented here opens up possibilities for using second-derivative SBP operators based on suitable function spaces, paving the way for a wide range of applications in the future. △ Less

Submitted 1 March, 2024; v1 submitted 28 June, 2023; originally announced June 2023.

Comments: 28 pages, 12 figures

MSC Class: 65M12; 65M60; 65M70; 65D25

Multi-dimensional summation-by-parts operators for general function spaces: Theory and construction

Authors: Jan Glaubitz, Simon-Christian Klein, Jan Nordström, Philipp Öffner

Abstract: Summation-by-parts (SBP) operators allow us to systematically develop energy-stable and high-order accurate numerical methods for time-dependent differential equations. Until recently, the main idea behind existing SBP operators was that polynomials can accurately approximate the solution, and SBP operators should thus be exact for them. However, polynomials do not provide the best approximation f… ▽ More Summation-by-parts (SBP) operators allow us to systematically develop energy-stable and high-order accurate numerical methods for time-dependent differential equations. Until recently, the main idea behind existing SBP operators was that polynomials can accurately approximate the solution, and SBP operators should thus be exact for them. However, polynomials do not provide the best approximation for some problems, with other approximation spaces being more appropriate. We recently addressed this issue and developed a theory for one-dimensional SBP operators based on general function spaces, coined function-space SBP (FSBP) operators. In this paper, we extend the theory of FSBP operators to multiple dimensions. We focus on their existence, connection to quadratures, construction, and mimetic properties. A more exhaustive numerical demonstration of multi-dimensional FSBP (MFSBP) operators and their application will be provided in future works. Similar to the one-dimensional case, we demonstrate that most of the established results for polynomial-based multi-dimensional SBP (MSBP) operators carry over to the more general class of MFSBP operators. Our findings imply that the concept of SBP operators can be applied to a significantly larger class of methods than is currently done. This can increase the accuracy of the numerical solutions and/or provide stability to the methods. △ Less

Submitted 23 July, 2023; v1 submitted 30 January, 2023; originally announced January 2023.

Comments: 28 pages, 9 figures

MSC Class: 65M12; 65M60; 65M70; 65D25

Fully well-balanced entropy controlled discontinuous Galerkin spectral element method for shallow water flows: global flux quadrature and cell entropy correction

Authors: Yogiraj Mantri, Philipp Öffner, Mario Ricchiuto

Abstract: We present a novel approach for solving the shallow water equations using a discontinuous Galerkin spectral element method. The method we propose has three main features. First, it enjoys a discrete well-balanced property, in a spirit similar to the one of e.g. [20]. As in the reference, our scheme does not require any a-priori knowledge of the steady equilibrium, moreover it does not involve the… ▽ More We present a novel approach for solving the shallow water equations using a discontinuous Galerkin spectral element method. The method we propose has three main features. First, it enjoys a discrete well-balanced property, in a spirit similar to the one of e.g. [20]. As in the reference, our scheme does not require any a-priori knowledge of the steady equilibrium, moreover it does not involve the explicit solution of any local auxiliary problem to approximate such equilibrium. The scheme is also arbitrarily high order, and verifies a continuous in time cell entropy equality. The latter becomes an inequality as soon as additional dissipation is added to the method. The method is constructed starting from a global flux approach in which an additional flux term is constructed as the primitive of the source. We show that, in the context of nodal spectral finite elements, this can be translated into a simple modification of the integral of the source term. We prove that, when using Gauss-Lobatto nodal finite elements this modified integration is equivalent at steady state to a high order Gauss collocation method applied to an ODE for the flux. This method is superconvergent at the collocation points, thus providing a discrete well-balanced property very similar in spirit to the one proposed in [20], albeit not needing the explicit computation of a local approximation of the steady state. To control the entropy production, we introduce artificial viscosity corrections at the cell level and incorporate them into the scheme. We provide theoretical and numerical characterizations of the accuracy and equilibrium preservation of these corrections. Through extensive numerical benchmarking, we validate our theoretical predictions, with considerable improvements in accuracy for steady states, as well as enhanced robustness for more complex scenarios △ Less

Submitted 13 September, 2023; v1 submitted 22 December, 2022; originally announced December 2022.

A necessary condition for non oscillatory and positivity preserving time-integration schemes

Authors: Thomas Izgin, Philipp Öffner, Davide Torlo

Abstract: Modified Patankar (MP) schemes are conservative, linear implicit and unconditionally positivity preserving time-integration schemes constructed for production-destruction systems. For such schemes, a classical stability analysis does not yield any information about the performance. Recently, two different techniques have been proposed to investigate the properties of MP schemes. In Izgin et al. [E… ▽ More Modified Patankar (MP) schemes are conservative, linear implicit and unconditionally positivity preserving time-integration schemes constructed for production-destruction systems. For such schemes, a classical stability analysis does not yield any information about the performance. Recently, two different techniques have been proposed to investigate the properties of MP schemes. In Izgin et al. [ESAIM: M2AN, 56 (2022)], inspired from dynamical systems, the Lyapunov stability properties of such schemes have been investigated, while in Torlo et al. [Appl. Numer. Math., 182 (2022)] their oscillatory behaviour has been studied. In this work, we investigate the connection between the oscillatory behaviour and the Lyapunov stability and we prove that a condition on the Lyapunov stability function is necessary to avoid oscillations. We verify our theoretical result on several numerical tests. △ Less

Submitted 16 November, 2022; originally announced November 2022.

Entropy conservative high-order fluxes in the presence of boundaries

Authors: Simon-Christian Klein, Philipp Öffner

Abstract: In this paper, we propose a novel development in the context of entropy stable finite-volume/finite-difference schemes. In the first part, we focus on the construction of high-order entropy conservative fluxes. Already in [LMR2002], the authors have generalized the second order accurate entropy conservative numerical fluxes proposed by Tadmor to high-order ($2p$) by a simple centered linear combin… ▽ More In this paper, we propose a novel development in the context of entropy stable finite-volume/finite-difference schemes. In the first part, we focus on the construction of high-order entropy conservative fluxes. Already in [LMR2002], the authors have generalized the second order accurate entropy conservative numerical fluxes proposed by Tadmor to high-order ($2p$) by a simple centered linear combination. We generalize this result additionally to non-centered flux combinations which is in particular favorable if non-periodic boundary conditions are needed. In the second part, a Lax-Wendroff theorem for the combination of these fluxes and the entropy dissipation steering from [Klein2022] is proven. In numerical simulations, we verify all of our theoretical findings. △ Less

Submitted 2 November, 2022; originally announced November 2022.

A new variable shape parameter strategy for RBF approximation using neural networks

Authors: Fatemeh Nassajian Mojarrad, Maria Han Veiga, Jan S. Hesthaven, Philipp Öffner

Abstract: The choice of the shape parameter highly effects the behaviour of radial basis function (RBF) approximations, as it needs to be selected to balance between ill-condition of the interpolation matrix and high accuracy. In this paper, we demonstrate how to use neural networks to determine the shape parameters in RBFs. In particular, we construct a multilayer perceptron trained using an unsupervised l… ▽ More The choice of the shape parameter highly effects the behaviour of radial basis function (RBF) approximations, as it needs to be selected to balance between ill-condition of the interpolation matrix and high accuracy. In this paper, we demonstrate how to use neural networks to determine the shape parameters in RBFs. In particular, we construct a multilayer perceptron trained using an unsupervised learning strategy, and use it to predict shape parameters for inverse multiquadric and Gaussian kernels. We test the neural network approach in RBF interpolation tasks and in a RBF-finite difference method in one and two-space dimensions, demonstrating promising results. △ Less

Submitted 25 June, 2024; v1 submitted 30 October, 2022; originally announced October 2022.

On the convergence of residual distribution schemes for the compressible Euler equations via dissipative weak solutions

Authors: Rémi Abgrall, Mária Lukácova-Medvid'ová, Philipp Öffner

Abstract: In this work, we prove the convergence of residual distribution schemes to dissipative weak solutions of the Euler equations. We need to guarantee that the residual distribution schemes are fulfilling the underlying structure preserving properties such as positivity of density and internal energy. Consequently, the residual distribution schemes lead to a consistent and stable approximation of the… ▽ More In this work, we prove the convergence of residual distribution schemes to dissipative weak solutions of the Euler equations. We need to guarantee that the residual distribution schemes are fulfilling the underlying structure preserving properties such as positivity of density and internal energy. Consequently, the residual distribution schemes lead to a consistent and stable approximation of the Euler equations. Our result can be seen as a generalization of the Lax-Richtmyer equivalence theorem to nonlinear problems that consistency plus stability is equivalent to convergence. △ Less

Submitted 5 December, 2022; v1 submitted 25 July, 2022; originally announced July 2022.

Comments: 28 pages, 3 figures

A study of the local dynamics of modified Patankar DeC and higher order modified Patankar RK methods

Authors: Thomas Izgin, Philipp Öffner

Abstract: Patankar schemes have attracted increasing interest in recent years because they preserve the positivity of the analytical solution of a production-destruction system (PDS) irrespective of the chosen time step size. Although they are now of great interest, for a long time it was not clear what stability properties such schemes have. Recently a new stability approach based on Lyapunov stability wit… ▽ More Patankar schemes have attracted increasing interest in recent years because they preserve the positivity of the analytical solution of a production-destruction system (PDS) irrespective of the chosen time step size. Although they are now of great interest, for a long time it was not clear what stability properties such schemes have. Recently a new stability approach based on Lyapunov stability with an extension of the center manifold theorem has been proposed to study the stability properties of positivity-preserving time integrators. In this work, we study the stability properties of the classical modified Patankar--Runge--Kutta schemes (MPRK) and the modified Patankar Deferred Correction (MPDeC) approaches. We prove that most of the considered MPRK schemes are stable for any time step size and compute the stability function of MPDeC. We investigate its properties numerically revealing that also most MPDeC are stable irrespective of the chosen time step size. Finally, we verify our theoretical results with numerical simulations. △ Less

Submitted 11 May, 2023; v1 submitted 15 June, 2022; originally announced June 2022.

Comments: 34 pages, 14 Figures

MSC Class: 65L05; 65L06; 65L20

High order entropy preserving ADER scheme

Authors: Elena Gaburro, Philipp Öffner, Mario Ricchiuto, Davide Torlo

Abstract: In this paper, we develop a fully discrete entropy preserving ADER-Discontinuous Galerkin (ADER-DG) method. To obtain this desired result, we equip the space part of the method with entropy correction terms that balance the entropy production in space, inspired by the work of Abgrall. Whereas for the time-discretization we apply the relaxation approach introduced by Ketcheson that allows to modify… ▽ More In this paper, we develop a fully discrete entropy preserving ADER-Discontinuous Galerkin (ADER-DG) method. To obtain this desired result, we equip the space part of the method with entropy correction terms that balance the entropy production in space, inspired by the work of Abgrall. Whereas for the time-discretization we apply the relaxation approach introduced by Ketcheson that allows to modify the timestep to preserve the entropy to machine precision. Up to our knowledge, it is the first time that a provable fully discrete entropy preserving ADER-DG scheme is constructed. We verify our theoretical results with various numerical simulations. △ Less

Submitted 8 June, 2022; originally announced June 2022.

Energy-stable global radial basis function methods on summation-by-parts form

Authors: Jan Glaubitz, Jan Nordström, Philipp Öffner

Abstract: Radial basis function methods are powerful tools in numerical analysis and have demonstrated good properties in many different simulations. However, for time-dependent partial differential equations, only a few stability results are known. In particular, if boundary conditions are included, stability issues frequently occur. The question we address in this paper is how provable stability for RBF m… ▽ More Radial basis function methods are powerful tools in numerical analysis and have demonstrated good properties in many different simulations. However, for time-dependent partial differential equations, only a few stability results are known. In particular, if boundary conditions are included, stability issues frequently occur. The question we address in this paper is how provable stability for RBF methods can be obtained. We develop and construct energy-stable radial basis function methods using the general framework of summation-by-parts operators often used in the Finite Difference and Finite Element communities. △ Less

Submitted 7 April, 2022; originally announced April 2022.

Comments: 22 pages, 8 Figures

MSC Class: 65N35; 65N12; 65D12; 65D25

Summation-by-parts operators for general function spaces

Authors: Jan Glaubitz, Jan Nordström, Philipp Öffner

Abstract: Summation-by-parts (SBP) operators are popular building blocks for systematically developing stable and high-order accurate numerical methods for time-dependent differential equations. The main idea behind existing SBP operators is that the solution is assumed to be well approximated by polynomials up to a certain degree, and the SBP operator should therefore be exact for them. However, polynomial… ▽ More Summation-by-parts (SBP) operators are popular building blocks for systematically developing stable and high-order accurate numerical methods for time-dependent differential equations. The main idea behind existing SBP operators is that the solution is assumed to be well approximated by polynomials up to a certain degree, and the SBP operator should therefore be exact for them. However, polynomials might not provide the best approximation for some problems, and other approximation spaces may be more appropriate. In this paper, a theory for SBP operators based on general function spaces is developed. We demonstrate that most of the established results for polynomial-based SBP operators carry over to this general class of SBP operators. Our findings imply that the concept of SBP operators can be applied to a significantly larger class of methods than currently known. We exemplify the general theory by considering trigonometric, exponential, and radial basis functions. △ Less

Submitted 30 January, 2023; v1 submitted 10 March, 2022; originally announced March 2022.

Comments: 22 pages, 6 figures

MSC Class: 65M12; 65M60; 65M70; 65D25; 65T40; 65D12

Journal ref: SIAM J Numer Anal 61(2), 733-754 (2023)

Comparison to control oscillations in high-order Finite Volume schemes via physical constraint limiters, neural networks and polynomial annihilation

Authors: Dorian Hillebrand, Simon-Christian Klein, Philipp Öffner

Abstract: The construction of high-order structure-preserving numerical schemes to solve hyperbolic conservation laws has attracted a lot of attention in the last decades and various different ansatzes exist. In this paper, we compare three completely different approaches, i.e. physical constraint limiting, deep neural networks and the application of polynomial annihilation to construct high-order oscillati… ▽ More The construction of high-order structure-preserving numerical schemes to solve hyperbolic conservation laws has attracted a lot of attention in the last decades and various different ansatzes exist. In this paper, we compare three completely different approaches, i.e. physical constraint limiting, deep neural networks and the application of polynomial annihilation to construct high-order oscillation free Finite Volume (FV) blending schemes. We further analyze their analytical and numerical properties. We demonstrate that all techniques can be used and yield highly efficient FV methods but also come with some additional drawbacks which we point out. Our investigation of the different blending strategies should lead to a better understanding of those techniques and can be transferred to other numerical methods as well which use similar ideas. △ Less

Submitted 1 March, 2022; originally announced March 2022.

Comments: 26 pages, 5 figures

MSC Class: 65M08; 65M06

Convergence of Discontinuous Galerkin Schemes for the Euler Equations via Dissipative Weak Solutions

Authors: Mária Lukácová-Medvidová, Philipp Öffner

Abstract: In this paper, we present convergence analysis of high-order finite element based methods, in particular, we focus on a discontinuous Galerkin scheme using summation-by-parts operators. To this end, it is crucial that structure preserving properties, such as positivity preservation and entropy inequality hold. We demonstrate how to ensure them and prove the convergence of our multidimensional high… ▽ More In this paper, we present convergence analysis of high-order finite element based methods, in particular, we focus on a discontinuous Galerkin scheme using summation-by-parts operators. To this end, it is crucial that structure preserving properties, such as positivity preservation and entropy inequality hold. We demonstrate how to ensure them and prove the convergence of our multidimensional high-order DG scheme via dissipative weak solutions. In numerical simulations, we verify our theoretical results. △ Less

Submitted 4 March, 2022; v1 submitted 21 February, 2022; originally announced February 2022.

Comments: 28 pages, 3 Figures

MSC Class: 65M12; 65M60; 65M70

An Arbitrary High Order and Positivity Preserving Method for the Shallow Water Equations

Authors: Mirco Ciallella, Lorenzo Micalizzi, Philipp Öffner, Davide Torlo

Abstract: In this paper, we develop and present an arbitrary high order well-balanced finite volume WENO method combined with the modified Patankar Deferred Correction (mPDeC) time integration method for the shallow water equations. Due to the positivity-preserving property of mPDeC, the resulting scheme is unconditionally positivity preserving for the water height. To apply the mPDeC approach, we have to i… ▽ More In this paper, we develop and present an arbitrary high order well-balanced finite volume WENO method combined with the modified Patankar Deferred Correction (mPDeC) time integration method for the shallow water equations. Due to the positivity-preserving property of mPDeC, the resulting scheme is unconditionally positivity preserving for the water height. To apply the mPDeC approach, we have to interpret the spatial semi-discretization in terms of production-destruction systems. Only small modifications inside the classical WENO implementation are necessary and we explain how it can be done. In numerical simulations, focusing on a fifth order method, we demonstrate the good performance of the new method and verify the theoretical properties. △ Less

Submitted 15 November, 2022; v1 submitted 26 October, 2021; originally announced October 2021.

Issues with Positivity-Preserving Patankar-type Schemes

Authors: Davide Torlo, Philipp Öffner, Hendrik Ranocha

Abstract: Patankar-type schemes are linearly implicit time integration methods designed to be unconditionally positivity-preserving. However, there are only little results on their stability or robustness. We suggest two approaches to analyze the performance and robustness of these methods. In particular, we demonstrate problematic behaviors of these methods that, even on very simple linear problems, can le… ▽ More Patankar-type schemes are linearly implicit time integration methods designed to be unconditionally positivity-preserving. However, there are only little results on their stability or robustness. We suggest two approaches to analyze the performance and robustness of these methods. In particular, we demonstrate problematic behaviors of these methods that, even on very simple linear problems, can lead to undesired oscillations and order reduction for vanishing initial condition. Finally, we demonstrate in numerical simulations that our theoretical results for linear problems apply analogously to nonlinear stiff problems. △ Less

Submitted 8 August, 2022; v1 submitted 16 August, 2021; originally announced August 2021.

MSC Class: 65L06; 65L20; 65L04

Relaxation Deferred Correction Methods and their Applications to Residual Distribution Schemes

Authors: Rémi Abgrall, Elise Le Mélédo, Philipp Öffner, Davide Torlo

Abstract: In [1] is proposed a simplified DeC method, that, when combined with the residual distribution (RD) framework, allows to construct a high order, explicit FE scheme with continuous approximation avoiding the inversion of the mass matrix for hyperbolic problems. In this paper, we close some open gaps in the context of deferred correction (DeC) and their application within the RD framework. First, we… ▽ More In [1] is proposed a simplified DeC method, that, when combined with the residual distribution (RD) framework, allows to construct a high order, explicit FE scheme with continuous approximation avoiding the inversion of the mass matrix for hyperbolic problems. In this paper, we close some open gaps in the context of deferred correction (DeC) and their application within the RD framework. First, we demonstrate the connection between the DeC schemes and the RK methods. With this knowledge, DeC can be rewritten as a convex combination of explicit Euler steps, showing the connection to the strong stability preserving (SSP) framework. Then, we can apply the relaxation approach introduced in [2] and construct entropy conservative/dissipative DeC (RDeC) methods, using the entropy correction function proposed in [3]. [1] R. Abgrall. High order schemes for hyperbolic problems using globally continuous approximation and avoiding mass matrices. Journal of Scientific Computing, 73(2):461--494, Dec 2017. [2] D. Ketcheson. Relaxation Runge--Kutta methods: Conservation and stability for inner-product norms. SIAM Journal on Numerical Analysis, 57(6):2850--2870, 2019. [3] R. Abgrall. A general framework to construct schemes satisfying additional conservation relations. application to entropy conservative and entropy dissipative schemes. Journal of Computational Physics, 372:640--666, 2018. △ Less

Submitted 9 June, 2021; originally announced June 2021.

Towards Stable Radial Basis Function Methods for Linear Advection Problems

Authors: Jan Glaubitz, Elise Le Mélédo, Philipp Öffner

Abstract: In this work, we investigate (energy) stability of global radial basis function (RBF) methods for linear advection problems. Classically, boundary conditions (BC) are enforced strongly in RBF methods. By now it is well-known that this can lead to stability problems, however. Here, we follow a different path and propose two novel RBF approaches which are based on a weak enforcement of BCs. By using… ▽ More In this work, we investigate (energy) stability of global radial basis function (RBF) methods for linear advection problems. Classically, boundary conditions (BC) are enforced strongly in RBF methods. By now it is well-known that this can lead to stability problems, however. Here, we follow a different path and propose two novel RBF approaches which are based on a weak enforcement of BCs. By using the concept of flux reconstruction and simultaneous approximation terms (SATs), respectively, we are able to prove that both new RBF schemes are strongly (energy) stable. Numerical results in one and two spatial dimensions for both scalar equations and systems are presented, supporting our theoretical analysis. △ Less

Submitted 23 January, 2021; originally announced January 2021.

Comments: To appear in Computers and Mathematics with Applications

MSC Class: 35L65; 41A05; 41A30; 65D05; 65M12

DeC and ADER: Similarities, Differences and a Unified Framework

Authors: Maria Han Veiga, Philipp Öffner, Davide Torlo

Abstract: In this paper, we demonstrate that the explicit ADER approach as it is used inter alia in [1] can be seen as a special interpretation of the deferred correction (DeC) method as introduced in [2]. By using this fact, we are able to embed ADER in a theoretical background of time integration schemes and prove the relation between the accuracy order and the number of iterations which are needed to rea… ▽ More In this paper, we demonstrate that the explicit ADER approach as it is used inter alia in [1] can be seen as a special interpretation of the deferred correction (DeC) method as introduced in [2]. By using this fact, we are able to embed ADER in a theoretical background of time integration schemes and prove the relation between the accuracy order and the number of iterations which are needed to reach the desired order. Next, we extend our investigation to stiff ODEs, treating these source terms implicitly. Some differences in the interpretation and implementation can be found. Using DeC yields typically a much simpler implementation, while ADER benefits from a higher accuracy, at least for our numerical simulations. Then, we also focus on the PDE case and present common space-time discretizations using DeC and ADER in closed forms. Finally, in the numerical section we investigate A-stability for the ADER approach - this is done for the first time up to our knowledge - for different order using several basis functions and compare them with the DeC ansatz. Then, we compare the performance of ADER and DeC for stiff and non-stiff ODEs and verify our analysis focusing on two basic hyperbolic problems. [1] O. Zanotti, F. Fambri, M. Dumbser, and A. Hidalgo. Space-time adaptive ader discontinuous galerkin finite element schemes with a posteriori sub-cell finite volume limiting. Computers & Fluids, 118:204-224, 2015. [2] A. Dutt, L. Greengard, and V. Rokhlin. Spectral Deferred Correction Methods for Ordinary Differential Equations. BIT Numerical Mathematics, 40(2):241-266, 2000. △ Less

Submitted 6 January, 2021; v1 submitted 26 February, 2020; originally announced February 2020.

Stable discretisations of high-order discontinuous Galerkin methods on equidistant and scattered points

Authors: Jan Glaubitz, Philipp Oeffner

Abstract: In this work, we propose and investigate stable high-order collocation-type discretisations of the discontinuous Galerkin method on equidistant and scattered collocation points. We do so by incorporating the concept of discrete least squares into the discontinuous Galerkin framework. Discrete least squares approximations allow us to construct stable and high-order accurate approximations on arbitr… ▽ More In this work, we propose and investigate stable high-order collocation-type discretisations of the discontinuous Galerkin method on equidistant and scattered collocation points. We do so by incorporating the concept of discrete least squares into the discontinuous Galerkin framework. Discrete least squares approximations allow us to construct stable and high-order accurate approximations on arbitrary collocation points, while discrete least squares quadrature rules allow us their stable and exact numerical integration. Both methods are computed efficiently by using bases of discrete orthogonal polynomials. Thus, the proposed discretisation generalises known classes of discretisations of the discontinuous Galerkin method, such as the discontinuous Galerkin collocation spectral element method. We are able to prove conservation and linear $L^2$-stability of the proposed discretisations. Finally, numerical tests investigate their accuracy and demonstrate their extension to nonlinear conservation laws, systems, longtime simulations, and a variable coefficient problem in two space dimensions. △ Less

Submitted 2 January, 2020; originally announced January 2020.

Comments: Accepted in Applied Numerical Mathematics (Elsevier)

Analysis of the SBP-SAT Stabilization for Finite Element Methods Part II: Entropy Stability

Authors: Rémi Abgrall, Jan Nordström, Philipp Öffner, Svetlana Tokareva

Abstract: In the research community, there exists the strong belief that a continuous Galerkin scheme is notoriously unstable and additional stabilization terms have to be added to guarantee stability. In the first part of the series [6], the application of simultaneous approximation terms for linear problems is investigated where the boundary conditions are imposed weakly. By applying this technique, the a… ▽ More In the research community, there exists the strong belief that a continuous Galerkin scheme is notoriously unstable and additional stabilization terms have to be added to guarantee stability. In the first part of the series [6], the application of simultaneous approximation terms for linear problems is investigated where the boundary conditions are imposed weakly. By applying this technique, the authors demonstrate that a pure continuous Galerkin scheme is indeed linear stable if the boundary conditions are done in the correct way. In this work, we extend this investigation to the non-linear case and focusing on entropy conservation. Switching to entropy variables, we will provide an estimation on the boundary operators also for non-linear problems to guarantee conservation. In numerical simulations, we verify our theoretical analysis. △ Less

Submitted 18 December, 2019; originally announced December 2019.

Comments: 21 pages,10 figures

Analysis of the SBP-SAT Stabilization for Finite Element Methods Part I: Linear Problems

Authors: Rémi Abgrall, Jan Nordström, Philipp Öffner, Svetlana Tokareva

Abstract: In the hyperbolic community, discontinuous Galerkin approaches are mainly applied when finite element methods are considered. As the name suggested, the DG framework allows a discontinuity at the element interfaces, which seems for many researchers a favorable property in case of hyperbolic balance laws. On the contrary, continuous Galerkin method obtained from a straightforward discretisation of… ▽ More In the hyperbolic community, discontinuous Galerkin approaches are mainly applied when finite element methods are considered. As the name suggested, the DG framework allows a discontinuity at the element interfaces, which seems for many researchers a favorable property in case of hyperbolic balance laws. On the contrary, continuous Galerkin method obtained from a straightforward discretisation of the weak form of the PDEs appear to be unsuitable for hyperbolic problems. To remedy this issue, stabilization terms are usually added and various formulations can be found in the literature. There exists still the perception that continuous Galerkin methods are not suited to hyperbolic problems, and the reason of this is the continuity of the approximation. However, this perception is not true and the stabilization terms can be removed, in general, provided the boundary conditions are suitable. In this paper, we deal with this problem, and present a different approach. We use the boundary conditions to stabilize the scheme following a procedure that are frequently used in the finite difference community. Here, the main idea is to impose the boundary conditions weakly and specific boundary operators are constructed such that they guarantee stability. This approach has already been used in the DG framework, but here we apply it with a continuous Galerkin scheme. No internal dissipation is needed even if unstructured grids are used. Further, we point out that we do not need exact integration, it suffices if the quadrature rule and the norm in the differential operator are the same, such that the summation-by-parts (SBP) property is fulfilled meaning that a discrete Gauss Th. is valid. This contradicts the perception in the hyperbolic community that stability issues for pure Galerkin scheme exist. In numerical simulations, we verify our theoretical analysis. △ Less

Submitted 19 April, 2021; v1 submitted 17 December, 2019; originally announced December 2019.

Comments: 28 pages, 10 figures

Report number: 85 MSC Class: 65M12; 65M60; 65M70

Journal ref: Journal of Scientific Computing, 2020

General polytopal H(div) conformal finite elements and their discretisation spaces

Authors: Rémi Abgrall, Élise Le Mélédo, Philipp Öffner

Abstract: We present a class of discretisation spaces and H(div)-conformal elements that can be built on any polytope. Bridging the flexibility of the Virtual Element spaces towards the element's shape with the divergence properties of the Raviart-Thomas elements on the boundaries, the designed frameworks offer a wide range of H(div)-conformal discretisations. As those elements are set up through degrees of… ▽ More We present a class of discretisation spaces and H(div)-conformal elements that can be built on any polytope. Bridging the flexibility of the Virtual Element spaces towards the element's shape with the divergence properties of the Raviart-Thomas elements on the boundaries, the designed frameworks offer a wide range of H(div)-conformal discretisations. As those elements are set up through degrees of freedom, their definitions are easily amenable to the properties the approximated quantities are wished to fulfill. Furthermore, we show that one straightforward restriction of this general setting share its properties with the classical Raviart-Thomas elements at each interface, for any order and any polytopial shape. Then, to close the introduction of those new elements by an example, we investigate the shape of the basis functions corresponding to particular elements in the two dimensional case. △ Less

Submitted 16 July, 2020; v1 submitted 14 October, 2019; originally announced October 2019.

Comments: arXiv admin note: substantial text overlap with arXiv:1907.08678

Reinterpretation and Extension of Entropy Correction Terms for Residual Distribution and Discontinuous Galerkin Schemes: Application to Structure Preserving Discretization

Authors: Rémi Abgrall, Philipp Öffner, Hendrik Ranocha

Abstract: For the general class of residual distribution (RD) schemes, including many finite element (such as continuous/discontinuous Galerkin) and flux reconstruction methods, an approach to construct entropy conservative/ dissipative semidiscretizations by adding suitable correction terms has been proposed by Abgrall (J.~Comp.~Phys. 372: pp. 640--666, 2018). In this work, the correction terms are charact… ▽ More For the general class of residual distribution (RD) schemes, including many finite element (such as continuous/discontinuous Galerkin) and flux reconstruction methods, an approach to construct entropy conservative/ dissipative semidiscretizations by adding suitable correction terms has been proposed by Abgrall (J.~Comp.~Phys. 372: pp. 640--666, 2018). In this work, the correction terms are characterized as solutions of certain optimization problems and are adapted to the SBP-SAT framework, focusing on discontinuous Galerkin methods. Novel generalizations to entropy inequalities, multiple constraints, and kinetic energy preservation for the Euler equations are developed and tested in numerical experiments. For all of these optimization problems, explicit solutions are provided. Additionally, the correction approach is applied for the first time to obtain a fully discrete entropy conservative/dissipative RD scheme. Here, the application of the deferred correction (DeC) method for the time integration is essential. This paper can be seen as describing a systematic method to construct structure preserving discretization, at least for the considered example. △ Less

Submitted 5 January, 2022; v1 submitted 13 August, 2019; originally announced August 2019.

MSC Class: 65M12; 65M60; 65M70; 65M06

Journal ref: Journal of Computational Physics, 2022

A class of finite dimensional spaces and H(div) conformal elements on general polytopes

Authors: Rémi Abgrall, Élise Le Mélédo, Philipp Öffner

Abstract: We present a class of discretisation spaces and H(div)-conformal elements that can be built on any polytope. Bridging the flexibility of the Virtual Element spaces towards the element's shape with the divergence properties of the Raviart-Thomas elements on the boundaries, the designed frameworks offer a wide range of H(div)-conformal discretisations. As those elements are set up through degrees of… ▽ More We present a class of discretisation spaces and H(div)-conformal elements that can be built on any polytope. Bridging the flexibility of the Virtual Element spaces towards the element's shape with the divergence properties of the Raviart-Thomas elements on the boundaries, the designed frameworks offer a wide range of H(div)-conformal discretisations. As those elements are set up through degrees of freedom, their definitions are easily amenable to the properties the approximated quantities are wished to fulfil. Furthermore, we show that one straightforward restriction of this general setting share its properties with the classical Raviart-Thomas elements at each interface, for any order and any polytopial shape. Then, we investigate the shape of the basis functions corresponding to particular elements in the two dimensional case. △ Less

Submitted 19 July, 2019; originally announced July 2019.

Arbitrary high-order, conservative and positive preserving Patankar-type deferred correction schemes

Authors: Philipp Öffner, Davide Torlo

Abstract: Production-destruction systems (PDS) of ordinary differential equations (ODEs) are used to describe physical and biological reactions in nature. The considered quantities are subject to natural laws. Therefore, they preserve positivity and conservation of mass at the analytical level. In order to maintain these properties at the discrete level, the so-called modified Patankar-Runge-Kutta (MPRK) sc… ▽ More Production-destruction systems (PDS) of ordinary differential equations (ODEs) are used to describe physical and biological reactions in nature. The considered quantities are subject to natural laws. Therefore, they preserve positivity and conservation of mass at the analytical level. In order to maintain these properties at the discrete level, the so-called modified Patankar-Runge-Kutta (MPRK) schemes are often used in this context. However, up to our knowledge, the family of MPRK has been only developed up to third order of accuracy. In this work, we propose a method to solve PDS problems, but using the Deferred Correction (DeC) process as a time integration method. Applying the modified Patankar approach to the DeC scheme results in provable conservative and positivity preserving methods. Furthermore, we demonstrate that these modified Patankar DeC schemes can be constructed up to arbitrarily high order. Finally, we validate our theoretical analysis through numerical simulations. △ Less

Submitted 9 October, 2019; v1 submitted 22 May, 2019; originally announced May 2019.

On the Connection between Residual Distribution Schemes and Flux Reconstruction

Authors: Remi Abgrall, Elise le Meledo, Philipp Oeffner

Abstract: In this short paper, we are considering the connection between the \emph{Residual Distribution Schemes} (RD) and the \emph{Flux Reconstruction} (FR) approach. We demonstrate that flux reconstruction can be recast into the RD framework and vice versa. Because of this close connection we are able to apply known results from RD schemes to FR methods. In this context we propose a first demonstration o… ▽ More In this short paper, we are considering the connection between the \emph{Residual Distribution Schemes} (RD) and the \emph{Flux Reconstruction} (FR) approach. We demonstrate that flux reconstruction can be recast into the RD framework and vice versa. Because of this close connection we are able to apply known results from RD schemes to FR methods. In this context we propose a first demonstration of entropy stability for the FR schemes under consideration and show how to construct entropy stable numerical schemes based on our FR methods. Simultaneously, we do not restrict the mesh to tensor structures or triangle elements, but rather allow polygons. The key of our analysis is a proper choice of the correction functions for which we present an approach here. △ Less

Submitted 2 June, 2021; v1 submitted 3 July, 2018; originally announced July 2018.

MSC Class: 65M06; 65M08; 65M60

Error Boundedness of Discontinuous Galerkin Methods with Variable Coefficients

Authors: Philipp Öffner, Hendrik Ranocha

Abstract: For practical applications, the long time behaviour of the error of numerical solutions to time-dependent partial differential equations is very important. Here, we investigate this topic in the context of hyperbolic conservation laws and flux reconstruction schemes, focusing on the schemes in the discontinuous Galerkin spectral element framework. For linear problems with constant coefficients, it… ▽ More For practical applications, the long time behaviour of the error of numerical solutions to time-dependent partial differential equations is very important. Here, we investigate this topic in the context of hyperbolic conservation laws and flux reconstruction schemes, focusing on the schemes in the discontinuous Galerkin spectral element framework. For linear problems with constant coefficients, it is well-known in the literature that the choice of the numerical flux (e.g. central or upwind) and the selection of the polynomial basis (e.g. Gauß-Legendre or Gauß-Lobatto-Legendre) affects both the growth rate and the asymptotic value of the error. Here, we extend these investigations of the long time error to variable coefficients using both Gauß-Lobatto-Legendre and Gauß-Legendre nodes as well as several numerical fluxes. We derive conditions guaranteeing that the errors are still bounded in time. Furthermore, we analyse the error behaviour under these conditions and demonstrate in several numerical tests similarities to the case of constant coefficients. However, if these conditions are violated, the error shows a completely different behaviour. Indeed, by applying central numerical fluxes, the error increases without upper bound while upwind numerical fluxes can still result in uniformly bounded numerical errors. An explanation for this phenomenon is given, confirming our analytical investigations. △ Less

Submitted 22 November, 2018; v1 submitted 6 June, 2018; originally announced June 2018.

Comments: 36 pages, 10 figures

MSC Class: 65N15; 65N12; 65N35; 65N30 and 65N06

Journal ref: Springer Journal of Scientific Computing, 2019

Error boundedness of Correction Procedure via Reconstruction / Flux Reconstruction

Authors: Philipp Öffner

Abstract: We study the long-time error behavior of correction procedure via reconstruction / flux reconstruction (CPR/FR) methods for linear hyperbolic conservation laws. We show that not only the choice of the numerical flux (upwind or central) affects the growth rate and asymptotic value of the error, but that the selection of bases (Gauß-Lobatto or Gauß-Legendre) is even more important. Using a Gauß-Lege… ▽ More We study the long-time error behavior of correction procedure via reconstruction / flux reconstruction (CPR/FR) methods for linear hyperbolic conservation laws. We show that not only the choice of the numerical flux (upwind or central) affects the growth rate and asymptotic value of the error, but that the selection of bases (Gauß-Lobatto or Gauß-Legendre) is even more important. Using a Gauß-Legendre basis, the error reaches the asymptotic value faster and to a lower value than when using a Gauß-Lobatto basis. Also, the differences in the error caused by the numerical flux are not essential for low resolution computations in the Gauß-Legendre case. This behavior is better seen on a particular FR scheme which has a strong connection with the discontinuous Galerkin framework but holds also for other flux reconstruction schemes with low order resolution computations. △ Less

Submitted 23 December, 2019; v1 submitted 5 June, 2018; originally announced June 2018.

Comments: 29 pages, 13 Figures

MSC Class: 65M12; 65M15; 65M70

Stability of Correction Procedure via Reconstruction With Summation-by-Parts Operators for Burgers' Equation Using a Polynomial Chaos Approach

Authors: Philipp Öffner, Jan Glaubitz, Hendrik Ranocha

Abstract: In this paper, we consider Burgers' equation with uncertain boundary and initial conditions. The polynomial chaos (PC) approach yields a hyperbolic system of deterministic equations, which can be solved by several numerical methods. Here, we apply the correction procedure via reconstruction (CPR) using summation-by-parts operators. We focus especially on stability, which is proven for CPR methods… ▽ More In this paper, we consider Burgers' equation with uncertain boundary and initial conditions. The polynomial chaos (PC) approach yields a hyperbolic system of deterministic equations, which can be solved by several numerical methods. Here, we apply the correction procedure via reconstruction (CPR) using summation-by-parts operators. We focus especially on stability, which is proven for CPR methods and the systems arising from the PC approach. Due to the usage of split-forms, the major challenge is to construct entropy stable numerical fluxes. For the first time, such numerical fluxes are constructed for all systems resulting from the PC approach for Burgers' equation. In numerical tests, we verify our results and show also the advantage of the given ansatz using CPR methods. Moreover, one of the simulations, i.e. Burgers' equation equipped with an initial shock, demonstrates quite fascinating observations. The behaviour of the numerical solutions from several methods (finite volume, finite difference, CPR) differ significantly from each other. Through careful investigations, we conclude that the reason for this is the high sensitivity of the system to varying dissipation. Furthermore, it should be stressed that the system is not strictly hyperbolic with genuinely nonlinear or linearly degenerate fields. △ Less

Submitted 22 November, 2018; v1 submitted 10 March, 2017; originally announced March 2017.

MSC Class: 65M12; 65M70; 65M60; 65M08; 65M06

Journal ref: ESAIM Mathematical Modelling and Numerical Analysis, 2019

On Hahn polynomial expansion of a continuous function of bounded variation

Authors: René Goertz, Philipp Öffner

Abstract: We consider the well-known method of least squares on an equidistant grid with $N+1$ nodes on the interval $[-1,1]$. We investigate the following problem: For which ratio $N/n$ and which functions, do we have pointwise convergence of the least square operator ${LS}_n^N:\mathcal{C}\left[-1,1\right]\rightarrow\mathcal{P}_n$? To solve this problem we investigate the relation between the Jacobi polyno… ▽ More We consider the well-known method of least squares on an equidistant grid with $N+1$ nodes on the interval $[-1,1]$. We investigate the following problem: For which ratio $N/n$ and which functions, do we have pointwise convergence of the least square operator ${LS}_n^N:\mathcal{C}\left[-1,1\right]\rightarrow\mathcal{P}_n$? To solve this problem we investigate the relation between the Jacobi polynomials $P_k^{α,β}$ and the Hahn polynomials $Q_k\left(\cdot;α,β,N\right)$. Thereby we describe the least square operator ${LS}_n^N$ by the expansion of a function by Hahn polynomials. In particular we present the following result: The series expansion $\sum_{k=0}^n{\hat{f} Q_k}$ of a function $f$ by Hahn polynomials $Q_k$ converges pointwise, if the series expansion $\sum_{k=0}^n{\hat{f} P_k}$ of the function $f$ by Jacobi polynomials $P_k$ converges pointwise and if ${n^4}/N\rightarrow 0$ for $n,N\rightarrow\infty$. Furthermore we obtain the following result: Let $f\in\left\{g\in\mathcal{C}^1\left[-1,1\right]:g^\prime\in\mathcal{BV}\left[-1,1\right]\right\}$ and let $(N_n)_{n}$ be a sequence of natural numbers with ${n^4}/{N_n}\rightarrow 0$. Then the least square method ${LS}_n^{N_n}[f]$ converges for each $x\in[-1,1]$. △ Less

Submitted 21 October, 2016; originally announced October 2016.

Comments: 26 pages, submitted

Spectral accuracy for the Hahn polynomials

Authors: René Goertz, Philipp Öffner

Abstract: We consider in this paper the Hahn polynomials and their application in numerical methods. The Hahn polynomials are classical discrete orthogonal polynomials. We analyse the behaviour of these polynomials in the context of spectral approximation of partial differential equations. We study series expansions $u=\sum_{n=0}^\infty \hat{u}_n φ_n$, where the $φ_n$ are the Hahn polynomials. We examine th… ▽ More We consider in this paper the Hahn polynomials and their application in numerical methods. The Hahn polynomials are classical discrete orthogonal polynomials. We analyse the behaviour of these polynomials in the context of spectral approximation of partial differential equations. We study series expansions $u=\sum_{n=0}^\infty \hat{u}_n φ_n$, where the $φ_n$ are the Hahn polynomials. We examine the Hahn coefficients and proof spectral accuracy in some sense. We substantiate our results by numericals tests. Furthermore we discuss a problem which arise by using the Hahn polynomials in the approximation of a function $u$, which is linked to the Runge phenomenon. We suggest two approaches to avoid this problem. These will also be the motivation and the outlook of further research in the application of discrete orthogonal polynomials in a spectral method for the numerical solution of hyperbolic conservation laws. △ Less

Submitted 23 September, 2016; originally announced September 2016.

Comments: 12 pages, 7 figures, submitted

Analysis of Artificial Dissipation of Explicit and Implicit Time-Integration Methods

Authors: Philipp Öffner, Jan Glaubitz, Hendrik Ranocha

Abstract: Stability is an important aspect of numerical methods for hyperbolic conservation laws and has received much interest. However, continuity in time is often assumed and only semidiscrete stability is studied. Thus, it is interesting to investigate the influence of explicit and implicit time integration methods on the stability of numerical schemes. If an explicit time integration method is applied,… ▽ More Stability is an important aspect of numerical methods for hyperbolic conservation laws and has received much interest. However, continuity in time is often assumed and only semidiscrete stability is studied. Thus, it is interesting to investigate the influence of explicit and implicit time integration methods on the stability of numerical schemes. If an explicit time integration method is applied, spacially stable numerical schemes for hyperbolic conservation laws can result in unstable fully discrete schemes. Focusing on the explicit Euler method (and convex combinations thereof), undesired terms in the energy balance trigger this phenomenon and introduce an erroneous growth of the energy over time. In this work, we study the influence of artificial dissipation and modal filtering in the context of discontinuous spectral element methods to remedy these issues. In particular, lower bounds on the strength of both artificial dissipation and modal filtering operators are given and an adaptive procedure to conserve the (discrete) $\mathbf{L}_2$ norm of the numerical solution in time is derived. This might be beneficial in regions where the solution is smooth and for long time simulations. Moreover, this approach is used to study the connections between explicit and implicit time integration methods and the associated energy production. By adjusting the adaptive procedure, we demonstrate that filtering in explicit time integration methods is able to mimic the dissipative behavior inherent in implicit time integration methods. This contribution leads to a better understanding of existing algorithms and numerical techniques, in particular the application of artificial dissipation as well as modal filtering in the context of numerical methods for hyperbolic conservation laws together with the selection of explicit or implicit time integration methods. △ Less

Submitted 17 December, 2019; v1 submitted 8 September, 2016; originally announced September 2016.

Journal ref: International Journal of Numerical Analysis and Modeling, 17.3: 332-349, 2020

Enhancing stability of correction procedure via reconstruction using summation-by-parts operators II: Modal filtering

Authors: Jan Glaubitz, Hendrik Ranocha, Philipp Öffner, Thomas Sonar

Abstract: A recently introduced framework of semidiscretisations for hyperbolic conservation laws known as correction procedure via reconstruction (CPR, also known as flux reconstruction) is considered in the extended setting of summation-by-parts (SBP) operators using simultaneous approximation terms (SATs). This reformulation can yield stable semidiscretisations for linear advection and Burgers' equation… ▽ More A recently introduced framework of semidiscretisations for hyperbolic conservation laws known as correction procedure via reconstruction (CPR, also known as flux reconstruction) is considered in the extended setting of summation-by-parts (SBP) operators using simultaneous approximation terms (SATs). This reformulation can yield stable semidiscretisations for linear advection and Burgers' equation as model problems. In order to enhance these properties, modal filters are introduced to this framework. As a second part of a series, the results of Ranocha, Glaubitz, Öffner, and Sonar ("Enhancing stability of correction procedure via reconstruction using summation-by-parts operators I: Artificial dissipation", 2016) concerning artificial dissipation / spectral viscosity are extended, yielding fully discrete stable schemes. Additionally, a new adaptive strategy to compute the filter strength is introduced and different possible applications of modal filters are compared both theoretically and numerically. △ Less

Submitted 3 June, 2016; originally announced June 2016.

Comments: 16 pages, 6 figures, submitted

MSC Class: 65M12; 65M70; 65M60

Enhancing stability of correction procedure via reconstruction using summation-by-parts operators I: Artificial dissipation

Authors: Hendrik Ranocha, Jan Glaubitz, Philipp Öffner, Thomas Sonar

Abstract: The correction procedure via reconstruction (CPR, also known as flux reconstruction) is a framework of high order semidiscretisations used for the numerical solution of hyperbolic conservation laws. Using a reformulation of these schemes relying on summation-by-parts (SBP) operators and simultaneous approximation terms (SATs), artificial dissipation / spectral viscosity operators are investigated… ▽ More The correction procedure via reconstruction (CPR, also known as flux reconstruction) is a framework of high order semidiscretisations used for the numerical solution of hyperbolic conservation laws. Using a reformulation of these schemes relying on summation-by-parts (SBP) operators and simultaneous approximation terms (SATs), artificial dissipation / spectral viscosity operators are investigated in this first part of a series. Semidiscrete stability results for linear advection and Burgers' equation as model problems are extended to fully discrete stability by an explicit Euler method. As second part of this series, Glaubitz, Ranocha, Öffner, and Sonar (Enhancing stability of correction procedure via reconstruction using summation-by-parts operators II: Modal filtering, 2016) investigate connections to modal filters and their application instead of artificial dissipation. △ Less

Submitted 3 June, 2016; originally announced June 2016.

Comments: 19 pages, 4 figures; submitted

MSC Class: 65M12; 65M70; 65M60

Application of Modal Filtering to a Spectral Difference Method

Authors: Jan Glaubitz, Philipp Öffner, Thomas Sonar

Abstract: We adapt the spectral viscosity (SV) formulation implemented as a modal filter to a Spectral Difference Method (SD) solving hyperbolic conservation laws. In the SD Method we use selections of different orthogonal polynomials (APK polynomials). Furthermore we obtain new error bounds for filtered APK extensions of smooth functions. We demonstrate that the modal filter also depends on the chosen poly… ▽ More We adapt the spectral viscosity (SV) formulation implemented as a modal filter to a Spectral Difference Method (SD) solving hyperbolic conservation laws. In the SD Method we use selections of different orthogonal polynomials (APK polynomials). Furthermore we obtain new error bounds for filtered APK extensions of smooth functions. We demonstrate that the modal filter also depends on the chosen polynomial basis in the SD Method. Spectral filtering stabilizes the scheme and leaves weaker oscillations. Hence, the selection of the family of orthogonal polynomials on triangles and their specific modal filter possesses a positive influence on the stability and accuracy of the SD Method. In the second part, we initiate a stability analysis for a linear scalar test case with periodic initial condition to find the best selection of APK polynomials and their specific modal filter. To the best of our knowledge, this work is the first that gives a stability analysis for a scheme with spectral filtering. Finally, we demonstrate the influence of the underlying basis of APK polynomials in a well-known test case. △ Less

Submitted 14 February, 2018; v1 submitted 4 April, 2016; originally announced April 2016.

Comments: Updated version

MSC Class: 65M12; 65M70; 42C10

Journal ref: Math. Comp. 87 (2018), 175-207

Extended Skew-Symmetric Form for Summation-by-Parts Operators and Varying Jacobians

Authors: Hendrik Ranocha, Philipp Öffner, Thomas Sonar

Abstract: A generalised analytical notion of summation-by-parts (SBP) methods is proposed, extending the concept of SBP operators in the correction procedure via reconstruction (CPR), a framework of high-order methods for conservation laws. For the first time, SBP operators with dense norms and not including boundary points are used to get an entropy stable split-form of Burgers' equation. Moreover, overcom… ▽ More A generalised analytical notion of summation-by-parts (SBP) methods is proposed, extending the concept of SBP operators in the correction procedure via reconstruction (CPR), a framework of high-order methods for conservation laws. For the first time, SBP operators with dense norms and not including boundary points are used to get an entropy stable split-form of Burgers' equation. Moreover, overcoming limitations of the finite difference framework, stability for curvilinear grids and dense norms is obtained for SBP CPR methods by using a suitable way to compute the Jacobian. △ Less

Submitted 24 April, 2017; v1 submitted 26 November, 2015; originally announced November 2015.

Comments: Accepted by Journal of Computational Physics

MSC Class: 65M12; 65M70; 65M60; 65M06

Journal ref: Journal of Computational Physics, August 2017, Volume 342, pp 13-28

Summation-by-parts operators for correction procedure via reconstruction

Authors: Hendrik Ranocha, Philipp Öffner, Thomas Sonar

Abstract: The correction procedure via reconstruction (CPR, formerly known as flux reconstruction) is a framework of high order methods for conservation laws, unifying some discontinuous Galerkin, spectral difference and spectral volume methods. Linearly stable schemes were presented by Vincent et al. (2011, 2015), but proofs of non-linear (entropy) stability in this framework have not been published yet (t… ▽ More The correction procedure via reconstruction (CPR, formerly known as flux reconstruction) is a framework of high order methods for conservation laws, unifying some discontinuous Galerkin, spectral difference and spectral volume methods. Linearly stable schemes were presented by Vincent et al. (2011, 2015), but proofs of non-linear (entropy) stability in this framework have not been published yet (to the knowledge of the authors). We reformulate CPR methods using summation-by-parts (SBP) operators with simultaneous approximation terms (SATs), a framework popular for finite difference methods, extending the results obtained by Gassner (2013) for a special discontinuous Galerkin spectral element method. This reformulation leads to proofs of conservation and stability in discrete norms associated with the method, recovering the linearly stable CPR schemes of Vincent et al. (2011, 2015). Additionally, extending the skew-symmetric formulation of conservation laws by additional correction terms, entropy stability for Burgers' equation is proved for general SBP CPR methods not including boundary nodes. △ Less

Submitted 12 February, 2016; v1 submitted 6 November, 2015; originally announced November 2015.

Comments: 40 pages, 14 figures

Journal ref: Journal of Computational Physics, April 2016, Volume 311, pp. 299-328