Hard Implicit Function Theorem via the DSM

Abstract

Sufficient conditions are given for a hard implicit function theorem to hold. The result is established by an application of the Dynamical Systems Method (DSM). It allows one to solve a class of nonlinear operator equations in the case when the Fréchet derivative of the nonlinear operator is a smoothing operator, so that its inverse is an unbounded operator.