Differentiable Hartman-Grobman Theorem via modulus of continuity: A sharp result on linearization in general Banach space

As is well known the classical Hartman–Grobman theorem states that a $C^1$ mapping can be $C^0$ linearized near its hyperbolic fixed point in $\mathbb{R}^n$. However, it is quite nontrivial to guarantee the local homeomorphism to be differentiable. Recently, the regularity assumption on derivative of the mapping has been weakened to Hölder’s type, significantly improving the work of $C^\infty$, but still unknown for only differentiable case. We will try to touch this question in this paper. Without Hölder’s type, we first consider the existence and regularity of weak-stable manifolds for homeomorphisms with contraction in a Banach space, and further study linearization of mappings near hyperbolic fixed points. More precisely, we propose an Integrability Condition for regularity on linearization which is proved to be sharp, and establish a differentiable Hartman–Grobman theorem via modulus of continuity in a general Banach space. Thus we provide an almost complete answer to the question mentioned above.