 Research
 Open access
 Published:
A common fixed point theorem for two weakly compatible pairs in Gmetric spaces using the property E.A
Fixed Point Theory and Applications volume 2013, Article number: 41 (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.
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 2metric space, while Dhage [3] introduced the concept of a Dmetric space. Later on, Mustafa and Sims [4] showed that most of the results concerning Dhage’s Dmetric spaces are invalid. Therefore, they introduced a new notion of a generalized metric space, called Gmetric 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 Gmetric and a Gmetric space.
Definition 1.1 [4]
Let 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 Gmetric on X, and the pair (X,G) is called a Gmetric space.
Definition 1.2 A Gmetric 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 Gmetric 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 Gconvergent to x or \{{x}_{n}\} Gconverges to x.
Thus, {x}_{n}\to x in a Gmetric 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 Gmetric space. Then the following are equivalent:

(1)
\{{x}_{n}\} is Gconvergent 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 Gmetric space. A sequence \{{x}_{n}\} is called GCauchy 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 Gmetric space. Then the following are equivalent:

(1)
the sequence \{{x}_{n}\} is GCauchy;

(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 Gmetric space. Then the function G(x,y,z) is jointly continuous in all three of its variables.
Definition 1.9 [4]
A Gmetric space (X,G) is called Gcomplete if every GCauchy sequence in (X,G) is Gconvergent in (X,G).
Proposition 1.10 [4]
Let (X,G) be a Gmetric 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).
An interesting observation is that any Gmetric space (X,G) induces a metric {d}_{G} on X given by
Moreover, (X,G) is Gcomplete 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 Gmetric 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 Gmetric 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 selfmappings 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 selfmappings 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 selfmappings 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{t1}{2} and {lim}_{n\to +\mathrm{\infty}}{x}_{n}=t1 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:
Let Φ denote the set of all the functions \phi :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty}) such that:

(1)
φ is nondecreasing;

(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 Gmetric 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 Gmetric space and A,B,S,T:X\to X be four selfmappings 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
Taking the limit as n\to +\mathrm{\infty} (upper limit) and using the fact that \phi (r) is continuous at r=0, we get
and so {lim}_{n\to +\mathrm{\infty}}A{y}_{n}=t. Thus, we have {lim}_{n\to +\mathrm{\infty}}A{y}_{n}={lim}_{n\to +\mathrm{\infty}}B{x}_{n}={lim}_{n\to +\mathrm{\infty}}S{y}_{n}={lim}_{n\to +\mathrm{\infty}}T{x}_{n}=t. Suppose that S(X) is a complete subset of X. Then t=Su for some u\in X. Now, we will show that Au=Su=t. From (iii), we have
Taking the limit as n\to +\mathrm{\infty}, by the property of φ, we get
which implies Au=Su. Therefore, 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.
Now, if 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
which implies Au=AAu=Bv. Therefore, Au=AAu=SAu is a common fixed point of 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 selfmappings.
Corollary 2.2 Let (X,G) be a Gmetric 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\{xy,yz,zx\} for all x,y,z\in X. Define also A,B,S:X\to X by Ax=1, Bx=2x 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,2y,2y)=1y, G(Sx,Sy,Sy)=G(x,y,y)=xy, G(Sx,By,By)=G(x,2y,2y)=2xy, G(Sy,By,By)=G(y,2y,2y)=21y, 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
In this section we illustrate two useful applications of our presented results. Firstly, we show how it is possible to obtain the solution of an integral equation by applying Corollary 2.2. Let \mathrm{\Omega}=[0,1] and C(\mathrm{\Omega}) be the space of all the real continuous functions defined on Ω. Obviously, this space endowed with the Gmetric given by
is a Gcomplete metric space.
Let p:\mathrm{\Omega}\times \mathbb{R}\to \mathbb{R} and q:\mathrm{\Omega}\times \mathrm{\Omega}\times \mathbb{R}\to \mathbb{R} be two continuous functions. Consider an integral equation of the following type:
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 kp(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.
It is well known that the dynamic programming provides useful tools for mathematical optimization and computer programming as well; see [22–24]. In particular, the problem of dynamic programming related to a multistage process reduces to the problem of solving the functional equation
where \tau :W\times D\to W, f:W\times D\to \mathbb{R}, K:W\times D\times \mathbb{R}\to \mathbb{R}.
Let B(W) denote the space of all bounded realvalued functions on W. Clearly, this space endowed with the Gmetric given by
is a Gcomplete 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 Gmetric 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
Then from (3.4) and (3.7), it follows easily that
Hence we get
Similarly, from (3.5) and (3.6), we obtain
Therefore, from (3.8) and (3.9), we have
which implies
Since the above inequality is true for any x\in W and \epsilon >0 is taken arbitrary, then we conclude immediately 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. □
References
Gahler S: 2metrische Raume and ihre topologische struktur. Math. Nachr. 1963, 26: 115–148. 10.1002/mana.19630260109
Gahler S: Zur geometric 2metriche Raume. Rev. Roum. Math. Pures Appl. 1966, 11: 665–667.
Dhage BC: Generalized metric space and mapping with fixed point. Bull. Calcutta Math. Soc. 1992, 84: 329–336.
Mustafa Z, Sims B: A new approach to generalized metric spaces. J. Nonlinear Convex Anal. 2006, 7: 289–297.
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.006
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.085
Abbas M, Nazir T, Vetro P: Common fixed point results for three maps in G metric spaces. Filomat 2011, 25: 1–17.
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.007
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.010
Manro S, Bhatia SS, Kumar S: Expansion mapping theorems in G metric spaces. Int. J. Contemp. Math. Sci. 2010, 5: 2529–2535.
Mustafa, Z, Sims, B: Some remarks concerning Dmetric spaces. In: Proc. Int. Conf. on Fixed Point Theory and Applications, Valencia, Spain, July 2003, pp. 189198 (2003)
Mustafa Z, Shatanawi W, Bataineh M: Existence of fixed point results in G metric spaces. Int. J. Math. Math. Sci. 2009., 2009: Article ID 283028
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 189870
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.009
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/181650
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 891375
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/FIL1102059G
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 297360
Jungck G: Commuting mappings and fixed points. Am. Math. Mon. 1976, 16: 261–263.
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/S0022247X(02)000598
Matkowski J: Fixed point theorems for mappings with a contractive iterate at a point. Proc. Am. Math. Soc. 1977, 62: 344–348. 10.1090/S00029939197704361135
Baskaran R, Subrahmanyam PV: A note on the solution of a class of functional equations. Appl. Anal. 1986, 22: 235–241. 10.1080/00036818608839621
Bellman R Mathematics in Science and Engineering 61. In Methods of Nonliner Analysis. Vol. II. Academic Press, New York; 1973.
Bellman R, Lee ES: Functional equations in dynamic programming. Aequ. Math. 1978, 17: 1–18. 10.1007/BF01818535
Acknowledgements
The authors thank the editor and the referees for their useful comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly to writing this manuscript. All authors read and approved the manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Manro, S., Bhatia, S.S., Kumar, S. et al. A common fixed point theorem for two weakly compatible pairs in Gmetric spaces using the property E.A. Fixed Point Theory Appl 2013, 41 (2013). https://doi.org/10.1186/16871812201341
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/16871812201341