solvability conditions, non Fredholm operators, Sobolev spaces