No abstract uploaded!

In this paper we introduce a high-order discontinuous Galerkin method for two-dimensional incompressible flow in the vorticity stream-function formulation. The momentum equation is treated explicitly, utilizing the efficiency of the discontinuous Galerkin method. The stream function is obtained by a standard Poisson solver using continuous finite elements. There is a natural matching between these two finite element spaces, since the normal component of the velocity field is continuous across element boundaries. This allows for a correct upwinding gluing in the discontinuous Galerkin framework, while still maintaining total energy conservation with no numerical dissipation and total enstrophy stability. The method is efficient for inviscid or high Reynolds number flows. Optimal error estimates are proved and verified by numerical experiments.

In this paper, we try to attack a conjecture of Araujo and Jarosz that every bijective linear map between C-algebras, with both and its inverse 1 preserving zero products, arises from an algebra isomorphism followed by a central multiplier. We show it is true for CCR C-algebras with Hausdorff spectrum, and in general, some special C-algebras associated to continuous fields of C-algebras.

We propose definitions of quasilocal energy and momentum surface energy of a spacelike 2-surface with positive intrinsic curvature in a spacetime. Our definitions do not depend on the compact spacelike hypersurface it bounds. We show that the quasilocal energy of the boundary of a compact spacelike hypersurface which satisfies the local energy condition is strictly positive unless the spacetime is flat along the spacelike hypersurface.

This paper is devoted to finding the highest possible focus order of planar polynomial differential equations. The results consist of two parts: (i) we explicitly construct a class of concrete systems of degree n, where n+1 is a prime p or a power of a prime p^k, and show that these systems can have a focus order n^2-n; (ii) we theoretically prove the existence of polynomial systems of degree n having a focus order n^2-1 for any even number n. Corresponding results for odd n and more concrete examples having higher focus orders are given too.