Existence of nontrivial homoclinic orbits for fourth-order difference equations

We obtain a sufficient condition for the existence of nontrivial homoclinic orbits for fourth-order difference equations by using Mountain Pass Theorem, a weak convergence argument and a discrete version of Lieb’s lemma.