Abstract
In this paper, we prove that coupled and tripled coincidence point theorems under \((F, g)\)-invariant sets for weakly contractive mappings defined on a \(G\)-metric space are immediate consequences of corresponding results via rectangular \(G\)-\(\alpha \)-admissible mappings. This idea can also be applied to obtain coupled and tripled fixed point theorems in other spaces under various contractive conditions which reduces the proof considerably.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction and mathematical preliminaries
The concept of generalized metric space, or a \(G\)-metric space, was introduced by Mustafa and Sims.
Definition 1.1
(\(G\)-Metric Space, [14]) Let \(X\) be a nonempty set and \(G\!\!: X \times X \times X \rightarrow \mathbb {R}^+\) be a function satisfying the following properties:
-
(G1)
\(G(x, y, z) = 0\) iff \(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) = \ldots \), (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 \(G\)-metric on \(X\) and the pair \((X, G)\) is called a \(G\)-metric space.
Recently, Aghajani et al. [1] motivated by the concept of \(b\)-metric [27] introduced the concept of generalized \(b\)-metric spaces (\(G_{b}\)-metric spaces) and then they presented some basic properties of \(G_{b}\)-metric spaces.
The following is their definition of \(G_{b}\)-metric spaces.
Definition 1.2
[1] Let \(X\) be a nonempty set and \(s\ge 1\) be a given real number. Suppose that a mapping \(G\!\!:X\times X\times X\rightarrow \mathbb {R} ^{+}\) satisfies:
-
(G \(_{b}\)1) \(G(x,y,z)=0\) if \(x=y=z,\)
-
(G \(_{b}\)2) \(0<G(x,x,y)\) for all \(x,y\in X\) with \(x\ne y,\)
-
(G \(_{b}\)3) \(G(x,x,y)\le G(x,y,z)\) for all \(x,y,z\in X\) with \(y\ne z, \)
-
(G \(_{b}\)4) \(G(x,y,z)=G(p\{x,y,z\}),\) where \(p\) is a permutation of \( x,y,z\) (symmetry)\(,\)
-
(G \(_{b}\)5) \(G(x,y,z)\le s[G(x,a,a)+G(a,y,z)]\) for all \(x,y,z,a\in X\) (rectangle inequality).
Then, \(G\) is called a generalized \(b\)-metric and the pair \((X,G)\) is called a generalized \(b\)-metric space or a \(G_{b}\)-metric space.
Each \(G\)-metric space is a \(G_{b}\)-metric space with \(s=1\).
Example 1.3
[1] Let \((X,G)\) be a \(G\)-metric space and \( G_{*}(x,y,z)=G(x,y,z)^{p},\) where \(p>1\) is a real number. Then, \(G_{*}\) is a \(G_{b}\)-metric with \(s=2^{p-1}.\)
Example 1.4
[13] Let \(X= \mathbb {R} \) and \(d(x,y)=\left| x-y\right| ^{2}.\) We know that \(\left( X,d\right) \) is a \(b\)-metric space with \(s=2.\) Let \( G(x,y,z)=d(x,y)+d(y,z)+d(z,x),\) it is easy to see that \((X,G)\) is not a \(G_{b}\)-metric space. Indeed, (\(G_{b}3)\) is not true for \(x=0\), \(y=2\) and \(z=1.\) However, \(G(x,y,z)=\max \{d(x,y),d(y,z),d(z,x)\}\) is a G\(_{b}\)-metric on \( \mathbb {R} \) with \(s=2\).
Proposition 1.5
[1] Let \(X\) be a \(G_{b}\)-metric space. Then, for each \( x,y,z,a\in X\), it follows that:
-
1.
if \(G(x,y,z)=0\) then \(x=y=z,\)
-
2.
\(G(x,y,z)\le s(G(x,x,y)+G(x,x,z)),\)
-
3.
\(G(x,y,y)\le 2sG(y,x,x),\)
-
4.
\(G(x,y,z)\le s(G(x,a,z)+G(a,y,z)).\)
Definition 1.6
[1] Let \(X\) be a \(G_{b}\)-metric space. A sequence \(\{x_{n}\}\) in \(X\) is said to be:
-
1.
\(G_{b}\)-Cauchy if, for each \(\varepsilon >0\) there exists a positive integer \(n_{0}\) such that for all \(m,n,l\ge n_{0},G(x_{n},x_{m},x_{l})<\varepsilon ;\)
-
2.
\(G_{b}\)-convergent to a point \(x\in X\) if, for each \(\varepsilon >0\) there exists a positive integer \(n_{0}\) such that for all \(m,n\ge n_{0},G(x_{n},x_{m},x)<\varepsilon .\)
Definition 1.7
[1] A \(G_{b}\)-metric space \(X\) is called \(G_{b}\)-complete, if every \(G_{b}\)-Cauchy sequence is \(G_{b}\) -convergent in \(X.\)
Proposition 1.8
Let \((X,G)\) and \((X^{\prime },G^{\prime })\) be two \(G_{b}\)-metric spaces. Then, a function \(f\!\!:X\rightarrow X^{\prime }\) is \(G_{b}\)-continuous at a point \(x\in X\) if and only if it is \(G_{b}\)-sequentially continuous at \(x\), that is, whenever \(\{x_{n}\}\) is \(G_{\text {b }}\)-convergent to \(x\), \(\{f(x_{n})\}\) is \(G_{b}^{\prime }\)-convergent to \( f(x)\).
Proposition 1.9
Let \((X,G)\) be a \(G_{b}\)-metric space. A mapping \(F\!\!:X\times X\rightarrow X\) is said to be continuous if for any two \(G_{b}\)-convergent sequences \(\{x_{n}\}\) and \(\{y_{n}\}\) converging to \(x\) and \(y\), respectively, \(\{F(x_{n},y_{n})\}\) is \(G_{b}\)-convergent to \(F(x,y)\).
Existence of fixed points, coupled fixed points and tripled fixed points for contractive type mappings in partially ordered metric spaces has been considered recently by several authors (see, [2, 3, 5–8, 11, 17, 18, 20, 22, 24–26, 40–44]).
Lakshmikantham and Ćirić [11] introduced the notions of mixed \(g\)-monotone mapping and coupled coincidence point and proved some coupled coincidence point and common coupled fixed point theorems in partially ordered complete metric spaces.
Definition 1.10
[11] Let \((X,\preceq )\) be a partially ordered set and let \( F\!\!:X\times X\rightarrow X\) and \(g\!\!:X\rightarrow X\) be two mappings. \(F\) has the mixed \(g\)-monotone property, if \(F\) is monotone \(g\)-nondecreasing in its first argument and is monotone \(g\)-nonincreasing in its second argument, that is, for all \(x_{1},x_{2}\in X\), \(gx_{1}\preceq gx_{2}\) implies \(F(x_{1},y)\preceq F(x_{2},y)\) for any \(y\in X\) and for all \( y_{1},y_{2}\in X \), \(gy_{1}\preceq gy_{2}\) implies \(F(x,y_{1})\succeq F(x,y_{2})\) for any \(x\in X\).
Definition 1.11
[3, 11] An element \((x,y)\in X\times X\) is called
-
1.
a coupled fixed point of mapping \(F\!\!:X\times X\rightarrow X\) if \(x=F(x,y)\) and \(y=F(y,x)\).
-
2.
a coupled coincidence point of mappings \(F\!\!: X \times X\rightarrow X\) and \(g\!\!: X\rightarrow X \) if \(g(x) = F(x,y)\) and \(g(y) = F(y,x)\).
-
3.
a common coupled fixed point of mappings \(F\!\!: X \times X\rightarrow X\) and \(g\!\!: X\rightarrow X \) if \(x = g(x) = F(x,y)\) and \(y = g(y) = F(y,x)\).
Choudhury and maity [6] have established some coupled fixed point results for mappings with mixed monotone property in partially ordered \(G\)-metric spaces. They obtained the following results.
Theorem 1.12
([6], Theorem 3.1) Let \((X,\preceq )\) be a partially ordered set and \(G\) be a \(G\)-metric on \(X\) such that \((X, G)\) is a complete \(G\)-metric space. Let \(F\!\!: X\times X \rightarrow X\) be a continuous mapping having the mixed monotone property on \(X\). Assume that there exists \(k \in [0, 1)\) such that
for all \(x\preceq u\preceq w\) and \(y\succeq v\succeq z\), where either \(u \ne w\) or \(v \ne z\).
If there exist \(x_0, y_0 \in X\) such that \(x_0\preceq F (x_0,y_0)\) and \(y_0 \succeq F (y_0, x_0)\), then, \(F\) has a coupled fixed point in \(X\), that is, there exist \(x, y \in X\) such that \(x = F (x, y)\) and \(y = F (y, x)\).
Theorem 1.13
([6], Theorem 3.2) If in the above theorem, in place of the continuity of \(F\), we assume the following conditions, namely,
-
(i)
if a nondecreasing sequence \(\{x_n\} \rightarrow x\), then \(x_n \preceq x\) for all \(n\), and
-
(ii)
if a nonincreasing sequence \(\{y_n\} \rightarrow y\), then \(y_n \succeq y \) for all \(n\), then, \(F\) has a coupled fixed point.
Definition 1.14
[4] Let \((X, \preceq )\) be a partially ordered set and \(G\) be a \(G\)-metric on \(X\). We say that \((X, G, \preceq )\) is regular if the following conditions hold:
-
(i)
If \(\{x_n\}\) is a nondecreasing sequence with \(x_n\rightarrow x \), then \( x_n \preceq x\) for all \(n\in \mathbb {N} .\)
-
(ii)
If \(\{x_n\}\) is a nonincreasing sequence with \(x_n\rightarrow x \), then \(x_n \succeq x\) for all \(n\in \mathbb {N} .\)
Definition 1.15
[6] Let \(\left( X,G\right) \) be a generalized \(b\)-metric space. Mappings \(f: X^2\rightarrow X\) and \(g:X\rightarrow X\) are called compatible if
and
hold whenever \(\left\{ x_n\right\} \) and \(\left\{ y_n\right\} \) are sequences in \(X\) such that \( \lim \nolimits _{n\rightarrow \infty }f\left( x_n,y_n\right) =\lim \nolimits _{n\rightarrow \infty }gx_n\) and \( \lim \nolimits _{n\rightarrow \infty }f\left( y_n,x_n\right) =\lim \nolimits _{n\rightarrow \infty }gy_n. \)
On the other hand, Berinde and Borcut [24] introduced the concept of tripled fixed point and obtained some tripled fixed point theorems for contractive type mappings in partially ordered metric spaces. For a survey of tripled fixed point theorems and related topics, we refer the reader to [24–26].
Definition 1.16
([24, 25]) Let \((X,\preceq )\) be a partially ordered set, \(f : X^3 \rightarrow X\) and \(g:X\rightarrow X\). An element \((x, y, z) \in X^3\) is called
-
1.
a tripled fixed point of \(f\) if \(f (x, y, z) = x\), \(f (y, x, y) = y\), and \(f (z, y, x) = z\).
-
2.
a tripled coincidence point of the mappings \(f\) and \(g\) if \(f(x, y, z) =gx\), \(f(y, x, y) = gy\) and \(f(z, y, x) = gz\).
-
3.
a tripled common fixed point of \(f\) and \(g\) if \(x = g(x) = f(x,y,z)\), \(y = g(y) = f(y,x,y)\) and \(z = g(z) = f(z,y,x)\).
-
4.
We say that \(f\) has the mixed \(g\)-monotone property if \(f(x,y, z)\) is \( g\)-nondecreasing in \(x\), \(g\)-nonincreasing in \(y\) and \(g\)-nondecreasing in \( z \), that is, if for any \(x, y, z \in \mathcal {X}\),
$$\begin{aligned} x_1, x_2 \in X, gx_1 \preceq gx_2\Rightarrow & {} f (x_1, y,z)\preceq f (x_2 ,y,z), \\ y_1, y_2 \in X, gy_1 \preceq gy_2\Rightarrow & {} f (x, y_1,z)\succeq f (x, y_2,z) \end{aligned}$$and
$$\begin{aligned} z_1, z_2 \in X, gz_1 \preceq gz_2\Rightarrow f(x, y,z_1)\preceq f (x ,y,z_2). \end{aligned}$$
Definition 1.17
Let \(\left( X,G\right) \) be a generalized \(b\)-metric space. Mappings \(f: X^3\rightarrow X\) and \(g:X\rightarrow X\) are called compatible if
and
hold whenever \(\left\{ x_n\right\} ,\left\{ y_n\right\} \) and \(\left\{ z_n\right\} \) are sequences in \(X\) such that \( \lim \nolimits _{n\rightarrow \infty }f\left( x_n,y_n,z_n\right) =\lim \nolimits _{n\rightarrow \infty }gx_n\), \( \lim \nolimits _{n\rightarrow \infty }f\left( y_n,x_n,y_n\right) =\lim \nolimits _{n\rightarrow \infty }gy_n \) and \( \lim \nolimits _{n\rightarrow \infty }f\left( z_n,y_n,x_n\right) =\lim \nolimits _{n\rightarrow \infty }gz_n.\)
let \(\psi : [0,+\infty ) \rightarrow [0,+\infty )\) satisfies:
-
(i)
\(\psi \) is continuous and nondecreasing,
-
(ii)
\(\psi (t)=0\) if and only if t = 0.
That is, \(\psi \) is an altering distance function.
Batra and Vashistha [36] introduced the concept of an \((F, g)\)-invariant set which is a generalization of the \(F\)-invariant set introduced by Samet and Vetro [37].
Definition 1.18
[36] Let \((X, d)\) be a metric space and let \(F : X\times X\rightarrow X\) and \(g : X\rightarrow X\) be given mappings. Let \(M\) be a nonempty subset of \(X^4\). We say that \(M\) is an (\(F, g\))-invariant subset of \(X^4\) if and only if, for all \(x, y, z,w \in X\),
-
(i)
\((x, y, z,w) \in M \text{ iff } (w, z, y, x) \in M\);
-
(ii)
\((g(x), g(y), g(z), g(w)) \in M \text{ implies } \text{ that } (F(x, y), F(y, x), F(z,w), F(w, z)) \in M\).
Definition 1.19
[35] Let (\(X, G\)) be a \(G\)-metric space and let \(F : X\times X\rightarrow X\) be a given mapping. Let \(M\) be a nonempty subset of \(X^6\). We say that \(M\) is an \(F^*\)-invariant subset of \(X^6\) if and only if, for all \(x, y, z,u, v,w \in X\),
-
1.
\((x,y,z, u,v,w) \in M \text{ iff } (w, v, u, z,y, x) \in M\);
-
2.
\((x,y,z, u,v,w) \in M \text{ implies } \text{ that } (F(x,y), F(y, x), F(z, u), F(u, z), F(v,w), F(w, v)) \in M.\)
Definition 1.20
[35] Let (\(X,G\)) be a \(G\)-metric space and let \(F : X \times X \rightarrow X\) and \(g : X \rightarrow X\) are given mappings. Let M be a nonempty subset of \(X^6\). We say that M is an \((F^*, g)\)-invariant subset of \(X^6\) if and only if, for all \(x, y, z,u, v,w\in X\),
-
1.
\((x,y,z, u,v,w) \in M \text{ iff } (w, v, u, z,y, x) \in M\);
-
2.
$$\begin{aligned} (gx,gy,gz, gu,gv,gw) \in M \text{ implies } \text{ that } (F(x,y), F(y, x), F(z, u), F(u, z), F(v,w), F(w, v)) \in M. \end{aligned}$$
Definition 1.21
(corrected from [35]) Let (\(X,G\)) be a \(G\)-metric space and let \(M\) be a subset of \(X^6\). We say that \(M\) satisfies the transitive property if and only if, for all \(x, y,z, u,v,w, a, b\in X\),
Samet et al. [29] defined the notion of \(\alpha \)-admissible mapping as follows.
Definition 1.22
Let \(T\) be a self-mapping on \(X\) and let \(\alpha : X \times X \rightarrow [0,+\infty )\) be a function. We say that \(T\) is an \(\alpha \)-admissible mapping if
Definition 1.23
[30] Let \((X,G)\) be a \(G\)-metric space, \(T\) be a self-mapping on \(X\) and \(\alpha : X^3 \rightarrow [0,+\infty )\) be a function. We say that \(T\) is an \(G\)-\(\alpha \)-admissible mapping if
Following the recent work in [31], Hussain et al. [23] presented the following definition in the setting of \(G\)-metric spaces.
Definition 1.24
[23] Let \((X,G)\) be a \(G\)-metric space, \(f,g:X\rightarrow \ X\) and \(\alpha : X ^3 \rightarrow [0,+\infty )\). We say that \(f\) is a rectangular \(G\)-\(\alpha \)-admissible mapping with respect to \(g\) if
-
(R1)
\(\alpha (gx,gy,gz)\ge 1 \quad {\text{implies}} \quad \alpha (fx,fy,fz)\ge 1, \quad x, y ,z\in X,\)
-
(R2)
\(\left\{ \begin{array}{ll} \alpha (gx,gy,gy)\ge 1 &{} \\ \alpha (gy,gz,gw)\ge 1 &{} \end{array} \right. {\text{implies}}\quad \alpha (gx,gz,gw)\ge 1,\quad x,y,z,w\in X.\)
Definition 1.25
Let \((X,G)\) be a \(G\)-metric space, \(F:X\times X\rightarrow \ X\), \(g:X\rightarrow \ X\) and \(\alpha : (X^2) ^3 \rightarrow [0,+\infty )\). We say that \(F\) is a rectangular \(G\)-\(\alpha \)-admissible mapping with respect to \(g\) if
-
(R1)
$$\begin{aligned} & \alpha ((gx,gy),(gu,gv),(ga,gb))\ge 1 \quad \text { implies }\\ & \alpha ((F(x,y),F(y,x)),(F(u,v),F(v,u)),(F(a,b),F(b,a)))\ge 1, \end{aligned}$$(1.2)
where \(x, y,u,v,a,b \in X\),
-
(R2)
$$\begin{aligned} & \alpha\, ((gx,gy),(gu,gv),(gu,gv))\ge 1,\quad {\text{and}}\\ &\alpha ((gu,gv),(ga,gb),(gc,gd))\ge 1 \quad {\text{implies that}}\\ & \alpha ((gx,gy),(ga,gb),(gc,gd))\ge 1, \end{aligned}$$(1.3)
where \( x,y,u,v,a,b,c,d\in X.\)
Definition 1.26
Let \((X,G)\) be a \(G\)-metric space, \(F:X\times X\times X\rightarrow \ X\), \(g:X\rightarrow \ X\) and \(\alpha : (X^3) ^3 \rightarrow [0,+\infty )\). We say that \(F\) is a rectangular \(G\)-\(\alpha \)-admissible mapping with respect to \(g\) if
-
(R1)
$$\begin{aligned} & \alpha ((gx,gy,gz),(gu,gv,gw),(ga,gb,gc))\ge 1\,\, {\text{implies}}\\ & \alpha ((F(x,y,z),F(y,x,y),F(z,y,x)),(F(u,v,w),F(v,u,v),F(w,v,u)),\\ & (F(a,b,c),F(b,a,b),F(c,b,a)))\ge 1,\end{aligned}$$(1.4)
where \(x, y,z,u,v,w,a,b,c \in X\),
-
(R2)
$$\begin{aligned} &\alpha ((gx,gy,gz),(gu,gv,gw),(gu,gv,gw))\ge 1 \,\,{\text{and}}\\ & \alpha ((gu,gv,gw),(ga,gb,gc),(gd,ge,gf))\ge 1 \,\,{\text{implies}}\\ & \alpha ((gx,gy,gz),(ga,gb,gc),(gd,ge,gf))\ge 1, \end{aligned}$$(1.5)
where \( x,y,z,u,v,w,a,b,c,d,e,f\in X.\)
Using the following coincidence point result, Hussain et al. obtained some interesting coupled and tripled coincidence point results which we use them in obtaining the main results here.
Theorem 1.27
[23] Let \((X,G)\) be a generalized \({b}\)-metric space and let \(f,g:X\rightarrow X\) satisfy the following condition:
for all \(x,y,z\in X\), where \(\psi ,\varphi :[0,\infty )\rightarrow [0,\infty )\) are two altering distance mappings, \(\alpha : X ^3 \rightarrow [0,+\infty )\) and \(f\) is a rectangular \(G\)-\(\alpha \)-admissible mapping w.r.t. \(g\). Then, \(f\) and \(g\) have a coincidence point if,
-
(i)
\(f(X) \subseteq g(X)\);
-
(ii)
there exists \(x_0 \in X\) such that \(\alpha (gx_0, fx_0, fx_0)\ge 1\);
-
(iii)
f and g are continuous and compatible and \((X, G)\) is complete, or.
-
(iii)′
one of f(X) or g(X) is complete and whenever \(\{x_n\}\) in \(X\) be a sequence such that \(\alpha (x_n,x_{n+1},x_{n+1})\ge 1\) for all \(n\in \mathbb {N} \cup \{0\}\) and \(x_n\rightarrow x\) as \(n\rightarrow +\infty \), we have \(\alpha (x_n, x, x)\ge 1\) for all \(n\in \mathbb {N}\cup \{0\}\)
Lemma 1.28
[23] Let \((X,G)\) be a generalized \(b\)-metric space (with the parameter \(s\)).
-
(a)
If a mapping \(\Omega ^m_2:X^2\times X^2\times X^2\rightarrow \mathbb {R}^+\) is given by
$$\begin{aligned} \Omega ^m_2(X,U,A)=\max \{G(x,u,a),G(y,v,b)\},\quad X=(x,y),\,\,U=(u,v) \; \text{and} \; A=(a,b)\in X^2, \end{aligned}$$then \((X^2,\Omega ^m_2)\) is a generalized \(b\)-metric space (with the same parameter \(s\)). The space \((X^2,\Omega ^m_2)\) is \(G_b\)-complete iff \(( X,G)\) is \(G_b\)-complete.
Let \((X,G)\) be a generalized \(b\)-metric space, \(F: X ^2 \rightarrow X \) and \(g : X \rightarrow X\). In the rest of this paper unless otherwise stated, for all \(x,y,u,v,z,w \in X\), let
and
Theorem 1.29
[23] Let \((X,G)\) be a generalized \(b\)-metric space with the parameter \(s\) and let \(F: X^2 \rightarrow X\) and \(g : X \rightarrow X\). Assume that
for all \(x,y,u,v,z,w\in X\), where \( \psi ,\varphi :[0,\infty )\rightarrow [0,\infty )\) are altering distance functions, \(\alpha :(X^2)^3\rightarrow [0,\infty )\) and \(F\) is a rectangular \(G\)-\(\alpha \)-admissible mapping with respect to \(g\). Assume also that
-
1.
\(F( X^2)\subseteq g(X)\);
-
2.
there exist \(x_0, y_0\in X\) such that
and
Also, suppose that either
-
(a)
\(F\) and \(g\) are continuous, the pair \((F,g)\) is compatible and \((X,G)\) is \(G_b\)-complete, or
-
(b)
\((g(X),G)\) is \(G_b\)-complete and assume that whenever \(\{x_n\}\) and \(\{y_n\}\) in \(X\) be sequences such that
and
for all \(n\in \mathbb {N} \cup \{0\}\) and \(x_n\rightarrow x\), \(y_n\rightarrow y\) as \(n\rightarrow +\infty \), we have
and
for all \(n\in \mathbb {N}\cup \{0\}\). Then, \(F\) and \(g\) have a coupled coincidence point in \(X\).
Theorem 1.30
[23] In addition to the hypotheses of Theorem 1.29, suppose that for all \((x,y)\) and \((x^*,y^*) \in X^2\), there exists \((u,v) \in X^2\), such that \(\alpha ((gx,gy),(gu,gv),(gu,gv))\ge 1\) and \(\alpha ( (gx^*,gy^*),(gu,gv),(gu,gv))\ge 1.\) Then, \(F\) and \(g\) have a unique common coupled fixed point of the form \((a,a)\).
Let \(\Omega ^a_2:X^2\times X^2\times X^2\rightarrow \mathbb {R}^+\) is given by
then \((X^2,\Omega ^a_2)\) is a generalized \(b\)-metric space (with the same parameter \(s\)).
Let \((X,G)\) be a generalized \(b\)-metric space, \(F: X^2 \rightarrow X \) and \(g : X \rightarrow X\). For all \(x,y,u,v,z,w \in X\), let
and
Remark 1.31
[23] The result of Theorems 1.29 and 1.30 holds, if we replace \(\Omega ^m_2\), \(N^m_F\) and \(N^m_g\) by \(\Omega ^a_2\), \(N^a_F\) and \(N^a_g\), respectively.
Coupled fixed point results under \((F^*,g)\)-invariant sets
Definition 2.1
Let \((X,G)\) be a \(G_b\)-metric space and \(M\subseteq X^6\). We say that \(X\) is \(M\)-regular if and only if the following hypothesis holds:
Whenever \(\{x_n\}\) and \(\{y_n\}\) in \(X\) be sequences such that
and
for all \(n\in \mathbb {N} \cup \{0\}\) and \(x_n\rightarrow x\), \(y_n\rightarrow y\) as \(n\rightarrow +\infty \), we have
and
for all \(n\in \mathbb {N}\cup \{0\}\).
Theorem 2.2
Let \((X,G_b)\) be a \(G_b\)-metric space with the parameter \(s\), \(F: X^2 \rightarrow X\), \(g : X \rightarrow X\) and M be a nonempty subset of \(X^6\). Assume that
for all \(x,y,u,v,z,w\in X\) with \((gx, gu, gz,gy, gv, gw)\in M\), where \( \psi ,\varphi :[0,\infty )\rightarrow [0,\infty )\) are altering distance functions. Assume also that
-
1.
\(F( X^2)\subseteq g(X)\);
-
2.
M is an \((F^*, g)\)-invariant set which satisfies the transitive property;
-
3.
there exist \(x_0, y_0\in X\) such that \((gx_0, gy_0, F (x_0, y_0), F (y_0, x_0),F (x_0, y_0), F (y_0, x_0)) \in M\).
Also, suppose that either
-
(a)
\(F\) and \(g\) are continuous, the pair \((F,g)\) is compatible and \((X,G)\) is \(G_b\)-complete, or
-
(b)
\((X,G_b)\) is M-regular and \((g(X),G)\) is \(G_b\)-complete. Then, \(F\) and \(g\) have a coupled coincidence point in \(X\).
Proof
Define \(\alpha :(X^2)^3\rightarrow [0,+\infty )\) by
First, we prove that \(F\) is a rectangular \(G\)-\(\alpha \)-admissible mapping w.r.t. \(g\). Hence, we assume that \(\alpha ((gx,gy),(gu,gv),(ga,gb))\ge 1\). Therefore, we have \((gx,gy,gu,gv,ga,gb)\in M\). Since, \(M\) is an \((F^*, g)\)-invariant subset of \(X^6\), then
which implies that
Now, let \(\alpha ((x,y),(a,b),(a,b))\ge 1\) and \(\alpha ((a,b),(u,v),(u,v))\ge 1\), then \((x,y,a,b,a,b)\in M\) and \((a,b,u,v,u,v)\in M\). Consequently, as \(M\) satisfies the transitive property, we deduce that \((x,y,a,b,u,v)\in M\), that is, \(\alpha ((x,y),(a,b),(u,v))\ge 1.\) Thus, \(F\) is a rectangular \(G\)-\(\alpha \)-admissible mapping w.r.t. \(g\).
From (2.1) and the definition of \(\alpha \),
for all \(x,y,u,v,z,w\in X\). Moreover, from (2) there exist \(x_0, y_0\in \mathcal {X}\) such that
and
Hence, all the conditions of Theorem 1.29 are satisfied and so \(F\) and \(g\) have a coupled coincidence point. \(\square \)
In the following theorem, we give a sufficient condition for the uniqueness of the common coupled fixed point (see also [24]).
Theorem 2.3
In addition to the hypotheses of Theorem 2.2, suppose that for all \((x,y)\) and \((x^*,y^*) \in X^2\), there exists \((u,v) \in X^2\), such that \((gx,gy,gu,gv,gu,gv)\in M\) and \(( gx^*,gy^*,gu,gv,gu,gv)\in M.\) Then, \(F\) and \(g\) have a unique common coupled fixed point of the form \((a,a)\).
Remark 2.4
In Theorem 2.2, we can replace the contractive condition (2.1) by the following:
In Theorem 2.2, if we take \(\psi (t)=t\) for all \(t\in [0,\infty )\), we obtain the following result.
Corollary 2.5
Let \((X,G_b)\) be a \(G_b\)-metric space with the parameter \(s\), \(F: X^2 \rightarrow X\), \(g : X \rightarrow X\) and M be a nonempty subset of \(X^6\). Assume that
for all \(x,y,u,v,z,w\in X\) with \((gx, gu, gz,gy, gv, gw)\in M\), where \( \varphi :[0,\infty )\rightarrow [0,\infty )\) is an altering distance function. Assume also that
-
1.
\(F(X^2)\subseteq g(X)\);
-
2.
M is an \((F^*, g)\)-invariant set which satisfies the transitive property;
-
3.
there exist \(x_0, y_0\in X\) such that \((gx_0, gy_0, F (x_0, y_0), F (y_0, x_0),F (x_0, y_0), F (y_0, x_0)) \in M\).
Also, suppose that either
-
(a)
\(F\) and \(g\) are continuous, the pair \((F,g)\) is compatible and \((X,G)\) is \(G_b\)-complete, or
-
(b)
\((X,G_b)\) is M-regular and \((g(X),G)\) is \(G_b\)-complete. Then, \(F\) and \(g\) have a coupled coincidence point in \(X\).
Tripled coincidence point results via \((F^*,g)\)-invariant sets
In this section, we prove some tripled coincidence and tripled common fixed point results.
Definition 3.1
Let (\(X,G\)) be a \(G\)-metric space and let \(F : X \times X \times X \rightarrow X\) and \(g : X \rightarrow X\) are given mappings. Let \(M\) be a nonempty subset of \(X^9\). We say that M is an \((f^*,g)\)-invariant subset of \(X^9\) if and only if, for all \(x, y, z,u, v,w,a,b,c\in X\),
-
1.
\((x,y,z, u,v,w,a,b,c) \in M \text{ iff } (c,b,a,w, v, u, z,y, x) \in M\);
-
2.
$$\begin{aligned} (gx,gy,gz, gu,gv,gw,ga,gb,gc) \in M \end{aligned}$$
implies that
$$\begin{aligned}&(F(x,y,z), F(y, x,y), F(z, y,x), F(u, v,w), F(v, u,v), F(w, v,u),\\&F(a,b,c), F(b, a,b), F(c, b,a)) \in M. \end{aligned}$$
Definition 3.2
Let (\(X,G\)) be a \(G\)-metric space and let \(M\) be a subset of \(X^9\). We say that \(M\) satisfies the transitive property if and only if, for all \(x, y,z, u,v,w, a, b, c,d,e,f\in X\),
Definition 3.3
Let \((X,G)\) be a \(G_b\)-metric space and \(M\subseteq X^9\). We say that \(X\) is \(M\)-regular if and only if the following hypothesis holds:
Whenever \(\{x_n\}\), \(\{y_n\}\) and \(\{z_n\}\) in \(X\) be sequences such that
and
for all \(n\in \mathbb {N} \cup \{0\}\) and \(x_n\rightarrow x\), \(y_n\rightarrow y\) and \(z_n\rightarrow z\) as \(n\rightarrow +\infty \), we have
and
for all \(n\in \mathbb {N}\cup \{0\}\).
Lemma 3.4
[23] Let \((X,G)\) be a generalized \(b\)-metric space (with the parameter \(s\)).
If a mapping \(\Omega ^m_3:X^3\times X^3\times X^3\rightarrow \mathbb {R}^+\) is given by
for all \(X=(x,y,z),U=(u,v,w)\) and \(A=(a,b,c)\in X ^3,\) then \((X^3,\Omega ^m_3)\) is an generalized \(b\)-metric space (with the same parameter \(s\)). The space \((X^3,\Omega ^m_3)\) is \(G_b\)-complete iff \(( X,G)\) is \(G_b\)-complete.
Let \((X,G)\) be a generalized \(b\)-metric space, \(f: X ^3 \rightarrow X \) and \(g : X \rightarrow X\). For all \(x,y,z,u,v,w,a,b,c \in X\), let
and
Theorem 3.5
[23] Let \((X,G)\) be a generalized \(b\) -metric space with the parameter \(s\), \(F:X^3 \rightarrow X\) and \(g : X \rightarrow X\). Assume that
for all \(x,y,z,u,v,w,a,b,c\in X\) where \( \psi ,\varphi :[0,\infty )\rightarrow [0,\infty )\) are altering distance functions and \(\alpha :(X^3)^3\rightarrow [0,\infty )\) is a mapping such that \(F\) is a rectangular \(G\)-\(\alpha \) -admissible mapping w.r.t. \(g\). Assume also that
-
1.
\(F(X^3)\subseteq g(X)\);
-
2.
there exist \(x_0, y_0,z_0\in X\)
such that
and
Also, suppose that either
-
(a)
\(F\) and \(g\) are continuous, the pair \((F,g)\) is compatible and \((X,G)\) is \(G_b\)-complete, or
-
(b)
\((g(X),G)\) is \(G_b\)-complete and assume that whenever \(\{x_n\},\{y_n\}\) and \(\{z_n\}\) in \(X\) be sequences such that
$$\begin{aligned} \alpha ((x_n,y_n,z_n),(x_{n+1},y_{n+1},z_{n+1}),(x_{n+1},y_{n+1},z_{n+1}))\ge & {} 1,\\ \alpha ((y_n,x_n,y_n),(y_{n+1},x_{n+1},y_{n+1}),(y_{n+1},x_{n+1},y_{n+1}))\ge & {} 1 \end{aligned}$$and
$$\begin{aligned} \alpha ((z_n,y_n,x_n),(z_{n+1},y_{n+1},x_{n+1}),(z_{n+1},y_{n+1},x_{n+1}))\ge 1 \end{aligned}$$for all \(n\in \mathbb {N} \cup \{0\}\) and \(x_n\rightarrow x\), \(y_n\rightarrow y\) and \(z_n\rightarrow z\) as \(n\rightarrow +\infty \), we have
$$\begin{aligned} \alpha ((x_n,y_n,z_n),(x,y,z),(x,y,z))\ge & {} 1,\\ \alpha ((y_n,x_n,y_n),(y,x,y),(y,x,y))\ge & {} 1 \end{aligned}$$and
$$\begin{aligned} \alpha ((z_n,y_n,x_n),(z,y,x),(z,y,x))\ge 1 \end{aligned}$$for all \(n\in \mathbb {N}\cup \{0\}\).
Then, \(F\) and \(g\) have a tripled coincidence point in \(X\).
Theorem 3.6
[23] In addition to the hypotheses of Theorem 3.5, suppose that for all \((x,y,z)\) and \((x^*,y^*,z^*) \in X^3\), there exists \((u,v,w) \in X^3\), such that
and
Then, \(F\) and \(g\) have a unique common tripled fixed point of the form \((a,a,a)\).
Let
and
Remark 3.7
[23] In Theorem 3.5, we can replace the contractive condition (3.1) by the following:
Following tripled fixed point results in \(G_b\)-metric spaces can be obtained.
Theorem 3.8
Let \((X,G)\) be a \(G_b\) -metric space with the parameter \(s\), \(F: X^3 \rightarrow X\), \(g : X \rightarrow X\) and M be a nonempty subset of \(X^9\). Assume that
for all \(x,y,z,u,v,w,a,b,c\in X\) with \((gx, gu,ga,gy, gv , gb,gz,gw ,gc)\in M\), where \( \psi ,\varphi :[0,\infty )\rightarrow [0,\infty )\) are altering distance functions. Assume also that
-
1.
\(F(X^3) \subseteq g(X)\);
-
2.
M is an \((F^*, g)\)-invariant set which satisfies the transitive property;
-
3.
there exist \(x_0, y_0,z_0\in X\) such that
$$\begin{aligned}&(gx_0 ,gy_0, ,gz_0,F (x_0, y_0,z_0), F(y_0, x_0,y_0) , F (z_0, y_0,x_0) ,F (x_0, y_0,z_0),\\&F(y_0, x_0,y_0) , F(z_0, y_0,x_0) )\in M. \end{aligned}$$
Also, suppose that either
-
(a)
\(F\) and \(g\) are continuous, the pair \((F,g)\) is compatible and \((X,G)\) is \(G_b\)-complete, or
-
(b)
\((X,G)\) is M-regular and \((g(X),G)\) is \(G_b\)-complete.
Then, \(F\) and \(g\) have a tripled coincidence point in \(X\).
Theorem 3.9
In addition to the hypotheses of Theorem 3.5, suppose that for all \((x,y,z)\) and \((x^*,y^*,z^*) \in X^3\), there exists \((u,v,w) \in X^3\), such that
and
Then, \(F\) and \(g\) have a unique common tripled fixed point of the form \((a,a,a)\).
Remark 3.10
In Theorem 3.8, we can replace the contractive condition (3.3) by the following:
Coupled and tripled fixed point results for \(\psi \)-contractions in \(G\)-metric spaces
Let \(\Psi \) denotes the set of all functions \(\psi : [0,\infty )\rightarrow [0,\infty )\) satisfying \(\psi ^{-1}({0})={0}\), \(\psi (t)<t\) for all \(t>0\) and \(\lim \limits _{r\rightarrow t^+}\psi (r)<t\) for all \(t>0\).
Using the following coincidence point result, we obtain some coupled and tripled coincidence point results under \((F^*,g)\)-invariant sets.
Lemma 4.1
[23] Let \(f\) be a rectangular \(G\)-\(\alpha \)-admissible mapping w.r.t. \(g\) such that \(f(X)\subseteq g(X)\). Assume that there exists \(x_0\in X\) such that \(\alpha (fx_0,fx_0,gx_0)\ge 1.\) Define sequence \(\{y_n\}\) by \(y_n=gx_{n}=f{x_{n-1}}\). Then,
Theorem 4.2
Let \((X,G)\) be a \(G\)-metric space and let \(f,g:X\rightarrow X\) satisfy the following condition:
for all \(x,y,z\in X\), where \(\psi \in \Psi \), \(\alpha : X ^3 \rightarrow [0,+\infty )\) and \(f\) is a rectangular \(G\)-\(\alpha \)-admissible mapping w.r.t. \(g\).
Then, \(f\) and \(g\) have a coincidence point if,
-
(i)
\(f(X) \subseteq g(X)\);
-
(ii)
there exists \(x_0 \in X\) such that \(\alpha (fx_0, fx_0,gx_0)\ge 1\);
-
(iii)
f and g are continuous, g commutes with f and \((X, G)\) is complete, or.
-
(iii)′
\((g(X),G)\) is \(G\)-complete and assume that whenever \(\{x_n\}\) in \(X\) be a sequence such that \(\alpha (x_n,x_{n+1},x_{n+1})\ge 1\) for all \(n\in \mathbb {N} \cup \{0\}\) and \(x_n\rightarrow x\) as \(n\rightarrow +\infty \), we have \(\alpha (x_n, x, x)\ge 1\) for all \(n\in \mathbb {N}\cup \{0\}\)
Proof
Let \(x_{0}\in X\) be such that \(\alpha (fx_0,fx_0,gx_0)\ge 1\). According to (i) one can define the sequence \(\{y_n\}\) as \( y_{n+1}=gx_{n+1}=fx_{n}\) for all \( n=0,1,2,\ldots \).
As \(\alpha (gx_1,gx_1,gx_0)=\alpha ( fx_0, fx_0,gx_0)\ge 1\) and since \(f\) is a \(G\)-\(\alpha \)-admissible mapping with respect to \(g\), then \(\alpha (y_{2},y_{2},y_{1})=\alpha (fx_{1},fx_{1},fx_{0})\ge 1\). Continuing this process, we get \(\alpha (y_{n+1},y_{n+1},y_{n})\ge 1\) for all \(n\in \mathbb {N}\cup \{0\}\).
If \(y_{n}=y_{n+1}\), then \(x_{n}\) is a coincidence point of \(f\) and \(g.\)
Now, assume that \(y_{n}\ne y_{n+1}\) for all \(n,\) that is,
for all \(n.\) Let \( G_{n}=G(y_{n},y_{n+1},y_{n+2})\). Then, from (4.1) we obtain that
So, we have proved that \(G_{n+1}\le G_{n}\) for each \(n\in \mathbb {N} ,\) and so there exists \(r\ge 0\) such that \(\lim \nolimits _{n\rightarrow \infty }G_{n}=r\ge 0.\)
Suppose that \(r>0.\) Then, from (4.3), by taking the limit as \(n\rightarrow \infty \), since \(\psi \in \Psi \) we have
a contradiction. Hence,
Since \(y_{n+1}\ne y_{n+2}\) for every \(n,\) so by property \((G3)\) we obtain
Hence,
Now, we prove that \(\{y_{2n}\}\) is a \(G\)-Cauchy sequence. Assume on contrary that \(\{y_{2n}\}\) is not a \(G\)-Cauchy sequence. Then, there exists \( \varepsilon >0\) for which we can find subsequences \(\{y_{2m_{k}}\}\) and \( \{y_{2n_{k}}\}\) of \(\{y_{2n}\}\) such that \(m_{k}\) is the smallest index for which \(m_{k}>n_{k}>k\) and
This means that
Since \(f\) is a rectangular \(G\)-\(\alpha \)-admissible mapping with respect to \(g\), then from Lemma 4.1 \(\alpha (y_{2n_{k}},y_{2m_{k}-1},y_{2m_{k}-1})\ge 1.\) Now, from (4.1) we have
as \({2n_{k}}\ne {2m_{k}-1}\).
Using \((G5)\), we obtain that
Taking the limit as \(k\rightarrow \infty \) and using (4.5) and (4.7), we obtain that
Hence, by (4.7), we have
Using \((G5)\), we obtain that
Taking the upper limit as \(k\rightarrow \infty \) and using (4.5) and (4.7), we obtain that
Using \((G5)\), we obtain that
Taking the upper limit as \(k\rightarrow \infty \) and using (4.5) and (4.7), we obtain that
Consequently, from (4.11),
Taking the upper limit as \(k\rightarrow \infty \) in (4.8) and using (4.7) and (4.9), we obtain that
a contradiction. It follows that \(\{y_{n}\}\) is a \(G\)-Cauchy sequence in \(X.\) Suppose first that (iii) holds. Then, there exists
Further, since \(f\) and \(g\) are continuous and \(g\) commutes with \(f\), we get
It means that \(f\) and \(g\) have a coincidence point.
In the case (iii\(^{\prime })\), if we assume that \(g(X)\) is \(G\)-complete, then
for some \(u\in X\). Also, from (iii\(^{\prime })\) we have \(\alpha (gx_n,gu,gu)\ge 1.\) Applying (4.1) with \(x=x_n\) and \(y=z=u\), we have:
It follows that \(G\left( fx_n,fu,fu\right) \rightarrow 0\) when \(n\rightarrow \infty \), that is, \(fx_n\rightarrow fu\). Uniqueness of the limit yields that \(fu=z=gu.\) Hence, \(f\) and \(g\) have a coincidence point \(u\in X\).
Theorem 4.3
Let \((X,G)\) be a \(G\)-metric space and let \(F: X^2 \rightarrow X\) and \(g : X \rightarrow X\). Assume that
for all \(x,y,u,v,z,w\in X\), where \(\psi \in \Psi \), \(\alpha :(X^2)^3\rightarrow [0,\infty )\) and \(F\) is a rectangular \(G\)-\(\alpha \)-admissible mapping with respect to \(g\). Assume also that
-
1.
\(F(X^2)\subseteq g(X)\);
-
2.
there exist \(x_0, y_0\in X\) such that
and
Also, suppose that either
-
(a)
\(F\) and \(g\) are continuous, \(g\) commutes with \(F\) and \((X,G)\) is complete, or
-
(b)
\((g(X),G)\) is complete and assume that whenever \(\{x_n\}\) and \(\{y_n\}\) in \(X\) be sequences such that
$$\begin{aligned} \alpha ((x_n,y_n),(x_{n+1},y_{n+1}),(x_{n+1},y_{n+1}))\ge 1 \end{aligned}$$and
$$\begin{aligned} \alpha ((y_n,x_n),(y_{n+1},x_{n+1}),(y_{n+1},x_{n+1}))\ge 1 \end{aligned}$$for all \(n\in \mathbb {N} \cup \{0\}\) and \(x_n\rightarrow x\), \(y_n\rightarrow y\) as \(n\rightarrow +\infty \) , we have
$$\begin{aligned} \alpha ((x_n,y_n),(x,y),(x,y))\ge 1 \end{aligned}$$and
$$\begin{aligned} \alpha ((y_n,x_n),(y,x),(y,x))\ge 1 \end{aligned}$$for all \(n\in \mathbb {N}\cup \{0\}\). Then, \(F\) and \(g\) have a coupled coincidence point in \(X\).
Theorem 4.4
In addition to the hypotheses of Theorem 4.3, suppose that for all \((x,y)\) and \((x^*,y^*) \in X^2\), there exists \((u,v) \in X^2\), such that \(\alpha ((gx,gy),(gu,gv),(gu,gv))\ge 1\) and \(\alpha ( (gx^*,gy^*),(gu,gv),(gu,gv))\ge 1.\) Then, \(F\) and \(g\) have a unique common coupled fixed point of the form \((a,a)\).
Remark 4.5
The result of Theorems 4.3 and 4.4 holds, if we replace \(N^m_F\) and \(N^m_g\) by \(N^a_F\) and \(N^a_g\), respectively.
Theorem 4.6
Let \((X,G)\) be a \(G\)-metric space and let \(F: X^2 \rightarrow X\) and \(g :X \rightarrow X\) and \(M\) be a nonempty subset of \(X^6\). Assume that
for all \(x,y,u,v,z,w\in X\) with \((gx, gu, gz,gy, gv, gw)\in M\), where \( \psi \in \Psi \). Assume also that
-
1.
\(F(X^2)\subseteq g(X)\);
-
2.
\(M\) is an \((F^*, g)\)-invariant set which satisfies the transitive property;
-
3.
there exist \(x_0, y_0\in X\) such that \(( F (x_0, y_0), F(y_0, x_0),F (x_0, y_0), F(y_0, x_0),gx_0, gy_0) \in M\).
Also, suppose that either
-
(a)
\(F\) and \(g\) are continuous, \(g\) commutes with \(F\) and \((X,G)\) is complete, or
-
(b)
\((X,G)\) is \(M\)-regular and \((g(X),G)\) is \(G\)-complete. Then, \(F\) and \(g\) have a coupled coincidence point in \(X\).
Theorem 4.7
In addition to the hypotheses of Theorem 4.6, suppose that for all \((x,y)\) and \((x^*,y^*) \in X^2\), there exists \((u,v) \in X^2\), such that \((gx,gy,gu,gv,gu,gv)\in M\) and \(( gx^*,gy^*,gu,gv,gu,gv)\in M.\) Then, \(F\) and \(g\) have a unique common coupled fixed point of the form \((a,a)\).
We have the following corollary which is Theorems 3.1 and 3.2 of [35], but more general in contractive condition.
Corollary 4.8
Let \((X,G)\) be a \(G\)-metric space and let \(F: X^2 \rightarrow X\) and \(g : X \rightarrow X\) and \(M\) be a nonempty subset of \(X^6\). Assume that
for all \(x,y,u,v,z,w\in X\) with \((gx, gu, gz,gy, gv, gw)\in M\), where \( \psi \in \Psi \). Assume also that
-
1.
\(F(X^2)\subseteq g(X)\);
-
2.
\(M\) is an \((F^*, g)\)-invariant set which satisfies the transitive property;
-
3.
there exist \(x_0, y_0\in X\) such that \(( F (x_0, y_0), F(y_0, x_0),F (x_0, y_0), F(y_0, x_0),gx_0, gy_0) \in M\).
Also, suppose that either
-
(a)
\(F\) and \(g\) are continuous, \(g\) commutes with \(F\) and \((X,G)\) is complete, or
-
(b)
\((X,G)\) is \(M\)-regular and \((g(X),G)\) is \(G\)-complete. Then, \(F\) and \(g\) have a coupled coincidence point in \(X\).
Theorem 4.9
Let \((X,G)\) be a \(G\)-metric space and let \(F: X^3 \rightarrow X\) and \(g : X \rightarrow X\). Assume that
for all \(x,y,z,u,v,w,a,b,c\in X\) where \( \psi \in \Psi \) and \(\alpha :(X^3)^3\rightarrow [0,\infty )\) is a mapping such that \(F\) is a rectangular \(G\)-\(\alpha \)-admissible mapping w.r.t. \(g\). Assume also that
-
1.
\(F(X^3)\subseteq g(X)\);
-
2.
there exist \(x_0, y_0,z_0\in X\)
such that
and
Also, suppose that either
-
(a)
\(F\) and \(g\) are continuous, \(g\) commutes with \(F\) and \((X,G)\) is \(G\)-complete, or
-
(b)
\((g(X),G)\) is \(G\)-complete and assume that whenever \(\{x_n\},\{y_n\},\{z_n\}\) in \(X\) be sequences such that
$$\begin{aligned} \alpha ((x_n,y_n,z_n),(x_{n+1},y_{n+1},z_{n+1}),(x_{n+1},y_{n+1},z_{n+1}))\ge & {} 1,\\ \alpha ((y_n,x_n,y_n),(y_{n+1},x_{n+1},y_{n+1}),(y_{n+1},x_{n+1},y_{n+1}))\ge & {} 1 \end{aligned}$$and
$$\begin{aligned} \alpha ((z_n,y_n,x_n),(z_{n+1},y_{n+1},x_{n+1}),(z_{n+1},y_{n+1},x_{n+1}))\ge 1 \end{aligned}$$for all \(n\in \mathbb {N} \cup \{0\}\) and \(x_n\rightarrow x\), \(y_n\rightarrow y\) and \(z_n\rightarrow z\) as \(n\rightarrow +\infty \), we have
$$\begin{aligned} \alpha ((x_n,y_n,z_n),(x,y,z),(x,y,z))\ge & {} 1,\\ \alpha ((y_n,x_n,y_n),(y,x,y),(y,x,y))\ge & {} 1 \end{aligned}$$and
$$\begin{aligned} \alpha ((z_n,y_n,x_n),(z,y,x),(z,y,x))\ge 1 \end{aligned}$$for all \(n\in \mathbb {N}\cup \{0\}\). Then, \(F\) and \(g\) have a tripled coincidence point in \(X\).
Theorem 4.10
In addition to the hypotheses of Theorem 4.9, suppose that for all \((x,y,z)\) and \((x^*,y^*,z^*) \in X^3\), there exists \((u,v,w) \in X^3\), such that
and
Then, \(F\) and \(g\) have a unique common tripled fixed point of the form \((a,a,a)\).
Remark 4.11
[23] In Theorem 4.9, we can replace the contractive condition (4.18) by the following:
Following tripled fixed point results in \(G\)-metric spaces can be obtained.
Theorem 4.12
Let \((X,G)\) be a \(G\)-metric space, \(F: X^3 \rightarrow X\), \(g : X \rightarrow X\) and \(M\) be a nonempty subset of \(X^9\). Assume that
for all \(x,y,z,u,v,w,a,b,c\in \mathcal {X}\) with \((gx, gu,ga,gy, gv , gb,gz,gw ,gc)\in M\), where \( \psi \in \Psi \). Assume also that
-
1.
\(F(X^3) \subseteq g(X)\);
-
2.
M is an \((F^*, g)\)-invariant set which satisfies the transitive property;
-
3.
there exist \(x_0, y_0,z_0\in X\) such that
$$\begin{aligned}&(F (x_0, y_0,z_0), F (y_0, x_0,y_0) ,F (z_0, y_0,x_0) ,F (x_0, y_0,z_0), F(y_0, x_0,y_0),\\&F (z_0, y_0,x_0),gx_0 ,gy_0, ,gz_0)\in M. \end{aligned}$$
Also, suppose that either
-
(a)
\(F\) and \(g\) are continuous, \(g\) commutes with \(F\) and \((X,G)\) is \(G\)-complete, or
-
(b)
\((X,G)\) is \(M\)-regular and \((g(X),G)\) is \(G\)-complete.
Then, \(f\) and \(g\) have a tripled coincidence point in \(X\).
Theorem 4.13
In addition to the hypotheses of Theorem 4.12, suppose that for all \((x,y,z)\) and \((x^*,y^*,z^*) \in X^3\), there exists \((u,v,w) \in \mathcal {X}^3\), such that
and
Then, \(F\) and \(g\) have a unique common tripled fixed point of the form \((a,a,a)\).
Remark 4.14
In Theorem 3.8, we can replace the contractive condition (4.20) by the following:
Application to integral equations
As an application of the (coupled) fixed point theorems established in Sect. 4, we study the existence and uniqueness of a solution for a Fredholm nonlinear integral equation.
To compare our results to the ones in [12, 39], we shall consider the same integral equation, that is,
where \(t\in I=[a,b].\)
Consider the space \(X=C([0,T],\mathbb {R})\) of continuous functions defined on \( I=[a,b].\)
Assume that the functions \(K_1\), \(K_2\), \(f\) and \(g\) fulfill the following conditions:
Assumption 5.1
\((i)\) \(K_1(t,s)\ge 0\) and \(K_2(t,s)\le 0\), for all \(t,s\in I\);
\((iii)\)
for an \(0\le r<1.\)
\((ii)\) There exists \(M\subseteq X^6\) which satisfies the transitive property and
-
1.
\((x,y,z, u,v,w) \in M \text{ iff } (w, v, u, z,y, x) \in M\);
-
2.
\((x,y,z, u,v,w) \in M\) implies that
$$\begin{aligned}&\Bigg (\int _{a}^{b}K_{1}(t,s)\left[ f(s,x(s))+g(s,y(s))\right] {\rm {d}}s +\int _{a}^{b}K_{2}(t,s)\left[ f(s,y(s))+g(s,x(s))\right] {\rm {d}}s,\\&\int _{a}^{b}K_{1}(t,s)\left[ f(s,y(s))+g(s,x(s))\right] {\rm {d}}s +\int _{a}^{b}K_{2}(t,s)\left[ f(s,x(s))+g(s,y(s))\right] {\rm {d}}s,\\&\int _{a}^{b}K_{1}(t,s)\left[ f(s,z(s))+g(s,u(s))\right] {\rm {d}}s +\int _{a}^{b}K_{2}(t,s)\left[ f(s,u(s))+g(s,z(s))\right] {\rm {d}}s,\\&\int _{a}^{b}K_{1}(t,s)\left[ f(s,u(s))+g(s,z(s))\right] {\rm {d}}s +\int _{a}^{b}K_{2}(t,s)\left[ f(s,z(s))+g(s,u(s))\right] {\rm {d}}s,\\&\int _{a}^{b}K_{1}(t,s)\left[ f(s,v(s))+g(s,w(s))\right] {\rm {d}}s +\int _{a}^{b}K_{2}(t,s)\left[ f(s,w(s))+g(s,v(s))\right] {\rm {d}}s,\\&\int _{a}^{b}K_{1}(t,s)\left[ f(s,w(s))+g(s,v(s))\right] {\rm {d}}s +\int _{a}^{b}K_{2}(t,s)\left[ f(s,v(s))+g(s,w(s))\right] {\rm {d}}s \Bigg ) \in M \end{aligned}$$for all \(x, y, z,u, v,w\in X\).
\((iii)\) For all \(x,y\in X\), the following Lipschitzian type conditions hold:
and
\((iv)\) For all \((x,y)\) and \((x^*,y^*) \in X^2\), there exists \((u,v) \in X^2\), such that \((x,y,u,v,u,v)\in M\) and \(( x^*,y^*,u,v,u,v)\in M.\)
Motivated by [12], we present the following definition.
Definition 5.2
A pair \((\alpha ,\beta )\in X^{2}\) is called an \(M\)-coupled solution of Eq. (5.1) if, for all \(s\in I\),
Theorem 5.3
Consider the integral equation (5.1) with \(K_1,K_2 \in C(I\times I,\mathbb {R})\) and \(h\in C(I,\mathbb {R}).\)
Suppose that there exists an \(M\)-coupled solution \((\alpha , \beta )\) of (5.1) and that Assumption 5.1 is satisfied. Then, the integral equation (5.1) has a unique solution in \( C(I,\mathbb {R})\).
Proof
It is well known that \(X\) is a complete \(b\)-metric space with respect to the sup metric
Define
It is easy to see that \((X,G )\) is a complete \(G_b-\)metric space with \( s=2^{p-1}\)(see, Example 1.3).
Define now the mapping \(F:X\times X\rightarrow X\) by
According to the computations done by Berinde in [39],
Hence, by (5.5), in view of the fact that \(K_{2}(t,s)\le 0\), we obtain that
as all quantities in the right-hand side of (5.5) are non-negative.
Now, from (5.5) we have
So, we have
Similarly, one can obtain that
and
Taking the supremum with respect to \(t\) and using (5.2) we get,
and analogously,
Combination of the above inequalities is just the contractive condition (2.1) in Theorem 2.2 with \(\psi (t)=t\) and \(\varphi (t)=(1-r)t,\) for all \(t>0\).
Now, let \((\alpha ,\beta )\in X^{2}\) be an \(M\)-coupled solution of ( 5.1). Thus, all hypotheses of Theorem 2.2 are satisfied.
This proves that \(F\) has a coupled fixed point \((x_{*},y_{*})\) in \( X^{2}\). From (iv) and by Theorem 2.3 it follows that \(x_{*}=y_{*}\), that is, \( x_{*}=F(x_{*},x_{*}), \) and therefore \(x_{*}\in C(I,\mathbb {R})\) is the solution of the integral equation (5.1). \(\square \)
Conclusion
After that Samet and Vetro [37] introduced the concept of \(F\)-invariant set and used it to obtain coupled fixed point results in usual metric spaces, several authors have obtained different coincidence point results in various classes of generalized metric spaces (see, e.g., [32–38]). As we saw in the present paper, (also, see [22, 23]) we showed that
-
1.
coupled and tripled fixed point results can be deduced from corresponding fixed point theorems,
-
2.
coupled and tripled fixed point results via invariant subsets can be deduced from coupled and tripled fixed point results via the concept of \(\alpha \)-admissible mappings.
References
Aghajani, A., Abbas, M., Roshan, J.R.: Common fixed point of generalized weak contractive mappings in partially ordered \( G_{b}\)-metric spaces. Filomat 28(6), 1087–1101 (2014). doi:10.2298/FIL1406087A
Aydi, H., Postolache, M., Shatanawi, W.: Coupled fixed point results for \((\psi,\varphi )\)-weakly contractive mappings in ordered \(G\)-metric spaces. Comput. Math. Appl. 63, 298–309 (2012)
Bhaskar, T.G., Lakshmikantham, V.: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. 65(7), 1379–1393 (2006)
Cho, Y.J., Rhoades, B.E., Saadati, R., Samet, B., Shatanawi, W.: Nonlinear coupled fixed point theorems in ordered generalized metric spaces with integral type. Fixed Point Theory Appl. 2012, 8 (2012)
Shah, M.H., Hussain, N.: Coupled fixed points of weakly F-contractive mappings in topological spaces. Appl. Math. Lett. 24, 1185–1190 (2011)
Choudhury, B.S., Maity, P.: Coupled fixed point results in generalized metric spaces. Math. Comput. Model. 54, 73–79 (2011)
Guo, D., Lakshmikantham, V.: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal. 11, 623–632 (1987)
Hussain, N., Latif, A., Shah, M.H.: Coupled and tripled coincidence point results without compatibility. Fixed Point Theory Appl. 2012, 77 (2012)
Hussain, N., Dorić, D., Kadelburg, Z., Radenović, S.: Suzuki-type fixed point results in metric type spaces. Fixed Point Theory Appl. 2012, 126 (2012)
Khan, M.S., Swaleh, M., Sessa, S.: Fixed point theorems by altering distancces between the points. Bull. Aust. Math. Soc. 30, 1–9 (1984)
Lakshmikantham, V., Ćirić, L.: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. 70(12), 4341–4349 (2009)
Luong, N.V., Thuan, N.X.: Coupled fixed point theorems in partially ordered \(G\)-metric spaces. Math. Comput. Model. 55, 1601–1609 (2012)
Mustafa, Z., Roshan, J.R., Parvaneh, V.: Coupled coincidence point results for \((\psi,\varphi )\)-weakly contractive mappings in partially ordered G\(_{{{\rm b}}}\)-metric spaces. Fixed Point Theory Appl. 2013, 206 (2013). doi:10.1186/1687-1812-2013-206
Mustafa, Z., Sims, B.: A new approach to generalized metric spaces. J. Nonlinear Convex Anal. 7(2), 289–297 (2006)
Nieto, J.J., Rodriguez-López, R.: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary diferential equations. Order 22(3), 223–239 (2005)
Nieto, J.J., Rodriguez-Lopez, R.: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 22(3), 223–239 (2005)
Nieto, J.J., Rodriguez-Lopez, R.: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Math. Sin. (Engl. Ser.) 23(12), 2205–2212 (2007)
Ran, A.C.M., Reurings, M.C.B.: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 132(5), 1435–1443 (2004)
Mustafa, Z., Roshan, J.R., Parvaneh, V.: Existence of tripled coincidence point in ordered \(G_{b}\)-metric spaces and applications to a system of integral equations. J. Inequal. Appl. 453 (accepted) (2013)
Mursaleen, M., Mohiuddine, S.A., Agarwal, R.P.: Coupled fixed point theorems for \(\alpha \)-\(\psi \)-contractive type mappings in partially ordered metric spaces. Fixed Point Theory Appl. 2012, 124 (2012)
Agarwal, P.: A note on ’Coupled fixed point theorems for \(\alpha \)-\(\psi \)-contractive-type mappings in partially ordered metric spaces’. Fixed Point Theory Appl. 2013, 216 (2013)
Parvaneh, V., Roshan, J.R., Radenović, S.: Existence of tripled coincidence points in ordered b-metric spaces and an application to a system of integral equations. Fixed Point Theory Appl. 2013, 130 (2013)
Kutbi, M.A., Hussain, N., Roshan, J.R., Parvaneh, V.: Coupled and Tripled Coincidence Point Results with Application to Fredholm Integral Equations, Abstract and Applied Analysis, vol. 2014, p. 18 (Article ID 568718)
Berinde, V., Borcut, M.: Tripled fixed point theorems for contractive type mappings in partially ordered metric spaces. Nonlinear Anal. 74, 4889–4897 (2011)
Borcut, M.: Tripled coincidence theorems for contractive type mappings in partially ordered metric spaces. Appl. Math. Comput. 218, 7339–7346 (2012)
Borcut, M., Berinde, V.: Tripled coincidence theorems for contractive type mappings in partially ordered metric spaces. Appl. Math. Comput. 218, 5929–5936 (2012)
Czerwik, S.: Contraction mappings in \(b\)-metric spaces. Acta Math. Inf. Univ. Ostrav. 1, 5–11 (1993)
Jungck, G.: Compatible mappings and common fixed points. Int. J. Math. Math. Sci. 9(4), 771–779 (1986)
Samet, B., Vetro, C., Vetro, P.: Fixed point theorem for \(\alpha -\psi \)-contractive type mappings. Nonlinear Anal. 75, 2154–2165 (2012)
Alghamdi, M.A., Karapınar, E.: \(G\)-\(\beta \)-\(\psi \)-contractive-type mappings and related fixed point theorems. J. Inequal. Appl. 2013, 70 (2013)
Hussain, N., Karapinar, E., Salimi, P., Vetro, P.: Fixed point results for \(G^m\)-Meir-Keeler contractive and G-\((\alpha,\psi )\)-Meir–Keeler contractive mappings. Fixed Point Theory Appl. 2013, 34 (2013)
Charoensawan, P., Klanarong, C.: Coupled coincidence point theorems for \(\varphi \)-contractive under \((f, g)\)-invariant set in complete metric space. Int. J. Math. Anal. 7(33–36), 1685–1701 (2013)
Charoensawan, P.: Tripled fixed points theorems for \(\phi \)-contractive mixed monotone operators on partially ordered metric spaces. Appl. Math. Sci. 6, 5229–5239 (2012)
Charoensawan, P.: Tripled fixed points theorems for a \(\phi \)-contractive mapping in a complete metric spaces without the mixed g-monotone property. Fixed Point Theory Appl. 2013 (Article ID 252) (2013)
Thangthong, C., Charoensawan, P.: Coupled coincidence point theorems for a \(\varphi \)-contractive mapping in partially ordered G-metric spaces without mixed g-monotone property. Fixed Point Theory Appl. 2014, 128 (2014)
Batra, R., Vashistha, S.: Coupled coincidence point theorems for nonlinear contractions under (F, g)-invariant set in cone metric spaces. J. Nonlinear Sci. Appl. 6, 86–96 (2013)
Samet, B., Vetro, C.: Coupled fixed point F-invariant set and fixed point of N-order. Ann. Funct. Anal. 1, 46–56 (2010)
Sintunavarat, W., Radenović, S., Golubović, Z., Kuman, P.: Coupled fixed point theorems for F-invariant set. Appl. Math. Inf. Sci. 7(1), 247–255 (2013)
Berinde, V.: Coupled fixed point theorems for contractive mixed monotone mappings in partially ordered metric spaces. Nonlinear Anal. 75, 3218–3228 (2012)
Roshan, J.R., Shobkolaei, N., Sedghi, S., Parvaneh, V., Radenović, S.: Common fixed point theorem for three maps in discontinuous \(G_b\)-metric spaces. Acta Mathematica Scientia 34B(5), 1–12 (2014)
Radenović, S: A note on tripled coincidence and tripled common fixed point theorems in partially ordered metric spaces. Appl. Math. Comput. 2(236), 367–372 (2014)
Agarwal, R.P., Kadelburg, Z., Radenović, S.: On coupled fixed point results in asymmetric G-metric spaces. J. Inequal. Appl. 2013, 528 (2013)
Radenović, S.: Remarks on some recent coupled coincidence point results in symmetric G-metric spaces. J. Oper. 2013, 8 (2013). Art. ID 290525
Alsulami, H.H, Roldan, A., Karapınar, E., Radenović, S.: Some inevitable remarks on “Tripled fixed point theorems for mixed monotone Kannan type contractive mappings”. J. Appl. Math. 2014, 7 (2014). Art. ID 392301
Acknowledgments
This article was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah. Therefore, the first author acknowledge with thanks DSR, KAU for financial support.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Hussain, N., Parvaneh, V. & Golkarmanesh, F. Coupled and tripled coincidence point results under \((F, g)\)-invariant sets in \(G_b\)-metric spaces and \(G\)-\(\alpha \)-admissible mappings. Math Sci 9, 11–26 (2015). https://doi.org/10.1007/s40096-015-0143-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40096-015-0143-z
Keywords
- \(G_{b}\)-metric space
- Coupled coincidence point
- Common coupled fixed point
- Tripled coincidence point
- Common tripled fixed point
- \(F\)-invariant set
- Admissible mapping