Branch cuts for complex elementary functions or Much ado about nothing’s sign bit. (English) Zbl 0615.65014
The state of the art in numerical analysis, Proc. Joint IMA/SIAM Conf., Birmingham/Engl. 1986, Inst. Math. Appl. Conf. Ser., New Ser. 9, 165-211 (1987).
[For the entire collection see Zbl 0611.00024.]
Zero has a usable sign bit on some computers, but not on others. This accident of computer arithmetic influences the definition and use of familiar complex elementary functions like , arctan and arccosh whose domains are the whole complex plane with a slit or two drawn in it. The principal values of those functions are defined in terms of the logarithm function from which they inherit discontinuities across the slit(s). These discontinuities are crucial for applications to conformal maps with corners. The behaviour of those functions on their slits can be read off immediately from defining principal expressions introduced in this paper for use by analysts. Also introduced herein are programs that implement the functions fairly accurately despite roundoff and other numerical exigencies. Except at logarithmic branch points, those functions can all be continuous up to and onto their boundary slits when zero has a sign that behaves as specified by IEEE standards for floating- point arithmetic; but those functions must be discontinuous on one side of each slit when zero is unsigned. Thus does the sign of zero lay down a trail from computer hardware through programming language compilers, run- time support libraries and applications programmers to, finally, mathematical analysts.
|65D20||Computation of special functions, construction of tables|
|65E05||Numerical methods in complex analysis|
|30-04||Machine computation, programs (functions of one complex variable)|
|30E10||Approximation in the complex domain|