# On ${L}_{p}(k)$-equivalence of impulsive differential equations and its applications to partial impulsive differential equations

- A Georgieva
^{1}, - S Kostadinov
^{1}, - GT Stamov
^{2}and - JO Alzabut
^{3}Email author

**2012**:144

https://doi.org/10.1186/1687-1847-2012-144

© Georgieva et al.; licensee Springer 2012

**Received: **17 April 2012

**Accepted: **1 August 2012

**Published: **14 August 2012

## Abstract

By means of the Schauder-Tychonoff 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.

## Keywords

## 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 Schauder-Tychonoff 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}$.

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}$).

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}_{n-1})$ 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:

where $0\le s<t$ and $\xi \in D(A(s))$.

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*.

The convergence with respect to this metric coincides with the uniform convergence on each bounded interval. For this space, an analogue of Arzella-Ascoli’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 Arzella-Ascoli on each interval $({t}_{n},{t}_{n+1}]$, $n=0,1,2,\dots $ and constitutes a diagonal line sequence.

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 fixed-point principle of Schauder-Tychonoff.

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

where ${u}_{1}(t)$ is the solution of Eq. (1) and ${u}_{2}(t)$ is the solution of Eq. (2).

**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.
- 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}$),

*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)$.

into itself for ${u}_{1}\in \tilde{B}$.

*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 .

tends to ${\{v(n)\}}_{n=1}^{\mathrm{\infty}}={\{{h}_{n}({u}_{1}({t}_{n})+\tilde{u}({t}_{n}))\}}_{n=1}^{\mathrm{\infty}}$ coordinate-wisely ($n=1,2,\dots $).

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

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}$.

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.

with the norm ${|v|}_{p}={({\int}_{\mathrm{\Omega}}{|v(x)|}^{p}\phantom{\rule{0.2em}{0ex}}dx)}^{\frac{1}{p}}$.

*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})$, .

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

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}}C-k$. The functions
($n=1,2,\dots $) are defined such that $|{q}_{n}(t)|\le 1$ for each
.

Hence, ${F}_{r+\rho}(t)={e}^{-\gamma t}(r+\rho )$ and ${H}_{n,r+\rho}={e}^{-\alpha n}{\mu}^{\frac{1}{p}}(\mathrm{\Omega})$.

into itself.

for each . Hence, the operator $T({u}_{1},u)$ maps the set $C(\rho )$ into itself.

and hence ${|m(t)(x)|}_{p}\le N$, where *N* is a positive constant.

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}$.

## Declarations

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

## Authors’ Affiliations

## References

- Lakshmikantham V, Bainov DD, Simeonov PS:
*Theory of Impulsive Differential Equations*. World Scientific, Singapore; 1989.View ArticleMATHGoogle Scholar - Bainov DD, Covachev V:
*Impulsive Differential Equations with a Small Parameter*. World Scientific, Singapore; 1994.View ArticleMATHGoogle Scholar - Samoilenko AM, Perestyuk NA:
*Differential Equations with Impulse Effect*. World Scientific, Singapore; 1995.MATHGoogle Scholar - 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.003MathSciNetView ArticleMATHGoogle Scholar - 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.020MathSciNetView ArticleMATHGoogle Scholar - 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.004MathSciNetView ArticleMATHGoogle Scholar - 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.View ArticleGoogle Scholar - 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 127510Google Scholar - 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.035MathSciNetView ArticleMATHGoogle Scholar - 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.005MathSciNetView ArticleMATHGoogle Scholar - Zou L, Xiong Z, Shu Z: The dynamics of an eco-epidemic model with distributed time delay and impulsive control strategy.
*J. Franklin Inst.*2011, 348(9):2332–2349. 10.1016/j.jfranklin.2011.06.023MathSciNetView ArticleMATHGoogle Scholar - 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.009MathSciNetView ArticleMATHGoogle Scholar - Bainov DD, Kostadinov S, Zabreiko P:${L}_{p}$-equivalence of impulsive equations.
*Int. J. Theor. Phys.*1988, 27(11):1411–1424. 10.1007/BF00671319MathSciNetView ArticleGoogle Scholar - 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.Google Scholar - 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.Google Scholar - 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.MathSciNetMATHGoogle Scholar - Georgieva A, Kostadinov S:Sufficient conditions for the ${L}_{p}$-equivalence between two nonlinear impulse differential equations.
*Turk. J. Math.*2008, 32: 451–466.MathSciNetMATHGoogle Scholar - Krasnoselski, M, Zabreiko, P, Pustilnic, E, Sobolevski, P: Integrable Operators in Spaces of Integrable Functions. Moscow (1966) (in Russian)Google Scholar
- Pazy A:
*Semigroups of Linear Operators*. Springer, Berlin; 1983.MATHGoogle Scholar - 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/S033427000000850XMathSciNetView ArticleMATHGoogle Scholar - 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.003MathSciNetView ArticleMATHGoogle Scholar - Maurin K:
*Metody Przestrzeni Hilberta*. Panstwowe Wydawnictwo Naukove, Warsaw; 1959. in RussianMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.