# An optimization problem involving proximal quasi-contraction mappings

- Mohamed Jleli
^{1}and - Bessem Samet
^{1}Email author

**2014**:141

https://doi.org/10.1186/1687-1812-2014-141

© Jleli and Samet; licensee Springer. 2014

**Received: **17 April 2014

**Accepted: **13 June 2014

**Published: **22 July 2014

## Abstract

Consider a non-self-mapping $T:A\to B$, where $(A,B)$ is a pair of nonempty subsets of a metric space $(X,d)$. In this paper, we study the existence and uniqueness of solutions to the global optimization problem ${min}_{x\in A}d(x,Tx)$, where *T* belongs to the class of proximal quasi-contraction mappings.

**MSC:**41A65, 90C30, 47H10.

### Keywords

global optimization; best proximity proximal quasi-contraction proximal Picard sequence*T*-orbitally complete

## 1 Introduction

Let $(X,d)$ be a metric space and $(A,B)$ be a pair of nonempty subsets of *X*. Consider a non-self-mapping $T:A\to B$. An element ${x}^{\ast}\in A$ is said to be a best proximity point of the mapping *T* iff $d({x}^{\ast},T{x}^{\ast})=inf\{d(a,b):a\in A,b\in B\}$. Clearly, if $A=B$, a best proximity point of *T* will be a fixed point of *T*. The aim of best proximity point analysis is to provide sufficient conditions assuring the existence and uniqueness of best proximity points, and build algorithms that can serve to approximate such points.

In [1], Sankar Raj introduced the concept of *P*-property and obtained a best proximity point result for a class of weakly non-self-contractive mappings. Later on, many authors considered different classes of contractive mappings under the *P*-property (see, *e.g.*, [2–4]). Very recently, Abkar and Gabeleh [5] observed that the most best proximity point theorems obtained under the *P*-property can be deduced from existing fixed point results in the literature.

In [6], Sadiq Basha presented an extension of Banach’s contraction principle via a best proximity point theorem under the assumption: *B* is approximatively compact with respect to *A*. Later on, various best proximity point results are derived under this assumption (see, *e.g.*, [7–9]). In a recent work, Sadiq Basha and Shahzad [9] established new best proximity point results for generalized proximal contractions of first and second kind. For other results on best proximity point analysis, we refer the reader to [10–19].

This paper discusses the existence and uniqueness of best proximity points for a new class of non-self-mappings. More precisely, we introduce in this work the class of proximal quasi-contractive mappings, and we establish new best proximity point results for such mappings. In our results, we consider only proximal contractions of the first kind. Moreover, the compactness assumption, used in many previous works, is not assumed. We show that the results obtained in [6, 9] are particular cases of our main result.

The paper is organized as follows. In Section 2, we introduce the class of proximal quasi-contractive mappings, and the concept of proximal orbital completeness. Section 3 presents some useful lemmas that will be used to show that our proximal orbital completeness concept is weaker than the compactness condition imposed on the pair $(A,B)$, and the proximal condition of the second kind. In Section 4, we present and establish our main result. Finally, in Section 5, we show that many existing best proximity point results including the obtained results in [6, 9] are particular cases of our main theorem.

## 2 Definitions

Through this paper, ℕ denotes the set of natural numbers, and ${\mathbb{N}}^{\ast}=\mathbb{N}\mathrm{\setminus}\{0\}$.

*X*. We consider the following notations:

**Definition 2.1**An element ${x}^{\ast}\in A$ is said to be a best proximity point of the non-self-mapping $T:A\to B$ iff

Reference [6] introduced the following concept.

**Definition 2.2** We say that *B* is approximatively compact with respect to *A* iff every sequence $\{{y}_{n}\}\subset B$ satisfying the condition that ${lim}_{n\to \mathrm{\infty}}d(x,{y}_{n})=d(x,B)$ for some *x* in *A*, has a convergent subsequence.

Reference [9] introduced the following concepts.

**Definition 2.3**A non-self-mapping $T:A\to B$ is said to be a generalized proximal contraction of the first kind iff there exist non-negative numbers

*α*,

*β*,

*γ*,

*δ*with $\alpha +\beta +\gamma +2\delta <1$ such that

where $x,y,u,v\in A$.

**Definition 2.4**A non-self-mapping $T:A\to B$ is said to be a generalized proximal contraction of the second kind iff there exist non-negative numbers

*α*,

*β*,

*γ*,

*δ*with $\alpha +\beta +\gamma +2\delta <1$ such that

where $x,y,u,v\in A$.

In this paper, we introduce the following concepts.

**Definition 2.5**A non-self-mapping $T:A\to B$ is said to be a proximal quasi-contraction iff there exists a number $q\in [0,1)$ such that

where $x,y,u,v\in A$.

**Remark 2.1** Clearly, we have the following implication: *T* is a generalized proximal contraction of the first kind ⇒ *T* is a proximal quasi-contraction.

*T*is a self-mapping on

*A*, then the requirement in the preceding definition reduces to the condition that

for all $x,y,u,v\in A$. Such condition was introduced by [20] under the name of quasi-contraction.

**Lemma 2.1**

*Let*$T:A\to B$

*be a non*-

*self*-

*mapping*.

*Suppose that the following conditions hold*:

- (i)
${A}_{0}\ne \mathrm{\varnothing}$;

- (ii)
$T({A}_{0})\subseteq {B}_{0}$.

*Then*,

*for all*$a\in {A}_{0}$,

*there exists a sequence*$\{{x}_{n}\}\subset {A}_{0}$

*such that*

*Proof* Let ${x}_{0}=a$. Since $T({A}_{0})\subseteq {B}_{0}$, there exists ${x}_{1}\in {A}_{0}$ such that $d({x}_{1},T{x}_{0})=d(A,B)$. Again, since $T{x}_{1}\in T({A}_{0})\subseteq {B}_{0}$, there exists ${x}_{2}\in {A}_{0}$ such that $d({x}_{2},T{x}_{1})=d(A,B)$. Continuing this process, by induction, we can build a sequence $\{{x}_{n}\}\subset {A}_{0}$ satisfying (2.1). □

**Definition 2.6** Under the assumptions of Lemma 2.1, any sequence $\{{x}_{n}\}\subset {A}_{0}$ satisfying (2.1) is called a proximal Picard sequence associated to $a\in {A}_{0}$.

For every $a\in {A}_{0}$, we denote by $PP(a)$ the set of all proximal Picard sequences associated to *a*.

**Definition 2.7** We say that ${A}_{0}$ is proximal *T*-orbitally complete iff every Cauchy sequence $\{{x}_{n}\}\in PP({x}_{0})$ for some ${x}_{0}\in {A}_{0}$, converges to an element in ${A}_{0}$.

If *T* is a self-mapping on *A*, then the requirement in the preceding definition reduces to the condition that *A* is *T*-orbitally complete (see [20]).

## 3 Some useful lemmas

The following preliminary results will be useful later.

**Lemma 3.1**

*Let*$(A,B)$

*be a pair of closed subsets of a metric space*$(X,d)$.

*Suppose that the following conditions hold*:

- (i)
${A}_{0}\ne \mathrm{\varnothing}$;

- (ii)
*B**is approximatively compact with respect to**A*.

*Then the set* ${A}_{0}$ *is closed*.

*Proof*Let $\{{x}_{n}\}$ be a sequence in ${A}_{0}$ such that

*B*such that

*B*is approximatively compact with respect to

*A*, the sequence $\{{b}_{n}\}$ admits a convergent subsequence $\{{b}_{{n}_{k}}\}$. Let $b\in B$ such that

which implies that $x\in {A}_{0}$. □

**Lemma 3.2**

*Let*$(A,B)$

*be a pair of closed subsets of a complete metric space*$(X,d)$.

*Let*$T:A\to B$

*be a non*-

*self*-

*mapping*.

*Suppose that the following conditions hold*:

- (i)
${A}_{0}\ne \mathrm{\varnothing}$;

- (ii)
$T({A}_{0})\subseteq {B}_{0}$;

- (iii)
*T**is a generalized proximal contraction of the second kind*.

*Then* ${A}_{0}$ *is proximal* *T*-*orbitally complete*.

*Proof*Let ${x}_{0}\in {A}_{0}$ and $\{{x}_{n}\}\in PP({x}_{0})$ be a Cauchy sequence. Since $(X,d)$ is complete and

*A*is closed, there exists $x\in A$ such that

*T*is a generalized proximal contraction of the second kind, for all $n\in {\mathbb{N}}^{\ast}$, we have

*B*is closed, there exists $y\in B$ such that

which implies that $x\in {A}_{0}$. □

## 4 Main result

Our main result is giving by the following best proximity point theorem.

**Theorem 4.1**

*Let*$(A,B)$

*be a pair of subsets of a metric space*$(X,d)$.

*Let*$T:A\to B$

*be a giving mapping*.

*Suppose that the following conditions hold*:

- (i)
${A}_{0}\ne \mathrm{\varnothing}$;

- (ii)
${A}_{0}$

*is proximal**T*-*orbitally complete*; - (iii)
$T({A}_{0})\subseteq {B}_{0}$;

- (iv)
*T**is a proximal quasi*-*contraction*.

*Then* *T* *has a unique best proximity point* ${x}^{\ast}\in {A}_{0}$. *Moreover*, *for any* ${x}_{0}\in {A}_{0}$, *any sequence* $\{{x}_{n}\}\in PP({x}_{0})$ *converges to* ${x}^{\ast}$.

*Proof*Let ${x}_{0}$ be an arbitrary point in ${A}_{0}$. From Lemma 2.1, the set $PP({x}_{0})$ is nonempty. Let $\{{x}_{n}\}\in PP({x}_{0})$ be a proximal Picard sequence associated to ${x}_{0}\in {A}_{0}$. So, we have

The proof is divided into several steps.

*Step*1. Giving $(s,n)\in \mathbb{N}\times {\mathbb{N}}^{\ast}$, we claim that for every pair $(i,j)\in {\mathbb{N}}^{2}$ with $1\le i\le j\le n$, we have

*T*is a proximal quasi-contraction, from (4.1), we have

This proves our claim.

*Step*2. We claim that

This proves our claim.

*Step*3. We claim that

which proves our claim.

*Step* 4. We claim that $\{{x}_{n}\}$ is a Cauchy sequence.

which implies (since $q\in [0,1)$) that the proximal Picard sequence $\{{x}_{n}\}$ is Cauchy.

*Step* 5. Existence of a best proximity point.

*T*-orbitally complete, the sequence $\{{x}_{n}\}$ converges to some element ${x}^{\ast}\in {A}_{0}$. Since $T({A}_{0})\subseteq {B}_{0}$, there exists $u\in {A}_{0}$ such that

*T*is a proximal quasi-contraction, we have

which holds only if $d({x}^{\ast},u)=0$, that is, $u={x}^{\ast}$. So, we have $d({x}^{\ast},T{x}^{\ast})=d(u,T{x}^{\ast})=d(A,B)$, which means that ${x}^{\ast}\in {A}_{0}$ is a best proximity point of *T*.

*Step* 6. Uniqueness of the best proximity point.

*T*is a proximal quasi-contraction, we obtain the following inequality:

which holds only if $d({x}^{\ast},{y}^{\ast})=0$, that is, ${x}^{\ast}={y}^{\ast}$. □

**Example 4.1**Consider the Euclidean space ${\mathbb{R}}^{2}$ endowed with the standard metric:

*T*-orbitally complete for any mapping $T:A\to B$. Define the non-self-mapping $T:A\to B$ by

*T*is a proximal quasi-contraction. Indeed, let

*Case*1. $0\le \gamma <1/2$ and $1/2\le \delta \le 1$. In this case, we have

*Case*2. $0\le \gamma ,\delta <1/2$. In this case, we have

*Case*3. $1/2\le \gamma ,\delta \le 1$. In this case, we have

Thus, we proved that *T* is a proximal quasi-contraction mapping with $q=7/12$. Now, all the required hypotheses of Theorem 4.1 are satisfied, we deduce that *T* has a unique best proximity point. In this example, ${x}^{\ast}=(0,0)$ is the unique best proximity point of *T*.

## 5 Particular cases

In this section, we will show that many recent best proximity point theorems can be deduced from our main result.

The following result can easily be deduced from Theorem 4.1 (see Remark 2.1).

**Corollary 5.1**

*Let*$(A,B)$

*be a pair of subsets of a metric space*$(X,d)$.

*Let*$T:A\to B$

*be a giving mapping*.

*Suppose that the following conditions hold*:

- (i)
${A}_{0}\ne \mathrm{\varnothing}$;

- (ii)
${A}_{0}$

*is proximal**T*-*orbitally complete*; - (iii)
$T({A}_{0})\subseteq {B}_{0}$;

- (iv)
*T**is a generalized proximal contraction of the first kind*.

*Then* *T* *has a unique best proximity point* ${x}^{\ast}\in {A}_{0}$. *Moreover*, *for any* ${x}_{0}\in {A}_{0}$, *any sequence* $\{{x}_{n}\}\in PP({x}_{0})$ *converges to* ${x}^{\ast}$.

**Corollary 5.2**

*Let*$(A,B)$

*be a pair of closed subsets of a complete metric space*$(X,d)$.

*Let*$T:A\to B$

*be a giving mapping*.

*Suppose that the following conditions hold*:

- (i)
${A}_{0}\ne \mathrm{\varnothing}$;

- (ii)
*B**is approximatively compact with respect to**A*; - (iii)
$T({A}_{0})\subseteq {B}_{0}$;

- (iv)
*T**is a proximal quasi*-*contraction*.

*Then* *T* *has a unique best proximity point* ${x}^{\ast}\in {A}_{0}$. *Moreover*, *for any* ${x}_{0}\in {A}_{0}$, *any sequence* $\{{x}_{n}\}\in PP({x}_{0})$ *converges to* ${x}^{\ast}$.

*Proof* The result follows immediately from Theorem 4.1 and Lemma 3.1. Indeed, from Lemma 3.1, since *B* is approximatively compact with respect to *A*, then ${A}_{0}$ is a closed subset of the complete metric space $(X,d)$, which implies that ${A}_{0}$ is proximal *T*-orbitally complete. So, we have only to apply Theorem 4.1 to get the desired result. □

The following result due to [9] is an immediate consequence of Corollary 5.2.

**Corollary 5.3**

*Let*$(A,B)$

*be a pair of closed subsets of a complete metric space*$(X,d)$.

*Let*$T:A\to B$

*be a giving mapping*.

*Suppose that the following conditions hold*:

- (i)
${A}_{0}\ne \mathrm{\varnothing}$;

- (ii)
*B**is approximatively compact with respect to**A*; - (iii)
$T({A}_{0})\subseteq {B}_{0}$;

- (iv)
*T**is a generalized proximal contraction of the first kind*.

*Then* *T* *has a unique best proximity point* ${x}^{\ast}\in {A}_{0}$. *Moreover*, *for any* ${x}_{0}\in {A}_{0}$, *any sequence* $\{{x}_{n}\}\in PP({x}_{0})$ *converges to* ${x}^{\ast}$.

The following best proximity point result due also to [9] is a consequence of Corollary 5.1 and Lemma 3.2.

**Corollary 5.4**

*Let*$(A,B)$

*be a pair of closed subsets of a complete metric space*$(X,d)$.

*Let*$T:A\to B$

*be a giving mapping*.

*Suppose that the following conditions hold*:

- (i)
$T({A}_{0})\subseteq {B}_{0}$;

- (ii)
*T**is a generalized proximal contraction of the first and second kind*.

*Then* *T* *has a unique best proximity point* ${x}^{\ast}\in {A}_{0}$. *Moreover*, *for any* ${x}_{0}\in {A}_{0}$, *any sequence* $\{{x}_{n}\}\in PP({x}_{0})$ *converges to* ${x}^{\ast}$.

*Proof* Since $(X,d)$ is complete and *T* is a generalized proximal contraction of the second kind, it follows from Lemma 3.2 that ${A}_{0}$ is proximal *T*-orbitally complete. Now, the desired result can be obtained from Corollary 5.1. □

Taking $X=A=B$ in Theorem 4.1, we obtain the famous Ćirić’s fixed point theorem for quasi-contractive mappings (see [20]).

**Corollary 5.5**

*Let*$(X,d)$

*be a metric space and let*$T:X\to X$

*be a quasi*-

*contraction*,

*that is*,

*for all* $x,y\in X$, *where* $q\in [0,1)$ *is some constant*. *If* *X* *is* *T*-*orbitally complete*, *then* *T* *has a unique fixed point* ${x}^{\ast}\in X$. *Moreover*, *for any* ${x}_{0}\in X$, *the sequence* $\{{T}^{n}{x}_{0}\}$ *converges to* ${x}^{\ast}$.

## 6 Conclusion

A new class of non-self-contractive mappings is introduced in this work. Under a proximal orbital completeness assumption, we established the existence and uniqueness of best proximity points for such mappings. We proved also that our proximal orbital completeness condition is weaker than the compactness condition and the proximal condition of second kind.

## Declarations

### Acknowledgements

The authors would like to extend their sincere appreciation to the Deanship of Scientific Research at King Saud University for its funding of this research through the Research Group Project no RGP-VPP-237.

## Authors’ Affiliations

## References

- Raj Sankar V: A best proximity point theorem for weakly contractive non-self-mappings.
*Nonlinear Anal.*2011, 74: 4804–4808. 10.1016/j.na.2011.04.052View ArticleMathSciNetGoogle Scholar - Caballero J, Harjani J, Sadarangani K: A best proximity point theorem for Geraghty-contractions.
*Fixed Point Theory Appl.*2012., 2012: Article ID 231Google Scholar - Gabeleh M: Proximal weakly contractive and proximal nonexpansive non-self-mappings in metric and Banach spaces.
*J. Optim. Theory Appl.*2013, 158(2):615–625. 10.1007/s10957-012-0246-8View ArticleMathSciNetGoogle Scholar - Samet B: Some results on best proximity points.
*J. Optim. Theory Appl.*2013, 159(1):281–291. 10.1007/s10957-013-0269-9View ArticleMathSciNetGoogle Scholar - Abkar A, Gabeleh M: A note on some best proximity point theorems proved under
*P*-property.*Abstr. Appl. Anal.*2013., 2013: Article ID 189567Google Scholar - Sadiq Basha S: Extensions of Banach’s contraction principle.
*Numer. Funct. Anal. Optim.*2010, 31: 569–576. 10.1080/01630563.2010.485713View ArticleMathSciNetGoogle Scholar - Sadiq Basha S: Best proximity point theorems generalizing the contraction principle.
*Nonlinear Anal.*2011, 74: 5844–5850. 10.1016/j.na.2011.04.017View ArticleMathSciNetGoogle Scholar - Sadiq Basha S: Best proximity point theorems: an exploration of a common solution to approximation and optimization problems.
*Appl. Math. Comput.*2012, 218: 9773–9780. 10.1016/j.amc.2012.03.033View ArticleMathSciNetGoogle Scholar - Sadiq Basha S, Shahzad N: Best proximity point theorems for generalized proximal contractions.
*Fixed Point Theory Appl.*2012., 2012: Article ID 42Google Scholar - Al-Thagafi MA, Shahzad N: Convergence and existence results for best proximity points.
*Nonlinear Anal.*2009, 70: 3665–3671. 10.1016/j.na.2008.07.022View ArticleMathSciNetGoogle Scholar - Eldred AA, Veeramani P: Existence and convergence of best proximity points.
*J. Math. Anal. Appl.*2006, 323: 1001–1006. 10.1016/j.jmaa.2005.10.081View ArticleMathSciNetGoogle Scholar - De la Sen M, Agarwal RP: Common fixed points and best proximity points of two cyclic self-mappings.
*Fixed Point Theory Appl.*2012., 2012: Article ID 136Google Scholar - Di Bari C, Suzuki T, Vetro C: Best proximity points for cyclic Meir-Keeler contractions.
*Nonlinear Anal.*2008, 69: 3790–3794. 10.1016/j.na.2007.10.014View ArticleMathSciNetGoogle Scholar - Karapinar E: Best proximity points of cyclic mappings.
*Appl. Math. Lett.*2012, 25(11):1761–1766. 10.1016/j.aml.2012.02.008View ArticleMathSciNetGoogle Scholar - Karapinar E: Best proximity points of Kannan type cylic weak
*ϕ*-contractions in ordered metric spaces.*An. Şt. Univ. Ovidius Constanţa.*2012, 20(3):51–64.MathSciNetGoogle Scholar - Jleli M, Karapinar E, Samet B: A best proximity point result in modular spaces with the Fatou property.
*Abstr. Appl. Anal.*2013., 2013: Article ID 329451Google Scholar - Kirk WA, Reich S, Veeramani P: Proximinal retracts and best proximity pair theorems.
*Numer. Funct. Anal. Optim.*2003, 24: 851–862. 10.1081/NFA-120026380View ArticleMathSciNetGoogle Scholar - Pragadeeswarar V, Marudai M: Best proximity points: approximation and optimization in partially ordered metric spaces.
*Optim. Lett.*2013, 7(8):1883–1892. 10.1007/s11590-012-0529-xView ArticleMathSciNetGoogle Scholar - Vetro C: Best proximity points: convergence and existence theorems for
*p*-cyclic mappings.*Nonlinear Anal.*2010, 73: 2283–2291. 10.1016/j.na.2010.06.008View ArticleMathSciNetGoogle Scholar - Ćirić Lj: A generalization of Banach’s contraction principle.
*Proc. Am. Math. Soc.*1974, 45: 267–273.Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. 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.