Fredholm solvability condition

At a simple eigenvalue of a self-adjoint linear operator, an inhomogeneous equation is solvable only when its forcing is orthogonal to the null eigenfunction. In weakly nonlinear expansions, this condition determines the amplitude equation.