Abstract
This paper defines the Wright ω function, and presents some of its properties. As well as being of intrinsic mathematical interest, the function has a specific interest in the context of symbolic computation and automatic reasoning with nonstandard functions. In particular, although Wright ω is a cognate of the Lambert W function, it presents a different model for handling the branches and multiple values that make the properties of W difficult to work with. By choosing a form for the function that has fewer discontinuities (and numerical difficulties), we make reasoning about expressions containing such functions easier. A final point of interest is that some of the techniques used to establish the mathematical properties can themselves potentially be automated, as was discussed in a paper presented at AISC Madrid [3].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bronstein, M., AND Davenport, J. H. Algebraic properties of the Lambert W function.
Comtet, L.Advanced Combinatorics. Reidel, 1974.
Corless, R. M., Davenport, J. H., David J. Jeffrey, Litt, G., and Watt, S. M. Reasoning about the elementary functions of complex analysis. In Proceedings AISC Madrid (2000), vol. 1930 of Lecture Notes in AI, Springer. Ontario Research Centre for Computer Algebra Technical Report TR-00-18, at http://www.orcca.on.ca/TechReports.
Corless, R. M., Gonnet, G. H., Hare, D. E. G., Jeffrey, D. J., and Knuth, D. E. On the Lambert W function. Advances in Computational Mathematics 5 (1996), 329–359.
Corless, R. M., AND Jeffrey, D. J. The unwinding number. SigsamBulletin 30,2 (June 1996), 28–35.
Corless, R. M., Jeffrey, D. J., AND Knuth, D. E. A sequence of series for the Lambert W function. In Proceedings of the ACM ISSAC, Maui (1997), pp. 195–203.
de Bruijn, N. G.Asymptotic Methods in Analysis. North-Holland, 1961.
Graham, R. L., Knuth, D. E., AND Patashnik, O.Concrete Mathematics. Addison-Wesley, 1994.
Jeffrey, D. J., Hare, D. E. G., and Corless, R. M. “Unwinding the branches of the Lambert W function”. Mathematical Scientist 21 (1996), 1–7.
Marsaglia, G., and Marsaglia, J. C. “A new derivation of Stirling’s approximation to n!”. American Mathematical Monthly 97 (1990), 826–829.
Siewert, C. E., and Burniston, E. E. “Exact analytical solutions of zez = a”. Journal of Mathematical Analysis and Applications 43 (1973), 626–632.
Wright, E. M. “Solution of the equation zez = a”. Bull. Amer. Math Soc. 65 (1959), 89–93.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Corless, R.M., Jeffrey, D.J. (2002). The Wright ω Function. In: Calmet, J., Benhamou, B., Caprotti, O., Henocque, L., Sorge, V. (eds) Artificial Intelligence, Automated Reasoning, and Symbolic Computation. AISC Calculemus 2002 2002. Lecture Notes in Computer Science(), vol 2385. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45470-5_10
Download citation
DOI: https://doi.org/10.1007/3-540-45470-5_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43865-6
Online ISBN: 978-3-540-45470-0
eBook Packages: Springer Book Archive