I048061069 by research

Research Inventy: International Journal of Engineering And Science Vol.4, Issue 8 (August 2014), PP 61-69 Issn (e): 2278-4721, Issn (p):2319-6483, www.researchinventy.com

Common Fixed Theorems Using Random Implicit Iterative Schemes Renu Chugh1 Rekha Rani2 and Satish Narwal3 1, 2

Department of Mathematics, MDU, Rohtak-124001. 3 S. J. K. College, Kalanaur, Rohtak Corressponding author:rekhadalal93@gmail.com

ABSTRACT : The aim of this paper is to prove two convergence theorems of two random implicit iterative schemes to a common random fixed point in Banach spaces.

MATHEMATICS SUBJECT CLASSIFICATION: 47H10, 54H25 KEY WORDS: Contractive Mappings, Implicit Iterative Schemes, Measurable Mappings, Separable Banach Spaces.

INTRODUCTION AND PRELIMINARIES

Random approximations and random fixed point theorems are stochastic generalizations of classical approximations and fixed point theorems. Random fixed point theory was initiated by the Prague school of probabilities in the works of Hans [12] and Spacek [2]. Fixed point iterative schemes for nonlinear operators on Banach and Hilbert spaces were studied and improved by many authors in recent times. The development of random fixed point iterative schemes was initiated by Choudhary in [4] where random Ishikawa iterative scheme was defined and its strong convergence to a random fixed point in Hilbert spaces was discussed. After that several authors [1, 9, 13, 14, 15, 19] have worked on random fixed point iterations to obtain fixed points in deterministic operator theory. Then Chugh et al.[16] defined and proved the convergence of random SP iterative scheme The following iterative schemes are now well known: Random Mann iterative scheme [3]: x n 1  w   1   n

 xn  w  

 nT

w, x w , n

fo r n  0 ,

w  ,

(1.1)

where 0   n  1 and x 0 :   F is an arbitrary measurable mapping. Random Ishikawa iterative scheme [4]: x n  1  w   (1   n ) x n ( w )   n T y n  w   1   n

 w, yn (w) ,

 x n  w    nT  w , x n  w   ,

fo r n  0 ,

w  ,

(1.2)

where 0   n ,  n  1 and x 0 :   F is an arbitrary measurable mapping. Random SP iterative scheme [16]: x n 1  w   1   n  y n  w    nT  w , y n  w   , y n  w   1   n  z n  w    nT  w , z n  w   , z n  w    1   n  x n  w    n T  w , x n  w   fo r n  0 , w   ,

 1 .3 

Common Fixed Theorems Using Random… where {  n }, {  n } and {  n } are sequences of positive numbers in [0,1] and x 0 :   F is an arbitrary measurable mapping. In 2001, Xu and Ori [7], introduced the following implicit iterative scheme for a finite family of nonexpansive mappings {T1, T2, …., TN} from K to K, where K is a nonempty closed convex subset of a Hilbert space E. Let {αn} be a real sequence in (0, 1) and an initial point x1 ∈ C, x 1   1 x 0  (1   1 ) T1 x 1 , x 2   2 x 1  (1   2 ) T 2 x 2 , ...

(1.4)

x N   N x N  1  (1   N ) T N x N , x N  1   N  1 x N  (1   N  1 ) T1 x N  1 , ...

It can also be written as x n   n x n  1  (1   n ) T n x n ,

n ≥ 1, where T n  T n (m o d N ) (mod N takes the values in the set {1, 2, … ,

N}). They proved the weak convergence of the sequence {xn} defined by (1.4) to a common fixed point N

p F 



F (T i )

i 1

Corresponding to this, I. Beg and B. S. Thakur [8] defined general composite random implicit iterative scheme as follows: Let S i , T i :   C  C , i = 1, 2, …, N be operators on a nonempty convex subset C of a separable Banach space X. Then the sequence  x n  generated by random implicit scheme associated with Si or Ti is defined as follows: Let x 0 :   C be any given measurable mapping. x 1 ( t)  (1   1 ) x 0  t    1 S 1 ( t, x 1 ( t) ) x 2 ( t)  (1   2 ) x 1  t    2 S 2 ( t, x 2 ( t) ) . . . x N ( t)  (1   N ) x N  1  t    N S N ( t, x N ( t) ) x N  1 ( t)  (1   N  1 ) x N

 t    N  1 S 1 ( t, x N  1 ( t) )

. .

(1.5)

. x 2 N ( t)  (1   2 N ) x 2 N  1  t    2 N S N ( t, x 2 N ( t) ) . .

Common Fixed Theorems Using Random… x 1 ( t)  (1   1 ) x 0  t    1 T 1 ( t, x 1 ( t) ) x 2 ( t)  (1   2 ) x 1  t    2 T 2 ( t, x 2 ( t) ) . . . x N ( t)  (1  

x N  1 ( t)  (1  

) x N  1  t    N T N ( t, x N ( t) ) N 1

)xN

 t    N  1 T1 ( t, x N  1 ( t) )

(1.6)

. . . x 2 N ( t)  (1   2 N ) x 2 N  1  t    2 N T N ( t, x 2 N ( t) ) . .

where {  n }  [ 0 ,1] . Definition Let { T1 , T 2 , ..., T N } be a family of random asymptotically nonexpansive operators from N

  K  K , where K is a closed, convex subset of a separable Banach space E. Let F 



R F (T i )   ,

i 1

where R F (T i ) is the set of all random fixed points of a random operator T i for each i ∈ {1, 2,…, N}. Let  0 :   K be any fixed measurable mapping and {  n }  [ 0 ,1], then modified implicit random iterative

scheme associated with Si is defined as follows: x 1 (t)  (1   1 ) x 0  t    1 S 1 (t, x 1 (t)) x 2 (t)  (1   2 ) x 1  t    2 S 2 (t, x 2 (t)) . . . x N (t)  (1   N ) x N  1  t    N S N (t, x N (t)) x N  1 (t)  (1   N  1 ) x N  t    N  1 S 1 (t, x N  1 (t)) 2

. . . x 2 N (t)  (1   2 N ) x 2 N  1  t    2 N S N (t, x 2 N (t)) 2

x 2 N  1 (t)  (1   2 N  1 ) x 2 N  t    2 N  1 S 1 (t, x 2 N  1 (t)), 3

(1 .7 )

. .

Similarly, modified implicit random iterative scheme associated with T i, is defined as follows:

Common Fixed Theorems Using Random… x 1 (t)  (1   1 ) x 0  t    1 T1 (t, x 1 (t)) x 2 (t)  (1   2 ) x 1  t    2 T 2 (t, x 2 (t)) . . . x N (t)  (1   N ) x N  1  t    N T N (t, x N (t)) x N  1 (t)  (1   N  1 ) x N  t    N  1 T1 (t, x N  1 (t)) 2

. . . x 2 N (t)  (1   2 N ) x 2 N  1  t    2 N T N (t, x 2 N (t)) 2

(1 .8 )

x 2 N  1 (t)  (1   2 N  1 ) x 2 N  t    2 N  1 T1 (t, x 2 N  1 (t)), 3

. .

In this paper, we prove the convergence of two random implicit iterative schemes to a random common fixed point . Our result is generalization of the results in [16] and some other known results [10, 20] in the literature of fixed point theory. Firstly we give some definitions. Through this paper, (  ,  ) denotes a measurable space and X denotes a real Banach space. For any function T :  X  X

we denote the n-th iterate T (t, T (t, ... , T (t, x ))) of T by T (t, x ) . The letter I denotes the

random mapping I :   X  X defined by I   , x   x and T

 I .

Definition 1.1 Let C be a nonempty subset of a separable Banach space X and T :   C  C be a random operator. Then T is said to be an asymptotically nonexpansive random operator if there exists a sequence of measurable functions rn :    1,   with li m rn  t   1 such that n 

t, x   T t, y  n

 rn  t  x  y

for all x , y  C , n  N and for each t   . Definition 1.2 A mapping f :   C is called measurable if f

1

B

 C 



for every Boral subset B

of X. Definition 1.3 A function F :   C  C

is called a random operator if F  . , x  :   C is measurable for

every x  C . Definition 1.4 A measurable mapping g :   C is said to be random fixed point of the random operator F :   C  C , if F

 w, g  w  

g  w  for all w   .

Definition 1.5 A random operator F :   C  C is said to be continuous if, for fixed w   , F

 w , . : C

 C is continuous.

Now, we prove our main results.

Common Fixed Theorems Using Random… II.

MAIN RESULTS

Theorem 2.1 Let X be a separable Banach space and C be a nonempty, closed and convex subset of X . Let S i , T j :   C  C , i, j ∈ {1, 2,…, N} be random operators defined on C such that at least one of the following conditions hold for all x , y  C and t   : (i)

 t, x   T j  t, y 



a x  y  b  x  S i  t, x   y  T j 

 t, y 

  c x T j  

 t, y 

 y  Si

 t, x 

 , 

a  0 , b  0 , c  0 ,1  b  c  0 .

 ii 

 t, x   T j  t, y 

q m ax





x  y , x  Si

 t, x 

 y  Tj

 t, y 

, x  Tj

 t, y 

 y  Si

 t, x 

,

0  q  1.

 iii 

S i  t, x   T j

 t, y 





 m ax  x  y , x  Si

 t, x 

, y  Tj

 t, y 

, x  Tj

 t, y 

, y  Si



t,x 

,

 ,  0, 0    1.

 iv 

S i  t, x   T j q m ax



 t, y 



x  y , x  Si

 t, x 

, y  Tj

 t, y 

, x  Tj

 t, y 

, y  Si



t,x 

,

0  q  1.

If the random implicit iterative scheme associated with (1.5) or (1.6), satisfying (i)-(iii) converges, then it converges to a common random fixed point of Si and Tj. Further, if (iv) holds, then this common fixed point will be unique. Proof. Let us assume that the sequence  x n  defined by (1.5) has a pointwise limit, that is, lim x n  t   u  t  , for all t   . As X is a separable Banach space, the mapping x  t   A  t, f n 

 t   is

measurable mapping [6] for any random operator A :   C  X and any measurable mapping f :   C . Now, the sequence  x n  constructed by the random implicit iterative schemes (1.5) and (1.6) is a sequence of measurable mappings as x  t  is measurable and C is convex. Therefore, x :   C is also measurable, being limit of a sequence measurable mappings. First of all we assume that S i  t, x  t    x  t  for x  t   C . Then after putting x  t   y  t   u  t  into any of the inequalities  i    iv  , it is easy to see that T j  t, u  t    u  t  . In a similar manner Tj

 t, u (t ) 

 u  t  implies S i  t , u ( t )   u  t 

Suppose the sequence  x n  generated by implicit iterative scheme associated with S i converges to u, that is, lim x n  t   u  t  . Then, from (1.5), we have n 

x n 1  t   1  

n 1

 x n  t    n  1 S i  t, x n  1  t   . Since

lim x n (t)  u (t), so we have n 

x n  1 ( t)  x n ( t)  0 . Using it, we obtain x n  t   S i  t, x n  1  t    0 . From which, it follows that

u  t   S i  t, x n  1  t    0

If Si, Tj satisfy (i), then

Common Fixed Theorems Using Random… S i  t, x n  t    T j  t, u  t    a x n  t   u  t   b  x n  t   S i  t, x n  t    u  t   T j (t, u  t  )     c  x n  t   T j  t, u  t    u  t   S i  t, x n  t    .  

 2 .1 

If Si,Tj satisfy (ii), then  x  t   u  t  , x  t   S  t, x  t    u  t   T  t, u  t   n i n j  n S i  t, x n  t    T j  t, u  t    q m a x   x n  t   T j  t, u  t    u  t   S i  t, x n  t  

,   

 2 .2  Also, if Si,Tj satisfy (iii), then S i  t, x n  t    T j  t, u  t  

  x  t   u  t  , x  t   S  t, x  t   , u  t   T  t, u  t   n i n j  n n   m ax   x n  t   T j  t, u  t   , u  t   S i  t, x n  t  

,   

 2 .3  Further, if Ti, Sj satisfy (iv), then clearly they will satisfy (ii). On applying the limit n   , in (2.1), (2.2), (2.3), we get u  t   T j  t, u  t     u  t   T j  t, u  t   ,

 2 .4 

where   m a x  b  c , q ,    1 . Then T j  t, u  t    u  t  . Similarly, we can show that S i  t, u  t    u  t  .

To prove the uniqueness of u  t  in the case (iv), let us assume that v  t  be common fixed point of S and T other than u  t  , then using (iv), we have u  t   v  t   S i  t, u  t    T j  t, v  t    u  t   v  t  , u  t   S  t, u  t   , i   q m ax   v  t   T j  t, v  t   , u  t   T j  t, v  t   , v  t   S i  t, u  t  

   

 q u t   v t  ,

which further yields (1  q ) u  t   v  t   0 . But 0  q  1, hence u  t   v  t   0 , which is a contradiction as norm is always nonnegative, therefore u  t   v  t  always.

Theorem 2.2 Let X be a separable Banach space and C be a nonempty, closed and convex subset of X . Let S i , T j :   C  C , i, j ∈ {1, 2,…, N} be random operators defined on C such that at least one of the following conditions hold for all x , y  C and t   :

Common Fixed Theorems Using Random… (i)

 t, x   T j  t, y 



a x  y  b  x  S i  t, x   y  T j 

 t, y 

  c x T j  

 t, y 

 y  Si

 t, x 

 , 

a  0 , b  0 , c  0 ,1  b  c  0 .

 ii 

 t, x   T j  t, y 

q m ax





x  y , x  Si

 t, x 

 t, y 

 y  Tj

, x  Tj

 t, y 

 y  Si

 t, x 

,

0  q  1.

 iii 

S i  t, x   T j

 t, y 





 m ax  x  y , x  Si

 t, x 

, y  Tj

 t, y 

, x  Tj

 t, y 

, y  Si



t,x 

,

 ,  0, 0    1.

 iv 

S i  t, x   T j q m ax



 t, y 



x  y , x  Si

 t, x 

, y  Tj

 t, y 

, x  Tj

 t, y 

, y  Si



t,x 

,

0  q  1.

If the random implicit iterative scheme associated with (1.7) or (1.8) satisfying (i)-(iii) converges, then it converges to a common random fixed point of Si and Tj. Further, if (iv) holds, then this common fixed point will be unique. Proof. Let us assume that the sequence  x n  defined by (1.7) has a pointwise limit, that is, lim x n  t   u  t  , for all t   . As X is a separable Banach space, the mapping x  t   A  t, f n 

 t   is

measurable mapping [6] for any random operator A :   C  X and any measurable mapping f :   C . Now, the sequence  x n  constructed by the random implicit iterative scheme (1.7) and (1.8) is a sequence of measurable mappings as x  t  is measurable and C is convex. Therefore, x :   C is also measurable, being limit of a sequence measurable mappings. First of all we assume that S i  t, x  t    x  t  for x  t   C . Then after putting x  t   y  t   u  t  into any of the inequalities  i    iv  , it is easy to see that T j  t , u  t    u  t  . In a similar manner Tj

 t, u ( t ) 

 u  t  implies S i  t , u ( t )   u  t 

Suppose the sequence  x n  generated by implicit iterative scheme associated with S i converges to u, that is, lim x n  t   u  t  . Then, from (1.7) we have n 

x n 1  t   1  

 x n  t    n  1 S i  t, x n  1  t   . Since j

n 1

lim x n (t)  u (t), so we have n 

x n  1 ( t)  x n ( t)  0 . Using it, we obtain x n  t   S i  t, x n  1  t    0 . From which, it follows that

u t   Si

 t, x

n 1

t 

 0

If Si, Tj satisfy (i), then S i  t, x n  t    T j  t, u  t    a x n  t   u  t   b  x n  t   S i  t, x n  t    u  t   T j (t, u  t  )     c  x n  t   T j  t, u  t    u  t   S i  t, x n  t    .  

If Si,Tj satisfy (ii), then

 2 .5 

Common Fixed Theorems Using Random…  x  t   u  t  , x  t   S  t, x  t    u  t   T  t, u  t   n i n j  n S i  t, x n  t    T j  t, u  t    q m a x   x n  t   T j  t, u  t    u  t   S i  t, x n  t  

,   

 2 .6  Also, if Si,Tj satisfy (iii), then S i  t, x n  t    T j  t, u  t  

,   

 2 .7  Further, if Ti, Sj satisfy (iv), then clearly they will satisfy (ii). On applying the limit n   , in (2.5), (2.6), (2.7), we get u  t   T j  t, u  t     u  t   T j  t, u  t   ,

 2 .8 

where   m a x  b  c , q ,    1 . Then T j  t, u  t    u  t  . Similarly, we can show that S i  t, u  t    u  t  .

To prove the uniqueness of u  t  in the case (iv), let us assume that v  t  be common fixed point of S and T other than u  t  , then using (iv) we have u  t   v  t   S i  t, u  t    T j  t, v  t    u  t   v  t  , u  t   S  t, u  t   , i   q m ax   v  t   T j  t, v  t   , u  t   T j  t, v  t   , v  t   S i  t, u  t  

   

 q u t   v t  ,

REFERENCES [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13]

A. R. Khan, A. B. Thaheem and N. Hussion, Random fixed points and random approximations in nonconvex domains, J. Appl. Math. Stoch. Anal.,15(2002), no. 3, 263-270. A. Spacek, Zuffalige gleichungen, Czech. Math. Jour., 5(80) (1955), 462-466. B. S. Choudhury, Random Mann iteration scheme, Appl. Math. Lett. 16 (2003), 93-96. B. S Choudhury, Convergence of a random iteration scheme to a random fixed point, J. Appl. Math. Stochastic Anal. 8 (1995), no. 2, 139–142. B. S Choudhury,. and A. Upadhyay, An iteration leading to random solutions and fixed points of operators, Soochow J. Math. 25 (1999), no. 4, 395–400. C. J. Himmelberg, Measurable relations. Fund. Math., 87(1975), 53-72. H.K. Xu, R.G. Ori, An implicit iteration process for nonexpansive mappings, Numer. Fuct. Anal. Optim. 22 (2001) 767–773. I. Beg and B. S. Thakur, Solution of random operator equations using general composite implicit iteration process, International journal of mathematics, 4(1) (2009), 19-34. I. Beg and M. Abbas, Iterative procedures for solution of random equations in Banach spaces, J. Math. Anal. Appl., 315(2006), 181-201. L. J. Ciric, Quasi-contractions in Banach spaces, Publ. Inst. Math.,21(35)(1977), 41-48. M. Abbas, M. Jovanovic, S. Radenovic, A. Sretenovic and Suzana Simic, Abstract metric spaces and approximating fixed points of a pair of contractive type mappings, Journal of Computational Analysis and Applications, vol. 13, no. 2, (2011), 243-253. O. Hans, Random fixed point theorems, Transactions of the 1st Prague Conf. on Information Theory, Statistics, Decision Eunctions and Random Processes, Czeschosl. Acad. Sci., Prague (1957), 105-125. R. A. Rashwan, A Common Fixed Point Theorem Of Two Random Operators Using Random Ishikawa Iteration Scheme, Bulletin of International Mathematical Virtual Institute, Vol. 1(2011), 45-51.

Common Fixed Theorems Using Random… [14] [15] [16] [17] [18] [19] [20] [21]

R. A. Rashwan, On the convergence of Mann iterates to a common fixed point for a pair of mappings, Demonstratio Math., Vol. XXIII, No. 3 (1990), 709- 712. R. A. Rashwan, On the convergence of Ishikawa iterates to a common fixed point for a pair of mappings, Dcmonstratio Math., Vol. XXVIII No. 2 (1995), 271-274. R. Chugh, , S. Narwal, and V. Kumar, , Convergence of Random SP Iterative Scheme, Applied Mathematical Sciences, Vol. 7, 2013, no. 46, 2283 – 2293. R. Chugh and V. Kumar, Strong convergence of SP iterative scheme for quasi-contractive operators, International Journal of Computer Applications volume 31, no.5,October 2011. R. Chugh and V. Kumar, Convergence of SP iterative scheme with mixed errors for accretive Lipschitzian and strongly accretive Lipschitzian operators in Banach space, International Journal of Computer Mathematics(Accepted). R. Parsal, M. S. Rathore and R. S. Chandel, On a common fixed point of two Random operators using Random Mann iteration scheme, Fasciculi Math., No. 42(2009), 85-89. S. S. Chang, On the approximating problem of fixed points for astmptotically nonexpansive mappings, Indian J. Pure Appl. 32 (2001), 1–11. W. Phuengrattana and S. Suantai, On the rate of convergence of Mann,Ishikawa,Noor and SP iterations for continuous functions on an arbitrary interval, Journal of Computational and Applied Mathematics,235(2011),3006-3014.