Quasi-local conjugacy theorems in Banach spaces (Q816623)

The article deals with conjugacy theorems for \(C^1\)-smooth functions \(f: \;U(x_0) (\subset E) \to F\) between Banach spaces \(E\) and \(F\). The authors formulate two conjugacy results: \[ (v \circ (T_0T_0^\sharp T_0 \circ u) \circ u)(x) - f(x) = \int_0^1 T_{z(t)}[u'(z(t))^{-1})(T_0^\sharp T_0 - I)(x - x_0)] \, dt \] and \[ T_0^\sharp(f(x)) = (T_0^\sharp(v \circ (T_0T_0^\sharp T_0) \circ u))(x); \] here \(T_x = f'(x)\), \(T_0 = f'(x_0)\), \(z(t) = u^{-1}(T_0^\sharp(f(x) - f(x_0)) + (1 - t)(I - T_0^\sharp T_0)(x - x_0))\), \(T_0^\sharp\) is the outer inverse of \(T_0\) (the corresponding definition is absent and this makes the results of the article incomprehensible), \(u\) (\(u(x_0) = 0\), \(u'(x_0) = I\)) and \(v\) (\(v(0) = f(x_0)\), \(v'(0) = I\)) are two diffeomorphisms defined at the neighborhoods of points \(x_0\) and \(0\), correspondingly.