Newton's method for solving generalized equations: Kantorovich's and Smale's approaches

In this paper, we study Newton-type methods for solving generalized equations involving set-valued maps in Banach spaces. Kantorovich-type theorems (both local and global versions) are proved as well as the quadratic convergence of the Newton sequence. We also extend Smale's classical (α,γ)(α,γ)-theory to generalized equations. These results are new and can be considered as an extension of many known ones in the literature for classical nonlinear equations. Our approach is based on tools from variational analysis. The metric regularity concept plays an important role in our analysis.