No abstract uploaded!

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.

A cohomology theory associated to a holomorphic Poisson structure is the hypercohomology of a bicomplex where one of the two operators is the classical -operator, while the other operator is the adjoint action of the Poisson bivector with respect to the Schouten-Nijenhuis bracket. The first page of the associated spectral sequence is the Dolbeault cohomology with coefficients in the sheaf of germs of holomorphic polyvector fields. In this note, the authors investigate the conditions for which this spectral sequence degenerates on the first page when the underlying complex manifolds are nilmanifolds with an abelian complex structure. For a particular class of holomorphic Poisson structures, this result leads to a Hodge-type decomposition of the holomorphic Poisson cohomology. We provide examples when the nilmanifolds are 2-step.

In this paper, we are concerned with upper bounds of eigenvalues of Laplace operator on compact Riemannian manifolds and finite graphs. While on the former the Laplace operator is generated by the Riemannian metric, on the latter it reflects combinatorial structure of a graph. Respectively, eigenvalues have many applications in geometry as well as in combinatorics and in other fields of mathematics. We develop a universal approach to upper bounds on both continuous and discrete structures based upon certain properties of the corresponding heat kernel. This approach is perhaps much more general than its realization here. Basically, we start with the following entries:(1) an underlying space M with a finite measure+;(2) a well-defined Laplace operator 2 on functions on M so that 2 is a self-adjoint operator in L2 (M,+) with a discrete spectrum;(3) if M has a boundary, then the boundary condition should be chosen so that it does not disrupt self-adjointness of 2 and is of dissipative nature;(4) a distance function dist (x, y) on M so that|{dist| 1 for an appropriate notion of gradient.