We provide sufficient conditions for a mapping acting between two Banach spaces to be a diffeomorphism. We get local diffeomorhism by standard method while in making it global we employ a critical point theory and a duality mapping. We provide application to integro-differential initial value problem for which we get differentiable dependence on parameters.