We present numerical schemes for the incompressible Navier–Stokes equations based on a primitive variable formulation in which the incompressibility constraint has been replaced by a pressure Poisson equation. The pressure is treated explicitly in time, completely decoupling the computation of the momentum and kinematic equations. The result is a class of extremely efficient Navier–Stokes solvers. Full time accuracy is achieved for all flow variables. The key to the schemes is a Neumann boundary condition for the pressure Poisson equation which enforces the incompressibility condition for the velocity field. Irrespective of explicit or implicit time discretization of the viscous term in the momentum equation the explicit time discretization of the pressure term does not affect the time step constraint. Indeed, we prove unconditional stability of the new formulation for the Stokes equation with explicit treatment of the pressure term and first or second order implicit treatment of the viscous term. Systematic numerical experiments for the full Navier–Stokes equations indicate that a second order implicit time discretization of the viscous term, with the pressure and convective terms treated explicitly, is stable under the standard CFL condition. Additionally, various numerical examples are presented, including both implicit and explicit time discretizations, using spectral and finite difference spatial discretizations, demonstrating the accuracy, flexibility and efficiency of this class of schemes. In particular, a Galerkin formulation is presented requiring only C0 elements to implement.

We show that, for all nonnegative integers k, Г, m and n, theYamabe invariant of #k(RP3)#Г(RP2 】 S1)#m(S2 】 S1)#n(S2. 】S1) is equal to the Yamabe invariant of RP3, provided k + Г ∶ 1. We then complete the classification (started by Bray and the second author) of all closed 3-manifolds with Yamabe invariant greater than that of RP3. More precisely, we show that such manifolds are either S3 or finite connected sums #m(S2 】 S1)#n(S2. 】S1),where S2. 】S1 is the nonorientable S2-bundle over S1. A key ingredient is Aubin’s Lemma [3], which says that if the Yamabe constant is positive, then it is strictly less than the Yam- abe constant of any of its non-trivial finite conformal coverings. This lemma, combined with inverse mean curvature flow and with analysis of the Green’s function for the conformal Laplacians on specific finite and normal infinite Riemannian coverings, will allow us to construct a family of nice test functions on the finite coverings and thus prove the desired result.

No abstract uploaded!

No abstract uploaded!

A priori estimates are established for the two-phase boundary value problems with Venttsel interface conditions for linear nondivergent parabolic and elliptic equations. By these estimates, the existence and uniqueness theorems in Sobolev and Hölder spaces are proved.