- Research
- Open Access

# A generalization of Darbo’s fixed point and common solutions of equations in Banach spaces

- Ahmed Hajji
^{1}Email author

**2013**:62

https://doi.org/10.1186/1687-1812-2013-62

© Hajji; licensee Springer 2013

**Received:**28 May 2012**Accepted:**25 February 2013**Published:**18 March 2013

## 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.

## Keywords

- fixed point
- measure of noncompactness

## 1 Introduction

*α*-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.

*T*and

*S*satisfying

*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 semi*-

*norms*$\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 semi*-

*norms*$\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))+(1-k)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

*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}$

*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

*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

*K*satisfies

*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*.

*γ*on the space ${L}^{1}({\mathbb{R}}_{+})$ [8]. Indeed, for any $\u03f5>0$, let

*D*(see [7, 8]), and

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*

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}}_{+}$.

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}{e-1}$.

*K*and

*S*map ${Q}_{r}$ into ${Q}_{r}$ (see [[7], p.454]). Whence, for any $A\in {Q}_{r}$, we have

*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}{e-1},\frac{Be}{e-1}[$, 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

*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

### 4.2 Common solutions of equations in Banach spaces

*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

- (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 x-y\parallel $
for 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

*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)$. □

## Declarations

## Authors’ Affiliations

## References

- Darbo G: Punti unitti in transformazioni a condominio non compatto.
*Rend. Semin. Mat. Univ. Padova*1955, 24: 84–92.MathSciNetGoogle Scholar - Sadovski BN: On a fixed point principle.
*Funct. Anal. Appl.*1967, 1: 74–76.Google Scholar - Istratescu VI:
*Fixed Point Theory*. Reidel, Boston; 1981.View ArticleGoogle Scholar - 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.MathSciNetGoogle Scholar - Banas J, Goebel K Lect. Notes in Math. 60. In
*Measure of Noncompactness in Banach Spaces*. Dekker, Now York; 1980.Google Scholar - Krzyz J: On monotonicity-preserving transformations.
*Ann. Univ. Mariae Curie-Skl̄odowska, Sect. A*1952, 6: 91–111.MathSciNetGoogle Scholar - El-Sayed WG: Nonlinear functional integral equations of convolution type.
*Port. Math.*1997, 54(4):449–456.MathSciNetGoogle Scholar - Banas J, El-Sayed 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/0022-247X(92)90241-5MathSciNetView ArticleGoogle Scholar - Dunford N, Schwartz JT:
*Linear Operators I*. Interscience, Leyden; 1963.Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.