- Research
- Open access
- Published:
Measure of noncompactness and a generalized Darbo’s fixed point theorem and its applications to a system of integral equations
Advances in Difference Equations volume 2020, Article number: 243 (2020)
Abstract
Işık et al. (Mathematics 7:862, 2019) presented an interesting generalization of the Banach contraction principle. In this paper, motivated by Işık et al., we give a new extension of the well-known Darbo inequality in a Banach space. Our results provide several generalizations of the Darbo inequality. As an application, we study the existence of solutions for a system of functional integral equations in \(C[0,T]\). Finally, we expose a genuine example to support the effectiveness of our results.
1 Introduction and preliminaries
The notion of a measure of noncompactness (MNC) was introduced by Kuratowski [13] in 1930. This concept is a very useful tool in functional analysis, for example, in metric fixed point theory and operator equation theory in Banach spaces. This notion is also applied in the study of existence of solutions for ordinary and partial differential equations, integral, and integro-differential equations. For more details, we refer the reader to [2–6, 8, 9].
The aim of this paper is to generalize the Darbo’s fixed point theorem in Banach space and study the existence of solutions for the following system of integral equations:
where \(\iota \in [0,T]\).
We collect some notations and definitions applied throughout this paper. Let \(\mathcal{R}\) denote the set of real numbers, and let \(\mathcal{R}_{+} = [0, +\infty )\). Let \((\varLambda , \Vert \cdot \Vert )\) be a real Banach space. Moreover, by \(\overline{B}(\iota ,r)\) we denote the closed ball centered at ι with radius r, and by \(\overline{B}_{r}\) the ball \(\overline{B}(0,r)\). For a nonempty subset Δ of Λ, we denote by Δ̅ and \(\operatorname{Conv} (\Delta )\) the closure and the closed convex hull of Δ, respectively. Furthermore, we denote by \({\mathcal{M}(\varLambda )}\) the family of nonempty bounded subsets of Λ and by \({\mathcal{N}(\varLambda )}\) its subfamily consisting of all relatively compact subsets of Λ.
Definition 1.1
([7])
A mapping \(\chi :\mathcal{M}(\varLambda ) \longrightarrow \mathcal{R}_{+}\) is said to be a measure of noncompactness in Λ if it satisfies the following conditions:
- 1∘:
The family \(\ker \chi =\{\Delta \in \mathcal{M}(\varLambda ): \chi (\Delta )=0\}\) is nonempty, and \(\ker \chi \subset \mathcal{N}(\varLambda )\);
- 2∘:
\(\Delta \subset Y\Longrightarrow \chi (\Delta )\leq \chi (Y)\);
- 3∘:
\(\chi (\overline{\Delta })=\chi (\Delta )\);
- 4∘:
\(\chi (\operatorname{Conv} \Delta ) = \chi (\Delta )\);
- 5∘:
\(\chi (\lambda \Delta + (1 - \lambda )Y )\leq \lambda \chi (\Delta ) + (1 -\lambda )\chi (Y )\) for \(\lambda \in [0, 1]\);
- 6∘:
If \(\{\Delta _{n}\}\) is a sequence of closed sets from \(\mathcal{M}(\varLambda )\) such that \(\Delta _{n+1} \subset \Delta _{n}\) for \(n=1,2,\ldots \) , and if \(\lim_{n\rightarrow \infty } \chi (\Delta _{n}) = 0\), then \(\Delta _{\infty }= \bigcap_{n=1}^{\infty }\Delta _{n}\neq \emptyset \).
Two important theorems having a key role in the fixed point theory are the Schauder fixed point principle and the Darbo fixed point theorem.
Theorem 1.2
([1])
LetΩbe a nonempty, bounded, closed, and convex subset of a Banach space Λ. Then each continuous compact map\(\varUpsilon : \varOmega \rightarrow \varOmega \)has at least one fixed point in the set Ω.
The following theorem is a generalization of the Schauder fixed point principle and the Darbo fixed point theorem.
Theorem 1.3
([10])
LetΩbe a nonempty, bounded, closed, and convex subset of a Banach spaceΛ, and letϒ: \(\varOmega \rightarrow \varOmega \)be a continuous mapping. Assume that there exists a constant\(K \in [0,1) \)such that\(\chi ( \varUpsilon \Delta )\leq K\chi ( \Delta ) \)for any nonempty subset Δ ofΩ, whereχis an MNC defined in Λ. Thenϒhas at least one fixed point in Ω.
Işık et al. [12] introduced the following generalization of the Banach contraction principle, where substituting different functions f, we obtain a variety number of contractive inequalities.
Theorem 1.4
Let\((\Delta ,d)\)be a complete metric space, and let\(T:\Delta \rightarrow \Delta \)be a continuous self-mapping. Suppose that there exists a function\(f:\mathcal{R}^{+}\rightarrow \mathcal{R}^{+}\)such that\(\lim_{t\to 0^{+}} f(t)=0\), \(f(0)=0\), and
for all\(x,y\in \Delta \). ThenThas a unique fixed point.
Let \(\chi :\mathcal{M}(\varLambda ) \longrightarrow \mathcal{R}_{+}\) be a mapping defined by \(\chi (X) = \operatorname{diam} X \), where \(\operatorname{diam} X = \sup \{ \Vert x - y \Vert : x, y \in X\}\) is the diameter of X. We easily see that χ is a measure of noncompactness in a Banach space E (see [7]). According to this measure of noncompactness, we can easily observe that the Darbo fixed point theorem is a generalization of the Banach fixed point theorem. Using this idea, we want to generalize the result of Işık et al. to a Banach space E.
2 Main results
Now we state one of the main results in this paper, which extends and generalizes the Darbo fixed point theorem. In fact, motivated by the current work of Işık et al. [12], we give a new extension of the well-known Darbo fixed point theorem in a Banach space. Our results provide several inequalities, which all are generalizations of the Darbo fixed point theorem via substituting appropriate mappings instead of the control function f.
Theorem 2.1
LetΩbe a nonempty, bounded, closed, and convex (NBCC) subset of a Banach spaceΛ, and let\(\varUpsilon :\varOmega \rightarrow \varOmega \)be a continuous operator such that
for all\(\Delta \subseteq \varOmega \), where\(\varpi :[0,\infty )\rightarrow [0,\infty )\)is such that\(\lim_{t\to 0^{+}} \varpi (t)=0\), \(\varpi (0)=0\), andχis an arbitrary MNC. Thenϒhas at least one fixed point in Ω.
Proof 2.2
Let \(\{\varOmega _{n}\}\) be a sequence such that \(\varOmega _{0}=\varOmega \) and \(\varOmega _{n+1}=\overline{\operatorname{Conv}}(\varUpsilon (\varOmega _{n}))\) for all \({n \in \mathcal{N}}\).
If there exists an integer \(N \in \mathcal{N}\) such that \(\chi (\varOmega _{N})=0\), then \(\varOmega _{N}\) is relatively compact, and Theorem 1.2 implies that ϒ has a fixed point. So, we assume that \(\chi (\varOmega _{N})>0\) for each \(n \in \mathcal{N}\).
It is clear that \(\{\varOmega _{n}\}_{n\in \mathcal{N} }\) is a sequence of NBCC sets such that
Thus the sequence \(\{\varpi (\chi (\varOmega _{n}))\}\) is nonincreasing. Since ϖ is bounded below, there exists \(L\in \mathcal{R}^{+}\) such that \(\lim_{n\to \infty } \varpi (\chi (\varOmega _{n}))=L\).
We know that \(\{{\chi (\varOmega _{n})}\}_{n\in \mathcal{N} }\) is a positive decreasing and bounded below sequence of real numbers. Thus \(\{{\chi (\varOmega _{n})}\}_{n\in \mathcal{N} }\) is a convergent sequence. Let \(\lim_{n \to \infty } \chi ( \varOmega _{n})=r\).
In view of condition (3), we have
Taking the limsup in this inequality, we have
Therefore \(\lim_{n \to \infty } \chi ( \varOmega _{n}) =0\). According to axiom \((6^{\circ })\) of Definition 1.1, we have that the set \(\varOmega _{\infty } = \bigcap_{n=1}^{\infty } \varOmega _{n}\) is an NBCC set and is invariant under the operator ϒ and belongs to kerχ. Then in view of the Schauder theorem, ϒ has a fixed point.
Remark 2.3
Note that Theorem 2.1 is a generalization of the Darbo fixed point theorem. Since \(\varUpsilon :\Delta \to \Delta \) is a Darbo mapping, there exists \(k\in [0,1)\) such that
for all \(\Delta \subseteq \varOmega \). Therefore
for all \(\Delta \subseteq \varOmega \). Consequently,
and so
Therefore
Taking \(\varpi (t)=\frac{k}{1-\sqrt{k}}t\), we have \(\chi (\varUpsilon \Delta )\leq \varpi (\chi (\Delta ))-\varpi (\chi ( \varUpsilon \Delta )) \) for all \(\Delta \subseteq \varOmega \). Thus the Darbo inequality is a particular case of the contractive inequality of Theorem 2.1.
In the following corollaries, we provide examples of the function ϖ for equation (3) in Theorem 2.1 (the contractive inequality from Theorem 2.1) that have no Darbo constant k.
Taking \(\varpi (t)=te^{t}\), for all \(t\geq 0\), we deduce the following corollary.
Corollary 2.4
LetΩbe an NBCC subset of a Banach spaceΛ, and let\(\varUpsilon :\varOmega \rightarrow \varOmega \)be a continuous operator such that
for all\(\Delta \subseteq \varOmega \), whereχis an arbitrary MNC. Thenϒhas at least one fixed point in Ω.
Taking \(\varpi (t)=\sinh t\) for \(t\geq 0\), we deduce the following corollary.
Corollary 2.5
LetΩbe an NBCC subset of a Banach spaceΛ, and let\(\varUpsilon :\varOmega \rightarrow \varOmega \)be a continuous operator such that
for all\(\Delta \subseteq \varOmega \), whereχis an arbitrary MNC. Thenϒhas at least one fixed point in Ω.
Taking \(\varpi (t)=\cosh t-1\) for \(t\geq 0\), we deduce the following corollary.
Corollary 2.6
LetΩbe an NBCC subset of a Banach spaceΛ, and let\(\varUpsilon :\varOmega \rightarrow \varOmega \)be a continuous operator such that
for all\(\Delta \subseteq \varOmega \), whereχis an arbitrary MNC. Thenϒhas at least one fixed point in Ω.
Taking \(\varpi (t)=\ln ( 1+t)\) for \(t\geq 0\), we deduce the following corollary.
Corollary 2.7
LetΩbe an NBCC subset of a Banach spaceΛ, and let\(\varUpsilon :\varOmega \rightarrow \varOmega \)be a continuous operator such that
for all\(\Delta \subseteq \varOmega \), whereχis an arbitrary MNC. Thenϒhas at least one fixed point in Ω.
3 Coupled fixed point
Bhaskar and Lakshmikantham [11] have introduced the notion of a coupled fixed point and proved some coupled fixed point theorems for some mappings and discussed the existence and uniqueness of solutions for periodic boundary value problems.
Definition 3.1
([11])
An element \(( \iota ,\kappa )\in \varLambda ^{2} \) is called a coupled fixed point of a mapping \(\varUpsilon :\varLambda \times \varLambda \rightarrow \varLambda \) if \(\varUpsilon ( \iota ,\kappa )=\iota \) and \(\varUpsilon (\kappa ,\iota )=\kappa \).
Theorem 3.2
([8])
Suppose that\(\chi _{1},\chi _{2},\ldots,\chi _{n}\)are measures of noncompactness in Banach spaces\(\varLambda _{1},\varLambda _{2},\ldots,\varLambda _{n}\), respectively. Moreover, assume that a function\(\varUpsilon :[0,\infty )^{n} \longrightarrow [0,\infty ) \)is convex and such that\(\varUpsilon (\iota _{1},\ldots,\iota _{n})=0 \)if and only if\(\iota _{i} = 0\)for\(i = 1,2,\ldots,n \). Then
defines a measure of noncompactness in\(\varLambda _{1} \times \varLambda _{2}\times \cdots \times \varLambda _{n}\), where\(\Delta _{i}\)denotes the natural projection of Δ into\(\varLambda _{i}\)for\(i = 1, 2,\ldots, n\).
Theorem 3.3
LetΩbe an NBCC subset of a Banach spaceΛ, and let\(\varUpsilon :\varOmega \times \varOmega \rightarrow \varOmega \)be a continuous function such that
for any subset\(\Delta _{1}\), \(\Delta _{2}\)ofΩ, whereχis an arbitrary MNC, andϖis as in Theorem 2.1. In addition, we assume thatϖis a subadditive mapping. Thenϒhas at least one coupled fixed point.
Proof 3.4
We define the mapping \(\widetilde{\varUpsilon } : \varOmega ^{2} \rightarrow \varOmega ^{2} \) by
It is clear that ϒ̃ is continuous. We show that ϒ̃ satisfies all the conditions of Theorem 2.1. Let \(\Delta \subset \varOmega ^{2}\) be a nonempty subset. We know that \(\widetilde{\chi }(\Delta )=\chi (\Delta _{1})+ \chi (\Delta _{2})\) is an MNC [7], where \(\Delta _{1}\) and \(\Delta _{2}\) denote the natural projections of Δ into Λ. From (9) we have
Now, from Theorem 2.1 we deduce that ϒ̃ has at least one fixed point, which implies that ϒ has at least one coupled fixed point.
4 Application
In this section, as an application of Theorem 3.3, we study the existence of solutions for the system of functional integral equations (1).
Let \(C[0,T] \) be the space of all real bounded continuous functions on the interval \(\mathcal{J}= [0,T] \) equipped with the standard norm
Recall that the modulus of continuity of a function \(\iota \in C[0,T]\) is defined by
The Hausdorff measure of noncompactness for all bounded sets Ω of \(C[0,T] \) is defined as
(For more detail, see [8].)
Theorem 4.1
Suppose that the following assumptions are satisfied:
- (i)
ρand\(\varrho : [0,T] \longrightarrow [0,T]\)are continuous functions.
- (ii)
The function\(\varpi :[0,T] \times \mathcal{R}^{3} \longrightarrow \mathcal{R}\)is continuous, and
$$\begin{aligned}& \max \bigl\{ \bigl\vert \varpi (\iota ,\mu _{1},\mu _{2}, \kappa )-\varpi ( \iota ,\nu _{1},\nu _{2},z) \bigr\vert , \varGamma \bigl( \bigl\vert \varpi (\iota , \mu _{1},\mu _{2}, \kappa )-\varpi (\iota ,\nu _{1},\nu _{2},z) \bigr\vert \bigr) \bigr\} \\& \quad \leq \frac{1}{4}\varGamma \bigl( \vert \mu _{1}-\nu _{1} \vert + \vert \mu _{2}- \nu _{2} \vert \bigr)+ \vert \kappa -z \vert , \end{aligned}$$where\(\varGamma :[0,\infty )\rightarrow [0,\infty )\)is a continuous strictly increasing subadditive mapping such that\(\lim_{t\to 0^{+}} \varGamma (t)=0\)and\(\varGamma (0)=0\).
- (iii)
\(N:=\sup \{ \vert \varpi (\iota , 0,0,0) \vert :\iota \in [0,T] \}\).
- (iv)
\(g:[0,T]\times [0,T]\times \mathcal{R}^{2}\longrightarrow \mathcal{R}\)is continuous, and
$$\begin{aligned}& \begin{aligned} G:= {}&\sup \biggl\{ \biggl\vert \int _{0}^{\varrho (\iota )}g \bigl(\iota ,\kappa , \mu _{1} \bigl(\rho (\kappa ) \bigr),\mu _{2} \bigl(\rho (\kappa ) \bigr) \bigr)\,d\kappa \biggr\vert : \\ &\iota , \kappa \in [0,T], \mu _{1}, \mu _{2},\in C \bigl([0,T] \bigr) \biggr\} . \end{aligned} \end{aligned}$$ - (v)
There exists a positive solution\(r_{0}\)to the inequality
$$\begin{aligned} \biggl(\frac{\varGamma (2r)}{4}+G \biggr)+N\leq r. \end{aligned}$$
Then the system of integral equations (1) has at least one solution in the space\((C[0,T])^{2}\).
Proof 4.2
Let us consider the operator
defined by
We observe that for any \(\iota \in [0,T] \), the function \(\varUpsilon (\mu _{1}, \mu _{2}) (\iota ) \) is continuous. For arbitrary fixed \(\iota \in [0,T]\), by assumptions (i)–(iii) we have
Therefore
By inequality (10) and (iv), ϒ is a function from \((\bar{B}_{r_{0}})^{2}\) into \((\bar{B}_{r_{0}})\).
Now we prove that the operator ϒ is a continuous operator on \((\bar{B}_{r_{0}})^{2}\). Let us fix arbitrary \(\varepsilon > 0\) and take \((\mu _{1}, \mu _{2}),(\nu _{1}, \nu _{2})\in (\bar{B}_{r_{0}})^{2}\) such that \(\max \{ \Vert \mu _{1}- \nu _{1} \Vert , \Vert \mu _{2}- \nu _{2} \Vert \} < \varepsilon \). Then for all \(\iota \in \mathcal{J}\), we have
where
and
Applying the continuity of g on \(\mathcal{J}\times [0,\varrho (T)]\times [-r_{0},r_{0}]^{2}\), we have \(\omega ^{T}(g,\varepsilon ) \rightarrow 0\) as \(\varepsilon \rightarrow 0\), which implies that ϒ is a continuous function on \((\bar{B}_{r_{0}})^{2}\).
Now we prove that ϒ satisfies the conditions of Theorem 3.3. To this end, let \(\Delta _{1}\) and \(\Delta _{2} \) are nonempty and bounded subsets of \(\bar{B}_{r_{0}}\) and let \(\varepsilon >0\) be an arbitrary constant. Let \(\iota _{1}, \iota _{2}\in [0,T]\) with \(\vert \iota _{2}-\iota _{1} \vert \leq \varepsilon \), and let \((\mu _{1}, \mu _{2})\in \Delta _{1}\times \Delta _{2} \). Then we have
where
By condition (ii) we have
By condition (ii) we have
where
Since \((\mu _{1}, \mu _{2})\) was an arbitrary element of \(\Delta _{1}\times \Delta _{2} \) in (11), we have
On the other hand,
where
By condition (ii) we have
Therefore we find that
According to the uniform continuity of f and g on the compact sets
and
respectively, we infer that \(\omega _{{r_{0}},G}(f,\epsilon )\longrightarrow 0\), \({{\omega }_{r_{0}}}(g, \epsilon )\longrightarrow 0\) and \(\omega (\varrho , \epsilon )\longrightarrow 0\) as \(\epsilon \longrightarrow 0\).
From the above inequalities, according to the subadditivity of Γ, we obtain that
Thus from Theorem 3.3 we obtain that the operator ϒ has a coupled fixed point. Therefore the system of functional integral equations (1) has at least one solution in \((C[0,T])^{2}\).
5 Example
Example 5.1
Consider the following system of integral equations:
We observe that this system of integral equations (18) is a particular case of (1) with
To solve this system, we need to verify conditions (i)–(v) of Theorem 4.1.
Condition (i) is clearly evident since
and
So we can find that ϖ satisfies condition (ii) of Theorem 4.1 with \(\varGamma (t)=\arctan (t)\). Also,
Moreover, g is continuous on \([0,T]\times [0,T]\times \mathcal{R}^{2} \), and
Furthermore, it is easy to see that any \(r \geq 0.6238 \) satisfies the inequality in condition (iv), that is,
Consequently, all the conditions of Theorem 4.1 are satisfied. Hence the system of integral equations (18) has at least one solution that belongs to the space \(C[0,1]\times C[0,1]\).
References
Agarwal, R., Meehan, M., O’Regan, D.: Fixed Point Theory and Applications. Cambridge University Press, Cambridge (2004)
Aghajani, A., Mursaleen, M., Shole Haghighi, A.: A generalization of Darbo’s theorem with application to the solvability of systems of integral equations. J. Comput. Appl. Math. 260, 68–77 (2014)
Banaei, Sh.: Solvability of a system of integral equations of Volterra type in the Fréchet space \(L^{p}_{\mathrm{loc}}(\mathcal{R}_{+})\) via measure of noncompactness. Filomat 32, 5255–5263 (2018)
Banaei, Sh.: An extension of Darbo’s theorem and its application to existence of solution for a system of integral equations. Cogent Math. Stat. 6, 1614319 (2019). https://doi.org/10.1080/25742558.2019.1614319
Banaei, Sh., Ghaemi, M.B.: A generalization of the Meir–Keeler condensing operators and its application to solvability of a system of nonlinear functional integral equations of Volterra type. Sahand Commun. Math. Anal. 15, 19–35 (2019). https://doi.org/10.22130/scma.2018.74869.322
Banaei, Sh., Ghaemi, M.B., Saadati, R.: An extension of Darbo’s theorem and its application to system of neutral differential equations with deviating argument. Miskolc Math. Notes 18, 83–94 (2017)
Banás, J., Goebel, K.: Measures of Noncompactness in Banach Spaces. Lecture Notes in Pure and Applied Mathematics. New York (1980)
Banás, J., Jleli, M., Mursaleen, M., Samet, B.: Advances in Nonlinear Analysis via the Concept of Measure of Noncompactness. Springer, Singapore (2017)
Banás, J., Mursaleen, M.: Sequence Spaces and Measures of Noncompactness with Applications to Differential and Integral Equations. Springer, Berlin (2014)
Darbo, G.: Punti uniti in trasformazioni a codominio non compatto. Rend. Semin. Mat. Univ. Padova 24, 84–92 (1955)
Gnana Bhaskar, T., Lakshmikantham, V.: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. 65, 1379–1393 (2006)
Işık, H., Mohammadi, B., Haddadi, M.R., Parvaneh, V.: On a new generalization of Banach contraction principle with application. Mathematics 7, 862 (2019). https://doi.org/10.3390/math7090862
Kuratowski, K.: Sur les espaces complets. Fundam. Math. 15, 301–309 (1930)
Acknowledgements
The third author would like to thank Basque Government for funding this work through Grant IT1207-19.
Availability of data and materials
Not applicable.
Funding
This work has been funded in part by the Basque Government through Grant IT1207-19.
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Consent for publication
Not applicable.
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
Parvaneh, V., Khorshidi, M., De La Sen, M. et al. Measure of noncompactness and a generalized Darbo’s fixed point theorem and its applications to a system of integral equations. Adv Differ Equ 2020, 243 (2020). https://doi.org/10.1186/s13662-020-02703-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02703-z