In this paper, we investigate the superconvergence property of the local discontinuous Galerkin (LDG) methods for solving one-dimensional linear time dependent fourth order problems. We prove that the error between the LDG solution and a particular projection of the exact solution, $\bar{e}_u$, achieves $(k+\frac32)$-th order superconvergence when polynomials of degree $k$ ($k\ge 1$) are used. Numerical experiments of $P^k$ polynomials, with $1\le k \le3$, are displayed to demonstrate the theoretical results, which show that the error $\bar{e}_u$ actually achieves $(k+2)$-th order superconvergence, indicating that the error bound for $\bar{e}_u$ obtained in this paper is sub-optimal. Initial-boundary value problems, nonlinear equations and solutions having singularities are numerically investigated to verify that the conclusions hold true for very general cases.

One of the main challenges in computational simulations of gas detonation propagation is that negative density or negative pressure may emerge during the time evolution, which will cause blow-ups. Therefore, schemes with provable positivity-preserving of density and pressure are desired. First order and second order positivity-preserving schemes were well studied. For high order discontinuous Galerkin (DG) method, even though the characteristicwise TVB limiter can kill oscillations, it is not sufficient to maintain the positivity. A simple solution for arbitrarily high order positivity-preserving schemes solving Euler equations was proposed recently. In this paper, we first discuss an extension of the technique to design arbitrarily high order positivity-preserving DG schemes for reactive Euler equations. We then present a simpler and more robust implementation of the positivity-preserving limiter than the one before. Numerical tests, including very demanding examples in gaseous detonations, indicate that the third order DG scheme with the new positivity-preserving limiter produces satisfying results even without the TVB limiter.

In this paper, we introduce a general approach for proving optimal $L^2$ error estimates for the semi-discrete local discontinuous Galerkin (LDG) methods solving linear high order wave equations. The optimal order of error estimates hold not only for the solution itself but also for the auxiliary variables in the LDG method approximating the various order derivatives of the solution. Several examples including the one-dimensional third order wave equation, one-dimensional fifth order wave equation, and multi-dimensional Schr\"{o}dinger equation are explored to demonstrate this approach. The main idea is to derive energy stability for the various auxiliary variables in the LDG discretization, via using the scheme and its time derivatives with different test functions. Special projections are utilized to eliminate the jump terms at the cell boundaries in the error estimate in order to achieve the optimal order of accuracy.

The entropy solutions of the compressible Euler equations satisfy a minimum principle for the specific entropy. First order schemes such as Godunov-type and Lax-Friedrichs schemes and the second order kinetic schemes also satisfy a discrete minimum entropy principle. In this paper, we show an extension of the positivity-preserving high order schemes for the compressible Euler equations, to enforce the minimum entropy principle for high order finite volume and discontinuous Galerkin (DG) schemes.

In our earlier work, we constructed uniformly high order accurate discontinuous Galerkin (DG) and finite volume schemes which preserve positivity of density and pressure for the Euler equations of compressible gas dynamics. In this paper, we present an extension of this framework to construct positivity-preserving high order essentially non-oscillatory (ENO) and weighted essentially non-oscillatory (WENO) finite difference schemes for compressible Euler equations. General equations of state and source terms are also discussed. Numerical tests of the fifth order finite difference WENO scheme are reported to demonstrate the good behavior of such schemes.