Results on Generalized Quasi Contraction Random Operators

Salwa Salman Abed¹, Saheb K. Alsaidy², Yusra Jarallah Ajeel²

¹Department of Mathematics, College of Education for Pure Science, Ibn Al-Haithem, Baghdad University, Baghdad, Iraq.
²Department of Mathematics, College of Science, Al-Mustansiriya University, Baghdad, Iraq.

DOI: 10.4236/oalib.1103539                

Abstract

In this paper, we prove the existence of common random fixed point for two random operators under general quasi contraction condition in a complete p-normed space X (with whose dual separates the point of X). Also, the well-posedness problem of random fixed points is studied. Our results essentially cover special cases.

Keywords

p-Normed Spaces, Common Random Fixed Point, Random Operators, Well-Posed Problem

1. Introduction

Let X be a linear space and ${\Vert \Vert }_p$ be a real valued function on X with $0<p\le 1$ .

The ordered pair $\left(X,{\Vert \Vert }_p\right)$ is called a p-normed space [1] if for all $x,y$ in X and scalars $\lambda$ :

1) ${\Vert x\Vert }_p\ge 0$ and ${\Vert x\Vert }_p=0$ iff $x=0$

2) ${\Vert \lambda x\Vert }_p={\left|\lambda \right|}^p{\Vert x\Vert }_p$

3) ${\Vert x+y\Vert }_p\le {\Vert x\Vert }_p+{\Vert y\Vert }_p$

for more details about p-normed spaces, see [2] or [3] . Throughout this article, X will be complete p-normed space whose dual separates the points of it, $\varnothing \ne A\subseteq X$ be a separable closed, $\left(\Omega ,\Sigma \right)$ be the measurable space with $\Sigma$ a sigma algebra of subsets of Ω.

Definition (1.1): [4]

A mapping $F:\Omega \to X$ is called measurable if, for open subset B of,

$F^{-1}\left(B\right)=\left\{\gamma \in \Omega :F\left(\gamma \right)\cap B\ne \varnothing \right\}\in \Sigma .$

Definition (1.2): [4]

A mapping $h:\Omega \times X\to X$ is called a random operator if for any $x\in X$ , $h\left(.,x\right)$ is measurable.

Definition (1.3): [5]

A measurable mapping $\lambda :\Omega \to A$ is called random fixed point of a random operator $h:\Omega \times X\to X$ if for every $\gamma \in \Omega$ , $\lambda \left(\gamma \right)=h\left(\gamma ,\lambda \left(\gamma \right)\right).$

Definition (1.4): [6]

A measurable mapping $\lambda :\Omega \to A$ is called common random fixed point of a random operator $h:\Omega \times A\to X$ and $G:\Omega \times A\to A$ if for all $\gamma \in \Omega$

$\lambda \left(\gamma \right)=h\left(\gamma ,\lambda \left(\gamma \right)\right)=G\left(\gamma ,\lambda \left(\gamma \right)\right).$

Definition (1.5): [7]

A random operator $h:\Omega \times A\to X$ is called continuous (weakly continuous) if for each $\gamma \in \Omega$ , $h\left(\gamma ,.\right)$ is continuous (weakly continuous).

The stochastic generalization of fixed point theory is random fixed point theory. Many researchers are interesting in this subject and it’s applications in best approximations, integral equations and differential equations such as [8] - [14] .

Saluj [15] establish some common random fixed point theorems under contractive type condition in the framework of cone random metric spaces. Rashwan and Albaqeri [16] obtained common random fixed point theorems for six weakly compatible random operators defined on a nonempty closed subset of a separable Hilbert space. In 2013, Arunchaiand Plubtieng [17] proved some random fixed point theorem for some of weakly-strongly continuous random operators and nonexpansive random operators in Banach spaces. Singh, Rathore, Dubey and Singh [18] obtain a common random fixed point theorem for four continuous random operators in separable Hilbert spaces. Vishwakarme and Chauhan [19] proved common random fixed point theorems for weakly compatible random operators in symmetric spaces. Khanday, Jain and Badshah [20] proved the existence of common random fixed point theorems of two random multivalued generalized contractions by using functional expressions. Chanhan [21] obtained common random fixed point theorems for four continuous random operators satisfying certain contractive conditions in separable Hilbert spaces. In 2017 Abed, Ajeel, and Alsaidy [22] proved the existence of common random fixed point for two continuous random operators under quasi contraction condition in a complete p-normed space X. Also, the random coincidence point results are proved in [23] for $\varnothing$ -weakly contraction condition under two pairs of random operators.

Now, we define a new type of random operators

Definition (1.6):

Let A be a nonempty subset of a p-normed space, let $\left(\Omega ,\Sigma \right)$ be a measurable space and let $h,G:\Omega \times A\to A$ be tow random operators. The random operator h is called

1. Generalized quasi contraction (gqc) random operator if for each $\gamma \in \Omega$ , the mapping $h\left(\gamma ,.\right):A\to A$ satisfies the following condition

$\begin{array}{l}{\Vert h\left(\gamma ,x\right)-h\left(\gamma ,y\right)\Vert }_p\le k\max \{{\Vert x-y\Vert }_p,{\Vert x-h\left(\gamma ,x\right)\Vert }_p,{\Vert y-h\left(\gamma ,y\right)\Vert }_p,{\Vert x-h\left(\gamma ,y\right)\Vert }_p,\\ {\Vert y-h\left(\gamma ,x\right)\Vert }_p,{\Vert h^2\left(\gamma ,x\right)-x\Vert }_p,{\Vert h^2\left(\gamma ,x\right)-h\left(\gamma ,x\right)\Vert }_p,{\Vert h^2\left(\gamma ,x\right)-y\Vert }_p,{\Vert h^2\left(\gamma ,x\right)-h\left(\gamma ,y\right)\Vert }_p\}\end{array}$ (1.1)

For all $x,y\in A$ and $0\le k<1/2$ .

2. G-generalized quasi contraction (G-gqc) random operator if for each $\gamma \in \Omega$ , the mappings $h\left(\gamma ,.\right),G\left(\gamma ,.\right):A\to A$ satisfies the following condition

$\begin{array}{l}{\Vert h\left(\gamma ,x\right)-G\left(\gamma ,y\right)\Vert }_p\le k\max \{{\Vert x-y\Vert }_p,{\Vert x-h\left(\gamma ,x\right)\Vert }_p,{\Vert y-G\left(\gamma ,y\right)\Vert }_p,{\Vert x-G\left(\gamma ,y\right)\Vert }_p,\\ {\Vert y-h\left(\gamma ,x\right)\Vert }_p,{\Vert h^2\left(\gamma ,x\right)-x\Vert }_p,{\Vert h^2\left(\gamma ,x\right)-h\left(\gamma ,x\right)\Vert }_p,{\Vert h^2\left(\gamma ,x\right)-y\Vert }_p,{\Vert h^2\left(\gamma ,x\right)-G\left(\gamma ,y\right)\Vert }_p\}\end{array}$ (1.2)

For all $x,y\in A$ and $0\le k<1/2$ .

2. Common Random Fixed Point Theorems

We begin with the following result

Theorem (2.1):

Let $\varnothing \ne A\subseteq X$ , $G:\Omega \times A\to A$ be a continuous random operator and $h:\Omega \times A\to A$ be a nonexpansive random operator. If A be a separable closed subset of a complete p-Normed space X and h be G-gqc random operator, then h and G have a unique common random fixed point.

Proof:

Let ${\lambda }_{°}:\Omega \to A$ be arbitrary measurable mapping. We construct a sequence of measurable mappings $\langle {\lambda }_n\rangle$ on $\Omega$ to A as follows

Let ${\lambda }_1,{\lambda }_2:\text{Ω}\to A$ be tow measurable mappings such that

$h\left(\gamma ,{\lambda }_{°}\left(\gamma \right)\right)={\lambda }_1\left(\gamma \right)$ and $G\left(\gamma ,{\lambda }_1\left(\gamma \right)\right)={\lambda }_2(\; \gamma \; )$

By induction, we construct sequence of measurable mappings ${\lambda }_n:\Omega \to A$ such that

$h\left(\gamma ,{\lambda }_{2n-1}\left(\gamma \right)\right)={\lambda }_{2n}\left(\gamma \right)$ and $G\left(\gamma ,{\lambda }_{2n}\left(\gamma \right)\right)={\lambda }_{2n+1}\left(\gamma \right)$ (2.1)

From (2.1) and (1.2), we have

$\begin{array}{l}{\Vert {\lambda }_{2n}\left(\gamma \right)-{\lambda }_{2n+1}\left(\gamma \right)\Vert }_p={\Vert h\left(\gamma ,{\lambda }_{2n-1}\left(\gamma \right)\right)-G\left(\gamma ,{\lambda }_{2n}\left(\gamma \right)\right)\Vert }_p\\ \le k\max \{{\Vert {\lambda }_{2n-1}\left(\gamma \right)-{\lambda }_{2n}\left(\gamma \right)\Vert }_p,{\Vert {\lambda }_{2n-1}\left(\gamma \right)-h\left(\gamma ,{\lambda }_{2n-1}\left(\gamma \right)\right)\Vert }_p,{\Vert {\lambda }_{2n}\left(\gamma \right)-G\left(\gamma ,{\lambda }_{2n}\left(\gamma \right)\right)\Vert }_p,\\ {\Vert {\lambda }_{2n-1}\left(\gamma \right)-G\left(\gamma ,{\lambda }_{2n}\left(\gamma \right)\right)\Vert }_p,{\Vert {\lambda }_{2n}\left(\gamma \right)-h\left(\gamma ,{\lambda }_{2n-1}\left(\gamma \right)\right)\Vert }_p,{\Vert h^2\left(\gamma ,{\lambda }_{2n-1}\left(\gamma \right)\right)-{\lambda }_{2n-1}\left(\gamma \right)\Vert }_p,\\ {\Vert h^2\left(\gamma ,{\lambda }_{2n-1}\left(\gamma \right)\right)-h\left(\gamma ,{\lambda }_{2n-1}\left(\gamma \right)\right)\Vert }_p,{\Vert h^2\left(\gamma ,{\lambda }_{2n-1}\left(\gamma \right)\right)-{\lambda }_{2n}\left(\gamma \right)\Vert }_p,{\Vert h^2\left(\gamma ,{\lambda }_{2n-1}\left(\gamma \right)\right)-G\left(\gamma ,{\lambda }_{2n}\left(\gamma \right)\right)\Vert }_p\}\\ =k\max \{{\Vert {\lambda }_{2n-1}\left(\gamma \right)-{\lambda }_{2n}\left(\gamma \right)\Vert }_p,{\Vert {\lambda }_{2n-1}\left(\gamma \right)-{\lambda }_{2n}\left(\gamma \right)\Vert }_p,{\Vert {\lambda }_{2n}\left(\gamma \right)-{\lambda }_{2n+1}\left(\gamma \right)\Vert }_p,{\Vert {\lambda }_{2n-1}\left(\gamma \right)-{\lambda }_{2n+1}\left(\gamma \right)\Vert }_p,\\ {\Vert {\lambda }_{2n}\left(\gamma \right)-{\lambda }_{2n}\left(\gamma \right)\Vert }_p,{\Vert {\lambda }_{2n+1}\left(\gamma \right)-{\lambda }_{2n-1}\left(\gamma \right)\Vert }_p,{\Vert {\lambda }_{2n+1}\left(\gamma \right)-{\lambda }_{2n}\left(\gamma \right)\Vert }_p,\\ {\Vert {\lambda }_{2n+1}\left(\gamma \right)-{\lambda }_{2n}\left(\gamma \right)\Vert }_p,{\Vert {\lambda }_{2n+1}\left(\gamma \right)-{\lambda }_{2n+1}\left(\gamma \right)\Vert }_p\}\\ =k\max \{{\Vert {\lambda }_{2n-1}\left(\gamma \right)-{\lambda }_{2n}\left(\gamma \right)\Vert }_p,{\Vert {\lambda }_{2n}\left(\gamma \right)-{\lambda }_{2n+1}\left(\gamma \right)\Vert }_p,{\Vert {\lambda }_{2n-1}\left(\gamma \right)-{\lambda }_{2n+1}\left(\gamma \right)\Vert }_p\}\end{array}$

using triangle inequality, we get

$\begin{array}{c}{\Vert {\lambda }_{2n}\left(\gamma \right)-{\lambda }_{2n+1}\left(\gamma \right)\Vert }_p\le k\max \{{\Vert {\lambda }_{2n-1}\left(\gamma \right)-{\lambda }_{2n}\left(\gamma \right)\Vert }_p,{\Vert {\lambda }_{2n}\left(\gamma \right)-{\lambda }_{2n+1}\left(\gamma \right)\Vert }_p,\\ {\Vert {\lambda }_{2n-1}\left(\gamma \right)-{\lambda }_{2n}\left(\gamma \right)\Vert }_p+{\Vert {\lambda }_{2n}\left(\gamma \right)-{\lambda }_{2n+1}\left(\gamma \right)\Vert }_p\}\\ =k\left[{\Vert {\lambda }_{2n-1}\left(\gamma \right)-{\lambda }_{2n}\left(\gamma \right)\Vert }_p+{\Vert {\lambda }_{2n}\left(\gamma \right)-{\lambda }_{2n+1}\left(\gamma \right)\Vert }_p\right]\end{array}$

hence,

${\Vert {\lambda }_{2n}\left(\gamma \right)-{\lambda }_{2n+1}\left(\gamma \right)\Vert }_p\le \lambda {\Vert {\lambda }_{2n-1}\left(\gamma \right)-{\lambda }_{2n}\left(\gamma \right)\Vert }_p$

where $\lambda =\left(k/1-k\right)<1$ .

By similar way, we have

${\Vert {\lambda }_{2n-1}\left(\gamma \right)-{\lambda }_{2n}\left(\gamma \right)\Vert }_p\le \lambda {\Vert {\lambda }_{2n-2}\left(\gamma \right)-{\lambda }_{2n-1}\left(\gamma \right)\Vert }_p$

therefore,

$\begin{array}{c}{\Vert {\lambda }_{2n}\left(\gamma \right)-{\lambda }_{2n+1}\left(\gamma \right)\Vert }_p\le \lambda {\Vert {\lambda }_{2n-1}\left(\gamma \right)-{\lambda }_{2n}\left(\gamma \right)\Vert }_p\le {\lambda }^2{\Vert {\lambda }_{2n-2}\left(\gamma \right)-{\lambda }_{2n-1}\left(\gamma \right)\Vert }_p\\ ⋮\\ {\Vert {\lambda }_{2n}\left(\gamma \right)-{\lambda }_{2n+1}\left(\gamma \right)\Vert }_p\le {\lambda }^{2n}{\Vert {\lambda }_0\left(\gamma \right)-{\lambda }_1\left(\gamma \right)\Vert }_p\end{array}$

To prove $\langle {\lambda }_n\rangle$ is Cauchy sequence, for $n,m\in \mathbb{N},n>m$

$\begin{array}{c}{\Vert {\lambda }_n\left(\gamma \right)-{\lambda }_m\left(\gamma \right)\Vert }_p\\ \le {\Vert {\lambda }_n\left(\gamma \right)-{\lambda }_{n-1}\left(\gamma \right)\Vert }_p+{\Vert {\lambda }_{n-1}\left(\gamma \right)-{\lambda }_{n-2}\left(\gamma \right)\Vert }_p+\cdots +{\Vert {\lambda }_{m+1}\left(\gamma \right)-{\lambda }_m\left(\gamma \right)\Vert }_p\\ \le \left({\lambda }^{n-1}+{\lambda }^{n-2}+\cdots +{\lambda }^m\right){\Vert {\lambda }_0\left(\gamma \right)-{\lambda }_1\left(\gamma \right)\Vert }_p\le \left({\lambda }^m/1-\lambda \right){\Vert {\lambda }_0\left(\gamma \right)-{\lambda }_1\left(\gamma \right)\Vert }_p\end{array}$

Let $ϵ>0$ be given, choose a natural number K large enough such that ${\lambda }^m{\Vert {\lambda }_1\left(\gamma \right)-{\lambda }_0\left(\gamma \right)\Vert }_p<ϵ$ for every $m\ge K$ .

Hence ${\Vert {\lambda }_n\left(\gamma \right)-{\lambda }_m\left(\gamma \right)\Vert }_p<ϵ$ for every $n>m\ge K$ .

So, $\left\{{\lambda }_n\left(\gamma \right)\right\}$ is a Cauchy sequence in, and completeness of X implise that there exists $\lambda \left(\gamma \right)\in X$ such that ${\lambda }_n\left(\gamma \right)\to \lambda \left(\gamma \right)$ as $n\to \infty$ .

To show that $\lambda$ is a common random fixed point of h and G, coinsider the following by using triangle inequality, (2.1) and (1.2)

$\begin{array}{l}{\Vert \lambda \left(\gamma \right)-h\left(\gamma ,\lambda \left(\gamma \right)\right)\Vert }_p\le {\Vert \lambda \left(\gamma \right)-{\lambda }_{2n+2}\left(\gamma \right)\Vert }_p+{\Vert {\lambda }_{2n+2}\left(\gamma \right)-h\left(\gamma ,\lambda \left(\gamma \right)\right)\Vert }_p\\ ={\Vert \lambda \left(\gamma \right)-{\lambda }_{2n+2}\left(\gamma \right)\Vert }_p+{\Vert h\left(\gamma ,\lambda \left(\gamma \right)\right)-G\left(\gamma ,{\lambda }_{2n+1}\left(\gamma \right)\right)\Vert }_p\\ \le {\Vert \lambda \left(\gamma \right)-{\lambda }_{2n+2}\left(\gamma \right)\Vert }_p+k\max \{{\Vert \lambda \left(\gamma \right)-{\lambda }_{2n+1}\left(\gamma \right)\Vert }_p,{\Vert \lambda \left(\gamma \right)-h\left(\gamma ,\lambda \left(\gamma \right)\right)\Vert }_p,\\ {\Vert {\lambda }_{2n+1}\left(\gamma \right)-G\left(\gamma ,{\lambda }_{2n+1}\left(\gamma \right)\right)\Vert }_p,{\Vert \lambda \left(\gamma \right)-G\left(\gamma ,{\lambda }_{2n+1}\left(\gamma \right)\right)\Vert }_p,{\Vert {\lambda }_{2n+1}\left(\gamma \right)-h\left(\gamma ,\lambda \left(\gamma \right)\right)\Vert }_p,\\ {\Vert h^2\left(\gamma ,\lambda \left(\gamma \right)\right)-\lambda \left(\gamma \right)\Vert }_p,{\Vert h^2\left(\gamma ,\lambda \left(\gamma \right)\right)-h\left(\gamma ,\lambda \left(\gamma \right)\right)\Vert }_p,\\ {\Vert h^2\left(\gamma ,\lambda \left(\gamma \right)\right)-{\lambda }_{2n+1}\left(\gamma \right)\Vert }_p,{\Vert h^2\left(\gamma ,\lambda \left(\gamma \right)\right)-G\left(\gamma ,{\lambda }_{2n+1}\left(\gamma \right)\right)\Vert }_p\}\\ ={\Vert \lambda \left(\gamma \right)-{\lambda }_{2n+2}\left(\gamma \right)\Vert }_p+k\max \{{\Vert \lambda \left(\gamma \right)-{\lambda }_{2n+1}\left(\gamma \right)\Vert }_p,{\Vert \lambda \left(\gamma \right)-h\left(\gamma ,\lambda \left(\gamma \right)\right)\Vert }_p,\\ {\Vert {\lambda }_{2n+1}\left(\gamma \right)-{\lambda }_{2n+2}\left(\gamma \right)\Vert }_p,{\Vert \lambda \left(\gamma \right)-{\lambda }_{2n+2}\left(\gamma \right)\Vert }_p,{\Vert {\lambda }_{2n+1}\left(\gamma \right)-h\left(\gamma ,\lambda \left(\gamma \right)\right)\Vert }_p,\\ {\Vert h^2\left(\gamma ,\lambda \left(\gamma \right)\right)-\lambda \left(\gamma \right)\Vert }_p,{\Vert h^2\left(\gamma ,\lambda \left(\gamma \right)\right)-h\left(\gamma ,\lambda \left(\gamma \right)\right)\Vert }_p,\\ {\Vert h^2\left(\gamma ,\lambda \left(\gamma \right)\right)-{\lambda }_{2n+1}\left(\gamma \right)\Vert }_p,{\Vert h^2\left(\gamma ,\lambda \left(\gamma \right)\right)-{\lambda }_{2n+2}\left(\gamma \right)\Vert }_p\}\end{array}$

taking the limit as $n\to \infty$ in the above inequality, getting that

$\begin{array}{c}\lambda \left(\gamma \right)-h{\left(\gamma ,\lambda \left(\gamma \right)\right)}_p\le k\max \{{\Vert \lambda \left(\gamma \right)-h\left(\gamma ,\lambda \left(\gamma \right)\right)\Vert }_p,{\Vert h^2\left(\gamma ,\lambda \left(\gamma \right)\right)-\lambda \left(\gamma \right)\Vert }_p,\\ {\Vert h^2\left(\gamma ,\lambda \left(\gamma \right)\right)-h\left(\gamma ,\lambda \left(\gamma \right)\right)\Vert }_p\}\end{array}$

By using triangle inequality and non-expansive of h, we have

$\begin{array}{l}{\Vert \lambda \left(\gamma \right)-h\left(\gamma ,\lambda \left(\gamma \right)\right)\Vert }_p\\ \le k\max \{{\Vert \lambda \left(\gamma \right)-h\left(\gamma ,\lambda \left(\gamma \right)\right)\Vert }_p,{\Vert h^2\left(\gamma ,\lambda \left(\gamma \right)\right)-h\left(\gamma ,\lambda \left(\gamma \right)\right)\Vert }_p\\ +{\Vert h\left(\gamma ,\lambda \left(\gamma \right)\right)-\lambda \left(\gamma \right)\Vert }_p,{\Vert h^2\left(\gamma ,\lambda \left(\gamma \right)\right)-h\left(\gamma ,\lambda \left(\gamma \right)\right)\Vert }_p\}\\ \le k\max \{{\Vert \lambda \left(\gamma \right)-h\left(\gamma ,\lambda \left(\gamma \right)\right)\Vert }_p,{\Vert h\left(\gamma ,\lambda \left(\gamma \right)\right)-\lambda \left(\gamma \right)\Vert }_p\\ +h\left(\gamma ,\lambda \left(\gamma \right)\right)-\lambda {\left(\gamma \right)}_p,{\Vert h\left(\gamma ,\lambda \left(\gamma \right)\right)-\lambda \left(\gamma \right)\Vert }_p\}\\ \le 2k{\Vert h\left(\gamma ,\lambda \left(\gamma \right)\right)-\lambda \left(\gamma \right)\Vert }_p\end{array}$

this implies that

$\left(1-k\right){\Vert \lambda \left(\gamma \right)-h\left(\gamma ,\lambda \left(\gamma \right)\right)\Vert }_p\le 0$ (2.2)

since $0\le k<1/2$ , (2.1.4) must be true only ${\Vert \lambda \left(\gamma \right)-h\left(\gamma ,\lambda \left(\gamma \right)\right)\Vert }_p=0$ , thus

$\lambda \left(\gamma \right)=h\left(\gamma ,\lambda \left(\gamma \right)\right)$ (2.3)

Similarly, we can show that

$\lambda \left(\gamma \right)=G\left(\gamma ,\lambda \left(\gamma \right)\right)$ (2.4)

hence $\lambda :\Omega \to A$ is a common random fixed point of h and G.

For uniqueness, let $\alpha \left(\gamma \right)$ be another common random fixed point of S and T, that is for all $\gamma \in \Omega$ , $\alpha \left(\gamma \right)=h\left(\gamma ,\alpha \left(\gamma \right)\right)=G\left(\gamma ,\alpha \left(\gamma \right)\right)$ .

Then for all $\gamma \in \Omega$ , we have

${\Vert \lambda \left(\gamma \right)-\alpha \left(\gamma \right)\Vert }_p={\Vert h\left(\gamma ,\lambda \left(\gamma \right)\right)-G\left(\gamma ,\alpha \left(\gamma \right)\right)\Vert }_p$

From (1.2), (2.3) and (3.2), we have

$\begin{array}{c}{\Vert \lambda \left(\gamma \right)-\alpha \left(\gamma \right)\Vert }_p\le k\max \{{\Vert \lambda \left(\gamma \right)-\alpha \left(\gamma \right)\Vert }_p,{\Vert \lambda \left(\gamma \right)-h\left(\gamma ,\lambda \left(\gamma \right)\right)\Vert }_p,\\ {\Vert \alpha \left(\gamma \right)-T\left(\gamma ,\alpha \left(\gamma \right)\right)\Vert }_p,\lambda \left(\gamma \right)-G{\left(\gamma ,\alpha \left(\gamma \right)\right)}_p{}_p,\\ {\Vert \alpha \left(\gamma \right)-h\left(\gamma ,\lambda \left(\gamma \right)\right)\Vert }_p,{\Vert h^2\left(\gamma ,\lambda \left(\gamma \right)\right)-\lambda \left(\gamma \right)\Vert }_p,\\ {\Vert h^2\left(\gamma ,\lambda \left(\gamma \right)\right)-\lambda \left(\gamma \right)\Vert }_p,{\Vert h^2\left(\gamma ,\lambda \left(\gamma \right)\right)-\alpha \left(\gamma \right)\Vert }_p,\\ {\Vert h^2\left(\gamma ,\lambda \left(\gamma \right)\right)-G\left(\gamma ,\alpha \left(\gamma \right)\right)\Vert }_p\}\\ =k\max \left\{\lambda \left(\gamma \right)-\alpha {\left(\gamma \right)}_p,0\right\}\\ =k\lambda \left(\gamma \right)-\alpha {\left(\gamma \right)}_p<\lambda \left(\gamma \right)-\alpha {\left(\gamma \right)}_p\end{array}$

Which is contraction. Hence $\lambda :\Omega \to A$ is a unique common random fixed point of h and. ∎

Corollary (2.2):

If A and h as in theorem (2.1) and for each $\gamma \in \Omega$ , $h\left(\gamma ,.\right):A\to A$ is (gqc):

$\begin{array}{l}{\Vert h\left(\gamma ,x\right)-h\left(\gamma ,y\right)\Vert }_p\\ \le k\max \{{\Vert x-y\Vert }_p,{\Vert x-h\left(\gamma ,x\right)\Vert }_p,{\Vert y-h\left(\gamma ,y\right)\Vert }_p,{\Vert x-h\left(\gamma ,y\right)\Vert }_p,\\ {\Vert y-h\left(\gamma ,x\right)\Vert }_p,{\Vert h^2\left(\gamma ,x\right)-x\Vert }_p,{\Vert h^2\left(\gamma ,x\right)-h\left(\gamma ,x\right)\Vert }_p,\\ {\Vert h^2\left(\gamma ,x\right)-y\Vert }_p,{\Vert h^2\left(\gamma ,x\right)-h\left(\gamma ,y\right)\Vert }_p\}\end{array}$

Then there is a random fixed point of h.

Corollary (2.3):

If A, h, G as in theorem (2.1) and for each $\gamma \in \Omega$ , $h\left(\gamma ,.\right),G\left(\gamma ,.\right):A\to A$ satisfies one of the following conditions:

1. $\begin{array}{l}{\Vert h\left(\gamma ,x\right)-G\left(\gamma ,y\right)\Vert }_p\\ \le k\max \{{\Vert x-y\Vert }_p,{\Vert x-h\left(\gamma ,x\right)\Vert }_p,{\Vert y-G\left(\gamma ,y\right)\Vert }_p,\\ {\Vert x-T\left(\gamma ,y\right)\Vert }_p,{\Vert y-h\left(\gamma ,x\right)\Vert }_p\}.\end{array}$

2. ${\Vert h\left(\gamma ,x\right)-G\left(\gamma ,y\right)\Vert }_p\le k\max \left\{{\Vert x-y\Vert }_p,{\Vert x-h\left(\gamma ,x\right)\Vert }_p,{\Vert y-G\left(\gamma ,y\right)\Vert }_p\right\}.$

3. ${\Vert h\left(\gamma ,x\right)-G\left(\gamma ,y\right)\Vert }_p\le k\max \left\{{\Vert x-h\left(\gamma ,x\right)\Vert }_p,{\Vert y-G\left(\gamma ,y\right)\Vert }_p\right\}.$

4. $\begin{array}{l}{\Vert h\left(\gamma ,x\right)-G\left(\gamma ,y\right)\Vert }_p\\ \le \max \{{\Vert x-y\Vert }_p,{\Vert x-h\left(\gamma ,x\right)\Vert }_p,{\Vert y-G\left(\gamma ,y\right)\Vert }_p,\\ 1/2\left[{\Vert x-G\left(\gamma ,y\right)\Vert }_p+{\Vert y-h\left(\gamma ,x\right)\Vert }_p\right]\}.\end{array}$

5. $\begin{array}{l}{\Vert h\left(\gamma ,x\right)-G\left(\gamma ,y\right)\Vert }_p\\ \le k\max \{{\Vert x-y\Vert }_p,1/2\left[{\Vert x-h\left(\gamma ,x\right)\Vert }_p+{\Vert y-G\left(\gamma ,y\right)\Vert }_p\right],\\ 1/2\left[x-G{\left(\gamma ,y\right)}_p+y-h{\left(\gamma ,x\right)}_p\right]\}.\end{array}$

For all $x,y\in X;0<k<1/2$ . Then h and G have a unique common random fixed point.

3. Well-Posed Problem

Definition (3.1):

Let $\left(X,{\Vert \Vert }_p\right)$ be a p-normed space and $T:\Omega \times X\to X$ a random mapping. the random fixed point problem of T is said to be well-posed if:

i. T has a unique random fixed point $\lambda :\Omega \to X$ ;

ii. for any sequence $\left\{{\lambda }_n\left(\gamma \right)\right\}$ of measurable mappings in X such that ${\lim }_{n\to \infty }{\Vert T\left(\gamma ,{\lambda }_n\left(\gamma \right)\right)-{\lambda }_n\left(\gamma \right)\Vert }_p=0$ , we have ${\lim }_{n\to \infty }{\Vert {\lambda }_n\left(\gamma \right)-\lambda \left(\gamma \right)\Vert }_p=0$ .

Definition (3.2):

Let $\left(X,{\Vert \Vert }_p\right)$ be a p-normed space and let $\mathcal{T}$ be a set of a random operators in X. The random fixed point of $\mathcal{T}$ is said to be well-posed if:

i. $\mathcal{T}$ has a unique random fixed point $\lambda :\Omega \to X$ ;

ii. for any sequence $\left\{{\lambda }_n\left(\gamma \right)\right\}$ of measurable mappings in X such that ${\lim }_{n\to \infty }{\Vert T\left(\gamma ,{\lambda }_n\left(\gamma \right)\right)-{\lambda }_n\left(\gamma \right)\Vert }_p=0$ , $\forall T\in \mathcal{T}$ we have ${\lim }_{n\to \infty }{\Vert {\lambda }_n\left(\gamma \right)-\lambda \left(\gamma \right)\Vert }_p=0$ .

Theorem (3.3):

If A, h, G as in theorem (2.1) and for each $\gamma \in \Omega$ , $h\left(\gamma ,.\right),G\left(\gamma ,.\right):A\to A$ satisfies (1.2), then the common random fixed point for the set of random operators $\left\{h,G\right\}$ is well-posed.

Proof:

By theorem (2.1), the random operators h and G have a unique common random fixed point $\lambda :\Omega \to A$ . Let $\left\{{\lambda }_n\left(\gamma \right)\right\}$ be a sequence of measurable mappings in A such that

$\underset{n\to \infty }{\lim }{\Vert h\left(\gamma ,{\lambda }_n\left(\gamma \right)\right)-{\lambda }_n\left(\gamma \right)\Vert }_p=\underset{n\to \infty }{\lim }{\Vert G\left(\gamma ,{\lambda }_n\left(\gamma \right)\right)-{\lambda }_n\left(\gamma \right)\Vert }_p=0$

By the triangle inequality, (1.2), (2.3) and (2.4), we have

$\begin{array}{l}{\Vert \lambda \left(\gamma \right)-{\lambda }_n\left(\gamma \right)\Vert }_p\\ \le {\Vert h\left(\gamma ,\lambda \left(\gamma \right)\right)-G\left(\gamma ,{\lambda }_n\left(\gamma \right)\right)\Vert }_p+{\Vert G\left(\gamma ,{\lambda }_n\left(\gamma \right)\right)-{\lambda }_n\left(\gamma \right)\Vert }_p\\ \le h\max \{{\Vert \lambda \left(\gamma \right)-{\lambda }_n\left(\gamma \right)\Vert }_p,{\Vert {\lambda }_n\left(\gamma \right)-G\left(\gamma ,{\lambda }_n\left(\gamma \right)\right)\Vert }_p,{\Vert \lambda \left(\gamma \right)-G\left(\gamma ,{\lambda }_n\left(\gamma \right)\right)\Vert }_p\\ {\Vert {\lambda }_n\left(\gamma \right)-h\left(\gamma ,\lambda \left(\gamma \right)\right)\Vert }_p,{\Vert h^2\left(\gamma ,\lambda \left(\gamma \right)\right)-{\lambda }_n\left(\gamma \right)\Vert }_p,\\ h^2{\Vert \left(\gamma ,\lambda \left(\gamma \right)\right)-G\left(\gamma ,{\lambda }_n\left(\gamma \right)\right)\Vert }_p\}+{\Vert G\left(\gamma ,{\lambda }_n\left(\gamma \right)\right)-{\lambda }_n\left(\gamma \right)\Vert }_p\\ \le h\left[{\Vert \lambda \left(\gamma \right)-G\left(\gamma ,{\lambda }_n\left(\gamma \right)\right)\Vert }_p+{\Vert G\left(\gamma ,{\lambda }_n\left(\gamma \right)\right)-{\lambda }_n\left(\gamma \right)\Vert }_p\right]+{\Vert G\left(\gamma ,{\lambda }_n\left(\gamma \right)\right)-{\lambda }_n\left(\gamma \right)\Vert }_p\\ =h{\Vert \lambda \left(\gamma \right)-G\left(\gamma ,{\lambda }_n\left(\gamma \right)\right)\Vert }_p+\left(1+h\right){\Vert \theta \Vert }_p\end{array}$

By the triangle inequality, we get

$\begin{array}{l}{\Vert \lambda \left(\gamma \right)-{\lambda }_n\left(\gamma \right)\Vert }_p\\ \le h\left[{\Vert \lambda \left(\gamma \right)-{\lambda }_n\left(\gamma \right)\Vert }_p+{\Vert {\lambda }_n\left(\gamma \right)-G\left(\gamma ,{\lambda }_n\left(\gamma \right)\right)\Vert }_p\right]\\ +\left(1+h\right){\Vert G\left(\gamma ,{\lambda }_n\left(\gamma \right)\right)-{\lambda }_n\left(\gamma \right)\Vert }_p\\ =h{\Vert \lambda \left(\gamma \right)-{\lambda }_n\left(\gamma \right)\Vert }_p+\left(1+2h\right){\Vert G\left(\gamma ,{\lambda }_n\left(\gamma \right)\right)-{\lambda }_n\left(\gamma \right)\Vert }_p\end{array}$

$\left(1-h\right){\Vert \lambda \left(\gamma \right)-{\lambda }_n\left(\gamma \right)\Vert }_p\le \left(1+2h\right){\Vert G\left(\gamma ,{\lambda }_n\left(\gamma \right)\right)-{\lambda }_n\left(\gamma \right)\Vert }_p$

thus we have, ${\lim }_{n\to \infty }{\Vert \lambda \left(\gamma \right)-{\lambda }_n\left(\gamma \right)\Vert }_p=0$ , it follows that the common random fixed point for the set of random operators $\left\{h,G\right\}$ is well-posed. ∎

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	Nashine, H.K. (2006) Best Approximation for Nonconvex Set in q-Normed Space. Archivum Mathematicum (Brno), 42, 51-58.
[2]	Bano, A., Khan, A.R. and Latif, A. (2003) Coincidence Points and Best Approximations in p-Normed Spaces. Radovi Matematicki, 12, 27-36.
[3]	Lahiri, B.K. and Das, P. (2005) Well-Posednes and Porosity of Certain Classes of Operators. Demonstratio Mathematica, 38, 170-176.
[4]	Jhadd, P.K. and Salua, A.S. (2014) On Random Coincidence and Fixed Points for a Pair of Multi-Valued and Single-Valued Mappings. International Journal of Analysis and Applications, 4, 26-35.
[5]	Shahzad, N. and Latif, A. (2000) Note a Random Coincidence Point Theorem. Journal of Mathematical Analysis and Applications, 245, 633-638. https://doi.org/10.1006/jmaa.2000.6772
[6]	Beg, I., Jahangir, A. and Azam, A. (2009) Random Coincidence and Fixed Points for Weakly Compatible Mappings in Convex Metric Spaces. Asian-European Journal of Mathematics, 2, 171-182. https://doi.org/10.1142/S1793557109000145
[7]	Shahzad, N. (2004) Some General Random Coincidence Point Theorems. New Zealand Journal of Mathematics, 33, 95-103.
[8]	Beg, I. and Shahzad, N. (1994) Random Approximations and Random Fixed Point Theorems. Journal of Applied Mathematics and Stochastic Analysis, 7, 145-150. https://doi.org/10.1155/S1048953394000158
[9]	Khan, A.R., Thaheem, A.B. and Hussain, N. (2002) Random Fixed Points and Random Approximations in Nonconvex Domains. Journal of Applied Mathematics and Stochastic Analysis, 15, 247-253. https://doi.org/10.1155/S1048953302000217
[10]	Itoh, S. (1979) Random Fixed Point Theorems with an Applications to Random Differential Equations in Banach Spaces. Journal of Mathematical Analysis and Applications, 67, 261-273. https://doi.org/10.1016/0022-247X(79)90023-4
[11]	Nashine, H.K. (2008) Random Fixed Points and Invariant Random Approximation in Non-Convex Domains. Hacettepe Journal of Mathematics and Statistics, 37, 81-88.
[12]	Abed, S.S. and Ajeel, Y.J. (2016) On Invariant Random Best Approximation. International Journal of Recent Scientific Research, 7, 9530-9533.
[13]	Ajeel, Y.J., Abed, S.S. and Alsaidy, S.K. (2016) On Random Fixed Points of Lipschitza in Random Operators. International Journal of Advanced Scientific and Technical Research, 5, 157-162.
[14]	Alsaidy, S.K., Abed, S.S. and Ajeel, Y.J. (2015) On Random Coincidence Points and Random Best Approximation in p-Normed Spaces. Mathematical Theory and Modeling, 5, 41-48.
[15]	Saluja, G.S. (2015) On Common Random Fixed Point Theorems under Contractive Type Condition in Cone Random Metric Spaces. Gulf Journal of Mathematics, 3, 111-122.
[16]	Rashwan, R.A. and Albaqeri, D.M. (2012) A Common Random Fixed Point Theorem for Six Weakly Compatible Mappings in Hilbert Spaces. International Journal of Open Problems in Computer Science and Mathematics, 5, 34-46. https://doi.org/10.12816/0006137
[17]	Arunchai, A. and Plubtieng, S. (2013) Random Fixed Point Theorem of Krasnoselskii Type for the Sum of Two Operators. Journal of Fixed Point Theory and Applications, 142, 1-10. https://doi.org/10.1186/1687-1812-2013-142
[18]	Singh, B., Rathore, G.P.S., Dubey, P. and Singh, N. (2013) Common Unique Fixed Point Theorem for Random Operators in Hilbert Space. International Journal of Innovative Research in Science, 2, 6364-6370.
[19]	Vishwakarma, N. and Chauhan, M.S. (2013) Common Random Fixed Point Theorems in Symmetric Spaces. International Journal of Advancements in Research and Technology, 2.
[20]	Khanday, A.H., Jain, A. and Badshah, V.H. (2012) Random Fixed Point Theorems of Random Multivalued Operators on Polish Space. Ijrras, 12, 154-157.
[21]	Chauhan, S.S. (2013) Common Fixed Point Theorem for Four Random Operators in Hilbert Space. Advances in Applied Science Research, 4, 219-222.
[22]	Abed, S.S., Ajeel, Y.J. and Alsaidy, S.K. (2017) Results on Quasi Contraction Random Operators. International Journal of Science and Research (IJSR), 6, 607-610.
[23]	Abed, S.S., Ajeel, Y.J. and Alsaidy, S.K. Results on General-Weakly Random Operators. To appear in International Journal of Pure and Applied Mathematics.