We prove some common fixed point theorems for two pairs of weakly compatible mappings in 2-metric spaces via an implicit relation. As an application to our main result, we derive Bryant's type generalized fixed point theorem for four finite families of self-mappings which can be utilized to derive common fixed point theorems involving any finite number of mappings. Our results improve and extend a host of previously known results. Moreover, we study the existence of solutions of a nonlinear integral equation.
1. Introduction and Preliminaries
In 1963, Gähler [1] initiated the concept of 2-metric space as a natural generalization of a metric space. The topology induced by 2-metric space is called 2-metric topology which is generated by the set of all open spheres with two centers (see [2, 3]). In this course of development, Iséki [4] studied the fixed point theorems in 2-metric spaces. For more references on the recent development of common fixed point theory in 2-metric spaces, we refer readers to [5–19].
In metric fixed point theory, implicit relations are often utilized to cover several contraction conditions in one go rather than proving a separate theorem for each contraction condition. The first ever attempt to coin an implicit function can be traced back to Popa [20]. Recently, Popa et al. [21] proved some interesting fixed point results for weakly compatible mappings in 2-metric spaces satisfying an implicit relation.
In this paper, utilizing the implicit function due to Popa et al. [21], we prove some common fixed point theorems for two pairs of weakly compatible mappings employing common limit range property. In process, many known results (especially the ones contained in Popa et al. [21, 22]) are enriched and improved. Some related results are also derived. Finally, we study the existence of solutions of a nonlinear integral equation using the presented results.
A 2-metric space is a set X equipped with a real valued function d on X3 which satisfies the following conditions:
For distinct points x,y∈X, there exists a point z∈X such that d(x,y,z)≠0.
d(x,y,z)=0 if at least two of x, y, z are equal.
d(x,y,z)=d(x,z,y)=d(y,z,x), for all x,y,z∈X.
d(x,y,z)≤d(x,y,u)+d(x,u,z)+d(u,y,z), for all x,y,z,u∈X.
The function d is called a 2-metric on the set X whereas the pair (X,d) stands for 2-metric space. Geometrically a 2-metric d(x,y,z) represents the area of a triangle with vertices x, y, and z.
It has been known since Gähler [1] that a 2-metric d is a nonnegative continuous function in any one of its three arguments but it does not need that to be continuous in two arguments. A 2-metric d is said to be continuous if it is continuous in all of its arguments. Throughout this paper d stands for a continuous 2-metric.
Definition 1.
A sequence {xn} in a 2-metric space (X,d) is said to be
convergent to a point x∈X, denoted by limn→∞xn=x, if limn→∞(xn,x,z)=0 for all z∈X;
Cauchy sequence if limn,m→∞d(xn,xm,z)=0 for all z∈X.
A 2-metric space (X,d) is said to be complete if every Cauchy sequence in X is convergent.
In 1986, Jungck [23] introduced the notion of compatible mappings and utilized the same (as a tool) to improve commutativity conditions due to Sessa [24] in common fixed point theorems. However, the study of common fixed points of noncompatible mappings is also equally interesting which has been initiated by Pant [25, 26]. Jungck [27] introduced the notion of weakly compatible mappings in ordinary metric spaces and proved common fixed point theorems under minimal commutativity requirement. In recent years, using this idea several general common fixed point theorems have been proved in metric spaces.
Definition 2.
Let A,S:X→X be two self-mappings of a 2-metric space (X,d). Then the pair (A,S) is said to be
compatible [28] if limn→∞d(ASxn,SAxn,a)=0 for all a∈X, whenever {xn} is a sequence in X such that limn→∞Axn=limn→∞Sxn=t, for some t∈X;
noncompatible [22] if there exists a sequence {xn} in X such that limn→∞Axn=limn→∞Sxn=t for some t∈X but limn→∞d(ASxn,SAxn,a) for at least one a∈X is either nonzero or nonexistent;
weakly compatible [29] if they commute at their coincidence points; that is, ASu=SAu whenever Au=Su, for some u∈X.
For more details on systematic comparisons and illustrations of earlier described notions, we refer readers to [28, 29].
Inspired by the work of Aamri and El Moutawakil [30], Popa et al. [22] studied the notion of property (E.A) in the settings of 2-metric spaces.
Definition 3.
A pair (A,S) of self-mappings of a 2-metric space (X,d) is said to satisfy the property (E.A) if there exists a sequence {xn} in X such that
(1)limn→∞d(Axn,Sxn,a)=0,
for all a∈X.
In 2005, Liu et al. [31] defined the notion of common property (E.A) for hybrid pairs of mappings which contains the property (E.A).
Definition 4.
Two pairs (A,S) and (B,T) of self-mappings of a 2-metric space (X,d) are said to satisfy the common property (E.A), if there exist two sequences {xn} and {yn} in X such that
(2)limn→∞d(Axn,t,a)=limn→∞d(Sxn,t,a)=limn→∞d(Byn,t,a,)=limn→∞d(Tyn,t,a)=0,
for all a∈X and some t∈X.
Notice that the recent results, contained in Popa et al. [22] proved for weakly compatible mappings under the property (E.A), always require the completeness of the underlying subspace for the existence of common fixed point. In 2011, Sintunavarat and Kumam [32] introduced the notion of “common limit range property” which relaxes the requirement on completeness (or closedness) of the underlying subspaces (also see [33–35]). Since then, Imdad et al. [36, 37] extended the notion of common limit range property to two pairs of self-mappings and proved common fixed point theorems in Menger and metric spaces, respectively.
Now we define the notion of common limit range property in 2-metric spaces as follows.
Definition 5.
A pair (A,S) of self-mappings of a 2-metric space (X,d) is said to satisfy the common limit range property with respect to mapping S, denoted by (CLRS), if there exists a sequence {xn} in X such that
(3)limn→∞d(Axn,t,a)=limn→∞d(Sxn,t,a)=0,
where t∈S(X) and for all a∈X.
Thus, one can infer that a pair (A,S) satisfying the property (E.A) along with closedness of the subspace S(X) always enjoys the (CLRS) property with respect to the mapping S (see [36, Examples 2.16-2.17]).
Definition 6.
Two pairs (A,S) and (B,T) of self-mappings of a 2-metric space (X,d) are said to satisfy the common limit range property with respect to mappings S and T, denoted by (CLRST), if there exist two sequences {xn} and {yn} in X such that
(4)limn→∞d(Axn,t,a)=limn→∞d(Sxn,t,a)=limn→∞d(Byn,t,a)=limn→∞d(Tyn,t,a)=0,
where t∈S(X)∩T(X) and for all a∈X.
Definition 7 (see [38]).
Two families of self-mappings {Ai}i=1m and {Sk}k=1n are said to be pairwise commuting if
AiAj=AjAi for all i,j∈{1,2,…,m},
SkSl=SlSk for all k,l∈{1,2,…,n},
AiSk=SkAi for all i∈{1,2,…,m} and k∈{1,2,…,n}.
2. Implicit Functions
Let ℱ be the set of all lower semicontinuous functions F:ℝ+6→ℝ satisfying the following conditions:
F(u,0,0,u,u,0)≤0 implies u=0,
F(u,0,u,0,0,u)≤0 implies u=0,
F(u,u,0,0,u,u)≤0 implies u=0.
The following examples are furnished in Popa et al. [21] establishing the utility of the preceding definition. Another examples can be found in Pathak et al. [39].
Example 8.
Define F(t1,t2,t3,t4,t5,t6):ℝ+6→ℝ as
(5)F(t1,t2,t3,t4,t5,t6)=t1-kmax{t2,t3,t4,t5+t62},
where k∈(0,1).
Example 9.
Define F(t1,t2,t3,t4,t5,t6):ℝ+6→ℝ as
(6)F(t1,t2,t3,t4,t5,t6)=t12-t1(αt2+βt3+γt4)-ηt5t6,
where α>0, β,γ,η≥0, α+β+γ<1, and α+η<1.
Example 10.
Define F(t1,t2,t3,t4,t5,t6):ℝ+6→ℝ as
(7)F(t1,t2,t3,t4,t5,t6)=t13-αt12t2-βt1t3t4-γt52t6-ηt5t62,
where α>0, β,γ,η≥0, α+γ+η<1, and α+β<1.
Example 11.
Define F(t1,t2,t3,t4,t5,t6):ℝ+6→ℝ as
(8)F(t1,t2,t3,t4,t5,t6)=t13-αt32t42+t52t621+t2+t3+t4,
where α∈(0,1).
Example 12.
Define F(t1,t2,t3,t4,t5,t6):ℝ+6→ℝ as
(9)F(t1,t2,t3,t4,t5,t6)=t12-αt22-βt5t61+t32+t42,
where α>0, β≥0 and α+β<1.
Example 13.
Define F(t1,t2,t3,t4,t5,t6):ℝ+6→ℝ as
(10)F(t1,t2,t3,t4,t5,t6)={t1-a1t32+t42t3+t4-a2t2-a3(t5+t6),ift3+t4≠0,t1,ift3+t4=0,
where ai≥0 with at least one ai nonzero and a1+a2+2a3<1.
Example 14.
Define F(t1,t2,t3,t4,t5,t6):ℝ+6→ℝ as
(11)F(t1,t2,t3,t4,t5,t6)={t1-αt2-βt3t4+γt5t6t3+t4,ift3+t4≠0,t1,ift3+t4=0,
where α,β,γ≥0 such that 1<2α+β<2.
Example 15.
Define F(t1,t2,t3,t4,t5,t6):ℝ+6→ℝ as
(12)F(t1,t2,t3,t4,t5,t6)=t1-a1t2-a2t3-a3t4-a4t5-a5t6,
where ∑i=15ai<1.
Example 16.
Define F(t1,t2,t3,t4,t5,t6):ℝ+6→ℝ as
(13)F(t1,t2,t3,t4,t5,t6)=t1-α[{∑1}βmax{t2,t3,t4,t5+t62}+(1-β)×[max{t22,t3t4,t5t6,t3t62,t4t52}]1/2{∑1}],
where α∈(0,1) and 0≤β≤1.
Example 17.
Define F(t1,t2,t3,t4,t5,t6):ℝ+6→ℝ as
(14)F(t1,t2,t3,t4,t5,t6)=t12-αmax{t22,t32,t42}-βmax{t3t52,t4t62},
where α,β,γ≥0 and α+β+γ<1.
Example 18.
Define F(t1,t2,t3,t4,t5,t6):ℝ+6→ℝ as
(15)F(t1,t2,t3,t4,t5,t6)=t1-ϕ(max{t2,t3,t4,t5+t62}),
where ϕ:ℝ+→ℝ+ is an increasing upper semicontinuous function with ϕ(0)=0 and ϕ(t)<t for each t>0.
Example 19.
Define F(t1,t2,t3,t4,t5,t6):ℝ+6→ℝ as
(16)F(t1,t2,t3,t4,t5,t6)=t1-ϕ(max{t2,t3,t4,t5,t6}),
where ϕ:ℝ+→ℝ+ is upper semicontinuous and non-decreasing function in each coordinate variable such that ϕ(t,t,αt,βt,γt)<t for each t>0 and α,β,γ≥0 with α+β+γ≤3.
Example 20.
Define F(t1,t2,t3,t4,t5,t6):ℝ+6→ℝ as
(17)F(t1,t2,t3,t4,t5,t6)=t12-ϕ(t22,t3t4,t5t6,t3t6,t4t5),
where ϕ:ℝ+→ℝ+ is upper semicontinuous and non-decreasing function in each coordinate variable such that ϕ(t,t,αt,βt,γt)<t for each t>0 and α,β,γ≥0 with α+β+γ≤3.
Apart from earlier stated definitions, still there are many contractive definitions which meet the requirements (F1), (F2) and (F3) but due to paucity of the space we have not opted to include more examples.
3. Main Results
We begin with the following observation.
Lemma 21.
Let A, B, S, and T be self-mappings of a 2-metric space (X,d). Suppose that
the pair (A,S) satisfies the (CLRS) property (or (B,T) satisfies the (CLRT) property),
A(X)⊂T(X) (or B(X)⊂S(X)),
T(X) (or S(X)) is a closed subset of X,
{Byn} converges for every sequence {yn} in X whenever {Tyn} converges (or {Axn} converges for every sequence {xn} in X whenever {Sxn} converges),
there exists F∈ℱ such that (for all x,y∈X and a∈X)
(18)F(d(Ax,By,a),d(Sx,Ty,a),d(Ax,Sx,a),d(By,Ty,a),d(Sx,By,a),d(Ty,Ax,a))≤0.
Then the pairs (A,S) and (B,T) share the (CLRST) property.
Proof.
Since the pair (A,S) satisfies the (CLRS) property with respect to mapping S, there exists a sequence {xn} in X such that
(19)limn→∞d(Axn,t,a)=limn→∞d(Sxn,t,a)=0,
where t∈S(X). As A(X)⊂T(X), for each sequence {xn} there exists a sequence {yn} in X such that Axn=Tyn. Therefore, due to closedness of T(X),
(20)limn→∞d(Tyn,t,a)=limn→∞d(Axn,t,a)=0,
where t∈S(X)∩T(X). Thus in all, we have Axn→t, Sxn→t, and Tyn→t as n→∞. By (4), the sequence {Byn} converges, and in all, we need to show that Byn→t as n→∞. On using inequality (18) with x=xn, y=yn, we have
(21)F(d(Axn,Byn,a),d(Sxn,Tyn,a),d(Axn,Sxn,a),d(Byn,Tyn,a),d(Sxn,Byn,a),d(Tyn,Axn,a))≤0.
Let on contrary Byn→t′(≠t) as n→∞. Then, taking limit as n→∞, we get
(22)F(d(t,t′,a),d(t,t,a),d(t,t,a),d(t′,t,a),d(t,t′,a),d(t,t,a))≤0,
or
(23)F(d(t,t′,a),0,0,d(t′,t,a),d(t,t′,a),0)≤0,
yielding thereby d(t,t′,a)=0 for all a∈X (due to (F1)). Hence Byn→t, which shows that the pairs (A,S) and (B,T) share the (CLRST) property. This concludes the proof.
Remark 22.
In general, the converse of Lemma 21 is not true (see [36, Example 3.5]).
Now, we state and prove our main result for two pairs of weakly compatible mappings satisfying the (CLRST) property.
Theorem 23.
Let A, B, S, and T be self-mappings of a metric space (X,d) satisfying the inequality (18) (of Lemma 21). If the pairs (A,S) and (B,T) share the (CLRST) property, then (A,S) and (B,T) have a coincidence point each. Moreover, A, B, S, and T have a unique common fixed point provided both the pairs (A,S) and (B,T) are weakly compatible.
Proof.
Since the pairs (A,S) and (B,T) share the (CLRST) property, there exist two sequences {xn} and {yn} in X such that
(24)limn→∞d(Axn,t,a)=limn→∞d(Sxn,t,a)=limn→∞d(Byn,t,a)=limn→∞d(Tyn,t,a)=0,
where t∈S(X)∩T(X). Since t∈S(X), there exists a point u∈X such that Su=t. We show that Au=t. On using inequality (18) with x=u and y=yn, we get
(25)F(d(Au,Byn,a),d(Su,Tyn,a),d(Au,Su,a),d(Byn,Tyn,a),d(Su,Byn,a),d(Tyn,Au,a))≤0,
which on making n→∞, reduces to
(26)F(d(Au,t,a),d(t,t,a),d(Au,t,a),d(t,t,a),d(t,t,a),d(t,Au,a))≤0,
or
(27)F(d(Au,t,a),0,d(Au,t,a),0,0,d(t,Au,a))≤0,
implying thereby d(Au,t,a)=0 for all a∈X (due to (F2)). Hence Au=Su=t which shows that u is a coincidence point of the pair (A,S).
As t∈T(X), there exists a point v∈X such that Tv=t. We assert that Bv=Tv. On using inequality (18) with x=u, y=v, we get
(28)F(d(Au,Bv,a),d(Su,Tv,a),d(Au,Su,a),d(Bv,Tv,a),d(Su,Bv,a),d(Tv,Au,a))≤0,
which reduces to
(29)F(d(t,Bv,a),d(t,t,a),d(t,t,a),d(Bv,t,a),d(t,Bv,a),d(t,t,a))≤0,
or
(30)F(d(t,Bv,a),0,0,d(Bv,t,a),d(t,Bv,a),0)≤0,
yielding thereby d(t,Bv,a)=0 for all a∈X (due to (F1)). Hence Bv=Tv=t, which shows that v is a coincidence point of the pair (B,T).
Since the pair (A,S) is weakly compatible and Au=Su, hence At=ASu=SAu=St. Now, we assert that t is a common fixed point of the pair (A,S). On using inequality (18) with x=t, y=v, we have
(31)F(d(At,Bv,a),d(St,Tv,a),d(At,St,a),d(Bv,Tv,a),d(St,Bv,a),d(Tv,At,a))≤0,
or
(32)F(d(At,t,a),d(At,t,a),0,0,d(At,t,a),d(t,At,a))≤0,
implying thereby d(At,t,a)=0 for all a∈X (due to (F3)). Hence At=t=St which shows that t is a common fixed point of the pair (A,S).
Also the pair (B,T) is weakly compatible and Bv=Tv, then Bt=BTv=TBv=Tt. On using inequality (18) with x=u and y=t, we have
(33)F(d(Au,Bt,a),d(Su,Tt,a),d(Au,Su,a),d(Bt,Tt,a),d(Su,Bt,a),d(Tt,Au,a))≤0,
or
(34)F(d(t,Bt,a),d(t,Bt,a),0,0,d(t,Bt,a),d(Bt,t,a))≤0,
yielding thereby d(t,Bt,a)=0 for all a∈X (due to (F3)). Therefore, Bt=t=Tt which shows that t is a common fixed point of the pair (B,T). Hence t is a common fixed point of both the pairs (A,S) and (B,T).
To prove the uniqueness, let z be another common fixed point of A, B, S, and T. On using inequality (18) with x=t and x=z, we have
(35)F(d(At,Bz,a),d(St,Tz,a),d(At,St,a),d(Bz,Tz,a),d(St,Bz,a),d(Tz,At,a))≤0,
or
(36)F(d(t,z,a),d(t,z,a),d(t,t,a),d(z,z,a),d(t,z,a),d(z,t,a))≤0,
or
(37)F(d(t,z,a),d(t,z,a),0,0,d(t,z,a),d(z,t,a))≤0,
implying thereby d(t,z,a)=0 for all a∈X (due to (F3)). Hence t=z. This concludes the proof.
Remark 24.
Theorem 23 improves the corresponding result contained in Popa et al. [21, Theorem 4.1] as completeness (or closedness) of the underlying subspaces is not required.
Now, we present an example which demonstrates the validity of the hypotheses and degree of generality of our main result over comparable ones from the existing literature.
Example 25.
Let (X,d) be a metric space wherein X=[1,19) equipped with usual metric d(x,y)=|x-y|. Define a 2-metric on X by d(x,y,z)=min{|x-y|,|y-z|,|z-x|}, for all x,y,z∈X. Also the self-mappings A, B, S, and T are defined by A(x)=B(x)=1,
(38)S(x)={1,ifx=1,3,ifx∈(1,4],x+15,ifx∈(4,19),T(x)={1,ifx=1,15,ifx∈(1,4],x-3,ifx∈(4,19).
Then we have S(X)=[1,4) and T(X)=[1,16). Consider the implicit function F(t1,t2,t3,t4,t5,t6):(ℝ+)6→ℝ given by
(39)F(t1,t2,t3,t4,t5,t6)=t1-kmax{t2,t3,t4,t5+t62},
where k∈(0,1). By a routine calculation, one can verify the following inequality for all x,y∈X,a∈X, and k∈(0,1):
(40)d(Ax,By,a)-kmax{{d(Sx,By,a)+d(Ty,Ax,a)2}d(Sx,Ty,a),d(Ax,Sx,a),d(By,Ty,a),d(Sx,By,a)+d(Ty,Ax,a)2}≤0.
Now, if we choose two sequences as {xn}={4+1/n}n∈ℕ, {yn}={1} (or {xn}={1}, {yn}={4+1/n}n∈ℕ), then the pairs (A,S) and (B,T) satisfy the (CLRST) property. In fact
(41)limn→∞d(Axn,1,a)=limn→∞d(Sxn,1,a)=limn→∞d(Byn,1,a)=limn→∞d(Tyn,1,a)=0,
where 1∈S(X)∩T(X). Thus all the conditions of Theorem 23 are satisfied and 1 is a unique common fixed point of the pairs (A,S) and (B,T) which also remains a point of coincidence as well.
Notice that in the context of this example, S(X) and T(X) are not complete (or closed) subsets of X; therefore, Theorem 4.1 of Popa et al. [21] cannot be used in the context of this example which establishes the genuineness of our extension.
Theorem 26.
Let A, B, S, and T be self-mappings of a 2-metric space (X,d) satisfying all the hypotheses of Lemma 21. Then A, B, S, and T have a unique common fixed point provided both the pairs (A,S) and (B,T) are weakly compatible.
Proof.
In view of Lemma 21, the pairs (A,S) and (B,T) enjoy the (CLRST) property so that there exist two sequences {xn} and {yn} in X such that
(42)limn→∞d(Axn,t,a)=limn→∞d(Sxn,t,a)=limn→∞d(Tyn,t,a)=limn→∞d(Byn,t,a)=0,
where t∈S(X)∩T(X). The rest of the proof can be completed on the lines of the proof of Theorem 23; therefore, we omit the details.
The following example demonstrates the utility of Theorem 26 over Theorem 23.
Example 27.
In the setting of Example 25, replace the self-mappings S and T by the following, besides retaining the rest:
(43)S(x)={1,ifx=1,4,ifx∈(1,4],x+15,ifx∈(4,19),T(x)={1,ifx=1,16,ifx∈(1,4],x-3,ifx∈(4,19).
Then, like earlier example, the pairs (A,S) and (B,T) enjoy the (CLRST) property. Consider the implicit function F(t1,t2,t3,t4,t5,t6):(ℝ+)6→ℝ given by
(44)F(t1,t2,t3,t4,t5,t6)=t1-kmax{t2,t3,t4,t5+t62},
which yields the inequality
(45)d(Ax,By,a)-kmax{{d(Sx,By,a)+d(Ty,Ax,a)2}d(Sx,Ty,a),d(Ax,Sx,a),d(By,Ty,a),d(Sx,By,a)+d(Ty,Ax,a)2}≤0,
for all x,y∈X,a∈X and k∈(0,1). Clearly, inequality (45) holds true. Also, S(X)=[1,4], T(X)=[1,16] and the pairs (A,S) and (B,T) commute at 1 which is also their common coincidence point as well. Thus all the conditions of Theorem 26 are satisfied and 1 is a unique common fixed point of the involved mappings A, B, S, and T.
Here, it can be pointed out that Theorem 23 is not applicable to this example as both S(X), T(X) are complete subspaces of X; this demonstrates the situational utility of Theorem 26 over Theorem 23.
Corollary 28.
The conclusions of Lemma 21, Theorems 23 and 26 remain true if inequality (18) is replaced by one of the following contractive conditions, for all x,y∈X, a∈X(46)d(Ax,By,a)≤kmax{{12}d(Sx,Ty,a),d(Ax,Sx,a),d(By,Ty,a),12[d(Sx,By,a)+d(Ty,Ax,a)]},
where k∈(0,1);
(47)d2(Ax,By,a)≤d(Ax,By,a)×[αd(Sx,Ty,a)+βd(Ax,Sx,a)+γd(By,Ty,a)]+ηd(Sx,By,a)d(Ty,Ax,a),
where α>0, β,γ,η≥0, α+β+γ<1 and α+η<1;
(48)d3(Ax,By,a)≤αd2(Ax,By,a)d(Sx,Ty,a)+β(Ax,By,a)d(Ax,Sx,a)d(By,Ty,a)+γd2(Sx,By,a)d(Ty,Ax,a)+ηd(Sx,By,a)d2(Ty,Ax,a),
where α>0, β,γ,η≥0, α+β<1 and α+γ+η<1;
(49)d3(Ax,By,a)≤α({(1+d(Sx,Ty,a)+d(Sx,Ax,a)+d(Ty,By,a))-1}(d2(Ax,Sx,a)d2(By,Ty,a)+d2(Sx,By,a)d2(Ty,Ax,a))×({+d(Sx,Ax,a)+d(Ty,By,a))-1}1+d(Sx,Ty,a)+d(Sx,Ax,a)+d(Ty,By,a){d2})-1),
where α∈(0,1);
(50)d2(Ax,By,a)≤αd2(Sx,Ty,a)+βd(Sx,By,a)d(Ty,Ax,a)1+d2(Ax,Sx,a)+d2(By,Ty,a),
where α>0, β≥0 and α+β<1;
(51)d(Ax,By,a)≤a1d2(Ax,Sx,a)+d2(By,Ty,a)d(Ax,Sx,a)+d(By,Ty,a)+a2d(Sx,Ty,a)+a3(d(Sx,By,a)+d(Ty,Ax,a)),
where ai≥0 with at least one ai nonzero and a1+a2+2a3<1;
(52)d(Ax,By,a)≤αd(Sx,Ty,a)+({∑1}(βd(Ax,Sx,a)d(By,Ty,a)+γd(Sx,By,a)d(Ty,Ax,a))×(d(Ax,Sx,a)+d(By,Ty,a))-1{∑1}),
where α,β,γ≥0 such that 1<2α+β<2;
(53)d(Ax,By,a)≤a1d(Sx,Ty,a)+a2d(Ax,Sx,a)+a3d(By,Ty,a)+a4d(Sx,By,a)+a5d(Ty,Ax,a),
where ∑i=15ai<1;
(54)d(Ax,By,a)≤α[{12d(By,Ty,a)d(Sx,By,a)}]1/2}βmax{{12}d(Sx,Ty,a),d(Ax,Sx,a),d(By,Ty,a),12[d(Sx,By,a)+d(Ty,Ax,a)]}+(1-β)×[{12}max{{12}d2(Sx,Ty,a),d(Ax,Sx,a)d(By,Ty,a),d(Sx,By,a)d(Ty,Ax,a),12d(Ax,Sx,a)d(Ty,Ax,a),12d(By,Ty,a)d(Sx,By,a)}{12}]1/2],
where α∈(0,1) and 0≤β≤1;
(55)d2(Ax,By,a)≤αmax{d2(Sx,Ty,a),d2(Ax,Sx,a),d2(By,Ty,a)}+βmax{12d(Ax,Sx,a)d(Sx,By,a),12d(By,Ty,a)d(Ty,Ax,a)}+γd(Sx,By,a)d(Ty,Ax,a),
where α,β,γ≥0 and α+β+γ<1;
(56)d(Ax,By,a)≤ϕ(max{{12}d(Sx,Ty,a),d(Ax,Sx,a),d(By,Ty,a),12[d(Sx,By,a)+d(Ty,Ax,a)]}),
where ϕ:ℝ+→ℝ+ is an increasing upper semicontinuous function with ϕ(0)=0 and ϕ(t)<t for each t>0;
(57)d(Ax,By,a)≤ϕ(max{d(Sx,Ty,a),d(Ax,Sx,a),d(By,Ty,a),d(Sx,By,a),d(Ty,Ax,a)}),
where ϕ:ℝ+→ℝ+ is an upper semicontinuous and non-decreasing function in each coordinate variable such that ϕ(t,t,αt,βt,γt)<t for each t>0 and α,β,γ≥0 with α+β+γ≤3;
(58)d2(Ax,By,a)≤ϕ({12}d2(Sx,Ty,a),d(Ax,Sx,a)d(By,Ty,a),d(Sx,By,a)d(Ty,Ax,a),d(Ax,Sx,a)d(Ty,Ax,a),d(By,Ty,a)d(Sx,By,a){12}),
where ϕ:ℝ+→ℝ+ is an upper semicontinuous and non-decreasing function in each coordinate variable such that ϕ(t,t,αt,βt,γt)<t for each t>0 and α,β,γ≥0 with α+β+γ≤3.
Proof.
The proof of each of inequalities (46)–(58) easily follows from Theorem 23 in view of Examples 8–20.
Remark 29.
Corollary 28 improves and generalizes a multitude of well-known results especially those contained in [8–12, 15, 17, 21, 22, 28, 40–44] and others whereas some of these present 2-metric space version of certain existing results of literature (e.g., Chugh and Kumar [45], Ali and Imdad [46], Jeong and Rhoades [47], Hardy and Rogers [48], Lal et al. [49], and others) besides yielding some results which are seeming new to the literature.
By choosing A, B, S, and T suitably, we can deduce corollaries involving two as well as three self-mappings. For the sake of naturality, we only derive the following corollary involving a pair of self-mappings.
Corollary 30.
Let A and S be self-mappings of a 2-metric space (X,d). Suppose that
the pair (A,S) satisfies the (CLRS) property,
there exists F∈ℱ such that
(59)F(d(Ax,Ay,a),d(Sx,Sy,a),d(Ax,Sx,a),d(Ay,Sy,a),d(Sx,Ay,a),d(Sy,Ax,a))≤0,
for all x,y∈X and a∈X.
Then (A,S) has a coincidence point. Moreover, if the pair (A,S) is weakly compatible then the pair has a unique common fixed point in X.
As an application of Theorem 23, we state a Bryant’s [50] type generalized common fixed point theorem involving four finite families of self-mappings.
Theorem 31.
Let {Ai}i=1m, {Bj}j=1n, {Sk}k=1p, and {Tl}l=1q be four finite families of self-mappings of a 2-metric space (X,d) with A=A1A2⋯Am, B=B1B2⋯Bn, S=S1S2⋯Sp, and T=T1T2⋯Tq satisfying condition (18). Suppose that the pairs (A,S) and (B,T) enjoy the (CLRST) property; then (A,S) and (B,T) have a point of coincidence each.
Moreover {Ai}i=1m,{Bj}j=1n,{Sk}k=1p, and {Tl}l=1q have a unique common fixed point if the families ({Ai},{Sk}) and ({Bj},{Tl}) commute pairwise wherein i∈{1,2,…,m}, k∈{1,2,…,p}, j∈{1,2,…,n}, and l∈{1,2,…,q}.
Proof.
The proof of this theorem can be completed on the lines of the corresponding theorem of Imdad et al. [38].
Remark 32.
Note that
a result similar to Theorem 31 can be outlined in respect of Theorem 23;
Theorem 31 improves and extends the corresponding results contained in Popa et al. [22].
Now, we indicate that Theorem 31 can be utilized to derive common fixed point theorems for any finite number of mappings. As a sample, we derive the following theorem for five mappings by setting one family of two members while the rest are three, of single members.
Corollary 33.
Let A, B, R, S, and T be self-mappings of a 2-metric space (X,d). Suppose that
the pairs (A,SR) and (B,T) share the (CLR(SR)(T)) property,
there exists F∈ℱ such that
(60)F(d(Ax,By,a),d(SRx,Ty,a),d(Ax,SRx,a),d(By,Ty,a),d(SRx,By,a),d(Ty,Ax,a))≤0,
for all x,y∈X and a∈X.
Then (A,SR) and (B,T) have a coincidence point each. Moreover, A, B, R, S, and T have a unique common fixed point provided both pairs (A,SR) and (B,T) commute pairwise; that is, AS=SA, AR=RA, SR=RS, BT=TB.
Similarly, one can derive a common fixed point theorem for six mappings by setting two families of two members while the rest two are of single members.
Corollary 34.
Let A, B, H, R, S, and T be self-mappings of a 2-metric space (X,d). Suppose that
the pairs (A,SR) and (B,TH) share the (CLR(SR)(TH)) property,
there exists F∈ℱ such that
(61)F(d(Ax,By,a),d(SRx,THy,a),d(Ax,SRx,a),d(By,THy,a),d(SRx,By,a),d(THy,Ax,a))≤0,
for all x,y∈X and a∈X.
Then (A,SR) and (B,TH) have a coincidence point each. Moreover, A, B, H, R, S, and T have a unique common fixed point provided both of the pairs (A,SR) and (B,TH) commute pairwise; that is, AS=SA, AR=RA, SR=RS, BT=TB, BH=HB, and TH=HT.
By setting A1=A2=⋯=Am=A, B1=B2=⋯=Bn=B, S1=S2=⋯=Sp=S, and T1=T2=⋯=Tq=T in Theorem 31, we deduce the following.
Corollary 35.
Let A, B, S, and T be self-mappings of a 2-metric space (X,d). Suppose that
the pairs (Am,Sp) and (Bn,Tq) share the (CLRSpTq) property,
there exists F∈ℱ such that
(62)F(d(Amx,Bny,a),d(Spx,Tqy,a),d(Amx,Spx,a),d(Bny,Tqy,a),d(Spx,Bny,a),d(Tqy,Amx,a))≤0,
for all x,y∈X, a∈X and where m, n, p, q are fixed positive integers.
Then A, B, S, and T have a unique common fixed point provided AS=SA and BT=TB.
Remark 36.
Corollary 35 is a slight but partial generalization of Theorem 23 as the commutativity requirements (i.e., AS=SA and BT=TB) in this corollary are relatively stronger as compared to weak compatibility in Theorem 23.
Remark 37.
Results similar to Corollary 35 can be derived in respect of Theorem 23 and Corollary 28.
4. Application
Inspired by Pathak et al. [51], we study the existence of solutions of a nonlinear integral equation using the results proved in Section 3. Let X=C([0,∞),ℝ) be the set of continuous real valued functions defined on [0,∞) endowed with the metric given by
(63)ρ(x,y)=supt∈[0,∞)|x(t)-y(t)|∀x,y∈X.
Clearly, (X,ρ) is a complete metric space. Now, consider the integral equation:
(64)x(t)=u1(t)-u2(t)+α∫0th(t,s)f(s,x(s))ds+β∫0∞k(t,s)g(s,x(s))ds,
for all t∈[0,∞), where u1(t),u2(t)∈X with u1(t)≥u2(t) are known, h(t,s),k(t,s),g(s,x(s)),f(s,x(s))∈C([0,∞)×[0,∞),ℝ),α,β∈ℝ.
Now, we formulate our result.
Theorem 38.
Assume that the following hypotheses hold:
∫0∞sups∈[0,∞)|h(t,s)|dt≤1/(|α|+1) and ∫0∞sups∈[0,∞)|k(t,s)|dt≤1/(|β|+1);
for all s∈[0,∞) there exists K1>0 such that |f(s,x(s))-f(s,y(s))|≤K1|x(s)-y(s)|, for all x,y∈X;
for all s∈[0,∞), there exists K2>0 such that |g(s,x(s))-g(s,y(s))|≤K2|x(s)-y(s)|, for all x,y∈X;
K1+K2<1;
|α∫0th(t,s)f(s,x(s))ds-u2(t)-z(t)|≤(K1/(1-K2))|x(t)-z(t)-u1(t)-β∫0∞k(t,s)g(s,x(s))ds|, for all x,z∈X;
β∫0∞k(t,s)g(s,α∫0sh(s,r)f(r,x(r))dr+u1(s)-u2(s))ds=0, for all x∈X;
there exists a sequence {xn} in X such that limn→∞Axn=limn→∞Sxn=l∈A(X).
Then, the integral equation (64) has a unique solution in X.
Proof.
We consider the operators A,S:X→X defined by
(65)A(x)(t)=-u2(t)+α∫0th(t,s)f(s,x(s))ds,S(x)(t)=x(t)-u1(t)-β∫0∞k(t,s)g(s,x(s))ds.
It is easy to show that x is a solution to (64) if and only if x is a coincidence point of A and S. To establish the existence of such a point, we will use our Corollary 30. Then, we have to check that all the hypotheses of Corollary 30 are satisfied.
Firstly, suppose that d is the 2-metric on X given by d(x,y,z)=min{ρ(x,y),ρ(y,z),ρ(z,x)} for all x,y,z∈X. Since (X,ρ) is a complete metric space, then also (X,d) is complete. Next, we show that A(X)⊆S(X). In fact, by using hypothesis (f), for all x∈X we get
(66)S(A(x)(t)+u1(t))=A(x)(t)+u1(t)-u1(t)-β∫0∞k(t,s)g(s,A(x)(s)+u1(s))ds=A(x)(t)-β∫0∞k(t,s)×g({∫0s}s,-u2(s)+α∫0sh(s,r)f(r,x(r))dr+u1(s))ds=A(x)(t).
Therefore, from hypothesis (g) and containment of ranges, we deduce that the pair (A,S) satisfies the (CLRS) property. Now, by using hypotheses (a) and (b), for all x,y∈X and t∈[0,∞), we have
(67)|A(x)(t)-A(y)(t)|≤|α|∫0t|h(t,s)||f(t,x(s))-f(t,y(s))|ds≤|α|K1∫0t|h(t,s)||x(s)-y(s)|ds≤K1ρ(x,y).
Similarly, we get
(68)|S(x)(t)-S(y)(t)|=|{∫0∞}x(t)-y(t)-β∫0∞k(t,s)[g(s,x(s))-g(s,y(s))]ds{∫0∞}|≥|x(t)-y(t)|-|β|∫0∞|k(t,s)||g(s,x(s))-g(s,y(s))|ds≥|x(t)-y(t)|-|β|K2∫0∞|k(t,s)||x(s)-y(s)|ds≥|x(t)-y(t)|-K2supt∈[0,∞)|x(t)-y(t)|.
This implies easily
(69)ρ(S(x),S(y))≥(1-K2)ρ(x,y).
Therefore, combining opportunely (67) and (69), we obtain
(70)ρ(A(x),A(y))≤K11-K2ρ(S(x),S(y)),
for all x,y∈X. Moreover, using hypothesis (e) and after routine calculations (omitted) we obtain
(71)ρ(A(x),z)≤K11-K2ρ(S(x),z),
for all x,z∈X. Then, from (70), (71), and hypothesis (d), we conclude that condition (53) is satisfied with A=B, S=T, a1=K1/(1-K2)<1 and a2=a3=a4=a5=0.
Now, applying Corollary 30, where inequality (59) is replaced by inequality (53), we obtain the existence of a solution to (64).
On the lines of the proof of Theorem 4.1 in [51], one can show that hypothesis (f) also implies that the pair (A,S) is weakly compatible. Thus, from Corollary 30 we obtain the uniqueness of the solution to (64).
Acknowledgment
The authors are grateful to all anonymous referees for their fruitful comments on the paper.
GählerS.2-metrische Räume und ihre topologische Struktur196326115148MR016222410.1002/mana.19630260109ZBL0117.16003GählerS.Über die Uniformisierbarkeit (A)-metrischer Räume1964-196528235244MR017845210.1002/mana.19640280309GählerS.Zur Geometrie 2-metrischer Räume196611665667MR0202112IsékiK.Fixed point theorem in 2-metric spaces1975314MR0405395Abd El-MonsefM. E.Abu-DoniaH. M.Abd-RabouKh.New types of common fixed point theorems in 2-metric spaces20094131435144110.1016/j.chaos.2008.06.005MR2537612ZBL1198.54073Abd-RabouK.Common fixed point theorems for six mappings with some weaker conditions in 2-metric spaces201239199112MR2978495ChiK. P.ThuyH. T.A fixed point theorem in 2-metric spaces for a class of maps that satisfy a contractive condition dependent on an another function201031433834610.1134/S1995080210040050MR2745744ZBL1254.54057ChoY. J.KhanM. S.SinghS. L.Common fixed points of weakly commuting mappings198818112914210.1134/S1995080210040050MR2745744ZBL1254.54057ConstantinA.Common fixed points of weakly commuting mappings in 2-metric spaces1991363507514MR1109238GajićL.On common fixed point for compatible mappings of (A) type on metric and 2-metric spaces199610177186MR1448503ImdadM.KhanM. S.KhanM. D.A common fixed point theorem in (A)-metric spaces1991365907914MR1128442IsékiK.SharmaP. L.SharmaB. K.Contraction type mapping on (A)-metric space19762116770MR0423324KhanM. S.SwalehM.Results concerning fixed points in (A)-metric spaces1984294519525MR759442NaiduS. V. R.Some fixed point theorems in metric and 2-metric spaces2001281162563610.1155/S016117120101064XMR1892319ZBL1001.47037NaiduS. V. R.Rajendra PrasadJ.Fixed point theorems in (A)-metric spaces1986178974993MR856334ZBL0607.54029PiaoY.Unique common fixed point of a family of self-maps with same type contractive condition in 2-metric space200824431632010.1007/s10496-008-0316-9MR2471860ZBL1199.54235SinghS. L.TiwariB. M. L.GuptaV. K.Common fixed points of commuting mappings in (A)-metric spaces and an application19809529329710.1002/mana.19800950126MR592902TanD.LiuZ.KimJ. K.Common fixed points for compatible mappings of type (P) in 2-metric spaces200382215232MR1994703ZBL1034.54019WangW.-Z.Common fixed points for compatible mappings of type(A) in 2-metric spaces20002219197MR1779205ZBL0983.54046PopaV.Some fixed point theorems for compatible mappings satisfying an implicit relation1999321157163MR1691726ZBL0926.54030PopaV.ImdadM.AliJ.Using implicit relations to prove unified fixed point theorems in metric and 2-metric spaces2010331105120MR2603344ZBL1186.54041PopaV.ImdadM.AliJ.Fixed point theorems for a class of mappings governed by strictly contractive implicit function2010345941952MR2746761ZBL1240.54140JungckG.Compatible mappings and common fixed points. II198811228528810.1155/S0161171288000341MR939083ZBL0647.54035SessaS.On a weak commutativity condition of mappings in fixed point considerations198232149153MR710984ZBL0523.54030PantR. P.Common fixed points of four mappings1998904281286MR1697238ZBL0936.54043PantR. P.A common fixed point theorem under a new condition1999302147152MR1681592ZBL0919.54035JungckG.Common fixed points for noncontinuous nonself maps on nonmetric spaces199642199215MR1426938ZBL0928.54043MurthyP. P.ChangS. S.ChoY. J.SharmaB. K.Compatible mappings of type (A) and common fixed point theorems1992322203216MR1203935ZBL0771.54039Abu-DoniaH. M.AtiaM. A.Common fixed points theorem in 2-metric spaces2007-2008AamriM.El MoutawakilD.Some new common fixed point theorems under strict contractive conditions2002270118118810.1016/S0022-247X(02)00059-8MR1911759ZBL1008.54030LiuY.WuJ.LiZ.Common fixed points of single-valued and multivalued maps2005193045305510.1155/IJMMS.2005.3045MR2206083ZBL1087.54019SintunavaratW.KumamP.Common fixed point theorems for a pair of weakly compatible mappings in fuzzy metric spaces201120111463795810.1155/2011/637958MR2822403ZBL1226.54061SinghS. L.PantB. D.ChauhanS.Fixed point theorems in non-Archimedean Menger PM-spaces201232153160MR2982403SintunavaratW.KumamP.Common fixed points for R-weakly commuting in fuzzy metric spaces201258238940610.1007/s11565-012-0150-zMR2996467VermaR. K.PathakH. K.Common fixed point theorems using property (E.A) in complex-valued metric spacesThai Journal of Mathematics. In pressImdadM.PantB. D.ChauhanS.Fixed point theorems in Menger spaces using the (CLRST) property and applications201232225237MR2982410ImdadM.ChauhanS.KadelburgZ.Fixed point theorems for mappings with common limit range property satisfying generalized (ψ; ϕ)-weak contractive conditions20137, article 1610.1186/2251-7456-7-16ImdadM.AliJ.TanveerM.Coincidence and common fixed point theorems for nonlinear contractions in Menger PM spaces20094253121312910.1016/j.chaos.2009.04.017MR2562820ZBL1198.54076PathakH. K.Rodríguez-LópezR.VermaR. K.A common fixed point theorem using implicit relation and property (E.A) in metric spaces200721221123410.2298/FIL0702211PMR2360891ZBL1141.54018HusainS. A.SehgalV. M.On common fixed points for a family of mappings1975132261267MR043610710.1017/S000497270002445XZBL0323.54038ImdadM.KumarS.KhanM. S.Remarks on some fixed point theorems satisfying implicit relations2002111135143MR1971330ZBL1033.54025KhanM. S.FisherB.Some fixed point theorems for commuting mappings198210632332610.1002/mana.19821060127MR675765ZBL0501.54031KhanM. S.ImdadM.A common fixed point theorem for a class of mappings1983141012201227MR720454ZBL0533.54031NaiduS. V. R.Rajendra PrasadJ.Common fixed points for four self-maps on a metric space1985161010891103MR810712ZBL0581.54028ChughR.KumarS.Common fixed points for weakly compatible maps2001111224124710.1007/BF02829594MR1836370ZBL0986.54056AliJ.ImdadM.An implicit function implies several contraction conditions200842269285MR2483851ZBL1180.54052JeongG. S.RhoadesB. E.Some remarks for improving fixed point theorems for more than two maps199728911771196MR1605447ZBL0912.47031HardyG. E.RogersT. D.A generalization of a fixed point theorem of Reich197316201206MR0324495ZBL0266.54015LalS. N.MurthyP. P.ChoY. J.An extension of Telci, Tas and Fisher's theorem1996334891908MR1424199ZBL0928.54041BryantV. W.A remark on a fixed-point theorem for iterated mappings196875399400MR0226621ZBL0163.44801PathakH. K.KhanM. S.TiwariR.A common fixed point theorem and its application to nonlinear integral equations200753696197110.1016/j.camwa.2006.08.046MR2333339ZBL1126.45003