- 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.

## 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.

## 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

*n*th 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.

## 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)
*B**is approximately compact with respect to**A*. - (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 that**T**is special generalized proximal**β*-*quasi contractive*.

*Moreover*, *assume that one of the following conditions holds*:

*φ**is continuous*;\(\beta >\max \{\alpha _{1},\alpha _{3}\}\).

*Then**T**has 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.

## 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)
*B**is approximately compact with respect to**A*. - (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}$$

*Then**T**has 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)
*B**is approximately compact with respect to**A*. - (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}$$

*Then**T**has 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 that**T**is a**β*-*quasi contractive mapping*.

*Moreover*, *assume that one of the following conditions holds*:

*φ**is continuous*;\(\beta >\max \{\alpha _{1},\alpha _{3}\}\).

*Then**T**has a unique fixed point in**X*.

### 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*. *Then**T**has 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}\). □

## 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

- 1.
Ćirić, L.B.: Generalized contractions and fixed point theorems. Publ. Inst. Math.

**12**, 19–26 (1971) - 2.
Fan, K.: Extensions of two fixed point theorems of F.E. Brower. Math. Z.

**112**, 234–240 (1969) - 3.
Sadi Bacha, S.: Extensions of Banach’s contraction principle. Numer. Funct. Anal. Optim.

**31**, 569–576 (2010) - 4.
Prolla, J.B.: Fixed point theorems for set-valued mappings and existence of best approximations. Numer. Funct. Anal. Optim.

**5**, 449–455 (1982/83) - 5.
Reich, S.: Approximate selections, best approximations, fixed points and invariant sets. J. Math. Anal. Appl.

**62**, 104–113 (1978) - 6.
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) - 7.
Sehgal, V.M., Singh, S.P.K.: A theorem of best approximation. Numer. Funct. Anal. Optim.

**10**, 181–184 (1989) - 8.
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) - 9.
Banach, S.: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math.

**3**(1), 133–181 (1922) - 10.
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) - 11.
Raj, V.S.: A best proximity point theorem for weakly contractive non-self-mappings. Nonlinear Anal.

**74**, 4804–4808 (2011) - 12.
Ayari, M.I.: Best proximity point theorems for generalized

*α*-*β*-proximal quasi-contractive mappings. Fixed Point Theory Appl.**2017**, 16 (2017) - 13.
Jleli, M., Karapinar, E., Samet, B.: Best proximity points for generalized

*α*-*ψ*-proximal contractive type mapping. J. Appl. Math.**2013**, Article ID 534127 (2013) - 14.
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 - 15.
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 - 16.
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 - 17.
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 - 18.
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) - 19.
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) - 20.
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

### Affiliations

### Contributions

The authors contributed equally to the preparation of the paper. The authors read and approved the final manuscript.

### Corresponding author

Correspondence to Z. Mustafa.

## 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) doi:10.1186/s13663-019-0667-2

#### Received

#### Accepted

#### Published

#### DOI

### MSC

- 47H10
- 54H25

### Keywords

- Best proximity points
- Special generalized proximal
*β*-quasi contractive mappings