Abstract
In this paper, we deal with the second-order Hamiltonian system
We establish some criteria which guarantee that the above system has at least one or infinitely many homoclinic solutions under the assumption that \(W(t, x)\) is subquadratic at infinity and \(L(t)\) is a real symmetric matrix and satisfies
for some constant \(\nu<2\). In particular, \(L(t)\) and \(W(t, x)\) are allowed to be sign-changing.
Similar content being viewed by others
1 Introduction
Consider the second-order Hamiltonian system
where \(t\in{ \mathbb {R}}\), \(u\in{ \mathbb {R}}^{N}\), \(L\in C({\mathbb {R}}, {\mathbb {R}}^{N\times N})\) is a symmetric matrix-valued function, \(W\in C^{1}(\mathbb {R}\times{{ \mathbb {R}}}^{N}, {\mathbb {R}})\) and \(\nabla W(t, x)=\nabla_{x} W(t, x)\). As usual [1], we say that a solution \(u(t)\) of system (1.1) is homoclinic (to 0) if \(u(t)\rightarrow0\) as \(t\to\pm\infty\). In addition, if \(u(t)\not\equiv0\) then \(u(t)\) is called a nontrivial homoclinic solution.
The existence and multiplicity of nontrivial homoclinic solutions for problem (1.1) have been extensively investigated in the literature with the aid of critical point theory and variational methods (see, for example, [2–17]). Most of them treat the case where \(W(t, x)\) is superquadratic as \(|x|\to\infty\).
Compared to the superquadratic case, as far as the authors are aware, there are a few papers [17–20] concerning the case where \(W(t, x)\) has subquadratic growth at infinity. In these papers, since \(L(t)\) is positive definite, the energy functional associated with system (1.1) is bounded from below, techniques based on the genus properties have been well applied. In particular, Clark’s theorem is an effective tool to prove the existence and multiplicity of homoclinic solutions for system (1.1). However, if \(L(t)\) is not global positive definite on \(\mathbb {R}\), the problem is far more difficult as 0 is a saddle point rather than a local minimum of the energy functional, which is strongly indefinite and it is not easy to prove the boundedness of the Palais-Smale sequence.
In [21], Ding studied the existence of homoclinic solutions of system (1.1) under the case when \(L(t)\) is not global positive definite on \(\mathbb {R}\) and \(W(t, x)\) is subquadratic at infinity. He obtained the following result.
Theorem A
([21])
Assume that L and W satisfy the following conditions:
-
(A1)
There exists a constant \(\nu<2\) such that
$$|t|^{\nu-2}\inf_{|x|=1}\bigl(L(t)x, x\bigr)\rightarrow+ \infty \quad\textit{as } |t|\to+\infty; $$ -
(A2)
\(0< \inf_{t\in \mathbb {R}, |x|=1}W(t, x)\le\sup_{t\in \mathbb {R}, |x|=1}W(t, x)<+\infty\);
-
(A3)
There exists a constant μ with \(1<\mu\in((4-\nu )/(3-\nu),2)\) such that
$$0< \bigl(\nabla W(t, x), x\bigr)\le\mu W(t, x), \quad \forall (t, x)\in { \mathbb{R}}\times{\mathbb{R}}^{N} \setminus\{0\}; $$ -
(A4)
There exist three constants \(a_{1}, r_{1}>0\) and \(1<\mu_{1}\in (2/(3-\nu), \mu]\) such that
$$W(t, x)\ge a_{1}|x|^{\mu_{1}}, \quad \forall (t, x)\in \mathbb {R}\times{ \mathbb {R}}^{N}, |x|\ge r_{1}; $$ -
(A5)
\(W(t, 0)\equiv0\) and there exist three constants \(a_{2}, r_{2}>0\) and \(1<\mu_{2}\in(2/(3-\nu), \mu]\) such that
$$\bigl|\nabla W(t, x)\bigr|\le a_{2}|x|^{\mu_{2}-1}, \quad \forall (t, x)\in \mathbb {R}\times{ \mathbb {R}}^{N}, |x|\le r_{2}. $$
Then system (1.1) has at least one nontrivial homoclinic solution. Moreover, if \(W(t, x)\) is also even with respect to x, then system (1.1) has infinitely many homoclinic solutions.
In Theorem A, assumptions (A2)-(A5) imply that there exist positive constants \(a_{*}\), \(a^{*}\), \(b_{*}\) and \(b^{*}\) such that
However, there are many potential functions \(W(t, x)\) satisfying (1.2) and (1.3), but not (A3). For example \(W(t, x)= (1+\sin^{2}t) (2|x|^{5/4} -3 |x|^{3/2} + 2|x|^{7/4} )\) is such a potential function. In particular, Theorem A is only applicable when the potential \(W(t,x)\) is positive definite.
In the present paper, we will use new tricks to generalize and improve Theorem A. For example, we can replace (A1) by a weaker one (\(\mathrm{L}_{\nu}\)):
- (\(\mathrm{L}_{\nu}\)):
-
There exists a constant \(\nu<2\) such that
$$\liminf_{|t|\to+\infty} \Bigl[|t|^{\nu-2}\inf _{|x|=1}\bigl(L(t)x, x\bigr) \Bigr] >0. $$
We also relax (A3) and (A4) in Theorem A to two of the following weaker assumptions:
- (W3):
-
There exist constants \(b_{1}, b_{2}>0\) and \(\max\{1, 2/(3-\nu )\} <\gamma_{5}\le\gamma_{4} < 2\) such that
$$2W(t, x)-\bigl(\nabla W(t, x), x\bigr)\ge \left \{ \textstyle\begin{array}{@{}l@{\quad}l} b_{1}|x|^{\gamma_{4}}, & |x|\le1,\\ b_{2}|x|^{\gamma_{5}}, & |x|\ge1, \end{array}\displaystyle \right . \quad \forall (t, x)\in \mathbb {R}\times{ \mathbb {R}}^{N}; $$ - (W4):
-
There exist constants \(b_{3}, b_{4}>0\) and \(\max\{1, 2/(3-\nu )\} <\gamma_{7}\le\gamma_{6} < 2\) such that
$$W(t, x)\ge \left \{ \textstyle\begin{array}{@{}l@{\quad}l} b_{3}|x|^{\gamma_{6}}, & |x|\le1,\\ b_{4}|x|^{\gamma_{7}}, & |x|\ge1, \end{array}\displaystyle \right . \quad \forall (t, x)\in \mathbb {R}\times{ \mathbb {R}}^{N}; $$ - (W3′):
-
There exist constants \(b_{5}>0\) , \(b_{6}\ge0\) and \(\max\{ 1, 2/(3-\nu)\} <\gamma_{9} < \gamma_{8} < 2\) such that
$$2W(t, x)-\bigl(\nabla W(t, x), x\bigr)\ge b_{5}|x|^{\gamma_{8}}- b_{6}|x|^{\gamma_{9}}, \quad \forall (t, x)\in \mathbb {R}\times{ \mathbb {R}}^{N}; $$ - (W4′):
-
There exist constants \(b_{7}>0\) , \(b_{8}\ge0\) and \(\max\{ 1, 2/(3-\nu)\} <\gamma_{10} < \gamma_{11}< 2\)
$$W(t, x)\ge b_{7}|x|^{\gamma_{10}}- b_{8}|x|^{\gamma_{11}}, \quad \forall (t, x)\in \mathbb {R}\times{ \mathbb {R}}^{N}; $$ - (W4″):
-
\(\lim_{|x|\to 0}\frac{W(t, x)}{|x|^{2}}=\infty\) uniformly in \(t\in \mathbb {R}\).
Our main results are the following four theorems.
Theorem 1.1
Assume that L and W satisfy (\(\mathrm{L}_{\nu }\)), (W3), (W4) and the following conditions:
-
(W1)
There exist constants \(\max\{1, 2/(3-\nu)\} <\gamma _{1}<\gamma_{2} < 2\) and \(a_{1}, a_{2} \ge0\) such that
$$\bigl|W(t, x)\bigr|\le a_{1}|x|^{\gamma_{1}}+a_{2}|x|^{\gamma_{2}}, \quad \forall (t, x)\in \mathbb {R}\times{ \mathbb {R}}^{N}; $$ -
(W2)
There exists a function \(\varphi\in C([0, +\infty), [0, +\infty))\) such that
$$\bigl|\nabla W(t, x)\bigr|\le\varphi\bigl(|x|\bigr), \quad \forall (t, x)\in \mathbb {R}\times{ \mathbb {R}}^{N}, $$where \(\varphi(s)=O(s^{\gamma_{3}-1})\) as \(s\to0^{+}\), \(\max\{ 1, 2/(3-\nu)\} <\gamma_{3} < 2\).
Then system (1.1) possesses at least one nontrivial homoclinic solution.
Theorem 1.2
Assume that L and W satisfy (\(\mathrm{L}_{\nu }\)), (W1), (W2), (W3), (W4) and the following condition:
-
(W5)
\(W(t, -x)= W(t, x)\), \(\forall (t, x)\in{\mathbb {R}}\times{\mathbb{R}}^{N}\).
Then system (1.1) possesses infinitely many nontrivial homoclinic solutions.
Theorem 1.3
Assume that L and W satisfy (\(\mathrm{L}_{\nu }\)), (W1), (W2), (W3′) and (W4). Then system (1.1) possesses at least one nontrivial homoclinic solution.
Theorem 1.4
Assume that L and W satisfy (\(\mathrm{L}_{\nu }\)), (W1), (W2), (W3′), (W4′) and (W5). Then system (1.1) possesses infinitely many nontrivial homoclinic solutions.
Corollary 1.5
The conclusion of Theorem 1.4 also holds if (W4′) is replaced by (W4″).
Remark 1.6
Our results can be applied to the following potential functions:
and
where \(m\ge4\), \(1<\tau_{1}<\tau_{2} < \cdots< \tau_{m}<2\) and \(d_{i}>0\) for \(i=1, 2, \ldots, m\). Note that the above potential functions are with indefinite signs, and hence Theorem A is not applicable. See Examples 4.1 and 4.2 in Section 4.
The remainder of this paper is organized as follows. In Section 2, we first define a Hilbert space E and describe its space structure. Then we state the critical point theorems needed for the proofs of our main results. The proofs of our main results are given in Section 3. Some examples to illustrate our results are given in Section 4.
Throughout this paper, we denote the norm of \(L^{p}(\mathbb {R}, \mathbb {R}^{N})\) by \(\|u\| _{p}=(\int_{\mathbb {R}}|u|^{s}\,\mathrm{d}t)^{1/p}\) for \(p\ge1\), and positive constants, possibly different in different places, by \(C_{1}, C_{2}, \ldots\) .
2 Preliminaries
In this section, we first make the following weaker assumption on \(L(t)\):
-
(L)
The smallest eigenvalue of \(L(t) \to+\infty\) as \(|t| \to +\infty\) , i.e.,
$$\lim_{|t|\to+\infty} \Bigl[\inf_{|x|=1}\bigl(L(t)x, x \bigr) \Bigr] = + \infty. $$
In order to establish our existence results via the critical point theory, we first describe some properties of the space on which the variational functional associated with (1.1) is defined.
In what follows \(L(t)\) is assumed to satisfy assumption (L). We denote by \(I_{N}\) the identity matrix of order N, I the identity operator. Let \(\{\mathcal{E}(\lambda): -\infty< \lambda< +\infty\}\) and \(|\mathcal{A}|\) be the spectral family and the absolute value of \(\mathcal{A}\), respectively, and \(|\mathcal{A}|^{1/2}\) be the square root of \(|\mathcal{A}|\). Set \(U=I-\mathcal{E}(0)-\mathcal{E}(0-)\). Then U commutes with \(\mathcal{A}\), \(|\mathcal{A}|\) and \(|\mathcal{A}|^{1/2}\), and \(\mathcal{A} = U|\mathcal{A}|\) is the polar decomposition of \(\mathcal{A}\) (see [22, 23]). Let \(E =\mathfrak{D}(|\mathcal{A}|^{1/2})\), the domain of \(|\mathcal{A}|^{1/2}\), and define on E the inner product
and the norm
where, as usual, \((\cdot, \cdot)_{2}\) denotes the inner product of \(L^{2}\). Then E is a Hilbert space. Clearly, \(C_{0}^{\infty}\equiv C_{0}^{\infty}(\mathbb {R}, {\mathbb {R}}^{N})\) is dense in E.
By (L), \(L(t)\) is bounded from below and so there is \(l_{0}>0\) such that
where, and in the sequel,
Set
and
Then \(E_{*}\) is also a Hilbert space with the above inner product \((\cdot , \cdot)_{*}\) and the norm \(\|\cdot\|_{*}\).
Lemma 2.1
([15])
For \(u\in E_{*}\),
and
Lemma 2.2
Suppose that \(L(t)\) satisfies (L). Then E is compactly embedded in \(L^{p}(\mathbb {R}, {\mathbb {R}}^{N})\) for \(2\le p\le\infty\), and
Proof
In fact, the first part of Lemma 2.2 was proved in [21]. Here, we give the proof of the second part. From (2.1), (2.2) and (2.3), we have
and
□
By (L), there exists a constant \(\alpha\in \mathbb {R}\) such that
Analogous to the proof of [24], Lemma 2.4, we can prove the following lemma by using Lemma 2.2.
Lemma 2.3
Suppose that \(L(t)\) satisfies (L). Let
Then \(E=E^{-}\oplus E^{0}\oplus E^{+}\), and \(E^{-}\), \(E^{0}\) and \(E^{+}\) are orthogonal with respect to the inner products \((\cdot, \cdot)_{0}\) and \((\cdot, \cdot)_{2}\) on E. Furthermore, the following hold:
and
where
In view of Lemma 2.3, we introduce on E the following inner product:
and the norm
where \(u=u^{-}+u^{0}+u^{+}\), \(v=v^{-}+v^{0}+v^{+} \in E^{-}\oplus E^{0}\oplus E^{+}=E\). Then it is easy to check the following lemma.
Lemma 2.4
Suppose that \(L(t)\) satisfies (L). Then \(E^{-}\), \(E^{0}\) and \(E^{+}\) are orthogonal with respect to the inner product \((\cdot, \cdot)\) on E.
Analogous to the proof of [24], Lemma 2.1, Lemma 2.6, we can prove the following lemma.
Lemma 2.5
Suppose that \(L(t)\) satisfies (L). Then the norms \(\|\cdot\|_{0}\), \(\|\cdot\|_{*}\) and \(\|\cdot\|\) on E are equivalent. Hence, there exists \(\beta>0\) such that
By virtue of (\(\mathrm{L}_{\nu}\)), there exist two constants \(T_{0}>0\) and \(M_{0}>0\) such that
which implies
Lemma 2.6
Suppose that \(L(t)\) satisfies (\(\mathrm{L}_{\nu}\)). Then, for \(1\le p\in(2/(3-\nu), 2)\), E is compactly embedded in \(L^{p}(\mathbb {R}, \mathbb {R}^{N})\); moreover,
and
where
Proof
For \(1\le p\in(2/(3-\nu), 2)\), we set \(r=[(3-\nu )p-2]/(2-p)\). Then \(r>0\). For \(u\in E\) and \(T\ge T_{0}\), it follows from (2.15) and the Hölder inequality that
From (2.2) and (2.16), one has
For \(1\le p\in(2/(3-\nu), 2)\), applying (2.16), we can prove that E is compactly embedded in \(L^{p}(\mathbb {R}, \mathbb {R}^{N})\) by a standard argument. □
Lemma 2.7
([25])
Let X be real Banach space, Q and S be two closed subsets of X, and S and ∂Q link. Suppose that \(f\in C^{1}(X, {\mathbb {R}})\) satisfy the (PS)-condition, and that
-
(i)
there exist two constants \(\eta>\zeta\) such that \(\sup_{x\in\partial Q}f(x)\le\zeta< \eta\le\inf_{x\in S}f(x)\);
-
(ii)
\(\sup_{x\in Q}f(x)<+\infty\).
Then f possesses a critical value \(c\ge\eta\).
Lemma 2.8
([21], Lemma 2.4)
Let X be an infinite dimensional Banach space and \(f\in C^{1}(X, {\mathbb {R}})\) be even, satisfy the (PS)-condition, and \(f(0)=0\). If \(X=X_{1}\oplus X_{2}\), where \(X_{1}\) is finite dimensional, and f satisfies
-
(i)
f is bounded from below on \(X_{2}\);
-
(ii)
for each finite dimensional subspace \(\tilde{X}\subset X\), there are positive constants \(\rho=\rho(\tilde{X})\) and \(\sigma=\sigma(\tilde{X})\) such that \(f|_{B_{\rho}\cap\tilde {X}}\le0\) and \(f|_{\partial B_{\rho}\cap\tilde{X}} \le-\sigma\), where \(B_{\rho}=\{x\in X : \|x\|=\rho\}\).
Then f possesses infinitely many nontrivial critical points.
Lemma 2.9
([26])
Let X be a real Banach space and \(f\in C^{1}(X, {\mathbb {R}})\) satisfy the (PS)-condition. If f is bounded from below, then \(c=\inf_{X}f\) is a critical value of f.
3 Proofs of theorems
Lemma 3.1
Assume that (\(\mathrm{L}_{\nu}\)) and (W1) hold. Then, for \(u\in E\),
where
and
Proof
For \(T\ge T_{0}\), it follows from (2.14), (2.17), (3.2), (3.3) and (W1) that
□
Analogous to the proof of [17], Lemma 2.2, we can prove the following lemma.
Lemma 3.2
Assume that (\(\mathrm{L}_{\nu}\)), (W1) and (W2) hold. Then the functional \(f: E\rightarrow{ \mathbb {R}}\) defined by
is well defined and of class \(C^{1}(E, {\mathbb {R}})\) and
Furthermore, the critical points of Φ in E are classical solutions of (1.1) with \(u(\pm\infty)=0\).
Proof of Theorem 1.1
In view of Lemma 3.2, \(\Phi\in C^{1}(E, \mathbb {R})\). In what follows, we divide the rest of the proof of Theorem 1.1 into four steps.
Step 1. Φ satisfies the (PS)-condition.
Assume that \(\{u_{n}\}_{n\in{\mathbb{N}}}\subset E\) is a (PS)-sequence: \(\{\Phi(u_{n})\}_{k\in{\mathbb{N}}}\) is bounded and \(\|\Phi'(u_{n})\| \rightarrow0\) as \(n\rightarrow+\infty\). In the sequel we write for any \(u\in E\)
Then, by (3.5), (3.6), (3.7) and (W3), we get
It follows that there exists a constant \(C_{1}>0\) such that
Since \(\dim(E^{-}\oplus E^{0})<+\infty\), there exists a constant \(C_{2}>0\) such that
where \(\gamma_{4}'=\gamma_{4}/(\gamma_{4}-1)\) and \(\gamma_{5}'=\gamma _{5}/(\gamma _{5}-1)\). Combining (3.8) with (3.9), one has
Choose \(T_{2}>T_{0}\), it follows from (3.1) that
From (3.5), (3.10) and (3.11), we obtain
Since \(1<\gamma_{1}<\gamma_{2}<2\), \(1<\gamma_{5} \le\gamma_{4}<2\), it follows from (3.12) that \(\{\|u_{n}\|\}\) is bounded, and so \(\{\|u_{n}\|_{*}\}\) is bounded. Choose a constant \(\Lambda>0\) such that
Passing to a subsequence if necessary, it can be assumed that \(u_{n}\rightharpoonup u_{0}\) in E. Hence \(u_{n}\rightarrow u_{0}\) in \(L^{\infty}_{\mathrm {\mathrm{loc}}}(\mathbb {R}, {\mathbb {R}}^{N})\); moreover, it is easy to verify that \(\{u_{n}(t)\}\) converges to \(u_{0}(t)\) point-wise for all \(t\in{\mathbb{R}}\). Hence, (3.13) yields that \(\|u_{0}\|_{\infty}\le\Lambda\). By (W2), there exists \(M_{3}>0\) such that
For any given number \(\varepsilon>0\), we can choose \(T_{3}>T_{0}\) such that
Hence, from (2.16), (3.13), (3.14) and (3.15) we have that
On the other hand, since \(u_{n}\rightarrow u_{0}\) in \(L^{\infty}_{\mathrm {\mathrm{loc}}}(\mathbb {R}, {\mathbb {R}}^{N})\), it follows from the continuity of \(\nabla W(t, x)\) that
Since ε is arbitrary, combining (3.16) with (3.17) we get
It follows from (3.6) that
Since \(\langle\Phi'(u_{n})-\Phi'(u_{0}), u_{n}-u_{0}\rangle=o(1)\), it follows from (3.18) and (3.19) that
Since \(u_{n}\rightharpoonup u_{0}\) in E and \(\dim(E^{-}\oplus E^{0})<+\infty\), it follows that
Combining (3.20) with (3.21), we have
Hence, Φ satisfies the (PS)-condition.
Step 2. \(\Phi(u)\rightarrow+\infty\) as \(\|u\|\rightarrow+\infty\) and \(u\in E^{+}\).
It follows from (3.1) that
Hence, for \(u\in E^{+}\), it follows from (3.5) and (3.22) that
as \(\|u\|\rightarrow+\infty\) and \(u\in E^{+}\), since \(1<\gamma _{1}<\gamma_{2}<2\).
Step 3. Taking \(e\in E^{+}\) with \(\|e\|=1\), there exist \(s_{0}\in(0, 1)\) and \(\sigma_{0}>0\) such that
Set \(X=E^{-}\oplus E^{0}\oplus \mathbb {R}e\). For \(u=u^{-}+u^{0}+se\in X\), by (3.5), (3.7) and (W4),
On the other hand, one sees that
where \(\gamma_{6}'=\gamma_{6}/(\gamma_{6}-1) > \gamma_{6}\) and \(\gamma _{7}'=\gamma _{7}/(\gamma_{7}-1) > \gamma_{7}\). Hence,
Combining (3.24) with (3.25), we have
which implies that there exist \(s_{0}\in(0, 1)\) and \(\sigma_{0}>0\) such that (3.23) holds.
Step 4. If \(E^{-}\oplus E^{0}=\{0\}\), then Lemmas 2.9 and 3.2, Steps 1-3 imply that Φ has a minimum (<0) which yields a homoclinic solution for system (1.1).
If \(E^{-}\oplus E^{0}\ne\{0\}\), by Step 2, one can take \(C_{8}>0\) and \(r>s_{0}\) large such that
and
Let \(Q=B_{r}\cap E^{+}\). Since \(S_{e}\) and ∂Q link, by Lemma 2.7, −Φ has a critical point \(u^{*}\in E\) with \(\Phi(u^{*})\le-\sigma_{0}\), which is a nontrivial homoclinic solution of system (1.1). □
Proof of Theorem 1.2
Set \(X=E\), \(X_{1}=E^{-}\oplus E^{0}\) and \(X_{2}=E^{+}\). In view of Lemma 3.2 and Steps 1 and 2 in the proof of Theorem 1.1, \(X=X_{1}\oplus X_{2}\), \(\dim X_{1}<+\infty\), \(\Phi\in C^{1}(X, \mathbb {R})\), Φ satisfies the (PS)-condition and is bounded from below on \(X_{2}\). Obviously, (W1) and (W5) imply \(\Phi(0)=0\) and Φ is even. Next, we prove that assumption (ii) in Lemma 2.8 holds.
Let \(\tilde{X}\subset X\) be any finite dimensional subspace. Then there exist constants \(c_{0}=c(\tilde{X})>0\) and \(c_{*}=c(\tilde{X})>0\) such that
Since \(\gamma_{6}\ge\gamma_{7}\), it follows from (3.7) and (3.26) that
From (3.5), (3.7), (3.26), (3.27) and (W4), one has
Since \(1< \gamma_{6} <2\), the above implies that there exist \(\rho=\rho (b_{3}, b_{4}, c_{0})=\rho(\tilde{X})\in(0, c_{*}^{-1})\) and \(\sigma=\sigma(b_{3}, b_{4}, c_{0})=\sigma(\tilde{X})>0\) such that
Hence assumption (ii) in Lemma 2.8 holds. By Lemma 2.8, Φ has infinitely many (pairs) critical points which are homoclinic solutions for system (1.1). □
Proof of Theorem 1.3
In the proof of Theorem 1.1, assumption (W3) is used only in Step 1 to prove that a (PS)-sequence \(\{u_{n}\}_{n\in{\mathbb{N}}}\subset E\) is bounded. Therefore, we only prove that any (PS)-sequence \(\{u_{n}\}_{n\in{\mathbb{N}}}\subset E\) is also bounded by using (W3′) instead of (W3). From (3.5), (3.6) and (W3′), we have
It follows that there exists a constant \(C_{9}>0\) such that
Since \(\dim(E^{-}\oplus E^{0})<+\infty\), there exists a constant \(C_{10}>0\) such that
where \(\gamma_{8}'=\gamma_{8}/(\gamma_{8}-1)\). Combining (3.28) with (3.29), one has
From (3.5), (3.11) and (3.30), we obtain
Since \(1<\gamma_{1}<\gamma_{2}<2\), \(1< \gamma_{9} < \gamma_{8}<2\), it follows that \(\{\|u_{n}\|\}\) is bounded. The proof is complete. □
Proof of Theorem 1.4
Set \(X=E\), \(X_{1}=E^{-}\oplus E^{0}\) and \(X_{2}=E^{+}\). In view of Lemma 3.2 and Steps 1 and 2 in the proof of Theorem 1.1, \(X=X_{1}\oplus X_{2}\), \(\dim X_{1}<+\infty\), \(\Phi\in C^{1}(X, \mathbb {R})\), Φ satisfies the (PS)-condition and is bounded from below on \(X_{2}\). Obviously, (W1) and (W5) imply \(\Phi(0)=0\) and Φ is even. Next, we prove that assumption (ii) in Lemma 2.8 holds.
Let \(\tilde{X}\subset X\) be any finite dimensional subspace. Then there exist constants \(c_{0}=c(\tilde{X})>0\) and \(c_{*}=c(\tilde{X})>0\) such that
From (3.5), (3.31) and (W4′), one has
Since \(1< \gamma_{10}< \gamma_{11} <2\), the above implies that there exist \(\rho=\rho(b_{7}, b_{8}, c_{0})=\rho(\tilde{X})>0\) and \(\sigma=\sigma(b_{7}, b_{8}, c_{0})=\sigma(\tilde{X})>0\) such that
Hence assumption (ii) in Lemma 2.8 holds. By Lemma 2.8, Φ has infinitely many (pairs) critical points which are homoclinic solutions for system (1.1). □
In the proof of Theorem 1.4, (W4′) is used in the last part to verify assumption (ii) of Lemma 2.8. It is easy to see that it also holds by using (W4″) instead of (W4′). So we omit the proof of Corollary 1.5.
4 Examples
In this section, we give two examples to illustrate our results.
Example 4.1
In system (1.1), let \(L(t)= (|t|^{4/5}-1 )I_{N}\), and \(W(t, x)\) be as in (1.4). Then \(L(t)\) satisfies (\(\mathrm{L}_{\nu}\)) with \(\nu =6/5\), and
and
Thus all conditions of Theorem 1.4 are satisfied with
Hence, by Theorem 1.4, system (1.1) has infinitely many nontrivial homoclinic solutions.
Example 4.2
In system (1.1), let \(L(t)= (|t|^{\varrho }-1 )I_{N}\), let \(W(t, x)\) be as in (1.5). Set
and
Note that
and
Then \(L(t)\) satisfies (\(\mathrm{L}_{\nu}\)) with \(\nu=2-\varrho<3-2/\tau_{1}\), and
and
Theorem 1.4 applies with
and system (1.1) has infinitely many nontrivial homoclinic solutions.
References
Ambrosetti, A, Rabinowitz, PH: Dual variational methods in critical point theory and applications. J. Funct. Anal. 14(4), 349-381 (1973)
Ambrosetti, A, Coti Zelati, V: Multiple homoclinic orbits for a class of conservative systems. Rend. Semin. Mat. Univ. Padova 89, 177-194 (1993)
Caldiroli, P, Montecchiari, P: Homoclinic orbits for second order Hamiltonian systems with potential changing sign. Commun. Appl. Nonlinear Anal. 1(2), 97-129 (1994)
Coti Zelati, V, Ekeland, I, Sere, E: A variational approach to homoclinic orbits in Hamiltonian systems. Math. Ann. 288(1), 133-160 (1990)
Coti Zelati, V, Rabinowitz, PH: Homoclinic orbits for second order Hamiltonian systems possessing superquadratic potentials. J. Am. Math. Soc. 4, 693-727 (1991)
Ding, YH, Girardi, M: Periodic and homoclinic solutions to a class of Hamiltonian systems with the potentials changing sign. Dyn. Syst. Appl. 2(1), 131-145 (1993)
Flavia, A: Periodic and homoclinic solutions to a class of Hamiltonian systems with indefinite potential in sign. Boll. Unione Mat. Ital., B (7) 10(2), 303-324 (1996)
Izydorek, M, Janczewska, J: Homoclinic solutions for a class of second order Hamiltonian systems. J. Differ. Equ. 219(2), 375-389 (2005)
Korman, P, Lazer, AC: Homoclinic orbits for a class of symmetric Hamiltonian systems. Electron. J. Differ. Equ. 1994, 1 (1994)
Lv, Y, Tang, C: Existence of even homoclinic orbits for a class of Hamiltonian systems. Nonlinear Anal. 67(7), 2189-2198 (2007)
Omana, W, Willem, M: Homoclinic orbits for a class of Hamiltonian systems. Differ. Integral Equ. 5(5), 1115-1120 (1992)
Paturel, E: Multiple homoclinic orbits for a class of Hamiltonian systems. Calc. Var. Partial Differ. Equ. 12(2), 117-143 (2001)
Rabinowitz, PH: Homoclinic orbits for a class of Hamiltonian systems. Proc. R. Soc. Edinb., Sect. A 114(1-2), 33-38 (1990)
Rabinowitz, PH, Tanaka, K: Some results on connecting orbits for a class of Hamiltonian systems. Math. Z. 206(3), 473-499 (1991)
Tang, XH, Lin, XY: Homoclinic solutions for a class of second-order Hamiltonian systems. J. Math. Anal. Appl. 354(2), 539-549 (2009)
Tang, XH, Lin, XY: Existence of infinitely many homoclinic orbits in Hamiltonian systems. Proc. R. Soc. Edinb. A 141, 1103-1119 (2011)
Tang, XH, Lin, XY: Infinitely many homoclinic orbits for Hamiltonian systems with indefinite sign subquadratic potentials. Nonlinear Anal. 74, 6314-6325 (2011)
Lv, Y, Tang, C: Homoclinic orbits for second-order Hamiltonian systems with subquadratic potentials. Chaos Solitons Fractals 57, 137-145 (2013)
Zhang, Z, Yuan, R: Homoclinic solutions for a class of non-autonomous subquadratic second order Hamiltonian systems. Nonlinear Anal. 71, 4125-4130 (2009)
Zhang, Z, Yuan, R: Homoclinic solutions for some second order non-autonomous systems. Nonlinear Anal. 71, 5790-5798 (2009)
Ding, YH: Existence and multiplicity results for homoclinic solutions to a class of Hamiltonian systems. Nonlinear Anal. 25(11), 1095-1113 (1995)
Edmunds, DE, Evans, WD: Spectral Theory and Differential Operators. Clarendon Press, Oxford (1987)
Sun, J, Wang, Z: Spectral Analysis for Linear Operators. Science Press, Beijing (2005) (in Chinese)
Tang, XH: Non-Nehari manifold method for superlinear Schrödinger equation. Taiwan. J. Math. 18, 1957-1979 (2014)
Chang, KC: Critical Point Theory and Applications. Shanghai Scientific and Technology Press, Shanghai (1986) (in Chinese)
Mawhin, J, Willem, M: Critical Point Theory and Hamiltonian Systems. Applied Mathematical Sciences, vol. 74. Springer, New York (1989)
Acknowledgements
This work is partially supported by the NNSF (No: 11471137) of China.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors jointly worked on the results, and they read and approved the final manuscript.
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
Lin, X., Tang, X. New conditions on homoclinic solutions for a subquadratic second order Hamiltonian system. Bound Value Probl 2015, 111 (2015). https://doi.org/10.1186/s13661-015-0351-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0351-3