We construct natural virtual fundamental classes for nested Hilbert schemes on a nonsingular projective surface S. This allows us to define new invariants of S that recover some of the known important cases such as Poincare invariants of Durr-Kabanov-Okonek and the stable pair invariants of Kool-Thomas. In the case of the nested Hilbert scheme of points, we can express these invariants in terms of integrals over the products of Hilbert scheme of points on S, and relate them to the vertex operator formulas found by Carlsson-Okounkov. The virtual fundamental classes of the nested Hilbert schemes play a crucial role in the Donaldson-Thomas theory of local-surface-threefolds that we study in [GSY17b].

We study a semi-implicit time-difference scheme for magnetohydrodynamics of a viscous and resistive incompressible fluid in a bounded smooth domain with a perfectly conducting boundary. In the scheme, the velocity and magnetic fields are updated by solving simple Helmholtz equations. Pressure is treated explicitly in time, by solving Poisson equations corresponding to a recently de- veloped formula for the Navier-Stokes pressure involving the commutator of Laplacian and Leray projection operators. We prove stability of the time-difference scheme, and deduce a local-time well- posedness theorem for MHD dynamics extended to ignore the divergence-free constraint on velocity and magnetic fields. These fields are divergence-free for all later time if they are initially so.

How to properly specify boundary conditions for pressure is a longstanding problem for the incompressible Navier–Stokes equations with no-slip boundary conditions. An analytical resolution of this issue stems from a recently developed formula for the pressure in terms of the commutator of the Laplacian and Leray projection operators. Here we make use of this formula to (a) improve the accuracy of computing pressure in two kinds of existing time-discrete projection methods implicit in viscosity only, and (b) devise new higher-order accurate time-discrete projection methods that extend a slip-correction idea behind the well-known finite-difference scheme of Kim and Moin. We test these schemes for stability and accuracy using various combinations of C0 finite elements. For all three kinds of time discretization, one can obtain third-order accuracy for both pressure and velocity without a time-step stability restriction of diffusive type. Furthermore, two kinds of projection methods are found stable using piecewise-linear elements for both velocity and pressure.

Nous considérons un modèle provenant de la biologie, composé d03équations de chimiotactisme couplées aux équations de fluide visqueux incompressible par le transport et le for04age externe. L03existence globale des solutions du problème de Cauchy est étudiée sous certaines conditions. Précisément, pour le système chimiotactisme–Navier–Stokes en deux dimensions d03espace, nous obtenons l03existence globale pour des données grandes. En trois dimensions d03espace, nous démontrons l03existence globale des solutions faibles pour le système chimiotactisme–Stokes avec une diffusion non-linéaire de la densité des cellules.

In this article the authors present a new solver for the Poisson problem on spherical shells. The method is derived by application of the Fast Fourier Transform (FFT) in all three spherical variables. Through a particular change of variables valid on spherical shells, this new approach avoids a variable coefficient on the radial differential operator, resulting in a constant-coefficient formulation that can be fast-diagonalized via FFT. The authors describe the Fourier expansion in the angular variables and the fast diagonalization of the radial derivative using the FFT, including second-, fourth- and sixth-order finite difference approximations. An algorithmic description of the sixth-order solver is described, and numerical tests that demonstrate the theoretical rate of convergence are presented.