# Occasionally weakly compatible mappings and fixed points.

1 Introduction and preliminariesIn a recent work Al-Thagafi and Shahzad [2] introduced the notion of occasionally weakly compatible mappings and employed the new notion to prove fixed point theorems under contractive conditions. Two selfmappings I and T of a subset D of a metric space (X, d) are called occasionally weakly compatible (owc in short) if Ix = Tx and ITx = Tlx for some x [member of] D. A point x satisfying Ix = Tx is called a coincidence point of I and T. Thus, if I and T are owc mappings such that Ix = Tx, ITx = TIx for some x then both x and Ix(= Tx) are coincidence points of I and T.

Now suppose that I and T satisfy a typical contractive condition. If I and T have a common fixed point, say z, then z = Iz = Tz, ITz = TIz = z and I and T are, therefore, owc mappings. On the other hand, if I and T are owc mappings such that Ix = Tx and ITx = TIx for some x then, since some contractive conditions exclude the existence of two coincidence points x, y for I and T such that Ix [not equal to] Iy, we get Ix = IIx (= TIx). This means that Ix = Tx is a common fixed point of I and T. Therefore, under many contractive conditions existence of a common fixed point and occasional weak compatibility are equivalent conditions and, consequently, proving existence of fixed points by assuming owc is often equivalent to proving the existence of fixed points by assuming the existence of fixed points.

In view of this, proving fixed point theorems for owc mappings under contractive condition often reduces to a redundant exercise. We thus see that contractive conditions do not provide an ideal setting for the application of the concept of owc and for proper applications of the notion of owc one should look to mappings satisfying nonexpansive condition, Lipschitz type condition or some other general condition. Moreover, owc mappings can be divided in two categories:

1. Mappings commuting at all the coincidence points, and

2. Mappings commuting on a proper subset of the set of coincidences.

In the first case the mappings are obviously pointwise R-weakly commuting [6] or, equivalently, weakly compatible [4]. In the second case the mappings are noncompatible. Therefore, a proper setting for the application of owc should allow the existence of multiple fixed points or multiple coincidence points with distinct functional values and the classes of mappings that allow such possibility include:

(a) Noncompatible mappings satisfying nonexpansive or Lipschitz type condition,

(b) Weakly compatible mappings [4] satisfying nonexpansive or Lipschitz type condition and (E.A.) property [1].

Before proceeding further, we recall some relevant concepts and results.

Definition 1.1[3]. Two selfmaps I and T of a metric space (X, d) are called compatible iff [lim.sub.n] d([ITx.sub.n], [TIx.sub.n]) = 0 whenever {[x.sub.n]} is a sequence in X such that [lim.sub.n] [Ix.sub.n] = [lim.sub.n] [Tx.sub.n] = t for some t in X.

It is clear from the above definition that I and T will be noncompatible if there exists a sequence {[x.sub.n]} in X such that [lim.sub.n] [Ix.sub.n] = [lim.sub.n] [Tx.sub.n] = t for some t in X but [lim.sub.n] d([ITx.sub.n], [TIx.sub.n]) is either non-zero or non-existent.

Definition 1.2[6]. Two selfmaps I and T of a metric space (X, d) are called point-wise R-weakly commuting on X if given x in X there exists R > 0 such that d(ITx, TIx) [less than or equal to] Rd(Ix, Tx).

Definition 1.3[4]. A pair (I, T) of selfmappings of a nonempty set X is said to be weakly compatible if the mappings commute at their coincidence points, i.e., Ix = Tx for some x [member of] X implies ITx = TIx.

Definition 1.4[6,7]. Two selfmappings I and T of a metric space (X, d) are called reciprocally continuous iff [lim.sub.n] [ITx.sub.n] = It and [lim.sub.n] [TIx.sub.n] = Tt whenever {[x.sub.n]} is a sequence such that [lim.sub.n] [Ix.sub.n] = [lim.sub.n] [Tx.sub.n] = t for some t in X.

Definition 1.5[1]. A pair (I, T) of selfmappings of a metric space (X, d) is said to satisfy the property (E.A.) if there exist a sequence {[x.sub.n]} in X such that

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

Clearly, a pair of noncompatible (as well as nontrivial compatible) mappings satisfies the property (E.A.).

Let I and T be selfmaps of a subset D of a metric space (X, d). For every x,y [member of] D, define

[[phi].sub.I,T] (x,y) := max {d(Ix, Iy), d(Ix, Tx), d(Iy, Ty), d(Ix, Ty), d(Iy, Tx)}.

In a recent work Al-Thagafi and Shahzad [2] proved the following theorem:

Theorem 1.1. Let D be a subset of a metric space (X, d), I and T selfmaps of D, [bar.T(D)] [subset or equal to] 1(D), and [bar.T(D)] is complete. Suppose that I and T are occasionally weakly compatible and d(Tx, Ty) [less than or equal to] [k[phi].sub.(I,T)] (x,y) for all x,y [member of] D and some k [member of] [0,1[. Then I and T have a unique common fixed point.

We first observe that Theorem 1.1 does not require the lengthy proof given by Al-Thagafi and Shahzad [2] and it also does not require many of the conditions assumed in the theorem. In fact, it is to be observed that under the contractive condition

d(Tx, Ty) [less than or equal to] [k[phi].sub.(I,X)] (x,y) k [member of] [0,1[, x,y [member of] D (1.1)

of Theorem 1.1, assumption of owc and the existence of a unique common fixed point are equivalent conditions. To see this, first suppose that I and T have a unique common fixed point z then, as already discussed above, I and T are owc. On the other hand, if I and T are owc mappings then there exists a u in X such that Iu = Tu and ITu = TIu (= TTu = IIu). Condition (1.1) now straight away implies that Tu = TTu = ITu and Tu is a unique common fixed point of I and T. We thus see that under the contractive condition (1.1) of Theorem 1.1 assumption of owc and the existence of a unique common fixed point are equivalent conditions. The same will be true for many other contractive conditions, e.g,

d(Tx, Ty) [less than or equal to] [phi]([[phi].sub.(I,T)] (x,y)); x,y [member of] D, (1.2)

where [phi] : [[Real part].sub.+] [right arrow] [[Real part].sub.+] is such that [phi](t) < t for each t > 0. This shows that contractive conditions do not provide a nontrivial setting for the application of owc. There can be two possible approaches to remedy the situation and improve the results of Al-Thagafi and Shahzad [2]:

(c) To replace the contractive condition by more general conditions that may hold for mappings satisfying contractive as well as nonexpansive and Lipschitz type conditions. We adopt this approach in the next theorem (Theorem 1.2) for improving Theorem 1.1 of Al-Thagafi and Shahzad [2].

(d) To introduce a condition that is weaker than owc but which can be used with contractive conditions also. In the present paper we introduce such a notion and demonstrate that the new notion is a necessary condition for the existence of common fixed points.

Theorem 1.2. Let I and T be occasionally weakly compatible selfmappings of a metric space (X, d) satisfying

(i) d(Tx, [T.sup.2] x) [not equal to] max{d(Ix, ITx), d(Ix, Tx), d(ITx, TTx), d(Ix, TTx), d(ITx, Tx)}, whenever Tx [not equal to] [T.sup.2]x.

Then I and T have a common fixed point.

Proof. Since I and T are owc, there exists a point u in X such that Iu = Tu and ITu = TIu. This in turn yields IIu = ITu = TIu = TTu. If Tu = T2u then using (i) we get d(Tu, [T.sup.2]u) = max{d(Iu, ITu), d(Iu, Tu), d(ITu, TTu), d(Iu, TTu), d(ITu, Tu)} = d(Iu, [T.sup.2]u), a contradiction. Hence Tu = TTu = ITu and Tu is a common fixed point of I and T.

As a particular case of the above theorem we get the following corollary:

Corollary 1.1. Let I and T be occasionally weakly compatible selfmappings of a metric space (X, d) satisfying

(ii) d(Tx, [T.sup.2]x) < max {d(Ix, ITx), d(Ix, Tx), d(ITx, TTx), d(Ix, TTx),d(ITx, Tx)}, whenever Tx [not equal to] [T.sup.2]x.

Then I and T have a common fixed point.

We now give an example which illustrates the above theorem.

Example 1.1. Let X = [0,1] and d be the usual metric on X. Define self mappings I, and T on X as follows

I(x) = (1 - x)/3,

T(x) = ([square root of 5 - 4[(2x - 1).sup.2]] - 1)/4.

Then I and T satisfy all the conditions of the above theorem and have two coincidence points x = 1, x = 1/4 and a common fixed point x = 1/4. It maybe verified in this example that I and T are owc maps. I and T are owc since they commute at one of their coincidence points x = 1/4. It is also easy to verify that I and T satisfy the condition d(Tx, [T.sup.2]x) < max{d(Ix, ITx), d(Ix, Tx), d(ITx, TTx), d(Ix, TTx),d(ITx, Tx)}. Furthermore, I and T are noncompatible, let us consider the sequence {[x.sub.n] = 1 - [1/n]}. Then [lim.sub.n[right arrow][infinity]] [Ix.sub.n] = 0, [lim.sub.n[right arrow][infinity]] [Tx.sub.n] = 0, [lim.sub.n[right arrow][infinity]] [ITx.sub.n] = 1/3, [lim.sub.n[right arrow][infinity]] [TIx.sub.n] = 0. Hence I and T are noncompatible.

Next, we introduce a new commutativity notion which is a proper generalization of nontrivial compatibility as well as owc.

Definition 1.6. Two selfmappings I and T of a metric space (X, d) will be defined to be conditionally compatible iff whenever the set of sequences {[x.sub.n]} satisfying [lim.sub.n[right arrow][infinity]] [Ix.sub.n] = [lim.sub.n[right arrow][infinity]] [Tx.sub.n] is nonempty, there exists a sequence {[y.sub.n]} such that [lim.sub.n[right arrow][infinity]] [Iy.sub.n] = [lim.sub.n[right arrow][infinity]] [Ty.sub.n] = t(say) and [lim.sub.n[right arrow][infinity]] d([ITy.sub.n], [TIy.sub.n]) = 0.

If I and T are nontrivially compatible then they are obviously conditionally compatible but, as shown in Example 1.2, the converse is not true. Thus the new notion is a proper generalization of nontrivial compatibility.

Example 1.2. Let X = [2,20] and d be the usual metric on X. Define self mappings I and T on X as follows

Ix = 2 if x = 2 or x > 5, Ix = 4 if 2 < x [less than or equal to] 5,

T2 = 2, Tx = 4, if 2 < x [less than or equal to] 5, Tx = (x + 1)/3 if x > 5.

In this example I and T are conditionally compatible but not compatible. To see this let us consider the constant sequence {[y.sub.n] = 2} then [lim.sub.n[right arrow][infinity]] [Iy.sub.n] = 2, [lim.sub.n[right arrow][infinity]] [Ty.sub.n] = 2, [lim.sub.n[right arrow][infinity]] [ITy.sub.n] = 2, [lim.sub.n[right arrow][infinity]] [TIy.sub.n] = 2 and [lim.sub.n[right arrow][infinity]] d([ITy.sub.n], [TIy.sub.n]) = 0. If we consider the sequence {[x.sub.n] = 5 + 1/n} then [lim.sub.n[right arrow][infinity]] [Ix.sub.n] = 2, [lim.sub.n[right arrow][infinity]] [Tx.sub.n] = (2 + [1/3n]) [right arrow] 2, [lim.sub.n[right arrow][infinity]] [ITx.sub.n] = 4, [lim.sub.n[right arrow][infinity]] [TIx.sub.n] = 2 and l[lim.sub.n[right arrow][infinity]] d([ITx.sub.n], [TIx.sub.n]) = 2. Thus I and T are conditionally compatible but not compatible.

It is also relevant to mention here that if I and T are occasionally weakly compatible then they are obviously conditionally compatible, but, the converse is not true in general.

Example 1.3. (Example 1.2 [5]). Let X = [0, [infinity]) equipped with the usual metric d. Define selfmappings I and T on X as follows

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In this example I and T are conditionally compatible but not owc (see Example 1.2 [5]).

It may be pointed that the notion of pointwise R-weak commutativity [6] and the equivalent notion of weak compatibility [4] imply commutativity at coincidence points but do not help in establishing the existence of coincidence points whereas the new notion is useful in establishing the existence of coincidence points.

Theorem 1.3. Let I and T be conditionally compatible selfmappings of a metric space (X, d) satisfying

(iii) d(x, Tx) [not equal to] max{d(x, Ix), d(Tx, Ix)}, whenever the right-hand side is nonzero.

If I and T are noncompatible and reciprocally continuous then I and T have a common fixed point.

Proof. Since I and T are noncompatible, there exists a sequence {[x.sub.n]} in X such that [lim.sub.n[right arrow][infinity]] [Ix.sub.n] = [lim.sub.n[right arrow][infinity]] [Tx.sub.n] = t for some t [member of] X but either [lim.sub.n[right arrow][infinity]] d([ITx.sub.n], [TIx.sub.n]) is either non-zero or the limit does not exist. Also, since I and T are conditionally compatible and [lim.sub.n[right arrow][infinity]] [Ix.sub.n] = [lim.sub.n[right arrow][infinity]] [Tx.sub.n] = t, there exists a sequence {[z.sub.n]} in X satisfying [lim.sub.n[right arrow][infinity]] [Iz.sub.n] = [lim.sub.n[right arrow][infinity]] [Tz.sub.n] = u(say), such that [lim.sub.n[right arrow][infinity]] d([ITz.sub.n], [TIz.sub.n]) = 0. Reciprocal continuity of I and T implies that [lim.sub.n[right arrow][infinity]] [ITz.sub.n] = Iu and [lim.sub.n[right arrow][infinity]] [TIz.sub.n] = Tu. The last three limits together imply Iu = Tu. If u [not equal to] Tu then using (iii) we get d(u, Tu) [not equal to] max{d(u, Iu),d(Iu, Tu)} = d(u, Tu), a contradiction. Hence u = Iu = Tu and u is a common fixed point of I and T.

Example 1.1 illustrates the above theorem also if I and T are replaced by their restrictions on (0,1) and x [member of] (0,1).

We now employ the notion of conditional compatibility to obtain a common fixed point theorem under the [phi]-contractive condition (1.2) which contains the condition (1.1) of Al-Thagafi and Shahzad [2] as a particular case.

Theorem 1.4. Let I and T be reciprocally continuous noncompatible selfmappings of a metric space (X, d) satisfying

(iv) d(Tx, Ty) [less than or equal to] p(max {d(Ix, Iy),d(Ix, Tx),d(Iy, Ty), d(Ix, Ty), d(Iy, Tx)}).

Where [phi] : [[Real part].sub.+] [right arrow] [[Real part].sub.+] is such that [phi](t) < t for each t > 0. If I and T are conditionally compatible then I and T have a unique common fixed point.

Proof. Since I and T are noncompatible, there exists a sequence {[x.sub.n]} in X such that [lim.sub.n[right arrow][infinity]] [Ix.sub.n] = [lim.sub.n[right arrow][infinity]] [Tx.sub.n] = t for some t [member of] X but either limn-to d([ITx.sub.n], [TIx.sub.n]) [not equal to] 0 or the limit does not exist. Also, since I and T are conditionally compatible and [lim.sub.n[right arrow][infinity]] [Ix.sub.n] = [lim.sub.n[right arrow][infinity]] [Tx.sub.n] = t, there exists a sequence {[z.sub.n]} in X satisfying [lim.sub.n[right arrow][infinity]] [Iz.sub.n] = [lim.sub.n[right arrow][infinity]] [Tz.sub.n] = u(say), such that [lim.sub.n[right arrow][infinity]] d([ITz.sub.n], [TIz.sub.n]) = 0. Reciprocal continuity of I and T implies that [lim.sub.n[right arrow][infinity]] [ITz.sub.n] = Iu and [lim.sub.n[right arrow][infinity]] [TIz.sub.n] = Tu. The last three limits together imply Iu = Tu. If u [not equal to] Tu then using (iv) we get d([Tz.sub.n], Tu) [less than or equal to] [phi](max{d([Iz.sub.n], Iu), d([Iz.sub.n], [Tz.sub.n]), d(Iu, Tu), d([Iz.sub.n], Tu),d(Iu, [Tz.sub.n])}). On letting n [right arrow] [infinity] we get d(u, Tu) [less than or equal to] [phi]((d(u, Tu))) < d(u, Tu), a contradiction. Hence u = Iu = Tu and u is a common fixed point of I and T. Uniqueness of the common fixed point theorem follows easily.

Theorem 1.4 can be generalized further if we use the property (E.A.)[1] instead of the notion of noncompatibility. We do so in our next theorem.

Theorem 1.5. Let I and T be reciprocally continuous conditionally compatible selfmappings of a metric space (X, d) satisfying

(v) d(Tx, Ty) [less than or equal to] [phi](max{d(Ix, Iy),d(Ix, Tx),d(Iy, Ty), d(Ix, Ty), d(Iy, Tx)}).

Where [phi] : [[Real part].sub.+] [right arrow] [[Real part].sub.+] is such that [phi](t) < t for each t > 0. If I and T are conditionally compatible and satisfy the (E. A.) property, then I and T have a unique common fixed point.

Proof. Since I and T satisfy the property (E.A.), there exists a sequence {[x.sub.n]} in X such that [lim.sub.n[right arrow][infinity]] [Ix.sub.n] [right arrow] t and [lim.sub.n[right arrow][infinity]] [Tx.sub.n] [right arrow] t for some t [member of] X. Rest of the proof can be completed on the similar lines as has been done in Theorem 1.4.

Remark 1.1. Suppose I and T are selfmappings of a metric space (X, d) having a common fixed point, say z then z = Iz = Tz and TIz = ITz = Tz = Iz = z. If we consider the constant sequence {[x.sub.n] = z} then [lim.sub.n[right arrow][infinity]] [Ix.sub.n] = z [lim.sub.n[right arrow][infinity]] [Tx.sub.n] = z,[lim.sub.n[right arrow][infinity]] [ITx.sub.n] = Iz = z, [lim.sub.n[right arrow][infinity]] [TIx.sub.n] = Tz = z and [lim.sub.n[right arrow][infinity]] d([ITx.sub.n], [TIx.sub.n]) = d(z, z) = 0, i.e., I and T are conditionally compatible. This shows that existence of a common fixed point implies conditional compatibility, that is, conditional compatibility is a necessary condition for the existence of a common fixed point of given mappings I and T.

Acknowledgement: The authors are thankful to the referee for appreciating the results and for his valuable suggestions to improve the style of the paper.

References

[1] Aamri, A.: El Moutawakil, D.: Some new common fixed point theorems under strict contractive conditions. J. Math. Anal. Appl. 270, 181-188 (2002).

[2] Al-Thagafi, M. A.: Shahzad, N.: Generalized I-nonexpansive selfmaps and invariant approximations. Acta. Math. Sin. 24, 867-876 (2008).

[3] Jungck, G.: Compatible mappings and common fixed points. Internat. J. Math. Math. Sci. 9(4), 771-779 (1986).

[4] Jungck, G.: Common fixed points for noncontinuous nonself maps on non-metric spaces, Far East J. Math. Sci. 4(2), 199-215 (1996).

[5] Bouhadjera, H.: Godet-Thobie, C.: Common fixed point theorems for pair of subcompatible maps, 17 June 2009, arXiv: 0906.3159v1 [math. FA].

[6] Pant, R. P.: Common fixed points of four mappings, Bull. Cal. Math. Soc. 90, 281-286 (1998).

[7] Pant, R. P.: A common fixed point theorem under a new condition, Indian J. Pure Appl. Math. 30(2), 147-152 (1999).

R. P. Pant R. K. Bisht *

Department of Mathematics D. S. B. Campus, Kumaun University, Nainital-263002, India.

E-mail: pant_rp@rediffmail.com, ravindra.bisht@yahoo.com

* Corresponding author

Received by the editors October 2011.

Communicated by F. Bastin.

2000 Mathematics Subject Classification: Primary 54H25, Secondary 47H10.

Printer friendly Cite/link Email Feedback | |

Author: | Pant, R.P.; Bisht, R.K. |
---|---|

Publication: | Bulletin of the Belgian Mathematical Society - Simon Stevin |

Article Type: | Report |

Geographic Code: | 9INDI |

Date: | Oct 1, 2012 |

Words: | 3471 |

Previous Article: | On certain results of C. Bereanu and J. Mawhin. |

Next Article: | Double density by moduli and statistical convergence. |

Topics: |