Revisiting Estimates for Domains of Invertibility of Diffeomorphisms

This paper aims at revisiting estimates for domains of invertibility of diffeomorphisms. In contrast to previous results, we establish the estimates without the assumption of the underlying function being a diffeomorphism from its domain onto its range, and show that the arguments can be easily exploited to derive an analogous result in the framework of finite-dimensional spaces. Furthermore, the established results provide more estimates of the balls on which diffeomorphisms take place. In addition, we use these results to derive several variants of global inverse function theorem, which extend the known ones. The results presented in the paper are also applied to validate the existence of solutions for nonlinear equations.