Let $U \subset \mathbb{C}$ be an open set containing $0$. Is it possible to construct a smooth function $f : U \rightarrow \mathbb{C}$ satisfying:
- $f(0 ) = 0$
- The function $g:U \rightarrow \mathbb{C}$, defined by $g(z) = z^2 f(z)$, is a diffeomorphism onto its image.
(Hope: no).
Any function $h$ satisfying $|h(z)|\le C|z|^2$ in a neighborhood of $0$ satisfies $Dh(0)=0$ in the real sense. This falls right out of the definition of "differentiable". And yes, $Dh(0)=0$ iff $J_h(0)$ is the zero matrix.