 Research
 Open access
 Published:
On {L}_{p}(k)equivalence of impulsive differential equations and its applications to partial impulsive differential equations
Advances in Difference Equations volume 2012, Article number: 144 (2012)
Abstract
By means of the SchauderTychonoff principle, {L}_{p}(k)equivalence are established between linear and nonlinear perturbed impulsive differential equations with an unbounded linear part in an arbitrary Banach space. The feasibility of our theoretical results is illustrated by an example involving partial impulsive differential equations of the parabolic type.
MSC:34A37, 35Q72, 47H10.
1 Introduction
Theory of impulsive differential equations has been emerging as an important area of investigation since these equations provide natural frameworks for describing many real life phenomena appearing in physics, chemical technology, population dynamics, and economics; see the remarkable monographs [1–3]. There have been significant contributions regarding the investigations of qualitative properties of solutions of such equations in the last three decades [4–12]. However, dealing with nonlinear impulsive differential equations have faced, as usual, several drawbacks that caused slackening progress of this theory.
One of the most important ways to investigate the asymptotic structure of two equations is to build asymptotic equivalence between their solutions. Establishing such equivalence enables researchers to comment on the asymptotic behavior of solutions of certain nonlinear equations by studying another linear equation whose solutions bear the same character. In spite of the fact that this way is of great significance in the theory of analysis, it has been less considered in the literature.
In this paper, we introduce the definition of {L}_{p}(k)equivalence between linear and nonlinear perturbed impulsive differential equations with an unbounded linear part in an arbitrary Banach space. By means of the SchauderTychonoff principle, sufficient conditions are established to guarantee the existence of such equivalence. To expose the feasibility of our theoretical results, an example involving partial impulsive differential equations of the parabolic type is provided. Similar problems but with different approaches regarding {L}_{p}(k)equivalence for impulsive differential equations were first reported in the papers [13–17].
2 Statement of the problem
Let \mathbb{X} be a Banach space with the norm \parallel \cdot \parallel and the identical operator I. By D(T)\subset \mathbb{X}, we will denote the domain of the operator T:D(T)\to \mathbb{X}.
Consider the following two impulsive differential equations:
and
where A(t):D(A(t))\to \mathbb{X} () and {Q}_{n}:D({Q}_{n})\to D(A({t}_{n})) are linear and possibly unbounded operators. The functions and {h}_{n}:\mathbb{X}\to \mathbb{X} are continuous where {\mathbb{R}}_{+}=[0,\mathrm{\infty}). The sets D(A(t)) and D({Q}_{n}) are dense in \mathbb{X}. The points of jumps {t}_{n} satisfy the conditions 0={t}_{0}<{t}_{1}<{t}_{2}<\cdots <{t}_{n}<\cdots with {lim}_{n\to \mathrm{\infty}}{t}_{n}=\mathrm{\infty}. We set {Q}_{0}=I and {h}_{0}(u)=0 (u\in \mathbb{X}).
Furthermore, we assume that all functions under consideration are left continuous and that there exists the Cauchy operator U(t,s) (0\le s\le t) of the linear equation
Sufficient conditions for the existence of U(t,s) can be found in [18, 19]. One can easily check that
is the Cauchy operator of the linear impulsive differential equation (1). We observe that the operator V(t,s) is bounded if one of the following conditions hold:
(B1) {Q}_{n}U({t}_{n},{t}_{n1}) are bounded operators, n=1,2,\dots .
(B2) U({t}_{n+1},{t}_{n}){Q}_{n} are bounded operators, n=1,2,\dots .
Lemma 1 Let one of the conditions (B 1) or (B 2) hold. Then the solution u(t) of the equation
satisfies the impulsive differential equation (2).
The proof of the above statement is straightforward and can be achieved by direct substitution.
Let the following condition be fulfilled:
(H) There exists continuous function such that
where 0\le s<t and \xi \in D(A(s)).
We introduce the following spaces:
and
with the norms
The following conditions are needed in the sequel:
(H1) There exists constant {M}_{1}>0 such that .
(H2) There exists constant {M}_{2}>0 such that .
Definition 1 Equation (2) is called {L}_{p}(k)equivalent to Eq. (1) in the nonempty, closed, and convex subset B of \mathbb{X} if there exists a convex and closed subset D of \mathbb{X} such that for any solution {u}_{1}(t) of (1) lying in the set B there exists a solution {u}_{2}(t) of (2) lying in the set B\cup D, and satisfying the relation {u}_{2}(t){u}_{1}(t)\in {L}_{p}(k).
If Eq. (2) is {L}_{p}(k)equivalent to Eq. (1) in the set B, and vice versa, we say that Eqs. (1) and (2) are {L}_{p}(k)equivalent in the set B.
By , we denote the linear set of all functions which are continuous for t\ne {t}_{n} (n=1,2,\dots), having left and right limits at points {t}_{n} and are left continuous. The set is a locally convex space with respect to the metric
The convergence with respect to this metric coincides with the uniform convergence on each bounded interval. For this space, an analogue of ArzellaAscoli’s theorem is valid.
Lemma 2 ([13])
The set is relatively compact if the intersections M(t)=\{m(t):m\in M\} are relatively compact for and M is equicontinuous on each interval ({t}_{n},{t}_{n+1}], n=0,1,2,\dots.
The proof of the above theorems is completed by applying the theorem of ArzellaAscoli on each interval ({t}_{n},{t}_{n+1}], n=0,1,2,\dots and constitutes a diagonal line sequence.
Let C be a nonempty subset of X. Set
We now have the following lemma.
Lemma 3 ([17])
Let C be a nonempty, convex, and closed subset of \mathbb{X}. Suppose an operator T transforms \tilde{C} into itself and is continuous and compact. Then T has a fixed point in \tilde{C}.
The proof of Lemma 3 follows by utilizing the fixedpoint principle of SchauderTychonoff.
The following lemmas are borrowed from [14].
Lemma 4 ([14])
Let the following conditions be fulfilled:

1.
Condition (B 1) (or (B 2)) holds.

2.
Conditions (H), (H 1), and (H 2) hold.
Then, for any function F\in {L}_{p}(k) and for any sequence H={\{{H}_{n}\}}_{n=1}^{\mathrm{\infty}}\in {l}_{p}(k), the linear nonhomogeneous impulsive differential equation
has a bounded solution u(t) for which
and
Lemma 5 ([14])
Let the following conditions be fulfilled:

1.
Condition (B 1) (or (B 2)) holds.

2.
Conditions (H) and (H 1) hold.
Then the operator {G}_{1} defined by the formula
maps {L}_{p}(k) into {L}_{p}(k) and the following estimate is valid:
where \frac{1}{p}+\frac{1}{q}=1.
Lemma 6 ([14])
Let the following conditions be fulfilled:

1.
Condition (B 1) (or (B 2)) holds.

2.
Conditions (H) and (H 2) hold.
Then the operator {G}_{2}, defined by the formula
maps {l}_{p}(k) into {L}_{p}(k) and the following estimate is valid:
where \frac{1}{p}+\frac{1}{q}=1.
3 The main results
Set
where {u}_{1}(t) is the solution of Eq. (1) and {u}_{2}(t) is the solution of Eq. (2).
Then {u}_{1}(t)=V(t,0){u}_{1}(0) and {u}_{2}(t) is solution of the linear nonhomogeneous impulsive differential equation (6) for F(t)=f(t,{u}_{2}(t)) and {H}_{n}={h}_{n}({u}_{2}({t}_{n})). Consequently,
We define the operator
Theorem 1 Let the following conditions be fulfilled:

1.
Condition (B 1) (or (B 2)) holds.

2.
Conditions (H), (H 1), and (H 2) hold.

3.
There exists a nonempty, convex, and closed subset D of X such that

4.
For any fixed {u}_{1}\in \tilde{B}, the following inclusions hold:
4.1 {\int}_{0}^{t}V(t,s)f(s,{u}_{1}(s)+u(s))\phantom{\rule{0.2em}{0ex}}ds\in {K}^{{u}_{1}}(t) (u\in \tilde{D}),
4.2 {\sum}_{0<{t}_{n}<t}V(t,{t}_{n}^{+}){h}_{n}({u}_{1}({t}_{n})+u({t}_{n}))\in {K}_{n}^{{u}_{1}} (u\in \tilde{D}), where {K}^{{u}_{1}}(t) is for any fixed and {K}_{n}^{{u}_{1}} is for any fixed n=1,2,\dots a compact subset of X.

5.
{sup}_{w\in \tilde{B}\cup \tilde{D}}\parallel f(t,w)\parallel \le F(t), for , where the function F(t) is continuous and F\in {L}_{p}(k).

6.
{sup}_{w\in \tilde{B}\cup \tilde{D}}{h}_{n}(w)\le {H}_{n}, for n=1,2,\dots, where the sequence H={\{{H}_{n}\}}_{n=1}^{\mathrm{\infty}}\in {l}_{p}(k).
Then Eq. (2) is {L}_{p}(k)equivalent to Eq. (1) in the set B and the following estimate is valid:
Proof We will prove that for each solution {u}_{1}(t) of Eq. (1) lying in the set B the operator T({u}_{1},u) has a fixed point u(t) such that {u}_{1}+u\in \tilde{B}\cup \tilde{D} and lies in {L}_{p}(k).
In view of condition 3 of Theorem 1, it follows that the operator T({u}_{1},u) defined by (13) maps the set
into itself for {u}_{1}\in \tilde{B}.
Let . We will show the equicontinuity of the functions in the set M. Let {t}^{\mathrm{\prime}}>{t}^{\mathrm{\prime}\mathrm{\prime}} and {t}^{\mathrm{\prime}},{t}^{\mathrm{\prime}\mathrm{\prime}}\in ({t}_{n},{t}_{n+1}]. It can be verified that
The continuity of the function V(t,s) on ({t}_{n},{t}_{n+1}], condition (H) and condition 5 of Theorem 1 imply the equicontinuity of the set M.
From condition 4 of Theorem 1 and (13), we deduce the compactness of the intersections M(t)=\{m(t):m\in M\} for . Consequently, from Lemma 2, it follows that the set M is compact.
We will show that the operator T({u}_{1},u) is continuous in . Let the sequence {\{{\tilde{u}}_{k}\}}_{k=1}^{\mathrm{\infty}}\subset \tilde{D} be convergent to the function \tilde{u}\in D in the metric of the space .
Then the sequence
tends to z(t)=f(t,{u}_{1}(t)+\tilde{u}(t)) for any and the sequence
tends to {\{v(n)\}}_{n=1}^{\mathrm{\infty}}={\{{h}_{n}({u}_{1}({t}_{n})+\tilde{u}({t}_{n}))\}}_{n=1}^{\mathrm{\infty}} coordinatewisely (n=1,2,\dots).
From conditions 5 and 6 of Theorem 1, it follows that
and
In virtue of the theorem of Lebesgue, we take the limit inside the integral and obtain that the sequence of functions {G}_{1}{z}_{k}(t) tends for to the function {G}_{1}z(t). On the other hand, by the analogue of the theorem of Lebesgue for the series, we obtain that the sequence of functions {G}_{2}({v}_{k}(n))(t) tends to the function {G}_{2}(v(n))(t). Since the functions
lie in a compact set, they also tend to the metric of the space .
In view of Lemma 3, it follows that for any {u}_{1}\in \tilde{B} the operator T({u}_{1},u) has a fixed point u\in \tilde{D}, that is, T({u}_{1},u)=u.
From conditions 5 and 6 of Theorem 1, Lemma 5, and Lemma 6, it follows that this fixed point u\in {L}_{p}(k) and the following estimate is valid:
where \frac{1}{p}+\frac{1}{q}=1. □
Remark 1 The case when the operator A(t) () is linear bounded and the sets B and D are balls is considered in [15].
We shall illustrate the effectiveness of Theorem 1 by constructing an example involving the partial impulsive differential equations. For more details on the general theory of partial impulsive differential equations, we suggest that the reader consults [20, 21].
4 An example
In this section, we consider linear and nonlinear perturbed partial impulsive differential equations. We transform these equations to ordinary impulsive differential equations with an unbounded linear operator and show that they satisfy the conditions of Theorem 1. More information regarding the theory of ordinary differential equations with an unbounded linear operator can be reached at [19].
Let Ω be a bounded domain with smooth boundary ∂ Ω in , Q=(0,\mathrm{\infty})\times \mathrm{\Omega}, and \mathrm{\Gamma}=(0,\mathrm{\infty})\times \partial \mathrm{\Omega}.
We denote
and
Consider the following linear impulsive parabolic initial value problem:
and the nonlinear perturbed impulsive parabolic initial value problem
where \tilde{A}(t,x,D)={\sum}_{\alpha \le 2m}{a}_{\alpha}(t,x){D}^{\alpha}, {\tilde{Q}}_{n}:D({\tilde{Q}}_{n})\to D(\tilde{A}({t}_{n},x,D)) (n=1,2,\dots) are linear operators and and are continuous functions.
Let (1\le p<\mathrm{\infty}), where
with the norm {v}_{p}={({\int}_{\mathrm{\Omega}}{v(x)}^{p}\phantom{\rule{0.2em}{0ex}}dx)}^{\frac{1}{p}}.
Along with the family \tilde{A}(t,x,D), of strongly elliptic operators, we associate a family of linear operators A(t), acting in X by
This is can be achieved as follows: D=D(A(t))={W}^{2m,p}(\mathrm{\Omega})\cap {W}_{0}^{m,p}(\mathrm{\Omega}), .
Let {v}_{i}\in X (i=1,2). We set
and
where {Q}_{n}:D({Q}_{n})\to D, D({Q}_{n})\subset X lie dense in X and are linear operators, and {h}_{n}:X\to X are continuous functions.
We claim that Eqs. (1) and (2) are {L}_{p}(k)equivalent. Let U(t,s) be the Cauchy operator of the linear equation (3).
Sufficient conditions for the validity of the estimate
can be found in [19].
Let {t}_{n}=n (n=1,2,\dots), \tilde{f}(t,x,{u}_{2})={e}^{\gamma t}sin{u}_{2}(t,x), {\tilde{h}}_{n}({u}_{2}({t}_{n},x))={e}^{\alpha n}\frac{1}{1+{u}_{2}^{2}({t}_{n},x)} and {\tilde{Q}}_{n}\xi =\frac{{e}^{{k}_{1}}}{C}{q}_{n}(n)\xi (), where the positive constants α, γ, and {k}_{1} satisfy k+{k}_{1}\alpha p>0, k+{k}_{1}\gamma p>0 and {k}_{1}>{2}^{\frac{1}{p}}Ck. The functions (n=1,2,\dots) are defined such that {q}_{n}(t)\le 1 for each .
Then
and
We shall find the function k(t,s) (0\le s\le t) of condition (H). Let 0<s\le m<n<t<n+1 and \xi \in D. Then the following estimate is valid
Set
For the constant {M}_{1} of condition (H1), we obtain
Hence,
For the constant {M}_{2} of condition (H2), we obtain
Hence,
Let r>0 and
We shall find the function {F}_{r+\rho}(t) and the sequence {H}_{r+\rho}={\{{H}_{n,r+\rho}\}}_{n=1}^{\mathrm{\infty}} so that conditions 5 and 6 of Theorem 1 are satisfied. We observe that
and
Hence, {F}_{r+\rho}(t)={e}^{\gamma t}(r+\rho ) and {H}_{n,r+\rho}={e}^{\alpha n}{\mu}^{\frac{1}{p}}(\mathrm{\Omega}).
It remains to show that {F}_{r+\rho}\in {L}_{p}(k) and {H}_{r+\rho}\in {l}_{p}(k). Indeed
and
Set {B}_{\sigma}=\{u\in X:{u}_{p}\le \sigma \}. We shall show that for any {u}_{1}(t)\in {B}_{r} (), the operator T({u}_{1},u) defined by (13) maps the set
into itself.
From (8), (13), and (16), we obtain
for each . Hence, the operator T({u}_{1},u) maps the set C(\rho ) into itself.
By means of a compactness criterion in [22], we shall prove condition 4.1. We observe that the set
is compact subset of X for any fixed . Indeed
and
and hence {m(t)(x)}_{p}\le N, where N is a positive constant.
We shall show that
This follows from the relations below
In a similar way, one can show the validity of condition 4.2. The conditions of Theorem 1 are fulfilled, and hence Eqs. (1) and (2) are in {L}_{p}(k)equivalent. Hence, every solution {u}_{1}(t,x) of (14) induces a solution {u}_{2}(t,x) of (15) such that the function \alpha (t)={u}_{1}(t,x){u}_{2}(t,x) lies in {L}_{p}(k) for any x\in \mathrm{\Omega}.
References
Lakshmikantham V, Bainov DD, Simeonov PS: Theory of Impulsive Differential Equations. World Scientific, Singapore; 1989.
Bainov DD, Covachev V: Impulsive Differential Equations with a Small Parameter. World Scientific, Singapore; 1994.
Samoilenko AM, Perestyuk NA: Differential Equations with Impulse Effect. World Scientific, Singapore; 1995.
Ahmad S, Stamov G: On the almost periodic processes in impulsive competitive systems with delay and impulsive perturbations. Nonlinear Anal., Real World Appl. 2009, 10(5):2857–2863. 10.1016/j.nonrwa.2008.09.003
Ahmad S, Stamov GT: Almost periodic solutions of n dimensional impulsive competitive systems. Nonlinear Anal., Real World Appl. 2009, 10(3):1846–1853. 10.1016/j.nonrwa.2008.02.020
Akhmet MU, Alzabut JO, Zafer A: Perron’s theorem for linear impulsive differential equations with distributed delay. J. Comput. Appl. Math. 2006, 193(1):204–218. 10.1016/j.cam.2005.06.004
Allegretto W, Papini D, Forti M: Common asymptotic behavior of solutions and almost periodicity for discontinuous delayed and impulsive networks. IEEE Trans. Neural Netw. 2010, 21(7):1110–1125.
Alzabut JO, Nieto JJ, Stamov GT: Existence and exponential stability of positive almost periodic solutions for a model of hematopoiesis. Bound. Value Probl. 2009., 2009: Article ID 127510
Bin L, Xinzhi L, Xiaoxin L: Robust stability of uncertain dynamical systems. J. Math. Anal. Appl. 2004, 290(2):519–533. 10.1016/j.jmaa.2003.10.035
Alwan MS, Liu X, Xie W: Existence, continuation, and uniqueness problems of stochastic impulsive systems with time delay. J. Franklin Inst. 2010, 347(7):1317–1333. 10.1016/j.jfranklin.2010.06.005
Zou L, Xiong Z, Shu Z: The dynamics of an ecoepidemic model with distributed time delay and impulsive control strategy. J. Franklin Inst. 2011, 348(9):2332–2349. 10.1016/j.jfranklin.2011.06.023
Li X, Rakkiyappan R, Balasubramaniam P: Existence and global stability analysis of equilibrium of fuzzy cellular neural networks with time delay in the leakage term under impulsive perturbations. J. Franklin Inst. 2011, 348(2):135–155. 10.1016/j.jfranklin.2010.10.009
Bainov DD, Kostadinov S, Zabreiko P:{L}_{p}equivalence of impulsive equations. Int. J. Theor. Phys. 1988, 27(11):1411–1424. 10.1007/BF00671319
Georgieva A:Properties of {L}_{p}(k)solutions of linear nonhomogeneous impulsive differential equations with unbounded linear operator. Anniversary International Conference REMIA 2010, 129–135.
Georgieva A, Kostadinov S:{L}_{p}equivalence between a linear and a nonlinear perturbed impulse differential equations with bounded linear part. J. Tech. Univ. Plovdiv, Fundam. Sci. Appl., Ser. A, Pure Appl. Math. 2007, 12: 33–42.
Georgieva A, Kostadinov S:{L}_{p}equivalence between two nonlinear impulse differential equations with unbounded linear parts and its application for partial impulse differential equations. Rostock. Math. Kolloqu. 2009, 64: 55–66.
Georgieva A, Kostadinov S:Sufficient conditions for the {L}_{p}equivalence between two nonlinear impulse differential equations. Turk. J. Math. 2008, 32: 451–466.
Krasnoselski, M, Zabreiko, P, Pustilnic, E, Sobolevski, P: Integrable Operators in Spaces of Integrable Functions. Moscow (1966) (in Russian)
Pazy A: Semigroups of Linear Operators. Springer, Berlin; 1983.
Erbe L, Freedman H, Liu X, Wu J: Comparison principle for impulsive parabolic equations with applications to models of single species growth. J. Aust. Math. Soc. Ser. B 1991, 32: 382–400. 10.1017/S033427000000850X
Xiao J, Nieto JJ: Variational approach to some damped Dirichlet nonlinear impulsive differential equations. J. Franklin Inst. 2011, 348(2):369–377. 10.1016/j.jfranklin.2010.12.003
Maurin K: Metody Przestrzeni Hilberta. Panstwowe Wydawnictwo Naukove, Warsaw; 1959. in Russian
Acknowledgements
The authors would like to express their sincere thanks to the editor, Professor Dr. Sandra Pinelas, for handling our paper during the reviewing process and to the referees for suggesting some corrections that helped make the contents of the paper more accurate.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors have achieved equal contributions to each part of this paper. All authors read and approved the final version of the manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Georgieva, A., Kostadinov, S., Stamov, G. et al. On {L}_{p}(k)equivalence of impulsive differential equations and its applications to partial impulsive differential equations. Adv Differ Equ 2012, 144 (2012). https://doi.org/10.1186/168718472012144
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718472012144