COMMON n-TUPLED FIXED POINT FOR HYBRID PAIR OF MAPPINGS UNDER NEW CONTRACTIVE CONDITION
COMMON n-TUPLED FIXED POINT FOR HYBRID PAIR OF MAPPINGS UNDER NEW CONTRACTIVE CONDITION
The Pure and Applied Mathematics. 2014. Aug, 21(3): 165-181
• Received : January 24, 2014
• Accepted : April 14, 2014
• Published : August 31, 2014 PDF e-PUB PubReader PPT Export by style
Article
Author
Metrics
Cited by
TagCloud
BHAVANA, DESHPANDE
AMRISH, HANDA
bDEPARTMENT OF MATHEMATICS, GOVT. P. G. ARTS AND SCIENCE COLLEGE, RATLAM-457001(MP) INDIAEmail address:amrishhanda83@gmail.com

Abstract
We establish a common n -tupled fixed point theorem for hybrid pair of mappings under new contractive condition. It is to be noted that to find n -tupled coincidence point, we do not use the condition of continuity of any mapping involved. An example supporting to our result has also been cited. We improve, extend and generalize several known results.
Keywords
1. Introduction and Preliminaries
Let ( X, d ) be a metric space and CB ( X ) be the set of all nonempty closed bounded subsets of X . Let D ( x, A ) denote the distance from x to A X and H denote the Hausdorff metric induced by d , that is,
• D(x,A) =
• andH(A,B) =for allA,B∈CB(X).
The study of fixed points for multivalued contractions and non-expansive mappings using the Hausdorff metric was initiated by Markin  : The existence of fixed points for various multivalued contractive mappings has been studied by many authors under different conditions. For details, we refer the reader to [3 , 4 , 6 , 7 , 12] and the reference therein. The theory of multivalued mappings has application in control theory, convex optimization, differential inclusions and economics.
In  , Bhaskar and Lakshmikantham established some coupled fixed point theorems and apply these results to study the existence and uniqueness of solution for periodic boundary value problems. Lakshmikantham and Ciric  proved coupled coincidence and common coupled fixed point theorems for nonlinear contractive mappings in partially ordered complete metric spaces, extended and generalized the results of Bhaskar and Lakshmikantham  ,
Chandok, Sintunavarat and Kumam  established some coupled coincidence point and coupled common fixed point theorems for a pair of mappings having a mixed g-monotone property in partially ordered G-metric spaces. Kumam et al.  proved some tripled fixed point theorems in fuzzy normed spaces. Rahimi, Radenovic, Soleimani Rad  introduced some new definitions about quadrupled fixed point and obtained some new quadrupled fixed point results in abstract metric spaces.
Imdad, Soliman, Choudhury and Das  introduced the concept of n -tupled fixed point, n -tupled coincidence point and proved some n -tupled coincidence point and n -tupled fixed point results for single valued mapping.
These concepts was extended by Deshpande and Handa  to multivalued mappings and obtained n -tupled coincidence points and common n -tupled fixed point theorems involving hybrid pair of mappings under generalized Mizoguchi-Takahashi contraction. In  , Deshpande and Handa introduced the following for multivalued mappings:
Definition 1.1. Let X be a nonempty set, F : Xr → 2 X (a collection of all nonempty subsets of X ) and g be a self-mapping on X . An element ( x 1 , x 2 ,…, xr ) ∈ Xr is called
(1) an r−tupled fixed point of F if x 1 F ( x 1 , x 2 ,…, xr ), x 2 F ( x 2 ,…, xr , x 1 )…, xr F ( xr , x 1 ,…, x r−1 ).
(2) an r-tupled coincidence point of hybrid pair { F, g } if g ( x 1 ) ∈ F ( x 1 , x 2 ,…, xr ), g ( x 2 ) ∈ F ( x 2 ,…, xr , x 1 ),…, g ( xr ) ∈ F ( xr , x 1 ,…, x r−1 ).
(3) a common r−tupled fixed point of hybrid pair { F, g } if x 1 = g ( x 1 ) ∈ F ( x 1 , x 2 ,…, xr ), x 2 = g ( x 2 ) ∈ F ( x 2 ,…, xr , x 1 ),…, xr = g ( xr ) ∈ F ( xr , x 1 ,…, x r−1 ).
We denote the set of r −tupled coincidence points of mappings F and g by C { F, g }. Note that if ( x 1 , x 2 ,…, xr ) ∈ C { F, g }, then ( x 2 ,…, xr , x 1 ),…, ( xr , x 1 ,…, x r−1 ) are also in C { F, g }.
Definition 1.2. Let F : Xr → 2 X be a multivalued mapping and g be a self-mapping on X . The hybrid pair { F, g } is called w−compatible if g ( F ( x 1 , x 2 ,…, xr )) ⊆ F ( g ( x 1 ), g ( x 2 ),…, g ( xr )) whenever ( x 1 , x 2 ,…, xr ) ∈ C { F, g }.
Definition 1.3. Let F : Xr → 2 X be a multivalued mapping and g be a self-mapping on X . The mapping g is called F weakly commuting at some point ( x 1 , x 2 ,…, xr ) ∈ Xr if g 2 ( x 1 ) ∈ F ( g ( x 1 ), g ( x 2 ),…, g ( xr )), g 2 ( x 2 ) ∈ F ( g ( x 2 ),…, g ( xr ), g ( x 1 )),…, g 2 ( xr ) ∈ F ( g ( xr ), g ( x 1 ),…, g ( x r−1 )).
Lemma 1.1. Let ( X, d ) be a metric space. Then, for each a X and B CB ( X ), there is b 0 B such that D ( a, B ) = d ( a , b 0 ), where D ( a, B ) = inf bB d ( a, b ).
In this paper, we establish a common n −tupled fixed point theorem for hybrid pair of mappings satisfying new contractive condition. It is to be noted that to find n −tupled coincidence point, we do not use the condition of continuity of any mapping involved. Our result improves, extend, and generalize the results of Bhaskar and Lakshmikantham  and Lakshmikantham and Ciric  . An example is also given to validate our result.
2. Main Results
Let Φ denote the set of all functions φ : [0; +∞) → [0; +∞) satisfying (iφ) φ is non-decreasing, (iiφ) φ(t) < t for all t >0, (iiiφ) limrt+ φ(r) < t for all t > 0
and Ψ denote the set of all functions ψ : [0, +∞) → [0, +∞) which satisfies (iψ) ψ is continuous, (iiψ) ψ(t) < t, for all t > 0. Note that, by ( iψ ) and ( iiψ ) we have that ψ ( t ) = 0 if and only if t = 0.
For simplicity, we define the following: Theorem 2.1. Let ( X, d ) be a metric space. Assume F : Xr CB ( X ) and g : X X be two mappings satisfying PPT Slide
Lager Image
for all x 1 , x 2 ,…, xr , y 1 , y 2 ,…, yr X. where φ ∈ Φ and ψ ∈Ψ. Furthermore assume that F ( Xr ) ⊆ g ( X ) and g ( X ) is a complete subset of X. Then F and g have an r−tupled coincidence point. Moreover, F and g have a common r−tupled fixed point, if one of the following conditions holds:
( a ) F and g are w−compatible . lim i→∞ gix 1 = y 1 , lim i→∞ gix 2 = y 2 , …, lim i→∞ gixr = yr , for some ( x 1 , x 2 , …, xr ) ∈ C { F, g } and for some y 1 , y 2 , …, yr X and g is continuous at y 1 , y 2 , … , yr .
( b ) g is F−weakly commuting for some ( x 1 , x 2 , …, xr ) ∈ C { F, g }, gx 1 , gx 2 , …, gxr are fixed points of g, that is , g 2 x 1 = gx 1 , g 2 x 2 = gx 2 , …, g 2 xr = gxr .
( c ) g is continuous at x 1 , x 2 , …, xr . lim i→∞ giy 1 = x 1 , lim i→∞ giy 2 = x 2 , …, lim i→∞ giyr = xr for some ( x 1 , x 2 , …, xr ) ∈ C { F, g } and for some y 1 , y 2 , …, yr X .
( d ) g ( C { F, g }) is a singleton subset of C { F, g }.
Proof. Let PPT Slide
Lager Image
X be arbitrary. Then F ( PPT Slide
Lager Image
), …, F ( PPT Slide
Lager Image
) are well defined. Choose PPT Slide
Lager Image
F ( PPT Slide
Lager Image
), …, g PPT Slide
Lager Image
F ( PPT Slide
Lager Image
) because F ( Xr ) ⊆ g ( X ). Since F : Xr CB ( X ), therefore by Lemma 1.1, there exist z 1 F ( PPT Slide
Lager Image
), …, z r F ( PPT Slide
Lager Image
) such that Since F ( Xr ) ⊆ g ( X ), there exist PPT Slide
Lager Image
∈ such that z 1 = PPT Slide
Lager Image
, z 2 = PPT Slide
Lager Image
, …, zr = PPT Slide
Lager Image
Thus Continuing this process, we obtain sequences PPT Slide
Lager Image
X , PPT Slide
Lager Image
X , …, PPT Slide
Lager Image
X such that for all i N , we have PPT Slide
Lager Image
F PPT Slide
Lager Image
, PPT Slide
Lager Image
F PPT Slide
Lager Image
, …, PPT Slide
Lager Image
F PPT Slide
Lager Image
such that Thus Similarly Combining them, we get PPT Slide
Lager Image
which implies, by ( iiφ ); that This shows that the sequence PPT Slide
Lager Image
defined by δi = PPT Slide
Lager Image
is a decreasing sequence of positive numbers. Then there exists δ ≥ 0 such that PPT Slide
Lager Image
We shall prove that δ = 0. Suppose that δ > 0. Letting i → ∞ in (2.2), by using (2.3) and ( iiiφ ), we get  PPT Slide
Lager Image
We now prove that PPT Slide
Lager Image
are Cauchy sequences in ( X, d ). Suppose, to the contrary, that one of the sequences is not a Cauchy sequence.
Then there exists an ε > 0 for which we can find subsequences PPT Slide
Lager Image
of PPT Slide
Lager Image
of PPT Slide
Lager Image
of PPT Slide
Lager Image
such that PPT Slide
Lager Image
We can choose i ( k ) to be the smallest positive integer satisfying (2:5). Then PPT Slide
Lager Image
By (2.5), (2.6) and triangle inequality, we have Letting k → ∞ in the above inequality and using (2.4), we get PPT Slide
Lager Image
By triangle inequality, we have Thus PPT Slide
Lager Image
Since PPT Slide
Lager Image PPT Slide
Lager Image PPT Slide
Lager Image PPT Slide
Lager Image
, therefore by (2.1) and by triangle inequality, we have Thus Similarly Combining them, we get PPT Slide
Lager Image
By (2.8) and (2.9), we get Letting k → ∞ in the above inequality, by using (2.4), (2.7), ( A ), ( iψ ), ( iiψ ) and ( iiiφ ), we get which is a contradiction. This shows that PPT Slide
Lager Image
are Cauchy sequences in g ( X ). Since g ( X ) is complete, thus there exist x 1 , x 2 , …, xr X such that PPT Slide
Lager Image
Now, since PPT Slide
Lager Image PPT Slide
Lager Image
therefore by using condition (2.1), we get Letting i → ∞ in the above inequality, by using (2.10), ( A ), ( iψ ), ( iiψ ) and ( iiiφ ), we get D(gx1, F(x1, x2, …, xr)) ≤ φ(t) + 0 = 0 + 0 = 0.
Thus D(gx1, F(x1, x2, …, xr)) = 0.
Similarly D(gx2, F(x2, …, xr, x1)) = 0, …, D(gxr, F(xr, x1, …, xr−1)) = 0,
which implies that gx1F(x1, x2, …, xr), …, gxrF(xr, x1, …, xr−1), that is, ( x 1 , x 2 , …, xr ) is an r −tupled coincidence point of F and g .
Suppose now that ( a ) holds. Assume that for some ( x 1 , x 2 , …, xr ) ∈ C { F, g }, PPT Slide
Lager Image
Since g is continuous at y 1 , y 2 , …, yr , we have, by (2.11), that y 1 , y 2 , …, yr are fixed points of g , that is, PPT Slide
Lager Image
As F and g are w −compatible, so for all i ≥ 1, PPT Slide
Lager Image
By using (2.1) and (2.13), we obtain D(gix1, F(y1, y2, …, yr)) H(F(gi−1x1, gi−1x2, …, gi−1xr), F(y1, y2, …, yr)) φ [max {d(gix1, gy1), d(gix2, gy2), …, d(gixr, gyr)}] + ψ [M{gi−1x1, gi−1x2, …, gi−1xr, y1, y2, …, yr}].
On taking limit as i → ∞ in the above inequality, by using (2.11), (2.12), ( A ), ( iψ ), ( iiψ ) and ( iiiφ ), we get D(gy1, F(y1, y2,…, yr)) ≤ φ(t) + 0 = 0 + 0 = 0,
which implies that D(gy1, F(y1, y2,…, yr)) = 0.
Similarly D(gy2, F(y2,…, yr, y1)) = 0,…, D(gyr, F(yr, y1,…, yr−1)) = 0. Thus PPT Slide
Lager Image
Thus, by (2.12) and (2.14), we get y1 = gy1F(y1, y2,…, yr), …, yr = gyrF(yr, y1,…, yr−1), that is, ( y 1 , y 2 ,…, yr ) is a common r −tupled fixed point of F and g .
Suppose now that ( b ) holds. Assume that for some ( x 1 , x 2 ,…, xr ) ∈ C { F, g }, g is F −weakly commuting, that is, g 2 x 1 F ( gx 1 , gx 2 ,…, gxr ), g 2 x 2 F ( gx 2 , …, gxr , gx 1 ),…, g 2 xr F ( gxr , gx 1 , …, gx r−1 ) and g 2 x 1 = gx 1 , g 2 x 2 = gx 2 ,…, g 2 xr = gxr . Thus gx 1 = g 2 x 1 F ( gx 1 , gx 2 ,…, gxr ), gx 2 = g 2 x 2 F ( gx 2 ,…, gxr , gx 1 ),…, gxr = g 2 xr F ( gxr , gx 1 ,…, gx r−1 ), that is, ( gx 1 , gx 2 ,…, gxr ) is a common r −tupled fixed point of F and g .
Suppose now that ( c ) holds. Assume that for some ( x 1 , x 2 ,…, xr ) ∈ C { F, g } and for some y 1 , y 2 ,…, yr X , lim i→∞ giy 1 = x 1 , lim i→∞ giy 2 = x 2 ,…, lim i→∞ giyr = xr . Since g is continuous at x 1 , x 2 ,…, xr . We have that x 1 , x 2 ,…, xr are fixed points of g , that is, gx 1 = x 1 , gx 2 = x 2 ,…, gxr = xr . Since ( x 1 , x 2 ,…, xr ) ∈ C { F, g }, therefore, we obtain x 1 = gx 1 F ( x 1 , x 2 ,…, xr ), x 2 = gx 2 F ( x 2 ,…, xr , x 1 ),…, xr = gxr F ( xr , x 1 ,…, x r−1 ), that is, ( x 1 , x 2 ,…, xr ) is a common r −tupled fixed point of F and g .
Finally, suppose that ( d ) holds. Let g ( C { F, g }) = {( x 1 , x 1 ,…, x 1 )}. Then { x 1 } = { gx 1 } = F ( x 1 , x 1 ,…, x 1 ). Hence ( x 1 , x 1 ,…, x 1 ) is a common r −tupled fixed point of F and g .
Example 2.1. Suppose that X = [0; 1], equipped with the metric d : X × X → [0, +∞) defined as d ( x, y ) = max{ x, y } and d ( x, x ) = 0 for all x, y X . Let F : Xr CB ( X ) be defined as and g : X X be defined as g(x) = x2, for all xX.
Define φ : [0, +∞) → [0, +∞) by and ψ : [0, +∞) → [0, +∞) by PPT Slide
Lager Image
Now, for all x 1 , x 2 , …, xr , y 1 , y 2 , …, yr X with x 1 , x 2 ,…, xr , y 1 , y 2 …, yr ∈ [0, 1). But If ( x 1 ) 2 + ( x 2 ) 2 + … + ( xr ) 2 < ( y 1 ) 2 + ( y 2 ) 2 + … + ( yr ) 2 , then Similarly, we obtain the same result for ( y 1 ) 2 + ( y 2 ) 2 + … + ( yr ) 2 < ( x 1 ) 2 + ( x 2 ) 2 + … + ( xr ) 2 . Thus the contractive condition (2.1) is satisfied for all x 1 , x 2 , …, xr , y 1 , y 2 , …, yr X with x 1 , x 2 , …, xr , y 1 , y 2 , …, yr ∈ [0; 1). Again, for all x 1 , x 2 , …, xr , y 1 , y 2 , …, yr X with x 1 , x 2 , …, xr ∈ [0; 1) and y 1 , y 2 , …, yr = 1, we have Thus the contractive condition (2.1) is satisfied for all x 1 , x 2 , …, xr , y 1 , y 2 , …, yr X with x 1 , x 2 , …, xr ∈ [0, 1) and y 1 , y 2 , …, yr = 1. Similarly, we can see that the contractive condition (2.1) is satisfied for all x 1 , x 2 , …, xr , y 1 , y 2 , …, yr X with x 1 , x 2 , …, xr , y 1 , y 2 , …, yr = 1. Hence, the hybrid pair { F, g } satisfy the contractive condition (2.1), for all x 1 , x 2 , …, xr , y 1 , y 2 , …, yr X . In addition, all the other conditions of Theorem 2.1 are satisfied and z = (0, 0, …, 0) is a common r −tupled fixed point of hybrid pair { F, g }. The function F : Xr CB ( X ) involved in this example is not continuous on Xr .
Corollary 2.2. Let (X, d) be a metric space. Assume F : Xr CB(X) and g : X X be two mappings satisfying for all x 1 , x 2 , …, xr , y 1 , y 2 , …, yr X, where φ ∈ Φ and ψ ∈ Ψ. Furthermore assume that F ( Xr ) ⊆ g(X) and g(X) is a complete subset of X. Then F and g have an r−tupled coincidence point. Moreover, F and g have a common r−tupled fixed point, if one of the following conditions holds:
( a ) F and g are w−compatible . lim i→∞ gix 1 = y 1 , lim i→∞ gix 2 = y 2 , …, lim i→∞ gixr = yr , for some ( x 1 , x 2 , …, xr ) ∈ C { F, g } and for some y 1 , y 2 , …, yr X and g is continuous at y 1 , y 2 , …, yr .
( b ) g is F−weakly commuting for some ( x 1 , x 2 , …, xr ) ∈ C { F, g }, gx 1 , gx 2 , …, gxr are fixed points of g, that is , g 2 x 1 = gx 1 , g 2 x 2 = gx 2 , …, g 2 xr = gxr .
( c ) g is continuous at x 1 , x 2 , …, xr . lim i→∞ giy 1 = x 1 , lim i→∞ giy 2 = x 2 , …, lim i→∞ giyr = xr for some ( x 1 , x 2 , …, xr ) ∈ C { F, g } and for some y 1 , y 2 , …, yr X .
( d ) g ( C { F, g }) is a singleton subset of C { F, g }.
Proof . It suffices to remark that Then, we apply Theorem 2.1, since φ is non-decreasing.
If we put g = I (the identity mapping) in the Theorem 2.1, we get the following result:
Corollary 2.3. Let ( X, d ) be a complete metric space, F : Xr CB ( X ) be a mapping satisfying H(F(x1, x2, …, xr), F(y1, y2, …, yr)) φ [max {d(x1, y1), …, d(xr, yr)}] + ψ [m(x1, …, xr, y1, …, yr)], for all x 1 , x 2 , …, xr , y 1 , y 2 , …, yr X, where φ ∈ Φ and ψ ∈ Ψ. Then F has an r−tupled fixed point.
If we put g = I (the identity mapping) in the Corollary 2.2, we get the following result:
Corollary 2.4. Let ( X, d ) be a complete metric space, F : Xr CB ( X ) be a mapping satisfying for all x 1 , x 2 , …, xr , y 1 , y 2 , …, yr X, where φ ∈ Φ and ψ ∈ Ψ. Then F has an r−tupled fixed point .
If we put ψ ( t ) = 0 in Theorem 2.1, we get the following result:
Corollary 2.5. Let ( X, d ) be a metric space. Assume F : Xr CB ( X ) and g : X X be two mappings satisfying H(F(x1, x2, …, xr), F(y1, y2, …, yr)) φ [max {d(gx1, gy1), d(gx2, gy2), …, d(gxr, gyr)}], for all x 1 , x 2 , …, xr , y 1 , y 2 , …, yr X, where φ ∈ Φ. Furthermore assume that F ( Xr ) ⊆ g ( X ) and g ( X ) is a complete subset of X. Then F and g have an r−tupled coincidence point. Moreover, F and g have a common r−tupled fixed point, if one of the following conditions holds:
( a ) F and g are w−compatible . lim i→∞ gix 1 = y 1 , lim i→∞ gix 2 = y 2 , …, lim i→∞ gixr = yr , for some ( x 1 , x 2 , …, xr ) ∈ C { F, g } and for some y 1 , y 2 , …, yr X and g is continuous at y 1 , y 2 , …, yr .
( b ) g is F−weakly commuting for some ( x 1 , x 2 , …, xr ) ∈ C { F, g }, gx 1 , gx 2 , …, gxr are fixed points of g, that is , g 2 x 1 = gx 1 , g 2 x 2 = gx 2 , …, g 2 xr = gxr .
( c ) g is continuous at x 1 , x 2 , …, xr . lim i→∞ giy 1 = x 1 , lim i→∞ giy 2 = x 2 , …, lim i→∞ giyr = xr for some ( x 1 , x 2 , …, xr ) ∈ C { F, g } and for some y 1 , y 2 , …, yr X .
( d ) g ( C { F, g }) is a singleton subset of C { F, g }.
If we put ψ ( t ) = 0 in Corollary 2.2, we get the following result:
Corollary 2.6. Let ( X, d ) be a metric space. Assume F : Xr CB ( X ) and g : X X be two mappings satisfying for all x 1 , x 2 , …, xr , y 1 , y 2 , …, yr X, where φ ∈ Φ. Furthermore assume that F ( Xr ) ⊆ g ( X ) and g ( X ) is a complete subset of X : Then F and g have an r−tupled coincidence point. Moreover, F and g have a common r−tupled fixed point, if one of the following conditions holds:
( a ) F and g are w−compatible . lim i→∞ gix 1 = y 1 , lim i→∞ gix 2 = y 2 , …, lim i→∞ gixr = yr , for some ( x 1 , x 2 , …, xr ) ∈ C { F, g } and for some y 1 , y 2 , …, yr X and g is continuous at y 1 , y 2 , …, yr .
( b ) g is F−weakly commuting for some ( x 1 , x 2 , …, xr ) ∈ C { F, g }, gx 1 , gx 2 , …, gxr are fixed points of g, that is , g 2 x 1 = gx 1 , g 2 x 2 = gx 2 , …, g 2 xr = gxr .
( c ) g is continuous at x 1 , x 2 , …, xr . lim i→∞ giy 1 = x 1 , lim i→∞ giy 2 = x 2 , …, lim i→∞ giyr = xr for some ( x 1 , x 2 , …, xr ) ∈ C { F, g } and for some y 1 , y 2 , …, yr X .
( d ) g ( C { F, g }) is a singleton subset of C { F, g }.
If we put g = I (the identity mapping) in the Corollary 2.5, we get the following result:
Corollary 2.7. Let ( X, d ) be a complete metric space, F : Xr CB ( X ) be a mapping satisfying H(F(x1, x2, …, xr), F(y1, y2, …, yr)) φ [max {d(x1, y1), d(x2, y2), …, d(xr, yr)}], for all x 1 , x 2 , …, xr , y 1 , y 2 , …, yr X, where φ ∈ Φ. Then F has an r−tupled fixed point.
If we put g = I (the identity mapping) in the Corollary 2.6, we get the following result:
Corollary 2.8. Let ( X, d ) be a complete metric space, F : Xr CB ( X ) be a mapping satisfying for all x 1 , x 2 , …, xr , y 1 , y 2 , …, yr X, where φ ∈ Φ. Then F has an r−tupled fixed point.
If we put φ ( t ) = kt where 0 < k < 1 in Corollary 2.5, we get the following result:
Corollary 2.9. Let ( X, d ) be a metric space. Assume F : Xr CB ( X ) and g : X X be two mappings satisfying H(F(x1, x2, …, xr), F(y1, y2, …, yr)) k max {d(gx1, gy1), d(gx2, gy2), …, d(gxr, gyr)}, for all x 1 , x 2 , …, xr , y 1 , y 2 , …, yr X, where 0 < k < 1. Furthermore assume that F ( Xr ) ⊆ g ( X ) and g ( X ) is a complete subset of X . Then F and g have an r−tupled coincidence point. Moreover, F and g have a common r−tupled fixed point, if one of the following conditions holds:
( a ) F and g are w−compatible . lim i→∞ gix 1 = y 1 , lim i→∞ gix 2 = y 2 , …, lim i→∞ gixr = yr , for some ( x 1 , x 2 , …, xr ) ∈ C { F, g } and for some y 1 , y 2 , …, yr X and g is continuous at y 1 , y 2 , …, yr .
( b ) g is F−weakly commuting for some ( x 1 , x 2 , …, xr ) ∈ C { F, g }, gx 1 , gx 2 , …, gxr are fixed points of g, that is , g 2 x 1 = gx 1 , g 2 x 2 = gx 2 , …, g 2 xr = gxr .
( c ) g is continuous at x 1 , x 2 , …, xr . lim i→∞ giy 1 = x 1 , lim i→∞ giy 2 = x 2 , …, lim i→∞ giyr = xr for some ( x 1 , x 2 , …, xr ) ∈ C { F, g } and for some y 1 , y 2 , …, yr X .
( d ) g ( C { F, g }) is a singleton subset of C { F, g }.
If we put φ ( t ) = kt where 0 < k < 1 in Corollary 2.6, we get the following result:
Corollary 2.10. Let ( X, d ) be a metric space. Assume F : Xr CB ( X ) and g : X X be two mappings satisfying for all x 1 , x 2 , …, xr , y 1 , y 2 , …, yr X, where 0 < k < 1. Furthermore assume that F ( Xr ) ⊆ g ( X ) and g ( X ) is a complete subset of X . Then F and g have an r−tupled coincidence point. Moreover, F and g have a common r−tupled fixed point, if one of the following conditions holds:
( a ) F and g are w−compatible . lim i→∞ gix 1 = y 1 , lim i→∞ gix 2 = y 2 , …, lim i→∞ gixr = yr , for some ( x 1 , x 2 , …, xr ) ∈ C { F, g } and for some y 1 , y 2 , …, yr X and g is continuous at y 1 , y 2 , …, yr .
( b ) g is F−weakly commuting for some ( x 1 , x 2 , …, xr ) ∈ C { F, g }, gx 1 , gx 2 , …, gxr are fixed points of g, that is , g 2 x 1 = gx 1 , g 2 x 2 = gx 2 , …, g 2 xr = gxr .
( c ) g is continuous at x 1 , x 2 , …, xr . lim i→∞ giy 1 = x 1 , lim i→∞ giy 2 = x 2 , …, lim i→∞ giyr = xr for some ( x 1 , x 2 , …, xr ) ∈ C { F, g } and for some y 1 , y 2 , …, yr X .
( d ) g ( C { F, g }) is a singleton subset of C { F, g }.
If we put g = I (the identity mapping) in the Corollary 2.9, we get the following result:
Corollary 2.11. Let ( X, d ) be a complete metric space, F : Xr CB ( X ) be a mapping satisfying H(F(x1, x2, …, xr), F(y1, y2, …, yr)) ≤ k max {d(x1, y1), d(x2, y2), …, d(xr, yr)}, for all x 1 , x 2 , …, xr , y 1 , y 2 , …, yr X, where 0 < k < 1. Then F has an r−tupled fixed point.
If we put g = I (the identity mapping) in the Corollary 2.10, we get the following result:
Corollary 2.12. Let ( X, d ) be a complete metric space, F : Xr CB ( X ) be a mapping satisfying for all x 1 , x 2 , …, xr , y 1 , y 2 , …, yr X, where 0 < k < 1. Then F has an r−tupled fixed point.
References