SpringerOpen Newsletter

Receive periodic news and updates relating to SpringerOpen.

Open Access Highly Accessed Original research

Fixed point theorems for mappings with common limit range property satisfying generalized (ψ,φ)-weak contractive conditions

Mohammad Imdad1, Sunny Chauhan2* and Zoran Kadelburg3

Author Affiliations

1 Department of Mathematics, Aligarh Muslim Univeristy, Aligarh, 202 002, India

2 R.H. Government Postgraduate College, Kashipur, 244 713 (U.S. Nagar) Uttarakhand, India

3 Faculty of Mathematics, University of Belgrade, Studentski trg 16/IV, 11000 Beograd, Serbia

For all author emails, please log on.

Mathematical Sciences 2013, 7:16  doi:10.1186/2251-7456-7-16

The electronic version of this article is the complete one and can be found online at: http://www.iaumath.com/content/7/1/16


Received:15 February 2013
Accepted:19 March 2013
Published:4 April 2013

© 2013 Imdad et al.; licensee Springer.

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

In this paper, we prove some common fixed point theorems for weakly compatible mappings in metric spaces satisfying generalized (ψ,φ)-contractive conditions under the common limit range property. We present a fixed point theorem for four finite families of self-mappings which can be utilized to derive common fixed point theorems involving any number of finite mappings. Our results improve and extend the corresponding results of Radenović et al. (Bull. Iranian Math. Soc. 38(3):625–645, 2012). We also furnish some illustrative examples to support our main results.

Keywords:
Metric space; Weakly compatible mappings; Property (E.A); Generalized weak contraction; Common limit range property; Fixed point

Introduction and preliminaries

The famous Banach Contraction Principle which is also referred as the Banach fixed point theorem continues to be a very popular and powerful tool in solving existence problems in pure and applied sciences which include biology, medicine, physics, and computer science. It evidently plays a crucial role in nonlinear analysis. This theorem states that if (X, d) is a complete metric space and T:X → X is a contraction mapping, i.e.,

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M1','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M1">View MathML</a>

for all x, y ∈ X, and k is a non-negative real number such that k < 1, then T has a unique fixed point in X. Moreover, this fixed point can be explicitly obtained as a limit of repeated iteration of the mapping, initiating at any point of the underlying space. Obviously, every contraction is a continuous function but not conversely. Many mathematicians (e.g., [1-6]) proved several fixed point theorems to explore some new contraction-type mappings in order to generalize the classical Banach Contraction Principle.

The concept of weak contraction was introduced by Alber and Guerre-Delabriere [7] in 1997, wherein the authors introduced the following notion for mappings defined on a Hilbert space X.

Consider the following set of real functions Φ = { φ:[0, + ) → [0, + ):φ is lower semi-continuous and φ−1({0}) = {0} }.

A mapping T:X → X is called a φ-weak contraction if there exists a function φ ∈ Φ such that

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M2','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M2">View MathML</a>

for all x, y ∈ X.

Alber and Guerre-Delabriere [7] also showed that each φ-weak contraction on a Hilbert space has a unique fixed point. Thereafter, Rhoades [8] showed that the results contained in [7] are also valid for any Banach space. In particular, he generalized the Banach Contraction Principle which follows in case one chooses φ(t) = (1 − k)t.

Zhang and Song [9] proved a common fixed point theorem for two mappings using φ-weak contraction. This result was extended by Dorić [10] and Dutta and Choudhury [11] to a pair of (ψ, φ)-weak contractive mappings. However, the main fixed point theorem for a self-mapping satisfying (ψ, φ)-weak contractive condition contained in Dutta and Choudhury [11] runs as follows:

Let us consider the following set of real functions: Ψ = { ψ:[0, + ) → [0, + ):ψ is continuous non-decreasing and ψ−1({0}) = {0} }.

Theorem 1.1

Let (X, d) be a complete metric space and let T:X → X be a self-mapping satisfying

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M3','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M3">View MathML</a>

for some ψ ∈ Ψ and φ ∈ Φ and all x, y ∈ X. Then, T has a unique fixed point in X.

In recent years, many researchers utilized (ψ, φ)-weak contractive conditions to prove a number of metrical fixed point theorems (e.g., [12-19]). In an important paper, Jachymski [20] showed that some of the results involving two functions ψ ∈ Ψ and φ ∈ Φ can be reduced to one function φ ∈ Φ. Popescu [21] proved a fixed point theorem in a complete metric space and showed that the conditions on functions ψ and φ can be weakened. His result improved the corresponding results of Dutta and Choudhury [11] and Dorić [10].

A common fixed point result generally involves conditions on commutativity, continuity, and contraction along with a suitable condition on the containment of range of one mapping into the range of the other. Hence, one is always required to improve one or more of these conditions in order to prove a new common fixed point theorem.

It can be observed that in the case of two mappings A, S:X → X, one can consider the following classes of mappings for the existence and uniqueness of common fixed points:

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M4','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M4">View MathML</a>

(1.1)

where F is some function and m(x, y) is the maximum of one of the sets:

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M5','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M5">View MathML</a>

A further possible generalization is to consider four mappings instead of two and ascertain analogous common fixed point theorems. In the case of four mappings A, B, S, T:X → X, the corresponding sets take the form

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M6','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M6">View MathML</a>

In this case (1.1) is usually replaced by

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M7','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M7">View MathML</a>

(1.2)

where m(x, y) is the maximum of one of the M sets.

Similarly, we can define the M sets for six mappings A, B, H, R, S, T:X → X as

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M8','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M8">View MathML</a>

(1.3)

and the contractive condition is again in the form (1.2). Using different arguments of control functions, Radenović et al. [22] proved some common fixed point results for two and three mappings using (ψ, φ)-weak contractive conditions and improved several known metrical fixed point theorems.

Motivated by these results, we prove some common fixed point theorems for two pairs of weakly compatible mappings with common limit range property satisfying generalized (ψ, φ)-weak contractive conditions. Many known fixed point results are improved, especially the ones proved in [22] and also contained in the references cited therein. We also obtain a fixed point theorem for four finite families of self-mappings. Some related results are also derived besides furnishing illustrative examples.

Definition 1.1

Let A and S be two mappings from a metric space (X, d) into itself. Then, the mappings are said to

1. be commuting if ASx = SAx for all x ∈ X,

2. be compatible [23] if <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M9','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M9">View MathML</a> for each sequence {xn} in X such that <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M10','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M10">View MathML</a>,

3. be non-compatible [5] if there exists a sequence {xn} in X such that <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M11','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M11">View MathML</a> but <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M12','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M12">View MathML</a> is either nonzero or nonexistent,

4. be weakly compatible [24] if they commute at their coincidence points, that is, ASx = SAx whenever Ax = Sx, for some x ∈ X,

5. satisfy the property (E.A) [25] e {xn} in X such that <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M13','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M13">View MathML</a>, for some t ∈ X.

For further details, comparisons, and illustrations on systematic spaces, we refer to Singh and Tomar [26] and Murthy [4].

Any pair of compatible as well as non-compatible self-mappings of a metric space (X, d) satisfies the property (E.A), but a pair of mappings satisfying the property (E.A) need not be non-compatible (see Example 1 of [27]).

In 2005, Liu et al. [28] defined the notion of common property (E.A) for hybrid pairs of mappings, which contain the property (E.A).

Definition 1.2

Liu, 2005 [28] Two pairs (A, S) and (B, T) of self-mappings of a metric space (X, d) are said to satisfy the common property (E.A) if two sequences {xn} and {yn} in X exist such that

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M14','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M14">View MathML</a>

for some t ∈ X.

It can be observed that the fixed point results usually require closedness of the underlying subspaces for the existence of common fixed points under the property (E.A) and common property (E.A). In 2011, Sintunavarat and Kumam [29] coined the idea of ‘common limit range property’ (see also [30]). Most recently, Imdad et al. [31] extended the notion of common limit range property to two pairs of self-mappings which relax the closedness requirements of the underlying subspaces.

Definition 1.3

Sintunavarat, 2012 [29] A pair (A, S) of self-mappings of a metric space (X, d) is said to satisfy the common limit range property with respect to S, denoted by (CLRS), if there exists a sequence {xn} in X such that

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M15','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M15">View MathML</a>

where t ∈ S(X).

Thus, one can infer that a pair (A, S) satisfying the property (E.A) along with the closedness of the subspace S(X) always enjoys the (CLRS) property with respect to the mapping S (see Examples 2.16–2.17 of [31]).

Definition 1.4

Imdad, 2012 [31] Two pairs (A, S) and (B, T) of self-mappings of a metric space (X, d) are said to satisfy the common limit range property with respect to mappings S and T, denoted by (CLRST) if two sequences {xn} and {yn} in X exist such that

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M16','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M16">View MathML</a>

where t ∈ S(X) ∩ T(X).

Definition 1.5

Imdad, 2009 [32] Two families of self-mappings <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M17','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M17">View MathML</a> and <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M18','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M18">View MathML</a> are said to be pairwise commuting if

1. AiAj = AjAi for all i, j ∈ {1, 2, …, m},

2. SkSl = SlSk for all k, l ∈ {1, 2, …, n},

3. AiSk = SkAi for all i ∈ {1, 2, …, m} and k ∈ {1, 2, …, n}.

Main results

Now, we state and prove our main results for four mappings employing the common limit range property in metric spaces. Firstly, we prove the following lemma.

Lemma 2.1

Let A, B, S and T be self-mappings of a metric space (X, d). Suppose that

1. the pair (A, S) satisfies the (CLRS) property (resp. (B, T) satisfies the (CLRT) property),

2. A(X) ⊂ T(X) (resp. B(X) ⊂ S(X)),

3. T(X) (resp. S(X)) is a closed subset of X,

4. {Byn} converges for every sequence {yn} in X whenever {Tyn} converges (resp. {Axn} converges for every sequence {xn} inX whenever {Sxn} converges),

5. there exist φ ∈ Φ and ψ ∈ Ψ such that

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M19','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M19">View MathML</a>

(2.1)

for all x, y ∈ X, where

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M20','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M20">View MathML</a>

Then, the pairs (A, S) and (B, T) share the (CLRST) property.

Proof

Since the pair (A, S) satisfies the (CLRS) property, a sequence {xn} in X exists such that

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M21','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M21">View MathML</a>

where t ∈ S(X). By Lemma 2.1 item (2), A(X) ⊂ T(X), and for each sequence {xn}, there exists a sequence {yn} in X such that Axn = Tyn. Therefore, due to the closedness of T(X),

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M22','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M22">View MathML</a>

so that t ∈ T(X) and in all t ∈ S(X) ∩ T(X). Thus, we have Axn → t, Sxn → t and Tyn → t as n → . By Lemma 2.1 item (4), the sequence {Byn} converges, and in all, we need to show that Byn → t as n → . Let, on the contrary that Byn → z(≠ t) as n → . On using inequality (2.1) with x = xn, y = yn, we have

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M23','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M23">View MathML</a>

(2.2)

where

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M24','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M24">View MathML</a>

Taking the limit as n →  in (2.2), we get

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M25">View MathML</a>

(2.3)

where

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M26','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M26">View MathML</a>

From (2.3), we obtain

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M27','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M27">View MathML</a>

so that d(t, z) = 0, i.e., t = z which is a contradiction. Hence, Byn → t which shows that the pairs (A, S) and (B, T) share the (CLRST) property. This concludes the proof. □

Remark 2.1

In general, the converse of Lemma 2.1 is not true (see Example 3.5 of [31]).

Theorem 2.1

Let A, B, S and T be self-mappings of a metric space (X, d) satisfying the inequality (2.1) of Lemma 2.1. If the pairs (A, S) and (B, T) satisfy the (CLRST) property, then (A, S) and (B, T) have a coincidence point each. Moreover, A, B, S and T have a unique common fixed point provided both the pairs (A, S) and (B, T) are weakly compatible.

Proof

If the pairs (A, S) and (B, T) enjoy the (CLRST) property, then two sequences {xn} and {yn} in X exist such that

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M28','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M28">View MathML</a>

where t ∈ S(X) ∩ T(X). Since t ∈ S(X), a point u ∈ X exists such that Su = t. We assert that Au = Su. Using inequality (2.1) with x = u, y = yn, we get

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M29','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M29">View MathML</a>

(2.4)

where

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M30','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M30">View MathML</a>

Taking the limit as n →  in (2.4), we get

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M31','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M31">View MathML</a>

(2.5)

where

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M32','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M32">View MathML</a>

which in turn yields

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M33','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M33">View MathML</a>

so that φ(d(Au, t)) = 0, i.e., d(Au, t) = 0. Hence Au = Su = t. Therefore, u is a coincidence point of the pair (A, S).

As t ∈ T(X), there exists a point v ∈ X such that Tv = t. We show that Bv = Tv. Using inequality (2.1) with x = u, y = v, we get

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M34','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M34">View MathML</a>

(2.6)

where

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M35','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M35">View MathML</a>

which in turn yields

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M36','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M36">View MathML</a>

so that φ(d(t, Bv)) = 0, i.e., d(t, Bv) = 0. Hence, Bv = Tv = t, which shows that v is a coincidence point of the pair (B, T).

Since the pair (A, S) is weakly compatible, and Au = Su; therefore, At = ASu = SAu = St. Now, we assert that t is a common fixed point of the pair (A, S). Using inequality (2.1) with x = t, y = v, we have

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M37','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M37">View MathML</a>

(2.7)

where

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M38','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M38">View MathML</a>

which in turn yields

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M39','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M39">View MathML</a>

so that φ(d(At, t)) = 0, i.e., At = t = St, which shows that t is a common fixed point of the pair (A, S).

Also, the pair (B, T) is weakly compatible, and Bv = Tv; therefore, Bt = BTw = TBw = Tt. Suppose that Bt ≠ t. On using inequality (2.1) with x = u, y = t, we have

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M40','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M40">View MathML</a>

(2.8)

where

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M41','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M41">View MathML</a>

which in turn yields

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M42','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M42">View MathML</a>

so that φ(d(t, Bt)) = 0, i.e., d(t, Bt) = 0. Therefore, Bt = t = Tt which shows that t is a common fixed point of the pair (B, T) and in all t is a common fixed point of both the pairs (A, S) and (B, T).

To prove the uniqueness of common fixed point, let on contrary that there is another common fixed point t ∈ X such that At = Bt = St = Tt = t. Using inequality (2.1) with x = t, y = t, we have

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M43','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M43">View MathML</a>

(2.9)

where

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M44','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M44">View MathML</a>

which in turn yields

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M45','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M45">View MathML</a>

so that φ(d(t, t) = 0, i.e., t = t. Hence, t is a unique common fixed point of the mappings A, B, S, and T. This concludes the proof. □

Remark 2.2

Theorem 2.1 improves the relevant results of Radenović et al. [22] as the requirements on the closedness and containment among the ranges of the involved mappings are not needed.

Now, we furnish an illustrative example which demonstrates the validity of the hypotheses and degree of generality of our main result over comparable ones from the existing literature.

Example 2.1

Consider X = [2, 11) equipped with the usual metric. Define the self mappings A, B, S and T by

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M46','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M46">View MathML</a>

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M47','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M47">View MathML</a>

Consider two sequences <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M48','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M48">View MathML</a>, <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M49','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M49">View MathML</a>. The pairs (A, S) and (B, T) satisfy the (CLRST) property:

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M50','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M50">View MathML</a>

Also, <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M51','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M51">View MathML</a> and <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M52','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M52">View MathML</a>.

Take ψ ∈ Ψ and φ ∈ Φ given by

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M53','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M53">View MathML</a>

In order to check the contractive condition (2.1), consider the following nine cases: 1° x = y = 2; 2° x = 2, y ∈ (2, 5]; 3° x = 2, y ∈ (5, 11); 4° x ∈ (2, 5], y = 2; 5° x, y ∈ (2, 5]; 6° x ∈ (2, 5], y ∈ (5, 11); 7° x ∈ (5, 11), y = 2; 8° x ∈ (5, 11), y ∈ (2, 5]; 9° x, y ∈ (5, 11).

In the cases 1°, 3°, 7°, and 9°, we get that d(Ax, By) = 0; (2.1) is trivially satisfied. In the cases 2° and 8°, it is d(Ax, By) = 2 and m(x, y) = 4; so, (2.1) reduces to

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M54','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M54">View MathML</a>

In the cases 4° and 6°, we get that d(Ax, By) = 6 and m(x, y) = 7; so, (2.1) reduces to

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M55','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M55">View MathML</a>

Finally, in the case 5°, we obtain d(Ax, By) = 4 and m(x, y) = 5, and again we have

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M56','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M56">View MathML</a>

Hence, all the conditions of Theorem 2.1 are satisfied, and 2 is a unique common fixed point of the pairs (A, S) and (B, T) which also remains a point of coincidence. Here, one may notice that all the involved mappings are discontinuous at their unique common fixed point 2.

However, notice that the subspaces S(X) and T(X) are not closed subspaces of X, and required inclusions among the ranges of the involved maps do not hold. Therefore, the results of Radenović et al. [22] cannot be used in the context of this example which establishes the genuineness of our extension.

In view of Theorem 2.1 and Lemma 2.1, the following corollary is immediate.

Corollary 2.1

Let A, B, S and T be self-mappings of a metric space (X, d) satisfying all the hypotheses of Lemma 2.1. Then A, B, S, and T have a unique common fixed point, provided that both the pairs (A, S) and (B, T) are weakly compatible.

Proof

Owing to Lemma 2.1, it follows that the pairs (A, S) and (B, T) enjoy the (CLRST) property. Hence, all the conditions of Theorem 2.1 are satisfied; A, B, S and T have a unique common fixed point provided that both the pairs (A, S) and (B, T) are weakly compatible. □

Here, it is worth noting that the conclusions in Example 2.1 cannot be obtained using Corollary 2.1 as conditions (2) and (3) of Lemma 2.1 are not fulfilled. In what follows, we present another example which creates a situation wherein a conclusion can be reached using Corollary 2.1.

Example 2.2

In the setting of Example 2.1, replace the self-mappings S and T by the following, retaining the rest:

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M57','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M57">View MathML</a>

Then, as in the earlier example, the pairs (A, S) and (B, T) satisfy the (CLRST) property. Moreover, inequality (2.1) can be be verified as earlier. Also, as earlier define,

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M58','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M58">View MathML</a>

Here, A(X) = {2, 8} ⊂ [2, 8] = T(X) and B(X) = {2, 4} ⊂ [2, 5] = S(X) holds. Thus, all the conditions of Corollary 2.1 are satisfied and 2 is a unique common fixed point of the involved mappings A, B, S, and T.

Remark 2.3

The conclusions of Lemma 2.1, Theorem 2.1 and Corollary 2.1 remain true if we choose <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M59','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M59">View MathML</a> or <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M60','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M60">View MathML</a>.

By setting A, B, S, and T suitably, we can deduce corollaries involving two as well as three self-mappings. As a sample, we can deduce the following corollary involving two self-mappings:

Corollary 2.2

Let A and S be self-mappings of a metric space (X, d). Suppose that

1. the pair (A, S) satisfies the (CLRS) property,

2. there exist φ ∈ Φ and ψ ∈ Ψ such that

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M61','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M61">View MathML</a>

for all x, y ∈ X, where <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M62','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M62">View MathML</a> and k ∈ {3, 4, 5}.

Then, (A, S) has a coincidence point. Moreover, if the pair (A, S) is weakly compatible, then the pair has a unique common fixed point in X.

As an application of Theorem 2.1, we have the following result involving four finite families of self-mappings.

Theorem 2.2

Let <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M63','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M63">View MathML</a>, <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M64','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M64">View MathML</a>, <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M65','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M65">View MathML</a>, and <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M66','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M66">View MathML</a> be four finite families of self-mappings of a metric space (X, d) with A = A1A2 ⋯ Am, B = B1B2 ⋯ Bn, S = S1S2 ⋯ Sp, and T = T1T2 ⋯ Tq satisfying the condition (2.1). Suppose that the pairs (A, S) and (B, T) satisfy the (CLRST) property, then (A, S) and (B, T) have a point of coincidence each.

Moreover <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M67','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M67">View MathML</a>, <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M68','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M68">View MathML</a>, <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M69','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M69">View MathML</a>, and <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M70','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M70">View MathML</a> have a unique common fixed point if the families ({Ai}, {Sk}) and ({Br}, {Th}) commute pairwise where i ∈ {1, 2, …, m}, k ∈ {1, 2, …, p}, j ∈ {1, 2, …, n}, and l ∈ {1, 2, …, q}.

Proof

The proof of this theorem can be completed on the lines of Theorem 2.2 of Imdad et al. [31]. □

Remark 2.4

A result similar to Theorem 2.2 can be outlined using Corollary 2.1.

Remark 2.5

Theorem 2.2 extends the results of Radenović et al. [22] and Abbas and Dorić [12].

Now, we indicate that Theorem 2.2 can be utilized to derive common fixed point theorems for any finite number of mappings. As a sample, we can derive a common fixed point theorem for six mappings by setting two families of two members, while the rest by two of single members.

Corollary 2.3

Let A, B, H, R, S, and T be self-mappings of a metric space (X, d). Suppose that

1. the pairs (A, SR) and (B, TH) share the (CLR(SR)(TH)) property,

2. there exist φ ∈ Φ and ψ ∈ Ψ such that

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M71','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M71">View MathML</a>

for all x, y ∈ X, where <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M72','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M72">View MathML</a>, and k ∈ {3, 4, 5}.

Then, (A, SR) and (B, TH) have a coincidence point each. Moreover, A, B, H, R, S, and T have a unique common fixed point provided AS = SA, AR = RA, SR = RS, BT = TB, BH = HB, and TH = HT.

By choosing A1 = A2 = ⋯ = Am = A, B1 = B2 = ⋯ = Bn = B, S1 = S2 = ⋯ = Sp = S, and T1 = T2 = ⋯ = Tq=T in Theorem 2.2, we get the following corollary:

Corollary 2.4

Let A, B, S, and T be self-mappings of a metric space (X, d). Suppose that

1. the pairs (Am, Sp) and (Bn, Tq) share the <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M73','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M73">View MathML</a> property, where m, n, p, and q are fixed positive integers;

2. there exist φ ∈ Φ and ψ ∈ Ψ such that

<a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M74','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M74">View MathML</a>

for all x, y ∈ X, where <a onClick="popup('http://www.iaumath.com/content/7/1/16/mathml/M75','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/7/1/16/mathml/M75">View MathML</a>, and k ∈ {3, 4, 5}.

Then, A, B, S, and T have a unique common fixed point provided that AS = SA and BT = TB.

Remark 2.6

Notice that Corollary 2.4 is a slight but partial generalization of Theorem 2.1 as the commutativity requirements (that is, AS = SA and BT = TB) in this corollary are relatively stronger as compared to weak compatibility in Theorem 2.1.

Remark 2.7

Results similar to Corollary 2.4 can be derived from Corollary 2.1.

Remark 2.8

It may be pointed out that the earlier proved results, namely Theorems 2.1 and 2.2 (also Corollaries 2.1– 2.4) remain valid in symmetric space (X,d) whenever d is continuous.

Competing interest

The authors declare that they have no competing interests.

Authors’ contributions

MI, SC, and ZK contributed equally. All authors read and approved the final manuscript.

Acknowledgements

We express our gratitude to all the learned referees for their careful reading of our manuscript especially for the remarks which brought several improvements. The third author is grateful to the Ministry of Education, Science and Technological Development of Serbia.

References

  1. Imdad, M, Ali: An implicit function implies several contraction conditions. Sarajevo J. Math. 4(17), 269–285 (2008)

  2. L j, B, Ćirić: Generalized contractions and fixed point theorems. Publ. Inst. Math. (Beograd) (N.S.). 12(26), 19–26 (1971)

  3. Ćirić, L j, B, Razani, A, Radenović, S, Ume, JS: Common fixed point theorems for families of weakly compatible maps. Comput. Math. Appl. 55(11), 2533–2543 (2008). Publisher Full Text OpenURL

  4. Murthy, PP: Important tools and possible applications of metric fixed point theory. Proceedings of the Third World Congress of Nonlinear Analysts, Part 5 (Catania,2000). Nonlinear Anal. 47(5), 3479–3490 (2001). Publisher Full Text OpenURL

  5. Pant, RP: Noncompatible mappings and common fixed points. Soochow J. Math. 26(1), 29–35 (2000)

  6. Pant, RP: Discontinuity and fixed points. J. Math. Anal. Appl. 240(1), 280–283 (1999). Publisher Full Text OpenURL

  7. Guerre-Delabriere, S, Alber: Principles of weakly contractive maps in Hilbert spaces. I. Gohberg, Yu. Lyubich, (eds.) New Results in Operator Theory and its Applications, Switzerland: Birkhauser (1997)

  8. Rhoades, BE: Some theorems on weakly contractive maps. Nonlinear Anal. 47, 2683–2693 (2001). Publisher Full Text OpenURL

  9. Song, Y, Zhang: Fixed point theory for generalized φ-weak contractions. Appl. Math. Lett. 22, 75–78 (2009). Publisher Full Text OpenURL

  10. Dorić, D: Common fixed point for generalized (ψ,φ)-weak contractions. Appl. Math. Lett. 22, 1896–1900 (2009). Publisher Full Text OpenURL

  11. Dutta, PN, Choudhury, BS: A generalization of contraction principle in metric spaces. Fixed Point, Theory Appl. 2008, 1–8 (2008). Publisher Full Text OpenURL

  12. Abbas, M, Dorić, D: Common fixed point theorem for four mappings satisfying generalized weak contractive conditions. Filomat. 24(2), 1–10 (2010). Publisher Full Text OpenURL

  13. Abbas, M, Khan, M A: Common fixed point theorem of two mappings satisfying a generalized weak contractive condition. Intern. J. Math. Math. Sci. 2009, 1–9 (2009). Publisher Full Text OpenURL

  14. Beg, I, Abbas, M: Coincidence point and invariant approximation for mappings satisfying generalized weak contractive condition. Fixed Point, Theory Appl. 2006, 1–7 (2006). Publisher Full Text OpenURL

  15. Berinde, V: Approximating fixed points of weak φ-contractions. Fixed Point, Theory. 4, 131–142 (2003)

  16. Choudhury, BS, Konor, P, Rhoades, BE, Metiya, N: Fixed point theorems for generalized weakly contractive mapping. Nonlinear Anal. 74, 2116–2126 (2011). Publisher Full Text OpenURL

  17. Ding, H-Sh, Kadelburg, Z, Karapinar, E, Radenović, S: Common fixed points of weak contractions in cone metric spaces. In: Abstract Appl, Anal. 2012, 1–18 Publisher Full Text OpenURL

  18. Kadelburg, Z, Radenović: Generalized weak contractions in partially ordered metric spaces. Comput. Math. Appl. 60, 1776–1783 (2010). Publisher Full Text OpenURL

  19. Yazidi, M, Razani: Two common fixed point theorems for compatible mappings. Int. J. Nonlinear Anal. Appl. 2(2), 7–18 (2011)

  20. Jachymski, J: Equivalent conditions for generalized contractions on (ordered) metric spaces. Nonlinear Anal. 74, 768–774 (2011). Publisher Full Text OpenURL

  21. Popescu, O: Fixed points for (ψ,ϕ)-weak contractions. Appl. Math. Lett. 24, 1–4 (2011). Publisher Full Text OpenURL

  22. Radenović, S, Kadelburg, Z, Jandrlić, D, Jandrlić, A: Some results on weakly contractive maps. Bull Iranian Math. Soc. 38(3), 625–645 (2012)

  23. Jungck, G: Compatible mappings and common fixed points. Internat. J. Math. Math. Sci. 9(4), 771–779 (1986). Publisher Full Text OpenURL

  24. Rhoades, BE, Jungck: Fixed points for set valued functions without continuity. Indian J. Pure, Appl. Math. 29(3), 227–238 (1998)

  25. Aamri, M, Moutawakil, D, El: Some new common fixed point theorems under strict contractive conditions. J. Math. Anal. Appl. 270(1), 181–188 (2002). Publisher Full Text OpenURL

  26. Tomar, A, Singh: Weaker forms of commuting maps and existence of fixed points. J. Korean Soc. Math. Edu. Ser. B: Pure, Appl. Math. 10(3), 145–161 (2003)

  27. Gao, Y, Fang: Common fixed point theorems under strict contractive conditions in Menger spaces. Nonlinear Anal. 70(1), 184–193 (2009). Publisher Full Text OpenURL

  28. Liu, Y, Wu, J, Li, Z: Common fixed points of single-valued and multivalued maps. Int. J. Math. Math. Sci. 19, 3045–3055 (2005)

  29. Kumam, P, Sintunavarat: Common fixed point theorems for a pair of weakly compatible mappings in fuzzy metric spaces. J. Appl. Math. 2011, 1–14 (2011)

  30. Kumam, P, Sintunavarat: Common fixed points for R-weakly commuting mappings in fuzzy metric spaces. Ann. Univ. Ferrara Ser. VII Sci. Math. 58(2), 389–406 (2012). Publisher Full Text OpenURL

  31. Imdad, M, Pant, BD, Chauhan, S: Fixed point theorems in Menger spaces using the (CLRST) property and applications. J. Nonlinear Anal. Optim. 3(2), 225–237 (2012)

  32. Imdad, M, Ali, J, Tanveer, M: Coincidence and common fixed point theorems for nonlinear contractions in Menger PM spaces. Chaos. Soliton. Fract. 42(5), 3121–3129 (2009). Publisher Full Text OpenURL