Open Access

Common fixed points of ordered g-quasicontractions and weak contractions in ordered metric spaces

Fixed Point Theory and Applications20122012:20

https://doi.org/10.1186/1687-1812-2012-20

Received: 29 October 2011

Accepted: 21 February 2012

Published: 21 February 2012

Abstract

We introduce ordered quasicontractions and g-quasicontractions in partially ordered metric spaces and prove the respective coincidence point and (common) fixed point results. An example shows that the new concepts are distinct from the existing ones. We also prove fixed point theorems for mappings satisfying so-called weak contractive conditions in the setting of partially ordered metric space. Hence, generalizations of several known results are obtained.

Mathematics Subject Classification (2010): 47H10; 47N10.

Keywords

partially ordered metric spaceg-quasicontractionweak contractioncoincidence pointcommon fixed point

1 Introduction

It is well known that the Banach contraction principle has been generalized in various directions. A lot of authors have used generalized contractive conditions of the type
d ( f x , f y ) λ M ( x , y ) ,
where (X, d) is a metric space, f, g : XX, λ [0,1) and M(x, y) is the maximum of one of the sets
d ( g x , g y ) , d ( g x , g y ) , d ( g x , f x ) , d ( g y , f y ) , d ( g x , g y ) , d ( g x , f x ) , d ( g y , f y ) , 1 2 ( d ( f x , g y ) + d ( g x , f y ) ) ,

and alike. To obtain results about coincidence points or common fixed points of mappings f and g, in the case when f X gX, usually the technique of so-called Jungck sequence y n = fx n = gxn+1was used (see, [1, 2]).

In the case when
M ( x , y ) = max d ( g x , g y ) , d ( g x , f x ) , d ( g y , f y ) , d ( g x , f y ) , d ( g y , f x ) ,

the mapping f is called a g-quasicontraction (or simply quasicontraction if g = i X ), see [3, 4]. In this case different techniques were used to obtain common fixed point results in the cited and subsequent articles.

The existence of fixed points in partially ordered metric spaces was first investigated by Ran and Reurings [5], and then by Nieto and Lopez [6, 7]. Further results in this direction were proved, e.g., in [816].

In Section 2 of this article, we introduce ordered quasicontractions and g-quasicontractions in partially ordered metric spaces and prove the respective (common) fixed point results. An example shows that the new concepts are distinct from the existing ones, so our results are extensions of known ones.

Recently, several authors (see, e.g., [13, 1723]) have begun to use more general conditions (so-called weak contractive conditions) of the type
ψ d ( f x , f y ) ψ ( M ( x , y ) ) - φ ( M ( x , y ) ) ,

where ψ and φ are so-called control functions (see definition in Section 3). The usage of Jungck sequence is here also possible, but becomes more involved. Also, some applications were obtained, in particular when dealing with differential, matrix and integral equations (see, e.g., [57, 10]).

In Section 3 of the present article, we consider weak contractive conditions in the setting of partially ordered metric space (it is then restricted to the case when gx and gy are comparable) and prove respective common fixed point theorems. These results can be considered as generalizations of theorems from [911] since control functions are more general than comparison functions used in these articles.

2 Common fixed points of ordered g-quasicontractions

Consider a partially ordered set (X, ) and two self-maps f, g : XX such that f X gX. Following [9] we shall say that the mapping f is g-nondecreasing (resp., g-nonincreasing) if gx gy fx fy (resp., gx gy fx fy) holds for each x, y X.

For arbitrary x0 X one can construct a so-called Jungck sequence {y n } in the following way: denote y0 = fx0 f X gX; there exists x1 X such that gx1 = y0 = fx0; now y1 = fx1 f X gX and there exists x2 X such that gx2 = y1 = fx1 and the procedure can be continued. The following properties of this sequence can be easily deduced.

Lemma 1If f is g-nondecreasing and gx0 fx0 (resp., gx0 fx0), then the sequence {y n } is nondecreasing (resp., nonincreasing) w.r.t. .

If f is g-nonincreasing and fx0is comparable with gx0, then the sequence {y n } is not monotonous, but arbitrary two of its adjacent terms are comparable.

Proof 1° It follows from gx0 fx0 = gx1 that fx0 fx1, i.e., y0 y1 and it is easy to proceed by induction. The other case follows similarly.

2° Let, e.g., gx0 fx0 = gx1. Then, by assumption, fx0 fx1, i.e., y0 y1. Now gx1 gx2 implies fx1 fx2, i.e., y1 y2 and the conclusion again follows.

Putting g = i X (identity map) in the previous lemma, we obtain

Corollary 1If f is nondecreasing and x0 fx0(resp. x0 fx0), then the Picard sequence {f n x0} is nondecreasing (nonincreasing) w.r.t. .

If f is nonincreasing and fx0is comparable with x0, then the sequence {f n x0} is not monotonous, but arbitrary two of its adjacent terms are comparable.

Quasicontractions and g-quasicontractions in metric spaces were first studied in [3, 4]. We shall call the mapping f an ordered g-quasicontraction if there exists λ (0,1) such that for each x, y X satisfying gy gx, the inequality
d ( f x , f y ) λ M ( x , y )
holds, where
M ( x , y ) = max d ( g x , g y ) , d ( g x , f x ) , d ( g y , f y ) , d ( g x , f y ) , d ( g y , f x ) .
(2.1)

Theorem 1 Let (X, d, ) be a partially ordered metric space and let f, g : XX be two self-maps on X satisfying the following conditions:

(i) fX gX;

(ii) gX is complete;

(iii) f is g-nondecreasing;

(iv) f is an ordered g-quasicontraction;

(v) there exists x0 X such that gx0 fx0;

(vi) if {gx n } is a nondecreasing sequence that converges to some gz gX then gx n gz for each n and gz g(gz).

Then f and g have a coincidence point, i.e., there exists z X such that fz = gz. If, in addition, (vii) f and g are weakly compatible ([1, 2]), i.e., fx = gx implies f gx = g fx, for each x X, then they have a common fixed point.

Proof Starting with the point x0 from condition (v), construct a Jungck sequence y n = fx n = gxn+1. By Lemma 1, using condition (iii) we conclude that {y n } is nondecreasing. It can be proved by the Das-Naik's method (as in [8]) that {y n } is a Cauchy sequence. Since gX is complete (condition (ii)), there exists z X such that y n w = gz gX. We shall prove that fz = w.

By condition (vi), gx n gz holds. Hence, putting in the contractive condition (iv) x = x n , y = z, we obtain that
d f x n , f z λ max d ( g x n , g z ) , d g x n , f x n , d g z , f z , d g x n , f z , d f x n , g z ,
and passing to the limit when n → ∞ (and using that d(gx n , fz) ≤ d(gx n , gz) + d(gz, fz)) we deduce that
d f z , g z λ max 0 , 0 , d f z , g z , 0 + d g z , f z , 0 = λ d f z , g z .

It follows that fz = gz = w and f and g have a coincidence point.

In the case when condition (vii) holds, we obtain that fw = fgz = gfz = gw and it remains to prove that fw = w. By condition (vi) we have that gz ggz = gw and then d(fw, w) = d(fw, fz) ≤ λM(w, z), where
M ( w , z ) = max d ( g w , g z ) , d ( g w , f w ) , d ( g z , f z ) , d ( g w , f z ) , d ( g z , f w ) = max d ( f w , w ) , 0 , 0 , d ( f w , w ) , d ( w , f w ) = d ( f w , w ) .

It follows that fw = w and w is a common fixed point for f and g.

Remark 1 If condition (v) in the previous theorem is replaced by fx0 gx0, the respective Jungck sequence is nonincreasing and the conclusion of the theorem holds.

Theorem 2 Let the conditions of Theorem 1 be satisfied, except that (iii), (v), and (vi) are, respectively, replaced by:

(iii') f is g-nonincreasing;

(v') there exists x0 X such that fx0and gx0are comparable;

(vi') if {gx n } is a sequence in gX which has comparable adjacent terms and that converges to some gz gX, then there exists a subsequence g x n k of {gx n } having all the terms comparable with gz and gz is comparable with ggz.

Then all the conclusions of Theorem 1 hold.

Proof Regardless whether fx0 gx0 or gx0 fx0 (condition( v')), Lemma 1 implies that the adjacent terms of the Jungck sequence {y n } are comparable. This is again sufficient to imply that {y n } is a Cauchy sequence. Hence, it converges to some gz gX.

By (vi'), there exists a subsequence y n k = f x n k = g x n k + 1 , k , having all the terms comparable with gz. Hence, we can apply the contractive condition to obtain d f z , f x n k λ M z , x n k where
M z , x n k = max d g z , g x n k , d ( g z , f z ) , d g x n k , f x n k , d g x n k , f z , d g z , f x n k max 0 , d f z , g z , 0 , d ( g z , f z ) , 0 = d ( f z , g z ) ( k ) ,

and since d f z , g z d f z , f x n k + d f x n k , g z and f x n k g z , k , it follows that fz = gz = w. The rest of conclusions follow in the same way as in Theorem 1.

Remark 2 If the five-term set in condition (2.1) is replaced by any of the following sets
d ( g x , g y ) , d ( g x , g y ) , d ( g x , f x ) , d ( g y , f y ) , d g x , g y , 1 2 d ( g x , f x ) + d ( g y , f y ) , 1 2 d ( g x , f y ) + d ( g y , f x ) , d g x , g y , d ( g x , f x ) , d ( g y , f y ) , 1 2 d ( g x , f y ) + d ( g y , f x ) ,
then conclusions of both Theorems 1 and 2 remain valid. Thus, "ordered" versions of several generalized contraction theorems proved recently are obtained. In particular, the case of the set {d(gx, gy)} gives a generalization of the results of Ran and Reurings [5], and Nieto and Lopez [6, 7]. Note also that in most of these cases the proof that the Jungck sequence is a Cauchy sequence is directly obtained from the famous Jungck relation
d y n + 1 , y n λ d y n , y n - 1 .

Remark 3 Taking g = i X we obtain "ordered" variants of various fixed point theorems involving one function f. In particular, the following "ordered" version of the known result of Ćirić on quasicontractions [3] is obtained.

Corollary 2 (a) Let (X, d, ) be a partially ordered complete metric space and let f : XX be a nondecreasing self-map such that for some λ (0,1),
d f x , f y λ max d ( x , y ) , d ( x , f x ) , d ( y , f y ) , d ( x , f y ) , d ( y , f x )
(2.2)

holds for all x, y X such that y x. Suppose also that either

(i) f is continuous or

(ii) for each nondecreasing sequence {x n } converging to some u X, x n u holds for each n .

If there exists x0 X such that x0 fx0, then f has at least one fixed point.
  1. (b)

    The same holds if f is nonincreasing, there exists x 0 comparable with fx 0 and (ii) is replaced by

     

(ii') if a sequence {x n } converging to some u X has every two adjacent terms comparable, then there exists a subsequence x n k having each term comparable with x.

Proof As an illustration, we include a direct proof of case (b) when condition (ii ') is fulfilled.

Let u be the limit of the Picard sequence {f n x0} and let f n k x 0 be a subsequence having all the terms comparable with u. Then we can apply contractivity condition to obtain
d f u , f n k + 1 x 0 λ max d u , f n k x 0 , d ( u , f u ) , d f n k x 0 , f n k + 1 x 0 , d u , f n k + 1 x 0 , d f u , f n k x 0 .
Using that d ( f u , u ) d f u , f n k + 1 x 0 + d f n k + 1 x 0 , u and passing to the limit when k → ∞ we get
d f u , u λ max 0 , d u , f u , 0 , 0 , d u , f u = λ d u , f u ,

and it follows that fu = u.

Note also that instead of the completeness of X, its f-orbitally completeness is sufficient to obtain the conclusion of the corollary.

It is clear that the following diagram, where arrows stand for implications, is valid:
contraction quasicontraction ordered contraction ordered quasicontraction

Reverse implications do not hold. An example of a quasicontraction which is not a contraction was given in [3]. We shall present an example of an ordered quasicontraction which is not a quasicontraction.

Example 1 Let X = [0,4], equipped with the usual metric and ordered by
x y ( x = y ) or x , y [ 1 , 4 ] and x y .
Consider the function f: XX, f x = 2 x , 0 x < 1 , 1 3 ( x + 5 ) 1 x 4 . Then
M ( x , y ) = max 0 x < 1 d ( x , y ) , d ( x , f x ) , d ( y , f y ) , d ( x , f y ) , d ( y , f y ) = max 0 x < 1 . x - y , x , y , x - 2 y , y - 2 x ,

and we have to check the condition d(fx,fy) = 2|x - y| ≤ λM(x, y). Taking in each of the possible five inequalities that (x → 1- and y = 0) or (x = 0 and y → 1-) we obtain that λ cannot be in the interval [0,1). Hence, f is not a quasicontraction. But it is an ordered contraction, and so an ordered quasicontraction, since d(fx, fy) ≤ λd(x, y) holds for λ 1 3 , 1 and all x, y X such that y x.

2.1 Uniqueness of the fixed point

The following simple example shows that conditions of theorems in the previous section are not sufficient for the uniqueness of fixed points (resp., common fixed points).

Example 2 Let X = {(1, 0), (0,1)}, let (a, b) (c, d) if and only if ac and bd, and let d1 be the Euclidean metric. The function f((x, y)) = (x, y) is continuous. The only comparable pairs of points in X are (x, x) for x X and then (2.2) reduces to d1(fx, fx) = 0, and is trivially fulfilled. However, f has two fixed points (1,0) and (0,1).

We shall give a sufficient condition for the uniqueness of the fixed point in the case of an ordered quasicontraction.

Theorem 3 Let all the conditions of Corollary 2 be satisfied with λ (0, 1/2) in the contractivity condition (2.2) and let for all x, y X there exists z X comparable with both of them. Then:

1. f has a unique fixed point u;

2. for arbitrary x0which can be a starting point of the Picard sequence {f n x0} this sequence converges to u.

Proof Let u and v be two fixed points of f. If these two points are comparable, then
d ( u , v ) = d ( f u , f v ) λ max d ( u , v ) , d ( u , f u ) , d ( v , f v ) , d ( u , f v ) , d ( v , f u ) = λ d ( u , v ) ,

implying u = v.

Suppose that u and v are incomparable and that w X is comparable with both of them. We shall prove that d(u, f n w) → 0 and d(v, f n w) → 0 when n → ∞, which, taking into account that d(u, v) ≤ d(u, f n w) + d(f n w, v), will imply that d(u, v) = 0 and u = v. Indeed,
d u , f n w = d f f n - 1 u , f f n - 1 w λ max d f n - 1 u , f n - 1 w , d f n - 1 u , f n u , d f n - 1 w , f n w , d f n - 1 u , f n w , d f n - 1 w , f n u λ max d u , f n - 1 w , 0 , d f n - 1 w , u + d u , f n w d u , f n w , d f n - 1 w , u = λ ( d ( u , f n - 1 w ) + d ( u , f n w ) ) .
It follows that
d ( u , f n w ) λ 1 - λ d ( u , f n - 1 w ) = μ d ( u , f n - 1 w ) .

Since 0 < λ < 1/2, it is μ < 1 and it follows that d(u, f n w) ≤ μ n d(u,w) → 0, when n → ∞. Similarly, d(v, f n w) → 0 and the proof is complete in the case, when f is nondecreasing. The proof is similar when f is nonincreasing.

It is an open question whether the previous theorem is true for λ [1/2,1). Also, an open problem is to find sufficient conditions for the uniqueness of the common fixed point in the case of an ordered g-quasicontraction.

3 Weak ordered contractions

Functions ψ, φ : [0, ∞) → [0, ∞) will be called control functions if:
  1. (i)

    ψ is a continuous nondecreasing function with ψ(t) = 0 if and only if t = 0,

     
  2. (ii)

    φ is a lower semi-continuous function with φ(t) = 0 if and only if t = 0.

     
Let (X, d) be a metric space and let f,g : XX. In the articles [20, 21] (in the setting of metric spaces) and [12, 13] (in the setting of ordered metric spaces) contractive conditions of the form
ψ d ( f x , g y ) ψ M ( x , y ) - φ ( M ( x , y ) ) ,
where
M ( x , y ) = max d ( x , y ) , d ( x , f x ) , d ( y , g y ) , 1 2 d ( x , g y ) + d ( y , f x ) ,
were used to obtain common fixed points results. We shall use here the following condition
ψ d ( f x , f y ) ψ ( M ( x , y ) ) - φ ( M ( x , y ) ) ,
(3.1)
where
M ( x , y ) = max d ( g x , g y ) , d ( g x , f x ) , d ( g y , f y ) , 1 2 d ( g x , f y ) + d ( g y , f x ) .
(3.2)

Note that the respective result in the setting of ordered cone metric spaces is proved in [14].

Assertions similar to the following lemma (see, e.g., [24]) were used (and proved) in the course of proofs of several fixed point results in various articles.

Lemma 2[24]Let (X, d) be a metric space and let {y n } be a sequence in X such that the sequence {d(yn+1, y n )} is nonincreasing and
lim n d y n + 1 , y n = 0 .
If {y2n} is not a Cauchy sequence, then there exist ε > 0 and two sequences {m k } and {n k } of positive integers such that the following four sequences tend to ε, when k → ∞:
d y 2 m k , y 2 n k , d y 2 m k , y 2 n k + 1 , d y 2 m k - 1 , y 2 n k , d y 2 m k - 1 , y 2 n k + 1 .
(3.3)

Theorem 4 Let (X, d, ) be a partially ordered metric space and let f, g be two self-maps on X satisfying the following conditions:

(i) fX gX;

(ii) gX is complete;

(iii) f is g-nondecreasing;

(iv) f and g satisfy condition (3.1) for each x, y X such that gy gx, where (ψ,φ) is a pair of control functions and M(x,y) is defined by (3.2);

(v) there exists x0 X such that gx0 fx0;

(vi) if {gx n } is a nondecreasing sequence that converges to some gz gX then gx n gz for each n and gz g(gz).

Then f and g have a coincidence point. If in addition,

(vii) f and g are weakly compatible,

then they have a common fixed point.

Proof As in the proof of Theorem 1, a nondecreasing Jungck sequence y n with y n = fx n = gxn+1can be constructed. Consider the following two possibilities: 1° y n 0 = y n 0 + 1 for some n0 and 2° y n yn+1for each n .

1° We shall prove that in this case y n = y n 0 for each nn0. Using that g x n 0 + 1 g x n 0 + 2 we obtain
ψ d y n 0 + 1 , y n 0 + 2 = ψ d f x n 0 + 1 , f x n 0 + 2 ψ M x n 0 + 1 , x n 0 + 2 - φ M x n 0 + 1 , x n 0 + 2 ,
where
M ( x n 0 + 1 , x n 0 + 2 ) = max d ( g x n 0 + 1 , g x n 0 + 2 ) , d ( g x n 0 + 1 , f x n 0 + 1 ) , d ( g x n 0 + 2 , f x n 0 + 2 ) , 1 2 ( d ( g x n 0 + 1 , f x n 0 + 2 ) + d ( g x n 0 + 2 , f x n 0 + 1 ) ) = max d ( y n 0 , y n 0 + 1 ) , d ( y n 0 , y n 0 + 1 ) , d ( y n 0 + 1 , y n 0 + 2 ) , 1 2 ( d ( y n 0 , y n 0 + 2 ) + 0 ) = max 0 , 0 , d ( y n 0 + 1 , y n 0 + 2 ) , 1 2 d ( y n 0 + 1 , y n 0 + 2 ) = d ( y n 0 + 1 , y n 0 + 2 ) .

Hence ψ ( d ( y n 0 + 1 , y n 0 + 2 ) ) ψ ( d ( y n 0 + 1 , y n 0 + 2 ) ) - φ ( d ( y n 0 + 1 , y n 0 + 2 ) ) which, by the properties of control functions, implies that d ( y n 0 + 1 , y n 0 + 2 ) = 0 and y n 0 + 1 = y n 0 + 2 . By induction, y n = y n 0 for each nn0. It follows that g x n 0 + 1 = f x n 0 + 1 and x n 0 + 1 is a coincidence point of f and g.

Suppose that condition (vii) holds. Then also
f y n 0 = f g x n 0 + 1 = g f x n 0 + 1 = g y n 0 ,
and if we prove that f y n 0 = y n 0 , y n 0 will be a common fixed point for f and g. Using condition (vi) with z = y n 0 we obtain that g x n 0 + 1 g y n 0 and we can apply condition (iv) to obtain
ψ d f x n 0 + 1 , f y n 0 ψ M x n 0 + 1 , y n 0 - φ M x n 0 + 1 , y n 0 ,
where
M x n 0 + 1 , y n 0 = max d g x n 0 + 1 , g y n 0 , d g x n 0 + 1 , f x n 0 + 1 , d g y n 0 , f y n 0 , 1 2 d g n 0 + 1 , f y n 0 + d g y n 0 , f x n 0 + 1 = max d y n 0 , f y n 0 , d y n 0 , y n 0 , d f y n 0 , f y n 0 , 1 2 d y n 0 , f y n 0 + d f y n 0 , y n 0 = d y n 0 , f y n 0 .

Thus, ψ ( d ( y n 0 , f y n 0 ) ) ψ ( d ( y n 0 , f y n 0 ) ) - φ ( d ( y n 0 , f y n 0 ) ) and again using properties of control functions it follows that f y n 0 = y n 0 . This completes the proof of the theorem in the first case.

2° We shall prove that in this case {y n } is a Cauchy sequence. Since gxn+1 gxn+2, we have that
ψ ( d ( y n + 1 , y n + 2 ) ) = ψ ( d ( f x n + 1 , f x n + 2 ) ) ψ ( M ( x n + 1 , x n + 2 ) ) - φ ( M ( x n + 1 , x n + 2 ) ) ,
where
M x n + 1 , x n + 2 = max d g x n + 1 , g x n + 2 , d g x n + 1 , f x n + 1 , d g x n + 2 , f x n + 2 , 1 2 d g x n + 1 , f x n + 2 + d g y n + 2 , f x n + 1 = max d y n , y n + 1 , d y n , y n + 1 , d y n + 1 , y n + 2 , 1 2 d y n , y n + 2 + 0 = max d y n , y n + 1 , d y n + 1 , y n + 2
(d (y n , yn+2) ≤ d(y n , yn+1)+ d(yn+1,yn+2) was used to obtain the last equality). If d (yn+1, yn+2) ≥ d(y n , yn+1), then it follows from
ψ d y n + 1 , y n + 2 ψ d y n + 1 , y n + 2 - φ d y n + 1 , y n + 2
(3.4)

and the properties of control functions that d(yn+1,yn+2) = 0, contrary to the assumption that all terms of the sequence {y n } are distinct. Hence, d(yn+1,yn+2) < d(y n ,yn+1), i.e., the sequence {d(y n ,yn+1)} is decreasing. Therefore, it converges to some d* ≤ 0 when n → ∞. Then, M(xn+1,xn+2) → d*, n → ∞.

From (3.4), passing to the (upper) limit when n → ∞, it follows that
ψ ( d * ) ψ ( d * ) lim inf n φ ( d * ) ψ ( d * ) φ ( d * ) ,

i.e., φ(d*) = 0 and d* = 0. We conclude that d(y n , yn+1) → 0, n → ∞. As a consequence, in order to prove that {y n } is a Cauchy sequence, it is enough to prove that {y2n} is a Cauchy sequence.

Suppose that {y2n} is not a Cauchy sequence. Then, by Lemma 2, there exist ε > 0 and two sequences {m k } and {n k } of positive integers such that the sequences (3.3) tend to ε when k → ∞. Now, by definition of M(x,y), we obtain that M x 2 m k , x 2 n k + 1 ε , k . Indeed,
M ( x 2 m k , x 2 n k + 1 ) = max d ( g x 2 m k , g x 2 n k + 1 ) , d ( g x 2 m k , f x 2 m k ) , d ( g x 2 n k + 1 , f x 2 n k + 1 ) , 1 2 ( d ( f x 2 m k , g x 2 n k + 1 ) + d ( f x 2 n k + 1 , g x 2 m k ) ) = max d ( y 2 m k - 1 , y 2 n k ) , d ( y 2 m k - 1 , y 2 m k ) , d ( y 2 n k , y 2 n k + 1 ) , 1 2 ( d ( y 2 m k , y 2 n k ) + d ( y 2 n k + 1 , y 2 m k - 1 ) ) max ε , 0 , 0 , 1 2 ( ε + ε ) = ε .
Now, putting x = x 2 m k and y = x 2 n k + 1 into the contractive condition (iv) (which is possible since g x 2 n k + 1 = y 2 n k and g x = g x 2 m k = y 2 m k - 1 are comparable), we get that
ψ d y 2 m k , y 2 n k + 1 = ψ d f x 2 m k , f x 2 n k + 1 ψ M x 2 m k , x 2 n k + 1 - φ M x 2 m k , x 2 n k + 1 .

Passing to the limit when k → ∞ and using properties of control functions, we obtain that ψ(ε) ≤ ψ(ε)- φ(ε), which is in contradiction with ε > 0.

The proof that {y n } is a Cauchy sequence is complete. By the assumption (ii), there exists z X such that gx n gz, when n → ∞. We shall prove that fz = gz.

Condition (vi) implies that gx n gz and we can apply contractive condition to obtain
ψ d f x n , f z ψ M x n , z - φ M x n , z ,
(3.5)
where
M ( x n , z ) = max d ( g x n , g z ) , d g x n , f x n , d ( g z , f z ) , 1 2 d ( g x n , f z ) + d ( g z , f x n ) max 0 , 0 , d ( g z , f z ) , 1 2 d ( g z , f z ) = d ( g z , f z ) .
Passing to the (upper) limit when n → ∞ in (3.5) we obtain that
ψ d g z , f z ψ d g z , f z - φ d g z , f z ,

wherefrom gz = fz follows. Hence, z is a coincidence point of f and g.

If condition (vii) is fulfilled, put w = fz = gz, and obtain that fw = fgz = gfz = gw. Using that gz ggz = gw it can be proved that fw = gw = w in a similar way as it was done in the case 1°. The theorem is proved completely.

Remark 4 If the four-term set in condition (3.2) is replaced by any of the following sets
d ( g x , g y ) , d ( g x , g y ) , d ( g x , f x ) , d ( g y , f y ) , d ( g x , g y ) , 1 2 d ( g x , f x ) , d ( g y , f y ) , 1 2 ( d ( g x , f y ) + d ( g y , f x ) ) ,

similar conclusions for the existence of common fixed points of mappings f and g can be obtained.

Remark 5 In his important article [22], Jachymski showed that some fixed point results based on weak contractive conditions involving functions ψ and φ can be reduced to their counterparts using just one function, say φ'. We note that our results do not fall into this category, since conditions of our Theorem 4 are not covered by the conditions of [22, Theorem 7].

Remark 6 Very recently, Shatanawi et al. [25] have obtained some results closely related to the ones given in this section. However, their assumptions on the given mappings are different.

Declarations

Acknowledgements

The authors thank the referees for their valuable comments that helped us to improve the text. The authors are thankful to the Ministry of Science and Technological Development of Serbia.

Authors’ Affiliations

(1)
Faculty of Mechanical Engineering, University of Belgrade
(2)
Faculty of Mathematics, University of Belgrade

References

  1. Jungck G: Commuting mappings and fixed points. Am Math Monthly 1976, 83: 261–263. 10.2307/2318216MATHMathSciNetView ArticleGoogle Scholar
  2. Jungck G: Compatible mappings and common fixed points. Int J Math Sci 1986, 9: 771–779. 10.1155/S0161171286000935MATHMathSciNetView ArticleGoogle Scholar
  3. Ćirić LjB: A generalization of Banach's contraction principle. Proc Am Math Soc 1974, 45: 267–273.MATHGoogle Scholar
  4. Das KM, Naik KV: Common fixed point theorems for commuting maps on metric spaces. Proc Am Math Soc 1979, 77: 369–373.MATHMathSciNetGoogle Scholar
  5. Ran ACM, Reurings MCB: A fixed point theorem in partially ordered sets and some application to matrix equations. Proc Am Math Soc 2004, 132: 1435–1443. 10.1090/S0002-9939-03-07220-4MATHMathSciNetView ArticleGoogle Scholar
  6. Nieto JJ, Lopez RR: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 2005, 22: 223–239. 10.1007/s11083-005-9018-5MATHMathSciNetView ArticleGoogle Scholar
  7. Nieto JJ, Lopez RR: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Math Sinica English Ser 2007, 23(12):2205–2212. 10.1007/s10114-005-0769-0MATHView ArticleGoogle Scholar
  8. O'Regan D, Shahzad N: Invariant approximations for generalized contractions. Numer Funct Anal Optim 2005, 26(4–5):565–575. 10.1080/NFA-200067306MATHMathSciNetView ArticleGoogle Scholar
  9. Ćirić Lj, Cakić N, Rajović M, Ume JS: Monotone generalized nonlinear contractions in partially ordered metric spaces. Fixed Point Theory Appl 2008.Google Scholar
  10. O'Regan D, Petrusel A: Fixed point theorems for generalized contractions in ordered metric spaces. J Math Anal Appl 2008, 341: 1241–1252. 10.1016/j.jmaa.2007.11.026MATHMathSciNetView ArticleGoogle Scholar
  11. Agarwal RP, El-Gebeily MA, O'Regan D: Generalized contractions in partially ordered metric spaces. Appl Anal 2008, 87: 109–116. 10.1080/00036810701556151MATHMathSciNetView ArticleGoogle Scholar
  12. Harjani J, Sadarangani K: Fixed point theorems for weakly contractive mappings in partially ordered sets. Nonlinear Anal 2009, 71: 3402–3410.MathSciNetView ArticleGoogle Scholar
  13. Radenović S, Kadelburg Z: Generalized weak contractions in partially ordered metric spaces. Comput Math Appl 2010, 60: 1776–1783. 10.1016/j.camwa.2010.07.008MATHMathSciNetView ArticleGoogle Scholar
  14. Kadelburg Z, Pavlović M, Radenović S: Common fixed point theorems for ordered contractions and quasicontractions in ordered cone metric spaces. Comput Math Appl 2010, 59: 3148–3159. 10.1016/j.camwa.2010.02.039MATHMathSciNetView ArticleGoogle Scholar
  15. Karapinar E: Couple fixed point theorems for nonlinear contractions in cone metric spaces. Comput Math Appl 2010, 59: 3656–3668. 10.1016/j.camwa.2010.03.062MATHMathSciNetView ArticleGoogle Scholar
  16. Karapinar E, Berinde V: Quadruple fixed point theorems for nonlinear contractions in partially ordered metric spaces. Banach J Math Anal 2012, 6: 74–89.MATHMathSciNetView ArticleGoogle Scholar
  17. Alber YaI, Guerre-Delabriere S: Principle of weakly contractive maps in Hilbert spaces. In New results in operator theory Advances and Applications. Volume 98. Edited by: Gohberg, I, Lyubich, Yu. Birkhäuser Verlag, Basel; 1997:7–22.View ArticleGoogle Scholar
  18. Rhoades BE: Some theorems on weakly contractive maps. Nonlinear Anal 2001, 47: 2683–2693. 10.1016/S0362-546X(01)00388-1MATHMathSciNetView ArticleGoogle Scholar
  19. Berinde V: Approximating fixed points of weak φ-contractions. Fixed Point Theory 2003, 4: 131–142.MATHMathSciNetGoogle Scholar
  20. Zhang Q, Song Y: Fixed point theory for generalized φ-weak contractions. Appl Math Lett 2009, 22: 75–78. 10.1016/j.aml.2008.02.007MATHMathSciNetView ArticleGoogle Scholar
  21. Dorić D: Common fixed point for generalized ( ψ, φ )-weak contractions. Appl Math Lett 2009, 22: 1896–1900. 10.1016/j.aml.2009.08.001MATHMathSciNetView ArticleGoogle Scholar
  22. Jachymski J: Equivalent conditions for generalized contractions on (ordered) metric spaces. Nonlinear Anal TMA 2011, 74: 768–774. 10.1016/j.na.2010.09.025MATHMathSciNetView ArticleGoogle Scholar
  23. Aydi H, Karapinar E, Shatanawi W: Coupled fixed point results for ( ψ, φ )-weakly contractive condition in ordered partial metric spaces. Comput Math Appl 2011, 62: 4449–4460. 10.1016/j.camwa.2011.10.021MATHMathSciNetView ArticleGoogle Scholar
  24. Radenović S, Kadelburg Z, Jandrlić D, Jandrlić A: Some results on weak contraction maps. Bull Iran Math Soc 2011, 192(1):111–31. available online since 30 March 2011Google Scholar
  25. Shatanawi W, Mustafa Z, Tahat N: Some coincidence point theorems for nonlinear contractions in ordered metric spaces. Fixed Point Theory Appl 2011, 2011: 68. 10.1186/1687-1812-2011-68MathSciNetView ArticleGoogle Scholar

Copyright

© Golubović et al; licensee Springer. 2012

This article is published under license to BioMed Central Ltd. 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.