- Research
- Open access
- Published:
Multivalued SK-contractions with respect to b-generalized pseudodistances
Fixed Point Theory and Applications volume 2015, Article number: 50 (2015)
Abstract
A new class of multivalued non-self-mappings, called SK-contractions with respect to b-generalized pseudodistances, is introduced and used to investigate the existence of best proximity points by using an appropriate geometric property. Some new fixed point results in b-metric spaces are also obtained. Examples are given to support the usability of our main results.
1 Introduction
Let A and B be two nonempty subsets of a metric space X. A non-self-mapping \(T:A\to B\) is said to be a contraction if there exists a constant \(r\in[0,1)\), such that \(d(Tx,Ty)\leq rd(x,y)\), for all \(x,y\in A\). The well-known Banach contraction principle states that if A is a complete subset of X and T is a contraction self-mapping, then the fixed point equation \(Tx=x\) has exactly one solution.
The Banach contraction principle is a very important tool in nonlinear analysis and there are many extensions of this principle; see, e.g., [1] and the references therein.
Let \((X,d)\) be a metric space. A self-mapping \(T:X\rightarrow X\) is called a Kannan mapping if there exists \(\alpha\in{}[0,\frac{1}{2})\) such that
for all \(x,y\in X\). We know that if X is a complete metric space, every Kannan self-mapping defined on X has a unique fixed point [2]. Note that the notion of contraction mappings and Kannan mappings are independent. That is, there exists a contraction mapping which is not a Kannan, and a Kannan mapping which is not a contraction. Therefore, we cannot compare these two classes of mappings directly. However, the Banach and Kannan fixed point theorems can be unified (for details see [3–5]).
Kikkawa and Suzuki in [6], established the following fixed point theorem, which is an extension of the Kannan fixed point theorem.
Theorem 1.1
([6])
Define a non-increasing function φ from \([0,1)\) into \((\frac{1}{2},1]\) by
Let \((X,d)\) be a complete metric space and let T be a self-mapping on X. Let \(\alpha\in[0,\frac{1}{2})\) and put \(r:=\frac{\alpha}{1-\alpha}\in[0,1)\). Assume that
for all \(x,y\in X\). Then T has a unique fixed point z and \(\lim_{n} T^{n}x=z\) holds for every \(x\in X\).
It is interesting to note that the function \(\varphi(r)\) defined in Theorem 1.1 is the best constant for every r (see Theorem 2.4 of [6]).
The multivalued version of Theorem 1.1 was presented in [7] as below.
Theorem 1.2
(Damjanovic and Doric [7])
Define a non-increasing function \(\varphi(r)\) from \([0,1)\) into \((0,1]\) by
Let \((X,d)\) be a complete metric space and let T be a mapping from X into \(\mathcal{C}\mathcal{B}(X)\), where \(\mathcal{C}\mathcal{B}(X)\) denotes the family of all nonempty, bounded and closed subsets of X. Assume that
for all \(x,y\in X\), where \(D(x,A):=\inf\{d(x,y):y\in A\}\) for \(x\in X\) and \(A\subset X\). Then there exists \(z\in X\) such that \(z\in Tz\).
Now, let \((A,B)\) be a nonempty pair of subsets of a metric space \((X,d)\) and let \(T:A\rightarrow2^{B}\) be a multivalued non-self-mapping. Then for each \(x\in A\) we have \(\mathcal{D}(x,Tx)\geq \operatorname{dist}(A,B)\), where \(\operatorname{dist}(A,B):=\inf \{d(x,y):(x,y)\in A\times B\}\) and \(\mathcal{D}(x,Tx):=\operatorname{dist}(\{x\},Tx)\). So, it is quite natural to seek an approximate solution \(x\in A\) that is optimal in the sense that the distance \(\mathcal{D}(x,Tx)\) with respect to \(\mathcal{D}\) is minimum. As the minimality of the value \(\mathcal{D}(x,Tx)\) connotes the highest closeness between the elements x and Tx, one attempts to determine an element x for which \(\mathcal{D}(x,Tx)\) assumes the least possible value \(\operatorname{dist}(A,B)\). Such an optimal solution x for which \(\mathcal{D}(x,Tx)=\operatorname{dist}(A,B)\) is called a best proximity point of the multivalued non-self-mapping T. The existence of best proximity points for multivalued non-self-mappings was first studied in [8] for multivalued nonexpansive non-self-mappings in hyperconvex metric spaces and in Hilbert spaces (see also [9–13] for different approaches to the same problem).
The main purpose of this article is to elicit a best proximity point theorem for a new class of multivalued non-self-mappings in the setting of b-metric spaces. Our results improve and extend the main results in [6, 7].
2 Preliminaries
Let A and B be two nonempty subsets of a metric space \((X,d)\). When we say that a pair \((A,B)\) satisfies a special property, we mean that both A and B satisfy the mentioned property. We will use the following notations:
It is easy to see that if \((A,B)\) is a nonempty weakly compact pair in a Banach space X, then \((A_{0},B_{0})\) is a pair of nonempty subsets of X.
Definition 2.1
Let \((A,B)\) be a pair of nonempty subsets of a metric space \((X,d)\) with \(A_{0}\neq\emptyset\).
-
(I)
[14] The pair \((A,B)\) is said to have the P-property if and only if
$$ \left \{\begin{array}{l} d(x_{1},y_{1})=\operatorname{dist}(A,B) , \\ d(x_{2},y_{2})=\operatorname{dist}(A,B) \end{array} \right . \quad \Rightarrow\quad d(x_{1},x_{2})=d(y_{1},y_{2}), $$where \(x_{1},x_{2}\in A_{0}\) and \(y_{1},y_{2}\in B_{0}\).
-
(II)
[15] The pair \((A,B)\) is said to have the WP-property if and only if
$$ \left \{\begin{array}{l} d(x_{1},y_{1})=\operatorname{dist}(A,B), \\ d(x_{2},y_{2})=\operatorname{dist}(A,B) \end{array} \right . \quad \Rightarrow\quad d(x_{1},x_{2})\leq d(y_{1},y_{2}), $$where \(x_{1},x_{2}\in A_{0}\) and \(y_{1},y_{2}\in B_{0}\).
The notion of the WP-property notion is weaker than the notion of the P-property.
Example 2.1
([14])
Let \((A,B)\) be a nonempty, closed, and convex pair of subsets of a Hilbert space ℍ. Then \((A,B)\) satisfies the WP-property.
Example 2.2
Let \((A,B)\) be a nonempty pair of subsets of a metric space \((X,d)\) such that \(A_{0}\neq\emptyset\) and \(\operatorname{dist}(A,B)=0\). Then \((A,B)\) has the WP-property.
Example 2.3
([16])
Let \((A,B)\) be a nonempty bounded, closed and convex pair of subsets of a uniformly convex Banach space X. Then \((A,B)\) has the WP-property.
Example 2.4
Consider \(X:=\mathbb{R}\) with the usual metric. Suppose that
Then we have \(\operatorname{dist}(A,B)=1\) and \(A_{0}=\{1,2\}\), \(B_{0}:=\{0,3\}\). If \((x_{1},x_{2})=(1,2)\) and \((y_{1},y_{2})=(0,3)\), then
from which one deduces that \((A,B)\) has the WP-property. Note that \((B,A)\) does not have the WP-property and so \((A,B)\) does not have the P-property. We mention that in [17] the authors studied the existence of some nonlinear programming problems by using the geometric notion of the WP-property.
The notion of b-metric space was introduced by Czerwik [18] as below.
Definition 2.2
([18])
Let X be a nonempty set and \(s\geq1\) be a given real number. A function \(d:X\times X\rightarrow{}[0,\infty)\) is b-metric if the following three conditions are satisfied:
- (d1):
-
\(\forall_{x,y\in X}\{d(x,y)=0\Leftrightarrow x=y\}\);
- (d2):
-
\(\forall_{x,y\in X}\{d(x,y)=d(y,x)\}\);
- (d3):
-
\(\forall_{x,y,z\in X}\{d(x,z)\leq s[d(x,y)+d(y,z)]\}\).
If d is a b-metric on X (with constant \(s\geq1\)), then the pair \((X,d)\) is called a b-metric space. Note that every metric space is a b-metric space. Throughout this paper, we assume that the b-metric \(d:X\times X\rightarrow{}[0,\infty)\) is continuous on \(X^{2}\). For more precise information as regards b-metric spaces and best proximity point results we can see [19–27].
One can refer to [28] for the interesting results concerning fixed point theorems in b-metric spaces.
Definition 2.3
([29])
Let X be a b-metric space (with constant \(s\geq1\)). The map \(J:X\times X\rightarrow{}[0,\infty)\) is said to be a b-generalized pseudodistance on X if the following two conditions hold:
-
(J1)
\(\forall_{x,y,z\in X}\{J(x,z)\leq s[J(x,y)+J(y,z)]\}\);
-
(J2)
for any sequences \((x_{m}:m\in\mathbb{N})\) and \((y_{m}:m\in \mathbb{N})\) in X such that
$$ \lim_{n\rightarrow\infty}\sup_{m>n}J(x_{n},x_{m})=0 $$(2.1)and
$$ \lim_{m\rightarrow\infty}J(x_{m},y_{m})=0, $$(2.2)we have
$$ \lim_{m\rightarrow\infty}d(x_{m},y_{m})=0. $$(2.3)
Remark 2.4
If \((X,d)\) is a b-metric space (with \(s\geq1\)), then the b-metric \(d:X\times X\rightarrow{}[0,\infty)\) is a b-generalized pseudodistance on X. However, there exists a b-generalized pseudodistance on X which is not a b-metric (for details see Example 4.1 of [29]).
Remark 2.5
From (J1) and (J2) it follows that if \(x\neq y\), \(x,y\in X\), then
It is worth noticing that in fixed point theory, on defining contractions, many authors replaced the metric by some more general mapping. In the literature there exist many examples of different distances. Now we recall some of them.
Let X be a metric space with metric d. Then a function p from \(X \times X\) into \(\mathbb{R}_{+}\) is called a w-distance on X if it satisfies the following:
-
(p1)
\(p(x,y) \leq p(x,z)+p(z,y)\) for all \(x, y, z \in X\);
-
(p2)
p is lower semicontinuous in its second variable;
-
(p3)
for each \(\varepsilon>0\), there exists \(\delta>0\) such that \(p(z,x)\leq\delta\) and \(p(z,y) \leq\delta\) imply \(p(x,y) \leq \varepsilon\).
The metric d is a w-distance on X. The concept of w-distance was first introduced by Kada et al. [30].
Let X be a subset of a Banach space and let \(\{T(t):t\in\mathbb{R}_{+}\}\) be a strongly continuous semigroup of nonexpansive mappings on X, i.e.,
-
(sg1)
for each \(t\in\mathbb{R}_{+}\), \(T(t)\) is a nonexpansive mapping on X;
-
(sg2)
\(T(0)x=x\), for all \(x\in X\);
-
(sg3)
\(T(s+t)=T(s)\circ T(t)\) for all \(s, t \in\mathbb{R}_{+}\);
-
(sg4)
for each \(x\in X\), the mapping \(T(x)\) from \(\mathbb{R}_{+}\) into X is continuous.
In [31], Tataru introduced the distance
for all \(x,y \in X\).
Let X be a metric space with metric d. Then a function p from \(X\times X\) into \(\mathbb{R}_{+}\) is called a τ-distance on X (introduced by Suzuki [32]) if there exists a function \(\eta :X\times\mathbb{R}_{+}\) into \(\mathbb{R}_{+}\) and the following are satisfied:
-
(S1)
\(\forall_{x,y,z\in X}\{p(x,z)\leq p(x,y)+p(y,z)\}\);
-
(S2)
\(\forall_{x\in X}\forall_{t>0}\{\eta(x,0)=0 \wedge \eta (x,t)\geqslant t\}\) and η is concave and continuous in its second variable;
-
(S3)
$$\begin{aligned}& \Bigl\{ \lim_{n\rightarrow\infty}x_{n}=x \wedge \lim _{n\rightarrow \infty }\sup_{m\geqslant n} \eta\bigl(z_{n},p(z_{n},x_{m}) \bigr)=0 \Bigr\} \\& \quad \Rightarrow\quad \Bigl\{ \forall_{w\in X}\Bigl\{ p(w,x)\leq\lim\inf _{n\rightarrow \infty}p(w,x_{n})\Bigr\} \Bigr\} ; \end{aligned}$$
-
(S4)
\(\{\lim_{n\rightarrow\infty}\sup_{m\geqslant n}p(x_{n},y_{m})=0 \wedge \lim_{n\rightarrow\infty}\eta (x_{n},t_{n})=0 \}\Rightarrow \{\lim_{n\rightarrow\infty}\eta (y_{n},t_{n})=0 \} \);
-
(S5)
\(\{\lim_{n\rightarrow\infty}\eta (z_{n},p(z_{n},x_{n}))=0\wedge\lim_{n\rightarrow\infty}\eta (z_{n},p(z_{n},y_{n}))=0 \}\Rightarrow \{\lim_{n\rightarrow \infty }d(x_{n},y_{n})=0 \}\).
In 2006, Lin and Du [33] introduced the following concept of a τ-function.
Let X be a metric space with metric d. A map p from \(X \times X\) into \(\mathbb{R}_{+}\) is called a τ-function on X if the following conditions hold:
-
(L1)
\(p(x,y) \leq p(x,z)+p(z,y)\) for all \(x, y, z \in X\);
-
(L2)
if \(x \in X\) and \(\{y_{n}\}\) in X with \(\lim_{n \to\infty}y_{n}=y\) and \(p(x,y_{n})\leq M\) for some \(M=M(x)>0\), then \(p(x,y) \leq M\);
-
(L3)
for any sequence \(\{x_{n}\}\) in X with \(\lim_{n \to\infty} \sup\{p(x_{n},x_{m}) : m > n\}= 0\), if there exists a sequence \(\{y_{n}\}\) in X such that \(\lim_{n\to\infty}p(x_{n},y_{n})=0\), then \(\lim_{n \to\infty} d(x_{n}, y_{n})=0 \);
-
(L4)
for \(x, y, z \in X\), \(p(x, y)= 0\), and \(p(x,z)=0\) imply that \(y=z\).
In 1985, Valyi [34] introduced and used in uniform spaces the new concept of distance which in our conventions we will call the Valyi distance.
Let X be a metric space with metric d. A map p from \(X \times X\) into \(\mathbb{R}_{+}\) is called a distance of Valyi on X if the following conditions hold:
-
(V1)
\(p(x,y) \leq p(x,z)+p(z,y)\) for all \(x, y, z \in X\);
-
(V2)
p is lsc in its second variable;
-
(V3)
\(\forall_{x,y \in X}\{p(x,y) \geqslant0 \wedge[p(x,y)=0 \Leftrightarrow x=y]\}\);
-
(V4)
\(\forall_{\varepsilon>0}\exists_{\delta>0}\forall_{x,y \in X}\{p(x,y) < \delta\Rightarrow d(x,y) < \varepsilon\}\).
Remark 2.6
-
(i)
Let p be a w-distance on a metric space X. Then p is also a τ-distance on X (see Proposition 1 in [32]).
-
(ii)
Let \(\{T(t): t\in\mathbb{R}_{+}\}\) be a strongly continuous semigroup of nonexpansive mappings on a subset X of a Banach space. Then the Tataru distance p on X is also a τ-distance on X (see Proposition 2 in [32]).
-
(iii)
Let p be a w-distance on X. Then p is a τ-function on X (see Remark 2.1 in [33]).
-
(iv)
In the literature there are no studies concerning relations between Valyi distances [34] and τ-distances [32] and τ-functions [33].
Remark 2.7
([35])
Let X be a b-metric space (with \(s=1\)), i.e. X be a metric space with metric d. Then
-
(i)
if p is a τ-distance, then p is a generalized pseudodistance;
-
(ii)
if p is a τ-function, then p is a generalized pseudodistance;
-
(iii)
if p is a Valyi distance, then p is a generalized pseudodistance;
-
(iv)
there exists a generalized pseudodistance which is not a τ-distance;
-
(v)
there exists a generalized pseudodistance which is not τ-function;
-
(vi)
there exists a generalized pseudodistance which is not a Valyi distance.
After this short introduction concerning the distances that were used in fixed point theory, by using the notion of b-generalized pseudodistance on a b-metric space X, we can define the \(\mathcal{H}^{J}\) Hausdorff distance as below.
Definition 2.8
Let X be a b-metric space (with \(s\geq1\)) and let the map \(J:X\times X\rightarrow{}[0,\infty)\) be a b-generalized pseudodistance on X. Let \(\forall_{u{\in X}}\forall_{V\in\mathcal{C}\mathcal{B}(X)}\{J(u,V)=\inf_{v\in V}J(u,v)\}\). Define \(\mathcal{H}^{J}:\mathcal{C} \mathcal{B}(X)\times\mathcal{C}\mathcal{B}(X)\rightarrow{}[ 0,\infty)\) by
Similarly, the following definitions and notations can be constructed in b-metric spaces equipped with a b-generalized pseudodistance.
Let \((X,d)\) be a b-metric space (with \(s\geq1\)) and let \((A,B)\) be a pair of subsets of X and let the map \(J:X\times X\rightarrow {}[0,\infty)\) be a b-generalized pseudodistance on X. We set
Definition 2.9
Let X be a b-metric space (with \(s\geq1\)) and let the map \(J:X\times X\rightarrow{}[0,\infty)\) be a b-generalized pseudodistance on X. Let \((A,B)\) be a pair of nonempty subset of X with \(A_{0}\neq \emptyset\).
-
(I)
The pair \((A,B)\) is said to have the WPJ-property if and only if
$$\begin{aligned}& \bigl\{ \bigl[J(x_{1},y_{1}) = \operatorname{dist}(A,B) \bigr]\wedge\bigl[ J(x_{2},y_{2})=\operatorname{dist}(A,B) \bigr]\bigr\} \\& \quad \Rightarrow\quad \bigl\{ J(x_{1},x_{2})\leq J(y_{1},y_{2})\bigr\} , \end{aligned}$$where \(x_{1},x_{2}\in A_{0}\) and \(y_{1},y_{2}\in B_{0}\).
-
(II)
We say that the b-generalized pseudodistance J is associated with the pair \((A,B)\) if for any sequences \((x_{m}:m\in \mathbb{N})\) and \((y_{m}:m\in\mathbb{N})\) in X such that \(\lim_{m\rightarrow \infty}x_{m}=x\); \(\lim_{m\rightarrow\infty}y_{m}=y\); and
$$ \forall_{m\in\mathbb{N}}\bigl\{ J(x_{m},y_{m-1})= \operatorname{dist}(A,B)\bigr\} , $$then \(d(x,y)=\operatorname{dist}(A,B)\).
We mention that for a b-metric space \((X,d)\) if we put \(J=d\), then the map d is associated with each pair \((A,B)\), where \((A,B)\) is a nonempty pair in X because of the continuity of d.
Definition 2.10
Let τ be a topological vector space. Let X be a certain space and \((A,B) \) be a nonempty pair of subsets of X. The multivalued non-self-mapping \(T:A\rightarrow2^{B}\) is called closed whenever \((x_{m}:m\in\mathbb {N})\) is a sequence in A converging to \(x\in A\) and \((y_{m}:m\in\mathbb{N})\) is a sequence in B satisfying the condition \(\forall_{m\in\mathbb{N}}\{y_{m}\in T(x_{m})\} \) and converging to \(y\in B\), then \(y\in T(x)\).
The following lemma will be used in the sequel.
Lemma 2.11
([29])
Let X be a complete b-metric space (with \(s\geq1\)) equipped with the b-generalized pseudodistance J and let the sequence \((x_{m}:m\in\{0\}\cup\mathbb{N})\) satisfy
Then \((x_{m}:m\in\{0\}\cup\mathbb{N})\) is a Cauchy sequence on X.
3 Main results
We begin our main results of this paper with the following notion.
Definition 3.1
Define the strictly decreasing function \(\zeta:[0,\frac{1}{2})\to(\frac {1}{2},1]\) by
Let X be a b-metric space (with \(s\geq1\)) and let the map \(J:X\times X\rightarrow{}[0,\infty)\) be a b-generalized pseudodistance on X. Let \((A,B)\) be a pair of nonempty of subsets of X. A multivalued non-self-mapping \(T:A\to2^{B}\) is said to be an SK-contraction with respect to b-generalized pseudodistances provided that
We now state the main result of this paper.
Theorem 3.2
Let X be a complete b-metric space (with \(s\geq1\)) and let the map \(J:X\times X\rightarrow{}[0,\infty)\) be a b-generalized pseudodistance on X. Let \((A,B)\) be a pair of nonempty closed subsets of X with \(A_{0}\neq\emptyset\) and such that \((A,B)\) has the WP J-property and J is associated with \((A,B)\). Let \(T:A\rightarrow 2^{B} \) be a closed multivalued non-self-mapping which is an SK-contraction with respect to b-generalized pseudodistances. If \(T(x)\in\mathcal{C}\mathcal{B}(X)\) for all \(x\in A\), and \(T(x)\subset B_{0}\) for each \(x\in A_{0}\), then T has a best proximity point in A.
Proof
Take a real number β with \(0\leq\alpha<\beta<\frac{1}{2}\). Let \(x_{0}\in A_{0}\) and \(y_{0}\in Tx_{0}\). Since \(Tx_{0}\subseteq B_{0}\), there exists \(x_{1}\in A_{0}\) such that \(J(x_{1},y_{0})=\operatorname{dist}(A,B)\). We have
and so
Since \(\frac{\zeta(\alpha)}{s}\leq1\), we obtain
It now follows from the fact that T is an SK-contraction with respect to b-generalized pseudodistances that
Consider \(y_{1}\in Tx_{1}\) such that \(sJ(y_{0},y_{1})\leq\beta[\frac {1}{s}(J(x_{0},Tx_{0})+J(x_{1},Tx_{1}))-2\operatorname{dist}(A,B)]\). Then
which implies that
Again, since \(Tx_{1}\subseteq B_{0}\) and \(y_{1}\in Tx_{1}\), there exists \(x_{2}\in A_{0}\) such that \(J(x_{2},y_{1})=\operatorname{dist}(A,B)\). Also,
from which one concludes that
and so
Thus
Therefore, there exists \(y_{2}\in Tx_{2}\) such that
We now have
Continuing this process, by induction we can find sequences \((x_{m}:m\in \{0\}\cup\mathbb{N})\) and \((y_{m}:m\in\{0\}\cup\mathbb{N})\) such that
and
We now have \(\forall_{m\in\mathbb{N}}\{J(x_{m},y_{m-1})=\operatorname{dist}(A,B)\wedge J(x_{m+1},y_{m})=\operatorname{dist}(A,B)\}\). Since \((A,B)\) satisfies the WPJ-property, we conclude that
Now, we obtain
So, for each \(m>n\) we have
Since \(\frac{s\beta}{s-\beta}<1\), if \(n\to\infty\) in the above relation, we obtain
Similarly,
Thereby, \(\lim_{n\to\infty}\sup_{m>n}J(y_{n},y_{m})=0\). From Lemma 2.11 it follows that \((x_{m}:m\in\{0\}\cup\mathbb{N})\) and \((y_{m}:m\in\{0\}\cup\mathbb{N})\) are Cauchy sequences in A and B, respectively. Since \((A,B)\) is a closed pair of subsets of the complete b-metric space X, there exists \(p\in A\) and \(q\in B\) such that \(x_{m}\to p\) and \(y_{m}\to q\). Besides, since \(\forall_{m\in\{0\}\cup\mathbb{N}}\{y_{m}\in T(x_{m})\}\), by the closedness of T, we obtain \(q\in Tp\). On the other hand, since \(\forall_{m\in\mathbb{N}}\{ J(x_{m},y_{m-1})=\operatorname{dist}(A,B)\}\) and J is associated with \((A,B)\), we conclude that \(d(p,q)=\operatorname{dist}(A,B)\). We now have
that is, \(\mathcal{D}(p,Tp)=\operatorname{dist}(A,B)\) and so \(p\in A\) is a best proximity point of the non-self-mapping T. □
The next results are straightforward consequences of Theorem 3.2.
Corollary 3.3
Let X be a complete b-metric space (with \(s\geq1\)). Let \((A,B)\) be a pair of nonempty closed subsets of X with \(A_{0}\neq\emptyset\) and such that \((A,B)\) has the WP-property. Let \(T:A\rightarrow2^{B} \) be a closed multivalued non-self-mapping which is an SK-contraction with respect to the b-metric. If \(T(x)\in\mathcal{C}\mathcal{B}(X)\) for all \(x\in A\), and \(T(x)\subset B_{0}\) for each \(x\in A_{0}\), then T has a best proximity point in A.
Corollary 3.4
Let \((A,B)\) be a pair of nonempty closed subsets of a complete metric space \((X,d)\) such that \(A_{0}\neq\emptyset\) and \((A,B)\) satisfies the WP-property. Let \(T:A\rightarrow2^{B}\) be a closed multivalued non-self-mapping which is SK-contraction with respect to the b-metric, that is,
If \(T(x)\in\mathcal{C}\mathcal{B}(X)\) for all \(x\in A\), and \(T(x_{0})\) is included in \(B_{0}\) for each \(x_{0}\in A_{0}\), then T has a best proximity point in A.
Corollary 3.5
Let X be a complete b-metric space (with \(s\geq1\)) and let the map \(J:X\times X\rightarrow{}[0,\infty)\) be a b-generalized pseudodistance on X. Let \((A,B)\) be a pair of nonempty closed subsets of X with \(A_{0}\neq\emptyset\) and such that \((A,B)\) has the WP J-property and J is associated with \((A,B)\). Let \(T:A\rightarrow B\) be a continuous single-valued non-self-mapping which is an SK-contraction with respect to b-generalized pseudodistances. If \(T(A_{0})\subseteq B_{0}\), then T has a best proximity point in A.
Corollary 3.6
Let X be a complete b-metric space (with \(s\geq1\)). Let \((A,B)\) be a pair of nonempty closed subsets of X with \(A_{0}\neq\emptyset\) and such that \((A,B)\) has the WP-property. Let \(T:A\rightarrow B\) be a continuous single-valued non-self-mapping which is an SK-contraction with respect to the b-metric. If \(T(A_{0})\subseteq B_{0}\), then T has a best proximity point in A.
Corollary 3.7
Let X be a complete b-metric space (with \(s\geq1\)). Let A be a nonempty closed subset of X. Let \(T:A\rightarrow2^{A}\) be a closed multivalued mapping which is an SK-contraction with respect to the b-metric. If \(T(x)\in\mathcal{C}\mathcal{B}(X)\) for all \(x\in A\), then T has a fixed point.
Notice that we can omit the condition of closedness of the multivalued mapping T in Corollary 3.7.
Theorem 3.8
(Compare with Theorem 1.2)
Let X be a complete b-metric space (with \(s\geq1\)). Let A be a nonempty closed subset of X. Let \(T:A\rightarrow 2^{A}\) be a multivalued mapping which is an SK-contraction. If \(T(x)\in \mathcal{C}\mathcal{B}(X)\) for all \(x\in A\), then T has a fixed point.
Proof
In especial case, if \(J=d\) and \(A=B\) in Theorem 3.2, then we obtain a sequence \((x_{m}:m\in\{0\}\cup\mathbb{N})\) such that
Moreover, we proved that \(x_{m}\to p\in A\). We now assert that
Since \(x_{m}\to p\) and d is continuous, \(d(x_{m},p)\to0\). So,
We have
So, \(\frac{1}{s}D(x_{m},Tx_{m})\leq d(x_{m},p)+d(p,x_{m+1})\). By the fact that \(\zeta(\alpha)\leq1\), for all \(m> N\) we obtain
Thereby,
We have
Letting \(m\to\infty\), we obtain \(D(p,Tx)\leq\frac{\alpha}{s} D(x,Tx)\), that is, (3.3) holds. We next verify that \(\forall_{x\in A}\{s\mathcal {H}(Tp,Tx)\leq\alpha[D(p,Tp)+D(x,Tx)]\}\). This is trivial when \(x=p\). Suppose \(x\neq p\). Then for every \(n\in \mathbb{N}\) there exists \(z_{n}\in Tx\) such that \(d(p,z_{n})\leq D(p,Tx)+\frac{1}{n}d(x,p)\). So,
which, by (3.3), implies that
Thus \(\frac{\zeta(\alpha)}{s}D(x,Tx)\leq(1+\frac{1}{n})d(p,x)\) for all \(n\in \mathbb{N}\), from which one concludes that \(\frac{\zeta(\alpha )}{s}D(x, Tx)\leq d(p,x)\). So, \(s\mathcal{H}(Tp,Tx)\leq\alpha[D(p,Tp)+D(x,Tx)]\). Hence,
Since \(\frac{\alpha}{s}<1\), we must have \(D(p,Tp)=0\). That is, \(p\in\overline{Tp}=Tp\) and this completes the proof of the theorem. □
4 Examples and remarks
Now, we will present some examples illustrating the concepts having been introduced so far. First, we present an example of generalized pseudodistances in metric spaces and b-metric spaces, respectively.
Example 4.1
Let X be a metric space (b-metric space respectively) where the metric \(d:X\times X\rightarrow{}[0,\infty )\) is of the form \(d(x,y)=|x-y|\) (b-metric \(d(x,y)=|x-y|^{2}\)), \(x,y\in X\). Let the closed set \(E\subset X\), containing at least two different points, be arbitrary and fixed. Let \(c>0\) such that \(c>\delta(E)\), where \(\delta(E)=\sup \{d(x,y):x,y\in E\}\) be arbitrary and fixed. Define the map \(J:X\times X\rightarrow{}[0,\infty)\) as follows:
Then \(J:X\times X\rightarrow{}[0,\infty)\) is a generalized pseudodistance on X [36] (b-generalized pseudodistance on X [29]).
Let us illustrate Theorem 3.2 with the following example.
Example 4.2
Let \((X,d)\) be a b-metric space (with constant \(s=2\)), where \(X=\mathbb{R}\), \(d(x,y)=|x-y|^{2}\), \(x,y\in X\). Let \((A,B)\) be a pair of subsets of X, where \(A=[2,3]\) and \(B=[0,1]\). Let \(E=[0,1]\cup\{2,3\}\) and let \(J:X\times X\rightarrow{}[0,\infty )\) be defined by the formula
It is easy to show that J is a b-generalized pseudodistance. Assume that \(T:A\rightarrow2^{B}\) is of the form
I. We show that the pair \((A,B)\) has the WP J-property.
Indeed, we observe that \(\operatorname{dist}(A,B)=1\) and by (4.2) we obtain
Hence, it is easy to verify that the pair \((A,B)\) has the WPJ-property.
II. We see that A is complete and by (4.3) we have \(T(A_{0})=T(\{2\})=\{1\}\subset B_{0}\).
III. We see that T is an SK-contraction with respect to the b-generalized pseudodistance.
Indeed, first we observe that by (4.2) and the definition of E, we calculate
Let \(\alpha=\frac{181}{365}<\frac{1}{2}\) and let \(x,y\in A\) be arbitrary and fixed. Additionally, we calculate
and
Now, we consider the following cases.
Case 1. If \(x=2\) and \(y=3\), then by (4.3)-(4.6) we obtain
Case 2. If \(x=3\) and \(y=2\), then by (4.2)-(4.6) we obtain
Case 3. If \(x=2\) and \(y\in(2,3)\), then by (4.3)-(4.7) we obtain
Case 4. If \(x=(2,3)\) and \(y=2\), then by (4.3)-(4.7) we obtain
Case 5. If \(x=3\) and \(y\in(2,3)\), then by (4.3)-(4.7) we obtain
Case 6. If \(x\in(2,3)\) and \(y=3\), then by (4.3)-(4.7) we obtain
Case 7. If \(x,y\in(2,3)\), then by (4.3)-(4.7) we obtain
Now, from (4.8)-(4.14), we have (we recall \(s=2\) and \(\alpha=\frac{181}{365} \))
Hence, obviously
In consequence, the map T is an SK-contraction with respect to the b-generalized pseudodistance.
IV. We see that all assumptions of Theorem 3.2 are satisfied.
Indeed, the map T is closed, and J is associated with \((A,B)\) (by (4.2) and continuity of d).
V. There exists a best proximity point of T.
Indeed, for \(z=2\) we have \(\inf\{d(z,u):u\in T(z)\}=\inf\{d(2,u):u\in \{1\}\}=1=\operatorname{dist}(A,B)\).
In conclusion, in order to compare our result with Theorem 1.1 and Theorem 1.2, we need to reformulate the definition of the SK-contraction.
Definition 4.1
Define the strictly decreasing function \(\zeta:[0,\frac{1}{2})\to(\frac {1}{2},1]\) by
Let X be a metric space (i.e. b-metric space with \(s=1\)) and let \(J:X\times X\rightarrow{}[0,\infty)\) be a b-generalized pseudodistance (for short: generalized pseudodistance) on X.
-
(I)
Let \(T:X\to X\). In this case, \(J^{*}(x,T(x))=J(x,T(x))\), where \(x\in X\). A single-valued self-mapping T is said to be a SK-contraction with respect to generalized pseudodistance provided that
$$\begin{aligned}& \exists_{\alpha\in{}[0,\frac{1}{2})}\forall_{x,y\in X}\bigl\{ \bigl\{ \zeta(\alpha) J \bigl(x,T(x)\bigr)\leq J(x,y)\bigr\} \\& \quad \Rightarrow\bigl\{ J\bigl(T(x),T(y)\bigr)\leq \alpha\bigl[J(x,Tx)+J(y,Ty)\bigr]\bigr\} \bigr\} . \end{aligned}$$ -
(II)
Let \(T:X \to CB(X)\). In this case, \(J^{*}(x,T(x))=J(x,T(x))=\inf\{J(x,y):y\in T(x)\}\), where \(x\in X\). A multivalued self-mapping T is said to be an SK-contraction with respect to the generalized pseudodistance provided that
$$\begin{aligned}& \exists_{\alpha\in{}[0,\frac{1}{2})}\forall_{x,y\in X}\bigl\{ \bigl\{ \zeta(\alpha) J \bigl(x,T(x)\bigr)\leq J(x,y)\bigr\} \\& \quad \Rightarrow\bigl\{ \mathcal{H}^{J} \bigl(T(x),T(y)\bigr)\leq\alpha\bigl[J(x,Tx)+J(y,Ty)\bigr]\bigr\} \bigr\} . \end{aligned}$$
Now, we can formulate the following remarks:
Remark 4.2
-
(i)
There exist SK-contractions with respect to b-generalized pseudodistances which are not contractions of Kannan type as introduced by Kikkawa and Suzuki [6] (see Examples 4.3 and 4.4) and not contractions as introduced by Damjanovic and Doric [7] (see Examples 4.5 and 4.6).
-
(ii)
Theorem 3.2 is an essential generalization of Theorem 1.1 (see Examples 4.3 and 4.4).
-
(iii)
Theorem 3.2 is an essential generalization of Theorem 1.2 (see Examples 4.5 and 4.6).
Example 4.3
Let \((X,d)\) be a metric space (i.e. b-metric space with constant \(s=1\)), where \(X={}[ 0,2] \subset \mathbb{R}\), \(d(x,y)=|x-y|\), \(x,y\in X\). Let \(E=[0,\frac{3}{2}]\) and let \(J:X\times X\rightarrow{}[0,\infty)\) be defined by the formula
It is easy to show that J is a b-generalized pseudodistance (we recall \(s=1\)). Assume that \(T:X\rightarrow X\) is of the form
I. We see that T is an SK-contraction.
Indeed, let \(\alpha=\frac{1}{3}\) and let \(x,y\in X\) be arbitrary and fixed. We consider the following cases.
Case 1. If \(x,y \in{}[0,\frac{3}{2}]\), then by (4.16) we obtain \(Tx=Ty=\frac{1}{2}\). Hence, \(J(Tx,Ty)=d(Tx,Ty)=0 \leq\frac{1}{3}[J(x,Tx)+J(y,Ty)]\). Moreover,
Case 2. If \(x,y \in(\frac{3}{2},2]\), then by (4.15) and (4.16) we obtain \(J(x,Tx)=J(y,Ty)=4\). Hence, \(J(Tx,Ty)=d(Tx,Ty)\leq1\) and hence \(J(Tx,Ty)\leq1 < \frac{8}{3} = \frac{1}{3}[J(x,Tx)+J(y,Ty)]\). Moreover,
Case 3. If \(x \in{}[0,\frac{3}{2}]\), \(y \in(\frac{3}{2},2]\), then by (4.15) and (4.16) we obtain \(J(x,Tx)=d(x,Tx)\leq1\) and \(J(y,Ty)=4\). Hence, \(J(Tx,Ty)=d(Tx,Ty)\leq1\) and so \(J(Tx,Ty)\leq1 < \frac{4}{3} = \frac{1}{3}[0+4]=\frac{1}{3}[\min\{J(x,Tx):x \in[0,\frac {3}{2}]\} +J(y,Ty)] \leq\frac{1}{3}[J(x,Tx)+J(y,Ty)]\). Moreover,
Now, by (4.17)-(4.19) and the symmetry of J, we obtain
In consequence, the map T is an SK-contraction on X.
II. We see that all assumptions of Theorem 3.2 are satisfied.
Indeed, the map T is a closed self-mapping which is an SK-contraction.
III. There exists a fixed point for T.
Indeed, for \(z=0\) we have \(0 \in T(\{0\})\).
Example 4.4
Let \((X,d)\) be a metric space (i.e. b-metric space with constant \(s=1\)), where \(X=[0,2]\subset\mathbb{R} \), \(d(x,y)=|x-y|\), \(x,y\in X\). Let T be as in Example 4.3. We show that the map T is not a contraction of Kannan type as introduced by Kikkawa and Suzuki [6].
Indeed, we suppose that the map T satisfies (1.1). Then there exists \(\alpha_{0} \in{}[0,\frac{1}{2})\) such that \(r_{0}=\frac{\alpha_{0}}{1-\alpha_{0}}\) and
In particular, for \(x_{0}=1\), \(y_{0}=2\), by (4.15) we get \(Tx_{0}=\frac {1}{2}\), \(d(x_{0},Tx_{0})=d(1,\frac{1}{2})=\frac{1}{2}\), \(Ty_{0}=\frac{3}{2}\), \(d(y_{0},Ty_{0})=d(2,\frac{3}{2})=\frac{1}{2}\), and
Hence, by (4.20) we obtain
which is impossible. In consequence the map T is not a contraction of Kannan type [6].
Example 4.5
Let \((X,d)\) be a metric space (i.e. b-metric space with constant \(s=1\)), where \(X={}[ 0,2] \subset \mathbb{R}\), \(d(x,y)=|x-y|\), \(x,y\in X\). Let \(E=[0,\frac{3}{2}]\) and let \(J:X\times X\rightarrow{}[0,\infty)\) be as in Example 4.3, i.e.
Let \(T:X\rightarrow2^{X}\) be of the form
I. We see that T is a multivalued self-SK-contraction.
Indeed, let \(\alpha=\frac{1}{3}\) and let \(x,y\in X\) be arbitrary and fixed. We consider the following cases.
Case 1. If \(x,y \in{}[0,\frac{3}{2}]\), then by (4.22) we obtain \(Tx=Ty=\{\frac{1}{2}\}\). Hence, from (4.21), \(\mathcal{H}^{J}(Tx,Ty)=\mathcal{H}(Tx,Ty)=0 \leq\frac{1}{3}[J(x,Tx)+J(y,Ty)]\). Moreover,
Case 2. If \(x,y \in(\frac{3}{2},2]\), then by (4.22) and (4.21) we obtain \(J(x,Tx)=J(y,Ty)=4\). Hence, \(\mathcal{H}^{J}(Tx,Ty)=\mathcal{H}(Tx,Ty)\leq1\) and hence \(\mathcal{H}^{J}(Tx,Ty)\leq1 < \frac{4}{3} = \frac{1}{3}[J(x,Tx)+J(y,Ty)]\). Moreover,
Case 3. If \(x \in{}[0,\frac{3}{2}]\), \(y \in(\frac{3}{2},2]\), then by (4.22) and (4.21) we obtain \(J(x,Tx)=d(x,Tx)\leq1\) and \(J(y,Ty)=4\). Hence, \(\mathcal{H}^{J}(Tx,Ty)=\mathcal{H}(Tx,Ty) \leq1\) and hence \(\mathcal{H}^{J}(Tx,Ty) \leq1 < \frac{4}{3} = \frac{1}{3}[0+4]=\frac {1}{3}[\min\{J(x,Tx):x \in[0,\frac{3}{2}]\}+J(y,Ty)] \leq\frac{1}{3}[J(x,Tx)+J(y,Ty)]\). Moreover,
Now by (4.23)-(4.25) and the symmetry of J, we obtain
In consequence, the map T is a multivalued self-SK-contraction on X.
II. We see that all assumptions of Theorem 3.2 are satisfied.
Indeed, the map T is a closed self-mapping which is a SK-contraction.
III. There exists a fixed point for T.
Indeed, for \(z=0\) we have \(0 \in T(\{0\})\).
Example 4.6
Let \((X,d)\) be a metric space (i.e. b-metric space with constant \(s=1\)), where \(X={}[ 0,2] \subset \mathbb{R}\), \(d(x,y)=|x-y|\), \(x,y\in X\). Let T be as in Example 4.5. We show that the map T is not contraction as introduced by Damjanovic and Doric [7].
Indeed, we suppose that the map T satisfies (1.2). Then there exists \(r_{0} \in{}[0, 1)\) such that
In particular, for \(x_{0}=1\), \(y_{0}=2\), by (4.22) we get \(Tx_{0}=\{\frac {1}{2}\}\), \(D(x_{0},Tx_{0})=D(1,\{\frac{1}{2}\})=\frac{1}{2}\), \(Ty_{0}=\{\frac {3}{2}\}\), \(D(y_{0},Ty_{0})=D(2,\{\frac{3}{2}\})=\frac{1}{2}\) and
Hence, by (4.26) we obtain
which is impossible. In consequence the map T is not a contraction as introduced by Damjanovic and Doric [7].
References
Khamsi, MA, Kirk, WA: An Introduction to Metric Spaces and Fixed Point Theory. Pure and Applied Mathematics. Wiley-Interscience, New York (2001)
Kannan, R: Some results on fixed points. Am. Math. Mon. 76(4), 405-408 (1969)
Reich, S: Kannan’s fixed point theorem. Boll. Unione Mat. Ital. 4, 1-11 (1972)
Reich, S: Some remarks concerning contraction mappings. Can. Math. Bull. 14, 121-124 (1971)
Reich, S: Fixed points of contractive functions. Boll. Unione Mat. Ital. 5, 26-42 (1972)
Kikkawa, M, Suzuki, T: Some similarity between contractions and Kannan mappings. Fixed Point Theory Appl. 2010, Article ID 649749 (2010)
Damjanovic, B, Doric, D: Multivalued generalizations of the Kannan fixed point theorem. Filomat 25, 125-131 (2011)
Kirk, WA, Reich, S, Veeramani, P: Proximinal retracts and best proximity pair theorems. Numer. Funct. Anal. Optim. 24, 851-862 (2003)
Abkar, A, Gabeleh, M: The existence of best proximity points for multivalued non-self-mappings. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 107, 319-325 (2013)
Gabeleh, M: Best proximity points: global minimization of multivalued non-self mappings. Optim. Lett. 8, 1101-1112 (2014)
Gabeleh, M: Best proximity point theorems for single- and set-valued non-self mappings. Acta Math. Sci., Ser. B 34, 1661-1669 (2014)
Wlodarczyk, K, Plebaniak, R, Banach, A: Best proximity points for cyclic and noncyclic set-valued relatively quasi-asymptotic contractions in uniform spaces. Nonlinear Anal. 70, 3332-3342 (2009)
Wlodarczyk, K, Plebaniak, R, Banach, A: Erratum to: ‘Best proximity points for cyclic and noncyclic set-valued relatively quasi-asymptotic contractions in uniform spaces’. Nonlinear Anal. 71, 3583-3586 (2009)
Sankar Raj, V: A best proximity point theorem for weakly contractive non-self-mappings. Nonlinear Anal. 74, 4804-4808 (2011)
Gabeleh, M: Global optimal solutions of non-self mappings. Sci. Bull. ‘Politeh.’ Univ. Buchar., Ser. A, Appl. Math. Phys. 75, 67-74 (2013)
Abkar, A, Gabeleh, M: Global optimal solutions of noncyclic mappings in metric spaces. J. Optim. Theory Appl. 153, 298-305 (2012)
Gabeleh, M, Shahzad, N: Existence and uniqueness of a solution for some nonlinear programming problems. Mediterr. J. Math. 12, 133-146 (2015). doi:10.1007/s00009-013-0380-z
Czerwik, S: Nonlinear set-valued contraction mappings in b-metric spaces. Atti Semin. Mat. Fis. Univ. Modena 46, 263-276 (1998)
Kirk, WA, Shahzad, N: Fixed Point Theory in Distance Spaces. Springer, New York (2014)
Eldred, AA, Veeramani, P: Existence and convergence of best proximity points. J. Math. Anal. Appl. 323(2), 1001-1006 (2006)
Al-Thagafi, MA, Shahzad, N: Convergence and existence results for best proximity points. Nonlinear Anal. 70(10), 3665-3671 (2009)
Ali, MU, Kamran, T, Shahzad, N: Best proximity point for α-ψ-proximal contractive multimaps. Abstr. Appl. Anal. 2014, Article ID 181598 (2014)
Karpinar, E, Raju Kosuru, GS, Tas, K: Best proximity theorems for Reich type cyclic orbital and Reich type Meir-Keeler contraction maps. J. Nonlinear Anal. Optim. 5(1), 1-10 (2014)
Karpinar, E, Petrusel, G, Tas, K: Best proximity point theorems for KT-types cyclic orbital contraction mappings. Fixed Point Theory 13(2), 537-545 (2012)
Sadiq Basha, S, Shahzad, N: Best proximity point theorems for generalized proximal contractions. Fixed Point Theory Appl. 2012, 42 (2012)
Al-Thagafi, MA, Shahzad, N: Best proximity pairs and equilibrium pairs for Kakutani multimaps. Nonlinear Anal. 70(3), 1209-1216 (2009)
Suzuki, T, Kikkawa, M, Vetro, C: The existence of best proximity points in metric spaces with the property UC. Nonlinear Anal. 71(7-8), 2918-2925 (2009)
Shukla, S: Partial b-metric spaces and fixed point theorems. Mediterr. J. Math. 11, 703-711 (2014)
Plebaniak, R: On best proximity points for set-valued contractions of Nadler type with respect to b-generalized pseudodistances in b-metric spaces. Fixed Point Theory Appl. 2014, 39 (2014)
Kada, O, Suzuki, T, Takahashi, W: Nonconvex minimization theorems and fixed point theorems in complete metric spaces. Math. Jpn. 44(2), 381-391 (1996)
Tataru, D: Viscosity solutions of Hamilton-Jacobi equations with unbounded nonlinear terms. J. Math. Anal. Appl. 163(2), 345-392 (1992)
Suzuki, T: Generalized distance and existence theorems in complete metric spaces. J. Math. Anal. Appl. 253(2), 440-458 (2001)
Lin, L-J, Du, W-S: Ekeland’s variational principle, minimax theorems and existence of nonconvex equilibria in complete metric spaces. J. Math. Anal. Appl. 323(1), 360-370 (2006)
Valyi, I: A general maximality principle and a fixed point theorem in uniform space. Period. Math. Hung. 16(2), 127-134 (1985)
Wlodarczyk, K, Plebaniak, R: Maximality principle and general results of Ekeland and Caristi types without lower semicontinuity assumptions in cone uniform spaces with generalized pseudodistances. Fixed Point Theory Appl. 2010, Article ID 175453 (2010)
Wlodarczyk, K, Plebaniak, R: Contractions of Banach, Tarafdar, Meir-Keeler, Ćirić-Jachymski-Matkowski and Suzuki types and fixed points in uniform spaces with generalized pseudodistances. J. Math. Anal. Appl. 404(2), 338-350 (2013)
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The main idea of this paper was proposed by MG and RP prepared the manuscript initially and performed all the steps of the proofs in this research. All authors read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Gabeleh, M., Plebaniak, R. Multivalued SK-contractions with respect to b-generalized pseudodistances. Fixed Point Theory Appl 2015, 50 (2015). https://doi.org/10.1186/s13663-015-0300-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0300-y