The Wright ω Function
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 .
Unable to display preview. Download preview PDF.
- Bronstein, M., AND Davenport, J. H. Algebraic properties of the Lambert W function.Google Scholar
- Comtet, L.Advanced Combinatorics. Reidel, 1974.Google Scholar
- 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., AND Jeffrey, D. J. The unwinding number. SigsamBulletin 30,2 (June 1996), 28–35.Google Scholar
- 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.Google Scholar
- de Bruijn, N. G.Asymptotic Methods in Analysis. North-Holland, 1961.Google Scholar
- Graham, R. L., Knuth, D. E., AND Patashnik, O.Concrete Mathematics. Addison-Wesley, 1994.Google Scholar