MathSciDoc: An Archive for Mathematician ∫

In this paper, we develop and analyze a new multiscale discontinuous Galerkin (DG) method for one-dimensional stationary Schr\"{o}dinger equations with open boundary conditions \bo{which have highly oscillating solutions}. Our method uses a smaller finite element space than the WKB local DG (WKB-LDG) method while achieving the same order of accuracy with no resonance errors. We prove that the DG approximation converges optimally with respect to the mesh size $h$ in $L^2$ norm without the typical constraint \bo{that $h$ has to be smaller than the wave length}. Numerical experiments were carried out to verify the second order optimal convergence rate of the method and to demonstrate its ability to capture oscillating solutions on coarse meshes in the applications to Schr\"{o}dinger equations.

The main purpose of this paper is to analyze the stability and error estimates of the local discontinuous Galerkin (LDG) methods coupled with implicit-explicit (IMEX) time discretization schemes, for solving one-dimensional convection-diffusion equations with a nonlinear convection. Both Runge-Kutta and multi-step IMEX methods are considered. By the aid of the energy method, we show that the IMEX LDG schemes are unconditionally stable for the nonlinear problems, in the sense that the time-step $\dt$ is only required to be upper-bounded by a positive constant which depends on the flow velocity and the diffusion coefficient, but is independent of the mesh size $h$. We also give optimal error estimates for the IMEX LDG schemes, under the same temporal condition, if a monotone numerical flux is adopted for the convection. Numerical experiments are given to verify our main results.

We analyze discontinuous Galerkin methods using upwind-biased numerical fluxes for time-dependent linear conservation laws. In one dimension, optimal a priori error estimates of order $k+1$ are obtained for the semidiscrete scheme when piecewise polynomials of degree at most $k$ $(k \ge 0)$ are used. Our analysis is valid for arbitrary nonuniform regular meshes and for both periodic boundary conditions and for initial-boundary value problems. We extend the analysis to the multidimensional case on Cartesian meshes when piecewise tensor product polynomials are used, and to the fully discrete scheme with explicit Runge--Kutta time discretization. Numerical experiments are shown to demonstrate the theoretical results.

Hoogendoorn and Bovy (Transportation Research Part B, 2004, 38(7), 571--592) developed an approach for a pedestrian user-optimal dynamic assignment in continuous time and space. Although their model was proposed for pedestrian traffic, it can also be applied to urban cities. The model is very general, and consists of a conservation law (CL) and a Hamilton-Jacobi-Bellman (HJB) equation that contains a minimum value problem. However, only an isotropic application example was given in their paper. We claim that the HJB equation is difficult to compute numerically in an anisotropic case. To overcome this, we reformulate their model for a dense urban city that is arbitrary in shape and has a single central business district (CBD). In our model, the minimum value problem is only used in the CL portion, and the HJB equation reduces to a Hamilton-Jacobi (HJ) equation for easier computation. The dynamic path equilibrium of our model is proven in a different way from theirs, and a numerical algorithm is also provided to solve the model. Finally, we show a numerical example under the anisotropic case and compare the results with those of the isotropic case.

For numerical simulation of detonation, computational cost using uniform meshes is large due to the vast separation in both time and space scales. Adaptive mesh refinement (AMR) is advantageous for problems with vastly different scales. This paper aims to propose an AMR method with high order accuracy for numerical investigation of multi-dimensional detonation. A well-designed AMR method based on finite difference weighted essentially non-oscillatory (WENO) scheme, named as AMR\&WENO is proposed. A new cell-based data structure is used to organize the adaptive meshes. The new data structure makes it possible for cells to communicate with each other quickly and easily. In order to develop an AMR method with high order accuracy, high order prolongations in both space and time are utilized in the data prolongation procedure. Based on the message passing interface (MPI) platform, we have developed a workload balancing parallel AMR\&WENO code using the Hilbert space-filling curve algorithm. Our numerical experiments with detonation simulations indicate that the AMR\&WENO is accurate and have a high resolution. Moreover, we evaluate and compare the performance between the uniform mesh WENO scheme and the parallel AMR\&WENO method. The comparison results provide us further insight into the high performance of the parallel AMR\&WENO method.

This paper is concerned with superconvergence properties of discontinuous Galerkin (DG) methods for 2-D linear hyperbolic conservation laws over rectangular meshes when upwind fluxes are used. We prove, under some suitable initial and boundary discretizations, the ($2k+1$)-th order superconvergence rate of the DG approximation at the downwind points and for the cell averages, when piecewise tensor-product polynomials of degree $k$ are used. Moreover, we prove that the gradient of the DG solution is superconvergent with a rate of ($k+1$)-th order at all interior left Radau points; and the function value approximation is superconvergent at all right Radau points with a rate of ($k+2$)-th order. Numerical experiments indicate that the aforementioned superconvergence rates are sharp.

Fourier spectral methods achieve exponential accuracy both on the approximation level and for solving partial differential equations (PDEs), if the solution is analytic. If the solution is discontinuous but piecewise analytic up to the discontinuities, Fourier spectral methods produce poor pointwise accuracy, but still maintains exponential accuracy after post-processing. In earlier work, an extended technique is provided to recover exponential accuracy for functions which have end-point singularities, from the knowledge of point values on standard collocation points. In this paper, we develop a technique to recover exponential accuracy from the first $N$ Fourier coefficients of functions which are analytic in the open interval but have unbounded derivative singularities at end points. With this post-processing method, we are able to obtain exponential accuracy of spectral methods applied to linear transport equations involving such functions.

In this paper, we study the superconvergence of the error for the local discontinuous Galerkin (LDG) finite element method for one-dimensional linear parabolic equations when the alternating flux is used. We prove that if we apply piecewise $k$-th degree polynomials, the error between the LDG solution and the exact solution is ($k+2$)-th order superconvergent at the Radau points with suitable initial discretization. Moreover, we also prove the LDG solution is ($k+2$)-th order superconvergent for the error to a particular projection of the exact solution. Even though we only consider periodic boundary condition, this boundary condition is not essential, since we do not use Fourier analysis. Our analysis is valid for arbitrary regular meshes and for $\mathcal{P}^k$ polynomials with arbitrary $k\geq1$. We perform numerical experiments to demonstrate that the superconvergence rates proved in this paper are sharp.

In this paper, we discuss high order finite difference weighted essentially non-oscillatory (WENO) schemes, coupled with total variation diminishing (TVD) Runge-Kutta (RK) temporal integration, for solving the semilinear hyperbolic system of a correlated random walk model describing movement of animals and cells in biology. Since the solutions to this system are non-negative, we discuss a positivity-preserving limiter without compromising accuracy. Analysis is performed to justify the maintanance of third order spatial / temporal accuracy when the limiters are applied to a third order finite difference scheme and third order TVD-RK time discretization for solving this model. Numerical results are also provided to demonstrate these methods up to fifth order accuracy.

We consider an incompressible viscous flow without surface tension in a finite-depth domain of two dimensions, with free top boundary and fixed bottom boundary. This system is governed by the Navier-Stokes equations in this moving domain and the transport equation on the moving boundary. In this paper, we construct a stable numerical scheme to simulate the evolution of this system by discontinuous Galerkin method, and discuss the error analysis of the fluid under certain assumptions. Our formulation is mainly based on the geometric structure introduced earlier in the literature, and the natural energy estimate, which is rarely used in the numerical study of this system before.