solvability conditions, non-Fredholm operators, Sobolev spaces