We are interested in nonlinear hyperbolic systems in nonconservative form arising in fluid dynamics, and, for solutions containing shock waves, we investigate the convergence of finite difference schemes applied to such systems. According to Dal Maso, LeFloch, and Murat's theory, a shock wave theory for a given nonconservative system requires prescribing a priori a family of paths in the phase space. In the present paper, we consider schemes that are formally consistent with a given family of paths, and we investigate their limiting behavior as the mesh is refined. we first generalize to systems a property established earlier by Hou and LeFloch for scalar conservation laws, and we prove that nonconservative schemes generate, at the level of the limiting hyperbolic system, an convergence error source-term which, provided the total variation of the approximations remains uniformly bounded, is a locally bounded measure. This convergence error measure is supported on the shock trajectories and, as we demonstrate here, is usually "small". In the special case that the scheme converges in the sense of graphs -a rather strong convergence property often violated in practice-then this measure source-term vanishes. We also discuss the role of the equivalent equation associated with a difference scheme; here, the distinction between scalar equations and systems appears most clearly since, for systems, the equivalent equation of a scheme that is formally path-consistent depends upon the prescribed family of paths. The core of this paper is devoted to investigate numerically the approximation of several (simplified or full) hyperbolic models arising in fluid dynamics. This leads us to the conclusion that for systems having nonconservative products associated with linearly degenerate characteristic fields, the convergence error vanishes. For more general models, this measure is evaluated very accurately, especially by plotting the shock curves associated with each scheme under consideration; as we demonstrate, plotting the shock curves provide a convenient approach for evaluating the range of validity of a given scheme.

Abstract. This paper is concerned with the numerical approximation of Cauchy problems for onedimensional nonconservative hyperbolic systems. The theory developed by Dal Maso et al. [J. Math. Pures Appl. 74 (1995) is used in order to define the weak solutions of the system: an interpretation of the nonconservative products as Borel measures is given, based on the choice of a family of paths drawn in the phase space. Even if the family of paths can be chosen arbitrarily, it is natural to require this family to satisfy some hypotheses concerning the relation of the paths with the integral curves of the characteristic fields. The first goal of this paper is to investigate the implications of three basic hypotheses of this nature. Next, we show that, when the family of paths satisfies these hypotheses, Godunov methods can be written in a natural form that generalizes their classical expression for systems of conservation laws. We also study the well-balance properties of these methods. Finally, we prove the consistency of the numerical scheme with the definition of weak solutions: we prove that, under hypothesis of bounded total variation, if the approximations provided by a Godunov method based on a family of paths converge uniformly to some function as the mesh is refined, then this function is a weak solution (related to that family of paths) of the nonconservative system. We extend this result to a family of numerical schemes based on approximate Riemann solvers.Mathematics Subject Classification. 74S10, 35L60, 65M12.

No abstract

No abstract

No abstract