Generalization of Fredholm alternative for nonlinear differential operators