The sequential regularization method is a reformulation of the unsteady Navier–Stokes equations from the viewpoint of constrained dynamical systems or the approximate Helmholtz–Hodge projection. In this paper we study the long time behavior of the sequential regularization formulation. We give a uniform-in-time estimate between the solution of the reformulated system and that of the Navier–Stokes equations. We also conduct an error analysis for the temporal discrete system and show that the error bound is independent of time. A couple of long time flow examples are computed to demonstrate this method.

A fourth-order finite difference method is proposed and studied for the primitive equations (PEs) of large-scale atmospheric and oceanic flow based on mean vorticity formulation. Since the vertical average of the horizontal velocity field is divergence-free, we can introduce mean vorticity and mean stream function which are connected by a 2-D Poisson equation. As a result, the PEs can be reformulated such that the prognostic equation for the horizontal velocity is replaced by evolutionary equa-tions for the mean vorticity field and the vertical derivative of the horizontal velocity. The mean vorticity equation is approximated by a compact difference scheme due to the difficulty of the mean vorticity boundary condition, while fourth-order long-stencil approximations are utilized to deal with transport type equations for computational convenience. The numerical values for the total velocity field (both horizontal and vertical) are statically determined by a discrete realization of a differential equation at each fixed horizontal point. The method is highly efficient and is capable of produc-ing highly resolved solutions at a reasonable computational cost. The full fourth-order accuracy is checked by an example of the reformulated PEs with force terms. Addi-tionally, numerical results of a large-scale oceanic circulation are presented.

The authors establish error estimates for recently developed finite-element methods for incompressible viscous flow in domains with no-slip boundary conditions. The methods arise by discretization of a well-posed extended Navier-Stokes dynamics for which pressure is determined from current velocity and force fields. The methods use C1 elements for velocity and C0 elements for pressure. A stability estimate is proved for a related finite-element projection method close to classical time-splitting methods of Orszag, Israeli, DeVille and Karniadakis.

We consider the vorticity-stream formulation of axisymmetric incompressible ows and its equivalence with the primitive formulation. It is shown that, to characterize the regularity of a divergence free axisymmetric vector eld in terms of the swirling components, an extra set of pole condition is necessary to give a full description of the regularity. In addition, smooth solutions up to the axis of rotation gives rise to smooth solutions of primitive formulation in the case of Navier-Stokes equations, but not the Euler equations. We also establish proper weak formulations and show its equivalence to Leray's solutions.

We present a simple proof on the formation of flocking in the F. Cucker and S. Smale system [Jpn. J. Math. (3) 2, No. 1, 197–227 (2007; Zbl 1166.92323)] based on the explicit construction of a Lyapunov functional. Our results also provide a unified condition on the initial states in which the exponential convergence to the flocking state will occur. For large particle systems, we give a rigorous justification for the mean-field limit from the many particle Cucker-Smale system to the Vlasov equation with flocking dissipation as the number of particles goes to infinity.