Mathematical Theory and Modeling www.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

Some Fixed Point Theorems of Integral Type Satisfies Contraction

Renu Praveen pathak and Ramakant Bhardwaj *Department of Mathematics, Late G.N. Sapkal College of Engineering,Anjaneri Hills, Nasik (M.H.), India ** Department of Mathematics,Truba Institute of Engineering & Information Technology Bhopal (M.P.), India pathak_renu@yahoo.co.in, rkbhardwaj100@gmail.com Abstract In this paper we proof some fixed point theorem for a pair of self maps of integral type which satisfies the contraction mapping. Subject Classification : 54H25, 47H10. Keywords: Lebesgue-integrable map ,complete metric space, Common fixed point. INTRODUCTION :The first well known result on fixed point for contraction mapping was Banach fixed point theorem , Published in 1922 ,[12],In general setting of Complete metric space ,Smart [2] & A. Meir and E.Keeler [6] ,Theorems on contraction mappings presented the following results. Theorem 1.1: Let X, d be a complete metic space , 0.1 and let T: X X be a map such that for each x, y X, d Tx, Ty d x, y Then, T has a unique fixed point z X such that for each x X, lim# T # x = z. After this result , more theorems with contraction mapping satisfies different types of contractive inequalities have been established see in [18],[11], [1]. Theorem 1.2 : Let X, d be a complete metic space , 0.1 and let T: X X be a map such that for each c X, Where : 0, +. 0, +.is a lebesgue integrable mapping which is summable on each
5 ,

&

( )*,)+

t dt &

( *,+

t dt

compact subset of 0, +., non negative, and such that, > 0, & t dt > 0 Then, T has

[1] Unique fixed point z X, such that for each x X, T # x = z as n . It can be proved in [17], that theorem 1.2 could be extended to more general contractive conditions, e.g. ,in [15], Rhoades established that Theorem 1.2 holds. 9 other work in this If we replace d(x, y) by max 6d x, y , d x, Tx , d y, Ty , 8 particular case of the famous Meir-Keeler fixed point. Theorem [6], More precisely, he proved that under hypotheses of Theorem 1.2, , that is for every > 0 such that, Then T has a unique fixed point. In this paper, we obtain an extension of Theorem 1.2 through rational expression. MAIN RESULT:Theorem1: Let (X,d) be a complete metric space and T: X X be a given mapping , then for each x, y X , Where > 0, 0 < < 1 and 0,1 0,1 is a Lebesgue integrable mapping which Is summable on each compact subset of (0,), non negative , such that Then T has unique fixed point x X such that for each x X, T # x = z as n . Proof: Let for any point x, X, xC X such that xC = Tx, Similarly for any point xC X , x8 X such that x8 = TxC Proceeding the same way we construct a sequence Dx# E of element x in X, as x#7C = Tx# integer n 1 Case I Firstly we have to prove that the sequence Dx# E is a cauchy sequence 252 & t dt > 0 , > 0
, ( *,)* 7( +,)+

&

( )*,)+

t dt &

( *,)* 7( +,)+

t dt

Mathematical Theory and Modeling www.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

Now, from 1

&

( )*M ,)*MNO

, ( *MNO ,*MNP

t dt & t dt &

( *M ,)*M 7( *MNO ,)*MNO

, ( *M ,)*M 7( *MNO ,)*MNO

t dt t dt

& Similarly,

, ( *M ,*MNO

&

t dt &

( *MQO ,)*MQO 7( *M ,)*M

, ( *MQO ,*M 7( *M ,*MNO

t dt

&

( *M ,*MNO

&

( *M ,*MNO

t dt &
,

t dt &
,

, ( *MQO ,*M

1 & &
,

( *M ,*MNO

t dt + &

( *M ,*MNO

t dt t dt

( *M ,*MNO

t dt & & 1 ,
,

, ( *MQO ,*M

t dt

, ( *MQO ,*M

t dt t dt

Where q =

Proceeding the same we can write, & : : &

CSR

, 0,1
( *O ,*P

q &

( *MQO ,*M

t dt

t dt q &

( *U ,*O

t dt

( *M ,*MNO

for m, n M

since is a lebeasgue measurable function and continous so, we can write d x# , x#7C q# d x, , xC lim T x# = Tlim x# = Tx
# #

t dt q# &

( *U ,*O

t dt

d x# , xV d x# , x#7C + d x#7C , x#78 + _ _ _ + d xVSC , xV d x# , xV q# d x, , xC + q#7C d x, , xC + _ _ _ + qVSC d x, , xC

q# 1 + q + q8 + _ _ _ + qVSCS# d x, , xC q# d x# , xV d x, , xC 1q as n , we have lim d x# , xV 0 Now, for Xixed point Let z X such that Tx# z as n we prove that Tz = z Then we have to substitute x = z , y = z# in 1
, ( )Y,)YM #

lim x# = x

&

( )Y,)YM

t dt &
( Y,)Y ,

( Y,)Y 7( YM ,)YM

&

t dt &
# ,

lim &

( )Y,)YM

t dt + &
( Y,)Y ,

( YM ,)YM

t dt

as n , d z, Tz 0

lim d Tz, Tz# d z, Tz

t dt &

t dt

t dt

253

Mathematical Theory and Modeling www.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

Tz = z Which deduce that z is a fixed point of T. Uniqueness: - Suppose that there is another fixed point of T say w, distinct from z in X then from (1) we have , &
( )Y,)Z ,

t dt &

( Y,)Y 7( Z,)Z

&

( Y,)Y 7( Z,)Z

t dt t dt t dt

&

( )Y,)Z

=&

( )YM ,)YM 7( )YM ,)YM

Which is a contraction. So, T has a unique fixed point in X. Theorem2: Let (M, d) be a complete metric space and Let T M M be a mapping , we assume that for each x, y M , &
( )*,)+ ,

t dt < 0

t dt a &

( *,+

[4] for all x, y M, a > 0, b > 0, 0 < a + 2b < 1 and R 7 R 7 is a Lebesgue integrable mapping which is summable on each compact subset of 0, + , non negative and such that Then T has a unique Xixed point z, M such that for each x M lim T # x = z,
]

t dt + b &

(P *,)* 7( *,)+ ( +,)* 7(P +,)+ C7( *,)* 7( +,)+

t dt

& t dt > 0 , > 0

,

Proof: Let R 7 R 7 be a condition as we deXine , t = \ t dt , t R 7 . It is clear , that , 0 = 0 , , is a monotonically non decreasing and by condition , is absolutly continuous. Then for any for any point x, X, xC X such that xC = Tx, Similarly for any point xC X , x8 X such that x8 = TxC Proceeding the same way we construct a sequence Dx# E of element x in X, as x#7C = Tx# integer n 1 Case I Firstly we have to prove that the sequence Dx# E is a cauchy sequence Now, from 1 & &
( )*M ,)*MNO ,

t dt a &

( *M ,*MNO

( *MNO ,*MNP

t dt a &

( *M ,*MNO

t dt + b &

(P *M ,)*M 7( *M ,)*MNO ( *MNO ,)*M 7(P *MNO ,)*MNO C7( *M ,)*M 7( *MNO ,)*MNO

Similarly \ ,

( *M ,*MNO

t dt + b &

, (P *M ,)*M 7( *M ,)*MNO ( *MNO ,)*M 7(P *MNO ,)*MNO C7( *M ,)*M 7( *MNO ,)*MNO

t dt

t dt a \ , a&
,

( *MQO ,*M

( *MQO ,*M

t dt + b \ ,
,

^P _MQO ,`_MQO N^ _MQO ,`_M ^ _M ,`_MQO N^P _M ,`_M ON^ _MQO ,`_MQO N^ _M ,`_M

t dt t dt

t dt + b &

(P *MQO ,)*MQO 7( *MQO ,)*M ( *M ,)*MQO 7(P *M ,)*M C7( *MQO ,)*MQO 7( *M ,)*M (P *MQO ,*M 7( *MQO ,*MNO ( *M ,*M 7(P *M ,*MNO C7( *MQO ,*M 7( *M ,*MNO (P *MQO ,*M 7(P C7( *MQO ,*M 7( *M ,*MNO *M ,*MNO

t dt

a&

( *MQO ,*M

t dt + b &
( *MQO ,*M

t dt

a&

( *MQO ,*M

a&

t dt + b &
( *MQO ,*M ,

t dt + b &

t dt + b &

( *M ,*MNO

t dt t dt

254

Mathematical Theory and Modeling www.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

1b & &
,

( *M ,*MNO

, ( *M ,*MNO

t dt a + b &

( *MQO ,*M

Proceeding as we get,

\ ,

( *O ,*P

&

( *M ,*MNO

t dt

t dt q \ , &
,

( *U ,*O

t dt q & : t dt

a + b ( *MQO ,*M & t dt 1b ,

( *MQO ,*M ,

t dt

t dt :

( *M ,*MNO

since is a lebeasgue measurable function and continous So we can write d x# , x#7C q# d x, , xC lim T x# = Tlim x# = Tx for m, n M
# #

t dt q# &

( *U ,*O

t dt

d x# , xV d x# , x#7C + d x#7C , x#78 + _ _ _ + d xVSC , xV d x# , xV q# d x, , xC + q#7C d x, , xC + _ _ _ + qVSC d x, , xC q# 1 + q + q8 + _ _ _ + qVSCS# d x, , xC q# d x, , xC d x# , xV 1q as n , we havelim d x# , xV 0

#

Which is a contradiction, we proved that DTx# E is Cauchy. Now for fixed point: Let z X such that Tx# z as n we prove that Tz = z We have to substitute x = z and y = z# in 1 &
( )Y,)YM ,

lim x# = x

t dt a &

( Y,YM

as lim & [6]

( )Y,)YM

t dt + b &
( Y,Y

(P Y,)Y 7( Y,)YM ( YM ,)Y 7(P YM ,)YM C7( Y,)Y 7( Y,)Y

# ,

t dt a &

t dt + b &

(P Y,)Y 7( Y,)Y ( Y,)Y 7(P Y,)Y C7( Y,)Y 7( Y,)Y

t dt t dt

, ( Y,)Y

# ,

lim &

( )Y,)YM

As n , we haved z, Tz 0 Tz = z, which shows that z is a fixed point of T. Uniqueness Assume that there is aanother Xixed point say w of T which is distinct from z in X, then from 1 we have, &
( )Z,)Y , ( )Z,)Y ,

as lim d Tz, Tz# b d z, Tz

#

t dt b &

t dt

t dt a & t dt a &

( Z,Y

which is a contradiction so T has a unique Xixed point in X. Theorem3: Let(X, d) be a complete metric space and S, T: X X be a given mapping , then for each x, y X , Where > 0, 0 < < 1 and 0,1 0,1 is a Lebesgue integrable mapping which Is summable on each compact subset of (0,), nonnegative, such that & t dt > 0 , > 0
,

&

, ( Z,Y ,

t dt + b & t dt

(P Z,)Z 7( Z,)Y ( Y,)Z 7(P Y,)Y C7( Z,)Z 7( Y,)Y

t dt

&

( d*,)+

t dt &

( *,d* 7( +,)+

t dt 1

255

Mathematical Theory and Modeling www.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

Then S and T hasa unique fixed point x X such that for each x X, T # x = z as n . Proof: LetX be a non empty set S, T: X X then for any point x, X, xC X such that xC = Tx, Similarly for any point xC X , x8 X such that x8 = TxC Proceeding the same way we construct a sequence Dx# E of element x in X, as x#7C = Sx# and x#78 = Tx#7C integer n 1 Case I Firstly we have to prove that the sequence Dx# E is a cauchy sequence Now, from 1 & & Similarly,
( d*M ,)*MNO

, ( *MNO ,*MNP

t dt &

( *M ,d*M 7( *MNO ,)*MNO

, ( *M ,d*M 7( *MNO ,)*MNO

t dt t dt

t dt & t dt &

&

( *M ,*MNO

( *MQO ,d*MQO 7( *M ,)*M

, ( *MQO ,*M 7( *M ,*MNO

t dt

&

( *M ,*MNO

&

( *M ,*MNO

t dt &
,

t dt &
,

, ( *MQO ,*M

1 & &
,

( *M ,*MNO

t dt + &

( *M ,*MNO

t dt t dt

( *M ,*MNO

t dt & & 1 ,
,

, ( *MQO ,*M

t dt

, ( *MQO ,*M

t dt t dt

Where q =

Proceeding the same we can write, & : : &

CSR

, 0,1
( *O ,*P

q &

( *MQO ,*M

t dt

t dt q &

( *U ,*O

t dt

( *M ,*MNO

since is a lebeasgue measurable function and continous so, we can write d x# , x#7C q# d x, , xC lim S x# = Slim x# = Sx
# # #

t dt q# &

( *U ,*O

t dt

lim T x#7C = Tlim x#7C = Tx

#

for m, n M

lim x# = x
#

d x# , xV d x# , x#7C + d x#7C , x#78 + _ _ _ + d xVSC , xV d x# , xV q# d x, , xC + q#7C d x, , xC + _ _ _ + qVSC d x, , xC q# 1 + q + q8 + _ _ _ + qVSCS# d x, , xC q# d x# , xV d x, , xC 1q as n , we havelim d x# , xV 0

#

Therefore sequence Dx# E is a cauchy sequence in x. 256

Mathematical Theory and Modeling www.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

Now, for Xixed point Let z X such that Tx# z as n we prove that Tz = z Then we have to substitute x = z , y = z# in 1
, ( dY,)YM

&

( dY,)YM

t dt &
( Y,dY ,

( Y,dY 7( YM ,)YM

&

t dt &
# ,

lim &

( dY,)YM

t dt + &
( Y,dY ,

( YM ,)YM

t dt

Sz = Tz = z Which proves that z is a fixed point of T. Uniqueness:-Let if possible we assume that w be another fixed point of S and T, then from (1) we have , &
( dY,)Z ,

as n , d z, Sz 0

And lim d Sz, Tz# d z, Tz

#

lim d Sz, Tz# d z, Sz

t dt &

t dt

t dt

And d z, Tz 0

t dt &
,

( Y,dY 7( Z,)Z

&

( dY,)Z

&

, ( dYM ,dYM 7( )YM ,)YM

t dt

t dt

Which is a contraction so T has a unique fixed point in X. REFERENCES 1) P. Vijayaraju, B. E. Rhoades and Mohanraj.A fixed point theorem for a pair of maps satisfying a general contractive condition of integral type.International Journal of Mathematics and Mathematical Sciences, vol.2005, no. 15, 2359-2364. 2) D.R. Smart, Fixed point theorems, Cambridge University Press, London, 1974. 3) B.E. Rhoades, A comparison of various definitions of contractive mappings, Trans. Amer. Math. Soc. 226(1977), 257-290 4) G.S. Jeong and B. E. Rhoades. Some remarks for improving fixed point theorems for more than two maps, Indian Journal of Pure and Applied Mathematics, 28(9) (1997), 1177-1196. 5) D. Turkoglu and I. Altun. A common fixed point theorem for weakly compatible mappings in symmetric spaces satisfying an implicit relation. Boletn de la Sociedad Matematica Mexicana, 13 (1) (2007) , 195-205 6) A. Meir and E. Keeler .A theorem on contraction mappings. Journal of Mathematical Analysis and Applications , Vol. 28, no. 2 (1969), 326-329. 7) D. S. Jaggi and B.K. Dass, Bull. Calcutta Math. Soc. 72(1980), 261-262. 8) A. Aliouche. A common fixed point theorem for weakly compatible mappings in symmetric spaces satisfying a contraction condition of integral type, .Journal of Mathematical Analysis and Applications, vol.322, no.2 (2006), 796-802. 9) T. Suzuki. Meir-Keeler Contractions of Integral Type, Are Still Meir-Keeler Contractions, International Journal of Mathematics and Mathematical Sciences, Vol. 2007 , Art. ID 39281, 6 pages. 10) A. Branciari. A fixed point theorem for mappings satisfying a general contractive condition of integral type. Int. J. Math. Math. Sci. 29(2002), no. 9, 531-536. 11) S.K. Chatterjea,1972. Fixed point theorems. C.R. Acad .Balgare Sci. 25-727-730. 12) S. Banach,1922. Sur les operations dans les ensembles abstraitsetleur application aux equations integrals.Fund.Math. 3: 133-181 (in French) 13) P. das. Some results on fixed points in complete metrics spaces . Indian J. Pure appl. Math. , 13(3) (1982), 303-308. 14) R. Kannan, Some results on fixed points. Bull. Calcutta Math. Soc. 60(1968), 71-76. 15) B. E. Rhoades . Two fixed point theorems for mappings satisfying a general contractive condition of integral type , IJMMS. 63 (2003), 4007-4013. 16) G.E. Hardy and T. D. Rogers, 1973. A generalization of a fixed point theorems of Reich, Bull. Cand.Math. Soc. 16:201-206.

t dt < 0

257

Mathematical Theory and Modeling www.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

17) H. Chatterjee. On generalization of banach contraction principal., Indian J. pure appl. Math. , 10(1979), 400-403. O. A. Boikanyo, 2007. Some fixed point theorems for mappings satisfying a general contractive condition of integral types, Far East J. Math. Sci. , (FJMS) 26 (1) 219-230. 18) A. Djoudi and A. Aliouche. Common fixed point theorems of Gregus type for weakly compatible mappings satisfying contractive conditions of integral type. Journal of Math.Anal.and Applications , Vol. 329, no.1 (2007), 31-45. 19) R. Caccioppoli, 1930. Unteoremageneralesullesistenza di elementiuniti in unatransformazionefunzionale, Rend. Acad. Dei Lincei 11:794=799 (in Italian).

258

This academic article was published by The International Institute for Science, Technology and Education (IISTE). The IISTE is a pioneer in the Open Access Publishing service based in the U.S. and Europe. The aim of the institute is Accelerating Global Knowledge Sharing. More information about the publisher can be found in the IISTEs homepage: http://www.iiste.org CALL FOR PAPERS The IISTE is currently hosting more than 30 peer-reviewed academic journals and collaborating with academic institutions around the world. Theres no deadline for submission. Prospective authors of IISTE journals can find the submission instruction on the following page: http://www.iiste.org/Journals/ The IISTE editorial team promises to the review and publish all the qualified submissions in a fast manner. All the journals articles are available online to the readers all over the world without financial, legal, or technical barriers other than those inseparable from gaining access to the internet itself. Printed version of the journals is also available upon request of readers and authors. IISTE Knowledge Sharing Partners EBSCO, Index Copernicus, Ulrich's Periodicals Directory, JournalTOCS, PKP Open Archives Harvester, Bielefeld Academic Search Engine, Elektronische Zeitschriftenbibliothek EZB, Open J-Gate, OCLC WorldCat, Universe Digtial Library , NewJour, Google Scholar