Skip to main content

G-β-ψ-contractive type mappings in G-metric spaces

Abstract

In this paper, we introduce G-β-ψ-contractive mappings which are generalizations of α-ψ-contractive mappings in the context of G-metric spaces. Additionally, we prove existence and uniqueness of fixed points of such contractive mappings. Our results generalize, extend and improve the existing results in the literature. We state some examples to illustrate our results.

1 Introduction and preliminaries

In the last few decades, fixed point theory has been one of the most interesting research fields in nonlinear functional analysis. In addition to many branches of applied and pure mathematics, fixed point theory results have wide application areas in many disciplines such as economics, computer science, engineering etc. The most remarkable results in this direction were given by Banach [1] in 1922. He proved that each contraction in a complete metric space has a unique fixed point. Due to application potential of the theory, many authors have directed their attention to this field and have generalized the Banach fixed point theorem in various ways (see, e.g., [150]). Very recently, Samet et al. [38] introduced the notion of α-ψ-contractive mappings and proved the related fixed point theorems. The authors [38] showed that Banach fixed point theorems and some other theorems in the literature became direct consequences of their results. On the other hand, in 2004, Mustafa and Sims [24] defined the notion of a G-metric space and characterized the Banach fixed point theorem in the context of a G-metric space. Following these results, many authors have discussed fixed point theorems in the framework of G-metric spaces; see, e.g., [9, 10, 1416, 1820, 2329, 4043, 50]. In this paper, we combine these two notions by introducing G-β-ψ-contractive mappings, which are a characterization of α-ψ-contractive mappings in the context of G-metric spaces. Our main results generalize, extend and improve the existing results on the topic in the literature.

Throughout this paper, denotes the set of nonnegative integers, and R + denotes the set of nonnegative reals.

Let Ψ be a family of functions ψ:[0,)[0,) satisfying the following conditions:

  1. (i)

    ψ is nondecreasing;

  2. (ii)

    there exist k 0 N and a(0,1) and a convergent series of nonnegative terms k = 1 v k such that

    ψ k + 1 (t)a ψ k (t)+ v k

for k k 0 and any t R + .

These functions are known in the literature as (c)-comparison functions.

Lemma 1 (See [5])

If ψΨ, then the following hold:

  1. (i)

    ( ψ n ( t ) ) n N converges to 0 as n for all t R + ;

  2. (ii)

    ψ(t)<t for any t(0,);

  3. (iii)

    ψ is continuous at 0;

  4. (iv)

    the series k = 1 ψ k (t) converges for any t R + .

Remark 2 In some sources, (c)-comparison functions are called Bianchini-Grandolfi gauge functions (see, e.g., [3436]).

Very recently, Samet et al. [38] introduced the following concepts.

Definition 3 Let (X,d) be a metric space and let T:XX be a given mapping. We say that T is an α-ψ-contractive mapping if there exist two functions α:X×X[0,) and ψΨ such that

α(x,y)d(Tx,Ty)ψ ( d ( x , y ) ) ,

for all x,yX.

Clearly, any contractive mapping, that is, a mapping satisfying Banach contraction, is an α-ψ-contractive mapping with α(x,y)=1 for all x,yX and ψ(t)=kt, for all t0 and some k[0,1).

Definition 4 Let T:XX and α:X×X[0,). We say that T is α-admissible if for all x,yX, we have

α(x,y)1α(Tx,Ty)1.

Various examples of such mappings are presented in [38]. The main results in [38] are the following fixed point theorems.

Theorem 5 Let (X,d) be a complete metric space and T:XX be an α-ψ-contractive mapping. Suppose that

  1. (i)

    T is α-admissible;

  2. (ii)

    there exists x 0 X such that α( x 0 ,T x 0 )1;

  3. (iii)

    T is continuous.

Then there exists uX such that Tu=u.

Theorem 6 Let (X,d) be a complete metric space and T:XX be an α-ψ-contractive mapping. Suppose that

  1. (i)

    T is α-admissible;

  2. (ii)

    there exists x 0 X such that α( x 0 ,T x 0 )1;

  3. (iii)

    if { x n } is a sequence in X such that α( x n , x n + 1 )1 for all n and x n xX as n, then α( x n ,x)1 for all n.

Then there exists uX such that Tu=u.

Theorem 7 Adding to the hypotheses of Theorem  5 (resp. Theorem  6) the condition: For all x,yX, there exists zX such that α(x,z)1 and α(y,z)1, we obtain the uniqueness of a fixed point of T.

Mustafa and Sims [24] introduced the concept of G-metric spaces as follows.

Definition 8 ([24])

Let X be a non-empty set and G:X×X×X R + be a function satisfying the following properties:

  1. (G1)

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

  2. (G2)

    0<G(x,x,y) for all x,yX with xy;

  3. (G3)

    G(x,x,y)G(x,y,z) for all x,y,zX with yz;

  4. (G4)

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

  5. (G5)

    G(x,y,z)G(x,a,a)+G(a,y,z) for all x,y,z,aX (rectangle inequality).

Then the function G is called a generalized metric, or, more specifically, a G-metric on X, and the pair (X,G) is called a G-metric space.

Every G-metric on X defines a metric d G on X by

d G (x,y)=G(x,y,y)+G(y,x,x)for all x,yX.

Example 9 Let (X,d) be a metric space. The function G:X×X×X R + , defined as either

G(x,y,z)=max { d ( x , y ) , d ( y , z ) , d ( z , x ) }

or

G(x,y,z)=d(x,y)+d(y,z)+d(z,x)

for all x,y,zX, is a G-metric on X.

Definition 10 ([24])

Let (X,G) be a G-metric space, and let { x n } be a sequence of points of X. We say that { x n } is G-convergent to xX if

lim n , m G(x, x n , x m )=0,

that is, for any ε>0, there exists NN such that G(x, x n , x m )<ε for all n,mN. We call x the limit of the sequence and write x n x or lim n x n =x.

Proposition 11 ([24])

Let (X,G) be a G-metric space. The following are equivalent:

  1. (1)

    G( x n , x n ,x)0 as n;

  2. (2)

    G( x n ,x,x)0 as n;

  3. (3)

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

Definition 12 ([24])

Let (X,G) be a G-metric space. A sequence { x n } is called a G-Cauchy sequence if for any ε>0, there is NN such that G( x n , x m , x l )<ε for all n,m,lN, that is, G( x n , x m , x l )0 as n,m,l.

Proposition 13 ([24])

Let (X,G) be a G-metric space. Then the following are equivalent:

  1. (1)

    the sequence { x n } is G-Cauchy;

  2. (2)

    for any ε>0, there exists NN such that G( x n , x m , x m )<ε for all n,mN.

Definition 14 ([24])

A G-metric space (X,G) is called G-complete if every G-Cauchy sequence is G-convergent in (X,G).

Lemma 15 ([24])

Let (X,G) be a G-metric space. Then, for any x,y,z,aX, it follows that:

  1. (i)

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

  2. (ii)

    G(x,y,z)G(x,x,y)+G(x,x,z);

  3. (iii)

    G(x,y,y)2G(y,x,x);

  4. (iv)

    G(x,y,z)G(x,a,z)+G(a,y,z);

  5. (v)

    G(x,y,z) 2 3 [G(x,y,a)+G(x,a,z)+G(a,y,z)];

  6. (vi)

    G(x,y,z)G(x,a,a)+G(y,a,a)+G(z,a,a).

Definition 16 (See [24])

Let (X,G) be a G-metric space. A mapping T:XX is said to be G-continuous if {T( x n )} is G-convergent to T(x), where { x n } is a G-convergent sequence converging to x.

In [23], Mustafa characterized the well-known Banach contraction principle mapping in the context of G-metric spaces in the following ways.

Theorem 17 (See [23])

Let (X,G) be a complete G-metric space and let T:XX be a mapping satisfying the following condition for all x,y,zX:

G(Tx,Ty,Tz)kG(x,y,z),
(1)

where k[0,1). Then T has a unique fixed point.

Theorem 18 (See [23])

Let (X,G) be a complete G-metric space and let T:XX be a mapping satisfying the following condition for all x,yX:

G(Tx,Ty,Ty)kG(x,y,y),
(2)

where k[0,1). Then T has a unique fixed point.

Remark 19 The condition (1) implies the condition (2). The converse is true only if k[0, 1 2 ). For details, see [23].

From [23, 24], each G-metric G on X generates a topology τ G on X whose base is a family of open G-balls { B G (x,ε):xX,ε>0}, where B G (x,ε)={yX:G(x,y,y)<ε} for all xX and ε>0. A nonempty set A in the G-metric space (X,G) is G-closed if A ¯ =A. Moreover,

x A ¯ B G (x,ε)Afor all ε>0.

Proposition 20 Let (X,G) be a G-metric space and let A be a nonempty subset of X. The set A is G-closed if for any G-convergent sequence { x n } in A with limit x, one has xA.

2 Main results

We introduce the concept of generalized α-ψ-contractive mappings as follows.

Definition 21 Let (X,G) be a G-metric space and let T:XX be a given mapping. We say that T is a G-β-ψ-contractive mapping of type I if there exist two functions β:X×X×X[0,) and ψΨ such that for all x,y,zX, we have

β(x,y,z)G(Tx,Ty,Tz)ψ ( G ( x , y , z ) ) .
(3)

Definition 22 Let (X,G) be a G-metric space and let T:XX be a given mapping. We say that T is a G-β-ψ-contractive mapping of type II if there exist two functions β:X×X×X[0,) and ψΨ such that for all x,yX, we have

β(x,y,y)G(Tx,Ty,Ty)ψ ( G ( x , y , y ) ) .
(4)

Definition 23 Let (X,G) be a G-metric space and let T:XX be a given mapping. We say that T is a G-β-ψ-contractive mapping of type A if there exist two functions β:X×X×X[0,) and ψΨ such that for all x,yX, we have

β(x,y,Tx)G ( T x , T y , T 2 x ) ψ ( G ( x , y , T 2 x ) ) .
(5)

Remark 24 Clearly, any contractive mapping, that is, a mapping satisfying (1), is a G-β-ψ-contractive mapping of type I with β(x,y,z)=1 for all x,y,zX and ψ(t)=kt, k(0,1). Analogously, a mapping satisfying (2), is a G-β-ψ-contractive mapping of type II with β(x,y,y)=1 for all x,yX and ψ(t)=kt, k(0,1).

Definition 25 Let T:XX and β:X×X×X[0,). We say that T is β-admissible if for all x,y,zX, we have

β(x,y,z)1β(Tx,Ty,Tz)1.

Example 26 Let X=[0,) and T:XX. Define β(x,y,z):X×X×X[0,) by

Tx={ 2 ln x if  x 0 , e otherwise , andβ(x,y,z)={ e if  x y z , 0 otherwise .

Then T is β-admissible.

Our first result is the following.

Theorem 27 Let (X,G) be a complete G-metric space. Suppose that T:XX is a G-β-ψ-contractive mapping of type A and satisfies the following conditions:

  1. (i)

    T is β-admissible;

  2. (ii)

    there exists x 0 X such that β( x 0 ,T x 0 ,T x 0 )1;

  3. (iii)

    T is G-continuous.

Then there exists uX such that Tu=u.

Proof Let x 0 X such that β( x 0 ,T x 0 ,T x 0 )1 (such a point exists from the condition (ii)). Define the sequence { x n } in X by x n + 1 =T x n for all n0. If x n 0 = x n 0 + 1 for some n 0 , then u= x n 0 is a fixed point of T. So, we can assume that x n x n + 1 for all n. Since T is β-admissible, we have

β( x 0 , x 1 , x 1 )=β( x 0 ,T x 0 ,T x 0 )1β(T x 0 ,T x 1 ,T x 1 )=β( x 1 , x 2 , x 2 )1.

Inductively, we have

β( x n , x n + 1 , x n + 1 )1for all n=0,1,.
(6)

From (5) and (6), it follows that for all n1, we have

G ( x n , x n + 1 , x n + 1 ) = G ( T x n 1 , T x n , T x n ) = G ( T x n 1 , T x n , T 2 x n 1 ) β ( x n 1 , x n , T x n 1 ) G ( T x n 1 , T x n , T 2 x n 1 ) ψ ( G ( x n 1 , x n , T x n 1 ) ) ψ ( G ( x n 1 , x n , x n ) ) .

Since ψ is nondecreasing, by induction, we have

G( x n , x n + 1 , x n + 1 ) ψ n ( G ( x 0 , x 1 , x 1 ) ) for all n1.
(7)

Using (G5) and (7), we have

G ( x n , x m , x m ) G ( x n , x n + 1 , x n + 1 ) + G ( x n + 1 , x n + 2 , x n + 2 ) + G ( x n + 2 , x n + 3 , x n + 3 ) + + G ( x m 1 , x m , x m ) k = n m 1 G ( x k , x k + 1 , x k + 1 ) k = n m 1 ψ k ( G ( x 0 , x 1 , x 1 ) ) .

Since ψΨ and G( x 0 , x 1 , x 1 )>0, by Lemma 1, we get

k = 0 ψ k ( G ( x 0 , x 1 , x 1 ) ) <.

Thus, we have

lim n , m 0 G( x n , x m , x m )=0.

By Proposition 13, this implies that { x n } is a G-Cauchy sequence in the G-metric space (X,G). Since (X,G) is complete, there exists uX such that { x n } is G-convergent to u. Since T is G-continuous, it follows that {T x n } is G-convergent to Tu. By the uniqueness of the limit, we get u=Tu, that is, u is a fixed point of T. □

The next theorem does not require continuity.

Theorem 28 Let (X,G) be a complete G-metric space. Suppose that T:XX is a G-β-ψ-contractive mapping of type A and satisfies the following conditions:

  1. (i)

    T is β-admissible;

  2. (ii)

    there exists x 0 X such that β( x 0 ,T x 0 ,T x 0 )1;

  3. (iii)

    if { x n } is a sequence in X such that β( x n , x n + 1 , x n + 1 )1 for all n and { x n } is a G-convergent to xX, then β( x n ,x, x n + 1 )1 for all n.

Then there exists uX such that Tu=u.

Proof Following the proof of Theorem 29, we know that the sequence { x n } defined by x n + 1 =T x n for all n0 is a G-Cauchy sequence in the complete G-metric space (X,G) that is G-convergent to uX. From (6) and (iii), we have

β( x n ,u,u)1for all n0.
(8)

Using the basic properties of G-metric together with (5) and (8), we have

G ( x n + 1 , T u , x n + 2 ) G ( T x n , T u , T 2 x n ) β ( x n , u , x n + 1 ) G ( T x n , T u , T 2 x n ) ψ ( G ( x n , u , x n + 1 ) ) .

Letting n, using Proposition 11 and since ψ is continuous at t=0, it follows that

G(u,Tu,u)=0.

By Lemma 15, we obtain u=Tu. □

The following theorem can be derived easily from Theorems 27 and 28.

Theorem 29 Let (X,G) be a complete G-metric space. Suppose that T:XX is a G-β-ψ-contractive mapping of type A and satisfies the following conditions:

  1. (i)

    T is β-admissible;

  2. (ii)

    there exists x 0 X such that β( x 0 ,T x 0 ,T x 0 )1;

  3. (iii)

    T is G-continuous.

Then there exists uX such that Tu=u.

Theorem 30 Let (X,G) be a complete G-metric space. Suppose that T:XX is a G-β-ψ-contractive mapping of type II and satisfies the following conditions:

  1. (i)

    T is β-admissible;

  2. (ii)

    there exists x 0 X such that β( x 0 ,T x 0 ,T x 0 )1;

  3. (iii)

    if { x n } is a sequence in X such that β( x n , x n + 1 , x n + 1 )1 for all n and { x n } is a G-convergent to xX, then β( x n ,x, x n + 1 )1 for all n.

Then there exists uX such that Tu=u.

Remark 31 We notice that some fixed point theorems in the context of G-metric space can be derived from usual fixed point results via certain substitutions (see, e.g., [21, 39]). On the other hand, our main result cannot be obtained via a substitution technique because the expressions in our statements do not allow one to achieve a metric by writing a simple substitution.

With the following example, we show that the hypotheses in Theorems 27-30 do not guarantee uniqueness.

Example 32 Let X=[0,) be the G-metric space, where

G(x,y,z)=|xy|+|yz|+|zx|

for all x,yX. Consider the self-mapping T:XX given by

Tx={ 2 x 7 4 if  x > 1 , x 4 if  0 x 1 .

Notice that Theorem 18 in [23], a characterization of the Banach fixed point theorem, cannot be applied in this case because G(T1,T2,T2)=4>2=G(1,2,2).

Define β:X×X×X[0,) as

β(x,y,z)={ 1 if  x , y , z [ 0 , 1 ] , 0 otherwise.

Let ψ(t)= t 2 for t0. Then we conclude that T is a G-β-ψ-contractive mapping. In fact, for all x,yX, we have

β(x,y,y)G(Tx,Ty,Ty) 1 2 G(x,y,y).

On the other hand, there exists x 0 X such that β( x 0 ,T x 0 ,T x 0 )1. Indeed, for x 0 =1, we have β(1,T1,T1)=β(1, 1 4 , 1 4 )=1.

Notice also that T is continuous. To show that T satisfies all the hypotheses of Theorem 29, it is sufficient to observe that T is β-admissible. For this purpose, let x,yX such that β(x,y,y)1, which is equivalent to saying that x,y[0,1]. Due to the definitions of β and T, we have

Tx= x 4 [0,1],Ty= y 4 [0,1].

Hence, β(Tx,Ty,Ty)1. As a result, all the conditions of Theorem 29 are satisfied. Note that Theorem 29 guarantees the existence of a fixed point but not the uniqueness. In this example, 0 and 7 4 are two fixed points of T.

In the following example, T is not continuous.

Example 33 Let X, G and β be defined as in Example 32. Let T:XX be a map given by

Tx={ 2 x 7 4 if  x > 1 , x 3 if  0 x 1 .

Let ψ(t)= t 3 for t0. Then we conclude that T is a G-β-ψ-contractive mapping. In fact, for all x,yX, we have

β(x,y,y)G(Tx,Ty,Ty) 1 2 G(x,y,y).

Furthermore, there exists x 0 X such that β( x 0 ,T x 0 ,T x 0 )1. For x 0 =1, we have β(1,T1,T1)=β(1, 1 3 , 1 3 )=1.

Let { x n } be a sequence such that β( x n , x n + 1 , x n + 1 )1 for all nN and x n x as n. By the definition of β, we have β( x n , x n + 1 , x n + 1 )1 for all nN. Then we see that x n [0,1]. Thus, β( x n ,x,x)1.

To show that T satisfies all of the hypotheses of Theorem 30, it is sufficient to observe that T is β-admissible. For this purpose, let x,yX such that β(x,y,y)1. It is equivalent to saying that x,y[0,1]. Due to the definitions of β and T, we have

Tx= x 3 [0,1],Ty= y 3 [0,1].

Hence, β(Tx,Ty,Ty)1.

As a result, all the conditions of Theorem 30 are satisfied. Note that Theorem 30 guarantees the existence of a fixed point but not uniqueness. In this example, 0 and 7 4 are two fixed points of T.

Theorem 34 Adding the following condition to the hypotheses of Theorem  27 (resp. Theorem  29-Theorem  30) we obtain the uniqueness of a fixed point of T.

  1. (iv)

    For all x,yX, there exists zX such that β(x,z,z)1 and β(y,z,z)1.

Proof Let u, u X be two fixed points of T. By (iv), there exists zX such that

β(u,u,z)1andβ ( u , u , z ) 1.

Since T is β-admissible, we get by induction that

β ( u , u , T n z ) 1andβ ( u , u , T n z ) 1for all n=1,2,.
(9)

From (9) and (5), we have

G ( u , T n z , u ) = G ( T u , T ( T n 1 ) , T 2 u ) β ( u , T n 1 z , T u ) G ( T u , T ( T n 1 z ) , T 2 u ) ψ ( G ( u , T n 1 z , T u ) ) = ψ ( G ( u , T n 1 z , u ) ) .

Thus, we get by induction that

G ( u , T n z , u ) ψ n ( G ( u , z , u ) ) for all n=1,2,.

By (G4), we get

G ( u , u , T n z ) ψ n ( G ( u , u , z ) ) for all n=1,2,.

Letting n, and since ψΨ, we have

G ( u , u , T n z , ) 0.

This implies that { T n z} is G-convergent to u. Similarly, we get { T n z} is G-convergent to  u . By the uniqueness of the limit, we get u= u , that is, the fixed point of T is unique. □

3 Consequences

3.1 Cyclic contraction

Now, we prove our results for cyclic contractive mappings in a G-metric space.

Theorem 35 Let A, B be a non-empty G-closed subset of a complete G-metric (X,G) space, let Y=AB, and let T:YY be a given self-mapping satisfying

T(A)BandT(B)A.
(10)

If there exists a function ψΨ such that

G(Tx,Ty,Ty)ψ ( G ( x , y , y ) ) for all xA,yB,
(11)

then T has a unique fixed point uAB, that is, Tu=u.

Proof Notice that (Y,G) is a complete G-metric space because A, B are closed subsets of a complete G-metric space (X,G). We define β:X×X×X[0,) in the following way:

β(x,y,y)={ 1 if  ( x , y ) ( A × B ) ( B × A ) , 0 otherwise .

Due to the definition of β and assumption (11), we have

β(x,y,y)G(Tx,Ty,Ty)ψ ( G ( x , y , y ) ) ,x,yY.
(12)

Hence, T is a G-β-ψ-contractive mapping.

Let (x,y)Y×Y such that β(x,y,y)1. If (x,y)A×B, then by assumption (10), (Tx,Ty)B×A, which yields that β(Tx,Ty,Ty)1. If (x,y)B×A, we get again β(Tx,Ty,Ty)1 by analogy. Thus, in any case we have β(Tx,Ty,Ty)1, that is, T is β-admissible. Notice also that for any zA, we have (z,Tz)A×B, which yields that β(z,Tz,Tz)1.

Take a sequence { x n } in X such that β( x n , x n + 1 , x n + 1 )1 for all n and x n zX as n. Regarding the definition of β, we derive that

( x n , x n + 1 )(A×B)(B×A)for all n.
(13)

By the assumption, A, B and (A×B)(B×A) are closed sets. Hence we get that (z,z)(A×B)(B×A), which implies that zAB. We conclude, by the definition of β, that β( x n ,z,z)1 for all n.

Now all the hypotheses of Theorem 30 are satisfied, and we conclude that T has a fixed point. Next, we show the uniqueness of a fixed point z of T. Suppose that w=Tw, where wAB. Since (z,w)(A×B)(B×A), we have β(y,z,z)1 and β(z,y,y)1. Thus the condition (iv) of Theorem 34 is satisfied. □

3.2 Coupled fixed point theorems

For the rest of the paper, we suppose that all G-metric spaces (X,G) are symmetric, that is, G(x,y,y)=G(x,x,y) for all x,yX.

In 1987, Guo and Lakshmikantham [8] introduced the notion of a coupled fixed point. The concept of a coupled fixed point was reconsidered by Gnana-Bhaskar and Lakshmikantham [7] in 2006. In this paper, they proved the existence and uniqueness of a coupled fixed point of an operator F:X×XX on a partially ordered metric space under a condition called the mixed monotone property.

Definition 36 ([7])

Let (X,) be a partially ordered set and F:X×XX. The mapping F is said to have the mixed monotone property if F(x,y) is monotone non-decreasing in x and monotone non-increasing in y, that is, for any x,yX,

x 1 , x 2 X, x 1 x 2 F( x 1 ,y)F( x 2 ,y)

and

y 1 , y 2 X, y 1 y 2 F(x, y 1 )F(x, y 2 ).

Definition 37 ([7])

An element (x,y)X×X is called a coupled fixed point of the mapping F:X×XX if

x=F(x,y)andy=F(y,x).

Lemma 38 (See [38])

Let F:X×XX be a given mapping. Define the mapping T F :X×XX×X by T F (x,y)=(F(x,y),F(y,x)) for all (x,y)X×X. Then (x,y) is a fixed point of T F if and only if (x,y) is a coupled fixed point of F.

Definition 39 Let (X,G) 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).

Theorem 40 Let (X,G) be a complete G-metric space and let F:X×XX be a given mapping. Suppose there exist ψΨ and a function β: X 2 × X 2 × X 2 [0,) such that

β ( ( x , y ) , ( u , v ) , ( u , v ) ) G ( F ( x , y ) , F ( u , v ) , F ( u , v ) ) 1 2 ψ ( G ( x , u , u ) + G ( y , v , v ) )
(14)

for all (x,y),(u,v)X×X. Suppose also that

  1. (a)

    for all (x,y),(u,v)X×X, we have

    β ( ( x , y ) , ( u , v ) , ( u , v ) ) 1 β ( ( F ( x , y ) , F ( y , x ) ) , ( F ( u , v ) , F ( v , u ) ) , ( F ( u , v ) , F ( v , u ) ) ) 1 ;
  2. (b)

    there exists ( x 0 , y 0 ) such that

    β ( ( x 0 , y 0 ) , ( F ( x 0 , y 0 ) , F ( y 0 , x 0 ) ) , ( F ( x 0 , y 0 ) , F ( y 0 , x 0 ) ) ) 1 , and β ( ( F ( y 0 , x 0 ) , F ( x 0 , y 0 ) ) , ( F ( y 0 , x 0 ) , F ( x 0 , y 0 ) ) , ( y 0 , x 0 ) ) 1 ;
  3. (c)

    F is continuous.

Then F has a coupled fixed point, that is, there exists ( x , y )X×X such that F( x , y )= x and F( y , x )= y .

Proof Let (Y,δ) be a complete G-metric space with Y=X×X and

δ ( ( x , y ) , ( u , v ) , ( s , t ) ) =G(x,u,s)+G(y,v,t)

for all (x,y),(u,v),(s,t)Y. By using (14) and (G4), we get

β ( ( x , y ) , ( u , v ) , ( u , v ) ) G ( F ( x , y ) , F ( u , v ) , F ( u , v ) ) 1 2 ψ ( δ ( ( x , y ) , ( u , v ) , ( u , v ) ) ) ,
(15)

and

β ( ( v , u ) , ( v , u ) , ( y , x ) ) G ( F ( v , u ) , F ( v , u ) , F ( y , x ) ) 1 2 ψ ( G ( v , v , y ) + G ( u , u , x ) ) = 1 2 ψ ( G ( x , u , u ) + G ( y , v , v ) ) = 1 2 ψ ( δ ( ( x , y ) , ( u , v ) , ( u , v ) ) ) .
(16)

Combining (15) and (16), we have

γ(ζ,η,η)δ(Tζ,Tη,Tη)ψ ( δ ( ζ , η , η ) )

for all ζ=(x,y),η=(u,v)Y, where T:YY is defined by

T(x,y)= ( F ( x , y ) , F ( y , x ) ) for all ζ=(x,y)Y,

and γ:Y×Y×Y[0,) is given by

γ ( ( x , y ) , ( u , v ) , ( u , v ) ) =min { β ( ( x , y ) , ( u , v ) , ( u , v ) ) , β ( ( v , u ) , ( v , u ) , ( y , x ) ) } .

It follows that T is a G-continuous and G-γ-ψ-contractive mapping of type II.

Suppose that γ(ζ,η,η)1 for ζ=(x,y),η=(u,v)Y. Then, by the condition (a), we have γ(Tζ,Tη,Tη)1. Therefore, T is γ-admissible.

From the condition (b), there exists ( x 0 , y 0 ) such that

γ ( ( x 0 , y 0 ) , T ( x 0 , y 0 ) , T ( x 0 , y 0 ) ) 1.

Since all the hypotheses of Theorem 29 are satisfied, it follows that T has a fixed point, and by Lemma 38, F has a coupled fixed point. □

Theorem 41 Let (X,G) be a complete G-metric space and let F:X×XX be a given mapping. Suppose there exist ψΨ and a function β: X 2 × X 2 × X 2 [0,) such that

β ( ( x , y ) , ( u , v ) , ( u , v ) ) G ( F ( x , y ) , F ( u , v ) , F ( u , v ) ) 1 2 ψ ( G ( x , u , u ) + G ( y , v , v ) )

for all (x,y),(u,v)X×X. Suppose also that

  1. (a)

    for all (x,y),(u,v)X×X, we have

    β ( ( x , y ) , ( u , v ) , ( u , v ) ) 1 β ( ( F ( x , y ) , F ( y , x ) ) , ( F ( u , v ) , F ( v , u ) ) , ( F ( u , v ) , F ( v , u ) ) ) 1 ;
  2. (b)

    there exists ( x 0 , y 0 ) such that

    β ( ( x 0 , y 0 ) , ( F ( x 0 , y 0 ) , F ( y 0 , x 0 ) ) , ( F ( x 0 , y 0 ) , F ( y 0 , x 0 ) ) 1 , and β ( ( F ( y 0 , x 0 ) , F ( x 0 , y 0 ) ) , ( F ( y 0 , x 0 ) , F ( x 0 , y 0 ) ) , ( y 0 , x 0 ) ) 1 ;
  3. (c)

    if { x n } and { y n } are sequences in X such that

    β ( ( x n , y n ) , ( x n + 1 , y n + 1 ) , ( x n + 1 , y n + 1 ) ) 1

and

β ( ( y n + 1 , x n + 1 ) , ( y n + 1 , x n + 1 ) , ( y n , x n ) ) 1,

{ x n } and { y n } are G-convergent to x and y, respectively, then

β ( ( x n , y n ) , ( x , y ) , ( x , y ) ) 1

and

β ( ( y , x ) , ( y , x ) , ( y n , x n ) ) 1

for all n.

Then F has a coupled fixed point, that is, there exists ( x , y )X×X such that F( x , y )= x and F( y , x )= y .

Proof Let {( x n , y n )} be a sequence in Y such that

γ ( ( x n , y n ) , ( x n + 1 , y n + 1 ) , ( x n + 1 , y n + 1 ) ) 1

and ( x n , y n ) is G-convergent to (x,y). From the condition (c), we get

γ ( ( x n , y n ) , ( x , y ) , ( x , y ) ) 1.

This implies that all the hypotheses of Theorem 30 are satisfied. It follows that T has a fixed point, and by Lemma 38, the mapping F has a coupled fixed point. □

Theorem 42 Adding the following condition to the hypotheses of Theorem  40 (resp. Theorem  41), we obtain the uniqueness of a coupled fixed point of F.

  1. (d)

    For all (x,y),(u,v)X×X, there exists ( z 1 , z 2 )X×X such that

    β ( ( x , y ) , ( z 1 , z 2 ) , ( z 1 , z 2 ) ) 1,β ( ( z 2 , z 1 ) , ( z 2 , z 1 ) , ( y , x ) ) 1

and

β ( ( u , v ) , ( z 1 , z 2 ) , ( z 1 , z 2 ) ) 1,β ( ( z 2 , z 1 ) , ( z 2 , z 1 ) , ( v , u ) ) 1.

Proof With the condition (d), T and γ satisfy the condition (iv) of Theorem 34. From Theorem 34 and Lemma 38, the result follows. □

3.3 Choudhury and Maity’s coupled fixed point results in a G-metric space

Definition 43 Let (X,) be a partially ordered set, and let (X,G) be a G-metric space. A partially ordered G-metric space, (X,G,), is called ordered complete if for each convergent sequence { x n } n = 0 X, the following conditions hold:

(OC1) if { x n } is a non-increasing sequence in X such that x n x , then x x n nN;

(OC2) if { y n } is a non-decreasing sequence in X such that y n y , then y y n nN.

Choudhury and Maity [10] proved the following coupled fixed point theorems on ordered G-metric spaces.

Theorem 44 Let (X,) be a partially ordered set and let G be a G-metric on X such that (X,G) is a complete G-metric space. Let F:X×XX be a G-continuous mapping having the mixed monotone property on X. 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 ) ]
(17)

for all x,y,u,v,w,zX with xuw and yvz, where either uw or vz. If there exist x 0 , y 0 X such that x 0 F( x 0 , y 0 ) and F( y 0 , x 0 ) y 0 , then F has a coupled fixed point, that is, there exists (x,y)X×X such that x=F(x,y) and y=F(y,x).

Proof Let Y= X 2 . Suppose that β,γ:Y×Y×Y[0,) such that

γ ( ( x , y ) , ( u , v ) , ( u , v ) ) ={ 1 if  x u  and  y v , 0 otherwise ,
(18)

where

γ ( ( x , y ) , ( u , v ) , ( u , v ) ) =min { β ( ( x , y ) , ( u , v ) , ( u , v ) ) , β ( ( v , u ) , ( v , u ) , ( y , x ) ) } .

From (17), for all (x,y),(u,v)X×X, we have

β ( ( x , y ) , ( u , v ) , ( u , v ) ) G ( F ( x , y ) , F ( u , v ) , F ( u , v ) ) k 2 [ G ( x , u , u ) + G ( y , v , v ) ]

and

β ( ( v , u ) , ( v , u ) , ( y , x ) ) G ( F ( v , u ) , F ( v , u ) , F ( y , x ) ) k 2 [ G ( v , v , y ) + G ( u , u , x ) ] .

It follows that T is a G-γ-ψ-contractive mapping of type II with ψ(t)=kt, t0. Let (x,y),(u,v)X×X such that

γ ( ( x , y ) , ( u , v ) , ( u , v ) ) 1.

By the definition of γ, we get xu and yv. This implies that

F(x,y)F(u,v)andF(y,x)F(v,u),

since F has the mixed monotone property. Thus,

γ ( ( F ( x , y ) , F ( y , x ) ) , ( F ( u , v ) , F ( v , u ) ) , ( F ( u , v ) , F ( v , u ) ) ) 1.

By the assumption, there exist x 0 , y 0 X such that x 0 F( x 0 , y 0 ) and F( y 0 , x 0 ) y 0 . By the definition of γ, it implies that

β ( ( s , t ) , ( F ( s , t ) , F ( t , s ) ) , ( F ( s , t ) , F ( t , s ) ) ) 1 , and β ( ( F ( t , s ) , F ( s , t ) ) , ( F ( t , s ) , F ( s , t ) ) , ( t , s ) ) 1 ,

where s= x 0 and t= y 0 . From Theorem 40, F has a coupled fixed point. □

Theorem 45 If, instead of G-continuity of F in the theorem above, we assume that X is ordered complete, then F has a coupled fixed point.

Proof It is sufficient to prove that the condition (c) of Theorem 41 is satisfied under the setting of (18). For this purpose, we take two sequences { s n } and { t n } in X such that s n sX and t n tX as n. Assume that β(( s n , t n ),( s n + 1 , t n + 1 ),( s n + 1 , t n + 1 ))1 and β(( t n + 1 , s n + 1 ),( t n + 1 , s n + 1 ),( t n , s n ))1. Due to the definition of β, the sequences { s n } and { t n } are nonincreasing and nondecreasing, respectively. Regarding (i) and (ii), we derive that

s n sand t n t,

which yields that

β ( ( s n , t n ) , ( s , t ) , ( s , t ) ) = 1 and β ( ( t , s ) , ( t , s ) , ( t n , s n ) ) = 1 .

Then, the assumption (c) of Theorem 41 holds. Hence, F has a coupled fixed point. □

Remark 46 Notice that analogs of all of the theorems proved in Section 2 can be derived by replacing type I and type II with type A.

References

  1. Banach S: Sur les opérations dans les ensembles abstraits et leur application aux equations itegrales. Fundam. Math. 1922, 3: 133–181.

    MATH  Google Scholar 

  2. Abbas M, Sintunavarat W, Kumam P: Coupled fixed point of generalized contractive mappings on partially ordered G -metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 31

    Google Scholar 

  3. Agarwal RP, Alghamdi MA, Shahzad N: Fixed point theory for cyclic generalized contractions in partial metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 40

    Google Scholar 

  4. Agarwal R, Karapınar E: Remarks on some coupled fixed point theorems in G -metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 2

    Google Scholar 

  5. Berinde V: Iterative Approximation of Fixed Points. Editura Efemeride, Baia Mare; 2002.

    MATH  Google Scholar 

  6. Ćirić L, Lakshmikantham V: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. 2009, 70: 4341–4349. 10.1016/j.na.2008.09.020

    MathSciNet  Article  MATH  Google Scholar 

  7. Gnana-Bhaskar T, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. 2006, 65: 1379–1393. 10.1016/j.na.2005.10.017

    MathSciNet  Article  MATH  Google Scholar 

  8. Guo D, Lakshmikantham V: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal., Theory Methods Appl. 1987, 11: 623–632. 10.1016/0362-546X(87)90077-0

    MathSciNet  Article  MATH  Google Scholar 

  9. Aydi H, Damjanović B, Samet B, Shatanawi W: Coupled fixed point theorems for nonlinear contractions in partially ordered G -metric spaces. Math. Comput. Model. 2011, 54: 2443–2450. 10.1016/j.mcm.2011.05.059

    Article  MathSciNet  MATH  Google Scholar 

  10. 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.036

    MathSciNet  Article  MATH  Google Scholar 

  11. Karapınar E: Fixed point theory for cyclic weak ϕ -contraction. Appl. Math. Lett. 2011, 24(6):822–825. 10.1016/j.aml.2010.12.016

    MathSciNet  Article  MATH  Google Scholar 

  12. Karapınar E, Sadaranagni K: Fixed point theory for cyclic ( ϕ - ψ )-contractions. Fixed Point Theory Appl. 2011., 2011: Article ID 69

    Google Scholar 

  13. Karapınar E: Coupled fixed point theorems for nonlinear contractions in cone metric spaces. Comput. Math. Appl. 2010, 59: 3656–3668.

    MathSciNet  Article  MATH  Google Scholar 

  14. Aydi H, Karapınar E, Shatanawi W: Tripled fixed point results in generalized metric spaces. J. Appl. Math. 2012., 2012: Article ID 314279

    Google Scholar 

  15. Aydi H, Karapınar E, Mustafa Z: On common fixed points in G -metric spaces using (E.A) property. Comput. Math. Appl. 2012, 64(6):1944–1956.

    MathSciNet  Article  MATH  Google Scholar 

  16. Aydi H, Karapınar E, Shatanawi W: Tripled common fixed point results for generalized contractions in ordered generalized metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 101

    Google Scholar 

  17. Aydi H, Vetro C, Sintunavarat W, Kumam P: Coincidence and fixed points for contractions and cyclical contractions in partial metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 124

    Google Scholar 

  18. Karapınar E, Kaymakcalan B, Tas K: On coupled fixed point theorems on partially ordered G -metric spaces. J. Inequal. Appl. 2012., 2012: Article ID 200

    Google Scholar 

  19. Ding HS, Karapınar E: A note on some coupled fixed point theorems on G -metric space. J. Inequal. Appl. 2012., 2012: Article ID 170

    Google Scholar 

  20. Gul U, Karapınar E: On almost contraction in partially ordered metric spaces via implicit relation. J. Inequal. Appl. 2012., 2012: Article ID 217

    Google Scholar 

  21. Jleli M, Samet B: Remarks on G -metric spaces and fixed point theorems. Fixed Point Theory Appl. 2012., 2012: Article ID 210

    Google Scholar 

  22. Kirk WA, Srinivasan PS, Veeramani P: Fixed points for mappings satisfying cyclical contractive conditions. Fixed Point Theory 2003, 4(1):79–89.

    MathSciNet  MATH  Google Scholar 

  23. Mustafa, Z: A new structure for generalized metric spaces with applications to fixed point theory. Ph.D. thesis, The University of Newcastle, Australia (2005)

    Google Scholar 

  24. Mustafa Z, Sims B: A new approach to generalized metric spaces. J. Nonlinear Convex Anal. 2006, 7(2):289–297.

    MathSciNet  MATH  Google Scholar 

  25. Mustafa Z, Aydi H, Karapınar E: On common fixed points in image-metric spaces using (E.A) property. Comput. Math. Appl. 2012. doi:10.1016/j.camwa.2012.03.051

    Google Scholar 

  26. Mustafa Z, Obiedat H, Awawdeh F: Some fixed point theorem for mapping on complete G -metric spaces. Fixed Point Theory Appl. 2008., 2008: Article ID 189870

    Google Scholar 

  27. Mustafa Z, Khandaqji M, Shatanawi W: Fixed point results on complete G -metric spaces. Studia Sci. Math. Hung. 2011, 48: 304–319.

    MathSciNet  MATH  Google Scholar 

  28. Mustafa Z, Sims B: Fixed point theorems for contractive mappings in complete G -metric spaces. Fixed Point Theory Appl. 2009., 2009: Article ID 917175

    Google Scholar 

  29. Mustafa Z, Shatanawi W, Bataineh M: Existence of fixed point results in G -metric spaces. Int. J. Math. Math. Sci. 2009., 2009: Article ID 283028

    Google Scholar 

  30. Nashine HK, Sintunavarat W, Kumam P: Cyclic generalized contractions and fixed point results with applications to an integral equation. Fixed Point Theory Appl. 2012., 2012: Article ID 217

    Google Scholar 

  31. Pacurar M, Rus IA: Fixed point theory for cyclic φ -contractions. Nonlinear Anal. 2010, 72: 1181–1187. 10.1016/j.na.2009.08.002

    MathSciNet  Article  MATH  Google Scholar 

  32. Petric MA: Some results concerning cyclical contractive mappings. Gen. Math. 2010, 18(4):213–226.

    MathSciNet  MATH  Google Scholar 

  33. Petruşel A, Rus IA: Fixed point theorems in ordered L -spaces. Proc. Am. Math. Soc. 2006, 134: 411–418.

    Article  MathSciNet  MATH  Google Scholar 

  34. Proinov PD: A generalization of the Banach contraction principle with high order of convergence of successive approximations. Nonlinear Anal., Theory Methods Appl. 2007, 67: 2361–2369. 10.1016/j.na.2006.09.008

    MathSciNet  Article  MATH  Google Scholar 

  35. Bianchini RM, Grandolfi M: Transformazioni di tipo contracttivo generalizzato in uno spazio metrico. Atti Accad. Naz. Lincei, Rend. Cl. Sci. Fis. Mat. Nat. 1968, 45: 212–216.

    MathSciNet  MATH  Google Scholar 

  36. Proinov PD: New general convergence theory for iterative processes and its applications to Newton Kantorovich type theorems. J. Complex. 2010, 26: 3–42. 10.1016/j.jco.2009.05.001

    MathSciNet  Article  MATH  Google Scholar 

  37. Rus IA: Cyclic representations and fixed points. Ann. ’Tiberiu Popoviciu’ Sem. Funct. Equ. Approx. Convexity 2005, 3: 171–178.

    Google Scholar 

  38. Samet B, Vetro C, Vetro P: Fixed point theorem for α - ψ -contractive type mappings. Nonlinear Anal. 2012, 75: 2154–2165. 10.1016/j.na.2011.10.014

    MathSciNet  Article  MATH  Google Scholar 

  39. Samet B, Vetro C, Vetro F: Remarks on G -metric spaces. Int. J. Anal. 2013., 2013: Article ID 917158

    Google Scholar 

  40. Shatanawi W: Fixed point theory for contractive mappings satisfying Φ-maps in G -metric spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 181650

    Google Scholar 

  41. Shatanawi W: Some fixed point theorems in ordered G -metric spaces and applications. Abstr. Appl. Anal. 2011., 2011: Article ID 126205

    Google Scholar 

  42. Shatanawi W: Coupled fixed point theorems in generalized metric spaces. Hacet. J. Math. Stat. 2011, 40(3):441–447.

    MathSciNet  MATH  Google Scholar 

  43. Shatanawi W, Abbas M, Nazir T: Common coupled coincidence and coupled fixed point results in two generalized metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 80

    Google Scholar 

  44. 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: Article ID 81

    Google Scholar 

  45. Sintunavarat W, Cho YJ, Kumam P: Coupled fixed-point theorems for contraction mapping induced by cone ball-metric in partially ordered spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 128

    Google Scholar 

  46. Sintunavarat W, Kumam P: Common fixed point theorem for cyclic generalized multi-valued contraction mappings. Appl. Math. Lett. 2012, 25(11):1849–1855. 10.1016/j.aml.2012.02.045

    MathSciNet  Article  MATH  Google Scholar 

  47. Sintunavarat W, Kumam P: Coupled best proximity point theorem in metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 93

    Google Scholar 

  48. Sintunavarat W, Petruşel A, Kumam P:Common coupled fixed point theorems for w -compatible mappings without mixed monotone property. Rend. Circ. Mat. Palermo 2012, 61: 361–383. 10.1007/s12215-012-0096-0

    MathSciNet  Article  MATH  Google Scholar 

  49. Sintunavarat W, Radenović S, Golubović Z, Kumam P: Coupled fixed point theorems for F -invariant set. Appl. Math. Inf. Sci. 2013, 7(1):247–255. 10.12785/amis/070131

    MathSciNet  Article  Google Scholar 

  50. Tahat N, Aydi H, Karapınar E, Shatanawi W: Common fixed points for single-valued and multi-valued maps satisfying a generalized contraction in G -metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 48

    Google Scholar 

Download references

Acknowledgements

The authors express their gratitude to the anonymous referees for constructive and useful remarks, comments and suggestions. The authors also thanks to Professor İlker Savas Yüce for his help for improving the presentation of the paper. The first author supported by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Maryam A Alghamdi.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors read and approved the final manuscript.

Rights and permissions

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

Reprints and Permissions

About this article

Cite this article

Alghamdi, M.A., Karapınar, E. G-β-ψ-contractive type mappings in G-metric spaces. Fixed Point Theory Appl 2013, 123 (2013). https://doi.org/10.1186/1687-1812-2013-123

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1812-2013-123

Keywords

  • Fixed Point Theorem
  • Contractive Mapping
  • Fixed Point Theory
  • Unique Fixed Point
  • Couple Fixed Point