Abstract and Applied Analysis

Volume 2013, Article ID 329451, 4 pages

http://dx.doi.org/10.1155/2013/329451

## A Best Proximity Point Result in Modular Spaces with the Fatou Property

^{1}Department of Mathematics, King Saud University, Riyadh, Saudi Arabia^{2}Department of Mathematics, Atilim University, Incek, 06836 Ankara, Turkey

Received 15 June 2013; Accepted 9 September 2013

Academic Editor: Salvador Hernandez

Copyright © 2013 Mohamed Jleli et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

Consider a nonself-mapping , where is a pair of nonempty subsets of a modular space . A best proximity point of is a point satisfying the condition: . In this paper, we introduce the class of proximal quasicontraction nonself-mappings in modular spaces with the Fatou property. For such mappings, we provide sufficient conditions assuring the existence and uniqueness of best proximity points.

#### 1. Introduction and Preliminaries

Through this paper, we denote by the set of positive integers including zero. Let be a vector space over . We denote by its zero vector. According to Orlicz [1], a functional is said to be modular, if, for any pair , the following conditions are satisfied:(i) if and only if ; (ii); (iii) whenever and .

If is a modular in , then the set called a modular space, is a vector space.

As a classical example of modulars, we may give the Orlicz modular defined for every measurable real function by where is the Lebesgue measure in and is a function satisfying some conditions. The modular space induced by the Orlicz modular is called the Orlicz space. For more examples of modular spaces, we refer the reader to [2–4].

*Definition 1. *Let be a modular space.(1)The sequence is said to be -convergent to if , as . (2)The sequence is said to be -Cauchy if , as . (3)A subset of is called -closed if the -limit of a -convergent sequence of always belongs to . (4)A subset of is called -complete if any -Cauchy sequence in is -convergent and its -limit belongs to .

*Definition 2. *The modular has the Fatou property if whenever -converges to .

Recently, the existence and uniqueness of best proximity points in metric spaces were investigated by many authors; see [2, 5–14] and references therein. In this paper, we introduce the family of proximal quasicontraction nonself-mappings on modular spaces with the Fatou property. Our main result is a best proximity point theorem providing sufficient conditions assuring the existence and uniqueness of best proximity points for such mappings.

Let be a pair of nonempty closed subsets of a modular space . Through this paper, we will use the following notations:

*Definition 3. *Let be a given nonself-mapping. We say that is a best proximity point of if

Clearly, from condition (i), if , a best proximity point of will be a fixed point of .

*Definition 4. *A nonself-mapping is said to be a proximal quasicontraction if there exists a number such that
where .

Lemma 5. *Let be a nonself-mapping. Suppose that *(i)*; *(ii)*. **Then, for any , there exists a sequence such that
*

*Proof. *Let . From (ii), we have . By definition of the set , there exists such that . Again, we have , which implies that there exists such that . Continuing this process, by induction, we obtain a sequence satisfying (6).

*Definition 6. *Under the assumptions of Lemma 5, any sequence satisfying (6) is called a proximal Picard sequence associated to . We denote by the set of all proximal sequences associated to .

*Definition 7. *Under the assumptions of Lemma 5, we say that is proximal -orbitally -complete if every -Cauchy sequence for some -converges to an element in .

Let and . For all , We denote Since , we have

#### 2. A Best Proximity Point Theorem

The following lemmas will be useful later.

Lemma 8. *Let be a modular space. Suppose that a nonself-mapping , where is a pair of subsets of , satisfies the following conditions:*(i)*; *(ii)*; *(iii)* is proximal quasi-contraction. **Then, for any , one has
**
for any and . *

*Proof. *Let and . From the definition of , for all , we have
which implies, since is a proximal quasi-contraction, that
This implies immediately that
for all . Hence, for any , we have
Using the above inequality, for all and , we have

Lemma 9. *Let be a pair of subsets of a modular space . Let be a given nonself-mapping. Suppose that *(i)* is proximal -orbitally -complete; *(ii)*; *(iii)* such that ; *(iv)* is proximal quasi-contraction; *(v)* satisfies the Fatou property. **Then, any sequence -converges to some such that
**
for all . Moreover, there exists such that
*

*Proof. *Let . From Lemma 8, we know that is -Cauchy. Since is proximal -orbitally -complete, then there exists such that -converges to . Again, by Lemma 8, we have
for any and . Letting in the above inequality and using the Fatou property, we obtain
for all . Now, since , by the definition of , there exists some such that .

Now, we are ready to state and prove our main result.

Theorem 10. *Suppose that the assumptions of the previous lemma are satisfied. Assume and . Then, the -limit of is a best proximity point of . Moreover, if is any best proximity point of such that , then one has . *

*Proof. *By Lemma 9, we have
On the other hand, from the definition of , we have
Since is proximal quasi-contraction, we get that
Using Lemmas 8 and 9, we obtain that
Again, from the definition of , we have
Since is proximal quasi-contraction, we get that
Thus, we proved that
Continuing this process, by induction, we get that
for all . Therefore, we have
Using the Fatou property, we get
which implies, since , that ; that is, . Thus, from (19), we get that
Hence, is a best proximity point of .

Suppose now that is a best proximity point of such that . Since is proximal quasi-contraction, we obtain that
Since , we have , which implies that .

Consider now the case . In this case, a best proximity point of will be a fixed point of the self-mapping .

*Definition 11. *
We say that is -orbitally -complete if is a -Cauchy for every , then it is -convergent to an element of .

Similarly to Ćirić [15] definition, Khamsi [16] introduced the concept of quasicontraction self-mappings in modular spaces.

*Definition 12. *The self-mapping is said to be a quasicontraction if there exists a constant such that
for all .

From Theorem 10, we can deduce the following result, that is, a slight extension of the fixed point theorem established by Khamsi in [16].

Corollary 13. *Consider a self-mapping , where is a nonempty subset of . Suppose that the following conditions hold:*(i)* is -orbitally -complete; *(ii)* such that ; *(iii)* satisfies the Fatou property; *(iv)* is quasi-contraction. **Then, the sequence -converges to some . Moreover, if and , then is a fixed point of . If is a fixed point of with , then . *

#### Acknowledgment

This work is supported by the Research Center, College of Science, King Saud University.

#### References

- W. Orlicz, “A note on modular spaces. I,”
*Bulletin de l'Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques*, vol. 9, pp. 157–162, 1961. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - L. Drewnowski and A. Kamińska, “Orlicz spaces of vector functions generated by a family of measures,”
*Commentationes Mathematicae*, vol. 22, no. 2, pp. 175–186, 1981. View at Google Scholar · View at MathSciNet - M. A. Khamsi, W. M. Kozłowski, and S. Reich, “Fixed point theory in modular function spaces,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 14, no. 11, pp. 935–953, 1990. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Musielak,
*Orlicz Spaces and Modular Spaces*, vol. 1034 of*Lecture Notes in Mathematics*, Springer, Berlin, Germany, 1983. View at MathSciNet - M. A. Al-Thagafi and N. Shahzad, “Best proximity sets and equilibrium pairs for a finite family of multimaps,”
*Fixed Point Theory and Applications*, vol. 2008, Article ID 457069, 10 pages, 2008. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Anuradha and P. Veeramani, “Proximal pointwise contraction,”
*Topology and Its Applications*, vol. 156, no. 18, pp. 2942–2948, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. De la Sen, “Fixed point and best proximity theorems under two classes of integral-type contractive conditions in uniform metric spaces,”
*Fixed Point Theory and Applications*, vol. 2010, Article ID 510974, 12 pages, 2010. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. Di Bari, T. Suzuki, and C. Vetro, “Best proximity points for cyclic Meir-Keeler contractions,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 69, no. 11, pp. 3790–3794, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. A. Eldred, W. A. Kirk, and P. Veeramani, “Proximal normal structure and relatively nonexpansive mappings,”
*Studia Mathematica*, vol. 171, no. 3, pp. 283–293, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - E. Karapinar, G. Petruşel, and K. Tas, “Best proximity point theorems for $KT$-types cyclic orbital contraction mappings,”
*Fixed Point Theory*, vol. 13, no. 2, pp. 537–545, 2012. View at Google Scholar · View at MathSciNet - S. Karpagam and S. Agrawal, “Existence of best proximity points of $p$-cyclic contractions,”
*Fixed Point Theory*, vol. 13, no. 1, pp. 99–105, 2012. View at Google Scholar · View at MathSciNet - W. A. Kirk, S. Reich, and P. Veeramani, “Proximinal retracts and best proximity pair theorems,”
*Numerical Functional Analysis and Optimization*, vol. 24, no. 7-8, pp. 851–862, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Sadiq Basha, “Extensions of Banach's contraction principle,”
*Numerical Functional Analysis and Optimization*, vol. 31, no. 4–6, pp. 569–576, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Sadiq Basha, “Best proximity point theorems generalizing the contraction principle,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 74, no. 17, pp. 5844–5850, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Lj. Ćirić, “A generalization of Banach's contraction principle,”
*Proceedings of the American Mathematical Society*, vol. 45, no. 2, pp. 267–273, 1974. View at Google Scholar - M. A. Khamsi, “Quasicontraction mappings in modular spaces without ${\mathrm{\Delta}}_{2}$-condition,”
*Fixed Point Theory and Applications*, vol. 2008, Article ID 916187, 6 pages, 2008. View at Google Scholar · View at MathSciNet