We propose second order accurate discontinuous Galerkin (DG) schemes which satisfy a strict maximum principle for general nonlinear convection-diffusion equations on unstructured triangular meshes. Motivated by genuinely high order maximum-principle-satisfying DG schemes for hyperbolic conservation laws, we prove that under suitable time step restriction for forward Euler time stepping, for general nonlinear convection-diffusion equations, the same scaling limiter coupled with second order DG methods preserves the physical bounds indicated by the initial condition while maintaining uniform second order accuracy. Similar to the purely convection cases, the limiters are mass conservative and easy to implement. Strong stability preserving (SSP) high order time discretizations will keep the maximum principle. Following the idea in earlier work, we extend the schemes to two-dimensional convection-diffusion equations on triangular meshes. There are no geometric constraints on the mesh such as angle acuteness. Numerical results including incompressible Navier-Stokes equations are presented to validate and demonstrate the effectiveness of the numerical methods.

This paper is devoted to developing the Il'in-Allen-Southwell (IAS) parameter-uniform difference scheme on uniform meshes for solving strongly coupled systems of singularly perturbed convection-diffusion equations whose solutions may display boundary and/or interior layers, where strong coupling means that the solution components in the system are coupled together mainly through their first derivatives. By decomposing the coefficient matrix of convection term into the Jordan canonical form, we first construct the IAS scheme for 1-D systems and then extend the scheme to 2-D systems by employing an alternating direction technique. The robustness of the developed IAS scheme is illustrated through a series of numerical examples, including the magnetohydrodynamic duct flow problem with a high Hartmann number. Numerical evidence indicates that the IAS scheme is formally second order accurate in the sense that it is second order convergent when the perturbation parameter $\varepsilon$ is not too small and when the $\varepsilon$ is sufficiently small, the scheme is first order convergent in the discrete maximum norm uniformly in $\varepsilon$.

A finite EI category is a small category with finitely many morphisms such that every endomorphism is an isomorphism. They include finite groups, finite posets and free categories of finite quivers as special cases. In this paper we consider the representation types of finite EI categories, describe some criteria for finite representation type, and use them to classify the representation types of several classes of finite EI categories with extra properties.

No abstract uploaded!

Stochastic proofs of the Beurling projection theorem and the Hall projection theorem for harmonic measure are given. Some$d$-dimensional versions (for all$d$>1) which follow from this