An Engquist-Osher type finite difference scheme with a discontinuous flux function in space

An Engquist-Osher type finite difference scheme is derived for dealing with scalar conservation laws having a flux that is spatially dependent through a possibly discontinuous coefficient. The new monotone difference scheme is based on introducing a new interface numerical flux function, which is called a generalized Engquist-Osher flux. By means of this scheme, the existence and uniqueness of weak solutions to the scalar conservation laws are obtained and the convergence theorem is established. Some numerical examples are presented and the corresponding numerical results are displayed to illustrate the efficiency of the methods.     

A priori error estimates for approximate solutions to convex conservation laws

Summary. We introduce a new technique for proving a priori error estimates between the entropy weak solution of a scalar conservation law and a finite–difference approximation calculated with the scheme of Engquist-Osher, Lax-Friedrichs, or Godunov. This technique is a discrete counterpart of the duality technique introduced by Tadmor [SIAM J. Numer. Anal. 1991]. The error is related to the consistency error of cell averages of the entropy weak solution. This consistency error can be estimated by exploiting a regularity structure of the entropy weak solution. One ends up with optimal error estimates. Received December 21, 2001 / Revised version received February 18, 2002 / Published online June 17, 2002     

Hyperbolic balance laws: Riemann invariants and the generalized Riemann problem

The Generalized Riemann Problem (GRP) for a nonlinear hyperbolic system of m balance laws (or alternatively “quasi-conservative” laws) in one space dimension is now well-known and can be formulated as follows: Given initial-data which are analytic on two sides of a discontinuity, determine the time evolution of the solution at the discontinuity. In particular, the GRP numerical scheme (second-order high resolution) is based on an analytical evaluation of the first time derivative. It turns out that this derivative depends only on the first-order spatial derivatives, hence the initial data can be taken as piecewise linear. The analytical solution is readily obtained for a single equation (m = 1) and, more generally, if the system is endowed with a complete (coordinate) set of Riemann invariants. In this case it can be “diagonalized” and reduced to the scalar case. However, most systems with m > 2 do not admit such a set of Riemann invariants. This paper introduces a generalization of this concept: weakly coupled systems (WCS). Such systems have only “partial set” of Riemann invariants, but these sets are weakly coupled in a way which enables a “diagonalized” treatment of the GRP. An important example of a WCS is the Euler system of compressible, nonisentropic fluid flow (m = 3). The solution of the GRP discussed here is based on a careful analysis of rarefaction waves. A “propagation of singularities” argument is applied to appropriate Riemann invariants across the rarefaction fan. It serves to “rotate” initial spatial slopes into “time derivative”. In particular, the case of a “sonic point” is incorporated easily into the general treatment. A GRP scheme based on this solution is derived, and several numerical examples are presented. Special attention is given to the “acoustic approximation” of the analytical solution. It can be viewed as a proper linearization (different from the approach of Roe) of the nonlinear system. The resulting numerical scheme is the simplest (second-order, high-resolution) generalization of the Godunov scheme.     

Discrete approximations of BV solutions to doubly nonlinear degenerate parabolic equations

Summary. In this paper we present and analyse certain discrete approximations of solutions to scalar, doubly nonlinear degenerate, parabolic problems of the form under the very general structural condition . To mention only a few examples: the heat equation, the porous medium equation, the two-phase flow equation, hyperbolic conservation laws and equations arising from the theory of non-Newtonian fluids are all special cases of (P). Since the diffusion terms a(s) and b(s) are allowed to degenerate on intervals, shock waves will in general appear in the solutions of (P). Furthermore, weak solutions are not uniquely determined by their data. For these reasons we work within the framework of weak solutions that are of bounded variation (in space and time) and, in addition, satisfy an entropy condition. The well-posedness of the Cauchy problem (P) in this class of so-called BV entropy weak solutions follows from a work of Yin [18]. The discrete approximations are shown to converge to the unique BV entropy weak solution of (P). Received November 10, 1998 / Revised version received June 10, 1999 / Published online June 8, 2000     

Error bounds for the large time step Glimm scheme applied to scalar conservation laws

Summary. In this paper we derive an error bound for the large time step, i.e. large Courant number, version of the Glimm scheme when used for the approximation of solutions to a genuinely nonlinear, i.e. convex, scalar conservation law for a generic class of piecewise constant data. We show that the error is bounded by for Courant numbers up to 1. The order of the error is the same as that given by Hoff and Smoller [5] in 1985 for the Glimm scheme under the restriction of Courant numbers up to 1/2. Received April 10, 2000 / Revised version received January 16, 2001 / Published online September 19, 2001     

One-sided stability and convergence of the Nessyahu–Tadmor scheme

Non-oscillatory schemes are widely used in numerical approximations of nonlinear conservation laws. The Nessyahu–Tadmor (NT) scheme is an example of a second order scheme that is both robust and simple. In this paper, we prove a new stability property of the NT scheme based on the standard minmod reconstruction in the case of a scalar strictly convex conservation law. This property is similar to the One-sided Lipschitz condition for first order schemes. Using this new stability, we derive the convergence of the NT scheme to the exact entropy solution without imposing any nonhomogeneous limitations on the method. We also derive an error estimate for monotone initial data.     

The method of fractional steps for conservation laws

Summary The stability, accuracy, and convergence of the basic fractional step algorithms are analyzed when these algorithms are used to compute discontinuous solutions of scalar conservation laws. In particular, it is proved that both first order splitting and Strang splitting algorithms always converge to the unique weak solution satisfying the entropy condition. Examples of discontinuous solutions are presented where both Strang-type splitting algorithms are only first order accurate but one of the standard first order algorithms is infinite order accurate. Various aspects of the accuracy, convergence, and correct entropy production are also studied when each split step is discretized via monotone schemes, Lax-Wendroff schemes, and the Glimm scheme.Partially supported by an Alfred Sloan Foundation fellowship and N.S.F. grant MCS-76-10227Sponsored by US Army under contract No. DAA 629-75-0-0024     

On the interaction of δ-shocks and contact vacuum states

We study the pressureless gas equations, with piecewise constant initial data. In the immediate solution, δ-shocks and contact vacuum states arise and even meet (interact) eventually. A solution beyond the “interaction” is constructed. It shows that the δ-shock will continue with the velocity it attained instantaneously before the time of interaction, and similarly, the contact vacuum state will move past the δ-shock with a velocity value prior to the interaction. We call this the “no-effect-from-interaction” solution. We prove that this solution satisfies a family of convex entropies (in the Lax’s sense). Next, we construct an infinitely large family of weak solutions to the “interaction”. Suppose further that any of these solutions satisfy a convex entropy, it is necessary and suffcient that these solutions reduce to only the “no-effect-from-interaction” solution. In [1], Bouchut constructed another entropy satisfying solution. As with other previous papers, it is obvious that it will not be sufficient that a “correct” solution satisfies a convex entropy, in a non-strictly hyperbolic conservation laws system. Research done in the University of Michigan-Ann Arbor, submission from Temasek Laboratories, National University of Singapore.     

A non-parameterized entropy correction for Roe's approximate Riemann solver

Summary. The main drawback with Roe's approximate Riemann solver is that non-physical expansion shocks can occur in the vicinity of sonic points. Previous work aimed at enforcing the entropy condition is based on the representation of sonic rarefaction waves. We propose a new non-parameterized approach which is based on a nonlinear Hermite interpolation of an approximate flux function and the exact resolution of non convex scalar Riemann problems. Convergence and consistency with the entropy condition are proved for scalar convex conservation laws with arbitrarily large initial data. When considering strictly hyperbolic systems of conservation laws, consistency of the resulting scheme with the entropy condition is also proved for initial data sufficiently close to a constant. Numerical results on a one-dimensional shock-tube and a two-dimensional supersonic forward facing step confirm our theoretical results. Received March 1, 1993 / Revised version received August 26, 1994     

Third order nonoscillatory central scheme for hyperbolic conservation laws

Summary. A third-order accurate Godunov-type scheme for the approximate solution of hyperbolic systems of conservation laws is presented. Its two main ingredients include: 1. A non-oscillatory piecewise-quadratic reconstruction of pointvalues from their given cell averages; and 2. A central differencing based on staggered evolution of the reconstructed cell averages. This results in a third-order central scheme, an extension along the lines of the second-order central scheme of Nessyahu and Tadmor \cite{NT}. The scalar scheme is non-oscillatory (and hence – convergent), in the sense that it does not increase the number of initial extrema (– as does the exact entropy solution operator). Extension to systems is carried out by componentwise application of the scalar framework. In particular, we have the advantage that, unlike upwind schemes, no (approximate) Riemann solvers, field-by-field characteristic decompositions, etc., are required. Numerical experiments confirm the high-resolution content of the proposed scheme. Thus, a considerable amount of simplicity and robustness is gained while retaining the expected third-order resolution. Received April 10, 1996 / Revised version received January 20, 1997     

Maximum norm error estimates of efficient difference schemes for second-order wave equations

The three-level explicit scheme is efficient for numerical approximation of the second-order wave equations. By employing a fourth-order accurate scheme to approximate the solution at first time level, it is shown that the discrete solution is conditionally convergent in the maximum norm with the convergence order of two. Since the asymptotic expansion of the difference solution consists of odd powers of the mesh parameters (time step and spacings), an unusual Richardson extrapolation formula is needed in promoting the second-order solution to fourth-order accuracy. Extensions of our technique to the classical ADI scheme also yield the maximum norm error estimate of the discrete solution and its extrapolation. Numerical experiments are presented to support our theoretical results.     

Diffusive approximations for a class of nonlinear parabolic equations

We study a class of discrete velocity type approximations to nonlinear parabolic equations with source. After proving existence results and estimates on the solution to the relaxation system, we pass into the limit towards a weak solution, which is the unique entropy solution if the coefficients of the parabolic equation are constant.     

On the penalty-projection method for the Navier–Stokes equations with the MAC mesh

We deal with the time-dependent Navier–Stokes equations (NSE) with Dirichlet boundary conditions on the whole domain or, on a part of the domain and open boundary conditions on the other part. It is shown numerically that combining the penalty-projection method with spatial discretization by the Marker And Cell scheme (MAC) yields reasonably good results for solving the above-mentioned problem. The scheme which has been introduced combines the backward difference formula of second-order (BDF2, namely Gear’s scheme) for the temporal approximation, the second-order Richardson extrapolation for the nonlinear term, and the penalty-projection to split the velocity and pressure unknowns. Similarly to the results obtained for other projection methods, we estimate the errors for the velocity and pressure in adequate norms via the energy method.     

The ignition problem for a scalar nonconvex combustion model

The ignition problem for the scalar Chapman-Jouguet combustion model without convexity is considered. Under the pointwise and global entropy conditions, we constructively obtain the existence and uniqueness of the solution and show that the unburnt state is stable (unstable) when the binding energy is small (large), which is the desired property for a combustion model. The transitions between deflagration and detonation are shown, which do not appear in the convex case.     

Error and extrapolation of a compact LOD method for parabolic differential equations

This paper is concerned with a compact locally one-dimensional (LOD) finite difference method for solving two-dimensional nonhomogeneous parabolic differential equations. An explicit error estimate for the finite difference solution is given in the discrete infinity norm. It is shown that the method has the accuracy of the second-order in time and the fourth-order in space with respect to the discrete infinity norm. A Richardson extrapolation algorithm is developed to make the final computed solution fourth-order accurate in both time and space when the time step equals the spatial mesh size. Numerical results demonstrate the accuracy and the high efficiency of the extrapolation algorithm.     

Entropy Dissipation Methods for Degenerate ParabolicProblems and Generalized Sobolev Inequalities

We analyse the large-time asymptotics of quasilinear (possibly) degenerate parabolic systems in three cases: 1) scalar problems with confinement by a uniformly convex potential, 2) unconfined scalar equations and 3) unconfined systems. In particular we are interested in the rate of decay to equilibrium or self-similar solutions. The main analytical tool is based on the analysis of the entropy dissipation. In the scalar case this is done by proving decay of the entropy dissipation rate and bootstrapping back to show convergence of the relative entropy to zero. As by-product, this approach gives generalized Sobolev-inequalities, which interpolate between the Gross logarithmic Sobolev inequality and the classical Sobolev inequality. The time decay of the solutions of the degenerate systems is analyzed by means of a generalisation of the Nash inequality. Porous media, fast diffusion, p-Laplace and energy transport systems are included in the considered class of problems. A generalized Csiszár–Kullback inequality allows for an estimation of the decay to equilibrium in terms of the relative entropy. (Received 11 October 2000; in revised form 13 March 2001)     

The singular dynamic method for constrained second order hyperbolic equations: Application to dynamic contact problems

The purpose of this paper is to present a new family of numerical methods for the approximation of second order hyperbolic partial differential equations submitted to a convex constraint on the solution. The main application is dynamic contact problems. The principle consists in the use of a singular mass matrix obtained by the mean of different discretizations of the solution and of its time derivative. We prove that the semi-discretized problem is well-posed and energy conserving. Numerical experiments show that this is a crucial property to build stable numerical schemes.     

Conservation law with the flux function discontinuous in the space variable—II: Convex–concave type fluxes and generalized entropy solutions

We deal with a single conservation law with discontinuous convex–concave type fluxes which arise while considering sign changing flux coefficients. The main difficulty is that a weak solution may not exist as the Rankine–Hugoniot condition at the interface may not be satisfied for certain choice of the initial data. We develop the concept of generalized entropy solutions for such equations by replacing the Rankine–Hugoniot condition by a generalized Rankine–Hugoniot condition. The uniqueness of solutions is shown by proving that the generalized entropy solutions form a contractive semi-group in L¹$L^1$. Existence follows by showing that a Godunov type finite difference scheme converges to the generalized entropy solution. The scheme is based on solutions of the associated Riemann problem and is neither consistent nor conservative. The analysis developed here enables to treat the cases of fluxes having at most one extrema in the domain of definition completely. Numerical results reporting the performance of the scheme are presented.     

A posteriori error estimate for finite volume approximations to singularly perturbed nonlinear convection-diffusion equations

Summary. This paper is devoted to the study of a posteriori and a priori error estimates for the scalar nonlinear convection diffusion equation . The estimates for the error between the exact solution and an upwind finite volume approximation to the solution are derived in the -norm in the situation, where the diffusion parameter is smaller or comparable to the mesh size. Numerical experiments underline the theoretical results. Received February 25, 1999 / Revised version received July 6, 1999 / Published online August 2, 2000     

A finite element method for the Tricomi problem

Summary We consider the numerical solution of the Tricomi problem. Using a weak formulation based on different spaces of test and trial functions, we construct a new Galerkin procedure for the Tricomi problem. Existence, uniqueness, and uniform stability of the approximate solution is proven, and a priori error bounds are given.Research supported in part by the Department of Energy under contract DOE E(40-1)3443