- Research
- Open access
- Published:

# Variational approach to impulsive differential system

*Advances in Difference Equations*
**volumeÂ 2015**, ArticleÂ number:Â 303 (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.

## 1 Introduction

In this paper, we deal with the following impulsive differential system of the form

where \(t_{0}=0< t_{1}< t_{2}<\cdots<t_{m}<t_{m+1}=T\), \(g,h\in L^{\infty}[0,T]\), \(f_{u},f_{v}:{\mathbb{R}}^{2}\rightarrow{\mathbb{R}}\) are continuous, and \(I_{k},J_{k}:{\mathbb{R}}\rightarrow{\mathbb{R}}\), \(k=1,2,\ldots,m\), are continuous.

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 [31], to the best of our knowledge, Tian and Ge firstly study the impulsive differential problem by variational method. They deal with the following problem:

and essentially prove that when *f* and \(I_{j}\) satisfy some conditions, problem (1.2) has at least two positive solutions via variational method.

Nieto and Oâ€™Regan [32] consider the impulsive linear problem

and the impulsive nonlinear problem

where \(d_{j}\) are constants, \(I_{j}:{\mathbb{R}}\rightarrow{\mathbb{R}}\), \(j=1,2,\ldots,p\), are continuous, \(f:[0,T]\times{\mathbb{R}}\rightarrow{\mathbb{R}}\) is continuous. They exhibit the variational formulations for problems (1.3) and (1.4) and establish the existence and multiplicity of solutions using standard results of critical point theory. For more results, we refer the reader to [33â€“35].

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.

Throughout the paper, we need the following conditions.

- (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 that

$$\bigl\vert f_{x}(x,y)\bigr\vert \leq a+b|x|^{\gamma_{1}}\quad \mbox{for every } (x,y)\in{\mathbb{R}}^{2} $$and

$$\bigl\vert f_{y}(x,y)\bigr\vert \leq a+b|y|^{\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 that

$$\bigl\vert I_{k}(u)\bigr\vert \leq a_{k}+b_{k}|u|^{\beta_{k}} \quad \mbox{for every } u\in{\mathbb{R}} $$and

$$\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

Let \(L^{p}[0,T]\) be the space formed by functions which are *p*-times integrable on \([0,T]\) under the norm

and \(C[0,T]\) be the space of all continuous functions on \([0,T]\) with the norm

In the Sobolev space \(H_{0}^{1}(0,T)\), we consider the inner conduct

and

which induce the corresponding norms

and

By PoincarÃ©â€™s inequality,

we easily obtain that the norms \(\|\cdot\|_{1}\) and \(\|\cdot\|_{2}\) are equivalent. Set \(X=H_{0}^{1}(0,T)\times H_{0}^{1}(0,T)\). In the Hilbert space *X*, for any \((u,v)\in X\), we set the norm

By (H_{1}), we also introduce the norm

We have the following results.

### 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

Since \(\alpha>-\lambda_{1}\), there exists \(c_{1}\in(0,1)\) such that \(-\alpha\leq\lambda_{1}(1-c_{1})\). Using PoincarÃ©â€™s inequality, we have

for any \(u\in H_{0}^{1}(0,T)\). Thus, we get

Moreover, one has

Thereby, the norm \(\|\cdot\|\) and the norm \(\|\cdot\|_{X}\) are equivalent.â€ƒâ–¡

### 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

For any \((u,v)\in X\), by the mean value theorem, there exists a constant \(\tau\in[0,T]\) such that

Furthermore, using HÃ¶lderâ€™s inequality and PoincarÃ©â€™s inequality, we have

Combining LemmaÂ 2.1 and (2.1), there exists \(c_{2}>0\) such that

Similarly, we can get

â€ƒâ–¡

In the following, we are concerned with problem (1.1) subject to impulses in the derivative at the prescribed instants \(t_{k}\), \(k=1,2,\ldots,m\). We are interested in the solution \((u,v)\) of problem (1.1) satisfying the impulse conditions

and

For \(u,v \in H^{2}(0,T)\), we have that *u*, *v*, \(u'\) and \(v'\) are both absolutely continuous. Meanwhile, \(u'',v''\in L^{2}(0,T)\). Hence, \(u'(t^{+})=u'(t^{-})\) and \(v'(t^{+})=v'(t^{-})\) for any \(t\in[0,T]\). If \(u,v\in H_{0}^{1}(0,T)\), then *u*, *v* are absolutely continuous and \(u',v'\in L^{2}(0,T)\). In this case, the one-sided derivatives \(u'(t^{+})\), \(u'(t^{-})\), \(v'(t^{+})\) and \(v'(t^{-})\) may not exist. Thus, we need to introduce a concept of solution which is different from a classical solution. We say that \((u,v)\) is a classical solution of problem (1.1) if it satisfies the corresponding equations a.e. on \([0,T]\), the limits \(u'(t_{k}^{+})\), \(u'(t_{k}^{-})\), \(v'(t_{k}^{+})\) and \(v'(t_{k}^{-})\), \(k=1,2,\ldots,m\), exist and (2.2), (2.3) hold.

Taking \((\varphi,\psi)\in X\) and multiplying the two sides of the equalities

and

by *Ï†* and *Ïˆ* respectively, then integrating from 0 to *T*, we have

and

The first terms of (2.4) and (2.5) are now

and

In connection with (2.4), (2.5), (2.6) and (2.7), we have

Based on equality (2.8), we introduce the concept of weak solution for problem (1.1). We say that a pair of functions \((u,v) \in X\) is a weak solution for problem (1.1) if identity (2.8) holds for any \((\varphi,\psi)\in X\). The corresponding energy functional Î¦ to problem (1.1) is defined by

Combining the continuity of \(f_{u}\), \(f_{v}\), \(I_{k}\) and \(J_{k}\), \(k=1,2,\ldots,m\), by standard arguments [30], we can show that the functional \(\Phi \in C^{1}(X,{\mathbb{R}})\). Furthermore, we have

Indeed, we reduce the problem of finding weak solutions of (1.1) to the one of seeking the critical points of the corresponding functional Î¦. To this end, we recall some known results from variational method. We say that a minimizing sequence for a functional \(F:X\rightarrow{\mathbb{R}}\) is a sequence \(\{(u_{i},v_{i})\}\) such that

### Lemma 2.3

[36]

*Let*
*X*
*be a reflexive Banach space and*
\(F:X\rightarrow{\mathbb{R}}\)
*be continuously FrÃ©chet*-*differentiable*. *If*
*F*
*is weakly lower semi*-*continuous 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Ã©chet*-*differentiable and weakly lower semi*-*continuous*.

### 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).

In the following, we prove that Î¦ is weakly lower semi-continuous. If \(\{(u_{i},v_{i})\}\subset X\) with \((u_{i},v_{i})\rightharpoonup(u,v)\), then, by LemmaÂ 2.2, we get that \(\{u_{i}\}\) and \(\{v_{i}\}\) converge uniformly to *u* and *v* on \([0,T]\) respectively. In connection with the fact that \(\liminf_{i\rightarrow\infty}\|(u_{i},v_{i})\|_{X} \geq\|(u,v)\|_{X}\), one has

This implies that the functional Î¦ is weakly lower semi-continuous.â€ƒâ–¡

### Proof of TheoremÂ 1.1

For any \((u,v)\in X\), using assumptions (H_{2}), (H_{3}) and LemmaÂ 2.2, we have

where \(A=\max\{a_{1},a_{2},\ldots,a_{k}\}\), \(B=\max\{b_{1},b_{2},\ldots,b_{k}\}\).

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

Let \(T=\pi\), \(t_{1}=1\). We consider the following problem with impulses:

First we can see that \(g(t)=1+t\), \(h(t)=t+t^{2}\), and \(\alpha=0 >-\frac {\pi^{2}}{T^{2}}\), then (H_{1}) holds. Next, taking \(a=\pi^{2}\), \(b=1\), \(\gamma _{1}=\frac{1}{2}\), and \(\gamma_{2}=\frac{1}{3}\), (H_{2}) holds. Finally, taking \(a_{1}=2\), \(b=1\), and \(\beta_{1}=\frac{1}{3}\), (H_{3}) holds. Then, by TheoremÂ 1.1, the impulsive problem (4.1) has at least one nontrivial solution.

## References

Haddad, WM, Chellaboina, C, Nersesov, SG, Stability, GS: Dissipativity and Control. Princeton University Press, Princeton (2006)

Lakshmikantham, V, Bainov, DD, Simeonov, PS: Theory of Impulsive Differential Equations. World Scientific, Singapore (1989)

Agarwal, RP, Franco, D, Oâ€™Regan, D: Singular boundary value problem for first and second order impulsive differential equations. Aequ. Math.

**69**, 83-96 (2005)Ahmad, B, Nieto, JJ: Existence and approximation of solutions for a class of nonlinear impulsive functional differential equations with anti-periodic boundary conditions. Nonlinear Anal. TMA

**69**, 3291-3298 (2008)Hernandez, E, Henriquez, HR, McKibben, MA: Existence results for abstract impulsive second-order neutral functional differential equations. Nonlinear Anal. TMA

**70**, 2736-2751 (2009)Li, J, Nieto, JJ, Shen, J: Impulsive periodic boundary value problems of first-order differential equations. J. Math. Anal. Appl.

**325**, 226-236 (2007)Luo, Z, Nieto, JJ: New results for the periodic boundary value problem for impulsive integro-differential equations. Nonlinear Anal. TMA

**70**, 2248-2260 (2009)Nieto, JJ: Basic theory for nonresonance impulsive periodic problems of first order. J. Math. Anal. Appl.

**205**, 423-433 (1997)Nieto, JJ, RodrÃguez-LÃ³pez, R: Periodic boundary value problem for non-Lipschitzian impulsive functional differential equations. J. Math. Anal. Appl.

**318**, 593-610 (2006)Samoilenko, AM, Perestyuk, NA: Impulsive Differential Equations. World Scientific, Singapore (1995)

Braverman, E, Zhukovskiy, S: The problem of a lazy tester, or exponential dichotomy for impulsive differential equations revisited. Nonlinear Anal. Hybrid Syst.

**2**, 971-979 (2008)Dai, B, Su, H, Hu, D: Periodic solution of a delayed ratio-dependent predator-prey model with monotonic functional response and impulse. Nonlinear Anal. TMA

**70**, 126-134 (2009)Del Pino, M, Elgueta, M, Manasevich, R: A homotopic deformation along

*p*of a Leray-Schauder degree result and existence for \((|u'|^{p-2}u')'+f(t,u)=0\), \(u(0)=u(T)=0\), \(p>1^{\ast}\). J. Differ. Equ.**80**, 1-13 (1989)Guo, H, Chen, L: Time-limited pest control of a Lotka-Volterra model with impulsive harvest. Nonlinear Anal., Real World Appl.

**10**, 840-848 (2009)Jiang, G, Lu, Q, Qian, L: Complex dynamics of a Holling type II prey-predator system with state feedback control. Chaos Solitons Fractals

**31**, 448-461 (2007)Jiang, G, Lu, Q, Qian, L: Chaos and its control in an impulsive differential system. Chaos Solitons Fractals

**34**, 1135-1147 (2007)Mohamad, S, Gopalsamy, K, Akca, H: Exponential stability of artificial neural networks with distributed delays and large impulses. Nonlinear Anal., Real World Appl.

**9**, 872-888 (2008)Pei, Y, Li, C, Chen, L, Wang, C: Complex dynamics of one-prey multi-predator system with defensive ability of prey and impulsive biological control on predators. Adv. Complex Syst.

**8**, 483-495 (2005)Shen, J, Li, J: Existence and global attractivity of positive periodic solutions for impulsive predator-prey model with dispersion and time delays. Nonlinear Anal., Real World Appl.

**10**, 227-243 (2009)Wang, W, Shen, J, Nieto, JJ: Permanence and periodic solution of predator-prey system with Holling type functional response and impulse. Discrete Dyn. Nat. Soc.

**2007**, Article ID 81756 (2007)Wei, C, Chen, L: A delayed epidemic model with pulse vaccination. Discrete Dyn. Nat. Soc.

**2008**, Article ID 746951 (2008)Xia, Y: Positive periodic solutions for a neutral impulsive delayed Lotka-Volterra competition system with the effect of toxic substance. Nonlinear Anal., Real World Appl.

**8**, 204-221 (2007)Yan, J, Zhao, A, Nieto, JJ: Existence and global attractivity of positive periodic solution of periodic single-species impulsive Lotka-Volterra systems. Math. Comput. Model.

**40**, 509-518 (2004)Zeng, G, Wang, F, Nieto, JJ: Complexity of delayed predator-prey model with impulsive harvest and Holling type II functional response. Adv. Complex Syst.

**11**, 77-97 (2008)Zhang, H, Chen, L, Nieto, JJ: A delayed epidemic model with stage structure and pulses for management strategy. Nonlinear Anal., Real World Appl.

**9**, 1714-1726 (2008)Zhang, H, Xu, W, Chen, L: An impulsive infective transmission SI model for pest control. Math. Methods Appl. Sci.

**30**, 1169-1184 (2007)Zhou, J, Xiang, L, Liu, Z: Synchronization in complex delayed dynamical networks with impulsive effects. Physica A

**384**, 684-692 (2007)Carter, TE: Necessary and sufficient conditions for optional impulsive rendezvous with linear equations of motions. Dyn. Control

**10**, 219-227 (2000)Liu, X, Willms, AR: Impulsive controllability of linear dynamical systems with applications to maneuvers of spacecraft. Math. Probl. Eng.

**2**, 277-299 (1996)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)

Tian, Y, Ge, W: Applications of variational methods to boundary value problem for impulsive ordinary differential equations. Proc. Edinb. Math. Soc.

**51**, 509-527 (2008)Nieto, JJ, Oâ€™Regan, D: Variational approach to impulsive differential equations. Nonlinear Anal., Real World Appl.

**10**, 680-690 (2009)Zhang, H, Li, ZX: Variational approach to impulsive differential equations with periodic boundary conditions. Nonlinear Anal., Real World Appl.

**11**, 67-78 (2010)Zhang, ZH, Yuan, R: An application of variational methods to Dirichlet boundary value problem with impulses. Nonlinear Anal., Real World Appl.

**11**, 155-162 (2010)Zhou, JW, Li, YK: Existence and multiplicity of solutions for some Dirichlet problems with impulsive effects. Nonlinear Anal. TMA

**71**, 2856-2865 (2009)Mawhin, J, Willem, M: Critical Point Theory and Hamiltonian Systems. Springer, New York (1989)

## 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).

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authorsâ€™ contributions

All authors contributed equally to the writing of this paper. All authors 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

Wu, Y., Liu, W. Variational approach to impulsive differential system.
*Adv Differ Equ* **2015**, 303 (2015). https://doi.org/10.1186/s13662-015-0641-1

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13662-015-0641-1