Abstract
In this paper, we present common fixed point theorems for commuting operators which generalize Darbo’s and Sadovski’s fixed point theorems. As example and application, we study the existence of common solutions of equations in Banach spaces using the measure of noncompactness.
MSC:47H10, 47H09.
Similar content being viewed by others
1 Introduction
In 1955, Darbo [1] proved the fixed point property for αset contraction (i.e., \alpha (S(A))\le k\alpha (A) with k\in \phantom{\rule{0.2em}{0ex}}]0,1[) on a closed, bounded and convex subset of Banach spaces. Since then many interesting works have appeared. For example, in 1967, Sadovski [2] proved the fixed point property for condensing functions (i.e., \alpha (S(A))<\alpha (A) with \alpha (A)\ne 0) on closed, bounded and convex subset of Banach spaces. It should be noted that any αset contraction is a condensing function, but the converse is not true (see [[3], p.160]). In 2007, we have proved in [4] the existence of a common fixed point for commuting mappings satisfying
where α is the measure of noncompactness on a closed, bounded and convex subset Ω of a locally convex space X, and {T}_{i} and S are continuous functions from Ω to Ω with {T}_{i} and, in addition, are affine or linear. Furthermore, if for every i\in I, the {T}_{i} in (1) and (2) are equal to the identity function, then we obtain in particular Darbo’s (see [1]) as well as Sadovski’s fixed point theorems (see [2]), which are used to study the existence of solutions of one equation.
The aim of this paper is to prove the existence of a common fixed point of the operators T and S satisfying
where T is affine, S and T are continuous functions, and T commutes with S. As application, we study the existence of common solutions of the following equations:
under appropriate assumptions on functions f, {T}_{1}, and {T}_{2}.
2 Preliminaries
We begin by recalling some needed definitions and results. Let (X,\parallel \phantom{\rule{0.25em}{0ex}}\parallel ) be a Banach space and denote by ℬ the family of all bounded subsets of X.
Definition 2.1 The function \alpha :\mathcal{B}\to {\mathbb{R}}_{+} defined, for every B\in \mathcal{B}, by
is called the measure of noncompactness in X.
The measure of noncompactness α satisfies the following properties.
Let A,B\in \mathcal{B}. Then

(1)
For A\subset B, we have \alpha (A)\le \alpha (B).

(2)
For any \lambda \in \mathbb{R}, we have \alpha (\lambda A)=\lambda \alpha (A).

(3)
\alpha (A+B)\le \alpha (A)+\alpha (B).

(4)
\alpha (\overline{A})=\alpha (A).

(5)
\alpha (A)=0 if and only if \overline{A} is compact.

(6)
\alpha (A\cup B)\le max(\alpha (A),\alpha (B)).

(7)
\alpha (A)=\alpha (co(A)), where co(A) is the convex hull of A in X.
Definition 2.3 A mapping T on a convex set ℳ is affine if it satisfies the identity
whenever 0<k<1, x,y\in \mathcal{M}.
Theorem 2.4 (see [4])
Let X be a Hausdorff complete and locally convex space, whose topology is defined by a family of seminorms \mathcal{P}. Let Ω be a convex closed bounded subset of X, I be a set of index, and {\{{T}_{i}\}}_{i\in I} and S be two continuous functions from Ω into Ω such that:

(a)
For any i\in I, {T}_{i} commutes with S.

(b)
For any A\subset \mathrm{\Omega} and i\in I, we have {T}_{i}(\overline{co}(A))\subset \overline{co}({T}_{i}(A)), where co(A) is the convex hull of A in Ω.

(c)
There exists 0<k<1 such that for any A\subset \mathrm{\Omega}
\alpha (S(A))(p)\le k\underset{i\in I}{sup}\alpha ({T}_{i}(A))(p),\phantom{\rule{1em}{0ex}}p\in \mathcal{P}.
Then we have:

(1)
The set \{x\in \mathrm{\Omega}:S(x)=x\} is nonempty and compact.

(2)
For any i\in I, {T}_{i} has a fixed point and \{x\in \mathrm{\Omega}:{T}_{i}(x)=x\} is a closed set and invariant by S.

(3)
If {T}_{i} is affine and {\{{T}_{i}\}}_{i\in I} is a commuting family, then {T}_{i} and S have a common fixed point and the set \{x\in \mathrm{\Omega}:{T}_{i}(x)=S(x)=x\} is compact.

(4)
If {\{{T}_{i}\}}_{i\in I} is a commuting family and S is affine, then there exists a common fixed point for the mappings {\{{T}_{i}\}}_{i\in I}.
Theorem 2.5 (see [4])
Let X be a Hausdorff complete and locally convex space, whose topology is defined by a family of seminorms \mathcal{P}. Let Ω be a convex, closed and bounded subset of X, I be a given set of index, and {\{{T}_{i}\}}_{i\in I}, S be continuous functions from Ω into Ω such that:

(a)
For every i\in I, {T}_{i} commutes with S.

(b)
For every i\in I, {T}_{i} is linear.

(c)
There exists j\in I such that for every A\subset \mathrm{\Omega} and p\in \mathcal{P}, with \alpha (A)(p)\ne 0, we have
\alpha (S(A))(p)<sup\left(\alpha ({T}_{j}(A)(p),\alpha (A)(p))\right).
Then

(1)
{T}_{j} and S have a fixed point, and \{x\in \mathrm{\Omega}:{T}_{j}(x)=S(x)=x\} is a nonempty and compact set.

(2)
If {\{{T}_{i}\}}_{i\in I} is a commuting family and S is affine, then there exists a common fixed point for the mappings in {\{{T}_{i}\}}_{i\in I}.
3 Fixed point theorems
It is well known that if ST has a fixed point, for given operators T and S, then S and T not necessarily have a fixed point or a common fixed point. Thus, it will be of interest to establish some results showing the existence of a common fixed point for T and S when the operator ST has a fixed point. The last fact can be used to study the existence of common solutions of equations.
Theorem 3.1 Let X be a Banach space and Ω be a nonempty convex, closed and bounded subset of X. Let T and S be two continuous functions from Ω into Ω such that:

(a)
TS=ST.

(b)
T is affine.

(c)
There exists k\in \phantom{\rule{0.2em}{0ex}}]0,1[ such that for any A\subset \mathrm{\Omega} we have
\alpha (ST(A))\le k\alpha (A).
Then the set \{x\in \mathrm{\Omega}:Sx=Tx=x\} is nonempty and compact.
Proof Consider the operator H(x)=kS(T(x))+(1k)T(x). It is clear that H maps Ω into Ω, commutes with T and is continuous. Moreover, by (2) and (3) of Proposition 2.2, we have
for any A\subset \mathrm{\Omega}. Furthermore, since k\in \phantom{\rule{0.2em}{0ex}}]0,1[ we have {k}^{2}<k and therefore {k}^{2}+1k<k+1k=1. Hence by making appeal to Theorem 2.4, we conclude that {\mathcal{F}}_{0}=\{x\in \mathrm{\Omega}/Hx=Tx=x\} is nonempty and compact. Furthermore, for any x\in {\mathcal{F}}_{0}, we have
Whence, S and T have a common fixed point. Let \mathcal{F}=\{x\in \mathrm{\Omega}:Sx=Tx=x\}, then
which implies \alpha (\mathcal{F})=0. Now, since S and T are continuous, then ℱ is compact. □
Observe that Theorem 3.1 above shows the following:
(∗) If the operator ST has a fixed point, then T and S have a common fixed point.
(∗∗) If the operator T equals the identity function, then we obtain Darbo’s fixed point theorem.
Theorem 3.2 Let X be a Banach space and Ω be a nonempty convex, closed and bounded subset of X. Let {T}_{1}, {T}_{2}, and S be continuous functions from Ω into Ω such that:

(a)
{T}_{1}{T}_{2}={T}_{2}{T}_{1} and {T}_{i}S=S{T}_{i} for any i\in \{1,2\}.

(b)
{T}_{1}, {T}_{2} are affine.

(c)
There exists k\in \phantom{\rule{0.2em}{0ex}}]0,1[ such that for any A\subset \mathrm{\Omega} we have
\alpha (S(A))\le k\alpha (A).
Then the set \{x\in \mathrm{\Omega}:Sx={T}_{1}x={T}_{2}x=x\} is nonempty and compact.
Proof Consider the following operator H(x)=S({T}_{1}(x)). It is clear that H maps Ω into Ω, commutes with {T}_{1}, and is continuous. Moreover, we have for any A\subset \mathrm{\Omega}
Hence, by Theorem 2.4, H and {T}_{1} have a common fixed point which is a fixed point with S. Thus, the nonempty set \mathcal{F}=\{x\in \mathrm{\Omega}:{T}_{1}x=x\} is convex, closed and bounded subset of Ω, for {T}_{1} being continuous and affine. Moreover, by (a) we have S(\mathcal{F})\subset \mathcal{F} and {T}_{2}(\mathcal{F})\subset \mathcal{F}. Therefore, for any A\subset \mathcal{F}, we have
By the same argument as before, we consider {H}_{1}(x)=S{T}_{2}(x) for x\in \mathcal{F}. It follows that the set \{x\in \mathrm{\Omega}:Sx={T}_{1}x={T}_{2}x=x\} is nonempty and compact. □
Theorem 3.2 can be used to show that any affine operator T that commutes with S and satisfies Darbo’s condition [1] has a common fixed point with S.
Theorem 3.3 Let X be a Banach space, Ω be a nonempty convex, closed and bounded subset of X, T and S be continuous functions from Ω into Ω such that:

(a)
T commutes with S.

(b)
T is linear.

(c)
For any A\subset \mathrm{\Omega} with \alpha (A)\ne 0, we have
\alpha \left(S(T(A))\right)<\alpha (A).
Then the set \{x\in \mathrm{\Omega}:Sx=Tx=x\} is nonempty.
Proof Let k\in \phantom{\rule{0.2em}{0ex}}]0,1[ and consider the operator
for any x\in \mathrm{\Omega}. It is clear that H maps Ω into Ω, commutes with T, and is continuous. Moreover, for any A\subset \mathrm{\Omega} such that \alpha (A)\ne 0, we have
Hence, by Theorem 2.5, H and T have a common fixed point which is also a fixed point of S. □
As a consequence of Theorem 3.3 above, one can recover Sadovski’s fixed point theorem when T is equal to the identity function.
4 Example and application
4.1 Example
Let {L}^{1}({\mathbb{R}}_{+}) be the space of Lebesgue integrable functions on the measurable subset {\mathbb{R}}_{+} of ℝ with the standard norm
Let k\in {L}^{1}({\mathbb{R}}_{+}) defined by
Therefore, we can see that for any A>0 and for all {t}_{1},{t}_{2}\in {\mathbb{R}}_{+}, the following condition is satisfied:
Then using Krzyz’s theorem (see [6]), the linear operator
transforms the set of nonincreasing functions from {L}^{1}({\mathbb{R}}_{+}) into itself. Furthermore, we can see that the norm of the convolution operator K satisfies
The Hausdorff measure of noncompactness on the Banach space E, noted by \chi (A) (see [5, 7]), is defined as
where {B}_{r} is a closed ball in E centered at zero and of radius r.
Note that there is another measure γ on the space {L}^{1}({\mathbb{R}}_{+}) [8]. Indeed, for any \u03f5>0, let
where meas(D) denotes the Lebesgue measure of the subset D (see [7, 8]), and
We have
Then we have the following theorem.
Theorem 4.1 (see [8])
Let X be a nonempty, bounded and compact in measure subset of {L}^{1}({\mathbb{R}}_{+}). Then
Now, let us consider the following operator defined by
for any x\in {L}^{1}({\mathbb{R}}_{+}), where b>0 and the function \phi :{\mathbb{R}}_{+}\to {\mathbb{R}}_{+} is increasing and absolutely continuous such that {\phi}^{\prime}(t)\ge B for some constant B>0 and for almost all t\in {\mathbb{R}}_{+}.
Using the same argument as in [7], we can show that for any x\in {L}^{1}({\mathbb{R}}_{+}), we have
Hence, for \parallel x\parallel <r, we have
and if we take
then
Moreover,
This implies that S and K map the ball {B}_{r} into {B}_{r}, where r=\frac{1}{1\frac{b}{B}(1{e}^{1})} with b<\frac{Be}{e1}.
Further, let {Q}_{r} be the subset of {B}_{r} consisting of all functions that are a.e. positive and nonincreasing on {\mathbb{R}}_{+}, which is a compact in measure (see [9]), bounded, closed and convex subset of {L}^{1}({\mathbb{R}}_{+}). Therefore, K and S map {Q}_{r} into {Q}_{r} (see [[7], p.454]). Whence, for any A\in {Q}_{r}, we have
Next, by making use of Theorem 4.1, we get
This implies that S is a χcontraction with the constant 2\frac{b\parallel K\parallel}{B} or 2\frac{b}{B}(1{e}^{1}). If we take b\in \phantom{\rule{0.2em}{0ex}}]\frac{1}{2}\frac{Be}{e1},\frac{Be}{e1}[, then the constant 2\frac{b}{B}(1{e}^{1})>1. Hence, neither Darbo’s fixed point nor Sadovski’s fixed point theorem are applied to the operator S. On the other hand, we have SK=KS, indeed the function {e}^{t} for any t\in {\mathbb{R}}_{+} is a fixed point of K (see [4]), SK maps {Q}_{r} into {Q}_{r} and
Thus,
which implies that SK is a χcontraction with the constant 2\frac{b}{B}{(1{e}^{1})}^{2}<1. Now, by Theorem 3.1, S and K have a common fixed point {x}_{0}\in {Q}_{r} satisfying
This gives rise to a solution of the following equation:
4.2 Common solutions of equations in Banach spaces
Let (X,\parallel \phantom{\rule{0.25em}{0ex}}\parallel ) be a Banach space and B be a convex, closed and bounded subset of X. Denote by C([0,b],B) the space of all continuous functions from [0,b]; b>0, into B endowed with the norm
Assume that

(a)
for given fixed f:[0,b]\times B\to B, there exists k\in \phantom{\rule{0.2em}{0ex}}]0,1[ such that
\parallel f(t,x)f(t,y)\parallel \le k\parallel xy\parallelfor all x,y\in B, t\in [0,b];

(b)
{T}_{i}:B\to B are linear continuous, satisfying {T}_{i}(f(t,x))=f(t,{T}_{i}(x)) for any (t,x)\in [0,b]\times B and \mathrm{\forall}i\in \{1,2\}.
Theorem 4.2 Under hypotheses (a) and (b), equations (5), (6), (7), and (8) have at least one common solution in C([0,b],B).
Proof First, it is clear that C([0,b],B) is a closed, bounded and convex subset of C([0,b],X). On the other hand, by considering Sx(t):=f(t,x(t)), for x\in C([0,b],B), we have
This implies that
for any x,y\in C([0,b],B). Furthermore, since any contraction with the constant k is an αcontraction with the same constant k (α is the measure of noncompactness in C([0,b],B)), then
Finally, since S and {T}_{i} commute, we conclude from Theorem 3.2 that {T}_{1}, {T}_{2}, and S have a common fixed point. Therefore, equations (5), (6), (7), and (8) have at least one common solution in C([0,b],B). □
References
Darbo G: Punti unitti in transformazioni a condominio non compatto. Rend. Semin. Mat. Univ. Padova 1955, 24: 84–92.
Sadovski BN: On a fixed point principle. Funct. Anal. Appl. 1967, 1: 74–76.
Istratescu VI: Fixed Point Theory. Reidel, Boston; 1981.
Hajji A, Hanebaly E: Commuting mappings and α compact type fixed point theorems in locally convex spaces. Int. J. Math. Anal. 2007, 1(14):661–680.
Banas J, Goebel K Lect. Notes in Math. 60. In Measure of Noncompactness in Banach Spaces. Dekker, Now York; 1980.
Krzyz J: On monotonicitypreserving transformations. Ann. Univ. Mariae CurieSkl̄odowska, Sect. A 1952, 6: 91–111.
ElSayed WG: Nonlinear functional integral equations of convolution type. Port. Math. 1997, 54(4):449–456.
Banas J, ElSayed WG: Measure of noncompactness and solvability of an integral equation in class of functions of locally bounded variation. J. Math. Anal. Appl. 1992, 167: 133–151. 10.1016/0022247X(92)902415
Dunford N, Schwartz JT: Linear Operators I. Interscience, Leyden; 1963.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Hajji, A. A generalization of Darbo’s fixed point and common solutions of equations in Banach spaces. Fixed Point Theory Appl 2013, 62 (2013). https://doi.org/10.1186/16871812201362
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/16871812201362