Journal Nonlinear Analysis and Application 2013 (2013) 1-13 Available online at www.ispacs.com/jnaa Volume 2013, Year 2013 Article ID jnaa-00132, 13 Pages doi:10.5899/2013/jnaa-00132 Research Article Employing an Implicit function to prove unified common fixed point theems f expansive type mappings in symmetric spaces M. Imdad 1, Mohd. Hasan 1,2, Hemant Kumar Nashine 3, P. P. Murthy 4 (1) Department of Mathematics, Aligarh Muslim University, Aligarh 202 002, India (2) Department of Mathematics, Jazan University, Jazan, Kingdom of Saudi Arabia (3) Department of Mathematics, Disha Institute of Management and Technology, Raipur-492 101(Chhattisgarh), India (4) Department of Pure and Applied Mathematics, Guru Ghsidas University, Koni, Bilaspur, Chhatisgarh, 495 009, India Copyright 2013 c M. Imdad, Mohd. Hasan, Hemant Kumar Nashine and P. P. Murthy. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the iginal wk is properly cited. Abstract The purpose of this paper is to prove some unified general common fixed point theems employing absbing property f expansive mappings governed by a relatively improved implicit function in symmetric spaces which generalizes several previously known results due to Ali and Imdad [2], Djoudi [6], Imdad and Khan [15], Pathak and Tiwari [28], Popa [30] and some others. Some related results are also derived besides furnishing illustrative example. Keywds: Symmetric spaces; common fixed points; common property (E.A); weakly compatible mappings and implicit function. 1 Introduction and preliminaries A metrical common fixed point theem is often comprised of conditions on commutativity, continuity, completeness and contraction besides suitable containment of range of one map into the range of the other. To prove new results, the researchers of this domain are required to improve one me of these conditions. With a view to improve the commutativity conditions in such results, Sessa [32] initiated the idea of weak commutativity which was received well by the researchers of this direction. In process, several conditions of weak commutativity were introduced and utilized to prove new common fixed point theems whose lucid survey (up to 2001) is available in Murthy [25]. In the last few years the notion of weak compatibility due to Jungck [20] has been extensively utilized to prove new results as it is a minimal condition merely requiring the commutativity at the set of coincidence points of the pair. Wang et.al [35] proved some fixed point theems on expansion mappings cresponding to certain expansive condition whose earliest noted generalization is contained in Khan et.al [22]. In recent years a multitude of expansive type results are established which include Rhoades [31], Taniguchi [34] and Kang [21]. A symmetric d in respect of a non-empty set X is a function d : X X [0, ) which satisfies d(x,y) = d(y,x) and d(x,y) = 0 x = y(f all x,y X). If d is a symmetric on a set X, then f x X and ε > 0, we write B(x,ε) = {y X : d(x,y) < ε}. A topology τ(d) on X is given by the sets U(along with empty set) in which f each Cresponding auth. Email address: hasan352000@gmail.com, Tel:+91-8791294051
http://www.ispacs.com/journals/jnaa/2013/jnaa-00132/ Page 2 of 13 x U, one can find some ε > 0 such that B(x,ε) U. A set S X is a neighbourhood of x X if and only if there is a U containing x such that x U S. A symmetric d is said to be a semi-metric if f each x X and f each ε > 0, B(x,ε) is a neighbourhood of x in the topology τ(d). Thus a symmetric ( resp. a semi-metric) space X is a topological space whose topology τ(d) on X is induced by a symmetric (resp. a semi-metric) d. Notice that lim d(x n,x) = 0 if and only if x n x in the topology τ(d). The distinction between a symmetric and a semi-metric is apparent as one can easily construct a semi-metric d such that B(x,ε) need not be a neighbourhood of x in τ(d). As symmetric spaces are not essentially Hausdff, therefe in der to prove fixed point theems, some additional axioms are required. The following axioms are relevant to this note which are available in Aliouche [3], Cho et.al [4], Galvin and She [8], Hicks and Rhoades [11], and Wilson [36]. From now on symmetric as well as semi-metric spaces will be denoted by (X,d) whereas a nonempty arbitrary set will be denoted by Y. (W 3 ) :[36] Given {x n },x and y in X with d(x n,x) 0 and d(x n,y) 0 imply x = y. (W 4 ) :[36] Given {x n },{y n } and an x in X with d(x n,x) 0 and d(x n,y n ) 0 imply d(y n,x) 0. (HE) :[3] Given {x n },{y n } and an x in X with d(x n,x) 0 and d(y n,x) 0 imply d(x n,y n ) 0. (1C) :[4] A symmetric d is said to be 1-continuous if lim d(x n,x) = 0 implies lim d(x n,y) = d(x,y). (CC) :[36] A symmetric d is said to be continuous if lim d(x n,x) = 0 and lim d(y n,y) = 0 imply lim d(x n,y n ) = d(x,y) where x n, y n are sequences in X and x,y X. Clearly, the continuity (i.e.(cc)) of a symmetric is a stronger property than 1-continuity i.e. (CC) implies (1C) but not conversely. Also (W 4 ) implies (W 3 ) and (1C) implies (W 3 ) but converse implications are not true. All other possible implications amongst (W 3 ), (1C) and (HE) are not true in general whose nice illustration via demonstrative examples are available in Cho et.al[4]. But (CC) implies all the remaining four conditions namely:(w 3 ), (W 4 ), (HE) and (1C). All other possible implications amongst (W 3 ) and (HE) are not true in general whose nice illustration via demonstrative examples are available in Cho et.al [4]. Definition 1.1. Let ( f,s) be a pair of self-mappings defined on a symmetric ( resp. a semi-metric) space (X,d). Then the pair ( f,s) is said to be compatible (cf.[18]) if lim d( f gx n,g f x n ) = 0 whenever {x n } is a sequence such that lim f x n = lim gx n = t f some t in X. Definition 1.2. Let ( f,s) be a pair of self-mappings defined on a symmetric ( resp. a semi-metric) space (X,d). Then the pair ( f,s) is said to be non-compatible (cf.[27]) if there exists some sequence {x n } such that lim f x n = lim gx n = t f some t in X but lim ( f gx n,g f x n ) is either non-zero non-existent. Motivated by the notions of compatibility and noncompatibility, Aamri and Moutawakil [1] defined the following generalization of two preceeding notions as follows. Definition 1.3. [1] A pair ( f,s) of self mappings of a symmetric (resp. a semi-metric) space (X,d) is said to satisfy the property (E.A) if there exists a sequence {x n } in X such that lim f x n = lim Sx n = t, f some t X. Clearly a pair of compatible as well as noncompatible mappings satisfies the property (E.A). Definition 1.4. [24] Two pairs ( f,s) and (g,t ) of self mappings of a symmetric (resp. a semi-metric) space (X,d) are said to satisfy the common property (E.A) if there exist two sequences {x n }, {y n } in X such that lim f x n = lim Sx n = lim gy n = lim Ty n = t, f some t X.
http://www.ispacs.com/journals/jnaa/2013/jnaa-00132/ Page 3 of 13 Definition 1.5. [12] Two finite families of self mappings { f i } m i=1 and {g k} n k=1 commuting if: of a set X are said to be pairwise (i) f i f j = f j f i i, j {1,2,...,m}, (ii) g k g l = g l g k k,l {1,2,...,n}, (iii) f i g k = g k f i i {1,2,...,m} and k {1,2,...,n}. Definition 1.6. Let ( f,g) be a pair of self-mappings defined on a non-empty set X equipped with a symmetric (semimetric) d. Then the pair ( f,g) is said to be g-absbing if there exists some real number R > 0 such that d(gx,g f x) Rd( f x,gx) f all x in X. Analogously, the pair ( f,g) will be called f -absbing(cf.[10]) if there exists some real number R > 0 such that d( f x, f gx) Rd( f x,gx) f all x in X. The pair of self maps ( f,g) will be called absbing if it is both g-absbing as well as f -absbing. A pair of self maps ( f,g) defined on a symmetric ( semi-metric) space (X,d) is called pointwise g-absbing if f given x in X, there exists some R > 0 such that d(gx,g f x) Rd( f x,gx). On similar lines we can define pointwise f -absbing maps. In particular, if we take g = I, the identity map on X, then f is trivially I-absbing. Similarly I is f -absbing in respect of any f. It has been shown in [10] that a pair of compatible R-weakly commuting pair need not be g-absbing f -absbing. Also absbing pairs are neither a subclass of compatible pairs n a subclass of non - compatible pairs as the absbing pairs need not commute at their coincidence points. F other properties and related results in respect of absbing maps, one can consult [10]. In this paper, we prove general common fixed point theems via absbing property of expansive mappings under a relatively improved implicit relation on symmetric ( resp. a semi-metric) spaces which generalizes several relevant results contained in [2, 6, 9, 15, 21, 22, 28, 29, 30] besides some other ones. Our results generalize several fixed point theems in following respects. (i) The class of implicit relations is relatively improved one as it requires merely two conditions to satisfy. (ii) The condition on completeness of the space is lightened to closedness of subspaces. (iii) The conditions of containment of the ranges amongst involved maps are completely relaxed. (iv) The class of underline metric spaces is enlarged to class of symmetric spaces. 2 Implicit Relation Popa [29] initiated the idea of implicit relation instead of contraction conditions to prove fixed point theems. Motivated by Ali and Imdad [2], Imdad and Khan [15] and Popa [29, 30], we defined a new class of implicit relation to prove common fixed point theems f expansive type mappings. In der to describe the implicit relation, let Φ be the set of all continuous functions F : R 6 + R satisfying the following conditions: (F 1 ) : F(t,0,t,0,0,t) < 0, f all t > 0, (F 2 ) : F(t,0,0,t,t,0) < 0, f all t > 0. Example 2.1. Define F(t 1,t 2,,t 6 ) : R 6 + R as F(t 1,t 2,,t 6 ) = t 1 k max{t 2,t 3,t 4,t 5,t 6 }, where k > 1. Example 2.2. Define F(t 1,t 2,,t 6 ) : R 6 + R as F(t 1,t 2,,t 6 ) = k min{t 2,t 3,t 4,t 5,t 6 } t 1, where 0 k < 1.
http://www.ispacs.com/journals/jnaa/2013/jnaa-00132/ Page 4 of 13 Example 2.3. Define F(t 1,t 2,,t 6 ) : R 6 + R as F(t 1,t 2,,t 6 ) = ϕ (min{t 2,t 3,t 4,t 5,t 6 }) t 1 where ϕ : R + R is a lower semi-continuous function such that ϕ(0) = 0 and ϕ(t) < t f all t > 0. Example 2.4. Define F(t 1,t 2,,t 6 ) : R 6 + R as where a,b,c,e, f > 0 with c + e > 1, f + b > 1. Example 2.5. Define F(t 1,t 2,,t 6 ) : R 6 + R as F(t 1,t 2,,t 6 ) = t 1 a t 2 b t 3 c t 4 e t 5 f t 6, F(t 1,t 2,,t 6 ) = t 1 k[max{t 2 2,t 3 t 4,t 5 t 6,t 3 t 6,t 4 t 5 }] 1 2, where k > 1. Example 2.6. Define F(t 1,t 2,,t 6 ) : R 6 + R as F(t 1,t 2,,t 6 ) = t 1 αt 2 β t2 5 +t2 6 γ(t 3 +t 4 ), if t 5 +t 6 0 t 5 +t 6 t 1, if t 5 +t 6 = 0 where α,γ > 0 and β > 1. Example 2.7. Define F(t 1,t 2,,t 6 ) : R 6 + R as where a,b,c > 0 Example 2.8. Define F(t 1,t 2,,t 6 ) : R 6 + R as where 0 < k < 1. Example 2.9. Define F(t 1,t 2,,t 6 ) : R 6 + R as where k > 1. Example 2.10. Define F(t 1,t 2,,t 6 ) : R 6 + R as where a,b,c 0 and b + c < 1. Example 2.11. Define F(t 1,t 2,,t 6 ) : R 6 + R as where 0 k < 1. Example 2.12. Define F(t 1,t 2,,t 6 ) : R 6 + R as where 0 a < 1, 1 b < 2. F(t 1,t 2,,t 6 ) = t 1 a t 2 b t 3 c t 4 max{t 5,t 6 }, F(t 1,t 2,,t 6 ) = k min{t 2,max{t 3,t 4 },max{t 5,t 6 }} t 1, F(t 1,t 2,,t 6 ) = t 1 k min{t 1 +t 2,t 3 +t 5,t 4 +t 6 }, F(t 1,t 2,,t 6 ) = at 2 + b(t 3 +t 4 ) + c(t 5 +t 6 ) t 1, F(t 1,t 2,,t 6 ) = min{(t 2 +t 3 )/2,k(t 4 +t 5 )/2,t 6 } t 1, F(t 1,t 2,,t 6 ) = min{at 2,b(t 3 +t 5 )/2,(t 4 +t 6 )} t 1,
http://www.ispacs.com/journals/jnaa/2013/jnaa-00132/ Page 5 of 13 Example 2.13. Define F(t 1,t 2,,t 6 ) : R 6 + R as F(t 1,t 2,,t 6 ) = at2 2 +t 3 t 4 + bt5 2 + ct2 6 t2 1, where a 0 and 0 b,c < 1. Example 2.14. Define F(t 1,t 2,,t 6 ) : R 6 + R as F(t 1,t 2,,t 6 ) = k(t2 3 +t3 3 +t3 4 +t3 5 +t3 6 ) t3 1, where 0 k < 1/3. Example 2.15. Define F(t 1,t 2,,t 6 ) : R 6 + R as F(t 1,t 2,,t 6 ) = t1 3 at2 1t 2 bt 1 t 4 t 5 ct 1 t 3 t 6 dt 3 t 5 t 6 where b,c > 1. Example 2.16. Define F(t 1,t 2,,t 6 ) : R 6 + R as F(t 1,t 2,,t 6 ) = t1 2 at 1 t 2 bt3 2 ct4 2 dt 5 t 6 where b,c > 1. Example 2.17. Define F(t 1,t 2,,t 6 ) : R 6 + R as where b + c > 3. F(t 1,t 2,,t 6 ) = at 3t 4 + bt 5 t 6 + ct 2 2 t 5 +t 6 +t 2 t 1, if t 5 +t 6 +t 2 0 Since verification of requirements (F 1 and F 2 ) f Examples 2.1-2.17 are easy, details are not included. 3 Main Results We begin with the following observation. Lemma 3.1. Let X be a nonempty set equipped with a continuous symmetric (semi-metric) d. If f,g,s,t : X X are four mappings which satisfy the conditions: (a) the pair ( f,s) ( (g,t )) satisfies the property (E.A), (b) f (X) T (X) ( g(x) S(X)), (c) f all x,y X(x y) and F Φ wherein F satisfies condition (F 2 ) F(d( f x,gy),d(sx,ty),d( f x,sx),d(gy,ty),d(sx,gy),d(ty, f x)) > 0, (3.1) whenever, one of d( f x,gy),d(gy,ty) and d(sx,gy) is positive. Then the pairs ( f,s) and (g,t ) share the common property (E.A). Proof. If the pair ( f,s) enjoys the property (E.A), then there exists a sequence {x n } in X such that lim f x n = lim Sx n = t, f some t X. Since f (X) T (X), therefe f each {x n } there exists {y n } in X such that f x n = Ty n. Thus, lim Ty n = lim f x n = t and in all we have f x n t,sx n t and Ty n t. Now, we assert that gy n t. If not, then using (3.1), we have F(d( f x n,gy n ),d(sx n,ty n ),d( f x n,sx n ),d(gy n,ty n ),d(sx n,gy n ),d(ty n, f x n )) > 0
http://www.ispacs.com/journals/jnaa/2013/jnaa-00132/ Page 6 of 13 which on making n, gives rise F(d(t, lim gy n ),0,0,d( lim gy n,t),d(t, lim gy n ),0) 0 a contradiction to (F 2 ). Hence lim gy n t which shows that the pairs ( f,s) and (g,t ) share the common property (E.A). Remark 3.1. The converse of Lemma 3.1 is not true in general. F a counter example, one can utilize Example 5.1 to be furnished in the concluding section. Now, we state and prove our main result f two pairs of pointwise absbing mappings satisfying earlier described implicit relations. Theem 3.1. Let f,g,s,t : X X be be four mappings defined on a nonempty set X equipped with a symmetric (semi-metric) d which enjoys (1C) and (HE) which satisfy the inequality (3.1) wherein F Φ satisfies (F 1 ) and (F 2 ), whenever, one of d( f x, gy), d( f x, Sx), d(gy, Ty) and d(sx, gy) is positive. Suppose that: (a) the pairs ( f,s) and (g,t ) share the common property (E.A) and (b) S(X) and T (X) are closed subsets of X. Then the pairs ( f,s) and (g,t ) have a coincidence point each. Meover, f,g,s and T have a common fixed point provided the pairs ( f,s) and (g,t ) are pointwise absbing. Proof. In view of (a), there exist two sequences {x n } and {y n } in X such that lim f x n = lim Sx n = lim gy n = lim Ty n = t f some t X. Since S(X) is a closed subset of X, therefe lim Sx n = t S(X). Thus, there exists u X such that Su = t. Now, we assert that f u = Su. If it is not so, then d( f u,su) > 0. On using (3.1), we have F(d( f u,gy n ),d(su,ty n ),d( f u,su),d(gy n,ty n ),d(su,gy n ),d(ty n, f u)) > 0 which on making n, (besides using (1C) and (HE)) gives rise F(d( f u,t),d(su,t),d( f u,su),d(t,t),d(su,t),d(t, f u)) 0 F(d( f u,su),0,d( f u,su),0,0,d(su, f u)) 0, which contradicts (F 1 ) as long as d( f u,su) > 0. Hence f u = Su which shows that u is a coincidence point of the pair ( f,s). Since T (X) is a closed subset of X, therefe lim Ty n = t T (X) and hencefth Tw = t f some w X. Suppose d(tw,gw) > 0, then on using (3.1), one gets F(d( f x n,gw),d(sx n,tw),d( f x n,sx n ),d(gw,tw),d(sx n,gw),d(tw, f x n )) > 0 which on making n, (besides using (1C) and (HE)) gives rise F(d(t,gw),d(t,Tw),d(t,t),d(gw,Tw),d(t,gw),d(Tw,t)) 0 F(d(Tw,gw),0,0,d(gw,Tw),d(Tw,gw),0) 0,
http://www.ispacs.com/journals/jnaa/2013/jnaa-00132/ Page 7 of 13 which contradicts (F 2 ) as long as d(tw,gw) > 0. This shows that w is a coincidence point of the pair (g,t ). As the pairs ( f,s) and (g,t ) are pointwise absbing, one can write so that Su = S f u, f u = f Su, Tw = T gw, gw = gtw, f u = S f u, f u = f f u and gw = T gw, gw = ggw which show that f u ( f u = gw) is a common fixed point of f,g,s and T. This concludes the proof. Theem 3.2. The conclusions of Theem 3.1 remain true if condition (b) (of Theem 3.1) is replaced by the following besides retaining the rest of the hypotheses. (b ) f (X) T (X) and g(x) S(X). As a collary of Theem 3.1, we can have the following result which is also a variant of Theem 3.1. Collary 3.1. The conclusions of Theems 3.1 and 3.2 remain true if the conditions (b) and (b ) are replaced by following. (b ) f (X) and g(x) are closed subsets of X provided f (X) T (X) and g(x) S(X). Remark 3.2. Theem 3.1 generalizes relevant results of Imdad and Khan [15], Pathak and Tiwari [28] besides some other one. Theem 3.3. Let f,g,s,t : X X be four mappings defined on nonempty set X equipped with a continuous symmetric (semi-metric) d satisfying the inequality (3.1) wherein F Φ satisfies (F 1 ) and (F 2 ), whenever, one of d( f x, gy), d( f x, Sx), d(gy, Ty) and d(sx, gy) is positive. Suppose that: (a) the pair ( f,s) ( (g,t )) enjoys the property (E.A), (b) f (X) T (X) ( g(x) S(X)), and (c) S(X) ( T (X)) is closed subset of X. Then the pairs ( f,s) and (g,t ) have a coincidence point each. Meover, if the pairs ( f,s) and (g,t ) are pointwise absbing, then f,g,s and T have a common fixed point. Proof. In view of Lemma 3.1, the pairs ( f,s) and (g,t ) share the common property (E.A) i.e. there exist two sequences {x n } and {y n } in X such that lim f x n = lim Sx n = lim gy n = lim Ty n = t X. If S(X) is a closed subset of X, then proceeding on the lines of the proof of Theem 3.1, one can show that the pair ( f, S) has coincidence point, say u, i.e. f u = Su. Since f (X) T (X) and f u f (X), there exists w X such that f u = Tw. Now we assert that gw = Tw. If not, then on using (3.1), we have which on making n, gives rise F(d( f x n,gw),d(sx n,tw),d( f x n,sx n ),d(gw,tw),d(sx n,gw),d(tw, f x n )) > 0 F(d(t,gw),d(t,Tw),d(t,t),d(gw,Tw),d(t,gw),d(Tw,t)) 0 F(d(Tw,gw),0,0,d(gw,Tw),d(Tw,gw),0) 0, a contradiction to (F 2 ). Hence gw = Tw, which shows that w is a coincidence point of the pair (g,t ). Rest of the proof can be completed on the lines of Theem 3.1. This concludes the proof of the theem.
http://www.ispacs.com/journals/jnaa/2013/jnaa-00132/ Page 8 of 13 By choosing f,g,s and T suitably, one can deduce collaries f a pair triode of mappings. The detail of two possible collaries f a triode of mappings are not included. However, as a sample, we outline the following natural result f a pair of self mappings. Collary 3.2. Let f,s : X X be two mappings defined on a nonempty set X equipped with a continuous symmetric (semi-metric) d which satisfy the following conditions: (a) the pair ( f,s) enjoys the property (E.A), (b) f all x,y X(x y) and F Φ (wherein (F) satisfies (F 1 ) and (F 2 )), F(d( f x, f y),d(sx,sy),d( f x,sx),d( f y,sy),d( f x,sy),d( f y,sx)) > 0, (3.2) whenever, one of d( f x,gy),d( f x,sx),d(gy,ty) and d(sx,gy) is positive and (c) S(X) is a closed subset of X. Then the pair ( f,s) has a coincidence point. Meover, f and S have a common fixed point provided the pair ( f,s) is pointwise absbing. Collary 3.3. The conclusions of Theem 3.2 remain true if inequality (3.1) is replaced by one of the following expansion type conditions. F all x, y X(x y), (I) d( f x,gy) > k max{d(sx,ty),d( f x,sx),d(gy,ty),d( f x,ty),d(gy,sx)}, where k > 1. (II) k min{d(sx,ty),d( f x,sx),d(gy,ty),d( f x,ty),d(gy,sx)} > d( f x,gy), where 0 < k < 1. (III) d( f x,gy) < ϕ max{d(sx,ty),d( f x,sx),d(gy,ty),d( f x,ty),d(gy,sx)}, where ϕ : R + R is an lower semi-continuous function such that ϕ(0) = 0 and ϕ(t) > t f all t > 0. (IV) d( f x,gy) > a d(sx,ty) + b d( f x,sx) + c d(gy,ty) + ed( f x,ty) + f d(gy,sx)}, where a,b,c,e, f > 0 with a + e > 1, f + b > 1. (V) d( f x,gy) > k[max{d(sx,ty) 2,d( f x,sx)d(gy,ty),d( f x,ty)d(gy,sx), d( f x,sx)d( f x,ty),d(gy,ty)d(gy,sx)}] 2 1, where k > 1. (VI) d( f x,gy) > where α,γ > 0 and β > 1. αd(sx,ty) + β d( f x,ty)2 + d(gy,sx) 2 d( f x,ty) + d(gy,sx) + γ(d( f x,sx) + d(gy,ty)), if d( f x,ty) + d(gy,sx) 0 0, if d( f x,ty) + d(gy,sx) = 0 (VII) d( f x,gy) > a d(sx,ty) + b d( f x,sx) + c d(gy,ty + max{d( f x,ty),d(gy,sx)}, where a,b,c > 0. (VIII) k min{d(sx,ty),max{d( f x,sx),d(gy,ty},max{d( f x,ty),d(gy,sx)}} > d( f x,gy), where 0 < k < 1. (IX) d( f x,gy) > k min{d( f x,gy + d(sx,ty),d( f x,sx) + d( f x,ty),d(gy,ty + d(gy,sx)}, where k > 1. (X) ad(sx,ty) + b(d( f x,sx) + d(gy,ty)) + c(d(sx,gy) + d(ty, f x)) > d( f x,gy), where a,b,c > 0 and b + c < 1. (XI) min{(d(sx,ty) + d( f x,sx))/2,k(d(gy,ty) + d(sx,gy))/2,d(ty, f x)} > d( f x,gy), where 0 k < 1.
http://www.ispacs.com/journals/jnaa/2013/jnaa-00132/ Page 9 of 13 (XII) min{ad(sx,ty),b(d( f x,sx) + d(sx,gy))/2,(d(gy,ty) + d(ty, f x))} > d( f x,gy), where 0 a < 1, 1 b < 2. (XIII) ad(sx,ty) 2 + d( f x,sx)d(gy,ty) + bd(sx,gy) 2 + cd(ty, f x) 2 > d( f x,gy) 2, where a 0 and 0 b + c < 1. (XIV) k(d(sx,ty) 3 + d( f x,sx) 3 + d(gy,ty) 3 + d(sx,gy) 3 + d(ty, f x) 3 ) > d( f x,gy) 3, where 0 k < 1/3. (XV) d( f x,gy) 3 ad( f x,gy) 2 d(sx,ty) + bd( f x,gy)d(gy,ty)d(sx,gy) + cd( f x,gy)d( f x,sx)d(ty, f x) + dd( f x,sx)d(sx,gy)d(ty, f x) where b,c > 1. (XVI) d( f x,gy) 2 ad( f x,gy)d(sx,ty) + bd( f x,sx) 2 + cd(gy,ty) 2 + dd(sx,gy)d(ty, f x) where b,c > 1. { ad( f x,sx)d(gy,ty)+bd( f x,ty)d(gy,sx)+cd(sx,ty)2 α (XVII) d( f x,gy) < d( f x,ty)+d(gy,sx)+d(sx,ty), if d( f x,ty) + d(gy,sx) + d(sx,ty) 0 where b + c > 3. Proof. Proof follows from Theem 3.3 and Examples 2.1-2.17. Remark 3.3. Collaries cresponding to conditions (I) to (XVII) are new results as these results never require any conditions on containment of ranges amongst involved mappings. Some expansive conditions listed in above collary are well known and generalize certain relevant results of the existing literature(e.g. [15, 17, 21, 22, 28, 30]). 4 Results with unique common fixed point If we add the condition (F 3 ) : F(t,t,0,0,t,t) 0, f all t > 0, to our implicit function, then implicit function satisfying (F 1 ), (F 2 ) and (F 3 ) ensure the uniqueness of common fixed point. Here, it can be pointed out that all preceeding examples need not satisfy F 3 (e.g Example 2.17). However, we prove the following unique common fixed point theem in symmetric spaces. Theem 4.1. Let G, H, I and J be self mappings defined on a symmetric (resp. a semi-metric) space (X, d) equipped with a symmetric (resp. a semi-metric) d which enjoys (1C) and (HE) besides satisfying inequality (3.1) wherein every F Φ satisfies (F 1 ),(F 2 ) and (F 3 ) whenever, one of d( f x,gy),d( f x,sx),d(gy,ty) and d(sx,gy) is positive.. Suppose that: (a) the pairs ( f,s) and (g,t ) share the common property (E.A) and (b) S(X) and T (X) are closed subsets of X. Then the pairs ( f,s) and (g,t ) have a coincidence point each. Meover, if the pairs ( f,s) and (g,t ) are pointwise absbing, then f,g,s and T have a unique common fixed point. Proof. In view of Theem 3.1, f,g,s and T have a common fixed point. The uniqueness of the common fixed point is an easy consequence of the condition (F 3 ). Remark 4.1. In the additional presence of F 3, Theems 3.2-3.3 and Collaries 3.1-3.3 ensure the uniqueness of common fixed point. But we avoid the detail due to repetition. As an application of Theem 4.1, we have the following result f four finite families of self mappings.
http://www.ispacs.com/journals/jnaa/2013/jnaa-00132/ Page 10 of 13 Theem 4.2. Let { f 1, f 2,..., f m }, {g 1,g 2,...,g p }, {S 1,S 2,...,S n } and {T 1, T 2,...,T q } be four finite families of self mappings defined of a symmetric ( resp. a semi-metric) space (X,d) equipped with a symmetric (resp. a semi-metric) d which enjoys (1C) and (HE) with f = f 1 f 2... f m, g = g 1 g 2...g p, S = S 1 S 2,...S n and T = T 1 T 2...T q which satisfy condition (3.1) wherein every F Φ satisfies (F 1 ),(F 2 ) and (F 3 ). If I n (X) and J q (X) are closed subsets of X and the pairs ( f,s) and (g,t ) share the common property (E.A), then (a) the pair ( f,s) has a coincidence point, (b) the pair (g,t ) has a coincidence point. Meover, if finite families of self mappings { f i } m i=1, {g k} p k=1, {S r} n r=1 and {T t} q t=1 are pairwise commuting, then (f all i I 1,k I 2,r I 3 and t I 4 ) f i,g k,s r and T t have a common fixed point. Proof. Proof follows on the lines of cresponding result due to Imdad et.al [16, Theem 2.2]. By setting f 1 = f 2 =... = f m = G, g 1 = g 2 =... = g p = H, S 1 = S 2 =... = S n = I and T 1 = T 2 =... = T q = J in Theem 4.2, we deduce the following theem involving iterates of mappings: Collary 4.1. Let G,H,I and J be self mappings defined on a symmetric (resp. a semi-metric) space (X,d) equipped with a symmetric (resp. a semi-metric) d which enjoys (1C) and (HE) such that the pairs (G m,i n ) and (H p,j q ) share the common property (E.A) and also satisfy the condition F(d(G m x,h p y),d(i n x,j q y),d(g m x,i n x),d(h p y,j q y), d(i n x,h p y),d(j q y,g m x)) > 0 f all x,y X wherein every F Φ satisfies (F 1 ),(F 2 ) and (F 3 ) and m,n, p and q are fixed positive integers. If I n (X) and J q (X) are closed subsets of X, then G,H,I and J have a unique common fixed point provided GI = IG and HJ = JH. Remark 4.2. By restricting four families as { f 1, f 2 },{g 1,g 2 },{S 1 } and {T 1 } in Theem 4.1, we deduce a substantial but partial generalization of the main results of Imdad and Khan [13, 14] f expansive mappings as such result will yield stronger commutativity requirement besides relaxing continuity requirements and weakening completeness requirement of the space to the closedness of subspaces. Remark 4.3. Collary 4.1 is a slight but partial generalization of Theem 4.1 as the commutativity requirements (i.e. GI = IG and HJ = JH) are relatively me stringent. 5 Illustrative Examples In what follows, we furnish two examples demonstrating the utility of Theem 4.1 over the earlier results especially those contained in [5, 7, 15, 23, 28, 34] besides some other ones. Example 5.1. Consider X = [2,20] with symmetric d(x,y) = (x y) 2. Define self mappings f,g,s and T on X by { { 2 if x = 2 and x > 5 2 if x = 2 and x > 5 f (x) =, g(x) = 3, 1 if 2 < x 5 2 if 2 < x 5 2 if x = 2 and x > 5 2 if x = 2 S(x) = 5 if 2 < x 5, T (x) = 7 if 2 < x 5 x 1 x+1 2 if x > 5 3 if x > 5 Consider sequences {x n = 5 + n 1} and {y n = 5 + 2 n } in X. Clearly, lim f x n = lim Sx n = lim gy n = lim Ty n = 2
http://www.ispacs.com/journals/jnaa/2013/jnaa-00132/ Page 11 of 13 which shows that pairs ( f,s) and (g,t ) satisfy the common property (E.A), f (X) = {1,2} [2, 19 2 ] = S(X) and g(x) = { 2 3 19,2} [2,7] = T (X) meover S(X) = [2, 2 ] and T (X) = [2,7] are closed subsets of X. Also define a continuous implicit function F : R 6 R such that F(t 1,t 2,,t 6 ) = k min{t 2,max{t 3,t 4 },max{t 5,t 6 }} t 1, where 0 < k < 1 and F Φ By a routine calculation, one can verify the inequality (3.1): Towards the verification of implicit function, let 2 < x,y 5. Then we have f 2 < x,y 5 { } k min d(sx,ty),max{d( f x,sx),d(gy,ty)},max{d( f x,ty),d(gy,sx)} > d( f x,gy) k min {d(5,7),max{d(1,5),d( 3 } 2,7)},max{d(1,7),d(3 2,5)} > d(1, 3 2 ) { k min (5 7) 2,max{(1 5) 2,( 3 2 7)2 },max{(1 7) 2,( 3 } 2 5)2 } > (1 3 2 )2 { } k min 4, max{16, 30.25}, max{36, 12.25} > 1 4, k min{4,30.25,36} > 1 4, hence inequality (3.1) is true f k > 16 1. Therefe, all the conditions of Theem 4.1 are satisfied and 2 is a unique common fixed point of the pairs ( f,s) and (g,t ) which is their coincidence point as well. Here it is wth noting that none of the theems (with rare possible exceptions) can be used in the context of this example as Theem 4.1 never requires any condition on the containment of ranges of mappings while completeness condition is replaced by closedness of subspaces. Meover, the continuity requirements of involved mappings are completely relaxed. Acknowledgment The auths are thankful to the learned referees f their fruitful suggestions and comments towards the improvement of this paper. References [1] M. Aamri, D. El Moutawakil, Some new common fixed point theems under strict contractive conditions, J. Math. Anal. Appl, 270 (2002) 181-188. http://dx.doi.g/10.1016/s0022-247x(02)00059-8 [2] J. Ali, M. Imdad, An implicit function implies several contraction conditions, Sarajevo J. Math, 4 (17) (2008) 269-285. [3] A. Aliouche, A common fixed point theem f weakly compatible mappings in symmetric spaces satisfying a contractive condition of integral type, J. Math. Anal. App, 322 (2006) 796-802. http://dx.doi.g/10.1016/j.jmaa.2005.09.068 [4] S. H. Cho, G. Y. Lee, J. S. Bae, On Coincidence and Fixed-Point Theems in Symmetric Spaces, Fixed Point They Appl, 2008 (2008) 9. http://dx.doi.g/10.1155/2008/562130 [5] Z. P. Daffer, H. Kaneko, On expansive mappings, Math. Japon, 37 (1992) 733-735. [6] A. Djoudi, General fixed point theems f weakly compatible mappings, Demonstratio Math, 38 (2005) 197-205.
http://www.ispacs.com/journals/jnaa/2013/jnaa-00132/ Page 12 of 13 [7] A. A. Gillespie, B. B. Williams, Fixed point theems f expanding maps, Applicable. Anal, 14 (3) (1983) 161-165. http://dx.doi.g/10.1080/00036818308839419 [8] F. Galvin, S. D. She, Completeness in semi-metric spaces, Pacific. J. Math, 113 (1984) 67-75. http://dx.doi.g/10.2140/pjm.1984.113.67 [9] D. Gopal, M. Imdad, C. Vetro, M. Hasan, Fixed point they f cyclic weak ϕ contraction in fuzzy metric spaces, J. Nonl. Anal. Appl, 2012 (2012) 1-11. http://dx.doi.g/10.5899/2012/jnaa-00110 [10] D. Gopal, R. P. Pant, A. S. Ranadive, Common fixed point of absbing maps, Bull. Marathwada Math. Soc, 9 (1) (2008) 43-48. [11] T. L. Hicks, B. E. Rhoades, Fixed point they in symmetric spaces with applications to probabilistic spaces, Nonlinear Anal, 36 (1999) 331-344. http://dx.doi.g/10.1016/s0362-546x(98)00002-9 [12] M. Imdad, J. Ali, M. Tanveer, Coincidence and common fixed point theems f nonlinear contractions in Menger PM spaces, Chaos Solitons & Fractals, 42 (2009) 3121-3129. http://dx.doi.g/10.1016/j.chaos.2009.04.017 [13] M. Imdad, Q. H. Khan, Six mappings satisfying a rational inequality, Rad. Mat, 9 (1999) 251-260. [14] M. Imdad, Q. H. Khan, A common fixed point theem f six mappings satisfying a rational inequality, Indian J. Math, 44 (2002) 47-57. [15] M. Imdad, T. I. Khan, Fixed point theems f some expansive mappings via implicit relations, Nonlinear Anal. Fum, 9 (2) (2004) 209-218. [16] M. Imdad, S. Kumar, M. S. Khan, Remarks on some fixed point theems satisfying implicit relations, Rad. Mat, 11 (2002) 135-143. [17] M. Imdad, V. Popa, Javid Ali, Impact of occasionally weakly compatible property on common fixed point theems f expansive mappings, Filomat, 25 (2) (2011) 79-89. http://dx.doi.g/10.2298/fil1102079i [18] G. Jungck, Compatible mappings and common fixed points, Internat. J. Math. Math. Sci, 9 (1986) 771-779. http://dx.doi.g/10.1155/s0161171286000935 [19] G. Jungck, Common fixed points f noncontinuous nonself maps on nonmetric spaces, Far East J. Math. Sci, 4 (1996) 192-212. [20] G. Jungck, B. E. Rhoades, Fixed point theems f occasionally weakly compatible mappings, Fixed Point They, 7 (2) (2006) 287-296. [21] S.M. Kang, Fixed points f expansion mappings, Math. Japonica, 38 (4) (1993) 1-5. [22] M.A. Khan, M.S. Khan, S. Sessa, Some theems on expansion mappings and their fixed points, Demonstratio Math, 19 (1986) 673-683. [23] S. Kumar, Common fixed point theems f expansions mappings in various spaces, Acta Math. Hungar, 118 (2008) 9-28. http://dx.doi.g/10.1007/s10474-007-6142-2
http://www.ispacs.com/journals/jnaa/2013/jnaa-00132/ Page 13 of 13 [24] Y. Liu, Jun Wu, Z. Li, Common fixed points of single-valued and multi-valued maps, Internat. J. Math. Math. Sci, 19 (2005) 3045-3055. http://dx.doi.g/10.1155/ijmms.2005.3045 [25] P. P. Murthy, Imptants tools and possible applications of metric fixed point they, Nonl. Anal, 47 (2001) 3479-3490. http://dx.doi.g/10.1016/s0362-546x(01)00465-5 [26] R. P. Pant, Common fixed points f noncommuting mappings, J. Math. Anal. Appl, 188 (1994) 436-440. http://dx.doi.g/10.1006/jmaa.1994.1437 [27] R.P. Pant, V. Pant, Common fixed points under strict contractive conditions, J. Math. Anal. Appl, 248 (2000) 327-332. http://dx.doi.g/10.1006/jmaa.2000.6871 [28] H. K. Pathak, Rakesh Tiwari, Fixed point theems f expansion mappings satisfying implicit relations, Filomat, 20 (2006) 43-57. http://dx.doi.g/10.2298/fil0601057p [29] V. Popa, Some fixed point theems f compatible mappings satisfying an implicit relation, Demonstratio Math, 32 (1999) 157-163. [30] V. Popa, A general fixed point theem f expansive mappings under strict implicit conditions, Stud. Cercet. Stiint. Ser. Mat. Univ. Bacau, 17 (2007) 197-200. [31] B.E. Rhoades, Some fixed point theems f pair of mappings, Jnanabh, 15 (1985) 151-156. [32] S. Sessa, On a weak commutativity condition of mappings in fixed point considerations, Publ. Inst. Math, 32 (1982) 149-153. [33] A. H. Soliman, M. Imdad, M. Hasan, Proving unified common fixed point theems via common property (E.A) in symmetric spaces, Commun. Kean Math. Soc, 25 (4) (2010) 629-645. http://dx.doi.g/10.4134/ckms.2010.25.4.629 [34] T. Taniguchi, Common fixed point theems on expansive mappings on a compatible metric spaces, Math. Japon, 34 (1) (1989) 139-142. [35] S. Z. Wang, B. Y. Li, Z. M. Gao, K. Iséki, Some fixed point theems on expansion mappings, Math. Japon, 29 (1984) 631-636. [36] W. A. Wilson, On seme-metric spaces, Amer. J. Math, 53 (1931) 361-373. http://dx.doi.g/10.2307/2370790