solvability conditions, non Fredholm operators, functional spaces