Beruflich Dokumente
Kultur Dokumente
)
`
s
)
`
} } }
) , , (
0
) , , (
0
) , , (
0
) ( ) ( ) (
Rz Qy Px G Rz Qy Px G Nz My Lx G
dt t f dt t f dt t f q ---------------------(2.1.1)
for all X z y x e , , where | ) | ) , 0 , 0 : is a continuous and non-decreasing function ,
| ) | ) , 0 , 0 : q is a lower semi continuous and non-decreasing function such that
0 ) ( ) ( = = t t q if and only if 0 = t , also | ) | ) , 0 , 0 : f is a Lebesgue integrable function
which is summable on each compact subset of
+
R , non negative and such that for each 0 e> ,
}
e
>
0
0 ) ( dt t f
iii) The pairs ) , ( P L , ) , ( Q M , ) , ( R N are weakly compatible.
Then R Q P N M L , , , , , have a unique common fixed point in X.
Proof : Let
0
x be an arbitrary point of X and define the sequence { }
n
x in X such that
1 +
= =
n n n
Px Lx y ,
2 1 1 + + +
= =
n n n
Qx Mx y ,
3 2 2 + + +
= =
n n n
Rx Nx y
Consider ,
} }
+ + + +
) , , (
0
) , , (
0
2 1 2 1
) ( ) (
n n n n n n
Nx Mx Lx G y y y G
dt t f dt t f
s
} }
+ + + +
) , , (
0
) , , (
0
2 1 2 1
) ( ) (
n n n n n n
Rx Qx Px G Rx Qx Px G
dt t f dt t f q
=
} }
+ +
) , , (
0
) , , (
0
1 1 1 1
) ( ) (
n n n n n n
y y y G y y y G
dt t f dt t f q --------------(2.1.2)
s
}
+
) , , (
0
1 1
) (
n n n
y y y G
dt t f
Since is continuous and has a monotone property ,
} }
+ + +
s
) , , (
0
) , , (
0
2 1 1 1
) ( ) (
n n n n n n
y y y G y y y G
dt t f dt t f ------------------(2.1.3)
Let us take
}
+ +
=
) , , (
0
2 1
) (
n n n
y y y G
n
dt t f o , then it follows that
n
o is monotone decreasing and lower bounded sequence
of numbers.
Therefore there exists 0 > k such that k
n
o as n . Suppose that 0 > k
Taking limit as n on both sides of (2.1.2) and using that q
is lower semi continuous , we get ,
) ( ) ( ) ( k k k q s ) (k < , which is a contradiction. Hence 0 = k .
This implies that 0
n
o as n
i.e.
}
+ +
) , , (
0
2 1
0 ) (
n n n
y y y G
dt t f as n
.----------------(2.1.4)
Unique Common Fixed Point Theorem for Three Pairs of Weakly Compatible Mappings Satisfying
www.irjes.com 25 | Page
Now , we prove that { }
n
y is a G- Cauchy sequence. On the contrary , suppose it is not a
G- Cauchy sequence.
There exists 0 e> and subsequences { }
) (i m
y and { }
) (i n
y such that for each positive integer i , ) (i n is
minimal in the sense that , ( )>e
) ( ) ( ) (
, ,
i m i m i n
y y y G and ( )<e
) ( ) ( ) 1 (
, ,
i m i m i n
y y y G
Now , ( ) ( ) ( )
) ( ) ( ) 1 ( ) 1 ( ) 1 ( ) ( ) ( ) ( ) (
, , , , , ,
i m i m i m i m i m i n i m i m i n
y y y G y y y G y y y G
+ s es
( )
) ( ) ( ) 1 (
, ,
i m i m i m
y y y G
+ <e ----------------(2.1.5)
Let o < 0
} } }
e
+ e
s s =
0
) , , (
0
) , , (
0
) ( ) ( ) ( ) ( ) ( ) 1 (
) ( ) ( ) (
i m i m i n i m i m i m
y y y G y y y G
dt t f dt t f dt t f
Taking i , and using (2.1.4) , we get ,
( )
}
=
) ( ) ( ) (
, ,
0
) ( lim
i m i m i n
y y y G
i
dt t f o -------------(2.1.6)
Now , using rectangular inequality , we have
( ) ( ) ( ) ( )
) ( ) ( ) 1 ( ) 1 ( ) 1 ( ) 1 ( ) 1 ( ) 1 ( ) ( ) ( ) ( ) (
, , , , , , , ,
i m i m i m i m i m i n i n i n i n i m i m i n
y y y G y y y G y y y G y y y G
+ + s ----
(2.1.7)
( ) ( ) ( ) ( )
) 1 ( ) 1 ( ) ( ) ( ) ( ) ( ) ( ) ( ) 1 ( ) 1 ( ) 1 ( ) 1 (
, , , , , , , ,
+ + s
i m i m i m i m i m i n i n i n i n i m i m i n
y y y G y y y G y y y G y y y G ----
(2.1.8)
( ) ( ) ( ) ( )
} }
+ +
s
) ( ) ( ) 1 ( ) 1 ( ) 1 ( ) ( ) 1 ( ) 1 ( ) ( ) ( ) ( ) (
, , , , , ,
0
,
0
) ( ) (
i m i m i m i m i m i n i n i n i n i m i m i n
y y y G y y y G y y y G y y y G
dt t f dt t f
and
( ) ( ) ( ) ( )
} }
+ +
s
) 1 ( ) 1 ( ) 1 ( ) 1 ( ) 1 ( ) ( ) ( ) ( ) ( ) ( ) ( ) 1 (
, ,
0
, , , , , ,
0
) ( ) (
i m i m i n i m i m i m i m i m i n i n i n i n
y y y G y y y G y y y G y y y G
dt t f dt t f
Taking limit as i and using (2.1.4) , (2.1.6) we get
( ) ( )
} }
s s
) 1 ( ) 1 ( ) 1 ( ) 1 ( ) 1 ( ) 1 (
, ,
0
, ,
0
) ( ) (
i m i m i n i m i m i n
y y y G y y y G
dt t f dt t f o
This implies that ,
( )
}
=
) 1 ( ) 1 ( ) 1 (
, ,
0
) ( lim
i m i m i n
y y y G
i
dt t f o ----------------------(2.1.9)
Now , from (2.1.1) , we have ,
( ) ( ) ( )
} } }
) 1 ( ) 1 ( ) 1 ( ) 1 ( ) 1 ( ) 1 ( ) ( ) ( ) (
, ,
0
, ,
0
, ,
0
) ( ) ( ) (
i m i m i n i m i m i n i m i m i n
y y y G y y y G y y y G
dt t f dt t f dt t f q
Taking limit as i and using (2.1.6) , (2.1.8) we will have , ) ( ) ( ) ( ) ( o o q o o < s
which is a contradiction. Hence we have 0 = o .
Hence { }
n
y is a G- Cauchy sequence. Since ) , ( G X is a complete G-metric space , there exists a point
X ue such that u y
n
n
=
lim
i.e. u Px Lx
n
n
n
n
= =
+
1
lim lim , u Qx Mx
n
n
n
n
= =
+
2 1
lim lim , u Rx Nx
n
n
n
n
= =
+
3 2
lim lim
As u Lx
n
and u Px
n
+1
, therefore we can find some X he such that u Qh = .
( ) ( ) ( ) ( )
} } } }
+ + + 1 1 1
, ,
0
, ,
0
, ,
0
, ,
0
) ( ) ( ) ( ) (
n n n n n n n
Rx Qh Px G Rx Qh Px G Nx Mh Lx G Mh Mh Lx G
dt t f dt t f dt t f dt t f q
On taking limit as n , we get ,
( )
) 0 ( ) 0 ( ) (
, ,
0
q s
)
`
}
Mh Mh u G
dt t f
Unique Common Fixed Point Theorem for Three Pairs of Weakly Compatible Mappings Satisfying
www.irjes.com 26 | Page
( )
0 ) (
, ,
0
=
)
`
}
Mh Mh u G
dt t f , which implies that u Mh = .
Hence u Qh Mh = = i.e. h is the point of coincidence of M and Q.
Since the pair of maps M and Q are weakly compatible , we write QMh MQh = i.e. Qu Mu = .
Also , u Mx
n
+1
and u Qx
n
+2
, we can find some X ve such that u Pv = .
( ) ( ) ( ) ( )
} } } }
+ + + + + + + + 2 1 2 1 2 1 1 1
, ,
0
, ,
0
, ,
0
, ,
0
) ( ) ( ) ( ) (
n n n n n n n n
Rx Qx Pv G Rx Qx Pv G Nx Mx Lv G Mx Mx Lv G
dt t f dt t f dt t f dt t f q
On taking limit as n , we get ,
( )
) 0 ( ) 0 ( ) (
, ,
0
q s
)
`
}
u u Lv G
dt t f
( )
0 ) (
, ,
0
=
)
`
}
u u Lv G
dt t f , which implies that u Lv = . Hence we have u Pv Lv = = i.e. v is the point of
coincidence of L and P. Since the pair of maps L and P are weakly compatible , we can write PLv LPv = i.e.
Pu Lu = .
Again , u Nx
n
+2
and u Rx
n
+3
, therefore we can find some X we such that u Rw= .
( ) ( ) ( )
} } }
+ + +
Rw Qx Px G Rw Qx Px G Nw Mx Lx G
n n n n n n
dt t f dt t f dt t f
, ,
0
, ,
0
, ,
0
1 1 1
) ( ) ( ) ( q
On taking limit as n , we get ,
( )
) 0 ( ) 0 ( ) (
, ,
0
q s
)
`
}
Nw u u G
dt t f
i.e.
( )
0 ) (
, ,
0
=
)
`
}
Nw u u G
dt t f , which implies that u Nw= .
Thus we get u Rw Nw = = i.e. w is the coincidence point of N and R.
Since the pair of maps N and R are weakly compatible , we have RNw NRw= i.e. Ru Nu =
Now , we show that u is the fixed point of L.
Consider ,
( ) ( ) ( ) ( )
)
`
)
`
s
)
`
=
)
`
} } } }
Rw Qh Pu G Rw Qh Pu G Nw Mh Lu G u u Lu G
dt t f dt t f dt t f dt t f
, ,
0
, ,
0
, ,
0
, ,
0
) ( ) ( ) ( ) ( q
( ) ( ) ( )
)
`
)
`
s
)
`
} } }
u u Lu G u u Lu G u u Lu G
dt t f dt t f dt t f
, ,
0
, ,
0
, ,
0
) ( ) ( ) ( q
i.e.
( ) ( ) ( )
)
`
)
`
s
)
`
} } }
u u Lu G u u Lu G u u Lu G
dt t f dt t f dt t f
, ,
0
, ,
0
, ,
0
) ( ) ( ) ( q
i.e.
( ) ( )
)
`
<
)
`
} }
u u Lu G u u Lu G
dt t f dt t f
, ,
0
, ,
0
) ( ) ( , which is a contradiction. we get u Lu =
u Pu Lu = = i.e. u is fixed point of L and P.
Now , we prove that u is fixed point of M .
Consider ,
( ) ( ) ( ) ( )
)
`
)
`
s
)
`
=
)
`
} } } }
Rw Qu Pu G Rw Qu Pu G Nw Mu Lu G Mu u u G
dt t f dt t f dt t f dt t f
, ,
0
, ,
0
, ,
0
, ,
0
) ( ) ( ) ( ) ( q
( ) ( ) ( )
)
`
)
`
s
)
`
} } }
u Mu u G u Mu u G Mu u u G
dt t f dt t f dt t f
, ,
0
, ,
0
, ,
0
) ( ) ( ) ( q
Unique Common Fixed Point Theorem for Three Pairs of Weakly Compatible Mappings Satisfying
www.irjes.com 27 | Page
i.e.
( ) ( )
)
`
<
)
`
} }
Mu u u G Mu u u G
dt t f dt t f
, ,
0
, ,
0
) ( ) ( , which is a contradiction. we get u Mu =
Hence u Qu Mu = = i.e. u is fixed point of M and Q.
At last we prove that u is fixed point of N.
Consider ,
( ) ( ) ( ) ( )
)
`
)
`
s
)
`
=
)
`
} } } }
Ru Qu Pu G Ru Qu Pu G Nu Mu Lu G Nu u u G
dt t f dt t f dt t f dt t f
, ,
0
, ,
0
, ,
0
, ,
0
) ( ) ( ) ( ) ( q
i.e.
( ) ( ) ( )
)
`
)
`
s
)
`
} } }
Ru u u G Ru u u G Nu u u G
dt t f dt t f dt t f
, ,
0
, ,
0
, ,
0
) ( ) ( ) ( q
i.e.
( ) ( )
)
`
<
)
`
} }
Ru u u G Nu u u G
dt t f dt t f
, ,
0
, ,
0
) ( ) ( , which means
( ) ( )
)
`
<
)
`
} }
Nu u u G Nu u u G
dt t f dt t f
, ,
0
, ,
0
) ( ) ( as Ru Nu = .
Which implies that u Nu = . Hence we get u Ru Nu = = .
i.e. u is fixed point of N and R .
Thus u is the common fixed point of Q P N M L , , , , and R.
Now , we prove that u is the unique common fixed point of Q P N M L , , , , and R.
If possible , let us assume that is another fixed point of Q P N M L , , , , and R.
( ) ( ) ( ) ( )
)
`
)
`
s
)
`
=
)
`
} } } }
q
R Qu Pu G R Qu Pu G N Mu Lu G u u G
dt t f dt t f dt t f dt t f
, ,
0
, ,
0
, ,
0
, ,
0
) ( ) ( ) ( ) (
( ) ( )
)
`
)
`
=
} }
q
, ,
0
, ,
0
) ( ) (
u u G u u G
dt t f dt t f
i.e.
( ) ( )
)
`
<
)
`
} }
, ,
0
, ,
0
) ( ) (
u u G u u G
dt t f dt t f , which is again a contradiction.
Hence finally we will have = u .
Thus u is the unique common fixed point of Q P N M L , , , , and R.
Corollary 2.2: Let ) , ( G X be a complete G-metric space and X X P N M L : , , ,
be mappings such that
i) ) ( ) ( X P X L c , ) ( ) ( X P X M c , ) ( ) ( X P X N c
ii)
)
`
)
`
s
)
`
} } }
) , , (
0
) , , (
0
) , , (
0
) ( ) ( ) (
Pz Py Px G Pz Py Px G Nz My Lx G
dt t f dt t f dt t f q
for all X z y x e , , where | ) | ) , 0 , 0 : is a continuous and non-decreasing function ,
| ) | ) , 0 , 0 : q is a lower semi continuous and non-decreasing function such that
0 ) ( ) ( = = t t q if and only if 0 = t , also | ) | ) , 0 , 0 : f is a Lebesgue integrable function
which is summable on each compact subset of
+
R , non negative and such that for each 0 e> ,
}
e
>
0
0 ) ( dt t f
iii) The pairs ) , ( P L , ) , ( P M , ) , ( P N are weakly compatible.
Then P N M L , , , have a unique common fixed point in X.
Proof : By taking R Q P = = in Theorem 2.1 we get the proof.
Corollary 2.3: Let ) , ( G X be a complete G-metric space and X X P L : , be
mappings such that
Unique Common Fixed Point Theorem for Three Pairs of Weakly Compatible Mappings Satisfying
www.irjes.com 28 | Page
i) ) ( ) ( X P X L c
ii)
)
`
)
`
s
)
`
} } }
) , , (
0
) , , (
0
) , , (
0
) ( ) ( ) (
Pz Py Px G Pz Py Px G Lz Ly Lx G
dt t f dt t f dt t f q
for all X z y x e , , where | ) | ) , 0 , 0 : is a continuous and non-decreasing function ,
| ) | ) , 0 , 0 : q is a lower semi continuous and non-decreasing function such that
0 ) ( ) ( = = t t q if and only if 0 = t , also | ) | ) , 0 , 0 : f is a Lebesgue integrable function
which is summable on each compact subset of
+
R , non negative and such that for each 0 e> ,
}
e
>
0
0 ) ( dt t f
iii) The pair ) , ( P L is weakly compatible.
Then P L, have a unique common fixed point in X.
Proof: By substituting N M L = = and R Q P = = in Theorem 2.1 we get the proof.
Remark: The Corollary 2.3 is the result proved by Vishal Gupta and Naveen Mani [5] in complete metric
space.
IV. References
[1] Alber Ya.I. & Guerre-Delabriere S. (1997). Principle of weakly contractive maps in Hilbert spaces, New Results in Operator
theory and its applications in I.Gohberg and Y.Lyubich (Eds.), 98, Operator Theory: Advances and Applications,(7-22).
Birkhauser, Basel, Switzerland.
[2] Beg I. & Abbas M.,Coincidence point and invariant approximation for mappings satisfying generalized weak contractive
condition. Fixed point theory and Appl., article ID 74503, 1-7.
[3] Dutta P.N. & Choudhury B.S. (2008). A generalization of contraction principle in metric spaces. Fixed point theory and Appl.,
article ID406368, 1-8.
[4] Fisher B., Common Fixed Point of Four Mappings, Bull. Inst. of .Math.Academia. Sinicia, 11(1983), 103-113.
[5] Gupta V. & Mani N. , A Common Fixed Point Theorem for Two Weakly Compatible Mappings Satisfying a New Contractive
Condition of Integral Type, Mathematical Theory and Modeling , Vol.1, No.1, 2011
[6] Jungck G. (1976). Commuting mappings and fixed points. Amer.Math.Monthly, 83, 261-263.
[7] Jungck G. (1986). Compatible mappings and common fixed points. Internat. J. Math. Sci ., 9, 43-49.
[8] Jungck, G. & Rhoades, B.E. (1998). Fixed points for set valued functions without continuity. Indian J.Pure.Appl.Math., 29, No. 3,
227-238.
[9] Khan M.S., Swaleh M.&Sessa S. (1984). Fixed point theorems by altering distances between the points, Bull.Austral.Math.Soc.,
30, 1-9.
[10] Mustafa Z., Sims B., A new approach to generalized metric spaces, J.Nonlinear Convex Anal. 7 (2006), 289-297.
[11] Pant R.P. (1994). Common fixed points of non commuting mappings. J.Math.Anal.Appl., 188, 436-440.
[12] Rhoades B.E. (2001). Some theorems on weakly contractive maps, Nonlinear Analysis:Theory. Methods&Applications,47 (4),
2683-2693.
[13] Sastry K.P.R., Naidu S.V.R., Babu, G.V.R. & Naidu, G.A. (2000). Generalizations of common fixed point theorems for weakly
commuting mappings by altering distances. Tamkang J.Math., 31, 243-250.
[14] Sessa S. (1982). On weak commutative condition of mappings in fixed point considerations. Publ.Inst.Math. N.S., 32, no.46, 149-
153.
[15] Suzuki T. (2008). A generalized Banach contraction principle that characterizes metric completeness. Proc.Amer.Math.soc.,136
(5), 1861-1869.