Families of commuting formal power series and formal functional equations (Q2035012): Difference between revisions

The authors discuss commuting invertible formal power series on the complex plane \(\mathbb C\). Let \(F(t,s)=\sum_{n=1} c_n(t)x^n\) denote a formal series for \(s,x \in \mathbb C\) with non-vanishing \(c_1(t)\). The commuting series form a family satisfying the formal functional equations \(F (t,F (s,x)) = F (s,F (t,x))\) (\(s,x \in \mathbb C\)) when \(c_1(t)\) takes infinitely many values. The description of this family is based on the Aczél-Jabotinsky differential equation \(H(x) \frac{\partial}{\partial x} F(t,x) = H(F(t, x))\).