Sharp error bounds for complex floating-point inversion
Résumé
We study the accuracy of the classic algorithm for inverting a complex number given by its real and imaginary parts as floating-point numbers. Our analyses are done in binary floating-point arithmetic with an unbounded exponent range in precision p, and we assume that the elementary arithmetic operations (+, −, ×, /) are rounded to nearest, so that the roundoff unit is u = 2 −p. We prove the componentwise relative error bound 3u for the complex inversion algorithm (assuming p 4), and we show that this bound is asymptotically optimal (as p → ∞) when p is even, and reasonably sharp when using one of the basic IEEE 754 binary formats with an odd precision (p = 53, 113). This componentwise bound obviously leads to the same bound 3u for the normwise relative error. However we prove that the significantly smaller bound 2.707131u holds (assuming p 24) for the normwise relative error, and we illustrate the sharpness of this bound using numerical examples for the basic IEEE 754 binary formats (p = 24, 53, 113).
Domaines
Autre [cs.OH]Origine | Fichiers produits par l'(les) auteur(s) |
---|