 Review
 Open Access
 Published:
A comparison of various noncommuting conditions in metric fixed point theory and their applications
Fixed Point Theory and Applications volume 2014, Article number: 38 (2014)
Abstract
This paper presents a survey that aims to provide a brief historical account of the development through the definitions and comparison of weaker forms of commuting mappings set brought together from some applications oriented point of view.
MSC:47H10, 54H25, 41A50.
1 Introduction and preliminaries
In 1957, Isbel [1] (see also [2]) posed an interesting problem: If {\{{f}_{n}\}}_{n\in \mathbb{N}} is a family of commuting continuous selfmappings of [0,1] then do there exist common fixed points for \{{f}_{n}\}? It was only in 1969 that Boyce [3] and Huneke [4] independently proved that there exist two continuous commuting selfmappings of the unit interval [0,1] without a common fixed point.
The wellknown Banach contraction principle states that if a selfmapping f of a complete metric space (X,d) satisfies the condition

(i)
d(fx,fy)\le kd(x,y), 0\le k<1,
for each x,y\in X, then f has a unique fixed point, that is, there exists a unique z\in X such that f(z)=z.
A fixed point of a selfmapping of a metric space X can also be considered to be a common fixed point of f with the identity mapping on X. An innate question that comes up in this context is whether the identity mapping can be replaced by another selfmapping g of X to obtain common fixed points of f and g. In 1968, Goebel [5] studied this problem and obtained the following coincidence theorem.
Theorem 1.1 Let A be an arbitrary set and X be a metric space with the metric d. Suppose, moreover, that f, g are two mappings defined on the set A with the values in X. If f(A)\subseteq g(A), g(A) is a complete subspace of X and for all x,y\in A:

(i)
d(fx,fy)\le kd(gx,gy), 0\le k<1,
then f and g have a coincidence point, that is, there exists z\in A such that f(z)=g(z).
The condition (i) of Theorem 1.1 appears to have been studied first by Machuca [6] in 1967 under some heavy topological conditions (see also [5, 7]).
It may be observed that the conclusion of Theorem 1.1 is not true (take A=X) if we drop completeness of g(A). This can be seen by the following example.
Example 1.2 [8]
Let X=[2,20] and let d be the usual metric on X. Define selfmappings f and g on X as follows:
Then f and g satisfy the following conditions of Theorem 1.1, but they do not have a coincidence point:

(i)
fA=(2,5]\cup \{6\}, gA=(2,7]\cup \{12\} and fA\subseteq gA, for A=X;

(ii)
f and g satisfy contraction condition d(fx,fy)\le \frac{3}{5}d(gx,gy).
Fixed point theorems are statements containing sufficient conditions that ensure the existence of a fixed point. Therefore, one of the central concerns in fixed point theory is to find a minimal set of sufficient conditions which guarantee a fixed point or a common fixed point as the case may be. Common fixed point theorems for contractive type mappings necessarily require a commutativity condition, a condition on the ranges of the mappings, continuity of one or more mappings besides a contractive condition. And every significant fixed point or common fixed point theorem attempts to weaken or obtain a necessary version of one or more of these conditions [9].
In 1976, using condition (i) of Theorem 1.1, Jungck [10] obtained common fixed point for commuting mappings by using a constructive procedure of sequence of iterates.
Theorem 1.3 [10]
Let (X,d) be a complete metric space and let f and g be commuting selfmaps of X satisfying the conditions:

(i)
fX\subseteq gX;

(ii)
d(fx,fy)\le kd(gx,gy), for all x,y\in X and some 0\le k<1.
If g is continuous then f and g have a unique common fixed point.
The essence of Jungck’s theorem has been used by several workers to obtain interesting common fixed point theorems for both commuting and noncommuting pairs of mappings satisfying contractive type conditions. The constructive technique of Jungck’s theorem has been further improved and extended by various researchers to establish common fixed point theorems for three mappings, four mappings and sequence of mappings (see also [11–17]).
Generalizations of Jungck’s contraction condition have been extensively used to study common fixed points of contractive mappings. If f and g are two selfmappings of a metric space (X,d), general contractive conditions assume the following form.

(a)
ϕtype contractive condition (in the sense of Boyd and Wong [18]);
d(fx,fy)\le \varphi (d(gx,gy)),
where \varphi :{\mathbb{R}}^{+}\to {\mathbb{R}}^{+} is such that ϕ is upper semicontinuous from the right and \varphi (t)<t for each t>0.
(b) Given \u03f5>0 there exists a \delta >0 such that
Condition (b) is also referred to as a MeirKeeler type (\u03f5,\delta ) contractive condition [19]. It can easily be seen that if f and g satisfy (b) then f and g also satisfy the contractive condition
In some results the contractive condition (b) has been replaced by a slightly weaker contractive condition of the following form.

(c)
Given \u03f5>0 there exists a \delta >0 such that
\u03f5<d(gx,gy)<\u03f5+\delta \phantom{\rule{1em}{0ex}}\Rightarrow \phantom{\rule{1em}{0ex}}d(fx,fy)\le \u03f5.
Jachymski [20] has shown that the contractive condition (c) implies (b) but not conversely.
In the setting of common fixed point theorems, the MeirKeeler type (\u03f5,\delta ) contractive condition alone is not sufficient to guarantee the existence of a common fixed point. While assuming the (\u03f5,\delta ) contractive condition, the existence of a common fixed point is ensured either by imposing some additional restriction on δ or by assuming some additional condition besides the (\u03f5,\delta ) contractive condition or by imposing strong conditions on the continuity of mappings (for references see [9, 21–28]).
In 1982, Sessa gave the weaker version of the commutativity condition, namely the weakly commuting condition. In subsequent years Jungck [29, 30], Tivari and Singh [31], Pathak [32, 33], Jungck et al. [34], Jungck and Pathak [35], Pant [36], Pathak et al. [37], AlThagafi and Shahzad [38], Hussain et al. [39], Pant and Bisht [40], Bisht and Shahzad [41], and many others have considered several generalizations of commuting mappings or weaker notions of commutativity, see Table 1. Now, it has been shown that weak compatibility is the minimal noncommuting condition for the existence of common fixed points of contractive type mapping pairs. In recent works several authors claimed to introduce some weaker noncommuting notions and showed that their introduced noncommuting conditions contain weak compatibility as a proper subclass. This is, however, of no use when searching for common fixed points. In fact most of the generalized commutativity notions fall in the subclass of weak compatibility in the setting of a unique common fixed point (or unique point of coincidence). These generalizations are novel but for their actual applications one should go beyond contractive conditions, since contractive conditions do not allow for more than one point of coincidence or fixed point.
In 2010, Haghi et al. [68] presented the following lemma, which is a consequence of the axiom of choice, and they showed that some coincidence point and common fixed point generalizations in fixed point theory are not real generalizations as they could easily be obtained from the corresponding fixed point theorems. Therefore, one should take care in obtaining real generalizations in fixed point theory (for more details see [68]).
Lemma 1.4 [68]
Let X be a nonempty set and f:X\to X a function. Then there exists a subset E\subset X such that f(E)=f(X) and f:E\to X is onetoone.
2 Comparison of weaker forms of commuting mappings
Let f and g be selfmappings of a set X. If w=fx=gx for some x in X, then x is called a coincidence point of f and g, and w is called a point of coincidence (POC) of f and g. The set of coincidence points (CP) of f and g will be denoted by C(f,g). Let PC(f,g) represent the set of points of coincidence of f and g. A point x\in X is a common fixed point of f and g if x=fx=gx. The set of all common fixed points of f and g is denoted by F(f,g).
Two selfmappings f and g of a metric space (X,d) are said to be commuting iff fgx=gfx for all x in X.
The study of common fixed points of pair of selfmappings satisfying contractive type conditions becomes interesting in view of the fact that even commuting continuous mappings on such nicely behaved entities as compact convex sets may fail to have a coincidence or common fixed point. When we extend such studies to the class of noncommuting contractive type mapping pair, it becomes still more interesting [36].
The first ever attempt to relax the commutativity of mappings to a smaller subset of the domain of mappings was initiated by Sessa [42] who in 1982 gave the notion of weak commutativity.
Definition 2.1 (Sessa [42])
Two selfmappings f and g of a metric space (X,d) are called weakly commuting iff d(fgx,gfx)\le d(fx,gx) for all x in X.
Notice that commuting mappings are obviously weakly commuting. However, a weakly commuting mappings need not be commuting.
Example 2.2 Let X=[0,1] be equipped with the usual metric d on X. Define constant mappings f and g:X\to X by
Then f and g are weakly commuting but not commuting since d(fgx,gfx)=ab=d(fx,gx).
In order to enlarge the domain of noncommuting mappings, Pathak [32, 33] obtained several new classes of noncommuting notions, namely, weak^{∗} commuting, weak^{∗∗} commuting mappings.
Definition 2.3 (Pathak [32])
Two selfmappings f and g of a metric space (X,d) are called weak^{∗} commuting iff d(fgx,gfx)\le d({f}^{2}x,{g}^{2}x) for all x in X.
Definition 2.4 (Pathak [33])
Two selfmappings f and g of a metric space (X,d) are called weak^{∗∗} commuting iff fX\subset gX and, for any x\in X,
It is easy to check that commuting mappings are weak^{∗} commuting and weak^{∗∗} commuting. The following example shows that the reverse implication does not hold.
Example 2.5 [32]
Consider X=[0,1] with the usual metric d on X. Define f,g:X\to X by
Then f and g are weak^{∗} commuting and weak^{∗∗} commuting but f and g are not commuting mappings.
Remark 2.6 Notice that if {f}^{2}=f and {g}^{2}=g, then weak^{∗} commutativity or weak^{∗∗} commutativity reduces to weak commutativity.
Definition 2.7 (Pathak [43])
Two selfmappings f and g of a metric space (X,d) are called weakly uniformly contraction mappings iff d(fgx,ggx)\le d(fx,gx) and d(ffx,gfx)\le d(fx,gx) for all x in X.
In view of Example 2.5, we remark that commuting mappings are weakly uniformly contraction mappings. However, weakly uniformly contraction mappings need not be weakly commuting.
In 1986, Jungck generalized the concept of weak commutativity by introducing the notion of compatible mappings [30] also called asymptotically commuting mappings by Tivari and Singh [31] in an independent work. In [16] it has been shown that two continuous selfmappings of a compact metric space are compatible iff they commute on their set of coincidence points.
Definition 2.8 (Jungck [30], Tivari and Singh [31])
Two selfmappings f and g of a metric space (X,d) are called compatible or asymptotically commuting iff {lim}_{n}d(fg{x}_{n},gf{x}_{n})=0, whenever \{{x}_{n}\} is a sequence in X such that {lim}_{n}f{x}_{n}={lim}_{n}g{x}_{n}=t for some t in X.
Clearly, weakly commuting mappings are compatible, but in view of Example 2.9 the converse does not hold.
Example 2.9 [30]
Let X=[0,\mathrm{\infty}) and d be the usual metric on X. Define f,g:X\to X by
Then d(fgx,gfx)>d(fx,gx). Therefore f and g are not weakly commuting mappings. However, f and g are compatible mappings.
Remark 2.10 Notice that the notions of weak commutativity and compatibility differ in one respect. Weak commutativity is essentially a point property, while the notion of compatibility uses the machinery of sequences.
Remark 2.11 In a review of [30] Singh (Math. Rev. 89h:54030, see also [36]) has shown that for a pair of weakly commuting mappings on a metric space (X,d), there may not exist even a single sequence \{{x}_{n}\} in X for which {lim}_{n}f{x}_{n}={lim}_{n}g{x}_{n}=t for some t in X. In this case the mappings f and g are still compatible. The following example shows that in this situation they can be weakly commuting.
Example 2.12 Let X=[0,\mathrm{\infty}) and d be the usual metric on X. Define f,g:X\to X by
Then f and g are weakly commuting mappings but there does not exist even a single sequence for which the condition of compatibility is satisfied. However, fgx=gfx=1+x, i.e., d(fgx,gfx)=0. Hence f and g may be called vacuously compatible mappings.
Singh and Tomar [7] has also shown by an example that weak commutativity of a pair of selfmappings f and g on a metric space (X,d) depends on the choice of the metric. This is true for compatibility as well.
Example 2.13 [7]
Let X=[0,\mathrm{\infty}) be endowed with the usual metric. Define f,g:X\to X by
Then d(fgx,gfx)=2x and d(fx,gx)=({x}^{2}x+1). One may observe that f and g are not weakly commuting on X with respect to the usual metric. But if X is endowed with the discrete metric d, then d(fgx,gfx)=1=d(fx,gx) for x>0. So, f and g are weakly commuting on X when endowed with the discrete metric.
Ever since the introduction of compatibility, the study of common fixed points has developed around compatible maps and its weaker forms and it has become an area of vigorous research activity. However, fixed point theory for noncompatible mappings is equally interesting and Pant [69] has initiated some work along these lines. One can establish fixed point theorems for such mappings pairs not only under nonexpansive conditions but also under Lipschitz type conditions even without using the usual contractive method of proof. The best examples of noncompatible maps are found among pairs of mappings which are discontinuous at their common fixed point [69]. It may be observed that the mappings f and g are said to be noncompatible if there exists a sequence \{{x}_{n}\} in X such that for some t in X but {lim}_{n}d(fg{x}_{n},gf{x}_{n}) is either nonzero or nonexistent.
Definition 2.14 [70]
Two selfmappings f and g of a metric space (X,d) are said to satisfy the (E.A.) property if there exists a sequence \{{x}_{n}\} in X such that
It may be observed that the (E.A.) property is equivalent to the previously known notion of tangential mappings introduced by Sastry et al. [55].
If f and g are both noncompatible then they do satisfy the (E.A.) property. In fact the notion of the (E.A.) property circumvents the most crucial part of fixed point theorems consisting of constructive procedures yielding a Cauchy sequence. On the other hand the (E.A.) property enables us to study the existence of common fixed point of nonexpansive or Lipschitz type conditions in the setting of noncomplete metric spaces.
Sintunavarat and Kumam [71] introduced an interesting property, namely the common limit in the range property (in short {\mathit{CLR}}_{g}) which completely buys the condition of closedness of the ranges of the involved mappings and has an edge over the (E.A.) property (see also [72–77]).
Two selfmappings f and g of a metric space (X,d) are said to be satisfy the common limit in the range of g property (in short {\mathit{CLR}}_{g}) if there exists a sequence \{{x}_{n}\} in X such that
It is important to note that in the setting of metric spaces, there is no general method for the study of common fixed points of nonexpansive or Lipschitz type mappings. The notions of noncompatibility, the (E.A.) property and ({\mathit{CLR}}_{g}) property are well suited for studying common fixed points of strict contractive conditions, nonexpansive type mapping pairs or Lipschitz type mapping pairs in ordinary metric spaces, which are not even complete.
Definition 2.16 (Singh and Mishra [44])
If for {x}_{0}\in X there exists a sequence \{{x}_{n}\} in X such that f{x}_{n+1}=g{x}_{n}, n=0,1,2,\dots , then O(g,f;{x}_{0})=\{f{x}_{n}:n=0,1,2,\dots \} is an orbit for g and f. Maps f and g are weakly {x}_{0}preorbitally commuting iff there exists a positive integer N such that d(fg{x}_{n},gf{x}_{n})\le d(f{x}_{n},g{x}_{n}) for every \{{x}_{n}\} (n\ge N) occurring in O(g,f;{x}_{0}).
Weakly commuting mappings are preorbitally commuting but the converse is not true in general.
Example 2.17 [79]
Let X=[0,\mathrm{\infty}) and d be the usual metric on X. Define f,g:X\to X by
Then d(fgx,gfx)>d(fx,gx), i.e., f and g are not weakly commuting but f and g are preorbitally commuting mappings (e.g., take \{{x}_{n}\}=0).
Definition 2.18 Two selfmappings f and g of a metric space (X,d) are called:

(i)
compatible of type (A) (Jungck et al. [34]) iff
\underset{n}{lim}d(ff{x}_{n},gf{x}_{n})=0\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}\underset{n}{lim}d(fg{x}_{n},gg{x}_{n})=0, 
(ii)
compatible of type (B) (Pathak et al. [46]) iff
\underset{n}{lim}d(fg{x}_{n},gg{x}_{n})\le \frac{1}{2}[\underset{n}{lim}d(fg{x}_{n},ft)+\underset{n}{lim}d(ft,ff{x}_{n})]
and

(iii)
compatible of type (C) (Pathak et al. [52]) iff
\underset{n}{lim}d(fg{x}_{n},gg{x}_{n})\le \frac{1}{3}[\underset{n}{lim}d(fg{x}_{n},ft)+\underset{n}{lim}d(ft,ff{x}_{n})+\underset{n}{lim}d(ft,gg{x}_{n})]
and
whenever \{{x}_{n}\} is a sequence in X such that {lim}_{n}f{x}_{n}={lim}_{n}g{x}_{n}=t for some t in X.
Proposition 2.19 [80]
Let f and g be continuous mappings from a metric space (X,d) into itself. Then the following are equivalent:

(i)
f and g are compatible of type (A),

(ii)
f and g are compatible of type (B),

(iii)
f and g are compatible of type (C),

(iv)
f and g are compatible.
It is clear to see that compatible mappings of type (A) ⟹ compatible of type (B) ⟹ compatible of type (C), but the converse is not true in general.
Example 2.20 [80]
Let X=[1,20] and d be the usual metric on X. Define f,g:X\to X as follows:
It may be observed that f and g are compatible of type (C) but neither compatible nor compatible of type (A) nor compatible of type (B) (consider the sequence \{{x}_{n}\} given by {x}_{n}=7+\frac{1}{n}:n>0).
Example 2.21 [8]
Let X=[2,12] and d be the usual metric on X. Define f,g:X\to X as follows:
It may be observed that f and g are compatible mappings of type (A), but neither commuting nor compatible mappings. To see this let us consider the sequence \{{x}_{n}\} given by {x}_{n}=5+\frac{1}{n}:n>0. Then f{x}_{n}\to 2, g{x}_{n}\to 2, fg{x}_{n}=gg{x}_{n}\to 12, gf{x}_{n}=ff{x}_{n}\to 2, {lim}_{n}d(fg{x}_{n},gg{x}_{n})={lim}_{n}d(ff{x}_{n},gf{x}_{n})=0 and {lim}_{n}d(fg{x}_{n},gf{x}_{n})={lim}_{n}d(ff{x}_{n},gg{x}_{n})\ne 0.
Examples 2.21 and 2.22 (below) show that the notions of compatible mappings and compatible of type (A) are independent to each other.
Example 2.22 [81]
Let X=\mathbb{R} equipped with the usual metric d. Define selfmappings f and g as follows:
Then for the sequence \{{x}_{n}\}=1+\frac{1}{n+1} we get {lim}_{n}f{x}_{n}={lim}_{n}g{x}_{n}=1, {lim}_{n}d(fg{x}_{n},gf{x}_{n})=0, but {lim}_{n}d(ff{x}_{n},gf{x}_{n})\ne 0, {lim}_{n}d(gf{x}_{n},gg{x}_{n})\ne 0 and {lim}_{n}d(ff{x}_{n},gg{x}_{n})\ne 0. Therefore f and g are compatible but not compatible of type (A).
Definition 2.23 (Pant [36])
Two selfmappings f and g of a metric space (X,d) are called Rweakly commuting iff there exists some positive real number R such that d(fgx,gfx)\le Rd(fx,gx) for all x in X.
Notice that weak commutativity of a pair of selfmappings implies their Rweak commutativity and the converse is true only when R\le 1.
Example 2.24 [36]
Let X=[1,\mathrm{\infty}) be endowed with the usual metric. Define f,g:X\to X by
Then d(fgx,gfx)=2d(fx,gx). Thus f and g are Rweakly commuting (R=2) but are not weakly commuting.
Definition 2.25 (Pathak et al. [50])
Two selfmappings f and g of a metric space (X,d) are called:

(i)
Rweakly commuting of type ({A}_{f}) iff there exists some positive real number R such that d(fgx,ggx)\le Rd(fx,gx) for all x in X.

(ii)
Rweakly commuting of type ({A}_{g}) iff there exists some positive real number R such that d(ffx,gfx)\le Rd(fx,gx) for all x in X.
It may be observed that definition (ii) can be obtained from definition (i) by interchanging the role of f and g. Further, Rweakly commuting pair of selfmappings are independent of Rweakly commuting of type ({A}_{f}) or type ({A}_{g}). Example 2.24 shows that d(fgx,ggx)>Rd(fx,gx) for each x>1 and some R>0 (e.g., say R=4). Thus f and g are Rweakly commuting but not Rweakly commuting of type ({A}_{f}).
The next example shows that f and g are Rweakly commuting of type ({A}_{f}) but not Rweakly commuting mappings.
Example 2.26 [50]
Let X=[1,2] equipped with the usual metric d. Define selfmappings f and g on X as follows:
In this example f and g are Rweakly commuting pair ({A}_{f}) for R=6 but not Rweakly commuting mappings [50]. Thus Rweakly commuting mappings and Rweakly commuting of ({A}_{f}) or ({A}_{g}) mappings are independent to each other.
It may be noted that both compatible and noncompatible mappings can be Rweakly commuting of type ({A}_{g}) or ({A}_{f}).
Example 2.27 [82]
Let X=[1,\mathrm{\infty}) be endowed with the usual metric. Define f,g:X\to X by
Then it can be verified in this example that f and g are compatible. Furthermore, f and g are Rweakly commuting of type ({A}_{f}) with R=3 and Rweakly commuting of type ({A}_{g}) with R=2.
Example 2.28 [8]
Let X=[2,20] and d be the usual metric on X. Define f,g:X\to X as follows:
It may be observed that f and g are Rweakly commuting of type ({A}_{g}) since d(gfx,ggx)\le d(fx,gx) for all x\in X. To see that f and g are noncompatible, let us consider a sequence \{{x}_{n}\} given by {x}_{n}=5+\frac{1}{n}:n>0. Then f{x}_{n}\to 2, g{x}_{n}\to 2, fg{x}_{n}\to 12, gf{x}_{n}\to 2, and {lim}_{n}d(fg{x}_{n},gf{x}_{n})\ne 0.
Definition 2.29 [83]
Two selfmappings f and g of a metric space (X,d) are called Rweakly commuting of type (P) iff there exists some positive real number R such that d(ffx,ggx)\le Rd(fx,gx) for all x in X.
The next example depicts when two mappings representing parallel straight lines on the real plane shall be commuting, weakly commuting, Rweakly commuting or analogous definitions of Rweakly commuting mappings.
Example 2.30 [9]
Let X=\mathbb{R} equipped with the usual metric d. Define selfmappings f and g as follows:
Then d(fgx,gfx)=d(ffx,ggx)=m1\cdot ab, d(ffx,gfx)=d(fgx,ggx)=ab and d(fx,gx)=ab. Thus f and g will be:

(i)
commuting if m=1,

(ii)
weakly commuting if 0\le m\le 2,

(iii)
Rweakly commuting or Rweakly commuting of type (P) if m1\ge 1.
Remark 2.31 If f and g are Rweakly commuting or Rweakly commuting ({A}_{f}) or Rweakly commuting of type ({A}_{g}) or Rweakly commuting (P) and if z is their coincidence point, i.e., fz=gz, then we get ffz=fgz=gfz=ggz. Thus at a coincidence point, all the analogous notions of Rweak commutativity including Rweak commutativity are equivalent to each other and imply their commutativity.
Definition 2.32 (Jungck and Pathak [35])
Two selfmappings f and g of a metric space (X,d) are called fbiased iff
where \alpha {lim}_{n} stays for {lim\hspace{0.17em}sup}_{n} or {lim\hspace{0.17em}inf}_{n}, whenever \{{x}_{n}\} is a sequence in X such that {lim}_{n}f{x}_{n}={lim}_{n}g{x}_{n}=t for some t in X.
Similarly, the definition of gbiased can be obtained from the definition of fbiased by interchanging the role of f and g.
Jungck and Pathak [35] have shown that if f and g are compatible then they are both fbiased and gbiased, but the converse is not true.
Example 2.33 Let X=[0,1] and d be the usual metric on X. Define f,g:X\to X by
Then f and g are both fbiased and gbiased but not compatible.
Definition 2.34 (Jungck and Pathak [35])
Two selfmappings f and g of a metric space (X,d) are called weakly fbiased iff
Clearly, every biased mappings are weakly biased mappings (see Proposition 1.1 in [35]) but the converse is false in general.
Sahu et al. [57] have shown that intimate mappings are more general than compatible mappings.
Definition 2.35 (Sahu et al. [57])
Two selfmappings f and g of a metric space (X,d) are called fintimate iff
where \alpha {lim}_{n} stays for {lim\hspace{0.17em}sup}_{n} or {lim\hspace{0.17em}inf}_{n}, whenever \{{x}_{n}\} is a sequence in X such that {lim}_{n}f{x}_{n}={lim}_{n}g{x}_{n}=t for some t in X.
Next example [57] shows that intimate mappings need not be compatible.
Example 2.36 Let X=[0,1] and d be the usual metric on X. Define f,g:X\to X as follows:
For this let us consider the sequence \{{x}_{n}\} given by {x}_{n}=\frac{1}{n}:n>0. Then f{x}_{n}\to 1, g{x}_{n}\to 1 and {lim}_{n}d(fg{x}_{n},f{x}_{n})<{lim}_{n}d(gg{x}_{n},g{x}_{n}), i.e., f and g are fintimate but {lim}_{n}d(fg{x}_{n},gf{x}_{n})\ne 0.
Definition 2.37 (Cho et al. [45])
Two selfmappings f and g of a metric space (X,d) are called semicompatible iff

(i)
ft=gt implies fgt=gft;

(ii)
{lim}_{n}f{x}_{n}={lim}_{n}g{x}_{n}=t for some t in X implies {lim}_{n}d(fg{x}_{n},gt)=0.
It may be noted that semicompatible mappings need not be compatible mappings.
Example 2.38 [9]
Let X=[2,6] and d be the usual metric on X. Define f,g:X\to X as follows:
Then f and g are semicompatible, but noncompatible mappings. To see this let us consider a decreasing sequence \{{x}_{n}\} given by 3<{x}_{n}<4 and {lim}_{n}{x}_{n}=3. Then f{x}_{n}\to 2, g{x}_{n}\to 2, fg{x}_{n}\to 2=g2, gf{x}_{n}\to 4, {lim}_{n}d(fg{x}_{n},gt)=0, fg2=gf2 and {lim}_{n}d(fg{x}_{n},gf{x}_{n})\ne 0.
In 1997, Pathak et al. [49] weakened the notion of compatible of type (A) by splitting it into two parts, namely fcompatible and gcompatible.
Definition 2.39 Two selfmappings f and g of a metric space (X,d) are called fcompatible (Pathak et al. [49]) iff
whenever \{{x}_{n}\} is a sequence in X such that {lim}_{n}f{x}_{n}={lim}_{n}g{x}_{n}=t for some t in X.
The definition of gcompatible can be obtained from the definition of fcompatible by interchanging the role of f and g.
The following propositions have been proved in [49].
Proposition 2.40 [49]
Let f,g:(X,d)\to (X,d) be mappings with g continuous. Then f and g are compatible iff they are fcompatible.
Proposition 2.41 [49]
Let f and g be continuous mappings from a metric space (X,d) into itself. Then the following are equivalent:

(i)
f and g are compatible,

(ii)
f and g are fcompatible,

(iii)
f and g are gcompatible.
If f and g are discontinuous mappings then the concepts compatible, fcompatible, gcompatible are independent to each others.
Example 2.42 [49]
Let X=\mathbb{R} and d be the usual metric on X. Define f,g:X\to X as follows:
Then f and g are compatible but not fcompatible nor gcompatible. To see that, let us consider a sequence \{{x}_{n}\} given by {x}_{n}=n. Then f{x}_{n}\to 0, g{x}_{n}\to 0, {lim}_{n}d(fg{x}_{n},gf{x}_{n})=0 but {lim}_{n}d(fg{x}_{n},gf{x}_{n})={lim}_{n}d(fg{x}_{n},gf{x}_{n})=\mathrm{\infty}, as n\to \mathrm{\infty}.
Example 2.43 [49]
Let X=[0,1] equipped with the usual metric d. Define selfmappings f and g as follows:
Then f and g are compatible and gcompatible but not fcompatible.
Example 2.44 [49]
Let X=[0,\mathrm{\infty}) and d be the usual metric on X. Define f,g:X\to X as follows:
Then f and g are both fcompatible and gcompatible but not compatible.
Definition 2.45 Two selfmappings f and g of a metric space (X,d) are called:

(i)
compatible of type (P) (Pathak et al. [47, 84, 85]) iff
\underset{n}{lim}d(ff{x}_{n},gg{x}_{n})=0, 
(ii)
compatible of type (C) (Singh [58]) iff
\underset{n}{lim}d(ff{x}_{n},gg{x}_{n})=0\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}\underset{n}{lim}d(fg{x}_{n},gf{x}_{n})=0,
whenever \{{x}_{n}\} is a sequence in X such that {lim}_{n}f{x}_{n}={lim}_{n}g{x}_{n}=t for some t in X.
Proposition 2.46 Let f,g:(X,d)\to (X,d) be mappings. If f and g are either compatible or compatible of type (A) or fcompatible, or gcompatible or compatible of type (P) or compatible of type (C) and fz=gz for some z\in X then ffz=fgz=gfz=ggz.
Proof Let \{{x}_{n}\} be a sequence in X defined by {x}_{n}=z, n\in \mathbb{N} and fz=gz for some z\in X. Then we have {lim}_{n}f{x}_{n}={lim}_{n}g{x}_{n}=fz=gz. Since f and g are either compatible or compatible of type (A) or fcompatible, or gcompatible or compatible of type (P) or compatible of type (C), we have d(fgz,gfz)={lim}_{n}d(fg{x}_{n},gf{x}_{n})=0 or d(ffz,gfz)={lim}_{n}d(ff{x}_{n},gg{x}_{n})=0=d(ggz,gfz)={lim}_{n}d(gg{x}_{n},gf{x}_{n}) or d(ffz,gfz)={lim}_{n}d(ff{x}_{n},gg{x}_{n})=0. Therefore, ffz=fgz=gfz=ggz. □
Definition 2.47 Two selfmappings f and g of a metric space (X,d) are called compatible mappings of type (f) (Pathak et al. [48]) iff
whenever \{{x}_{n}\} is a sequence in X such that {lim}_{n}f{x}_{n}={lim}_{n}g{x}_{n}=t for some t in X.
In 1996, Jungck generalized the notion of compatible mappings.
Definition 2.48 (Jungck [29], Sastry et al. [55] and Dhage [54], Shrivastava et al. [56])
Two selfmaps f and g of a metric space (X,d) are called weakly compatible (partially commuting or coincidentally commuting, compatible type (N)) iff f and g commute on the set of coincidence points.
In 1998, Pant investigated existence of common fixed points for noncompatible mappings and pointwise Rweak commutativity, which he defined in 1994 [36] without giving any name.
Definition 2.49 (Pant [86])
Two selfmappings f and g are called pointwise Rweakly commuting on X iff given x in X there exists R>0 such that d(fgx,gfx)\le Rd(fx,gx).
It is obvious from the definition that f and g can fail to be pointwise Rweakly commuting only if there exists some x in X such that fx=gx while fgx\ne gfx, i.e., only if they posses a coincidence point at which they do not commute.
Remark 2.50 [9]
Compatible mappings are pointwise Rweakly commuting. To see this, let fx=gx. Consider the constant sequence \{{x}_{n}:{x}_{n}=x\}. Then {lim}_{n}f{x}_{n}=fx=gx={lim}_{n}g{x}_{n}=t. Compatibility of f and g implies that {lim}_{n}d(fg{x}_{n},gf{x}_{n})=0, i.e., d(gfx,fgx)=0 or fgx=gfx. However, pointwise Rweakly commuting mappings need not be compatible (see Example 2.52).
Remark 2.51 [9]
Pointwise Rweak commutativity is a necessary condition for the existence of common fixed points of contractive type mapping pairs. Suppose f and g be a contractive type pair of selfmappings of a metric space (X,d) having a common fixed point, say z then z=fz=gz and fgz=gfz=fz=gz=z. If possible, suppose that f and g are not pointwise Rweakly commuting. Then there exists a point w in X such that fw=gw while fgw\ne gfw. We thus have fw=gw and fz=gz with fw\ne fz. This is not possible in view of contractive conditions. For example, if f and g satisfy the contractive condition
d(fx,fy)<max\{d(gx,gy),d(fx,gx),d(fy,gy),d(fx,gy),d(fy,gx)\}, which is one of the most general contractive conditions, then we get
d(fw,fz)<max\{d(gw,gz),d(fw,gw),d(fz,gz),d(fw,gz),d(fz,gw)\}=d(fw,fz), a contradiction. This shows that existence of a common fixed point satisfying contractive conditions implies pointwise Rweakly commuting.
(It is also well known that pointwise Rweak commutativity is equivalent to commutativity at coincidence points and in the setting of metric spaces this notion is equivalent to weak compatibility.)
If f and g are compatible or fcompatible or gcompatible or compatible of type (A) then they are obviously weakly compatible but as shown in Example 2.52 converse is not true.
Example 2.52 Let X=\mathbb{R} equipped with the usual metric d. Define selfmappings f and g as follows:
where [x] denotes the integral part of x.
Then for the sequence \{{x}_{n}\}=\frac{1}{n} we get {lim}_{n}f{x}_{n}={lim}_{n}g{x}_{n}=0 and {lim}_{n}d(fg{x}_{n},gf{x}_{n})\ne 0, {lim}_{n}d(ff{x}_{n},gf{x}_{n})\ne 0 and {lim}_{n}d(gf{x}_{n},gg{x}_{n})\ne 0. Therefore f and g are neither compatible nor fcompatible nor gcompatible nor compatible of type (A) nor compatible of type (P) nor compatible of type (C) but they are weakly compatible as they commute at their coincidence points x=1,1.
In order to obtain new common fixed point theorems, one should be careful to use nontrivial noncommuting conditions. For example see the following result.
In [87] the authors obtained Corollary 2.53 as a particular case of their main theorem (see Theorem 3.1 in [87] and take A=f and S=g):
Corollary 2.53 Let f and g be weakly compatible selfmappings of a complete metric space (X,d) satisfying

(i)
fX\subseteq gX;

(ii)
d(fx,fy)\le kd(gx,gy), for all x,y\in X and some 0\le k<1.
Then f and g have a unique common fixed point in X.
In some cases the condition of completeness mentioned in the above corollary may be replaced by the (E.A.) property besides some condition on the ranges of the involved mappings [55, 70].
Corollary 2.54 Let f and g be weakly compatible selfmappings of a metric space (X,d) satisfying the (E.A.) property, and

(i)
fX\subseteq gX;

(ii)
d(fx,fy)\le kd(gx,gy), for all x,y\in X and some 0\le k<1.
If the range of f or g is a complete subspace of X then f and g have a unique common fixed point in X.
It may be observed that the conclusions of above corollaries are not true. This can be seen from the following counter example [8].
Example 2.55 [8]
Let X=[2,20] and d be the usual metric on X. Define selfmappings f and g on X as follows:
Then f and g satisfy the following conditions of above corollaries, respectively, but do not have a common fixed point.

(i)
fX=(2,5]\cup \{6\}, gX=(2,7]\cup \{12\} and fX\subseteq gX;

(ii)
f and g satisfy a particular contraction condition d(fx,fy)\le \frac{3}{5}d(gx,gy);

(iii)
f and g are trivially weakly compatible;

(iv)
f and g are also tangential mappings. To see this let \{{x}_{n}\} be the sequence in X given by {x}_{n}=5+{\u03f5}_{n} where {\u03f5}_{n}\to 0 as n\to \mathrm{\infty}. Then {lim}_{n\to \mathrm{\infty}}f{x}_{n}={lim}_{n\to \mathrm{\infty}}g{x}_{n}=2.
One can see in Example 2.55 (above) that both the mappings f and g satisfy weak compatibility condition vacuously, yet f and g are common fixed point free mappings. We can redefine the notion of weak compatible mappings in the following way.
Definition 2.56 Two selfmappings f and g of a metric space (X,d) are called nontrivially weakly compatible if they commute on the set of coincidence points whenever the set of their coincidences is nonempty.
Definition 2.57 (Pathak et al. [88])
Two selfmappings f and g of a metric space (X,d) are called compatible of type (I) iff
whenever \{{x}_{n}\} is a sequence in X such that {lim}_{n}f{x}_{n}={lim}_{n}g{x}_{n}=t for some t in X.
The following examples show that weakly compatible mappings and compatible mappings of type (I) are independent from each other.
Example 2.58 [88]
Let X=[0,\mathrm{\infty}) and d be the usual metric on X. Define f,g:X\to X by
and
Then fx=gx iff x=0 and x=1. Also at these points fgx=gfx. It means the mappings f and g are weakly compatible. It can also be noted that f and g not compatible of type (I). To see this, let \{{x}_{n}\} be a sequence in X such that f{x}_{n}\to t, g{x}_{n}\to t. Then for t=1, d(t,gt)>d(t,fg{x}_{n}).
Example 2.59 [88]
Let X=[0,1) be endowed with the usual metric. Define f,g:X\to X by
Then at x=0, fx=gx. But fgx\ne gfx, which shows that f and g are not weakly compatible but compatible of type (I). To see this, let \{{x}_{n}\} be a sequence in X such that f{x}_{n}\to t, g{x}_{n}\to t. Then for t=1, d(t,gt)<d(t,fg{x}_{n}).
Definition 2.60 (Pathak et al. [51])
Two selfmappings f and g of a metric space (X,d) are called:

(i)
gbiased of type (A) iff
\alpha \underset{n}{lim}d(g{x}_{n},gg{x}_{n})\le \alpha \underset{n}{lim}d(f{x}_{n},fg{x}_{n}),
where \alpha {lim}_{n} stays for {lim\hspace{0.17em}sup}_{n} or {lim\hspace{0.17em}inf}_{n}, whenever \{{x}_{n}\} is a sequence in X such that {lim}_{n}f{x}_{n}={lim}_{n}g{x}_{n}=t for some t in X.
Definition 2.61 (Pathak et al. [59])
Two selfmappings f and g of a metric space (X,d) are said to be weakly compatible mappings of type (f) with index p at a point x in X iff there exists p>0 such that fx=gx implies
Definition 2.62 (Fisher and Murthy [53] (see also [89]))
Two selfmappings f and g of a metric space (X,d) are called biased mappings of type ({A}_{f}) iff
Definition 2.63 (Pathak and Tiwari [65])
Let f and g be mappings from a metric space (X,d) into itself. The pair of mappings f, g is said to be ϕweakly compatible of type (f,g) at x\in X, iff for every p>0, fx=gx implies
where \varphi :[0,1)\to [0,1) is upper semicontinuous, nondecreasing and \varphi (t)<t for all t>0, and d(fgx,fx)+d(fgx,gfx)\ne 0.
If \varphi (t)=ht, where 0<h<1, then the pair of mappings (f,g) is said to be hweakly compatible of type (f,g).
Example 2.64 [65]
Consider X=[0,1) with the Euclidean metric d on X and \varphi (t)=\frac{1}{2}t. Define f,g:X\to X by
Here for x=0 and p>0, (f,g) is ϕweakly compatible of type (f,g) but (f,g) is not ϕweakly compatible of type (g,f) for p>1. Moreover the pair (f,g) is neither weakly commuting nor weakly compatible.
In 2008, AlThagafi and Shahzad [38] introduced the notion of occasionally weakly compatible (OWC) mappings as a generalization of weakly compatible mappings. While the paper [38] was under review, Jungck and Rhoades [90] used the concept of OWC and proved several results under different contractive conditions. In view of the paper of Bisht and Pant [91], under contractive conditions proving existence of common fixed points by assuming OWC as presented in [90] is equivalent to proving the existence of common fixed points by assuming the existence of common fixed points.
Moreover, it was shown by Dorić et al. in [92] that in the presence of a unique point of coincidence, the OWC condition reduces to weak compatibility. Hence, a lot of generalizations obtained by using the OWC and similar conditions are not real generalizations (see also [93–96]).
Definition 2.65 (AlThagafi and Shahzad [38])
Two selfmappings f and g of a metric space (X,d) are said to be occasionally weakly compatible (OWC) if fgx=gfx for some x\in C(f,g).
In [90] Jungck and Rhoades presented the following variant of OWC: Two selfmappings f and g of a metric space (X,d) are said to be occasionally weakly compatible (in the sense of Jungck and Rhoades [90]) if there exists at least one coincidence point at which f and g commute, i.e., if fx=gx for some x\in X, then fgx=gfx. This definition may be termed as nontrivial OWC mappings.
In [97] AlThagafi and Shahzad have shown that if (X,d) is a discrete metric space and C(f,g)\ne \mathrm{\varnothing} then f and g are weakly compatible iff they are weakly commuting.
Remark 2.66 Besides commutativity of the mappings the notion of nontrivial OWC requires the mappings to have a coincidence point and, therefore, imposes a very strong condition on the mappings. By assuming the existence of a coincidence point the notion of nontrivial OWC circumvents the most crucial part of fixed point theorems consisting of constructive procedures yielding coincidence points. Conditions or constructive procedures yielding coincidence points are important parts of fixed point theorems and strong assumptions like nontrivial OWC do not and should not obviate the need for constructive procedures.
Definition 2.67 (Chen and Li [60])
Two selfmappings f and g of metric space (X,d) are said to be Banach operator pair iff the set F(g) is finvariant, namely f(F(g))\subset F(g).
It is easy to check that the commuting pair (f,g) is a Banach operator pair but the converse is not true in general.
Example 2.68 Let X=[1,\mathrm{\infty}) and d be the usual metric on X. Define f,g:X\to X by
Then F(g)=\{1\}. Here (f,g) is a Banach operator pair but f and g are not commuting.
Definition 2.69 (Pathak and Hussain [63])
Two selfmappings f and g of a metric space (X,d) are said to be Poperators iff there is a point x\in X such that
where \delta (A)=sup\{max\{d(x,y),d(y,x)\}:x,y\in A\} for A\subset X.
Pathak and Hussain [63] have shown by means of an example that OWC mappings are Poperators. If the selfmappings f and g of X are weakly compatible, then g(C(f,g))\subset C(f,g), and hence f and g are Poperators.
Definition 2.70 (Hussain et al. [39])
Two selfmappings f and g of a metric space (X,d) are said to be JHoperators iff there is a point w=fx=gx in PC(f,g) such that d(w,x)\le \delta (PC(f,g)).
Example 2.71 [63]
Consider X=[0,1) with the Euclidean metric d on X. Define f,g:X\to X by
Then C(f,g)=\{0,2\} and PC(f,g)=\{1,4\}. Obviously f and g are Poperators and JHoperators but neither OWC mappings nor weakly compatible mappings. Further note that Ff=\{1\} and g(1)=2F(f), which show that (g,f) is not a Banach operator pair.
Definition 2.72 (Bouhadjera and Djoudi [66], Hussain et al. [39])
Two selfmappings f and g of a metric space (X,d) are said to be occasionally weakly fbiased iff there is a point x\in X such that fx=gx and d(fgx,fx)\le d(gfx,gx).
The definition of occasionally weakly gbiased can be obtained from the definition of occasionally weakly fbiased by interchanging the role of f and g.
Bouhadjera and Djoudi [66] have shown that if f and g are OWC mappings then f and g are both occasionally weakly fbiased and gbiased. Hence OWC mappings is a subclass of occasionally weakly biased mappings.
It may be noted that nontrivially (C(f,g)\ne \varphi) weakly fbiased and gbiased mappings, respectively, are occasionally weakly fbiased and gbiased, respectively. However, the reverse implications are not true.
Example 2.73 [66]
Let X=[0,\mathrm{\infty}) and d be the usual metric on X. Define f,g:X\to X as follows:
Then we have fx=gx if and only if x=1/2 or x=3 and d(fg(\sqrt{3}),f(\sqrt{3}))\le d(gf(\sqrt{3}),g(\sqrt{3})), that is, the pair \{f,g\} is occasionally weakly fbiased. But, 3=d(fg(\frac{1}{2}),f(\frac{1}{2}))\nleqq d(gf(\frac{1}{2}),g(\frac{1}{2})), i.e., the pair \{f,g\} is not weakly fbiased. Similarly we can show that goccasionally weakly biased mappings may not be gweakly biased mappings.
Definition 2.74 (Hussain et al. [39])
Let d:X\times X\to [0,\mathrm{\infty}) be a mapping such that d(x,y)=0 iff x=y. Two selfmappings f and g on X are said to be JHoperators iff there is a point w=fx=gx in PC(f,g) such that d(w,x)\le \delta (PC(f,g)) and d(x,w)\le \delta (PC(f,g)) where \delta (A)=sup\{max\{d(x,y),d(y,x)\}:x,y\in A\} for A\subset X.
Definition 2.75 (Pathak and Rai [37])
Let d:X\times X\to [0,\mathrm{\infty}) be a mapping such that d(x,y)=0 iff x=y. Two selfmappings f and g on X are said to be PDoperator pair if there is a point u\in X such that u\in C(f,g) and d(fgu,gfu)\le \delta (PC(f,g)) where \delta (A)=sup\{max\{d(x,y),d(y,x)\}:x,y\in A\} for A\subset X.
Example 2.76 [37]
Let X=[0,1] and let d={xy}^{2} be the metric. Define f,g:X\to X by fx={x}^{2} and gx=\frac{x}{2}, for all x\ne 0 and f0=g0=1. Since C(f,g)=\{0,1/2\} and PC(f,g)=\{1,1/4\}, diam(C(f,g))=1/4 and diam(PC(f,g))=\frac{9}{16}. Clearly, (f,g) is PDoperator pair, but not commuting, not weakly compatible and not OWC.
Definition 2.77 (Pant and Pant [61])
Two selfmappings f and g of a metric space (X,d) are called conditionally commuting if they commute on a nonempty subset of the set of coincidence points whenever the set of their coincidences is nonempty.
Example 2.78 [61]
Let X=[0,1] and d be the usual metric on X. Define selfmappings f and g on X as follows:
Then C(f,g)=\{1,\frac{1}{4}\} and fg1\ne gf1. Hence f and g are conditionally commuting but not weakly compatible. Further f and g are noncompatible mappings. To see this let us consider a sequence \{{x}_{n}\} given by {x}_{n}=1\frac{1}{n}. Then f{x}_{n}\to 0, g{x}_{n}\to 0, fg{x}_{n}\to 0, gf{x}_{n}\to \frac{1}{3} and {lim}_{n}d(fg{x}_{n},gf{x}_{n})\ne 0.
Remark 2.79 In this remark we highlight the difference (in terms of applicability) between the three concepts: weak compatibility, occasionally weak compatibility and conditionally commutativity. A generalized Lipschitz type pair (f,g) of selfmappings of a metric space (X,d) may exhibit any of the conditions: (i) f and g do not possess a coincidence point, (ii) f and g possess coincidence points and commute at each coincidence point, and (iii) f and g possess more than one coincidence points and commute on a proper subset of the set of their coincidence points. The notions of commuting, weak commuting, compatible, pointwise Rweak commuting, or weak compatible mappings apply in conditions (i) and (ii) but do not apply in condition (iii). The notion of nontrivial OWC mappings applies in conditions (ii) and (iii) but does not apply in condition (i) as it presupposes the existence of a coincidence point. The notions of OWC and conditional commutativity are applicable in each of the three conditions mentioned above.
In 2009, Bouhadjera and GodetThobie [62] introduced the notion of subcompatibile mappings.
Definition 2.80 (Bouhadjera and GodetThobie [62])
Two selfmappings f and g of a metric space (X,d) are called subcompatible iff there exists a sequence \{{x}_{n}\} such that {lim}_{n\to \mathrm{\infty}}f{x}_{n}={lim}_{n\to \mathrm{\infty}}g{x}_{n}=t and {lim}_{n\to \mathrm{\infty}}d(fg{x}_{n},gf{x}_{n})=0.
Example 2.81 [62]
Let X=[0,\mathrm{\infty}) and d be the usual metric on X. Define f,g:X\to X as follows:
Then f and g are subcompatible but not OWC. To see this consider the sequence \{{x}_{n}\} given by {x}_{n}=2+\frac{1}{n}. Then f{x}_{n}\to 4, g{x}_{n}\to 4, fg{x}_{n}\to 16, gf{x}_{n}\to 16 and {lim}_{n}d(fg{x}_{n},gf{x}_{n})=0. On the other hand, we have fx=gx iff x=2 and fg2\ne gf2, hence mappings f and g are not OWC.
Remark 2.82 Above Example 2.81 shows that subcompatible mappings need not imply commutativity at the coincidence point. It may be observed that subcompatible mappings are independent from the compatible mappings and in the setting of a unique common fixed point (or unique point of coincidence), subcompatibility does not reduce to the class of compatibility. The following examples illustrate these facts.
Example 2.83 Let X=[0,\mathrm{\infty}) and d be the usual metric on X. Define f,g:X\to X by
Then f and g are compatible but not subcompatible.
Example 2.84 Let X=[1,8] and d be the usual metric on X. Define f,g:X\to X as follows:
It may be observed that f and g are subcompatible mappings. To see that f and g are subcompatible, let us consider the constant sequence \{{x}_{n}\} given by {x}_{n}=2. Then f{x}_{n}\to 2, g{x}_{n}\to 2, fg{x}_{n}\to 2, gf{x}_{n}\to 2, and {lim}_{n}d(fg{x}_{n},gf{x}_{n})=0. Further, if we consider \{{y}_{n}\} given by {y}_{n}=2\frac{1}{n}:n>0, then f{y}_{n}\to 2, g{y}_{n}\to 2, and {lim}_{n}d(fg{y}_{n},gf{y}_{n})\ne 0. Thus f and g are subcompatible but not compatible.
Remark 2.85 The notion of subcompatibility imposes a strong condition on the mappings f and g by requiring the existence of a sequence \{{x}_{n}\} such that f{x}_{n}\to t, g{x}_{n}\to t. Such a precondition is not required in order that f and g be compatible. In [40] Pant and Bisht introduced the notion of conditional compatibility which does not require such a precondition and yet is a proper generalization of both nontrivial compatibility and subcompatibility.
Definition 2.86 (Pant and Bisht [40])
Two selfmappings f and g of a metric space (X,d) are called conditionally compatible if and only if whenever the set of sequences \{{x}_{n}\} satisfying {lim}_{n\to \mathrm{\infty}}f{x}_{n}={lim}_{n\to \mathrm{\infty}}g{x}_{n} is nonempty, there exists a sequence \{{y}_{n}\} such that {lim}_{n\to \mathrm{\infty}}f{y}_{n}={lim}_{n\to \mathrm{\infty}}g{y}_{n}=t (say) and {lim}_{n\to \mathrm{\infty}}d(fg{y}_{n},gf{y}_{n})=0.
In [67], Pant and Bisht introduced a new notion of pseudo compatible mappings, which is a stronger version of conditionally compatible mappings.
Let f, g be selfmappings of a metric space (X,d). Then for a sequence \{{y}_{n}\} in X satisfying {lim}_{n\to \mathrm{\infty}}f{x}_{n}={lim}_{n\to \mathrm{\infty}}g{y}_{n}, a sequence \{{z}_{n}\} is called an associated sequence if f{y}_{n}=g{z}_{n} or g{y}_{n}=f{z}_{n} and {lim}_{n\to \mathrm{\infty}}f{z}_{n}={lim}_{n\to \mathrm{\infty}}g{z}_{n}.
Definition 2.87 (Pant and Bisht [67])
Two selfmappings f and g of a metric space (X,d) are called pseudo compatible iff whenever the set of sequences \{{x}_{n}\} satisfying {lim}_{n\to \mathrm{\infty}}f{x}_{n}={lim}_{n\to \mathrm{\infty}}g{x}_{n} is nonempty, there exists a sequence \{{y}_{n}\} such that {lim}_{n\to \mathrm{\infty}}f{y}_{n}={lim}_{n\to \mathrm{\infty}}g{y}_{n}=t (say), {lim}_{n\to \mathrm{\infty}}d(fg{y}_{n},gf{y}_{n})=0 and {lim}_{n\to \mathrm{\infty}}d(fg{z}_{n},gf{z}_{n})=0 for any associated sequence \{{z}_{n}\} of \{{y}_{n}\}.
Suzuki and Pathak [64] also extended the class of compatible type mappings and several analogous notions to almost compatible mappings and analogous notions, respectively.
Definition 2.88 Two selfmappings f and g of a metric space (X,d) are called to be almost compatible iff f and g are compatible and the following hold for every sequence \{{x}_{n}\} in X:
(C1) f{x}_{n+1}=g{x}_{n} for n\in \mathbb{N}.
(C2) \{f{x}_{n}\} converges.
(C3) \{gf{x}_{n}\} is bounded.
In 2013, Bisht and Shahzad [41] redefined the notion of conditionally compatible mappings by faintly compatible mappings.
Definition 2.89 (Bisht and Shahzad [41])
Two selfmappings f and g of a metric space (X,d) are called to be faintly compatible iff f and g are conditionally compatible and f and g commute at the subset of coincidence points, whenever the set of coincidence points is nonempty.
Example 2.90 Let X=[0,1] and d be the usual metric on X. Define selfmappings f and g on X as follows:
Then f and g are faintly compatible but neither compatible nor weakly compatible.
Remark 2.91 In recent works several authors claimed to introduce some weaker noncommuting notions and pretended to show, weak compatibility as a proper subclass of their weaker notions. This is, however, not true. In view of the results of Dorić et al. [92] (see also Alghamdi et al. [94], Kadelburg et al. [96], Pant and Bisht [40] and Bisht and Rakocević [95]) most of the generalized commutativity notions fall in the subclass of weak compatibility in the setting of a unique common fixed point (or unique point of coincidence).
The following lemma was presented by Abbas and Jungck [98].
Lemma 2.92 [98]
If a weakly compatible (WC) pair (f,g) of selfmappings on X has a unique POC, then it has a unique common fixed point.
Jungck and Rhoades [90] established the following lemma.
Lemma 2.93 [90]
If an OWC pair (f,g) of selfmappings on X has a unique POC, then it has a unique common fixed point.
The following result is due to Dorić et al. [92].
Proposition 2.94 [92]
Let a pair of mappings (f,g) have a unique POC. Then it is WC if and only if it is OWC.
Proposition 2.95 [94]
Let d:X\times X\to [0,\mathrm{\infty}) be a mapping such that d(x,y)=0 if and only if x=y. Let a pair of mappings (f,g) have a unique POC. If it is a pair of JHoperators, then it is WC.
Proposition 2.96 [94]
Let d be symmetric on X. Let a pair of mappings (f,g) have a unique POC which belongs to F(f). If it is a pair of occasionally weakly gbiased mappings, then it is WC.
Proposition 2.97 [94]
Let d be symmetric on X, and let a pair of mappings (f,g) have a unique CP, that is, C(f,g) is a singleton. If (f,g) is Poperator pair, then it is WC.
Proposition 2.98 [94]
Let d be symmetric on X, and let a pair of mappings (f,g) have a unique POC. Then it is weakly gbiased if and only if it is occasionally weakly gbiased.
Proposition 2.99 [95]
Let d:X\times X\to [0,\mathrm{\infty}) be a mapping such that d(x,y)=0 if and only if x=y. Let a pair of mappings (f,g) have a unique POC. If it is a pair of PDoperators, then it is WC.
Let \varphi :{R}_{+}\to {R}_{+} be a nondecreasing function satisfying the condition \varphi (t)<t, for each t>0.
Proposition 2.100 [95]
Let d:X\times X\to [0,\mathrm{\infty}) be a mapping such that d(x,y)=0 if and only if x=y. Suppose (f,g) is PDoperator pair and satisfy the condition:
for each x,y\in X. Then f and g are WC.
Theorem 2.101 [95]
Under the contractive condition (2.1) assumed in the above proposition, the assumption of PDoperators and the existence of a unique common fixed point are equivalent conditions.
More recently, Kadelburg et al. [96] have shown that some of noncommuting conditions which are formally distinct from each other, actually coincide in the case when the given mappings have a unique point of coincidence. Hence, many new common fixed point results cannot be incurred in this way. The following proposition was proved in [96].
Proposition 2.102 Let (X,d) be a metric space, and let f,g:X\to X. Let the pair (f,g) have exactly one point of coincidence. Then the noncommuting conditions weakly compatible, occasionally weakly compatible, conditionally commuting and PDoperators are equivalent, and equivalent with the condition that the pair (f,g) has a unique common fixed point.
Remark 2.103 It is important to note that majority of the noncommuting conditions before weak compatibility do not presume the existence of a coincidence point but actually establish the existence of a coincidence point by using these conditions. In fact, it can easily be established that some of these conditions, e.g., weakly commuting etc. not only imply commutativity at coincidence points but in combination with other sufficient conditions also imply the existence of the coincidence point. Thus we can say that with the inception of the definition of nontrivial OWC mappings more focus would be given to those noncommuting conditions which directly assume the existence of coincidence point, which is relatively strong condition in comparison to weakly compatible mappings.
Remark 2.104 If there are just two mappings involved, and they only have one coincidence point (which turns out to be the unique fixed point), then, of course, most of the generalizations of commutativity coincide with weak compatibility. Recently, Pant and Bisht [40] (see also [91, 95]) have shown that under contractive conditions proving existence of common fixed points by assuming several weaker noncommuting notions is equivalent to proving the existence of common fixed points by assuming the existence of common fixed points. Hence such type of results are merely redundant exercises.
3 Applications
Fixed point theory has played central role in the problems of nonlinear analysis. Common fixed point theorems have provided powerful tools in demonstrating the existence solutions to large variety of problem in applied mathematics. In this section we give some of the areas where common fixed point theorems are applicable.
3.1 Applications in differential equations
In [5] Goebel gave a nice application of the coincidence theorem (Theorem 1.1) for the solution of differential equation. He considered the following differential equation:
(cf. [99]). Suppose that the function \{s(t,x)\} is defined in the half plane t\ge 0, \mathrm{\infty}<x<+\mathrm{\infty} and satisfies Caratheodory’s conditions (cf. [100]) and Lipschitz inequality
where \{L(t)\} is locally integrable on the interval \u30080,\mathrm{\infty}).
If {\int}_{0}^{t}s(\tau ,0)\phantom{\rule{0.2em}{0ex}}d\tau =O(exp{\int}_{0}^{t}L(\tau )\phantom{\rule{0.2em}{0ex}}d\tau ) and p>1 then the transformations f and g defined by
mappings the set A=[\{x(t)\}:x(t)=O(exp{\int}_{0}^{t}L(\tau )\phantom{\rule{0.2em}{0ex}}d\tau )] into the Banach space B of continuous functions on \u30080,\mathrm{\infty}) with the norm x={sup}_{\u30080,\mathrm{\infty})}x(t), then Theorem 1.1 assures that there exists a function \{\overline{x}(t)\}\in A which satisfies f\overline{x} = g\overline{x} and \overline{x}(t) = {\int}_{0}^{t}s(\tau ,\overline{x}(\tau ))\phantom{\rule{0.2em}{0ex}}d\tau +\xi is the unique solution in the sense of Caratheodory [100] with the initial condition \overline{x}(0)=\xi for every ξ.
3.2 Applications in approximation theory
Fixed point theorems have been extensively used in the existence and uniqueness of invariant approximations. In 1963, Meinardus [101] utilized the Schauder fixed point theorem [102] to prove the very first result regarding invariant approximation. Afterwards, Brosowski [103] and Subrahmanyam [104] generalized the result of Meinardus under different settings. Further significant contribution in this area was made by a number of authors. They all considered one mapping or a pair of commuting mappings to show the existence of invariant approximation. In 1998, the study of invariant approximations for noncommuting mappings was initiated by Shahzad [105] (see also [106, 107]). Since then this area has been flourished further and many interesting results appeared for noncommuting mappings.
Let D be a nonempty subset of a normed space X, f and g selfmappings of D, and F(f) (respectively F(g)) the set of fixed points of f (respectively g). The selfmapping g is called:

(i)
fcontraction if \parallel gxgy\parallel \le k\parallel fxfy\parallel for all x,y\in D and some k\in [0,1);

(ii)
fnonexpansive if \parallel gxgy\parallel \le \parallel fxfy\parallel for all x,y\in D;

(iii)
nonexpansive if \parallel gxgy\parallel \le \parallel xy\parallel for all x,y\in D.
For p\in X, let \delta (p,D):={inf}_{z\in D}\parallel zp\parallel. The set D is called:

(iv)
qstarshaped if kx+(1k)q\in D for all x\in D and all k\in [0,1];

(v)
convex if kx+(1k)y\in D for all x,y\in D and all k\in [0,1].
The selfmapping f is called:

(vi)
affine if D is convex and f(kx+(1k)y)=kfx+(1k)fy for all x,y\in D and all k\in [0,1];

(vii)
qaffine if D is qstarshaped and f(kx+(1k)q)=kfx+(1k)q for all x\in D and all k\in [0,1].
Note that fq=q whenever f is a qaffine selfmapping of a qstarshaped set D.

(viii)
Rsubweakly commuting (w.r.t. q) [107] if D is qstarshaped with q\in F(f) and \parallel gfxfgx\parallel \le R\delta (fx,[gx,q]) for all x\in D and some R>0;

(ix)
Rsubcommuting (w.r.t. q) [106, 108] if D is qstarshaped with q\in F(f) and \parallel gfxfgx\parallel \le \frac{R}{k}\parallel kgx+(1k)qfx\parallel for all x\in D, k\in (0,1] and some R>0.
In fact, Rsubcommutativity (w.r.t. q) is equivalent to \parallel gfxfgx\parallel \le R\delta (fx,[gx,q)) for all x\in D and some R>0. Hence, Rsubweak commutativity implies Rsubcommutativity. However, Rsubweak commutativity is implied by Rsubcommutativity whenever \delta (fx,[gx,q))=\delta (fx,[gx,q]) (for more details see [108]).
Let D be a qstarshaped subset of a normed space X, f and g selfmaps of D with q\in F(f), and {C}_{q}(f,g):=\bigcup \{C(f,{g}_{k}):0\le k\le 1\} where {g}_{k}x:=kgx+(1k)q. The selfmappings f and g are called {C}_{q}commuting [108] if fgx=gfx for all x\in {C}_{q}(f,g). Clearly, {C}_{q}commuting selfmappings are weakly compatible. In general, the converse does not hold as the following example shows.
Example 3.1 [108]
Let X=\mathbb{R} with the usual norm and D=[0,\mathrm{\infty}). Define f,g:D\to D by
Then D is qstarshaped with q=0, C(f,g)=\{0\} and {C}_{q}(f,g)=\{0\}\cup [2,\mathrm{\infty}). Moreover, f and g are weakly compatible but not {C}_{q}commuting.
Note that Rsubweakly commuting and Rsubcommuting selfmappings are {C}_{q}commuting, but the converse does not hold in general. The following two examples show that {C}_{q}commuting and Rweakly commuting selfmappings are different classes.
Example 3.2 [108]
Let X=\mathbb{R} with the usual norm and D=[0,\mathrm{\infty}). Define f,g:D\to D by
Then D is qstarshaped with q=1 and {C}_{q}(f,g)=[1,\mathrm{\infty}). Moreover, f and g are {C}_{q}commuting but not Rweakly commuting for all R>0. Hence, f and g are neither Rsubweakly commuting nor Rsubcommuting.
Example 3.3 [108]
Let X=\mathbb{R} with the usual norm and D=[1,\mathrm{\infty}). Define f,g:D\to D by
Then D is qstarshaped with q=1 and {C}_{q}(f,g)=[1,\mathrm{\infty}). Moreover, f and g are Rweakly commuting with R=2 (see [36]) but not {C}_{q}commuting.
For a nonempty subset M of X and p\in X, let {B}_{M}(p):=\{x\in M:\parallel xp\parallel =\delta (p,M)\}, {C}_{M}^{I}(p):=\{x\in M:Ix\in {B}_{M}(p)\} and {M}_{p}:=\{x\in M:\parallel x\parallel \le 2\parallel p\parallel \}. The set {B}_{M}(p) is called the set of best Mapproximants to p. Let {\mathcal{C}}_{0} (respectively {\mathcal{C}}_{0}^{w}) denote the class of closed (respectively weakly closed) convex subsets of X containing 0. Note that {B}_{M}(p)\subseteq {M}_{p}\in {\mathcal{C}}_{0} whenever M\in {\mathcal{C}}_{0}. A selfmapping g:X\to X is said to be compact on M if whenever A is a nonempty bounded subset of M, then \overline{g(A)} is compact. A mapping h:D\to X is said to be demiclosed at y\in X if whenever \{{x}_{n}\} is a sequence in D such that {x}_{n}\to z\in D weakly and h{x}_{n}\to y strongly, then hz=y. A Banach space X is said to satisfy Opial’s condition if whenever \{{x}_{n}\} is a sequence in X such that {x}_{n}\to z\in X weakly, then
holds for all x\ne z. Note that Hilbert and {l}^{p} (1<p<\mathrm{\infty}) spaces satisfy Opial’s condition.
In 1969, Brosowski [103] proved the following result.
Theorem 3.4 Let f be a contractive linear operator on a normed linear space X. Let M be an finvariant subset of X and p an finvariant point. If the set of best Mapproximants to p, i.e., {B}_{M}(p) is nonempty, compact, and convex, then it contains an finvariant point.
In [104] Subrahmanyam superseded the necessity of nonemptyness of {B}_{M}(p) by the assumption that M is a finitedimensional subspace of X.
Theorem 3.5 (Subrahmanyam [104])
Let X be a normed space, f a nonexpansive selfmapping of X, M a nonempty subset of X, f(M)\subseteq M, and p\in F(f). Then F(f)\cap {B}_{M}(p) is nonempty provided M is a finitedimensional subspace of X.
In 1979, Singh [109] demonstrated that the Brosowski [103] result remains true if linearity of the operator f is dropped and convexity is replaced by starshaped property. Singh’s [110] result remains true when contractive nature of f is replaced by nonexpansiveness of f on {B}_{M}(p)\cup \{p\}.
Theorem 3.6 (Singh [110])
Let f be a contractive operator on a normed linear space X. Let f(M)\subseteq M and p\in F(f). If {B}_{M}(p) is nonempty, compact, and starshaped, then it contains an finvariant point.
Hicks and Humphries [111] observed that Theorem 5.6 of Singh is also true if the assumption f(M)\subseteq M is replaced by f(\partial M)\subseteq M, where ∂M denotes the boundary of M.
Theorem 3.7 (Hicks and Humphries [111])
Let f be a contractive operator on a normed linear space X. Let f(\partial M)\subseteq M and p\in F(f). If {B}_{M}(p) is nonempty, compact, and starshaped, then it contains an finvariant point.
Smoluk [112] observed that the finitedimensionality of M in Subrahmanyam’s result can be replaced by the assumptions that f is linear and that \overline{f(D)} is compact for every bounded subset D of M.
Theorem 3.8 (Smoluk [112])
Let X be a normed space, f a nonexpansive selfmapping of X, M a nonempty subset of X, f(M)\subseteq M, and p\in F(f). Then F(f)\cap {B}_{M}(p) is nonempty provided f is linear, M is a closed subspace of X, and f is compact on M.
Habiniak [113] dropped the linearity of f from Smoluk’s result (see also [114]).
Theorem 3.9 (Habiniak [113])
Let X be a normed space, f a nonexpansive selfmapping of X, M a nonempty subset of X, f(M)\subseteq M, and p\in F(f). Then F(f)\cap {B}_{M}(p) is nonempty provided M is a closed subspace of X and f is compact on M.
Following [108, 115], we summarize above invariant approximation results as follows.
Theorem 3.10 Let X be a normed space, f a nonexpansive selfmapping of X, M a nonempty subset of X and p\in F(f). Then F(f)\cap {B}_{M}(p) is nonempty provided one of the following conditions is satisfied:

(a)
f is linear, f(M)\subseteq M and {B}_{M}(p) is nonempty, compact, and convex (Brosowski [103]),

(b)
f(M)\subseteq M and M is a finitedimensional subspace of X (Subrahmanyam [104]),

(c)
f(M)\subseteq M, {B}_{M}(p) is compact and qstarshaped (Singh [110]),

(d)
f(\partial M)\subseteq M, {B}_{M}(p) is compact and qstarshaped (Hicks and Humphries [111]),

(e)
f(M)\subseteq M, f is linear, M is a closed subspace of X, and f is compact on M (Smoluk [112]),

(f)
f(M)\subseteq M, M is a closed subspace of X and f is compact on M (Habiniak [113]).
In 1988, Sahab et al. [116] initiated the study of approximation results for a pair of selfmappings and extended the results of Hicks and Humphries [111] and Singh [110] to commuting mappings.
Theorem 3.11 (Sahab et al. [116], see also O’Regan and Shahzad [115])
Let f and g be selfmappings of a normed space X, M\subset X such that f(\partial M)\subset M, and p\in F(f,g). Suppose f is gnonexpansive on {B}_{M}(p)\cup \{p\}, g is linear and continuous on {B}_{M}(p), and f and g are commuting on {B}_{M}(p). If {B}_{M}(p) is nonempty, compact, and qstarshaped with q\in F(g), and if g({B}_{M}(p))={B}_{M}(p), then {B}_{M}(p)\cap F(f,g) is nonempty.
In 1995, Jungck and Sessa [117] proved the following theorem in best approximation theory, which improves and extends several theorems summarized in Theorem 3.10.
Theorem 3.12 (Jungck and Sessa [117])
Let f and g be selfmappings of a Banach space X, M\subset X such that f(\partial M)\subset M, and p\in F(f,g). Suppose f is gnonexpansive on {B}_{M}(p)\cup \{p\}, g is affine and continuous in the weak topology on {B}_{M}(p), and f and g are commuting on {B}_{M}(p). If {B}_{M}(p) is nonempty, qstarshaped with q\in F(g), and g({B}_{M}(p))={B}_{M}(p), then {B}_{M}(p)\cap F(f,g) is nonempty, provided either (i) {B}_{M}(p) is weakly compact, and gf is demiclosed; or (ii) {B}_{M}(p) is weakly compact and X satisfies Opial’s condition.
The following results of AlThagafi and Shahzad [108] extend parts (a), (b), (c), and (d) of Theorem 3.10, results of Sahab et al. [116], Singh [109], and Jungck and Sessa [117].
Theorem 3.13 (AlThagafi and Shahzad [108])
Let X be a normed space, f and g selfmaps of X with p\in F(f,g), and M\subseteq X with f(\partial M\cap M)\subseteq M. Suppose that {B}_{M}(p) is closed and qstarshaped, f and g are {C}_{q}commuting on {B}_{M}(p), g({B}_{M}(p))={B}_{M}(p), g is qaffine on {B}_{M}(p), f is continuous on {B}_{M}(p) and gnonexpansive on {B}_{M}(p)\cup \{p\}, and \overline{f({B}_{M}(p))} is compact. Then {B}_{M}(p)\cap F(f,g) is nonempty.
Theorem 3.14 (AlThagafi and Shahzad [108])
Let X be a Banach space, f and g selfmaps of X with p\in F(f,g), and M\subseteq X with f(\partial M\cap M)\subseteq M. Suppose that {B}_{M}(p) is weakly closed and qstarshaped, g({B}_{M}(p))={B}_{M}(p), g is qaffine and weakly continuous on {B}_{M}(p), f and g are {C}_{q}commuting on {B}_{M}(p), f is gnonexpansive on {B}_{M}(p)\cup \{p\}, {\overline{f({B}_{M}(p))}}^{w} is weakly compact, and either gf is demiclosed at zero, or X satisfies Opial’s condition. Then {B}_{M}(p)\cap F(f,g) is nonempty.
The following results of AlThagafi and Shahzad extend parts (e) and (f) of Theorem 3.10, results of AlThagafi [118] and Shahzad [107].
Theorem 3.15 (AlThagafi and Shahzad [108])
Let X be a normed space, f and g selfmaps of X with p\in F(f,g), and M\in {\mathcal{C}}_{0} with f({M}_{p})\subseteq g(M)\subseteq M. Suppose that \parallel gxp\parallel =\parallel xp\parallel for all x\in M, f is gnonexpansive on {M}_{p}\cup \{p\}, and \overline{g({M}_{p})} is compact. Then {B}_{M}(p) is nonempty, closed, and convex and f({B}_{M}(p))\subseteq g({B}_{M}(p))\subseteq {B}_{M}(p). If, in addition, g is nonexpansive on {B}_{M}(p), then {B}_{M}(p)\cap F(g) and {B}_{M}(p)\cap F(f) are nonempty. If, for some q\in {B}_{M}(p), g is qaffine, f and g are {C}_{q}commuting on {B}_{M}(p), and \overline{f({B}_{M}(p))}\subseteq g({B}_{M}(p)), then {B}_{M}(p)\cap F(f,g) is nonempty.
Theorem 3.16 (AlThagafi and Shahzad [108])
Let X be a normed space, f and g selfmaps of X with p\in F(f,g), and M\in {\mathcal{C}}_{0} with f({M}_{p})\subseteq g(M)\subseteq M. Suppose that \parallel gxp\parallel =\parallel xp\parallel for all x\in M, f is gnonexpansive on {M}_{p}\cup \{p\}, and \overline{f({M}_{p})} is compact. Then {B}_{M}(p) is nonempty, closed, and convex and f({B}_{M}(p))\subseteq g({B}_{M}(p))\subseteq {B}_{M}(p). If, in addition, f is nonexpansive on {B}_{M}(p), then {B}_{M}(p)\cap F(f) is nonempty. If, for some q\in {B}_{M}(p), g is qaffine, f and g are {C}_{q}commuting on {B}_{M}(p), and \overline{f({B}_{M}(p))}\subseteq g({B}_{M}(p)), then {B}_{M}(p)\cap F(f,g) is nonempty.
Several other approximation results including invariant approximations results for starshaped sets and convex sets can be found in [38, 60, 105–108, 115, 119–129].
Some applications of the fixed point theorems to best simultaneous approximation are given in [130–136]. Some other applications of approximation theory can be found in [119, 121, 132, 137–140].
3.3 Several other applications
Several authors, have used common fixed point techniques, to obtain the existence and uniqueness of common solutions for certain class of the functional equations arise in dynamic programming [37, 47, 73, 82, 141]. The solutions of variational inequalities arise in the two point obstacle problem, and they have been studied by several authors as an application of several common fixed point theorems [37, 48, 59, 141]. Common fixed point theorems have also been utilized to find solutions of nonlinear integral equations [88, 142, 143] and continuous solutions for nonlinear integral inclusions [144].
References
Isbell JR: Commuting mappings of tree. Bull. Am. Math. Soc. 1957, 10: 419.
Joshi MC, Bose RK: Some Topics in Nonlinear Functional Analysis. Wiley Eastern, New Delhi; 1985.
Boyce WB: Commuting functions with common fixed point. Trans. Am. Math. Soc. 1969, 137: 77–92.
Huneke JP: On common fixed points of commuting continuous functions on an interval. Trans. Am. Math. Soc. 1969, 139: 371–381.
Goebel K: A coincidence theorem. Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 1968, 16: 733–735.
Machuca R: A coincidence theorem. Am. Math. Mon. 1967, 74: 569–572.
Singh SL, Tomar A: Weaker forms of commuting maps and existence of fixed points. J. Korea Soc. Math. Educ. Ser. B Pure Appl. Math. 2003, 10(3):145–160.
Pant RP, Bisht RK: Common fixed point theorems under a new continuity condition. Ann. Univ. Ferrara 2012, 58: 127–141.
Pant, RP: A Study on Fixed Points of Noncommuting Mappings. DSc thesis, Kumaun University, Nainital, India (2000)
Jungck G: Commuting mappings and fixed points. Am. Math. Mon. 1976, 83(4):261–263.
Chang SS: A common fixed point theorem for commuting mappings. Proc. Am. Math. Soc. 1981, 83(3):645–652.
Das KM, Naik KV: Common fixed point theorems for commuting maps on metric spaces. Proc. Am. Math. Soc. 1979, 77(3):369–373.
Fisher B: Mappings with a common fixed point. Math. Semin. Notes, Kobe Univ. 1979, 7(1):81–84.
Fisher B, Sessa B: Two common fixed point theorems for weakly commuting mappings. Period. Math. Hung. 1989, 20(3):207–218.
Jungck G: Periodic and fixed points, and commuting mappings. Proc. Am. Math. Soc. 1979, 76(2):333–338.
Jungck G: Common fixed points for commuting and compatible maps on compacta. Proc. Am. Math. Soc. 1988, 103(3):977–983.
Kubiak T: Common fixed point theorems of pairwise commuting maps. Math. Nachr. 1984, 118: 123–127.
Boyd DW, Wong JS: On nonlinear contractions. Proc. Am. Math. Soc. 1969, 20: 458–464.
Meir A, Keeler E: A theorem on contraction mappings. J. Math. Anal. Appl. 1969, 28: 326–329.
Jachymski J: Common fixed point theorems for some families of maps. Indian J. Pure Appl. Math. 1994, 25: 925–937.
Jachymski J: Equivalent conditions and MeirKeeler type theorems. J. Math. Anal. Appl. 1995, 194: 293–303.
Jachymski J: Equivalence of some contractivity properties over metrical structures. Proc. Am. Math. Soc. 1997, 125: 2327–2335.
Jungck G, Moon KB, Park S, Rhoades BE: On generalizations of the MeirKeeler type contraction maps: corrections. J. Math. Anal. Appl. 1993, 180: 221–222.
Pant RP: A common fixed point theorem under a new condition. Indian J. Pure Appl. Math. 1999, 30(2):147–152.
Pant RP, Pant V: A unified fixed point theorem. Bull. Calcutta Math. Soc. 1999, 91: 227–232.
Park S, Rhoades BE: Extension of some fixed point theorems of Hegedus and Kasahara. Math. Semin. Notes 1981, 9: 113–118.
Park S, Bae JS: Extension of fixed point theorem of Meir and Keeler. Ark. Mat. 1981, 19: 223–228.
Pant RP, Joshi PC, Gupta V: A MeirKeeler type fixed point theorem. Indian J. Pure Appl. Math. 2001, 32(6):779–787.
Jungck G: Common fixed points for noncontinuous nonself maps on nonmetric spaces. Far East J. Math. Sci. 1996, 4: 199–215.
Jungck G: Compatible mappings and common fixed points. Int. J. Math. Math. Sci. 1986, 9(4):771–779.
Tivari BML, Singh SL: A note on recent generalizations of Jungck contraction principle. J.  Uttar Pradesh Gov. Coll. Acad. Soc. 1986, 3(1):13–18.
Pathak HK: Weak^{∗} commuting mappings and fixed points. Indian J. Pure Appl. Math. 1986, 17(2):201–211.
Pathak HK: Weak^{∗∗} commuting mappings and fixed points. J. Indian Acad. Math. 1992, 14(2):94–98.
Jungck G, Murthy PP, Cho YJ:Compatible mappings of type (A) and common fixed points. Math. Jpn. 1993, 38(2):381–390.
Jungck G, Pathak HK: Fixed points via biased maps. Proc. Am. Math. Soc. 1995, 123(7):2049–2060.
Pant RP: Common fixed points of noncommuting mappings. J. Math. Anal. Appl. 1994, 188: 436–440.
Pathak HK, Rai D: Common fixed point theorems for PD operator pairs under relaxed conditions with applications. J. Comput. Appl. Math. 2013, 239: 103–113.
AlThagafi MA, Shahzad N: Generalized I nonexpansive selfmaps and invariant approximations. Acta Math. Sin. 2008, 24: 867–876.
Hussain N, Khamsi MA, Latif A: Common fixed points for JH operators and occasionally weakly biased pairs under relaxed conditions. Nonlinear Anal. 2011, 74: 2133–2140.
Pant RP, Bisht RK: Occasionally weakly compatible mappings and fixed points. Bull. Belg. Math. Soc. Simon Stevin 2012, 19: 655–661.
Bisht RK, Shahzad N: Faintly compatible mappings and common fixed points. Fixed Point Theory Appl. 2013., 2013: Article ID 156 10.1186/168718122013156
Sessa S: On a weak commutativity condition of mappings in fixed point consideration. Publ. Inst. Math. (Belgr.) 1982, 32: 149–153.
Pathak HK: A MeirKeeler type fixed point theorem for weakly uniformly contraction maps. Bull. Malays. Math. Soc. 1990, 13(1):21–29.
Singh SL, Mishra SN: Coincidence points, hybrid fixed and stationary points of orbitally weakly dissipative maps. Math. Jpn. 1994, 39(3):451–459.
Cho YJ, Sharma BK, Sahu DR: Semi compatibility and fixed points. Math. Jpn. 1995, 42: 91–98.
Pathak HK, Khan MS:Compatible mappings of type (B) and common fixed point theorems of Greguś type. Czechoslov. Math. J. 1995, 45(4):685–698. (120)
Pathak HK, Cho YJ, Kang SM, Lee BS: Fixed point theorems for compatible mappings of type (P) and applications to dynamic programming. Matematiche 1995, 50(1):15–33.
Pathak HK, Kang SM, Cho YJ, Jung JS: Gregus type common fixed point theorems for compatible mappings of type (T) and variational inequalities. Publ. Math. (Debr.) 1995, 46: 285–299.
Pathak HK, Khan M: A comparison of various types of compatible maps and common fixed points. Indian J. Pure Appl. Math. 1997, 28(4):477–485.
Pathak HK, Cho YJ, Kang SM: Remarks on R weakly commuting mappings and common fixed point theorems. Bull. Korean Math. Soc. 1997, 34(2):247–257.
Pathak HK, Cho YJ, Kang SM: Common fixed points of biased maps of type (A) and applications. Int. J. Math. Math. Sci. 1998, 21: 681–693.
Pathak HK, Cho YJ, Kang SM, Madharia B: Compatible mappings of type (C) and common fixed point theorems of Greguś type. Demonstr. Math. 1998, 31(3):499–518.
Fisher B, Murthy PP: Biased maps of type ({A}_{f}) and fixed points. J. Nat. Sci. Math. 1999, 39: 33–42.
Dhage BC: On common fixed point of coincidentally commuting mappings in D metric space. Indian J. Pure Appl. Math. 1999, 30(4):395–406.
Sastry KPR, Krishna Murthy ISR: Common fixed points of two partially commuting tangential selfmaps on a metric space. J. Math. Anal. Appl. 2000, 250(2):731–734.
Shrivastava PK, Bawa NPS, Singh P: Coincidence theorems for hybrid contraction II. Soochow J. Math. 2000, 26(4):411–421.
Sahu DR, Dhagat VB, Srivastava M: Fixed points with intimate mappings (I). Bull. Calcutta Math. Soc. 2001, 93(2):107–114.
Singh, YR: Studies on fixed points, common fixed points and coincidences. PhD thesis, Manipur University, Kanchipur, India (2002)
Pathak HK, Ume JS: Weakly compatible mappings and common fixed point theorems with applications to variational inequalities. Adv. Nonlinear Var. Inequal. 2007, 10: 55–68.
Chen J, Li Z: Common fixed points for Banach operator pairs in best approximation. J. Math. Anal. Appl. 2007, 336: 1466–1475.
Pant V, Pant RP: Common fixed points of conditionally commuting maps. Fixed Point Theory 2010, 11(1):113–118.
arXiv: 0906.3159v1
Pathak HK, Hussain N: Common fixed points for P operator pair with applications. Appl. Math. Comput. 2010, 217: 3137–3143.
Suzuki T, Pathak HK: Almost biased mappings and almost compatible mappings are equivalent under some condition. J. Math. Anal. Appl. 2010, 368: 211–217.
Pathak HK, Tiwari R: A Gregus type common fixed point theorem in normed spaces with application. Banach J. Math. Anal. 2011, 5(1):136–147.
Bouhadjera H, Djoudi A: Fixed point for occasionally weakly biased maps. Southeast Asian Bull. Math. 2012, 36: 489–500.
Pant RP, Bisht RK: Common fixed points of pseudo compatible mappings. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 2013. 10.1007/s1339801301195
Haghi RH, Rezapour S, Shahzad N: Some fixed point generalizations are not real generalizations. Nonlinear Anal. 2011, 74: 1799–1803.
Pant RP: Discontinuity and fixed points. J. Math. Anal. Appl. 1999, 240: 284–289.
Aamri M, El Moutawakil D: Some new common fixed point theorems under strict contractive conditions. J. Math. Anal. Appl. 2002, 270: 181–188.
Sintunavarat W, Kumam P: Common fixed point theorems for a pair of weakly compatible mappings in fuzzy metric spaces. J. Appl. Math. 2011., 2011: Article ID 637958
Chauhan S, Khan MA, Kumar S: Unified fixed point theorems in fuzzy metric spaces via common limit range property. J. Inequal. Appl. 2013., 2013: Article ID 182
Chauhan S, Radenović S, Imdad M, Vetro C: Some integral type fixed point theorems in nonArchimedean Menger PMspaces with common property (E.A) and applications of functional equations in dynamic programming. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 2013. 10.1007/s1339801301426
Chauhan S, Bhatnagar S, Radenović S: Common fixed point theorems for weakly compatible mappings in fuzzy metric spaces. Matematiche 2013, LXVIII(I):87–98. 10.4418/2013.68.1.8
Imdad M, Chauhan S: Employing common limit range property to prove unified metrical fixed point theorems. Int. J. Anal. 2013., 2013: Article ID 763261
Imdad M, Chauhan S, Kadelburg Z: Fixed point theorems for mappings with common limit range property satisfying generalized (\psi ,\phi ) weak contractive conditions. Math. Sci. 2013., 7: Article ID 16 10.1186/22517456716
Chauhan S, Kadelburg Z, Dalal S: A common fixed point theorem in metric space under general contractive condition. J. Appl. Math. 2013., 2013: Article ID 510691
Sintunavarat W, Kumam P: Common fixed points for R weakly commuting mappings in fuzzy metric spaces. Ann. Univ. Ferrara, Sez. 7: Sci. Mat. 2012, 58(2):389–406.
Singh SL: On common fixed points of commuting mappings. Math. Semin. Notes, Kobe Univ. 1977, 5(2):131–134.
Bouhadjera H: Common fixed point theorems for compatible mappings of type (C). Sarajevo J. Math. 2005, 1(14):261–270.
Pathak HK, Verma RK: Weakly compatible mappings and Altman type contraction. Filomat 2008, 22(1):33–46.
Pant V, Bisht RK: A new continuity condition and fixed point theorems with applications. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 2013. 10.1007/s1339801301328
Pathak HK, Cho YJ, Chang SS, Kang SM: Compatible mappings of type (P) and fixed point theorems in metric spaces and probabilistic metric spaces. Novi Sad J. Math. 1996, 26: 87–109.
Pathak HK, Chang SS, Cho YJ: Fixed point theorems for compatible mappings of type (P). Indian J. Math. 1994, 36(2):151–166.
Pathak HK, Chang SS, Cho YJ: Fixed point theorems for mappings of type (P). Indian J. Math. 1994, 36: 151–166.
Pant RP: Common fixed points of Lipschitz type mapping pairs. J. Math. Anal. Appl. 1999, 240: 280–283.
Chugh R, Kumar S: Common fixed points for weakly compatible maps. Proc. Indian Acad. Sci. Math. Sci. 2001, 111(2):241–247.
Pathak HK, Khan MS, Tiwari R: A common fixed point theorem and its application to nonlinear integral equations. Comput. Math. Appl. 2007, 53: 961–971.
Murthy PP: Important tools and possible applications of metric fixed point theory. Nonlinear Anal. 2001, 47: 3479–3490.
Jungck G, Rhoades BE: Fixed point theorems for occasionally weakly compatible mappings. Fixed Point Theory 2006, 7(2):287–296. (Fixed Point Theory 9, 383–384 (2008) (erratum))
Bisht RK, Pant RP: A critical remark on ‘Fixed point theorems for occasionally weakly compatible mappings’. J. Egypt. Math. Soc. 2013, 21: 273–275.
Dorić D, Kadelburg Z, Radenović S: A note on occasionally weakly compatible and common fixed points. Fixed Point Theory 2012, 13: 475–480.
Abbas M, Gopal D, Radenović S: A note on recently introduced commutative conditions. Indian J. Math. 2013, 55(2):195–201.
Alghamdi MA, Radenović S, Shahzad N: On some generalizations of commuting mappings. Abstr. Appl. Anal. 2012., 2012: Article ID 952052
Bisht RK, Rakocević V: Some notes on PD operator pairs. Math. Commun. 2013, 18: 441–445.
Kadelburg Z, Radenović S, Shahzad N: A note on various classes of compatibletype pairs of mappings and common fixed point theorems. Abstr. Appl. Anal. 2013., 2013: Article ID 697151 10.1155/2013/697151
AlThagafi MA, Shahzad N: A note on occasionally weakly compatible maps. Int. J. Math. Anal. 2009, 3(2):55–58.
Abbas M, Jungck G: Common fixed point results for noncommuting mappings without continuity in cone metric spaces. J. Math. Anal. Appl. 2008, 341(1):416–420.
Bielecki A: Une remrque sur la methode de BanachCacciopoliTikhonov dans la theorie des euations differentielles ordinaries. Bull. Acad. Pol. Sci., Cl. III 1956, 4: 261–264.
Caratheodory C: Vorlesungen über reele Funktionen. Teubner, Berlin; 1918.
Meinardus G: Invarianz bei linearen approximationen. Arch. Ration. Mech. Anal. 1963, 14: 301–303.
Schauder J: Der Fixpunktsatz in Funktionalraumen. Stud. Math. 1930, 2: 171–180.
Brosowski B: Fixpunktsatze in der Approximationstheorie. Mathematica 1969, 11: 195–220.
Subrahmanyam PV: An application of a fixed point theorem to best approximation. J. Approx. Theory 1977, 20: 165–172.
Shahzad N: A result on best approximation. Tamkang J. Math. 1998, 29: 223–226. corrections: Tamkang J. Math. 30, 165 (1999)
Shahzad N: Noncommuting maps and best approximations. Rad. Mat. 2001, 10: 77–83.
Shahzad N: Invariant approximations and R subweakly commuting maps. J. Math. Anal. Appl. 2001, 257(1):39–45.
AlThagafi MA, Shahzad N: Noncommuting selfmaps and invariant approximations. Nonlinear Anal. 2006, 64(12):2778–2786.
Singh SP: Applications of fixed point theorems in approximation theory. In Applied Nonlinear Analysis. Edited by: Lakshmikantham V. Academic Press, New York; 1979:389–397.
Singh SP: An application of a fixed point theorem to approximation theory. J. Approx. Theory 1979, 25: 89–90.
Hicks TL, Humphries MD: A note on fixed point theorems. J. Approx. Theory 1982, 34: 221–225.
Smoluk A: Invariant approximations. Mat. Stosow. 1981, 17: 17–22. (in Polish)
Habiniak L: Fixed point theorems and invariant approximations. J. Approx. Theory 1989, 56: 241–244.
Shahzad N, Bassindowa G: Fixed point theorems for Suzukigeneralized nonexpansive mappings with applications. J. Nonlinear Convex Anal. 2012, 13(4):657–666.
O’Regan D, Shahzad N: Invariant approximations for generalized I contractions. Numer. Funct. Anal. Optim. 2005, 26(4–5):565–575.
Sahab SA, Khan MS, Sessa S: A result in best approximation theory. J. Approx. Theory 1988, 55: 349–351.
Jungck G, Sessa S: Fixed point theorems in best approximation theory. Math. Jpn. 1995, 42: 249–252.
AlThagafi MA: Common fixed points and best approximation. J. Approx. Theory 1996, 85: 318–323.
Beg I, Abbas M: Common fixed points and best approximation in convex metric spaces. Soochow J. Math. 2007, 33: 729–738.
Chandok S, Narang TD: Some common fixed point theorems for Banach operator pairs with applications in best approximation. Nonlinear Anal. TMA 2010, 73: 105–109.
Narang TD, Chandok S: Common fixed points and invariant approximation of R subweakly commuting maps in convex metric spaces. Ukr. Math. J. 2010, 62: 1585–1596. (1367–1376)
O’Regan D, Shahzad N: Coincidence points and invariant approximation results for multimaps. Acta Math. Sin. Engl. Ser. 2007, 23(9):1601–1610.
Pathak HK, Hussain N: Common fixed points for Banach operator pairs with applications. Nonlinear Anal. 2008, 69: 2788–2802.
Shahzad N: Invariant approximations, generalized I contractions, and R subweakly commuting maps. Fixed Point Theory Appl. 2005, 1: 79–86.
Shahzad N: On R subweakly commuting maps and invariant approximations in Banach spaces. Georgian Math. J. 2005, 12: 157–162.
Shahzad N, Markin J: Invariant approximations for commuting mappings in CAT(0) and hyperconvex spaces. J. Math. Anal. Appl. 2008, 337(2):1457–1464.
Singh SP: Some results on best approximation in locally convex spaces. J. Approx. Theory 1980, 28: 72–76.
Singh SP, Watson B, Srivastava P: Fixed Point Theory and Best Approximation: The KKMMap Principle. Kluwer Academic, Dordrecht; 1997.
Pathak HK, Khan M, Liu Z, Ume JS: Fixed point theorems in metrically convex spaces and applications. J. Nonlinear Convex Anal. 2003, 4(2):231–244.
Khan A, Akbar F: Common fixed points from best simultaneous approximations. Taiwan. J. Math. 2009, 13(5):1379–1386.
Milman PD: On best simultaneous approximation in normed linear spaces. J. Approx. Theory 1977, 20: 223–238.