Open Access

Coupled fixed point of generalized contractive mappings on partially ordered G-metric spaces

Fixed Point Theory and Applications20122012:31

DOI: 10.1186/1687-1812-2012-31

Received: 2 December 2011

Accepted: 29 February 2012

Published: 29 February 2012

Abstract

Coupled fixed point results for nonlinear contraction mappings having a mixed monotone property in a partially ordered G-metric space due to Choudhury and Maity are extended and unified. We also provide example to validate the main results in this article.

Mathematics Subject classification (2000): 47H10; 54H25.

Keywords

coupled fixed points mixed monotone property G-metric spaces partially order set

1. Introduction

One of the simplest and the most useful result in the fixed point theory is the Banach-Caccioppoli contraction [1] mapping principle, a power tool in analysis. This principle has been generalized in different directions in different spaces by mathematicians over the years (see [210] and references mentioned therein). On the other hand, fixed point theory has received much attention in metric spaces endowed with a partial ordering. The first result in this direction was given by Ran and Reurings [11] and they presented applications of their results to matrix equations. Subsequently, Nieto and Rodríguez-López [12] extended the results in [11] for nondecreasing mappings and obtained a unique solution for a first order ordinary differential equation with periodic boundary conditions (see also, [1319]).

Bhaskar and Lakshmikantham [20] introduced the concept of a coupled fixed point and the mixed monotone property. Furthermore, they proved some coupled fixed point theorems for mappings which satisfy the mixed monotone property and gave some applications in the existence and uniqueness of a solution for a periodic boundary value problem. A number of articles in this topic have been dedicated to the improvement and generalization see in [2124] and reference therein.

Mustafa and Sims [25, 26] introduced a new concept of generalized metric spaces, called G-metric spaces. In such spaces every triplet of elements is assigned to a non-negative real number. Based on the notion of G-metric spaces, Mustafa et al. [27] established fixed point theorems in G-metric spaces. Afterward, many fixed point results were proved in this space (see [2834]).

Recently, Choudhury and Maity [35] studied necessary conditions for existence of coupled fixed point in partially ordered G-metric spaces. They obtained the following interesting result.

Theorem 1.1 ([35]). Let (X, ) be a partially ordered set such that X is a complete G-metric space and F: X × XX be a mapping having the mixed monotone property on X. Suppose there exists k [0,1) such that
G ( F ( x , y ) , F ( u , v ) , F ( w , z ) ) k 2 ( G ( x , u , w ) + G ( y , v , z ) )
for all x, y, z, u, v, w X for which x u w and y v z, where either uw or vz. If there exists x0, y0 X such that
x 0 F ( x 0 , y 0 ) a n d y 0 F ( y 0 , x 0 )

and either

(a) F is continuous or

(b) X has the following property:
  1. (i)

    if a non-decreasing sequence {x n } → x, then x n x for all n ,

     
  2. (ii)

    if a non-increasing sequence {y n } → y, then y n y for all n ,

     

then F has a coupled fixed point.

The aim of this article is to extend and unify coupled fixed point results in [35] and to study necessary conditions to guarantee the uniqueness of coupled fixed point. We also provide illustrative example in support of our results.

2. Preliminaries

Throughout this article, (X, ) denotes a partially ordered set with the partial order .

By x y, we mean x y but xy. If (X, ) is a partially ordered set. A mapping f: XX is said to be non-decreasing (non-increasing) if for all x, y X, x y implies f(x) f(y) (f(y) f(x), respectively).

Definition 2.1 ([20]). Let (X, ) be a partial ordered set. A mapping F: X × XX is said to has the a mixed monotone property if F is monotone non-decreasing in its first argument and is monotone non-increasing in its second argument, that is, for any x, y X
x 1 , x 2 X , x 1 x 2 F ( x 1 , y ) F ( x 2 , y )
(2.1)
and
y 1 , y 2 X , y 1 y 2 F ( x , y 1 ) F ( x , y 2 ) .
(2.2)
Definition 2.2 ([20]). An element (x, y) X × X is called a coupled fixed point of mapping F: X × XX if
x = F ( x , y ) and y = F ( y , x ) .

Consistent with Mustafa and Sims [25, 26], the following definitions and results will be needed in the sequel.

Definition 2.3 ([26]). Let X be a nonempty set. Suppose that a mapping G: X × X × X+ satisfies:

(G1) G(x,y,z) = 0 if x = y = z;

(G2) G(x, x, y) > 0 for all x, y X with xy;

(G3) G(x,x,y) ≤ G(x,y,z) for all x,y,z X with zy;

(G4) G(x,y,z) = G(x,z,y) = G(y,z,x) = ..., (symmetry in all three variables);

(G5) G(x,y,z) ≤ G(x,a,a) + G(a,y, z) for all x,y,z,a X (rectangle inequality).

Then G is called a G-metric on X and (X, G) is called a G-metric space.

Definition 2.4 ([26]). Let X be a G-metric space and let {x n } be a sequence of points of X, a point x X is said to be the limit of a sequence {x n } if G(x,x n ,x m ) → 0 as n, m → ∞ and sequence {x n } is said to be G-convergent to x.

From this definition, we obtain that if x n x in a G-metric space X, then for any ϵ > 0 there exists a positive integer N such that G(x,x n ,x m ) < ϵ, for all n,mN.

It has been shown in [26] that the G-metric induces a Hausdorff topology and the convergence described in the above definition is relative to this topology. So, a sequence can converge at the most to one point.

Definition 2.5 ([26]). Let X be a G-metric space, a sequence {x n } is called G-Cauchy if for every ϵ > 0 there is a positive integer N such that G(x n ,x m ,x l ) < ϵ for all n, m, lN, that is, if G(x n , x m , x l ) → 0, as n, m, l → ∞.

We next state the following lemmas.

Lemma 2.6 ([26]). If X is a G-metric space, then the following are equivalent:
  1. (1)

    {x n } is G-convergent to x.

     
  2. (2)

    G(x n ,x n ,x) → 0 as n → ∞.

     
  3. (3)

    G(x n ,x,x) → 0 as n → ∞.

     
  4. (4)

    G(x m ,x n ,x) → 0 as n,m → ∞.

     

Lemma 2.7 ([26]). If X is a G-metric space, then the following are equivalent:

(a) The sequence {x n } is G-Cauchy.

(b) For every ϵ > 0, there exists a positive integer N such that G(x n ,x m ,x m ) < ϵ, for all n,mN.

Lemma 2.8 ([26]). If X is a G-metric space then G(x,y,y) ≤ 2G(y,x,x) for all x,y X.

Definition 2.9 ([26]). Let (X, G), (X', G') be two generalized metric spaces. A mapping f: XX' is G-continuous at a point x X if and only if it is G sequentially continuous at x, that is, whenever {x n } is G-convergent to x, {f(x n )} is G'-convergent to f(x).

Definition 2.10 ([26]). A G-metric space X is called a symmetric G-metric space if
G ( x , y , y ) = G ( y , x , x )

for all x,y X.

Definition 2.11 ([26]). A G-metric space X is said to be G-complete (or a complete G-metric space) if every G-Cauchy sequence in X is convergent in X.

Definition 2.12 ([26]). Let X be a G-metric space. A mapping F: X × XX is said to be continuous if for any two G-convergent sequences {x n } and {y n } converging to x and y, respectively, {F(x n ,y n )} is G-convergent to F(x,y).

3. Coupled fixed point in G-metric spaces

Let Θ denotes the class of all functions θ: [0, ∞) × [0, ∞) → [0,1) which satisfies following condition:

For any two sequences {t n } and {s n } of nonnegative real numbers,
θ ( t n , s n ) 1 implies that t n , s n 0 .
Following are examples of some function in Θ.
  1. (1)

    θ 1(s,t) = k for s,t [0,∞), where k [0,1).

     
  2. (2)

    θ 2 ( s , t ) = ln ( 1 + k s + l t ) k s + l t ; s > 0 or t > 0 , r 0 , 1 ; s = 0 , t = 0 ,

     
where k, l (0,1)
  1. (3)

    θ 3 ( s , t ) = ln ( 1 + max { s , t } ) max { s , t } ; s > 0 or t > 0 , r 0 , 1 ; s = 0 , t = 0 ,

     

Now, we prove our main result.

Theorem 3.1. Let (X, ) be a partially ordered set such that there exists a complete G-metric on X and F: X × XX be a continuous mapping having the mixed monotone property. Suppose that there exists θ Θ such that
G ( F ( x , y ) , F ( u , v ) , F ( w , z ) ) + G ( F ( y , x ) , F ( v , u ) , F ( z , w ) ) θ ( G ( x , u , w ) , G ( y , v , z ) ) ( G ( x , u , w ) + G ( y , v , z ) )
(3.1)
for all x, y, z, u, v, w X for which x u w and y v z where either uw or vz. If there exists x0, y0 X such that
x 0 F ( x 0 , y 0 ) a n d y 0 F ( y 0 , x 0 ) ,

then F has a coupled fixed point.

Proof. As F(X × X) X, we can construct sequences {x n } and {y n } in X such that
x n + 1 = F ( x n , y n ) and y n + 1 = F ( y n , x n ) for all n 0 .
(3.2)
Next, we show that
x n x n + 1 a n d y n y n + 1 for all n 0 .
(3.3)

Since x0 F(x0,y0) = x1 and y0 F(y0,x0) = y1, therefore (3.3) holds for n = 0.

Suppose that (3.3) holds for some fixed n ≥ 0, that is,
x n x n + 1 and y n y n + 1 .
(3.4)
Since F has a mixed monotone property, from (3.4) and (2.1), we have
F ( x n , y ) F ( x n + 1 , y ) and F ( y n + 1 , x ) F ( y n , x )
(3.5)
for all x, y X and from (3.4) and (2.2), we have
F ( y , x n ) F ( y , x n + 1 ) and F ( x , y n + 1 ) F ( x , y n ) ,
(3.6)
for all x,y X. If we take y = y n and x = x n in (3.5), then we obtain
x n + 1 = F ( x n , y n ) F ( x n + 1 , y n ) and F ( y n + 1 , x n ) F ( y n , x n ) = y n + 1 .
(3.7)
If we take y = yn+1and x = xn+1in (3.6), then
F ( y n + 1 , x n ) F ( y n + 1 , x n + 1 ) = y n + 2 and x n + 2 = F ( x n + 1 , y n + 1 ) F ( x n + 1 , y n ) .
(3.8)
Now, from (3.7) and (3.8), we have
x n + 1 x n + 2 and y n + 1 y n + 2 .
(3.9)
Therefore, by the mathematical induction, we conclude that (3.3) holds for all n ≥ 0, that is,
x 0 x 1 x 2 x n n + 1
(3.10)
and
y 0 y 1 y 2 y n y n + 1 .
(3.11)
If there exists some integer k ≥ 0 such that
G ( x k + 1 , x k + 1 , x k ) + G ( y k + 1 , y k + 1 , y k ) = 0 ,

then G(xk+1,xk+1,x k ) = G(yk+1,yk+1,y k ) = 0 implies that x k = xk+1and y k = yk+1. Therefore, x k = F(x k ,y k ) and y k = F(y k ,x k ) gives that (x k ,y k ) is a coupled fixed point of F.

Now, we assume that G(xn+1,xn+1,x n ) + G(yn+1,yn+1,y n ) ≠ 0 for all n ≥ 0. Since x n xn+1and y n yn+1for all n ≥ 0 so from (3.1) and (3.2), we have
G ( x n + 1 , x n + 1 , x n ) + G ( y n + 1 , y n + 1 , y n ) = G ( F ( x n , y n ) , F ( x n , y n ) , F ( x n - 1 , y n - 1 ) ) + G ( F ( y n , x n ) , F ( y n , x n ) , F ( y n - 1 , x n - 1 ) ) θ ( G ( x n , x n , x n - 1 , ) , G ( y n , y n , y n - 1 ) ) G ( x n , x n , x n - 1 , ) + G ( y n , y n , y n - 1 )
(3.12)
which implies that
G ( x n + 1 , x n + 1 , x n ) + G ( y n + 1 , y n + 1 , y n ) < G ( x n , x n , x n - 1 , ) + G ( y n , y n , y n - 1 ) .
(3.13)
Thus the sequence {Gn+1:= G(xn+1, xn+1, x n ) + G(yn+1, yn+1, y n )} is monotone decreasing. It follows that G n g as n → ∞ for some g ≥ 0. Next, we claim that g = 0. Assume on contrary that g > 0, then from (3.12), we obtain
G ( x n + 1 , x n + 1 , x n ) + G ( y n + 1 , y n + 1 , y n ) G ( x n , x n , x n - 1 ) + G ( y n , y n , y n - 1 ) θ ( G ( x n , x n , x n - 1 ) , G ( y n , y n , y n - 1 ) ) < 1 .
On taking limit as n → ∞, we obtain
θ ( G ( x n , x n , x n - 1 ) , G ( y n , y n , y n - 1 ) ) 1 .
By property of function θ, we have G(x n , x n , xn-1) → 0, G(y n , y n , yn-1) → 0 as n → ∞ and we have
G ( x n , x n , x n - 1 ) + G ( y n , y n , y n - 1 ) 0 ,
(3.14)
a contradiction. Therefore,
G ( x n + 1 , x n + 1 , x n ) + G ( y n + 1 , y n + 1 , y n ) 0 .
Similarly, we can prove that
G n + 1 : = G ( x n + 1 , x n , x n ) + G ( y n + 1 , y n , y n ) 0 .
(3.15)
Next, we show that {x n } and {y n } are Cauchy sequences. On contrary, assume that at least one of {x n } or {y n } is not a Cauchy sequence. By Lemma 2.7, there is an ϵ > 0 for which we can find subsequences {xn(k)}, {xm(k)} of {x n } and {yn(k)}, {ym(k)} of {y n } with m(k) > n(k) ≥ k such that
G ( x n ( k ) , x m ( k ) , x m ( k ) ) + G ( y n ( k ) , y m ( k ) , y m ( k ) ) ε .
(3.16)
and
G ( x n ( k ) - 1 , x m ( k ) , x m ( k ) ) + G ( y n ( k ) - 1 , y m ( k ) , y m ( k ) ) < ε .
(3.17)
Using (3.16), (3.17) and the rectangle inequality, we have
ε r k : = G ( x n ( k ) , x m ( k ) , x m ( k ) ) + G ( y n ( k ) , y m ( k ) , y m ( k ) ) G ( x n ( k ) , x n ( k ) - 1 , x n ( k ) - 1 ) + G ( x n ( k ) - 1 , x m ( k ) , x m ( k ) ) + G ( y n ( k ) , y n ( k ) - 1 , y n ( k ) - 1 ) + G ( y n ( k ) - 1 , y m ( k ) , y m ( k ) ) < G ( x n ( k ) , x n ( k ) - 1 , x n ( k ) - 1 ) + G ( y n ( k ) - 1 , y n ( k ) - 1 , y n ( k ) - 1 ) + ε .
On taking limit as k → ∞, we have
r k = G ( x n ( k ) , x m ( k ) , x m ( k ) ) + G ( y n ( k ) , y m ( k ) , y m ( k ) ) ε .
(3.18)
By the rectangle inequality, we get
r k = G ( x n ( k ) , x m ( k ) , x m ( k ) ) + G ( y n ( k ) , y m ( k ) , y m ( k ) ) G ( x n ( k ) , x n ( k ) + 1 , x n ( k ) + 1 ) + G ( x n ( k ) + 1 , x m ( k ) + 1 , x m ( k ) + 1 ) + G ( x m ( k ) + 1 , x m ( k ) , x m ( k ) ) + G ( y n ( k ) , y n ( k ) + 1 , y n ( k ) + 1 ) + G ( y n ( k ) + 1 , y m ( k ) + 1 , y m ( k ) + 1 ) + G ( y m ( k ) + 1 , y m ( k ) , y m ( k ) ) = G ( x n ( k ) + 1 , x m ( k ) + 1 , x m ( k ) + 1 ) + G ( y n ( k ) + 1 , y m ( k ) + 1 , y m ( k ) + 1 ) + G ( x n ( k ) , x n ( k ) + 1 , x n ( k ) + 1 ) + G ( y n ( k ) , y n ( k ) + 1 , y n ( k ) + 1 ) + G ( x m ( k ) + 1 , x m ( k ) , x m ( k ) ) + G ( y m ( k ) + 1 , y m ( k ) , y m ( k ) ) = G ( x n ( k ) + 1 , x m ( k ) + 1 , x m ( k ) + 1 ) + G ( y n ( k ) + 1 , y m ( k ) + 1 , y m ( k ) + 1 ) + G n ( k ) + 1 + G m ( k ) + 1 = G ( x m ( k ) + 1 , x m ( k ) + 1 , x n ( k ) + 1 ) + G ( y m ( k ) + 1 , y m ( k ) + 1 , y n ( k ) + 1 ) + G n ( k ) + 1 + G m ( k ) + 1 = G ( F ( x m ( k ) , y m ( k ) ) , F ( x m ( k ) , y m ( k ) ) , F ( x n ( k ) , y n ( k ) ) ) + G ( F ( y m ( k ) , x m ( k ) ) , F ( y m ( k ) , x m ( k ) ) , F ( y n ( k ) , x n ( k ) ) ) + G n ( k ) + 1 + G m ( k ) + 1 θ ( G ( x m ( k ) , x m ( k ) , x n ( k ) ) , G ( y m ( k ) , y m ( k ) , y n ( k ) ) ) ( G ( x m ( k ) , x m ( k ) , x n ( k ) ) + G ( y m ( k ) , y m ( k ) , y n ( k ) ) ) + G n ( k ) + 1 + G m ( k ) + 1 = θ ( G ( x n ( k ) , x m ( k ) , x m ( k ) ) , G ( y n ( k ) , y m ( k ) , y m ( k ) ) ) r k + G n ( k ) + 1 + G m ( k ) + 1 .
Therefore, we have
r k θ ( G ( x n ( k ) , x m ( k ) , x m ( k ) ) , G ( y n ( k ) , y m ( k ) , y m ( k ) ) ) r k + G n ( k ) + 1 + G m ( k ) + 1 .
This further implies that
r k - G n ( k ) + 1 - G m ( k ) + 1 r k θ ( G ( x n ( k ) , x m ( k ) , x m ( k ) ) , G ( y n ( k ) , y m ( k ) , y m ( k ) ) ) < 1 .
On taking limit as k → ∞ and using (3.14), (3.15) and (3.18), we obtain
θ ( G ( x n ( k ) , x m ( k ) , x m ( k ) ) , G ( y n ( k ) , y m ( k ) , y m ( k ) ) ) 1 .
Since θ Θ, we have G(xn(k), xm(k), xm(k)) → 0 and G(yn(k), ym(k), ym(k)) → 0, that is
G ( x n ( k ) , x m ( k ) , x m ( k ) ) + G ( y n ( k ) , y m ( k ) , y m ( k ) ) 0 ,
a contradiction. Therefore, {x n } and {y n } are G-Cauchy sequence. By G-completeness of X, there exists x,y X such that {x n } and {y n } G-converges to x and y, respectively. Now, we show that F has a coupled fixed point. Since F is a continuous, taking n → ∞ in (3.2), we get
x = lim n x n + 1 = lim n F ( x n , y n ) = F lim n x n , lim n y n = F ( x , y )
and
y = lim n y n + 1 = lim n F ( y n , x n ) = F lim n y n , lim n x n = F ( y , x ) .

Therefore, x = F(x, y) and y = F(y, x), that is, F has a coupled fixed point.

Theorem 3.2. Let (X, ) be a partially ordered set such that there exists a complete G-metric on X and F: X × XX be a mapping having the mixed monotone property. Suppose that there exists θ Θ such that
G ( F ( x , y ) , F ( u , v ) , F ( w , z ) ) + G ( F ( y , x ) , F ( v , u ) , F ( z , w ) ) θ ( G ( x , u , w ) , G ( y , v , z ) ) ( G ( x , u , w ) + G ( y , v , z ) )
(3.19)
for all x, y, z, u, v, w X for which x u w and y v z where either uw or vz. If there exists x0,y0 X such that
x 0 F ( x 0 , y 0 ) a n d y 0 F ( y 0 , x 0 )
and X has the following property:
  1. (i)

    if a non-decreasing sequence {x n } → x, then x n x for all n ,

     
  2. (ii)

    if a non-increasing sequence {y n } → y, then y n y for all n ,

     

then F has a coupled fixed point.

Proof. Following arguments similar to those given in Theorem 3.1, we obtain a non-decreasing sequence {x n } converges to x and a non-increasing sequence {y n } converges to y for some x,y X. By using (i) and (ii), we have x n x and y n y for all n.

If x n = x and y n = y for some n ≥ 0, then, by construction, xn+1= x and yn+1= y. Thus (x, y) is a coupled fixed point of F. So we may assume either x n x or y n y, for all n ≥ 0. Then by the rectangle inequality, we obtain
G ( F ( x , y ) , x , x ) + G ( F ( y , x ) , y , y ) G ( F ( x , y ) , F ( x n , y n ) , F ( x n , y n ) ) + G ( F ( x n , y n ) , x , x ) + G ( F ( y , x ) , F ( y n , x n ) , F ( y n , x n ) ) + G ( F ( y n , x n ) , y , y ) = G ( F ( x n , y n ) , F ( x n , y n ) , F ( x , y ) ) + G ( x n + 1 , x , x ) + G ( F ( y n , x n ) , F ( y n , x n ) , F ( y , x ) ) + G ( y n + 1 , y , y ) = G ( F ( y n , x n ) , F ( y n , x n ) , F ( y , x ) ) + G ( F ( x n , y n ) , F ( x n , y n ) , F ( x , y ) ) + G ( x n + 1 , x , x ) + G ( y n + 1 , y , y ) θ ( G ( y n , y n , y ) + G ( x n , x n , x ) ) ( G ( y n , y n , y ) + G ( x n , x n , x ) ) + G ( x n + 1 , x , x ) + G ( y n + 1 , y , y ) ( G ( y n , y n , y ) + G ( x n , x n , x ) ) + G ( x n + 1 , x , x ) + G ( y n + 1 , y , y ) .

On taking limit as n → ∞, we have G(F(x,y),x,x) + G(F(y,x),y,y) = 0. Thus x = F(x,y) and y = F(x, y) and so (x, y) is a coupled fixed point of F.

Corollary 3.3. Let (X, ) be a partially ordered set such that there exists a complete G-metric on X and F: X × XX be a mapping having the mixed monotone property. Suppose that there exists η Θ such that
G ( F ( x , y ) , F ( u , v ) , F ( w , z ) ) 1 2 η ( G ( x , u , w ) , G ( y , v , z ) ) ( G ( x , u , w ) + G ( y , v , z ) )
(3.20)
for all x, y, z, u, v, w X for which x u w and y v z, where either uw or vz. If there exists x0,y0 X such that
x 0 F ( x 0 , y 0 ) a n d y 0 F ( y 0 , x 0 )

and either

(a) F is continuous or

(b) X has the following property:
  1. (i)

    if a non-decreasing sequence {x n } → x, then x n x for all n ,

     
  2. (ii)

    if a non-increasing sequence {y n } → y, then y n y for all n ,

     

then F has a coupled fixed point.

Proof. For x,y,z,u,v,w X with x u w and y v z, where either uw or vz, from (3.20), we have
G ( F ( x , y ) , F ( u , v ) , F ( w , z ) ) 1 2 η ( G ( x , u , w ) , G ( y , v , z ) ) ( G ( x , u , w ) + G ( y , v , z ) )
(3.21)
and
G ( F ( y , x ) , F ( v , u ) , F ( z , w ) ) = G ( F ( z , w ) , F ( v , u ) , F ( y , x ) ) 1 2 η ( G ( z , v , y ) , G ( w , u , x ) ) ( G ( z , v , y ) + G ( w , u , x ) ) = 1 2 η ( G ( y , v , z ) , G ( x , u , w ) ) ( G ( x , u , w ) + G ( y , v , z ) ) .
(3.22)
From (3.21) and (3.22), we have
G ( F ( x , y ) , F ( u , v ) , F ( w , z ) ) + G ( F ( y , x ) , F ( v , u ) , F ( z , w ) ) 1 2 η ( G ( x , u , w ) , G ( y , v , z ) ) + η ( G ( y , v , z ) , G ( x , u , w ) ) ( G ( x , u , w ) + G ( y , v , z ) )
(3.23)
= θ ( G ( x , u , w ) , G ( y , v , z ) ) ) ( G ( x , u , w ) + G ( y , v , z ) )
(3.24)
for x,y,z,u,v,w X with x u w and y v z where either uw or vz, where
θ ( t 1 , t 2 ) = 1 2 η ( t 1 , t 2 ) + η ( t 2 , t 1 )

for all t1,t2 [0, ∞). It is easy to verify that θ Θ and we can apply Theorems 3.1 and 3.2. Hence F has a coupled fixed point.

Corollary 3.4. [[35], Theorems 3.1 and 3.2] Let (X,) be a partially ordered set such that there exists a complete G-metric on X and F: X × XX be a mapping having the mixed monotone property. Suppose that there exists a k [0,1) such that
G ( F ( x , y ) , F ( u , v ) , F ( w , z ) ) k 2 ( G ( x , u , w ) + G ( y , v , z ) )
for all x, y, z, u, v, w X for which x u w and y v z, where either uw or vz. If there exists x0, y0 X such that
x 0 F ( x 0 , y 0 ) a n d y 0 F ( y 0 , x 0 )

and either

(a) F is continuous or

(b) X has the following property:
  1. (i)

    if a non-decreasing sequence {x n } → x, then x n x for all n ,

     
  2. (ii)

    if a non-increasing sequence {y n } → y, then y n y for all n ,

     

then F has a coupled fixed point.

Proof. Taking η(t1, t2) = k with k [0,1) for all t1, t2 [0, ∞) in Theorems 3.1 and 3.2, result follows immediately.

Let Ω denotes the class of those functions ω: [0, ∞) → [0,1) which satisfies the condition: For any sequences {t n } of nonnegative real numbers, ω(t n ) → 1 implies t n → 0.

Theorem 3.5. Let (X, ) be a partially ordered set such that there exists a complete G-metric on X and F: X × XX be a mapping having the mixed monotone property. Suppose that there exists ω Ω such that
G ( F ( x , y ) , F ( u , v ) , F ( w , z ) ) + G ( F ( y , x ) , F ( v , u ) , F ( z , w ) ) ω ( G ( x , u , w ) + G ( y , v , z ) ) ( G ( x , u , w ) + G ( y , v , z ) )
(3.25)
for all x, y, z, u, v, w X for which x u w and y v z where either uw or vz. If there exists x0,y0 X such that
x 0 F ( x 0 , y 0 ) a n d y 0 F ( y 0 , x 0 )

and either

(a) F is continuous or

(b) X has the following property:
  1. (i)

    if a non-decreasing sequence {x n } → x, then x n x for all n ,

     
  2. (ii)

    if a non-increasing sequence {y n } → y, then y n y for all n ,

     

then F has a coupled fixed point.

Proof. Taking θ(t1,t2) = ω(t1 + t2) for all t1,t2 [0,∞) in Theorems 3.1 and 3.2, result follows.

Taking ω(t) = k with k [0,1) for all t [0, ∞) in Theorem 3.5, we obtain the following corollary.

Corollary 3.6. Let (X, ) be a partially ordered set such that there exists a complete G-metric on X and F: X × XX be a mapping having the mixed monotone property. Suppose that there exists [0,1) such that
G ( F ( x , y ) , F ( u , v ) , F ( w , z ) ) + G ( F ( y , x ) , F ( v , u ) , F ( z , w ) ) k ( G ( x , u , w ) + G ( y , v , z ) )
for all x, y, z, u, v, w X for which x u w and y v z where either uw or vz. If there exists x0,y0 X such that
x 0 F ( x 0 , y 0 ) a n d y 0 F ( y 0 , x 0 )

and either

(a) F is continuous or

(b) X has the following property:
  1. (i)

    if a non-decreasing sequence {x n } → x, then x n x for all n ,

     
  2. (ii)

    if a non-increasing sequence {y n } → y, then y n y for all n ,

     

then F has a coupled fixed point.

Theorem 3.7. Let (X, ) be a partially ordered set such that there exists a complete G-metric on X and F: X × XX be a mapping having the mixed monotone property and F(x,y) F(y,x), whenever x y. Suppose that there exists θ Θ such that
G ( F ( x , y ) , F ( u , v ) , F ( w , z ) ) + G ( F ( y , x ) , F ( v , u ) , F ( z , w ) ) θ ( G ( x , u , w ) , G ( y , v , z ) ) ( G ( x , u , w ) + G ( y , v , z ) )
(3.26)
for all x, y, z, u, v, w X for which w u x y v z, where either uw or vz. If there exists x0,y0 X such that
x 0 y 0 , x 0 F ( x 0 , y 0 ) a n d y 0 F ( y 0 , x 0 )

and either

(a) F is continuous or

(b) X has the following property:
  1. (i)

    if a non-decreasing sequence {x n } → x, then x n x for all n ,

     
  2. (ii)

    if a non-increasing sequence {y n } → y, then y n y for all n ,

     

then F has a coupled fixed point.

Proof. By given hypothesis, there exist x0,y0 X such that
x 0 F ( x 0 , y 0 ) and y 0 F ( y 0 , x 0 ) .
We define x1,y1 X by
x 1 = F ( x 0 , y 0 ) x 0 and y 1 = F ( y 0 , x 0 ) y 0 .
Since x0 y0, by given assumptions, we have F(x0,y0) F(y0,x0). Hence
x 0 x 1 = F ( x 0 , y 0 ) F ( y 0 , x 0 ) = y 1 y 0 .
Continuing the above process, we have two sequences {x n } and {y n } such that
x n + 1 = F ( x n , y n ) , y n + 1 = F ( y n , x n )
and
x n x n + 1 = F ( x n , y n ) F ( y n , x n ) = y n + 1 y n
for all n ≥ 0. If there is k such that x k = y k = α (say), then we have
α F ( α , α ) F ( α , α ) α ,
that is, α = F(α, α). Therefore, (α, α) is a coupled fixed point of F. Next, assume that
x n y n
(3.27)
for all n . Further, using similar arguments as stated in Theorem 3.1, we may assume that (x n ,y n ) ≠ (xn+1,yn+1). Then, in view of (3.27), for all n ≥ 0, the inequality (3.26) holds with
x = x n + 2 , u = x n + 1 , w = x n , y = y n , v = y n + 1 and z = y n + 2 .

The rest of the proof follows by following the same steps as given in Theorem 3.1 for case (a). For case (b), we follow the same steps as given in Theorem 3.2.

Example 3.8. Let X = {0} and G: X × X × XX be define by
G ( x , y , z ) = x + y + z ; if x , y , z are all distinct and different from zero, x + z ; if x = y z and are all different from zero , y + z + 1 ; if x = 0 , y z and y , z di from zero , y + 2 ; if x = 0 , y = z 0 , z + 1 ; if x = y = 0 , z 0 , 0 ; if x = y = z .
Then X is a complete G-metric space. Let partial order on X be defined as follows: For x,y X,
x y holds if x > y and 3 divides ( x - y ) and 3 1 and 0 1 hold .
Let F: X × XX be defined by
F ( x , y ) = 1 ; if x y , 0 ; if otherwise .
If w u x y v z holds, then we have wux > yvz. Therefore F(x,y) = F(u,v) = F(w,z) = 1 and F(y,x) = F(v,u) = F(z,w) = 0. So the left side of (3.26) becomes
G ( 1 , 1 , 1 ) + G ( 0 , 0 , 0 ) = 0

and (3.26) is satisfied for all θ Θ. Thus Theorem 3.7 is applicable to this example with x0 = 0 and y0 = 81. Moreover, F has coupled fixed points (0,0) and (1,0).

Remark 3.9. A G-metric naturally induces a metric d G given by d G (x,y) = G(x,y,y) + G(x,x,y) [25]. From the condition that either uw or vz, the inequality (3.1), (3.19), (3.25) and (3.26) do not reduce to any metric inequality with the metric d G . Therefore, the corresponding metric space (X, d G ) results are not applicable to Example 3.8.

Remark 3.10. Example 3.8 is not supported by Theorems 3.1, 3.2 and 3.5. This is evident by the fact that the inequality (3.1), (3.19) and (3.25) are not satisfied when w = u = x = y = 3, v = 0 and z = 1. Moreover, the coupled fixed point is not unique.

4. Uniqueness of coupled fixed point in G-metric spaces

In this section, we study necessary conditions to obtain the uniqueness of a coupled fixed point in the setting of partially ordered G-metric spaces. If (X, ) is a partially ordered set, then we endow the product of X × X with the following partial order:

For (x, y), (u, v) X × X, (x, y) (u, v) if and only if x u and y v.

Theorem 4.1. In addition to the hypotheses in Theorem 3.1, suppose that for every (x, y), (z, t) X × X, there exists a point (u,v) X × X that is comparable to (x,y) and (z,t). Then F has a unique coupled fixed point.

Proof. From Theorem 3.1, F has a coupled fixed points. Suppose (x, y) and (z, t) are coupled fixed points of F, that is, x = F(x,y),y = F(y,x),z = F(z,t) and t = F(t,z). Next, we claim that x = z and y = t. By given hypothesis, there exists (u,v) X × X that is comparable to (x,y) and (z,t). We put u0 = u and v0 = v and construct sequences {u n } and {v n } by
u n = F ( u n - 1 , v n - 1 ) and v n = F ( v n - 1 , u n - 1 ) for all n .
Since (u,v) is comparable with (x,y), we assume that (u0,v0) = (u,v) (x,y). Using the mathematical induction, it is straight forward to prove that
( u n , v n ) ( x , y ) for all n .
From (3.1), we have
G ( x , x , u n ) + G ( y , y , v n ) = G ( F ( x , y ) , F ( x , y ) , F ( u n - 1 , v n - 1 ) ) + G ( F ( y , x ) , F ( y , x ) , F ( v n - 1 , u n - 1 ) ) θ ( G ( x , x , u n - 1 ) , G ( v n - 1 , y , y ) ) [ G ( x , x , u n - 1 ) + G ( v n - 1 , y , y ) ] < G ( x , x , u n - 1 ) + G ( v n - 1 , y , y ) .
(4.1)
Consequently, sequence {G(x,x,u n ) + G(y,y,v n )} is non-negative and decreasing, so
G ( x , x , u n ) + G ( y , y , v n ) g ,
for some g ≥ 0. We claim that g = 0. Indeed, if g > 0 then following similar arguments to those given in the proof of Theorem 3.1, we conclude that
θ ( G ( x , x , u n - 1 ) , G ( u n - 1 , y , y ) ) 1 .
Since θ Θ, we obtain G(x,x,un-1) → 0 and G(vn-1,y,y) → 0. Therefore,
G ( x , x , u n - 1 ) + G ( v n - 1 , y , y ) 0
which is a contradiction. Hence
G ( x , x , u n ) + G ( v n , y , y ) 0 .
(4.2)
Similarly, one can prove that
G ( x , u n , u n ) + G ( v n , v n , y ) 0 ,
(4.3)
G ( z , z , u n ) + G ( v n , t , t ) 0 ,
(4.4)
and
G ( z , u n , u n ) + G ( t , v n , v n ) 0 .
(4.5)
From rectangular inequality, we have
G ( z , x , x ) G ( z , u n , u n ) + G ( u n , x , x )
(4.6)
and
G ( y , t , t ) G ( y , v n , v n ) + G ( v n , t , t ) .
(4.7)
Combine (4.6) and (4.7), we have
G ( z , x , x ) + G ( y , t , t ) ( G ( z , u n , u n ) + G ( u n , x , x ) ) + ( G ( y , v n , v n ) + G ( v n , t , t ) ) ( G ( x , x , u n ) + G ( v n , y , y ) ) + ( G ( x , u n , u n ) + G ( v n , v n , y ) ) + ( G ( z , z , u n ) + G ( v n , t , t ) ) + ( G ( z , u n , u n ) + G ( t , v n , v n ) )

Taking n → ∞, by (4.2), (4.3), (4.4) and (4.5), we have G(z,x,x) + G(y,t,t) ≤ 0. So G(z,x,x) = 0 and G(y,t,t) = 0, that is, z = x and y = t. Therefore, F has a unique coupled fixed point. This completes the proof.

Theorem 4.2. In addition to the hypotheses in Theorem 3.2, suppose that for every (x, y), (z, t) X × X, there exists a point (u,v) X × X that is comparable to (x,y) and (z,t). Then F has a unique coupled fixed point.

Proof. Proof is similar to the one given in Theorems 4.1 and 3.2.

Declarations

5. Acknowledgements

This study was supported by the Higher Education Research Promotion and National Research University Project of Thailand, Office of the Higher Education Commission under the Computational Science and Engineering Research Cluster (CSEC Grant No. 54000267).

W. Sintunavarat would like to thank the Research Professional Development Project under the Science Achievement Scholarship of Thailand (SAST). The authors thank the referee for comments and suggestions on this manuscript.

Authors’ Affiliations

(1)
Department of Mathematics, Lahore University of Management Sciences
(2)
Department of Mathematics, Faculty of Science, King Mongkut's University of Technology Thonburi (KMUTT)

References

  1. Banach S: Sur les opérations dans les ensembles abstraits et leurs applications aux équations intégrales. Fund Math 1922, 3: 133–181.MATHGoogle Scholar
  2. Abbas M, Khan SH, Nazir T: Common fixed points of R-weakly commuting maps in generalized metric spaces. Fixed Point Theory Appl 2011, 2011: 41. 10.1186/1687-1812-2011-41MathSciNetView ArticleGoogle Scholar
  3. Boyd DW, Wong JSW: On nonlinear contractions. Proc Amer Math Soc 1969, 20: 458–464. 10.1090/S0002-9939-1969-0239559-9MATHMathSciNetView ArticleGoogle Scholar
  4. Mongkolkeha C, Sintunavarat W, Kumam P: Fixed point theorems for contraction mappings in modular metric spaces. Fixed Point Theory Appl 2011, 2011: 93. 10.1186/1687-1812-2011-93MathSciNetView ArticleGoogle Scholar
  5. Sintunavarat W, Kumam P: Weak condition for generalized multivalued ( f , α,β )-weak contraction mappings. Appl Math Lett 2011, 24: 460–465. 10.1016/j.aml.2010.10.042MATHMathSciNetView ArticleGoogle Scholar
  6. Sintunavarat W, Kumam P: Gregus-type Common fixed point theorems for tangential multivalued mappings of integral type in metric spaces. International Journal of Mathematics and Mathematical Sciences 2011, 2011: 12. Article ID 923458MathSciNetView ArticleGoogle Scholar
  7. Sintunavarat W, Kumam P: Gregus type fixed points for a tangential multi-valued mappings satisfying contractive conditions of integral type. J Inequal Appl 2011, 2011: 3. 10.1186/1029-242X-2011-3View ArticleGoogle Scholar
  8. Sintunavarat W, Kumam P: Common fixed point theorems for hybrid generalized multi-valued contraction mappings. Appl Math Lett 2012, 25: 52–57. 10.1016/j.aml.2011.05.047MATHMathSciNetView ArticleGoogle Scholar
  9. Sintunavarat W, Kumam P:Common fixed point theorems for generalized J -operator classes and invariant approximations. J Inequal Appl 2011, 2011: 67. 10.1186/1029-242X-2011-67View ArticleGoogle Scholar
  10. Dukić D, Kadelburg Z, Radenović S: Fixed point of Geraghty-type mappings in various generalized metric spaces. Abstract Appl Math 2011, 2011: 13. Article ID 561245Google Scholar
  11. Ran ACM, Reurings MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc Am Math Soc 2004, 132: 1435–1443. 10.1090/S0002-9939-03-07220-4MATHMathSciNetView ArticleGoogle Scholar
  12. Nieto JJ, Lopez RR: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Math Sinica Engl Ser 2007, 23(12):2205–2212. 10.1007/s10114-005-0769-0MATHView ArticleGoogle Scholar
  13. Agarwal RP, El-Gebeily MA, O'Regan D: Generalized contractions in partially ordered metric spaces. Appl Anal 2008, 87: 1–8. 10.1080/00036810701714164MathSciNetView ArticleGoogle Scholar
  14. Altun I, Simsek H: Some fixed point theorems on ordered metric spaces and application. Fixed Point Theory Appl 2010, 2010: 17. Article ID 621469MathSciNetGoogle Scholar
  15. Harjani J, Sadarangani K: Generalized contractions in partially ordered metric spaces and applications to ordinary differential equations. Nonlinear Anal 2010, 72: 1188–1197. 10.1016/j.na.2009.08.003MATHMathSciNetView ArticleGoogle Scholar
  16. 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
  17. 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
  18. Sintunavarat W, Cho YJ, Kumam P: Common fixed point theorems for c -distance in ordered cone metric spaces. Comput Math Appl 2011, 62: 1969–1978. 10.1016/j.camwa.2011.06.040MATHMathSciNetView ArticleGoogle Scholar
  19. Sintunavarat W, Cho YJ, Kumam P: Coupled fixed point theorems for weak contraction mappings under F -invariant set. Abstract Appl Anal, in press.
  20. Bhaskar TG, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal 2006, 65: 1379–1393. 10.1016/j.na.2005.10.017MATHMathSciNetView ArticleGoogle Scholar
  21. Abbas M, Khan AR, Nazir T: Coupled common fixed point results in two generalized metric spaces. Appl Math Comput 2011, 217: 6328–6336. 10.1016/j.amc.2011.01.006MATHMathSciNetView ArticleGoogle Scholar
  22. Nashine HK, Kadelburg Z, Radenović S: Coupled common fixed point theorems for w -compatible mappings in ordered cone metric spaces. Appl Math Comput 2012, 218: 5422–5432. 10.1016/j.amc.2011.11.029MATHMathSciNetView ArticleGoogle Scholar
  23. Shatanawi W, Abbas M, Nazir T: Common coupled fixed points results in two generalized metric spaces. Fixied Point Theory Appl 2011, 2011: 80. 10.1186/1687-1812-2011-80View ArticleGoogle Scholar
  24. Sintunavarat W, Cho YJ, Kumam P: Coupled coincidence point theorems for contractions without commutative condition in intuitionistic fuzzy normed spaces. Fixed Point Theory Appl 2011, 2011: 81. 10.1186/1687-1812-2011-81MathSciNetView ArticleGoogle Scholar
  25. Mustafa Z, Sims B: Some remarks concerning D -metric spaces. Proc Int Conf on Fixed Point Theor Appl Valencia Spain 2003, 189–198.Google Scholar
  26. Mustafa Z, Sims B: A new approach to generalized metric spaces. J Nonlinear Convex Anal 2006, 7(2):289–297.MATHMathSciNetGoogle Scholar
  27. Mustafa Z, Obiedat H, Awawdeh F: Some of fixed point theorem for mapping on complete G -metric spaces. Fixed Point Theory Appl 2008, 2008: 12. Article ID 189870MathSciNetView ArticleGoogle Scholar
  28. Abbas M, Rhoades BE: Common fixed point results for noncommuting mappings without continuity in generalised metric spaces. Appl Math Comput 2009, 215: 262–269. 10.1016/j.amc.2009.04.085MATHMathSciNetView ArticleGoogle Scholar
  29. Abbas M, Nazir T, Radenovic S: Some periodic point results in generalized metric spaces. Appl Math Comput 2010, 217(8):4094–4099. 10.1016/j.amc.2010.10.026MATHMathSciNetView ArticleGoogle Scholar
  30. Chugh R, Kadian T, Rani A, Rhoades BE: Property P in G -metric spaces. Fixed Point Theory Appl 2010, 2010: 12. Article ID 401684MathSciNetView ArticleGoogle Scholar
  31. Mustafa Z, Shatanawi W, Bataineh M: Fixed point theorems on uncomplete G -metric spaces. J Math Stat 2008, 4(4):196–201.View ArticleGoogle Scholar
  32. Mustafa Z, Shatanawi W, Bataineh M: Existence of fixed point result in G -metric spaces. Int J Math Math Sci 2009, 2009: 10. Article ID 283028MathSciNetView ArticleGoogle Scholar
  33. Mustafa Z, Sims B: Fixed point theorems for contractive mappings in complete G -metric space. Fixed Point Theory Appl 2009, 2009: 10. Article ID 917175MathSciNetView ArticleGoogle Scholar
  34. Saadati R, Vaezpour SM, Vetro P, Rhoades BE: Fixed point theorems in generalized partially ordered G -metric spaces. Math Comput Model 2010, 52: 797–801. 10.1016/j.mcm.2010.05.009MATHMathSciNetView ArticleGoogle Scholar
  35. Choudhury BS, Maity P: Coupled fixed point results in generalized metric spaces. Math Comput Model 2011, 54: 73–79. 10.1016/j.mcm.2011.01.036MATHMathSciNetView ArticleGoogle Scholar

Copyright

© Abbas 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.

Comments