Abstract
In this paper, we introduce the concept of piecewise pseudo almost periodic functions on a Banach space and establish some composition theorems of piecewise pseudo almost periodic functions. We apply these composition theorems to investigate the existence of piecewise pseudo almost periodic (mild) solutions to abstract impulsive differential equations. In addition, the stability of piecewise pseudo almost periodic solutions is considered.
Similar content being viewed by others
1 Introduction
The notion of pseudo almost periodic functions was introduced by Zhang as a natural generalization of the classical concept of almost periodic functions in [1, 2]. Since then, such a notion has attracted many researchers’ interest. The topics of these functions and their generations have been widely investigated in many publications such as [3–18] and the references therein. In particular, in [11, 12], Diagana introduced the concept of Stepanov-like pseudo almost periodic functions and gave some properties including the composition theorem; the authors in [17] proposed the concept of pseudo almost periodic functions on time scales and established some results about the existence of pseudo almost periodic solutions to dynamic equations on time scales; in [10], a new concept which is called weighted pseudo-almost periodicity implements in a natural fashion the notion of pseudo-almost periodicity.
On the other hand, the study of impulsive differential equations is important [19–21] because many evolution processes, optimal control models in economics, stimulated neural networks, population models, artificial intelligence, and robotics are characterized by the fact that at certain moments of time they undergo abrupt changes of state. The existence of solutions is among the most attractive topics in the qualitative theory of impulsive differential equations [19, 21–25]. Likewise, the existence of almost periodic solutions of abstract impulsive differential equations has been considered by many authors; see, e.g., [26–28]. However, there are few papers concerned with pseudo almost periodic functions on impulsive systems.
Motivated by the above, our main propose of this paper is to introduce the concept of piecewise pseudo almost periodic functions on a Banach space and establish some composition theorems of piecewise pseudo almost periodic functions. Finally, we give some results about the existence and stability of piecewise pseudo almost periodic solutions to the following abstract impulsive differential equation:
where A is the infinitesimal generator of a -semigroup on a Banach space X, f, , and satisfy suitable conditions that will be established later. In addition, the notations and represent the right-hand side and the left-hand side limits of at , respectively.
2 Preliminaries
Throughout this paper, we denote by X a Banach space; let be the set consisting of all real sequences such that . For , let be the space formed by all bounded piecewise continuous functions such that is continuous at t for any and for all ; let Ω be a subset of X and be the space formed by all piecewise continuous functions such that for any , and for any , is continuous at .
Definition 2.1 [26]
A function is said to be piecewise almost periodic if the following conditions are fulfilled:
-
(1)
, , , are equipotentially almost periodic; that is, for any , there exists a relatively dense set of R such that for each , there is an integer such that for all .
-
(2)
For any , there exists a positive number such that if the points and belong to the same interval of continuity of ϕ and , then .
-
(3)
For every , there exists a relatively dense set in R such that if , then
for all satisfying the condition , . The number τ is called an ϵ-almost period of ϕ.
We denote by the space of all piecewise almost periodic functions. Obviously, the space endowed with the sup norm defined by for any is a Banach space.
Throughout the rest of this paper, let be the space of all functions such that ϕ satisfies the condition (2) in Definition 2.1.
Lemma 2.2 [26]
Let , then the range of ϕ, , is a relatively compact subset of X.
Definition 2.3 is said to be piecewise almost periodic in t uniformly in if for each compact set , is uniformly bounded, and given , there exists a relatively dense set such that
for all , , and , . Denote by the set of all such functions.
Set
Lemma 2.4 Suppose . if and only if for any ,
where and m is the Lebesgue measure on R.
Proof Sufficiency. Since , by the hypothesis, for any , there exists such that for ,
Then
for . This implies that .
Necessity. If it is not, there exists such that as . That is, there exists such that for any n,
for some . Then
which contradicts the fact that . This completes the proof. □
Remark 2.5 The proof of Lemma 2.4 is essentially contained in Liang et al.’s result (see Lemma 2.1 in [29]) or a more general case (see Proposition 3.1 and Corollary 3.2 in [30]). We have included it for the reader’s convenience.
Lemma 2.6 is a translation invariant set of .
Proof For any , , , , we have
So,
Since , then by Lemma 2.4, we have
Furthermore, , so
Again, using Lemma 2.4, we know . The proof is complete. □
Definition 2.7 A function is said to be piecewise pseudo almost periodic if it can be decomposed as , where and . Denote by the set of all such functions.
is a Banach space with the sup norm .
Lemma 2.8 The decomposition of piecewise pseudo almost periodic functions is unique.
Proof By Definition 2.7, we only need to prove that when as well as being in . Suppose the contrary, then there exists at least one number such that . Without loss of generality, we may assume that () since we can replace by in a small neighborhood of . By Lemma 76 in [20], we can choose two numbers and such that any interval of length l contains a subinterval of length 2δ whose points must all be -almost period and , , imply that . Consider now any interval of length l, , r is a real number, there exists a -almost period τ of f which belongs to this interval, thus . Assume , then will range over an interval of length 2δ, and
which shows that any interval of length l contains a subinterval of length 2δ at all points satisfying , so
which contradicts the fact that . The proof is complete. □
Definition 2.9 Let consist of all functions such that , where and .
3 Composition theorems
Theorem 3.1 Suppose . Assume that the following conditions hold:
-
(i)
is bounded for every bounded subset .
-
(ii)
is uniformly continuous in each bounded subset of Ω uniformly in .
If such that , then .
Proof Since and , by Definitions 2.7 and 2.9, we have and with , , , . So, the function can be decomposed as
By Lemma 2.2, is relatively compact in X, is uniformly continuous in uniformly in . By a proof similar to Theorem 3.1 in [27], . To show that , we need to show that .
First, we show that . Let K be a bounded subset of Ω such that , . By (ii), is uniformly continuous in uniformly in , given , there exists such that and implies that
Thus, for each , implies that for all ,
where . For , let , so we get
Since , by Lemma 2.4, we have
hence
this implies by Lemma 2.4.
It remains to show . Note that and is uniformly continuous in uniformly in . By the hypothesis (ii), is uniformly continuous in uniformly in , so is h. Since is relatively compact in X, for , one can find a finite number n of open balls with center , and radium such that and
The set
is open and , let , then when , .
Since each , there is a number such that
Then
This implies that . Thus, . This completes the proof. □
Remark 3.2 A result similar to Theorem 3.1 was obtained by Agarwal et al. for weighted pseudo-almost periodic functions (see Theorem 3.2 in [30]).
Since the uniform continuity is weaker than the Lipschitz continuity, the next corollary is a straightforward consequence of the previous theorem.
Corollary 3.3 Let , and . Assume further that there exists a number satisfying
then the function belongs to .
Theorem 3.4 Assume the sequence of vector-valued functions is pseudo almost periodic, i.e., for any , is a pseudo almost periodic sequence. Suppose is bounded for every bounded subset , is uniformly continuous in uniformly in . If such that , then is pseudo almost periodic.
Proof Fix , first we show is pseudo almost periodic. By Definition 2.7, we have , where , . It follows from Lemma 37 in [20] that the sequence is almost periodic. To show is pseudo almost periodic, we need to show that . By the hypothesis, , so is . Let , there exists such that for , , we have
Since , , are equipotentially almost periodic, is an almost periodic sequence. Here we assume a bound of is and ; therefore,
Since , it follows from the inequality above that . Hence, is pseudo almost periodic.
Now, we show is pseudo almost periodic. Let
Since , are two pseudo almost periodic sequences, by Lemma 1.7.12 in [31], we know that , . For every , there exists a number such that ,
Since is bounded for every bounded set , is bounded for every bounded set . For every , we have
Noting that is uniformly continuous in uniformly in , we then get that is uniformly continuous in uniformly in . Then by Theorem 2.1 in [15], . Again, using Lemma 1.7.12 in [31], we have that is a pseudo almost periodic sequence, that is, is pseudo almost periodic. This completes the proof. □
Corollary 3.5 Assume the sequence of vector-valued functions is pseudo almost periodic, if there is a number such that
for all , , if such that , then is pseudo almost periodic.
4 Piecewise pseudo almost periodic solutions
In this section, we investigate the existence and stability of a piecewise pseudo almost periodic solution to Eq. (1.1). Before starting our main results in this section, we recall the definition of a mild solution to Eq. (1.1).
Definition 4.1 A function is called a mild solution of Eq. (1.1) if for any , , , ,
In fact, using the semigroup theory, we know
is a mild solution to
For any , we can find , , for ,
by using , we have
then we have
Reiterating this procedure, we get
First, we study the existence of a piecewise pseudo almost periodic mild solution of Eq. (1.1) when the perturbations f, () are not Lipschitz continuous. We need a criterion of the relatively compact set in . We list the following result about the relatively compact set; one may refer to [32–34] for more details.
Let be a continuous function such that for all and as . We consider the space
Endowed with the norm , it is a Banach space.
Lemma 4.2 A set is a relatively compact set if and only if
-
(1)
uniformly for .
-
(2)
is relatively compact in X for every .
-
(3)
The set B is equicontinuous on each interval ().
Proof Let . By an analogous argument in [33, 34], is isometrically isomorphic with the space . In order to prove Lemma 4.2, we only need to show that is a relatively compact set if and only if
-
(11)
uniformly for .
-
(22)
is relatively compact in X for every .
-
(33)
The set is equicontinuous on each interval ().
Sufficiency. By (11), for any , there exists such that
By (33), for the above ϵ, there exists such that , , ,
For the interval , there exists a set , , such that and
For any sequence , by (22), we can extract a subsequence that converges at each point . Since S is finite, then for the above , there exists ,
So, for , by (4.2) and (4.3),
For , by (4.1),
Thus, is uniformly convergent on R, is a relatively compact set.
Necessity. Since is relatively compact, for any , there exist a finite number of functions of such that
This finite set of functions is equicontinuous; that is, for the above ϵ, there exists a number such that , , , we have , using (4.4), for any ,
which shows (33). Since , then for the above ϵ, there exist numbers such that
Let , by (4.4) and (4.5), for any ,
which shows (11). Since is relatively compact, then for any sequence , there exists a subsequence that converges uniformly on R. Fix , from the sequence , there exists a convergent subsequence. Therefore, for fixed , the set is relatively compact, which shows (22). The proof is complete. □
Remark 4.3 In the -setting, a result similar to Lemma 4.2 was proved in Henriquez and Lizama [33] (see also [34]).
The first existence result is based upon the Schauder fixed point theorem.
Theorem 4.4 Suppose Eq. (1.1) satisfies the following conditions:
(A1) A is the infinitesimal generator of an exponentially stable -semigroup ; that is, there exist numbers such that , . Moreover, is compact for .
(A2) , and is uniformly continuous in each bounded subset of Ω uniformly in ; is a pseudo almost periodic sequence, is uniformly continuous in uniformly in .
(A3) For any , , . Moreover, there exists a number such that .
Then Eq. (1.1) has a piecewise pseudo almost periodic solution.
Proof Let . Define an operator Γ on D by
We next show that Γ has a fixed point in D. We divide the proof into several steps.
Step 1. For every , .
Fix , by (A2) and Theorem 3.1, we have , then we have by Definition 2.7 that , where , , so
Meanwhile, given , there exists a relatively dense set such that for , , ,
Thus, by (A1),
this implies that . Since is translation invariant, then for , one can find such that
Then by (A1), one obtains that
By using the Lebesgue dominated convergence theorem and (4.6), we have . Thus, .
Moreover, by (A3) and Theorem 3.4, is a pseudo almost periodic sequence, then with is an almost periodic sequence and , so
Since , , , are equipotentially almost periodic, then by Lemma 35 in [20], for any , there exist relatively dense sets of real numbers and integers such that the following relations hold:
-
(1)
For every , there exists at least one number such that
-
(2)
, , .
So,
This shows . It remains to show . For any , there exist , such that
Since , , so
Since , for , ,
Clearly, , so
Thus, , then for every , .
Step 2. For every , .
For every , by (A1) and (A3), we have
then .
Step 3. For every , .
Suppose , , , , since is a -semigroup (see [35, 36]) and , , there exists such that implies
Then
which shows .
Combing Step 1, Step 2, and Step 3, it follows that .
Step 4. Γ is continuous.
Let , in as . Then we can find a bounded subset such that , , . By (A2), given , there exists such that and implies that
and
For the above , there exists such that for and , then for , we have
and
Hence,
from which it follows that Γ is continuous.
Step 5. is a relatively compact subset of X for each .
For each , , , define
Since is bounded and is compact, is a relatively compact subset of X. Moreover, for ϵ is small enough, the point t and belong to the same interval of continuity of ϕ, then
So,
Thus, is a relatively compact subset of X for each .
By Step 3, we know that is equipotentially continuous at each interval (). Since and satisfies the conditions of Lemma 4.2, is a relatively compact set, then Γ is a compact operator. Since D is a closed convex set, it follows from the Schauder fixed point theorem that Γ has a fixed point ϕ in D. So, the fixed point ϕ satisfies the integral equation
for all . Fix a, , , we have
Since is a -semigroup, so
Hence, ϕ is a piecewise pseudo almost periodic mild solution to Eq. (1.1). □
The following existence result is based on the contraction principle.
Theorem 4.5 Assume the following conditions hold:
(A1′) A is the infinitesimal generator of an exponentially stable -semigroup ; that is, there exist numbers such that , .
(A2′) , and f satisfies the Lipschitz condition in the following sense:
where .
(A3′) is a pseudo almost periodic sequence, and there exists a number such that
for all , .
If , then Eq. (1.1) has a piecewise pseudo almost periodic solution.
Proof Define the operator Γ on as in the proof of Theorem 4.4. Fix , by (A2′) and (A3′), we have
and
Then and is a bounded sequence, it follows from the proof of Theorem 4.4 that . So, . It suffices now to show that the operator Γ has a fixed point in . For ,
Since , Γ is a contraction, Γ has a fixed point in , then Eq. (1.1) has a piecewise pseudo almost periodic solution. □
Finally, we investigate the stability of a piecewise pseudo almost periodic solution to Eq. (1.1). By using the generalized Gronwall-Bellman inequality (see Lemma 1 in [20]) and Lipschitz conditions, it can be formulated as follows.
Theorem 4.6 Suppose the conditions of Theorem 4.5 hold. Assume further that , then Eq. (1.1) has an exponentially stable piecewise pseudo almost periodic solution.
Proof By Theorem 4.5, we know that Eq. (1.1) has a mild piecewise pseudo almost periodic solution , by using the integral form of Eq. (1.1), if , , ,
Let and be two solutions of Eq. (1.1), then
So,
Then
Let , (4.7) can be rewritten in the following form:
By the generalized Gronwall-Bellman inequality, we have
Since , we have
That is,
Because , then Eq. (1.1) has an exponentially stable piecewise pseudo almost periodic solution. This completes the proof. □
Example 4.7 Consider the following problem:
where satisfies () and , and .
Define , let , . Clearly, A is the infinitesimal generator of an analytic compact semigroup on X (refer to [21]) and () with . , , , are equipotentially almost periodic (refer to p.198 in [20]) and
So, . Let , . Clearly, both f and satisfy the assumptions given in Theorem 4.5 and Theorem 4.6 with , , respectively. Moreover, , , all conditions in Theorem 4.6 are satisfied. Hence, Eq. (4.8) has an exponentially stable piecewise pseudo almost periodic solution.
References
Zhang CY: Pseudo almost periodic solutions of some differential equations. J. Math. Anal. Appl. 1994, 181(1):62–76. 10.1006/jmaa.1994.1005
Zhang CY: Pseudo almost periodic solutions of some differential equations, II. J. Math. Anal. Appl. 1995, 192(2):543–561. 10.1006/jmaa.1995.1189
Agarwal RP, de Andrade B, Cuevas C: On type of periodicity and ergodicity to a class of fractional order differential equations. Adv. Differ. Equ. 2010. doi:10.1155/2010/179750
Agarwal RP, Cuevas C, Soto H: Pseudo-almost periodic solutions of a class of semilinear fractional differential equations. J. Appl. Math. Comput. 2011, 37: 625–634. 10.1007/s12190-010-0455-y
Agarwal RP, Diagana T, Hernandez E: Weighted pseudo almost periodic solutions to some partial neutral functional differential equations. J. Nonlinear Convex Anal. 2007, 8(3):397–415.
Amir B, Maniar L: Composition of pseudo-almost periodic functions and Cauchy problems with operator of nondense domain. Ann. Math. Blaise Pascal 1999, 6(1):1–11. 10.5802/ambp.110
Cuevas C, Hernandez E: Pseudo-almost periodic solutions for abstract partial functional differential equation. Appl. Math. Lett. 2009, 22: 534–538. 10.1016/j.aml.2008.06.026
Cuevas C, Pinto M: Existence and uniqueness of pseudo almost periodic solutions of semilinear Cauchy problems with non dense domain. Nonlinear Anal. TMA 2001, 45(1):73–83. 10.1016/S0362-546X(99)00330-2
Diagana T: Pseudo almost periodic solutions to some differential equations. Nonlinear Anal. TMA 2005, 60(7):1277–1286. 10.1016/j.na.2004.11.002
Diagana T: Weighted pseudo almost periodic functions and applications. C. R. Math. Acad. Sci. Paris 2006, 343(10):643–646. 10.1016/j.crma.2006.10.008
Diagana T: Stepanov-like pseudo almost periodic functions and their applications to differential equations. Commun. Math. Anal. 2007, 3(1):9–18.
Diagana T: Stepanov-like pseudo-almost periodicity and its applications to some nonautonomous differential equations. Nonlinear Anal. TMA 2008, 69(12):4277–4285. 10.1016/j.na.2007.10.051
Diagana T, Herandez E, Rabello M: Pseudo almost periodic solutions to some non-autonomous neutral functional differential equations with unbounded delay. Math. Comput. Model. 2007, 45: 1241–1252. 10.1016/j.mcm.2006.10.006
Ding HS, Liang J, N’Guerekata GM, Xiao TJ: Pseudo-almost periodicity of some nonautonomous evolution equations with delay. Nonlinear Anal. TMA 2007, 67: 1412–1418. 10.1016/j.na.2006.07.026
Li HX, Huang FL, Li JY: Composition of pseudo almost-periodic functions and semilinear differential equations. J. Math. Anal. Appl. 2001, 255(2):436–446. 10.1006/jmaa.2000.7225
Li HX, Zhang LL: Stepanov-like pseudo almost periodicity and semilinear differential equations with uniform continuity. Results Math. 2011, 59: 43–61. 10.1007/s00025-010-0050-4
Li YK, Wang C: Pseudo almost periodic functions and pseudo almost periodic solutions to dynamic equations on time scales. Adv. Differ. Equ. 2012. doi:10.1186/1687–1847–2012–77
Long W, Ding HS: Composition theorems of Stepanov almost periodic functions and Stepanov-like pseudo-almost periodic functions. Adv. Differ. Equ. 2011. doi:10.1155/2011/654695
Rogovchenko YV: Nonlinear impulse evolution systems and applications to population models. J. Math. Anal. Appl. 1997, 207: 300–315. 10.1006/jmaa.1997.5245
Samoilenko AM, Perestyuk NA: Impulsive Differential Equations. World Scientific, Singapore; 1995.
Wang JR, Xiang X, Peng Y: Periodic solutions of semilinear impulsive periodic system on Banach space. Nonlinear Anal. TMA 2009, 71: e1344-e1353. 10.1016/j.na.2009.01.139
Cuevas C, N’Guerekata G, Rabelo M: Mild solutions for impulsive neutral functional differential equations with state-dependent delay. Semigroup Forum 2010, 80: 375–390. 10.1007/s00233-010-9213-6
Hernandez E, Henriquez HR, McKibben M: Existence results for abstract impulsive second order neutral functional differential equations. Nonlinear Anal. TMA 2009, 70(7):2736–2751. 10.1016/j.na.2008.03.062
Hernandez E, Rabello M, Henriquez HR: Existence of solutions for impulsive partial neutral functional equations. J. Math. Anal. Appl. 2007, 331: 1135–1158. 10.1016/j.jmaa.2006.09.043
Hernandez E, Pierri M, Goncalves G: Existence results for an impulsive abstract partial differential equation with state-dependent delay. Comput. Math. Appl. 2006, 52: 411–420. 10.1016/j.camwa.2006.03.022
Henriquez HR, de Andrade B, Rabelo M: Existence of almost periodic solutions for a class of abstract impulsive differential equations. ISRN Math. Anal. 2011. doi:10.5402/2011/632687
Liu JW, Zhang CY: Existence and stability of almost periodic solutions for impulsive differential equations. Adv. Differ. Equ. 2012. doi:10.1186/1687–1847–2012–34
Stamov GT, Alzabut JO: Almost periodic solutions for abstract impulsive differential equations. Nonlinear Anal. TMA 2010, 72(5):2457–2464. 10.1016/j.na.2009.10.042
Liang J, Zhang J, Xiao TJ: Composition of pseudo almost automorphic and asymptotically almost automorphic function. J. Math. Anal. Appl. 2008, 340: 1493–1499. 10.1016/j.jmaa.2007.09.065
Agarwal RP, de Andrade B, Cuevas C: Weighted pseudo almost periodic solutions of a class of semilinear fractional differential equations. Nonlinear Anal., Real World Appl. 2010, 11: 3532–3554. 10.1016/j.nonrwa.2010.01.002
Zhang CY: Almost Periodic Type Functions and Ergodicity. Science Press, Beijing; 2003.
Cuevas C, Hernandez E, Rabelo M: The existence of solutions for impulsive neutral functional differential equations. Comput. Math. Appl. 2009, 58(4):744–757. 10.1016/j.camwa.2009.04.008
Henriquez H, Lizama C: Compact almost automorphic solutions to integral equations with infinite delay. Nonlinear Anal. TMA 2009, 71: 6029–6037. 10.1016/j.na.2009.05.042
Agarwal RP, Cuevas C, Soto H, El-Gebeily M: Asymptotic periodicity for some evolution equations in Banach spaces. Nonlinear Anal. TMA 2011, 74: 1769–1798. 10.1016/j.na.2010.10.051
Pazy A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York; 1983.
Agarwal RP, Cuevas C, dos Santos JP: Analytic resolvent operator and existence results for fractional integro-differential equations. J. Abstr. Differ. Equ. Appl. 2012, 2(2):26–47.
Acknowledgements
This research was supported by the National Natural Science Foundation of China (No. 11071048). The authors are thankful the referees for their careful reading of the manuscript and insightful comments.
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 manuscript. 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 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
Liu, J., Zhang, C. Composition of piecewise pseudo almost periodic functions and applications to abstract impulsive differential equations. Adv Differ Equ 2013, 11 (2013). https://doi.org/10.1186/1687-1847-2013-11
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2013-11