- Research
- Open Access
An optimization problem involving proximal quasi-contraction mappings
- Mohamed Jleli^{1} and
- Bessem Samet^{1}Email author
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\}$.
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.
where $x,y,u,v\in A$.
where $x,y,u,v\in A$.
In this paper, we introduce the following concepts.
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.
for all $x,y,u,v\in A$. Such condition was introduced by [20] under the name of quasi-contraction.
- (i)
${A}_{0}\ne \mathrm{\varnothing}$;
- (ii)
$T({A}_{0})\subseteq {B}_{0}$.
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.
- (i)
${A}_{0}\ne \mathrm{\varnothing}$;
- (ii)
B is approximatively compact with respect to A.
Then the set ${A}_{0}$ is closed.
which implies that $x\in {A}_{0}$. □
- (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.
which implies that $x\in {A}_{0}$. □
4 Main result
Our main result is giving by the following best proximity point theorem.
- (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}$.
The proof is divided into several steps.
This proves our claim.
This proves our claim.
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.
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.
which holds only if $d({x}^{\ast},{y}^{\ast})=0$, that is, ${x}^{\ast}={y}^{\ast}$. □
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).
- (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}$.
- (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.
- (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.
- (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]).
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.