Abstract
In this paper, we establish the structure of Menger PbM-spaces as a generalization of Menger PM-spaces. We present some fixed point theorems for a new class of contractive mappings in the framework of Menger PbM-spaces. We also provide examples to illustrate the results presented herein. Then we utilize our main result to obtain the existence and uniqueness of a solution for a Volterra type integral equation.
Similar content being viewed by others
1 Introduction and preliminaries
The concept of a Menger probabilistic metric space (briefly, Menger PM-space) was initiated by Menger [1]. The idea of Menger was to use a distribution function instead of a nonnegative number for the value of a metric. The notion of a probabilistic metric space corresponds to the situation when we do not know exactly the distance between two points. Thus, one thinks of the distance between two points x and y as being probabilistic with \(F_{x,y}(t)\) representing the probability that the distance between x and y is less than t.
In 1972, Sehgal and Bharucha-Reid [2] obtained a generalization of the Banach contraction principle on a complete Menger PM-space, which is a milestone in developing fixed point theory in a Menger PM-space. After that, Schweizer and Sklar [3] studied the properties of Menger PM-spaces and gave some basic results on these spaces.
In recent times, the study on existence of fixed points for mappings satisfying generalized contractive type conditions in Menger PM-spaces has attracted much attention (see [4–7]). This study was initiated by Ćirić in [8]; more details in [9]. Also a nice overview of this research can be found in the book of Hadžić and Pap [10].
On the other hand, the notion of a b-metric space was studied by Czerwik [11, 12] and many fixed point results were obtained for single and multivalued mappings by Czerwik and many other authors (see [13–16] and references cited therein).
In this paper, motivated by [5, 11], we establish the structure of Menger PbM-spaces and obtain fixed point results for classes of mappings that extend the notion of generalized β-type contractive mappings introduced by Gopal et al. [5] in Menger PbM-spaces. We also give some examples to show that our fixed point theorems for the new type of contractive mappings are independent. Then we use our main results to obtain the existence and uniqueness of a solution for a Volterra type integral equation.
In the following, we provide some notations, definitions and auxiliary facts will be used later in this paper. Throughout this paper, \(\mathbb{R}^{+}\) denotes the set of nonnegative real numbers.
Definition 1.1
Let X be a nonempty set, and let the functional \(d : X \times X\rightarrow[0,\infty)\) satisfy:
-
(b1)
\(d(x,y) = 0\) if and only if \(x = y\),
-
(b2)
\(d(x,y) = d(y,x)\) for all \(x,y\in X\),
-
(b3)
there exists a real number \(s \geq1\) such that \(d(x,z) \leq s[d(x,y) + d(y,z)]\) for all \(x,y,z\in X\).
Then d is called a b-metric on X and a pair \((X,d)\) is called a b-metric space with coefficient s.
Definition 1.2
[18]
Let \((X, d)\) be a b-metric space. Then a sequence \(\{x_{n}\}\) in X is called:
-
(i)
convergent if and only if there exists \(x \in X\) such that \(d(x_{n},x)\rightarrow0\) as \(n\rightarrow\infty\); in this case, we write \({\lim_{n\rightarrow\infty}}x_{n}=x\);
-
(ii)
Cauchy if and only if \(d(x_{n}, x_{m})\rightarrow0\) as \(m,n\rightarrow\infty\). The b-metric space \((X,d)\) is complete if every Cauchy sequence in X converges in X.
Remark 1.3
[18]
Notice that in a b-metric space \((X,d)\) the following assertions hold:
-
(i)
a convergent sequence has a unique limit;
-
(ii)
each convergent sequence is Cauchy;
- (iii)
-
(iv)
in general, a b-metric is not continuous;
-
(v)
in general, a b-metric does not induce a topology on X.
Example 1.4
[16]
Let \(X=[0,\infty)\) and define \(d:X\times X\rightarrow [0,\infty)\) as
Then \((X,d)\) is a complete b-metric space with coefficient \(s=2>1\), but it is not a usual metric space.
Definition 1.5
[21]
Let \((X,d)\) and \((X',d')\) be two b-metric spaces with coefficient s and \(s'\), respectively. A mapping \(T:X\rightarrow X'\) is called continuous if for each sequence \(\{x_{n}\}\) in X, which converges to \(x\in X\) with respect to d, then \(\{Tx_{n}\} \) converges to Tx with respect to \(d'\).
We recall the following definitions in the class of Menger PM-spaces.
Definition 1.6
[5]
A binary operation \(T:[0,1]\times[0,1]\rightarrow[0,1]\) is a continuous t-norm if the following conditions hold:
-
(i)
T is commutative and associative,
-
(ii)
T is continuous,
-
(iii)
\(T(a,1)=a\) for all \(a\in[0,1]\),
-
(iv)
\(T(a,b)\leq T(c,d)\) whenever \(a\leq c\) and \(b\leq d\), for \(a,b,c,d\in[0,1]\).
The following are three basic continuous t-norms:
-
(1)
The minimum t-norm, say \(T_{M}\), defined by \(T_{M}(a,b)=\min\{a,b\}\).
-
(2)
The product t-norm, say \(T_{P}\), defined by \(T_{P}(a,b)=ab\).
-
(3)
The Lukasiewicz t-norm, say \(T_{L}\), defined by \(T_{L}(a,b)=\max\{ a+b-1,0\}\).
These t-norms are related in the following way: \(T_{L}\leq T_{P}\leq T_{M}\).
Definition 1.7
[6]
A function \(F:(-\infty,+\infty)\rightarrow[0,1]\) is called a distribution function if it is non-decreasing and left-continuous with \({\lim_{t\rightarrow-\infty }}{F(t)}=0\). If in addition \(F(0)=0\), then F is called a distance distribution function.
Definition 1.8
[6]
A distance distribution function F satisfying \({\lim_{t\rightarrow+\infty}}{F(t)}=1\) is called a Menger distance distribution function. The set of all Menger distance distribution functions is denoted by \(\mathcal{D}^{+}\). A special Menger distance distribution function is given by
Definition 1.9
[5]
A Menger probabilistic metric space (briefly, Menger PM-space) is a triple \((X,F,T)\) where X is a nonempty set, T is a continuous t-norm, and F is a mapping from \(X\times X\) into \(\mathcal{D}^{+}\) such that, if \(F_{x,y}\) denotes the value of F at the pair \((x,y)\), the following conditions hold:
-
(PM1)
\(F_{x,y}(t)=\mathcal{H}(t)\) if and only if \(x=y\),
-
(PM2)
\(F_{x,y}(t)=F_{y,x}(t)\),
-
(PM3)
\(F_{x,y}(t+s)\geq T(F_{x,z}(t), F_{z,y}(s))\) for all \(x,y,z\in X\) and \(s,t\geq0\).
Definition 1.10
[5]
Let \((X, F,T)\) be a Menger PM-space. Then:
-
(i)
A sequence \(\{x_{n}\}\) in X is said to be convergent to x in X if, for every \(\varepsilon>0\) and \(\lambda> 0\) there exists a positive integer N such that \(F_{x_{n},x}(\varepsilon)>1-\lambda\), whenever \(n\geq N\).
-
(ii)
A sequence \(\{x_{n}\}\) in X is called a Cauchy sequence if, for every \(\varepsilon>0\) and \(\lambda>0\) there exists a positive integer N such that \(F_{x_{n},x_{m}}(\varepsilon)>1-\lambda\), whenever \(n,m\geq N\).
-
(iii)
A Menger PM-space is said to be complete if every Cauchy sequence in X is convergent to a point in X.
According to [3], the \((\varepsilon,\lambda)\)-topology in a Menger PM-space \((X, F,T)\) is introduced by the family of neighborhoods \(N_{x}\) of a point \(x\in X\) given by \(N_{x}=\{N_{x}(\varepsilon,\lambda ):\varepsilon>0,\lambda\in(0,1)\}\), where \(N_{x}(\varepsilon,\lambda)=\{ y\in X:F_{x,y}(\varepsilon)>1-\lambda\}\).
The \((\varepsilon,\lambda)\)-topology is a Hausdorff topology. In this topology a function f is continuous in \(x_{0}\in X\) if and only if \(f(x_{n})\rightarrow f(x_{0})\), for every sequence \(x_{n}\rightarrow x_{0}\).
Example 1.11
[22]
Let \((X,d)\) be a metric space. Define a mapping \(F:X\times X\rightarrow\mathcal{D}^{+}\) by
Then \((X,F,T_{M})\) is a Menger PM-space induced by \((X,d)\). If \((X,d)\) is complete, then \((X,F,T_{M})\) is complete.
Definition 1.12
[5]
A function \(\phi:\mathbb{R}^{+}\rightarrow\mathbb{R}^{+}\) is said to be a Φ-function if it satisfies the following conditions:
-
(i)
\(\phi(t)=0\) if and only if \(t=0\),
-
(ii)
\(\phi(t)\) is strictly monotone increasing and \(\phi(t)\rightarrow \infty\) as \(t\rightarrow\infty\),
-
(iii)
ϕ is left-continuous in \((0,\infty)\),
-
(iv)
ϕ is continuous at 0.
In the sequel, the class of all Φ-functions will be denoted by Φ.
We conclude this section recalling the following fixed point theorem of Gopal et al., see [5]. Before this, we quote some definitions.
Definition 1.13
[5]
Let \((X,F,T)\) be a Menger PM-space and \(f:X\rightarrow X\) be a given mapping. We say that f is a generalized β-type contractive mapping if there exists a function \(\beta:X\times X\times(0,\infty)\rightarrow(0,\infty)\) such that
for all \(x,y\in X\) and for all \(t>0\), where \(\phi\in\Phi\) and \(c\in(0,1)\).
Definition 1.14
[5]
Let \((X,F,T)\) be a Menger PM-space, \(f:X\rightarrow X\) be a given mapping and \(\beta: X\times X\times (0,\infty)\rightarrow(0,\infty)\) be a function. We say that f is β-admissible if
Theorem 1.15
[5]
Let \((X,F,T)\) be a complete Menger PM-space with continuous t-norm T which satisfies \(T(a,a)\geq a\) with \(a\in[0,1]\). Let \(f:X\rightarrow X\) be a generalized β-type contractive mapping satisfying the following conditions:
-
(i)
f is β-admissible,
-
(ii)
there exists \(x_{0}\in X\) such that \(\beta(x_{0},fx_{0},t)\leq1\) for all \(t>0\),
-
(iii)
if \(\{x_{n}\}\) is a sequence in X such that \(\beta (x_{n},x_{n+1},t)\leq1\) for all \(n\in\mathbb{N}\) and for all \(t>0\) and \(x_{n}\rightarrow x\) as \(n\rightarrow\infty\), then \(\beta(x_{n},x,t)\leq1\) for all \(n\in\mathbb{N}\) and for all \(t>0\).
Then f has a fixed point.
We denote by \(\operatorname{Fix}(f)\) the set of fixed points of f. Consider the following condition:
-
(J)
For all \(u,v\in \operatorname{Fix}(f)\) and for all \(t>0\) there exists \(z\in X\) such that \(\beta(z,fz,t)\leq1\) with \(\beta(u,z,t)\leq1\) and \(\beta(v,z,t)\leq1\).
Theorem 1.16
[5]
Adding condition (J) to the hypotheses of Theorem 1.15, we find that f has a unique fixed point.
2 Main results
In this section, we introduce the notion of a Menger PbM-space and describe some of its properties.
Definition 2.1
A Menger probabilistic b-metric space (briefly, Menger PbM-space) with coefficient α is a triple \((X,F,T)\) where X is a nonempty set, T is a continuous t-norm, F is a mapping from \(X\times X\) into \(\mathcal{D}^{+}\) (for \(x,y\in X\), we denote \(F(x,y)\) by \(F_{x,y}\)), and α is a real number in \((0,1]\) such that the following conditions hold:
-
(PbM1)
\(F_{x,y}(t)=\mathcal{H}(t)\) for all \(t\in\mathbb{R}\), if and only if \(x=y\),
-
(PbM2)
\(F_{x,y}(t)=F_{y,x}(t)\) for all \(x,y\in X\) and \(t\in\mathbb {R}\),
-
(PbM3)
\(F_{x,y}(t+s)\geq T(F_{x,z}(\alpha t),F_{z,y}(\alpha s))\) for all \(x,y,z\in X\), and \(t,s\geq0\).
It should be noted that the class of Menger PbM-spaces is larger than the class of Menger PM-spaces, since a Menger PbM-space is a Menger PM-space when \(\alpha= 1\).
Definition 2.2
Let \((X,F,T)\) be a Menger PbM-space. Then a sequence \(\{x_{n}\}\) in X is called:
-
(i)
convergent to x in X (often denoted by \(x_{n}\rightarrow x\)) if for any given \(\varepsilon>0\) and \(\lambda\in(0,1)\), there exists a positive integer \(N=N(\varepsilon ,\lambda)\) such that \(F_{x_{n},x} (\varepsilon)>1-\lambda\) whenever \(n\geq N\), which is equivalent to \({\lim_{n\rightarrow\infty}}{F_{x_{n},x}(t)}=1\) for all \(t>0\);
-
(ii)
Cauchy if for any given \(\varepsilon>0\) and \(\lambda\in(0,1)\), there exists a positive integer \(N=N(\varepsilon,\lambda)\) such that \(F_{x_{n},x_{m}}(\varepsilon)>1-\lambda\) whenever \(n,m\geq N\).
The Menger PbM-space \((X,F,T)\) is said to be complete if every Cauchy sequence in X is convergent in X.
Remark 2.3
In a Menger PbM-space \((X,F,T)\) the following assertions hold:
-
(i)
a convergent sequence has a unique limit,
-
(ii)
in general, a Menger PbM-space is not a topological space.
In the following we present examples which show that introducing a Menger PbM-space instead of Menger PM-space is meaningful.
Example 2.4
Let \(X=\mathbb{R}^{+}\). Define \(F:X\times X\rightarrow \mathcal{D}^{+}\) by
for all \(x,y\in X\). It is easy to show that \((X, F, T_{M})\) is a complete Menger PbM-space with \(\alpha=\frac{1}{2}\). However, it is not a Menger PM-space. We show that (PM3) does not hold. To prove this, let \(x=3\), \(y=1\), \(z=2\), \(t_{1}=1\), and \(t_{2}=2\). Then \(F_{x,y}(t_{1}+t_{2})=\frac{3}{7}\), \(F_{x,z}(t_{1})=\frac{1}{2}\), and \(F_{z,y}(t_{2})=\frac{2}{3}\), hence \(F_{x,y}(t_{1}+t_{2})=\frac{3}{7}\ngeqslant \frac{1}{2}=T_{M}(F_{x,z}(t_{1}),F_{z,y}(t_{2}))\).
Example 2.5
Let \((X,d)\) be a b-metric space with coefficient \(s\geq1\). Define a mapping \(F:X\times X\rightarrow\mathcal{D}^{+}\) as in Example 1.11. Then \((X,F,T_{M})\) is a Menger PbM-space with \(\alpha=\frac{1}{s}\). We know that \(t_{1}+t_{2}-d(x,y)\geq t_{1}-s d(x,z)+t_{2}-s d(z,y)\), for each \(x,y,z\in X\), \(t_{1},t_{2}\in\mathbb{R}\), and hence by the properties of \(\mathcal{H}\), we get
It gives (PbM3). Furthermore, a straightforward computation shows that if \((X,d)\) is complete, then \((X,F,T_{M})\) is complete.
Now assume that \((X,d)\) is as in Example 1.4. Then by the above comment, \((X,F,T_{M})\) is a complete Menger PbM-space with \(\alpha=\frac{1}{2}\). We claim that \((X,F,T_{M})\) is not a Menger PM-space. Indeed, (PM3) does not hold. To see this, let \(x=1\), \(y=0\), \(z=\frac{1}{3}\), \(t_{1}=\frac{1}{2}\), and \(t_{2}=\frac{1}{3}\). Then \(F_{x,y}(t_{1}+t_{2})=0\) and \(F_{x,z}(t_{1})=F_{z,y}(t_{2})=1\), hence \(F_{x,y}(t_{1}+t_{2})=0\ngeqslant1=T_{M}(F_{x,z}(t_{1}),F_{z,y}(t_{2}))\).
Note that the above examples are Menger PbM-spaces (but are not Menger PM-spaces) if \(T_{M}\) substitutes with \(T_{P}\) or \(T_{L}\).
The following result is used in our next considerations. It is a generalization of [4], Lemma 2.5 in Menger PbM-spaces.
Lemma 2.6
Let \((X,F,T)\) be a Menger PbM-space with coefficient α. Then the function F is a lower semi-continuous function of points, i.e., for every fixed \(t>0\) and every two convergent sequences \(\{x_{n}\}\), \(\{y_{n}\}\) in X such that \(x_{n}\rightarrow x\) and \(y_{n}\rightarrow y\) it follows that \({\lim_{n\rightarrow\infty}}\inf F_{x_{n},y_{n}}(t)=F_{x,y}(t)\).
Proof
Let \(t>0\) and \(\varepsilon>0\) be given. Since \(F_{x,y}\) is left-continuous at t so there exists \(\delta_{1}\) such that \(0<\delta _{1}<t\) and \(F_{x,y}(t)-F_{x,y}(t-\delta_{1})<\varepsilon\). Suppose h is an arbitrary fixed real number with \(0<2h<\delta_{1}\), then \(F_{x,y}(t)-F_{x,y}(t-2h)<\varepsilon\). Using again left-continuity of \(F_{x,y}\) at \(t-\delta_{1}\), there exists \(\delta_{2}>0\) such that \(F_{x,y}(t-\delta _{1})-F_{x,y}(t-\delta_{2})<\varepsilon\). By repeating this argument we can find \(k\in\mathbb{N}\), \(\delta_{i},\delta_{i+1}>0\) (\(i=1,\ldots,k\)) in which \(F_{x,y}(t-\delta_{i})-F_{x,y}(t-\delta_{i+1})<\varepsilon\) and \(\alpha ^{2}t-2\alpha^{2}h\in(t-\delta_{k},t-\delta_{k+1})\). We deduce that
Set \(F_{x,y}(\alpha^{2}t-2\alpha^{2}h)=a\). Taking into account continuity of T and \(T(a,1)=a\), there is a real number l in \((0,1)\), fulfills
On the other hand, since \(x_{n}\rightarrow x\) and \(y_{n}\rightarrow y\), there exists an integer \(M_{h,l}\) such that
whenever \(n>M_{h,l}\). Now, by (PbM3)
and
From (2), (3), and (5), we obtain
Thus, on combining (1), (2), (3), (4), and (6), we get
This completes the proof. □
3 Generalized β-γ-type contractive mappings
In this section, we generalize the results obtained by Gopal et al. [5] for the wider class of generalized β-γ-type contractive mappings in Menger PbM-spaces.
Definition 3.1
Let \((X,F,T)\) be a Menger PbM-space with coefficient α and \(f:X\rightarrow X\) be a given mapping. We say that f is a generalized β-γ-type contractive mapping of degree k (\(k\in\mathbb{N}\)), if there exist two functions \(\beta:X\times X\times (0,\infty)\rightarrow(0,\infty)\) and \(\gamma:X\times X\times (0,\infty)\rightarrow(0,\infty)\) such that
for all \(x,y\in X\) and for all \(t>0\), where \(\phi\in\Phi\) and \(c\in(0,1)\). Further, the mapping f is called a generalized β-γ-type contractive mapping if it is a generalized β-γ-type contractive mapping of degree k for each \(k\in\mathbb{N}\).
Definition 3.2
Let \((X,F,T)\) be a Menger PbM-space, \(f:X\rightarrow X\) be a mapping, and \(\beta: X\times X\times(0,\infty)\rightarrow(0,\infty)\) and \(\gamma :X\times X\times(0,\infty)\rightarrow(0,\infty)\) be two functions. We say that f is \((\beta, \gamma)\)-admissible if \(x,y\in X\), for all \(t>0\), \(\beta(x,y,t)\leq1\Rightarrow \beta(fx,fy,t)\leq1\) and \(\gamma(x,y,t)\geq1\Rightarrow \gamma(fx,fy,t)\geq1\).
Imitating the proof of [4], Lemma 2.9, we can easily obtain the following lemma.
Lemma 3.3
Let \((X,F,T)\) be a Menger PbM-space with coefficient α. Let ϕ be a Φ-function. Then the following statement holds:
-
If for \(x,y\in X\), \(c\in(0,1)\), and \(k\in\mathbb{N}\) we have \(F_{x,y}(\alpha^{k}\phi(t))\geq F_{x,y}(\alpha^{k-1}\phi(\frac{t}{c}))\) for all \(t>0\), then \(x=y\).
Our first main result is the following.
Theorem 3.4
Let \((X,F,T)\) be a complete Menger PbM-space with coefficient α, which satisfies \(T(a,a)\geq a\) with \(a\in[0,1]\). Let \(f:X\rightarrow X\) be a generalized β-γ-type contractive mapping satisfying the following conditions:
-
(i)
f is \((\beta,\gamma)\)-admissible,
-
(ii)
there exists \(x_{0}\in X\) such that \(\beta(x_{0},fx_{0},t)\leq1\) and \(\gamma(x_{0},fx_{0},t)\geq1\) for all \(t>0\),
-
(iii)
if \(\{x_{n}\}\) is a sequence in X such that \(\beta (x_{n-1},x_{n},t)\leq1\) and \(\gamma(x_{n},x_{n+1},t)\geq1\) for all \(n\in \mathbb{N}\), and for all \(t>0\) and \(x_{n}\rightarrow x\) as \(n\rightarrow \infty\), then \(\beta(x_{n-1},x,t)\leq1\) and \(\gamma(x_{n},fx,t)\geq1\) for all \(n\in\mathbb{N}\) and for all \(t>0\).
Then f has a fixed point.
Proof
Since \(T(a,a)\geq a\) for all \(a\in[0,1]\), \(T\geq T_{M}\). Let \(x_{0}\in X\) be such that (ii) holds and define a sequence \(\{x_{n}\}\) in X so that \(x_{n+1}=fx_{n}\), for all \(n=0,1,\ldots \) . We suppose \(x_{n+1}\neq x_{n}\) for all \(n=0,1,\ldots\) , otherwise f has trivially a fixed point. From (i), (ii), and by induction, we get \(\beta(x_{n-1},x_{n},t)\leq1\) and \(\gamma(x_{n},x_{n+1},t)\geq1\) for all \(n\in\mathbb{N}\) and all \(t>0\). Taking into account the continuity of ϕ at zero, we can find \(r>0\) such that \(t>\phi(r)\) and therefore we have
We will show that
If we assume that \(F_{x_{n},x_{n+1}}(\alpha^{k-1}\phi(\frac{r}{c}))\) is the minimum, then from Lemma 3.3, we get \(x_{n}=x_{n+1}\), which is a contradiction with the assumption \(x_{n}\neq x_{n+1}\) and so \(F_{x_{n-1},x_{n}}(\alpha^{k-1}\phi(\frac{r}{c}))\) is the minimum i.e., inequality (8) holds. Now from (8), one obtains that
that is,
for arbitrary \(n\in\mathbb{N}\). Next, let \(m,n\in\mathbb{N}\) with \(m>n\), then by (PbM3) and strictly increasing of ϕ we have
Since \(\alpha^{1-n}\phi(\frac{r}{c^{n}})\rightarrow\infty\) as \(n\rightarrow\infty\), for fixed \(\varepsilon\in(0,1)\) there exists \(n_{0}\in\mathbb{N}\) such that \(F_{x_{0},x_{1}}(\alpha^{1-n}\phi(\frac {r}{c^{n}}))>1-\varepsilon\), whenever \(n\geq n_{0}\). This implies that, for every \(m>n\geq n_{0}\),
Since \(t>0\) and \(\varepsilon\in(0,1)\) are arbitrary, we deduce that \(\{x_{n}\}\) is a Cauchy sequence in the complete Menger PbM-space \((X,F,T)\). Then there exists \(u\in X\) such that \(x_{n}\rightarrow u\) as \(n\rightarrow\infty\). We are going to show that u is a fixed point of f. Using (PbM3), we have
Note that, if \(x_{n}= fu\) for infinitely many values of n, then \(u=fu\), and hence the proof is finished. Therefore, we assume that \(x_{n}\neq fu\) for all \(n\in\mathbb{N}\). Now, since \(x_{n}\rightarrow u\), then, for any arbitrary \(\varepsilon\in (0,1)\) and n large enough, we get \(F_{x_{n},u}(\alpha t-\alpha\phi (r))>1-\varepsilon\). Hence, \(F_{fu,u}(t)\geq\min\{F_{fu,x_{n}}(\alpha\phi(r)),1-\varepsilon \}\). Since \(\varepsilon>0\) is arbitrary, we have \(F_{fu,u}(t)\geq F_{fu,x_{n}}(\alpha\phi(r))\). Next, using (iii) we get
It follows that
Finally, since \(\varepsilon\in(0,1)\) is arbitrary, then \(F_{fu,u}(\alpha\phi(r))\geq F_{u,fu}(\phi(\frac{r}{c}))\). From Lemma 3.3, we conclude that \(u=fu\) and so we achieve our goal. □
In the following we present an example of a generalized β-γ-type contractive mapping, which is not a generalized β-type contractive mapping.
Example 3.5
Let \(X=[\frac{1}{4},\infty)\) and F be as in Example 2.4, then \((X,F,T_{M})\) is a complete Menger PbM-space, with \(\alpha=\frac{1}{2}\). Define the mapping \(f:X\rightarrow X\) and functions β and γ from \(X\times X\times(0,\infty)\) into \((0,\infty)\) as follows:
for all \(t>0\). Now, we consider \(\phi:\mathbb{R}^{+}\rightarrow\mathbb {R}^{+}\) defined by \(\phi(t)=t\) and let \(c=\frac{1}{2}\). To prove that f is a generalized β-γ-type contractive mapping, it suffices to check the following condition:
We distinguish three cases:
Case I. If \(x,y\in[\frac{1}{4},1]\) or \(x,y\notin[\frac {1}{4},1]\), then the left-hand side of above inequality is equal to \(\frac{1}{2}\) and \(\gamma(fx,fy,\alpha^{k-1}\frac{t}{c})=\gamma (1,1,\frac{t}{2^{k-2}})=\gamma(2,2,\frac{t}{2^{k-2}})=\frac{1}{2}\). Hence, the inequality obviously true.
Case II. If \(x\notin[\frac{1}{4},1]\) and \(y\in[\frac {1}{4},1]\), then
and hence the inequality is again true.
Case III. If \(x\in[\frac{1}{4},1]\) and \(y\notin[\frac {1}{4},1]\), then
and hence the inequality is again true.
Also, if we take \(\gamma(x,y,t)=1\) for all \(x,y\in X\) and all \(t>0\), then f is not a generalized β-type contractive mapping. Indeed, for \(x=1\), \(y=2\), and \(t=2^{k}\) we have
This gives \(c\geq6\), a contradiction.
Example 3.6
Let X, F, f be as in Example 3.5. Define the functions \(\beta:X\times X\times(0,\infty)\rightarrow(0,\infty)\) and \(\gamma:X\times X\times(0,\infty)\rightarrow(0,\infty)\) as follows:
for all \(t>0\).
Now, we consider \(\phi:\mathbb{R}^{+}\rightarrow\mathbb{R}^{+}\) defined by \(\phi(t)=t\) and let \(c=\frac{1}{2}\). Then f is a generalized β-γ-type contractive mapping.
We distinguish three cases:
Case I. If \(x,y\in[\frac{1}{4},1]\), then the left-hand side of above inequality is equal to 1 and \(\gamma(fx,fy,\alpha^{k-1}\frac {t}{c})=\gamma(1,1,\frac{t}{2^{k-2}})=1\). Hence, the inequality is obviously true.
Case II. If \(x,y\notin[\frac{1}{4},1]\), then \(\beta (x,y,\alpha^{k}t) F_{fx,fy}(\alpha^{k} \phi(t))= \gamma(fx,fy,\alpha ^{k-1}\frac{t}{c}) F_{x,y}(\alpha^{k-1}\phi(\frac{t}{c}))=\frac{t+2^{k}}{t+2^{k-2}|x-y|^{2}}\) and hence the inequality is again true.
Case III. If \(x\in[\frac{1}{4},1]\) and \(y\notin[\frac {1}{4},1]\) or \(x\notin[\frac{1}{4},1]\) and \(y\in [\frac{1}{4},1]\), then we have the same result as case II.
On the other hand, f does not satisfy inequality (7) if we assume that \(\beta(x,y,t)=\gamma(x,y,t)=1\) for all \(x,y\in X\) and all \(t>0\). Indeed, for \(x=1\) and \(y=2\) we get
which gives \(c\geq2\), a contradiction.
Under an additional hypothesis on f, from Theorem 3.4, we obtain the uniqueness of the fixed point.
- (\(\mathrm{J}^{\prime}\)):
-
For all \(u,v\in \operatorname{Fix}(f)\) and for all \(t>0\) there exists \(z\in X\) such that \(\beta(z,fz,t)\leq1\) with \(\beta(u,z,t)\leq 1\), and \(\beta(v,z,t)\leq1\) and \(\gamma(z,fz,t)\geq1\) with \(\gamma (u,z,t)\geq1\) and \(\gamma(v,z,t)\geq1\).
Theorem 3.7
Adding condition (\(\mathrm{J}^{\prime}\)) to the hypotheses of Theorem 3.4, we find that f has a unique fixed point.
Proof
Let \(u,v\in X\) be such that \(u=fu\) and \(v=fv\). From condition (\(\mathrm{J}^{\prime}\)), there exists \(z\in X\) such that \(\beta(z,fz,t)\leq 1\) with \(\beta(u,z,t)\leq1\) and \(\beta(v,z,t)\leq1\), and \(\gamma(z,fz,t)\geq1\) with \(\gamma(u,z,t)\geq1\) and \(\gamma(v,z,t)\geq1\). By virtue of the fact that f is \((\beta,\gamma)\)-admissible, we deduce that
and
By induction, we derive
for all \(t>0\), where \(z_{n}=f^{n}z\) (\(n\in\mathbb{N}\)). By continuity of ϕ, there exists \(r>0\) such that \(t>\phi(r)\) and therefore by (PbM1) and (PbM3) we have
where \(k\in\mathbb{N}\). Now, we consider following cases:
Case I. If \(F_{z_{n},z_{n+1}}(\alpha^{k-1}\phi(\frac{r}{c}))\) is the minimum, then by (7), (PbM1), and (PbM3), it follows that
Now, if \(F_{z_{n},z_{n+1}}(\alpha^{k-2}\phi(\frac{r}{c^{2}}))\) is the minimum for some \(n\in\mathbb{N}\), then by Lemma 3.3, we deduce that \(z_{n}=z_{n+1}\). Since \(F_{u,z_{n+1}}(\alpha^{k}\phi(r))\geq F_{z_{n},z_{n+1}}(\alpha^{k-1}\phi(\frac{r}{c}))=1\), \(u=z_{n+1}\). Consequently \(\beta(v,u,t)\leq1\) and \(\gamma(fv,fu,t)\geq1\) for all \(t>0\) and so by (7), (PbM1), and (PbM3) we have
Again, by Lemma 3.3, we conclude that \(u=v\).
On the other hand, if \(F_{z_{n-1},z_{n}}(\alpha^{k-2}\phi(\frac {r}{c^{2}}))\) is the minimum, then
and, letting \(n\rightarrow\infty\), we get \(F_{z_{n},z_{n+1}}(\alpha ^{k-1}\phi(\frac{r}{c}))\rightarrow1\). Therefore \({\lim_{n\rightarrow\infty}}F_{u,z_{n+1}}(t)= 1\), which implies that \(z_{n+1}\rightarrow u\) as \(n\rightarrow\infty\). A similar method shows that \(z_{n+1}\rightarrow v\), for \(n\rightarrow\infty\). Since the limit is unique, \(u=v\).
Case II. Suppose that \(F_{u,z_{n}}(\alpha^{k-1}\phi(\frac {r}{c}))\) is the minimum, then we get
Letting \(n\rightarrow\infty\), we obtain \({\lim_{n\rightarrow\infty}F_{u,z_{n+1}}}(\alpha^{k}\phi(r))= 1\), that is, \(z_{n+1}\rightarrow u\) as \(n\rightarrow\infty\). A similar argument shows that \(z_{n+1}\rightarrow v\), for \(n\rightarrow\infty\). Now, uniqueness of the limit gives us \(u=v\), and the proof is complete. □
Our last existence theorem is a version of [5], Theorem 3.4, for generalized β-γ-type contractive mappings in Menger PbM-spaces.
Theorem 3.8
Let \((X,F,T)\) be a complete Menger PbM-space with coefficient α, and \(f:X\rightarrow X\) be a mapping. Assume that there exist \(\beta:X\times X\times(0,\infty)\rightarrow(0,\infty)\) and \(\gamma: X\times X\times(0,\infty)\rightarrow(0,\infty)\) such that the following conditions hold:
-
(i)
$$\begin{aligned} &\beta\bigl(x,y,\alpha^{k}t\bigr)F_{fx,fy}\bigl( \alpha^{k} \phi(t)\bigr)\\ &\quad\geq\gamma \biggl(fx,fy, \alpha^{k-1} \frac{t}{c}\biggr)\min \biggl\{ F_{x,y}\biggl(\alpha^{k-1} \phi\biggl(\frac {t}{c}\biggr)\biggr),F_{x,fx}\biggl( \alpha^{k-1}\phi\biggl(\frac{t}{c}\biggr)\biggr), \\ &\qquad{}F_{y,fy}\biggl(\alpha^{k-1}\phi\biggl(\frac{t}{c} \biggr)\biggr), F_{y,fx}\biggl(\alpha^{k-1}\phi\biggl( \frac{t}{c}\biggr)\biggr) \biggr\} , \end{aligned}$$
for all \(x,y\in X\), for all \(t>0\) and for all \(k\in\mathbb{N}\), where \(c\in(0,1)\) and \(\phi\in\Phi\);
-
(ii)
f is \((\beta,\gamma)\)-admissible;
-
(iii)
there exists \(x_{0}\in X\) such that \(\beta(x_{0},fx_{0},t)\leq1\) and \(\gamma(x_{0},fx_{0},t)\geq1\) for all \(t>0\);
-
(iv)
for each sequence \(\{x_{n}\}\) in X such that \(\beta (x_{n-1},x_{n},t)\leq1\) and \(\gamma(x_{n},x_{n+1},t)\geq1\), for all \(n\in \mathbb{N}\) and for all \(t>0\), there exists \(k_{0}\in\mathbb{N}\) such that \(\beta(x_{m-1},x_{n-1},t)\leq1\) and \(\gamma(x_{m},x_{n},t)\geq1\), for all \(m,n\in\mathbb{N}\) with \(m>n\geq k_{0}\) and for all \(t>0\);
-
(v)
if \(\{x_{n}\}\) is a sequence in X such that \(\beta (x_{n-1},x_{n},t)\leq1\) and \(\gamma(x_{n},x_{n+1},t)\geq1\) for all \(n\in \mathbb{N}\) and for all \(t>0\) and \(x_{n}\rightarrow x\) as \(n\rightarrow \infty\), then \(\beta(x_{n-1},x,t)\leq1\) and \(\gamma(x_{n},fx,t)\geq1\) for all \(n\in\mathbb{N}\) and for all \(t>0\).
Then f has a fixed point. If in addition, condition (\(\mathrm{J}^{\prime}\)) holds, then f has a unique fixed point.
Proof
Let \(x_{0}\in X\) be such that (iii) holds. Define a sequence \(\{x_{n}\}\) in X such that \(x_{n+1}=fx_{n}\) for all \(n=0,1,\ldots\) . We suppose that \(x_{n+1}\neq x_{n}\) for all \(n=0,1,\ldots\) , otherwise f has trivially a fixed point. By (ii) and (iii), and applying induction, we get \(\beta(x_{n-1},x_{n},t)\leq1\) and \(\gamma(x_{n},x_{n+1},t)\geq1\) for all \(n\in\mathbb{N}\) and for all \(t>0\). By continuity of ϕ at zero, we can find \(r>0\) such that \(t>\phi(r)\), thus \(\beta(x_{n-1},x_{n},\alpha^{k}r)\leq1\) and \(\gamma(x_{n},x_{n+1},\alpha^{k-1}\frac{r}{c})\geq1\), where \(k\in\mathbb{N}\). It follows from conditions (i) and (PbM1) that
Next, if \(F_{x_{n},x_{n+1}}(\alpha^{k-1}\phi(\frac{r}{c}))\) is the minimum, then \(F_{x_{n},x_{n+1}}(\alpha^{k} \phi(r))\geq F_{x_{n},x_{n+1}}(\alpha^{k-1}\phi(\frac{r}{c}))\) and so by Lemma 3.3, \(x_{n}=x_{n+1}\), which contradicts the assumption \(x_{n}\neq x_{n+1}\). Now if \(F_{x_{n-1},x_{n}}(\alpha^{k-1}\phi(\frac{r}{c}))\) is the minimum, then
Letting \(n\rightarrow\infty\), then
We claim that \(\{x_{n}\}\) is a Cauchy sequence. Suppose the contrary. Then there exist \(\varepsilon>0\), \(\lambda\in(0,1)\) for which we can find subsequences \(\{x_{m(s)}\}\) and \(\{x_{n(s)}\}\) of \(\{ x_{n}\}\) such that \(n(s)\) is the smallest index for which
By the properties of ϕ there exists \(\varepsilon_{1}>0\) such that
From (10) and (11), we deduce that \(F_{x_{m(s)},x_{n(s)}}(\alpha\phi(\varepsilon_{1}))\leq1-\lambda\), so \(\{x_{n}\}\) is not Cauchy sequence with respect to \(\alpha\phi(\varepsilon_{1})\) and λ. Thus there exist increasing sequences of integers \(m(s)\) and \(n(s)\), such that \(n(s)\) is the smallest index for which
Take a real number η such that \(0< \eta< \phi(\frac{\varepsilon _{1}}{c})-\phi(\varepsilon_{1})\). From (12) it follows that
Then, for any \(0< \lambda_{1}<\lambda< 1\), by (9) it is possible to find a positive integer \(N_{1}\) such that for all \(s> N_{1}\), we have
By (13) and also applying (PbM3), we have
Since \(\lambda_{1}\) is arbitrary and T is continuous, it follows that
A direct consequence of (13) is
A similar relation holds when one substitutes \(x_{m(s)-1}\) and \(x_{m(s)}\) with \(x_{n(s)-1}\) and \(x_{n(s)}\), respectively. On the other hand, we observe that
Applying assumptions (i), (iv), and (12), (14), (15), (16) we get
This is a contradiction; therefore \(\{x_{n}\}\) is a Cauchy sequence in the complete Menger PbM-space. Thus \(x_{n}\rightarrow u\) as \(n\rightarrow\infty\) for some \(u\in X\).
Now, we show that u is a fixed point of f. We have
Since ϕ is continuous, there exists \(r>0\) such that \(t> \phi(r)\). Further, since \(u= {\lim_{n\rightarrow\infty}}x_{n}\), then, for arbitrary \(\delta\in(0,1)\), there exists \(n_{0}\in\mathbb{N}\) such that for all \(n\geq n_{0}\), we get
Hence, from (17) and (18), we find that
Since \(\delta>0\) is arbitrary and T is continuous, we can write \(F_{fu,u}(t)\geq F_{fu,x_{n}}(\alpha\phi(r))\). Without loss of generality we may assume that \(x_{n}\neq fu\) for all \(n\in \mathbb{N}\), otherwise if for infinitely many values of n, \(x_{n}=fu\), then \(u=fu\), and hence the proof is finished. Applying (i) and (v), we derive
Letting \(n\rightarrow\infty\) in the above inequality, we get \(F_{fu,u}(\alpha\phi(r))\geq F_{u,fu}(\phi(\frac{r}{c}))\). Thus \(u=fu\) by Lemma 3.3. Hence f has a fixed point. Furthermore, if (\(\mathrm{J}'\)) holds, then by using a similar technique as in the proof of Theorem 3.7 one can see that u is a unique fixed point of f. □
4 Application to integral equation
As an application of our results, we will consider the following Volterra type integral equation:
for all \(t\in[0,k']\), where \(k'>0\).
Let \(C([0,k'],\mathbb{R})\) be the space of all continuous functions defined on \([0,k']\) endowed with the b-metric
Alternatively the space \(C([0,k'],\mathbb{R})\) can be endowed with the b-metric
One can see that d and \(d_{B}\) are complete b-metrics with \(s=2\). We define the mapping \(F:C([0,k'],\mathbb{R})\times C([0,k'],\mathbb {R})\rightarrow\mathcal{D}^{+}\) by
We know that \((C([0,k'],\mathbb{R}),F,T_{M})\) is a complete Menger PbM-space with coefficient \(\alpha=\frac{1}{2}\).
Now we discuss the existence of a solution for the Volterra type integral equation (19).
Theorem 4.1
Let \((C([0,k'],\mathbb{R}),F,T_{M})\) be the Menger PbM-space and \(\Omega \in C([0,k']\times[0,k']\times\mathbb{R},\mathbb{R})\) be an operator satisfying the following conditions:
-
(i)
\(\| \Omega\|_{\infty}= {\sup_{ t,s\in[0,k'],x\in C([0,k'],\mathbb{R})}}\mid\Omega(t,s,x(s))\mid<\infty\),
-
(ii)
there exists \(L>0\) such that for all \(x,y\in C([0,k'],\mathbb{R})\) and all \(t,s\in[0,k']\) we obtain
$$\begin{aligned} &\bigl|\Omega\bigl(t,s,fx(s)\bigr)-\Omega\bigl(t,s,fy(s)\bigr)\bigr| \\ &\quad\leq\frac{L}{\sqrt{2}} \max\bigl\{ \bigl| x(s)-y(s)\bigr|, \bigl|x(s)-fx(s)\bigr|, \bigl|y(s)-fy(s)\bigr|, \bigl|y(s)-fx(s)\bigr|\bigr\} , \end{aligned}$$where \(f:C([0,k'],\mathbb{R})\rightarrow C([0,k'],\mathbb{R})\) is defined by
$$fx(t)=g(t)+\int_{0}^{t} \Omega\bigl(t,s,fx(s) \bigr)\,ds,\quad g\in C\bigl(\bigl[0,k'\bigr],\mathbb{R}\bigr). $$
Then the Volterra type integral equation (19) has a unique solution \(x^{*}\in C([0,k'],\mathbb{R})\).
Proof
For each \(x,y\in C([0,k'],\mathbb{R})\) we consider \(d_{B}(x,y)= {\max_{t\in[0,k']}}( |x(t)-y(t)|^{2} e^{-2Lt})\), where L satisfies condition (ii). As we mentioned above \((C([0,k'],\mathbb{R}),F,T_{M})\) is a complete Menger PbM-space with coefficient \(\alpha=\frac{1}{2}\). Therefore, for all \(x,y\in C([0,k'],\mathbb{R})\), we get
Putting \(c=(1-e^{-Lk'})^{2}\), by using (20), for any \(r>0\) and \(k\in \mathbb{N}\) we derive
for all \(x,y\in C([0,k'],\mathbb{R})\). Therefore by Theorem 3.8 with \(\phi(r)=r\) for all \(r> 0\) and \(\beta(x,y,t)=\gamma(x,y,t)=1\) for all \(x,y\in C([0,k'],\mathbb{R})\) and \(t>0\), we deduce that the operator f has a unique fixed point \(x^{*}\in C([0,k'],\mathbb{R})\), which is the unique solution of the integral equation (19). □
References
Menger, K: Statistical metrics. Proc. Natl. Acad. Sci. USA 28, 535-537 (1942)
Sehgal, VM, Bharucha-Reid, AT: Fixed point of contraction mappings in PM-spaces. Math. Syst. Theory 6, 97-102 (1972)
Schweizer, B, Sklar, A: Probabilistic Metric Spaces. North-Holland, Amsterdam (1983)
Babaĉev, NA: Nonlinear generalized contraction on Menger PM-spaces. Appl. Anal. Discrete Math. 6, 257-264 (2012)
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)
Su, Y, Zhang, J: Fixed point and best proximity point theorems for contractions in new class of probabilistic metric spaces. Fixed Point Theory Appl. 2014, 170 (2014)
Zhu, C, Xu, W, Wu, Z: Coincidence point theorems for generalized cyclic \((kh,\phi L)_{S}\)-weak contractions in partially ordered Menger PM-spaces. Fixed Point Theory Appl. 2014, 214 (2014)
Ćirić, LB: On fixed point of generalized contractions on probabilistic metric spaces. Publ. Inst. Math. (Belgr.) 18, 71-78 (1975)
Gajić, L, Rakoĉević, V: Pair of non self mappings and common fixed points. Appl. Math. Comput. 187, 999-1006 (2007)
Hadžić, O, Pap, E: The Fixed Point Theory in Probabilistic Metric Spaces. Kluwer Academic, Dordrecht (2001)
Czerwik, S: Contraction mappings in b-metric spaces. Acta Math. Inform. Univ. Ostrav. 1, 5-11 (1993)
Czerwik, S: Nonlinear set-valued contraction mappings in b-metric spaces. Atti Semin. Mat. Fis. Univ. Modena 46, 263-276 (1998)
Allahyari, R, Arab, R, Shole Haghighi, A: A generalization on weak contractions in partially ordered b-metric spaces and its application to quadratic integral equations. J. Inequal. Appl. 2014, 355 (2014)
Allahyari, R, Arab, R, Shole Haghighi, A: Fixed points of admissible almost contractive type mappings on b-metric spaces with an application to quadratic integral equations. J. Inequal. Appl. 2015, 32 (2015)
Parvaneh, V, Roshan, JR, Radenović, S: Existence of tripled coincidence point in ordered b-metric spaces and application to a system of integral equation. Fixed Point Theory Appl. 2013, 130 (2013)
Phiangsungnoen, S, Sintunavarat, W, Kumam, P: Fixed point results, generalized Ulam-Hyers stability and well-posedness via α-admissible mappings in b-metric spaces. Fixed Point Theory Appl. 2014, 188 (2014)
Bakhtin, IA: The contraction mapping principle in almost metric spaces. In: Functional Analysis, vol. 30, pp. 26-37. Ul’yanovsk. Gos. Ped. Inst., Ul’yanovsk (1989)
Bota, M, Molnár, A, Varga, C: On Ekeland’s variational principle in b-metric spaces. Fixed Point Theory 12(2), 21-28 (2011)
Blumenthal, LM: Theory and Applications of Distance Geometry. Oxford University Press, Oxford (1953)
Fréchet, M: Les espaces abstraits. Gauthier-Villars, Paris (1928)
Shatanawi, W, Pitea, A, Lazović, R: Contraction conditions using comparison functions on b-metric spaces. Fixed Point Theory Appl. 2014, 135 (2014)
Wu, Z, Zhu, C, 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, 25 (2013)
Acknowledgements
The authors gratefully acknowledge the anonymous reviewers for carefully reading of the paper and giving helpful 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 to the writing of this paper. 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.
About this article
Cite this article
Hasanvand, F., Khanehgir, M. Some fixed point theorems in Menger PbM-spaces with an application. Fixed Point Theory Appl 2015, 81 (2015). https://doi.org/10.1186/s13663-015-0326-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0326-1