Abstract
This paper is concerned with the existence of periodic and subharmonic solutions for a class of the second-order impulsive Hamiltonian systems. It employs the linking theorem.
Similar content being viewed by others
1 Introduction and main results
In this paper, we consider the second-order impulsive differential equation
where \(q\in\mathbb{R}^{N}\), \(\nabla F(t,q)=\operatorname{grad}_{q}F(t,q)\), \(g_{j}(q)=\operatorname{grad}_{q}G_{j}(q)\), \(G_{j}\in(\mathbb{R}^{N}, \mathbb{R}) \) for each \(j\in\mathbb{Z}\), and the operator Δ is defined as \(\Delta\dot{q}(t_{j})=\dot{q}(t^{+}_{j})-\dot{q}(t^{-}_{j})\), where \(\dot {q}(t^{+}_{j})\) (\(\dot{q}(t^{-}_{j})\)) denotes the right-hand (left-hand) limit of \(\dot{q}\) at \(t_{j}\). There exist an \(m\in\mathbb{N}\) and a \(T>0\) such that \(0=t_{0}< t_{1}<\cdots<t_{m}=T\), \(t_{j+m}=t_{j}+T\), and \(g_{j+m}=g_{j}\), \(j\in\mathbb{Z}\). \(F: \mathbb{R}\times\mathbb{R}^{N} \rightarrow\mathbb{R}\) is T-periodic in its first variable and satisfies:
- (H0):
-
\(F(t,q)\) is measurable in t for each \(q\in\mathbb {R}^{N}\) and continuously differentiable in q for a.e. \(t\in[0,T]\) and there exist \(a \in C(\mathbb{R}^{+},\mathbb{R}^{+})\), \(b \in L^{1}([0,T];\mathbb{R}^{+})\) such that
$$ \bigl\vert F(t,q)\bigr\vert \leq a\bigl(\vert q\vert \bigr)b(t), \qquad \bigl\vert \nabla F(t,q)\bigr\vert \leq a\bigl(\vert q\vert \bigr)b(t) $$for all \(q\in\mathbb{R}\) and a.e. \(t\in[0,T]\).
Let
Then \(H^{1}_{T}\) is a Hilbert space with the norm defined by
For the norm in \(L^{2}([0,T])\), we put
Next we set \(\Omega=\{1,2,\ldots,m-1\}\), and define a functional φ as
Note that φ is Fréchet differentiable at any \(q\in H^{1}_{T}\) and for any \(p\in H^{1}_{T}\), we have
It is clear that the critical points of the functional φ are classical T-periodic solutions of system (1.1).
When the impulsive function \(g_{j}=0\), the system (1.1) reduces to the following second-order Hamiltonian system:
The existence of periodic solutions for system (1.3) has been discussed extensively in the literature; see [1–5].
Note that system (1.3) is called a superquadratic second-order Hamiltonian system if the potential function F satisfies
In 1978, Rabinowitz [6] got the nonconstant periodic solutions under the following condition: there exist \(\mu>2\) and \(L>0\) such that
which is stronger than (1.4) and is known as the Ambrosetti-Rabinowitz condition (A-R condition). From then on, many authors have devoted their work to the investigation concerning the existence of solutions of second-order systems under condition (1.5); see [7, 8] and references therein. In 2002, Fei [9] obtained the existence of solutions for system (1.3) under a kind of new superquadratic condition which is different from the A-R condition. Subsequently, Tao and Tang [10] gave the following two results, more general than Fei’s.
Theorem A
Assume that F satisfies (H0) and the following conditions:
- (H1):
-
\(F(t,q)\geq0\), \((t,q) \in[0,T]\times\mathbb{R}^{N}\),
- (H2):
-
\(\lim_{|q|\rightarrow0}\frac {F(t,q)}{|q|^{2}}<\frac{1}{2} \omega^{2} \) uniformly for a.e. \(t \in[0,T]\),
- (H3):
-
\(\liminf_{|q|\rightarrow+\infty}\frac {F(t,q)}{|q|^{2}}>\frac{1}{2} \omega^{2} \) uniformly for a.e. \(t \in[0,T]\),
- (H4):
-
\(\limsup_{|q|\rightarrow+\infty}\frac {F(t,q)}{|q|^{r}}\leq+\infty\) uniformly for a.e. \(t \in[0,T]\),
- (H5):
-
\(\liminf_{|q|\rightarrow+\infty}\frac {\nabla F(t,q)q-2F(t,q)}{|q|^{\mu}}>0\) uniformly for a.e. \(t \in[0,T]\),
where \(\omega=\frac{2\pi}{T}\), \(r>2\), and \(\mu>r-2\). Then there exists a nonconstant T-periodic solution of system (1.3).
Theorem B
Assume that F satisfies (H0), (H1), (H3), (H4), (H5), and the following condition:
- (H2′):
-
\(\lim_{|q|\rightarrow0}\frac {F(t,q)}{|q|^{2}}=0 \) uniformly for a.e. \(t \in[0,T]\).
Then there exists a sequence \(\{k_{n}\}\subset\mathbb{N}\), \(k_{n}\rightarrow+\infty\), and the corresponding distinct \(k_{n}T\) are periodic solutions of system (1.3).
It is well known that the theory of impulsive differential equations has emerged as an important area of investigation. Some classical tools such as some fixed point theorems in cones, topological degree theory, the upper and lower solutions method combined with monotone iterative technique [11–13] have been widely used to get solutions of impulsive differential equations. Recently, some researchers have studied the existence of solutions for impulsive differential equations with boundary conditions via variational methods [14–22]. For the second-order differential equation \(u''=f(t,u,u')\), we generally consider impulses in the position u and \(u'\). However, in the motion of spacecraft instantaneous impulses depend on the position, which results in jump discontinuities in velocity, with no change in position. This motivates us to consider the second-order impulsive Hamiltonian system (1.1). By employing critical point theory and variational methods we obtain the existence of periodic and subharmonic solutions for it. The following results can be regarded as a generalization to Theorems A and B.
Theorem 1.1
Assume that F satisfies (H0), (H1), (H3), (H4), (H5) and the following conditions hold:
- (H2″):
-
\(\lim_{|q|\rightarrow0}\frac {F(t,q)}{|q|^{2}}<\frac{1}{4} \omega^{2} \) uniformly for a.e. \(t \in[0,T]\),
- (G1):
-
\(G_{j}(q)\geq0\), \(q\in\mathbb{R}^{N}\), \(j=1,2,\ldots,m\),
- (G2):
-
\(\lim_{|q|\rightarrow0}\frac{G_{j}(q)}{|q|^{2}}=0\), \(j=1,2,\ldots,m\),
- (G3):
-
there exists \(M_{1}>0\) such that \(G_{j}(q)\leq M_{1}|q|^{r}\), \(q\in \mathbb{R}^{N}\), \(j=1,2,\ldots,m\),
- (G4):
-
\(g_{j}(q)q-2G_{j}(q)\geq0\), \(q\in\mathbb{R}^{N}\setminus\{0\} \), \(j=1,2,\ldots,m\).
Then system (1.1) has at least one non-trivial T-periodic solution.
Theorem 1.2
Assume that F satisfies (H0), (H1), (H2′), (H3), (H4), (H5) and \(G_{j}\) satisfies (G1), (G2), (G3), (G4). Then system (1.1) has a sequence of distinct periodic solutions with period \(k_{n}T\) satisfying \({k_{n}}\in\mathbb{N}\) and \(k_{n}\rightarrow+\infty\) as \(n\rightarrow +\infty\).
In order to prove our theorems, we need the following result. For \(u\in H^{1}_{T}\), let \(\bar{u}=\frac{1}{T}\int_{0}^{T}u(t)\,dt\) and \(\tilde{u}(t)=u(t)-\bar{u}\). One has
and
Lemma 1.3
If \(u\in H_{T}^{1}\), then there exists a constant \(C_{0}\) such that \(\|q\|_{\infty}\leq C_{0}\|q\|_{H_{T}^{1}}\), where \(\|q\|_{\infty}=\max_{t\in[0,T]}|q(t)|\).
Proof
The proof follows easily from the Hölder inequality. The detailed argument is similar to the proof of Lemma 2.1 in [23] and we thus omit it here. □
Lemma 1.4
[24]
Let \(X=X_{1}\oplus X_{2}\) be a real Banach space, where \(X_{1}\) is a finite dimensional closed subspace of X and \(X_{2}=X_{1}^{\perp}\). Suppose that \(\varphi\in C^{1}(X,R)\) satisfies the Palais-Smale condition and the following conditions:
-
(i)
there exist constant \(\rho>0\) and a such that \(\varphi(x)\geq a\), \(\forall x\in X_{2}\cap\partial B_{\rho}\), where \(B_{\rho}=\{x\in X: \|x\|_{X}<\rho\}\),
-
(ii)
there exist a constant \(w< a\) and \(e\in X_{2}\), \(\|e\|_{X}=1\), \(s_{1}>0\), \(s_{2}>\rho\) such that \(\varphi(x)|_{\partial Q}\leq w\), where \(Q=\{x\in X\mid x=z+\lambda e, z\in X_{1}, |z|\leq s_{1}, \lambda\in(0,s_{2})\}\).
Then φ possesses a critical value.
2 Proof of Theorem 1.1
Proof of Theorem 1.1
It is well known that Lemma 1.3 holds true with the condition (C) replacing the usual Palais-Smale condition. We say the functional φ satisfies the condition (C), i.e., for every sequence \(\{q_{n}\}\subset H^{1}_{T}\), \(\{q_{n}\}\) has a convergent subsequence if \(\{\varphi(q_{n})\}\) is bounded and \(\lim_{n\rightarrow\infty }(1+\|q\|_{H^{1}_{T}})\|\varphi'(q_{n})\|_{H^{1}_{T}}=0\). To this end, we prove Theorem 1.1 in the following steps.
Step 1. Pick \(\{q_{n}\}\subset H^{1}_{T}\) such that \(\{\varphi_{k}(q_{n})\}\) is bounded and \(\lim_{n\rightarrow\infty}(1+\|q\|_{H^{1}_{T}})\|\varphi '(q_{n})\|_{H^{1}_{T}}=0\), then there exists a constant \(C_{1}>0\) such that
for all \(n\in\mathbb{N}\). By (H4), there exist constants \(C_{2}>0\) and \(d_{1}>0\) such that
for all \(|q|\geq d_{1}\) and a.e. \(t\in[0,T]\). It follows from (H0) that \(F(t,q)\leq\max_{s\in[0,d_{1}]}a(s)b(t)\), for all \(|q|\leq d_{1}\) and a.e. \(t\in[0,T]\). Therefore, we obtain
for all \(q\in\mathbb{R}\) and a.e. \(t \in[0,T]\). Set \(C_{3}= \max_{s\in[0,d_{1}]}a(s)\int_{0}^{T}b(t)\,dt\). By (1.2), we have
On the other hand, by (H5), there exist constants \(C_{4}>0\) and \(d_{2}>0\) such that
By (H0), we have
Therefore by (2.3), (2.4), and (H4), we have
which implies \((\int_{0}^{T}|q_{n}|^{\mu}\,dt)^{\frac{1}{\mu}}\) is bounded, i.e., there exists a constant \(C_{5}>0\) such that
If \(\mu> r\), then we have \(\int_{0}^{T}|q_{n}(t)|^{r}\,dt\leq T^{\frac{\mu -r}{\mu}}(\int_{0}^{T}|q_{n}(t)|^{\mu}\,dt)^{\frac{r}{\mu}}\), which, combining with (2.2), implies that \(\|q_{n}\|_{H^{1}_{T}}\) is bounded. If \(\mu \leq r\), then we have \(\int_{0}^{T}|q_{n}(t)|^{r}\,dt\leq C_{0}^{r-\mu }\|q_{n}\|_{H^{1}_{T}}^{r-\mu} \int_{0}^{T}|q_{n}(t)|^{\mu}\,dt\). Since \(\mu>r-2\), it follows from (2.2) that \(\|q_{n}\|_{H^{1}_{T}}\) is bounded too. In a similar way to Proposition B35 in [24], we can prove that \(\{ q_{n}\}\) has a convergent subsequence. So, the functional φ satisfies the condition (C).
Step 2. We show that the functional φ satisfies the assumption (i) of Lemma 1.4. Let \(X=H^{1}_{T}\), \(X_{1}=\mathbb{R}^{n}\), \(X_{2}=\tilde {H}^{1}_{T}=\{q\in H_{T}^{1}\mid\int_{0}^{T}q(t)\,dt=0\}\). Then \(H^{1}_{T}=X_{1}\oplus X_{2}\) and \(X_{1}\) is a finite dimensional subspace of \(H^{1}_{T}\).
By (H2″), there exists a constant \(0< d_{3}<d_{1}\) such that \(F(t,q)\leq \frac{\omega^{2}}{4}|q|^{2}\), \(|q|\leq d_{3}\), \(t\in[0,T]\). So we have
By (1.2), (1.6), (1.7), (2.5), and (G3), \(\forall q\in X_{2}\), we have
Hence, there exist constants \(a>0\) and \(\rho\in(0,1)\), such that
which proves (i).
Finally, we show that the functional φ satisfies the assumption (ii) of Lemma 1.4. For a given \(z\in X_{1}=\mathbb {R}^{n}\), by assumptions (H1), (G1), we have
In what follows, we construct a bounded manifold \(Q\subset X\) such that \(\varphi(q)\leq a\), \(\forall q\in\partial Q\). Pick \(e=(\sqrt{\frac {2}{(1+\omega^{2})T}}\cos\omega t,0,0,\ldots,0)\in X_{2}\). By calculation, we have \(\|e\|_{H_{T}^{1}}=1\). By (H3), for
there exists a constant \(d_{4}>0\) such that when \(|q|\geq d_{4}\), we have
Therefore, we have
Then for any given \(q=z+\lambda e\), \(z\in X_{1}\), \(\lambda\in\mathbb {R}\), from (1.2), (G1) and (2.8), we get
Let
and
Clearly, it can be seen that \(f_{1}(x)\) and \(f_{2}\) attain their maximum at zero. Therefore,
Since \(\lim_{x\rightarrow\infty}f_{1}(x)=\lim_{x\rightarrow\infty}f_{2}(x)=-\infty\), we can choose \(s_{1}>0\), \(s_{2}>\rho\) such that \(\varphi(z+se)<0\), for \(|z|=s_{1}\), or \(\lambda =s_{2}\). Let \(Q=\{q\in X\mid q=z+\lambda e, z\in X_{1}, |z|\leq s_{1}, \lambda \in(0,s_{2})\}\), we obtain \(\varphi|_{\partial Q}< 0<a\), which proves (ii). From the above proofs, we know that the assumptions of Lemma 1.4 are satisfied. Consequently, system (1.1) admits at least one periodic solution. □
3 Proof of Theorem 1.2
Proof of Theorem 1.2
Let \(k\geq2\). Replace T by kT in the definitions of \(H^{1}_{T}\), \(\tilde{H}^{1}_{T}\), φ, and \(\varphi'\) in Theorem 1.1, then we obtain the corresponding spaces and functionals. We denote them by \(H^{1}_{kT}\), \(\tilde{H}^{1}_{kT}\), \(\varphi_{k}\), and \(\varphi_{k}'\), respectively. Define
Similar arguments to Theorem 1.1 show that the functional \(\varphi_{k}\) satisfies the condition (C). By (H2′), for \(0<\varepsilon _{1}<\frac{2\pi^{2}}{4\pi^{2}+T^{2}}\), there exists a constant \(0< d_{5}<d_{1}\) such that when \(|q|\leq d_{5}\) and \(t\in[0,T]\), we have \(|F(t,q)|\leq \varepsilon_{1}|q|^{2}\), and combining (2.1) and (H0), we obtain
So for any given \(q\in X_{2}\), we have
where \(C_{5}=\max_{s\in[d_{5},d_{1}]}a(s)\int_{0}^{kT}b(t)\,dt\). Hence there exist constants \(a_{k}>0\) and \(\rho_{k}\in(0,1)\) such that
which proves (i) of Lemma 1.4. By the periodicity of \(F(t,q)\) in t, (2.8) holds, i.e.:
Let \(\bar{H}^{1}_{kT}=\operatorname{span}\{e_{k}\}+\mathbb{R}\) with \(e_{k}=(\cos k^{-1}\omega t,0,0,\ldots,0)\in X_{2}\). For any given \(q=z+\lambda e_{k}\), \(z\in X_{1}\), \(\lambda\in\mathbb{R}\), from (1.2), (G1), and (3.1), we get
Let
and
Clearly, it can be seen that \(f_{1}(x)\) and \(f_{2}\) attain their maximum at zero. Therefore, we have
Note that \(\varphi_{k}(z)=-\int_{0}^{kT}F(t,z)\,dt-\sum_{j=1}^{km-1}G_{j}(z)=-k\int_{0}^{T}F(t,z)\,dt-k\sum_{j\in\Omega }G_{j}(z)\leq0\), for all \(z\in X_{1}=\mathbb{R}^{N}\). Since \(\lim_{x\rightarrow\infty}f_{1}(x)=\lim_{x\rightarrow\infty}f_{2}(x)=-\infty\), we can choose \(s_{1}>0\), \(s_{2}>\rho\) such that \(\varphi(z+se_{k})<0\), for \(|z|=s_{1}\), or \(\lambda =s_{2}\). Here, we put \(s_{1}=2r\), \(s_{2}=r \), where \(r=\max\{2,3d_{4}\}\). It is clear that \(s_{2}>1>\rho\). Let \(Q_{k}=\{q\in X\mid q=z+\lambda e, z\in X_{1}, |z|\leq s_{1}, \lambda\in(0,s_{2})\}\).
For any given \(z+\lambda e_{k}\in Q_{k}\), we have
For every \(z+\lambda e_{k}\in\partial Q_{k}\), where \(|z|=s_{1}\), by (3.1), we have
Let \(E=\{t\in[0,kT]:|z+s_{2} e_{k}|\geq\frac{\sqrt{2}r}{2}\}\), where \(z=\{z_{1},z_{2},\ldots,z_{n}\}\in\mathbb{R}\). We claim that \(\operatorname{meas}(E)\geq\frac{kT}{2}\). We have
If \(z_{1}\geq0\), for all \(t \in[0,\frac{kT}{8}]\cup[\frac {7kT}{8},kT] \), we obtain
If \(z_{1}< 0\), for all \(t \in[\frac{3kT}{8},\frac{5kT}{8}] \), we obtain
Therefore, the assertion is established. So, for every \(z+\lambda e_{k}\in\partial Q_{k}\), where \(|\lambda|=s_{2}\), combining with (2.7), we have
So, functional \(\varphi_{k}\) has at least one critical point \(q_{k}\) for every \(k\in\mathbb{N}\) and
We claim that there exists a positive integer \(k_{2}>k_{1}\) such that \(q_{kk_{1}}\neq q_{k_{1}}\) for all \(kk_{1}\geq k_{2}\). Otherwise, \(\varphi _{kk_{1}}(q_{kk_{1}})=k \varphi_{k_{1}} (q_{k_{1}})\rightarrow+\infty\) as \(k\rightarrow+\infty\), which contradicts (3.2). Repeating this process, we get a sequence \(\{q_{k_{n}}\}\) of distinct periodic solutions of system (1.1). □
References
Mawhin, J, Willem, M: Critical Point Theory and Hamiltonian Systems. Springer, Berlin (1989)
Jing, Q, Tang, CL: Periodic and subharmonic solutions of a class of subquadratic second-order Hamiltonian systems. J. Math. Anal. Appl. 328, 380-389 (2007)
Tang, CL, Wu, XP: Subharmonic solutions for nonautonomous sublinear second-order Hamiltonian systems. J. Math. Anal. Appl. 304, 383-393 (2005)
Avila, AI, Felmer, PL: Periodic and subharmonic solutions for a class of second-order Hamiltonian systems. Dyn. Syst. Appl. 3, 519-536 (1994)
Serra, E, Tarallo, M, Terracini, S: Subharmonic solutions to second-order equations with periodic nonlinearities. Nonlinear Anal. 41, 649-667 (2000)
Rabinowitz, PH: Periodic solutions of Hamiltonian systems. Commun. Pure Appl. Math. 31, 157-184 (1978)
Xu, B, Tang, CL: Some existence results on periodic solutions of ordinary p-Laplacian systems. J. Math. Anal. Appl. 333, 1228-1236 (2007)
Fei, G, Kim, S, Wang, T: Minimal period estimates of periodic solutions for superquadratic Hamiltonian systems. J. Math. Anal. Appl. 238, 216-233 (1999)
Fei, G: On periodic solutions of superquadratic Hamiltonian systems. Electron. J. Differ. Equ. 2002, 8 (2002)
Tao, ZL, Tang, CL: Periodic and subharmonic solutions of second-order Hamiltonian systems. J. Math. Anal. Appl. 293, 435-445 (2004)
Agarwal, RP, O’Rgean, D: A multiplicity result for second order impulsive differential equations via the Leggett Williams fixed point theorem. Appl. Math. Comput. 161, 433-439 (2005)
Chen, LJ, Sun, JT: Nonlinear boundary value problem of first order impulsive functional differential equations. J. Math. Anal. Appl. 318, 726-741 (2006)
Shen, JH, Wang, BW: Impulsive boundary value problems with nonlinear boundary conditions. Nonlinear Anal., Real World Appl. 69, 4055-4062 (2008)
Nieto, JJ, O’Regan, D: Variational approach to impulsive differential equations. Nonlinear Anal., Real World Appl. 10, 680-690 (2009)
Tian, Y, Wang, J, Ge, WG: Variational methods to mixed boundary value problem for impulsive differential equations with a parameter. Taiwan. J. Math. 13, 1353-1370 (2009)
Xie, JL, Luo, ZG: Multiple solutions for a second-order impulsive Sturm-Liouville equation. Abstr. Appl. Anal. 2013, Article ID 527082 (2013)
Xie, JL, Luo, ZG: Solutions to a boundary value problem of a fourth-order impulsive differential equation. Bound. Value Probl. 2013, 154 (2013)
Li, F, Sun, JT, Lu, GF, Lv, C: Infinitely many homoclinic solutions for a nonperiodic fourth-order differential equation without (AR)-condition. Appl. Math. Comput. 241, 36-41 (2014)
Li, F, Sun, JT: On homoclinic solutions for first-order superquadratic Hamiltonian systems with spectrum point zero. Abstr. Appl. Anal. 2014, Article ID 313690 (2014)
Sun, JT, Chen, HB, Nieto, JJ, Otero-Novoa, M: The multiplicity of solutions for perturbed second-order Hamiltonian systems with impulsive effects. Nonlinear Anal. 72, 4575-4586 (2010)
Zhou, JW, Li, YK: Existence of solutions for a class of second order Hamiltonian systems with impulsive effects. Nonlinear Anal. 72, 1594-1603 (2010)
Sun, JT, Chen, HB, Nieto, JJ: Infinitely many solutions for second-order Hamiltonian system with impulsive effects. Math. Comput. Model. 54, 544-555 (2011)
Xie, JL, Luo, ZG: Existence of three distinct solutions to boundary value problems of nonlinear differential equations with a p-Laplacian operator. Appl. Math. Lett. 27, 101-106 (2014)
Rabinowitz, PH: Minimax Methods in Critical Point Theory with Applications to Differential Equations. CBMS Regional Conference Series in Mathematics, vol. 65. Am. Math. Soc., Providence (1986)
Acknowledgements
The authors are very grateful to the referees for their very helpful comments and suggestions, which greatly improved the presentation of this paper. This work is supported by the NNSF of China (No. 11171085, No. 11471109) and the Scientific Research Fund of Hunan Provincial Education Department (No. 14A098, No. 14C0940 and No. 13K029).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All the authors contributed equally and significantly in writing this article. All the authors read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Xie, J., Li, J. & Luo, Z. Periodic and subharmonic solutions for a class of the second-order Hamiltonian systems with impulsive effects. Bound Value Probl 2015, 52 (2015). https://doi.org/10.1186/s13661-015-0313-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0313-9