Séminaire ACSIOM :

Le 06 octobre 2009 à -

Présentée par Simeoni Chiara -

Convergence de la méthode décentrée aux interfaces pour les lois de conservation avec un terme source "géométrique" sur les maillages non-structurés

Hyperbolic conservation laws with source terms arise in many applications, especially as simple models for geophysical flows (shallow water equations, nozzle flows, ...), and their numerical approximation leads to specific difficulties. In the context of finite volume/difference schemes, many authors have proposed efficient schemes which can be included into the class of the Upwind Source at Interfaces methods. We aim to present a general mathematical formalism for such schemes. We focus on semi-discrete finite volume schemes for scalar conservation laws with a geometrical source term, in the general case of a non-uniform spatial mesh. Typical questions to deal with are the appropriate definitions of consistency and stability, for which we are able to prove an extension of the Lax-Wendroff convergence theorem, and we also relate the notion of consistency to the "well-balanced property". For the (strong) convergence analysis, we concentrate on the discretization of the source term and, under appropriate hypotheses, we prove $L^p$-error estimates, for $1\le p<+\infty$. To improve the numerical accuracy, we formulate two different approaches to treat the source term and we also obtain second order error estimates. Numerical evidence shows that those techniques produce high resolution schemes compatible with the well-balanced methods. In the case of a non-uniform spatial mesh, a suitable notion of (weak) regularity for the cells size is also introduced to obtain optimal results, and we conclude that the same convergence rates hold as for the corresponding homogeneous problems. The general case of non-uniform mesh is particularly interesting, to provide a theoretical framework to the numerical simulation on non-uniform grids (eventually generated by adaptive procedures) of a wide class of mathematical models for real systems. Some examples are discussed, in order to validate the arguments we have proposed.