Normal forms of hyperbolic logarithmic transseries

DOI10.1016/J.JDE.2022.12.002MaRDI QIDQ2111979zbMATH OpenOpenAlexFDO

Authors D. Peran, Jean-Philippe Rolin, Maja Resman, Tamara Servi

Publication date 17 January 2023

Published in Journal of Differential Equations (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2105.10660

zbMATH Keywords

fixed point theoryformal normal formshyperbolic fixed pointKoenigs sequencelinearizationlogarithmic transseries

Mathematics Subject Classification ID

Model theory (03Cxx) Ordered fields (12J15) Rate of growth of functions, orders of infinity, slowly varying functions (26A12) Fixed points and periodic points of dynamical systems; fixed-point index theory; local dynamics (37C25) Iteration theory, iterative and composite equations (39B12) Other ``topological linear spaces (convergence spaces, ranked spaces, spaces with a metric taking values in an ordered structure more general than (mathbb{R}), etc.) (46A19) Fixed-point theorems (47H10)

Review text

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.

Recommendations

• Normalization of strongly hyperbolic logarithmic transseries and complex Dulac germs
• Normal forms and embeddings for power-log transseries
• scientific article; zbMATH DE number 3872117
• Linearization of germs of hyperbolic vector fields.
• Structure and convergence of Poincaré-like normal forms.

Cites work

• Complex dynamics
• Convergence of Koenigs' sequences.
• Groups of circle diffeomorphisms
• scientific article; zbMATH DE number 66597 (Why is no real title available?)
• scientific article; zbMATH DE number 3197471 (Why is no real title available?)
• Introduction to analyzable functions and constructive proof of the Dulac conjecture
• Lectures on analytic differential equations
• Logarithmic-exponential series
• NIP for the asymptotic couple of the field of logarithmic transseries
• Noncompact-type Krasnoselskii fixed-point theorems and their applications
• Normal forms and embeddings for power-log transseries
• On Ordered Division Rings
• The Fatou coordinate for parabolic Dulac germs
• Toward a model theory for transseries

Cited in

(5)

• Normal forms and embeddings for power-log transseries
• Normalization of strongly hyperbolic logarithmic transseries and complex Dulac germs
• Normal forms of hyperbolic logarithmic transseries
• Normal forms of parabolic logarithmic transseries
• Formal conjugacy and asymptotic differential algebra

This page was built for publication: Normal forms of hyperbolic logarithmic transseries

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2111979)