On the continuous dependence of the smooth change of coordinates in parametrized normal form theorems (Q1313492): Difference between revisions

Let \(\{H_ \alpha\}\) be a continuous family of \(C^ r\)-diffeomorphisms on \(\mathbb{R}^ n,0\), which is, for each \(\alpha\), a conjugacy between two germs of \(C^ p\)-diffeomorphisms \(f_ \alpha\) and \(g_ \alpha\). The problem considered by the author is the analysis of the continuous dependence of \(H_ \alpha\), in the \(C^ r\)-topology. In a certain sense the results obtained here are improvements of former works of the author with F. Dumortier and G. Sell. The main theorem says that: ``Let \(f_ 0\) be a diffeomorphism of class \(C^ p\) defined on a neighborhood of the hyperbolic fixed point \(0 \in \mathbb{R}=\mathbb{R}^ u \times \mathbb{R}^ s\), and let \(L=df_ 0(0)\). Let furthermore \(g_ 0\) be an \(\mathbb{R}^ n\)-valued mapping of class \(C^ p\) defined on a neighborhood of \(0 \in \mathbb{R}^ n\) with \(g_ 0(0)=dg_ 0 (0)=\cdots=d^ pg_ 0(0)=0\). There exists a real number \(k\) (depending on \(L\) and \(r)\) such that if \(p-r>k\) then there are neighborhoods \(B\) and \(B'\) of \(0 \in \mathbb{R}^ n\) of \(f_ 0\) in \(\text{Diff}^ p(B)\) for the \(C^ p\) topology, there is a neighborhood \(V\) of \(g_ 0\) in \(C^ p(B)\) for the \(C^ p\) topology, and there is a continuous mapping \[ H:U \times V \Rightarrow \text{Diff}^ r(B') \quad \text{with } (f,g) \Rightarrow H(f,g) \] (the space in the right equipped with the \(C^ r\) topology) such that \(H(f,g)=0\) and \(f(H(f,g))=H(f,g)(f+g)\).