Bol. Soc. Paran. Mat. (3s.) v. 00 0 (0000):????. c SPM ISSN-175-1188 on line ISSN-0037871 in press SPM: www.spm.uem.br/bspm doi:10.569/bspm.40870 Fixed Point Theorems for Generalized β φ contractive Pair of Mappings Using Simulation Functions Manoj Kumar, Rashmi Sharma abstract: In this paper, our aim is to present a new class of generalized β φ Zcontractive pair of mappings and we prove certain fixed point theorems for a pair of mappings using this concept. Our results generalizes some fixed point theorems in the literature. As an application some fixed point theorems endowed with a partial order in metric spaces are also proved. Key Words: Common fixed points, Contractive type mapping, Z-contractive pair of mappings, Partial order. Contents 1 Introduction 1 Main Results 3 3 Consequences 7 4 Fixed point theorems on Metric spaces endowed with a partial order: 9 1. Introduction Fixed point theory has fascinated many researchers since 19 with the celebrated Banach fixed point theorem. There exists a vast literature on the topic and this is a very active field of research at present. Fixed point theorems are very important tools for proving the existence and uniqueness of the solutions to various mathematical tools. It is well known that the contractive-type conditions are very indispensable in the study of fixed point theory. The first important result on fixed points for contractive-type mappings was the well-known Banach-Caccioppoli theorem which was published in 19 in [1] and it also appears in [4]. Later in 1968, Kannan [6] studied a new type of contractive mapping. Since then, there have been many results related to mappings satisfying various types of contractive inequality, we refer to ([], [3], [8], [9], [10] etc) and references therein. Recently, Samet et al. [11] introduced a new category of contractive type mappings known as α φ contractive type mappings. Further, Karapinar and Samet [7] generalized the α φ contractive type mappings and obtained various fixed Corresponding author. 010 Mathematics Subject Classification: 47H10, 54H5. Submitted December 06, 017. Published May 3, 018 1 Typeset by B S P M style. c Soc. Paran. de Mat.
Manoj Kumar, Rashmi Sharma point theorems for this generalized class of contractive mappings. Our results unify and generalize the results derived by Karapinar and Samet [7], Samet et al. [7], Ciric et al. [5] and various other related results in the literature. Very recently, Khojasteh, Shukla and Radenovic [1] introduced a new class of mappings called simulation functions. Later, Argoubi, Samet and Vetro [14] slightly modified the definition of simulation functions by withdrawing a condition. Let Z* be the set of simulation functions in the sense of Argoubi et al. [14]. Definition 1.1 ([14]) A simulation function is a mapping ζ : [0, ) [0, ) R satisfying the following conditions: (ζ 1 ) ζ(t,s) < s t for all t,s > 0; (ζ ) if t n and s n are sequences in (0, ) such that lim n t n = lim n s n = l (0, ), then lim n ζ(t n,s n ) < 0. Note that the classes of all simulation functions ζ : [0, ) [0, ) R denote by Z. Definition 1. [11] Let Φ be the family of functions φ : [0, ) [0, ) satisfying the following conditions: (i) φ is nondecreasing. (ii) + n=1 φn (t) < for all t > 0, where φ n is the n th iterate of φ. Definition 1.3 [11] Let (X,d) be a metric space and T : X X be a given self mapping, T is said to be an β φ contractive mapping if there exists two functions β : X X [0,+ ) and φ Φ such that β(x,y)d(tx,ty) φ(d(x,y)) for all x,y X. Definition 1.4 [11] Let T : X X and β : X X [0,+ ). T is β admissible if. x,y X,β(x,y) 1 β(tx,ty) 1 Theorem 1.5 [11] (i) T is β-admissible; (ii) there exists x 0 X such that β(x 0,Tx 0 ) 1; (iii) T is continuous. Then, T has a fixed point, that is, there exists x X such that Tx = x. Priya Shahi et al.[1] introduce the concept of α-admissible w.r.t.g mapping and generalized α ψ contractive pair of mappings as follows: Definition 1.6 Let f,g : X X [0, ). We say that f is α-admissible w.r.t. g it for all x,y X, we have α(gx,gy) 1 α(fx,fy) 1.
Fixed Point Theorems for Generalized β φ contractive Pair of Mappings3 Definition 1.7 Let (X,d) be a metric space and f,g : X X be given mappings. We say that the pair (f,g) is a generalized α ψ contractive pair of mappings if there exists two functions α : X X [0, ) and ψ Ψ such that for all x,y X, we have where M(gx,gy) = max α(gx,gy)d(fx,fy) ψ(m(gx,gy)), d(gx,gy), d(gx,fx)+d(gy,fy), d(gx,fy)+d(gy,fx) Note: Throughout this paper C(T, S) denotes the set of coincidence points of T and S are self maps on X, that is, C(T,S) = u X, Tu = Su.. Main Results In the following theorem, we show the existence of common fixed point for four self-maps. Definition.1 Let (X,D) be a metric space and S,T be self maos on X. The pair (S,T) is called a generalized β φ Z -contractive pair of mappings with respect to ζ if ζ(β(tx,ty)d(sx,sy),φ(m(tx,ty))) 0 (.1) for all x,y X, where β : X X [0, ] and φ Φ and M(Tx,Ty) = max d(tx,ty), d(tx,sx)+d(ty,sy), d(tx,sy)+d(ty,sx) Theorem. Let (X,d) be a complete metric space and S,T : X X be such that S(X) T(X). Assume that the pair (S,T) is a generalized β φ Z contractive pair of mappings and the following conditions hold : (i) S is β-admissible w.r.t. T; (ii) there exists x 0 X such that β(tx 0,Sx 0 ) 1; (iii) If Tx n is a sequence in X such that β(tx n,tx n+1 ) 1 for all n and Tx n Tz T(X) as n, then there exists a subsequence Tx n(k) of Tx n such that β(tx n(k),tz) 1 for all k. Proof. Inviewofcondition(ii), letx 0 X besuchthatβ(tx 0,Sx 0 ) 1. Since S(X) T(X), we can choose a point x 1 X such that Sx 0 = Tx 1. Continuing this process having chosen x 1,x,...,x n we choose x n+1 in X such that Since S is β admissible w.r.t. T, we have. Sx n = Tx n+1, n = 0,1,,... (.) β(tx 0,Sx 0 ) = β(tx 0,Tx 1 ) 1 β(sx 0,Sx 1 ) = β(tx 0,Tx ) 1
4 Manoj Kumar, Rashmi Sharma Using mathematical induction, we get β(tx n,tx n+1 ) 1 for all n = 0,1,,... (.3) If Sx n+1 = Sx n for some n, then by (.) Sx n = Tx n+1, n = 0,1,,... that is, S and T have a coincidence point at x = x n+1 and so we have finished the proof. For this, we suppose that d(sx n,sx n+1 ) > 0 for all n. Now, putting x = x n, y = x n+1 in (.1), we get or where 0 ζ(β(tx n,tx n+1 )d(sx n,sx n+1 ),φ(m(tx n,tx n+1 ) < φ(m(tx n,tx n+1 ) β(tx n,tx n+1 )d(sx n,sx n+1 ) β(tx n,tx n+1 )d(sx n,sx n+1 ) < φ(m(tx n,tx n+1 )), M(Tx n,tx n+1 ) = max d(sx n,sx n+1 ) β(tx n,tx n+1 )d(sx n,sx n+1 ) < φ(m(tx n,tx n+1 )), d(tx n,tx n+1 ), d(txn,sxn)+d(txn+1,sxn+1) d(tx n,sx n+1)+d(tx n+1,sx n), maxd(sx n 1,Sx n ),d(sx n,sx n+1 ). (.4) Owing to monotonicity of the function φ and using the inequality (.) and (.4), we have for all n 1 d(sx n,sx n+1 ) = φ(maxd(sx n 1,Sx n ),d(sx n,sx n+1 )). (.5) If for some n 1, we have d(sx n 1,Sx n ) d(sx n,sx n+1 ), from (.5), we obtain that d(sx n,sx n+1 ) φ(d(sx n,sx n+1 ) < d(sx n,sx n+1 ), a contradiction. Thus, for all n 1, we have maxd(sx n 1,Sx n ),d(sx n,sx n+1 ) = d(sx n 1,Sx n ). (.6) Notice, that in view of (.5) and (.6), we get for all n 1, that d(sx n,sx n+1 ) φ(d(sx n 1,Sx n )). (.7) Continuing this process inductively, we obtain d(sx n,sx n+1 ) φ n (d(sx 0,Sx 1 ), for all n 1 (.8)
Fixed Point Theorems for Generalized β φ contractive Pair of Mappings5 From (.8) and using the triangular inequality, for all k 1, we have d(sx n,sx n+k ) d(sx n,sx n+1 )+...+d(sx n+k 1,Sx n+k ) n+k 1 p=n + p=n φ p (d(sx 1,Sx 0 )) φ p (d(sx 1,Sx 0 )) (.9) Letting, p in (.9), we obtain that Sx n is a Cauchy sequence in (X,d). Since by (.), we have Sx n = Tx n+1 T(X) and T(X) is closed, there exists z X such that lim Tx n = Tz. (.10) n Now, we show that z is a coincidence point of S and T. On contrary, assume that d(sz,tz) > 0. Since, by condition (iii) and (.10), we have β(tx n(k),tz) 1 for all k. Using x = x n(k),y = z in (i), we get 0 ζ(β(tx n(k),tz)d(sx n(k),sz),φ(m(tx n(k),tz)) < φ(m(tx n(k),tz) β(tx n(k),tz))d(sx n(k),sz) or β(tx n(k),tz)d(sx n(k),sz) < φm(tx n(k),tz) But β(tx n(k),tz) 1 d(sx n(k),sz) β(tx n(k),tz)d(sx n(k),sz) < φ(m(tx n(k),tz)), (.11) M(Tx n(k),tz) = max d(tx n(k),tz), d(tx n(k),sx n(k) )+d(tz,sz), d(tx n(k),sz)+d(tz,sx n(k)+1 ) On the other hand, we have M(Tx n(k),tz) = max d(tx n(k),tz), d(tx n(k),sx n(k) )+d(tz,sz), d(tx n(k),sz)+d(tz,sx n(k) )
6 Manoj Kumar, Rashmi Sharma Making k in (.11), we obtain d(tz,sz) φ lim (M(Tx (k),tz)) k φ(max d(tx n(k),tz), d(tx n(k),sx n(k) )+d(tz,sz), d(tx n(k),sz)+d(tz,sx n(k) ) Letting k in the above inequality yields d(tz,sz) φ( d(sz,tz) ) < d(sz,tz), which is a contradiction. Hence, our supposition is wrong and φ(sz,tz) = 0, that is, Sz = Tz. This shows that S and T have a coincidence point. Theorem.3 In addition to the hypothesis of Theorem., suppose that for all u,v C(T,S), there exists w X such that β(tu,tw) 1 and β(tu,tw) 1 and S, T commute at their coincidence points. Then, S and T have a unique common fixed point. Proof. We prove this theorem in three steps. First of all we claim that if u,v C(T,S), then Tu = Tv. By hypothesis, there exists w X such that β(tu,tw) 1,β(Tv,Tw) 1 (.1) From this fact S(X) T(X), let us define the sequence w n in X by Tw n+1 = Sw n for all n 0 and w 0 = w. Since S is β- admissible w.r.t.t, we obtain it from (.1) that β(tu,tw n ) 1,β(Tv,Tw n ) 1 (.13) for all n 0. Thus, putting x = u,y = w n+1 in (.1), we get or But β(tu,tw n+1 ) 1 0 ζ(β(tu,tw n+1 )d(su,sw n+1 ),φ(m(tu,tw n+1 )) < φ(m(tu,tw n+1 ) β(tu,tw n+1 )d(su,sw n+1 ) β(tu,tw n+1 )d(su,sw n+1 ) < φ(m(tu,tw n+1 ) d(su,sw n+1 ) β(tu,tw n+1 )d(su,sw n+1 ) < φ(m(tu,tw n+1 )) = φ(m(su,sw n )) M(Su,Sw n ) = max d(su,sw n ), d(su,tu)+d(sw n,tw n ), d(su,tw n )+d(sw n,tu) maxd(tu,tw n ),d(tu,tw n+1 ) maxd(tu,tw n ),d(tu,tw n+1 ) (.14)
Fixed Point Theorems for Generalized β φ contractive Pair of Mappings7 Using the above inequality, (.14) and owing to the monotone property of φ, we get d(tu,tw n+1 ) φ(maxd(tu,tw n ),d(tu,tw n+1 )) (.15) foralln. Without restrictiontothegenerality,wecansupposethatd(tu,tw n ) 0 forall n. Ifmaxd(Tu,Tw n ),d(tu,tw n+1 = d(tu,tw n+1 ), weget it from(.16), that d(tu,tw n+1 ) φ(d(tu,tw n+1 )) < d(tu,tw n+1 ), (.16) which is a contradiction. Thus, we have maxd(tu,tw n ),d(tu,tw n+1 ) = d(tu,tw n ), for all n. d(tu,tw n+1 ) φ(d(tu,tw n )), d(tu,tw n ) φ n (d(tu,tw 0 )), n 1 (.17) Letting, n in the above inequality, we have Similarly, we can prove that lim d(tu,tw n) = 0 (.18) n lim d(tv,tw n) = 0 (.19) n It follows from (.19) and (.0) that Tu = Tv. Now in second step we will show the existence of a common fixed point. Let u C(T,S), that is, Tu = Su. Owing to the commutativity of S and T at their coincidence points, we get T u = TSu = STu (.0) Let us denote Tu = z, then from (.1), Tz = Sz. Thus, z is a coincidence points of S and T. Now, from step 1, we have Tu = Tz = z = Sz. Then, z is a common fixed point of S and T. In the third step we will prove the Uniqueness. Assume that z is another common fixed point of S and T. Then, z C(T,S). By step 1, we have z = Tz = Tz = z. This completes the proof. 3. Consequences Following results can be obtained from our previous results: Corollary 3.1 Let (X,d) be a complete metric space and S,T : X X be such that S(X) T(X). Suppose that there exists a function φ Φ such that
8 Manoj Kumar, Rashmi Sharma Proof. By taking β(x,y) = 1 for x,y X and ζ(t,s) = λs t, for all t,s > 0, λ (0,1), the result holds. d(sx,sy) λ(φ(m(tx,ty))), (3.1) for all x,y X. Also suppose that T(X) is closed. Then, S and T have a coincidence point. Further, if S, T commute at their coincidence points, then S and T have a common fixed point. Corollary 3. Let (X, d) be a complete metric space S : X X. Suppose that there exists a function φ Φ such that for all x,y X. Also, S has a unique fixed point. d(sx,sy) λ(φ(m(x,y))), (3.) Corollary 3.3 Let (X,d) be a complete metric space and S,T : X X such that S(X) T(X). Suppose that there exists a function φ Φ such that d(sx,sy) φ(d(tx,ty)), (3.3) for all x,y X. Also, suppose, T(X) is closed. Then, S and T have a coincidence point. Further, if S and T commute at their coincidence points, then S and T have a common fixed point. Corollary 3.4 Let (X,d) be a complete metric space and S : X X. Suppose that there exists a function φ Φ such that for all x,y X. Then, S has a unique fixed point. d(sx,sy) φ(d(x,y)), (3.4) Corollary 3.5 Let (X,d) be a complete metric space and S : X X be a given mapping. Suppose that there exists a constant λ (0,1), such that Proof. By putting T = I in equation (3.1), Now, put φ = I where, M(x,y) = max d(sx,sy) λ(φ(m(x,y))), d(sx,sy) λ(m(x,y)) d(x,y), d(x,sx)+d(y,sy), d(x,sy)+d(y,sx) for all x,y X. Then, S has a unique fixed point..
Fixed Point Theorems for Generalized β φ contractive Pair of Mappings9 Corollary 3.6 Let (X,d) be a complete metric space and S : X X be a given mapping. Suppose that there exists a constant λ (0,1) such that d(sx,sy) λ(m(x,y)) Proof. By putting M = d d(sx,sy) (d(x,y)) for all x,y X. Then S has a unique fixed point. Corollary 3.7 Let (X,d) be a complete metric space and S : X X be a given mapping. Suppose that there exists a constant λ (0, 1 ) such that d(sx,sy) λ[ d(x,sx)+d(y,sy) ] d(sx,sy) λ[d(x,sx)+d(y,sy)] for all x,y X. Then, S has a unique fixed point. Corollary 3.8 Let (X,d) be a complete metric space and S : X X be a given mapping. Suppose that there exists a constant λ (0, 1 ) such that d(sx,sy) λ[ d(x,sy))+d(y,sx) ] d(sx,sy) λ[d(x,sy)+d(y,sx)] for all x,y X. Then, S has a unique fixed point. 4. Fixed point theorems on Metric spaces endowed with a partial order: Definition 4.1[7] Let (X, ) be a partially ordered set and T : X X be a given mapping. We say that T is non decreasing with respect to if x,y X,x y Tx = Ty. Definition 4.[7] Let (X, ) be a partially ordered set. A sequence x n is said to be nondecreasing with respect to if x n x n+1 for all n. Definition 4.3[7] Let (X, ) be a partially ordered set and d be a metric on X. We say that (X,,d) is regular if for every nondecreasing sequence x n X such that x n x X as n, there exists a subsequence x n(k) of x n such that x n(k) x for all k. Definition 4.4[5] Suppose (X, ) is a partially ordered set and S,T : X X are mappings of X into itself. One says S is T-non-decreasing if for x,y X T(x) T(y) S(x) S(y) (4.1)
10 Manoj Kumar, Rashmi Sharma Corollary 4.5 Let (X, ) be a partially ordered set and d be a metric on X such that (X,d) is complete. Assume that S,T : X X be such that S(X) T(X) and S be a T-nondecreasingmapping w.r.t. Suppose that there exists a function φ Φ such that d(sx,sy) φ(m(tx,ty)) (4.) for all x,y X with Tx Ty. Suppose also that the following conditions hold: (i) there exists x 0 X such that Tx 0 Sx 0 ; (ii) (X,,d) is T-regular. Also suppose that T(X) is closed. Then, S and T have a coincidence point. Moreover, if for every pair (x,y) C(T,S) C(T,S) there exists Z X such that Tx Tz and Ty Tz, and if S and T commute at their coincidence points, then we obtain uniqueness of the common fixed point. Proof. Define the mapping β : X X [0, ) by 1 if x y or x y β(x,y) = (4.3) 0 otherwise Clearly, the pair (S,T) is a generalized β φ contractive pair of mappings, that is, β(tx,ty)d(sx,sy) φ(m(tx,ty)) for all x,y X. Notice that in view of condition (i), we have β(tx 0,Sx 0 ) 1. Moreover, for all x,y X, from the T-monotone property of S, we have β(tx,ty) 1 Tx Ty or Tx Ty Sx Sy or Sx Sy β(sx,sy) 1 (4.4) which amounts to say that S is β-admissible w.r.t. T. Now, let Tx n be a sequence in X such that β(tx n,tx n+1 ) 1 for all n and Tx n Tz X as n. From the T-regularity hypothesis, there exists a subsequence Tx n(k) of Tx n such that Tx n(k) Tz for all k. So, by the definition of β, we obtain that β(tx n(k),tz) 1. Now, all the hypothesis of Theorem. are satisfied. Hence, we deduce that S and T have a coincidence point z, that is, Sz = Tz. By hypothesis, there exists z X such that Tx Tz and Ty Tz, which implies from the definition of β and β(tx,ty) 1 and β(ty,tz) 1. Thus, we deduce the existence and uniqueness of the common fixed point by Theorem.3. Corollary 4.6 Let (X, ) be a partially ordered set and d be a metric on X such that (X,d) is complete. Assume that S,T : X X be a non-decreasing mapping w.r.t.. Suppose that there exists a function φ Φ such that d(sx,sy) φ(d(tx,ty))
Fixed Point Theorems for Generalized β φ contractive Pair of Mappings11 for all x,y X with Tx Ty. Suppose also that the following conditions hold; (i) there exists x 0 X such that Tx 0 Sx 0 : (ii) (X,,d) is T- regular. Also, suppose T(X) is closed. Then, S and T have a coincidence point. Moreover, if for every pair (x,y) C(T,S) C(T,S) there exists z X such that Tx Tz and Ty Tz and if S and T commute at their coincidence points, then we obtain uniqueness of the common fixed point. References 1. Banach, S.: Surles operations dans les ensembles abstraits et leur applications aux equations itegrates, Fundamenta Mathematics 3, 133-181(19).. Bhaskar, T. G., Lakshmikantham, V.: Fixed Point Theory in partially ordered metric spaces and applications, Nonlinear Analysis 65, 1379-1393(006). 3. Branciari, A.: A fixed point theorem for mappings satisfying a general contractive condition of integral type, Int. J. Math. Math. Sci. 9, 531-536(00). 4. Caccioppoli, R.: Un teorema generale sullesistenza di elementi uniti in una transformazione funzionale, Rendicontilincei: Mathematica E Applicazioni. 11, 794-799(1930). (in Italian). 5. Ciric, L., Cakic, N., Rajovic, M., Ume, J. S.: Monotone generalized nonlinear contractions in partially ordered metric spaces, Fixed Point Theory Appl. 008(008), Article ID 13194, 11 pages. 6. Kannan, R.: Some results on fixed points, Bull. Calcutta. Math. Soc. 10, 71-76(1968). 7. Karapinar, E., Samet, B.: Generalized α ψ contractive type mappings and related fixed point theorems with applications, Abstract and Applied Analysis 01 Article ID 793486, 17 pages doi: 10.1155/01/793486. 8. Lakshmikantham, V., Ciric, L.: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces, Nonlinear Analysis 70, 4341-4349(009). 9. Nieto, J. J., Lopez, R. R.: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations, Order, 3-39(005). 10. Saadati, R., Vaezpour, S. M.: Monotone generalized weak contractions in partially ordered metric spaces, Fixed Point Theory 11, 375-38(010). 11. Samet, B., Vetro, P.: Fixed point theorem for α ψ contractive type mappings, Nonlinear Anal. 75, 154-165(01). 1. Shahi, P., Kaur, J., Bhatia, S. S.: Coincidence and common fixed point results for generalized α ψ contractive type mappings with applications, arxiv:1306.3498v1 [math.fa] 14 jun 013. 13. Khojasteh F., Shukla S., Radenovic S.: A new approach to the study of?xed point theory for simulation functions, Filomat. 9, 1189-1194.1(015). 14. Argoubi H., Samet B., Vetro C.: Nonlinear contractions involving simulation functions in a metric space with a partial order, J. Nonlinear Sci. Appl. 8, 108-1094.1, 1.8. 1.9(015).
1 Manoj Kumar, Rashmi Sharma Manoj Kumar, Department of Mathematics, Lovely Professional University, Phagwara, Punjab, India. E-mail address: manojantil18@gmail.com, manoj.19564@lpu.co.in and Rashmi Sharma, Department of Mathematics, Lovely Professional University, Phagwara, Punjab, India. E-mail address: rashmisharma.lpu@gmail.com