Existence of infinitely many homoclinic orbits in discrete Hamiltonian systems (Q710907)

The article deals with homoclinic solutions to the second-order self-adjoint discrete Hamiltonian system \[ \Delta[p(n) \Delta u(n - 1)] - L(n)u(n) + \nabla W(n,u(n)) =0, \] (\(n \in {\mathbb Z}\), \(u \in {\mathbb R}^N\), \(\Delta u(n) = u(n + 1) - u(n)\), \(p, L: \;{\mathbb Z} \to {\mathbb R}^{N \times N}\), \(W:\;{\mathbb Z} \times {\mathbb R}^N \to {\mathbb R}\)). It is assumed that \(p(n)\) and \(L(n)\) are real symmetric positive definite matrices for all \(n \in {\mathbb Z}\), and there exists a function \(l: \;{\mathbb Z} \to (0,\infty)\), \(l(n) \to \infty\) as \(n \to \pm \infty\), such that \((L(n)x,x) \geq l(n)|x|^2\) for all \((n,x) \in {\mathbb Z} \times {\mathbb R}^N\), \(W(n,-x) = W(n,x)\) and \(W(n) = W_1(n,x) - W_2(n,x)\) where \(W_1\) and \(W_2\) are continuously differentiable in \(x\) satisfying one of the following systems of additional assumptions:{\parindent9mm \begin{itemize}\item[(I)] There is a bounded set \(J \subset {\mathbb Z}\) such that \(W_2(n,x) \geq 0\), \((n,x) \in J \times {\mathbb R}^N\), \(|x| \leq 1\) and \((1 / l(n)) |\nabla W(n,x)| = o(|x|)\) as \(x \to 0\) uniformly in \(n \in {\mathbb Z} \setminus J\); moreover, there is a constant \(\mu > 2\) such that \(0 < \mu W_1(n,x) \leq (\nabla W_1(n,x),x)\) and there is a constant \(\varrho \in (2,\mu)\) such that \((\nabla W_2(n,x),x) \leq \varrho W_2(n,x)\). \item[(II)] \((1/l(n)) |\nabla W(n,x)| = o(|x|)\) as \(x \to 0\); moreover, there is a constant \(\mu > 2\) such that \(0 < \mu W_1(n,x) \leq (\nabla W_1(n,x),x)\) and there is a constant \(\varrho \in (2,\mu)\) such that \((\nabla W_2(n,x),x) \leq \varrho W_2(n,x0\). \item[(III)] \((1/l(n)) |\nabla W(n,x)| = o(|x|)\) as \(x \to 0\); moreover, for any \(r > 0\), there exist \(a = a(r)\), \(b = b(r) > 0\) and \(\nu < 2\) such that \[ 0 \leq \bigg(2 + \frac1{a + b|x|^\nu}\bigg)W(n,x) \leq (\nabla W(n,x),x) \] for \(|x| \geq r\) and, further, for any \(n \in {\mathbb Z}\) \[ \lim_{s \to \infty} \;\bigg(s^{-2} \min_{|x| = 1} \;W(n,sx)\bigg) = + \infty. \] \end{itemize}} Under these assumptions there exists an unbounded sequence of homoclinic solutions. At the end of the article three concrete examples are given.