Abstract
In this paper, we use the perturbation method and the mixed monotone iterative technique to discuss the existence of periodic solutions for impulsive evolution equations in ordered Banach spaces. Under impulsive functions satisfying broader monotone conditions and without assumption that the lower and upper solutions exist, we obtain the existence results of ω-periodic mild solutions. Moreover, an application is given to illustrate our theoretical results.
Similar content being viewed by others
1 Introduction
In this paper, by using the perturbation method and the monotone iterative technique, we discuss the periodic solutions for the impulsive evolution equation
in an ordered Banach space X, where \(A:D(A)\subset X\rightarrow X\) is a closed linear operator and −A generates a positive \(C_{0}\)-semigroup \(T(t)\) (\(t\geq0\)) in X; \(f:[0,+\infty)\times X\rightarrow X\) is a continuous function and f is ω-periodic about t. \(J=[0,\omega]\), ω is a constant; \(0< t_{1}< t_{2}<\cdots<t_{p}<\omega\). \(I_{k}:X\rightarrow X\) (\(k=1,2, \ldots,p\)) are impulsive functions. \(\Delta u|_{t=t_{k}}=u(t_{k}^{+})-u(t_{k}^{-})\) denotes the jump of \(u(t)\) at \(t=t_{k}\), where \(u(t_{k}^{+})\), \(u(t_{k}^{-})\) represent the right and left limits of \(u(t)\) at \(t=t_{k}\) (\(k\in\mathbf{N}\)), respectively.
Obviously, the periodic problem of impulsive evolution equation (1.1) is equal to the periodic boundary value problem of impulsive evolution equation (IPBVP) in J,
The study of impulsive differential equations is a new and important branch of differential equation theory for studying evolution processes of real life phenomena not only in natural sciences but also in social sciences such as climate, food supplement, insecticide population, sustainable development that are subjected to sudden changes at certain instants. The theory of impulsive differential equations has been emerging as an important area of investigation in the last few decades; see the monographs of Lakshmikantham et al. [1], Benchohra et al. [2] and the papers of Chen [3], Li and Liu [4], Yang [5] and Lan [6], where numerous properties of their solutions are studied and detailed bibliographies are given. Consequently, some basic results on impulsive differential equations have been obtained and the applications of the theory of impulsive differential equations to different areas have been considered by many authors, see [4, 7–19] and the references therein.
The monotone iterative method based on lower and upper solutions is an effective and flexible mechanism. This technique is that, for the considered problem, starting from a pair of ordered lower and upper solutions, one constructs two monotone sequences such that they uniformly converge to the extremal solutions between the lower and upper solutions. By using the method of lower and upper solutions and the monotone iterative technique, Du and Lakshmikantham [20], Sun and Zhao [21] studied the existence of solutions to initial value problem of ordinary differential equation without impulse. Later on, Guo and Liu [22], Li and Liu [4] developed the monotone iterative method for impulsive integro-differential equations. Wang and Wang [23] investigated monotone iterative techniques for abstract semilinear evolution equations. Under the condition that the impulsive function is monotone increasing on the order interval, Chen and Mu [24] and Chen and Li [25] discussed the impulsive evolution equations with classical initial conditions.
Luo et al. [15] established a monotone iterative method for the antiperiodic boundary value problem of the first-order impulsive ordinary differential equations
where the impulsive functions \(I_{k}\) (\(k=1,2,\ldots,p\)) are nondecreasing. By applying the lower and upper solution method and the monotone iterative technique, the author obtained the existence of solutions for problem (1.3).
Ahmad and Nieto [26] applied the method of quasilinearization to obtain monotone sequences of approximate solutions converging uniformly and quadratically to the unique solution of the following impulsive anti-periodic problem:
Suppose that impulsive functions \(I_{k}\) (\(k=1,2,\ldots,p\)) satisfied \(-1\leq I'_{k}(\cdot)\leq0\) with \(I''_{k}(\cdot)\geq0\).
Recently, Chen [3] discussed the existence of solutions to the impulsive periodic boundary value problem in an ordered Banach space X,
Assume that problem (1.4) has coupled lower and upper L-quasisolutions \(v_{0}\) and \(w_{0}\) with \(v_{0}\leq w_{0}\). Suppose that impulsive functions \(I_{k}\) (\(k=1,2,\ldots,p\)) are satisfied
for any \(t\in J\) and \(v_{0}(t)\leq u_{1} \leq u_{2} \leq w_{0}(t)\), \(v_{0}(t)\leq v_{2} \leq v_{1} \leq w_{0}(t)\).
Shao and Zhang [27] investigated the periodic solutions for the impulsive evolution equation
where the impulsive functions satisfied the monotone condition \(\forall t\in[0,\omega]\), \(v_{0}(t)\leq x_{1}\leq x_{2}\leq w_{0}(t)\),
In this paper, we consider the existence of ω-periodic mild solutions for the impulsive evolution equation (1.2) by means of the perturbation method and the mixed monotone iterative technique. In the previous results in the related literature, the impulsive functions were considered as nondecreasing functions, which were not easy to satisfy. To our knowledge, there are very few papers to study the periodic boundary value problem of impulsive evolution equation under the impulsive functions satisfying quasimonotonicity. In this paper, we assume that the impulsive functions satisfy quasimonotonicity, which will compensate for the lack in this area. Applying \(A = 0\), our results improve and extend the evolution equations without impulse and some relevant results in ordinary differential equations.
2 Preliminaries
Let X be a Banach space, \(A : D(A)\subset X\rightarrow X\) be a closed linear operator and −A generate a \(C_{0}\)-semigroup \(T(t)\) (\(t\geq0\)) in X. Then there exist constants \(M>0\) and \(\nu\in\mathbf{R}\) such that
and \(\nu_{0}\) can also be expressed by \(\nu_{0}=\limsup_{t\rightarrow+\infty}\frac{\ln\|T(t)\|}{t}\), then \(\nu_{0}\) is called a growth index of the \(C_{0}\)-semigroup \(T(t)\) (\(t\geq0\)). If \(\nu_{0}<0\), then \(T(t)\) (\(t\geq0\)) is called an exponentially stable \(C_{0}\)-semigroup.
Let \(T(t)\) (\(t\geq0\)) be an exponentially stable \(C_{0}\)-semigroup, for \(\forall\nu\in(0, |\nu_{0}|)\), by the definition of \(\nu_{0}\), we have \(\exists M\geq1\),
We define an equivalent norm in X by
then \(\|x\|\leq|x|\leq M\|x\|\). Respectively, \(|T(t)|\) is the norm of the operator \(T(t)\) in space \((X, {|\cdot|})\). By (2.2), we have
and \(|T(\omega)|\leq e^{-\nu\omega}<1\).
Lemma 2.1
[28]
Let \(T(t)\) (\(t\geq0\)) be an exponentially stable \(C_{0}\)-semigroup, then the operator \(I-T(\omega)\) has a bounded inverse operator \((I-T(\omega) )^{-1}\) and satisfies the inequality
Let X be an ordered Banach space with the norm \(\|\cdot\|\) and partial order ‘≤’, whose positive cone \(K=\{x\in X \mid x\geq \theta\}\) is normal with normal constant N. \(J=[0,\omega]\), ω is a constant. Let \(C(J,X)\) denote the Banach space of all continuous X-value functions on interval J with the norm \(\|u\|_{C}=\max_{t\in J}\|u(t)\|\). Then \(C(J,X)\) is an ordered Banach space induced by the convex cone \(K_{C}= \{u\in C(J,X)\mid u(t)\geq0, t\in J\}\), and \(K_{C}\) is also a normal cone.
Let \(J'=J\setminus\{t_{1}, t_{2}, \ldots, t_{p}\}\), \(J''=J\setminus\{0, t_{1}, t_{2}, \ldots, t_{p}\}\). Let \(J_{1}=[t_{0}, t_{1}]\), \(J_{k}=(t_{k-1}, t_{k}]\), \(k=2,3, \ldots, p+1\), where \(t_{0}=0\), \(t_{p+1}=\omega\). Evidently, \(\mathit{PC}(J,X)\) = {\(u:J\rightarrow X \mid u(t)\) is continuous in \(J'\) and left continuous at \(t_{k}\), and \(u(t_{k}^{+}) \) exists, \(k=1,2,\ldots,p\)}. \(\mathit{PC}(J,X)\) is a Banach space with the norm \(\|\cdot\|_{\mathit{PC}}=\sup_{t\in J}\|u(t)\|\). Evidently, \(\mathit{PC}(J,X)\) is also an ordered Banach space with the partial order ‘≤’ induced by the positive cone \(K_{\mathit{PC}}=\{u\in \mathit{PC}(J,X) \mid u(t)\geq\theta,t\in J\}\). \(K_{\mathit{PC}}\) is normal with the same normal constant N. For \(v, w\in \mathit{PC}(J,X)\) with \(v\leq w\), we use \([v, w]\) to denote the order interval \(\{u\in \mathit{PC}(J,X)\mid v\leq u\leq w\}\) in \(\mathit{PC}(J, X)\), and \([v(t), w(t)]\) to denote the order interval \(\{u\in X\mid v(t)\leq u(t)\leq w(t), t\in J\}\) in X. We use \(X_{1}\) to denote the Banach space \(D(A)\) with the graph norm \(\|\cdot\|_{1}= \|\cdot\|+\|A\cdot\|\).
Definition 2.2
If functions \(v_{0}\in \mathit{PC}(J,X)\cap C^{1}(J'',X)\cap C(J',X_{1})\) satisfy
we call \(v_{0}\) a lower solution of IPBVP (1.2); if all the inequalities of (2.5) are inverse, we call it an upper solution of IPBVP (1.2).
3 Linear impulsive evolution equation
Let \(I_{0} = [t_{0}, T]\). Denote by \(C(I_{0},X)\) the Banach space of all continuous X-value functions on interval \(I_{0}\) with the norm \(\|u\|_{C}=\max_{t\in I_{0}}\|u(t)\|\). It is well known [29] that for any \(x_{0} \in D(A)\) and \(h \in C^{1}(I_{0},X)\), the initial value problem (IVP) of linear evolution equation
has a unique classical solution \(u \in C^{1}(I_{0},X)\cap C(I_{0},X_{1})\) expressed by
If \(x_{0} \in X\) and \(h \in C(I_{0},X)\), the function u given by (3.2) belongs to \(C(I_{0},X)\). We call it a mild solution of IVP(3.1). For any \(h \in \mathit{PC}(J,X)\), we consider the periodic boundary value problem of linear impulsive evolution equation (LIPBVP) in X,
where \(a_{k}\) is constant, \(e_{k}\in X\), \(k=1,2,\ldots,p\).
Theorem 3.1
Let X be a Banach space, −A generate an exponentially stable \(C_{0}\)-semigroup \(T(t)\) (\(t\geq0\)) in X and \(\nu_{0}\) be a growth index of the semigroup \(T(t)\). If \(\frac{1}{\omega}\sum_{k=1}^{p}\ln(1-a_{k})<-\nu_{0}\), for any \(h \in \mathit{PC}(J,X)\), \(a_{k}<1\) is constant and \(e_{k}\in X\), \(k=1,2,\ldots,p\), LIPBVP (3.3) has a unique mild solution \(u \in \mathit{PC}(J,X)\) given by
where \(t_{j}< t\) (\(j=0,1,2, \ldots, p\)) is the nearest point of t, \(j=\max\{k \mid 0< t_{k}< t\}\) and
Proof
Let \(J_{1}=[t_{0}, t_{1}]\), \(J_{k}=(t_{k-1}, t_{k}]\), \(k=2,3, \ldots, p+1\), where \(t_{0}=0\), \(t_{p+1}=\omega\). For any \(h \in \mathit{PC}(J,X)\), we first show that the initial value problem of linear impulsive evolution equation
Let \(t\in J_{1}=[t_{0},t_{1}]\), equation (3.5) is equivalent to the initial value problem of linear evolution equation
Then (3.6) has a unique mild solution \(u_{1}\in C(J_{1},X)\) given by
Especially, we have
Let \(t\in J_{2}=(t_{1},t_{2}]\), equation (3.5) is equivalent to the initial value problem of linear evolution equation
Combining with (3.7), then (3.8) has a unique mild solution \(u_{2}\in C(J_{2},X)\) expressed by
Particularly, we have
Similarly, let \(t\in J_{k}=(t_{k-1},t_{k}]\) (\(k=3,4, \ldots, p+1\)), where \(t_{p+1}=\omega\), equation (3.5) is equivalent to the initial value problem of linear evolution equation
Then (3.9) has a unique mild solution \(u_{k}\in C(J_{k},X)\) expressed by
where \(t_{j}< t\) (\(j=0,1,2, \ldots, p\)) is the nearest point of t, \(j=\max\{k \mid 0< t_{k}< t\}\).
Let
Inversely, the function \(u \in \mathit{PC}(J,X)\) defined by (3.10) is a unique mild solution of the initial value problem of linear evolution equation (3.5).
Next,we show that LIPBVP (3.3) has a unique mild solution \(u\in \mathit{PC}(J,X)\) given by (3.4). If a function \(u\in \mathit{PC}(J,X)\) defined by (3.10) is a solution of LIPBVP (3.3), then \(x_{0} = u(\omega)\), namely
For \(\forall\nu\in(0, -\nu_{0})\), by Lemma 2.1, since \(r (\prod_{k=1}^{p}(1-a_{k})T(\omega) )\leq\prod_{k=1}^{p}|1-a_{k}|e^{-\nu\omega}\), and \(\frac{1}{\omega}\sum_{k=1}^{p}\ln(1-a_{k})<-\nu_{0}\), \(a_{k}<1\), by the arbitrary of ν, we have \(r (\prod_{k=1}^{p}(1-a_{k})T(\omega) )\leq\prod_{k=1}^{p}(1-a_{k})e^{\nu_{0}\omega}<1\), and \(I - \prod_{k=1}^{p}(1-a_{k})T(\omega)\) has a bounded inverse operator. From (3.11), we choose
Combining (3.12) with (3.10), we obtain that the function \(u(t)\in \mathit{PC}(J,X)\) given by (3.4) is a unique mild solution of LIBPVP (3.3) on J and the operator \(Q_{1}:\mathit{PC}(J,X)\rightarrow \mathit{PC}(J,X)\) is a continuous operator. So, the conclusion of Theorem 3.1 holds. □
Remark 3.2
In Theorem 3.1, let X be an ordered Banach space, −A generate a positive \(C_{0}\)-semigroup \(T(t)\) (\(t\geq0\)) in X and \(\nu_{0}\) be a growth index of the semigroup \(T(t)\). If \(\frac{1}{\omega}\sum_{k=1}^{p}\ln(1-a_{k})<-\nu_{0}\), for any \(h \geq\theta\), \(a_{k}<1\) is constant and \(e_{k}\geq\theta \), \(k=1,2,\ldots,p\), then the solution operator \(Q_{1}\) of LIPBVP (3.3) is a positive operator.
4 Proof of the main results
Theorem 4.1
Let X be an ordered Banach space, whose positive cone K is normal, and \(N_{0}\) be the normal constant. Let \(A : D(A)\subset X \rightarrow X\) be a closed linear operator and −A generate a compact and positive \(C_{0}\)-semigroup \(T(t)\) (\(t\geq0\)) in X. \(f\in C(J\times X, X) \) is ω-periodic about t, \(I_{k}\in C(X, X)\), \(k=1,2, \ldots,p\). Assume that IPBVP (1.2) has lower and upper solutions \(v_{0}\) and \(w_{0}\) with \(v_{0}(t)\leq w_{0}(t)\) (\(t\in J\)). Suppose that the following conditions are satisfied:
- (P1):
-
There exists a constant \(C\geq0\) such that
$$f(t,x_{2})-f(t,x_{1})\geq-C(x_{2}-x_{1}), \quad t\in J, $$for \(\forall t\in J\), \(v_{0}(t)\leq x_{1}\leq x_{2}\leq w_{0}(t)\).
- (P2):
-
\(\exists0\leq N_{k}<1\), for \(\forall t\in J\), \(v_{0}(t)\leq x_{1}\leq x_{2}\leq w_{0}(t)\), impulsive functions \(I_{k}\) satisfy
$$I_{k}(x_{2})-I_{k}(x_{1}) \geq-N_{k}(x_{2}-x_{1}),\quad k=1,2,\ldots,p. $$
Then IPBVP (1.2) has minimal and maximal ω-periodic mild solutions \(\underline{u}\) and u̅ between \(v_{0}\) and \(w_{0}\), which can be obtained by monotone iterative sequences starting from \(v_{0}\) and \(w_{0}\).
Proof
Define \(D=[v_{0},w_{0}]\). For \(\forall h\in D\), we consider the periodic boundary value problem of linear impulsive evolution equation (LIPBVP) in X,
where \(\forall t\in[0,\omega]\), define \(t_{j}< t\) (\(j=0,1,2, \ldots, p\)) is the nearest point of t, \(j=\max\{k\mid0< t_{k}< t\}\), \(f_{1}(t,x)=f(t,x)+Cx\).
Let \(C>\nu_{0}\), \(-(A+CI)\) generate an exponentially stable, compact and positive \(C_{0}\)-semigroup \(S(t)=e^{-Ct}T(t)\) (\(t\geq0\)) in X, whose growth index is \(-C+\nu_{0}\). Since \(C>\nu_{0}\), \(0\leq N_{k}<1\), so
From Theorem 3.1, LIPBVP (4.1) has a unique mild solution \(u \in \mathit{PC}(J,X)\) given by
where
Since f and \(I_{k}\) are continuous, so \(Q_{2}:D\rightarrow \mathit{PC}(J,X)\) is continuous.
Clearly, the ω-periodic mild solutions of IPBVP (1.2) are equivalent to the fixed points of operator \(Q_{2}\).
(i) We show \(Q_{2}:D\rightarrow \mathit{PC}(J,X)\) is an increasing operator.
In fact, for \(\forall h_{1}, h_{2}\in D\) and \(h_{1}\leq h_{2}\), from the assumptions (P1) and (P2), we have
and
Since \(S(t)\) is an exponentially stable and positive \(C_{0}\)-semigroup, combining this with (4.2), then \([I-\prod_{k=1}^{p}(1-N_{k})S(\omega) ]\) has a bounded inverse operator and it can be expressed that \((I-\prod_{k=1}^{p}(1-N_{k})S(\omega ) )^{-1} =\sum_{n=0}^{\infty} (\prod_{k=1}^{p}(1-N_{k}) )^{n}S(n\omega)\). Obviously, the operator \((I-\prod_{k=1}^{p}(1-N_{k})S(\omega) )^{-1}\) is a positive operator. Hence, we have
and
Namely, \(B_{2}(h_{1})\leq B_{2}(h_{2})\). Thus we obtain the inequality \(\prod_{k:0< t_{k}< t}(1-N_{k})S(t)B_{2}(h_{1})\leq \prod_{k:0< t_{k}< t}(1-N_{k})S(t)B_{2}(h_{2})\). Combining this with (4.3), we have \(Q_{2}(h_{1})\leq Q_{2}(h_{2})\).
(ii) We show \(v_{0}\leq Q_{2}(v_{0})\), \(Q_{2}(w_{0})\leq w_{0}\).
Let
from the definition of \(v_{0}\), we have
By Theorem 3.1, (4.4) and (4.5), we have
where
Particularly,
By (4.4) and (4.6), then \(v_{0}(0)=B_{3}(\overline{h})\). Combining \(v_{0}(0)\leq v_{0}(\omega)\) with (4.7), we have
On the other hand, from (4.3), then
namely \(v_{0}(t)\leq Q_{2}(v_{0})(t)\). Similarly, it can be shown that \(Q_{2}(w _{0})(t)\leq w_{0}(t)\). Therefore, \(Q_{2}:[v_{0},w_{0}]\rightarrow[v_{0},w_{0}]\) is a continuously increasing operator.
(iii) Next, we will prove that the operator \(Q_{2}\) has fixed points on \([v_{0},w_{0}]\).
Now, we define two sequences \(\{v_{n} \}\) and \(\{ w_{n} \}\) by the iterative scheme
Then from the monotonicity of operator \(Q_{2}\) it follows that
Next, we prove that \(\{v_{n} \}\) and \(\{w_{n} \}\) are convergent in J. Let \(G= \{v_{n}\mid n\in\mathbf{N} \}\), \(G_{0}= \{v_{n-1}\mid n\in\mathbf{N} \}\), then \(G_{0}= \{v_{0} \}\cup G\) and \(G=Q_{2}(G_{0})\). For any \(v_{n-1}\in G_{0}\), let
then \(Q_{2}(v_{n-1})(t)=\prod_{k:0< t_{k}< t}(1-N_{k})S(t)B_{2}(v_{n-1})+W(v_{n-1})(t)\). First, we will prove that for any \(0< t<\omega\), \(Y(t)\stackrel{\mathrm{def}}{=} \{ W(v_{n-1})(t)\mid v_{n-1}\in G_{0} \}\) is relatively compact in X. Let \(0<\epsilon<t\), \(\overline{j}=\max \{k\mid0< t_{k}< t-\epsilon\}\) and
By assumption (P1) we know that
Since \(f(t,v_{0}(t))\) and \(f(t,w_{0}(t))\) are continuous in the compact set \([0,\omega]\), so their image sets are compact sets in X, namely image sets are bounded. Combining this fact with the normality of cone K in X, we have \(\exists M_{1}>0\), \(\forall v_{n-1}\in G_{0}\),
By assumption (P2) we know that
By the normality of cone K in X, there exists \(M_{2}>0\) such that
Combining (4.12) with the compactness of \(S(\epsilon)\), then \(Y_{\epsilon}(t)=\{W_{\epsilon}(v_{n-1})(t)\mid v_{n-1}\in G_{0}\}\) is a relatively compact set in X. Let \(J_{1}=[t_{0}, t_{1}]\), \(J_{k}=(t_{k-1}, t_{k}]\), \(k=2,3, \ldots, p+1\), where \(t_{0}=0\), \(t_{p+1}=\omega\). For sufficiently small ϵ and t, \(t-\epsilon\in J_{k}\) (\(k=1,2,\ldots,p+1\)), then \(j=\overline{j}\) and
hence \(Y(t)\) is a totally bounded set in X, thus it is a relatively compact set. Especially, by the compactness of \(Y(\omega)\) and the relative compactness of \(\{ B_{2}(v_{n-1})\mid v_{n-1}\in G_{0} \} = (I-\prod_{k=1}^{p}(1-N_{k})S(\omega) )^{-1}Y(\omega)\) in X, we know that \(\{(\prod_{k:0< t_{k}< t}(1-N_{k}))S(t)B_{2}(v_{n-1})\mid v_{n-1}\in G_{0} \}\) is a relatively compact set.
Noticing
and \(Q_{2}(v_{n-1})(0)=B_{2}(v_{n-1})\), considering
then \(Q_{2}(v_{n-1})(0)=Q_{2}(v_{n-1})(\omega)=B_{2}(v_{n-1})\), namely \(\{Q_{2}(v_{n-1})(0)\mid v_{n-1}\in G_{0} \}=B_{2}(G_{0})\) is relatively compact.
Therefore, \(\{v_{n}(t) \}= \{Q_{2}(v_{n-1})(t)\mid v_{n-1}\in G_{0},t\in J \}\) is relatively compact in X. Combining this fact with the monotonicity of \(\{v_{n} \}\), we easily prove that \(\{v_{n}(t) \}\) is convergent. Let \(\{v_{n}(t) \}\rightarrow\underline{u}(t)\) in \(t\in J\).
The same idea can be used to prove that \(\{w_{n}(t) \} \rightarrow\overline{u}(t)\) in \(t\in J\).
Evidently \(\{v_{n}(t) \}, \{w_{n}(t) \}\in \mathit{PC}(J,X)\), so \(\underline{u}(t)\) and \(\overline{u}(t)\) are bounded integrable in \(J_{k}\) (\(k=1,2,\ldots,p\)). Since for any \(t\in J_{k}\), \(v_{n}(t)=Q_{2}(v_{n-1})(t)\), \(w_{n}(t)=Q_{2}(w_{n-1})(t)\), letting \(n\rightarrow\infty\), by the Lebesgue dominated convergence theorem, we have \(\underline{u}(t)=Q_{2}(\underline{u})(t)\), \(\overline {u}(t)=Q_{2}(\overline{u})(t)\) and \(\underline{u}(t),\overline{u}(t)\in \mathit{PC}(J,X)\). Combining this with monotonicity (4.10), we have \(v_{0}(t)\leq\underline{u}(t)\leq\overline{u}(t)\leq w_{0}(t)\).
Next, we prove that \(\underline{u}(t)\) and \(\overline{u}(t)\) are the minimal and maximal fixed points of \(Q_{2}\) in \([v_{0},w_{0}]\), respectively. In fact, for any \(u^{\ast}\in[v_{0},w_{0}]\), \(Q_{2}(u^{\ast})=u^{\ast}\), we have \(v_{0}\leq u^{\ast}\leq w_{0}\), and \(v_{1}=Q_{2}(v_{0})\leq Q_{2}(u^{\ast})=u^{\ast}\leq Q_{2}(w_{0})= w_{1}\). Continuing such progress, we get \(v_{n}\leq u^{\ast}\leq w_{n}\). Letting \(n\rightarrow\infty\), we get \(\underline{u}(t)\leq u^{\ast}\leq\overline{u}(t)\). Therefore, \(\underline{u}(t)\) and \(\overline{u}(t)\) are the minimal and maximal ω-periodic mild solutions of IPBVP (1.2) between \(v_{0}\) and \(w_{0}\), which can be obtained by monotone iterative sequences starting from \(v_{0}\) and \(w_{0}\), respectively. This completes the proof of Theorem 4.1. □
Remark 4.2
In [15], the impulsive functions are required to be ordered increasing; therefore, Theorem 4.1 in this paper extensively generalizes the main results in [15].
Theorem 4.3
Let X be an ordered Banach space whose positive cone K is regular, \(A : D(A)\subset X \rightarrow X\) be a closed linear operator and −A generate a positive \(C_{0}\)-semigroup \(T(t)\) (\(t\geq0\)) in X. \(f\in C(J\times X, X) \) and f is ω-periodic about t, \(I_{k}\in C(X, X)\), \(k=1,2,\ldots,p\). Assume that IPBVP (1.2) has coupled lower and upper solutions \(v_{0}\) and \(w_{0}\) with \(v_{0}(t)\leq w_{0}(t)\) (\(t\in J\)), and conditions (P1) and (P2) are satisfied, then IPBVP (1.2) has minimal and maximal ω-periodic mild solutions \(\underline{u}\) and u̅ between \(v_{0}\) and \(w_{0}\), which can be obtained by monotone iterative sequences starting from \(v_{0}\) and \(w_{0}\).
Proof
From Theorem 4.1 we know that \(Q_{2}:[v_{0},w_{0}]\rightarrow[v_{0},w_{0}]\) is a continuously increasing operator. Similarly, the two sequences \(\{v_{n}(t) \}\) and \(\{w_{n}(t) \}\) are defined in \([v_{0},w_{0}]\) by the iterative scheme (4.9). By conditions (P2), then \(\{v_{n}(t) \}\) and \(\{w_{n}(t) \}\) are ordered-monotonic and ordered-bounded sequences in X.
Using the regularity of the cone K, any ordered-monotonic and ordered-bounded sequence in X is convergent. So, \(\{v_{n}(t) \}\) and \(\{w_{n}(t) \}\) are convergent, namely \(\exists v^{\ast}(t), w^{\ast}(t)\), \(v_{n}(t)\rightarrow v^{\ast}(t)\), \(w_{n}(t)\rightarrow w^{\ast}(t)\) in \(t\in J^{\prime}\), where \(v^{\ast}(t)\), \(w^{\ast}(t)\) are bounded and strongly measurable. Combining (4.3) with \(v_{n}=Q_{2}(v_{n-1})\), let \(C>\nu_{0}\), noticing \(S(t)=e^{-Ct}T(t)\) (\(t\geq0\)) is an exponentially stable and positive \(C_{0}\)-semigroup in X, letting \(n\rightarrow\infty\), by the Lebesgue dominated convergence theorem, we have \(v^{\ast}(t)=Q_{2}(v^{\ast})(t)\in \mathit{PC}(J,X)\).
Similarly, we prove that \(w^{\ast}(t)\in \mathit{PC}(J,X)\) and \(w^{\ast }(t)=Q_{2}(w^{\ast})(t)\).
By (4.10), we know \(v_{0}(t)\leq v^{\ast}(t)\leq w^{\ast}(t)\leq w_{0}(t)\).
Similar to the proof of Theorem 4.1, we know that \(\underline{u}(t)\) and \(\overline{u}(t)\) are the minimal and maximal ω-periodic mild solutions of IPBVP (1.2) between \(v_{0}\) and \(w_{0}\), which can be obtained by monotone iterative sequences starting from \(v_{0}\) and \(w_{0}\), respectively. This completes the proof of Theorem 4.3. □
Corollary 4.4
Let X be an ordered and weakly sequentially complete Banach space, whose positive cone K is normal, \(A : D(A)\subset X \rightarrow X\) be a closed linear operator and −A generate a positive \(C_{0}\)-semigroup \(T(t)\) (\(t\geq0\)) in X. \(f\in C(J\times X, X) \) and f is ω-periodic about t, \(I_{k}\in C(X, X)\), \(k=1,2, \ldots ,p\). Assume that IPBVP (1.2) has lower and upper solutions \(v_{0}\) and \(w_{0}\) with \(v_{0}(t)\leq w_{0}(t)\) (\(t\in J\)), and conditions (P1) and (P2) are satisfied, then IPBVP (1.2) has minimal and maximal ω-periodic mild solutions \(\underline{u}\) and u̅ between \(v_{0}\) and \(w_{0}\), which can be obtained by monotone iterative sequences starting from \(v_{0}\) and \(w_{0}\).
Proof
In an ordered and weakly sequentially complete Banach space, the normal cone K is regular. Then the proof is complete. □
Next, we discuss the existence of the ω-periodic mild solutions of IPBVP (1.2), when the lower and upper solutions of IPBVP (1.2) do not exist.
Theorem 4.5
Let X be an ordered Banach space, whose positive cone K is normal, \(A : D(A)\subset X \rightarrow X\) be a closed linear operator and −A generate an exponentially stable, compact and positive \(C_{0}\)-semigroup \(T(t)\) (\(t\geq0\)) in X. \(f\in C(J\times X, X)\) and f is ω-periodic about t, \(I_{k}\in C(X, X)\), \(k=1,2, \ldots,p\) satisfy (P1) and (P2) and the following conditions:
- (P3):
-
\(\exists0< a<-\nu_{0}\) (\(\nu_{0}\) is the growth index of \(T(t)\)), \(h\in \mathit{PC}(J,X)\), \(h\geq\theta\), such that
$$-ax-h(t)\leq f(t,-x),\qquad f(t,x)\leq ax+h(t). $$ - (P4):
-
Let \(a_{k}<1\), \(\frac{1}{\omega}\sum_{k=1}^{p}\ln (1-a_{k})<-a-\nu_{0}\), \(e_{k}\geq\theta\), such that
$$a_{k}x-e_{k}\leq I_{k}(-x),\qquad I_{k}(x)\leq-a_{k}x+e_{k}. $$
Then IPBVP (1.2) has minimal and maximal ω-periodic mild solutions, which can be obtained by monotone iterative sequences.
Proof
For \(0< a<-\nu_{0}\), then \(-(A-aI)\) generates an exponentially stable and positive \(C_{0}\)-semigroup \(e^{at}T(t)\) (\(t\geq0\)), whose growth index is \(a+\nu _{0}\). For \(\frac{1}{\omega}\sum_{k=1}^{p}\ln(1-a_{k})<-a-\nu_{0}\), \(h(t)\geq\theta\), \(e_{k}\geq\theta\), by Theorem 3.1, then the periodic boundary value problem of linear impulsive evolution equation (LIPBVP) in X,
has a unique positive solution \(u^{\ast}\geq\theta\). Let \(v_{0}=-u^{\ast}\), \(w_{0}=u^{\ast}\), by conditions (P1), (P2), (P3) and (P4), we get
and
So, we showed that \(v_{0}\) and \(w_{0}\) are a lower solution and an upper solution of IPBVP (1.2). By Theorem 4.1, our conclusion holds. Then the proof is complete. □
Corollary 4.6
Let X be an ordered Banach space, whose positive cone K is regular, \(A : D(A)\subset X \rightarrow X\) be a closed linear operator and −A generate a positive \(C_{0}\)-semigroup \(T(t)\) (\(t\geq0\)) in X. \(f\in C(J\times X, X) \) and f is ω-periodic about t, \(I_{k}\in C(X, X)\), \(k=1,2, \ldots,p\). If conditions (P1), (P2), (P3) and (P4) are satisfied, then IPBVP (1.2) has minimal and maximal ω-periodic mild solutions, which can be obtained by monotone iterative sequences.
Corollary 4.7
Let X be an ordered and weakly sequentially complete Banach space, whose positive cone K is normal, \(A : D(A)\subset X \rightarrow X\) be a closed linear operator and −A generate a positive \(C_{0}\)-semigroup \(T(t)\) (\(t\geq0\)) in X. \(f\in C(J\times X, X) \) and f is ω-periodic about t, \(I_{k}\in C(X, X)\), \(k=1,2, \ldots ,p\). If conditions (P1), (P2), (P3) and (P4) are satisfied, then IPBVP (1.2) has minimal and maximal ω-periodic mild solutions, which can be obtained by monotone iterative sequences.
5 Example
Example 5.1
In order to apply our results, we consider the following impulsive parabolic partial differential equation:
where \(J=[0,\omega]\), \(0 < t_{1} < t_{2} <\cdots< t_{m} <\omega\), \(J'=J\setminus\{t_{1}, t_{2},\ldots, t_{m}\}\), \(J''=J\setminus\{0,t_{1}, t_{2}, \ldots, t_{m}\}\), integer \(N>1\), \(\Omega \in\mathbf{R}^{N}\) is a bounded domain with a sufficiently smooth boundary ∂Ω,
is a strongly elliptic operator of second order, coefficient functions \(a_{ij}(x)\), \(a_{i}(x)\) and \(a_{0}(x)\) are Hölder continuous in Ω, \(Bu=b_{0}(x)u+\delta \frac{\partial u}{\partial n}\) is a regular boundary operator on ∂Ω, \(f:\overline{\Omega}\times J\times \mathbf{R}\rightarrow\mathbf{R}\) is continuous, \(I_{k}:\mathbf{R}\rightarrow\mathbf{R}\) are also continuous, \(k = 1, 2, \ldots, m\).
Let \(X=L^{p}(\Omega)\) with \(p>N+2\), \(K=\{u\in L^{p}(\Omega)\mid u(x)\geq0\mbox{ a.e. }x\in\Omega\}\), and define the operator A as follows:
We know that X is a Banach space, K is a regular cone of X, and −A generates a positive and analytic \(C_{0}\)-semigroup \(T(t)\) (\(t\geq0\)) in X (see [29]). Define \(u(t)=u(\cdot,t)\), \(f(t,u(t))=f(\cdot,t,u(\cdot,t))\), \(I_{k}(u(t_{k}))=I_{k}(u(\cdot,t_{k}))\), then system (5.1) can be reformulated as IPBVP (1.2) in X. We assume that the following conditions hold:
-
(i)
Let \(f(x, t, 0,)\geq0\), \(I_{k}(0)\geq0\), \(u(x,\omega)\geq u(x,0)\geq 0\), \(x\in\Omega\).
-
(ii)
There exist \(w=w(x,t)\in \mathit{PC}(J,X)\cap C^{2,1}\) and \(w(x,t)\geq 0\), \(x\in\Omega\), \(t\in J_{k}\) such that
$$\left \{ \textstyle\begin{array}{l} \frac{\partial w}{\partial t}+A(x,D)w\geq f(x,t,w),\quad x\in\Omega, t\in J, t\neq t_{k} , \\ \Delta w|_{t=t_{k}}\geq I_{k}(w(x,t_{k})), \quad x\in\Omega, k=1,2,\ldots,m, \\ Bw=0,\quad (x,t)\in\partial\Omega\times J, \\ w(x,0)\geq w(x,\omega). \end{array}\displaystyle \right . $$ -
(iii)
The partial derivative \(f'_{u}(x,t,u)\) is continuous on any bounded domain.
-
(iv)
For any \(u_{1}, u_{2}\in[0,w(x, t)]\) with \(u_{1}\leq u_{2}\), there exists \(0< N_{k}<1\); for any \(x\in\Omega\), \(k=1,2,\ldots,m\), we have
$$I_{k}\bigl(u_{2}(x,t_{k})\bigr)-I_{k} \bigl(u_{1}(x,t_{k})\bigr)\geq -N_{k} \bigl(u_{2}(x,t_{k})-u_{1}(x,t_{k}) \bigr). $$
Theorem 5.2
If assumptions (i), (ii), (iii) and (iv) are satisfied, then the impulsive parabolic partial differential equation (5.1) has minimal and maximal mild solutions between 0 and \(w(x, t)\), which can be obtained by a monotone iterative procedure starting from 0 and \(w(x, t)\), respectively.
Proof
From assumptions (i) and (ii) we know that 0 and \(w(x, t)\) are lower and upper solutions of IBPVP (5.1), respectively. (iii) implies that condition (P1) is satisfied. (iv) implies that condition (P2) is satisfied. So, by Theorem 4.3, we have the result. Then the proof is complete. □
6 Conclusions
In this paper, we have discussed the existence of ω-periodic mild solutions for the impulsive evolution equation by means of the perturbation method and the mixed monotone iterative technique under the impulsive functions satisfying quasimonotonicity. The main result (Theorem 4.1) is new and the following results appear as its special cases:
-
(i)
If we take \(A=0\) in (1.2), we obtain the results for first-order periodic boundary problem for impulsive ordinary differential equations.
-
(ii)
If \(I_{k}(u(t_{k}))=0 \), \(k=1,2, \ldots,p\), in (1.2), then Theorem 4.1 in this paper is Theorem 3.1 in [30].
-
(iii)
If \(N_{k}=0\) in condition (P2), then Theorem 4.1 in this paper is Theorem 1 in [27].
References
Lakshmikantham, V, Bainov, DD, Simeonov, PS: Theory of Impulsive Differential Equations. World Scientific, Singapore (1989)
Benchohra, M, Henderson, J, Ntouyas, S: Impulsive Differential Equations and Inclusions. Contemp. Math. Appl., vol. 2 (2006)
Chen, P: Mixed monotone iterative technique for impulsive periodic boundary value problems in Banach spaces. Bound. Value Probl. 2011, Article ID 421261 (2011)
Li, Y, Liu, Z: Monotone iterative technique for addressing impulsive integro-differential equations in Banach spaces. Nonlinear Anal. 66, 83-92 (2007)
Yang, H: Mixed monotone iterative technique for abstract impulsive evolution equations in Banach spaces. J. Inequal. Appl. 2010, Article ID 293410 (2010)
Lan, HY: Monotone method for a system of nonlinear mixed type implicit impulsive integro-differential equations in Banach spaces. Comput. Math. Appl. 222, 531-543 (2008)
Ahmad, B, Alsaedi, A: Existence of solutions for anti-periodic boundary value problems of nonlinear impulsive functional integro-differential equations of mixed type. Nonlinear Anal. 3(4), 501-509 (2009)
Liang, J, Liu, JH, Xiao, TJ: Nonlocal impulsive problems for nonlinear differential equations in Banach spaces. Math. Comput. Model. 49, 798-804 (2009)
Liang, J, Liu, JH, Xiao, T: Periodic solutions of delay impulsive differential equations. Nonlinear Anal. 74, 6835-6842 (2011)
Wang, JR, Xiang, X, Peng, Y: Periodic solutions of semilinear impulsive periodic system on Banach space. Nonlinear Anal., Theory Methods Appl. 71, e1344-e1353 (2009)
Ahmed, NU: Impulsive evolution equations in infinite dimensional spaces. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 10, 11-24 (2003)
Peng, Y, Xiang, X, Jiang, Y: A class of semilinear evolution equations with impulses at variable times on Banach spaces. Nonlinear Anal. 11, 3984-3992 (2010)
Luo, ZG, Nieto, JJ: New results for the periodic boundary value problem for impulsive integro-differential equations. Nonlinear Anal. 70, 2248-2260 (2009)
Luo, Z, Jing, Z: Periodic boundary value problem for first-order impulsive functional differential equations. Comput. Math. Appl. 55, 2094-2107 (2008)
Luo, Z, Shen, J, Nieto, JJ: Antiperiodic boundary value problem for first-order impulsive ordinary differential equation. Comput. Math. Appl. 49, 253-261 (2005)
Chen, P, Li, Y, Yang, H: Perturbation method for nonlocal impulsive evolution equations. Nonlinear Anal. 8, 22-30 (2013)
Hernández M, E, Tanaka Aki, SM: Global solutions for abstract impulsive differential equations. Nonlinear Anal. 72, 1280-1290 (2010)
Wang, JR, Zhou, Y, Fečkan, M: Nonlinear impulsive problems for fractional differential equations and Ulam stability. Comput. Math. Appl. 64, 3389-3405 (2012)
Guo, TL, Zhang, KJ: Impulsive fractional partial differential equations. Appl. Math. Comput. 257, 581-590 (2015)
Du, S, Lakshmikantham, V: Monotone iterative technique for differential equations in Banach spaces. J. Math. Anal. Appl. 87, 454-459 (1982)
Sun, J, Zhao, Z: Extremal solutions of initial value problem for integro-differential equations of mixed type in Banach spaces. Ann. Differ. Equ. 8, 469-475 (1992)
Guo, D, Liu, X: Extremal solutions of nonlinear impulsive integro differential equations in Banach spaces. J. Math. Anal. Appl. 177, 538-552 (1993)
Wang, L, Wang, Z: Monotone iterative techniques for parameterized BVPs of abstract semilinear evolution equations. Comput. Math. Appl. 46, 1229-1243 (2003)
Chen, P, Mu, J: Monotone iterative method for semilinear impulsive evolution equations of mixed type in Banach spaces. Electron. J. Differ. Equ. 2010, 149 (2010)
Chen, P, Li, Y: Mixed monotone iterative technique for a class of semilinear impulsive evolution equations in Banach spaces. Nonlinear Anal. 74, 3578-3588 (2011)
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. 69, 3291-3298 (2008)
Shao, YB, Zhang, HH: Monotone iterative technique of periodic solutions for impulsive evolution equations in Banach space. J. Comput. Anal. Appl. 17, 48-58 (2014)
Li, YX: Existence and uniqueness of positive periodic solutions for abstract semilinear evolution equations. J. Syst. Sci. Math. Sci. 25(6), 720-728 (2005) (in Chinese)
Pazy, A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York (1983)
Li, YX: Periodic solutions of semilinear evolution equations in Banach spaces. Acta Math. Sin. 41(3), 629-636 (1998) (in Chinese)
Acknowledgements
The authors are very grateful to the editor and the reviewers for their constructive comments and suggestions. This work is supported by NNSF of China (11261053, 11401473, 11501455), NSF of Gansu Province (1208RJZA129) and the Fundamental Research Funds for the Central Universities (31920130010).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Each of the authors contributed to each part of this study equally and approved the final version of this 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
Zhang, H., Li, Y. & Li, Q. Existence of periodic solutions for impulsive evolution equations in ordered Banach spaces. Adv Differ Equ 2015, 323 (2015). https://doi.org/10.1186/s13662-015-0653-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-015-0653-x