Let A be a rational function of one complex variable, and z0 its repelling fixed point with the multiplier λ. Then a Poincaré function associated with z0 is a function PA,z0,λ meromorphic on C such that PA,z0,λ(0)=z0, P′A,z0,λ(0)≠0, and PA,z0,λ(λz)=A∘PA,z0,λ(z). In this paper, we investigate the following problem: given Poincaré functions PA1,z1,λ1 and PA2,z2,λ2, find out if there is an algebraic relation f(PA1,z1,λ1,PA2,z2,λ2)=0 between them and, if such a relation exists, describe the corresponding algebraic curve. We provide a solution, which can be viewed as a refinement of the classical Ritt theorem about commuting rational functions. We also complement previous results concerning algebraic dependencies between Böttcher functions.
|State||Published - 10 Jun 2021|