Bound-Preserving Discontinuous Galerkin Methods with Modified Patankar Time Integrations for Chemical Reacting Flows

In this paper,we develop bound-preserving discontinuous Galerkin(DG)methods for chemical reactive flows.There are several difficulties in constructing suitable numerical schemes.First of all,the density and internal energy are positive,and the mass fraction of each species is between 0 and 1.Second,due to the rapid reaction rate,the system may contain stiff sources,and the strong-stability-preserving explicit Runge-Kutta method may result in limited time-step sizes.To obtain physically relevant numerical approximations,we apply the bound-preserving technique to the DG methods.Though traditional positivity-preserving techniques can successfully yield positive density,internal energy,and mass fractions,they may not enforce the upper bound 1 of the mass fractions.To solve this problem,we need to(i)make sure the numerical fluxes in the equations of the mass fractions are consistent with that in the equation of the density;(ii)choose conservative time integrations,such that the summation of the mass fractions is preserved.With the above two conditions,the positive mass fractions have summation 1,and then,they are all between 0 and 1.For time discretization,we apply the modified Runge-Kutta/multi-step Patankar methods,which are explicit for the flux while implicit for the source.Such methods can handle stiff sources with relatively large time steps,preserve the positivity of the target variables,and keep the summation of the mass fractions to be 1.Finally,it is not straightforward to combine the bound-preserving DG methods and the Patankar time integrations.The positivity-preserving technique for DG methods requires positive numerical approximations at the cell interfaces,while Patankar methods can keep the positivity of the pre-selected point values of the target variables.To match the degree of freedom,we use polynomials on rectangular meshes for problems in two space dimensions.To evolve in time,we first read the polynomials at the Gaussian points.Then,suitable slope limiters can be applied to enforce the positivity of the solutions at those points,which can be preserved by the Patankar methods,leading to positive updated numerical cell averages.In addition,we use another slope limiter to get positive solutions used for the bound-preserving technique for the flux.Numerical examples are given to demonstrate the good performance of the proposed schemes.

Superconvergence of Direct Discontinuous Galerkin Methods:Eigen-structure Analysis Based on Fourier Approach

This paper investigates superconvergence properties of the direct discontinuous Galerkin(DDG)method with interface corrections and the symmetric DDG method for diffusion equations.We apply the Fourier analysis technique to symbolically compute eigenvalues and eigenvectors of the amplification matrices for both DDG methods with different coefficient settings in the numerical fluxes.Based on the eigen-structure analysis,we carry out error estimates of the DDG solutions,which can be decomposed into three parts:(i)dissipation errors of the physically relevant eigenvalue,which grow linearly with the time and are of order 2k for P^(k)(k=2,3)approximations;(ii)projection error from a special projection of the exact solution,which is decreasing over the time and is related to the eigenvector corresponding to the physically relevant eigenvalue;(iii)dissipative errors of non-physically relevant eigenvalues,which decay exponentially with respect to the spatial mesh sizeΔx.We observe that the errors are sensitive to the choice of the numerical flux coefficient for even degree P^(2)approximations,but are not for odd degree P^(3)approximations.Numerical experiments are provided to verify the theoretical results.

Numerical Investigations on the Resonance Errors of Multiscale Discontinuous Galerkin Methods for One-Dimensional Stationary Schrödinger Equation

In this paper,numerical experiments are carried out to investigate the impact of penalty parameters in the numerical traces on the resonance errors of high-order multiscale discontinuous Galerkin(DG)methods(Dong et al.in J Sci Comput 66:321–345,2016;Dong and Wang in J Comput Appl Math 380:1–11,2020)for a one-dimensional stationary Schrödinger equation.Previous work showed that penalty parameters were required to be positive in error analysis,but the methods with zero penalty parameters worked fine in numerical simulations on coarse meshes.In this work,by performing extensive numerical experiments,we discover that zero penalty parameters lead to resonance errors in the multiscale DG methods,and taking positive penalty parameters can effectively reduce resonance errors and make the matrix in the global linear system have better condition numbers.

A Sub-element Adaptive Shock Capturing Approach for Discontinuous Galerkin Methods

In this paper,a new strategy for a sub-element-based shock capturing for discontinuous Galerkin(DG)approximations is presented.The idea is to interpret a DG element as a col-lection of data and construct a hierarchy of low-to-high-order discretizations on this set of data,including a first-order finite volume scheme up to the full-order DG scheme.The dif-ferent DG discretizations are then blended according to sub-element troubled cell indicators,resulting in a final discretization that adaptively blends from low to high order within a single DG element.The goal is to retain as much high-order accuracy as possible,even in simula-tions with very strong shocks,as,e.g.,presented in the Sedov test.The framework retains the locality of the standard DG scheme and is hence well suited for a combination with adaptive mesh refinement and parallel computing.The numerical tests demonstrate the sub-element adaptive behavior of the new shock capturing approach and its high accuracy.

Local Discontinuous Galerkin Methods for the abcd Nonlinear Boussinesq System

Boussinesq type equations have been widely studied to model the surface water wave.In this paper,we consider the abcd Boussinesq system which is a family of Boussinesq type equations including many well-known models such as the classical Boussinesq system,the BBM-BBM system,the Bona-Smith system,etc.We propose local discontinuous Galerkin(LDG)methods,with carefully chosen numerical fluxes,to numerically solve this abcd Boussinesq system.The main focus of this paper is to rigorously establish a priori error estimate of the proposed LDG methods for a wide range of the parameters a,b,c,d.Numerical experiments are shown to test the convergence rates,and to demonstrate that the proposed methods can simulate the head-on collision of traveling wave and finite time blow-up behavior well.

Maximum-Principle-Preserving Local Discontinuous Galerkin Methods for Allen-Cahn Equations

In this paper, we study the classical Allen-Cahn equations and investigate the maximum- principle-preserving (MPP) techniques. The Allen-Cahn equation has been widely used in mathematical models for problems in materials science and fluid dynamics. It enjoys the energy stability and the maximum-principle. Moreover, it is well known that the Allen- Cahn equation may yield thin interface layer, and nonuniform meshes might be useful in the numerical solutions. Therefore, we apply the local discontinuous Galerkin (LDG) method due to its flexibility on h-p adaptivity and complex geometry. However, the MPP LDG methods require slope limiters, then the energy stability may not be easy to obtain. In this paper, we only discuss the MPP technique and use numerical experiments to dem-onstrate the energy decay property. Moreover, due to the stiff source given in the equation, we use the conservative modified exponential Runge-Kutta methods and thus can use rela-tively large time step sizes. Thanks to the conservative time integration, the bounds of the unknown function will not decay. Numerical experiments will be given to demonstrate the good performance of the MPP LDG scheme.

The Error Estimates of Direct Discontinuous Galerkin Methods Based on Upwind-Baised Fluxes

In this paper, we study the error estimates for direct discontinuous Galerkin methods based on the upwind-biased fluxes. We use a newly global projection to obtain the optimal error estimates. The numerical experiments imply that L2 norms error estimates can reach to order k + 1 by using time discretization methods.

Arbitrary Lagrangian‑Eulerian Discontinuous Galerkin Methods for KdV Type Equations

In this paper,several arbitrary Lagrangian-Eulerian discontinuous Galerkin(ALE-DG)methods are presented for Korteweg-de Vries(KdV)type equations on moving meshes.Based on the L^(2) conservation law of KdV equations,we adopt the conservative and dissipative numerical fuxes for the nonlinear convection and linear dispersive terms,respectively.Thus,one conservative and three dissipative ALE-DG schemes are proposed for the equations.The invariant preserving property for the conservative scheme and the corresponding dissipative properties for the other three dissipative schemes are all presented and proved in this paper.In addition,the L^(2)-norm error estimates are also proved for two schemes,whose numerical fuxes for the linear dispersive term are both dissipative type.More precisely,when choosing the approximation space with the piecewise kth degree polynomials,the error estimate provides the kth order of convergence rate in L^(2)-norm for the scheme with the conservative numerical fuxes applied for the nonlinear convection term.Furthermore,the(k+1∕2)th order of accuracy can be proved for the ALE-DG scheme with dissipative numerical fuxes applied for the convection term.Moreover,a Hamiltonian conservative ALE-DG scheme is also presented based on the conservation of the Hamiltonian for KdV equations.Numerical examples are shown to demonstrate the accuracy and capability of the moving mesh ALE-DG methods and compare with stationary DG methods.

Local Discontinuous Galerkin Methods with Novel Basis for Fractional Diffusion Equations with Non-smooth Solutions

In this paper,we develop novel local discontinuous Galerkin(LDG)methods for fractional diffusion equations with non-smooth solutions.We consider such problems,for which the solutions are not smooth at boundary,and therefore the traditional LDG methods with piecewise polynomial solutions suffer accuracy degeneracy.The novel LDG methods utilize a solution information enriched basis,simulate the problem on a paired special mesh,and achieve optimal order of accuracy.We analyze the L2 stability and optimal error estimate in L2-norm.Finally,numerical examples are presented for validating the theoretical conclusions.

Dual‑Wind Discontinuous Galerkin Methods for Stationary Hamilton‑Jacobi Equations and Regularized Hamilton‑Jacobi Equations

This paper develops and analyzes a new family of dual-wind discontinuous Galerkin(DG)methods for stationary Hamilton-Jacobi equations and their vanishing viscosity regularizations.The new DG methods are designed using the DG fnite element discrete calculus framework of[17]that defnes discrete diferential operators to replace continuous differential operators when discretizing a partial diferential equation(PDE).The proposed methods,which are non-monotone,utilize a dual-winding methodology and a new skewsymmetric DG derivative operator that,when combined,eliminate the need for choosing indeterminable penalty constants.The relationship between these new methods and the local DG methods proposed in[38]for Hamilton-Jacobi equations as well as the generalized-monotone fnite diference methods proposed in[13]and corresponding DG methods proposed in[12]for fully nonlinear second order PDEs is also examined.Admissibility and stability are established for the proposed dual-wind DG methods.The stability results are shown to hold independent of the scaling of the stabilizer allowing for choices that go beyond the Godunov barrier for monotone schemes.Numerical experiments are provided to gauge the performance of the new methods.

The Direct Discontinuous Galerkin Methods with Implicit-Explicit Runge-Kutta Time Marching for Linear Convection-Diffusion Problems

In this paper,a fully discrete stability analysis is carried out for the direct discontinuous Galerkin(DDG)methods coupled with Runge-Kutta-type implicit-explicit time marching,for solving one-dimensional linear convection-diffusion problems.In the spatial discretization,both the original DDG methods and the refined DDG methods with interface corrections are considered.In the time discretization,the convection term is treated explicitly and the diffusion term implicitly.By the energy method,we show that the corresponding fully discrete schemes are unconditionally stable,in the sense that the time-step is only required to be upper bounded by a constant which is independent of the mesh size h.Opti-mal error estimate is also obtained by the aid of a special global projection.Numerical experiments are given to verify the stability and accuracy of the proposed schemes.

Revisit of dilation-based shock capturing for discontinuous Galerkin methods

The idea of using velocity dilation for shock capturing is revisited in this paper, combined with the discontinuous Galerkin method. The value of artificial viscosity is determined using direct dilation instead of its higher order derivatives to reduce cost and degree of difficulty in computing derivatives. Alternative methods for estimating the element size of large aspect ratio and smooth artificial viscosity are proposed to further improve robustness and accuracy of the model. Several benchmark tests are conducted, ranging from subsonic to hypersonic flows involving strong shocks. Instead of adjusting empirical parameters to achieve optimum results for each case, all tests use a constant parameter for the model with reasonable success, indicating excellent robustness of the method. The model is only limited to third-order accuracy for smooth flows. This limitation may be relaxed by using a switch or a wall function. Overall, the model is a good candidate for compressible flows with potentials of further improvement.

How to Design a Generic Accuracy-Enhancing Filter for Discontinuous Galerkin Methods

Higher order accuracy is one of the well-known beneficial properties of the discontinu-ous Galerkin(DG)method.Furthermore,many studies have demonstrated the supercon-vergence property of the semi-discrete DG method.One can take advantage of this super-convergence property by post-processing techniques to enhance the accuracy of the DG solution.The smoothness-increasing accuracy-conserving(SIAC)filter is a popular post-processing technique introduced by Cockburn et al.(Math.Comput.72(242):577-606,2003).It can raise the convergence rate of the DG solution(with a polynomial of degree k)from order k+1 to order 2k+1 in the L2 norm.This paper first investigates general basis functions used to construct the SIAC filter for superconvergence extraction.The generic basis function framework relaxes the SIAC filter structure and provides flexibility for more intricate features,such as extra smoothness.Second,we study the distribution of the basis functions and propose a new SIAC filter called compact SIAC filter that significantly reduces the support size of the original SIAC filter while preserving(or even improving)its ability to enhance the accuracy of the DG solution.We prove the superconvergence error estimate of the new SIAC filters.Numerical results are presented to confirm the theoretical results and demonstrate the performance of the new SIAC filters.

A Provable Positivity-Preserving Local Discontinuous Galerkin Method for the Viscous and Resistive MHD Equations

In this paper,we construct a high-order discontinuous Galerkin(DG)method which can preserve the positivity of the density and the pressure for the viscous and resistive magnetohydrodynamics(VRMHD).To control the divergence error in the magnetic field,both the local divergence-free basis and the Godunov source term would be employed for the multi-dimensional VRMHD.Rigorous theoretical analyses are presented for one-dimensional and multi-dimensional DG schemes,respectively,showing that the scheme can maintain the positivity-preserving(PP)property under some CFL conditions when combined with the strong-stability-preserving time discretization.Then,general frameworks are established to construct the PP limiter for arbitrary order of accuracy DG schemes.Numerical tests demonstrate the effectiveness of the proposed schemes.

A Local Macroscopic Conservative(LoMaC)Low Rank Tensor Method with the Discontinuous Galerkin Method for the Vlasov Dynamics

In this paper,we propose a novel Local Macroscopic Conservative(LoMaC)low rank tensor method with discontinuous Galerkin(DG)discretization for the physical and phase spaces for simulating the Vlasov-Poisson(VP)system.The LoMaC property refers to the exact local conservation of macroscopic mass,momentum,and energy at the discrete level.The recently developed LoMaC low rank tensor algorithm(arXiv:2207.00518)simultaneously evolves the macroscopic conservation laws of mass,momentum,and energy using the kinetic flux vector splitting;then the LoMaC property is realized by projecting the low rank kinetic solution onto a subspace that shares the same macroscopic observables.This paper is a generalization of our previous work,but with DG discretization to take advantage of its compactness and flexibility in handling boundary conditions and its superior accuracy in the long term.The algorithm is developed in a similar fashion as that for a finite difference scheme,by observing that the DG method can be viewed equivalently in a nodal fashion.With the nodal DG method,assuming a tensorized computational grid,one will be able to(i)derive differentiation matrices for different nodal points based on a DG upwind discretization of transport terms,and(ii)define a weighted inner product space based on the nodal DG grid points.The algorithm can be extended to the high dimensional problems by hierarchical Tucker(HT)decomposition of solution tensors and a corresponding conservative projection algorithm.In a similar spirit,the algorithm can be extended to DG methods on nodal points of an unstructured mesh,or to other types of discretization,e.g.,the spectral method in velocity direction.Extensive numerical results are performed to showcase the efficacy of the method.

Discontinuous Galerkin Methods for Semilinear Elliptic Boundary Value Problem

A discontinuous Galerkin(DG)scheme for solving semilinear elliptic problem is developed and analyzed in this paper.The DG finite element discretization is first established,then the corresponding well-posedness is provided by using Brouwer’s fixed point method.Some optimal priori error estimates under both DG norm and L^(2)norm are presented,respectively.Numerical results are given to illustrate the efficiency of the proposed approach.

Optimal Superconvergence of Energy Conserving Local Discontinuous Galerkin Methods for Wave Equations

This paper is concerned with numerical solutions of the LDG method for 1D wave equations.Superconvergence and energy conserving properties have been studied.We first study the superconvergence phenomenon for linear problems when alternating fluxes are used.We prove that,under some proper initial discretization,the numerical trace of the LDG approximation at nodes,as well as the cell average,converge with an order 2k+1.In addition,we establish k+2-th order and k+1-th order superconvergence rates for the function value error and the derivative error at Radau points,respectively.As a byproduct,we prove that the LDG solution is superconvergent with an order k+2 towards the Radau projection of the exact solution.Numerical experiments demonstrate that in most cases,our error estimates are optimal,i.e.,the error bounds are sharp.In the second part,we propose a fully discrete numerical scheme that conserves the discrete energy.Due to the energy conserving property,after long time integration,our method still stays accurate when applied to nonlinear Klein-Gordon and Sine-Gordon equations.

A Posteriori Error Estimates for Conservative Local Discontinuous Galerkin Methods for the Generalized Korteweg-de Vries Equation

We construct and analyze conservative local discontinuous Galerkin(LDG)methods for the Generalized Korteweg-de-Vries equation.LDG methods are designed by writing the equation as a system and performing separate approximations to the spatial derivatives.The main focus is on the development of conservative methods which can preserve discrete versions of the first two invariants of the continuous solution,and a posteriori error estimates for a fully discrete approximation that is based on the idea of dispersive reconstruction.Numerical experiments are provided to verify the theoretical estimates.

Two-Level Schwarz Preconditioners for Super Penalty Discontinuous Galerkin Methods

We extend the construction and analysis of the non-overlapping Schwarz preconditioners proposed in[2,3]to the(non-consistent)super penalty discontinuous Galerkin methods introduced in[5]and[8].We show that the resulting preconditioners are scalable,and we provide the convergence estimates.We also present numerical experiments confirming the sharpness of the theoretical results.

High-Order Positivity-Preserving Well-Balanced Discontinuous Galerkin Methods for Euler Equations with Gravitation on Unstructured Meshes

In this paper,we propose a high-order accurate discontinuous Galerkin(DG)method for the compressible Euler equations under gravitationalfields on un-structured meshes.The scheme preserves a general hydrostatic equilibrium state and provably guarantees the positivity of density and pressure at the same time.Compar-ing with the work on the well-balanced scheme for Euler equations with gravitation on rectangular meshes,the extension to triangular meshes is conceptually plausible but highly nontrivial.Wefirst introduce a special way to recover the equilibrium state and then design a group of novel variables at the interface of two adjacent cells,which plays an important role in the well-balanced and positivity-preserving properties.One main challenge is that the well-balanced schemes may not have the weak positivity property.In order to achieve the well-balanced and positivity-preserving properties simultaneously while maintaining high-order accuracy,we carefully design DG spa-tial discretization with well-balanced numericalfluxes and suitable source term ap-proximation.For the ideal gas,we prove that the resulting well-balanced scheme,cou-pled with strong stability preserving time discretizations,satisfies a weak positivity property.A simple existing limiter can be applied to enforce the positivity-preserving property,without losing high-order accuracy and conservation.Extensive one-and two-dimensional numerical examples demonstrate the desired properties of the pro-posed scheme,as well as its high resolution and robustness.