Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Bounding the Round-Off Error of the Upwind Scheme for Advection

Louise Ben Salem-Knapp 1, 2 Sylvie Boldo 2 William Weens 1, 3 
2 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
Inria Saclay - Ile de France, LMF - Laboratoire Méthodes Formelles
Abstract : Numerical simulations are carefully-written programs, and their correctness is based on mathematical results. Nevertheless, those programs rely on floating-point arithmetic and the corresponding round-off errors are often ignored. This article deals with a specific simple scheme applied to advection, that is a particular equation from hydrodynamics dedicated to the transport of a substance. It shows a tight bound on the round-off error of the 1D and 2D upwind scheme, with an error roughly proportional to the number of steps. The error bounds are generic with respect to the format and exceptional behaviors are taken into account. Some experiments give an insight of the quality of the bounds.
Document type :
Preprints, Working Papers, ...
Complete list of metadata
Contributor : Sylvie Boldo Connect in order to contact the contributor
Submitted on : Tuesday, August 31, 2021 - 1:46:34 PM
Last modification on : Friday, August 5, 2022 - 2:58:08 PM
Long-term archiving on: : Wednesday, December 1, 2021 - 9:16:09 PM


Files produced by the author(s)


  • HAL Id : hal-03329933, version 1


Louise Ben Salem-Knapp, Sylvie Boldo, William Weens. Bounding the Round-Off Error of the Upwind Scheme for Advection. 2021. ⟨hal-03329933⟩



Record views


Files downloads