Abstract
In this paper, we propose a new idea to investigate the important basic problem: how to extend Darbo’s fixed point theorem? We establish some new generalizations of Darbo’s fixed point theorem by using ‘integral conditions’. Our fixed point theorems extend the existing results on the problem above.
Similar content being viewed by others
1 Introduction
It is well known that the Schauder fixed point theorem plays an important role in nonlinear analysis. In 1955, Darbo [1] proved a fixed point property for α-set contraction on a closed, bounded and convex subset of Banach spaces in terms of the measure of noncompactness, which was first defined by Kuratowski [2]. Darbo’s fixed point theorem is a significant extension of the Schauder fixed point theorem, and it also plays a key role in nonlinear analysis especially in proving the existence of solutions for a lot of classes of nonlinear equations. Since then, some generalizations of Darbo’s fixed point theorem have appeared. For example, we refer the reader to [3–6] and the references therein.
In this paper, we propose a new idea to investigate the important basic problem: how to extend Darbo’s fixed point theorem? We establish some new generalizations of Darbo’s fixed point theorem by using ‘integral conditions’. Our fixed point theorems extend the existing results on the problem above.
First of all, let us recall some basic concepts, notations and known results which will be used in the sequel. In this paper, we let E be a Banach space with the norm \(\| \cdot\|\) and 0 be the zero element in E. The closed ball centered at x with radius r is denoted by \(B(x,r)\), by simply \(B_{r}\) if \(x=0\). If X is a nonempty subset of E, then we denote by X̄ and \(\operatorname{co}(X)\) the closure and closed convex hull of X, respectively. Moreover, let \(\mathfrak{M}_{E}\) be the family of all nonempty compact subsets of E.
We use the following definition of the measure of noncompactness, which is in the form of an axiomatic way.
Definition 1.1
A mapping \(\mu:\mathfrak{M}_{E}\to R_{+}=[0,+\infty)\) is said to be a measure of noncompactness in E if it satisfies the following conditions:
-
(1)
the subfamily
$$\operatorname{ker}\mu=\bigl\{ X\in\mathfrak{M}_{E}:\mu(X)=0\bigr\} $$is nonempty and \(\operatorname{ker}\mu\subset\mathfrak{M}_{E}\);
-
(2)
if \(X\subset Y\), then \(\mu(X)\leq\mu(Y)\);
-
(3)
\(\mu(\bar{X})=\mu(X)\);
-
(4)
\(\mu(\operatorname{co}(X))=\mu(X)\);
-
(5)
\(\mu(\lambda X+(1-\lambda)Y)\leq\lambda\mu(X)+(1-\lambda )\mu(Y)\) for \(\lambda\in[0,1]\);
-
(6)
if \(\{X_{n}\}\) is a nested sequence of closed sets in \(\mathfrak{M}_{E}\) and \(\lim_{n\to\infty}\mu(X_{n})=0\), then the intersection set \(X_{\infty}=\bigcap^{\infty}_{n=1}X_{n}\) is nonempty.
The subfamily kerμ defined in (1) represents the kernel of the measure μ of noncompactness and since
we see that
Therefore, \(X_{\infty}\in \operatorname{ker}\mu\).
Definition 1.2
Let \(\Psi,\Phi:[0,+\infty)\to R \) be two functions. The pair of functions \((\Psi,\Phi)\) is said to be a pair of shifting distance functions if the following conditions hold.
-
(1)
For \(u,v\in[0,+\infty)\) if \(\Psi(u)\leq\Phi(v)\), then \(u\leq v\).
-
(2)
For \(u_{n},v_{n}\in[0,+\infty)\) with
$$\lim_{n\to\infty}u_{n}=\lim_{n\to\infty}v_{n}=w, $$if \(\Psi(u_{n})\leq\Phi(v_{n})\) for all n, then \(w=0\).
Example 1.3
Take
Then it is clear that they are a pair of shifting distance functions.
Theorem 1.4
(Schauder’s fixed point theorem)
Let Ω be a nonempty, bounded, closed and convex subset of a Banach space E. Then each continuous and compact map \(F:\Omega\to\Omega\) has at least one fixed point in Ω.
As a generalization of the Schauder fixed point theorem, we have the following fixed point theorem.
Theorem 1.5
(Darbo’s fixed point theorem)
Let Ω be a nonempty, bounded, closed and convex subset of a Banach space E and let \(T:\Omega\to\Omega\) be a continuous mapping. Assume that there exists a constant \(k\in[0,1)\) such that
for any nonempty subset X of Ω, where μ is a measure of noncompactness defined in E. Then T has at least one fixed point in Ω.
2 Main results
In this section, we present and prove our new generalizations of Darbo’s fixed point theorem.
Theorem 2.1
Let Ω be a nonempty, closed, bounded and convex subset of a Banach space E and let \(T:\Omega\to\Omega\) be a continuous mapping which satisfies the following inequality:
for any nonempty subset X of Ω, where μ is an arbitrary measure of noncompactness and \(\Psi,\Phi:[0,+\infty)\to R \) are a pair of shifting distance functions. Moreover, let \(\varphi:[0,+\infty)\to[0,+\infty]\) be a Lebesgue-integrable function, which is summable on each compact subset of \([0,+\infty)\) and
Then T has at least one fixed point in Ω.
Proof
Define a sequence \(\{\Omega_{n}\}\) as follows:
If there exists an integer \(N\geq0\) such that \(\mu(\Omega_{N})=0\), then \(\Omega_{N}\) is compact and since \(T(\Omega_{N})\subseteq\Omega_{N}\). Thus Theorem 1.4 implies that T has a fixed point.
Next, we suppose that
Then
hence we infer that \(\{\int^{\mu(\Omega_{n})}_{0} \varphi(t)\,dt \}\) is a decreasing sequence of positive real numbers by (1) of Definition 1.2. Thus there exists \(r\geq0\) such that both \(\int^{\mu(\Omega_{n})}_{0} \varphi(t)\,dt \) and \(\int^{\mu(\Omega_{n+1})}_{0} \varphi(t)\,dt \) converge to r as \(n\to\infty\). Then, in view of the above inequality and (2) of Definition 1.2, we get \(r=0\) and hence
But for any \(\varepsilon>0\), \(\int^{\varepsilon}_{0} \varphi(t)\,dt>0\), thus \(\mu(\Omega_{n})\to0\) as \(n\to\infty\).
Now since \(\Omega_{n}\) is a nested sequence, in view of (6) of Definition 1.1, we conclude that \(\Omega_{\infty}=\bigcap^{\infty}_{n=1}\Omega_{n}\) is a nonempty, closed and convex subset of Ω. Moreover, we know that \(\Omega_{\infty}\) belongs to kerμ. So \(\Omega_{\infty}\) is compact and invariant under the mapping T. Consequently, Theorem 1.4 implies that T has a fixed point in \(\Omega_{\infty}\). Since \(\Omega_{\infty}\subset\Omega\), the proof is completed then. □
Remark 2.2
Take \(\varphi(t)=1\) for \(t\in[0,\infty)\) in Theorem 2.1. Then
then Theorem 6 of [4] is obtained.
Remark 2.3
Take
in Theorem 2.1. Then we have
thus we get Darbo’s fixed point theorem.
Remark 2.4
Set \(\Psi(t)=t\), \(t\in[0,\infty)\). Let the function Φ satisfy
Then we have
thus we get Theorem 2.1 of [3].
Remark 2.5
It is easy to verify that Ψ and Φ constructed above are a pair of shifting distance functions.
Corollary 2.6
Let Ω be a nonempty, closed, bounded and convex subset of a Banach space E and let \(T:\Omega\to\Omega\) be a mapping which satisfies the following inequality:
where \(\Psi,\Phi:[0,+\infty)\to R \) are a pair of shifting distance functions. Moreover, let \(\varphi:[0,+\infty)\to[0,+\infty]\) be a Lebesgue-integrable function, which is summable on each compact subset of \([0,+\infty)\) and
Then T has at least one fixed point in Ω.
Proof
Define \(\mu:\mathfrak{M}_{E}\to R_{+}\), \(\mu(X)=\operatorname{diam}(X)\), \(X\in\mathfrak{M}_{E}\), where \(\operatorname{diam}(X)\) is the diameter of the set X. It is easy to verify that μ is a measure of noncompactness on the space E. By assumption, we have
thus we get
By Theorem 2.1 we get the result about T. □
Now, motivated by the contractive condition in Theorem 3.1 of [7], we present another generalization of Darbo’s fixed point theorem as follows.
Theorem 2.7
Let Ω be a nonempty, closed, bounded and convex subset of a Banach space E and let \(T:\Omega\to\Omega\) be a continuous mapping which satisfies the following inequality:
for any nonempty subset X of Ω, where μ is a measure of noncompactness and \(\Psi,\Phi:R_{+}\to R_{+}\) are given functions such that Φ is lower semicontinuous and Ψ is nondecreasing and continuous. Moreover, \(\Phi(0)=0\) and \(\Phi (t)>0\) for \(t>0\), and \(\varphi:[0,+\infty)\to[0,+\infty]\) is a Lebesgue-integrable function, which is summable on each compact subset of \([0,+\infty)\) and
Then T has at least one fixed point in Ω.
Proof
Consider the sequence \(\{\Omega_{n}\}\) defined by
If there exists a natural number \(n_{0}\) such that \(\mu(\Omega_{n_{0}})=0\), then \(\Omega_{n_{0}}\) is compact. The Schauder fixed point theorem ensures that T has a fixed point in Ω. So, we assume that \(\mu(\Omega_{n})>0\) for \(n=1,2,3,\ldots \) . Note that
Since \(\Phi(t)\geq0\) for any \(t\in[0,+\infty)\). Then
Hence the positive sequence \(\{\int^{\mu(\Omega_{n})}_{0} \varphi(t)\,dt\}\) is decreasing, thus is convergent. Let
Take limit on both sides of the above inequality. Then
Thus
By the hypothesis of Φ, we have
By a similar argument of Theorem 2.1, we get our result. □
Remark 2.8
When \(\varphi(t)=1\), we get Theorem 2.1 of [4].
Theorem 2.9
Let Ω be a nonempty, closed, bounded and convex subset of a Banach space E and let \(T:\Omega\to\Omega\) be a continuous mapping which satisfies the following inequality:
for any nonempty subset X of Ω, where μ is a measure of noncompactness and \(\Psi,\Phi,\theta:R_{+}\to R_{+}\) are three functions such that Φ and θ are bounded on any bounded interval in \([0,+\infty)\) and Ψ is continuous. Moreover, assume that
-
(1)
\(\Psi(s)\leq\Phi(t)\Rightarrow s\leq t\);
-
(2)
\(\theta(t)=0\Leftrightarrow t=0\) and \(\theta\geq0\);
-
(3)
for any sequence \(\{s_{n}\}\) in \(R_{+}\) with \(s_{n}\to t>0\),
$$\Psi(t)-\lim_{n\to\infty}\sup\Phi(s_{n})+\lim _{n\to\infty}\inf\theta(s_{n})>0. $$
Proof
Similar to the proof of Theorem 2.1, we have the same construction of the sequence \(\{\Omega_{n}\}\). Without loss of generality, we assume \(\mu(\Omega_{n})>0\) for all \(n\geq0\). Considering the above inequality, we have
Since \(\theta\geq0\), we see that
which implies
by condition (1). Thus \(\{\int^{\mu(\Omega_{n})}_{0}\varphi(t)\,dt\}\) is a positive but decreasing sequence. So there exists \(r\geq0\) such that
Therefore, by taking limit on both sides of the above inequality, we have
Equivalently
Therefore,
and by the property of φ, we get
By the same discussion in Theorem 2.1, we see that the conclusion of the theorem is true. □
Remark 2.10
When \(\varphi(t)=1\), we get Theorem 9 of [6].
Remark 2.11
Taking
we get Darbo’s fixed point theorem.
Let \(\Psi(t)=t\) and \(\theta(t)=0\) in the above theorem, we have the following corollary.
Corollary 2.12
Let Ω be a nonempty, closed, bounded and convex subset of a Banach space E and let \(T:\Omega\to\Omega\) be a continuous mapping which satisfies the following inequality:
for any nonempty subset X of Ω, where μ is a measure of noncompactness and \(\Phi:R_{+}\to R_{+}\) is bounded on any bounded interval in \([0,+\infty)\). Moreover, assume that \(x\leq\Phi(y)\) implies \(x\leq y\) and, for any sequence \(\{s_{n}\}\) in \([0,+\infty)\) with \(s_{n}\to t>0\),
Then T has a fixed point.
References
Darbo, G: Punti unitti in transformazioni a condominio non compatto. Rend. Semin. Mat. Univ. Padova 24, 84-92 (1955)
Kuratowski, K: Sur les espaces complets. Fundam. Math. 5, 301-309 (1930)
Aghajani, A, Allahyari, R, Mursaleen, M: A generalization of Darbo’s theorem with application to the solvability of systems of integral equations. J. Comput. Appl. Math. 260, 68-77 (2014)
Aghajani, A, Banas, J, Sabzali, N: Some generalizations of Darbo fixed point theorem and applications. Bull. Belg. Math. Soc. Simon Stevin 20, 345-358 (2013)
Hajji, A: A generalization of Darbo’s fixed point and common solutions of equations in Banach spaces. Fixed Point Theory Appl. 2013, 62 (2013)
Samadi, A, Ghaemi, MB: An extension of Darbo’s theorem and its application. Abstr. Appl. Anal. 2014, Article ID 852324 (2014)
Choudhury, BS, Metiya, N, Postolache, M: A generalized weak contraction principle with applications to coupled coincidence point problems. Fixed Point Theory Appl. 2013, 152 (2013)
Acknowledgements
The authors acknowledge support from NSFC (No. 11171210).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors contributed equally and significantly in writing this paper. Both 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
Cai, L., Liang, J. New generalizations of Darbo’s fixed point theorem. Fixed Point Theory Appl 2015, 156 (2015). https://doi.org/10.1186/s13663-015-0406-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0406-2