Abstract
The objective of this paper is to solve an optimal solutions for new nonlinear mapping in the setting of metric spaces. Our results extend, generalize, and improve some known results from best proximity point theory and fixed point theory. Examples are given to support our main results.
MSC:41A50, 47H10, 54H25.
Similar content being viewed by others
1 Introduction
Fixed point theory is one of the famous and traditional theories in mathematics and has a large number of applications in various fields of pure and applied mathematics, as well as in physical, chemical, life, and social sciences. It is an important tool for solving equations of the form , where T is a self-mapping on a subset of a metric space. On the other hand, if T is not a self-mapping, say where A and B are nonempty subsets of a metric space, then T does not necessarily have a fixed point. Consequently, the equation could have no solutions, and in this case, it is of a certain interest to determine an element x that is in some sense closest to Tx. Here best approximation theorems explore the existence of an approximate solution whereas best proximity point theorems analyze the existence of an approximate solution that is optimal. Thus, we can say that the aim of the best proximity point theorems is to provide sufficient conditions to solve a minimization problem. In view of the fact that is at least , a best proximity point theorem concerns the global minimum of the real valued function , that is, an indicator of the error involved for an approximate solution of the equation , by complying with the condition . A classical best approximation theorem was introduced by Fan [1], that is, if A is a nonempty compact convex subset of a Hausdorff locally convex topological vector space B and is a continuous mapping, then there exists an element such that . Afterward, several generalizations and extensions of this theorem appeared in the literature (see e.g. [2–4], and references cited therein). It turns out that many of the contractive conditions which are investigated for fixed points ensure the existence of best proximity points, and many results of this kind are obtained in [5–25].
In this paper, we introduce a new class of non-self-mappings, called proximal -contractions of the first and second kinds, which contains the proximal contractions as a subclass. In this class, we will consider the following nonlinear problem: Find
where belongs a to new class of non-self-mappings, and A and B are nonempty subsets of a metric space . Also, we give some illustrative examples to support our results.
2 Preliminaries
In the sequel, ℝ and ℕ denote the set of real numbers and the set of positive integers, respectively. Let be a metric space, A and B be two nonempty subsets of X and be a non-self-mapping. The following notations will be used in the sequel:
Kirk et al. [9] gave sufficient conditions to ensure that and are nonempty. Also, we find that if A and B are closed subsets of a normed linear space such that , then and are contained in the boundaries of A and B, respectively (see [12]).
In 1961, Efimov and Stechkin [26] introduced the concept of an approximatively compact set. The properties of approximatively compact sets have been largely studied. It is well known that the concept of approximative compactness plays an important role in the theory of approximation [27]. Borodin [28] showed that in every infinite-dimensional separable Banach space there exists a bounded approximatively compact set which is not compact.
Remark 2.1 For a metric space , the bounded compactness of a set is equivalent to its closure and the possibility of selecting from any bounded sequence contained in it a converging subsequence.
Definition 2.1 Let A and B be two nonempty subsets of metric space . Then B is said to be approximatively compact with respect to A if every sequence of B, satisfying the condition as for some , has a convergent subsequence.
We see that any set is approximatively compact with respect to itself.
3 Main results
In this section, we give sequentially two new classes of non-self-mappings that are essential to state and prove the existence of best proximity point theorems.
Definition 3.1 Let be a metric space and A and B are two nonempty subsets of X. A mapping is said to be a proximal -contraction of the first kind if there exist nonnegative real numbers α, β, and L with , such that the conditions
imply that
for all .
Remark 3.1 If T is a self-mapping on A, then the requirement in the above definition reduces to the following generalized contractive condition which is useful in establishing a fixed point theorem:
for all .
Definition 3.2 Let be a metric space and A and B be two nonempty subsets of X. A mapping is said to be a proximal -contraction of the second kind if there exist nonnegative real numbers α, β, and L with , such that the conditions
imply that
for all .
Here, we give our first main result which is the best proximity point theorem for a proximal -contraction of the first kind.
Theorem 3.1 Let be a complete metric space and A and B be two nonempty, closed subsets of X such that B is approximatively compact with respect to A. Assume that and are nonempty and is a non-self-mapping such that:
-
(a)
T is a proximal -contraction of the first kind;
-
(b)
.
Then there exists a unique element such that . Moreover, for any fixed , the sequence , defined by , converges to x.
Proof Let . Since , then by the definition of , there exists such that . Again, since , it follows that there is such that . Continuing this process, we can construct a sequence in , such that
for every nonnegative integer n. Since T is a proximal -contraction, we have
It follows that , where . Therefore, is a Cauchy sequence. Now, since the space is complete and A is closed, the sequence converges to some . Further, we have
Therefore, . Since B is approximatively compact with respect to A, the sequence has a subsequence converging to some element . Therefore,
and hence x must be a member of . Because of the fact that is contained in , for some element u in A. Since T is a proximal -contraction of the first kind, we get
Taking the limit , we have . Thus, it follows that .
Now, to prove the uniqueness of the best proximity point, assume that z is another best proximity point of T so that . Since T is a proximal -contraction of the first kind, we have
which implies that . Hence T has a unique best proximity point. □
It is easy to see that the preceding result yields the following corollaries.
Corollary 3.2 Let be a complete metric space and A and B be two nonempty, closed subsets of X such that B is approximatively compact with respect to A. Assume that and are nonempty and is a non-self-mapping such that:
-
(a)
there exist nonnegative real numbers α and L with , such that, for all , the conditions and imply that
-
(b)
.
Then there exists a unique element such that . Moreover, for any fixed , the sequence , defined by , converges to x.
Corollary 3.3 Let be a complete metric space and A and B be two nonempty, closed subsets of X such that B is approximatively compact with respect to A. Assume that and are nonempty and is a non-self-mapping such that:
-
(a)
there exist nonnegative real numbers such that, for all , the conditions and imply that ;
-
(b)
.
Then there exists a unique element such that . Moreover, for any fixed , the sequence , defined by , converges to x.
In Theorem 3.1, if T is a self-mapping, then we get the following fixed point theorem.
Corollary 3.4 Let T be a self-mapping of a complete metric space . Assume that there exist nonnegative real numbers α, β, and L with , such that
for all . Then T has a unique fixed point.
Remark 3.2 It is well known that a contraction mapping must be continuous. Therefore, Corollary 3.4 is a real proper extension of the Banach contraction mapping principle of Banach [29] because the continuity of the mapping T is not required.
Next, we give the existence of best proximity point theorem for proximal -contraction of the second kind.
Theorem 3.5 Let be a complete metric space and A and B be two nonempty, closed subsets of X such that A is approximatively compact with respect to B. Assume that and are nonempty and is a non-self-mapping such that:
-
(a)
T is a continuous proximal -contraction of the second kind;
-
(b)
.
Then there exists such that . Moreover, for any fixed , the sequence , defined by , converges to x. Further, for all x and z belong to best proximity of T.
Proof Following the arguments in Theorem 3.1, we can construct a sequence in , such that
for every nonnegative integer n. Since T is a proximal -contraction of the second kind, we have
It follows that , where . Therefore, is a Cauchy sequence. Now, since the space is complete and B is closed, the sequence converges to some . Further, we have
Therefore, . Since A is approximatively compact with respect to B, then the sequence has a subsequence converging to some element . Now, using the continuity of T, we obtain .
Now, further assume that z is another best proximity point of T so that . Since T is a proximal -contraction of the second kind, we get
which implies that . □
As consequences of Theorem 3.5, we state the following corollaries.
Corollary 3.6 Let be a complete metric space and A and B be two nonempty, closed subsets of X such that A is approximatively compact with respect to B. Assume that and are nonempty and is a non-self-mapping such that:
-
(a)
there exist nonnegative real numbers α and L with such that, for all , the conditions and imply that
-
(b)
T is a continuous;
-
(c)
.
Then there exists such that . Moreover, for any fixed , the sequence , defined by , converges to x. Further, for all x and z belong to best proximity of T.
Corollary 3.7 Let be a complete metric space and A and B be two nonempty, closed subsets of X such that A is approximatively compact with respect to B. Assume that and are nonempty and is a non-self-mapping such that:
-
(a)
there exists a nonnegative real number such that, for all , the conditions and imply that ;
-
(b)
T is a continuous;
-
(c)
.
Then there exists such that . Moreover, for any fixed , the sequence , defined by , converges to x. Further, for all x and z belong to the best proximity of T.
In Theorem 3.5, if T is a self-mapping, then we get the following fixed point theorem.
Corollary 3.8 Let T be a continuous self-mapping of a complete metric space . Assume that there exist nonnegative real numbers α, β, and L with , such that
for . Then T has a unique fixed point.
Remark 3.3 It is easy to see that Corollary 3.8 is a special case of Corollary 3.4.
The next theorem, we give conditions for the existence of best proximity point for a non-self-mapping that is a proximal -contraction of the first and second kind. In this theorem, we consider only a completeness hypothesis without assuming the continuity of the non-self-mapping and the approximatively compactness of subspace.
Theorem 3.9 Let be a complete metric space and A and B be two nonempty, closed subsets of X. Assume that and are nonempty and is a non-self-mapping such that:
-
(a)
T is a proximal -contraction of the first and second kind;
-
(b)
.
Then there exists a unique such that . Moreover, for any fixed , the sequence , defined by , converges to x.
Proof Following the arguments in Theorem 3.1, we can construct a sequence in , such that
for every nonnegative integer n. Also, using similar arguments as in the proof of Theorem 3.1, we deduce that the sequence is a Cauchy sequence, and hence converges to some . Moreover, on the lines of Theorem 3.5, we find that the sequence is a Cauchy sequence and hence converges to some . Therefore, we have , hence x must be in . Since , then for some . Using the fact that T is proximal -contraction of first kind, we have
Taking the limit , we have . Thus, it follows that .
Now, to prove the uniqueness of the best proximity point, assume that z is another best proximity point of T so that . Since T is a proximal -contraction of the first kind, we have
which implies that . Hence T has a unique best proximity point. □
Finally, we give some illustrative example which demonstrate the validity of the hypotheses and degree of utility of our results.
Example 3.10 Let endowed with the usual metric , for all . Define two closed subsets A, B of X by and . Then , and . Also define by
It is easy to see that and T is a proximal -contraction of the first and second kind. Now all the hypotheses of Theorem 3.9 are satisfied and . Obviously, Theorem 3.5 is not applicable in this case since T is not continuous.
References
Fan K: Extensions of two fixed point theorems of F. E. Browder. Math. Z. 1969, 112: 234–240. 10.1007/BF01110225
Prolla JB: Fixed point theorems for set valued mappings and existence of best approximations. Numer. Funct. Anal. Optim. 1982, 5: 449–455.
Reich S: Approximate selections, best approximations, fixed points and invariant sets. J. Math. Anal. Appl. 1978, 62: 2–6.
Sehgal VM, Singh SP: A generalization to multifunctions of Fan’s best approximation theorem. Proc. Am. Math. Soc. 1988, 102: 534–537.
Al-Thagafi MA, Shahzad N: Best proximity sets and equilibrium pairs for a finite family of multimaps. Fixed Point Theory Appl. 2008., 2008: Article ID 457069
Al-Thagafi MA, Shahzad N: Best proximity pairs and equilibrium pairs for Kakutani multimaps. Nonlinear Anal. 2009,70(3):1209–1216. 10.1016/j.na.2008.02.004
Al-Thagafi MA, Shahzad N: Convergence and existence results for best proximity points. Nonlinear Anal. 2009,70(10):3665–3671. 10.1016/j.na.2008.07.022
Di Bari C, Suzuki T, Vetro C: Best proximity points for cyclic Meir-Keeler contractions. Nonlinear Anal. 2008,69(11):3790–3794. 10.1016/j.na.2007.10.014
Kirk WA, Reich S, Veeramani P: Proximinal retracts and best proximity pair theorems. Numer. Funct. Anal. Optim. 2003, 24: 851–862. 10.1081/NFA-120026380
Sadiq Basha S, Shahzad N, Jeyaraj R: Common best proximity points: global optimization of multi-objective functions. Appl. Math. Lett. 2011, 24: 883–886. 10.1016/j.aml.2010.12.043
Sadiq Basha S, Veeramani P: Best approximations and best proximity pairs. Acta Sci. Math. 1997, 63: 289–300.
Sadiq Basha S, Veeramani P: Best proximity pair theorems for multifunctions with open fibres. J. Approx. Theory 2000, 103: 119–129. 10.1006/jath.1999.3415
Sadiq Basha S, Veeramani P, Pai DV: Best proximity pair theorems. Indian J. Pure Appl. Math. 2001, 32: 1237–1246.
Sadiq Basha S, Shahzad N: Best proximity point theorems for generalized proximal contractions. Fixed Point Theory Appl. 2012., 2012: Article ID 42
Sankar Raj V, Veeramani P: Best proximity pair theorems for relatively nonexpansive mappings. Appl. Gen. Topol. 2009,10(1):21–28. 10.4995/agt.2009.1784
Srinivasan PS: Best proximity pair theorems. Acta Sci. Math. 2001, 67: 421–429.
Suzuki T, Kikkawa M, Vetro C: The existence of best proximity points in metric spaces with the property UC. Nonlinear Anal. 2009, 71: 2918–2926. 10.1016/j.na.2009.01.173
Sintunavarat W, Kumam P: Coupled best proximity point theorem in metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 93
Sintunavarat W, Kumam P: The existence theorems of an optimal approximate solution for generalized proximal contraction mappings. Abstr. Appl. Anal. 2013., 2013: Article ID 375604
Kumam P, Aydi H, Karapinar E, Sintunavarat W: Best proximity points and extension of Mizoguchi-Takahashi’s fixed point theorems. Fixed Point Theory Appl. 2013., 2013: Article ID 242
Mongkolkeha C, Kumam P: Best proximity point theorems for generalized cyclic contractions in ordered metric spaces. J. Optim. Theory Appl. 2012,155(1):215–226. 10.1007/s10957-012-9991-y
Mongkolkeha C, Kumam P: Some common best proximity points for proximity commuting mappings. Optim. Lett. 2013,7(8):1825–1836. 10.1007/s11590-012-0525-1
Sanhan W, Mongkolkeha C, Cho YJ, Kumam P: Generalized proximal ψ -contraction mappings and best proximity points. Abstr. Appl. Anal. 2012., 2012: Article ID 896912
Mongkolkeha C, Cho YJ, Kumam P: Best proximity points for generalized proximal C -contraction mappings in metric spaces with partial orders. J. Inequal. Appl. 2013., 2013: Article ID 94
Mongkolkeha C, Cho YJ, Kumam P: Best proximity points for Geraghty’s proximal contraction mappings. Fixed Point Theory Appl. 2013., 2013: Article ID 180
Efimov NV, Stechkin SB: Approximative compactness and Chebyshev sets. Dokl. Akad. Nauk SSSR 1961, 140: 522–524. (in Russian)
Balaganskii VS, Vlasov LP: The problem of the convexity of Chebyshev sets. Usp. Mat. Nauk 1996, 51: 125–188.
Borodin PA: An example of a bounded approximately compact set that is not compact. Russ. Math. Surv. 1994, 49: 153–154.
Banach S: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 1922, 3: 133–181.
Acknowledgements
The first author gratefully acknowledges the support from the Deanship of Scientific Research (DSR) at King Abdulaziz University (KAU) during this research.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Kutbi, M.A., Chandok, S. & Sintunavarat, W. Optimal solutions for nonlinear proximal -contraction mapping in metric space. J Inequal Appl 2014, 193 (2014). https://doi.org/10.1186/1029-242X-2014-193
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2014-193