Asymptotic expansions of logarithmic-exponential functions
- 123 Downloads
The aim of this paper is to study the asymptotic expansion of real functions which are finite compositions of globally subanalytic maps with the exponential function and the logarithmic function. This is done thanks to a preparation theorem in the spirit of those that exist for analytic functions (Weierstrass) or subanalytic functions (Parusinśki). The main consequence is that logarithmic-exponential functions admit convergent asymptotic expansion in the scale of real power functions. We also deduce a partial answer to a conjecture of van den Dries and Miller.
Unable to display preview. Download preview PDF.