Abstract
In this paper, we formulate a criterion for relative compactness in the space of regulated functions on an unbounded interval and not necessarily bounded. Next we construct measure of noncompactness in this space and investigate its properties. The presented measure is simpler and more convenient to use than all known so far in space of regulated functions on an unbounded interval. Moreover, we show the applicability of the measure of noncompactness in proving the existence of solutions of some Volterra type integral equation.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Fixed point theorems are one of the main tools used to study of solvability various kinds of equations. There are many fixed point theorems which use measures of noncompactness. In this approach, very important is to choice the suitable space and define the effective and convenient measure. A detailed discussion of the application of measures of noncompactness in various spaces in the study of the solvability of various types of integral equations can be found in [11]. One of these spaces is the space of regulated functions (consisting of functions having one-side limits at every point). It obviously contains the space of continuous functions, as well as the space of functions of bounded variation. This space is naturally used in theory of measure differential equations (MDEs, for short), also known as differential equations driven by measures, which arise in many areas of applied mathematics such as nonsmooth mechanics, game theory. In the last years, there have investigated several variants of this space introducing in them the structure of Banach space (see [2, 4,5,6,7, 10, 12]).
However, when considering regulated functions on an unbounded interval \({\mathbb R}_+\), it is better to locate the considerations in the Fréchet space \(G({\mathbb R}_+,E)\) than in the Banach space \(BG({\mathbb R}_+,E)\). In the case of the space \(BG({\mathbb R}_+, E)\) all known and convenient to use measures of noncompactness have the disadvantage that they do not capture all relatively compact sets, that is, the family of those sets on which these measures are zero is significantly smaller than the family of all relatively compact sets. It is quite different in the case of the space \(G({\mathbb R}_+, E)\). As we will show later in this paper, the Fréchet space structure in \(G({\mathbb R}_+, E)\) allows for the formulation of an elegant compactness criterion. The measure of noncompactness constructed by this criterion does not have this disadvantage as before, i.e. the family of sets on which this measure is zero is exactly equal to the family of all relatively compact sets in \(G({\mathbb R}_+, E)\). An even more important feature of the measure in \(G({\mathbb R}_+, E)\) constructed in this work is that it is simpler, because it is only two-component, while the aforementioned measures of noncompactness in \(BG({\mathbb R}_+, E)\) have three components and when using such measures to investigate the solvability various kinds of equations require stronger assumptions, enforced by the presence of these three components.
The paper is organized as follow. The second section is devoted to recalling some notions, facts and theorems. In the third section, we introduce in the space \(G({\mathbb R}_+,E)\) the structure of Fréchet space (using the family of pseudonorm). Moreover, we provide the compactness criterion and using it we define the new measure of noncompactness which is more convenient than usually used in the space \(BG({\mathbb R}_+, E)\). Additionally, we study properties of this measure of noncompactness and we provide the example showing its applicability.
2 Notation, definitions and auxiliary facts
In this section, we recall some facts which are needed further on.
Assume that E is a real Banach space with the norm \(\Vert \cdot \Vert\) and the zero element \(\theta\). Denote by \(B_E(x,r)\) the closed ball centered at x and with radius r. The symbol \(B_E(r)\) stands for the ball \(B_E(\theta , r)\). For X being a nonempty subset of E we write \(\overline{X}, \mathrm{conv} X, \mathrm{Conv} X\) to denote the closure, convex hull and the convex closure of a set X, respectively. Moreover, let us denote by \({\mathfrak {M}}_{E}\) the family of all nonempty and bounded subsets of E and by \({\mathfrak {N}}_{E}\) its subfamily consisting of all relatively compact sets.
We accept the following definition of the notion of a measure of noncompactness [1].
Definition 2.1
A mapping \(\mu : {\mathfrak {M}}_{E} \rightarrow \mathbb {R}_+ :=[0,\infty )\) is said to be a measure of noncompactness in a Banach space E if it satisfies the following conditions:
- \(1^\circ\):
-
The family \(\mathrm{ker} \mu := \{X\in {\mathfrak {M}}_{E}: \mu (X) = 0\}\) is nonempty and ker \(\mu \subset {\mathfrak {N}}_E.\)
- \(2^\circ\):
-
\(X\subset Y\Rightarrow \mu (X)\le \mu (Y).\)
- \(3^\circ\):
-
\(\mu (\mathrm{Conv} X)=\mu (X).\)
- \(4^\circ\):
-
\(\mu (\lambda X+(1-\lambda )Y)\le \lambda \mu (X)+(1-\lambda ) \mu (Y)\) for \(\lambda \in [0,1].\)
- \(5^\circ\):
-
If \(\{X_n\}\) is a sequence of closed sets from \({\mathfrak {M}}_E\) such that \(X_{n+1}\subset X_n\) for \(n=1,2,...\) and if \(\lim \nolimits _{n\rightarrow \infty } \mu (X_n)=0\), then the intersection \(X_\infty :=\bigcap \nolimits ^\infty _{n=1}X_n\) is nonempty.
In the sequel, we will use measures of noncompactness having some additional properties. Namely, a measure \(\mu\) is said to be sublinear if it satisfies the following two conditions:
- \(6^\circ\):
-
\(\mu (\lambda X) = |\lambda |\mu (X),\ \ X\subset {\mathfrak {M}}_E,\ \lambda \in \mathbb {R}.\)
- \(7^\circ\):
-
\(\mu (X+Y)\le \mu (X)+\mu (Y), \ \ X,Y\subset {\mathfrak {M}}_E.\)
We consider also weak maximum property
- \(8^\circ\):
-
\(\mu (X \cup \{y\}) = \mu (X), \ \ X\subset {\mathfrak {M}}_E,\ y\in E,\)
A sublinear measure of noncompactness \(\mu\) satisfying the condition (maximum property), i.e.
- \(9^\circ\):
-
\(\mu (X \cup Y) = \max \{\mu (X), \mu (Y)\}, \ \ X,Y\subset {\mathfrak {M}}_E\)
and such that \(\mathrm{ker} \mu = {\mathfrak {N}}_E\) is said to be regular.
For a given \(X\subset {\mathfrak {M}}_E\), we denote by \(\beta (X)\) the so-called Hausdorff measure of noncompactness of X. This quantity is defined by the formula
and it is an example of the regular measure of noncompactness in E.
Let J denote the interval, bounded \(J=[0,T]\) or unbounded \(J={\mathbb R}_+:=[0,\infty )\). We use the following notation which will be needed further on: if \(J=[0,T]\), then we put \(J^+:=[0,T)\) and \(J^-:=(0,T]\), but if we take \(J={\mathbb R}_+\), then \(J^+:=[0,\infty )\) and \(J^-:=(0,\infty )\).
Now we recall some facts concerning regulated functions.
Definition 2.2
A function \(x:J\rightarrow E\), where E is a Banach space, is said to be a regulated function if for every \(t\in J^+\) the right-sided limit \(x(t^+) := \lim \nolimits _{s\rightarrow t^+}x(s)\) exists and for every \(t \in J^-\) the left-sided limit \(x(t^-) := \lim \nolimits _{s\rightarrow t^-}x(s)\) exists.
Denote by G(J, E) the space consisting of all regulated functions defined on the interval J with values in a Banach space E. Obviously, G(J, E) is a linear space.
In the case of \(J=[0,T]\), every function \(x \in G([0,T],E)\) is bounded. Hence, G([0, T], E) can be equipped with the classical supremum norm \(\Vert x\Vert _T := \sup \{\Vert x(t)\Vert : t \in J\}\). It is easy to show that G([0, T], E) is a Banach space.
Compactness criteria and measures of noncompactness in the space G([0, T], E) were investigated in several research papers (see [2, 4, 5, 10]). We recall below the concept of a equiregulated subset of the space G([0, T], E).
Definition 2.3
We will say that the set \(X \subset G([0,T],E)\) is equiregulated on the interval \(J=[0,T]\) if the following two conditions are satisfied:
Now we are going to recall the compactness criterion in G([0, T], E) formulated by Fraňková [10], (see also [2, 4, 5]).
Theorem 2.4
A nonempty subset \(X\subset G([0,T],E)\) is relatively compact in G([0, T], E) if and only if X is equiregulated on the interval [0, T] and the sets X(t) are relatively compact in E for \(t\in [0,T]\).
Let us recall the construction of regular measure of noncompactness in the space G([0, T], E) (see [2, 4, 5, 9, 15]). Therefore, let us take a set \(X\in {\mathfrak {M}}_{G([0,T],E)}\). For \(x\in X\) and \(\varepsilon > 0\) let us denote the following quantities:
The above quantities can be interpreted as left-hand and right-hand sided moduli of convergence of the function x at the point t. Further, let us put:
It is clear that \(X\subset G([0,T],E)\) is equiregulated if and only if \(\max \{\omega _T^-(X),\) \(\omega _T^+(X) \}=0\).
Finally, let us define quantity
Theorem 2.5
[15] The function \(\mu _T\) given by formula (2.1) satisfies conditions \(1^\circ -8^\circ\) in the space G([0, T], E) and moreover \(\mathrm{ker} \mu = {\mathfrak {N}}_{G([0,T],E)}\).
3 Measures of noncompactness in \(G({\mathbb R}_+,E)\)
Now we define the space mentioned in the title of this paper. Denote by \(G({\mathbb R}_+,E)\) the space consisting of all regulated functions defined on the interval \({\mathbb R}_+\) with values in a Banach space E. There is no natural norm in this space, which would provide the structure of Banach space. Therefore, we introduce the notion \(\Vert x\Vert _T := \sup \{\Vert x(t)\Vert : t \in [0, T]\}\) for \(T >0\) and we define in \(G({\mathbb R}_+,E)\) the sequence of pseudonorms \(\{\Vert \cdot \Vert _n\}_{n\in {\mathbb N}}\). The space \(G({\mathbb R}_+,E)\) becomes a Fréchet space furnished with the distance
The above defined metric implies the following property:
-
(A)
a sequence \(\{x_k\}\subset G({\mathbb R}_+,E)\) is convergent to \(x\in G({\mathbb R}_+,E)\) if and only if \(\{x_k\}\) is uniformly convergent to x on bounded subsets of \({\mathbb R}_+\), i.e. \(\lim \nolimits _{k\rightarrow \infty }\Vert x_k-x\Vert _n \rightarrow 0\) for \(n=1,2,...\)
We will say that the set \(X \subset G({\mathbb R}_+,E)\) is bounded if \(\Vert X\Vert _n < \infty\) for \(n=1,2,...\) Obviously every relative compact set in \(G({\mathbb R}_+,E)\) is also bounded.
Definition 3.1
We will say that the set \(X \subset G({\mathbb R}_+,E)\) is equiregulated in \(G({\mathbb R}_+,E)\) if for each \(T>0\) the set \(X|_{[0,T]}\) is equiregulated in G([0, T], E).
Now, we can formulate the following compactness criterion for considered space.
Theorem 3.2
Let E be a real Banach space. Then a nonempty subset \(X\subset G({\mathbb R}_+,E)\) is relatively compact iff the following two conditions are satisfied:
-
(a)
The set X(t) is relatively compact in E for each \(t\in {\mathbb R}_+\).
-
(b)
For each \(T>0\) the set \(X|_{[0,T]}\) is equiregulated.
Proof
\((\Rightarrow )\) In view of relative compactness of the set X in the space \(G({\mathbb R}_+,E)\) and condition (A), we infer that the set \(X|_{[0,T]}\) is also relative compact in the space G([0, T], E) for arbitrary \(T>0\). Hence, keeping in mind Theorem 2.3, we get the conditions (a) and (b).
\((\Leftarrow )\) In what follows we fix \(X\subset G({\mathbb R}_+,E)\) which satisfies the conditions (a) and (b), and let us consider an arbitrary sequence \(\{x_n\} \subset X\). Conditions (a) and (b) connected with Theorem 2.4 imply that the sequence \(\{x_n\}\) has a subsequence \(\{x_{1,n}\}\) converging on [0, 1] with respect to the pseudonorm \(\Vert \cdot \Vert _1\) to some regulated function defined on [0, 1]. Similarly, there exists a subsequence \(\{x_{2,n}\}\) of the sequence \(\{x_{1,n}\}\) converging on [0, 2] with respect to the pseudonorm \(\Vert \cdot \Vert _2\) to some regulated function defined on [0, 2]. Therefore, we obtain the sequence of subsequences \(\{x_{i,n}\},\ i=1,2,...\) converging on the interval [0, i] with respect to the pseudonorm \(\Vert \cdot \Vert _i\) to some regulated function defined on \({\mathbb R}_+\). Next, putting \(z_n:=x_{n,n},\ n=1,2,...\) we get the sequence \(\{z_n\}\), uniformly convergent on bounded intervals to some regulated function \(z:{\mathbb R}_+ \rightarrow E\). In virtue of the condition (A) the sequence \(\{z_n\}\) is convergent in the space \(G({\mathbb R}_+,E)\) and it implies that X is relative compact in \(G({\mathbb R}_+,E)\). \(\square\)
Using the above proved compactness criterion, we are going to introduce the measure of noncompactness in the space \(G({\mathbb R}_+,E)\). However, in contrast to the Banach space E where the measure of noncompactness is single function \(\mu : {\mathfrak {M}}_E \rightarrow \mathbb {R}_+\) (satisfying Definition 2.1), in the case of Fréchet space F, it is more convenient to introduce the sequence of functions \(\{\mu _n\}\) playing the role of measure of noncompactness (often called a family of measures of noncompactness). Let us provide the appropriate notions. The family of all nonempty and bounded subsets of F will be denoted by \({\mathfrak {M}}_F\) while its subfamily consisting of all relatively compact sets is denoted by \({\mathfrak {N}}_F\).
Now we can present the definition of the family of measures of noncompactness (see [14]).
Definition 3.3
A family of functions \(\{\mu _n \}_{n \in {\mathbb N}}\), where \(\mu _n:{\mathfrak {M}}_F\rightarrow [0,\infty )\), is said to be a measure of noncompactness in real Fréchet space F if it satisfies the following conditions:
- \((P_1)\):
-
The family \(\ker \{\mu _n \}:= \{X\in {\mathfrak {M}}_F: \mu _n(X)=0 \mathrm{~~for~~} n\in {\mathbb N}\}\) is nonempty and \(\ker \{\mu _n \}\subset {\mathfrak {N}}_F\).
- \((P_2)\):
-
\(X\subset Y\Rightarrow \mu _n(X)\le \mu _n(Y)\) for \(n\in {\mathbb N}\).
- \((P_3)\):
-
\(\mu _n(\mathrm{Conv} X)=\mu _n(X)\) for \(n\in {\mathbb N}\).
- \((P_4)\):
-
\(\mu _n(\lambda X+(1-\lambda )Y)\le \lambda \mu _n(X)+(1-\lambda ) \mu _n(Y)\) for \(\lambda \in [0,1],\ n\in {\mathbb N}.\)
- \((P_5)\):
-
If \(\{X_i\}\) is a sequence of closed sets from \({\mathfrak {M}}_F\) such that \(X_{i+1}\subset X_i~(i=1,2,...)\) and if \(\lim \nolimits _{i\rightarrow \infty } \mu _n(X_i)=0\) for each \(n\in {\mathbb N}\), then the intersection set \(X_\infty :=\bigcap \nolimits ^\infty _{i=1}X_i\) is nonempty.
For any fixed \(n\in {\mathbb N}\), we introduce the mapping \(\mu _n:{\mathfrak {M}}_{G({\mathbb R}_+,E)}\rightarrow {\mathbb R}_+\) defined by the formula
The main properties of the family of function \(\{\mu _n\}\) are contained in the below given theorem.
Theorem 3.4
The family \(\{\mu _n\}_{n\in \mathbb {N}}\) of functions \(\mu _n: {\mathfrak {M}}_{G({\mathbb R}_+,E)} \rightarrow \mathbb {R}_+, \ \ n\in {\mathbb N}\) given by the formula (3.1) is a measure of noncompactness in the Fréchet space \(G({\mathbb R}_+,E)\). Moreover, \(\ker \{\mu _n \} = {\mathfrak {N}}_{G({\mathbb R}_+,E)}\) and it satisfies the following conditions
- \((P_6)\):
-
\(\mu _n(\lambda X) = |\lambda |\mu _n(X)\) for \(\lambda \in \mathbb {R},\ n\in {\mathbb N},\)
- \((P_7)\):
-
\(\mu _n(X+Y)\le \mu _n(X)+\mu _n(Y)\) for \(X,Y\in {\mathfrak {M}}_E,\ n\in {\mathbb N},\)
- \((P_8)\):
-
\(\mu _n(X \cup \{y\}) = \mu _n(X)\) for \(X\in {\mathfrak {M}}_E,\ y\in E,\ n\in {\mathbb N}.\)
Proof
If \(X\subset G({\mathbb R}_+,E)\) is nonempty, then in virtue of Theorem 3.2, we obtain that X is relatively compact if and only if \(\mu _n(X)=0\) for \(n\in {\mathbb N}\). Hence, \(\mathrm{ker} \{\mu _n\}= {\mathfrak {N}}_{G({\mathbb R}_+,E)}\) and \((P_1)\) is proved.
Let us note that properties \((P_2)\)-\((P_4)\) and \((P_6)\)-\((P_8)\) follow immediately from theorem 2.5. Now we show that \((P_5)\) is satisfied. Let the sequence \(\{X_i \}\) is as in the condition \((P_5)\). Choose arbitrarily \(x_i \in X_i\) and let us define the sets \(Y_i := \overline{\{x_k: k\ge i\}}\), \(i=1,2,...\) Obviously \(Y_{i+1} = \{x_i\} \cup Y_i\) and then, in virtue of \((P_8)\) we derive \(\mu _n(Y_{i+1}) = \mu _n(Y_i)\) for \(n, i \in {\mathbb N}\). Since \(\lim \limits _{i\rightarrow \infty }\mu _n(X_i)=0\), then \(\mu _n(Y_i)=0\) for \(n, i \in {\mathbb N}\). Hence, we obtain \(Y_i \in \mathrm{ker} \{\mu _n\}= {\mathfrak {N}}_{G({\mathbb R}_+,E)}\). This fact and closedness of \(Y_i\) means that \(Y_i\) is compact and nonempty for \(i\in {\mathbb N}\). Since sequence \(\{Y_i\}\) is decreasing, we get \(\emptyset \ne \bigcap \nolimits ^\infty _{i=1}Y_i \subset \bigcap \nolimits ^\infty _{i=1}X_i\). \(\square\)
It can be shown (using simple examples) that the sequence \(\{\mu _n\}\) does not satisfy the strong maximum property, i.e. there exists the sets \(X, Y \in {\mathfrak {M}}_{G({\mathbb R}_+,E)}\) such that \(\mu _n(X\cup Y) \ne \max \{\mu _n(X), \mu _n(Y)\},\) \(n\in {\mathbb N}\).
Remark 3.5
Let us notice that the family \(\{\mu _n\}_{n\in \mathbb {N}}\) given above is simpler than the measure of noncompactness appearing in the the paper [9]. Namely, the measure of noncompactness (3.1) is composed of only two components. Hence, this measure requires weaker assumptions when we applying fixed point theorems than other measures.
4 An applications
At the beginning of this section, we start with recall some necessary facts.
Lemma 4.1
[13] If \(\{x_n\}_{n=1}^\infty \subset L^1([0,T], E)\) is uniformly integrable (i.e. there is \(h \in L^1([0,T], {\mathbb R}_+)\) such that \(\Vert x_n(t)\Vert \le h(t)\) for a.e. \(t\in [0, T]\) and for all \(n\in {\mathbb N}\)) then the function \([0,T] \ni t \rightarrow \beta (\{x_n(t)\}_{n=1}^\infty )\) is measurable and
where \(\beta\) is the Hausdorff measure of noncompactness.
Lemma 4.2
[3] Let E be a Banach space. If \(X\subset E\) is a bounded set, then there exist a sequence \(\{x_n\}_{n=1}^\infty \subset X\) such that \(\beta (X) \le 2 \beta (\{x_n\}_{n=1}^\infty )\).
Lemma 4.3
If \(q\in L^1([0,1], {\mathbb R}), m\in \mathbb {N}\), then
Proof
We omit the simple inductive proof that uses integration by substitution for absolutely continuous function. \(\square\)
Now we recall some generalization of Darbo fixed point theorem.
Theorem 4.4
[8] Assume that \(\Omega\) is a nonempty, bounded, convex and closed subset of the Fréchet space F and the mapping \(V:\Omega \rightarrow \Omega\) is continuous. For an arbitrary set \(X\subset \Omega\) let us put
If there exist a sequence \(\{k_n\}_{n=1}^\infty \subset [0,1)\) and sequence of natural numbers \(\{m_n\}_{n=1}^\infty\) such that
where \(\{\mu _n\}_{n\in \mathbb {N}}\) is the family of measures of noncompactness in Fréchet space F, then V has at least one fixed point in the set \(\Omega\).
Now we will show the applicability of the family of measures of noncompactness constructed in the previous section in the Frechet space \(G({\mathbb R}_+,E)\). We will study the following Volterra type integral equation
We will impose the following conditions on the functions appearing in this equation.
- \((H_1)\):
-
The function \(g:{\mathbb R}_+ \rightarrow {\mathbb R}\) is regulated, i.e. \(g \in G({\mathbb R}_+,{\mathbb R})\).
- \((H_2)\):
-
The mapping \(v:\{(t,s,x): 0 \le s \le t,\ x\in E\} \rightarrow E\) is such that the function \([0,t]\ni s \rightarrow v(t,s,x(s)) \in E\) is integrable for every \(x\in G({\mathbb R}_+,E)\) and \(t\ge 0\).
- \((H_3)\):
-
There exist nondecreasing functions \(p_1, p_2: {\mathbb R}_+ \rightarrow {\mathbb R}_+\) such that
$$\begin{aligned} \Vert v(t,s,x)\Vert \le p_1(t) p_2(s) \Vert x\Vert \quad for \ 0 \le s \le t,\ x\in E. \end{aligned}$$ - \((H_4)\):
-
There are nondecreasing functions \(\psi , \phi : {\mathbb R}_+ \rightarrow {\mathbb R}_+\) with \(\lim \nolimits _{\varepsilon \rightarrow 0^+} \psi (\varepsilon ) = 0\), such that
$$\begin{aligned} \Vert v(t_2,s,x) - v(t_1,s,x)\Vert \le \psi (|t_2-t_1|)\phi (\Vert x\Vert ), ~\text {for}~ 0 \le s \le t_1 \le t_2,\ x\in E. \end{aligned}$$ - \((H_5)\):
-
There exists a function \(q \in L^1_{\text {loc}}({\mathbb R}_+,{\mathbb R}_+)\) such that \(\beta (v(t,s,X)) \le q(s) \beta (X)\) for \(0 \le s \le t\) and bounded \(X \subset E\).
Now we formulate our existence theorem as:
Theorem 4.5
Under the assumptions \((H_1)-(H_4)\) Eq. (4.1) has at least one solution in \(G({\mathbb R}_+,E)\).
Proof
First, we define operator V such that for any \(x\in G({\mathbb R}_+,E)\)
The assumptions \((H_1)\) and \((H_2)\) guarantee that \(Vx \in G({\mathbb R}_+,E)\). Moreover we put
Next we define a function
It is easy to check that above defined r satisfies the following inequality
Next let us consider the set
The set \(\Omega\) is bounded, convex and closed. In virtue of \((H_3)\) and (4.2) we obtain
for \(x \in G({\mathbb R}_+,E)\). It shows that \(V:\Omega \rightarrow \Omega\). We omit standard proof of continuity of operator V.
Let us put \(\overline{r}(t) := \sup _{s\in [0,t]}r(s).\)
Next let us fix \(X\subset \Omega ,\) \(x\in X,\) \(n\in \mathbb {N},\) \(\varepsilon >0,\) \(t \in [0, n),\) \(t_1, t_2 \in (t, t+\varepsilon )\cap [0,n],\) \(t_1 < t_2.\) Using \((H_3), (H_4)\) and previously established notions, we derive
Hence, we get
Keeping in mind \((H_1),\ (H_4)\) and integrability of \(p_2\), we obtain (under \(\varepsilon \rightarrow 0^+\)) the following equalities \(\omega _n^+(X,t)=0,~ \omega _n^+(X)=0\). Analogously, we have \(\omega _n^-(X)=0\) and consequently
Let us fix nonempty sex \(X \subset \Omega\). In view of Lemma 4.2, there exists the sequence \(\{x_n\} \subset \mathrm{{Conv}} X\), such that \(\beta (\mathrm{{Conv}} X) \le 2 \beta (\{x_n\}_{n=1}^\infty )\). This fact, the assumptions \((H_3)\), \((H_5)\) and Lemma 4.1 yield
Hence we get
Continuing this reasoning we obtain
Then, in virtue of (3.1) we have
and applying Lemma 4.3 we get
Since \(\lim \nolimits _{m\rightarrow \infty } \frac{\bigl (4\overline{g}(n)\int _0^n q(t)\mathrm{{d}}t\bigr )^m}{m!} = 0\), then for any fixed \(n\in \mathbb {N}\) there exists \(m_n\in \mathbb {N}\) such that
Keeping in mind (2.1) and (4.3) we obtain \(\mu _n(\tilde{V}^{m_n}(X)) \le k_n \mu _n(X)\). This fact and Theorem 4.4 complete the proof. \(\square\)
Remark 4.6
Let us notice that many existence theorems, proved using the classical version of Darbo theorem, need some inconvenient assumption (existence of a solution of some artificial inequalities). Using theorem 4.4, we do not have this problem. The assumption of this type is not necessary.
References
Banaś, J., Goebel, K.: Measure of Noncompactness in Banach Spaces. Lecture Notes in Pure and Applied Math, vol. 60. Marcel Dekker, New York (1980)
Banaś, J., Zając, T.: On a measure of noncompactness in the space of regulated functions and its applications. Adv. Nonlinear Anal. (2019). https://doi.org/10.1515/anona-2018-0024
Bothe, D.: Multivalued perturbation of m-accretive differential inclusions. Isr. J. Math. 108, 109–138 (1998)
Cichoń, K., Cichoń, M., Metwali, M.A.: On some parameters in the space of regulated functions and their applications. Carpath. J. Math. 34(1), 17–30 (2018)
Cichoń, K., Cichoń, M., Satco, B.: On regulated functions. Fasc. Math. (2018). https://doi.org/10.1515/fasmath-2018-0003
Cichoń, K., Cichoń, M., Satco, B.: Measure differential inclusions through principles in the space of regulated functions. Mediterr. J. Math. 15, 148 (2018). https://doi.org/10.1007/s00009-018-1192-y1660-5446/18/040001-19
Drewnowski, L.: On Banach spaces of regulated functions. Comment. Math. 57(2), 153–169 (2017)
Dudek, S.: Fixed point theorems in Fréchet algebras and Fréchet spaces and applications to nonlinear integral equations. Appl. Anal. Discrete Math. 11, 340–357 (2017)
Dudek, S., Olszowy, L.: Measures of noncompactness and superposition operator in the space of regulated functions on an unbounded interval. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 114–168 (2020)
Fraňková, D.: Regulated functions. Math. Bohem. 116, 20–59 (1991)
Gabeleh, M., Malkowsky, E., Mursaleen, M., Rakočević, V.: A new survey of measures of noncompactness and their applications. Axioms 11, 299 (2022). https://doi.org/10.3390/axioms11060299
Michalak, A.: On superposition operators in spaces of regular and of bounded variation functions. Z. Anal. Anwend. 35, 285–308 (2016)
Mönch, H.: Boundary value problems for nonlinear ordinary differential equations of second order in Banach spaces. Nonlinear Anal. TMA 4, 985–999 (1980)
Olszowy, L.: Fixed point theorems in the Fréchet space $C({\mathbb{R}}_{+})$ and functional integral equations on an unbounded interval. Appl. Math. Comput. 218, 9066–9074 (2012)
Olszowy, L.: Measures of noncompactness in the space of regulated functions. J. Math. Anal. Appl. 476, 860–874 (2019)
Acknowledgements
This work was completed with the support of our TeX-pert.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Constantin Niculescu.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Dudek, S., Olszowy, L. Measures of noncompactness in the space of regulated functions on an unbounded interval. Ann. Funct. Anal. 13, 63 (2022). https://doi.org/10.1007/s43034-022-00206-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s43034-022-00206-4