# A common fixed point theorem for two weakly compatible pairs in *G*-metric spaces using the property E.A

- Saurabh Manro
^{1}Email author, - Satwinder Singh Bhatia
^{1}, - Sanjay Kumar
^{2}and - Calogero Vetro
^{3}

**2013**:41

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

© Manro et al.; licensee Springer 2013

**Received: **24 November 2012

**Accepted: **6 February 2013

**Published: **26 February 2013

## Abstract

In view of the fact that the fixed point theory provides an efficient tool in many fields of pure and applied sciences, we use the notion of the property E.A to prove a common fixed point theorem for weakly compatible mappings. The presented results are applied to obtain the solution of an integral equation and the bounded solution of a functional equation arising in dynamic programming.

**MSC:**47H10, 54H25.

## Keywords

*G*-metric spaceproperty E.Aweak compatibility

## 1 Introduction

Inspired by the fact that the metric fixed point theory provides an efficient tool in many fields of pure and applied sciences, many authors investigated the possibility to generalize the notion of a metric space. In this direction, Gahler [1, 2] introduced the notion of a 2-metric space, while Dhage [3] introduced the concept of a *D*-metric space. Later on, Mustafa and Sims [4] showed that most of the results concerning Dhage’s *D*-metric spaces are invalid. Therefore, they introduced a new notion of a generalized metric space, called *G*-metric space. After then, many authors studied fixed and common fixed points in generalized metric spaces; see [4–15].

Here, we give preliminaries and basic definitions which are helpful in the sequel. First, we introduce the concepts of a *G*-metric and a *G*-metric space.

**Definition 1.1** [4]

*X*be a nonempty set and $G:X\times X\times X\to [0,+\mathrm{\infty})$ 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 $z\ne y$;

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

**Definition 1.2** A *G*-metric space $(X,G)$ is said to be symmetric if $G(x,y,y)=G(y,x,x)$ for all $x,y\in X$.

**Example 1.3** Let $X=\{2,3\}$ and $G:X\times X\times X\to [0,+\mathrm{\infty})$ be defined by $G(2,2,2)=G(3,3,3)=0$, $G(2,2,3)=G(2,3,2)=G(3,2,2)=1$, $G(2,3,3)=G(3,2,3)=G(3,3,2)=2$. It is easy to show that the function *G* satisfies all properties of Definition 1.1, but $G(x,x,y)\ne G(x,y,y)$ for all $x,y\in X$ with $x\ne y$. Therefore, *G* is not symmetric.

**Definition 1.4** [4]

Let $(X,G)$ be a *G*-metric space, and let $\{{x}_{n}\}$ be a sequence of points of *X*. A point $x\in X$ is said to be the limit of the sequence $\{{x}_{n}\}$ if ${lim}_{n,m\to +\mathrm{\infty}}G(x,{x}_{n},{x}_{m})=0$, and we say that the sequence $\{{x}_{n}\}$ is *G*-convergent to *x* or $\{{x}_{n}\}$ *G*-converges to *x*.

Thus, ${x}_{n}\to x$ in a *G*-metric space $(X,G)$ if for any $\epsilon >0$, there exists $k\in \mathbb{N}$ such that $G(x,{x}_{n},{x}_{m})<\epsilon $ for all $m,n\ge k$.

**Proposition 1.5** [4]

*Let*$(X,G)$

*be a*

*G*-

*metric space*.

*Then the following are equivalent*:

- (1)
$\{{x}_{n}\}$

*is**G*-*convergent to**x*; - (2)
$G({x}_{n},{x}_{n},x)\to 0$

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

*as*$n\to +\mathrm{\infty}$.

**Definition 1.6** [4]

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

**Proposition 1.7** [4]

*Let*$(X,G)$

*be a*

*G*-

*metric space*.

*Then the following are equivalent*:

- (1)
*the sequence*$\{{x}_{n}\}$*is**G*-*Cauchy*; - (2)
*for every*$\epsilon >0$,*there is*$k\in \mathbb{N}$*such that*$G({x}_{n},{x}_{m},{x}_{m})<\epsilon $*for all*$n,m\ge k$.

**Proposition 1.8** [4]

*Let* $(X,G)$ *be a* *G*-*metric space*. *Then the function* $G(x,y,z)$ *is jointly continuous in all three of its variables*.

**Definition 1.9** [4]

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

**Proposition 1.10** [4]

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

*G*-metric space $(X,G)$ induces a metric ${d}_{G}$ on

*X*given by

Moreover, $(X,G)$ is *G*-complete if and only if $(X,{d}_{G})$ is complete.

It was observed that in the symmetric case ($(X,G)$ is symmetric), many fixed point theorems on *G*-metric spaces are particular cases of the existing fixed point theorems in metric spaces. This allows us to readily transport many results from the metric spaces into the *G*-metric spaces.

On the other hand, by reasoning on the properties of the mappings, the practice of coining weaker forms of commutativity to ensure the existence of a common fixed point for self-mappings on metric spaces is still on. To read more in this direction, we refer to [16] and the references therein. Here, for our further use, we recall only the two fundamental notions of ‘weakly compatible mappings’ and ‘property E.A’; see also [17, 18].

In 1976, Jungck [19] introduced the notion of weakly compatible mappings as follows.

**Definition 1.11** Let *S* and *T* be two self-mappings of a metric space $(X,d)$. Then the pair $(S,T)$ is said to be weakly compatible if they commute at their coincidence points, that is, if $Su=Tu$ for some $u\in X$, then $TSu=STu$.

In 2002, Amari and El Moutawakil [20] introduced a new concept of the property E.A in metric spaces to generalize the concept of noncompatible mappings. Then, they proved some common fixed point theorems.

**Definition 1.12** Let *S* and *T* be two self-mappings of a metric space $(X,d)$. Then the pair $(S,T)$ is said to satisfy the property E.A if there exists a sequence $\{{x}_{n}\}$ in *X* such that ${lim}_{n\to +\mathrm{\infty}}S{x}_{n}={lim}_{n\to +\mathrm{\infty}}T{x}_{n}=t$ for some $t\in X$.

**Example 1.13** Let $X=[0,+\mathrm{\infty})$. Define $S,T:X\to X$ by $Sx=\frac{3}{4}x$ and $Tx=\frac{x}{4}$ for all $x\in X$. Consider the sequence $\{{x}_{n}\}=\{\frac{1}{n}\}$ in *X*. Clearly, ${lim}_{n\to +\mathrm{\infty}}S{x}_{n}={lim}_{n\to +\mathrm{\infty}}T{x}_{n}=0\in X$, and so *S* and *T* satisfy the property E.A.

**Example 1.14** Let $X=[2,+\mathrm{\infty})$. Define $S,T:X\to X$ by $Sx=2x+1$ and $Tx=x+1$ for all $x\in X$. Suppose that the property E.A holds. Then there exists a sequence $\{{x}_{n}\}$ in *X* such that ${lim}_{n\to +\mathrm{\infty}}S{x}_{n}={lim}_{n\to +\mathrm{\infty}}T{x}_{n}=t$ for some $t\in X$. It follows that ${lim}_{n\to +\mathrm{\infty}}{x}_{n}=\frac{t-1}{2}$ and ${lim}_{n\to +\mathrm{\infty}}{x}_{n}=t-1$ and so, by Definition 1.12, $t=1$ but $t\notin X$. Therefore, *S* and *T* do not satisfy the property E.A.

In conclusion of this preliminary section, we consider the following set:

- (1)
*φ*is non-decreasing; - (2)
${lim}_{n\to +\mathrm{\infty}}{\phi}^{n}(r)=0$ for all $r\in [0,+\mathrm{\infty})$.

If $\phi \in \mathrm{\Phi}$, then it is an easy matter to show that $\phi (0)=0$ and $\phi (r)<r$ for all $r\in (0,+\mathrm{\infty})$; see Matkowski [21].

In this paper, by merging the above notions, we prove a common fixed point theorem for two pairs of weakly compatible mappings in a *G*-metric space. The presented results are applied to obtain the solution of an integral equation and the bounded solution of a functional equation arising in dynamic programming.

## 2 Main results

The following is the main result of this section.

**Theorem 2.1**

*Let*$(X,G)$

*be a*

*G*-

*metric space and*$A,B,S,T:X\to X$

*be four self*-

*mappings such that*:

- (i)
$A(X)\subseteq T(X)$

*and*$B(X)\subseteq S(X)$; - (ii)
*one of the pairs*$(A,S)$*and*$(B,T)$*satisfies the property E*.*A*; - (iii)
*for all*$x,y\in X$, $G(Ax,By,By)\le \phi (max\{G(Sx,Ty,Ty),G(Sx,By,By),G(Ty,By,By)\})$,*where*$\phi \in \mathrm{\Phi}$; - (iv)
*one of*$A(X)$, $B(X)$, $S(X)$*and*$T(X)$*is a complete subset of**X*.

*Then the pairs* $(A,S)$ *and* $(B,T)$ *have a coincidence point*. *Further*, *if* $(A,S)$ *and* $(B,T)$ *are weakly compatible*, *then* *A*, *B*, *S* *and* *T* *have a unique common fixed point in* *X*.

*Proof*Suppose the pair $(B,T)$ satisfies the property E.A. Then there exists a sequence $\{{x}_{n}\}$ in

*X*such that ${lim}_{n\to +\mathrm{\infty}}B{x}_{n}={lim}_{n\to +\mathrm{\infty}}T{x}_{n}=t$ for some $t\in X$. Since $B(X)\subseteq S(X)$, there exists a sequence $\{{y}_{n}\}$ in

*X*such that $B{x}_{n}=S{y}_{n}$. Hence ${lim}_{n\to +\mathrm{\infty}}S{y}_{n}=t$. We will show that ${lim}_{n\to +\mathrm{\infty}}A{y}_{n}=t$. From (iii), we have

*X*. Then $t=Su$ for some $u\in X$. Now, we will show that $Au=Su=t$. From (iii), we have

*φ*, we get

*u*is a coincidence point of the pair $(A,S)$. The weak compatibility of

*A*and

*S*implies that $ASu=SAu$ and hence $AAu=ASu=SAu=SSu$. Since $A(X)\subseteq T(X)$, there exists $v\in X$ such that $Au=Tv$. We claim that $Tv=Bv$. Suppose not, from (iii) and using the fact that $\phi (r)<r$, we have

This implies that $Au=Bv$ and hence $Tv=Bv$. It follows that also the pair $(B,T)$ has a coincidence point. Thus, we have $Au=Su=Tv=Bv$.

*B*and

*T*are weakly compatible, then we obtain $BTv=TBv=TTv=BBv$ and show that

*Au*is a common fixed point of

*A*,

*B*,

*S*and

*T*. For $x=Au$ and $y=v$, from (iii) and the property of

*φ*, we get

*A*and

*S*. Similarly, one can prove that

*Bv*is a common fixed point of

*B*and

*T*. Since $Au=Bv$, we deduce that

*Au*is a common fixed point of

*A*,

*B*,

*S*and

*T*. Now, we have only to show that the common fixed point is unique. Suppose to the contrary that

*w*and

*z*, with $w\ne z$, are two common fixed points of

*A*,

*B*,

*S*and

*T*. Then, from (iii) and the property of

*φ*, we have

that is a contradiction and so must be $w=z$. Therefore, *A*, *B*, *S* and *T* have a unique common fixed point. Clearly, proceeding on the foregoing lines, one can obtain the same conclusion in case (instead of $S(X)$) one of $A(X)$, $B(X)$ and $T(X)$ is a complete subset of *X*, and in case (instead of $(B,T)$) $(A,S)$ satisfies the property E.A. □

If we assume $S=T$ in above Theorem 2.1, we deduce the following result involving three self-mappings.

**Corollary 2.2**

*Let*$(X,G)$

*be a*

*G*-

*metric space and*$A,B,S:X\to X$

*be three mappings such that*:

- (i)
$A(X)\subseteq S(X)$

*and*$B(X)\subseteq S(X)$; - (ii)
*one of the pairs*$(A,S)$*and*$(B,S)$*satisfies the property E*.*A*; - (iii)
*for all*$x,y\in X$, $G(Ax,By,By)\le \phi (max\{G(Sx,Sy,Sy),G(Sx,By,By),G(Sy,By,By)\})$,*where*$\phi \in \mathrm{\Phi}$; - (iv)
*one of*$A(X)$, $B(X)$*and*$S(X)$*is a complete subset of**X*.

*Then the pairs* $(A,S)$ *and* $(B,S)$ *have a coincidence point*. *Further*, *if* $(A,S)$ *and* $(B,S)$ *are weakly compatible*, *then* *A*, *B* *and* *S* *have a unique common fixed point in* *X*.

**Example 2.3**Let $X=[0,2]$ and $G:X\times X\times X\to [0,+\mathrm{\infty})$ be defined by $G(x,y,z)=max\{|x-y|,|y-z|,|z-x|\}$ for all $x,y,z\in X$. Define also $A,B,S:X\to X$ by $Ax=1$, $Bx=2-x$ and $Sx=x$ for all $x\in X$ and $\phi :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$ by $\phi (t)=t/2$ for all $t\ge 0$. Clearly, the hypotheses (i) and (iv) of Corollary 2.2 hold trivially. Moreover, the pair $(A,S)$ satisfies the property E.A. Here we show only that the hypothesis (iii) holds. In fact, for all $x,y\in X$, we have $G(Ax,By,By)=G(1,2-y,2-y)=|1-y|$, $G(Sx,Sy,Sy)=G(x,y,y)=|x-y|$, $G(Sx,By,By)=G(x,2-y,2-y)=|2-x-y|$, $G(Sy,By,By)=G(y,2-y,2-y)=2|1-y|$, and consequently,

Then, by Corollary 2.2, the pairs $(A,S)$ and $(B,S)$ have a coincidence point, that is, $u=1$. Moreover, since $(A,S)$ and $(B,S)$ are weakly compatible, then $u=1$ is the unique common fixed point of *A*, *B* and *S* in *X*.

## 3 Applications to integral and functional equations

*G*-metric given by

is a *G*-complete metric space.

We will prove the following theorem.

**Theorem 3.1**

*Suppose there exists*$H:\mathrm{\Omega}\times \mathbb{R}\to [0,+\mathrm{\infty})$

*such that*:

- (i)
$H(s,v(t))\le {\int}_{\mathrm{\Omega}}q(t,s,u(s))\phantom{\rule{0.2em}{0ex}}ds\le p(s,v(t))$

*for all*$s,t\in \mathrm{\Omega}$; - (ii)
$p(s,v(t))-H(s,v(t))\le k|p(s,v(t))-v(t)|$,

*where*$k\in (0,1)$.

*Then integral equation* (3.1) *has a solution in* $C(\mathrm{\Omega})$.

*Proof*Define $(Ax)(t)={\int}_{\mathrm{\Omega}}q(t,s,x(s))\phantom{\rule{0.2em}{0ex}}ds$ and $(Bx)(t)=p(t,x(t))$. Now

Thus, all the hypotheses of Corollary 2.2 are satisfied with $S={I}_{C(\mathrm{\Omega})}$, the identity mapping on Ω, and $\phi (r)=kr$ for all $r\ge 0$ and $k\in (0,1)$. Therefore, there is a unique solution of integral equation (3.1) in $C(\mathrm{\Omega})$. □

Now, we study the existence and uniqueness of the bounded solution of a functional equation using again Corollary 2.2. Here we assume that *U* and *V* are Banach spaces, $W\subseteq U$ is a state space and $D\subseteq V$ is a decision space.

where $\tau :W\times D\to W$, $f:W\times D\to \mathbb{R}$, $K:W\times D\times \mathbb{R}\to \mathbb{R}$.

*W*. Clearly, this space endowed with the

*G*-metric given by

is a *G*-complete metric space.

We will prove the following theorem.

**Theorem 3.2**

*Let*$K:W\times D\times \mathbb{R}\to \mathbb{R}$

*and*$f:W\times D\to \mathbb{R}$

*be two bounded functions and let*$A:B(W)\to B(W)$

*be defined by*

*for all*$h\in B(W)$

*and*$x\in W$.

*Assume that the following condition holds*:

*where* $x\in W$, $y\in D$ *and* $\phi \in \mathrm{\Phi}$. *Then functional equation* (3.2) *has a unique bounded solution*.

*Proof*Note that $(B(W),G)$ is a complete

*G*-metric space. Let

*ε*be an arbitrary positive number, $x\in W$ and ${h}_{1},{h}_{2}\in B(W)$, then there exist ${y}_{1},{y}_{2}\in D$ such that

Thus, all the hypotheses of Corollary 2.2 are satisfied with $A=B$ and $S={I}_{B(W)}$, the identity mapping on $B(W)$. Therefore, functional equation (3.2) has a unique bounded solution. □

## Declarations

### Acknowledgements

The authors thank the editor and the referees for their useful comments and suggestions.

## Authors’ Affiliations

## References

- Gahler S: 2-metrische Raume and ihre topologische struktur.
*Math. Nachr.*1963, 26: 115–148. 10.1002/mana.19630260109MathSciNetView ArticleGoogle Scholar - Gahler S: Zur geometric 2-metriche Raume.
*Rev. Roum. Math. Pures Appl.*1966, 11: 665–667.MathSciNetGoogle Scholar - Dhage BC: Generalized metric space and mapping with fixed point.
*Bull. Calcutta Math. Soc.*1992, 84: 329–336.MathSciNetGoogle Scholar - Mustafa Z, Sims B: A new approach to generalized metric spaces.
*J. Nonlinear Convex Anal.*2006, 7: 289–297.MathSciNetGoogle Scholar - Abbas M, Khan AR, Nazir T: Coupled common fixed point results in two generalized metric spaces.
*Appl. Math. Comput.*2011, 217: 6328–6336. 10.1016/j.amc.2011.01.006MathSciNetView ArticleGoogle Scholar - Abbas M, Rhoades BE: Common fixed point results for noncommuting mapping without continuity in generalized metric spaces.
*Appl. Math. Comput.*2009, 215: 262–269. 10.1016/j.amc.2009.04.085MathSciNetView ArticleGoogle Scholar - Abbas M, Nazir T, Vetro P: Common fixed point results for three maps in
*G*-metric spaces.*Filomat*2011, 25: 1–17.MathSciNetView ArticleGoogle Scholar - Aydi H, Shatanawi W, Vetro C: On generalized weakly
*G*-contraction mapping in*G*-metric spaces.*Comput. Math. Appl.*2011, 62: 4222–4229. 10.1016/j.camwa.2011.10.007MathSciNetView ArticleGoogle Scholar - Di Bari C, Vetro P: Common fixed points in generalized metric spaces.
*Appl. Math. Comput.*2012, 218: 7322–7325. 10.1016/j.amc.2012.01.010MathSciNetView ArticleGoogle Scholar - Manro S, Bhatia SS, Kumar S: Expansion mapping theorems in
*G*-metric spaces.*Int. J. Contemp. Math. Sci.*2010, 5: 2529–2535.MathSciNetGoogle Scholar - Mustafa, Z, Sims, B: Some remarks concerning
*D*-metric spaces. In: Proc. Int. Conf. on Fixed Point Theory and Applications, Valencia, Spain, July 2003, pp. 189-198 (2003)Google 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 - Mustafa Z, Obiedat H, Awawdeh F: Some common fixed point theorem for mapping on complete
*G*-metric spaces.*Fixed Point Theory Appl.*2008., 2008: Article ID 189870Google Scholar - Saadati R, Vaezpour SM, Vetro P, Rhoades BE: Fixed point theorems in generalized partially ordered
*G*-metric spaces.*Math. Comput. Model.*2010, 52: 797–801. 10.1016/j.mcm.2010.05.009MathSciNetView ArticleGoogle Scholar - Shatanawi W: Fixed point theory for contractive mappings satisfying Φ-maps in
*G*-metric spaces.*Fixed Point Theory Appl.*2010., 2010: Article ID 181650. doi:10.1155/2010/181650Google Scholar - Di Bari C, Vetro C: Common fixed point theorems for weakly compatible maps satisfying a general contractive condition.
*Int. J. Math. Math. Sci.*2008., 2008: Article ID 891375Google Scholar - Gopal D, Imdad M, Vetro C: Common fixed point theorems for mappings satisfying common property (E.A.) in symmetric spaces.
*Filomat*2011, 25: 59–78. 10.2298/FIL1102059GMathSciNetView ArticleGoogle Scholar - Gopal D, Imdad M, Vetro C: Impact of common property (E.A.) on fixed point theorems in fuzzy metric spaces.
*Fixed Point Theory Appl.*2011., 2011: Article ID 297360Google Scholar - Jungck G: Commuting mappings and fixed points.
*Am. Math. Mon.*1976, 16: 261–263.MathSciNetView ArticleGoogle Scholar - Aamri M, El Moutawakil D: Some new common fixed point theorems under strict contractive conditions.
*J. Math. Anal. Appl.*2002, 270: 181–188. 10.1016/S0022-247X(02)00059-8MathSciNetView ArticleGoogle Scholar - Matkowski J: Fixed point theorems for mappings with a contractive iterate at a point.
*Proc. Am. Math. Soc.*1977, 62: 344–348. 10.1090/S0002-9939-1977-0436113-5MathSciNetView ArticleGoogle Scholar - Baskaran R, Subrahmanyam PV: A note on the solution of a class of functional equations.
*Appl. Anal.*1986, 22: 235–241. 10.1080/00036818608839621MathSciNetView ArticleGoogle Scholar - Bellman R Mathematics in Science and Engineering 61. In
*Methods of Nonliner Analysis. Vol. II*. Academic Press, New York; 1973.Google Scholar - Bellman R, Lee ES: Functional equations in dynamic programming.
*Aequ. Math.*1978, 17: 1–18. 10.1007/BF01818535MathSciNetView ArticleGoogle 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.