We show that in bounded domains with no-slip boundary conditions, the Navier-Stokes pressure can be determined in a such way that it is strictly dominated by viscosity. As a consequence, in a general domain we can treat the Navier-Stokes equations as a perturbed vector diffusion equation, instead of as a perturbed Stokes system. To illustrate the advantages of this view, we provide a simple proof of the unconditional stability of a difference scheme that is implicit only in viscosity and explicit in both pressure and convection terms, requiring no solution of stationary Stokes systems or inf-sup conditions.

This paper presents a general methodology to design macroscopic fluid models that take into account localized kinetic upscaling effects. The fluid models are solved in the whole domain together with a localized kinetic upscaling that corrects the fluid model wherever it is necessary. This upscaling is obtained by solving a kinetic equation on the nonequilibrium part of the distri-bution function. This equation is solved only locally and is related to the fluid equation through a downscaling effect. The method does not need to find an interface condition as do usual domain decomposition methods to match fluid and kinetic representations. We show our approach applies to problems that have a hydrodynamic time scale as well as to problems with diffusion time scale. Simple numerical schemes are proposed to discretize our models, and several numerical examples are used to validate the method.

We show that in a tubular domain with sufficiently small width, the normal and tangential gradients of a harmonic function have almost the same L 2 norm. This estimate yields a sharp estimate of the pressure in terms of the viscosity term in the Navier-Stokes equation with no-slip boundary condition. By consequence, one can analyze the Navier-Stokes equations simply as a perturbed vector diffusion equation instead of as a perturbed Stokes system. As an application, we describe a rather easy approach to establish a new isomorphism theorem for the non-homogeneous Stokes system.

The first part of this paper describes some important underlying themes in the mathematical theory of continuum mechanics that are distinct from formulating and analyzing governing equations. The main part of this paper is devoted to a survey of some concrete, conceptually simple, pretty problems that help illuminate the underlying themes. The paper concludes with a discussion of the crucial role of invariant constitutive equations in computation.

For strong solutions of the incompressible Navier-Stokes equations in bounded domains with velocity specified at the boundary, we establish the unconditional stability and convergence of discretization schemes that decouple the updates of pressure and velocity through explicit time stepping for pressure. These schemes require no solution of stationary Stokes systems, nor any compatibility between velocity and pressure spaces to ensure an inf-sup condition, and are representative of a class of highly efficient computational methods that have recently emerged. The proofs are simple, based upon a new, sharp estimate for the commutator of the Laplacian and Helmholtz projection operators. This allows us to treat an unconstrained formulation of the Navier-Stokes equations as a perturbed diffusion equation. © 2007 Wiley Periodicals, Inc.