- Research
- Open Access

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

- Maryam A Alghamdi
^{1}Email author and - Erdal Karapınar
^{2}

**2013**:123

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

© Alghamdi and Karapınar; licensee Springer 2013

**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.

## Keywords

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

## 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.*, [1–50]). 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, 14–16, 18–20, 23–29, 40–43, 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 ${\mathbb{R}}^{+}$ denotes the set of nonnegative reals.

- (i)
*ψ*is nondecreasing; - (ii)there exist ${k}_{0}\in \mathbb{N}$ and $a\in (0,1)$ and a convergent series of nonnegative terms ${\sum}_{k=1}^{\mathrm{\infty}}{v}_{k}$ such that${\psi}^{k+1}(t)\le a{\psi}^{k}(t)+{v}_{k}$

for $k\ge {k}_{0}$ and any $t\in {\mathbb{R}}^{+}$.

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

**Lemma 1** (See [5])

*If*$\psi \in \mathrm{\Psi}$,

*then the following hold*:

- (i)
${({\psi}^{n}(t))}_{n\in \mathbb{N}}$

*converges to*0*as*$n\to \mathrm{\infty}$*for all*$t\in {\mathbb{R}}^{+}$; - (ii)
$\psi (t)<t$

*for any*$t\in (0,\mathrm{\infty})$; - (iii)
*ψ**is continuous at*0; - (iv)
*the series*${\sum}_{k=1}^{\mathrm{\infty}}{\psi}^{k}(t)$*converges for any*$t\in {\mathbb{R}}^{+}$.

**Remark 2** In some sources, $(c)$-comparison functions are called Bianchini-Grandolfi gauge functions (see, *e.g.*, [34–36]).

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

**Definition 3**Let $(X,d)$ be a metric space and let $T:X\to X$ be a given mapping. We say that

*T*is an

*α*-

*ψ*-contractive mapping if there exist two functions $\alpha :X\times X\to [0,\mathrm{\infty})$ and $\psi \in \mathrm{\Psi}$ such that

for all $x,y\in X$.

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

**Definition 4**Let $T:X\to X$ and $\alpha :X\times X\to [0,\mathrm{\infty})$. We say that

*T*is

*α*-admissible if for all $x,y\in X$, we have

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\to X$

*be an*

*α*-

*ψ*-

*contractive mapping*.

*Suppose that*

- (i)
*T**is**α*-*admissible*; - (ii)
*there exists*${x}_{0}\in X$*such that*$\alpha ({x}_{0},T{x}_{0})\ge 1$; - (iii)
*T**is continuous*.

*Then there exists* $u\in X$ *such that* $Tu=u$.

**Theorem 6**

*Let*$(X,d)$

*be a complete metric space and*$T:X\to X$

*be an*

*α*-

*ψ*-

*contractive mapping*.

*Suppose that*

- (i)
*T**is**α*-*admissible*; - (ii)
*there exists*${x}_{0}\in X$*such that*$\alpha ({x}_{0},T{x}_{0})\ge 1$; - (iii)
*if*$\{{x}_{n}\}$*is a sequence in**X**such that*$\alpha ({x}_{n},{x}_{n+1})\ge 1$*for all**n**and*${x}_{n}\to $ $x\in X$*as*$n\to \mathrm{\infty}$,*then*$\alpha ({x}_{n},x)\ge 1$*for all**n*.

*Then there exists* $u\in X$ *such that* $Tu=u$.

**Theorem 7** *Adding to the hypotheses of Theorem * 5 (*resp*. *Theorem * 6) *the condition*: *For all* $x,y\in X$, *there exists* $z\in X$ *such that* $\alpha (x,z)\ge 1$ *and* $\alpha (y,z)\ge 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])

*X*be a non-empty set and $G:X\times X\times X\to {\mathbb{R}}^{+}$ be a function satisfying the following properties:

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

- (G2)
$0<G(x,x,y)$ for all $x,y\in X$ with $x\ne y$;

- (G3)
$G(x,x,y)\le G(x,y,z)$ for all $x,y,z\in X$ with $y\ne z$;

- (G4)
$G(x,y,z)=G(x,z,y)=G(y,z,x)=\cdots $ (symmetry in all three variables);

- (G5)
$G(x,y,z)\le G(x,a,a)+G(a,y,z)$ for all $x,y,z,a\in 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.

*G*-metric on

*X*defines a metric ${d}_{G}$ on

*X*by

**Example 9**Let $(X,d)$ be a metric space. The function $G:X\times X\times X\to {\mathbb{R}}^{+}$, defined as either

for all $x,y,z\in X$, is a *G*-metric on *X*.

**Definition 10** ([24])

*G*-metric space, and let $\{{x}_{n}\}$ be a sequence of points of

*X*. We say that $\{{x}_{n}\}$ is

*G*-convergent to $x\in X$ if

that is, for any $\epsilon >0$, there exists $N\in \mathbb{N}$ such that $G(x,{x}_{n},{x}_{m})<\epsilon $ for all $n,m\ge N$. We call *x* the limit of the sequence and write ${x}_{n}\to x$ or $\underset{n\to \mathrm{\infty}}{lim}{x}_{n}=x$.

**Proposition 11** ([24])

*Let*$(X,G)$

*be a*

*G*-

*metric space*.

*The following are equivalent*:

- (1)
$G({x}_{n},{x}_{n},x)\to 0$

*as*$n\to \mathrm{\infty}$; - (2)
$G({x}_{n},x,x)\to 0$

*as*$n\to \mathrm{\infty}$; - (3)
$G({x}_{n},{x}_{m},x)\to 0$

*as*$n,m\to \mathrm{\infty}$.

**Definition 12** ([24])

Let $(X,G)$ be a *G*-metric space. A sequence $\{{x}_{n}\}$ is called a *G*-Cauchy sequence if for any $\epsilon >0$, there is $N\in \mathbb{N}$ such that $G({x}_{n},{x}_{m},{x}_{l})<\epsilon $ for all $n,m,l\ge N$, that is, $G({x}_{n},{x}_{m},{x}_{l})\to 0$ as $n,m,l\to \mathrm{\infty}$.

**Proposition 13** ([24])

*Let*$(X,G)$

*be a*

*G*-

*metric space*.

*Then the following are equivalent*:

- (1)
*the sequence*$\{{x}_{n}\}$*is**G*-*Cauchy*; - (2)
*for any*$\epsilon >0$,*there exists*$N\in \mathbb{N}$*such that*$G({x}_{n},{x}_{m},{x}_{m})<\epsilon $*for all*$n,m\ge 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\in X$,

*it follows that*:

- (i)
*if*$G(x,y,z)=0$,*then*$x=y=z$; - (ii)
$G(x,y,z)\le G(x,x,y)+G(x,x,z)$;

- (iii)
$G(x,y,y)\le 2G(y,x,x)$;

- (iv)
$G(x,y,z)\le G(x,a,z)+G(a,y,z)$;

- (v)
$G(x,y,z)\le \frac{2}{3}[G(x,y,a)+G(x,a,z)+G(a,y,z)]$;

- (vi)
$G(x,y,z)\le 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\to 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\to X$

*be a mapping satisfying the following condition for all*$x,y,z\in X$:

*where* $k\in [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\to X$

*be a mapping satisfying the following condition for all*$x,y\in X$:

*where* $k\in [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\in [0,\frac{1}{2})$. For details, see [23].

*G*-metric

*G*on

*X*generates a topology ${\tau}_{G}$ on

*X*whose base is a family of open

*G*-balls $\{{B}_{G}(x,\epsilon ):x\in X,\epsilon >0\}$, where ${B}_{G}(x,\epsilon )=\{y\in X:G(x,y,y)<\epsilon \}$ for all $x\in X$ and $\epsilon >0$. A nonempty set

*A*in the

*G*-metric space $(X,G)$ is

*G*-closed if $\overline{A}=A$. Moreover,

**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\in 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\to X$ be a given mapping. We say that

*T*is a

*G*-

*β*-

*ψ*-contractive mapping of type I if there exist two functions $\beta :X\times X\times X\to [0,\mathrm{\infty})$ and $\psi \in \mathrm{\Psi}$ such that for all $x,y,z\in X$, we have

**Definition 22**Let $(X,G)$ be a

*G*-metric space and let $T:X\to X$ be a given mapping. We say that

*T*is a

*G*-

*β*-

*ψ*-contractive mapping of type II if there exist two functions $\beta :X\times X\times X\to [0,\mathrm{\infty})$ and $\psi \in \mathrm{\Psi}$ such that for all $x,y\in X$, we have

**Definition 23**Let $(X,G)$ be a

*G*-metric space and let $T:X\to X$ be a given mapping. We say that

*T*is a

*G*-

*β*-

*ψ*-contractive mapping of type A if there exist two functions $\beta :X\times X\times X\to [0,\mathrm{\infty})$ and $\psi \in \mathrm{\Psi}$ such that for all $x,y\in X$, we have

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

**Definition 25**Let $T:X\to X$ and $\beta :X\times X\times X\to [0,\mathrm{\infty})$. We say that

*T*is

*β*-admissible if for all $x,y,z\in X$, we have

**Example 26**Let $X=[0,\mathrm{\infty})$ and $T:X\to X$. Define $\beta (x,y,z):X\times X\times X\to [0,\mathrm{\infty})$ by

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\to X$

*is a*

*G*-

*β*-

*ψ*-

*contractive mapping of type A and satisfies the following conditions*:

- (i)
*T**is**β*-*admissible*; - (ii)
*there exists*${x}_{0}\in X$*such that*$\beta ({x}_{0},T{x}_{0},T{x}_{0})\ge 1$; - (iii)
*T**is**G*-*continuous*.

*Then there exists* $u\in X$ *such that* $Tu=u$.

*Proof*Let ${x}_{0}\in X$ such that $\beta ({x}_{0},T{x}_{0},T{x}_{0})\ge 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\ge 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}\ne {x}_{n+1}$ for all

*n*. Since

*T*is

*β*-admissible, we have

*ψ*is nondecreasing, by induction, we have

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\in 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=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:X\to X$

*is a*

*G*-

*β*-

*ψ*-

*contractive mapping of type A and satisfies the following conditions*:

- (i)
*T**is**β*-*admissible*; - (ii)
*there exists*${x}_{0}\in X$*such that*$\beta ({x}_{0},T{x}_{0},T{x}_{0})\ge 1$; - (iii)
*if*$\{{x}_{n}\}$*is a sequence in**X**such that*$\beta ({x}_{n},{x}_{n+1},{x}_{n+1})\ge 1$*for all**n**and*$\{{x}_{n}\}$*is a**G*-*convergent to*$x\in X$,*then*$\beta ({x}_{n},x,{x}_{n+1})\ge 1$*for all**n*.

*Then there exists* $u\in X$ *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 $n\ge 0$ is a

*G*-Cauchy sequence in the complete

*G*-metric space $(X,G)$ that is

*G*-convergent to $u\in X$. From (6) and (iii), we have

*G*-metric together with (5) and (8), we have

*ψ*is continuous at $t=0$, it follows that

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:X\to X$

*is a*

*G*-

*β*-

*ψ*-

*contractive mapping of type A and satisfies the following conditions*:

- (i)
*T**is**β*-*admissible*; - (ii)
*there exists*${x}_{0}\in X$*such that*$\beta ({x}_{0},T{x}_{0},T{x}_{0})\ge 1$; - (iii)
*T**is**G*-*continuous*.

*Then there exists* $u\in X$ *such that* $Tu=u$.

**Theorem 30**

*Let*$(X,G)$

*be a complete*

*G*-

*metric space*.

*Suppose that*$T:X\to X$

*is a*

*G*-

*β*-

*ψ*-

*contractive mapping of type II and satisfies the following conditions*:

- (i)
*T**is**β*-*admissible*; - (ii)
*there exists*${x}_{0}\in X$*such that*$\beta ({x}_{0},T{x}_{0},T{x}_{0})\ge 1$; - (iii)
*if*$\{{x}_{n}\}$*is a sequence in**X**such that*$\beta ({x}_{n},{x}_{n+1},{x}_{n+1})\ge 1$*for all**n**and*$\{{x}_{n}\}$*is a**G*-*convergent to*$x\in X$,*then*$\beta ({x}_{n},x,{x}_{n+1})\ge 1$*for all**n*.

*Then there exists* $u\in X$ *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,\mathrm{\infty})$ be the

*G*-metric space, where

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)$.

*T*is a

*G*-

*β*-

*ψ*-contractive mapping. In fact, for all $x,y\in X$, we have

On the other hand, there exists ${x}_{0}\in X$ such that $\beta ({x}_{0},T{x}_{0},T{x}_{0})\ge 1$. Indeed, for ${x}_{0}=1$, we have $\beta (1,T1,T1)=\beta (1,\frac{1}{4},\frac{1}{4})=1$.

*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\in X$ such that $\beta (x,y,y)\ge 1$, which is equivalent to saying that $x,y\in [0,1]$. Due to the definitions of

*β*and

*T*, we have

Hence, $\beta (Tx,Ty,Ty)\ge 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 $\frac{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\to X$ be a map given by

*T*is a

*G*-

*β*-

*ψ*-contractive mapping. In fact, for all $x,y\in X$, we have

Furthermore, there exists ${x}_{0}\in X$ such that $\beta ({x}_{0},T{x}_{0},T{x}_{0})\ge 1$. For ${x}_{0}=1$, we have $\beta (1,T1,T1)=\beta (1,\frac{1}{3},\frac{1}{3})=1$.

Let $\{{x}_{n}\}$ be a sequence such that $\beta ({x}_{n},{x}_{n+1},{x}_{n+1})\ge 1$ for all $n\in \mathbb{N}$ and ${x}_{n}\to x$ as $n\to \mathrm{\infty}$. By the definition of *β*, we have $\beta ({x}_{n},{x}_{n+1},{x}_{n+1})\ge 1$ for all $n\in \mathbb{N}$. Then we see that ${x}_{n}\in [0,1]$. Thus, $\beta ({x}_{n},x,x)\ge 1$.

*T*satisfies all of the hypotheses of Theorem 30, it is sufficient to observe that

*T*is

*β*-admissible. For this purpose, let $x,y\in X$ such that $\beta (x,y,y)\ge 1$. It is equivalent to saying that $x,y\in [0,1]$. Due to the definitions of

*β*and

*T*, we have

Hence, $\beta (Tx,Ty,Ty)\ge 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 $\frac{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*.

- (iv)
*For all*$x,y\in X$,*there exists*$z\in X$*such that*$\beta (x,z,z)\ge 1$*and*$\beta (y,z,z)\ge 1$.

*Proof*Let $u,{u}^{\ast}\in X$ be two fixed points of

*T*. By (iv), there exists $z\in X$ such that

*T*is

*β*-admissible, we get by induction that

This implies that $\{{T}^{n}z\}$ is *G*-convergent to *u*. Similarly, we get $\{{T}^{n}z\}$ is *G*-convergent to ${u}^{\ast}$. By the uniqueness of the limit, we get $u={u}^{\ast}$, 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\cup B$,

*and let*$T:Y\to Y$

*be a given self*-

*mapping satisfying*

*If there exists a function*$\psi \in \mathrm{\Psi}$

*such that*

*then* *T* *has a unique fixed point* $u\in A\cap B$, *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 $\beta :X\times X\times X\to [0,\mathrm{\infty})$ in the following way:

*β*and assumption (11), we have

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

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

*X*such that $\beta ({x}_{n},{x}_{n+1},{x}_{n+1})\ge 1$ for all

*n*and ${x}_{n}\to z\in X$ as $n\to \mathrm{\infty}$. Regarding the definition of

*β*, we derive that

By the assumption, *A*, *B* and $(A\times B)\cup (B\times A)$ are closed sets. Hence we get that $(z,z)\in (A\times B)\cup (B\times A)$, which implies that $z\in A\cap B$. We conclude, by the definition of *β*, that $\beta ({x}_{n},z,z)\ge 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 $w\in A\cap B$. Since $(z,w)(A\times B)\cup (B\times A)$, we have $\beta (y,z,z)\ge 1$ and $\beta (z,y,y)\ge 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\in 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\times X\to X$ on a partially ordered metric space under a condition called the mixed monotone property.

**Definition 36** ([7])

*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\in X$,

**Definition 37** ([7])

**Lemma 38** (See [38])

*Let* $F:X\times X\to X$ *be a given mapping*. *Define the mapping* ${T}_{F}:X\times X\to X\times X$ *by* ${T}_{F}(x,y)=(F(x,y),F(y,x))$ *for all* $(x,y)\in X\times 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\times X\to 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\times X\to X$

*be a given mapping*.

*Suppose there exist*$\psi \in \mathrm{\Psi}$

*and a function*$\beta :{X}^{2}\times {X}^{2}\times {X}^{2}\to [0,\mathrm{\infty})$

*such that*

*for all*$(x,y),(u,v)\in X\times X$.

*Suppose also that*

- (a)
*for all*$(x,y),(u,v)\in X\times X$,*we have*$\begin{array}{r}\beta ((x,y),(u,v),(u,v))\ge 1\\ \phantom{\rule{1em}{0ex}}\Rightarrow \phantom{\rule{1em}{0ex}}\beta ((F(x,y),F(y,x)),(F(u,v),F(v,u)),(F(u,v),F(v,u)))\ge 1;\end{array}$ - (b)
*there exists*$({x}_{0},{y}_{0})$*such that*$\begin{array}{c}\beta (({x}_{0},{y}_{0}),(F({x}_{0},{y}_{0}),F({y}_{0},{x}_{0})),(F({x}_{0},{y}_{0}),F({y}_{0},{x}_{0})))\ge 1,\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\hfill \\ \beta ((F({y}_{0},{x}_{0}),F({x}_{0},{y}_{0})),(F({y}_{0},{x}_{0}),F({x}_{0},{y}_{0})),({y}_{0},{x}_{0}))\ge 1;\hfill \end{array}$ - (c)
*F**is continuous*.

*Then* *F* *has a coupled fixed point*, *that is*, *there exists* $({x}^{\ast},{y}^{\ast})\in X\times X$ *such that* $F({x}^{\ast},{y}^{\ast})={x}^{\ast}$ *and* $F({y}^{\ast},{x}^{\ast})={y}^{\ast}$.

*Proof*Let $(Y,\delta )$ be a complete

*G*-metric space with $Y=X\times X$ and

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

Suppose that $\gamma (\zeta ,\eta ,\eta )\ge 1$ for $\zeta =(x,y),\eta =(u,v)\in Y$. Then, by the condition (a), we have $\gamma (T\zeta ,T\eta ,T\eta )\ge 1$. Therefore, *T* is *γ*-admissible.

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\times X\to X$

*be a given mapping*.

*Suppose there exist*$\psi \in \mathrm{\Psi}$

*and a function*$\beta :{X}^{2}\times {X}^{2}\times {X}^{2}\to [0,\mathrm{\infty})$

*such that*

*for all*$(x,y),(u,v)\in X\times X$.

*Suppose also that*

- (a)
*for all*$(x,y),(u,v)\in X\times X$,*we have*$\begin{array}{r}\beta ((x,y),(u,v),(u,v))\ge 1\\ \phantom{\rule{1em}{0ex}}\Rightarrow \phantom{\rule{1em}{0ex}}\beta ((F(x,y),F(y,x)),(F(u,v),F(v,u)),(F(u,v),F(v,u)))\ge 1;\end{array}$ - (b)
*there exists*$({x}_{0},{y}_{0})$*such that*$\begin{array}{c}\beta (({x}_{0},{y}_{0}),(F({x}_{0},{y}_{0}),F({y}_{0},{x}_{0})),(F({x}_{0},{y}_{0}),F({y}_{0},{x}_{0}))\ge 1,\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\hfill \\ \beta ((F({y}_{0},{x}_{0}),F({x}_{0},{y}_{0})),(F({y}_{0},{x}_{0}),F({x}_{0},{y}_{0})),({y}_{0},{x}_{0}))\ge 1;\hfill \end{array}$ - (c)
*if*$\{{x}_{n}\}$*and*$\{{y}_{n}\}$*are sequences in**X**such that*$\beta (({x}_{n},{y}_{n}),({x}_{n+1},{y}_{n+1}),({x}_{n+1},{y}_{n+1}))\ge 1$

*and*

*and*$\{{y}_{n}\}$

*are*

*G*-

*convergent to*

*x*

*and*

*y*,

*respectively*,

*then*

*and*

*for all* *n*.

*Then* *F* *has a coupled fixed point*, *that is*, *there exists* $({x}^{\ast},{y}^{\ast})\in X\times X$ *such that* $F({x}^{\ast},{y}^{\ast})={x}^{\ast}$ *and* $F({y}^{\ast},{x}^{\ast})={y}^{\ast}$.

*Proof*Let $\{({x}_{n},{y}_{n})\}$ be a sequence in

*Y*such that

*G*-convergent to $(x,y)$. From the condition (c), we get

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*.

- (d)
*For all*$(x,y),(u,v)\in X\times X$,*there exists*$({z}_{1},{z}_{2})\in X\times X$*such that*$\beta ((x,y),({z}_{1},{z}_{2}),({z}_{1},{z}_{2}))\ge 1,\phantom{\rule{2em}{0ex}}\beta (({z}_{2},{z}_{1}),({z}_{2},{z}_{1}),(y,x))\ge 1$

*and*

*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,\u2aaf)$ be a partially ordered set, and let $(X,G)$ be a *G*-metric space. A partially ordered *G*-metric space, $(X,G,\u2aaf)$, is called ordered complete if for each convergent sequence ${\{{x}_{n}\}}_{n=0}^{\mathrm{\infty}}\subset X$, the following conditions hold:

(OC_{1}) if $\{{x}_{n}\}$ is a non-increasing sequence in *X* such that ${x}_{n}\to {x}^{\ast}$, then ${x}^{\ast}\u2aaf{x}_{n}$ $\mathrm{\forall}n\in \mathbb{N}$;

(OC_{2}) if $\{{y}_{n}\}$ is a non-decreasing sequence in *X* such that ${y}_{n}\to {y}^{\ast}$, then ${y}^{\ast}\u2ab0{y}_{n}$ $\mathrm{\forall}n\in \mathbb{N}$.

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

**Theorem 44**

*Let*$(X,\u2aaf)$

*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\times X\to X$

*be a*

*G*-

*continuous mapping having the mixed monotone property on*

*X*.

*Suppose that there exists a*$k\in [0,1)$

*such that*

*for all* $x,y,u,v,w,z\in X$ *with* $x\u2ab0u\u2ab0w$ *and* $y\u2aafv\u2aafz$, *where either* $u\ne w$ *or* $v\ne z$. *If there exist* ${x}_{0},{y}_{0}\in X$ *such that* ${x}_{0}\u2aafF({x}_{0},{y}_{0})$ *and* $F({y}_{0},{x}_{0})\u2aaf{y}_{0}$, *then* *F* *has a coupled fixed point*, *that is*, *there exists* $(x,y)\in X\times X$ *such that* $x=F(x,y)$ *and* $y=F(y,x)$.

*Proof*Let $Y={X}^{2}$. Suppose that $\beta ,\gamma :Y\times Y\times Y\to [0,\mathrm{\infty})$ such that

*T*is a

*G*-

*γ*-

*ψ*-contractive mapping of type II with $\psi (t)=kt$, $t\ge 0$. Let $(x,y),(u,v)\in X\times X$ such that

*γ*, we get $x\u2ab0u$ and $y\u2aafv$. This implies that

*F*has the mixed monotone property. Thus,

*γ*, it implies that

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}\to s\in X$ and ${t}_{n}\to t\in X$ as $n\to \mathrm{\infty}$. Assume that $\beta (({s}_{n},{t}_{n}),({s}_{n+1},{t}_{n+1}),({s}_{n+1},{t}_{n+1}))\ge 1$ and $\beta (({t}_{n+1},{s}_{n+1}),({t}_{n+1},{s}_{n+1}),({t}_{n},{s}_{n}))\ge 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

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

## References

- Banach S: Sur les opérations dans les ensembles abstraits et leur application aux equations itegrales.
*Fundam. Math.*1922, 3: 133–181.MATHGoogle Scholar - 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 - 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 - 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 - Berinde V:
*Iterative Approximation of Fixed Points*. Editura Efemeride, Baia Mare; 2002.MATHGoogle Scholar - Ć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 - 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 - 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 - 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 - 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 - 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 - Karapınar E, Sadaranagni K: Fixed point theory for cyclic (
*ϕ*-*ψ*)-contractions.*Fixed Point Theory Appl.*2011., 2011: Article ID 69Google Scholar - Karapınar E: Coupled fixed point theorems for nonlinear contractions in cone metric spaces.
*Comput. Math. Appl.*2010, 59: 3656–3668.MathSciNetView ArticleMATHGoogle Scholar - Aydi H, Karapınar E, Shatanawi W: Tripled fixed point results in generalized metric spaces.
*J. Appl. Math.*2012., 2012: Article ID 314279Google Scholar - 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 - 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 - 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 - 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 - 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 - 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 - Jleli M, Samet B: Remarks on
*G*-metric spaces and fixed point theorems.*Fixed Point Theory Appl.*2012., 2012: Article ID 210Google Scholar - Kirk WA, Srinivasan PS, Veeramani P: Fixed points for mappings satisfying cyclical contractive conditions.
*Fixed Point Theory*2003, 4(1):79–89.MathSciNetMATHGoogle Scholar - 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
- Mustafa Z, Sims B: A new approach to generalized metric spaces.
*J. Nonlinear Convex Anal.*2006, 7(2):289–297.MathSciNetMATHGoogle Scholar - 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 - 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 - Mustafa Z, Khandaqji M, Shatanawi W: Fixed point results on complete
*G*-metric spaces.*Studia Sci. Math. Hung.*2011, 48: 304–319.MathSciNetMATHGoogle Scholar - 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 - 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 - 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 - 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 - Petric MA: Some results concerning cyclical contractive mappings.
*Gen. Math.*2010, 18(4):213–226.MathSciNetMATHGoogle Scholar - Petruşel A, Rus IA: Fixed point theorems in ordered
*L*-spaces.*Proc. Am. Math. Soc.*2006, 134: 411–418.View ArticleMathSciNetMATHGoogle Scholar - 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 - 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 - 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 - Rus IA: Cyclic representations and fixed points.
*Ann. ’Tiberiu Popoviciu’ Sem. Funct. Equ. Approx. Convexity*2005, 3: 171–178.Google Scholar - 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 - Samet B, Vetro C, Vetro F: Remarks on
*G*-metric spaces.*Int. J. Anal.*2013., 2013: Article ID 917158Google Scholar - Shatanawi W: Fixed point theory for contractive mappings satisfying Φ-maps in
*G*-metric spaces.*Fixed Point Theory Appl.*2010., 2010: Article ID 181650Google Scholar - Shatanawi W: Some fixed point theorems in ordered
*G*-metric spaces and applications.*Abstr. Appl. Anal.*2011., 2011: Article ID 126205Google Scholar - Shatanawi W: Coupled fixed point theorems in generalized metric spaces.
*Hacet. J. Math. Stat.*2011, 40(3):441–447.MathSciNetMATHGoogle Scholar - 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 - 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 - 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 - 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 - Sintunavarat W, Kumam P: Coupled best proximity point theorem in metric spaces.
*Fixed Point Theory Appl.*2012., 2012: Article ID 93Google Scholar - Sintunavarat W, Petruşel A, Kumam P:Common coupled fixed point theorems for ${w}^{\ast}$-compatible mappings without mixed monotone property.
*Rend. Circ. Mat. Palermo*2012, 61: 361–383. 10.1007/s12215-012-0096-0MathSciNetView ArticleMATHGoogle Scholar - 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 - 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

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.