All coefficients must be equal to 1.

The equation must be equal to 0 (no terms independent of $a_n$).

The roots of the characteristic equation must be real.

The recurrence must be of order 1.