Abstract and Applied Analysis
Volume 2015 (2015), Article ID 361657, 6 pages
http://dx.doi.org/10.1155/2015/361657

Research Article

Best Proximity Points for Generalized Proximal Weak Contractions Satisfying Rational Expression on Ordered Metric Spaces

V. Pragadeeswarar and M. Marudai

Department of Mathematics, Bharathidasan University, Tiruchirappalli, Tamil Nadu 620 024, India

Received 26 July 2014; Accepted 6 September 2014

Academic Editor: Poom Kumam

Copyright © 2015 V. Pragadeeswarar and M. Marudai. 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.

We introduce a generalized proximal weak contraction of rational type for the non-self-map and proved results to ensure the existence and uniqueness of best proximity point for such mappings in the setting of partially ordered metric spaces. Further, our results provides an extension of a result due to Luong and Thuan (2011) and also it provides an extension of Harjani (2010) to the case of self-mappings.

1. Introduction and Preliminaries

The fixed point theory of partially ordered metric space was introduced by Ran and Reurings [1], where they extended the Banach contraction principle in partially ordered sets with some applications to linear and nonlinear matrix equations. Subsequently, Nieto and Rodríguez-López [2] extended the result of Ran and Reurings and apply their results to obtain a unique solution for a first order ordinary differential equation with periodic boundary conditions. The following notion of an altering distance function was introduced by Khan et al. in [3].

Definition 1. A function is said to be an altering distance function if it satisfies the following conditions.

(i)is continuous and nondecreasing.(ii) if and only if .

In [3], Khan et al. proved the fixed point theorems by using altering distance function together with contractive type condition.

Motivated by the interesting paper of Jaggi [4], in [5] Harjani et al. proved the following fixed point theorem in partially ordered metric spaces.

Theorem 2 (see [5]). Let be an ordered set and suppose that there exists a metric in such that is a complete metric space.
Let be a nondecreasing mapping such that

Also, assume either is continuous or has the property that

If there exists such that , then has a fixed point.

In [6] Luong and Thuan proved the following theorem.

Theorem 3 (see [6]). Let be an ordered set and suppose that there exists a metric in such that is a complete metric space. Let be a nondecreasing mapping such that

where is a lower semicontinuous function with if and only if , and .
Also, assume either is continuous or has the property (2).
If there exists such that , then has a fixed point.

In this article, we attempt to give a generalization of Theorem 3 by considering a non-self-map . Before getting into the details of our main theorem, let us give a brief discussion of best proximity point results.

1.1. Best Proximity Point

Let be a subset of a metric space . A mapping has a fixed point in if the fixed point equation has at least one solution. That is, is a fixed point of if . If the fixed point equation does not possess a solution, then for all . In such a situation, it is our aim to find an element such that is minimum in some sense. The best approximation theory and best proximity pair theorems are studied in this direction. Here we state the following well-known best approximation theorem due to Fan [7].

Theorem 4 (see [7]). Let be a nonempty compact convex subset of a normed linear space and be a continuous function. Then there exists such that .

Such an element in Theorem 4 is called a best approximant of in . Note that if is a best approximant, then need not be the optimum. Best proximity point theorems have been explored to find sufficient conditions so that the minimization problem has at least one solution. To have a concrete lower bound, let us consider two nonempty subsets of a metric space and a mapping . The natural question is whether one can find an element such that . Since , the optimal solution to the problem of minimizing the real valued function over the domain of the mapping will be the one for which the value is attained. point is called a best proximity point of if . Note that if , then the best proximity point is nothing but a fixed point of .

The existence and convergence of best proximity points is an interesting topic of optimization theory which recently attracted the attention of many authors [8–16]. Also one can find the existence of best proximity point in the setting of partially ordered metric space in [17–24].

The purpose of this article is to present best proximity point theorems for non-self-mappings in the setting of partially ordered metric spaces, thereby producing optimal approximate solutions for , where is a non-self-mapping. When the map is considered to be a self-map and is defined as identity function, then our result reduces to the fixed point theorem of Luong and Thuan [6].

Given nonempty subsets and of a metric space , the following notions are used subsequently:

In [14], the authors discussed sufficient conditions which guarantee the nonemptiness of and . Moreover, in [12], the authors proved that is contained in the boundary of in the setting of normed linear spaces.

Definition 5 (see [17]). A mapping is said to be proximally increasing if it satisfies the condition that

where .

One can see that, for a self-mapping, the notion of proximally increasing mapping reduces to that of increasing mapping.

Definition 6. A mapping is said to be generalized proximal weak contraction of rational type if it satisfies the condition that

where , is an altering distance function, is a nondecreasing function with if and only if , and .

One can see that, for a self-mapping, the notion of generalized proximal weak contraction of rational type reduces to generalized weak contraction of rational type.

2. Main Results

Now, let us state our main result.

Theorem 7. Let be a nonempty set such that is a partially ordered set and is a complete metric space. Let and be nonempty closed subsets of the metric space such that . Let satisfy the following conditions.

(i) is continuous, proximally increasing, and generalized proximal weak contraction of rational type such that .(ii)There exist and in such that

Then, there exists an element in such that

Further, the sequence , defined by

converges to the element .

Proof. By hypothesis there exist elements and in such that

Because of the fact that , there exists an element in such that

Since is proximally increasing, we get .
Continuing this process, we can construct a sequence in such that

If there exist such that , then . This means that is a best proximity point of and the proof is finished. Thus, we can suppose that for all .
Since , we get

Suppose that there exists such that , and from (13), we have

Hence, the sequence is monotone, nonincreasing and bounded. Thus, there exists such that

Since is a nonincreasing sequence, from (13), we get

Suppose that . Then the inequality (16)

implies that

But, as and is nondecreasing function,

and this gives us which contradicts (18). Hence,

Now to prove that is a Cauchy sequence, suppose is not a Cauchy sequence. Then there exist for which we can find subsequences and of such that is smallest index for which

This means that

Letting and using (20) we can conclude that

By triangle inequality

Letting in the above two inequalities, using (20) and (23), we get

Since , , from (16), we have

Using (25) and continuity of in the above inequality we can obtain

But, from we can find such that for any

and consequently,

Therefore, and this contradicts (27). Thus, is a Cauchy sequence in and hence converges to some element in . Since is continuous, we have .
Hence the continuity of the metric function implies that . But (12) shows that the sequence is a constant sequence with the value . Therefore, . This completes the proof.

Corollary 8. Let be a nonempty set such that is a partially ordered set and is a complete metric space. Let be a nonempty closed subset of the metric space . Let satisfy the following conditions.

(i) is continuous, proximally increasing, and generalized proximal weak contraction of rational type.(ii)There exist elements and in such that with .

Then, there exist an element in such that .

In what follows we prove that Theorem 7 is still valid for which is not necessarily continuous, assuming the following hypothesis in . has the property that

Theorem 9. Assume the conditions (30) and is closed in instead of continuity of in Theorem 7; then the conclution of Theorem 7 holds.

Proof. Following the proof of Theorem 7, there exists a sequence in satisfying the following condition:

and converges to in . Note that the sequence in and is closed. Therefore, . Since , we get .
Since , there exist such that

Since is a nondecreasing sequence and , then . Particularly, for all . Since is proximally increasing and from (31) and (32), we obtain . But which implies . Therefore, we get that there exist elements and in such that

Consider the sequence that is constructed as follows:

Arguing like above Theorem 7, we obtain that is a nondecreasing sequence and for certain . From (30), we have . Since for all , suppose that , is generalized proximal weak contraction of rational type; from (31) and (34) we have

Taking limit as in the above inequality, we have

which is a contradiction. Hence, . We have , and therefore , for all . From (34), we obtain is a best proximity point for . The proof is complete.

Corollary 10. Assume the condition (30) instead of continuity of in the Corollary 8; then the conclusion of Corollary 8 holds.

Now, we present an example where it can be appreciated that hypotheses in Theorems 7 and 9 do not guarantee uniqueness of the best proximity point.

Example 11. Let and consider the usual order and .

Thus, is a partially ordered set. Besides, is a complete metric space considering the euclidean metric. Let and be a closed subset of . Then, , and . Let be defined as . Then, it can be seen that is continuous, proximally increasing mappings such that . The only comparable pairs of elements in are for and there are no elements such that for . Hence, is generalized proximal weak contraction of rational type. It can be shown that the other hypotheses of the Theorems 7 and 9 are also satisfied.

However, has two best proximity points and .

Theorem 12. In addition to the hypotheses of Theorem 7 (resp., Theorem 9), suppose that

and then has a unique best proximity point.

Proof. From Theorem 7 (resp., Theorem 9), the set of best proximity points of is nonempty. Suppose that there exist elements in which are best proximity points. We distinguish two cases:
Case 1. If and are comparable.
Since and .
Since is a generalized proximal weak contraction of rational type, we get

which implies , and by our assumption about , we get or .
Case 2. If is not comparable to .
By the condition (37) there exist comparable to and . We define a sequence as . Since is comparable with , we may assume that . Now using is proximally increasing, it is easy to show that for all .
Suppose that there exist such that , and again by using which is proximally increasing, we get . But, for all . Therefore, . Arguing like above, we obtain for all . Hence, as .
On the other hand, if for all , now using is a generalized proximal weak contraction of rational type, we have

Since is nondecreasing, we get Hence, the sequence is monotone, nonincreasing and bounded. Thus, there exist such that

Suppose that . Then the inequality

implies that

But, as and is nondecreasing function, , and this gives which contradicts (42). Hence, . Analogously, it can be proved that . Finally, the uniqueness of the limit gives us .

Let us illustrate the above theorem with the following example.

Example 13. Let and consider the order and , where is usual order in .
Thus, is a partially ordered set. Besides, is a complete metric space where the metric is defined as . Let and be a closed subset of . Then, and . Let be defined as . Then, it can be seen that is continuous, proximally increasing mappings and proximally weak increasing such that . Now, we have to prove is a generalized proximal weak contraction of rational type. That is to prove

where .
Note that and

For and , we have and

Now, we easily conclude that the mapping is a generalized proximal weak contraction of rational type. Hence all the hypotheses of the Theorem 12 are satisfied. Also, it can be observed that is the unique best proximity point of the mapping .

The following result, due to Luong and Thuan [6], is a corollary from the above Theorem 12, by taking .

Corollary 14. In addition to the hypothesis of Corollary 8 (resp., Corollary 10), suppose that

and then has a unique fixed point.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

References

A. C. M. Ran and M. C. B. Reurings, “A fixed point theorem in partially ordered sets and some applications to matrix equations,” Proceedings of the American Mathematical Society, vol. 132, no. 5, pp. 1435–1443, 2004.

J. J. Nieto and R. Rodríguez-López, “Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations,” Order, vol. 22, no. 3, pp. 223–239, 2005.

M. S. Khan, M. Swaleh, and S. Sessa, “Fixed point theorems by altering distances between the points,” Bulletin of the Australian Mathematical Society, vol. 30, no. 1, pp. 1–9, 1984.

D. S. Jaggi, “Some unique fixed point theorems,” Indian Journal of Pure and Applied Mathematics, vol. 8, no. 2, pp. 223–230, 1977.

J. Harjani, B. López, and K. Sadarangani, “A fixed point theorem for mappings satisfying a contractive condition of rational type on a partially ordered metric space,” Abstract and Applied Analysis, vol. 2010, Article ID 190701, 8 pages, 2010.

N. V. Luong and N. X. Thuan, “Fixed point theorem for generalized weak contractions satisfying rational expressions in ordered metric spaces,” Fixed Point Theory and Applications, vol. 2011, article 46, 2011.

K. Fan, “Extensions of two fixed point theorems of F. E. Browder,” Mathematische Zeitschrift, vol. 112, pp. 234–240, 1969.

M. de la Sen and R. P. Agarwal, “Some fixed point-type results for a class of extended cyclic self-mappings with a more general contractive condition,” Fixed Point Theory and Applications, vol. 2011, article 59, 2011.

P. S. Srinivasan and P. Veeramani, “On existence of equilibrium pair for constrained generalized games,” Fixed Point Theory and Applications, no. 1, pp. 21–29, 2004.

A. A. Eldred and P. Veeramani, “Existence and convergence of best proximity points,” Journal of Mathematical Analysis and Applications, vol. 323, no. 2, pp. 1001–1006, 2006.

M. A. Al-Thagafi and N. Shahzad, “Convergence and existence results for best proximity points,” Nonlinear Analysis: Theory, Methods & Applications, vol. 70, no. 10, pp. 3665–3671, 2009.

S. Sadiq Basha and P. Veeramani, “Best proximity pair theorems for multifunctions with open fibres,” Journal of Approximation Theory, vol. 103, no. 1, pp. 119–129, 2000.

W. K. Kim and K. H. Lee, “Existence of best proximity pairs and equilibrium pairs,” Journal of Mathematical Analysis and Applications, vol. 316, no. 2, pp. 433–446, 2006.

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.

V. S. Raj, “A best proximity point theorem for weakly contractive non-self-mappings,” Nonlinear Analysis: Theory, Methods & Applications, vol. 74, no. 14, pp. 4804–4808, 2011.

E. Karapnar, V. Pragadeeswarar, and M. Marudai, “Best proximity point for generalized proximal weak contractions in complete metric space,” Journal of Applied Mathematics, vol. 2014, Article ID 150941, 6 pages, 2014.

S. S. Basha, “Discrete optimization in partially ordered sets,” Journal of Global Optimization, vol. 54, no. 3, pp. 511–517, 2012.

A. Abkar and M. Gabeleh, “Best proximity points for cyclic mappings in ordered metric spaces,” Journal of Optimization Theory and Applications, vol. 150, no. 1, pp. 188–193, 2011.

A. Abkar and M. Gabeleh, “Generalized cyclic contractions in partially ordered metric spaces,” Optimization Letters, vol. 6, no. 8, pp. 1819–1830, 2012.

P. Kumam, V. Pragadeeswarar, M. Marudai, and K. Sitthithakerngkiet, “Coupled best proximity points in ordered metric spaces,” Fixed Point Theory and Applications, vol. 2014, article 107, 2014.

V. Pragadeeswarar and M. Marudai, “Best proximity points: approximation and optimization in partially ordered metric spaces,” Optimization Letters, vol. 7, no. 8, pp. 1883–1892, 2013.

V. Pragadeeswarar and M. Marudai, “Best proximity points for generalized proximal weak contractions in partially ordered metric spaces,” Optimization Letters, 2013.

V. Pragadeeswarar, M. Marudai, P. Kumam, and K. Sitthithakerngkiet, “The existence and uniqueness of coupled best proximity point for proximally coupled contraction in a complete ordered metric space,” Abstract and Applied Analysis, vol. 2014, Article ID 274062, 7 pages, 2014.

H. K. Nashine, P. Kumam, and C. Vetro, “Best proximity point theorems for rational proximal contractions,” Fixed Point Theory and Applications, vol. 2013, article 95, 2013.