Advanced
EMPLOYING COMMON LIMIT RANGE PROPERTY WITH VARIANTS OF R-WEAKLY COMMUTING MAPPINGS IN METRIC SPACES
EMPLOYING COMMON LIMIT RANGE PROPERTY WITH VARIANTS OF R-WEAKLY COMMUTING MAPPINGS IN METRIC SPACES
Journal of the Korean Society of Mathematical Education Series B The Pure and Applied Mathematics. 2015. May, 22(2): 127-138
Copyright © 2015, Korean Society of Mathematical Education
  • Received : October 31, 2014
  • Accepted : May 01, 2015
  • Published : May 31, 2015
Download
PDF
e-PUB
PubReader
PPT
Export by style
Share
Article
Author
Metrics
Cited by
TagCloud
About the Authors
SUNNY CHAUHAN
NEAR NEHRU TRAINING CENTRE, H. NO. 274, NAI BASTI B-14, BIJNOR 246 701, UTTAR PRADESH, INDIA.Email address:sun.gkv@gmail.com
JELENA VUJAKOVIć
FACULTY OF SCIENCES AND MATHEMATICS, LOLE RIBARA 29, KOSOVSKA MITROVICA, 38 200, SERBIA.Email address:jelena.2005@pr.ac.rs
SHAMSUL HAQ
COMSATS INSTITUE OF INFORMATION TECHNOLOGY, ABBOTTABAD, PAKISTAN.Email address:shamsul.haq@gmail.com

Abstract
The object of this paper is to emphasize the role of ‘common limit range property’ and utilize the same with variants of R -weakly commuting mappings for the existence of common fixed point under strict contractive conditions in metric spaces. We also furnish some interesting examples to validate our main result. Our results improve a host of previously known results including the ones contained in Pant [Contractive conditions and common fixed points, Acta Math. Acad. Paedagog. Nyhàzi. (N.S.) 24(2) (2008), 257–266 MR2461637 (2009h:54061)]. In the process, we also derive a fixed point result satisfying ϕ -contractive condition.
Keywords
1. INTRODUCTION AND PRELIMINARIES
The celebrated Banach fixed point theorem also known as Banach Contraction Principle appeared in it’s explicit form in the thesis of Banach [4] . Owing to its simplicity and usefulness, it became a very powerful tool in solving existence problems in pure and applied sciences which include biology, medicine, physics, computer science etc. This theorem asserts that every contraction mappings defined on a complete metric space has a unique fixed point and that fixed point can be explicitly obtained as limit of repeated iteration of the mapping at any point of the underlying space. Evidently, every contraction mapping is a continuous but not conversely. Some recent development in fixed point theory can be easily seen in [2 , 3 , 6 , 9 , 10 , 13 , 21] .
In 1976, Jungck [7] proved a fixed point theorem for a pair of commuting mappings in complete metric space. The first ever attempt to improve commutativity conditions in common fixed point theorems is due to Sessa [23] wherein he introduced the notion of weakly commuting mappings. Later on, Jungck [8] improved the notion of weak commutativity due to Sessa [23] by introducing the concept of compatible mappings. In the study of common fixed points of compatible mappings we often require assumptions on the completeness of the underlying space and continuity of the involved mappings. In an interesting note, Kannan [11] showed that there exists mappings that have a discontinuity in the domain but which have fixed points. Moreover, the involved mappings in every case were continuous at the fixed point. The study of common fixed points theorems for non-compatible mappings is firstly initiated by Pant [15] with the introduction of the notion of R -weakly com- muting mappings in metric spaces. Many mathematicians have contributed towards the vigorous development of fixed point theory (e.g. [5 , 16 , 17 , 18] ). Further, Pathak et al. introduced the notion of R -weakly commuting mappings of types ( Ag ) and ( Af ) and generalized the result of Pant [15] .
A result on the existence and uniqueness of common fixed point in metric spaces, generally involves conditions on commutativity, continuity and contraction along with a suitable condition on the containment of range of one mapping into the range of other. Hence, one is always required to improve one or more of these conditions to prove a new fixed point theorem. In 2002, Amari and Moutawakil [1] introduced the notion of property (E.A) which generalized the concept of noncompatible mappings. The fixed point results proved under property (E.A) always require the closedness of the underlying subspaces for the existence of common fixed point. In 2011, Sintunavarat and Kumam [27] coined the idea of “common limit range property” (also see [25 , 28 , 29 , 30 , 31] ).
In 2008, Pant [19] utilized the notion of property (E.A) with R-weakly commuting mappings of type ( Ag ) for the existence of common fixed point under strict contractive condition which improved and extended the results of Singh and Kumar [24] . Since then, Kumar [12] proved a common fixed point theorem for a pair of weakly compatible mappings along with property (E.A) in metric spaces which improves and generalizes the result of Jungck [7] without any continuity requirement besides relaxing the containment of the range of one mapping into the range of other mapping. In [12] , he also introduced the notion of R -weakly commuting of type ( P ) in metric space and obtained some fixed point theorems for variants of R -weakly commuting mappings with property (E.A).
In this paper, utilizing the notion of common limit range property due to Sintunavarat and Kumam [27] , we prove some common fixed point theorems for a pair of mappings under variants of R -weakly commuting mappings. In process, many known results (especially the ones contained in Pant [19] ) are enriched and improved. Some related results are also derived besides furnishing illustrative examples.
Throughout this paper, let Y be an arbitrary non-empty set and ( X , d ) a metric space.
Definition 1.1. Let f , g : X X be two self mappings of a metric space ( X , d ). Then the pair ( f , g ) is said to be
  • (1)commutingiffgx=gfx, for allx∈X.
  • (2)weakly commuting[23]ifd(fgx,gfx) ≤d(fx,gx), for allx∈X.
  • (3)R-weakly commuting[15]if there exists some real numberR> 0 such thatd(fgx,gfx) ≤Rd(fx,gx) for allx∈X.
  • (4)pointwise R-weakly commuting[15]if givenx∈Xthere exists some real numberR> 0 such thatd(fgx,gfx) ≤Rd(fx,gx).
  • (5)R-weakly commuting of type(Ag)[20]if there exists some real numberR> 0 such thatd(ffx,gfx) ≤Rd(fx,gx) for allx∈X.
  • (6)R-weakly commuting of type(Af)[20]if there exists some real number R > 0 such thatd(fgx,ggx) ≤Rd(fx,gx) for allx∈X.
  • (7)R-weakly commuting of type(P)[12]if there exists some real number R > 0 such thatd(ffx,ggx) ≤Rd(fx,gx) for allx∈X.
  • (8)compatible[8]iffor each sequence {xn} inXsuch that.
  • (9)non-compatible[15]if there exists a sequence {xn} inXsuch thatbutis either nonzero or nonexistent.
For more details on systematic comparisons and illustrations of earlier described notions, we refer to Singh and Tomar [26] , Murthy [14] and Kumar [12] .
Definition 1.2. Let f and g be mappings on Y with values in X . Then f and g are said to satisfy the
  • (1)property (E.A)[22]if there exists a sequence {xn} inYsuch that
  • for somet∈X.
  • (2)the common limit range property[27]with respect to mappingg, denoted by (CLRg) in short, if there exists a sequence {xn} inYsuch that
  • for someu∈Y.
Remark 1.3 . If we take Y = X then we get the definition of property (E.A) for two self mappings of X studied by Aamri and Moutawakil [1] . In this case, t is called a tangent point by Sastry and Murthy [22] .
Example 1.4. Consider Y = X = [0, 14] and d be the usual metric on X . Define the self mappings f and g on X as
PPT Slide
Lager Image
Then
PPT Slide
Lager Image
and g ( X ) = [0, 3). Now consider a sequence
PPT Slide
Lager Image
in X . Then clearly,
PPT Slide
Lager Image
Here it is pointed out that 3 ∉ g ( X ) which shows that the pair ( f , g ) does not satisfy the (CLRg) property while it enjoys the property (E.A).
Example 1.5. In the setting of Example 1.4, replace the self mapping g by the following besides retaining the rest:
PPT Slide
Lager Image
Then
PPT Slide
Lager Image
and g ( X ) = [0, 3]. Consider a sequence similar as Example 1.4, one can see that,
PPT Slide
Lager Image
Hence the pair ( f , g ) enjoys the (CLRg) property.
Remark 1.6. Thus, one can infer that a pair ( f , g ) satisfying the property (E.A) along with closedness of the underlying subspace g ( X ) always enjoys the (CLRg) property with respect to the mapping g .
2. MAIN RESULTS
In 2008, Pant [19] proved the following result for a pair of R -weakly commuting mappings employing property (E.A).
Theorem 2.1 ([19, Theorem 1]). Let f and g be self mappings of a complete metric space ( X , d ) such that
PPT Slide
Lager Image
where
PPT Slide
Lager Image
denotes the closure of range of the mapping f,
PPT Slide
Lager Image
whenever the right hand side is positive and 1 ≤ k < 2. If f and g be R-weakly commuting of type of type ( Ag ) satisfying the property (E.A), then f and g have a unique common fixed point.
Now we prove a more general result by using the notion of common limit range property with variants of R -weakly commuting mappings.
Theorem 2.2. Let ( X , d ) be a metric space and f , g : Y X . Suppose that the following hypotheses hold:
  • (1)the pair(f,g)enjoys the(CLRg)property,
  • (2)for allx≠y∈Xand0 ≤k< 2,
PPT Slide
Lager Image
  • whenever the right hand side of the above inequality is positive. Then the pair(f,g)has a coincidence point.
Moreover, if Y = X and 0 ≤ k < 1, then f and g have a unique common fixed point provided the pair ( f , g ) is R-weakly commuting or R-weakly commuting of type ( Ag ) or R-weakly commuting of type ( Af ) or R-weakly commuting of type ( P ).
Proof . Since the pair ( f , g ) satisfies the (CLRg) property, there exists a sequence { xn } in Y such that
PPT Slide
Lager Image
for some u Y . First we show that fu = gu . If not, then using inequality (2.3) with x = xn , y = u , we get
PPT Slide
Lager Image
which on making n → ∞, reduces to
PPT Slide
Lager Image
which is a contradiction. Hence fu = gu which shows that f and g have a coincidence point.
Now consider Y = X and 0 ≤ k < 1.
Case I: If the pair ( f , g ) is R -weakly commuting, then we have
d ( fgu , gfu ) ≤ Rd ( fu , gu ) = 0,
that is, fgu = gfu . Therefore, we obtain ffu = fgu = gfu = ggu .
Case II: Suppose that the pair ( f , g ) is R -weakly commuting of type ( Ag ), we obtain
d ( ffu , gfu ) ≤ Rd ( fu , gu ) = 0,
that is, ffu = gfu and so we get fgu = ffu = gfu = ggu .
Case III: Assume that the pair ( f , g ) is R -weakly commuting of type ( Af ), we have
d ( fgu , ggu ) ≤ Rd ( fu , gu ) = 0,
which implies that fgu = ggu . Hence ffu = fgu = ggu = gfu .
Case IV: Finally, if we consider the pair ( f , g ) is R -weakly commuting of type ( P ), then we have
d ( ffu , ggu ) ≤ Rd ( fu , gu ) = 0,
that is, ffu = ggu . Therefore, we get fgu = ffu = ggu = gfu .
Now we assert that fu is a common fixed point of the mappings f and g . Suppose that fu ffu , using inequality (2.3) with x = u , y = fu , we get
PPT Slide
Lager Image
which is a contradiction, we have fu = ffu . Therefore fu = ffu = gfu which shows that fu is a common fixed point of the pair ( f , g ).
Uniqueness of common fixed point is an easy consequence of inequality (2.3). This concludes the proof.
Theorem 2.3. Let ( X , d ) be a metric space and f , g : Y X satisfying inequality (2.3). Suppose that the pair ( f , g ) enjoys the property (E.A) whereas g ( X ) is a closed subspace of X . Then the pair ( f , g ) has a coincidence point .
Moreover, if Y = X and 0 ≤ k < 1, then f and g have a unique common fixed point provided the pair ( f , g) is either R-weakly commuting or R-weakly commuting of type ( Ag ) or R-weakly commuting of type ( Af ) or R-weakly commuting of type ( P ).
Proof. If the pair ( f , g ) satisfies the property (E.A), then there exists a sequence { xn } in Y such that
PPT Slide
Lager Image
for some t X . Since it is assumed that g ( X ) is a closed subspace of X , there exists a point u X such that gu = t . Hence in view of Remark 1.6, the pair ( f , g ) also enjoys the (CLRg) property. By Theorem 2.2, we can obtain the mappings f and g have a unique common fixed point.
Since the pair of non-compatible mappings implies to the pair satisfying property (E.A), we get the following corollary.
Corollary 2.4. Let ( X , d ) be a metric space and f , g : Y X satisfying inequality (2.3). Suppose that the pair ( f , g ) is non-compatible whereas g ( X ) is a closed subspace of X . Then the pair ( f , g ) has a coincidence point.
Moreover, if Y = X and 0 ≤ k < 1, then f and g have a unique common fixed point provided the pair ( f , g ) is either R-weakly commuting or R-weakly commuting of type ( Ag ) or R-weakly commuting of type ( Af ) or R-weakly commuting of type ( P ).
Our next theorems involve a function ϕ + → ℝ + which satisfies the following conditions:
  • (1)ϕis upper semi-continuous on ℝ+
  • (2) 0 <ϕ(s)
Theorem 2.5. Let ( X , d ) be a metric space and f , g : Y X . Suppose that the following hypotheses hold :
  • (1) the pair(f,g)enjoys the(CLRg)property,
  • (2) for all x, y∈Y,
PPT Slide
Lager Image
Moreover, if Y = X , then f and g have a unique common fixed point provided the pair ( f , g ) is either R-weakly commuting or R-weakly commuting of type ( Ag ) or R-weakly commuting of type ( Af ) or R-weakly commuting of type ( P ).
Proof. Suppose that the pair ( f , g ) enjoys the (CLRg) property, there exists a sequence { xn } in Y such that
PPT Slide
Lager Image
for some u Y . We assert that fu = gu . Let on the contrary fu gu , then using inequality (2.4) with x = xn , y = u , we get
PPT Slide
Lager Image
Taking limit as n → ∞, we have
PPT Slide
Lager Image
which is a contradiction, we obtain fu = gu which shows that f and g have a coincidence point. The rest of the proof can be completed on the lines of the proof of Theorem 2.2, hence the details are omitted. ☐
Now, we introduce some example to support the useability of our results.
Example 2.6. Let X = [0,+∞). Define d : X × X X by
PPT Slide
Lager Image
Also, define f , g : X X by
PPT Slide
Lager Image
and gx = 2 x . Then
  • (1) The pair (f,g) enjoys the (CLRg) property.
  • (2) The pair (f,g) isR-weakly commuting.
  • (3)d(gx,gy) > 0 for allx,y∈Xwithx≠y.
  • (4) for allx,y∈Xwithx≠y, we have
PPT Slide
Lager Image
Proof. The proof of (1), (2) and (3) are clear. To prove (4), given x , y X with x y . Without loss of generality, we may assume that x > y . Thus
PPT Slide
Lager Image
Thus f and g satisfy all the hypotheses of Theorem 2.2. So f and g have a unique common fixed point. Here, 0 is the unique common fixed point of f and g . ☐
Example 2.7. Let X = [0, 1]. Define d : X × X X by
PPT Slide
Lager Image
Also, define f , g : X X by
PPT Slide
Lager Image
and gx = x . Also, define ϕ : [0, +∞) → [0, +∞) by
PPT Slide
Lager Image
Then
  • (1) The pair (f,g) enjoys the (CLRg) property.
  • (2) The pair (f,g) isR-weakly commuting.
  • (3)d(gx,gy) > 0 for allx,y∈Xwithx≠y.
  • (4) for allx,y∈Xwithx≠y, we have
d ( fx , fy ) ≤ ϕ ( max { d ( gx , gy ), d ( fx , gx ), d ( fy , gy ), d ( fy , gx ), d ( fx , gy )} .
Proof. The proof of (1), (2) and (3) are clear. To prove (4), given x , y X with x y . Without loss of generality, we may assume that x > y . Thus
PPT Slide
Lager Image
Thus f and g satisfy all the hypotheses of Theorem 2.5. So f and g have a unique common fixed point. Here, 0 is the unique common fixed point of f and g . ☐
Remark 2.8. It may be noticed that the earlier proved results namely; Theorem 2.2, Theorem 2.3 and Theorem 2.5 (also Corollary 2.4) remain valid in symmetric space ( X , d ) whenever d is continuous.
Acknowledgements
The authors are thankful to anonymous referees for their remarkable comments, suggestion and ideas that helps to improve this paper.
References
Aamri M. , El Moutawakil D. 2002 Some new common fixed point theorems under strict contractive conditions J. Math. Anal. Appl. MR1911759 (2003d:54057) 270 (1) 181 - 188    DOI : 10.1016/S0022-247X(02)00059-8
Abbas M. , Nazir T. , Radenović S. 2013 Common fixed point of power contraction mappings satisfying (E.A) property in generalized metric spaces Appl. Math. Comput. 219 7663 - 7670    DOI : 10.1016/j.amc.2012.12.090
Alghamdi M.A. , Radenović S. , Shahzad N. On some generalizations of commuting mappings Abstr. Appl. Anal. Article ID 952052 2012
Banach S. 1922 Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales Fund. Math. 3 133 - 181
Ćirić Lj.B. 1971 Generalized contractions and fixed point theorems Publ. Inst. Math.(Beograd) (N.S.) MR0309092 (46 #8203) 12 (26) 19 - 26
Đorić D. , Kadelburg Z. , Radenović S. 2012 A note on occasionally weakly compatible mappings and common fixed points Fixed Point Theory 13 (2) 475 - 480
Jungck G. 1976 Commuting mappings and fixed point Amer. Math. Monthly MR0400196 (53 #4031) 83 (4) 261 - 263    DOI : 10.2307/2318216
Jungck G. 1986 Compatible mappings and common fixed points Internat. J. Math. Math. Sci. MR0870534 (87m:54122) 9 (4) 771 - 779    DOI : 10.1155/S0161171286000935
Kadelburg Z. , Radenović S. , Rosić B. Strict contractive conditions and common fixed point theorems in cone metric spaces Fixed Point Theory Appl. Article ID173838, 14 pages 2009
Kadelburg Z. , Radenović S. , Shahzad N. A note on various classes of compatible type pairs of mappings and common fixed point theorems Abstr. Appl. Anal. ArticleID 697151, 6 pages 2013
Kannan R. 1968 Some results on fixed points Bull. Calcutta Math. Soc. MR0257837 (41 #2486) 60 71 - 76
Kumar S. 2010 A note on Jungck’s fixed point theorem Fasciculi Math. 45 59 - 69
Long W. , Abbas M. , Nazir T. , Radenović S. Common fixed point for two pairs of mappings satisfying (E.A) property in generalized metric spaces Abstr. Appl. Anal. Article ID 394830, 15 pages 2012
Murthy P.P. 2001 Important tools and possible applications of metric fixed point theory Nonlinear Anal. Proceedings of the ThirdWorld Congress of Nonlinear Analysts, Part 5 (Catania, 2000), MR1979244 (2004d:54038) 47 (5) 3479 - 3490    DOI : 10.1016/S0362-546X(01)00465-5
Pant R.P. 1994 Common fixed points of noncommuting mappings J. Math. Anal. Appl. MR1305460 (95j:54037) 188 (2) 436 - 440    DOI : 10.1006/jmaa.1994.1437
Pant R.P. 1998 Common fixed point theorems for contractive maps J. Math. Anal. Appl. MR1646430 (99h:54063) 226 (1) 251 - 258    DOI : 10.1006/jmaa.1998.6029
Pant R.P. 1999 Discontinuity and fixed points J. Math. Anal. Appl. MR1728194 (2000j:54048) 240 (1) 280 - 289    DOI : 10.1006/jmaa.1999.6559
Pant R.P. 2000 Noncompatible mappings and common fixed points Soochow J. Math. MR1755133 (2000m:54048) 26 (1) 29 - 35
Pant V. 2008 Contractive conditions and common fixed points Acta Math. Acad. Paedagog. Nyházi. (N.S.) MR2461637 (2009h:54061) 24 (2) 257 - 266
Pathak H.K. , Cho Y.J. , Kang S.M. 1997 Remarks on R-weakly commuting mappings and common fixed point theorems Bull. Korean Math. Soc. 34 (2) 247 - 257
Radenović S. , Kadelburg Z. , Jandrlić D. , Jandrlić A. 2012 Some results on weakly contractive maps Bull. Iran. Math. Soc. 38 (3) 625 - 645
Sastry K.P.R. , Krishna Murthy I.S.R. 2000 Common fixed points of two partially commuting tangential selfmaps on a metric space J. Math. Anal. Appl. MR1786095 250 (2) 731 - 734    DOI : 10.1006/jmaa.2000.7082
Sessa S. 1982 On a weak commutativity condition in fixed point considerations Publ. Inst.Math. (Beograd) (N.S.) MR0710984 (85f:54107) 32 (46) 149 - 153
Singh S.L. , Kumar A. 2006 Common fixed point theorems for contractive maps Mat.Vesnik 58 (3-4) 85 - 90
Singh S.L. , Pant B.D. , Chauhan S. 2012 Fixed point theorems in Non-Archimedean Menger PM-spaces J. Nonlinear Anal. Optim. MR2982403 3 (2) 153 - 160
Singh S.L. , Tomar A. 2003 Weaker forms of commuting maps and existence of fixed points J. Korea Soc. Math. Educ. Ser. B Pure Appl. Math. MR2011365 (2004h:54039) 10 (3) 145 - 161
Sintunavarat W. , Kumam P. Common fixed point theorems for a pair of weakly compatible mappings in fuzzy metric spaces J. Appl. Math. Article ID637958, MR2822403 2011 14 -
Sintunavarat W. , Kumam P. 2012 Common fixed points for R-weakly commuting in fuzzy metric spaces Ann. Univ. Ferrara Sez. VII Sci. Mat. 58 (2) 389 - 406    DOI : 10.1007/s11565-012-0150-z
Sintunavarat W. , Kuma P. 2009 Coincidence and common fixed points for hybrid strict contractions without weakly commuting condition Appl. Math. Lett. 22 1877 - 1881    DOI : 10.1016/j.aml.2009.07.015
Sintunavarat W. , Kumam P. , Patthanangkoor P. 2009 Common random fixed points for multivalued random operators without S and T-weakly commuting random Random Oper. Stoch. Equ 17 (4) 381 - 388
Wairojjana N. , Sintunavarat W. , Kumam P. 2014 Common tripled fixed points for W-compatible mappings along with CLRg property in abstract metric spaces J. Inequal.Appl. 2014 133 -    DOI : 10.1186/1029-242X-2014-133