 Research
 Open Access
Variational approach to impulsive differential system
 Yanqiang Wu^{1}Email author and
 Wenbin Liu^{1}
https://doi.org/10.1186/s1366201506411
© Wu and Liu 2015
 Received: 29 June 2015
 Accepted: 18 September 2015
 Published: 30 September 2015
Abstract
In this work, we consider a nonlinear Dirichlet problem with impulses and obtain the existence of solutions to an impulsive problem by means of variational methods.
Keywords
 impulsive problem
 Dirichlet condition
 variational methods
MSC
 34A08
 34B15
1 Introduction
We point out that many dynamical systems have an impulsive dynamical behavior due to abrupt changes at certain instants during the evolution process. The mathematical description of these phenomena leads to impulsive differential equations. Based on the significance, a lot of developments have been made in the theory and applications of impulsive differential systems by numerous mathematicians. We refer the reader to the classical monograph (see [1, 2]), the general works on the theory (see [3–10]) and applications of impulsive differential equations which occur in biology, control theory, optimization theory, population dynamics, medicine, mechanics, engineering and chaos theory, etc. (see [11–27]). These classical techniques contain fixed point theory, topological degree theory and comparison method (including monotone iterative method and upper and lower solutions methods).
For a second order differential equation \(u''=f(t,u,u')\), one usually considers, as impulsive, the position u and the velocity \(u'\). However, in the motion of spacecraft one has to deal with instantaneous impulses depending on the position that results in jump discontinuities in velocity, but no change in position (see [12, 28–30]). The impulses only on the velocity occur also in impulsive mechanics.
Many problems can be solved in terms of the minimization of a functional, usually related to the energy, in an appropriate space of functions. The purpose of this work is to investigate the variational structure under the impulsive differential system (1.1). Based on variational method, we introduce a different concept of solution, that is, a weak solution to problem (1.1). The critical points of the corresponding functional are indeed weak solutions of the impulsive problem (1.1). For the impulsive Dirichlet boundary value problems, the known results obtained by variational approach and critical point theory are as follows.
In this paper we consider the impulsive nonlinear coupled differential system (1.1) motivated by the results [32–35]. Our main result extends the studies made in [32–35] in the sense that we are concerned with a class of problems that is not considered in the papers.
 (H_{1}):

Assume that \(\alpha>\lambda_{1}\), where \(\alpha=\min\{ \operatorname{ess}\inf_{t\in[0,T]}g(t), \operatorname{ess}\inf_{t\in[0,T]}h(t)\}\) and \(\lambda_{1}=\frac{\pi^{2}}{T^{2}}\) is the first eigenvalue of the problem$$ \left \{ \textstyle\begin{array}{l} u''(t)=\lambda u(t), \quad t\in[0,T], \\ u(0)=u(T)=0. \end{array}\displaystyle \right . $$
 (H_{2}):

There exist \(a,b>0\) and \(\gamma_{1},\gamma_{2} \in[0,1)\) such thatand$$\bigl\vert f_{x}(x,y)\bigr\vert \leq a+bx^{\gamma_{1}}\quad \mbox{for every } (x,y)\in{\mathbb{R}}^{2} $$$$\bigl\vert f_{y}(x,y)\bigr\vert \leq a+by^{\gamma_{2}}\quad \mbox{for every } (x,y)\in{\mathbb{R}}^{2}. $$
 (H_{3}):

There exist \(a_{k},b_{k}>0\) and \(\beta_{k}\in[0,1)\) (\(k=1,2,\ldots,m\)) such thatand$$\bigl\vert I_{k}(u)\bigr\vert \leq a_{k}+b_{k}u^{\beta_{k}} \quad \mbox{for every } u\in{\mathbb{R}} $$$$\bigl\vert J_{k}(v)\bigr\vert \leq a_{k}+b_{k}v^{\beta_{k}} \quad \mbox{for every } v\in{\mathbb{R}}. $$
The main result of this paper is the following.
Theorem 1.1
Let assumptions (H_{1})(H_{3}) be satisfied. Then problem (1.1) has at least one nontrivial solution.
Obviously, Theorem 3.2 in [35] is a special case of Theorem 1.1 in this paper.
This paper is organized as follows. In Section 2, we introduce a Hilbert space \(X=H_{0}^{1}(0,T)\times H_{0}^{1}(0,T)\), on which the corresponding functional Φ of problem (1.1) is defined. Furthermore, we give some necessary notations and preliminaries. In Section 3, we prove the main result via variational approach.
2 Variational structure
Lemma 2.1
Assume that assumption (H_{1}) holds, then, for the Sobolev space X, the norm \(\\cdot\\) and the norm \(\\cdot\_{X}\) are equivalent.
Proof
Lemma 2.2
For any \((u,v)\in X\), there exists \(c_{2}>0\) such that \(\u\_{\infty},\v\_{\infty}\leq c_{2} \(u,v)\_{X}\).
Proof
Lemma 2.3
[36]
Let X be a reflexive Banach space and \(F:X\rightarrow{\mathbb{R}}\) be continuously Fréchetdifferentiable. If F is weakly lower semicontinuous and has a bounded minimizing sequence, then F has a minimum on X.
3 Main result
Lemma 3.1
Assume that conditions (H_{1})(H_{3}) are satisfied. Then the functional Φ defined by (2.9) is continuously Fréchetdifferentiable and weakly lower semicontinuous.
Proof
First, using the continuity of \(f_{u}\), \(f_{v}\), \(I_{k}\) and \(J_{k}\), \(k=1,2,\ldots,m\), we easily obtain the continuity and differentiability of Φ and \(\Phi':X=H_{0}^{1}(0,T)\times H_{0}^{1}(0,T)\rightarrow{\mathbb{R}}\) defined by (2.10).
Proof of Theorem 1.1
In connection with \(\gamma_{1},\gamma_{2},\beta_{k}\in [0,1)\), \(k=1,2,\ldots,m\), it follows that the functional Φ is coercive on X. Furthermore, by Lemma 3.1 and Lemma 2.3, we have that Φ has a minimum point on X. Hence, problem (1.1) has at least one nontrivial solution. □
Corollary 3.1
Assume that \(f_{u}\), \(f_{v}\), \(I_{k}\) and \(J_{k}\), \(k=1,2,\ldots,m\), are bounded. Then problem (1.1) has at least one solution.
4 Example
Declarations
Acknowledgements
The author would like to thank the referees very much for their helpful comments and suggestions. This work was supported by the National Natural Science Foundation of China (11271364).
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.
Authors’ Affiliations
References
 Haddad, WM, Chellaboina, C, Nersesov, SG, Stability, GS: Dissipativity and Control. Princeton University Press, Princeton (2006) MATHGoogle Scholar
 Lakshmikantham, V, Bainov, DD, Simeonov, PS: Theory of Impulsive Differential Equations. World Scientific, Singapore (1989) MATHView ArticleGoogle Scholar
 Agarwal, RP, Franco, D, O’Regan, D: Singular boundary value problem for first and second order impulsive differential equations. Aequ. Math. 69, 8396 (2005) MATHMathSciNetView ArticleGoogle Scholar
 Ahmad, B, Nieto, JJ: Existence and approximation of solutions for a class of nonlinear impulsive functional differential equations with antiperiodic boundary conditions. Nonlinear Anal. TMA 69, 32913298 (2008) MATHMathSciNetView ArticleGoogle Scholar
 Hernandez, E, Henriquez, HR, McKibben, MA: Existence results for abstract impulsive secondorder neutral functional differential equations. Nonlinear Anal. TMA 70, 27362751 (2009) MATHView ArticleGoogle Scholar
 Li, J, Nieto, JJ, Shen, J: Impulsive periodic boundary value problems of firstorder differential equations. J. Math. Anal. Appl. 325, 226236 (2007) MATHMathSciNetView ArticleGoogle Scholar
 Luo, Z, Nieto, JJ: New results for the periodic boundary value problem for impulsive integrodifferential equations. Nonlinear Anal. TMA 70, 22482260 (2009) MATHMathSciNetView ArticleGoogle Scholar
 Nieto, JJ: Basic theory for nonresonance impulsive periodic problems of first order. J. Math. Anal. Appl. 205, 423433 (1997) MATHMathSciNetView ArticleGoogle Scholar
 Nieto, JJ, RodríguezLópez, R: Periodic boundary value problem for nonLipschitzian impulsive functional differential equations. J. Math. Anal. Appl. 318, 593610 (2006) MATHMathSciNetView ArticleGoogle Scholar
 Samoilenko, AM, Perestyuk, NA: Impulsive Differential Equations. World Scientific, Singapore (1995) MATHGoogle Scholar
 Braverman, E, Zhukovskiy, S: The problem of a lazy tester, or exponential dichotomy for impulsive differential equations revisited. Nonlinear Anal. Hybrid Syst. 2, 971979 (2008) MATHMathSciNetView ArticleGoogle Scholar
 Dai, B, Su, H, Hu, D: Periodic solution of a delayed ratiodependent predatorprey model with monotonic functional response and impulse. Nonlinear Anal. TMA 70, 126134 (2009) MATHMathSciNetView ArticleGoogle Scholar
 Del Pino, M, Elgueta, M, Manasevich, R: A homotopic deformation along p of a LeraySchauder degree result and existence for \((u'^{p2}u')'+f(t,u)=0\), \(u(0)=u(T)=0\), \(p>1^{\ast}\). J. Differ. Equ. 80, 113 (1989) MATHView ArticleGoogle Scholar
 Guo, H, Chen, L: Timelimited pest control of a LotkaVolterra model with impulsive harvest. Nonlinear Anal., Real World Appl. 10, 840848 (2009) MATHMathSciNetView ArticleGoogle Scholar
 Jiang, G, Lu, Q, Qian, L: Complex dynamics of a Holling type II preypredator system with state feedback control. Chaos Solitons Fractals 31, 448461 (2007) MATHMathSciNetView ArticleGoogle Scholar
 Jiang, G, Lu, Q, Qian, L: Chaos and its control in an impulsive differential system. Chaos Solitons Fractals 34, 11351147 (2007) MATHMathSciNetView ArticleGoogle Scholar
 Mohamad, S, Gopalsamy, K, Akca, H: Exponential stability of artificial neural networks with distributed delays and large impulses. Nonlinear Anal., Real World Appl. 9, 872888 (2008) MATHMathSciNetView ArticleGoogle Scholar
 Pei, Y, Li, C, Chen, L, Wang, C: Complex dynamics of oneprey multipredator system with defensive ability of prey and impulsive biological control on predators. Adv. Complex Syst. 8, 483495 (2005) MATHMathSciNetView ArticleGoogle Scholar
 Shen, J, Li, J: Existence and global attractivity of positive periodic solutions for impulsive predatorprey model with dispersion and time delays. Nonlinear Anal., Real World Appl. 10, 227243 (2009) MATHMathSciNetView ArticleGoogle Scholar
 Wang, W, Shen, J, Nieto, JJ: Permanence and periodic solution of predatorprey system with Holling type functional response and impulse. Discrete Dyn. Nat. Soc. 2007, Article ID 81756 (2007) MathSciNetView ArticleGoogle Scholar
 Wei, C, Chen, L: A delayed epidemic model with pulse vaccination. Discrete Dyn. Nat. Soc. 2008, Article ID 746951 (2008) MathSciNetView ArticleGoogle Scholar
 Xia, Y: Positive periodic solutions for a neutral impulsive delayed LotkaVolterra competition system with the effect of toxic substance. Nonlinear Anal., Real World Appl. 8, 204221 (2007) MATHMathSciNetView ArticleGoogle Scholar
 Yan, J, Zhao, A, Nieto, JJ: Existence and global attractivity of positive periodic solution of periodic singlespecies impulsive LotkaVolterra systems. Math. Comput. Model. 40, 509518 (2004) MATHMathSciNetView ArticleGoogle Scholar
 Zeng, G, Wang, F, Nieto, JJ: Complexity of delayed predatorprey model with impulsive harvest and Holling type II functional response. Adv. Complex Syst. 11, 7797 (2008) MATHMathSciNetView ArticleGoogle Scholar
 Zhang, H, Chen, L, Nieto, JJ: A delayed epidemic model with stage structure and pulses for management strategy. Nonlinear Anal., Real World Appl. 9, 17141726 (2008) MATHMathSciNetView ArticleGoogle Scholar
 Zhang, H, Xu, W, Chen, L: An impulsive infective transmission SI model for pest control. Math. Methods Appl. Sci. 30, 11691184 (2007) MATHMathSciNetView ArticleGoogle Scholar
 Zhou, J, Xiang, L, Liu, Z: Synchronization in complex delayed dynamical networks with impulsive effects. Physica A 384, 684692 (2007) MathSciNetView ArticleGoogle Scholar
 Carter, TE: Necessary and sufficient conditions for optional impulsive rendezvous with linear equations of motions. Dyn. Control 10, 219227 (2000) MATHView ArticleGoogle Scholar
 Liu, X, Willms, AR: Impulsive controllability of linear dynamical systems with applications to maneuvers of spacecraft. Math. Probl. Eng. 2, 277299 (1996) MATHView ArticleGoogle Scholar
 Rabinowitz, PH: Minimax Methods in Critical Point Theory with Applications to Differential Equations. CBMS Reg. Conf. Ser. Math., vol. 65. Am. Math. Soc., Providence (1986) Google Scholar
 Tian, Y, Ge, W: Applications of variational methods to boundary value problem for impulsive ordinary differential equations. Proc. Edinb. Math. Soc. 51, 509527 (2008) MATHMathSciNetView ArticleGoogle Scholar
 Nieto, JJ, O’Regan, D: Variational approach to impulsive differential equations. Nonlinear Anal., Real World Appl. 10, 680690 (2009) MATHMathSciNetView ArticleGoogle Scholar
 Zhang, H, Li, ZX: Variational approach to impulsive differential equations with periodic boundary conditions. Nonlinear Anal., Real World Appl. 11, 6778 (2010) MATHMathSciNetView ArticleGoogle Scholar
 Zhang, ZH, Yuan, R: An application of variational methods to Dirichlet boundary value problem with impulses. Nonlinear Anal., Real World Appl. 11, 155162 (2010) MATHMathSciNetView ArticleGoogle Scholar
 Zhou, JW, Li, YK: Existence and multiplicity of solutions for some Dirichlet problems with impulsive effects. Nonlinear Anal. TMA 71, 28562865 (2009) MATHView ArticleGoogle Scholar
 Mawhin, J, Willem, M: Critical Point Theory and Hamiltonian Systems. Springer, New York (1989) MATHView ArticleGoogle Scholar