MathSciDoc: An Archive for Mathematician ∫

This is the second of a series of papers on the subject of projection methods for viscous incompressible flow calculations. The purpose of the present paper is to explain why the accuracy of the velocity approximation is not affected by (1) the numerical boundary layers in the approximation of pressure and the intermediate velocity field and (2) the noncommutativity of the projection operator and the laplacian. This is done by using a Godunov–Ryabenki type of analysis in a rigorous fashion. By doing so, we hope to be able to convey the message that normal mode analysis is basically sufficient for understanding the stability and accuracy of a finite-difference method for the Navier–Stokes equation even in the presence of boundaries. As an example, we analyze the second-order projection method based on pressure increment formulations used by van Kan and Bell, Colella, and Glaz. The leading order error term in this case is of $O(\Delta t)$ and behaves as high frequency oscillations over the whole domain, compared with the $O(\Delta t^{{1 / 2}} )$ numerical boundary layers found in the second-order Kim–Momn method.

A new fourth-order accurate finite difference scheme for the computation of unsteady viscous incompressible flows is introduced. The scheme is based on the vorticity-stream function formulation. It is essentially compact and has the nice features of a compact scheme with regard to the treatment of boundary conditions. It is also very efficient, at every time step or Runge–Kutta stage, only two Poisson-like equations have to be solved. The Poisson-like equations are amenable to standard fast Poisson solvers usually designed for second order schemes. Detailed comparison with the second-order scheme shows the clear superiority of this new fourth-order scheme in resolving both the boundary layers and the gross features of the flow. This efficient fourth-order scheme also made it possible to compute the driven cavity flow at Reynolds number 106on a 10242grid at a reasonable cost. Fourth-order convergence is proved under mild regularity requirements. This is the first such result to our knowledge

This paper discusses three basic issues related to the design of finite difference schemes for unsteadyviscous incompressible flows using vorticity formulations: the boundary condition for vorticity, an efficient time-stepping procedure, and the relation between these schemes and the ones based on velocity-pressure formulation. We show that many of the newly developed global vorticity boundary conditions can actually be written as some local formulas derived earlier. We also show that if we couple a standard centered difference scheme with third- or fourth-order explicit Runge-Kutta methods, the resulting schemes have nocell Reynolds number constraints. For high Reynolds number flows, these schemes are stable under the CFL condition given by the convective terms. Finally, we show that the classical MAC scheme is the same as Thom's formula coupled with second-order centered differences in the interior, in the sense that one can define discrete vorticity in a natural way for the MAC scheme and get the same values as the ones computed from Thom's formula. We use this to derive an efficient fourth-order Runge-Kutta time discretization for the MAC scheme from the one for Thom's formula. We present numerical results for driven cavity flow at high Reynolds number (10 ).

In this paper, we review some recent progress made in [4, 5, 6] on finite difference schemes for viscous incompressible flows using vorticity formulation. The main purpose of this series of papers [4, 5, 6] is to resurrect the idea of using local vorticity boundary condition for unsteady calculation. The emphasis is on simplicity of the methods. Three main issues will be discussed: efficient time-stepping procedures and cell Reynolds number constraints, efficient methods in 3D on non-staggered grids and efficient high order methods using compact differencing.

We begin a systematical study on the effect of numerical viscosities. In this paper we investigate the behavior of shock-capturing methods for slowly moving shocks. It is known that for slowly moving shocks even a first-order scheme, such as the Godunov or Roe type methods, will generate downstream oscillatory wave patterns that cannot be effectively damped by the dissipation of these first-order schemes. The purpose of this paper is to understand the formation and behavior of these downstream patterns. Our study shows that the downstream errors are generated by the unsteady nature of the viscous shock profiles and behave diffusively. The scenario is as follows. When solving the compressible Euler equations by shock capturing methods, the smeared density profile introduces a momentum spike at the shock location if the shock moves slowly. Downstream waves will necessarily emerge in order to balance the momentum mass carried by the spike for the momentum conservation. Although each family of waves decays inl∞andl2while they preserve the same mass, the perturbing nature of the viscous or spike profile is a constant source for the generation of new downstream waves, causing spurious solutions foralltime. Higher order TVD or ENO type interpolations accentuate this problem.

No abstract uploaded!

The development of shocks in nonlinear hyperbolic conservation laws may be regularized through either diffusion or relaxation. However, we have observed surprisingly that for some physical problems, when both of the smoothing factors - diffusion and relaxation - coexist, under appropriate asymptotic assumptions, the dispersive waves are enhanced. This phenomenon is studied asymptotically in the sense of the Chapman-Enskog expansion and demonstrated numerically.

We prove the convergence of vortex blob methods to classical weak solutions for the twodimensional incompressible Euler equations with initial data satisfying the conditions that the vorticity is a finite Radon measure of distinguished sign and the kinetic energy is locally bounded. This includes the important example of vortex sheets. The result is valid as long as the computational grid size h does not exceed the smoothing blob size E, i.e., h/~ 5 C. 0 1995 John Wiley & Sons, Inc.

This is the first of a series of papers on the subject of projection methods for viscous incompressible flow calculations. The purpose of these papers is to provide a thorough understanding of the numerical phenomena involved in the projection methods, particularly when boundaries are present, and point to ways of designing more efficient, robust, and accurate numerical methods based on the primitive variable formulation. This paper contains the following topics: 1. convergence and optimal error estimates for both velocity and pressure up to the boundary; 2. explicit characterization of the numerical boundary layers in the pressure approximations and the intermediate velocity fields; 3. the effect of choosing different numerical boundary conditions at the projection step. We will show that a different choice of boundary conditions gives rise to different boundary layer structures. In particular, the straightforward Dirichlet boundary condition for the pressure leads to O(1) numerical boundary layers in the pressure and deteriorates the accuracy in the interior; and 4. postprocessing the numerical solutions to get more accurate approximations for the pressure.

In this paper we study the asymptotic nonlinear stability of discrete shocks for the Lax-Friedrichs scheme for approximating general m×m systems of nonlinear hyperbolic conservation laws. It is shown that weak single discrete shocks for such a scheme are nonlinearly stable in the Lp-norm for all p ≧ 1, provided that the sums of the initial perturbations equal zero. These results should shed light on the convergence of the numerical solution constructed by the Lax-Friedrichs scheme for the single-shock solution of system of hyperbolic conservation laws. If the Riemann solution corresponding to the given far-field states is a superposition of m single shocks from each characteristic family, we show that the corresponding multiple discrete shocks are nonlinearly stable in Lp (P ≧ 2). These results are proved by using both a weighted estimate and a characteristic energy method based on the internal structures of the discrete shocks and the essential monotonicity of the Lax-Friedrichs scheme.