We prove some common fixed point theorems for two pairs of weakly compatible mappings satisfying a rational type contractive condition in the framework of complex valued metric spaces. The proved results generalize and extend some of the known results in the literature.
1. Introduction and Preliminaries
The famous Banach contraction principle states that if (X,d) is a complete metric space and T:X→X is a contraction mapping (i.e., d(Tx,Ty)≤kd(x,y) for all x,y∈X, where k is a nonnegative number such that k<1), then T has a unique fixed point. This principle is one of the cornerstones in the development of nonlinear analysis. Fixed point theorems have applications not only in the different branches of mathematics, but also in economics, chemistry, biology, computer science, engineering, and others. Due to its importance, generalizations of Banach’s contraction principle have been investigated heavily by several authors. Fixed point and common fixed point theorems for different types of nonlinear contractive mappings have been investigated extensively by various researchers (see [1–35] and references cited therein).
Recently, Azam et al. [1] introduced the complex valued metric space, which is more general than the well-known metric spaces. Many researchers have obtained fixed point, common fixed point, coupled fixed point, and coupled common fixed point results in partially ordered metric spaces, complex valued metric spaces, and other spaces. In this paper, we prove some common fixed point theorems for two pairs of weakly mappings satisfying a contractive condition of rational type in the framework of complex valued metric spaces. The proved results generalize and extend some of the results in the literature.
To begin with, we recall some basic definitions, notations, and results.
The following definitions of Azam et al. [1] are needed in the sequel.
Let ℂ be the set of complex numbers, and let z1,z2∈ℂ. Define a partial order ≤ on ℂ as follows:
(1)z1≤z2iffRe(z1)≤Re(z2),Im(z1)≤Im(z2).
It follows that z1≤z2 if one of the following conditions is satisfied:
Re(z1)=Re(z2), and Im(z1)<Im(z2);
Re(z1)<Re(z2), and Im(z1)=Im(z2);
Re(z1)<Re(z2), and Im(z1)<Im(z2);
Re(z1)=Re(z2), and Im(z1)=Im(z2).
In particular, we will write z1≨z2 if z1≠z2 and one of (1), (2), and (3) is satisfied, and we will write z1<z2 if only (3) is satisfied.
Note. We obtained that the following statements hold:
a,b∈ℝ and a≤b⇒az≤bz, for all z∈ℂ;
0≤z1≰z2⇒|z1|<|z2|;
z1≤z2 and z2<z3 imply z1<z3.
Definition 1.
Let X be a nonempty set. Suppose that the mapping d:X×X→ℂ satisfies the following conditions:
0≤d(x,y) for all x,y∈X and d(x,y)=0 if and only if x=y;
d(x,y)=d(y,x) for all x,y∈X;
d(x,y)≤d(x,z)+d(z,y) for all x,y,z∈X.
Then, d is called a complex valued metric on X, and (X,d) is called a complex valued metric space.
Example 2.
Let X=ℂ. Define a mapping d:X×X→ℂ by
(2)d(z1,z2)=eik|z1-z2|,
where k∈[0,π/2]. Then, (X,d) is a complex valued metric space.
A point x∈X is called an interior point of a set A⊆X whenever there exists 0<r∈ℂ such that B(x,r)={y∈X:d(x,y)<r}⊆A. A subset A in X is called open, whenever each point of A is an interior point of A. The family F={B(x,r):x∈X,0<r} is a subbasis for a Hausdorff topology on X.
A point x∈X is called a limit point of A, whenever for every 0<r∈ℂ, B(x,r)∩(A∖X)≠∅. A subset B⊆X is called closed, whenever each limit point of B belongs to B.
Let {xn} be a sequence in X and x∈X. If for every c∈ℂ, with 0<c, there is n0∈ℕ such that for all n>n0, d(xn,x)<c, then x is called the limit of {xn}, and we write limn→∞xn=x.
If for every c∈ℂ, with 0<c, there is an n0∈ℕ such that for all n>n0, d(xn,xn+m)<c, then {xn} is called a Cauchy sequence in (X,d). If every Cauchy sequence is convergent in (X,d), then (X,d) is called a complete complex valued metric space.
Lemma 3 (see [1]).
Let (X,d) be a complex valued metric space and {xn} a sequence in X. Then, {xn} converges to x if and only if |d(xn,x)|→0 as n→∞.
Lemma 4 (see [1]).
Let (X,d) be a complex valued metric space and {xn} a sequence in X. Then, {xn} is a Cauchy sequence if and only if |d(xn,xn+m)|→0 as n→∞.
Let M be a nonempty subset of a metric space (X,d). Let S and T be mappings from a metric space (X,d) into itself. A point x∈M is a common fixed (resp., coincidence) point of S and T if x=Sx=Tx (resp., Sx=Tx). The set of fixed points (resp., coincidence points) of S and T is denoted by F(S,T) (resp., C(S,T)).
In 1986, Jungck [22] introduced the more generalized commuting mappings in metric spaces, called compatible mappings, which also are more general than the concept of weakly commuting mappings (i.e., the mappings S,T:X→X are said to be weakly commuting if d(STx,TSx)≤d(Sx,Tx) for all x∈X) introduced by Sessa [28].
Definition 5.
Let S and T be mappings from a metric space (X,d) into itself. The mappings S and T are said to be compatible if
(3)limn→∞d(STxn,TSxn)=0
whenever {xn} is a sequence in X such that limn→∞Sxn=limn→∞Txn=z for some z∈X.
In general, commuting mappings are weakly commuting, and weakly commuting mappings are compatible, but the converses are not necessarily true, and some examples can be found in [22–24].
Definition 6.
The mappings S and T are said to be weakly compatible if they commute at coincidence points of S and T.
Definition 7.
Let T,S:X→X be two self-mappings of a complex valued metric space (X,d). The pair (T,S) is said to satisfy (E.A.) property (see [35]) if there exists a sequence {xn} in X such that limn→∞Txn=limn→∞Sxn=t, for some t∈X.
Pathak et al. [27] showed that weakly compatibility and (E.A.) property are independent of each other.
Definition 8.
The self mappings T and S from X to X are said to satisfy the common limit in the range of S property (CLRSproperty) (see [31]) if limn→∞Txn=limn→∞Sxn=Sx, for some x∈X.
Some recent papers related to (CLR) property and the complex valued metric spaces can be found in [1, 3, 27, 31–35] and references cited therein.
2. Main Results2.1. Common Fixed Point Theorem Using (E.A.) Property
In this section, we prove some common fixed point theorems using (E.A.) property in the complex valued metric spaces.
Theorem 9.
Let (X,d) be a complex valued metric space and A, B, S, T:X→X four self-mappings satisfying the following conditions:
A(X)⊆T(X), B(X)⊆S(X);
for all x,y∈X and 0<a<1,
(4)d(Ax,By)≤ad(Sx,Ax)d(Sx,By)+d(Ty,By)d(Ty,Ax)1+d(Sx,By)+d(Ty,Ax);
the pairs (A,S) and (B,T) are weakly compatible;
one of the pairs (A,S) or (B,T) satisfies (E.A.)-property.
If the range of one of the mappings S(X) or T(X) is a closed subspace of X, then the mappings A, B, S, and T have a unique common fixed point in X.
Proof.
First, we suppose that the pair (B,T) satisfies (E.A.) property. Then, by Definition 7 there exists a sequence {xn} in X such that limn→∞Bxn=limn→∞Txn=t for some t∈X.
Further, since B(X)⊆S(X), there exists a sequence {yn} in X such that Bxn=Syn. Hence, limn→∞Syn=t. We claim that limn→∞Ayn=t. Let limn→∞Ayn=t1≠t, then putting x=yn, y=xn in condition (ii), we have
(5)d(Ayn,Bxn)≤ad(Syn,Ayn)d(Syn,Bxn)+d(Txn,Bxn)d(Txn,Ayn)1+d(Syn,Bxn)+d(Txn,Ayn).
Letting n→∞, we have
(6)d(t1,t)≤ad(t,t1)d(t,t)+d(t,t)d(t,t1)1+d(t,t)+d(t,t1).
Then, |d(t1,t)|≤0; hence, t1=t and that is, limn→∞Ayn=limn→∞Bxn=t.
Now suppose that S(X) is a closed subspace of X, then t=Su for some u∈X. Subsequently, we have
(7)limn→∞Ayn=limn→∞Bxn=limn→∞Txn=limn→∞Syn=t=Su.
We claim that Au=Su. Put x=u and y=xn in contractive condition (ii), and we have
(8)d(Au,Bxn)≤ad(Su,Au)d(Su,Bxn)+d(Txn,Bxn)d(Txn,Au)1+d(Su,Bxn)+d(Txn,Au).
Letting n→∞ and using (7), we have
(9)d(Au,t)≤ad(t,Au)d(t,t)+d(t,t)d(t,Au)1+d(t,t)+d(t,Au).
Then, |d(Au,t)|≤0, which is contradiction. Hence, u is a coincidence point of (A,S).
Now the weak compatibility of pair (A,S) implies that ASu=SAu or At=St.
On the other hand, since A(X)⊆T(X), there exists v in X such that Au=Tv. Thus, Au=Su=Tv=t. Now, we show that v is a coincidence point of (B,T); that is, Bv=Tv=t. Put x=u, y=v in contractive condition (ii), and we have
(10)d(Au,Bv)≤ad(Su,Au)d(Su,Bv)+d(Tv,Bv)d(Tv,Au)1+d(Su,Bv)+d(Tv,Au),
or
(11)d(t,Bv)≤ad(t,t)d(t,Bv)+d(t,Bv)d(t,t)1+d(t,Bv)+d(t,t);
whence |d(t,Bv)|≤0, which is a contradiction. Thus, Bv=t. Hence, Bv=Tv=t, and v is the coincidence point of B and T.
Further, the weak compatibility of pair (B,T) implies that BTv=TBv, or Bt=Tt. Therefore, t is a common coincidence point of A, B, S, and T.
Now, we show that t is a common fixed point. Put x=u and y=t in contractive condition (ii), and we have
(12)d(t,Bt)=d(Au,Bt)≤ad(Su,Au)d(Su,Bt)+d(Tt,Bt)d(Tt,Au)1+d(Su,Bt)+d(Tt,Au),
or |d(t,Bt)|≤0, which is a contradiction. Thus, Bt=t. Hence, At=Bt=St=Tt=t.
Similar argument arises if we assume that T(X) is closed subspace of X. Similarly, the (E.A.)-property of the pair (A,S) will give a similar result.
For uniqueness of the common fixed point, let us assume that w is another common fixed point of A, B, S, and T. Then, put x=w, y=t in contractive condition (ii), and we have
(13)d(w,t)=d(Aw,Bt)≤ad(Sw,Aw)d(Sw,Bt)+d(Tt,Bt)d(Tt,Aw)1+d(Sw,Bt)+d(Tt,Aw),
or |d(w,t)|≤0, which is a contradiction. Thus, w=t. Hence, At=Bt=St=Tt=t, and t is the unique common fixed point of A, B, S, and T.
Remark 10.
(a) Continuity of mappings A, B, S, andT is relaxed in Theorem 9.
(b) Completeness of space X is relaxed in Theorem 9.
If A=B and S=T in Theorem 9, we have the following result.
Corollary 11.
Let (X,d) be a complex valued metric space and A,T:X→X self-mappings satisfying the following conditions:
A(X)⊆T(X);
for all x,y∈X and 0<a<1,
(14)d(Ax,Ay)≤ad(Tx,Ax)d(Tx,Ay)+d(Ty,Ay)d(Ty,Ax)1+d(Tx,Ay)+d(Ty,Ax);
the pair (A,T) is weakly compatible;
the pair (A,T) satisfies (E.A.)-property.
If the range of the mapping T(X) is a closed subspace of X, then A and T have a unique common fixed point in X.
Theorem 12.
Let (X,d) be a complex valued metric space and A, B, S, T:X→X four self-mappings satisfying the following conditions:
A(X)⊆T(X), B(X)⊆S(X);
for all x,y∈X and 0<a<1,
(15)d(Ax,By)≤{ad(Sx,Ax)d(Sx,By)+d(Ty,By)d(Ty,Ax)d(Sx,By)+d(Ty,Ax),ifD≠00,ifD=0,
where D=d(Sx,By)+d(Ty,Ax);
the pairs (A,S) and (B,T) are weakly compatible;
one of the pairs (A,S) or (B,T) satisfies (E.A.)-property.
If the range of one of the mappings S(X) or T(X) is a closed subspace of X, then the mappings A, B, S, and T have a unique common fixed point in X.
Proof.
Using the same arguments as in Theorem 9, we have the following result.
2.2. Fixed Point Theorem Using (CLR)-Property
In this section, we prove some common fixed point theorems using (CLR) property in the complex valued metric spaces.
Theorem 13.
Let (X,d) be a complex valued metric space and A, B, S, and T:X→X four self-mappings satisfying the following conditions:
A(X)⊆T(X), B(X)⊆S(X);
for all x,y∈X and 0<a<1,
(16)d(Ax,By)≤ad(Sx,Ax)d(Sx,By)+d(Ty,By)d(Ty,Ax)1+d(Sx,By)+d(Ty,Ax);
the pairs (A,S) and (B,T) are weakly compatible.
If the pair (A,S) satisfies (CLRA) property or (B,T) satisfies (CLRB) property, then A, B, S and T have a unique common fixed point in X.
Proof.
First, we suppose that the pair (B,T) satisfies (CLRB) property. Then, by Definition 8, there exists a sequence {xn} in X such that
(17)limn→∞Bxn=limn→∞Txn=Bx,
for some x∈X.
Further, since B(X)⊆S(X), we have Bx=Su, for some u∈X. We claim that Au=Su=t(say). Put x=u and y=xn in contractive condition (ii), and we have
(18)d(Au,Bxn)≤ad(Su,Au)d(Su,Bxn)+d(Txn,Bxn)d(Txn,Au)1+d(Su,Bxn)+d(Txn,Au);
letting n→∞ and using (17), we have
(19)d(Au,Bx)≤ad(Su,Au)d(Su,Bx)+d(Bx,Bx)d(Bx,Au)1+d(Su,Bx)+d(Bx,Au).
Then, |d(Au,Bx)|≤0, which is contradiction. Thus, Au=Su. Hence, Au=Su=Bx=t.
Now, the weak compatibility of pair (A,S) implies that, ASu=SAu or At=St.
Further, since A(X)⊆T(X), there exists v in X such that Au=Tv. Thus, Au=Su=Tv=t.
Now, we show that v is a coincidence point of (B,T) that is, Bv=Tv=t. Put x=u, y=v in contractive condition (ii), and we have
(20)d(Au,Bv)≤ad(Su,Au)d(Su,Bv)+d(Tv,Bv)d(Tv,Au)1+d(Su,Bv)+d(Tv,Au),
or
(21)d(t,Bv)≤ad(t,t)d(t,Bv)+d(t,Bv)d(t,t)1+d(t,Bv)+d(t,t);
whence |d(t,Bv)|≤0, which is a contradiction. Thus, Bv=t. Hence, Bv=Tv=t, and v is coincidence point of B and T.
Further, the weak compatibility of pair (B,T) implies that BTv=TBv, or Bt=Tt. Therefore, t is a common coincidence point of A, B, S, and T.
Now, we show that t is a common fixed point. Put x=u and y=t in contractive condition (ii), and we have
(22)d(t,Bt)=d(Au,Bt)≤ad(Su,Au)d(Su,Bt)+d(Tt,Bt)d(Tt,Au)1+d(Su,Bt)+d(Tt,Au),
or |d(t,Bt)|≤0, which is a contradiction. Thus, Bt=t. Hence, At=Bt=St=Tt=t. The uniqueness of the common fixed point follows easily.
In a similar way, the argument that the pair (A,S) satisfies property (CLRA) will also give the unique common fixed point of A, B, S and T. Hence the result follows.
Following the similar steps as in Theorem 13, we have the following result.
Theorem 14.
Let (X,d) be a complex valued metric space and A, B, S, and T:X→X four self-mappings satisfying the following conditions:
A(X)⊆T(X), B(X)⊆S(X);
for all x,y∈X and 0<a<1,
(23)d(Ax,By)≤{ad(Sx,Ax)d(Sx,By)+d(Ty,By)d(Ty,Ax)d(Sx,By)+d(Ty,Ax),ifD≠00,ifD=0,
where D=d(Sx,By)+d(Ty,Ax);
the pairs (A,S) and (B,T) are weakly compatible.
If the pair (A,S) satisfy (CLRA) property or (B,T) satisfies (CLRB) property, then A, B, S, and T have a unique common fixed point in X.
Remark 15.
In this paper, we used the (E.A.) property and CLR property to claim the existence of common fixed point of some rational type contraction mappings. (E.A.) property requires the condition of closedness of subspace. However, CLR property never requires any condition on closedness of subspace, continuity of one or more mappings and containment of ranges of involved mappings. So, CLR property is an interesting auxiliary tool to claim the existence of a common fixed point.
Acknowledgment
The authors are thankful to the learned referees for the very careful reading and valuable suggestions.
AzamA.FisherB.KhanM.Common fixed point theorems in complex valued metric spaces201132324325310.1080/01630563.2011.533046MR2748327BabuG. V. R.SubhashiniP.Coupled common fixed point theorems of Ciric type g-weak contractions with CLRg-propertyJournal of Nonlinear Analysis and Optimization: Theory and Applications. In pressBhattS.ChaukiyalS.DimriR. C.A common fixed point theorem for weakly compatible maps in complex valued metric spaces20111313851389MR2844589ChandokS.Some common fixed point theorems for generalized nonlinear contractive mappings201162103692369910.1016/j.camwa.2011.09.009MR2852091ChandokS.Common fixed points, invariant approximation and generalized weak contractions2012201211102980MR297470110.1155/2012/102980ChandokS.Some common fixed point theorems for Ciric type contraction mapping201243218720210.5556/j.tkjm.43.2012.187-202MR2948416ChandokS.Common fixed points for generalized nonlinear contractive mappings in metric spaces20136512934MR3001747ChandokS.Some common fixed point theorems for a pair of different compatible type mappings2013202ChandokS.Some common fixed point results for generalized weak contractive mappings in partially ordered metric spaces2013414552ChandokS.KhanM. S.RaoK. P. R.Some coupled common fixed point theorems for a pair of mappings satisfying a contractive condition of rational type without monotonicity201379–12433440MR3004305ChandokS.KimJ. K.Fixed point theorem in ordered metric spaces for generalized contractions mappings satisfying rational type expressions2012173301306ChandokS.LiangJ.O'ReganD.Common fixed points and invariant approximations for noncommuting contraction mappings in strongly convex metric spaces201314ChandokS.MustafaZ.PostolacheM.Coupled common fixed point theorems for mixed g-monotone mappings in partially ordered G-metric spacesUPB Scientific Bulletin A. In pressChandokS.NarangT. D.TaoudiM. A.Some common fixed point results in partially ordered metric spaces for generalized rational type contraction mappings10.1007/s10013-013-0024-4ChauhanS.SintunavaratW.KumamP.Common fixed point theorems for weakly compatible mappings in fuzzy metric spaces using (JCLR)-property20123997698210.4236/am.2012.39145ChauhanS.Fixed points of weakly compatible mappings in fuzzy metric spaces satisfying common limit in the range property2012543375397ChauhanS.BhatnagarS.RadenovicS.Common fixed point theorems for weakly compatible mappings infuzzy metric spacesLe Matematiche. In pressDiwanS. D.GuptaR.A common fixed point theorem for Gregus type mappingsThai Journal of Mathematics. In pressImdadM.PantB. D.ChauhanS.Fixed point theorems in Menger spaces using the CLRST property and applications201232225237MR2982410JainM.TasK.KumarS.GuptaN.Coupled fixed point theorems for a pair of weakly compatible maps along with CLRg-property in fuzzy metric spaces2012201213961210MR2959984JainM.KumarS.A common fixed point theorem in fuzzy metric space using the property (CLRg)Thai Journal of Mathematics. In pressJungckG.Compatible mappings and common fixed points19869477177910.1155/S0161171286000935MR870534JungckG.Compatible mappings and common fixed points. II198811228528810.1155/S0161171288000341MR939083JungckG.Common fixed points for commuting and compatible maps on compacta1988103397798310.2307/2046888MR947693JungckG.RhoadesB. E.Fixed point theorems for occasionally weakly compatible mappings200672287296MR2284600KumarM.KumarP.KumarS.Some common fixed point theorems using (CLRg)-property in cone metric spaces201223340356PathakH. K.Rodríguez-LópezR.VermaR. K.A common fixed point theorem of integral type using implicit relation2010151112MR2907492SessaS.On a weak commutativity condition of mappings in fixed point considerations19823246149153MR710984SintunavaratW.KumamP.Weak condition for generalized multi-valued (f,α,β)-weak contraction mappings201124446046510.1016/j.aml.2010.10.042MR2749727SintunavaratW.ChoY. J.KumamP.Common fixed point theorems for c-distance in ordered cone metric spaces20116241969197810.1016/j.camwa.2011.06.040MR2834821SintunavaratW.KumamP.Common fixed point theorems for a pair of weakly compatible mappings in fuzzy metric spaces201120111463795810.1155/2011/637958MR2822403SintunavaratW.KumamP.Generalized common fixed point theorems in complex valued metric spaces and applications20122012article 8410.1186/1029-242X-2012-84MR2922731SintunavaratW.KumamP.Common fixed points for R-weakly commuting in fuzzy metric spaces201258238940610.1007/s11565-012-0150-zMR2996467SintunavaratW.ChoY. J.KumamP.Urysohn integral equations approach by common fixed points in complex valued metric spaces20132013article 49VermaR. K.PathakH. K.Common fixed point theorems using property (E.A) in complex-vauled metric spacesThai Journal of Mathematics. In press