We consider an inverse time-dependent source problem governed by a distributed time-fractional diffusion equation using interior measurement data. Such a problem arises in some ultra-slowdiffusion phenomena in many applied areas. Based on the regularity result of the solution to the direct problem, we establish the solvability of this inverse problem as well as the conditional stability in suitable function space with a weak norm. By a variational identity connecting the unknown time-dependent source and the interior measurement data, the conjugate gradient method is also introduced to construct the inversion algorithm under the framework of regularizing scheme. We show the validity of the proposed scheme by several numerical examples.

In this paper, we develop and analyze discontinuous Galerkin (DG) methods to solve hyperbolic equations involving $\delta$-singularities. Negative-order norm error estimates for the accuracy of DG approximations to $\delta$-singularities are investigated. We first consider linear hyperbolic conservation laws in one space dimension with singular initial data. We prove that, by using piecewise $k$-th degree polynomials, at time $t$, the error in the $H^{-(k+2)}$ norm over the whole domain is $(k+1/2)$-th order, and the error in the $H^{-(k+1)}(\mathbb{R}\backslash\mathcal{R}_t)$ norm is $(2k+1)$-th order, where $\mathcal{R}_t$ is the pollution region due to the initial singularity with the width of order $\mathcal{O}(h^{1/2} \log (1/h))$ and $h$ is the maximum cell length. As an application of the negative-order norm error estimates, we convolve the numerical solution with a suitable kernel which is a linear combination of B-splines, to obtain $L^2$ error estimate of $(2k+1)$-th order for the post-processed solution. Moreover, we also obtain high order superconvergence error estimates for linear hyperbolic conservation laws with singular source terms by applying Duhamel's principle. Numerical examples including an acoustic equation and the nonlinear rendez-vous algorithms are given to demonstrate the good performance of DG methods for solving hyperbolic equations involving $\delta$-singularities.

In this paper we analyze the explicit Runge-Kutta discontinuous Galerkin (RKDG) methods for the semilinear hyperbolic system of a correlated random walk model describing movement of animals and cells in biology. The RKDG methods use a third order explicit total-variation-diminishing Runge-Kutta (TVDRK3) time discretization and upwinding numerical fluxes. By using the energy method, under a standard CFL condition, we obtain $L^2$ stability for general solutions and a priori error estimates when the solutions are smooth enough. The theoretical results are proved for piecewise polynomials with any degree $k \geq 1$. Finally, since the solutions to this system are non-negative, we discuss a positivity-preserving limiter to preserve positivity without compromising accuracy. Numerical results are provided to demonstrate these RKDG methods.

A new augmented method is proposed for elliptic interface problems with a piecewise variable coefficient that has a finite jump across a smooth interface. The main motivation is to get not only a second order accurate solution but also a second order accurate gradient from each side of the interface. Key to the new method is introducing the jump in the normal derivative of the solution as an augmented variable and rewriting the interface problem as a new PDE that consists of a leading Laplacian operator plus lower order derivative terms near the interface. In this way, the leading second order derivative jump relations are independent of the jump in the coefficient that appears only in the lower order terms after the scaling. An upwind type discretization is used for the finite difference discretization at the irregular grid points on or near the interface so that the resulting coefficient matrix is an M-matrix. A multigrid solver is used to solve the linear system of equations, and the GMRES iterative method is used to solve the augmented variable. Second order convergence for the solution and the gradient from each side of the interface is proved in this paper. Numerical examples for general elliptic interface problems confirm the theoretical analysis and efficiency of the new method.

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.