Solvability of abstract semilinear equations by a global diffeomorphism theorem

In this work we proivied a new simpler proof of the global diffeomorphism theorem from [9] which we further apply to consider unique solvability of some abstract semilinear equations. Applications to the second order Dirichlet problem driven by the Laplace operator are given.