Maximal families of commuting automorphisms and the differential equation of Aczél-Jabotinsky |
H(x)(df)/(dx)=(H o f)(x), (AJ)for a given H(x)ÎC[[x]], ordH³1, where the solution f has to fulfill ordf=1. Since there is a singularity at x=0 the usual existence and uniqueness theorems cannot be applied.
Conversely the set of solutions of any equation (AJ) is a maximal family of commuting series. Moreover each such family is an iteration group (Ft)tÎC or it contains an iteration group (as a subgroup of finite index).
For n>1 no similar results are known about the automorphism of the rings C[[x1,...,xn]], whereas results exist in other situations. (Cf. [1][12][14][13].) As a matter of fact for n>1 each analytic iteration group (Ft)tÎC consists of solutions of a system of partial differential equations
(¶f)/(¶x)H(x)=(H o f)(x), (AJn)where
H(x)=(¶F(t,x))/(¶t) | t=0and (¶f)/(¶x) is the Jacobi matrix of the automorphism fÎG. Solving the following problems for n>1 is an interesting and difficult problem:
Maximal families of commuting automorphisms and the differential equation of Aczél-Jabotinsky |