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.

In this paper, we study the ill posed Perona-Malik equation of image processing [14], and the regularized P-M model i.e. C-model proposed by Catte et al. [4]. The authors present the convex compound of these two models in the form of the system of partial differential equations. The weak solution for the equations is proved in detail. The additive operator splitting (AOS) algorithm for the proposed model is also given. Finally, we show some numeric experiment results on images.

This article studies the structure and its evolution of incompressible flows with the anti-symmetry using a combination of rigorous analysis and numerical simulations, with an application to an example of oceanic flow. In particular, necessary and sufficient conditions for 2D divergence-free vector fields with anti-symmetry are obtained, and a detailed numerical simulation for a simplified model of Marsigli oceanic flow is provided to explore and verify the structure and its transitions of the flow. It is expected that the study will lead to useful insights to the understanding of the flow dynamics from both the mathematical and physical points of view.

he incompressibility constraint makes Navier-Stokes equations difficult. A reformulation to a better posed problem is needed before solving it numerically. The sequential regularization method (SRM) is a reformulation which combines the penalty method with a stabilization method in the context of constrained dynamical systems and has the benefit of both methods. In the paper, we study the existence and uniqueness for the solution of the SRM and provide a simple proof of the convergence of the solution of the SRM to the solution of the Navier-Stokes equations. We also give error estimates for the time discretized SRM formulation.

In a previous work [P. Crispel, P. Degond, and M.-H. Vignal, J. Comput. Phys., 223 (2007), pp. 208–234], a new numerical discretization of the Euler–Poisson system was proposed. This scheme is “asymptotic preserving” in the quasineutral limit (i.e., when the Debye length $\varepsilon$ tends to zero), which means that it becomes consistent with the limit model when $\varepsilon \to 0$. In the present work, we show that the stability domain of the present scheme is independent of $\varepsilon$. This stability analysis is performed on the Fourier transformed (with respect to the space variable) linearized system. We show that the stability property is more robust when a space-decentered scheme is used (which brings in some numerical dissipation) rather than a space-centered scheme. The linearization is first performed about a zero mean velocity and then about a nonzero mean velocity. At the various stages of the analysis, our scheme is compared with more classical schemes and its improved stability property is outlined. The analysis of a fully discrete (in space and time) version of the scheme is also given. Finally, some considerations about a model nonlinear problem, the Burgers–Poisson problem, are also discussed.