- Research
- Open access
- Published:
Measures of noncompactness in spaces of regulated functions with application to semilinear measure driven equations
Boundary Value Problems volume 2016, Article number: 38 (2016)
Abstract
We investigate the existence of mild solutions for abstract semilinear measure driven equations with nonlocal conditions. We first establish some results on Kuratowski measure of noncompactness in the space of regulated functions. Then we obtain some existence results for the abstract measure system by using the measure of noncompactness and a corresponding fixed point theorem. The usual Lipschitz-type assumptions are avoided, and the semigroup related to the linear part of the system is not claimed to be compact, which improves and generalizes some known results in the literature.
1 Introduction
In this paper, we consider the following semilinear measure driven differential system with nonlocal condition:
where \(J=[0,a]\) with \(a>0\). The state variable \(x(\cdot)\) takes values in a Banach space X. \(A: D(A)\subseteq X \to X\) is the infinitesimal generator of a \(C_{0}\)-semigroup \(T(t)\), \(t\geq0\), and \(g: J\to\mathbb {R}\) is a nondecreasing left-continuous function; the functions \(f: J\times X \to X\) and \(p: G(J;X)\to X\) will be specified later, where \(G(J;X)\) denotes the space of regulated functions on J in which we consider the problem. By dx and dg we denote the distributional derivatives of the solution and the function g, respectively [1, 2].
Measure driven differential equations are also called differential equations with measures or measure differential equations; they arise in many areas of applied mathematics such as nonsmooth mechanics, game theory, etc. (see [3–7]). This type of systems covers some well-known cases up to the difference of g. When g is an absolutely continuous function, a step function, or the sum of an absolutely continuous function with a step function, the system corresponds to ordinary differential equations, difference equations, or impulsive differential equations, respectively. On the other hand, since measure differential equations admit discontinuous paths that may exhibit infinitely many discontinuities in a finite interval, they can model some complex behaviors in dynamic systems, for example, Zeno trajectories [8].
The nonlocal problem was considered by Byszewski [9]. This type of systems is more appropriate than the classical initial value problem to describe real phenomena because it allows us to consider additional information. In the past few years theorems about the existence and controllability of differential and functional differential abstract evolution systems with nonlocal conditions have been fully studied (see [10–17] and the references therein).
Measure differential equations were investigated early by [18–21]. We can refer to the review paper [22] for a complete introduction of measure differential systems. Recently, the theory of measure differential equations in \(\mathbb{R}^{n}\) space has been developed to some extent (see [2, 23–25]). However, to the best of our knowledge, little literatures has been devoted to measure differential equations in infinite-dimensional spaces except [1] and [26, 27]. In separable Banach spaces, by applying Hausdorff measure of noncompactness, the paper [1] discussed the existence of solutions for nonlinear measure driven system in the Kurzweil integral setting (a kind of nonabsolutely convergent integral generalizing the Lebesgue integral), in which the system can be viewed as a particular case of system (1) in this paper with \(A=0\) and \(p(x)=x_{0}\). Although some properties of Hausdorff measure of noncompactness in the space of \(G(J;X)\) were provided in [1], those properties are not intrinsic for \(G(J;X)\) since the function g in the system was involved. Under Lipschitz-type conditions, [23, 24] studied the retarded version of nonlinear measure driven system by means of generalized ordinary differential equations when \(X=\mathbb{R}^{n}\) and in the Kurzweil integral setting. The authors in [26] investigated the existence of mild solutions for abstract semilinear measure driven system without consideration of nonlocal conditions, where the compactness of the \(C_{0}\)-semigroup related to the linear part of the system is claimed. In this paper, for a general Banach space X, we first establish some useful properties of the Kuratowski measure of noncompactness in the space of regulated functions \(G(J;X)\). Then we obtain some existence results for semilinear measure driven system with nonlocal conditions (1) by applying the Kuratowski measure of noncompactness and a corresponding fixed point theorem. The compactness of the \(C_{0}\)-semigroup is not demanded in this paper. In addition, without any assumptions of Lipschitz-type as those in [23, 24], a similar analysis to system (1) can lead to the existence result for nonlinear measure retarded equations in the Lebesgue integral setting.
This paper is organized as follows. In Section 2, we review some concepts and results about the Lebesgue-Stieltjes integral and regulated functions and the Kuratowski measure of noncompactness, which will be used throughout this paper. In Section 3, some results of the Kuratowski measure of noncompactness and regulated functions are established and applied to investigate the existence for the semilinear measure system (1). An example that illustrates our results is presented in Section 4. Finally, some conclusions are drawn in Section 5.
2 Preliminaries
In this section, we recall some concepts and basic results about the Lebesgue-Stieltjes integral and regulated functions and the Kuratowski measure of noncompactness. For the properties of operator semigroups, we refer the reader to [28, 29].
Let X be a Banach space with a norm \(\|\cdot\|\), and \([a,b]\) be a closed interval of the real line. A function \(f:[a,b]\to X\) is called regulated on \([a,b]\) if the limits
exist and are finite. The space of regulated functions \(f:[a,b]\to X\) is denoted by \(G([a,b];X)\). It is well known that the set of discontinuities of a regulated function is at most countable and that the space \(G([a,b];X)\) is a Banach space endowed with the norm \(\|f\| _{\infty}=\sup_{t\in[a,b]}\|f(t)\|\) (see [30]).
The finite sets \(d=\{t_{0},t_{1},\ldots,t_{n}\}\) of points in the closed interval \([a,b]\) such that \(a=t_{0}< t_{1}<\cdots<t_{n}=b\) are called partitions of \([a,b]\). For \(\delta>0\), we say that a partition of \([a,b]\) is δ-fine if \(|t_{i}-t_{i-1}|<\delta\) for all \(i=1,2,\ldots,n\).
The following result holds by Proposition 3 in [1] since the Kurzweil integral is more general than the Lebesgue integral.
Proposition 2.1
Consider the functions \(f:[a,b]\to X\) and \(g:[a,b]\to\mathbb{R}\) such that g is regulated and \(\int_{a}^{b} f\, dg\) exists. Then for every \(t_{0}\in [a,b]\), the function \(h(t)=\int_{t_{0}}^{t} f\, dg\), \(t\in[a,b]\), is regulated and satisfies
where \(\Delta^{+} g(t)=g(t^{+})-g(t)\) and \(\Delta^{-} g(t)=g(t)-g(t^{-})\).
The readers can refer to [31, 32] for the theory of Lebesgue-Stieltjes integral and other types of integrals together with the relations among them.
Definition 2.2
([33])
A set \(\mathcal{A}\subset G([a,b];X)\) is called equiregulated if, for every \(\varepsilon>0\) and every \(t_{0}\in[a,b]\), there is \(\delta>0\) such that:
-
(i)
If \(x\in\mathcal{A}\), \(t\in[a,b]\), and \(t_{0}-\delta< t< t_{0}\), then \(\|x({t_{0}}^{-})-x(t)\|<\varepsilon\).
-
(ii)
If \(x\in\mathcal{A}\), \(t\in[a,b]\), and \(t_{0}< t< t_{0}+\delta \), then \(\|x(t)-x({t_{0}}^{+})\|<\varepsilon\).
Lemma 2.3
([33])
A set \(\mathcal{A}\subset G([a,b];X)\) is equiregulated if and only if, for every \(\varepsilon>0\), there is a δ-fine partition \(a=t_{0}< t_{1}<\cdots<t_{n}=b\) such that
for all \(x\in\mathcal{A}\) and \(t_{i-1}< t'< t''< t_{i}\), \(i=1,2,\ldots,n\).
Remark 2.4
According to Lemma 2.3, it is clear that \(x: [a,b]\to X\) is a regulated function if and only if, for every \(\varepsilon>0\), there is a δ-fine partition \(a=t_{0}< t_{1}<\cdots<t_{n}=b\) such that
for \(t_{i-1}< t'< t''< t_{i}\) and \(i=1,2,\ldots,n\). One can also refer to Lemma 1.1 in [33] for the proof.
Lemma 2.5
([33])
Let \(\{x_{n}\}_{n=1}^{\infty}\) be a sequence of functions from \([a,b]\) to X. If \(x_{n}\) converges pointwise to \(x_{0}\) as \(n\to\infty\) and the sequence \(\{x_{n}\}_{n=1}^{\infty}\) is equiregulated, then \(x_{n}\) converges uniformly to \(x_{0}\).
Lemma 2.6
Let \(W\subset G(J;X)\). If W is bounded and equiregulated, then the set \(\overline{\operatorname{co}}(W)\) is also bounded and equiregulated.
Proof
According to the boundedness of W, it is evident that \(\overline {\operatorname{co}}(W)\) is bounded.
For any \(\varepsilon>0\), it follows from the equiregularity of the set W and Lemma 2.3 that there exists a δ-fine partition \(0=t_{0}< t_{1}<\cdots<t_{n}=a\) such that
for all \(w\in W\) and \(t_{i-1}< t'< t''< t_{i}\), \(i=1,2,\ldots,n\).
For any \(h\in \operatorname{co}(W)\), there exist \(w_{1}, w_{2},\ldots,w_{m}\in W\), \(\lambda _{1},\lambda_{2},\ldots,\lambda_{m}>0\), \(\sum_{j=1}^{m} \lambda_{j}=1\), such that \(h=\sum_{j=1}^{m} \lambda_{j} w_{j}\). Then, for all \(t_{i-1}< t'< t''< t_{i}\), \(i=1,2,\ldots,n\), we have
Hence, the set \(\operatorname{co}(W)\) is equiregulated.
For any \(h\in\overline{\operatorname{co}}(W)\), there exists a sequence of functions \(\{h_{n}\}_{n=1}^{\infty}\) in the set \(\operatorname{co}(W)\) such that \(\lim_{n\to\infty} h_{n}=h\). Then for all \(t_{i-1}< t'< t''< t_{i}\), \(i=1,2,\ldots,n\), we have
Therefore, the set \(\overline{\operatorname{co}}(W)\) is equiregulated. □
The Kuratowski measure of noncompactness of a bounded subset S of the Banach space X is defined by
-
\(\alpha(S)\) = inf{\(\delta>0: S\) can be expressed as the union of a finite number of sets such that the diameter of each set does not exceed δ, i.e., \(S=\bigcup_{i=1}^{m} S_{i}\) with \(\operatorname{diam}(S_{i})\leq\delta\), \(i=1,2,\ldots,m\)},
where \(\operatorname{diam}(S)\) denotes the diameter of a set S (see [34], Definition 1.2.1).
Lemma 2.7
([34])
Let S, T be bounded sets of X, and \(\lambda\in\mathbb{R}\). Then:
-
(i)
\(\alpha(S)=0\) if and only if S is relatively compact;
-
(ii)
\(S\subseteq T\) implies \(\alpha(S)\leq\alpha(T)\);
-
(iii)
\(\alpha(\overline{S})=\alpha(S)\);
-
(iv)
\(\alpha(S\cup T)= \max\{\alpha(S),\alpha(T)\}\);
-
(v)
\(\alpha(\lambda S)=|\lambda|\alpha(S)\), where \(\lambda S=\{ x=\lambda z: z\in S\}\);
-
(vi)
\(\alpha(S+T)\leq\alpha(S)+\alpha(T)\), where \(S+T=\{x=y+z: y\in S, z\in T\}\);
-
(vii)
\(\alpha(\operatorname{co}S)=\alpha(S)\);
-
(viii)
\(|\alpha(S)-\alpha(T)|\leq2d_{h}(S,T)\), where \(d_{h}(S,T)\) denotes the Hausdorff metric of S and T, that is,
$$d_{h}(S,T)=\max \Bigl\{ \sup_{x\in S} d(x,T), \sup _{x\in T} d(x,S) \Bigr\} , $$and \(d(\cdot,\cdot)\) is the distance from an element of X to a subset of X.
Lemma 2.8
([35])
Let X be a Banach space, and \(D\subseteq X\) a bounded set. Then there exists a countable subset \(D_{0}\) of D such that \(\alpha(D)\leq2\alpha(D_{0})\).
Let μ be a regular Borel measure on J and \(L_{\mu}^{1}(J;X)\) denote the set of μ-integrable functions from J to X.
Lemma 2.9
([36])
Let \(W_{0}\subseteq L_{\mu}^{1}(J;X)\) be a countable set. Assume that there exists a positive function \(k\in L_{\mu}^{1}(J;\mathbb{R}^{+})\) such that \(\| w(t)\|\leq k(t)\) μ-a.e. for all \(w\in W_{0}\). Then we have
Corollary 2.10
Let \(W\subseteq L_{\mu}^{1}(J;X)\). If there exists a positive function \(k\in L_{\mu}^{1}(J;\mathbb{R}^{+})\) such that \(\|w(t)\|\leq k(t)\) μ-a.e. for all \(w\in W\), then we have
Proof
By Lemma 2.7(ii), Lemma 2.8, and Lemma 2.9, there exists a countable set \(W_{0}\subseteq W\) such that
□
Remark 2.11
Since the Lebesgue-Stieltjes measure is a regular Borel measure, the result of Corollary 2.10 holds for the Lebesgue-Stieltjes measure.
Lemma 2.12
([37])
Let F be a closed convex subset of a Banach space, and the operator \(N: F\to F\) be continuous with \(N(F)\) bounded. For any bounded \(B\subseteq F\), set
If there exist a constant \(0\leq\gamma<1\) and \(n_{0}\in\mathbb{N}\) such that \(\alpha(\widetilde{N}^{n_{0}}(B))\leq\gamma\alpha(B)\) for every bounded \(B\subseteq F\), then N has a fixed point.
3 Main results
In this section, we show the main results of this paper that are divided into two parts. Some properties of the Kuratowski measure of noncompactness in the space of regulated functions \(G(J;X)\) are established in the first part. These properties are then applied to discuss the existence for the semilinear measure system (1) in the second part.
3.1 Measure of noncompactness in \(G(J;X)\)
Let W be a subset of \(G(J;X)\). For each fixed \(t\in J\), we denote \(W(t)=\{x(t): x\in W\}\). Further, let \(W(J)=\bigcup_{t\in J} W(t)=\{x(t): x\in W, t\in J\}\). Next, we will provide some results on the Kuratowski measure of noncompactness in the space of regulated functions \(G(J;X)\), which generalize those in the space of continuous functions \(C(J;X)\) in [34].
Theorem 3.1
Let \(W\subset G(J;X)\) be bounded and equiregulated on J. Then \(\alpha (W(t))\) is regulated on J.
Proof
Since W is equiregulated, then for every \(\varepsilon>0\), there is a δ-fine partition \(0=t_{0}< t_{1}<\cdots<t_{n}=a\) such that
Note that
Further, the same proof as before leads to
Then we have
By Lemma 2.7(viii) we have
According to Remark 2.4, \(\alpha(W(t))\) is regulated on J. □
Theorem 3.2
Let \(W\subset G(J;X)\) be bounded and equiregulated on J. Then
Proof
Step 1. We first prove that \(\alpha(W)=\alpha(W(J))\).
(i) Let us first show that \(\alpha(W(J))\leq\alpha(W)\). For every \(\varepsilon>0\), let \(W=\bigcup_{j=1}^{m} W_{j}\) be such that \(\operatorname{diam}(W_{j})<\alpha(W)+\varepsilon\), \(j=1,2,\ldots,m\).
By the equiregularity of the set W and by Lemma 2.3 there is a δ-fine partition \(0=t_{0}< t_{1}<\cdots<t_{n}=a\) such that
for all \(x\in W\) and \(t_{i-1}< t'< t''< t_{i}\), \(i=1,2,\ldots,n\).
Let \(J_{i}=(t_{i-1},t_{i})\), \(S_{ji}=\{x(t): x\in W_{j}, t\in J_{i}\} \), \(j=1,2,\ldots,m\), \(i=1,2,\ldots, n\). It is evident that
For any \(x,y\in W_{j}\), \(t,t'\in J_{i}\), we have
Hence, \(\alpha(\bigcup_{j=1}^{m} \bigcup_{i=1}^{n} S_{ji})\leq\alpha (W)+2\varepsilon\).
For any \(x,y\in W_{j}\), \(t=t_{i}\), we have
Hence, \(\alpha(\bigcup_{j=1}^{m} \bigcup_{i=0}^{n} W_{j}(t_{i}))\leq\alpha (W)+\varepsilon\). Therefore, we have
The arbitrariness of ε shows that \(\alpha(W(J))\leq\alpha(W)\).
(ii) Let us now show that \(\alpha(W)\leq\alpha(W(J))\). For every \(\varepsilon>0\), by the equiregularity of the set W and by Lemma 2.3 there is a δ-fine partition \(0=t_{0}< t_{1}<\cdots<t_{n}=a\) such that
for all \(x\in W\) and \(t', t'' \in J_{i}=(t_{i-1}, t_{i})\), \(i=1,2,\ldots,n\).
On the other hand, there is a partition \(W(J)=\bigcup_{j=1}^{m} T_{j}\) such that
Let P be the finite set of all maps \(i\to\mu(i)\) of \(\{1,2,\ldots,n\}\) into \(\{1,2,\ldots,m\}\). Let Q be the finite set of all maps \(i\to\nu (i)\) of \(\{0,1,2,\ldots,n\}\) into \(\{1,2,\ldots,m\}\). Fixing arbitrarily \(\tau _{i} \in J_{i}\), \(i=1,2,\ldots,n\), for \(\mu\in P\), \(\nu\in Q\), let \(L_{\mu}=\{ x\in W: x(\tau_{i})\in T_{\mu(i)}, i=1,2,\ldots,n\}\), \(L_{\nu}=\{x\in W: x(t_{i})\in T_{\nu(i)}, i=0,1,\ldots,n\}\), and let \(L_{\mu\nu}=L_{\mu}\cap L_{\nu}\). It is clear that \(W=\bigcup_{\mu\in P, \nu\in Q} L_{\mu\nu}\).
For any \(x, y\in L_{\mu\nu}\) and \(t\in J\), if \(t\in J_{i}\) for some \(i=1,2,\ldots,n\), then we have
If \(t=t_{i}\) for some \(i=0,1,\ldots,n\), then we have
Consequently, for any \(x, y\in L_{\mu\nu}\), we have
which implies \(\operatorname{diam}(L_{\mu\nu})\leq\alpha(W(J))+3\varepsilon\), and hence \(\alpha(W) \leq\alpha(W(J))+3\varepsilon\). Since ε is arbitrary, we have \(\alpha(W) \leq\alpha(W(J))\).
(i) and (ii) show that \(\alpha(W)=\alpha(W(J))\).
Step 2. Now we prove that \(\alpha(W(J))=\sup\{\alpha(W(t)): t\in J\}\).
We first observe that, by Theorem 3.1, \(\alpha(W(t))\) is regulated on J, and hence \(\sup_{t\in J} \alpha(W(t))\) exists. Since \(W(t)\subset W(J)\) for any \(t\in J\), we have
On the other hand, for any given \(\varepsilon>0\), by the equiregularity of the set W and by Lemma 2.3, there is a δ-fine partition \(0=t_{0}< t_{1}<\cdots<t_{n}=a\) such that
for all \(x\in W\) and \(t', t'' \in J_{i}=(t_{i-1}, t_{i})\), \(i=1,2,\ldots,n\).
Take \(\tau_{i} \in J_{i}\) (\(i=1,2,\ldots,n\)) arbitrarily. It is easy to see that, for any i (\(i=1,2,\ldots,n\)), there exists a partition \(W=\bigcup_{j=1}^{m} W_{j}^{(i)}\) (m is independent of i) such that \(W(\tau _{i})=\bigcup_{j=1}^{m} W_{j}^{(i)}(\tau_{i})\) satisfies
Let \(B_{ij}=W_{j}^{(i)}(J_{i})\). It is evident that \(W(J)=(\bigcup_{i=1}^{n}\bigcup_{j=1}^{m} B_{ij})\cup(\bigcup_{i=0}^{n} W(t_{i}))\). For \(x, y\in W_{j}^{(i)}\) and \(t, t'\in J_{i}\), we have
and therefore,
Hence,
Since ε is arbitrary, we have
Therefore,
Thus, we have \(\alpha(W)=\alpha(W(J))=\sup\{\alpha(W(t)): t\in J\}\). □
3.2 Existence for semilinear measure driven equations
In this part, we provide existence results for the abstract measure system (1). We first give the definition of mild solutions for system (1).
Definition 3.3
The function \(x\in G(J;X)\) is called a mild solution of system (1) on J if it satisfies the following measure integral equation:
Denote by \(\mathcal{LS}_{g}(J;X)\) the space of all functions \(f: J\to X\) that are Lebesgue-Stieltjes integrable with respect to g. We introduce the following assumptions.
-
(H)
The \(C_{0}\)-semigroup \(T(t)\) generated by A is equicontinuous, that is, \(\{T(t)x: x\in B\}\) is equicontinuous at any \(t>0\) for any bounded subset \(B\subset X\) (cf. [38]). Let \(M=\sup_{t\in J}\|T(t)\|\).
-
(cf1)
For every \(x\in G(J;X)\), the function \(f(\cdot,x(\cdot))\in \mathcal{LS}_{g}(J;X)\).
-
(cf2)
The map \(x\mapsto f(\cdot,x(\cdot))\) from \(G(J;X)\) to \(\mathcal {LS}_{g}(J;X)\) is continuous.
-
(cf3)
There exist a function \(m \in\mathcal{LS}_{g}(J;\mathbb{R}^{+})\) and a nondecreasing continuous function \(\Phi: \mathbb{R}^{+} \to\mathbb {R}^{+}\) such that
$$\bigl\Vert f(t,x) \bigr\Vert \leq m(t)\Phi \bigl(\Vert x\Vert \bigr) $$for all \(x\in X\) and almost all \(t\in J\). In addition,
$$\liminf_{l\to+\infty} \frac{\Phi(l)}{l}=\gamma< +\infty. $$ -
(cf4)
There exists a function \(L \in\mathcal{LS}_{g}(J;\mathbb{R}^{+})\) such that
$$\alpha \bigl(f(t,B) \bigr)\leq L(t)\alpha(B) $$for almost all \(t\in J\) and every bounded set \(B\subseteq X\).
-
(cp)
\(p: G(J;X)\to X\) is continuous and compact, and there exist positive constants c and d such that
$$\bigl\Vert p(x) \bigr\Vert \leq c\Vert x\Vert _{\infty}+d \quad \mbox{for all } x\in G(J;X). $$
Theorem 3.4
Assume that hypotheses (H), (cf1)-(cf4), and (cp) are satisfied and
Then system (1) has a mild solution on J.
Proof
Define the operator \(N: G(J;X)\to G(J;X)\) by
As a result of assumptions (H) and (cf1), the integral in the last formula is well defined.
Let \(l>0\) be a constant, and \(B_{l}=\{x\in G(J;X): \|x\|_{\infty} \leq l\} \). For every positive number l, \(B_{l}\) is clearly a bounded closed convex set in \(G(J;X)\). Write \(N(B_{l})=\{N(x): x(\cdot)\in B_{l}\}\).
Step 1. There exists a positive number l such that \(\{ N(B_{l})\}\subseteq B_{l}\).
If this statement is not true, then for each positive constant l, there exists a function \(x_{l}(\cdot) \in B_{l}\) such that \(N(x_{l})(\cdot )\notin B_{l}\), that is, \(\|N(x_{l})(t)\|>l\) for some \(t(l)\in J\), where \(t(l)\) denotes t that is dependent on l. We have
Dividing both sides by l and taking the lower limit as \(l\to+\infty \), we get
It is a contradiction to (2). Hence, for some positive number l, \(N(B_{l})\subseteq B_{l}\).
Step 2. \(N(B_{l})\) is an equiregulated set of functions.
For \(t_{0}\in[0,a)\), we have
Hypotheses (cp) and (cf3) show that the sets \(\{p(x): x\in B_{l}\}\) and \(\{f(s,x(s)): s\in J, x\in B_{l}\}\) are bounded, respectively. On the other hand, by condition (H) the \(C_{0}\)-semigroup \(T(t)\) is equicontinuous on J. Thus, \(I_{1}\to0\) and \(I_{2}\to0\) as \(t\to {t_{0}}^{+}\), independently on particular choices of \(x(\cdot)\). Let \(h(t)=\int_{0}^{t} m(s)\, dg(s)\); by Proposition 2.1, \(h(t)\) is a regulated function on J. Hence,
also independently on \(x(\cdot)\).
We can use a similar procedure to show that \(\|N(x)({t_{0}}^{-})-N(x)(t)\| \to0\) as \(t\to{t_{0}}^{-}\) for each \(t_{0}\in(0,a]\). Therefore, \(N(B_{l})\) is equiregulated on J in terms of Definition 2.2.
Step 3. N is a continuous operator on \(B_{l}\).
Let \(\{x_{n},n\in\mathbb{N}\}\) be a convergent sequence in \(B_{l}\) and \(x_{n}\to x\) as \(n\to\infty\). In view of assumptions (cf2) and (cp) and the strong continuity of \(T(t)\), we have, for each \(t\in J\),
Step 2 implies that \(\{N(x_{n})\}_{n=1}^{\infty}\) is equiregulated. This property and the above verification, together with Lemma 2.5, show that \(N(x_{n})\) converges uniformly to \(N(x)\) as \(n\to\infty\), namely,
Therefore, N is a continuous operator.
Step 4. There exist a constant \(0\leq\gamma<1\) and a positive integer \(n_{0}\) such that for any \(B\subseteq F\), we have \(\alpha (\widetilde{N}^{n_{0}}(B))\leq\gamma\alpha(B)\), where \(F=\overline {\operatorname{co}}(N(B_{l}))\) and \(\widetilde{N}^{n}\), \(n\geq1\), are defined as in Lemma 2.12.
First, since \(p(B_{l})\) is relatively compact in X and \(T(\cdot)\) is strongly continuous, applying the Arzelà-Ascoli theorem, we infer that the set \(\{T(\cdot)p(x): x\in B_{l}\}\) is relatively compact in \(C(J;X)\). Therefore, we have \(\alpha(\{T(\cdot)p(x): x\in B_{l}\})=0\).
Since \(N(B_{l})\subseteq B_{l}\), we have \(F\subseteq\overline {\operatorname{co}}(B_{l})=B_{l}\). Hence, \(N(F)\subseteq N(B_{l})\subseteq F\). This implies that \(N: F\to F\) and \(N(F)\) is a bounded set in \(G(J;X)\).
For each bounded set \(B\subseteq F\), we have \(\widetilde {N}^{1}(B)=N(B)\subseteq N(F)\subseteq N(B_{l})\). Suppose that \(\widetilde {N}^{n-1}(B)\subseteq N(B_{l})\) (\(n\geq2\)). Then
Hence, by mathematical induction as before, we get \(\widetilde{N}^{n}(B) \subseteq N(B_{l})\) for every \(n\geq1\). On the other hand, Step 1 and Step 2 show that \(N(B_{l})\) is bounded and equiregulated on J; therefore, \(\widetilde{N}^{n}(B)\) is bounded and equiregulated on J for every \(n\geq1\). By Theorem 3.2, \(\alpha(\widetilde{N}^{n}(B))=\sup_{t\in J} \alpha(\widetilde{N}^{n}(B)(t))\).
Since \(N(B_{l})\) is bounded and equiregulated on J, by Lemma 2.6, F is bounded and equiregulated on J. By hypotheses (cf3) and (cf4) and Theorem 3.2 together with Corollary 2.10, we have, for each bounded set \(B\subseteq F\),
Then
For \(n\geq2\), \(n\in\mathbb{N}\), suppose that
Then
Therefore, by mathematical induction as before and by Theorem 3.2 we get
Since \(\frac{(4M)^{n}}{n!} (\int_{0}^{a} L(s)\,dg(s) )^{n} \to0\) as \(n\to\infty\), there exists \(n_{0}\in\mathbb{N}\) such that \(\frac {(4M)^{n_{0}}}{{n_{0}}!} \times (\int_{0}^{a} L(s)\,dg(s) )^{n_{0}}=\gamma<1\), and applying Lemma 2.12, it follows that the operator N has a fixed point in F. This fixed point is a mild solution of the measure driven system (1). □
In the special case of \(A=0\) and \(p(x)=x_{0}\), system (1) degenerates to the nonlinear measure driven system
which was investigated by [1] in the Kurzweil integral setting.
The function \(x\in G(J;X)\) is a solution of system (3) if it satisfies the measure integral equation
For the nonlinear measure driven system (3), we have the following existence result. The proof of it is similar to that of Theorem 3.4 (in view of \(T(t)=I\) and \(p(x)=x_{0}\) in this case). So we omit it.
Theorem 3.5
Assume that hypotheses (cf1)-(cf4) are fulfilled and
Then system (3) has a solution on J.
Remark 3.6
In the Kurzweil integral setting, paper [1] investigated the nonlinear measure equation (3) in separable Banach spaces. For system (3), Theorem 3.5 can be applied to general Banach spaces in the Lebesgue integral setting. On the other hand, Theorem 3.5 provides existence criteria different from those of Theorem 10 in [1] due to the different results on the measure of noncompactness in the space of regulated functions \(G(J;X)\).
For the special case \(X=\mathbb{R}^{n}\), the papers [23, 24] studied nonlinear measure retarded differential equations in the Kurzweil integral setting, where the Lipschitz-type conditions are demanded (see Theorem 5.3 in [23] and Theorem 6.1 in [24], respectively). Theorem 3.5 can be generalized to the retarded version with suitable modifications. Thus, the Lipschitz-type conditions in the literature cited are unnecessary here. On the other hand, it is well known that the compactness condition (cf4) on f in Theorem 3.5 is much weaker than the Lipschitz condition on f in Theorem 5.3 in [23]. From this point of view, Theorem 3.5 is less restrictive than that in [23].
Remark 3.7
Let \(PC(J;X)\) denote the space of piecewise continuous functions on J (see [39]). Since \(C(J;X)\subset PC(J;X)\subset G(J;X)\), in view of the relation of differential equations with impulses and measure driven equations [24], our results generalize those in [12, 17], where existence criteria were provided for abstract semilinear differential equations with or without impulsive effects, and correspondingly, the solutions belong to \(C(J;X)\) or \(PC(J;X)\).
4 An example
As an application of Theorem 3.4, we consider the following partial differential system driven by a measure:
Let \(X=L^{2}([0,\pi])\). Define \(A: X\to X\) by \(Az=z'\) with the domain \(D(A)=\{z\in X: z \mbox{ is absolutely continuous}, z'\in X, z(0)=z(\pi )=0\}\). It is well known that A is an infinitesimal generator of the \(C_{0}\)-semigroup \(T(t)\) defined by \(T(t)z(s)=z(t+s)\) for each \(z\in X\). The semigroup \(T(t)\) is not a compact semigroup on X but equicontinuous. In addition, \(M=\sup_{0\leq t\leq1}\|T(t)\|\leq1\) and \(\alpha(T(t)D)\leq\alpha(D)\), where α is the Kuratowski measure of noncompactness (see [40, 41]).
Take
It is evident that \(g: [0,1]\to\mathbb{R}\) is a left-continuous and nondecreasing function on \([0,1]\).
(H1) Assume that \(f:[0,1]\times X\to X\) is a continuous function defined by
Take \(F(t,x(\omega))=c_{0}\sin(x(\omega))\), where \(c_{0}\) is a real constant. We claim that conditions (cf1)-(cf4) in Theorem 3.4 can be satisfied:
-
(cf1) clearly holds;
-
(cf2) is satisfied because
$$\begin{aligned}& \bigl\Vert f(t,x_{n})-f(t,x) \bigr\Vert \\& \quad = \int_{0}^{1} \biggl( \int_{0}^{\pi} c_{0}^{2} \bigl\vert \sin \bigl(x_{n}(\omega) \bigr)-\sin \bigl(x(\omega ) \bigr) \bigr\vert ^{2}\,d\omega \biggr)^{1/2}\,dg(t) \\& \quad \leq c_{0} \bigl(g(1)-g(0) \bigr) \biggl( \int_{0}^{\pi} \bigl\vert x_{n}( \omega)-x(\omega ) \bigr\vert ^{2}\,d\omega \biggr)^{1/2} \\& \quad = \frac{1}{2}c_{0}\Vert x_{n}-x\Vert ; \end{aligned}$$ -
(cf3) is checked with \(m(t)=c_{0}\), \(\Phi(l)=l\), and hence, \(\gamma =1\) since
$$\begin{aligned} \bigl\Vert f(t,x) \bigr\Vert =& \biggl( \int_{0}^{\pi} c_{0}^{2} \sin^{2} \bigl(x(\omega) \bigr)\,d\omega \biggr)^{1/2} \\ \leq& \biggl( \int_{0}^{\pi} c_{0}^{2}x^{2}( \omega)\,d\omega \biggr)^{1/2}=c_{0}\|x\|; \end{aligned}$$ -
(cf4) is checked with \(L(t)=c_{0}\) since \(\alpha(f(t,B))\leq c_{0}\alpha(B)\) for any bounded subset B of X.
(H2) Define \(p: G([0,1];X)\to X\) by
with \(\phi(s)(\omega)=x(s,\omega)\). Suppose \(h\in L^{2}([0,1];\mathbb {R})\) and
Let \(\{\phi_{n},n\in\mathbb{N}\}\) be a convergent sequence in \(G([0,1];X)\), and \(\phi_{n}\to\phi\) as \(n\to\infty\), that is,
Then
Therefore, p is a continuous operator. Analogously, we can obtain that, for any \(\phi\in G([0,1];X)\),
and
According to versions of the Árzela-Ascoli theorem for \(L^{2}\) space (see [42]), p is a compact operator and satisfies hypothesis (cp) in Theorem 3.4.
Moreover, we have
which tests inequality (2).
Hence, under these assumptions, the partial differential system (4) can be reformulated as the abstract measure system (1) and there exists at least one mild solution for system (4) by Theorem 3.4.
5 Conclusions
In this paper, the issue on abstract semilinear measure driven equations in Banach spaces with nonlocal conditions has been addressed for the first time, which can model a large class of hybrid systems with Zeno behavior. We first establish some useful results on the Kuratowski measure of noncompactness in the space of regulated functions. Then the existence criteria of mild solutions for the discussed measure system are obtained by using the tools of measure of noncompactness and a corresponding fixed point theorem. The results obtained in this paper are also applicable to abstract semilinear dynamic equations on time scales. As shown in [23, 24], this type of equations can be transformed to abstract measure driven equations. Moreover, the issue on the existence for abstract semilinear measure driven equations is relatively new, and we can further develop its investigation inspired, for example, by [43].
References
Satco, B: Regulated solutions for nonlinear measure driven equations. Nonlinear Anal. Hybrid Syst. 13, 22-31 (2014)
Zavalishchin, ST, Sesekin, AN: Dynamic Impulse Systems: Theory and Applications. Kluwer Academic, Dordrecht (1997)
Brogliato, B: Nonsmooth Mechanics: Models, Dynamics, and Control. Springer, Berlin (1996)
Leine, RI, Heimsch, TF: Global uniform symptotic attractive stability of the non-autonomous bouncing ball system. Physica D 241, 2029-2041 (2012)
Leonov, G, Nijmeijer, H, Pogromsky, A, Fradkov, A: Dynamics and Control of Hybrid Mechanical Systems. World Scientific, Singapore (2010)
Moreau, JJ: Unilateral contact and dry friction in finite freedom dynamics. In: Nonsmooth Mechanics and Applications. CISM Courses and Lectures, vol. 302, pp. 1-82. Springer, New York (1988)
Wouw, NV, Leine, RI: Tracking control for a class of measure differential inclusions. In: Proceedings of the 47th IEEE Conference on Decision and Control (2008)
Lygeros, J, Tomlin, C, Sastry, S: Hybrid Systems: Modeling, Analysis and Control. http://inst.cs.berkeley.edu/~ee291e/sp09/handouts/book.pdf (2008)
Byszewski, L: Theorems about the existence and uniqueness of a solution of a semilinear evolution nonlocal Cauchy problems. J. Math. Anal. Appl. 162, 496-505 (1991)
Cardinali, T, Rubbioni, P: Impulsive mild solutions for semilinear differential inclusions with nonlocal conditions in Banach spaces. Nonlinear Anal. 75, 871-879 (2012)
Zhu, T, Song, C, Li, G: Existence results for abstract semilinear evolution differential inclusions with nonlocal conditions. Bound. Value Probl. 2013, 153 (2013)
Fan, Z, Li, G: Existence results for semilinear differential equations with nonlocal and impulsive conditions. J. Funct. Anal. 258, 1709-1727 (2010)
Henríquez, HR, Poblete, V, Pozo, JC: Mild solutions of non-autonomous second order problems with nonlocal initial conditions. J. Math. Anal. Appl. 412, 1064-1083 (2014)
Ji, S: Approximate controllability of semilinear nonlocal fractional differential systems via an approximating method. Appl. Math. Comput. 236, 43-53 (2014)
Mahmudov, NI, Zorlu, S: Approximate controllability of fractional integro-differential equations involving nonlocal initial conditions. Bound. Value Probl. 2013, 118 (2013)
Debbouche, A, Torres, DFM: Approximate controllability of fractional nonlocal delay semilinear systems in Hilbert spaces. Int. J. Control 86(9), 1577-1585 (2013)
Zhu, L, Li, G: Existence results of semilinear differential equations with nonlocal initial conditions in Banach spaces. Nonlinear Anal. 74, 5133-5140 (2011)
Das, PC, Sharma, RR: Existence and stability of measure differential equations. Czechoslov. Math. J. 22(97), 145-158 (1972)
Pandit, SG, Deo, SG: Differential Systems Involving Impulses. Springer, Berlin (1982)
Schmaedeke, WW: Optimal control theory for nonlinear vector differential equations containing measures. SIAM J. Control 3(2), 231-280 (1965)
Sharma, RR: An abstract measure differential equation. Proc. Am. Math. Soc. 32, 503-510 (1972)
Cichoń, M, Satco, BR: Measure differential inclusions-between continuous and discrete. Adv. Differ. Equ. 2014, 56 (2014)
Federson, M, Mesquita, JG, Slavík, A: Measure functional differential equations and functional dynamic equations on time scales. J. Differ. Equ. 252, 3816-3847 (2012)
Federson, M, Mesquita, JG, Slavík, A: Basic results for functional differential and dynamic equations involving impulses. Math. Nachr. 286(2-3), 181-204 (2013)
Miller, BM, Rubinovich, EY: Impulsive Control in Continuous and Discrete-Continuous Systems. Kluwer Academic, New York (2003)
Cao, Y, Sun, J: Existence of solutions for semilinear measure driven equations. J. Math. Anal. Appl. 425, 621-631 (2015)
Cao, Y, Sun, J: On existence of nonlinear measure driven equations involving non-absolutely convergent integrals. Nonlinear Anal. Hybrid Syst. (2016). doi:10.1016/j.nahs.2015.11.003
Ahmed, NU: Semigroup Theory with Applications to Systems and Control. Longman, Harlow (1991)
Pazy, A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York (1983)
Hönig, CS: Volterra-Stieltjes Integral Equations. Math. Studies, vol. 16. North-Holland, Amsterdam (1975)
Burk, FE: A Garden of Integrals. Mathematical Association of America, Washington (2007)
Carter, M, Brunt, BV: The Lebesgue-Stieltjes Integral: A Practical Introduction. Springer, Berlin (2000)
Mesquita, JG: Measure functional differential equations and impulsive functional dynamic equations on time scales. PhD thesis, Universidade de Săo Paulo, Săo Carlos, SP, Brazil (2012)
Guo, DJ, Lakshmikantham, V, Liu, XZ: Nonlinear Integral Equations in Abstract Spaces. Kluwer Academic, Dordrecht (1996)
Zhou, WX, Peng, J: Existence of solution to a second-order boundary value problem via noncompactness measures. Discrete Dyn. Nat. Soc. 2012, Article ID 786404 (2012)
Heinz, HP: On the behaviour of measures of noncompactness with respect to differentiation and integration of vector-valued functions. Nonlinear Anal. 7, 1351-1371 (1983)
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. 309, 638-649 (2005)
Xue, X: Nonlocal nonlinear differential equations with a measure of noncompactness in Banach spaces. Nonlinear Anal. 70, 2593-2601 (2009)
Benchohra, M, Henderson, J, Ntouyas, S: Impulsive Differential Equations and Inclusions. Hindawi Publishing Corporation, New York (2006)
Vrabie, II: C 0-Semigroups and Applications. North-Holland, Amsterdam (2003)
Marchado, J, Ravichandran, C, Rivero, M, Trujillo, J: Controllability results for impulsive mixed-type functional integro-differential evolution equations with nonlocal conditions. Fixed Point Theory Appl. 2013, 66 (2013)
Brezis, H: Analyse Fonctionnelle - Théorie et Applications. Masson, Paris (1983)
Xie, S: Existence results of mild solutions for impulsive fractional integro-differential evolution equations with infinite delay. Fract. Calc. Appl. Anal. 17, 1158-1174 (2014)
Acknowledgements
This work is supported by the National Natural Science Foundation of China under Grant 61174039. The authors thank the reviewer very much for important comments and suggestions on this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
YC completed the proof and wrote the initial draft. JS provided the problem and gave some suggestions of amendment. YC 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 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
Cao, Y., Sun, J. Measures of noncompactness in spaces of regulated functions with application to semilinear measure driven equations. Bound Value Probl 2016, 38 (2016). https://doi.org/10.1186/s13661-016-0539-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-016-0539-1