Embeddings of diffeomorphisms of the plane in regular iteration semigroups (Q2340862): Difference between revisions

Let \(r \in \mathbb N\), \(0\leq \delta\leq 1\) and \(U \subset \mathbb R^2\) be a neighbourhood of \(0\). Denote by \(C_{\delta}^r\) the set of all diffeomorphisms \(F:U \to \mathbb R^2\) of class \(C^r\) such that \(F(0)=0\) and \[ d^{(r)}F(x)=d^{(r)}F(0)+O(\| x\|^{\delta}), \quad \| x\| \to 0. \] A family of \(C_{\delta}^r\) mappings \(F^t:U \to U\), \(t\geq 0\), is a \(C_{\delta}^r\) iteration semigroup if \[ F^t\circ F^s=F^{t+s}, \quad t,s \geq 0, \] and for every \(x \in U\) the mapping \(t \mapsto F^t(x)\) is Lebesgue measurable. If \(F^1=F\), this semigroup is a \(C_{\delta}^r\)-embedding of \(F\). The main result of the paper consists in the full description of the iteration semigroups of \(F \in C_{\delta}^r\) such that \(r+\delta>1\) and the eigenvalues \(\lambda_1\) and \(\lambda_2\) of \(S=dF(0)\) satisfy the condition \(|\lambda_1|\leq |\lambda_2|<1\).