Abstract
In this paper, we introduce a new mixed condition to obtain a new compact embedding theorem. Under this theorem, we study the existence and multiplicity of nontrivial homoclinic solutions for a class of second-order Hamiltonian systems with variable separated type nonlinear terms.
Similar content being viewed by others
1 Introduction and main results
In this paper, we consider the following second-order Hamiltonian system:
where \(W:\mathbb{R}\times \mathbb{R}^{N} \rightarrow \mathbb{R}\) is a \(C^{1}\)-map and \(\nabla W(t,x)\) denotes the gradient with respect to the x variable. \(L\in C(\mathbb{R},\mathbb{R}^{N^{2}})\) is a matrix-valued function. A solution \(u(t)\) of problem (1) is nontrivial homoclinic (to 0) if \(u\not \equiv 0\), \(u(t)\rightarrow 0\) as \(t\rightarrow \pm \infty \).
In the last two decades, many mathematicians have successfully used variational methods to obtain the existence and multiplicity of homoclinic orbits for problem (1) such as [1, 3–18, 20–37]. Since this problem is considered in the whole space, one of the main difficulties is the lack of compactness of embedding. In 1990, Rabinowitz [20] considered the periodic case. In his paper, \(L(t)\) and \(W(t,u)\) were assumed to be periodic in t and the author obtained the results by the mountain pass theorem. Without the periodic condition, Rabinowitz and Tanaka [21] introduced the following coercive condition on \(L(t)\).
- \((L')\) :
-
\(L\in C(\mathbb{R},\mathbb{R}^{N^{2}})\) is a symmetric and positively definite matrix for all \(t\in \mathbb{R}\), and there exists a continuous function \(l:\mathbb{R}\rightarrow \mathbb{R}^{+}\) satisfying
$$\begin{aligned} \bigl(L(t)x,x\bigr)\geq l(t) \vert x \vert ^{2} \quad \text{with } l(t)\rightarrow \infty \text{ as } \vert t \vert \rightarrow \infty . \end{aligned}$$
Using \((L')\), many mathematicians studied problem (1) with superquadratic, subquadratic, or asymptotic quadratic nonlinearities. In this paper, we mainly consider the superquadratic growth case. First, we recall some main results.
In 1991, Rabinowitz and Tanaka [21] used the so-called Ambrosetti–Rabinowitz (\((\mathit {AR})\) for short) condition to obtain the existence of homoclinic solutions for problem (1).
- \((\mathit {AR})\) :
-
There exists a constant \(\theta > 2\) such that
$$\begin{aligned} 0 < \theta W(t,x) \leq \bigl(\nabla W(t,x),x\bigr) \end{aligned}$$for every \(t \in \mathbb{R}\) and \(x \in \mathbb{R}^{N}\setminus \{0\}\).
Condition \((\mathit {AR})\) is useful in guaranteeing the geometrical structure of the corresponding functional and the boundedness of Palais–Smale (\((\mathit {PS})\) for short) sequence. After then, there have been many mathematicians trying to weaken this condition. In 2009, Ding and Lee [6] introduced the following generalized superquadratic condition.
- \((H_{1})\) :
-
There exist \(\epsilon \in (0,1)\) and \(\kappa_{1}, b_{0}>0\) such that
$$\begin{aligned} \widetilde{W}(t,x)\geq b_{0}\frac{(\nabla W(t,x),x)}{ \vert x \vert ^{2-\epsilon }} \quad \text{for all } t \in \mathbb{R} \text{ and } \vert x \vert \geq \kappa_{1}, \end{aligned}$$where
$$\begin{aligned} \widetilde{W}(t,x)=\bigl(\nabla W(t,x),x\bigr) -2W(t,x). \end{aligned}$$
In a recent paper, \((H_{1})\) was weakened by Wu et al. [28] with the following condition.
- \((H_{2})\) :
-
\(\frac{\widetilde{W}(t,x)}{W(t,x)} \vert x \vert ^{2}\rightarrow +\infty\) as \(\vert x \vert \rightarrow \infty \) uniformly in \(t\in \mathbb{R}\).
In 2011, Yang and Han [31] also made a contribution to the multiplicity of homoclinic solutions for problem (1) under the following monotonous condition.
- \((H_{3})\) :
-
\(s^{-1}(\nabla W(t,sx),x)\) is an increasing function of \(s\in (0,1]\) for all \((t,x)\in \mathbb{R}\times \mathbb{R}^{N}\).
In 2013, Lv and Tang [15] showed that the following condition is weaker than \((H_{3})\).
- \((H_{4})\) :
-
There exists \(\mu \geq 1\) such that
$$\begin{aligned} \mu \widetilde{W}(t,x)\geq \widetilde{W}(t,sx) \end{aligned}$$for all \((t,x)\in \mathbb{R}\times \mathbb{R}^{N}\) and \(s\in [0,1]\).
Conditions \((H_{1})\)–\((H_{4})\) can be seen as the generalizations or supplements of \((\mathit {AR})\). However, each result in the above papers implies that
- \((H_{5})\) :
-
There exists \(\kappa_{2}>0\) such that \(\sup_{t\in \mathbb{R}, \vert x \vert =\kappa_{2}}W(t,x)<+\infty \).
Obviously, \((H_{5})\) holds when \(W(t,x)\) is periodic in t. If there is no periodic assumption, \((H_{5})\) is an important requirement in many papers [1, 4–13, 16–18, 20, 21, 24, 27, 33, 35]. Recently, Yuan and Zhang [35] considered the following variable separation nonlinear term:
where \(a:\mathbb{R}\rightarrow \mathbb{R}^{+}\) is continuous, \(G\in C^{1}(\mathbb{R}^{N},\mathbb{R})\). In [35], the authors considered the following conditions:
- \((A)\) :
-
\(a(t)\rightarrow 0\) as \(\vert t \vert \rightarrow \infty \);
- \((L'')\) :
-
\(L\in C(\mathbb{R},\mathbb{R}^{N^{2}})\) is a symmetric and positively definite matrix for all \(t\in \mathbb{R}\), and there exists a constant \(M_{0}>0\) such that
$$\begin{aligned} \bigl(L(t)x,x\bigr)\geq M_{0} \vert x \vert ^{2} \quad \text{for all } (t,x)\in \mathbb{R}\times \mathbb{R}^{N}. \end{aligned}$$
Obviously, \((L'')\) is weaker than \((L')\). In a recent paper, Wu et al. [28] considered a class of fractional Hamiltonian systems with variable separated type nonlinear terms. They introduced the following condition.
- \((L''')\) :
-
\(\frac{a(t)}{l(t)}\rightarrow 0\) as \(\vert t \vert \rightarrow \infty \), where \(l(t)\in C(\mathbb{R},\mathbb{R})\) satisfies
$$\begin{aligned} l(t)\equiv \inf_{ \vert x \vert =1}\bigl(L(t)x,x\bigr). \end{aligned}$$
Motivated by the above papers, in this paper, we introduce the following condition.
- \((L_{1})\) :
-
There exists a constant \(r_{0}>0\) such that
$$\begin{aligned} \lim_{ \vert s \vert \rightarrow +\infty }\operatorname{meas} \biggl( \biggl\{ t\in B_{r_{0}}(s): \frac{l(t)}{a(t)}\ngeq M \biggr\} \biggr) =0, \quad \forall M>0, \end{aligned}$$where \(B_{r_{0}}(s)=\{t\in \mathbb{R}: s-r_{0}\leq t\leq s+r_{0}\}\), \(l(t)\in C(\mathbb{R},\mathbb{R})\) and \(\operatorname{meas}(\cdot )\) denotes the Lebesgue measure.
In [35], the nonlinear term \(G(x)\) is assumed to satisfy the following classical AR-type condition:
- \((\mathit {AR}')\) :
-
There exists a constant \(\nu >2\) such that
$$\begin{aligned} 0< \nu G(x)\leq \bigl(\nabla G(x),x\bigr) \end{aligned}$$for every \(x \in \mathbb{R}^{N}\setminus \{0\}\).
From the \((\mathit {AR}')\) condition, we can deduce that
- \((\mathit {SQ})\) :
-
\(\widetilde{G}(x)\geq 0\) for any \(x\in \mathbb{R}^{N}\), where \(\widetilde{G}(x)=(\nabla G(x),x)-2G(x)\).
In [28], the authors considered the following weakened superquadratic growth condition.
- \((H_{6})\) :
-
There exist \(\nu >2\) and \(b_{2}, \kappa_{3}>0\) such that
$$\begin{aligned} \bigl(\nabla G(x),x\bigr)-\nu G(x)\geq -b_{2} \vert x \vert ^{2} \quad \text{for all } \vert x \vert \geq \kappa_{3}. \end{aligned}$$
\((H_{6})\) is a generalization of condition \((\mathit {AR}')\), which is only a local condition. Instead of \((H_{6})\), the authors in [28] also considered the following superquadratic condition.
- \((H_{7})\) :
-
\(\frac{\widetilde{G}(x)}{G(x)} \vert x \vert ^{2-r_{0}}\rightarrow + \infty \) as \(\vert x \vert \rightarrow \infty \), where \(r_{0}\) is the growth exponent of the subquadratic term at infinity with respect to x.
In this paper, we consider \(G(x)\) satisfying the following monotonous condition.
- \((W_{1})\) :
-
There exists a constant \(\theta \geq 1\) such that \(\theta \widetilde{G}(x)\geq \widetilde{G}(sx)\) for all \(x\in \mathbb{R}^{N}\) and \(s\in [0,1]\).
Now we state our main results.
Theorem 1.1
Suppose (2), \((L'')\), \((L_{1})\), \((W_{1})\) and the following conditions hold:
- \((L_{2})\) :
-
There exists \(A>0\) such that \(a(t)\leq A l(t)\) for all \(t\in \mathbb{R}\);
- \((W_{2})\) :
-
\(a(t)\in C(\mathbb{R},\mathbb{R}^{+})\);
- \((W_{3})\) :
-
\(G(0)=0\) and \(\nabla G(x)=o( \vert x \vert )\) as \(\vert x \vert \rightarrow 0\);
- \((W_{4})\) :
-
\(G(x) / \vert x \vert ^{2} \rightarrow +\infty \) as \(\vert x \vert \rightarrow \infty \).
- \((W_{5})\) :
-
There are constants \(\zeta > 2\) and \(d_{1}>0\) such that
$$\begin{aligned} \bigl\vert G(x) \bigr\vert \leq d_{1}\bigl( \vert x \vert ^{2}+ \vert x \vert ^{\zeta }\bigr) \quad \textit{for all } x \in \mathbb{R}^{N}. \end{aligned}$$
Then problem (1) possesses at least one nontrivial homoclinic solution.
If \(G(t)\) is even in t, we can obtain the following multiplicity result.
Theorem 1.2
Suppose (2), \((L'')\), \((L_{1})\), \((L_{2})\), \((W_{1})\)–\((W_{5})\) and \(G(-x)=G(x)\) for all \(x\in \mathbb{R}^{N}\). Then problem (1) possesses infinitely many solutions.
By a condition similar to \((H_{2})\), we obtain the following.
Theorem 1.3
Suppose (2), \((L'')\), \((L_{1})\), \((L_{2})\), \((W_{2})\)–\((W_{4})\), \((\mathit {SQ})\) and the following condition holds:
- \((W_{6})\) :
-
\(\frac{\widetilde{G}(x)}{G(x)} \vert x \vert ^{2}\rightarrow +\infty \) as \(\vert x \vert \rightarrow \infty \).
Then problem (1) possesses at least one nontrivial homoclinic solution.
Theorem 1.4
Suppose (2), \((L'')\), \((L_{1})\), \((L_{2})\), \((W_{2})\)–\((W_{4})\), \((W_{6})\), \((\mathit {SQ})\) and \(G(-x)=G(x)\) for all \(x\in \mathbb{R}^{N}\). Then problem (1) possesses infinitely many solutions.
Remark 1
It can be seen that \(a(t)\) and \(l(t)\) are positive in our theorems and the results in [28]. Then we can deduce that \((L_{1})\) is weaker than \((L''')\). The reader can see [2] for more details.
Remark 2
Condition \((H_{5})\) does not hold in our theorems since \(a(t)\) can go to infinity as \(\vert t \vert \rightarrow \infty \).
Remark 3
Condition \((W_{1})\) implies \((\mathit {SQ})\).
2 Preliminaries
Set
with the inner product
Let \(L_{a}^{2}(\mathbb{R},\mathbb{R}^{N})\) be the weighted space of measurable functions \(u:\mathbb{R}\rightarrow \mathbb{R}^{N}\) under the norm
Throughout this paper, \(C>0\) denotes a universal positive constant. Note that under condition \((L_{1})\)
for any \(p\in [2,+\infty ]\) with the embedding being continuous, which implies that there is a positive constant \(C_{\infty }>0\) such that the following inequality holds:
First, we show a compact embedding theorem.
Lemma 2.1
Under conditions \((L_{1})\)–\((L_{2})\) and \((L'')\), the embedding \(E\hookrightarrow L_{a}^{2}(\mathbb{R},\mathbb{R}^{N})\) is continuous and compact.
Proof
Suppose that \(\{u_{n}\}\) is a bounded sequence in E. Then there exists \(M_{0}>0\) such that \(\Vert u_{n} \Vert \leq M_{0}\). Hence there exists a weak convergent subsequence, still denoted by \(\{u_{n}\}\), such that \(u_{n}\rightharpoonup u_{0}\) in E. Assuming \(v_{n}=u_{n}-u_{0}\), we obtain that \(\{v_{n}\}\) is a bounded sequence in E and \(v_{n}\rightharpoonup 0\) in E. Next, we show that \(v_{n}\rightarrow 0\) in \(L_{a}^{2}(\mathbb{R},\mathbb{R}^{N})\). It follows from the Sobolev compact embedding theorem that \(v_{n}\rightarrow 0\) in \(L^{1}(B_{R}(0),\mathbb{R}^{N})\) for any \(R>0\). Choose \(\{s_{i}\} \subset \mathbb{R}\) such that \(\mathbb{R}\subset \bigcup_{i=1}^{ \infty }B_{r_{0}}(s_{i})\) and each \(t\in \mathbb{R}\) is contained by two such intervals at most. Set
and
On the one hand, we have
On the other hand, let \(\varepsilon_{R}=\sup_{s_{i}} ( \operatorname{meas} ( A(M,R) \bigcap B_{r_{0}}(s_{i}) ) ) \), we obtain
for some \(C>0\). It follows from \((L_{2})\) that \(\int_{A(M,R)}a(t) \vert v _{n}(t) \vert ^{2}\,dt\rightarrow 0\) as \(R\rightarrow \infty \), which implies that
Then we can deduce that \(v_{n}\rightarrow 0\) in \(L_{a}^{2}(\mathbb{R}, \mathbb{R}^{N})\). Hence the embedding \(E\hookrightarrow L_{a}^{2}( \mathbb{R},\mathbb{R}^{N})\) is continuous and compact. □
From Lemma 2.1, we can easily deduce that there is a positive constant \(K>0\) such that the following inequality holds:
Lemma 2.2
Suppose that conditions \((L'')\), (2), \((L_{1})\), and \((W_{4})\) hold, then we have \(\nabla G(u_{k})\rightarrow \nabla G(u)\) in \(L_{a}^{2}(\mathbb{R},\mathbb{R}^{N})\) if \(u_{k}\rightharpoonup u\) in E.
Proof
The proof of this lemma is similar to that of Lemma 2.3 in [28]. □
The corresponding functional of (1) is defined by
Lemma 2.3
Suppose \((L'')\), (2), \((L_{1})\), and \((W_{4})\) hold, then \(I\in C^{1}(E,\mathbb{R})\) is w.l.s.c. and
Proof
The proof is similar to Lemma 2.4 in [28]. □
From Lemma 2.3, we obtain
The following theorem is useful in proving the multiplicity of homoclinic solutions for problem (1).
Lemma 2.4
(see [19], Theorem 9.12)
Let \(\mathcal{B}\) be an infinite dimensional real Banach space, and let \(I\in C^{1}(\mathcal{B}, \mathbb{R})\) be even, satisfy the \((\mathit {PS})\) condition and \(I(0)=0\). If \(\mathcal{B}=V\oplus X\), where V is finite dimensional and I satisfies the following:
- \((A_{1})\) :
-
There are constants ϱ, \(\alpha >0\) such that \(I|_{\partial B_{\varrho \bigcap X}}\geq \alpha \); and
- \((A_{2})\) :
-
For each finite dimensional subspace \(\widetilde{E}\subset \mathcal{B}\), there is \(r=r(\widetilde{E})\) such that \(I\leq 0\) on \(\widetilde{E}\setminus B_{r(\widetilde{E})}\).
Then I has an unbounded sequence of critical values.
3 Proof of Theorem 1.1
The proof of Theorem 1.1 is divided into several lemmas.
Lemma 3.1
Suppose that \((\mathit {SQ})\) and \((W_{3})\) hold, then \(G(x)\geq 0\) for all \(x\in \mathbb{R}\).
Proof
The proof of this lemma is similar to that of Lemma 7 in [15]. □
Definition 3.1
A sequence \(\{u_{n}\}\subset X\), where X is a real Banach space, is called a Cerami ((C) for short) sequence of functional I if \(\{I(u_{n})\}\) is bounded and \(\Vert I'(u_{n}) \Vert (1+ \Vert u_{n} \Vert )\rightarrow 0\) as \(n\rightarrow \infty \).
Definition 3.2
A functional I is said to satisfy the (C) condition if any (C) sequence of I possesses a convergent subsequence.
Lemma 3.2
Suppose that the conditions of Theorem 1.1 hold, then I satisfies the \((C)\) condition.
Proof
Assume that \(\{u_{n}\} \subset E\) is a sequence such that \(\{I(u_{n})\}\) is bounded and \(\Vert I'(u_{n}) \Vert (1+ \Vert u_{n} \Vert ) \rightarrow 0\) as \(n \rightarrow \infty \). Then, for some \(M_{1}> 0\), it follows
Next we show that \(\{u_{n}\}\) is bounded in E. Assuming \(\Vert u_{n} \Vert \rightarrow +\infty \) as \(n\rightarrow \infty \), set \(w_{n}=\frac{u _{n}}{ \Vert u_{n} \Vert }\), then \(\Vert w_{n} \Vert =1\), which implies that there exists a subsequence of \(\{w_{n}\}\), still denoted by \(\{w_{n}\}\), such that \(w_{n}\rightharpoonup w_{0}\) in E. By (7) and (9), we get
which implies that
for n large enough. The following discussion is divided into two cases.
Case 1: \(w_{0}\not \equiv 0\). Let \(\Omega =\{t\in \mathbb{R}\mid \vert w _{0}(t) \vert >0 \}\). We can see that \(\operatorname{meas}(\Omega )>0\). Then there exists \(\chi >0\) such that \(\operatorname{meas}(\Lambda )>0\), where \(\Lambda =\Omega \bigcap B_{\chi }(0)\). Since \(\Vert u_{n} \Vert \rightarrow +\infty \) as \(n\rightarrow \infty \) and \(\vert u_{n}(t) \vert = \vert w_{n}(t) \vert \cdot \Vert u_{n} \Vert \), we have \(\vert u_{n}(t) \vert \rightarrow +\infty \) as \(n\rightarrow \infty \) for a.e. \(t\in \Lambda \). Let \(a_{1}=\inf_{t\in B_{\chi }(0)}a(t)>0\). By (2), \((W_{2})\), \((W_{4})\), Lemma 3.1, and Fatou’s lemma, we can obtain
which contradicts (11).
Case 2: \(w_{0}\equiv 0\). Set a sequence \(\{T_{n}\}\subset [0,1]\) such that \(I(T_{n}u_{n})=\max_{T\in [0,1]}I(Tu_{n})\). By Lemma 3.1, \((W_{2})\), \((W_{5})\), and Lemma 2.1, we obtain
which implies that
By the definition of \(T_{n}\) and (12), for n large enough, we have
Then we obtain
Hence, it follows from (13) and \((W_{1})\) that
which implies that
However, we can deduce from (9) that
for all \(n\in \mathbb{N}\), which contradicts (14). Hence \(\{u_{n}\}\) is bounded in E. Going if necessary to a subsequence, we can assume that \(u_{n} \rightharpoonup u\) in E, which yields
and it follows from Lemma 2.1, Hölder’s inequality, (6), and Lemma 2.2 that
Hence, we conclude that
We finish the proof. □
Subsequently, we need the following lemmas to prove Theorem 1.1.
Lemma 3.3
Suppose that (2), \((L'')\), \((L_{1})\), \((L_{2})\), \((W_{1})\), and \((W_{3})\) hold, then there exist constants ϱ, \(\alpha > 0\) such that \(I|_{\partial B_{\varrho }(0)} \geq \alpha \).
Proof
By \((W_{3})\), for any \(\varepsilon >0\), there is \(\sigma >0\) such that
for all \(\vert x \vert \leq \sigma \). For \(\varepsilon_{1}=\frac{1}{4A}\), there exists \(\delta_{1}>0\) such that (15) holds. Set
By (7), (15), (2), \((L_{2})\), and \((W_{1})\), for any \(\Vert u \Vert =\varrho \), we obtain
By the definition of ϱ and α, (16) implies \(I|_{\partial B_{\varrho }(0)} \geq \alpha \). □
Lemma 3.4
Suppose that (2), \((L'')\), \((W_{2})\), and \((W_{4})\) hold, then there exists \(\bar{e}\in E\) such that \(\Vert \bar{e} \Vert >\varrho \) and \(I(\bar{e})\leq 0\), where ϱ is defined in Lemma 3.3.
Proof
Set \(e_{0} \in C^{\infty }_{0}(-1,1)\) with \(\Vert e_{0} \Vert =1\). Let \(a_{2}=\min_{t\in B_{1}(0)}a(t)\) and \(a_{3}=\max_{t\in B_{1}(0)}a(t)\). For \(\beta >\frac{1}{2a_{2}\int^{1} _{-1} \vert e_{0}(t) \vert ^{2}\,dt}\), it follows from \((W_{4})\) that there exists \(\xi >0\) such that
for all \(\vert x \vert > \xi \). By Lemma 3.1, we have
for all \(x\in \mathbb{R}^{N}\). By (2), (7), and (17), for every \(\eta \in \mathbb{R}\setminus \{0\}\), we have
which implies that
Then there exists \(\eta_{0} \in \mathbb{R} \setminus \{0\} \) such that \(\Vert \eta_{0} e_{0} \Vert >\varrho \) and \(I(\eta_{0} e_{0})<0\). Letting \(\bar{e}(t)=\eta_{0} e_{0}(t)\), we finish the proof. □
Proof of Theorem 1.1
It is known that a deformation lemma can be proved when the usual \((\mathit {PS})\) condition is replaced with condition \((C)\). From the above proofs and the mountain pass theorem (see [19], Theorem 2.2), I possesses a critical value \(c \geq \alpha \) and a critical point \(u_{0}\) such that \(I(u_{0})=c\), which means problem (1) has at least one nontrivial homoclinic solution. □
4 Proof of Theorem 1.3
Lemma 4.1
Suppose that the conditions of Theorem 1.2 hold, then I satisfies the \((C)\) condition.
Proof
Assuming that \(\{u_{n}\} \subset E\) is a \((C)\) sequence of I, there exists a constant \(M_{2} > 0\) such that
Now we show the boundedness of \(\{u_{n}\}\). Arguing in an indirect way, we assume that \(\Vert u_{n} \Vert \rightarrow +\infty \) as \(n\rightarrow \infty \). Set \(w_{n}=\frac{u_{n}}{ \Vert u_{n} \Vert }\), then \(\Vert w_{n} \Vert =1\), which implies that there exists a subsequence of \(\{w_{n}\}\), still denoted by \(\{w_{n}\}\), such that \(w_{n}\rightharpoonup w_{0}\) in E. Similar to the proof of Lemma 3.2, we have
Case 1: \(w_{0}\not \equiv 0\). The proof is similar to the proof of Case 1 in Lemma 3.2.
Case 2: \(w_{0}\equiv 0\). Let \(\varepsilon =1\), then there exists \(\sigma_{0}>0\) such that (15) holds for all \(\vert x \vert \leq \sigma_{0}\). By \((W_{6})\), we obtain that for any \(B>0\), there exists \(r_{\infty }>0\) such that, for all \(\vert x \vert \geq r_{\infty }\), we have
It follows from (7), (8), (20), \((W_{1})\), and \((\mathit {SQ})\) that
By the arbitrariness of B and Lemma 3.1, we have
for n large enough, which contradicts (19). Hence \(\Vert u_{n} \Vert \) is bounded in E. Similar to the proof of Lemma 3.2, we see that I satisfies the \((C)\) condition. □
The following proof is similar to that of Theorem 1.1.
5 Proof of Theorems 1.2 and 1.4
As we know, Lemma 2.4 still holds when we replace the \((\mathit {PS})\) condition with the \((C)\) condition. From Lemmas 3.2 and 4.1, we can see that I satisfies the \((C)\) condition under the conditions of Theorems 1.2 and 1.4, respectively. Next, we only show that I satisfies the geometric conditions of Lemma 2.4. Obviously, Lemma 3.3 holds under the conditions of Theorems 1.2 and 1.4, respectively. If we take \(V=\{0\}\) and \(X=E\), we can see there are constants \(\varrho_{1}\), \(\alpha_{1}>0\) such that \(I|_{\partial B_{\varrho_{1}\bigcap X}} \geq \alpha_{1}\) by Lemma 3.2, which means \((A_{1})\) is fulfilled. Subsequently, we show that I satisfies \((A_{2})\).
Lemma 5.1
Suppose that (2), \((L'')\), \((L_{1})\), \((L_{2})\), \((W_{3})\), and \((W_{4})\) hold, then I satisfies \((A_{2})\).
Proof
Let \(\widetilde{E} \subset E\) be a finite dimensional subspace. For any \(u\in \widetilde{E}\setminus \{0\}\) and \(\vartheta >0\), set
Similar to Lemma 6.2 in [29], there exists \(\vartheta_{0}>0\) such that
for all \(u\in \widetilde{E}\setminus \{0\}\). It is easy to see that there exists \(\rho >0\) such that \(\operatorname{meas}\Upsilon_{\vartheta_{0}}(u)> \frac{1}{2}\vartheta_{0}\) for any \(u\in \widetilde{E}\setminus \{0\}\), where \(\Upsilon_{\vartheta_{0}}(u)=\Gamma_{\vartheta_{0}}(u)\bigcap B _{\rho }(0)\). Set \(a_{4}= \inf_{ \vert t \vert \leq \rho }a(t)>0\). By \((W_{4})\), there exists \(\gamma >0\) such that
for all \(u\in \widetilde{E}\) and \(t\in \Upsilon_{\vartheta_{0}}(u)\) with \(\Vert u \Vert \geq \gamma \). Then, for any \(u\in \widetilde{E}\setminus B_{ \gamma }\), it follows from (7), \((W_{1})\), \((W_{3})\), and (23) that
Then there exists \(r>\gamma \) such that \(I |_{\widetilde{E}\setminus B_{r}}\leq 0\). □
Since I is even in u, I possesses an unbounded sequence of critical values by Lemma 2.4, which proves Theorems 1.2 and 1.4.
Abbreviations
- (AR) condition:
-
Ambrosetti–Rabinowitz condition
- (PS) sequence:
-
Palais–Smale sequence
- (C) condition:
-
Cerami condition
- (C) sequence:
-
Cerami sequence
References
Ambrosetti, A., Coti Zelati, V.: Multiple homoclinic orbits for a class of conservative systems. Rend. Semin. Mat. Univ. Padova 89, 177–194 (1993)
Bartsch, T., Wang, Z.Q.: Existence and multiplicity results for some superlinear elliptic problems on \(\mathbf{R}^{N}\). Commun. Partial Differ. Equ. 20(9–10), 1725–1741 (1995)
Carrião, P.C., Miyagaki, O.H.: Existence of homoclinic solutions for a class of time-dependent Hamiltonian systems. J. Math. Anal. Appl. 230, 157–172 (1999)
Chen, H.W., He, Z.M.: Infinitely many homoclinic solutions for a class of second-order Hamiltonian systems. Adv. Differ. Equ. 2014, 161 (2014)
Ding, Y.H.: Existence and multiplicity results for homoclinic solutions to a class of Hamiltonian systems. Nonlinear Anal. 25, 1095–1113 (1995)
Ding, Y.H., Lee, C.: Homoclinics for asymptotically quadratic and superquadratic Hamiltonian systems. Nonlinear Anal. 71, 1395–1413 (2009)
Ding, Y.H., Li, S.J.: Homoclinic orbits for first order Hamiltonian systems. J. Math. Anal. Appl. 189, 585–601 (1995)
Felmer, P.L., Silva, E.A.B.: Homoclinic and periodic orbits for Hamiltonian systems. Ann. Sc. Norm. Super. Pisa, Cl. Sci. 26, 285–301 (1998)
Izydorek, M., Janczewska, J.: Homoclinic solutions for a class of the second order Hamiltonian systems. J. Differ. Equ. 219, 375–389 (2005)
Izydorek, M., Janczewska, J.: Homoclinic solutions for nonautonomous second-order Hamiltonian systems with a coercive potential. J. Math. Anal. Appl. 335, 1119–1127 (2007)
Korman, P., Lazer, A.C.: Homoclinic orbits for a class of symmetric Hamiltonian systems. Electron. J. Differ. Equ. 1994, 1, 1–10 (1994)
Lu, S.P.: Homoclinic solutions for a nonlinear second order differential system with p-Laplacian operator. Nonlinear Anal., Real World Appl. 12, 525–534 (2011)
Lv, Y., Tang, C.-L.: Existence of even homoclinic orbits for second-order Hamiltonian systems. Nonlinear Anal. 67, 2189–2198 (2007)
Lv, Y., Tang, C.-L.: Homoclinic orbits for second-order Hamiltonian systems with subquadratic potentials. Chaos Solitons Fractals 57, 137–145 (2013)
Lv, Y., Tang, C.-L.: Existence and multiplicity of homoclinic orbits for second-order Hamiltonian systems with superquadratic potential. Abstr. Appl. Anal. 2013, 328630 (2013)
Omana, W., Willem, M.: Homoclinic orbits for a class of Hamiltonian systems. Differ. Integral Equ. 5, 1115–1120 (1992)
Ou, Z.-Q., Tang, C.-L.: Existence of homoclinic solution for the second order Hamiltonian systems. J. Math. Anal. Appl. 291, 203–213 (2004)
Paturel, E.: Multiple homoclinic orbits for a class of Hamiltonian systems. Calc. Var. Partial Differ. Equ. 12, 117–143 (2001)
Rabinowitz, P.H.: Minimax methods in critical point theory with applications to differential equations. In: CBMS, Regional Conf. Ser. in Math., vol. 65. Am. Math. Soc., Providence (1986)
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)
Sun, J., Chen, H., Nieto, J.J.: Homoclinic solutions for a class of subquadratic second-order Hamiltonian systems. J. Math. Anal. Appl. 373, 20–29 (2011)
Sun, J., Chen, H., Nieto, J.J.: Homoclinic orbits for a class of first-order nonperiodic asymptotically quadratic Hamiltonian systems with spectrum point zero. J. Math. Anal. Appl. 378, 117–127 (2011)
Sun, J., Wu, T.F.: Multiplicity and concentration of homoclinic solutions for some second order Hamiltonian systems. Nonlinear Anal. 114, 105–115 (2015)
Sun, J., Wu, T.F.: Homoclinic solutions for a second-order Hamiltonian system with a positive semi-definite matrix. Chaos Solitons Fractals 76, 24–31 (2015)
Tang, X.H., Lin, X.Y.: Infinitely many homoclinic orbits for Hamiltonian systems with indefinite sign subquadratic potentials. Nonlinear Anal. 74, 6314–6325 (2011)
Tang, X.H., Xiao, L.: Homoclinic solutions for a class of second order Hamiltonian systems. Nonlinear Anal. 71, 1140–1152 (2009)
Wu, D.-L., Li, C., Yuan, P.F.: Multiplicity solutions for a class of fractional Hamiltonian systems with concave-convex potentials. Mediterr. J. Math. 15, 35 (2018)
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, 6, 1–18 (2018)
Yang, L., Chen, H., Sun, J.: Infinitely many homoclinic solutions for some second order Hamiltonian systems. Nonlinear Anal. 74, 6459–6468 (2011)
Yang, M.-H., Han, Z.-Q.: Infinitely many homoclinic solutions for second-order Hamiltonian systems with odd nonlinearities. Nonlinear Anal. 74, 2635–2646 (2011)
Yang, M.-H., Han, Z.-Q.: Infinitely many homoclinic solutions for second-order Hamiltonian systems with odd nonlinearities. Nonlinear Anal. 74, 2635–2646 (2011)
Ye, Y.-W., Tang, C.-L.: Multiple homoclinic solutions for second-order perturbed Hamiltonian systems. Stud. Appl. Math. 132, 112–137 (2014)
Ye, Y.-W., 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)
Yuan, R., Zhang, Z.: Homoclinic solutions for a class of second order Hamiltonian systems. Results Math. 61, 195–208 (2012)
Zhang, Z., Xiang, T., Yuan, R.: Homoclinic solutions for subquadratic Hamiltonian systems without coercive conditions. Taiwan. J. Math. 18, 1089–1105 (2014)
Zhang, Z., Yuan, R.: Homoclinic solutions for a class of non-autonomous sub-quadratic second-order Hamiltonian systems. Nonlinear Anal. 71, 4125–4130 (2009)
Acknowledgements
Not applicable.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Funding
This work is supported by the National Natural Science Foundation of China, “The Research of Industrial Clusters on Rural Poverty Reduction from the Perspective of Spatial Econometrics” (Grant number 71503212).
Author information
Authors and Affiliations
Contributions
The research and writing of this manuscript was a collaborative effort from all authors. XL and JJ discussed it together, XL managed this manuscript, JJ revised it. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have 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
Li, X., Jia, J. New homoclinic solutions for a class of second-order Hamiltonian systems with a mixed condition. Bound Value Probl 2018, 133 (2018). https://doi.org/10.1186/s13661-018-1052-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-018-1052-5