Abstract
In this paper, we study the existence of impulsive semilinear nonlocal problems with random effects. Random perturbations are taken into consideration in abstract spaces. By applying the measure of noncompactness and a random fixed point theorem with stochastic domain, we get some existence results which improve and generalize many known results. Some weaker assumptions are established. Besides, we do not claim the semigroup to be compact.
Similar content being viewed by others
1 Introduction
During the past few decades impulsive differential equations have been widely studied and significant progress has been made in [1–8] and references therein. Since many real world phenomena exhibit the presence of sudden state changes, the study of impulsive differential equations is becoming more important nowadays. The theory of impulsive differential equations now not only is being recognized richer than the corresponding theory of differential equations but also represents a more natural framework for mathematical modeling of many real world phenomena.
On the other hand, due to a combination of uncertainties and complexities, deterministic equations can hardly describe a real system precisely. In order to take random factors into account, many stochastic models were proposed and various achievements were obtained; see [5, 9–13] and references therein. Between them differential equations with random coefficients (see, e.g., [13–15] ) offer a natural and rational approach (see [[16], Chapter 1]), since sometimes we can get the random distributions of some main disturbances by historical experiences and data rather than take all random disturbances into account and assume the noise to be white noises.
The main purpose of this paper is to discuss the existence of mild solutions for the nonlocal initial value problem with impulses and random effects of the form
(with some notations to be given later), where is a complete probability space, , A is the infinitesimal generator of a strongly continuous semigroup of bounded linear operators (i.e., -semigroup) in a Banach space X, , , , , are given random functions which represent random nonlinear effects of the system.
The investigation of nonlocal initial value problems was initiated by Byszewski in [17]. Later on, Byszewski’s work was followed by many others and a lot of work was presented in [7, 8, 18–23], since in some physics models the nonlocal problems play a better role than the classical ones. The corresponding deterministic case of problem (1), with or without impulses, has been studied by many authors. For instance, Ntouyas and Tsamatos in [18] investigated the case of compactness conditions of f and . Xue in [19] studied the problem when f is compact. For impulsive semilinear nonlocal problems, in [20], Liang et al. obtained existence and uniqueness results by various assumptions of compactness or Lipschitz on , f, g or . Very recently, in [7, 8] the authors put forward sufficient conditions on the existence of nonlocal impulsive differential equations by supposing the semigroup to be equicontinuous, but in their papers impulsive functions are always assumed to be compact or Lipschitzian. The goal of this paper is to continue the study of these authors by making full use of the Hausdorff measure of noncompactness and take random effects into consideration. The nonlocal problem with impulses and differential equations with random effects were studied in, e.g., [8, 15], respectively. In this paper, we study the nonlocal problem with impulses combined with random effects. Though the nonlocal problem with impulses and random effects was studied in, e.g., [24] and references therein, in this paper we study impulsive semilinear nonlocal problem with random effects of another type. We prove existence results without compactness on or f and the Lipschitz condition on f, and we weaken assumptions on impulsive functions .
The rest of this paper is organized as follows. In Section 2, we recall some notations and important lemmas. In Section 3, we give sufficient conditions on the existence of mild solutions of problem (1). Finally, the conclusion is draw in Section 4.
2 Notations and preliminaries
In this section, we introduce some basic definitions and results which will be used in the paper.
Let be a real separable Banach space, let be a complete probability space, and let be a bounded closed interval in ℝ, . By we denote the Banach space of all continuous mappings from I into X with the norm . Let = { is continuous for , and exist with , }. It is easy to verify that is a separable Banach space with the norm . We denote by the space of X-valued Bochner functions on I with the norm . Thus .
A -semigroup is said to be compact if is compact for any . If is equicontinuous at all with respect to x in all bounded subsets of X, then the semigroup is called equicontinuous. Note that if the semigroup is compact, then it must be equicontinuous (cf. [25]).
Let Y be a separable Banach space with the Borel σ-algebra . A mapping y: is said to be a random variable with values in Y if for each , . A mapping is called a random operator if is measurable for each and is generally expressed as ; we will use these two expressions alternatively.
Next, we will give a very useful random fixed point theorem with stochastic domain.
Definition 1 (see [26])
Let C be a mapping from Ω into . A mapping is called ‘random operator with stochastic domain C’ iff C is measurable (i.e., for all closed , ) and for all open and all , . T will be called ‘continuous’ if every is continuous. For a random operator T, a mapping is called ‘random (stochastic) fixed point of T’ iff for P-almost all , and and for all open , (‘y is measurable’).
Remark 1 If , then the definition of random operator with stochastic domain coincides with the definition of random operator.
Lemma 1 (see [26])
Let be measurable with closed, convex and solid (i.e., ) for all . We assume that there exists measurable with for all . Let T be a continuous random operator with stochastic domain C such that for every , . Then T has a stochastic fixed point.
Let ξ be a mapping of into X. ξ is said to be a stochastic process if for each , is measurable and if, in addition, for each , , ξ is said to satisfy condition . If ξ satisfies condition , then ξ is considered to be a mapping of Ω into .
By some similar techniques in [27], without proof we state the following proposition.
Proposition 1 ξ satisfies condition if and only if ξ is measurable as a mapping of Ω into .
Definition 2 A stochastic process x is said to be a mild random solution of problem (1) if it satisfies condition and for ,
for all .
Let α denote the Hausdorff measure of noncompactness both on X and , then we have the following fixed point theorem.
Lemma 2 ([28])
Let F be a closed and convex subset of a real Banach space, let be a continuous operator and be bounded. For each bounded subset , set
If there exist a constant and a positive integer such that for each bounded subset ,
then A has a fixed point in F.
For specific properties of measures of noncompactness, we refer the readers to [29].
To prove the existence results in this paper, we need the following lemmas concerning the relationship in measures of noncompactness.
Lemma 3 ([30])
If Y is a bounded subset of Banach space X, then for each , there is a sequence such that
Lemma 4 ([31])
If is uniformly integrable, then is measurable and
Lemma 5 ([32])
If the semigroup is equicontinuous and , then the set .
Lemma 6 ([7])
If is bounded, then for all , where . Furthermore, suppose that the following conditions are satisfied:
-
(1)
W is equicontinuous on and each , ;
-
(2)
W is equicontinuous at , .
Then .
3 Main results
In this section, we give existence results for the nonlocal problem (1). First we list the following conditions.
(HA) The -semigroup generated by A is equicontinuous and we denote .
(Hg) . For each , is continuous and compact.
(Hf)
-
(i)
. For each , satisfies the Caratheodory condition, i.e., is measurable for all , and is continuous for a.e. .
-
(ii)
There exist functions and such that for each , is nondecreasing and continuous and integrable with
for all and a.e. .
-
(iii)
There exists a function with for each such that for any bounded ,
(2)
for a.e. .
(HI) is sample path continuous and there exists such that for and all bounded subset ,
for .
(Hm) For each , , and , , are measurable; for each , is measurable.
(HR) There exists a random function such that
for each , where denotes the closed ball in centered at zero and with radius r.
(H∗)
Remark 2 Conditions (2) or (3) can be derived by the Lipschitz conditions on f or , , see [23].
Theorem 1 Suppose that hypotheses (HA), (Hf), (Hg), (HI), (Hm), (HR) and (H∗) are valid, then the nonlocal random impulsive problem (1) has at least one mild random solution.
Proof Consider the random operator defined by
and we can divide into three parts,
For each and each , by the definition of , clearly . Thus the mapping is well defined.
Then we show that the mapping defined by (4) is a random operator. To do this, we need to prove that for any given, is a random variable. By Proposition 1, is measurable if and only if , as a mapping of into X, satisfies condition , i.e.,
-
(a)
for any , ;
-
(b)
for any , is measurable;
(a) is satisfied since the mapping is well defined, (b) can be fulfilled by assumption (Hm).
By some usual techniques (see, e.g., [7]), it is easy to show that the random operator is continuous.
Let be defined by with bounded, closed, convex and solid for all . Then W is measurable by Lemma 17 in [26].
Let be fixed, then for any , we have
This implies that is a random operator with stochastic domain W and for each .
Next, let be fixed (therefore we do not write ‘ω’ in the sequel) but arbitrary.
For any , ,
From Lemma 3 and Lemma 4, for any , there is a sequence such that
Thus, since is arbitrary,
We know that there is a continuous function () such that for any (),
So
where , .
From Lemma 5 and Lemma 6, it is easy to verify the equicontinuity of , thus
Again, in view of (3), Lemma 3 and Lemma 4, by some similar argument, for any , there is a sequence such that
Since ϵ is arbitrary,
Hence, by mathematical induction, for any positive integer n and , we obtain
Since is equicontinuous on I, consequently we have
Since , from Lemma 2.7 in [33], there exists a positive integer such that
Then
It follows from Lemma 2 that for each , has at least one fixed point in W. Since , the hypothesis that a measurable selector of intW exists holds. By Lemma 1, has a stochastic fixed point, i.e., the nonlocal initial value problem has at least one mild solution which completes the proof. □
Remark 3 If is sample path continuous and compact, then for . Thus hypotheses (HI) and (H∗) hold naturally.
Actually, (HR) is a very rough condition. If we specify some features on and g, , we have the following corollary.
(Hg′) . For each , is continuous and compact, there exists such that , .
(HI′) is sample path continuous and there exist and such that , , and for all bounded subset ,
for .
(HR′) There exists a random function such that
for each .
Corollary 1 Suppose that hypotheses (HA), (Hf), (Hg′), (HI′), (Hm), (HR′) and (H∗) are valid, then the nonlocal random impulsive problem (1) has at least one mild random solution.
Theorem 2 Suppose that hypotheses (HA), (Hf), (Hg′), (HI′), (Hm) and (H∗) are valid, then the nonlocal random impulsive problem (1) has at least one mild random solution provided that
Furthermore, if is compact for , then (H∗) is not essential.
Proof Since the proof is similar to Theorem 1, we omit it. □
Remark 4 If we do not consider the random effects, i.e., taking as a single point set, since hypotheses on f and are weaker, we generalize the results in [7]. Furthermore, if let the impulsive functions be 0, for , then since we relax restrictions on g, our results generalize the results in [23]. Besides, since there are no compactness assumptions on the semigroup or f, our work extends and improves many main results such as those in [19–21].
4 An example
Consider the impulsive partial differential system with nonlocal conditions and random effects of the form
Suppose that , is a complete probability space. Let be defined by with the domain . It is well known that A is an infinitesimal generator of a semigroup defined by for each . is not a compact semigroup on X and , where α is the Hausdorff MNC. We assume the following.
(H1) is a continuous random function defined by
We take , is a real-valued random variable. F is Lipschitz continuous for the second variable. Then f satisfies hypothesis (Hf).
(H2) is a continuous random function for , defined by
We take , , for , is a real-valued random variable. Then is compact thus satisfies hypothesis (HI).
(H3) is a continuous random function defined by
with . Then g is a compact operator and satisfies hypothesis (Hg). Under these assumptions, the partial differential system (7) can be reformulated as the abstract problem (1). By Theorem 1 we conclude that there exists at least one random solution for this system.
5 Conclusion
In this paper, we have studied existence results for impulsive semilinear nonlocal problems with random effects. Random perturbations have been taken into consideration in abstract spaces. By applying the measure of noncompactness and a random fixed point theorem with stochastic domain, we have obtained some existence results for impulsive semilinear nonlocal problems with random effects. Our results have improved and generalized many known results. Some weaker assumptions have been established.
References
Lakshmikantham V, Bainov DD, Simeonov PS: Theory of Impulsive Differential Equations. World Scientific, Singapore; 1989.
Zhang S, Sun J: Stability analysis of second-order differential systems with Erlang distribution random impulses. Adv. Differ. Equ. 2013., 2013: Article ID 4
Chen L, Sun J: Nonlinear boundary value problem of first order impulsive functional differential equations. J. Math. Anal. Appl. 2006, 318: 726-741. 10.1016/j.jmaa.2005.08.012
Lu J, Ho D, Cao J: A unified synchronization criterion for impulsive dynamical networks. Automatica 2010, 46: 1215-1221. 10.1016/j.automatica.2010.04.005
Li C, Shi J, Sun J: Stability of impulsive stochastic differential delay systems and its application to impulsive stochastic neural networks. Nonlinear Anal., Theory Methods Appl. 2011, 74: 3099-3111. 10.1016/j.na.2011.01.026
Pan L, Cao J: Exponential stability of impulsive stochastic functional differential equations. J. Math. Anal. Appl. 2011, 382: 672-685. 10.1016/j.jmaa.2011.04.084
Ji S, Li G: A unified approach to nonlocal impulsive differential equations with the measure of noncompactness. Adv. Differ. Equ. 2012., 2012: Article ID 182
Zhu L, Dong Q, Li G: Impulsive differential equations with nonlocal conditions in general Banach spaces. Adv. Differ. Equ. 2012., 2012: Article ID 10
Li C, Sun R, Sun J: Stability analysis of a class of stochastic differential delay equations with nonlinear impulsive effects. J. Franklin Inst. Eng. Appl. Math. 2010, 347: 1186-1198. 10.1016/j.jfranklin.2010.04.017
Bao H, Cao J: Stochastic global exponential stability for neutral-type impulsive neural networks with mixed time-delays and Markovian jumping parameters. Commun. Nonlinear Sci. Numer. Simul. 2011, 16: 3786-3791. 10.1016/j.cnsns.2010.12.027
Yang X, Cao J, Lu J: Synchronization of delayed complex dynamical networks with impulsive and stochastic effects. Nonlinear Anal., Real World Appl. 2011, 12: 2252-2266. 10.1016/j.nonrwa.2011.01.007
Liu B: Stability of solutions for stochastic impulsive systems via comparison approach. IEEE Trans. Autom. Control 2008, 53: 2128-2133.
Stanescu D, Chen-Charpentier BM: Random coefficient differential equation models for bacterial growth. Math. Comput. Model. 2009, 50: 885-895. 10.1016/j.mcm.2009.05.017
Csoergo S, Hatvani L: Stability properties of solutions of linear second order differential equations with random coefficients. J. Differ. Equ. 2010, 248: 21-49. 10.1016/j.jde.2009.08.001
Charrier J: Strong and weak error estimates for elliptic partial differential equations with random coefficients. SIAM J. Numer. Anal. 2012, 50: 216-246. 10.1137/100800531
Soong TT: Random Differential Equations in Science and Engineering. Academic Press, New York; 1973.
Byszewski L: Theorems about the existence and uniqueness of solutions of a semilinear evolution nonlocal Cauchy problem. J. Math. Anal. Appl. 1991, 162: 494-505. 10.1016/0022-247X(91)90164-U
Ntouyas S, Tsamatos PC: Global existence for semilinear evolution equations with nonlocal conditions. J. Math. Anal. Appl. 1997, 210: 679-687. 10.1006/jmaa.1997.5425
Xue X: Existence of solutions for semilinear nonlocal Cauchy problems in Banach spaces. Electron. J. Differ. Equ. 2005., 2005: Article ID 64
Liang J, Liu J, Xiao T: Nonlocal impulsive problems for nonlinear differential equations in Banach spaces. Math. Comput. Model. 2009, 49: 798-804. 10.1016/j.mcm.2008.05.046
Fan Z: Impulsive problems for semilinear differential equations with nonlocal conditions. Nonlinear Anal., Theory Methods Appl. 2010, 72: 1104-1109. 10.1016/j.na.2009.07.049
Olszowy L: Existence of mild solutions for the semilinear nonlocal problem in Banach spaces. Nonlinear Anal., Theory Methods Appl. 2013, 72: 211-223.
Zhu T, Song C, Li G: Existence of mild solutions for abstract semilinear evolution equations in Banach spaces. Nonlinear Anal., Theory Methods Appl. 2012, 75: 177-181. 10.1016/j.na.2011.08.019
Cui J, Yan L: Existence results for impulsive neutral second-order stochastic evolution equations with nonlocal conditions. Math. Comput. Model. 2013, 57: 2378-2387. 10.1016/j.mcm.2011.12.037
Pazy A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York; 1983.
Engl HW: A general stochastic fixed-point theorem for continuous random operators on stochastic domains. J. Math. Anal. Appl. 1978, 66: 220-231. 10.1016/0022-247X(78)90279-2
Itoh S: Random fixed point theorems with an application to random differential equations in Banach spaces. J. Math. Anal. Appl. 1979, 67: 261-273. 10.1016/0022-247X(79)90023-4
Liu L, Guo F, Wu C, Wu Y: Existence theorems of global solutions for nonlinear Volterra type integral equations in Banach spaces. J. Math. Anal. Appl. 2005, 309: 638-649. 10.1016/j.jmaa.2004.10.069
Deimling K: Nonlinear Functional Analysis. Springer, Berlin; 1985.
Bothe D: Multivalued perturbation of m -accretive differential inclusions. Isr. J. Math. 1998, 108: 109-138. 10.1007/BF02783044
Mönch H: Boundary value problems for nonlinear ordinary differential equations of second order in Banach spaces. Nonlinear Anal., Theory Methods Appl. 1980, 4: 985-999. 10.1016/0362-546X(80)90010-3
Xue X: Semilinear nonlocal differential equations with measure of noncompactness in Banach spaces. J. Nanjing Univ. Math. Biq. 2007, 24: 264-276.
Zhang X, Liu L, Wu Y: Global solutions of nonlinear second-order impulsive integro-differential equations of mixed type in Banach spaces. Nonlinear Anal., Theory Methods Appl. 2007, 67: 2335-2349. 10.1016/j.na.2006.08.033
Acknowledgements
This work is supported by the NSF of China under grant No. 61174039.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
SZ completed the proof and wrote the initial draft. JS provided the problem and gave some suggestions on the amendment. SZ then finalized the manuscript. Correspondence was mainly done by JS. 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
Zhang, S., Sun, J. Existence of mild solutions for the impulsive semilinear nonlocal problem with random effects. Adv Differ Equ 2014, 194 (2014). https://doi.org/10.1186/1687-1847-2014-194
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2014-194