An explicit example of an iteration group in the ring of formal power series
Let \(k\) be a field of characteristic zero and \((G,+)\) a commutative group. For each \(s\in\mathbb{N}\cup\{\infty\}\), we denote \(\displaystyle kX_s=\{\sum_{j:0}^sa_jX^j; a_j\in k\}\), the ring of all \(s-\)truncated formal power series over \(k\). Let \(\Gamma^s\subset kX_s\) be the set of all \(s-\)truncated formal power series which are invertible with respect to substitution \(\circ\) in \(kX_s\). Then \((\Gamma^s,\circ)\) is a group. A non-empty family \(\mathcal{F}=(F_t)_{t\in G}\subset \Gamma^s\) satisfying \(F_{t_1+t_2}=F_{t_1}\circ F_{t_2}\) is called a one parameter group of \(s-\)truncated formal power series. On the other hand, an equation of the type \(\frac{d\Phi}{ dx}.H=H\circ\Phi\), (1) is called the third Aczel-Jabotinsky formal differential equation, where \(H\) is the generator. In the paper under review, the author exhibits an example of some iteration group in \(kX\). This allows him to obtain an explicit formula for some one parameter group in \(kX_s\). And then find solutions to the equation (1) in \(kX_s\) with non-commutative groups.
- A survey on iterations in rings of formal power series in one indeterminate
- Conjugacy type problems in the ring of formal power series
- scientific article; zbMATH DE number 6114597
- The formal translation equation for iteration groups of type II
- The translation equation in the ring of formal power series over \(\mathbb{C}\) and formal functional equations
This page was built for publication: An explicit example of an iteration group in the ring of formal power series
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6562891)
