Skip to main content
5 of 8
references and links added
IV_
  • 1.1k
  • 8
  • 15

In [Ritt 1948], the method of J. Liouville is given for the Kepler equation.
[Ritt 1948] Ritt, J. F.: Integration in finite terms. Liouville's theory of elementary methods. 1948, page 56

A further method is the method of Rosenlicht, M.: On the explicit solvability of certain transcendental equations. Publications mathématiques de l'IHÉS 36 (1969) 15-22. It is a byproduct of Liouville's theory of integration in finite terms. It is written in the language of Differential algebra, but it can be represented also without that.
This method is applicable only for functions satisfying a differential equation that is simple enough.
A reference for Kepler's equation is Zarzuela Armengou, S.: About some questions of differential algebra concerning to elementary functions. Pub. Mat. UAB 26 (1982) (1) 5-15.
A reference for Lambert W function is Bronstein/Corless/Davenport/Jeffrey 2008 from the answer of Igor Khavkine above.

The branches of Lambert W are the local inverses of the Elementary function $f$ with $f(z)=ze^z$, $z \in \mathbb{C}$.

The incomprehensibly unfortunately hardly noticed theorem of Joseph Fels Ritt in Ritt, J. F.: Elementary functions and their inverses. Trans. Amer. Math. Soc. 27 (1925) (1) 68-90 answers which kinds of Elementary functions can have an inverse which is an Elementary function.

And Ritt's theorem shows that no antiderivatives, no differentiation and no differential fields are needed for defining the Elementary functions.

Ritt's theorem is proved also in Risch, R. H.: Algebraic Properties of the Elementary Functions of Analysis. Amer. J. Math 101 (1979) (4) 743-759.

By extension of Risch's structure theorem for the elementary functions, Ritt's theorem could possibly be extended to other and to larger classes of functions, as I proposed in my question here: How to extend Ritt's theorem on elementary invertible bijective elementary functions?.

IV_
  • 1.1k
  • 8
  • 15