- Research
- Open access
- Published:
Homoclinic solutions for second-order Hamiltonian systems with periodic potential
Boundary Value Problems volume 2018, Article number: 186 (2018)
Abstract
In this paper, we study the second-order Hamiltonian systems
where \(L\in C(\mathbb{R},\mathbb{R}^{N\times N})\) is a T-periodic and positive definite matrix for all \(t\in \mathbb{R}\) and W is superquadratic but does not satisfy the usual Ambrosetti–Rabinowitz condition at infinity. One ground homoclinic solution is obtained by applying the monotonicity trick of Jeanjean and the concentration–compactness principle. The main result improves the recent result of Liu–Guo–Zhang (Nonlinear Anal., Real World Appl. 36:116–138, 2017).
1 Introduction and main results
Consider the second-order Hamiltonian systems
where \(t\in \mathbb{R}\), \(u\in \mathbb{R}^{N}\), \(W\in C^{1}(\mathbb{R}\times \mathbb{R}^{N},\mathbb{R})\) and \(\nabla W(t,x)\) denotes the gradient of W with respect to x. Recall that a solution u of system (1.1) is said to be homoclinic to 0 if \(u\not \equiv 0\) and \(u(t)\rightarrow 0\) as \(\vert t \vert \rightarrow \infty \). Furthermore, if u minimizes the energy functional of (1.1) among all possible nontrivial homoclinic solutions, then u is called a ground state homoclinic solution.
During the past two decades, there has been a remarkable amount of progress in the study of homoclinic motions of Hamiltonian systems, with many new ideas and methods being introduced; see, e.g., [2, 3, 5, 7, 11,12,13, 15, 17,18,19,20,21, 23] for second-order systems and [4, 6, 14, 16] for first-order systems. For (1.1), most work considers the case where L and W depend periodically on t. Rabinowitz [12] prove the existence of one homoclinic solution of (1.1), which is obtained as the limit of \(2kT\) periodic solutions, under the following global Ambrosetti–Rabinowitz superquadratic condition:
-
(AR)
∃ \(\mu >2\) such that \(0<\mu W(t,x)\leq (\nabla W(t,x),x)\) for all \((t,x)\in \mathbb{R}\times (\mathbb{R}^{N}\backslash \{ 0 \} )\).
The general Hamiltonian system \(\ddot{u}+\nabla V(t,u)=f(t)\) has been studied in Izydorek–Janczewska [7]. Besides some other conditions, they assume that \(V\in C^{1}(\mathbb{R}\times \mathbb{R}^{N},\mathbb{R})\), \(V(t,x)=-K(t,x)+W(t,x)\) is T-periodic in t, K satisfies the pinching condition \(b_{1}\vert x \vert ^{2}\leq K(t,x)\leq b_{2}\vert x \vert ^{2}\), W satisfies (AR) and \(f\in L^{2}(\mathbb{R},\mathbb{R}^{N})\) small enough and prove the existence of one homoclinic orbit. Under (AR), Coti-Zelati and Rabinowitiz [2] establish the existence of infinitely many geometrically distinct homoclinic orbits by using a novel variational method in virtue of the famous “mountain pass” technique [1]. This result is deepened in Ding and Lee [5], where the authors find conditions weaker than (AR) and ensure the existence of infinitely many homoclinic orbits for both superquadratic and asymptotically quadratic cases. Recently, Wang [18] has studied problem (1.1) with periodicity. Instead of the common condition that \(\lim_{\vert x \vert \rightarrow \infty }\frac{W(t,x)}{\vert x \vert ^{2}}=+\infty \) uniformly in \(t\in \mathbb{R}\), he uses a locally superquadratic condition that \(\lim_{\vert x \vert \rightarrow \infty }\frac{W(t,x)}{\vert x \vert ^{2}}=+\infty \) a.e. \(t\in (a,b)\) for some \(-\infty < a< b<+\infty \). See also [3, 13, 15, 17, 19,20,21, 23] for results concerning the nonperiodic case.
Our study is motivated by the recent result of Liu et al. [11], where the authors consider system (1.1) with the hypotheses that
- \((L_{1})\) :
-
\(L\in C(\mathbb{R},\mathbb{R}^{N^{\times }N})\) is T-periodic in t, and it is a symmetric and positive definite matrix for all \(t\in \mathbb{R}\);
- \((L_{2})\) :
-
there exist constants \(0< d_{1}< d_{2}\) such that
$$ d_{1}\vert x \vert ^{2}\leq \bigl(L(t)x,x\bigr)\leq d_{2}\vert x \vert ^{2},\quad \forall (t,x)\in \mathbb{R} \times \mathbb{R}^{N}; $$ - \((W_{1})\) :
-
\(W\in C^{1}(\mathbb{R}\times \mathbb{R}^{N},\mathbb{R})\) and \(W(t,x)\) is T-periodic in t;
- \((W_{2})\) :
-
\(\nabla W(t,x)=o(\vert x \vert )\) as \(x\rightarrow 0\) uniformly in t, \(W(t,0)=0\) and \(W(t,x)\geq 0\) for all \((t,x)\);
- \((W_{3})\) :
-
\(W(t,x)/\vert x \vert ^{2}\rightarrow +\infty \) uniformly in t as \(\vert x \vert \rightarrow \infty \);
- \((W_{4})\) :
-
\(s\rightarrow s^{-1}(\nabla W(t,sx),x)\) is strictly increasing of \(s>0\) for all \(x\neq 0\) and \(t\in \mathbb{R}\).
They prove the existence of one ground state homoclinic solution via the generalized Nehari manifold developed by Szulkin and Weth.
In the present paper, we are interested in problem (1.1) with periodic potential and nonlinearities satisfying conditions which are more general than \((W_{3})\)–\((W_{4})\). The same result is obtained by using a monotonicity trick due to Jeanjean [8] together with the concentration–compactness principle. Precisely, we make the following assumptions:
- \((W_{5})\) :
-
\(\lim_{\vert x \vert \rightarrow \infty }\frac{W(t,x)}{\vert x \vert ^{2}}=+\infty \) for a.e. \(t\in \mathbb{R}\);
- \((W_{6})\) :
-
there exists \(p>2\) such that \(\vert \nabla W(t,x) \vert \leq C(1+\vert x \vert ^{p-1})\) for all \((t,x)\in \mathbb{R}\times \mathbb{R}^{N}\);
- \((W_{7})\) :
-
there exists \(C_{0}\geq 1\) such that
$$ H(t,sx)\leq C_{0}H(t,x),\quad \forall (t,x)\in \mathbb{R}\times \mathbb{R}^{N}, s\in [0,1], $$where \(H(t,x):=\frac{1}{2}(\nabla W(t,x),x)-W(t,x)\).
Theorem 1.1
Assume that \((L_{1})\), \((W_{1})\)–\((W_{2})\) and \((W_{5})\)–\((W_{7})\) are satisfied. Then system (1.1) has at least one ground state homoclinic solution.
Remark 1.1
-
(i)
Condition \((W_{7})\) is originally due to Jeanjean [8] for a semilinear problem setting on \(\mathbb{R}^{N}\). Also, it is used in Liu and Li [10] for the p-Laplacian equation. In [22], infinitely many periodic solutions of (1.1) are obtained, provided that \(W(t,-x)=W(t,x)\) and \((W_{3})\) and \((W_{7})\) are satisfied.
-
(ii)
It turns out that if, for fixed \((t,x)\in \mathbb{R}\times \mathbb{R}^{N}\backslash \{ 0 \} \), \(s^{-1}(\nabla W(t,sx),x)\) is increasing for all \(s>0\), then \((W_{7})\) is satisfied. Hence Theorem 1.1 extends [11, Theorem 1.1]. Indeed, for \(s\in (0,1]\), we obtain using \((W_{4})\)
$$\begin{aligned} &H(t,x)-H(t,sx) \\ &\quad =\frac{1}{2} \bigl[ \bigl(\nabla W(t,x),x\bigr)-\bigl(\nabla W(t,sx),sx\bigr) \bigr] - \bigl[ W(t,x)-W(t,sx) \bigr] \\ &\quad = \biggl[ \int _{0}^{1}\bigl(\nabla W(t,x),x\bigr)\tau \,d\tau - \int _{0}^{s}\frac{(\nabla W(t,sx),x)}{s}\tau \,d\tau - \int _{s}^{1}\frac{(\nabla W(t,\tau x),x)}{\tau }\tau \,d\tau \biggr] \\ &\quad = \int _{0}^{s} \biggl( \bigl(\nabla W(t,x),x\bigr)- \frac{(\nabla W(t,sx),x)}{s} \biggr) \tau \,d\tau \\ &\quad \quad {}+ \int _{s}^{1} \biggl( \bigl(\nabla W(t,x),x\bigr)- \frac{(\nabla W(t,\tau x),x)}{\tau } \biggr) \tau \,d\tau \\ &\quad \geq 0. \end{aligned}$$If \(s=0\), we see from the inequality
$$\begin{aligned} \frac{1}{2}\bigl(\nabla W(t,x),x\bigr) &= \int _{0}^{1}\bigl(\nabla W(t,x),x\bigr)\tau \,d\tau \\ &\geq \int _{0}^{1}\frac{(\nabla W(t,\tau x),x)}{\tau }\tau \,d\tau \\ &=W(t,x)-W(t,0) \end{aligned}$$that
$$ \frac{1}{2}\bigl(\nabla W(t,x),x\bigr)-W(t,x)\geq -W(t,0),\quad \forall (t,x)\in \mathbb{R}\times \mathbb{R}^{N}, $$i.e.,
$$ H(t,x)\geq H(t,0),\quad \forall (t,x)\in \mathbb{R}\times \mathbb{R}^{N}. $$Therefore condition \((W_{7})\) holds with \(C_{0}=1\).
-
(iii)
Comparing with the result of Liu et al. [11, Theorem 1.1], the advantage of our Theorem 1.1 is that the strictly increasing condition is removed. Thus our result applies to more general situations. We emphasize that this condition plays an essential role in the argument of Liu et al. [11]. Indeed, letting \(S= \{ u\in E:\Vert u \Vert =1 \} \) and \(\mathcal{N}= \{ u\in E\backslash \{ 0 \} :\langle I'(u),u\rangle =0 \} \), the starting point of their approach is to show that, for each \(u\in S\), there exists an exactly one point \(m(u)\in \mathcal{N}\). The uniqueness of \(m(u)\) enables one to define a map \(u\longmapsto m(u)\), which is important in the remaining proof. If \(s\rightarrow s^{-1}(\nabla W(t,sx),x)\) is not strictly increasing, then \(m(u)\) may not be unique and their argument collapses.
Remark 1.2
There are functions L and W which match Theorem 1.1 but do not satisfy the results in [2, 3, 5, 7, 11,12,13, 15, 17, 19,20,21, 23]. For example, let \(L(t)=I_{N}\), where \(I_{N}\) denotes the identity matrix of order N, and
Simple calculation shows that
Then it is easy to check that W satisfies \((W_{1})\)–\((W_{2})\) and \((W_{5})\)–\((W_{7})\). However, since \(W(\frac{3}{4}T,x)\equiv 0\) for all \(x\in \mathbb{R}^{N}\), it satisfies none of (AR), \((W_{3})\) and \((W_{4})\).
Notations: “→” and “⇀” denote the strong convergence and the weak convergence, respectively. C and \(C_{i}\) \((i=1,2,\ldots )\) denote various positive constants which may vary from line to line.
2 Proof of Theorem 1.1
We work in the Hilbert space
equipped with the inner product and norm
for u, \(v\in E\). By \((L_{1})\), E is continuously embedded into \(H^{1}(\mathbb{R},\mathbb{R}^{N})\), and hence E is continuously embedded into \(L^{s}(\mathbb{R},\mathbb{R}^{N})\) for \(2\leq s\leq \infty \), i.e., there exists \(\tau _{s}>0\) such that
where \(\Vert \cdot \Vert _{s}\) denotes the usual norm on \(L^{s}(\mathbb{R},\mathbb{R}^{N})\) (\(2\leq s\leq \infty \)).
Define the energy functional \(\varphi :E\rightarrow \mathbb{R}\) by
By \((W_{2})\) and \((W_{6})\), we find that, for any \(\varepsilon >0\), there is \(C_{\varepsilon }>0\) such that
and
for all \((t,x)\in \mathbb{R}\times \mathbb{R}^{N}\). Hence \(\varphi \in C^{1}(E,\mathbb{R})\) and
It is routine to show that the nontrivial critical points of φ on E are homoclinic solutions of (1.1).
We shall prove that problem (1.1) has a mountain pass type solution. For this purpose, we apply the following theorem, which is given in [8].
Theorem 2.1
(see Jeanjean [8])
Let \((X,\Vert \cdot \Vert )\) be a Banach space and \(J\subset \mathbb{R}^{+}\) be an interval. Consider a family \((I_{\lambda })_{\lambda \in J}\) of \(C^{1}\) functionals on X of the form
where \(B(u)\geq 0\) for all \(u\in X\), \(B(u)\rightarrow +\infty \) or \(A(u)\rightarrow +\infty \) as \(\Vert u \Vert \rightarrow \infty \). Assume that there are two points \(v_{1}\), \(v_{2}\in X\) such that
where \(\varGamma = \{ \gamma \in C([0,1],X):\gamma (0)=v_{1},\gamma (1)=v_{2} \} \). Then, for almost every \(\lambda \in J\), there is a sequence \(\{ v_{n} \} \subset X\) such that
-
(i)
\((v_{n})\) is bounded in X,
-
(ii)
\(I_{\lambda }(v_{n})\stackrel{n}{\longrightarrow } c_{\lambda }\),
-
(iii)
\(I_{\lambda }'(v_{n}) \stackrel{n}{\longrightarrow } 0\) in \(X^{-1}\).
Moreover, the map \(\lambda \rightarrow c_{\lambda }\) is continuous from the left.
For \(\lambda \in [1,2]\), we define the family of functionals \(\varphi _{\lambda }:E\rightarrow \mathbb{R}\) by
Lemma 2.1
Assume that \((L_{1})\), \((W_{2})\), \((W_{5})\) and \((W_{6})\) hold. Then
-
(i)
There exists \(u_{0}\in E\backslash \{ 0 \} \) such that \(\varphi _{\lambda }(u_{0})<0\) for all \(\lambda \in [1,2]\);
-
(ii)
\(c_{\lambda }:=\inf_{\gamma \in \varGamma }\max_{t\in [0,1]}\varphi _{\lambda }(\gamma (t)) >\max \{ \varphi _{\lambda }(0),\varphi _{\lambda }(u_{0}) \} \) for all \(\lambda \in [1,2]\), where \(\varGamma = \{ \gamma \in C([0,1],E):\gamma (0)=0,\gamma (1)=u_{0} \} \).
Proof
(i) Choose \(e_{0}\in C_{0}^{\infty }(\mathbb{R})\backslash \{ 0 \} \). By \((W_{5})\), Fatou’s lemma and the fact \(W\geq 0\), we have
for all \(\lambda \in [1,2]\). So, we can take \(s_{0}>0\) large enough such that \(\varphi _{1}(s_{0}e_{0})<0\). Then, setting \(u_{0}=s_{0}e_{0}\), we see that \(\varphi _{\lambda }(u_{0})\leq \varphi _{1}(u_{0})<0\) and (i) holds.
(ii) Since, by (2.3) and (2.1),
we deduce that there exist constants α, \(\rho >0\) such that \(\varphi _{\lambda }| _{\Vert u \Vert =\rho }\geq \alpha \) for all \(\lambda \in [1,2]\). Hence, letting \(\varGamma = \{ \gamma \in C([0,1],E):\gamma (0)=0,\gamma (1)=u_{0} \} \), we obtain
and the proof is complete. □
Combining Lemma 2.1 and Theorem 2.1, we have the following.
Lemma 2.2
Assume that \((L_{1})\), \((W_{2})\), \((W_{5})\) and \((W_{6})\) are satisfied. Then, for a.e. \(\lambda \in [1,2]\), there is a bounded sequence \((u_{n})\subset E\) such that \(\varphi _{\lambda }(u_{n})\rightarrow c_{\lambda }\) and \(\varphi '(u_{n})\rightarrow 0\) as \(n\rightarrow \infty \).
Let \((u_{n})\) be a bounded sequence in E, we say that \((u_{n})\) is vanishing if, for each \(R>0\), \({\lim_{n\rightarrow \infty }\sup_{y\in \mathbb{R}}\int _{y-R}^{y+R}\vert u_{n} \vert ^{2}\,dt=0}\); and \((u_{n})\) is nonvanishing if there exist \(\sigma >0\), \(R>0\) and \((y_{n})\subset \mathbb{R}\) such that \({ \liminf_{n\rightarrow \infty }\int _{y_{n}-R}^{y_{n}+R}\vert u_{n} \vert ^{2}\,dt\geq \sigma }\). In the vanishing case, we have the following result, which is a special case of Lions [9].
Lemma 2.3
(see [9])
Let \((u_{n})\subset E\) be a bounded sequence, if
then \(u_{n}\rightarrow 0\) in \(L^{s}(\mathbb{R},\mathbb{R}^{N})\) for \(2< s<\infty \).
Lemma 2.4
Assume that \((L_{1})\), \((W_{2})\) and \((W_{6})\) hold. Then, for any bounded vanishing sequence \((u_{n})\subset E\), we have
Proof
It follows from (2.2) and (2.3) that
and
Since \((u_{n})\) is vanishing, by Lemma 2.3, we deduce that
as \(n\rightarrow \infty \), and the conclusion follows. □
Lemma 2.5
Assume that \((L_{1})\), \((W_{1})\)–\((W_{2})\) and \((W_{6})\)–\((W_{7})\) hold. Then, for all bounded sequence \((u_{n})\subset E\) satisfying
there exists \((y_{n})\subset \mathbb{Z}\) such that, up to a subsequence, \(\tilde{u}_{n}(t):=u_{n}(t+y_{n}T)\) satisfies
Proof
Since \(\langle \varphi _{\lambda }'(u_{n}),u_{n}\rangle \rightarrow 0\), we have
Combining this and Lemma 2.4, we see that \((u_{n})\) is nonvanishing. Hence, there exist \(\sigma >0\), \(R>0\) and \((\bar{y}_{n})\subset \mathbb{R}\) such that
We may choose \((y_{n})\subset \mathbb{Z}\) such that, letting \(\tilde{u}_{n}(t):=u_{n}(t+y_{n}T)\),
Noticing L and W is T-periodic in t, we have \(\Vert \tilde{u}_{n} \Vert =\Vert u_{n} \Vert \), \(\varphi _{\lambda }(\tilde{u}_{n})=\varphi _{\lambda }(u_{n})\) and
Indeed, for each \(\psi \in E\), take \(\psi _{n}(t):=\psi (t-y_{n})\). It is easy to check that \(\Vert \psi _{n} \Vert =\Vert \psi \Vert \) and
which gives (2.5). Since \((\tilde{u}_{n})\) is still bounded, going if necessary to a subsequence, we may assume that there is \(u_{\lambda }\in E\) such that
and \(u_{\lambda }\neq 0\) by (2.4). It follows from (2.2) and (2.6) that
which implies that \(\varphi _{\lambda }'\) is weakly sequentially continuous. Thus, by (2.5),
Finally, by \((W_{7})\) and Fatou’s lemma,
The proof is complete. □
Remark 2.1
If the sequence \((u_{n})\) in Lemma 2.5 is nonvanishing, then the assumption \(0<\lim_{n\rightarrow \infty }\varphi _{\lambda }(u_{n})\) can be omitted.
As a consequence of Lemmas 2.2 and 2.5, we have the following.
Lemma 2.6
Assume that \((L_{1})\), \((W_{1})\)–\((W_{2})\) and \((W_{6})\)–\((W_{7})\) hold. Then there exist \((\lambda _{n})\subset [1,2]\) and \((u_{n})\subset E\backslash \{ 0 \} \) such that
Lemma 2.7
The sequence \((u_{n})\) obtained in Lemma 2.6 is bounded.
Proof
Suppose by contradiction that \(\Vert u_{n} \Vert \rightarrow \infty \) (\(n\rightarrow \infty \)). Set \(w_{n}=u_{n}/\Vert u_{n} \Vert \). Then \(\Vert w_{n} \Vert =1\), and by a Lions’ concentration–compactness principle [9], either \((w_{n})\) is vanishing or it is nonvanishing. Hence the proof of the lemma will be completed if we show that \((w_{n})\) is neither vanishing nor nonvanishing.
Assume \((w_{n})\) is vanishing. As in [8, 24], we choose a sequence \(s_{n}\in [0,1]\) such that
For any \(M>0\), let . Since \((v_{n})\) is vanishing and bounded, by Lemma 2.3 and (2.3), we have
Now, for large n, , and by the definition of \(s_{n}\), we deduce that
which implies that
Observing \(\varphi _{\lambda _{n}}(0)=0\) and \(\varphi _{\lambda _{n}}(u_{n})\leq c_{\lambda _{n}}\), we get \(s_{n}\in (0,1)\) and
Therefore, using (2.11) and (2.12), we deduce
However, it follows from (2.9) and \((W_{7})\) that
yielding a contradiction.
Assume \((w_{n})\) is nonvanishing. Then, as in the proof of (2.6), by the translation invariance of problem (1.1), one has \(w_{n}\rightharpoonup w\) in E and \(w_{n}(t)\rightarrow w(t)\) a.e. in \(\mathbb{R}\) for some \(w\in E\backslash \{ 0 \} \). On the set \(\{ t\in \mathbb{R}:w(t)\neq 0 \} \), one has \(\vert u_{n}(t) \vert \rightarrow \infty \), and then, by \((W_{5})\),
Therefore, taking into account \(\vert \varOmega \vert >0\) and using Fatou’s lemma, we obtain
On the other hand, since \(\varphi _{\lambda _{n}}(u_{n})\rightarrow c_{\lambda _{n}}\), we deduce that
a contradiction. □
Proof of Theorem 1.1
First we show that φ has a nontrivial critical point. By Lemma 2.6, we have, for any \(v\in E\),
Hence \(\varphi '(u_{n})\rightarrow 0\). Since \(\langle \varphi _{\lambda _{n}}'(u_{n}),u_{n}\rangle =0\), it follows from (2.2) that
which implies that \(\Vert u_{n} \Vert \geq C_{1}\) \((\forall n\in \mathbb{N})\) for some \(C_{1}>0\). If \((u_{n})\) is vanishing, by Lemma 2.3, the middle term of (2.14) tends to 0, and then \(u_{n}\rightarrow 0\), a contradiction. Thus \((u_{n})\) is nonvanishing. Proceeding as in the proof of Lemma 2.5, we conclude that there exist \((y_{n})\subset \mathbb{Z}\) such that if \(\tilde{u}_{n}(t)=u_{n}(t+y_{n}T)\), then \(\tilde{u}_{n}\rightharpoonup \tilde{u}\neq 0\) and \(\varphi '(\tilde{u})=0\).
Next we prove the existence of ground homoclinic solution of (1.1). Let
and \(m=\inf_{u\in \mathcal{N}}\varphi (u)\). Using \((W_{7})\) and the fact \(\tilde{u}\in \mathcal{N}\), we get \(0\leq m\leq \varphi (\tilde{u})\). By the definition of m, there is a sequence \((v_{n})\subset \mathcal{N}\) such that \(\varphi (v_{n})\rightarrow m\) as \(n\rightarrow \infty \). Following the same procedures as the proof of Lemma 2.7, we have \((v_{n})\) is bounded. Since \((v_{n})\subset \mathcal{N}\), \(\varphi '(v_{n})=0\), similar to (2.14), we deduce that \(\Vert v_{n} \Vert \geq C_{2}>0\) for all n and \((v_{n})\) is nonvanishing. Hence, arguing as in (2.6)–(2.8), we find that there is \(\tilde{v}\in E\backslash \{ 0 \} \) such that \(\varphi '(\tilde{v})=0\) and \(\varphi (\tilde{v})\leq m\). Noting \(\tilde{v}\in \mathcal{N}\), one has \(\varphi (\tilde{v})\geq m\). Thus \(\varphi (\tilde{v})=m\). This completes the proof. □
References
Ambrosetti, A., Rabinowitz, P.: Dual variational methods in critical point theory and applications. J. Funct. Anal. 14, 349–381 (1973)
Coti-Zelati, V., Rabinowitz, P.: Homoclinic orbits for second order Hamiltonian systems possessing superquadratic potentials. J. Am. Math. Soc. 4, 693–727 (1991)
Ding, Y.: Existence and multiplicity results for homoclinic solutions to a class of Hamiltonian systems. Nonlinear Anal. 25, 1095–1113 (1995)
Ding, Y., Jeanjean, L.: Homoclinic orbits for a nonperiodic Hamiltonian system. J. Differ. Equ. 237, 473–490 (2007)
Ding, Y., Lee, C.: Homoclinics for asymptotically quadratic and superquadratic Hamiltonian systems. Nonlinear Anal. 71, 1395–1413 (2009)
Hofer, H., Wysocki, K.: First order elliptic systems and the existence of homoclinic orbits in Hamiltonian systems. Math. Ann. 288(1), 483–503 (1990). https://doi.org/10.1007/BF01444543
Izydorek, M., Janczewska, J.: Homoclinic solutions for a class of the second order Hamiltonian systems. J. Differ. Equ. 219, 375–389 (2005)
Jeanjean, L.: On the existence of bounded Palais–Smale sequences and application to a Landesman–Lazer-type problem set on \(R^{N}\). Proc. R. Soc. Edinb. A 129, 787–809 (1999). https://doi.org/10.1017/S0308210500013147
Lions, P.L.: The concentration–compactness principle in the calculus of variations. The locally compact cases, Part II. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 1(4), 223–283 (1984)
Liu, S., Li, S.: Infinitely many solutions for a superlinear elliptic equation. Acta Math. Sinica (Chin. Ser.) 46(4), 625–630 (2003)
Liu, Z., Guo, S., Zhang, Z.: Homoclinic orbits for the second-order Hamiltonian systems. Nonlinear Anal., Real World Appl. 36, 116–138 (2017)
Rabinowitz, P.H.: Homoclinic orbits for a class of Hamiltonian systems. Proc. R. Soc. Edinb. A 114, 33–38 (1990)
Rabinowitz, P.H., Tanaka, K.: Some results on connecting orbits for a class of Hamiltonian systems. Math. Z. 206, 473–499 (1991)
Séré, E.: Existence of infinitely many homoclinic orbits in Hamiltonian systems. Math. Z. 209, 27–42 (1992)
Sun, J., Wu, T.: Multiplicity and concentration of homoclinic solutions for some second order Hamiltonian systems. Nonlinear Anal. 114, 105–115 (2015)
Szulkin, A., Zou, W.: Homoclinic orbits for asymptotically linear Hamiltonian systems. J. Funct. Anal. 187, 25–41 (2001)
Tang, X.: Infinitely many homoclinic solutions for a second-order Hamiltonian system. Math. Nachr. 289, 116–127 (2016)
Wang, X.: Local super-quadratic conditions on homoclinic solutions for a second-order Hamiltonian system. Appl. Math. Lett. 75, 7–12 (2018)
Wu, D.-L., Li, C., Yuan, P.: Multiplicity solutions for a class of fractional Hamiltonian systems with concave-convex potentials. Mediterr. J. Math. 15, Article ID 35 (2018). https://doi.org/10.1007/s00009-018-1079-y
Wu, D.-L., Tang, C.-L., Wu, X.-P.: Homoclinic orbits for a class of second-order Hamiltonian systems with concave-convex nonlinearities. Electron. J. Qual. Theory Differ. Equ. 2018, Article ID 6 (2018). https://doi.org/10.14232/ejqtde.2018.1.6
Ye, Y., Tang, C.-L.: New existence and multiplicity results of homoclinic orbits for a class of second order Hamiltonian systems. Chaos Solitons Fractals 69, 151–159 (2014)
Ye, Y., Tang, C.-L.: Infinitely many periodic solutions of non-autonomous second-order Hamiltonian systems. Proc. R. Soc. Edinb. A 144, 205–223 (2014)
Ye, Y., Tang, C.-L.: Multiple homoclinic solutions for second-order perturbed Hamiltonian systems. Stud. Appl. Math. 132, 112–137 (2014)
Zou, W.: Variant fountain theorems and their applications. Manuscr. Math. 104, 343–358 (2001)
Acknowledgements
The author would like to thank the handling editors and the anonymous reviewers.
Availability of data and materials
Not applicable.
Funding
This work is partially supported by the National Natural Science Foundation of China (No. 11601049), Chongqing Natural Science Foundation and Frontier Research Planning Project (No. cstc2015jcyjA00014), and the Scientific and Technological Research Program of Chongqing Municipal Education Commission (No. KJ1500313).
Author information
Authors and Affiliations
Contributions
The author conceived of the study, drafted the manuscript, read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that there are no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ye, Y. Homoclinic solutions for second-order Hamiltonian systems with periodic potential. Bound Value Probl 2018, 186 (2018). https://doi.org/10.1186/s13661-018-1108-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-018-1108-6