  We provide sufficient conditions for a mapping between two Banach spaces to
be a diffeomorphism using the approach of an auxiliary functional and also by
the aid of a duality mapping corresponding to a normalization function. We
simplify and generalize our previous results. Applications to algebraic
equations and to integro-differential systems are also given.
