sign and f is an asymptotically linear function at infinity, with V non-periodic in x. The
existence of a solution is established by employing spectral theory, a classical linking
theorem, and interaction between translated solutions of the problem at infinity.