Normal forms of hyperbolic logarithmic transseries (Q2111979)

Transseries are series whose monomials involve not only real powers, but also iterated logarithms and exponentials of the variable (and the coefficients are real numbers). Such transformations appear naturally in the solutions of Dulac's problem on non-accumulation of limit cycles on hyperbolic polycycles, in particular in the works of Ecalle and Ilyashenko. A transseries is called logarithmic if it does not involve the exponential function, and it is called hyperbolic if it can be written as \(\lambda z+\cdots\), where \(\lambda >0\), \(\lambda \neq 1\) and \(z\) is an infinitesimal variable. The authors find the normal forms of hyperbolic logarithmic transseries with respect to parabolic (i.e. tangent to identity) logarithmic normalizing changes of variables. They provide a necessary and sufficient condition on such transseries for the normal form to be linear. The normalizing transformations are obtained via fixed point theorems, and are given algorithmically, as limits of Picard sequences in appropriate topologies.