- Research
- Open access
- Published:
A best proximity point theorem for special generalized proximal β-quasi contractive mappings
Fixed Point Theory and Applications volume 2019, Article number: 17 (2019)
Abstract
In this paper, we obtain some best proximity point results for a new class of non-self mappings \(T:A \longrightarrow B\) called special generalized proximal β-quasi contractive. Our result is illustrated by an example. Several consequences are derived.
1 Introduction
The famous Banach contraction principle guarantees the existence and uniqueness of fixed points of self-mappings \(T:X\longrightarrow X\), where \((X,d)\) is a complete metric space. The Banach contraction principle has been generalized in different ways as in [1]. The main interesting studies deal with the extension of Banach’s contraction to non-self-mappings \(T:A\longrightarrow B\), where \((A,B)\) is a pair of subsets of a metric space \((X,d)\). In fact such mappings do not necessarily have fixed points. The idea is to look for points where \(d(\zeta ,T\zeta )=d(A,B)\). Such points are called best proximity points. In 1969, a best approximation theorem was introduced by Fan [2]. Later on, Sadiq Basha [3] proposed necessary and sufficient conditions for the existence of proximal contractions of first and second kind for such points. Several variants of non-self-contractions for the existence of a best proximity point were studied in [4,5,6,7].
In 2014, Almeida et al. [8], by using the notion of P-property (weak P-property), proved that some late results about the existence and uniqueness of best proximity points can be obtained from the versions of associated existing results in the fixed point theory.
Our work focuses on the best proximity point theorem for a new family of non-self-mappings called special generalized proximal β-quasi contractive mappings. As an application to the self-mapping case, the present work generalizes several existing results on fixed point theory as the Banach contraction principle [9] and the generalization of such a principle by Ćirić in [1].
The paper is divided into five sections. Section 2 introduces the notation used herein, presents some definitions, and recalls some useful results. The best proximity point theorem with its proof is stated in Sect. 3. Finally, several consequences on the existence and uniqueness of best proximity points and fixed point results are given in Sect. 4.
2 Preliminaries and definitions
Let \((A,B)\) be a pair of nonempty subsets of a metric space \((X,d)\). Throughout this work we consider the following notations:
Definition 2.1
([3])
Let \(T: A\rightarrow B\) be a mapping. An element \(x^{*}\) is said to be a best proximity point of T if \(d(x^{*},Tx ^{*})=d(A,B)\).
Definition 2.2
([10])
Let \(\beta \in (0,+\infty )\). A β-comparison function is a map \(\varphi :[0,+\infty )\to [0,+\infty )\) satisfying the following properties:
- (1)
φ is nondecreasing;
- (2)
\(\lim_{n\to \infty }\varphi _{\beta }^{n}(t)=0\) for all \(t>0\), where \(\varphi _{\beta }^{n} \) denotes the nth iterate of \(\varphi _{\beta }\) and \(\varphi _{\beta }(t)=\varphi (\beta \, t)\);
- (3)
there exists \(s\in (0,+\infty )\) such that \(\sum_{n=1}^{\infty }\varphi _{\beta }^{n}(s) < \infty \).
The set of all β-comparison functions φ satisfying (1), (2), and (3) will be denoted by \(\varPhi _{\beta }\).
Remark 2.3
Let \(\alpha ,\beta \in (0,+\infty )\). If \(\alpha <\beta \), then \(\varPhi _{\beta }\subset \varPhi _{\alpha }\).
A useful lemma concerning the comparison functions \(\varPhi _{\beta }\) was performed in [10].
Lemma 2.4
([10])
Let \(\beta \in (0,+\infty )\)and \(\varphi \in \varPhi _{ \beta }\). Then
- (1)
\(\varphi _{\beta }\)is nondecreasing;
- (2)
\(\varphi _{\beta } (t) < t\)for all \(t > 0\);
- (3)
\(\sum_{n=1}^{\infty }\varphi _{\beta }^{n}(t) < \infty \)for all \(t > 0 \).
Definition 2.5
([11])
Let \((A,B)\) be a pair of nonempty subsets of a metric space \((X,d)\) such that \(A_{0}\) is nonempty. Then the pair \((A,B)\) is said to have the P-property iff \(d(\zeta _{1},\eta _{1})=d(\zeta _{2},\eta _{2})=d(A,B) \Longrightarrow d( \zeta _{1},\zeta _{2})=d(\eta _{1},\eta _{2})\), where \(\zeta _{1},\zeta _{2}\in A\) and \(\eta _{1},\eta _{2}\in B\).
Definition 2.6
We say that B is approximately compact with respect to A iff every sequence \(\{\eta _{n}\}\subset B\) satisfying \({\lim_{n\longrightarrow +\infty }d(\zeta ,\eta _{n})=d(\zeta ,B)}\) for some \(\zeta \in A\) has a convergent subsequence.
3 Main results and theorems
First, we introduce the following concept.
Definition 3.1
Let \((X,d)\) be a metric space and \((A,B)\) be a pair of nonempty subsets of X. Let \(\beta \in (0,+\infty )\). A non-self-mapping \(T:A\to B\) is said to be a special generalized proximal β-quasi contractive mapping iff there exist \(\varphi \in \varPhi _{\beta }\) and positive numbers \(\alpha _{i}\), \(i=1,2,3,4\), such that:
where
\(M_{T}(\zeta ,\eta )\) was introduced in [12]. Our main result is given by the following best proximity point theorem.
Theorem 3.2
Let \((A,B)\)be a pair of nonempty closed subsets of a complete metric space \((X,d)\)such that \(A_{0}\)is nonempty. Consider a non-self-mapping \(T: A\longrightarrow B\)satisfying the following conditions:
- (1)
\(T(A_{0})\subset B_{0}\)and the pair \((A,B)\)satisfies the P-property.
- (2)
Bis approximately compact with respect toA.
- (3)
There exist elements \(\zeta _{0},\zeta _{1} \in A\)such that
$$ d(\zeta _{1},T\zeta _{0})=d(A,B). $$ - (4)
There exists \(\beta \ge \max_{0\le k \le 3}\{\alpha _{k},2\alpha _{4}\}\)such thatTis special generalized proximalβ-quasi contractive.
Moreover, assume that one of the following conditions holds:
φis continuous;
\(\beta >\max \{\alpha _{1},\alpha _{3}\}\).
ThenThas a unique best proximity point \(\zeta \in A\)such that \(d(\zeta ,T\zeta )=d(A,B)\).
Proof
From condition (3), there exist \(\zeta _{0},\zeta _{1} \in A\) such that \(d(\zeta _{1},T\zeta _{0})=d(A,B)\). Then \(A_{0} \neq \phi \), \(B_{0} \neq \phi \). Now \(T(\zeta _{1})\in B_{0}\) since \(T(A_{0})\subset B_{0}\), so there exists \(\zeta _{2}\in A\) such that \(d(\zeta _{2},T\zeta _{1})=d(A,B)\). Continuing this process, we can build a sequence \(\{\zeta _{n}\}\subset A_{0}\) such that
Using the P-property, we get
Our next step is to prove that \(\{\zeta _{n}\}\) is a Cauchy sequence.
Since T is special generalized proximal β-quasi contractive, we obtain
On the other hand, using (3.2), (3.3), and the triangular inequality, we get
Hence,
where \(\beta \ge \max_{0\le k \le 3}\{\alpha _{k},2\alpha _{4}\}\). Using inequalities (3.3) and (3.5) and taking into consideration the fact that φ is nondecreasing, we get that
Suppose that, for some n, we have \(d(\zeta _{n-1},\zeta _{n})\le d( \zeta _{n},\zeta _{n+1})\). It follows that \(d(\zeta _{n+1},\zeta _{n})\leq \varphi _{\beta }(d(\zeta _{n+1},\zeta _{n}))< d(\zeta _{n+1},\zeta _{n})\), which is a contradiction.
Then, for all \(n\ge 0\), we necessary have \(d(\zeta _{n-1},\zeta _{n})> d( \zeta _{n},\zeta _{n+1})\), and it follows that
Then, by induction, we obtain that
Let \(\epsilon >0\) be fixed. Since the numerical series \({ \sum_{n=1}^{+\infty }\varphi _{\beta }^{n}(d(\zeta _{1},\zeta _{0}))}\) converges, there exists a positive integer N such that \({ \sum_{n\ge N}^{+\infty }\varphi _{\beta }^{n}(d(\zeta _{1},\zeta _{0}))< \epsilon }\). For \(m>n>N\), using the triangular inequality, the convergence of the series, and (3.7), we obtain
since the series \({\sum_{n=1}^{+\infty } \varphi _{\beta }^{n}(t)}\) converges for all \(t\ge 0\); as a result
Therefore, \(\zeta _{n}\) is a Cauchy sequence. Since \((X,d)\) is complete and A is closed, then the sequence \(\{\zeta _{n}\}\) converges to some element \(\zeta \in A\).
On the other hand, we have
As \(n \rightarrow \infty \), we get that the sequence \(d(\zeta ,T\zeta _{n})\) converges to \(d(\zeta ,B)\). Using hypothesis (2) of the theorem, there exists a subsequence \(\{\zeta _{n(k)}\}\) of \(\{\zeta _{n}\}\) such that \(T(\zeta _{n(k)})\) converges to some \(\eta \in B\). Hence
As \(n \rightarrow \infty \), we get that \(d(\zeta ,\eta )=d(A,B)\) and therefore \(\zeta \in A_{0}\). Since \(T(A_{0})\subset B_{0}\), there exists \(u \in A\) such that \(d(u,T\zeta )=d(A,B)\). Consequently, we obtain \(d(u,T\zeta )=d(\zeta _{n+1},T\zeta _{n})=d(A,B)\). Using the P-property, we deduce that \(d(u,\zeta _{n+1})=d(T\zeta ,T\zeta _{n})\).
Since T is special generalized β-proximal quasi-contractive, we obtain
where
On the other hand, using the triangular inequality and (3.2), we have
Moreover, using the triangular inequality, we get
Using inequality (3.11) and (3.2), we obtain that
Let \(s=d(\zeta ,T\zeta )-d(A,B)\), letting \(n\longrightarrow +\infty \) in inequality (3.10), we get
Suppose that \(s>0\). If φ is continuous, letting \(n\longrightarrow +\infty \) in inequality (3.12) and using the fact that φ is nondecreasing, we get
which is a contradiction. If \(\beta >\max \{\alpha _{1},\alpha _{3} \} \). We claim that also \(s=0\). Suppose that \(s>0\). Using inequality (3.13) and the definition of the limit, there exist \(\varepsilon >0\) and \(N>0\) such that, for all \(n>N\), we have \(M_{T}(\zeta _{n},\zeta )<(\max \{\alpha _{1},\alpha _{3} \} + \varepsilon )s\). Since φ is nondecreasing, from (3.13), we get
By letting \(n\longrightarrow +\infty \) in (3.14), we get
which is a contradiction. Therefore \(s=0\) and so \(d(\zeta ,T\zeta ) - d(A,B) = 0 \), which implies that \(d(\zeta ,T\zeta ) = d(A,B)\), that is, ζ is the best proximity point.
For the uniqueness, suppose that there are two distinct best proximity points ζ and η such that \(d(\zeta ,T\zeta )=d(\eta ,T \eta )=d(A,B)\). Using the P-property, we get \(d(\zeta ,\eta )=d(T \zeta ,T\eta )\) On the other hand, since T is special generalized proximal β-quasi contractive, we deduce that
where
Using triangular inequalities in \(M_{T}(\zeta ,\eta )\) and the fact that ζ and η are best proximity points of T, we get
Let \(r=d(\zeta ,\eta )\). Since φ is nondecreasing, we obtain
which is a contradiction. □
Example 3.3
Consider the complete metric space \(X=\mathbb{R}\) with the metric \(d(\zeta ,\eta )=|\zeta -\eta |\). Let \(A=[0,2]\) and \(B=[4,6]\). These sets are closed on the metric space \((X,d)\). Also, since B is compact, then \(B=[4,6]\) is approximately compact with respect to \(A=[0,2]\). Also, let \(T:A\longrightarrow B\) be defined by \(T(\zeta )=6-\zeta \). Then it is easy to see that \(d(A,B)=2\) and \(A_{0}=\{2\}\), \(B_{0}=\{4\}\). Thus, \(T(A_{0})=T(\{2\})= \{4\}=B_{0}\). Now we shall show that T is special generalized proximal β-quasi contractive with \(\phi (t)=\frac{1}{2}t\), \(\beta =2\), and \(\alpha _{1}=2\) and \(\alpha _{i}=0\) for \(i=1,2,3,4\). Note that \(\phi (t)= \frac{1}{2}t \in \varPhi _{2}\subset \varPhi _{1} \) using Remark 2.3.
The function \(\phi (t)\) is continuous mappings as well as \(\beta =2> \max \{\alpha _{1},\alpha _{3}\}=0\). We deduce, using our Theorem 3.2, that T has a unique best proximity point which is \(\zeta _{\ast } =2\) in this example.
4 Consequences
Several consequences of the main results of Sect. 3 are established next.
First, as an application to best proximity points, we propose the following results, which are an immediate consequence of our main Theorem 3.2.
Corollary 4.1
Let \((A,B)\)be a pair of nonempty closed subsets of a complete metric space \((X,d)\)such that \(A_{0}\)is nonempty. Consider a non-self-mapping \(T: A\longrightarrow B\)satisfying the following conditions:
- (1)
\(T(A_{0})\subset B_{0}\)and the pair \((A,B)\)satisfies the P-property.
- (2)
Bis approximately compact with respect toA.
- (3)
There exist elements \(\zeta _{0},\zeta _{1} \in A\)such that
$$ d(\zeta _{1},T\zeta _{0})=d(A,B). $$ - (4)
There exists \(\varphi \in \varPhi _{2}\)such that
$$ d(T\zeta ,T\eta )\le \varphi \bigl(M(\zeta ,\eta )\bigr),\quad \forall \zeta ,\eta \in A, $$(4.1)where
$$\begin{aligned} M(\zeta ,\eta ) =& \max \biggl\{ d(\zeta ,\eta ),d(\zeta ,T\zeta )-d(A,B)), \\ & d(\eta ,T\eta )-d(A,B),\frac{d(\eta ,T\zeta )+d(\zeta ,T\eta )}{2}-d(A,B) \biggr\} . \end{aligned}$$
ThenThas the unique best proximity point \(\zeta \in A\)such that \(d(\zeta ,T\zeta )=d(A,B)\).
Proof
Note that the above quantity \(M(\zeta ,\eta )\) was introduced by Jleli, Karapinar, and Samet in [13].
The main idea is that
where
So \(\alpha _{i}=1\) for all \(i\in \{0,1,\ldots ,4\}\). So for \(\beta \ge 2>\max \{\alpha _{1},\alpha _{3}\}=1\). According to our Theorem 3.2, if the comparison function \(\varphi \in \varPhi _{2}\), then T has a unique proximity point in A. □
Corollary 4.2
Let \((A,B)\)be a pair of nonempty closed subsets of a complete metric space \((X,d)\)such that \(A_{0}\)is nonempty. Consider a non-self-mapping \(T: A\longrightarrow B\)satisfying the following conditions:
- (1)
\(T(A_{0})\subset B_{0}\)and the pair \((A,B)\)satisfies the P-property.
- (2)
Bis approximately compact with respect toA.
- (3)
There exist elements \(\zeta _{0},\zeta _{1} \in A\)such that
$$ d(\zeta _{1},T\zeta _{0})=d(A,B). $$ - (4)
There exists \(q \in [0,1)\)such that
$$ d(T\zeta ,T\eta )\le q M(\zeta ,\eta ),\quad \forall \zeta ,\eta \in A, $$where
$$\begin{aligned} M(\zeta ,\eta ) = &\max \bigl\{ d(\zeta ,\eta ),d(\zeta ,T\zeta )-d(A,B), \\ & d(\eta ,T\eta )-d(A,B),d(\eta ,T\zeta )-d(A,B),d(\zeta ,T\eta )-d(A,B) \bigr\} . \end{aligned}$$
ThenThas a unique best proximity point \(\zeta \in A\)such that \(d(\zeta ,T\zeta )=d(A,B)\).
Proof
Let \(\varphi =qt\), which belongs to \(\varPhi _{1}\) and is continuous. According our Theorem 3.2, T has a unique proximity point in A. □
Before proposing consequences of our result to the existence and uniqueness of fixed points for self-mappings, we introduce the following definition.
Definition 4.3
Let A be a nonempty set of a metric space \((X,d)\). A self-mapping \(T:A\to A\) is called generalized β-quasi contractive if there exists a function \(\varphi \in \varPhi _{\beta }\), where \(\beta >0\) such that, for all \(\zeta ,\eta \in A\), we have
where
with \(\alpha _{k}\ge 0\) for \(k=0, \ldots ,4\).
Several papers dealt with fixed point theory in the context of the generalizing of Banach’s principle as in [14,15,16,17,18,19,20]. By our generalized β-quasi contractive mapping, we can propose some theorems on the existence and uniqueness of fixed points in complete spaces in a simple way.
Corollary 4.4
Let \((X,d)\)be a nonempty complete metric space. Consider a self-mapping \(T: X\longrightarrow X\). Suppose that there exists \(\beta \ge \max_{0\le k \le 3}\{\alpha _{k},2\alpha _{4}\}\)such thatTis aβ-quasi contractive mapping.
Moreover, assume that one of the following conditions holds:
φis continuous;
\(\beta >\max \{\alpha _{1},\alpha _{3}\}\).
ThenThas a unique fixed point inX.
Proof
This is an immediate consequence of our main Theorem 3.2 since \(A=B=X\) and every set is approximately compact with its self. Moreover, the notion of special generalized β-proximal quasi-contractive on the self-mapping case is exactly a β-quasi-contractive one. □
Also the famous Cirić theorem is an immediate consequence of our theorem.
Corollary 4.5
Let \((X,d)\)be a complete metric space, and let \(T:X\longrightarrow X\)be a quasi-contraction, that is,
where \(q\in [0,1)\)is some constant. ThenThas a unique fixed point \(\zeta \in X\).
Proof
Using our main Theorem 3.2, since \(A=B=X\) and every set is approximately compact with its self, the function \(\varphi (t)=qt\), which is continuous and belongs to the set \(\varPhi _{1}\). □
5 Conclusion
Improvements to some best proximity point theorems are proposed. This has been achieved by introducing a suitable mapping called special generalized proximal β-quasi contractive. These are non-self-mappings involving β-comparison functions. As an application, we establish the existence and uniqueness of well-known fixed point results for the case of self-mappings on complete metric spaces. We confirm our result by a suitable example.
References
Ćirić, L.B.: Generalized contractions and fixed point theorems. Publ. Inst. Math. 12, 19–26 (1971)
Fan, K.: Extensions of two fixed point theorems of F.E. Brower. Math. Z. 112, 234–240 (1969)
Sadi Bacha, S.: Extensions of Banach’s contraction principle. Numer. Funct. Anal. Optim. 31, 569–576 (2010)
Prolla, J.B.: Fixed point theorems for set-valued mappings and existence of best approximations. Numer. Funct. Anal. Optim. 5, 449–455 (1982/83)
Reich, S.: Approximate selections, best approximations, fixed points and invariant sets. J. Math. Anal. Appl. 62, 104–113 (1978)
Sehgal, V.M., Singh, S.P.K.: A generalization to multifunctions of Fan’s best approximation theorem. Proc. Am. Math. Soc. 102, 534–537 (1988)
Sehgal, V.M., Singh, S.P.K.: A theorem of best approximation. Numer. Funct. Anal. Optim. 10, 181–184 (1989)
Almeida, A., Karapinar, E., Sadarangani, K.: A note on best proximity point theorems under weak P-property. Abstr. Appl. Anal. 2014, Article ID 716825 (2014)
Banach, S.: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 3(1), 133–181 (1922)
Ayari, M.I., Berzig, M., Kedim, I.: Coincidence and common fixed point results for β-quasi contractive mappings on metric spaces endowed with binary relation. Math. Sci. 10(3), 105–114 (2016)
Raj, V.S.: A best proximity point theorem for weakly contractive non-self-mappings. Nonlinear Anal. 74, 4804–4808 (2011)
Ayari, M.I.: Best proximity point theorems for generalized α-β-proximal quasi-contractive mappings. Fixed Point Theory Appl. 2017, 16 (2017)
Jleli, M., Karapinar, E., Samet, B.: Best proximity points for generalized α-ψ-proximal contractive type mapping. J. Appl. Math. 2013, Article ID 534127 (2013)
Shatanawi, W., Mustafa, Z., Tahat, N.: Some coincidence point theorems for nonlinear contraction in ordered metric spaces. Fixed Point Theory Appl. 2011, 68 (2011). https://doi.org/10.1186/1687-1812-2011-68
Mustafa, Z., Aydi, H., Karapinar, E.: Mixed g-monotone property and quadruple fixed point theorems in partial ordered metric space. Fixed Point Theory Appl. 2012, 71 (2012). https://doi.org/10.1186/1687-1812-2012-71
Shatanawi, W.A., Postolache, M., Mustafa, Z., Taha, N.: Some theorems for Boyd–Wong type contractions in ordered metric spaces. Abstr. Appl. Anal. 2012, Article ID 359054 (2012). https://doi.org/10.1155/2012/359054
Karapinar, E., Aydi, H., Mustafa, Z.: Some tripled coincidence point theorems for almost generalized contractions in ordered metric spaces. Tamkang J. Math. 44(3), 233–251 (2013). https://doi.org/10.5556/j.tkjm.44.2013.990
Mustafa, Z., Karapinar, E., Aydi, H.: A discussion on generalized almost contractions via rational expressions in partially ordered metric spaces. J. Inequal. Appl. 2014(1), 219 (2014)
Mustafa, Z., Huang, H., Radenović, S.: Some remarks on the paper some fixed point generalizations are not real generalizations. J. Adv. Math. Stud. 9(1), 110–116 (2016)
Mustafa, Z., Jaradat, M.M.M., Karapinar, E.: A new fixed point result via property P with an application. J. Nonlinear Sci. Appl. 10, 2066–2078 (2017)
Acknowledgements
Not applicable.
Availability of data and materials
Please contact the authors for data requests.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The authors contributed equally to the preparation of the paper. The authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Abbreviations
Not applicable.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Ayari, M.I., Jaradat, M.M.M. & Mustafa, Z. A best proximity point theorem for special generalized proximal β-quasi contractive mappings. Fixed Point Theory Appl 2019, 17 (2019). https://doi.org/10.1186/s13663-019-0667-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-019-0667-2