- Research
- Open Access

# Random fixed point theorem of Krasnoselskii type for the sum of two operators

- Areerat Arunchai
^{1}and - Somyot Plubtieng
^{1}Email author

**2013**:142

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

© Arunchai and Plubtieng; licensee Springer. 2013

**Received:**10 March 2013**Accepted:**17 May 2013**Published:**3 June 2013

## Abstract

In this paper, we prove some random fixed point theorem for the sum of a weakly-strongly continuous random operator and a nonexpansive random operator in Banach spaces. Our results are the random versions of some deterministic fixed point theorems of Edmund (Math. Ann. 174:233-239, 1967), O’Regan (Appl. Math. Lett. 9:1-8, 1996) and some known results in the literature.

## Keywords

- random fixed point
- Krasnoselskii type
- weakly-strongly continuous random operator
- nonexpansive random operator

## 1 Introduction

Probabilistic functional analysis has emerged as one of the momentous mathematical disciplines in view of its requirements in analyzing probabilistic models in applied problems. Random fixed point theorems are stochastic versions of classical or deterministic fixed point theorems and are useful in the study of various classes of random equations. The study of random fixed point theorems was initiated by the Prague school of probabilists in 1950s. Since then there have been several interesting results and a lot of activity in this area has appeared. In 1976, Bharucha Reid [1] has given sufficient conditions for a stochastic analogue of Schauder’s fixed point theorem for random operators. Recently, Spacek [2] and Hans [3] have proved the stochastic analogue of a Banach fixed point theorem in a separable metric space. Moreover, Itoh [4] extended Spacek and Hans’s theorem to a multi-valued contraction random operator. In [5], Xu extended Itoh’s theorem to a nonself-random operator *T*, where *T* satisfies either weakly inward (see [5]) or the Leray-Schauder condition (see [5]). The interest in the generalizations of a random fixed point theorem from self-maps to nonself-mappings has been revived after the papers by Sehgal and Waters [6], Sehgal and Singh [7], Papageorgiou [8, 9], Lin [10, 11], Xu [5], Tan and Yuan [12] and Beg and Shahzad [13] and has received much attention in recent years (see, *e.g.*, [14–24]).

In 1955, Krasnoselskii [25] proved that a sum of two mappings has a fixed point, when the mappings are a contraction and compact. Recently, Rao [26] obtained a probabilistic version of Krasnoselskii’s theorem which is a sum of a contraction random operator and a compact random operator on a closed convex subset of a separable Banach space. Moreover, Itoh [4] extended Rao’s result to a sum of a nonexpansive random operator and a completely continuous random operator on a weakly compact convex subset of a separable uniformly convex Banach space. In [10], Lin obtained a sum of a locally almost nonexpansive (see [10]) random operator and a completely continuous random operator on a nonempty closed convex bounded subset of a separable uniformly convex Banach space. In 1996, Shahzad [27] extended Itoh and Lin’s results to a sum of two random nonself-random operators, by assuming an additional condition that the sum of these operators satisfies either weakly inward or the Leray-Schauder condition. See [14, 26] and the references therein. Recently, Vijayaraju [28] proved a random fixed point theorem for a sum of a 1-set-contraction and a compact (completely continuous) mapping and has received much attention in recent years (see, *e.g.*, [29–33]). On the other hand, it is known that the fixed point theorem of Krasnoselskii has nice applications to perturbed mixed type of integral and nonlinear differential equations including the allied areas of mathematics for proving the existence theorems under mixed Lipschitz and compactness conditions (see [34, 35] and the references therein).

In this paper, inspired and motivated by [5, 34] and [35], we obtain a random fixed point theorem for the sum of a weakly-strongly continuous random operator and a nonexpansive random operator which contains as a special Krasnoselskii type of Edmund and O’Regan via the method of measurable selectors.

## 2 Preliminaries

Throughout this paper, $(\mathrm{\Omega},\mathrm{\Sigma})$ denotes a measurable space, where Ω is a nonempty set and Σ is a *σ*-algebra of subsets of Ω. Let *X* be a Banach space and *M* be a nonempty subset of *X*. A multi-valued operator $T:\mathrm{\Omega}\to X$ is called $(\mathrm{\Sigma}-)$ *measurable* if for any open subset *G* of *X*, ${T}^{-1}(G)\in \mathrm{\Sigma}$, where ${T}^{-1}(G):=\{\omega \in \mathrm{\Omega}:T(\omega )\cap G\ne \mathrm{\varnothing}\}$. Note that if $T(\omega )$ belongs to a compact subsets of *X* for all $\omega \in \mathrm{\Omega}$, then *T* is measurable if and only if ${T}^{-1}(C)\in \mathrm{\Sigma}$ for every closed subset *C* of *X*. A measurable (single-valued) operator $\xi :\mathrm{\Omega}\to X$ is called a *measurable selector* of a measurable operator $T:\mathrm{\Omega}\to X$ if $\xi (\omega )\in T(\omega )$ for each $\omega \in \mathrm{\Omega}$. An operator $T:\mathrm{\Omega}\times M\to X$ is called a *random operator* if for each fixed $x\in M$, the operator $T(\cdot ,x):\mathrm{\Omega}\to X$ is measurable. A measurable operator $\xi :\mathrm{\Omega}\to X$ is called a *random fixed point* of a random operator $T:\mathrm{\Omega}\times M\to X$ if $\xi (\omega )\in M$ and $T(\omega ,\xi (\omega ))=\xi (\omega )$ for all $\omega \in \mathrm{\Omega}$.

*S*be a nonempty bounded subset of

*X*. In [28] denote the Kuratowski measure of noncompactness of a bounded set

*S*in

*X*is nonnegative real number $\alpha (S)$ defined by

An operator $T:X\to X$ is called *compact* if $\overline{T(X)}$ is a compact subset of *X*. An operator *T* is called an *α-Lipschitzian*, there is a constant $k\ge 0$ with $\alpha (T(B))\le k\alpha (B)$ for all bounded subsets *B* of *X*. We call *T* is completely continuous if it is *α*-Lipschitzian where $k=0$. Let *M* be a nonempty subset of a Banach space *X*, and $T:M\to X$ is called *weakly-strongly continuous* if for each sequence $({x}_{n})$ in *M*, which converges weakly to *x* in *M*, the sequence $(T{x}_{n})$ converges strongly to *Tx*. The operator $T:X\to X$ is called a *nonlinear contraction* if there exists a continuous nondecreasing function $\varphi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ satisfying $\varphi (z)<z$ for $z>0$ such that $\parallel Tx-Ty\parallel \le \varphi (\parallel x-y\parallel )$ for all $x,y\in X$. The operator *T* is called *nonexpansive* if $\parallel Tx-Ty\parallel \le \parallel x-y\parallel $ for all $x,y\in X$. A random operator $T:\mathrm{\Omega}\times M\to X$ is called *nonexpansive* if for arbitrary $x,y\in X$, one has $\parallel T(\omega ,x)-T(\omega ,y)\parallel \le \parallel x-y\parallel $ for each $\omega \in \mathrm{\Omega}$. A random operator $T:\mathrm{\Omega}\times M\to X$ is called nonexpansive (compact, continuous, completely continuous, *etc.*) if the operator $T(\omega ,\cdot ):M\to X$ is so for each fixed $\omega \in \mathrm{\Omega}$.

**Lemma 2.1** [36]

*Let* $(X,d)$ *be a complete separable metric space and let* $F:\mathrm{\Omega}\to CL(X)$ *be a measurable map*. *Then* *F* *has a measurable selector*.

In [34], Edmunds proved the following fixed point theorem.

**Theorem 2.2** [34]

*Let*

*M*

*be a nonempty bounded closed convex subset of a Hilbert space*

*X*

*and let*

*A*,

*B*

*be two maps from*

*M*

*into*

*X*

*such that*

- (i)
*A**is weakly*-*strongly continuous*; - (ii)
*B**is a nonexpansive mapping*; - (iii)
$Ax+Bx\in M$

*for all*$x\in M$.

*Then* $A+B$ *has a fixed point in* *M*.

The following fixed point theorems are crucial for our purposes.

**Theorem 2.3** [35]

*Let*

*U*

*be an open set in a closed convex set*

*M*

*of a Banach space*

*X*.

*Assume that*$0\in U$, $T(\overline{U})$

*is bounded and*$T:\overline{U}\to M$

*is given by*$T=A+B$,

*where*

*A*

*and B*

*are two maps from*$\overline{U}$

*into*

*X*

*satisfying*

- (i)
*A**is continuous and completely continuous*; - (ii)
*B**is a nonlinear contraction*.

*Then either*

- (A1)
*T**has a fixed point in*$\overline{U}$;*or* - (A2)
*there is a point*$u\in \partial U$*and*$\lambda \in (0,1)$*with*$u=\lambda T(u)$.

**Theorem 2.4** [35]

*Let*

*X*

*be a Banach space and let*

*Q*

*be a closed convex bounded subset of X*

*with*$0\in int(Q)$.

*In addition*,

*assume that*$T:Q\to X$

*is given by*$T=A+B$,

*where*

*A*

*and B*

*are two maps from*

*Q*

*into*

*X*

*satisfying*

- (i)
*A**is continuous and compact*; - (ii)
*B**is a nonlinear contraction*; - (iii)
*if*${\{({x}_{j},{\lambda}_{j})\}}_{j=o}^{\mathrm{\infty}}$*is a sequence in*$\partial Q\times [0,1]$*converging to*$(x,\lambda )$*with*$x=\lambda T(x)$*and*$0<\lambda <1$,*then*${\lambda}_{j}T({x}_{j})\in Q$*for**j**sufficiently large*.

*Then* *T* *has a fixed point*.

**Theorem 2.5** [35]

*Let*

*U*

*be a bounded open convex set in a reflexive Banach space*

*X*.

*Assume that*$0\in U$

*and*$T:\overline{U}\to X$

*is given by*$T=A+B$,

*where*

*A*

*and*

*B*

*are two maps from*$\overline{U}$

*into*

*X*

*satisfying*

- (i)
*A**is continuous and compact*; - (ii)
*B**is a nonexpansive map*; - (iii)
$I-T:\overline{U}\to X$

*is demiclosed on*$\overline{U}$.

*Then either*

- (A1)
*T**has a fixed point in*$\overline{U}$;*or* - (A2)
*there is a point*$u\in \partial U$*and*$\lambda \in (0,1)$*with*$u=\lambda T(u)$.

**Theorem 2.6** [35]

*Let*

*U*

*be a bounded open convex set in a uniformly convex Banach space X*.

*Assume that*$0\in U$

*and*$T:\overline{U}\to X$

*is given by*$T=A+B$,

*where*

*A*

*and*

*B*

*are two maps from*$\overline{U}$

*into*

*X*

*satisfying*

- (i)
*A**is continuous and compact*; - (ii)
*B**is a nonexpansive map*; - (iii)
*In addition*,*suppose*$A:\overline{U}\to X$*is strongly continuous*.

*Then either*

- (A1)
*T**has a fixed point in*$\overline{U}$;*or* - (A2)
*there is a point*$u\in \partial U$*and*$\lambda \in (0,1)$*with*$u=\lambda T(u)$.

**Theorem 2.7** [35]

*Let*

*U*

*be an open subset of a Banach space*

*X*

*and let*$\overline{U}$

*be a weakly compact subset of*

*X*.

*Assume that*$0\in U$

*and*$T:\overline{U}\to X$

*is given by*$T=A+B$,

*where*

*A*

*and*

*B*

*are two maps from*$\overline{U}$

*into*

*X*

*satisfying*

- (i)
*A**is continuous and compact*; - (ii)
*B**is a nonexpansive map*; - (iii)
$I-T:\overline{U}\to X$

*is demiclosed on*$\overline{U}$.

*Then either*

- (A1)
*T**has a fixed point in*$\overline{U}$;*or* - (A2)
*there is a point*$u\in \partial U$*and*$\lambda \in (0,1)$*with*$u=\lambda T(u)$.

**Theorem 2.8** [35]

*Let*

*X*

*be a reflexive Banach space and let*

*Q*

*be a closed convex bounded subset of*

*X*

*with*$0\in int(Q)$.

*In addition*,

*assume that*$T:Q\to X$

*is given by*$T=A+B$,

*where*

*A*

*and*

*B*

*are two maps from*

*Q*

*into*

*X*

*satisfying*

- (i)
*A**is continuous and compact*; - (ii)
*B**is a nonexpansive map*; - (iii)
$I-T:\overline{U}\to X$

*is demiclosed on**Q*; - (iv)
*if*${\{({x}_{j},{\lambda}_{j})\}}_{j=o}^{\mathrm{\infty}}$*is a sequence in*$\partial Q\times [0,1]$*converging to*$(x,\lambda )$*with*$x=\lambda T(x)$*and*$0<\lambda <1$,*then*${\lambda}_{j}T({x}_{j})\in Q$*for**j**sufficiently large*.

*Then* *T* *has a fixed point*.

**Theorem 2.9** [35]

*Let*

*X*

*be a uniformly convex Banach space and let*

*Q*

*be a closed convex bounded subset of*

*X*

*with*$0\in int(Q)$.

*In addition*,

*assume that*$T:Q\to X$

*is given by*$T=A+B$,

*where*

*A*

*and*

*B*

*are two maps from*

*Q*

*into*

*X*

*satisfying*

- (i)
*A**is continuous and compact*; - (ii)
*B**is a nonexpansive map*; - (iii)
$A:Q\to X$

*is strongly continuous*; - (iv)
*if*${\{({x}_{j},{\lambda}_{j})\}}_{j=o}^{\mathrm{\infty}}$*is a sequence in*$\partial Q\times [0,1]$*converging to*$(x,\lambda )$*with*$x=\lambda T(x)$*and*$0<\lambda <1$,*then*${\lambda}_{j}T({x}_{j})\in Q$*for**j**sufficiently large*.

*Then* *T* *has a fixed point*.

## 3 Main result

**Lemma 3.1**

*Let*

*M*

*be a subset of*

*X*

*and let*$A,B:M\to X$

*be two operators satisfying*:

- (i)
*A**is weakly*-*strongly continuous*; - (ii)
*B**is nonexpansive*; - (iii)
$Ax+Bx\in M$

*for every*$x\in M$.

*Then the mapping* $T:M\to X$ *defined by* $Tx=Ax+Bx$ *is continuous*.

*Proof*Let $({x}_{n})$ be a sequence in

*M*converging to a point

*x*in M. Since

*A*is weakly-strongly continuous and

*B*is nonexpansive, we obtain that

Then we have $\parallel T{x}_{n}-Tx\parallel \to 0$ as $n\to \mathrm{\infty}$. That is, $T{x}_{n}\to Tx$ as $n\to \mathrm{\infty}$. Hence *T* is continuous. □

**Lemma 3.2**

*Let*

*M*

*be a nonempty bounded closed convex subset of a Banach space*

*X*

*and let*$A,B$

*be two maps from*

*M*

*into*

*X*

*such that*

- (i)
*A**is weakly*-*strongly continuous*; - (ii)
*B**is nonexpansive*; - (iii)
$Ax+Bx\in M$

*for every*$x\in M$.

*Then the set* $F(A+B)=\{x\in M:Ax+Bx=x\}$ *is closed*.

*Proof*Define a mapping $T:M\to X$ by $Tx=Ax+Bx$. By Theorem 2.2 then we have

*M*, let $({x}_{n})$ be a sequence of $F(T)$ with ${x}_{n}\to x\in M$. Since

*T*is continuous, it follows by Lemma 3.1 that

Hence $x\in F(T)$ and therefore $F(T)=F(A+B)$ is a closed subset of *M*. □

**Theorem 3.3**

*Let*

*M*

*be a nonempty bounded closed convex subset of a separable Banach space*

*X*

*and let*$A,B:\mathrm{\Omega}\times M\to X$

*be two random operators satisfying*,

*for each*$\omega \in \mathrm{\Omega}$,

- (i)
*A**is weakly*-*strongly continuous*; - (ii)
*B**is nonexpansive*; - (iii)
$A(\omega ,x)+B(\omega ,x)\in \mathrm{\Omega}\times M$

*for every*$x\in M$.

*Then* $A+B$ *has a random fixed point in* $\mathrm{\Omega}\times M$.

*Proof*Define an operator $T:\mathrm{\Omega}\times M\to X$ by

*A*and

*B*are random operators, $A(\cdot ,x)$ and $B(\cdot ,x)$ are

*X*-valued random variables for all

*x*in

*M*. Since

*X*is a separable Banach space, we have $T(\omega ,x)$ is an

*X*-valued random variable. Hence

*T*is a random operator on

*M*. Moreover, by Lemma 3.1 we note that

*T*is a continuous random operator on

*M*. Define a multi-valued map $F:\mathrm{\Omega}\to {2}^{M}$ by

*F*, let

*D*be a closed subset of

*X*. It is sufficient to show that ${F}^{-1}(D)$ is measurable. Denote

where ${D}_{n}=\{x\in M:d(x,D)<\frac{1}{n}\}$ and $d(x,D)=inf\{\parallel x-y\parallel :y\in D\}$. Obviously, $L(D)$ is a measurable subset of Ω. We will show that ${F}^{-1}(D)=L(D)$. Obviously, ${F}^{-1}(D)\subseteq L(D)$. As in Itoh [4], it is proved that $L(D)\subseteq {F}^{-1}(D)$. Thus ${F}^{-1}(D)=L(D)$, and so *F* is measurable on Ω. Since $F(\omega )$ is compact, it has closed values for each $\omega \in \mathrm{\Omega}$. By Lemma 2.1, *F* admits a measurable selector, *i.e.*, there is a measurable mapping $\xi :\mathrm{\Omega}\to X$ such that $\xi (\omega )\in F(\omega )$ for all $\omega \in \mathrm{\Omega}$. By definition of $F(\omega )$, which implies that $\xi (\omega )=T(\omega ,\xi (\omega ))$, hence $\xi (\omega )=A(\omega ,\xi (\omega ))+B(\omega ,\xi (\omega ))$. This completes the proof. □

**Theorem 3.4**

*Let*

*M*

*be a nonempty bounded closed convex separable subset of a reflexive Banach space*

*X*

*and let*$T:\mathrm{\Omega}\times M\to X$

*be given by*$T=A+B$,

*where*$A,B:\mathrm{\Omega}\times M\to X$

*are two operators satisfying*

- (i)
*A**is weakly*-*strongly continuous random*; - (ii)
*B**is nonexpansive random*; - (iii)
$A(\omega ,x)+B(\omega ,x)\in \mathrm{\Omega}\times M$

*for each*$\omega \in \mathrm{\Omega}$*and each*$x\in M$; - (iv)
*X**is strictly convex and*$I-T$*is demiclosed at zero*.

*Then* $T=A+B$ *has a random fixed point in* $\mathrm{\Omega}\times M$.

*Proof*Define an operator $T:\mathrm{\Omega}\times M\to X$ by

*T*is a random operator on

*M*. For each

*ω*in Ω, the set

*X*is strictly convex, $F(\omega )$ is convex. This implies that $F(\omega )$ is weakly compact, we show that

*F*is

*ω*-measurable,

*i.e.*, for each ${x}^{\ast}$ in ${X}^{\ast}$, the dual space of

*X*, the numerically valued function ${x}^{\ast}F$ is measurable. Let for each integer $n\ge 1$, the set

*T*is continuous. Moreover, by Itoh [4], each ${F}_{n}$ is measurable. Since

*M*is separable, the weak topology on

*M*is metrizable. Let ${d}_{\omega}$ be a metric on

*M*which induces the weak topology on

*M*and let ${H}_{\omega}$ be the Hausdorff metric produced by ${d}_{\omega}$. We shall show that

*i.e.*, $({y}_{{n}_{i}})$ converges weakly to

*y*. Then we obtain that

*i.e.*, $x\in F(\omega )$. This is a contradiction to (3.4). Hence

Now, by Itoh [4], we have *F* is *ω*-measurable. Thus by Lemma 2.1, there exists a *ω*-measurable selector *x* of *F*, *i.e.*, for each ${x}^{\ast}\in {X}^{\ast}$, ${x}^{\ast}x$ is measurable as a numerically-valued function on Ω. Since *M* is separable, *x* is measurable. This *x* is a random fixed point of *T*. This completes the proof. □

Similarly we can prove the following, which concerns Theorem 3.3, using the result of Theorem 2.3.

**Theorem 3.5**

*Let*

*U*

*be an open set in a closed*,

*convex set*

*M*

*of a separable Banach space X*.

*Assume that*$0\in U$, $T(\mathrm{\Omega}\times \overline{U})$

*is bounded and*$T:\mathrm{\Omega}\times \overline{U}\to M$

*is given by*$T=A+B$,

*where*

*A*

*and*

*B*

*two random operators from*$\mathrm{\Omega}\times \overline{U}$

*into*

*X*

*satisfying*,

*for each*$\omega \in \mathrm{\Omega}$,

- (i)
*A**is continuous and completely continuous*; - (ii)
*B**is a nonlinear contraction*; - (iii)
*there does not exist a*$u\in \partial U$*such that*$u=\lambda (\omega )T(\omega ,u)$*for any measurable*$\lambda :\mathrm{\Omega}\to \mathbb{R}$*with*$0<\lambda (\omega )<1$,*where**∂U**is a boundary of*$\overline{U}$.

*Then* *T* *has a random fixed point in* $\overline{U}$.

By Theorem 2.4 and the same as in the proof of Theorem 3.3, we obtain the following.

**Theorem 3.6**

*Let*

*X*

*be a separable Banach space and let*

*Q*

*be a closed*,

*convex*,

*bounded subset of*

*X*

*with*$0\in int(Q)$.

*In addition*,

*assume that*$T:\mathrm{\Omega}\times Q\to X$

*is given by*$T=A+B$,

*where*

*A*

*and*

*B*

*two random operators from*$\mathrm{\Omega}\times Q$

*into*

*X*

*satisfying*,

*for each*$\omega \in \mathrm{\Omega}$,

- (i)
*A**is continuous and compact*; - (ii)
*B**is a nonlinear contraction*; - (iii)
*if*${\{({u}_{j},{\lambda}_{j}(\omega ))\}}_{j=o}^{\mathrm{\infty}}$*is a sequence in*$\partial Q\times [0,1]$*converging to*$(u,\lambda (\omega ))$*with*$u=\lambda (\omega )T(\omega ,u)$*and for some measurable*$\lambda :\mathrm{\Omega}\to \mathbb{R}$*with*$0<\lambda (\omega )<1$,*then*${\lambda}_{j}(\omega )T(\omega ,{u}_{j})\in \mathrm{\Omega}\times Q$*for**j**sufficiently large*.

*Then* *T* *has a random fixed point*.

We can prove the following, which concerns Theorem 3.3, using the result of Theorem 2.5.

**Theorem 3.7**

*Let*

*U*

*be a bounded open convex set in a separable reflexive Banach space X*.

*Assume that*$0\in U$

*and*$T:\mathrm{\Omega}\times \overline{U}\to X$

*is given by*$T=A+B$,

*where*

*A*

*and*

*B*

*are two random operators from*$\mathrm{\Omega}\times \overline{U}$

*into*

*X*

*satisfying*,

*for each*$\omega \in \mathrm{\Omega}$,

- (i)
*A**is continuous and compact*; - (ii)
*B**is a nonexpansive map*; - (iii)
$I-T:\mathrm{\Omega}\times \overline{U}\to X$

*is demiclosed on*$\overline{U}$; - (iv)
*there does not exist a*$u\in \partial U$*such that*$u=\lambda (\omega )T(\omega ,u)$*for any measurable*$\lambda :\mathrm{\Omega}\to \mathbb{R}$*with*$0<\lambda (\omega )<1$,*where**∂U**is a boundary of*$\overline{U}$.

*Then* *T* *has a random fixed point in* $\overline{U}$.

The proof of the following is similar to Theorem 3.3 and in this case we invoke Theorem 2.3 instead of Theorem 2.6 in the proof.

**Theorem 3.8**

*Let*

*U*

*be a bounded open convex set in a separable uniformly convex Banach space*

*X*.

*Assume that*$0\in U$

*and*$T:\mathrm{\Omega}\times \overline{U}\to X$

*is given by*$T=A+B$,

*where*

*A*

*and*

*B*

*are two random operators from*$\mathrm{\Omega}\times \overline{U}$

*into*

*X*

*satisfying*,

*for each*$\omega \in \mathrm{\Omega}$,

- (i)
*A**is continuous and compact*; - (ii)
*B**is a nonexpansive map*; - (iii)
$A:\mathrm{\Omega}\times \overline{U}\to X$

*is strongly continuous*; - (iv)
*there does not exist a*$u\in \partial U$*such that*$u=\lambda (\omega )T(\omega ,u)$*for any measurable*$\lambda :\mathrm{\Omega}\to \mathbb{R}$*with*$0<\lambda (\omega )<1$,*where**∂U**is a boundary of*$\overline{U}$.

*Then* *T* *has a random fixed point in* $\overline{U}$.

The proof of the following can be given by using Theorem 3.3 and the result of Theorem 2.7.

**Theorem 3.9**

*Let*

*U*

*be an open subset of a separable Banach space*

*X*

*and let*$\overline{U}$

*be a weakly compact subset of*

*X*.

*Assume that*$0\in U$

*and*$T:\mathrm{\Omega}\times \overline{U}\to X$

*is given by*$T=A+B$,

*where*

*A*

*and*

*B*

*are two random operators from*$\mathrm{\Omega}\times \overline{U}$

*into*

*X*

*satisfying*,

*for each*$\omega \in \mathrm{\Omega}$,

- (i)
*A**is continuous and compact*; - (ii)
*B**is a nonexpansive map*; - (iii)
$I-T:\mathrm{\Omega}\times \overline{U}\to X$

*is demiclosed on*$\overline{U}$; - (iv)
*there does not exist a*$u\in \partial U$*such that*$u=\lambda (\omega )T(\omega ,u)$*for any measurable*$\lambda :\mathrm{\Omega}\to \mathbb{R}$*with*$0<\lambda (\omega )<1$,*where**∂U**is a boundary of*$\overline{U}$.

*Then* *T* *has a random fixed point in* $\overline{U}$.

We can prove the following by Theorem 3.3 and using the result of Theorem 2.8.

**Theorem 3.10**

*Let*

*X*

*be a separable reflexive Banach space and let*

*Q*

*be a closed*,

*convex*,

*bounded subset of*

*X*

*with*$0\in int(Q)$.

*In addition*,

*assume that*$T:\mathrm{\Omega}\times Q\to X$

*is given by*$T=A+B$,

*where*

*A*

*and*

*B*

*are two random operators from*$\mathrm{\Omega}\times Q$

*into*

*X*

*satisfying*,

*for each*$\omega \in \mathrm{\Omega}$,

- (i)
*A**is continuous and compact*; - (ii)
*B**is a nonexpansive map*; - (iii)
$I-T:\mathrm{\Omega}\times \overline{U}\to X$

*is demiclosed on**Q*; - (iv)
*if*${\{({u}_{j},{\lambda}_{j}(\omega ))\}}_{j=o}^{\mathrm{\infty}}$*is a sequence in*$\partial Q\times [0,1]$*converging to*$(u,\lambda (\omega ))$*with*$u=\lambda (\omega )T(\omega ,u)$*and for some measurable*$\lambda :\mathrm{\Omega}\to \mathbb{R}$*with*$0<\lambda (\omega )<1$,*then*${\lambda}_{j}(\omega )T(\omega ,{u}_{j})\in \mathrm{\Omega}\times Q$*for**j**sufficiently large*.

*Then* *T* *has a random fixed point*.

By the same proof of Theorem 3.3 and the result of Theorem 2.9, we have the following.

**Theorem 3.11**

*Let*

*X*

*be a separable uniformly convex Banach space and let*

*Q*

*be a closed*,

*convex*,

*bounded subset of*

*X*

*with*$0\in int(Q)$.

*In addition*,

*assume that*$T:\mathrm{\Omega}\times Q\to X$

*is given by*$T=A+B$,

*where*

*A*

*and*

*B*

*are two random operators from*$\mathrm{\Omega}\times Q$

*into*

*X*

*satisfying*,

*for each*$\omega \in \mathrm{\Omega}$,

- (i)
*A**is continuous and compact*; - (ii)
*B**is a nonexpansive map*; - (iii)
$A:\mathrm{\Omega}\times Q\to X$

*is strongly continuous*; - (iv)
*if*${\{({u}_{j},{\lambda}_{j}(\omega ))\}}_{j=o}^{\mathrm{\infty}}$*is a sequence in*$\partial Q\times [0,1]$*converging to*$(u,\lambda (\omega ))$*with*$u=\lambda (\omega )T(\omega ,u)$*and for some measurable*$\lambda :\mathrm{\Omega}\to \mathbb{R}$*with*$0<\lambda (\omega )<1$,*then*${\lambda}_{j}(\omega )T(\omega ,{u}_{j})\in \mathrm{\Omega}\times Q$*for**j**sufficiently large*.

*Then* *T* *has a random fixed point*.

## Declarations

### Acknowledgements

The first author would like to thank the Thailand Research Fund for financial support and the second author is also supported by the Royal Golden Jubilee Program under Grant PHD/0282/2550, Thailand.

## Authors’ Affiliations

## References

- Bharucha-Reid AT: Fixed point theorems in probabilistic analysis.
*Bull. Am. Math. Soc.*1976, 82: 641–645. 10.1090/S0002-9904-1976-14091-8MathSciNetView ArticleGoogle Scholar - Spacek A: Zufallige Gleichungen.
*Czechoslov. Math. J.*1955, 5: 462–466.MathSciNetGoogle Scholar - Hans O: Reduzierende zufallige Transformationen.
*Czechoslov. Math. J.*1957, 7: 154–158. (in Czech)MathSciNetGoogle Scholar - Itoh S: Random fixed-point theorems with an application to random differential equations in Banach spaces.
*J. Math. Anal. Appl.*1979, 67(2):261–273. 10.1016/0022-247X(79)90023-4MathSciNetView ArticleGoogle Scholar - Xu HK: Some random fixed point theorems for condensing and nonexpansive operators.
*Proc. Am. Math. Soc.*1990, 110(2):395–400. 10.1090/S0002-9939-1990-1021908-6View ArticleGoogle Scholar - Sehgal VM, Waters C: Some random fixed point theorems for condensing operators.
*Proc. Am. Math. Soc.*1984, 90: 425–429. 10.1090/S0002-9939-1984-0728362-7MathSciNetView ArticleGoogle Scholar - Sehgal VM, Singh SP: On random approximations and a random fixed point theorem for set-valued mappings.
*Proc. Am. Math. Soc.*1985, 95: 91–94. 10.1090/S0002-9939-1985-0796453-1MathSciNetView ArticleGoogle Scholar - Papageorgiou NS: Random fixed point theorems for measurable multifunctions in Banach spaces.
*Proc. Am. Math. Soc.*1986, 97: 507–514. 10.1090/S0002-9939-1986-0840638-3View ArticleGoogle Scholar - Papageorgiou NS: Random fixed points and random differential inclusions.
*Int. J. Math. Math. Sci.*1988, 11: 551–560. 10.1155/S0161171288000663View ArticleGoogle Scholar - Lin TC: Random approximations and random fixed point theorems for continuous 1-set-contractive random maps.
*Proc. Am. Math. Soc.*1995, 123: 1167–1176.Google Scholar - Lin TC: Random approximations and random fixed point theorems for nonself maps.
*Proc. Am. Math. Soc.*1988, 103: 1129–1135. 10.1090/S0002-9939-1988-0954994-0View ArticleGoogle Scholar - Tan KK, Yuan XZ: Random fixed point theorems and approximation.
*Stoch. Anal. Appl.*1997, 15: 103–123. 10.1080/07362999708809466MathSciNetView ArticleGoogle Scholar - Beg I, Shahzad N: Applications of the proximity map to random fixed point theorems in Hilbert spaces.
*J. Math. Anal. Appl.*1995, 196: 606–613. 10.1006/jmaa.1995.1428MathSciNetView ArticleGoogle Scholar - Kumam P: Fixed point theorem and random fixed point theorems for set-valued non-self-mappings.
*Thai J. Math.*2004, 2(2):295–307.MathSciNetGoogle Scholar - Sintunavarat W, Kumam P, Patthanangkoor P: Common random fixed points for multivalued random operators without
*S*and*T*-weakly commuting random operators.*Random Oper. Stoch. Equ.*2009, 17(4):381–388.MathSciNetView ArticleGoogle Scholar - Plubtieng S, Kumam P: Random fixed point theorems for multivalued nonexpansive non-self random operators.
*J. Appl. Math. Stoch. Anal.*2006., 2006: Article ID 43796Google Scholar - Kumam P, Plubtieng S: Some random fixed point theorems for non-self nonexpansive random operators.
*Turk. J. Math.*2006, 30: 359–372.MathSciNetGoogle Scholar - Kumam P, Plubtieng S: Random fixed point theorem for multivalued nonexpansive operators in uniformly nonsquare Banach spaces.
*Random Oper. Stoch. Equ.*2006, 14(1):35–44.MathSciNetView ArticleGoogle Scholar - Kumam P, Plubtieng S: The characteristic of noncompact convexity and random fixed point theorem for set-valued operators.
*Czechoslov. Math. J.*2007, 57(132):269–279.MathSciNetView ArticleGoogle Scholar - Kumam P: Random common fixed points of single-valued and multi-valued random operators in a uniformly convex Banach space.
*J. Comput. Anal. Appl.*2011, 13(2):368–375.MathSciNetGoogle Scholar - Kumam P, Plubtieng S: Random fixed point theorems for asymptotically regular random operators.
*Demonstr. Math.*2009, XLII(1):131–141.MathSciNetGoogle Scholar - Kumam P, Plubtieng S: Viscosity approximation methods of random fixed point solutions and random variational inequalities in Hilbert spaces.
*Asian-European J. Math.*2011, 70(1):81–107.MathSciNetGoogle Scholar - Shahzad N, Latif S: On random approximations and random fixed point theorems for 1-set-contractive random maps.
*Stoch. Anal. Appl.*2003, 21(4):895–908. 10.1081/SAP-120022868MathSciNetView ArticleGoogle Scholar - Shahzad N: Random fixed points of
*K*-set- and pseudo-contractive random maps.*Nonlinear Anal., Theory Methods Appl.*2004, 57(2):173–181. 10.1016/j.na.2004.02.006MathSciNetView ArticleGoogle Scholar - Krasnoselskii MA: Two remarks on the method of successive approximations.
*Usp. Mat. Nauk*1955, 10: 123–127.MathSciNetGoogle Scholar - Prakash Rao BLS: Stochastic integral equations of mixed type.
*J. Math. Phys. Sci.*1971, 7: 245–260.Google Scholar - Shahzad N: Random fixed point theorems for various classes of 1-set-contractive maps in Banach spaces.
*J. Math. Anal. Appl.*1996, 203(3):712–718. 10.1006/jmaa.1996.0407MathSciNetView ArticleGoogle Scholar - Vijayaraju P: Random fixed point theorems for asymptotic 1-set contraction operators.
*Int. J. Math. Math. Sci.*2002, 7: 407–412.MathSciNetView ArticleGoogle Scholar - Shahzad N: Random fixed points of pseudo-contractive random operators.
*J. Math. Anal. Appl.*2004, 296(1):302–308. 10.1016/j.jmaa.2004.04.017MathSciNetView ArticleGoogle Scholar - Shahzad N: Random fixed points of discontinuous random maps.
*Math. Comput. Model.*2005, 41(13):1431–1436. 10.1016/j.mcm.2004.02.036MathSciNetView ArticleGoogle Scholar - Shahzad N, Hussain N: Deterministic and random coincidence point results for
*f*-nonexpansive maps.*J. Math. Anal. Appl.*2006, 323(2):1038–1046. 10.1016/j.jmaa.2005.10.057MathSciNetView ArticleGoogle Scholar - Al-Thagafi MA, Shahzad N: Krasnosel’skii-type fixed-set results.
*Fixed Point Theory Appl.*2010., 2010: Article ID 394139Google Scholar - Alghamdi MA, O’Regan D, Shahzad N: Krasnosel’skii type fixed point theorems for mappings on nonconvex sets.
*Abstr. Appl. Anal.*2012., 2012: Article ID 267531Google Scholar - Edmunds DE: Remarks on nonlinear functional equation.
*Math. Ann.*1967, 174: 233–239. 10.1007/BF01360721MathSciNetView ArticleGoogle Scholar - O’Regan D: Fixed point theory for the sum of two operators.
*Appl. Math. Lett.*1996, 9: 1–8.View ArticleGoogle Scholar - Wagner D-H: Survey of measurable selection theorems.
*SIAM J. Control Optim.*1977, 15: 859–903. 10.1137/0315056View ArticleGoogle 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.