In this paper we consider a discontinuous Galerkin discretization of the ideal magnetohydrodynamics (MHD) equations on unstructured meshes, and the divergence free constraint ($\nabla \cdot \B = 0$) of its magnetic field $\B$. We first present two approaches for maintaining the divergence free constraint, namely the approach of a locally divergence free projection inspired by locally divergence free elements \cite{Li2005}, and another approach of the divergence cleaning technique given by Dedner et al. \cite{Dedner2002}. By combining these two approaches we obtain a efficient method at the almost same numerical cost. Finally, numerical experiments are performed to show the capacity and efficiency of the scheme.

In this paper, we develop and analyze an arbitrary Lagrangian-Eulerian discontinuous Galerkin (ALE-DG) method with a time-dependent approximation space for one dimensional conservation laws, which satisfies the geometric conservation law. For the semi-discrete ALE-DG method, when applied to nonlinear scalar conservation laws, a cell entropy inequality, L2 stability and error estimates are proven. More precisely, we prove the sub-optimal (k+1/2) convergence for monotone fluxes, and optimal (k+1) convergence for an upwind flux, when a piecewise P^k polynomial approximation space is used. For the fully-discrete ALE-DG method, the geometric conservation law and the local maximum principle are proven. Moreover, we state conditions for slope limiters, which ensure total variation stability of the method. Numerical examples show the capability of the method.

No abstract uploaded!

Let R be a ring. R is called a quasi-Frobenius (QF) ring if R is right artinian and RR is an injective right R-module. In this article, we introduce (weak) fuzzy homomorphisms of modules to obtain a fuzzy characterization of QF rings. We also obtain some fuzzy characterizations of right artinian rings and right CF rings. These results throw new light on the research of QF rings and the related CF conjecture.

The Faith-Menal conjecture is one of the three main open conjectures on QF rings. It says that every right noetherian and left FP-injective ring is QF. In this paper, it is proved that the conjecture is true if every nonzero complement left ideal of the ring R is not small (or not singular). Several known results are then obtained as corollaries.