Open Access

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

Fixed Point Theory and Applications20132013:123

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

Received: 15 November 2012

Accepted: 25 April 2013

Published: 10 May 2013

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 : X X 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 ( T x , T y ) ψ ( d ( x , y ) ) ,

for all x , y X .

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

Definition 4 Let T : X X and α : X × X [ 0 , ) . We say that T is α-admissible if for all x , y X , we have
α ( x , y ) 1 α ( T x , T y ) 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 : X X 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 u X such that T u = u .

Theorem 6 Let ( X , d ) be a complete metric space and T : X X 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 x X as n , then α ( x n , x ) 1 for all n.

     

Then there exists u X such that T u = u .

Theorem 7 Adding to the hypotheses of Theorem  5 (resp. Theorem  6) the condition: For all x , y X , there exists z X 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 , y X with x y ;

     
  3. (G3)

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

     
  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 , a X (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 , y X .
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 , z X , 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 x X if
lim n , m G ( x , x n , x m ) = 0 ,

that is, for any ε > 0 , there exists N N such that G ( x , x n , x m ) < ε for all n , m N . 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 N N such that G ( x n , x m , x l ) < ε for all n , m , l N , 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 N N such that G ( x n , x m , x m ) < ε for all n , m N .

     

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 , a X , 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 ) 2 G ( 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 : X X 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 : X X be a mapping satisfying the following condition for all x , y , z X :
G ( T x , T y , T z ) k G ( 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 : X X be a mapping satisfying the following condition for all x , y X :
G ( T x , T y , T y ) k G ( 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 , ε ) : x X , ε > 0 } , where B G ( x , ε ) = { y X : G ( x , y , y ) < ε } for all x X 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 , ε ) A for 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 x A .

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 : X X 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 , z X , we have
β ( x , y , z ) G ( T x , T y , T z ) ψ ( G ( x , y , z ) ) .
(3)
Definition 22 Let ( X , G ) be a G-metric space and let T : X X 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 , y X , we have
β ( x , y , y ) G ( T x , T y , T y ) ψ ( G ( x , y , y ) ) .
(4)
Definition 23 Let ( X , G ) be a G-metric space and let T : X X 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 , y X , we have
β ( x , y , T x ) 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 , z X and ψ ( t ) = k t , k ( 0 , 1 ) . Analogously, a mapping satisfying (2), is a G-β-ψ-contractive mapping of type II with β ( x , y , y ) = 1 for all x , y X and ψ ( t ) = k t , k ( 0 , 1 ) .

Definition 25 Let T : X X and β : X × X × X [ 0 , ) . We say that T is β-admissible if for all x , y , z X , we have
β ( x , y , z ) 1 β ( T x , T y , T z ) 1 .
Example 26 Let X = [ 0 , ) and T : X X . Define β ( x , y , z ) : X × X × X [ 0 , ) by
T x = { 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 : X X 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 u X such that T u = 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 n 0 . 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 ) 1 for all  n = 0 , 1 , .
(6)
From (5) and (6), it follows that for all n 1 , 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  n 1 .
(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 u X 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 = T u , 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 : X X 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 x X , then β ( x n , x , x n + 1 ) 1 for all n.

     

Then there exists u X such that T u = 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 n 0 is a G-Cauchy sequence in the complete G-metric space ( X , G ) that is G-convergent to u X . From (6) and (iii), we have
β ( x n , u , u ) 1 for all  n 0 .
(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 , T u , u ) = 0 .

By Lemma 15, we obtain u = T u . □

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 : X X 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 u X such that T u = u .

Theorem 30 Let ( X , G ) be a complete G-metric space. Suppose that T : X X 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 x X , then β ( x n , x , x n + 1 ) 1 for all n.

     

Then there exists u X such that T u = 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 ) = | x y | + | y z | + | z x |
for all x , y X . Consider the self-mapping T : X X given by
T x = { 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 ( T 1 , T 2 , T 2 ) = 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 t 0 . Then we conclude that T is a G-β-ψ-contractive mapping. In fact, for all x , y X , we have
β ( x , y , y ) G ( T x , T y , T y ) 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 , T 1 , T 1 ) = β ( 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 , y X 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
T x = x 4 [ 0 , 1 ] , T y = y 4 [ 0 , 1 ] .

Hence, β ( T x , T y , T y ) 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 : X X be a map given by
T x = { 2 x 7 4 if  x > 1 , x 3 if  0 x 1 .
Let ψ ( t ) = t 3 for t 0 . Then we conclude that T is a G-β-ψ-contractive mapping. In fact, for all x , y X , we have
β ( x , y , y ) G ( T x , T y , T y ) 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 , T 1 , T 1 ) = β ( 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 n N and x n x as n . By the definition of β, we have β ( x n , x n + 1 , x n + 1 ) 1 for all n N . 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 , y X 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
T x = x 3 [ 0 , 1 ] , T y = y 3 [ 0 , 1 ] .

Hence, β ( T x , T y , T y ) 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 , y X , there exists z X 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 z X such that
β ( u , u , z ) 1 and β ( u , u , z ) 1 .
Since T is β-admissible, we get by induction that
β ( u , u , T n z ) 1 and β ( u , u , T n z ) 1 for 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 = A B , and let T : Y Y be a given self-mapping satisfying
T ( A ) B and T ( B ) A .
(10)
If there exists a function ψ Ψ such that
G ( T x , T y , T y ) ψ ( G ( x , y , y ) ) for all x A , y B ,
(11)

then T has a unique fixed point u A B , that is, T u = 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 ( T x , T y , T y ) ψ ( G ( x , y , y ) ) , x , y Y .
(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), ( T x , T y ) B × A , which yields that β ( T x , T y , T y ) 1 . If ( x , y ) B × A , we get again β ( T x , T y , T y ) 1 by analogy. Thus, in any case we have β ( T x , T y , T y ) 1 , that is, T is β-admissible. Notice also that for any z A , we have ( z , T z ) A × B , which yields that β ( z , T z , T z ) 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 z X 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 z A B . 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 = T w , where w A B . 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 , y X .

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 × X X 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 × X X . 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 , y X ,
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 × X X if
x = F ( x , y ) and y = F ( y , x ) .

Lemma 38 (See [38])

Let F : X × X X be a given mapping. Define the mapping T F : X × X X × 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 × X X 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 × X X 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 : Y Y 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 × X X 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 n N ;

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

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 × X X 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 , z X with x u w and y v z , where either u w or v z . 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 ) = k t , t 0 . Let ( x , y ) , ( u , v ) X × X such that
γ ( ( x , y ) , ( u , v ) , ( u , v ) ) 1 .
By the definition of γ, we get x u and y v . This implies that
F ( x , y ) F ( u , v ) and F ( 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 s X and t n t X 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 s and 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.

Declarations

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.

Authors’ Affiliations

(1)
Department of Mathematics, Sciences Faculty for Girls, King Abdulaziz University
(2)
Department of Mathematics, Atilim University

References

  1. Banach S: Sur les opérations dans les ensembles abstraits et leur application aux equations itegrales. Fundam. Math. 1922, 3: 133–181.MATHGoogle 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 31Google 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 40Google 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 2Google Scholar
  5. Berinde V: Iterative Approximation of Fixed Points. Editura Efemeride, Baia Mare; 2002.MATHGoogle 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.020MathSciNetView ArticleMATHGoogle 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.017MathSciNetView ArticleMATHGoogle 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-0MathSciNetView ArticleMATHGoogle 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.059View ArticleMathSciNetMATHGoogle 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.036MathSciNetView ArticleMATHGoogle 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.016MathSciNetView ArticleMATHGoogle Scholar
  12. Karapınar E, Sadaranagni K: Fixed point theory for cyclic ( ϕ - ψ )-contractions. Fixed Point Theory Appl. 2011., 2011: Article ID 69Google Scholar
  13. Karapınar E: Coupled fixed point theorems for nonlinear contractions in cone metric spaces. Comput. Math. Appl. 2010, 59: 3656–3668.MathSciNetView ArticleMATHGoogle Scholar
  14. Aydi H, Karapınar E, Shatanawi W: Tripled fixed point results in generalized metric spaces. J. Appl. Math. 2012., 2012: Article ID 314279Google 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.MathSciNetView ArticleMATHGoogle 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 101Google 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 124Google 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 200Google 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 170Google 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 217Google Scholar
  21. Jleli M, Samet B: Remarks on G -metric spaces and fixed point theorems. Fixed Point Theory Appl. 2012., 2012: Article ID 210Google Scholar
  22. Kirk WA, Srinivasan PS, Veeramani P: Fixed points for mappings satisfying cyclical contractive conditions. Fixed Point Theory 2003, 4(1):79–89.MathSciNetMATHGoogle 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.MathSciNetMATHGoogle 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.051Google 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 189870Google Scholar
  27. Mustafa Z, Khandaqji M, Shatanawi W: Fixed point results on complete G -metric spaces. Studia Sci. Math. Hung. 2011, 48: 304–319.MathSciNetMATHGoogle 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 917175Google 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 283028Google 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 217Google Scholar
  31. Pacurar M, Rus IA: Fixed point theory for cyclic φ -contractions. Nonlinear Anal. 2010, 72: 1181–1187. 10.1016/j.na.2009.08.002MathSciNetView ArticleMATHGoogle Scholar
  32. Petric MA: Some results concerning cyclical contractive mappings. Gen. Math. 2010, 18(4):213–226.MathSciNetMATHGoogle Scholar
  33. Petruşel A, Rus IA: Fixed point theorems in ordered L -spaces. Proc. Am. Math. Soc. 2006, 134: 411–418.View ArticleMathSciNetMATHGoogle 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.008MathSciNetView ArticleMATHGoogle 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.MathSciNetMATHGoogle 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.001MathSciNetView ArticleMATHGoogle 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.014MathSciNetView ArticleMATHGoogle Scholar
  39. Samet B, Vetro C, Vetro F: Remarks on G -metric spaces. Int. J. Anal. 2013., 2013: Article ID 917158Google Scholar
  40. Shatanawi W: Fixed point theory for contractive mappings satisfying Φ-maps in G -metric spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 181650Google Scholar
  41. Shatanawi W: Some fixed point theorems in ordered G -metric spaces and applications. Abstr. Appl. Anal. 2011., 2011: Article ID 126205Google Scholar
  42. Shatanawi W: Coupled fixed point theorems in generalized metric spaces. Hacet. J. Math. Stat. 2011, 40(3):441–447.MathSciNetMATHGoogle 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 80Google 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 81Google 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 128Google 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.045MathSciNetView ArticleMATHGoogle Scholar
  47. Sintunavarat W, Kumam P: Coupled best proximity point theorem in metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 93Google 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-0MathSciNetView ArticleMATHGoogle 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/070131MathSciNetView ArticleGoogle 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 48Google Scholar

Copyright

© Alghamdi and Karapınar; licensee Springer 2013

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.