Skip to main content

New multipled common fixed point theorems in Menger PM-spaces

Abstract

In this work, we introduce a new φ-contractive mapping; following that, we obtain some multipled common fixed point theorems for a pair of mappings \(T: \underbrace{X \times X \times\cdots\times X}_{m\text{-times}}\rightarrow X\) and \(A: X\rightarrow X\). The main results of this paper are generalization of the main results of Kutbi et al. (Fixed Point Theory Appl. 2015(1):32, 2015). As an illustration, we give an example to demonstrate the validity of the obtained results.

1 Introduction

In 1942, Menger [1] initiated the study of probabilistic metric spaces. Since then, many scholars have studied the existence of fixed points or solutions of nonlinear equations under various types of conditions in Menger spaces (see [28]). Precisely, Sehgal and Bharucha-Reid [9] introduced probabilistic q-contractions and proved corresponding unique fixed point results by giving a generalization of the classical Banach fixed point principle. Then, we point out an important theoretical development in the way of defining the concept of contractive mapping in Menger spaces. In 1984, Khan et al. [10] introduced the concept of altering distance function. Choudhury and Das [11] defined a generalized contractive condition with the help of such functions and established an unique fixed point result. In 2010, Jachymski [12] established a fixed point theorem for probabilistic φ-contractions. Dutta et al. [13] defined nonlinear generalized contractive type mappings in Menger PM-spaces and proved their theorems under the mapping in G-complete Menger PM-spaces. Recently, [1418] have studied some new fixed point theorems in Menger PM-spaces and fuzzy metric spaces.

Coupled and tripled fixed point results were studied in [1921]. In this paper, from the idea of ψ-contractive type mappings in [16], we introduce a new φ-contractive mapping. Following this, we obtain some multipled common fixed point theorems for a pair of mappings \(T: \underbrace{X \times X \times\cdots\times X}_{m\text{-times}}\rightarrow X\) and \(A: X\rightarrow X\), which is a generalization of [16]. As an illustration, we give an example to demonstrate the validity of the obtained results.

2 Preliminaries

Let \(\mathbb{R}\) denote the set of reals, \(\mathbb{R}^{+}\) the nonnegative reals and \(\mathbb{Z}^{+}\) be the set of all positive integers. A mapping \(F: \mathbb{R}\rightarrow\mathbb{R}^{+}\) is called a distribution function if it is nondecreasing and left-continuous with \(\inf_{t\in\mathbb{R}}F(t)=0\) and \(\sup_{t\in\mathbb{R}}F(t)=1\). We will denote by \(\mathscr{D}\) the set of all distribution functions, while H will always denote the specific distribution function defined by

$$H(t)= \left \{ \textstyle\begin{array}{l@{\quad}l} 0, & {t\leq0}, \\ 1, & {t>0}. \end{array}\displaystyle \right . $$

A mapping \(\Delta:[0,1]\times[0,1]\rightarrow[0,1]\) is called a triangular norm (for short, a t-norm) if the following conditions are satisfied: \(\Delta(a,1)=a\); \(\Delta(a,b)=\Delta(b,a)\); \(a\geq b\), \(c\geq d\) \(\Delta(a,c) \geq\Delta(b,d)\); \(\Delta(a,\Delta (b,c))=\Delta(\Delta(a,b),c)\).

Three examples of t-norm are \(\Delta_{m}(a,b)=\min\{a,b\}\), \(\Delta_{p}(a,b)=ab\) and \(\Delta_{L}=\max\{a+b-1,0\}\), these t-norms are related in the following way: \(\Delta_{L}\leq\Delta _{p}\leq\Delta_{m}\).

Definition 2.1

[22]

A Menger PM-space is a triple \((X,F,\Delta )\) where X is a nonempty set, Δ is a continuous t-norm and F is a mapping from \(X \times X \) into \(\mathscr{D}^{+}\) such that, if \(F_{x,y}\) denotes the value of F at the pair \((x,y)\), the following conditions hold:

  1. (PM-1)

    \(F_{x,y}(t)=H(t)\) if and only if \(x=y\), \(t>0\);

  2. (PM-2)

    \(F_{x,y}=F_{y,x}\) for all \(x,y \in X\);

  3. (PM-3)

    \(F_{x,y}(t+s)\geq\Delta(F_{x,z}(t),F_{z,y}(s))\) for all \(x,y,z\in X\) and \(s,t \geq0\).

Definition 2.2

[23]

Let \((X,F,\Delta)\) be a Menger PM-space. Then

  1. (i)

    a sequence \(\{x_{n}\}\) is said to be convergent to \(x \in X\) if for every \(\epsilon>0\) and \(\lambda>0\), there exists a positive integer \(Z^{+}\) such that \(F_{x_{n},x}(\epsilon)>1-\lambda\) whenever \(n\geq Z^{+}\);

  2. (ii)

    a sequence \(\{x_{n}\}\) in X is called a \(Cauchy\) sequence if for every \(\epsilon>0\) and \(\lambda>0\), there exists a positive integer \(Z^{+}\) such that \(F_{x_{n},x_{m}}(\epsilon)>1-\lambda\) whenever \(n,m\geq Z^{+}\);

  3. (iii)

    a Menger PM-space is said to be M-complete if every \(Cauchy\) sequence in X is convergent to a point in X;

  4. (iv)

    a sequence \(\{x_{n}\}\) is said to be a G-Cauchy sequence if \(\lim_{n\rightarrow\infty}F_{x_{n},x_{n+m}}(t)=1\) for each \(m \in Z^{+}\) and \(t>0\);

  5. (v)

    the space \((X,F,\Delta)\) is called G-complete if every G-Cauchy sequence in X is convergent to a point in X.

According to [2], the \((\epsilon,\lambda)\)-topology in a Menger PM-space \((X,F,\Delta)\) is introduced by the family of neighborhoods \(N_{x}\) of a point \(x \in X\) given by \(N_{x}=\{N_{x}(\epsilon,\lambda ):\epsilon>0, \lambda\in(0,1)\}\), where \(N_{x}(\epsilon,\lambda)=\{ y \in X: F_{x,y}(\epsilon)>1-\lambda\}\). Then \((\epsilon,\lambda )\)-topology is a Hausdorff topology.

Definition 2.3

[11]

A function \(\phi: R^{+}\rightarrow R^{+}\) is said to be a ϕ-function if it satisfies the following conditions:

  1. (i)

    \(\phi(t)=0\) if and only if \(t=0\);

  2. (ii)

    \(\phi(t)\) is strictly increasing and \(\phi(t)\rightarrow \infty\) as \(t\rightarrow\infty\);

  3. (iii)

    ϕ is left-continuous in \((0, \infty)\);

  4. (iv)

    ϕ is continuous at 0.

Definition 2.4

Let X be a nonempty set. Let \(T: \underbrace{X\times X \times \cdots\times X }_{m\text{-times}}\rightarrow X\) and \(A:X \rightarrow X\) be two mappings. A is said to be commutative with T if \(AT(x,y,\ldots,z)=T(Ax,Ay,\ldots,Az)\) for all \(x,y,\ldots ,z \in X\). A point \(u \in X\) is called a multipled common fixed point of T and A if \(u=Au=T(u,u,\ldots,u)\).

3 Main results

In this section, we denote by Φ the class of all nondecreasing functions \(\varphi:R^{+}\rightarrow R^{+}\) such that φ is continuous at 0, \(\varphi(0)=0\) and \(\varphi ^{n}(a_{n})\rightarrow0\) whenever \(a_{n}\rightarrow0\) as \(n\rightarrow\infty\).

Theorem 3.1

Let \((X,F,\Delta)\) be a G-complete Menger space with Δ a continuous t-norm. Let \(T: \underbrace{X \times X \times\cdots \times X}_{m\textit{-times}} \rightarrow X\) and \(A:X \rightarrow X\) be two mappings satisfying the following inequality:

$$\begin{aligned}& \frac{1}{F_{T(x,y,\ldots,z),T(p,q,\ldots,r)}(\phi(ct))}-1 \\& \quad \leq \varphi\biggl\{ \frac{(\frac{1}{F_{Ax,Ap}(\phi(t))}-1) + (\frac {1}{F_{Ay,Aq}(\phi(t))}-1) + \cdots + (\frac{1}{F_{Az,Ar}(\phi(t))}-1) }{m} \biggr\} \end{aligned}$$
(3.1)

for all \(x, y,\ldots,z, p, q,\ldots,r\in X\), \(c\in(0,1)\), \(\varphi \in\Phi\), ϕ is a ϕ-function, \(t>0\), such that \(F_{Ax,Ap}(\phi(t))>0, F_{Ay,Ap}(\phi(t))>0, \ldots , F_{Az,Ar}(\phi(t))>0\), where \(T(X \times X \times\cdots\times X)\subset A(X)\), A is continuous and commutative with T. Then there exists a unique multipled common fixed point of A and T, i.e., there exists a unique \(u\in X\) such that \(u=Au=T(u,u,\ldots,u)\).

Proof

Let \(\{x_{n}\}_{n=1}^{\infty}, \{y_{n}\}_{n=1}^{\infty }, \ldots, \{z_{n}\}_{n=1}^{\infty}\) be m-times sequences in X such that \(Ax_{n+1}=T(x_{n},y_{n}, \ldots,z_{n})\) and \(Ay_{n+1}=T(y_{n},\ldots,z_{n},x_{n})\), \(Az_{n+1}=T(z_{n},x_{n},y_{n},\ldots)\). From \(\sup_{t \in R}F_{Ax_{0},Ax_{1}}(t)=1, \sup_{t \in R}F_{Ay_{0},Ay_{1}}(t)=1, \ldots, \sup_{t \in R}F_{Az_{0},Az_{1}}(t)=1\) and the definition of ϕ, one can find \(t>0\) such that \(F_{Ax_{0},Ax_{1}}(\phi(\frac {t}{c}))>0, F_{Ay_{0},Ay_{1}}(\phi(\frac{t}{c}))>0, \ldots, F_{Az_{0},Az_{1}}(\phi(\frac{t}{c}))>0\). From (3.1), we have

$$\begin{aligned}& \frac{1}{F_{Ax_{1},Ax_{2}}(\phi(t))}-1 \\& \quad = \frac{1}{F_{T(x_{0},y_{0},\ldots,z_{0}),T(x_{1},y_{1},\ldots ,z_{1})}({\phi(t)})}-1 \\& \quad \leq \varphi\biggl\{ \frac{(\frac{1}{F_{Ax_{0},Ax_{1}}(\phi(\frac {t}{c}))}-1) + (\frac{1}{F_{Ay_{0},Ay_{1}}(\phi(\frac{t}{c}))}-1) + \cdots + (\frac{1}{F_{Az_{0},Az_{1}}(\phi(\frac{t}{c}))}-1) }{m} \biggr\} . \end{aligned}$$
(3.2)

Similarly, we have

$$\begin{aligned}& \frac{1}{F_{Ay_{1},Ay_{2}}(\phi(t))}-1 \\& \quad \leq \varphi\biggl\{ \frac{ (\frac{1}{F_{Ay_{0},Ay_{1}}(\phi(\frac {t}{c}))}-1) + \cdots + (\frac{1}{F_{Az_{0},Az_{1}}(\phi(\frac {t}{c}))}-1) + (\frac{1}{F_{Ax_{0},Ax_{1}}(\phi(\frac{t}{c}))}-1) }{m} \biggr\} , \end{aligned}$$
(3.3)
$$\begin{aligned}& \ldots, \\& \frac{1}{F_{Az_{1},Az_{2}}(\phi(t))}-1 \\& \quad \leq \varphi\biggl\{ \frac{ (\frac{1}{F_{Az_{0},Az_{1}}(\phi(\frac {t}{c}))}-1) + (\frac{1}{F_{Ax_{0},Ax_{1}}(\phi(\frac{t}{c}))}-1) + (\frac{1}{F_{Ay_{0},Ay_{1}}(\phi(\frac{t}{c}))}-1) + \cdots }{m} \biggr\} . \end{aligned}$$
(3.4)

Suppose that \(P_{0}(t)=\frac{(\frac{1}{F_{Ax_{0},Ax_{1}}(\phi (t))}-1) + (\frac{1}{F_{Ay_{0},Ay_{1}}(\phi(t))}-1) + \cdots + (\frac{1}{F_{Az_{0},Az_{1}}(\phi(t))}-1) }{m} \), from (3.2), (3.3) and (3.4) we deduce that \(F_{Ax_{1},Ax_{2}}(\phi (t))>0, F_{Ay_{1},Ay_{2}}(\phi(t))>0, \ldots, F_{Az_{1},Az_{2}}(\phi(t))>0\), and so \(F_{Ax_{1},Ax_{2}}(\phi(\frac{t}{c}))>0, F_{Ay_{1},Ay_{2}}(\phi(\frac{t}{c}))>0, \ldots, F_{Az_{1},Az_{2}}(\phi(\frac{t}{c}))>0\), then we have

$$\begin{aligned}& \frac{1}{F_{Ax_{2},Ax_{3}}(\phi(t))}-1 \\& \quad = \frac{1}{F_{T(x_{1},y_{1},\ldots,z_{1}),T(x_{2},y_{2},\ldots ,z_{2})}(\phi(t))}-1 \\& \quad \leq \varphi\biggl\{ \frac{(\frac{1}{F_{Ax_{1},Ax_{2}}(\phi(\frac {t}{c}))}-1) + (\frac{1}{F_{Ay_{1},Ay_{2}}(\phi(\frac{t}{c}))}-1) + \cdots + (\frac{1}{F_{Az_{1},Az_{2}}(\phi(\frac{t}{c}))}-1) }{m}\biggr\} \\& \quad \leq \varphi\biggl\{ \frac{ \varphi(P_{0}(\frac{t}{c^{2}})) + \varphi (P_{0}(\frac{t}{c^{2}})) + \cdots + \varphi(P_{0}(\frac{t}{c^{2}})) }{m} \biggr\} = \varphi^{2}\biggl\{ P_{0}\biggl(\frac{t}{c^{2}} \biggr) \biggr\} . \end{aligned}$$

Similarly, we have

$$\begin{aligned}& \frac{1}{F_{Ay_{2},Ay_{3}}(\phi(t))}-1 \leq \varphi^{2}\biggl\{ P_{0}\biggl( \frac{t}{c^{2}}\biggr) \biggr\} , \\& \ldots, \\& \frac{1}{F_{Az_{2},Az_{3}}(\phi(t))}-1 \leq \varphi^{2}\biggl\{ P_{0}\biggl( \frac{t}{c^{2}}\biggr) \biggr\} . \end{aligned}$$

Repeating the above procedure, we get

$$ \frac{1}{F_{Ax_{n},Ax_{n+1}}(\phi(t))}-1 \leq \varphi^{n} \biggl\{ P_{0}\biggl(\frac{t}{c^{n}}\biggr) \biggr\} . $$
(3.5)

If we change \(Ax_{0}, Ay_{0}, \ldots, Az_{0}\) with \(Ax_{r}, Ay_{r}, \ldots, Az_{r}\) in (3.5), then for all \(n>r\) we get

$$ \frac{1}{F_{Ax_{n},Ax_{n+1}}(\phi(c^{r}t))}-1 \leq \varphi^{n-r} \biggl\{ P_{r}\biggl( \frac{c^{r}t}{c^{n-r}}\biggr) \biggr\} . $$

Since \(\varphi^{n}(a_{n})\rightarrow0\) whenever \(a_{n}\rightarrow0\) as \(n\rightarrow\infty\), therefore the above inequality implies that

$$ \lim_{n \rightarrow\infty}F_{Ax_{n},Ax_{n+1}}\bigl(\phi \bigl(c^{r}t\bigr)\bigr)=1. $$
(3.6)

Now, let ϵ be given, using the properties of ϕ-function, we can find \(r \in Z^{+}\) such that \(\phi(c^{r}t)< \epsilon\). Then we have

$$ \lim_{n \rightarrow\infty}F_{Ax_{n},Ax_{n+1}}(\epsilon) \geq\lim _{n \rightarrow\infty}F_{Ax_{n},Ax_{n+1}}\bigl(\phi\bigl(c^{r}t\bigr) \bigr)=1. $$
(3.7)

By using a triangle inequality, we obtain

$$ F_{Ax_{n},Ax_{n+p}}(\epsilon)\geq\Delta\biggl(\underbrace {F_{Ax_{n},Ax_{n+1}}\biggl( \frac{\epsilon}{p}\biggr), \Delta \biggl(F_{Ax_{n+1},Ax_{n+2}}\biggl(\frac{\epsilon}{p} \biggr),\ldots ,F_{Ax_{n+p-1},Ax_{n+p}}\biggl(\frac{\epsilon}{p}\biggr) \biggr)}_{p\text{-times}}\biggr). $$

Let \(n \rightarrow\infty\) and make use of (3.7), for any integer p, we get

$$ \lim_{n \rightarrow\infty}F_{Ax_{n},Ax_{n+p}}(\epsilon)=1 \quad \mbox{for every } \epsilon>0. $$

Hence \(\{Ax_{n}\}\) is a G-Cauchy sequence. Similarly, we can obtain that \(\{Ay_{n}\}, \ldots, \{Az_{n}\}\) are G-Cauchy sequences. Since \((X,F,\Delta)\) is G-complete, therefore \(\lim_{n\rightarrow\infty}Ax_{n}=u, \lim_{n\rightarrow\infty}Ay_{n}=v, \ldots , \lim_{n\rightarrow\infty}Az_{n}=w\) for some \(u,v,\ldots,w \in X\).

Now we show that \(Au=T(u,v,\ldots,w)\).

By the continuity of A, we can obtain that \(\lim_{n \rightarrow\infty }AAx_{n}=Au, \lim_{n \rightarrow\infty}AAy_{n}=Av, \ldots , \lim_{n \rightarrow\infty}AAz_{n}=Aw\). Then the commutativity of A with T implies that \(AAx_{n+1}=T(Ax_{n}, Ay_{n},\ldots,Az_{n})\). From (3.1), we obtain

$$\begin{aligned}& \frac{1}{F_{AAx_{n+1},T(u,v,\ldots,w)}(\phi(t))}-1 \\& \quad = \frac{1}{F_{T(Ax_{n},Ay_{n},\ldots,Az_{n}),T(u,v,\ldots,w)}(\phi (t))}-1 \\& \quad \leq \varphi\biggl\{ \frac{(\frac{1}{F_{AAx_{n},Au}(\phi(\frac {t}{c}))}-1 ) + (\frac{1}{F_{AAy_{n},Av}(\phi(\frac{t}{c}))}-1 ) + \cdots + (\frac{1}{F_{AAz_{n},Aw}(\phi(\frac{t}{c}))}-1 )}{m} \biggr\} . \end{aligned}$$

Letting \(n \rightarrow\infty\), since \(\varphi(0)=0\), we have \(\lim_{n \rightarrow\infty}AAx_{n+1}=T(u,v,\ldots,w)\), from the above inequality, we get \(Au=T(u,v,\ldots,w)\). Similarly, we have \(Av=T(v,\ldots,w,u), \ldots, Aw=T(w,u,v,\ldots)\).

Next we will show that \(Au=u\). From (3.1), we have

$$\begin{aligned}& \frac{1}{F_{Ax_{1},Au}(\phi(t))}-1 \\& \quad = \frac{1}{F_{T(x_{0},y_{0},\ldots,z_{0}),T(u,v,\ldots, w)}(\phi (t))}-1 \\& \quad \leq \varphi\biggl\{ \frac{(\frac{1}{F_{Ax_{0},Au}(\phi(\frac {t}{c}))}-1 ) + (\frac{1}{F_{Ay_{0},Av}(\phi(\frac{t}{c}))}-1 ) + \cdots + (\frac{1}{F_{Az_{0},Aw}(\phi(\frac{t}{c}))}-1 )}{m} \biggr\} , \end{aligned}$$
(3.8)
$$\begin{aligned}& \frac{1}{F_{Ay_{1},Av}(\phi(t))}-1 \\& \quad \leq \varphi\biggl\{ \frac{(\frac{1}{F_{Ay_{0},Av}(\phi(\frac {t}{c}))}-1 ) + \cdots + (\frac{1}{F_{Az_{0},Aw}(\phi(\frac {t}{c}))}-1 ) + (\frac{1}{F_{Ax_{0},Au}(\phi(\frac{t}{c}))}-1 ) }{m} \biggr\} , \end{aligned}$$
(3.9)
$$\begin{aligned}& \ldots, \\& \frac{1}{F_{Az_{1},Aw}(\phi(t))}-1 \\& \quad \leq \varphi\biggl\{ \frac{(\frac{1}{F_{Az_{0},Aw}(\phi(\frac {t}{c}))}-1 ) + (\frac{1}{F_{Ax_{0},Au}(\phi(\frac{t}{c}))}-1 ) + (\frac{1}{F_{Ay_{0},Av}(\phi(\frac{t}{c}))}-1) + \cdots }{m} \biggr\} . \end{aligned}$$
(3.10)

Suppose that \(Q_{0}(t)= \frac{(\frac{1}{F_{Ax_{0},Au}(\phi(t))}-1 ) + (\frac{1}{F_{Ay_{0},Av}(\phi(t))}-1 ) + \cdots + (\frac {1}{F_{Az_{0},Aw}(\phi(t))}-1 )}{m} \). Combining (3.8), (3.9) with (3.10), we obtain

$$\begin{aligned}& \frac{1}{F_{Ax_{2},Au}(\phi(t))}-1 \\& \quad \leq \varphi\biggl\{ \frac{(\frac{1}{F_{Ax_{1},Au}(\phi(\frac {t}{c}))}-1 ) + (\frac{1}{F_{Ay_{1},Av}(\phi(\frac{t}{c}))}-1 )+ \cdots + (\frac{1}{F_{Az_{1},Aw}(\phi(\frac{t}{c}))}-1 )}{m} \biggr\} \\& \quad \leq \varphi\biggl\{ \frac{ \varphi(Q_{0}(\frac{t}{c^{2}})) + \varphi (Q_{0}(\frac{t}{c^{2}}))+ \cdots \varphi(Q_{0}(\frac{t}{c^{2}}))+ }{m} \biggr\} = \varphi^{2} \biggl\{ Q_{0}\biggl( \frac{t}{c^{2}}\biggr) \biggr\} , \\& \frac{1}{F_{Ay_{2},Av}(\phi(t))}-1 \leq \varphi^{2} \biggl\{ Q_{0}\biggl( \frac{t}{c^{2}}\biggr) \biggr\} , \\& \ldots, \\& \frac{1}{F_{Az_{2},Aw}(\phi(t))}-1 \leq \varphi^{2} \biggl\{ Q_{0}\biggl( \frac{t}{c^{2}}\biggr) \biggr\} . \end{aligned}$$

Repeating the above procedure, we obtain

$$ \frac{1}{F_{Ax_{n},Au}(\phi(t))}-1 \leq \varphi^{n} \biggl\{ Q_{0}\biggl(\frac{t}{c^{n}}\biggr) \biggr\} . $$
(3.11)

Since \(\varphi^{n}(a_{n})\rightarrow0\) whenever \(a_{n}\rightarrow0\) as \(n\rightarrow\infty\), we have \(\lim_{n \rightarrow\infty }Ax_{n}=Au\), which implies that \(Au=u=T(u,v,\ldots,w)\). Similarly, we have \(Av=v=T(v,\ldots,w,u), \ldots, Aw=w=T(w,u,v,\ldots)\).

Finally, we show that \(u=v=\cdots=w\).

For a better expression, we denote \(u=e_{1}, v=e_{2}, \ldots, w=e_{m}\), then \(Ae_{1}=e_{1}=T(e_{1},e_{2},e_{3}, \ldots, e_{m-1},e_{m}), Ae_{2}=e_{2}=T(e_{2},e_{3},\ldots, e_{m-1},e_{m},e_{1}), \ldots, Ae_{m}=e_{m}=T(e_{m},e_{1},e_{2},e_{3},\ldots, e_{m-1})\).

First, we prove that \(F_{e_{1},e_{2}}(\phi(s))>0\) for all \(s>0\). By the definition of ϕ, we have \(\phi(\frac {s}{c^{n}})\rightarrow\infty\) as \(n\rightarrow\infty\). Since \(\sup_{n\in Z_{+}}F_{e_{1},e_{2}}(\phi(\frac{s}{c^{n}}))=1, \sup_{n\in Z_{+}}F_{e_{2},e_{3}}(\phi(\frac{s}{c^{n}}))=1, \ldots, \sup_{n\in Z_{+}}F_{e_{m},e_{1}}(\phi(\frac{s}{c^{n}}))=1\), we deduce that there exists \(n \in Z^{+}\) such that \(F_{e_{1},e_{2}}(\phi(\frac {s}{c^{n}}))>0, F_{e_{2},e_{3}}(\phi(\frac{s}{c^{n}}))>0, \ldots , F_{e_{m},e_{1}}(\phi(\frac{s}{c^{n}}))>0\). Using (3.1), we obtain

$$\begin{aligned}& \frac{1}{F_{e_{1},e_{2}}(\phi(\frac{s}{c^{n-1}}))}-1 \\& \quad = \frac{1}{F_{T( e_{1} , e_{2}, \ldots, e_{m-1} , e_{m} ),T(e_{2},\ldots,e_{m-1}, e_{m}, e_{1} )}(\phi(\frac {s}{c^{n-1}}))}-1 \\& \quad \leq \varphi\biggl\{ \frac{(\frac{1}{F_{e_{1},e_{2}}(\phi(\frac {s}{c^{n}}))}-1 ) + \cdots + (\frac{1}{F_{e_{m-1},e_{m}}(\phi(\frac {s}{c^{n}}))}-1 ) + (\frac{1}{F_{e_{m},e_{1}}(\phi(\frac {s}{c^{n}}))}-1 ) }{m} \biggr\} , \end{aligned}$$

which implies that \(F_{e_{1},e_{2}}(\phi(\frac{s}{c^{n-1}}))>0\). Similarly, we can obtain that \(F_{e_{2},e_{3}}(\phi(\frac{s}{c^{n-1}}))>0, \ldots , F_{e_{m},e_{1}}(\phi(\frac{s}{c^{n-1}}))>0\). By repeating a similar reasoning n-times, we deduce that \(F_{e_{1},e_{2}}(\phi(s))>0, F_{e_{2},e_{3}}(\phi(s))>0, \ldots ,F_{e_{m},e_{1}}(\phi(s))>0\) for all \(s>0\).

Second, we show that \(F_{e_{1},e_{2}}(\phi(s))=1\). In fact, for every \(s>0\), we have \(F_{e_{1},e_{2}}(\phi(\frac{s}{c^{i}}))>0\) for all \(1\leq i\leq n\) and \(n \in Z^{+}\). Then, by using (3.1), we get

$$\begin{aligned}& \frac{1}{F_{e_{1},e_{2}}(\phi(s))}-1 \\& \quad = \frac{1}{F_{T( e_{1} , e_{2}, \ldots, e_{m-1} , e_{m} ),T(e_{2},\ldots,e_{m-1}, e_{m}, e_{1} )}(\phi(s))}-1 \\& \quad \leq \varphi\biggl\{ \frac{(\frac{1}{F_{e_{1},e_{2}}(\phi(\frac {s}{c}))}-1 ) + \cdots + (\frac{1}{F_{e_{m-1},e_{m}}(\phi(\frac {s}{c}))}-1 ) + (\frac{1}{F_{e_{m},e_{1}}(\phi(\frac{s}{c}))}-1 ) }{m} \biggr\} , \\& \frac{1}{F_{e_{2},e_{3}}(\phi(s))}-1 \\& \quad = \frac{1}{F_{T( e_{2} , e_{3}, \ldots, e_{m} ,e_{1} ),T(e_{3},e_{4},\ldots, e_{1},e_{2} )}(\phi(s))}-1 \\& \quad \leq \varphi\biggl\{ \frac{ (\frac{1}{F_{e_{2},e_{3}}(\phi(\frac {s}{c}))}-1 ) + \cdots + (\frac{1}{F_{e_{m},e_{1}}(\phi(\frac {s}{c}))}-1 ) + (\frac{1}{F_{e_{1},e_{2}}(\phi(\frac{s}{c}))}-1 )}{m} \biggr\} , \\& \ldots, \\& \frac{1}{F_{e_{m},e_{1}}(\phi(s))}-1 \\& \quad = \frac{1}{F_{T( e_{m} , e_{1}, \ldots, e_{m-2} ,e_{m-1} ),T(e_{1},e_{2},\ldots, e_{m-1},e_{m} )}(\phi(s))}-1 \\& \quad \leq \varphi\biggl\{ \frac{ (\frac{1}{F_{e_{m},e_{1}}(\phi(\frac {s}{c}))}-1 ) + (\frac{1}{F_{e_{1},e_{2}}(\phi(\frac{s}{c}))}-1 ) + \cdots + (\frac{1}{F_{e_{m-1},e_{m}}(\phi(\frac{s}{c}))}-1 ) }{m} \biggr\} . \end{aligned}$$

Suppose that \(E(s)=\frac{(\frac{1}{F_{e_{1},e_{2}}(\phi(s))}-1 ) + (\frac{1}{F_{e_{2},e_{3}}(\phi(s))}-1 ) + \cdots + (\frac {1}{F_{e_{m},e_{1}}(\phi(s))}-1 ) }{m}\), then \(E(s)\leq\varphi\{ E(\frac{s}{c})\}\). By n-iterations we get

$$ \frac{1}{F_{e_{1},e_{2}}(\phi(s))}-1 \leq \varphi\biggl\{ E\biggl( \frac{s}{c}\biggr)\biggr\} \leq\varphi^{2} \biggl\{ E\biggl( \frac{s}{c^{2}}\biggr)\biggr\} \leq\cdots\leq\varphi^{n}\biggl\{ E \biggl(\frac{s}{c^{n}}\biggr)\biggr\} . $$
(3.12)

Thus, since \(\varphi^{n}(a_{n})\rightarrow0\) whenever \(a_{n}\rightarrow0\) as \(n\rightarrow\infty\), we get \(F_{e_{1},e_{2}}(\phi(s))=1\). It follows that \(F_{e_{1},e_{2}}(t)=H(t)\) for all \(t>0\). In fact, if t is not in range of ϕ, since ϕ is continuous at 0, there exists \(s>0\) such that \(\phi(s)< t\). This implies that \(F_{e_{1},e_{2}}(t)\geq F_{e_{1},e_{2}}(\phi(s))=1\), then \(e_{1}=e_{2}\). Similarly, we have \(e_{2}=e_{3}, \ldots, e_{m}=e_{1}\), i.e., \(u=v=\cdots=w\). Thus, \(u \in X\) is the unique multipled common fixed point of A and T. □

Taking \(m=1\) in Theorem 3.1, then \(T:X\rightarrow X\), \(A=I_{x}\) (the identity mapping on X). It is obvious that \(T(X)\subset A(X)\), A is continuous and commutative with T, which also satisfies the conditions in Theorem 3.1, then we have the following consequence.

Corollary 3.1

Let \((X,F,\Delta)\) be a G-complete Menger space with Δ a continuous t-norm. Let \(T: X \rightarrow X\) satisfying the following inequality:

$$ \frac{1}{F_{Tx,Ty}(\phi(ct))}-1 \leq\varphi\biggl\{ \frac{1}{F_{x,y}(\phi(t))}-1 \biggr\} $$

for all \(x, y \in X\), \(c\in(0,1)\), \(\varphi\in\Phi\), ϕ is a ϕ-function, \(t>0\), such that \(F_{x,y}(\phi(t))>0\). Then T has a unique fixed point, i.e., there exists \(u \in X\) such that \(u=Au=Tu\).

Remark 3.1

Corollary 3.1 is Theorem 2.1 of [16].

Theorem 3.2

Let \((X,F,\Delta)\) be a G-complete Menger space with Δ a continuous t-norm and \(\Delta\leq\Delta_{p}\). Let \(T: \underbrace{X \times X \times\cdots\times X}_{m\textit{-times}} \rightarrow X\) and \(A:X \rightarrow X\) be two mappings satisfying the following inequality:

$$\begin{aligned}& \frac{1}{F_{T(x,y,\ldots,z),T(p,q,\ldots,r)}(\phi(ct))}-1 \\& \quad \leq\varphi\biggl\{ \sqrt[m]{\Delta\biggl( \frac{1}{F_{Ax,Ap}(\phi(t))}-1, \Delta\biggl( \frac{1}{F_{Ay,Aq}(\phi(t))}-1, \ldots, \frac {1}{F_{Az,Ar}(\phi(t))}-1\biggr) \biggr) } \biggr\} \end{aligned}$$

for all \(x, y,\ldots,z, p, q,\ldots,r \in X\), \(c\in(0,1)\), \(\varphi \in\Phi\), ϕ is a ϕ-function, \(t>0\), such that \(F_{Ax,Ap}(\phi(t))>0, F_{Ay,Ap}(\phi(t))>0, \ldots , F_{Az,Ar}(\phi(t))>0\), where \(T(X \times X \times\cdots\times X)\subset A(X)\), A is continuous and commutative with T. Then there exists a unique multipled common fixed point of A and T, i.e., \(u\in X\) such that \(u=Au=T(u,u,\ldots,u)\).

Proof

Since \(\Delta\leq\Delta_{p}\), we get

$$\begin{aligned}& \frac{1}{F_{T(x,y,\ldots,z),T(p,q,\ldots,r)}(\phi(ct))}-1 \\& \quad \leq \varphi\biggl\{ \sqrt[m]{\Delta\biggl( \frac{1}{F_{Ax,Ap}(\phi(t))}-1, \Delta\biggl( \frac{1}{F_{Ay,Aq}(\phi(t))}-1, \ldots, \frac {1}{F_{Az,Ar}(\phi(t))}-1\biggr) \biggr) } \biggr\} \\& \quad \leq \varphi\biggl\{ \sqrt[m]{ \biggl(\frac{1}{F_{Ax,Ap}(\phi(t))}-1\biggr) \biggl( \frac {1}{F_{Ay,Aq}(\phi(t))}-1\biggr) \cdots \biggl(\frac{1}{F_{Az,Ar}(\phi(t))}-1\biggr) }\biggr\} \\& \quad \leq \varphi\biggl\{ \frac{(\frac{1}{F_{Ax,Ap}(\phi(t))}-1) + (\frac {1}{F_{Ay,Aq}(\phi(t))}-1) + \cdots+ (\frac{1}{F_{Az,Ar}(\phi (t))}-1)}{m} \biggr\} . \end{aligned}$$

Then we can complete the proof by Theorem 3.1. □

4 An illustration

Example 4.1

Let \(X=[0,1]\), d be the usual metric on X. Define \(T:\underbrace{X \times X \times\cdots\times X}_{m\text{-times}}\rightarrow X\) as \(T(x_{1},x_{2},\ldots,x_{m})=\frac{x_{1}+x_{2}+\cdots+x_{m}}{3m}\), \(A:X\rightarrow X\) as \(Ax=\frac{x}{2}\) and

$$F_{x,y}(t)= \left \{ \textstyle\begin{array}{l@{\quad}l} \frac{t}{t+d(x,y)}, & {t>0}, \\ 0, & {t= 0} \end{array}\displaystyle \right . $$

for all \(x_{1}, x_{2}, \ldots, x_{m}, x,y \in X\), where \(T(X \times X \times\cdots\times X) \subset A(X)\). Then \((X,F,\Delta_{m})\) is a complete Menger PM-space, \(\Delta_{m}\) is a continuous t-norm. Define \(\varphi\in\Phi\) by \(\varphi(t)=\frac{99t}{100}\) and \(\phi(t)=\frac{t}{5}\) for all \(t>0\), \(c=\frac{9}{10}\). We obtain

$$\begin{aligned}& \frac{1}{F_{T(x_{1},x_{2},\ldots,x_{m}),T(y_{1},y_{2},\ldots ,y_{m})}(\phi(ct))}-1 = \frac{ |T(x_{1},x_{2},\ldots,x_{m})-T(y_{1},y_{2},\ldots,y_{m}) |}{\phi(ct)} \\& \hphantom{\frac{1}{F_{T(x_{1},x_{2},\ldots,x_{m}),T(y_{1},y_{2},\ldots ,y_{m})}(\phi(ct))}-1} = \frac{50|(x_{1}+x_{2}+\cdots+x_{m})-(y_{1}+y_{2}+\cdots +y_{m})|}{27mt}, \\& \varphi\biggl\{ \frac{ (\frac{1}{F_{Ax_{1},Ay_{1}}(\phi(t))}-1) + (\frac {1}{F_{Ax_{2},Ay_{2}}(\phi(t))}-1) +\cdots+ (\frac {1}{F_{Ax_{m},Ay_{m}}(\phi(t))}-1) }{m}\biggr\} \\& \quad = \varphi\biggl\{ \frac{ |Ax_{1}-Ay_{1}| + |Ax_{2}-Ay_{2}| + \cdots+ |Ax_{m}-Ay_{m}| }{m\phi(t)}\biggr\} \\& \quad = \frac{99( |x_{1}-y_{1}| + |x_{2}-y_{2}| + \cdots+ |x_{m}-y_{m}| )}{40mt}. \end{aligned}$$

It is obvious that

$$\begin{aligned} \begin{aligned} &\frac{1}{F_{T(x_{1},x_{2},\ldots,x_{m}),T(y_{1},y_{2},\ldots ,y_{m})}(\phi(ct))}-1 \\ &\quad \leq\varphi\biggl\{ \frac{ (\frac {1}{F_{Ax_{1},Ay_{1}}(\phi(t))}-1) + (\frac{1}{F_{Ax_{2},Ay_{2}}(\phi (t))}-1) +\cdots+ (\frac{1}{F_{Ax_{m},Ay_{m}}(\phi(t))}-1) }{m}\biggr\} \end{aligned} \end{aligned}$$

for all \(t>0\). Thus all the conditions of Theorem 3.1 are satisfied. Therefore, 0 is the unique multipled common fixed point of A and T.

References

  1. Menger, K: Statistical metrics. Proc. Natl. Acad. Sci. USA 28, 535-537 (1942)

    Article  MathSciNet  MATH  Google Scholar 

  2. Schweizer, B, Sklar, A: Statistical metric spaces. Pac. J. Math. 10, 313-334 (1960)

    Article  MathSciNet  MATH  Google Scholar 

  3. Zhu, CX: Several nonlinear operator problems in the Menger PN space. Nonlinear Anal. 65(7), 1281-1284 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  4. Zhu, CX: Research on some problems for nonlinear operators. Nonlinear Anal. 71(10), 4568-4571 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  5. Ćirić, L: Solving the Banach fixed point principle for nonlinear contractions in probabilistic metric spaces. Nonlinear Anal. 72(3), 2009-2018 (2010)

    MathSciNet  MATH  Google Scholar 

  6. Chauhan, S, Pant, BD: Fixed point theorems for compatible and subsequentially continuous mappings in Menger spaces. J. Nonlinear Sci. Appl. 7(2), 78-89 (2014)

    MathSciNet  MATH  Google Scholar 

  7. Xiao, JZ, Zhu, XH, Liu, XY: An alternative characterization of probabilistic Menger spaces with H-type triangular norms. Fuzzy Sets Syst. 227, 107-114 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  8. Wu, ZQ, Zhu, CX, Li, J: Common fixed point theorems for two hybrid pairs of mappings satisfying the common property (E.A) in Menger PM-spaces. Fixed Point Theory Appl. 2013(1), 25 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  9. Sehgal, VM, Bharucha-Reid, AT: Fixed points of contraction mappings on probabilistic metric spaces. Theory Comput. Syst. 6(1), 97-102 (1972)

    MathSciNet  MATH  Google Scholar 

  10. Khan, MS, Swaleh, M, Sessa, S: Fixed point theorems by altering distances between the points. Bull. Aust. Math. Soc. 30(1), 1-9 (1984)

    Article  MathSciNet  Google Scholar 

  11. Choudhury, BS, Das, K: A new contraction principle in Menger spaces. Acta Math. Sin. Engl. Ser. 24(8), 1379-1386 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  12. Jachymski, J: On probabilistic φ-contractions on Menger spaces. Nonlinear Anal. 73, 2199-2203 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  13. Dutta, PN, Choudhury, BS, Das, K: Some fixed point results in Menger spaces using a control function. Surv. Math. Appl. 4, 41-52 (2009)

    MathSciNet  Google Scholar 

  14. Vetro, C, Vetro, P: Common fixed points for discontinuous mappings in fuzzy metric spaces. Rend. Circ. Mat. Palermo 57(2), 295-303 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  15. Gopal, D, Abbas, M, Vetro, C: Some new fixed point theorems in Menger PM-spaces with application to Volterra type integral equation. Appl. Math. Comput. 232, 955-967 (2014)

    Article  MathSciNet  Google Scholar 

  16. Kutbi, MA, Gopal, D, Vetro, C, Sintunavarat, W: Further generalization of fixed point theorems in Menger PM-spaces. Fixed Point Theory Appl. 2015(1), 32 (2015)

    Article  MathSciNet  Google Scholar 

  17. Došenovć, T, Kumam, P, Gopal, D, Patel, DK, Takači, A: On fixed point theorems involving altering distances in Menger probabilistic metric spaces. J. Inequal. Appl. 2013(1), 576 (2013)

    Article  Google Scholar 

  18. Wairojjana, N, Došenović, T, Rakic, D, Gopal, D, Kumam, P: An altering distance function in fuzzy metric fixed point theorems. Fixed Point Theory Appl. 2015(1), 69 (2015)

    Article  Google Scholar 

  19. Xiao, JZ, Zhu, XH, Cao, YF: Common coupled fixed point results for probabilistic φ-contractions in Menger spaces. Nonlinear Anal. 74(13), 4589-4600 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  20. Sedghi, S, Altun, I, Shobe, N: Coupled fixed point theorems for contractions in fuzzy metric spaces. Nonlinear Anal. 72(3), 1298-1304 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  21. Luo, T, Zhu, CX, Wu, ZQ: Tripled common fixed point theorems under probabilistic φ-contractive conditions in generalized Menger probabilistic metric spaces. Fixed Point Theory Appl. 2014(1), 158 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  22. Hadžić, O, Pap, E: Fixed Point Theory in Probabilistic Metric Spaces. Kluwer Academic, Dordrecht (2001)

    MATH  Google Scholar 

  23. Schweizer, B, Sklar, A: Probabilistic Metric Spaces. North-Holland, Amsterdam (1983)

    MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the editor and the referees for their constructive comments and suggestions. The research was supported by the National Natural Science Foundation of China (11361042, 11326099, 11461045, 11071108) and the Provincial Natural Science Foundation of Jiangxi, China (20132BAB201001, 20142BAB211016, 2010GZS0147).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Chuanxi Zhu.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Mu, X., Zhu, C. & Wu, Z. New multipled common fixed point theorems in Menger PM-spaces. Fixed Point Theory Appl 2015, 136 (2015). https://doi.org/10.1186/s13663-015-0389-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13663-015-0389-z

MSC

Keywords