MathSciDoc: An Archive for Mathematician ∫

A new class of high order weighted essentially non-oscillatory (WENO) schemes [J. Comput. Phys., 318 (2016), 110-121] is applied to solve Euler equations with steady state solutions. It is known that the classical WENO schemes [J. Comput. Phys., 126 (1996), 202-228] might suffer from slight post-shock oscillations. Even though such post-shock oscillations are small enough in magnitude and do not visually affect the essentially non-oscillatory property, they are truly responsible for the residue to hang at a truncation error level instead of converging to machine zero. With the application of this new class of WENO schemes, such slight post-shock oscillations are essentially removed and the residue can settle down to machine zero in steady state simulations. This new class of WENO schemes uses a convex combination of a quartic polynomial with two linear polynomials on unequal size spatial stencils in one dimension and is extended to two dimensions in a dimension-by-dimension fashion. By doing so, such WENO schemes use the same information as the classical WENO schemes in [J. Comput. Phys., 126 (1996), 202-228] and yield the same formal order of accuracy in smooth regions, yet they could converge to steady state solutions with very tiny residue close to machine zero for our extensive list of test problems including shocks, contact discontinuities, rarefaction waves or their interactions, and with these complex waves passing through the boundaries of the computational domain.

For a Lagrangian scheme solving the compressible Euler equations in cylindrical coordinates, two important issues are whether the scheme can maintain spherical symmetry (symmetry-preserving) and whether the scheme can maintain positivity of density and internal energy (positivity-preserving). While there were previous results in the literature either for symmetry-preserving in the cylindrical coordinates or for positivity-preserving in cartesian coordinates, the design of a Lagrangian scheme in cylindrical coordinates, which is high order in one-dimension and second order in two-dimensions, and can maintain both spherical symmetry-preservation and positivity-preservation simultaneously, is challenging. In this paper we design such a Lagrangian scheme and provide numerical results to demonstrate its good behavior.

This is an extension of our earlier work \cite{DS} in which a high order stable method was constructed for solving hyperbolic conservation laws on arbitrarily distributed point clouds. %The initial condition is given on such a point cloud, %and the algorithm solves for point values of the solution at %later time also on this point cloud. An algorithm of building a suitable polygonal mesh based on the random points was given and the traditional discontinuous Galerkin (DG) method was adopted on the constructed polygonal mesh. Numerical results in \cite{DS} show that the current scheme will generate spurious numerical oscillations when dealing with solutions containing strong shocks. In this paper, we adapt a simple weighted essentially non-oscillatory (WENO) limiter, originally designed for DG schemes on two-dimensional unstructured triangular meshes \cite{ZZSQ}, to our high order method on polygonal meshes. The objective of this simple WENO limiter is to simultaneously maintain uniform high order accuracy of the original method in smooth regions and control spurious numerical oscillations near discontinuities. The WENO limiter we adopt is particularly simple to implement and will not harm the conservativeness and compactness of the original method. Moreover, we also extend the maximum-principle-satisfying limiter for the scalar case and the positivity-preserving limiter for the Euler system to our method. Numerical results for both scalar equations and Euler systems of compressible gas dynamics are provided to illustrate the good behavior of these limiters.

In this paper we introduce a definition of the local conservation property for numerical methods solving time dependent conservation laws, which generalizes the classical local conservation definition. The motivation of our definition is the Lax-Wendroff theorem, and thus we prove it for locally conservative numerical schemes per our definition in one and two space dimensions. Several numerical methods, including continuous Galerkin methods and compact schemes, which do not fit the classical local conservation definition, are given as examples of locally conservative methods under our generalized definition.

The main purpose of this paper is to study the stability and error estimates of the local discontinuous Galerkin (LDG) methods coupled with multi-step implicit-explicit (IMEX) time discretization schemes, for solving time-dependent incompressible fluid flows. We will give theoretical analysis for the Oseen equation, and assess the performance of the schemes for incompressible Navier-Stokes equations numerically. For the Oseen equation, using first order IMEX time discretization as an example, we show that the IMEX-LDG scheme is unconditionally stable for $\Qcal_k$ elements on cartesian meshes, in the sense that the time-step $\dt$ is only required to be {bounded from above} by a positive constant independent of the spatial mesh size $h$. Furthermore, by the aid of the \emph{Stokes projection} and an elaborate energy analysis, we obtain the $L^{\infty}(L^2)$ optimal error estimates for both the velocity and the stress (gradient of velocity), in both space and time. By the \emph{inf-sup} argument, we also obtain the $L^{\infty}(L^2)$ optimal error estimates for the pressure. Numerical experiments are given to validate our main results.

We consider a class of time dependent second order partial differential equations governed by a decaying entropy. The solution usually corresponds to a density distribution, hence positivity (non-negativity) is expected. This class of problems covers important cases such as Fokker-Planck type equations and aggregation models, which have been studied intensively in the past decades. In this paper, we design a high order discontinuous Galerkin method for such problems. If the interaction potential is not involved, or the interaction is defined by a smooth kernel, our semi-discrete scheme admits an entropy inequality on the discrete level. Furthermore, by applying the positivity-preserving limiter, our fully discretized scheme produces non-negative solutions for all cases under a time step constraint. Our method also applies to two dimensional problems on Cartesian meshes. Numerical examples are given to confirm the high order accuracy for smooth test cases and to demonstrate the effectiveness for preserving long time asymptotics.

Positivity-preserving discontinuous Galerkin (DG) methods for solving hyperbolic conservation laws have been extensively studied in the last several years. But nearly all the developed schemes are coupled with explicit time discretizations. Explicit discretizations suffer from the constraint for the Courant-Friedrichs-Levis (CFL) number. This makes explicit methods impractical for problems involving unstructured and extremely varying meshes or long-time simulations. Instead, implicit DG schemes are often popular in practice, especially in the computational fluid dynamics (CFD) community. In this paper we develop a high-order positivity-preserving DG method with the backward Euler time discretization for conservation laws. We focus on one spatial dimension, however the result easily generalizes to multidimensional tensor product meshes and polynomial spaces. This work is based on a generalization of the positivity-preserving limiters in (X. Zhang and C.-W. Shu, Journal of Computational Physics, 229 (2010), pp.~3091--3120) and (X. Zhang and C.-W. Shu, Journal of Computational Physics, 229 (2010), pp.~8918--8934) to implicit time discretizations. Both the analysis and numerical experiments indicate that a lower bound for the CFL number is required to obtain the positivity-preserving property. The proposed scheme not only preserves the positivity of the numerical approximation without compromising the designed high-order accuracy, but also helps accelerate the convergence towards the steady-state solution and add robustness to the nonlinear solver. Numerical experiments are provided to support these conclusions.

We present a discontinuous Galerkin (DG) scheme with suitable quadrature rules \cite{Tchen2017entropy} for ideal compressible magnetohydrodynamic (MHD) equations on structural meshes. The semi-discrete scheme is analyzed to be entropy stable by using the symmetrizable version of the equations as introduced by Godunov \cite{godunov1972symmetric}, the entropy stable DG framework with suitable quadrature rules \cite{Tchen2017entropy}, the entropy conservative flux in \cite{chandrashekar2016entropy} inside each cell and the entropy dissipative approximate Godunov type numerical flux at cell interfaces to make the scheme entropy stable. {\color{blue}{ The main difficulty in the generalization of the results in \cite{Tchen2017entropy} is the appearance of the non-conservative ``source terms'' added in the modified MHD model introduced by Godunov \cite{godunov1972symmetric}, which do not exist in the general hyperbolic system studied in \cite{Tchen2017entropy}. Special care must be taken to discretize these ``source terms'' adequately so that the resulting DG scheme satisfies entropy stability. }} Total variation diminishing / bounded (TVD/TVB) limiters and bound-preserving limiters are applied to control spurious oscillations. We demonstrate the accuracy and robustness of this new scheme on standard MHD examples.

We analyze the central discontinuous Galerkin (DG) method for time-dependent linear conservation laws. In one dimension, optimal a priori $L^2$ error estimates of order $k+1$ are obtained for the semidiscrete scheme when piecewise polynomials of degree at most $k$ ($k\geq0$) are used on overlapping uniform meshes. %Our analysis is valid for both periodic boundary conditions and %for inflow-outflow boundary conditions. We then extend the analysis to multidimensions on uniform Cartesian meshes when piecewise tensor product polynomials are used on overlapping meshes. Numerical experiments are given to demonstrate the theoretical results.

In this paper, we study the superconvergence behavior of the semi-discrete discontinuous Galerkin (DG) method for {\color{red} scalar} nonlinear hyperbolic equations in one spatial dimension. Superconvergence results for problems with fixed and alternating wind directions are established. On the one hand, we prove that, if the wind direction is fixed (i.e., the derivative of the flux function is bounded away from zero), both the cell average error and numerical flux error at cell interfaces converge at a rate of $2k+1$ when upwind fluxes and piecewise polynomials of degree $k$ are used. Moreover, we also prove that the function value approximation of the DG solution is superconvergent at interior right Radau points, and the derivative value approximation is superconvergent at interior left Radau points, with an order of $k+2$ and $k+1$, respectively. As a byproduct, we show a $k+2$-th order superconvergence of the DG solution towards the Gauss-Radau projection of the exact solution. On the other hand, superconvergence results for problems with alternating wind directions (i.e., the derivative of the flux function either changes sign or otherwise achieves the value zero in the domain) are also established. To be more precise, we first prove that the DG flux function is superconvergent towards a particular flux function of the exact solution, with an order of $k+2$, when Godunov fluxes are used. We then prove that the highest superconvergence rate of the DG solution itself is $k+\frac32$ when sonic points (i.e., the derivative of the flux function achieves zero) appear in the computational domain. As byproducts, we obtain superconvergence properties for the DG solution and the DG flux function at special points and for cell average. Numerical experiments demonstrate that most of our results are optimal, i.e., the superconvergence rates are sharp.