|Views: 0
|Likes: 0

Published by Alexander Decker

International peer-reviewed academic journals call for papers, http://www.iiste.org/Journals

International peer-reviewed academic journals call for papers, http://www.iiste.org/Journals

See more

See less

Mathematical Theory and Modelingwww.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online)Vol.3, No.6, 2013-Selected from International Conference on Recent Trends in Applied Sciences with Engineering Applications

326

Fixed Points Theorem on A Pair of Random Generalized Non-Linear Contractions

R.N.YadavaDirector, Patel Group Of Institutions Bhopal (M.P.), India(dryadava@gmail.com)Rajesh ShrivastavaDepartment of MathematicsGovt Science & commerce college Benazir, Bhopal(M.P.), India(Rajeshraju0101@rediffmail.com)S.K.PandeyDepartment of MathematicsMillennium Group of Institutions Bhopal(M.P.), India(Sudeeppandey1976@gmail.com)

ABSTRACT

A fixed point theorem for a pair of random generalized non-linear contraction mappings involving four points of the space under consideration is proven. It is shown that this result includes the result of Lee and Padgett [1].Also an application of the result is given.

Key words :

Complete probability measure space,

δ

-algebras, Borel subsets, random operator, separable Banachspace, upper semi-continuous functions. Bochner integral,

Mathematics Subject classification:

Primary 60H

99

, 47H10, and Secondary 60H 20.1.

Introduction and preliminaries

The idea of fixed points plays a very important role in solving deterministic operator equations. Recently theidea of random fixed point theorems which are the stochastic generalization of the classical fixed point theoremshas become a very important part of the theory of some operator equations which can be regarded as randomoperator equations. Many interesting results have been established by various authors (see for example Bharucha – Reid [2], Hans [3], Padgett [4], Tsokos [5], Tsokas and padgett [6], Lee and padgett [7] in this area.Recently, a fixed point theorem for a pair of generalized non-linear contraction mappings involving four points of the space under consideration, which includes many well known results as special cases has beenestablished by Achari [8] (see also Achari [9], Pittanuer [10]).The object of this paper is to study a stochastic version of a pair of generalized non-linear contractionmappings of Achari [8]. Also it has been shown that this result generalizes the result of Lee and Padgett [1]. It isinteresting to note that with suitable modification of the conditions of the theorem, we can easily obtainstochastic generalizations of the results of different classical fixed points. Finally, we apply theorem 2 to provethe existence of a solution in a Banach space of a random non-linear integral equation of the formx (t; w) = h (t; w) +

∫

s

k (t, s; w)

ƒ

(s, x (s; w) d,

µ

(s) ...... (1.1)where s is a locally compact metric space with metric d defined on S X S,

µ

is a complete

δ

-finite measuredefined on the collection of Borel subsets of S and the integral is a Bochner integral.In this section, we state some definitions as used by Lee and padgett [1]. Let (

Ω

, S. P) be complete probabilitymeasure space, and Let (X,

β

) and (Y, C) be two measurable spaces, where X and Y are Banach spaces and Band C are

δ

-algebras of Borel subsets of X and Y, respectively. First, we state the usual definitions of a Banachspace-valued random variable and of a random operator.

Definition 1.1 :

A function V :

Ω

→

X is said to be an X – valued random variable (Random element in X, or generalized random variable)if {

ω

∈

Ω

: v (w)

∈

B}

∈

S for each B

∈

β

.

Definition 1.2 :

A mapping T (w) :

Ω

x X

→

Y is said to be a random operator if y (w) = T (w) x is a Y-valuedrandom variable for every x

ε

X.

Definition 1.3 :

Any X-valued random variable x (w) which satisfies the condition.P ( { W : T (w) x (w) – y (w) } ) = 1is said to be a random solution of the random operator equationT (w) x = y (w).

Definition 1.4 :

Let y

j

(w), j = 1, 2, ........, n be second order real valued random variables on a probability space(

Ω

, S, P), that is y

j

(w)

∈

L

2

(

Ω

, S, P). The collection of all n-component random vectors y' (w) = (y

1

(w), ....., y

n

(w)) constitutes a linear vector space if all equivalent random vectors are identified. Define the norm of y by

Mathematical Theory and Modelingwww.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online)Vol.3, No.6, 2013-Selected from International Conference on Recent Trends in Applied Sciences with Engineering Applications

327

( )

½||||||||||

2max12max12

∫

Ω<<<<

==

dp y y y

jn j L jn jn L

The space of all n-component random vectors y with second order components and norm given by

n2L

||.||

aboveis separable Banach space and will be denoted by

n2

L

(

Ω

, s, p) or

n2

L

. Let S be locally compact metric spacewith metric d defined on S X S and let

µ

be a complete

δ

-finite measure defined on the Borel subsets of S.

Definition 1.5

: We define the space C (S,

n2

L

(

Ω

, s, p)) to be the space of all continuous functions from S into

n2

L

(

Ω

, s, p) with the topology of uniform convergence on compacta. It may be noted that C (S,

n2

L

(

Ω

, s, p)) islocally convex space whose topology is defined by a countable family of saminorms given by – || x (t; w) ||

j

=

j

ctsup

∈

|| x (t; w)

n2L

||

, j = 1, 2, ......

Definition 1.6 :

Let B and D be Banach spaces. The pair (B, D) is said to be admissible with respect to a randomoperator U (w) if U (w) (B)

⊂

D.

Definition 1.7 :

A random operator T (w) on a Banach space x with domain D (T(w)) is said to be a randomgeneralized nonlinear contraction if there exists non-negative real-valued upper semi-continuous functions

Ψ

i

(w), i=1, 2, ......, 7. Satisfying

Ψ

i

(w) (r) <

7r

for r > 0,

Ψ

i

(w) (0) and such that|| T (w) x

1

– T (w) x

2

|| <

Ψ

1

(||x

1

-x

2

||) +

Ψ

2

(||x

1

– T(w)x

1

||)+

Ψ

3

(||x

2

-T(w)x

2

||) +

Ψ

4

(||x

1

-T (w)x

2

||)+

Ψ

5

(||x

2

-T (w)x

1

||)+

Ψ

6

[||x

1

-T (w) x

1

||) + (||x

1

-T(w)x

2

||)]1+[x

1

-T(w)x

1

||) (||x

1

-T(w)x

2

||)]+

Ψ

7

[||x

2

-T (w) x

2

||) + (||x

2

-T(w)x

1

||)]1+[x

2

-T(w)x

2

||) (||x

2

-T(w)x

1

||)]For all x

1

, x

2

∈

D (T (w)

2.Main resultsA fixed point theorem for a pair of random generalized non-linear contraction.Theorem 2.1 :-

suppose A

1

(w) and A

2

(w) are a pair of random operators from a separable banach space x intoitself such that||A

1

(w) x

1

-A

2

(w) x

2

||<

Ψ

1

(||x

1

-x

2

||) +

Ψ

2

(||x

1

-A

1

(w)x

3

||) +

Ψ

3

(||x

2

-A

2

(w) x

4

||+

Ψ

4

(||x

1

-A

2

(w)x

4

||) +

Ψ

5

(||x

2

-A

1

(w) x

3

||)+

Ψ

6

||)])((||||)([(||1
||)])((||||))([(||

421311
421311

xw A x xw A x
xw A x xw A x

−−+−+−

+

Ψ

7

||)]x)w(Ax(||||x)w(Ax[(||1
||)]x)w(Ax(||||)x)w(Ax[(||

312422
312422

−−+−+−

............(2.1) Where

Ψ

i

(w), i = 1, 2, ........... 7, are non-negative real-valued upper semi-continuous functionssatisfying

Ψ

i

(w) (r)

,7r

<

for r > 0,

Ψ

i

= 0 (w) (o) and for all x

1

, x

2

, x

3

, x

4

∈

X. Then there exists an x – valuedrandom variable

η

(w) which is the unique common fixed point of A

1

(w) and A

2

(w).Proof : Let x, y

∈

x and we define.x

1

= A

2

(w)y, x

2

= A

1

(w) x, x

3

= x, x

4

= yThen (2.1) takes the form||A

1

(w) A

2

(w) y – A

2

(w) A

1

(w) x ||<

Ψ

1

A

1

(w) x - A

2

(w) y ||)+

Ψ

2

(|| A

1

(w) x – A

2

(w) y ||)+

Ψ

3

(||A

1

(w) x – A

2

(w) y ||)+

Ψ

4

(||A

2

(w) y – A

2

(w) y||)+

Ψ

5

(||A

1

(w) x – A

1

(w) x ||)+

Ψ

6

||)]y)w(Ay)w(A[(||||]y)w(Ax)w(A[(||1
||)]y)w(Ay)w(A(||||)y)w(2Ax)w(A[(||

2121
221

−−+−+−

Mathematical Theory and Modelingwww.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online)Vol.3, No.6, 2013-Selected from International Conference on Recent Trends in Applied Sciences with Engineering Applications

328+

Ψ

7

||)]x)w(Ax)w(A[(||||]y)w(Ax)w(A[(||1
||)]x)w(Ax)w(A(||||)y)w(Ax)w(A[(||

1121
1121

−−+−+−

<

Ψ

1

(||A

1

(w) x–A

2

(w)y|| +

Ψ

2

[||A

1

(w) x – A

2

(w) y ||)+

Ψ

3

(|| A

1

(w) x - A

2

(w) y||)+

Ψ

6

(||A

1

(w) x - A

2

(w) y ||)

+

Ψ

7

(||A

1

(w) x- A

2

(w) y ||) ..... (2.2)Let x

0

∈

X be arbitrary and construct a sequence {x

n

) defined byA

1

(w) x

n-1

= x

n

, A

2

(w) x

n

= x

n+1

, A

1

(w) x

n+1

= x

n+2

, n=1,2....Let us put x = x

n-1

and y = x

n

in (2.2), then we haveA

1

(w) A

2

(w) x

n

-A

2

(w) A

1

(w) x

n-1

||<

Ψ

1

(||A

1

(w) x

n-1

-A

2

(w) x

n

||)+

Ψ

2

(||A

1

(w) x

n-1

- A

2

(w) x

n

||+

Ψ

3

(||A

1

(w) x

n-1

- A

2

(w) x

n

||)+

Ψ

6

(||A

1

(w) x

n-1

- A

2

(w) x

n

||+

Ψ

7

(||A

1

(w) x

n-1

- A

2

(w) x

n

||)or ||x

n+2

– x

n+1

|| <

Ψ

1

(||x

n

– x

n+1

||) +

Ψ

2

(||x

n

-x

n+1

||)+

Ψ

3

(||x

n

-x

n+1

||) +

Ψ

2

(||x

n

-x

n+1

||)+

Ψ

7

(||x

n

– x

n+1

||) ...... (2.3)We take n to be even and set

α

n

= ||x

n-1

– x

n

||.Then

α

n+2

= || x

n+1

– x

n+2

||<

Ψ

1

(||x

n

-x

n+1

||) +

Ψ

2

(||x

n

-x

n+1

)|| +

Ψ

3

(||x

n

– x

n+1

) ||+

Ψ

6

(|| x

n

-x

n+1

||)+

Ψ

7

(||x

n

– x

n+1

||)<

Ψ

1

(

α

n+1

) +

Ψ

2

(

α

n+1

) +

Ψ

3

(

α

n+1

)+

Ψ

6

(

α

n+1

) +

Ψ

7

(

α

n+1

) ......... (2.4)From (2.4) it is clear

α

n

decrease with n and hence

α

n

→

α

as n

→

∞

.Let

α

> 0. Then since

Ψ

1

is upper semi-continuous, we obtain in thelimit as n

→

∞

α

<

Ψ

1

(

α

) +

Ψ

2

(

α

) +

Ψ

3

(

α

) +

Ψ

6

(

α

) +

Ψ

7

(

α

) <

α

75

which is impossible unless

α

= 0 Now, we shall show that {x

n

} is a cauchy sequence. If not, then there is an

∈

> 0 and for all positive integers K,there exist {m (k)} and {n (k)}with m (k) > n (k)

>

k, such thatd

k

= ||x

m(k)

– x

n(k)

|| >

∈

, .......... (2.5)We may assume that - ||x

m(k)-1 –

x

n(k)

|| <

∈

by choosing m (k) to be the smallest number exceeding n (k) for which (2.5) holds. Then we haved

k

< || x

m(k)

– x

m(k)-1

|| + ||x

m(k)-1

– x

n(k)

||<

α

m(k)

+

∈

<

α

k

+

∈

which implies that d

k

→

∈

as k

→

∞

. Now the following cases are to be considered.(i) m is even and n is odd,(ii) m and n are both odd,(iii) m is odd and n is even,(iv) m and n are both eveni.e. (i) :d

k

= ||x

m

-x

n

|| < ||x

m

– x

m+1|

|+||x

m+1

– x

n+1

|| + || x

n

-x

n+1

||<

α

n+1

+

α

n+1

+ ||A

1

(w) x

m

– A

2

(w) x

n

||By putting x

1

= x

n

, x

2

= x

m

, x

3

= x

n-1

, x

4

= x

m-1

in (2.1), we have<

α

m+1

+

α

n+1

+

Ψ

1

(||x

m

-x

n

||) +

Ψ

2

(||x

n

-A

1

(w) x

n-1

||)+

Ψ

3

(||x

m

-A

2

(w) x

m-1

||) +

Ψ

4

(|| x

n

-A

2

(w) x

m-1

||)+

Ψ

5

(||x

m

-A

1

(w) x

n-1

||)+

Ψ

6

||)]x)w(Ax[(||||)]x)w(Ax[(||1
||)x)w(Ax||||)x)w(Ax[(||

1m2n1n1n
1m2n1n1n

−−−−

−−+−+−

+

Ψ

7

||)])([(||||)])([(||1
||))((||||))([(||

1112
1112

−−−−

−−+−+−

nmmm
nmmm

xw A x xw A x
xw A x xw A x