Advertisement

A best proximity point theorem for special generalized proximal β-quasi contractive mappings

  • M. Iadh Ayari
  • M. M. M. Jaradat
  • Z. MustafaEmail author
Open Access
Research
  • 141 Downloads

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.

Keywords

Best proximity points Special generalized proximal β-quasi contractive mappings 

MSC

47H10 54H25 

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:
$$\begin{aligned}& d(A,B):=\inf \bigl\{ d(a,b):a\in A,b\in B\bigr\} ; \\& A_{0}:=\bigl\{ a\in A: \text{there exists } b\in B \text{ such that } d(a,b)=d(A,B) \bigr\} ; \\& B_{0}:=\bigl\{ b\in B: \text{there exists } a\in A \text{ such that } d(a,b)=d(A,B) \bigr\} . \end{aligned}$$

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. (1)

    φ is nondecreasing;

     
  2. (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. (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. (1)

    \(\varphi _{\beta }\)is nondecreasing;

     
  2. (2)

    \(\varphi _{\beta } (t) < t\)for all\(t > 0\);

     
  3. (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:
$$ d(T\zeta ,T\eta )\le \varphi \bigl(M_{T}(\zeta ,\eta ) \bigr), \quad \forall \zeta , \eta \in A, $$
(3.1)
where
$$\begin{aligned} M_{T}(\zeta ,\eta )={}& \max \bigl\{ \alpha _{0}d(\zeta ,\eta ),\alpha _{1}\bigl(d( \zeta ,T\zeta )-d(A,B)\bigr), \\ &{} \alpha _{2}\bigl(d(\eta ,T\eta )-d(A,B)\bigr),\alpha _{3}\bigl(d(\eta ,T\zeta )-d(A,B)\bigr), \\ &{} \alpha _{4}\bigl(d(\zeta ,T\eta )-d(A,B)\bigr) \bigr\} . \end{aligned}$$

\(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. (1)

    \(T(A_{0})\subset B_{0}\)and the pair\((A,B)\)satisfies the P-property.

     
  2. (2)

    Bis approximately compact with respect toA.

     
  3. (3)
    There exist elements\(\zeta _{0},\zeta _{1} \in A\)such that
    $$ d(\zeta _{1},T\zeta _{0})=d(A,B). $$
     
  4. (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
$$ d(\zeta _{n+1},T\zeta _{n})=d(A,B) \quad \mbox{for all } n\in \mathbb{N}\cup \{0\}. $$
(3.2)
Using the P-property, we get
$$ d(\zeta _{n},\zeta _{n+1})=d(T\zeta _{n-1},T\zeta _{n}). $$
(3.3)
Our next step is to prove that \(\{\zeta _{n}\}\) is a Cauchy sequence.
Since T is special generalized proximal β-quasi contractive, we obtain
$$ d(\zeta _{n},\zeta _{n+1})=d(T\zeta _{n-1},T \zeta _{n})\le \varphi \bigl(M_{T}( \zeta _{n-1},\zeta _{n})\bigr) ,\quad \forall n\in \mathbb{N}. $$
(3.4)
On the other hand, using (3.2), (3.3), and the triangular inequality, we get
$$\begin{aligned} M_{T}(\zeta _{n-1},\zeta _{n}) =& \max \bigl\{ \alpha _{0}d(\zeta _{n-1}, \zeta _{n}),\alpha _{1}\bigl(d(\zeta _{n-1},T\zeta _{n-1})-d(A,B) \bigr), \\ & \alpha _{2}\bigl(d(\zeta _{n},T\zeta _{n})-d(A,B)\bigr),\alpha _{3}\bigl(d(\zeta _{n},T \zeta _{n-1})-d(A,B)\bigr), \\ & \alpha _{4}\bigl(d(\zeta _{n-1},T\zeta _{n})-d(A,B)\bigr) \bigr\} \\ =& \max \bigl\{ \alpha _{0}d(\zeta _{n-1},\zeta _{n}),\alpha _{1} \bigl(d( \zeta _{n-1},T \zeta _{n-1})-d(A,B)\bigr), \\ &\alpha _{2}\bigl(d(\zeta _{n},T\zeta _{n})-d(A,B)\bigr), \alpha _{4}\bigl(d(\zeta _{n-1},T\zeta _{n})-d(A,B)\bigr) \bigr\} \\ \leq& \max \bigl\{ \alpha _{0}d(\zeta _{n-1},\zeta _{n}), \alpha _{1} d( \zeta _{n-1},\zeta _{n}),\alpha _{2}d(\zeta _{n},\zeta _{n+1}), \\ &\alpha _{4} d(\zeta _{n-1},\zeta _{n})+ \alpha _{4}d(\zeta _{n},\zeta _{n+1}) \bigr\} \\ \leq& \beta \max \bigl\{ d(\zeta _{n-1},\zeta _{n}),d( \zeta _{n}, \zeta _{n+1}) \bigr\} . \end{aligned}$$
Hence,
$$ M_{T}(\zeta _{n-1},\zeta _{n})\leq \beta \max \bigl\{ d(\zeta _{n-1},\zeta _{n}),d(\zeta _{n},\zeta _{n+1}) \bigr\} , $$
(3.5)
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
$$ d(\zeta _{n+1},\zeta _{n})\leq \varphi \bigl( \beta \max \bigl\{ d(\zeta _{n-1}, \zeta _{n}),d(\zeta _{n},\zeta _{n+1}) \bigr\} \bigr)= \varphi _{\beta }\bigl(\max \bigl\{ d(\zeta _{n-1},\zeta _{n}),d(\zeta _{n},\zeta _{n+1}) \bigr\} \bigr). $$
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
$$ d(\zeta _{n+1},\zeta _{n})\leq \varphi _{\beta }\bigl(d(\zeta _{n-1},\zeta _{n})\bigr), \quad \forall n\in \mathbb{N}. $$
(3.6)
Then, by induction, we obtain that
$$ d(\zeta _{n+1},\zeta _{n})\leq \varphi _{\beta }^{n}\bigl(d(\zeta _{1},\zeta _{0})\bigr), \quad \forall n\in \mathbb{N}\cup \{0\}. $$
(3.7)
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
$$\begin{aligned} d(\zeta _{n},\zeta _{m})&\le \sum _{k=n}^{m-1}d(\zeta _{k},\zeta _{k+1}) \\ &\le \sum_{k=n}^{m-1} \varphi _{\beta }^{k}\bigl(d(\zeta _{1},\zeta _{0})\bigr) \end{aligned}$$
since the series \({\sum_{n=1}^{+\infty } \varphi _{\beta }^{n}(t)}\) converges for all \(t\ge 0\); as a result
$$ \sum_{k=n}^{m-1} \varphi _{\beta }^{k}\bigl(d(\zeta _{1},\zeta _{0})\bigr)\longrightarrow 0 \quad \mbox{as } n,m\longrightarrow + \infty . $$
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
$$\begin{aligned} d(\zeta ,B) \le & d(\zeta ,T\zeta _{n}) \\ \le & d(\zeta ,\zeta _{n+1})+d(\zeta _{n+1},T\zeta _{n}) \\ =& d(\zeta ,\zeta _{n+1})+d(A,B) \\ \le & d(\zeta ,\zeta _{n+1})+ d(\zeta ,B). \end{aligned}$$
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
$$\begin{aligned} d(A,B) \le & d(\zeta ,\eta ) \\ \le & d(\zeta ,\zeta _{n_{k}+1})+d(\zeta _{n_{k}+1},T\zeta _{n_{k}}) +d(T \zeta _{n_{k}},\eta ) \\ =& d(\zeta ,\zeta _{n_{k}+1})+d(A,B) +d(T\zeta _{n_{k}},\eta ). \end{aligned}$$
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
$$\begin{aligned} d(u,\zeta _{n+1}) =&d(T\zeta ,T\zeta _{n}) \\ \le & \varphi \bigl(M_{T}(\zeta ,\zeta _{n})\bigr), \quad \forall n \in \mathbb{N}, \end{aligned}$$
(3.8)
where
$$\begin{aligned} M_{T}(\zeta ,\zeta _{n}) = &\max \bigl\{ \alpha _{0}d(\zeta ,\zeta _{n}), \alpha _{1} \bigl(d(\zeta ,T\zeta )-d(A,B)\bigr), \\ & \alpha _{2}\bigl(d(\zeta _{n},T\zeta _{n})-d(A,B)\bigr),\alpha _{3}\bigl(d(\zeta _{n},T \zeta )-d(A,B)\bigr), \\ & \alpha _{4}\bigl(d(\zeta ,T\zeta _{n})-d(A,B)\bigr) \bigr\} . \end{aligned}$$
(3.9)
On the other hand, using the triangular inequality and (3.2), we have
$$\begin{aligned} M_{T}(\zeta ,\zeta _{n}) \le &\max \bigl\{ \alpha _{0}d(\zeta ,\zeta _{n}), \alpha _{1} \bigl(d(\zeta ,T\zeta )-d(A,B)\bigr), \\ & \alpha _{2}d(\zeta _{n},\zeta _{n+1}), \alpha _{3}\bigl(d(\zeta _{n},\zeta )+d( \zeta ,T\zeta )-d(A,B)\bigr), \\ & \alpha _{4}d(\zeta ,\zeta _{n+1}) \bigr\} . \end{aligned}$$
(3.10)
Moreover, using the triangular inequality, we get
$$\begin{aligned} d(\zeta ,T\zeta ) \le & d(\zeta ,\zeta _{n+1})+d(\zeta _{n+1},T\zeta _{n})+d(T\zeta _{n},T\zeta ) \\ = & d(\zeta ,\zeta _{n+1})+d(A,B)+d(T\zeta _{n},T\zeta ),\quad \forall n\in \mathbb{N}. \end{aligned}$$
(3.11)
Using inequality (3.11) and (3.2), we obtain that
$$\begin{aligned} &d(\zeta ,T\zeta )- d(\zeta ,\zeta _{n+1})-d(A,B) \\ &\quad \le \varphi \bigl(M_{T}(\zeta _{n},\zeta ) \bigr), \quad \forall n \in \mathbb{N}. \end{aligned}$$
(3.12)
Let \(s=d(\zeta ,T\zeta )-d(A,B)\), letting \(n\longrightarrow +\infty \) in inequality (3.10), we get
$$ \lim_{n \longrightarrow +\infty }M_{T}(\zeta _{n},\zeta ) \le \max \{\alpha _{1},\alpha _{3} \} s. $$
(3.13)
Suppose that \(s>0\). If φ is continuous, letting \(n\longrightarrow +\infty \) in inequality (3.12) and using the fact that φ is nondecreasing, we get
$$ s \le \varphi \bigl(\max \{\alpha _{1},\alpha _{3} \} s\bigr) \le \varphi (\beta s)=\varphi _{\beta }(s)< s, $$
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
$$\begin{aligned} d(\zeta ,T\zeta )- d(\zeta ,\zeta _{n+1})-d(A,B) \le & \varphi \bigl(M _{T}(\zeta _{n},\zeta )\bigr) \\ \le & \varphi \bigl(\bigl(\max \{\alpha _{1},\alpha _{3}\}+\varepsilon \bigr)s\bigr) \\ =&\varphi _{\beta }\biggl(\frac{\max \{\alpha _{1},\alpha _{3}\}+\varepsilon }{\beta }s\biggr) \\ < & \frac{\max \{\alpha _{1},\alpha _{3}\}+\varepsilon }{\beta }s< s. \end{aligned}$$
(3.14)
By letting \(n\longrightarrow +\infty \) in (3.14), we get
$$ s< \frac{\max \{\alpha _{1},\alpha _{3}\}+\varepsilon }{\beta }s< s, $$
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
$$ d(\zeta ,\eta )=d(T\zeta ,T\eta )\le \varphi \bigl(M_{T}(\zeta , \eta )\bigr), $$
where
$$ M_{T}(\zeta ,\eta )=\max \bigl\{ \alpha _{0}d(\zeta , \eta ),\alpha _{3}\bigl(d( \eta ,T\zeta )-d(A,B)\bigr),\alpha _{4}\bigl(d(\zeta ,T\eta )-d(A,B)\bigr) \bigr\} . $$
Using triangular inequalities in \(M_{T}(\zeta ,\eta )\) and the fact that ζ and η are best proximity points of T, we get
$$ M_{T}(\zeta ,\eta )\le \{\alpha _{0},\alpha _{3},\alpha _{4} \}d(\zeta ,\eta ). $$
Let \(r=d(\zeta ,\eta )\). Since φ is nondecreasing, we obtain
$$ r\le \varphi \bigl( \{\alpha _{0},\alpha _{3},\alpha _{4} \}r \bigr)\le \varphi (\beta r)=\varphi _{\beta }(r)< r, $$
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.
$$ 0=d(T\zeta ,T\eta )= \vert \zeta -\eta \vert \leq \frac{1}{2}\max \bigl\{ 2d(\zeta , \eta ),0,0,0,0\bigr\} . $$
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.
$$ d(\zeta _{\ast },T\zeta _{\ast })=d\bigl(2,T(2) \bigr)=d(2,4)=d(A,B)=2. $$

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. (1)

    \(T(A_{0})\subset B_{0}\)and the pair\((A,B)\)satisfies the P-property.

     
  2. (2)

    Bis approximately compact with respect toA.

     
  3. (3)
    There exist elements\(\zeta _{0},\zeta _{1} \in A\)such that
    $$ d(\zeta _{1},T\zeta _{0})=d(A,B). $$
     
  4. (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
$$ M(\zeta ,\eta )\le M_{T}(\zeta ,\eta ), $$
where
$$\begin{aligned} M_{T}(\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}$$
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. (1)

    \(T(A_{0})\subset B_{0}\)and the pair\((A,B)\)satisfies the P-property.

     
  2. (2)

    Bis approximately compact with respect toA.

     
  3. (3)
    There exist elements\(\zeta _{0},\zeta _{1} \in A\)such that
    $$ d(\zeta _{1},T\zeta _{0})=d(A,B). $$
     
  4. (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
$$ d(T\zeta ,T\eta )\le \varphi \bigl(M_{T}(\zeta ,\eta )\bigr), $$
where
$$ M_{T}(\zeta ,\eta )=\max \bigl\{ \alpha _{0}d(\zeta , \eta ), \alpha _{1}d(\zeta ,T\zeta ), \alpha _{2}d(\eta ,T\eta ),\alpha _{3}d(\zeta ,T \eta ), \alpha _{4}d( \eta ,T\zeta ) \bigr\} , $$
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,
$$\begin{aligned}& d(T\zeta ,T\eta )\le q \max \bigl\{ d(\zeta ,\eta ),d(\zeta ,T \zeta ),d(\eta ,T\eta ),d(\zeta ,T\eta ),d(\eta ,T\zeta ) \bigr\} \\& \quad \textit{for all } \zeta ,\eta \in X, \end{aligned}$$
(4.2)
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.

Notes

Acknowledgements

Not applicable.

Availability of data and materials

Please contact the authors for data requests.

Authors’ contributions

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

Funding

Not applicable.

Competing interests

The authors declare that they have no competing interests.

References

  1. 1.
    Ćirić, L.B.: Generalized contractions and fixed point theorems. Publ. Inst. Math. 12, 19–26 (1971) MathSciNetzbMATHGoogle Scholar
  2. 2.
    Fan, K.: Extensions of two fixed point theorems of F.E. Brower. Math. Z. 112, 234–240 (1969) MathSciNetCrossRefGoogle Scholar
  3. 3.
    Sadi Bacha, S.: Extensions of Banach’s contraction principle. Numer. Funct. Anal. Optim. 31, 569–576 (2010) MathSciNetCrossRefGoogle Scholar
  4. 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) Google Scholar
  5. 5.
    Reich, S.: Approximate selections, best approximations, fixed points and invariant sets. J. Math. Anal. Appl. 62, 104–113 (1978) MathSciNetCrossRefGoogle Scholar
  6. 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) MathSciNetzbMATHGoogle Scholar
  7. 7.
    Sehgal, V.M., Singh, S.P.K.: A theorem of best approximation. Numer. Funct. Anal. Optim. 10, 181–184 (1989) MathSciNetCrossRefGoogle Scholar
  8. 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) MathSciNetCrossRefGoogle Scholar
  9. 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) CrossRefGoogle Scholar
  10. 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) MathSciNetCrossRefGoogle Scholar
  11. 11.
    Raj, V.S.: A best proximity point theorem for weakly contractive non-self-mappings. Nonlinear Anal. 74, 4804–4808 (2011) MathSciNetCrossRefGoogle Scholar
  12. 12.
    Ayari, M.I.: Best proximity point theorems for generalized α-β-proximal quasi-contractive mappings. Fixed Point Theory Appl. 2017, 16 (2017) MathSciNetCrossRefGoogle Scholar
  13. 13.
    Jleli, M., Karapinar, E., Samet, B.: Best proximity points for generalized α-ψ-proximal contractive type mapping. J. Appl. Math. 2013, Article ID 534127 (2013) MathSciNetzbMATHGoogle Scholar
  14. 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 MathSciNetCrossRefzbMATHGoogle Scholar
  15. 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 CrossRefzbMATHGoogle Scholar
  16. 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 CrossRefzbMATHGoogle Scholar
  17. 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 MathSciNetCrossRefzbMATHGoogle Scholar
  18. 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) MathSciNetCrossRefGoogle Scholar
  19. 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) MathSciNetzbMATHGoogle Scholar
  20. 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) MathSciNetCrossRefGoogle Scholar

Copyright information

© The Author(s) 2019

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.

Authors and Affiliations

  • M. Iadh Ayari
    • 1
  • M. M. M. Jaradat
    • 2
  • Z. Mustafa
    • 2
    Email author
  1. 1.Carthage University, National Institute of Applied Sciences and Technology of TunisTunisTunisie
  2. 2.Department of Mathematics, Statistics and PhysicsQatar UniversityDohaQatar

Personalised recommendations